runsolver Copyright (C) 2010 Olivier ROUSSEL

This is runsolver version 3.2.9a (svn: 651)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: /home/misc2010/bin/runsolver -s SIGUSR1 -M 1124 -C 290 -d 10 -w /home/misc2010/tmp/201012061533/gj-paranoid-solver-0.1/rand49d73b.cudf.difficult.log.runsolver ./gj-paranoid-solver-0.1 /home/misc2010/data/2010/difficult//rand49d73b.cudf /home/misc2010/tmp/201012061533/gj-paranoid-solver-0.1/rand49d73b.cudf.difficult.result 

Enforcing CPUTime limit (soft limit, will send signal-name then SIGKILL): 290 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 320 seconds
Enforcing VSIZE limit (soft limit, will send signal-name then SIGKILL): 1150976 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1202176 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 1.26 1.14 1.11 4/46 18141
/proc/meminfo: memFree=711192/1048576 swapFree=2078744/2097144
[pid=18140] ppid=18139 vsize=2568 CPUtime=0
/proc/18140/stat : 18140 (gj-paranoid-sol) S 18139 18140 2059 34821 2220 4202496 373 0 0 0 0 0 0 0 18 0 1 0 875823263 2629632 271 1283457024 134512640 135304128 4290096496 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/18140/statm: 642 271 232 194 0 28 0
[pid=18141] ppid=18140 vsize=10924 CPUtime=0.01
/proc/18141/stat : 18141 (java) R 18140 18140 2059 34821 2220 4202496 656 0 0 0 0 1 0 0 25 0 1 0 875823263 11186176 393 1283457024 134512640 134550932 4288281360 18446744073709551615 4159977282 0 0 0 0 0 0 0 17 0 0 0 0
/proc/18141/statm: 2731 393 177 10 0 1101 0

[startup+0.205265 s]
/proc/loadavg: 1.26 1.14 1.11 4/46 18141
/proc/meminfo: memFree=711192/1048576 swapFree=2078744/2097144
[pid=18140] ppid=18139 vsize=2568 CPUtime=0
/proc/18140/stat : 18140 (gj-paranoid-sol) S 18139 18140 2059 34821 2220 4202496 373 0 0 0 0 0 0 0 18 0 1 0 875823263 2629632 271 1283457024 134512640 135304128 4290096496 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/18140/statm: 642 271 232 194 0 28 0
[pid=18141] ppid=18140 vsize=409672 CPUtime=0.21
/proc/18141/stat : 18141 (java) S 18140 18140 2059 34821 2220 4202496 3816 0 1 0 19 2 0 0 25 0 9 0 875823263 419504128 3281 1283457024 134512640 134550932 4288281360 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/18141/statm: 102418 3281 1732 10 0 96598 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 412240

[startup+0.305284 s]
/proc/loadavg: 1.26 1.14 1.11 4/46 18141
/proc/meminfo: memFree=711192/1048576 swapFree=2078744/2097144
[pid=18140] ppid=18139 vsize=2568 CPUtime=0
/proc/18140/stat : 18140 (gj-paranoid-sol) S 18139 18140 2059 34821 2220 4202496 373 0 0 0 0 0 0 0 18 0 1 0 875823263 2629632 271 1283457024 134512640 135304128 4290096496 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/18140/statm: 642 271 232 194 0 28 0
[pid=18141] ppid=18140 vsize=410100 CPUtime=0.31
/proc/18141/stat : 18141 (java) S 18140 18140 2059 34821 2220 4202496 4339 0 1 0 29 2 0 0 25 0 9 0 875823263 419942400 3804 1283457024 134512640 134550932 4288281360 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/18141/statm: 102525 3804 1880 10 0 96705 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 412668

[startup+0.405325 s]
/proc/loadavg: 1.26 1.14 1.11 4/46 18141
/proc/meminfo: memFree=711192/1048576 swapFree=2078744/2097144
[pid=18140] ppid=18139 vsize=2568 CPUtime=0
/proc/18140/stat : 18140 (gj-paranoid-sol) S 18139 18140 2059 34821 2220 4202496 373 0 0 0 0 0 0 0 18 0 1 0 875823263 2629632 271 1283457024 134512640 135304128 4290096496 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/18140/statm: 642 271 232 194 0 28 0
[pid=18141] ppid=18140 vsize=410100 CPUtime=0.41
/proc/18141/stat : 18141 (java) S 18140 18140 2059 34821 2220 4202496 6665 0 1 0 38 3 0 0 25 0 9 0 875823263 419942400 6129 1283457024 134512640 134550932 4288281360 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/18141/statm: 102525 6129 1889 10 0 96705 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 412668

[startup+0.705424 s]
/proc/loadavg: 1.26 1.14 1.11 4/46 18141
/proc/meminfo: memFree=711192/1048576 swapFree=2078744/2097144
[pid=18140] ppid=18139 vsize=2568 CPUtime=0
/proc/18140/stat : 18140 (gj-paranoid-sol) S 18139 18140 2059 34821 2220 4202496 373 0 0 0 0 0 0 0 18 0 1 0 875823263 2629632 271 1283457024 134512640 135304128 4290096496 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/18140/statm: 642 271 232 194 0 28 0
[pid=18141] ppid=18140 vsize=410704 CPUtime=0.7
/proc/18141/stat : 18141 (java) S 18140 18140 2059 34821 2220 4202496 12936 0 1 0 64 6 0 0 25 0 9 0 875823263 420560896 12222 1283457024 134512640 134550932 4288281360 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/18141/statm: 102676 12222 2878 10 0 96856 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 413272

[startup+1.50565 s]
/proc/loadavg: 1.26 1.14 1.11 3/55 18150
/proc/meminfo: memFree=637516/1048576 swapFree=2078744/2097144
[pid=18140] ppid=18139 vsize=2568 CPUtime=0
/proc/18140/stat : 18140 (gj-paranoid-sol) S 18139 18140 2059 34821 2220 4202496 373 0 0 0 0 0 0 0 18 0 1 0 875823263 2629632 271 1283457024 134512640 135304128 4290096496 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/18140/statm: 642 271 232 194 0 28 0
[pid=18141] ppid=18140 vsize=410836 CPUtime=1.5
/proc/18141/stat : 18141 (java) S 18140 18140 2059 34821 2220 4202496 28562 0 1 0 136 14 0 0 25 0 9 0 875823263 420696064 27848 1283457024 134512640 134550932 4288281360 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/18141/statm: 102709 27848 2879 10 0 96889 0
[pid=18141/tid=18143] ppid=18140 vsize=410836 CPUtime=0.71
/proc/18141/task/18143/stat : 18143 (java) R 18140 18140 2059 34821 2220 4202560 6785 0 1 0 69 2 0 0 24 0 9 0 875823264 420696064 27848 1283457024 134512640 134550932 4288281360 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=18141/tid=18144] ppid=18140 vsize=410836 CPUtime=0.75
/proc/18141/task/18144/stat : 18144 (java) R 18140 18140 2059 34821 2220 4202560 20389 0 0 0 64 11 0 0 20 0 9 0 875823265 420696064 27848 1283457024 134512640 134550932 4288281360 18446744073709551615 4152572336 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=18141/tid=18145] ppid=18140 vsize=410836 CPUtime=0
/proc/18141/task/18145/stat : 18145 (java) S 18140 18140 2059 34821 2220 4202560 18 0 0 0 0 0 0 0 20 0 9 0 875823265 420696064 27848 1283457024 134512640 134550932 4288281360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=18141/tid=18146] ppid=18140 vsize=410836 CPUtime=0
/proc/18141/task/18146/stat : 18146 (java) S 18140 18140 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 22 0 9 0 875823265 420696064 27848 1283457024 134512640 134550932 4288281360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=18141/tid=18147] ppid=18140 vsize=410836 CPUtime=0
/proc/18141/task/18147/stat : 18147 (java) S 18140 18140 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 9 0 875823266 420696064 27848 1283457024 134512640 134550932 4288281360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=18141/tid=18148] ppid=18140 vsize=410836 CPUtime=0.03
/proc/18141/task/18148/stat : 18148 (java) S 18140 18140 2059 34821 2220 4202560 455 0 0 0 3 0 0 0 17 0 9 0 875823266 420696064 27848 1283457024 134512640 134550932 4288281360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=18141/tid=18149] ppid=18140 vsize=410836 CPUtime=0
/proc/18141/task/18149/stat : 18149 (java) S 18140 18140 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 25 0 9 0 875823266 420696064 27848 1283457024 134512640 134550932 4288281360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=18141/tid=18150] ppid=18140 vsize=410836 CPUtime=0
/proc/18141/task/18150/stat : 18150 (java) S 18140 18140 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 9 0 875823266 420696064 27848 1283457024 134512640 134550932 4288281360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 413404

[startup+3.1061 s]
/proc/loadavg: 1.26 1.14 1.11 3/55 18150
/proc/meminfo: memFree=550096/1048576 swapFree=2078744/2097144
[pid=18140] ppid=18139 vsize=2568 CPUtime=0
/proc/18140/stat : 18140 (gj-paranoid-sol) S 18139 18140 2059 34821 2220 4202496 373 0 0 0 0 0 0 0 18 0 1 0 875823263 2629632 271 1283457024 134512640 135304128 4290096496 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/18140/statm: 642 271 232 194 0 28 0
[pid=18141] ppid=18140 vsize=411160 CPUtime=3.1
/proc/18141/stat : 18141 (java) S 18140 18140 2059 34821 2220 4202496 46491 0 1 0 285 25 0 0 25 0 10 0 875823263 421027840 45761 1283457024 134512640 134550932 4288281360 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/18141/statm: 102790 45761 2885 10 0 96970 0
[pid=18141/tid=18143] ppid=18140 vsize=411160 CPUtime=1.41
/proc/18141/task/18143/stat : 18143 (java) R 18140 18140 2059 34821 2220 4202560 10950 0 1 0 136 5 0 0 25 0 10 0 875823264 421027840 45761 1283457024 134512640 134550932 4288281360 18446744073709551615 4115432332 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=18141/tid=18144] ppid=18140 vsize=411160 CPUtime=1.61
/proc/18141/task/18144/stat : 18144 (java) S 18140 18140 2059 34821 2220 4202560 34088 0 0 0 143 18 0 0 18 0 10 0 875823265 421027840 45761 1283457024 134512640 134550932 4288281360 18446744073709551615 4294960130 0 0 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=18141/tid=18145] ppid=18140 vsize=411160 CPUtime=0
/proc/18141/task/18145/stat : 18145 (java) S 18140 18140 2059 34821 2220 4202560 18 0 0 0 0 0 0 0 18 0 10 0 875823265 421027840 45761 1283457024 134512640 134550932 4288281360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=18141/tid=18146] ppid=18140 vsize=411160 CPUtime=0
/proc/18141/task/18146/stat : 18146 (java) S 18140 18140 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 10 0 875823265 421027840 45761 1283457024 134512640 134550932 4288281360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=18141/tid=18147] ppid=18140 vsize=411160 CPUtime=0
/proc/18141/task/18147/stat : 18147 (java) S 18140 18140 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 875823266 421027840 45761 1283457024 134512640 134550932 4288281360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=18141/tid=18148] ppid=18140 vsize=411160 CPUtime=0.06
/proc/18141/task/18148/stat : 18148 (java) S 18140 18140 2059 34821 2220 4202560 515 0 0 0 6 0 0 0 15 0 10 0 875823266 421027840 45761 1283457024 134512640 134550932 4288281360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=18141/tid=18149] ppid=18140 vsize=411160 CPUtime=0
/proc/18141/task/18149/stat : 18149 (java) S 18140 18140 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 25 0 10 0 875823266 421027840 45761 1283457024 134512640 134550932 4288281360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=18141/tid=18150] ppid=18140 vsize=411160 CPUtime=0
/proc/18141/task/18150/stat : 18150 (java) S 18140 18140 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 10 0 875823266 421027840 45761 1283457024 134512640 134550932 4288281360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 413728

[startup+6.32682 s]
/proc/loadavg: 1.32 1.15 1.11 2/56 18151
/proc/meminfo: memFree=523304/1048576 swapFree=2078744/2097144
[pid=18140] ppid=18139 vsize=2568 CPUtime=0
/proc/18140/stat : 18140 (gj-paranoid-sol) S 18139 18140 2059 34821 2220 4202496 373 0 0 0 0 0 0 0 18 0 1 0 875823263 2629632 271 1283457024 134512640 135304128 4290096496 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/18140/statm: 642 271 232 194 0 28 0
[pid=18141] ppid=18140 vsize=411424 CPUtime=6.32
/proc/18141/stat : 18141 (java) S 18140 18140 2059 34821 2220 4202496 52778 0 1 0 606 26 0 0 25 0 10 0 875823263 421298176 52042 1283457024 134512640 134550932 4288281360 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/18141/statm: 102856 52042 2883 10 0 97036 0
[pid=18141/tid=18143] ppid=18140 vsize=411424 CPUtime=4.08
/proc/18141/task/18143/stat : 18143 (java) R 18140 18140 2059 34821 2220 4202560 12482 0 1 0 403 5 0 0 25 0 10 0 875823264 421298176 52042 1283457024 134512640 134550932 4288281360 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=18141/tid=18144] ppid=18140 vsize=411424 CPUtime=2.15
/proc/18141/task/18144/stat : 18144 (java) R 18140 18140 2059 34821 2220 4202560 38837 0 0 0 196 19 0 0 15 0 10 0 875823265 421298176 52042 1283457024 134512640 134550932 4288281360 18446744073709551615 4151292526 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=18141/tid=18145] ppid=18140 vsize=411424 CPUtime=0
/proc/18141/task/18145/stat : 18145 (java) S 18140 18140 2059 34821 2220 4202560 18 0 0 0 0 0 0 0 18 0 10 0 875823265 421298176 52042 1283457024 134512640 134550932 4288281360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=18141/tid=18146] ppid=18140 vsize=411424 CPUtime=0
/proc/18141/task/18146/stat : 18146 (java) S 18140 18140 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 10 0 875823265 421298176 52042 1283457024 134512640 134550932 4288281360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=18141/tid=18147] ppid=18140 vsize=411424 CPUtime=0
/proc/18141/task/18147/stat : 18147 (java) S 18140 18140 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 875823266 421298176 52042 1283457024 134512640 134550932 4288281360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=18141/tid=18148] ppid=18140 vsize=411424 CPUtime=0.06
/proc/18141/task/18148/stat : 18148 (java) S 18140 18140 2059 34821 2220 4202560 521 0 0 0 6 0 0 0 15 0 10 0 875823266 421298176 52042 1283457024 134512640 134550932 4288281360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=18141/tid=18149] ppid=18140 vsize=411424 CPUtime=0
/proc/18141/task/18149/stat : 18149 (java) S 18140 18140 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 25 0 10 0 875823266 421298176 52042 1283457024 134512640 134550932 4288281360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=18141/tid=18150] ppid=18140 vsize=411424 CPUtime=0
/proc/18141/task/18150/stat : 18150 (java) S 18140 18140 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 10 0 875823266 421298176 52042 1283457024 134512640 134550932 4288281360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=18141/tid=18151] ppid=18140 vsize=411424 CPUtime=0
/proc/18141/task/18151/stat : 18151 (java) S 18140 18140 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 25 0 10 0 875823549 421298176 52042 1283457024 134512640 134550932 4288281360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.32
Current children cumulated vsize (KiB) 413992

[startup+12.7085 s]
/proc/loadavg: 1.30 1.15 1.11 2/56 18151
/proc/meminfo: memFree=509044/1048576 swapFree=2078744/2097144
[pid=18140] ppid=18139 vsize=2568 CPUtime=0
/proc/18140/stat : 18140 (gj-paranoid-sol) S 18139 18140 2059 34821 2220 4202496 373 0 0 0 0 0 0 0 18 0 1 0 875823263 2629632 271 1283457024 134512640 135304128 4290096496 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/18140/statm: 642 271 232 194 0 28 0
[pid=18141] ppid=18140 vsize=411156 CPUtime=12.7
/proc/18141/stat : 18141 (java) S 18140 18140 2059 34821 2220 4202496 60777 0 1 0 1242 28 0 0 25 0 10 0 875823263 421023744 53274 1283457024 134512640 134550932 4288281360 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/18141/statm: 102789 53274 2883 10 0 96969 0
[pid=18141/tid=18143] ppid=18140 vsize=411156 CPUtime=8.8
/proc/18141/task/18143/stat : 18143 (java) R 18140 18140 2059 34821 2220 4202560 12482 0 1 0 875 5 0 0 25 0 10 0 875823264 421023744 53274 1283457024 134512640 134550932 4288281360 18446744073709551615 4115511946 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=18141/tid=18144] ppid=18140 vsize=411156 CPUtime=3.81
/proc/18141/task/18144/stat : 18144 (java) S 18140 18140 2059 34821 2220 4202560 46836 0 0 0 360 21 0 0 16 0 10 0 875823265 421023744 53274 1283457024 134512640 134550932 4288281360 18446744073709551615 4294960130 0 0 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=18141/tid=18145] ppid=18140 vsize=411156 CPUtime=0
/proc/18141/task/18145/stat : 18145 (java) S 18140 18140 2059 34821 2220 4202560 18 0 0 0 0 0 0 0 18 0 10 0 875823265 421023744 53274 1283457024 134512640 134550932 4288281360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=18141/tid=18146] ppid=18140 vsize=411156 CPUtime=0
/proc/18141/task/18146/stat : 18146 (java) S 18140 18140 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 10 0 875823265 421023744 53274 1283457024 134512640 134550932 4288281360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=18141/tid=18147] ppid=18140 vsize=411156 CPUtime=0
/proc/18141/task/18147/stat : 18147 (java) S 18140 18140 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 875823266 421023744 53274 1283457024 134512640 134550932 4288281360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=18141/tid=18148] ppid=18140 vsize=411156 CPUtime=0.06
/proc/18141/task/18148/stat : 18148 (java) S 18140 18140 2059 34821 2220 4202560 521 0 0 0 6 0 0 0 15 0 10 0 875823266 421023744 53274 1283457024 134512640 134550932 4288281360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=18141/tid=18149] ppid=18140 vsize=411156 CPUtime=0
/proc/18141/task/18149/stat : 18149 (java) S 18140 18140 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 25 0 10 0 875823266 421023744 53274 1283457024 134512640 134550932 4288281360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=18141/tid=18150] ppid=18140 vsize=411156 CPUtime=0
/proc/18141/task/18150/stat : 18150 (java) S 18140 18140 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 10 0 875823266 421023744 53274 1283457024 134512640 134550932 4288281360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=18141/tid=18151] ppid=18140 vsize=411156 CPUtime=0
/proc/18141/task/18151/stat : 18151 (java) S 18140 18140 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 25 0 10 0 875823549 421023744 53274 1283457024 134512640 134550932 4288281360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 413724

[startup+25.5114 s]
/proc/loadavg: 1.45 1.19 1.13 3/56 18151
/proc/meminfo: memFree=503836/1048576 swapFree=2078744/2097144
[pid=18140] ppid=18139 vsize=2568 CPUtime=0
/proc/18140/stat : 18140 (gj-paranoid-sol) S 18139 18140 2059 34821 2220 4202496 373 0 0 0 0 0 0 0 18 0 1 0 875823263 2629632 271 1283457024 134512640 135304128 4290096496 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/18140/statm: 642 271 232 194 0 28 0
[pid=18141] ppid=18140 vsize=411156 CPUtime=25.49
/proc/18141/stat : 18141 (java) S 18140 18140 2059 34821 2220 4202496 71206 0 1 0 2518 31 0 0 25 0 10 0 875823263 421023744 54583 1283457024 134512640 134550932 4288281360 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/18141/statm: 102789 54583 2883 10 0 96969 0
[pid=18141/tid=18143] ppid=18140 vsize=411156 CPUtime=19.29
/proc/18141/task/18143/stat : 18143 (java) R 18140 18140 2059 34821 2220 4202560 12482 0 1 0 1924 5 0 0 25 0 10 0 875823264 421023744 54583 1283457024 134512640 134550932 4288281360 18446744073709551615 4115548758 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=18141/tid=18144] ppid=18140 vsize=411156 CPUtime=6.11
/proc/18141/task/18144/stat : 18144 (java) S 18140 18140 2059 34821 2220 4202560 57265 0 0 0 587 24 0 0 16 0 10 0 875823265 421023744 54583 1283457024 134512640 134550932 4288281360 18446744073709551615 4294960130 0 0 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=18141/tid=18145] ppid=18140 vsize=411156 CPUtime=0
/proc/18141/task/18145/stat : 18145 (java) S 18140 18140 2059 34821 2220 4202560 18 0 0 0 0 0 0 0 18 0 10 0 875823265 421023744 54583 1283457024 134512640 134550932 4288281360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=18141/tid=18146] ppid=18140 vsize=411156 CPUtime=0
/proc/18141/task/18146/stat : 18146 (java) S 18140 18140 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 10 0 875823265 421023744 54583 1283457024 134512640 134550932 4288281360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=18141/tid=18147] ppid=18140 vsize=411156 CPUtime=0
/proc/18141/task/18147/stat : 18147 (java) S 18140 18140 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 875823266 421023744 54583 1283457024 134512640 134550932 4288281360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=18141/tid=18148] ppid=18140 vsize=411156 CPUtime=0.06
/proc/18141/task/18148/stat : 18148 (java) S 18140 18140 2059 34821 2220 4202560 521 0 0 0 6 0 0 0 15 0 10 0 875823266 421023744 54583 1283457024 134512640 134550932 4288281360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=18141/tid=18149] ppid=18140 vsize=411156 CPUtime=0
/proc/18141/task/18149/stat : 18149 (java) S 18140 18140 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 25 0 10 0 875823266 421023744 54583 1283457024 134512640 134550932 4288281360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=18141/tid=18150] ppid=18140 vsize=411156 CPUtime=0
/proc/18141/task/18150/stat : 18150 (java) S 18140 18140 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 10 0 875823266 421023744 54583 1283457024 134512640 134550932 4288281360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=18141/tid=18151] ppid=18140 vsize=411156 CPUtime=0
/proc/18141/task/18151/stat : 18151 (java) S 18140 18140 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 25 0 10 0 875823549 421023744 54583 1283457024 134512640 134550932 4288281360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 413724

Solver just ended. Dumping a history of the last processes samples

[startup+25.7114 s]
/proc/loadavg: 1.45 1.19 1.13 3/56 18151
/proc/meminfo: memFree=503836/1048576 swapFree=2078744/2097144
[pid=18140] ppid=18139 vsize=2568 CPUtime=0
/proc/18140/stat : 18140 (gj-paranoid-sol) S 18139 18140 2059 34821 2220 4202496 373 0 0 0 0 0 0 0 18 0 1 0 875823263 2629632 271 1283457024 134512640 135304128 4290096496 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/18140/statm: 642 271 232 194 0 28 0
[pid=18141] ppid=18140 vsize=411156 CPUtime=25.69
/proc/18141/stat : 18141 (java) S 18140 18140 2059 34821 2220 4202496 71206 0 1 0 2538 31 0 0 25 0 10 0 875823263 421023744 54583 1283457024 134512640 134550932 4288281360 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/18141/statm: 102789 54583 2883 10 0 96969 0
[pid=18141/tid=18143] ppid=18140 vsize=411156 CPUtime=19.49
/proc/18141/task/18143/stat : 18143 (java) R 18140 18140 2059 34821 2220 4202560 12482 0 1 0 1944 5 0 0 25 0 10 0 875823264 421023744 54583 1283457024 134512640 134550932 4288281360 18446744073709551615 4115559621 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=18141/tid=18144] ppid=18140 vsize=411156 CPUtime=6.11
/proc/18141/task/18144/stat : 18144 (java) S 18140 18140 2059 34821 2220 4202560 57265 0 0 0 587 24 0 0 16 0 10 0 875823265 421023744 54583 1283457024 134512640 134550932 4288281360 18446744073709551615 4294960130 0 0 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=18141/tid=18145] ppid=18140 vsize=411156 CPUtime=0
/proc/18141/task/18145/stat : 18145 (java) S 18140 18140 2059 34821 2220 4202560 18 0 0 0 0 0 0 0 18 0 10 0 875823265 421023744 54583 1283457024 134512640 134550932 4288281360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=18141/tid=18146] ppid=18140 vsize=411156 CPUtime=0
/proc/18141/task/18146/stat : 18146 (java) S 18140 18140 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 10 0 875823265 421023744 54583 1283457024 134512640 134550932 4288281360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=18141/tid=18147] ppid=18140 vsize=411156 CPUtime=0
/proc/18141/task/18147/stat : 18147 (java) S 18140 18140 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 875823266 421023744 54583 1283457024 134512640 134550932 4288281360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=18141/tid=18148] ppid=18140 vsize=411156 CPUtime=0.06
/proc/18141/task/18148/stat : 18148 (java) S 18140 18140 2059 34821 2220 4202560 521 0 0 0 6 0 0 0 15 0 10 0 875823266 421023744 54583 1283457024 134512640 134550932 4288281360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=18141/tid=18149] ppid=18140 vsize=411156 CPUtime=0
/proc/18141/task/18149/stat : 18149 (java) S 18140 18140 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 25 0 10 0 875823266 421023744 54583 1283457024 134512640 134550932 4288281360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=18141/tid=18150] ppid=18140 vsize=411156 CPUtime=0
/proc/18141/task/18150/stat : 18150 (java) R 18140 18140 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 10 0 875823266 421023744 54583 1283457024 134512640 134550932 4288281360 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=18141/tid=18151] ppid=18140 vsize=411156 CPUtime=0
/proc/18141/task/18151/stat : 18151 (java) S 18140 18140 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 25 0 10 0 875823549 421023744 54583 1283457024 134512640 134550932 4288281360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.69
Current children cumulated vsize (KiB) 413724

[startup+28.9122 s]
/proc/loadavg: 1.45 1.19 1.13 4/56 18151
/proc/meminfo: memFree=503836/1048576 swapFree=2078744/2097144
[pid=18140] ppid=18139 vsize=2568 CPUtime=0
/proc/18140/stat : 18140 (gj-paranoid-sol) S 18139 18140 2059 34821 2220 4202496 373 0 0 0 0 0 0 0 18 0 1 0 875823263 2629632 271 1283457024 134512640 135304128 4290096496 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/18140/statm: 642 271 232 194 0 28 0
[pid=18141] ppid=18140 vsize=419472 CPUtime=28.89
/proc/18141/stat : 18141 (java) S 18140 18140 2059 34821 2220 4202496 73257 0 1 0 2857 32 0 0 25 0 10 0 875823263 429539328 56634 1283457024 134512640 134550932 4288281360 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/18141/statm: 104868 56634 2883 10 0 99048 0
[pid=18141/tid=18143] ppid=18140 vsize=419472 CPUtime=22.44
/proc/18141/task/18143/stat : 18143 (java) R 18140 18140 2059 34821 2220 4202560 12482 0 1 0 2239 5 0 0 25 0 10 0 875823264 429539328 56634 1283457024 134512640 134550932 4288281360 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=18141/tid=18144] ppid=18140 vsize=419472 CPUtime=6.36
/proc/18141/task/18144/stat : 18144 (java) R 18140 18140 2059 34821 2220 4202560 59316 0 0 0 611 25 0 0 16 0 10 0 875823265 429539328 56634 1283457024 134512640 134550932 4288281360 18446744073709551615 4152402849 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=18141/tid=18145] ppid=18140 vsize=419472 CPUtime=0
/proc/18141/task/18145/stat : 18145 (java) S 18140 18140 2059 34821 2220 4202560 18 0 0 0 0 0 0 0 18 0 10 0 875823265 429539328 56634 1283457024 134512640 134550932 4288281360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=18141/tid=18146] ppid=18140 vsize=419472 CPUtime=0
/proc/18141/task/18146/stat : 18146 (java) S 18140 18140 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 10 0 875823265 429539328 56634 1283457024 134512640 134550932 4288281360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=18141/tid=18147] ppid=18140 vsize=419472 CPUtime=0
/proc/18141/task/18147/stat : 18147 (java) S 18140 18140 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 875823266 429539328 56634 1283457024 134512640 134550932 4288281360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=18141/tid=18148] ppid=18140 vsize=419472 CPUtime=0.06
/proc/18141/task/18148/stat : 18148 (java) S 18140 18140 2059 34821 2220 4202560 521 0 0 0 6 0 0 0 15 0 10 0 875823266 429539328 56634 1283457024 134512640 134550932 4288281360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=18141/tid=18149] ppid=18140 vsize=419472 CPUtime=0
/proc/18141/task/18149/stat : 18149 (java) S 18140 18140 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 25 0 10 0 875823266 429539328 56634 1283457024 134512640 134550932 4288281360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=18141/tid=18150] ppid=18140 vsize=419472 CPUtime=0
/proc/18141/task/18150/stat : 18150 (java) S 18140 18140 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 10 0 875823266 429539328 56634 1283457024 134512640 134550932 4288281360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=18141/tid=18151] ppid=18140 vsize=419472 CPUtime=0
/proc/18141/task/18151/stat : 18151 (java) S 18140 18140 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 25 0 10 0 875823549 429539328 56634 1283457024 134512640 134550932 4288281360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 28.89
Current children cumulated vsize (KiB) 422040

[startup+32.1129 s]
/proc/loadavg: 1.41 1.19 1.12 2/56 18151
/proc/meminfo: memFree=501976/1048576 swapFree=2078744/2097144
[pid=18140] ppid=18139 vsize=2568 CPUtime=0
/proc/18140/stat : 18140 (gj-paranoid-sol) S 18139 18140 2059 34821 2220 4202496 373 0 0 0 0 0 0 0 18 0 1 0 875823263 2629632 271 1283457024 134512640 135304128 4290096496 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/18140/statm: 642 271 232 194 0 28 0
[pid=18141] ppid=18140 vsize=411156 CPUtime=32.09
/proc/18141/stat : 18141 (java) S 18140 18140 2059 34821 2220 4202496 73933 0 1 0 3176 33 0 0 25 0 10 0 875823263 421023744 55030 1283457024 134512640 134550932 4288281360 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/18141/statm: 102789 55030 2883 10 0 96969 0
[pid=18141/tid=18143] ppid=18140 vsize=411156 CPUtime=25.31
/proc/18141/task/18143/stat : 18143 (java) R 18140 18140 2059 34821 2220 4202560 12482 0 1 0 2526 5 0 0 25 0 10 0 875823264 421023744 55030 1283457024 134512640 134550932 4288281360 18446744073709551615 4115432341 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=18141/tid=18144] ppid=18140 vsize=411156 CPUtime=6.69
/proc/18141/task/18144/stat : 18144 (java) S 18140 18140 2059 34821 2220 4202560 59992 0 0 0 643 26 0 0 15 0 10 0 875823265 421023744 55030 1283457024 134512640 134550932 4288281360 18446744073709551615 4294960130 0 0 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=18141/tid=18145] ppid=18140 vsize=411156 CPUtime=0
/proc/18141/task/18145/stat : 18145 (java) S 18140 18140 2059 34821 2220 4202560 18 0 0 0 0 0 0 0 18 0 10 0 875823265 421023744 55030 1283457024 134512640 134550932 4288281360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=18141/tid=18146] ppid=18140 vsize=411156 CPUtime=0
/proc/18141/task/18146/stat : 18146 (java) S 18140 18140 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 10 0 875823265 421023744 55030 1283457024 134512640 134550932 4288281360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=18141/tid=18147] ppid=18140 vsize=411156 CPUtime=0
/proc/18141/task/18147/stat : 18147 (java) S 18140 18140 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 875823266 421023744 55030 1283457024 134512640 134550932 4288281360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=18141/tid=18148] ppid=18140 vsize=411156 CPUtime=0.06
/proc/18141/task/18148/stat : 18148 (java) S 18140 18140 2059 34821 2220 4202560 521 0 0 0 6 0 0 0 15 0 10 0 875823266 421023744 55030 1283457024 134512640 134550932 4288281360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=18141/tid=18149] ppid=18140 vsize=411156 CPUtime=0
/proc/18141/task/18149/stat : 18149 (java) S 18140 18140 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 25 0 10 0 875823266 421023744 55030 1283457024 134512640 134550932 4288281360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=18141/tid=18150] ppid=18140 vsize=411156 CPUtime=0
/proc/18141/task/18150/stat : 18150 (java) S 18140 18140 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 10 0 875823266 421023744 55030 1283457024 134512640 134550932 4288281360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=18141/tid=18151] ppid=18140 vsize=411156 CPUtime=0
/proc/18141/task/18151/stat : 18151 (java) S 18140 18140 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 25 0 10 0 875823549 421023744 55030 1283457024 134512640 134550932 4288281360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 32.09
Current children cumulated vsize (KiB) 413724

[startup+32.9331 s]
/proc/loadavg: 1.41 1.19 1.12 2/56 18151
/proc/meminfo: memFree=501976/1048576 swapFree=2078744/2097144
[pid=18140] ppid=18139 vsize=2568 CPUtime=0
/proc/18140/stat : 18140 (gj-paranoid-sol) S 18139 18140 2059 34821 2220 4202496 373 0 0 0 0 0 0 0 18 0 1 0 875823263 2629632 271 1283457024 134512640 135304128 4290096496 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/18140/statm: 642 271 232 194 0 28 0
[pid=18141] ppid=18140 vsize=411156 CPUtime=32.92
/proc/18141/stat : 18141 (java) S 18140 18140 2059 34821 2220 4202496 73933 0 1 0 3259 33 0 0 25 0 10 0 875823263 421023744 55030 1283457024 134512640 134550932 4288281360 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/18141/statm: 102789 55030 2883 10 0 96969 0
[pid=18141/tid=18143] ppid=18140 vsize=411156 CPUtime=26.09
/proc/18141/task/18143/stat : 18143 (java) R 18140 18140 2059 34821 2220 4202560 12482 0 1 0 2604 5 0 0 25 0 10 0 875823264 421023744 55030 1283457024 134512640 134550932 4288281360 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=18141/tid=18144] ppid=18140 vsize=411156 CPUtime=6.73
/proc/18141/task/18144/stat : 18144 (java) R 18140 18140 2059 34821 2220 4202560 59992 0 0 0 647 26 0 0 15 0 10 0 875823265 421023744 55030 1283457024 134512640 134550932 4288281360 18446744073709551615 4151292408 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=18141/tid=18145] ppid=18140 vsize=411156 CPUtime=0
/proc/18141/task/18145/stat : 18145 (java) S 18140 18140 2059 34821 2220 4202560 18 0 0 0 0 0 0 0 18 0 10 0 875823265 421023744 55030 1283457024 134512640 134550932 4288281360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=18141/tid=18146] ppid=18140 vsize=411156 CPUtime=0
/proc/18141/task/18146/stat : 18146 (java) S 18140 18140 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 10 0 875823265 421023744 55030 1283457024 134512640 134550932 4288281360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=18141/tid=18147] ppid=18140 vsize=411156 CPUtime=0
/proc/18141/task/18147/stat : 18147 (java) S 18140 18140 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 875823266 421023744 55030 1283457024 134512640 134550932 4288281360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=18141/tid=18148] ppid=18140 vsize=411156 CPUtime=0.06
/proc/18141/task/18148/stat : 18148 (java) S 18140 18140 2059 34821 2220 4202560 521 0 0 0 6 0 0 0 15 0 10 0 875823266 421023744 55030 1283457024 134512640 134550932 4288281360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=18141/tid=18149] ppid=18140 vsize=411156 CPUtime=0
/proc/18141/task/18149/stat : 18149 (java) S 18140 18140 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 25 0 10 0 875823266 421023744 55030 1283457024 134512640 134550932 4288281360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=18141/tid=18150] ppid=18140 vsize=411156 CPUtime=0
/proc/18141/task/18150/stat : 18150 (java) S 18140 18140 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 10 0 875823266 421023744 55030 1283457024 134512640 134550932 4288281360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=18141/tid=18151] ppid=18140 vsize=411156 CPUtime=0
/proc/18141/task/18151/stat : 18151 (java) R 18140 18140 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 10 0 875823549 421023744 55030 1283457024 134512640 134550932 4288281360 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 32.92
Current children cumulated vsize (KiB) 413724

[startup+33.3032 s]
/proc/loadavg: 1.41 1.19 1.12 4/56 18151
/proc/meminfo: memFree=496520/1048576 swapFree=2078744/2097144
[pid=18140] ppid=18139 vsize=2568 CPUtime=0
/proc/18140/stat : 18140 (gj-paranoid-sol) S 18139 18140 2059 34821 2220 4202496 373 0 0 0 0 0 0 0 18 0 1 0 875823263 2629632 271 1283457024 134512640 135304128 4290096496 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/18140/statm: 642 271 232 194 0 28 0
[pid=18141] ppid=18140 vsize=420396 CPUtime=33.28
/proc/18141/stat : 18141 (java) S 18140 18140 2059 34821 2220 4202496 76215 0 1 0 3295 33 0 0 25 0 10 0 875823263 430485504 57312 1283457024 134512640 134550932 4288281360 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/18141/statm: 105099 57312 2883 10 0 99279 0
[pid=18141/tid=18143] ppid=18140 vsize=420396 CPUtime=26.09
/proc/18141/task/18143/stat : 18143 (java) R 18140 18140 2059 34821 2220 4202560 12482 0 1 0 2604 5 0 0 25 0 10 0 875823264 430485504 57312 1283457024 134512640 134550932 4288281360 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=18141/tid=18144] ppid=18140 vsize=420396 CPUtime=7.1
/proc/18141/task/18144/stat : 18144 (java) R 18140 18140 2059 34821 2220 4202560 62274 0 0 0 684 26 0 0 16 0 10 0 875823265 430485504 57312 1283457024 134512640 134550932 4288281360 18446744073709551615 4151305294 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=18141/tid=18145] ppid=18140 vsize=420396 CPUtime=0
/proc/18141/task/18145/stat : 18145 (java) S 18140 18140 2059 34821 2220 4202560 18 0 0 0 0 0 0 0 18 0 10 0 875823265 430485504 57312 1283457024 134512640 134550932 4288281360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=18141/tid=18146] ppid=18140 vsize=420396 CPUtime=0
/proc/18141/task/18146/stat : 18146 (java) S 18140 18140 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 10 0 875823265 430485504 57312 1283457024 134512640 134550932 4288281360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=18141/tid=18147] ppid=18140 vsize=420396 CPUtime=0
/proc/18141/task/18147/stat : 18147 (java) S 18140 18140 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 875823266 430485504 57312 1283457024 134512640 134550932 4288281360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=18141/tid=18148] ppid=18140 vsize=420396 CPUtime=0.06
/proc/18141/task/18148/stat : 18148 (java) S 18140 18140 2059 34821 2220 4202560 521 0 0 0 6 0 0 0 15 0 10 0 875823266 430485504 57312 1283457024 134512640 134550932 4288281360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=18141/tid=18149] ppid=18140 vsize=420396 CPUtime=0
/proc/18141/task/18149/stat : 18149 (java) S 18140 18140 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 25 0 10 0 875823266 430485504 57312 1283457024 134512640 134550932 4288281360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=18141/tid=18150] ppid=18140 vsize=420396 CPUtime=0
/proc/18141/task/18150/stat : 18150 (java) S 18140 18140 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 10 0 875823266 430485504 57312 1283457024 134512640 134550932 4288281360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=18141/tid=18151] ppid=18140 vsize=420396 CPUtime=0
/proc/18141/task/18151/stat : 18151 (java) R 18140 18140 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 10 0 875823549 430485504 57312 1283457024 134512640 134550932 4288281360 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 33.28
Current children cumulated vsize (KiB) 422964

[startup+33.5033 s]
/proc/loadavg: 1.41 1.19 1.12 4/56 18151
/proc/meminfo: memFree=496520/1048576 swapFree=2078744/2097144
[pid=18140] ppid=18139 vsize=2568 CPUtime=0
/proc/18140/stat : 18140 (gj-paranoid-sol) S 18139 18140 2059 34821 2220 4202496 373 0 0 0 0 0 0 0 18 0 1 0 875823263 2629632 271 1283457024 134512640 135304128 4290096496 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/18140/statm: 642 271 232 194 0 28 0
[pid=18141] ppid=18140 vsize=411156 CPUtime=33.47
/proc/18141/stat : 18141 (java) S 18140 18140 2059 34821 2220 4202496 76958 0 1 0 3313 34 0 0 25 0 9 0 875823263 421023744 55774 1283457024 134512640 134550932 4288281360 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/18141/statm: 102789 55774 2883 10 0 96969 0
[pid=18141/tid=18143] ppid=18140 vsize=411156 CPUtime=26.11
/proc/18141/task/18143/stat : 18143 (java) S 18140 18140 2059 34821 2220 4202560 12486 0 1 0 2606 5 0 0 25 0 9 0 875823264 421023744 55774 1283457024 134512640 134550932 4288281360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=18141/tid=18144] ppid=18140 vsize=411156 CPUtime=7.27
/proc/18141/task/18144/stat : 18144 (java) S 18140 18140 2059 34821 2220 4202560 63010 0 0 0 700 27 0 0 16 0 9 0 875823265 421023744 55774 1283457024 134512640 134550932 4288281360 18446744073709551615 4294960130 0 0 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=18141/tid=18145] ppid=18140 vsize=411156 CPUtime=0
/proc/18141/task/18145/stat : 18145 (java) S 18140 18140 2059 34821 2220 4202560 18 0 0 0 0 0 0 0 18 0 9 0 875823265 421023744 55774 1283457024 134512640 134550932 4288281360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=18141/tid=18146] ppid=18140 vsize=411156 CPUtime=0
/proc/18141/task/18146/stat : 18146 (java) S 18140 18140 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 9 0 875823265 421023744 55774 1283457024 134512640 134550932 4288281360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=18141/tid=18147] ppid=18140 vsize=411156 CPUtime=0
/proc/18141/task/18147/stat : 18147 (java) S 18140 18140 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 9 0 875823266 421023744 55774 1283457024 134512640 134550932 4288281360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=18141/tid=18148] ppid=18140 vsize=411156 CPUtime=0.06
/proc/18141/task/18148/stat : 18148 (java) S 18140 18140 2059 34821 2220 4202560 524 0 0 0 6 0 0 0 15 0 9 0 875823266 421023744 55774 1283457024 134512640 134550932 4288281360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=18141/tid=18149] ppid=18140 vsize=411156 CPUtime=0
/proc/18141/task/18149/stat : 18149 (java) S 18140 18140 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 25 0 9 0 875823266 421023744 55774 1283457024 134512640 134550932 4288281360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=18141/tid=18150] ppid=18140 vsize=411156 CPUtime=0
/proc/18141/task/18150/stat : 18150 (java) S 18140 18140 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 9 0 875823266 421023744 55774 1283457024 134512640 134550932 4288281360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 33.47
Current children cumulated vsize (KiB) 413724

Child status: 0
Real time (s): 33.5636
CPU time (s): 33.4861
CPU user time (s): 33.1381
CPU system time (s): 0.348021
CPU usage (%): 99.7691
Max. virtual memory (cumulated for all children) (KiB): 422968

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 33.1381
system time used= 0.348021
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 77345
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1246
involuntary context switches= 1592

runsolver used 0 second user time and 0 second system time

The end