runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 935)
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: BIN/runsolver --timestamp -w /tmp/evaluation-result-3311831-1304096258/watcher-3311831-1304096258 -o /tmp/evaluation-result-3311831-1304096258/solver-3311831-1304096258 -C 4800 -W 1300 -M 15500 run 15000 4 HOME HOME HOME/instance-3311831-1304096258.cnf -hbr 2
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 6.02 7.46 7.77 3/174 1003
/proc/meminfo: memFree=30865268/32950928 swapFree=67111524/67111528
[pid=1003] ppid=1001 vsize=8968 CPUtime=0 cores=0,2,4,6
/proc/1003/stat : 1003 (java) R 1001 1003 32461 0 -1 4202496 457 0 0 0 0 0 0 0 21 0 1 0 599856535 9183232 119 33554432000 1073741824 1073778376 140736071959536 18446744073709551615 218892372304 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/1003/statm: 2242 122 95 9 0 34 0
[startup+0.0746349 s]
/proc/loadavg: 6.02 7.46 7.77 3/174 1003
/proc/meminfo: memFree=30865268/32950928 swapFree=67111524/67111528
[pid=1003] ppid=1001 vsize=15609532 CPUtime=0.04 cores=0,2,4,6
/proc/1003/stat : 1003 (java) S 1001 1003 32461 0 -1 4202496 3951 0 1 0 3 1 0 0 21 0 18 0 599856535 15984160768 3389 33554432000 1073741824 1073778376 140733995791072 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/1003/statm: 3902383 3391 1719 9 0 3893131 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 15609532
[startup+0.100643 s]
/proc/loadavg: 6.02 7.46 7.77 3/174 1003
/proc/meminfo: memFree=30865268/32950928 swapFree=67111524/67111528
[pid=1003] ppid=1001 vsize=15609780 CPUtime=0.06 cores=0,2,4,6
/proc/1003/stat : 1003 (java) S 1001 1003 32461 0 -1 4202496 4453 0 1 0 5 1 0 0 21 0 18 0 599856535 15984414720 3891 33554432000 1073741824 1073778376 140733995791072 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/1003/statm: 3902445 3892 1779 9 0 3893164 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 15609780
[startup+0.300601 s]
/proc/loadavg: 6.02 7.46 7.77 3/174 1003
/proc/meminfo: memFree=30865268/32950928 swapFree=67111524/67111528
[pid=1003] ppid=1001 vsize=15679772 CPUtime=0.45 cores=0,2,4,6
/proc/1003/stat : 1003 (java) S 1001 1003 32461 0 -1 4202496 12277 0 1 0 43 2 0 0 21 0 18 0 599856535 16056086528 10739 33554432000 1073741824 1073778376 140733995791072 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/1003/statm: 3919943 10742 2205 9 0 3910662 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 15679772
[startup+0.70054 s]
/proc/loadavg: 6.02 7.46 7.77 3/174 1003
/proc/meminfo: memFree=30865268/32950928 swapFree=67111524/67111528
[pid=1003] ppid=1001 vsize=15680588 CPUtime=0.9 cores=0,2,4,6
/proc/1003/stat : 1003 (java) S 1001 1003 32461 0 -1 4202496 41843 0 1 0 83 7 0 0 21 0 18 0 599856535 16056922112 40263 33554432000 1073741824 1073778376 140733995791072 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/1003/statm: 3920147 40263 2222 9 0 3910866 0
Current children cumulated CPU time (s) 0.9
Current children cumulated vsize (KiB) 15680588
[startup+1.5014 s]
/proc/loadavg: 6.02 7.46 7.77 3/212 1044
/proc/meminfo: memFree=30548952/32950928 swapFree=67111524/67111528
[pid=1003] ppid=1001 vsize=15684700 CPUtime=1.84 cores=0,2,4,6
/proc/1003/stat : 1003 (java) S 1001 1003 32461 0 -1 4202496 75999 0 1 0 173 11 0 0 21 0 22 0 599856535 16061132800 74416 33554432000 1073741824 1073778376 140733995791072 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/1003/statm: 3921175 74416 2246 9 0 3911894 0
[pid=1003/tid=1005] ppid=1001 vsize=15684700 CPUtime=1.43 cores=0,2,4,6
/proc/1003/task/1005/stat : 1005 (java) R 1001 1003 32461 0 -1 4202560 66327 0 1 0 134 9 0 0 20 0 22 0 599856535 16061132800 74416 33554432000 1073741824 1073778376 140733995791072 18446744073709551615 46912505687842 0 4 0 16800975 0 0 0 -1 4 0 0 2
[pid=1003/tid=1006] ppid=1001 vsize=15684700 CPUtime=0 cores=0,2,4,6
/proc/1003/task/1006/stat : 1006 (java) S 1001 1003 32461 0 -1 4202560 419 0 0 0 0 0 0 0 15 0 22 0 599856536 16061132800 74416 33554432000 1073741824 1073778376 140733995791072 18446744073709551615 218892381081 0 4 0 16800975 18446604448735848576 0 0 -1 4 0 0 0
[pid=1003/tid=1007] ppid=1001 vsize=15684700 CPUtime=0 cores=0,2,4,6
/proc/1003/task/1007/stat : 1007 (java) S 1001 1003 32461 0 -1 4202560 64 0 0 0 0 0 0 0 16 0 22 0 599856536 16061132800 74416 33554432000 1073741824 1073778376 140733995791072 18446744073709551615 218892381081 0 4 0 16800975 18446604448735848576 0 0 -1 6 0 0 0
[pid=1003/tid=1008] ppid=1001 vsize=15684700 CPUtime=0 cores=0,2,4,6
/proc/1003/task/1008/stat : 1008 (java) S 1001 1003 32461 0 -1 4202560 1374 0 0 0 0 0 0 0 16 0 22 0 599856536 16061132800 74416 33554432000 1073741824 1073778376 140733995791072 18446744073709551615 218892381081 0 4 0 16800975 18446604448735848576 0 0 -1 4 0 0 0
[pid=1003/tid=1009] ppid=1001 vsize=15684700 CPUtime=0 cores=0,2,4,6
/proc/1003/task/1009/stat : 1009 (java) S 1001 1003 32461 0 -1 4202560 42 0 0 0 0 0 0 0 16 0 22 0 599856536 16061132800 74416 33554432000 1073741824 1073778376 140733995791072 18446744073709551615 218892381081 0 4 0 16800975 18446604448735848576 0 0 -1 0 0 0 0
[pid=1003/tid=1010] ppid=1001 vsize=15684700 CPUtime=0 cores=0,2,4,6
/proc/1003/task/1010/stat : 1010 (java) S 1001 1003 32461 0 -1 4202560 1966 0 0 0 0 0 0 0 16 0 22 0 599856536 16061132800 74416 33554432000 1073741824 1073778376 140733995791072 18446744073709551615 218892381081 0 4 0 16800975 18446604448735848576 0 0 -1 2 0 0 0
[pid=1003/tid=1011] ppid=1001 vsize=15684700 CPUtime=0 cores=0,2,4,6
/proc/1003/task/1011/stat : 1011 (java) S 1001 1003 32461 0 -1 4202560 321 0 0 0 0 0 0 0 15 0 22 0 599856536 16061132800 74416 33554432000 1073741824 1073778376 140733995791072 18446744073709551615 218892381081 0 4 0 16800975 18446604448735848576 0 0 -1 0 0 0 0
[pid=1003/tid=1012] ppid=1001 vsize=15684700 CPUtime=0 cores=0,2,4,6
/proc/1003/task/1012/stat : 1012 (java) S 1001 1003 32461 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 22 0 599856536 16061132800 74416 33554432000 1073741824 1073778376 140733995791072 18446744073709551615 218892381081 0 4 0 16800975 18446604448735848576 0 0 -1 2 0 0 0
[pid=1003/tid=1013] ppid=1001 vsize=15684700 CPUtime=0 cores=0,2,4,6
/proc/1003/task/1013/stat : 1013 (java) S 1001 1003 32461 0 -1 4202560 50 0 0 0 0 0 0 0 15 0 22 0 599856536 16061132800 74416 33554432000 1073741824 1073778376 140733995791072 18446744073709551615 218892381081 0 4 0 16800975 18446604448735848576 0 0 -1 2 0 0 0
[pid=1003/tid=1014] ppid=1001 vsize=15684700 CPUtime=0 cores=0,2,4,6
/proc/1003/task/1014/stat : 1014 (java) S 1001 1003 32461 0 -1 4202560 182 0 0 0 0 0 0 0 15 0 22 0 599856537 16061132800 74416 33554432000 1073741824 1073778376 140733995791072 18446744073709551615 218892381696 0 0 0 16800975 18446604448735848576 0 0 -1 6 0 0 0
[pid=1003/tid=1015] ppid=1001 vsize=15684700 CPUtime=0 cores=0,2,4,6
/proc/1003/task/1015/stat : 1015 (java) S 1001 1003 32461 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 22 0 599856538 16061132800 74416 33554432000 1073741824 1073778376 140733995791072 18446744073709551615 218892381081 0 4 0 16800975 18446604448735848576 0 0 -1 6 0 0 0
[pid=1003/tid=1016] ppid=1001 vsize=15684700 CPUtime=0 cores=0,2,4,6
/proc/1003/task/1016/stat : 1016 (java) S 1001 1003 32461 0 -1 4202560 8 0 0 0 0 0 0 0 21 0 22 0 599856538 16061132800 74416 33554432000 1073741824 1073778376 140733995791072 18446744073709551615 218892381081 0 4 0 16800975 18446604448735848576 0 0 -1 6 0 0 0
[pid=1003/tid=1017] ppid=1001 vsize=15684700 CPUtime=0 cores=0,2,4,6
/proc/1003/task/1017/stat : 1017 (java) S 1001 1003 32461 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 599856542 16061132800 74416 33554432000 1073741824 1073778376 140733995791072 18446744073709551615 218892388785 0 4 0 16800975 18446604448735848576 0 0 -1 4 0 0 0
[pid=1003/tid=1018] ppid=1001 vsize=15684700 CPUtime=0.16 cores=0,2,4,6
/proc/1003/task/1018/stat : 1018 (java) S 1001 1003 32461 0 -1 4202560 1272 0 0 0 16 0 0 0 15 0 22 0 599856542 16061132800 74416 33554432000 1073741824 1073778376 140733995791072 18446744073709551615 218892381081 0 4 0 16800975 18446604448735848576 0 0 -1 2 0 0 0
[pid=1003/tid=1019] ppid=1001 vsize=15684700 CPUtime=0.18 cores=0,2,4,6
/proc/1003/task/1019/stat : 1019 (java) S 1001 1003 32461 0 -1 4202560 2546 0 0 0 18 0 0 0 16 0 22 0 599856542 16061132800 74416 33554432000 1073741824 1073778376 140733995791072 18446744073709551615 218892381081 0 4 0 16800975 18446604448735848576 0 0 -1 0 0 0 0
[pid=1003/tid=1020] ppid=1001 vsize=15684700 CPUtime=0 cores=0,2,4,6
/proc/1003/task/1020/stat : 1020 (java) S 1001 1003 32461 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 599856542 16061132800 74416 33554432000 1073741824 1073778376 140733995791072 18446744073709551615 218892381081 0 4 0 16800975 18446604448735848576 0 0 -1 4 0 0 0
[pid=1003/tid=1021] ppid=1001 vsize=15684700 CPUtime=0 cores=0,2,4,6
/proc/1003/task/1021/stat : 1021 (java) S 1001 1003 32461 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 599856542 16061132800 74416 33554432000 1073741824 1073778376 140733995791072 18446744073709551615 218892381696 0 4 0 16800975 18446604448735848576 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.84
Current children cumulated vsize (KiB) 15684700
[startup+3.10117 s]
/proc/loadavg: 6.02 7.46 7.77 4/216 1048
/proc/meminfo: memFree=30254132/32950928 swapFree=67111524/67111528
[pid=1003] ppid=1001 vsize=15688768 CPUtime=4.73 cores=0,2,4,6
/proc/1003/stat : 1003 (java) S 1001 1003 32461 0 -1 4202496 90181 0 1 0 459 14 0 0 21 0 22 0 599856535 16065298432 81080 33554432000 1073741824 1073778376 140733995791072 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/1003/statm: 3922192 81080 2264 9 0 3912911 0
[pid=1003/tid=1005] ppid=1001 vsize=15688768 CPUtime=3 cores=0,2,4,6
/proc/1003/task/1005/stat : 1005 (java) R 1001 1003 32461 0 -1 4202560 66366 0 1 0 290 10 0 0 18 0 22 0 599856535 16065298432 81080 33554432000 1073741824 1073778376 140733995791072 18446744073709551615 46912506107422 0 4 0 16800975 0 0 0 -1 4 0 0 6
[pid=1003/tid=1006] ppid=1001 vsize=15688768 CPUtime=0 cores=0,2,4,6
/proc/1003/task/1006/stat : 1006 (java) S 1001 1003 32461 0 -1 4202560 419 0 0 0 0 0 0 0 15 0 22 0 599856536 16065298432 81080 33554432000 1073741824 1073778376 140733995791072 18446744073709551615 218892381081 0 4 0 16800975 18446604448735848576 0 0 -1 4 0 0 0
[pid=1003/tid=1007] ppid=1001 vsize=15688768 CPUtime=0 cores=0,2,4,6
/proc/1003/task/1007/stat : 1007 (java) S 1001 1003 32461 0 -1 4202560 64 0 0 0 0 0 0 0 16 0 22 0 599856536 16065298432 81080 33554432000 1073741824 1073778376 140733995791072 18446744073709551615 218892381081 0 4 0 16800975 18446604448735848576 0 0 -1 6 0 0 0
[pid=1003/tid=1008] ppid=1001 vsize=15688768 CPUtime=0 cores=0,2,4,6
/proc/1003/task/1008/stat : 1008 (java) S 1001 1003 32461 0 -1 4202560 1374 0 0 0 0 0 0 0 16 0 22 0 599856536 16065298432 81080 33554432000 1073741824 1073778376 140733995791072 18446744073709551615 218892381081 0 4 0 16800975 18446604448735848576 0 0 -1 4 0 0 0
[pid=1003/tid=1009] ppid=1001 vsize=15688768 CPUtime=0 cores=0,2,4,6
/proc/1003/task/1009/stat : 1009 (java) S 1001 1003 32461 0 -1 4202560 42 0 0 0 0 0 0 0 16 0 22 0 599856536 16065298432 81080 33554432000 1073741824 1073778376 140733995791072 18446744073709551615 218892381081 0 4 0 16800975 18446604448735848576 0 0 -1 0 0 0 0
[pid=1003/tid=1010] ppid=1001 vsize=15688768 CPUtime=0 cores=0,2,4,6
/proc/1003/task/1010/stat : 1010 (java) S 1001 1003 32461 0 -1 4202560 1966 0 0 0 0 0 0 0 16 0 22 0 599856536 16065298432 81080 33554432000 1073741824 1073778376 140733995791072 18446744073709551615 218892381081 0 4 0 16800975 18446604448735848576 0 0 -1 2 0 0 0
[pid=1003/tid=1011] ppid=1001 vsize=15688768 CPUtime=0 cores=0,2,4,6
/proc/1003/task/1011/stat : 1011 (java) S 1001 1003 32461 0 -1 4202560 321 0 0 0 0 0 0 0 15 0 22 0 599856536 16065298432 81080 33554432000 1073741824 1073778376 140733995791072 18446744073709551615 218892381081 0 4 0 16800975 18446604448735848576 0 0 -1 0 0 0 0
[pid=1003/tid=1012] ppid=1001 vsize=15688768 CPUtime=0 cores=0,2,4,6
/proc/1003/task/1012/stat : 1012 (java) S 1001 1003 32461 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 22 0 599856536 16065298432 81080 33554432000 1073741824 1073778376 140733995791072 18446744073709551615 218892381081 0 4 0 16800975 18446604448735848576 0 0 -1 2 0 0 0
[pid=1003/tid=1013] ppid=1001 vsize=15688768 CPUtime=0 cores=0,2,4,6
/proc/1003/task/1013/stat : 1013 (java) S 1001 1003 32461 0 -1 4202560 50 0 0 0 0 0 0 0 15 0 22 0 599856536 16065298432 81080 33554432000 1073741824 1073778376 140733995791072 18446744073709551615 218892381081 0 4 0 16800975 18446604448735848576 0 0 -1 2 0 0 0
[pid=1003/tid=1014] ppid=1001 vsize=15688768 CPUtime=0 cores=0,2,4,6
/proc/1003/task/1014/stat : 1014 (java) S 1001 1003 32461 0 -1 4202560 182 0 0 0 0 0 0 0 15 0 22 0 599856537 16065298432 81080 33554432000 1073741824 1073778376 140733995791072 18446744073709551615 218892381696 0 0 0 16800975 18446604448735848576 0 0 -1 6 0 0 0
[pid=1003/tid=1015] ppid=1001 vsize=15688768 CPUtime=0 cores=0,2,4,6
/proc/1003/task/1015/stat : 1015 (java) S 1001 1003 32461 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 22 0 599856538 16065298432 81080 33554432000 1073741824 1073778376 140733995791072 18446744073709551615 218892381081 0 4 0 16800975 18446604448735848576 0 0 -1 6 0 0 0
[pid=1003/tid=1016] ppid=1001 vsize=15688768 CPUtime=0 cores=0,2,4,6
/proc/1003/task/1016/stat : 1016 (java) S 1001 1003 32461 0 -1 4202560 8 0 0 0 0 0 0 0 21 0 22 0 599856538 16065298432 81080 33554432000 1073741824 1073778376 140733995791072 18446744073709551615 218892381081 0 4 0 16800975 18446604448735848576 0 0 -1 6 0 0 0
[pid=1003/tid=1017] ppid=1001 vsize=15688768 CPUtime=0 cores=0,2,4,6
/proc/1003/task/1017/stat : 1017 (java) S 1001 1003 32461 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 599856542 16065298432 81080 33554432000 1073741824 1073778376 140733995791072 18446744073709551615 218892388785 0 4 0 16800975 18446604448735848576 0 0 -1 4 0 0 0
[pid=1003/tid=1018] ppid=1001 vsize=15688768 CPUtime=0.6 cores=0,2,4,6
/proc/1003/task/1018/stat : 1018 (java) S 1001 1003 32461 0 -1 4202560 3950 0 0 0 60 0 0 0 15 0 22 0 599856542 16065298432 81080 33554432000 1073741824 1073778376 140733995791072 18446744073709551615 218892381081 0 4 0 16800975 18446604448735848576 0 0 -1 2 0 0 0
[pid=1003/tid=1019] ppid=1001 vsize=15688768 CPUtime=1.07 cores=0,2,4,6
/proc/1003/task/1019/stat : 1019 (java) S 1001 1003 32461 0 -1 4202560 14011 0 0 0 105 2 0 0 15 0 22 0 599856542 16065298432 81080 33554432000 1073741824 1073778376 140733995791072 18446744073709551615 218892381081 0 4 0 16800975 18446604448735848576 0 0 -1 0 0 0 0
[pid=1003/tid=1020] ppid=1001 vsize=15688768 CPUtime=0 cores=0,2,4,6
/proc/1003/task/1020/stat : 1020 (java) S 1001 1003 32461 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 599856542 16065298432 81080 33554432000 1073741824 1073778376 140733995791072 18446744073709551615 218892381081 0 4 0 16800975 18446604448735848576 0 0 -1 4 0 0 0
[pid=1003/tid=1021] ppid=1001 vsize=15688768 CPUtime=0 cores=0,2,4,6
/proc/1003/task/1021/stat : 1021 (java) S 1001 1003 32461 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 599856542 16065298432 81080 33554432000 1073741824 1073778376 140733995791072 18446744073709551615 218892381696 0 4 0 16800975 18446604448735848576 0 0 -1 6 0 0 0
[pid=1003/tid=1045] ppid=1001 vsize=15688768 CPUtime=0 cores=0,2,4,6
/proc/1003/task/1045/stat : 1045 (java) S 1001 1003 32461 0 -1 4202560 15 0 0 0 0 0 0 0 15 0 22 0 599856670 16065298432 81080 33554432000 1073741824 1073778376 140733995791072 18446744073709551615 218892381696 0 4 0 16800975 18446604448735848576 0 0 -1 6 0 0 0
[pid=1003/tid=1046] ppid=1001 vsize=15688768 CPUtime=0 cores=0,2,4,6
/proc/1003/task/1046/stat : 1046 (java) S 1001 1003 32461 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 22 0 599856670 16065298432 81080 33554432000 1073741824 1073778376 140733995791072 18446744073709551615 218892381696 0 4 0 16800975 18446604448735848576 0 0 -1 6 0 0 0
[pid=1003/tid=1047] ppid=1001 vsize=15688768 CPUtime=0 cores=0,2,4,6
/proc/1003/task/1047/stat : 1047 (java) S 1001 1003 32461 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 22 0 599856670 16065298432 81080 33554432000 1073741824 1073778376 140733995791072 18446744073709551615 218892381696 0 4 0 16800975 18446604448735848576 0 0 -1 6 0 0 0
[pid=1003/tid=1048] ppid=1001 vsize=15688768 CPUtime=0 cores=0,2,4,6
/proc/1003/task/1048/stat : 1048 (java) S 1001 1003 32461 0 -1 4202560 13 0 0 0 0 0 0 0 15 0 22 0 599856670 16065298432 81080 33554432000 1073741824 1073778376 140733995791072 18446744073709551615 218892381696 0 4 0 16800975 18446604448735848576 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.73
Current children cumulated vsize (KiB) 15688768
[startup+6.30145 s]
/proc/loadavg: 5.94 7.42 7.75 6/220 1053
/proc/meminfo: memFree=29906348/32950928 swapFree=67111524/67111528
[pid=1003] ppid=1001 vsize=15688768 CPUtime=15.08 cores=0,2,4,6
/proc/1003/stat : 1003 (java) S 1001 1003 32461 0 -1 4202496 171470 0 1 0 1483 25 0 0 21 0 22 0 599856535 16065298432 161644 33554432000 1073741824 1073778376 140733995791072 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/1003/statm: 3922192 161644 2275 9 0 3912911 0
[pid=1003/tid=1005] ppid=1001 vsize=15688768 CPUtime=3.6 cores=0,2,4,6
/proc/1003/task/1005/stat : 1005 (java) S 1001 1003 32461 0 -1 4202560 66407 0 1 0 350 10 0 0 19 0 22 0 599856535 16065298432 161644 33554432000 1073741824 1073778376 140733995791072 18446744073709551615 218892381081 0 4 0 16800975 18446604448735848576 0 0 -1 4 0 0 6
[pid=1003/tid=1006] ppid=1001 vsize=15688768 CPUtime=0.01 cores=0,2,4,6
/proc/1003/task/1006/stat : 1006 (java) S 1001 1003 32461 0 -1 4202560 2292 0 0 0 1 0 0 0 15 0 22 0 599856536 16065298432 161644 33554432000 1073741824 1073778376 140733995791072 18446744073709551615 218892381081 0 4 0 16800975 18446604448735848576 0 0 -1 6 0 0 0
[pid=1003/tid=1007] ppid=1001 vsize=15688768 CPUtime=0 cores=0,2,4,6
/proc/1003/task/1007/stat : 1007 (java) S 1001 1003 32461 0 -1 4202560 64 0 0 0 0 0 0 0 15 0 22 0 599856536 16065298432 161644 33554432000 1073741824 1073778376 140733995791072 18446744073709551615 218892381081 0 4 0 16800975 18446604448735848576 0 0 -1 6 0 0 0
[pid=1003/tid=1008] ppid=1001 vsize=15688768 CPUtime=0.02 cores=0,2,4,6
/proc/1003/task/1008/stat : 1008 (java) S 1001 1003 32461 0 -1 4202560 5821 0 0 0 2 0 0 0 16 0 22 0 599856536 16065298432 161644 33554432000 1073741824 1073778376 140733995791072 18446744073709551615 218892381081 0 4 0 16800975 18446604448735848576 0 0 -1 4 0 0 0
[pid=1003/tid=1009] ppid=1001 vsize=15688768 CPUtime=0.02 cores=0,2,4,6
/proc/1003/task/1009/stat : 1009 (java) S 1001 1003 32461 0 -1 4202560 6702 0 0 0 2 0 0 0 16 0 22 0 599856536 16065298432 161644 33554432000 1073741824 1073778376 140733995791072 18446744073709551615 218892381081 0 4 0 16800975 18446604448735848576 0 0 -1 0 0 0 0
[pid=1003/tid=1010] ppid=1001 vsize=15688768 CPUtime=0 cores=0,2,4,6
/proc/1003/task/1010/stat : 1010 (java) S 1001 1003 32461 0 -1 4202560 3293 0 0 0 0 0 0 0 15 0 22 0 599856536 16065298432 161644 33554432000 1073741824 1073778376 140733995791072 18446744073709551615 218892381081 0 4 0 16800975 18446604448735848576 0 0 -1 0 0 0 0
[pid=1003/tid=1011] ppid=1001 vsize=15688768 CPUtime=0.02 cores=0,2,4,6
/proc/1003/task/1011/stat : 1011 (java) S 1001 1003 32461 0 -1 4202560 4804 0 0 0 1 1 0 0 16 0 22 0 599856536 16065298432 161644 33554432000 1073741824 1073778376 140733995791072 18446744073709551615 218892381081 0 4 0 16800975 18446604448735848576 0 0 -1 6 0 0 0
[pid=1003/tid=1012] ppid=1001 vsize=15688768 CPUtime=0 cores=0,2,4,6
/proc/1003/task/1012/stat : 1012 (java) S 1001 1003 32461 0 -1 4202560 1880 0 0 0 0 0 0 0 15 0 22 0 599856536 16065298432 161644 33554432000 1073741824 1073778376 140733995791072 18446744073709551615 218892381081 0 4 0 16800975 18446604448735848576 0 0 -1 2 0 0 0
[pid=1003/tid=1013] ppid=1001 vsize=15688768 CPUtime=0.01 cores=0,2,4,6
/proc/1003/task/1013/stat : 1013 (java) S 1001 1003 32461 0 -1 4202560 3952 0 0 0 1 0 0 0 16 0 22 0 599856536 16065298432 161644 33554432000 1073741824 1073778376 140733995791072 18446744073709551615 218892381081 0 4 0 16800975 18446604448735848576 0 0 -1 4 0 0 0
[pid=1003/tid=1014] ppid=1001 vsize=15688768 CPUtime=0 cores=0,2,4,6
/proc/1003/task/1014/stat : 1014 (java) S 1001 1003 32461 0 -1 4202560 464 0 0 0 0 0 0 0 15 0 22 0 599856537 16065298432 161644 33554432000 1073741824 1073778376 140733995791072 18446744073709551615 218892381696 0 0 0 16800975 18446604448735848576 0 0 -1 2 0 0 0
[pid=1003/tid=1015] ppid=1001 vsize=15688768 CPUtime=0 cores=0,2,4,6
/proc/1003/task/1015/stat : 1015 (java) S 1001 1003 32461 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 599856538 16065298432 161644 33554432000 1073741824 1073778376 140733995791072 18446744073709551615 218892381081 0 4 0 16800975 18446604448735848576 0 0 -1 6 0 0 0
[pid=1003/tid=1016] ppid=1001 vsize=15688768 CPUtime=0 cores=0,2,4,6
/proc/1003/task/1016/stat : 1016 (java) S 1001 1003 32461 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 599856538 16065298432 161644 33554432000 1073741824 1073778376 140733995791072 18446744073709551615 218892381081 0 4 0 16800975 18446604448735848576 0 0 -1 6 0 0 0
[pid=1003/tid=1017] ppid=1001 vsize=15688768 CPUtime=0 cores=0,2,4,6
/proc/1003/task/1017/stat : 1017 (java) S 1001 1003 32461 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 599856542 16065298432 161644 33554432000 1073741824 1073778376 140733995791072 18446744073709551615 218892388785 0 4 0 16800975 18446604448735848576 0 0 -1 4 0 0 0
[pid=1003/tid=1018] ppid=1001 vsize=15688768 CPUtime=1.13 cores=0,2,4,6
/proc/1003/task/1018/stat : 1018 (java) S 1001 1003 32461 0 -1 4202560 4045 0 0 0 113 0 0 0 15 0 22 0 599856542 16065298432 161644 33554432000 1073741824 1073778376 140733995791072 18446744073709551615 218892381081 0 4 0 16800975 18446604448735848576 0 0 -1 4 0 0 0
[pid=1003/tid=1019] ppid=1001 vsize=15688768 CPUtime=1.67 cores=0,2,4,6
/proc/1003/task/1019/stat : 1019 (java) S 1001 1003 32461 0 -1 4202560 14086 0 0 0 165 2 0 0 15 0 22 0 599856542 16065298432 161644 33554432000 1073741824 1073778376 140733995791072 18446744073709551615 218892381081 0 4 0 16800975 18446604448735848576 0 0 -1 4 0 0 0
[pid=1003/tid=1020] ppid=1001 vsize=15688768 CPUtime=0 cores=0,2,4,6
/proc/1003/task/1020/stat : 1020 (java) S 1001 1003 32461 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 599856542 16065298432 161644 33554432000 1073741824 1073778376 140733995791072 18446744073709551615 218892381081 0 4 0 16800975 18446604448735848576 0 0 -1 4 0 0 0
[pid=1003/tid=1021] ppid=1001 vsize=15688768 CPUtime=0 cores=0,2,4,6
/proc/1003/task/1021/stat : 1021 (java) S 1001 1003 32461 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 599856542 16065298432 161644 33554432000 1073741824 1073778376 140733995791072 18446744073709551615 218892381696 0 4 0 16800975 18446604448735848576 0 0 -1 0 0 0 0
[pid=1003/tid=1045] ppid=1001 vsize=15688768 CPUtime=2.28 cores=0,2,4,6
/proc/1003/task/1045/stat : 1045 (java) R 1001 1003 32461 0 -1 4202560 18744 0 0 0 226 2 0 0 17 0 22 0 599856670 16065298432 161644 33554432000 1073741824 1073778376 140733995791072 18446744073709551615 46912506419235 0 4 0 16800975 0 0 0 -1 4 0 0 0
################
# More data... #
################
[pid=1003/tid=1046] ppid=1001 vsize=15688768 CPUtime=1108.33 cores=0,2,4,6
/proc/1003/task/1046/stat : 1046 (java) R 1001 1003 32461 0 -1 4202560 357547 0 0 0 110791 42 0 0 25 0 22 0 599856670 16065298432 401916 33554432000 1073741824 1073778376 140733995791072 18446744073709551615 46912506107885 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=1003/tid=1047] ppid=1001 vsize=15688768 CPUtime=1108.81 cores=0,2,4,6
/proc/1003/task/1047/stat : 1047 (java) R 1001 1003 32461 0 -1 4202560 356993 0 0 0 110839 42 0 0 25 0 22 0 599856670 16065298432 401916 33554432000 1073741824 1073778376 140733995791072 18446744073709551615 46912506215936 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=1003/tid=1048] ppid=1001 vsize=15688768 CPUtime=1106.51 cores=0,2,4,6
/proc/1003/task/1048/stat : 1048 (java) R 1001 1003 32461 0 -1 4202560 292563 0 0 0 110615 36 0 0 25 0 22 0 599856670 16065298432 401916 33554432000 1073741824 1073778376 140733995791072 18446744073709551615 46912506107632 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4467.02
Current children cumulated vsize (KiB) 15688768
[startup+1182.3 s]
/proc/loadavg: 8.13 8.10 7.99 9/220 1093
/proc/meminfo: memFree=21726244/32950928 swapFree=67111524/67111528
[pid=1003] ppid=1001 vsize=15688768 CPUtime=4706.29 cores=0,2,4,6
/proc/1003/stat : 1003 (java) S 1001 1003 32461 0 -1 4202496 2765724 0 1 0 470202 427 0 0 21 0 22 0 599856535 16065298432 372297 33554432000 1073741824 1073778376 140733995791072 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/1003/statm: 3922192 372297 2298 9 0 3912911 0
[pid=1003/tid=1005] ppid=1001 vsize=15688768 CPUtime=3.6 cores=0,2,4,6
/proc/1003/task/1005/stat : 1005 (java) S 1001 1003 32461 0 -1 4202560 66407 0 1 0 350 10 0 0 19 0 22 0 599856535 16065298432 372297 33554432000 1073741824 1073778376 140733995791072 18446744073709551615 218892381081 0 4 0 16800975 18446604448735848576 0 0 -1 4 0 0 6
[pid=1003/tid=1006] ppid=1001 vsize=15688768 CPUtime=3.52 cores=0,2,4,6
/proc/1003/task/1006/stat : 1006 (java) S 1001 1003 32461 0 -1 4202560 149503 0 0 0 329 23 0 0 16 0 22 0 599856536 16065298432 372297 33554432000 1073741824 1073778376 140733995791072 18446744073709551615 218892381081 0 4 0 16800975 18446604448735848576 0 0 -1 6 0 0 0
[pid=1003/tid=1007] ppid=1001 vsize=15688768 CPUtime=3.34 cores=0,2,4,6
/proc/1003/task/1007/stat : 1007 (java) S 1001 1003 32461 0 -1 4202560 162337 0 0 0 307 27 0 0 15 0 22 0 599856536 16065298432 372297 33554432000 1073741824 1073778376 140733995791072 18446744073709551615 218892381081 0 4 0 16800975 18446604448735848576 0 0 -1 0 0 0 0
[pid=1003/tid=1008] ppid=1001 vsize=15688768 CPUtime=3.38 cores=0,2,4,6
/proc/1003/task/1008/stat : 1008 (java) S 1001 1003 32461 0 -1 4202560 147059 0 0 0 313 25 0 0 15 0 22 0 599856536 16065298432 372297 33554432000 1073741824 1073778376 140733995791072 18446744073709551615 218892381081 0 4 0 16800975 18446604448735848576 0 0 -1 6 0 0 0
[pid=1003/tid=1009] ppid=1001 vsize=15688768 CPUtime=3.63 cores=0,2,4,6
/proc/1003/task/1009/stat : 1009 (java) S 1001 1003 32461 0 -1 4202560 187989 0 0 0 333 30 0 0 15 0 22 0 599856536 16065298432 372297 33554432000 1073741824 1073778376 140733995791072 18446744073709551615 218892381081 0 4 0 16800975 18446604448735848576 0 0 -1 4 0 0 0
[pid=1003/tid=1010] ppid=1001 vsize=15688768 CPUtime=3.39 cores=0,2,4,6
/proc/1003/task/1010/stat : 1010 (java) S 1001 1003 32461 0 -1 4202560 180959 0 0 0 309 30 0 0 16 0 22 0 599856536 16065298432 372297 33554432000 1073741824 1073778376 140733995791072 18446744073709551615 218892381081 0 4 0 16800975 18446604448735848576 0 0 -1 2 0 0 0
[pid=1003/tid=1011] ppid=1001 vsize=15688768 CPUtime=3.55 cores=0,2,4,6
/proc/1003/task/1011/stat : 1011 (java) S 1001 1003 32461 0 -1 4202560 140768 0 0 0 334 21 0 0 16 0 22 0 599856536 16065298432 372297 33554432000 1073741824 1073778376 140733995791072 18446744073709551615 218892381081 0 4 0 16800975 18446604448735848576 0 0 -1 0 0 0 0
[pid=1003/tid=1012] ppid=1001 vsize=15688768 CPUtime=3.09 cores=0,2,4,6
/proc/1003/task/1012/stat : 1012 (java) S 1001 1003 32461 0 -1 4202560 135714 0 0 0 286 23 0 0 15 0 22 0 599856536 16065298432 372297 33554432000 1073741824 1073778376 140733995791072 18446744073709551615 218892381081 0 4 0 16800975 18446604448735848576 0 0 -1 4 0 0 0
[pid=1003/tid=1013] ppid=1001 vsize=15688768 CPUtime=3.62 cores=0,2,4,6
/proc/1003/task/1013/stat : 1013 (java) S 1001 1003 32461 0 -1 4202560 161341 0 0 0 339 23 0 0 16 0 22 0 599856536 16065298432 372297 33554432000 1073741824 1073778376 140733995791072 18446744073709551615 218892381081 0 4 0 16800975 18446604448735848576 0 0 -1 4 0 0 0
[pid=1003/tid=1014] ppid=1001 vsize=15688768 CPUtime=1.43 cores=0,2,4,6
/proc/1003/task/1014/stat : 1014 (java) S 1001 1003 32461 0 -1 4202560 6720 0 0 0 101 42 0 0 15 0 22 0 599856537 16065298432 372297 33554432000 1073741824 1073778376 140733995791072 18446744073709551615 218892381696 0 0 0 16800975 18446604448735848576 0 0 -1 2 0 0 0
[pid=1003/tid=1015] ppid=1001 vsize=15688768 CPUtime=0 cores=0,2,4,6
/proc/1003/task/1015/stat : 1015 (java) S 1001 1003 32461 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 599856538 16065298432 372297 33554432000 1073741824 1073778376 140733995791072 18446744073709551615 218892381081 0 4 0 16800975 18446604448735848576 0 0 -1 6 0 0 0
[pid=1003/tid=1016] ppid=1001 vsize=15688768 CPUtime=0 cores=0,2,4,6
/proc/1003/task/1016/stat : 1016 (java) S 1001 1003 32461 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 599856538 16065298432 372297 33554432000 1073741824 1073778376 140733995791072 18446744073709551615 218892381081 0 4 0 16800975 18446604448735848576 0 0 -1 6 0 0 0
[pid=1003/tid=1017] ppid=1001 vsize=15688768 CPUtime=0 cores=0,2,4,6
/proc/1003/task/1017/stat : 1017 (java) S 1001 1003 32461 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 599856542 16065298432 372297 33554432000 1073741824 1073778376 140733995791072 18446744073709551615 218892388785 0 4 0 16800975 18446604448735848576 0 0 -1 4 0 0 0
[pid=1003/tid=1018] ppid=1001 vsize=15688768 CPUtime=1.56 cores=0,2,4,6
/proc/1003/task/1018/stat : 1018 (java) S 1001 1003 32461 0 -1 4202560 4064 0 0 0 156 0 0 0 16 0 22 0 599856542 16065298432 372297 33554432000 1073741824 1073778376 140733995791072 18446744073709551615 218892381081 0 4 0 16800975 18446604448735848576 0 0 -1 6 0 0 0
[pid=1003/tid=1019] ppid=1001 vsize=15688768 CPUtime=1.91 cores=0,2,4,6
/proc/1003/task/1019/stat : 1019 (java) S 1001 1003 32461 0 -1 4202560 14101 0 0 0 189 2 0 0 15 0 22 0 599856542 16065298432 372297 33554432000 1073741824 1073778376 140733995791072 18446744073709551615 218892381081 0 4 0 16800975 18446604448735848576 0 0 -1 4 0 0 0
[pid=1003/tid=1020] ppid=1001 vsize=15688768 CPUtime=0 cores=0,2,4,6
/proc/1003/task/1020/stat : 1020 (java) S 1001 1003 32461 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 599856542 16065298432 372297 33554432000 1073741824 1073778376 140733995791072 18446744073709551615 218892381081 0 4 0 16800975 18446604448735848576 0 0 -1 4 0 0 0
[pid=1003/tid=1021] ppid=1001 vsize=15688768 CPUtime=0 cores=0,2,4,6
/proc/1003/task/1021/stat : 1021 (java) S 1001 1003 32461 0 -1 4202560 69 0 0 0 0 0 0 0 15 0 22 0 599856542 16065298432 372297 33554432000 1073741824 1073778376 140733995791072 18446744073709551615 218892381696 0 4 0 16800975 18446604448735848576 0 0 -1 4 0 0 0
[pid=1003/tid=1045] ppid=1001 vsize=15688768 CPUtime=1168.51 cores=0,2,4,6
/proc/1003/task/1045/stat : 1045 (java) R 1001 1003 32461 0 -1 4202560 370920 0 0 0 116812 39 0 0 25 0 22 0 599856670 16065298432 372297 33554432000 1073741824 1073778376 140733995791072 18446744073709551615 46912506419254 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=1003/tid=1046] ppid=1001 vsize=15688768 CPUtime=1167.74 cores=0,2,4,6
/proc/1003/task/1046/stat : 1046 (java) R 1001 1003 32461 0 -1 4202560 368693 0 0 0 116730 44 0 0 25 0 22 0 599856670 16065298432 372297 33554432000 1073741824 1073778376 140733995791072 18446744073709551615 46912506107799 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=1003/tid=1047] ppid=1001 vsize=15688768 CPUtime=1167.92 cores=0,2,4,6
/proc/1003/task/1047/stat : 1047 (java) R 1001 1003 32461 0 -1 4202560 365833 0 0 0 116749 43 0 0 25 0 22 0 599856670 16065298432 372297 33554432000 1073741824 1073778376 140733995791072 18446744073709551615 46912506107822 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=1003/tid=1048] ppid=1001 vsize=15688768 CPUtime=1165.92 cores=0,2,4,6
/proc/1003/task/1048/stat : 1048 (java) R 1001 1003 32461 0 -1 4202560 301861 0 0 0 116555 37 0 0 25 0 22 0 599856670 16065298432 372297 33554432000 1073741824 1073778376 140733995791072 18446744073709551615 46912506161288 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4706.29
Current children cumulated vsize (KiB) 15688768
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1205.9 s]
/proc/loadavg: 8.14 8.11 8.00 9/220 1094
/proc/meminfo: memFree=21802972/32950928 swapFree=67111524/67111528
[pid=1003] ppid=1001 vsize=15688768 CPUtime=4800.32 cores=0,2,4,6
/proc/1003/stat : 1003 (java) S 1001 1003 32461 0 -1 4202496 2803216 0 1 0 479597 435 0 0 21 0 22 0 599856535 16065298432 351802 33554432000 1073741824 1073778376 140733995791072 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/1003/statm: 3922192 351802 2298 9 0 3912911 0
[pid=1003/tid=1005] ppid=1001 vsize=15688768 CPUtime=3.6 cores=0,2,4,6
/proc/1003/task/1005/stat : 1005 (java) S 1001 1003 32461 0 -1 4202560 66407 0 1 0 350 10 0 0 19 0 22 0 599856535 16065298432 351802 33554432000 1073741824 1073778376 140733995791072 18446744073709551615 218892381081 0 4 0 16800975 18446604448735848576 0 0 -1 4 0 0 6
[pid=1003/tid=1006] ppid=1001 vsize=15688768 CPUtime=3.62 cores=0,2,4,6
/proc/1003/task/1006/stat : 1006 (java) S 1001 1003 32461 0 -1 4202560 149778 0 0 0 339 23 0 0 16 0 22 0 599856536 16065298432 351802 33554432000 1073741824 1073778376 140733995791072 18446744073709551615 218892381081 0 4 0 16800975 18446604448735848576 0 0 -1 0 0 0 0
[pid=1003/tid=1007] ppid=1001 vsize=15688768 CPUtime=3.43 cores=0,2,4,6
/proc/1003/task/1007/stat : 1007 (java) S 1001 1003 32461 0 -1 4202560 165990 0 0 0 316 27 0 0 16 0 22 0 599856536 16065298432 351802 33554432000 1073741824 1073778376 140733995791072 18446744073709551615 218892381081 0 4 0 16800975 18446604448735848576 0 0 -1 4 0 0 0
[pid=1003/tid=1008] ppid=1001 vsize=15688768 CPUtime=3.46 cores=0,2,4,6
/proc/1003/task/1008/stat : 1008 (java) S 1001 1003 32461 0 -1 4202560 148260 0 0 0 320 26 0 0 16 0 22 0 599856536 16065298432 351802 33554432000 1073741824 1073778376 140733995791072 18446744073709551615 218892381081 0 4 0 16800975 18446604448735848576 0 0 -1 2 0 0 0
[pid=1003/tid=1009] ppid=1001 vsize=15688768 CPUtime=3.76 cores=0,2,4,6
/proc/1003/task/1009/stat : 1009 (java) S 1001 1003 32461 0 -1 4202560 192371 0 0 0 345 31 0 0 16 0 22 0 599856536 16065298432 351802 33554432000 1073741824 1073778376 140733995791072 18446744073709551615 218892381081 0 4 0 16800975 18446604448735848576 0 0 -1 6 0 0 0
[pid=1003/tid=1010] ppid=1001 vsize=15688768 CPUtime=3.48 cores=0,2,4,6
/proc/1003/task/1010/stat : 1010 (java) S 1001 1003 32461 0 -1 4202560 184918 0 0 0 317 31 0 0 15 0 22 0 599856536 16065298432 351802 33554432000 1073741824 1073778376 140733995791072 18446744073709551615 218892381081 0 4 0 16800975 18446604448735848576 0 0 -1 4 0 0 0
[pid=1003/tid=1011] ppid=1001 vsize=15688768 CPUtime=3.63 cores=0,2,4,6
/proc/1003/task/1011/stat : 1011 (java) S 1001 1003 32461 0 -1 4202560 144263 0 0 0 342 21 0 0 15 0 22 0 599856536 16065298432 351802 33554432000 1073741824 1073778376 140733995791072 18446744073709551615 218892381081 0 4 0 16800975 18446604448735848576 0 0 -1 0 0 0 0
[pid=1003/tid=1012] ppid=1001 vsize=15688768 CPUtime=3.2 cores=0,2,4,6
/proc/1003/task/1012/stat : 1012 (java) S 1001 1003 32461 0 -1 4202560 140048 0 0 0 296 24 0 0 15 0 22 0 599856536 16065298432 351802 33554432000 1073741824 1073778376 140733995791072 18446744073709551615 218892381081 0 4 0 16800975 18446604448735848576 0 0 -1 0 0 0 0
[pid=1003/tid=1013] ppid=1001 vsize=15688768 CPUtime=3.72 cores=0,2,4,6
/proc/1003/task/1013/stat : 1013 (java) S 1001 1003 32461 0 -1 4202560 165315 0 0 0 348 24 0 0 15 0 22 0 599856536 16065298432 351802 33554432000 1073741824 1073778376 140733995791072 18446744073709551615 218892381081 0 4 0 16800975 18446604448735848576 0 0 -1 4 0 0 0
[pid=1003/tid=1014] ppid=1001 vsize=15688768 CPUtime=1.5 cores=0,2,4,6
/proc/1003/task/1014/stat : 1014 (java) S 1001 1003 32461 0 -1 4202560 6800 0 0 0 107 43 0 0 15 0 22 0 599856537 16065298432 351802 33554432000 1073741824 1073778376 140733995791072 18446744073709551615 218892381696 0 0 0 16800975 18446604448735848576 0 0 -1 2 0 0 0
[pid=1003/tid=1015] ppid=1001 vsize=15688768 CPUtime=0 cores=0,2,4,6
/proc/1003/task/1015/stat : 1015 (java) S 1001 1003 32461 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 599856538 16065298432 351802 33554432000 1073741824 1073778376 140733995791072 18446744073709551615 218892381081 0 4 0 16800975 18446604448735848576 0 0 -1 6 0 0 0
[pid=1003/tid=1016] ppid=1001 vsize=15688768 CPUtime=0 cores=0,2,4,6
/proc/1003/task/1016/stat : 1016 (java) S 1001 1003 32461 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 599856538 16065298432 351802 33554432000 1073741824 1073778376 140733995791072 18446744073709551615 218892381081 0 4 0 16800975 18446604448735848576 0 0 -1 6 0 0 0
[pid=1003/tid=1017] ppid=1001 vsize=15688768 CPUtime=0 cores=0,2,4,6
/proc/1003/task/1017/stat : 1017 (java) S 1001 1003 32461 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 599856542 16065298432 351802 33554432000 1073741824 1073778376 140733995791072 18446744073709551615 218892388785 0 4 0 16800975 18446604448735848576 0 0 -1 4 0 0 0
[pid=1003/tid=1018] ppid=1001 vsize=15688768 CPUtime=1.56 cores=0,2,4,6
/proc/1003/task/1018/stat : 1018 (java) S 1001 1003 32461 0 -1 4202560 4064 0 0 0 156 0 0 0 16 0 22 0 599856542 16065298432 351802 33554432000 1073741824 1073778376 140733995791072 18446744073709551615 218892381081 0 4 0 16800975 18446604448735848576 0 0 -1 6 0 0 0
[pid=1003/tid=1019] ppid=1001 vsize=15688768 CPUtime=1.91 cores=0,2,4,6
/proc/1003/task/1019/stat : 1019 (java) S 1001 1003 32461 0 -1 4202560 14101 0 0 0 189 2 0 0 15 0 22 0 599856542 16065298432 351802 33554432000 1073741824 1073778376 140733995791072 18446744073709551615 218892381081 0 4 0 16800975 18446604448735848576 0 0 -1 4 0 0 0
[pid=1003/tid=1020] ppid=1001 vsize=15688768 CPUtime=0 cores=0,2,4,6
/proc/1003/task/1020/stat : 1020 (java) S 1001 1003 32461 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 599856542 16065298432 351802 33554432000 1073741824 1073778376 140733995791072 18446744073709551615 218892381081 0 4 0 16800975 18446604448735848576 0 0 -1 4 0 0 0
[pid=1003/tid=1021] ppid=1001 vsize=15688768 CPUtime=0 cores=0,2,4,6
/proc/1003/task/1021/stat : 1021 (java) S 1001 1003 32461 0 -1 4202560 71 0 0 0 0 0 0 0 15 0 22 0 599856542 16065298432 351802 33554432000 1073741824 1073778376 140733995791072 18446744073709551615 218892381696 0 4 0 16800975 18446604448735848576 0 0 -1 4 0 0 0
[pid=1003/tid=1045] ppid=1001 vsize=15688768 CPUtime=1191.85 cores=0,2,4,6
/proc/1003/task/1045/stat : 1045 (java) R 1001 1003 32461 0 -1 4202560 375650 0 0 0 119145 40 0 0 25 0 22 0 599856670 16065298432 351802 33554432000 1073741824 1073778376 140733995791072 18446744073709551615 46912506107857 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=1003/tid=1046] ppid=1001 vsize=15688768 CPUtime=1191.07 cores=0,2,4,6
/proc/1003/task/1046/stat : 1046 (java) R 1001 1003 32461 0 -1 4202560 373101 0 0 0 119063 44 0 0 25 0 22 0 599856670 16065298432 351802 33554432000 1073741824 1073778376 140733995791072 18446744073709551615 46912506161288 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=1003/tid=1047] ppid=1001 vsize=15688768 CPUtime=1191.11 cores=0,2,4,6
/proc/1003/task/1047/stat : 1047 (java) R 1001 1003 32461 0 -1 4202560 367999 0 0 0 119068 43 0 0 25 0 22 0 599856670 16065298432 351802 33554432000 1073741824 1073778376 140733995791072 18446744073709551615 46912506214882 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=1003/tid=1048] ppid=1001 vsize=15688768 CPUtime=1189.25 cores=0,2,4,6
/proc/1003/task/1048/stat : 1048 (java) R 1001 1003 32461 0 -1 4202560 302694 0 0 0 118888 37 0 0 25 0 22 0 599856670 16065298432 351802 33554432000 1073741824 1073778376 140733995791072 18446744073709551615 18446744073699065894 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4800.32
Current children cumulated vsize (KiB) 15688768
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1205.9 s]
/proc/loadavg: 8.14 8.11 8.00 9/220 1094
/proc/meminfo: memFree=21802972/32950928 swapFree=67111524/67111528
[pid=1003] ppid=1001 vsize=15688768 CPUtime=4800.32 cores=0,2,4,6
/proc/1003/stat : 1003 (java) S 1001 1003 32461 0 -1 4202496 2803216 0 1 0 479597 435 0 0 21 0 22 0 599856535 16065298432 351802 33554432000 1073741824 1073778376 140733995791072 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/1003/statm: 3922192 351802 2298 9 0 3912911 0
[pid=1003/tid=1005] ppid=1001 vsize=15688768 CPUtime=3.6 cores=0,2,4,6
/proc/1003/task/1005/stat : 1005 (java) S 1001 1003 32461 0 -1 4202560 66407 0 1 0 350 10 0 0 19 0 22 0 599856535 16065298432 351802 33554432000 1073741824 1073778376 140733995791072 18446744073709551615 218892381081 0 4 0 16800975 18446604448735848576 0 0 -1 4 0 0 6
[pid=1003/tid=1006] ppid=1001 vsize=15688768 CPUtime=3.62 cores=0,2,4,6
/proc/1003/task/1006/stat : 1006 (java) S 1001 1003 32461 0 -1 4202560 149778 0 0 0 339 23 0 0 16 0 22 0 599856536 16065298432 351802 33554432000 1073741824 1073778376 140733995791072 18446744073709551615 218892381081 0 4 0 16800975 18446604448735848576 0 0 -1 0 0 0 0
[pid=1003/tid=1007] ppid=1001 vsize=15688768 CPUtime=3.43 cores=0,2,4,6
/proc/1003/task/1007/stat : 1007 (java) S 1001 1003 32461 0 -1 4202560 165990 0 0 0 316 27 0 0 16 0 22 0 599856536 16065298432 351802 33554432000 1073741824 1073778376 140733995791072 18446744073709551615 218892381081 0 4 0 16800975 18446604448735848576 0 0 -1 4 0 0 0
[pid=1003/tid=1008] ppid=1001 vsize=15688768 CPUtime=3.46 cores=0,2,4,6
/proc/1003/task/1008/stat : 1008 (java) S 1001 1003 32461 0 -1 4202560 148260 0 0 0 320 26 0 0 16 0 22 0 599856536 16065298432 351802 33554432000 1073741824 1073778376 140733995791072 18446744073709551615 218892381081 0 4 0 16800975 18446604448735848576 0 0 -1 2 0 0 0
[pid=1003/tid=1009] ppid=1001 vsize=15688768 CPUtime=3.76 cores=0,2,4,6
/proc/1003/task/1009/stat : 1009 (java) S 1001 1003 32461 0 -1 4202560 192371 0 0 0 345 31 0 0 16 0 22 0 599856536 16065298432 351802 33554432000 1073741824 1073778376 140733995791072 18446744073709551615 218892381081 0 4 0 16800975 18446604448735848576 0 0 -1 6 0 0 0
[pid=1003/tid=1010] ppid=1001 vsize=15688768 CPUtime=3.48 cores=0,2,4,6
/proc/1003/task/1010/stat : 1010 (java) S 1001 1003 32461 0 -1 4202560 184918 0 0 0 317 31 0 0 15 0 22 0 599856536 16065298432 351802 33554432000 1073741824 1073778376 140733995791072 18446744073709551615 218892381081 0 4 0 16800975 18446604448735848576 0 0 -1 4 0 0 0
[pid=1003/tid=1011] ppid=1001 vsize=15688768 CPUtime=3.63 cores=0,2,4,6
/proc/1003/task/1011/stat : 1011 (java) S 1001 1003 32461 0 -1 4202560 144263 0 0 0 342 21 0 0 15 0 22 0 599856536 16065298432 351802 33554432000 1073741824 1073778376 140733995791072 18446744073709551615 218892381081 0 4 0 16800975 18446604448735848576 0 0 -1 0 0 0 0
[pid=1003/tid=1012] ppid=1001 vsize=15688768 CPUtime=3.2 cores=0,2,4,6
/proc/1003/task/1012/stat : 1012 (java) S 1001 1003 32461 0 -1 4202560 140048 0 0 0 296 24 0 0 15 0 22 0 599856536 16065298432 351802 33554432000 1073741824 1073778376 140733995791072 18446744073709551615 218892381081 0 4 0 16800975 18446604448735848576 0 0 -1 0 0 0 0
[pid=1003/tid=1013] ppid=1001 vsize=15688768 CPUtime=3.72 cores=0,2,4,6
/proc/1003/task/1013/stat : 1013 (java) S 1001 1003 32461 0 -1 4202560 165315 0 0 0 348 24 0 0 15 0 22 0 599856536 16065298432 351802 33554432000 1073741824 1073778376 140733995791072 18446744073709551615 218892381081 0 4 0 16800975 18446604448735848576 0 0 -1 4 0 0 0
[pid=1003/tid=1014] ppid=1001 vsize=15688768 CPUtime=1.5 cores=0,2,4,6
/proc/1003/task/1014/stat : 1014 (java) S 1001 1003 32461 0 -1 4202560 6800 0 0 0 107 43 0 0 15 0 22 0 599856537 16065298432 351802 33554432000 1073741824 1073778376 140733995791072 18446744073709551615 218892381696 0 0 0 16800975 18446604448735848576 0 0 -1 2 0 0 0
[pid=1003/tid=1015] ppid=1001 vsize=15688768 CPUtime=0 cores=0,2,4,6
/proc/1003/task/1015/stat : 1015 (java) S 1001 1003 32461 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 599856538 16065298432 351802 33554432000 1073741824 1073778376 140733995791072 18446744073709551615 218892381081 0 4 0 16800975 18446604448735848576 0 0 -1 6 0 0 0
[pid=1003/tid=1016] ppid=1001 vsize=15688768 CPUtime=0 cores=0,2,4,6
/proc/1003/task/1016/stat : 1016 (java) S 1001 1003 32461 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 599856538 16065298432 351802 33554432000 1073741824 1073778376 140733995791072 18446744073709551615 218892381081 0 4 0 16800975 18446604448735848576 0 0 -1 6 0 0 0
[pid=1003/tid=1017] ppid=1001 vsize=15688768 CPUtime=0 cores=0,2,4,6
/proc/1003/task/1017/stat : 1017 (java) S 1001 1003 32461 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 599856542 16065298432 351802 33554432000 1073741824 1073778376 140733995791072 18446744073709551615 218892388785 0 4 0 16800975 18446604448735848576 0 0 -1 4 0 0 0
[pid=1003/tid=1018] ppid=1001 vsize=15688768 CPUtime=1.56 cores=0,2,4,6
/proc/1003/task/1018/stat : 1018 (java) S 1001 1003 32461 0 -1 4202560 4064 0 0 0 156 0 0 0 16 0 22 0 599856542 16065298432 351802 33554432000 1073741824 1073778376 140733995791072 18446744073709551615 218892381081 0 4 0 16800975 18446604448735848576 0 0 -1 6 0 0 0
[pid=1003/tid=1019] ppid=1001 vsize=15688768 CPUtime=1.91 cores=0,2,4,6
/proc/1003/task/1019/stat : 1019 (java) S 1001 1003 32461 0 -1 4202560 14101 0 0 0 189 2 0 0 15 0 22 0 599856542 16065298432 351802 33554432000 1073741824 1073778376 140733995791072 18446744073709551615 218892381081 0 4 0 16800975 18446604448735848576 0 0 -1 4 0 0 0
[pid=1003/tid=1020] ppid=1001 vsize=15688768 CPUtime=0 cores=0,2,4,6
/proc/1003/task/1020/stat : 1020 (java) S 1001 1003 32461 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 599856542 16065298432 351802 33554432000 1073741824 1073778376 140733995791072 18446744073709551615 218892381081 0 4 0 16800975 18446604448735848576 0 0 -1 4 0 0 0
[pid=1003/tid=1021] ppid=1001 vsize=15688768 CPUtime=0 cores=0,2,4,6
/proc/1003/task/1021/stat : 1021 (java) S 1001 1003 32461 0 -1 4202560 71 0 0 0 0 0 0 0 15 0 22 0 599856542 16065298432 351802 33554432000 1073741824 1073778376 140733995791072 18446744073709551615 218892381696 0 4 0 16800975 18446604448735848576 0 0 -1 4 0 0 0
[pid=1003/tid=1045] ppid=1001 vsize=15688768 CPUtime=1191.85 cores=0,2,4,6
/proc/1003/task/1045/stat : 1045 (java) R 1001 1003 32461 0 -1 4202560 375650 0 0 0 119145 40 0 0 25 0 22 0 599856670 16065298432 351802 33554432000 1073741824 1073778376 140733995791072 18446744073709551615 46912506107857 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=1003/tid=1046] ppid=1001 vsize=15688768 CPUtime=1191.07 cores=0,2,4,6
/proc/1003/task/1046/stat : 1046 (java) R 1001 1003 32461 0 -1 4202560 373101 0 0 0 119063 44 0 0 25 0 22 0 599856670 16065298432 351802 33554432000 1073741824 1073778376 140733995791072 18446744073709551615 46912506161288 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=1003/tid=1047] ppid=1001 vsize=15688768 CPUtime=1191.11 cores=0,2,4,6
/proc/1003/task/1047/stat : 1047 (java) R 1001 1003 32461 0 -1 4202560 367999 0 0 0 119068 43 0 0 25 0 22 0 599856670 16065298432 351802 33554432000 1073741824 1073778376 140733995791072 18446744073709551615 46912506214882 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=1003/tid=1048] ppid=1001 vsize=15688768 CPUtime=1189.25 cores=0,2,4,6
/proc/1003/task/1048/stat : 1048 (java) R 1001 1003 32461 0 -1 4202560 302694 0 0 0 118888 37 0 0 25 0 22 0 599856670 16065298432 351802 33554432000 1073741824 1073778376 140733995791072 18446744073709551615 18446744073699065894 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4800.32
Current children cumulated vsize (KiB) 15688768
Child status: 143
Real time (s): 1205.98
CPU time (s): 4800.42
CPU user time (s): 4796.01
CPU system time (s): 4.41233
CPU usage (%): 398.053
Max. virtual memory (cumulated for all children) (KiB): 15690460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4796.01
system time used= 4.41233
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2803242
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= 48164
involuntary context switches= 58706
runsolver used 1.91871 second user time and 4.71928 second system time
The end