runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3710478-1338250840/watcher-3710478-1338250840 -o /tmp/evaluation-result-3710478-1338250840/solver-3710478-1338250840 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710478-1338250840.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 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: 2.02 2.02 1.93 3/195 30322
/proc/meminfo: memFree=31621072/32873844 swapFree=7116/7116
[pid=30322] ppid=30320 vsize=23172 CPUtime=0 cores=1,3,5,7
/proc/30322/stat : 30322 (java) R 30320 30322 27775 0 -1 4202496 1136 0 0 0 0 0 0 0 20 0 1 0 291212656 23728128 857 33554432000 1073741824 1073778376 140733881854816 140733881843880 249640873815 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/30322/statm: 5793 864 653 9 0 128 0
[pid=30322/tid=30323] ppid=30320 vsize=24200 CPUtime=0 cores=1,3,5,7
/proc/30322/task/30323/stat : 30323 (java) R 30320 30322 27775 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 2 0 291212657 24780800 867 33554432000 1073741824 1073778376 140733881854816 140733881843880 249650092209 0 0 4096 0 0 0 0 -1 3 0 0 0 0 0
[startup+0.098403 s]
/proc/loadavg: 2.02 2.02 1.93 3/195 30322
/proc/meminfo: memFree=31621072/32873844 swapFree=7116/7116
[pid=30322] ppid=30320 vsize=9558440 CPUtime=0.1 cores=1,3,5,7
/proc/30322/stat : 30322 (java) S 30320 30322 27775 0 -1 4202496 4311 0 1 0 9 1 0 0 20 0 18 0 291212656 9787842560 6030 33554432000 1073741824 1073778376 140733881854816 140733881845952 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/30322/statm: 2389610 6033 2116 9 0 2380296 0
[pid=30322/tid=30323] ppid=30320 vsize=9558440 CPUtime=0.07 cores=1,3,5,7
/proc/30322/task/30323/stat : 30323 (java) R 30320 30322 27775 0 -1 4202560 2448 0 1 0 6 1 0 0 20 0 18 0 291212657 9787842560 6033 33554432000 1073741824 1073778376 140733881854816 139680752770760 249649663819 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558440
[startup+0.100273 s]
/proc/loadavg: 2.02 2.02 1.93 3/195 30322
/proc/meminfo: memFree=31621072/32873844 swapFree=7116/7116
[pid=30322] ppid=30320 vsize=9558440 CPUtime=0.1 cores=1,3,5,7
/proc/30322/stat : 30322 (java) S 30320 30322 27775 0 -1 4202496 4355 0 1 0 9 1 0 0 20 0 18 0 291212656 9787842560 6074 33554432000 1073741824 1073778376 140733881854816 140733881845952 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/30322/statm: 2389610 6074 2116 9 0 2380296 0
[pid=30322/tid=30323] ppid=30320 vsize=9558440 CPUtime=0.07 cores=1,3,5,7
/proc/30322/task/30323/stat : 30323 (java) R 30320 30322 27775 0 -1 4202560 2489 0 1 0 6 1 0 0 20 0 18 0 291212657 9787842560 6074 33554432000 1073741824 1073778376 140733881854816 139680752770760 249649663819 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558440
[startup+0.300279 s]
/proc/loadavg: 2.02 2.02 1.93 3/195 30322
/proc/meminfo: memFree=31621072/32873844 swapFree=7116/7116
[pid=30322] ppid=30320 vsize=9558440 CPUtime=0.46 cores=1,3,5,7
/proc/30322/stat : 30322 (java) S 30320 30322 27775 0 -1 4202496 5440 0 1 0 44 2 0 0 20 0 18 0 291212656 9787842560 14865 33554432000 1073741824 1073778376 140733881854816 140733881845952 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/30322/statm: 2389610 14865 2223 9 0 2380296 0
[pid=30322/tid=30323] ppid=30320 vsize=9558440 CPUtime=0.27 cores=1,3,5,7
/proc/30322/task/30323/stat : 30323 (java) R 30320 30322 27775 0 -1 4202560 2515 0 1 0 25 2 0 0 20 0 18 0 291212657 9787842560 14865 33554432000 1073741824 1073778376 140733881854816 139680752769336 249653421325 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 9558440
[startup+0.700325 s]
/proc/loadavg: 2.02 2.02 1.93 3/195 30322
/proc/meminfo: memFree=31621072/32873844 swapFree=7116/7116
[pid=30322] ppid=30320 vsize=9558440 CPUtime=1.17 cores=1,3,5,7
/proc/30322/stat : 30322 (java) S 30320 30322 27775 0 -1 4202496 6130 0 1 0 105 12 0 0 20 0 18 0 291212656 9787842560 52714 33554432000 1073741824 1073778376 140733881854816 140733881845952 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/30322/statm: 2389610 52714 2244 9 0 2380296 0
[pid=30322/tid=30323] ppid=30320 vsize=9558440 CPUtime=0.6 cores=1,3,5,7
/proc/30322/task/30323/stat : 30323 (java) R 30320 30322 27775 0 -1 4202560 2563 0 1 0 57 3 0 0 20 0 18 0 291212657 9787842560 52714 33554432000 1073741824 1073778376 140733881854816 139680752769528 249653421325 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 9558440
[startup+1.50075 s]
/proc/loadavg: 2.18 2.05 1.94 3/213 30340
/proc/meminfo: memFree=31384756/32873844 swapFree=7116/7116
[pid=30322] ppid=30320 vsize=9558440 CPUtime=2.56 cores=1,3,5,7
/proc/30322/stat : 30322 (java) S 30320 30322 27775 0 -1 4202496 12745 0 1 0 234 22 0 0 20 0 18 0 291212656 9787842560 95531 33554432000 1073741824 1073778376 140733881854816 140733881845952 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/30322/statm: 2389610 95531 2266 9 0 2380296 0
[pid=30322/tid=30323] ppid=30320 vsize=9558440 CPUtime=1.33 cores=1,3,5,7
/proc/30322/task/30323/stat : 30323 (java) R 30320 30322 27775 0 -1 4202560 2626 0 1 0 127 6 0 0 20 0 18 0 291212657 9787842560 95531 33554432000 1073741824 1073778376 140733881854816 139680752762864 139680608078016 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=30322/tid=30325] ppid=30320 vsize=9558440 CPUtime=0.08 cores=1,3,5,7
/proc/30322/task/30325/stat : 30325 (java) S 30320 30322 27775 0 -1 4202560 137 0 0 0 5 3 0 0 20 0 18 0 291212657 9787842560 95531 33554432000 1073741824 1073778376 140733881854816 139680596667176 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30322/tid=30326] ppid=30320 vsize=9558440 CPUtime=0.05 cores=1,3,5,7
/proc/30322/task/30326/stat : 30326 (java) S 30320 30322 27775 0 -1 4202560 30 0 0 0 3 2 0 0 20 0 18 0 291212657 9787842560 95531 33554432000 1073741824 1073778376 140733881854816 139680595614376 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30322/tid=30327] ppid=30320 vsize=9558440 CPUtime=0.03 cores=1,3,5,7
/proc/30322/task/30327/stat : 30327 (java) S 30320 30322 27775 0 -1 4202560 21 0 0 0 3 0 0 0 20 0 18 0 291212657 9787842560 95531 33554432000 1073741824 1073778376 140733881854816 139680594562088 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30322/tid=30328] ppid=30320 vsize=9558440 CPUtime=0.03 cores=1,3,5,7
/proc/30322/task/30328/stat : 30328 (java) S 30320 30322 27775 0 -1 4202560 27 0 0 0 2 1 0 0 20 0 18 0 291212657 9787842560 95531 33554432000 1073741824 1073778376 140733881854816 139680593509288 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30322/tid=30329] ppid=30320 vsize=9558440 CPUtime=0.05 cores=1,3,5,7
/proc/30322/task/30329/stat : 30329 (java) S 30320 30322 27775 0 -1 4202560 114 0 0 0 4 1 0 0 20 0 18 0 291212657 9787842560 95531 33554432000 1073741824 1073778376 140733881854816 139680592455976 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30322/tid=30330] ppid=30320 vsize=9558440 CPUtime=0.04 cores=1,3,5,7
/proc/30322/task/30330/stat : 30330 (java) S 30320 30322 27775 0 -1 4202560 31 0 0 0 2 2 0 0 20 0 18 0 291212657 9787842560 95531 33554432000 1073741824 1073778376 140733881854816 139680255305896 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30322/tid=30331] ppid=30320 vsize=9558440 CPUtime=0.03 cores=1,3,5,7
/proc/30322/task/30331/stat : 30331 (java) S 30320 30322 27775 0 -1 4202560 101 0 0 0 2 1 0 0 20 0 18 0 291212657 9787842560 95531 33554432000 1073741824 1073778376 140733881854816 139680254253608 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30322/tid=30332] ppid=30320 vsize=9558440 CPUtime=0.1 cores=1,3,5,7
/proc/30322/task/30332/stat : 30332 (java) S 30320 30322 27775 0 -1 4202560 134 0 0 0 7 3 0 0 20 0 18 0 291212657 9787842560 95531 33554432000 1073741824 1073778376 140733881854816 139680253200808 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30322/tid=30333] ppid=30320 vsize=9558440 CPUtime=0 cores=1,3,5,7
/proc/30322/task/30333/stat : 30333 (java) S 30320 30322 27775 0 -1 4202560 197 0 0 0 0 0 0 0 20 0 18 0 291212658 9787842560 95531 33554432000 1073741824 1073778376 140733881854816 139680241003240 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30322/tid=30334] ppid=30320 vsize=9558440 CPUtime=0 cores=1,3,5,7
/proc/30322/task/30334/stat : 30334 (java) S 30320 30322 27775 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 291212659 9787842560 95531 33554432000 1073741824 1073778376 140733881854816 139680239949304 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30322/tid=30335] ppid=30320 vsize=9558440 CPUtime=0 cores=1,3,5,7
/proc/30322/task/30335/stat : 30335 (java) S 30320 30322 27775 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 291212659 9787842560 95531 33554432000 1073741824 1073778376 140733881854816 139680238896904 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30322/tid=30336] ppid=30320 vsize=9558440 CPUtime=0 cores=1,3,5,7
/proc/30322/task/30336/stat : 30336 (java) S 30320 30322 27775 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 291212661 9787842560 95531 33554432000 1073741824 1073778376 140733881854816 139680237845392 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30322/tid=30337] ppid=30320 vsize=9558440 CPUtime=0.32 cores=1,3,5,7
/proc/30322/task/30337/stat : 30337 (java) S 30320 30322 27775 0 -1 4202560 4905 0 0 0 31 1 0 0 20 0 18 0 291212661 9787842560 95531 33554432000 1073741824 1073778376 140733881854816 139680236791992 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30322/tid=30338] ppid=30320 vsize=9558440 CPUtime=0.33 cores=1,3,5,7
/proc/30322/task/30338/stat : 30338 (java) S 30320 30322 27775 0 -1 4202560 3248 0 0 0 33 0 0 0 20 0 18 0 291212661 9787842560 95531 33554432000 1073741824 1073778376 140733881854816 139680235739192 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30322/tid=30339] ppid=30320 vsize=9558440 CPUtime=0 cores=1,3,5,7
/proc/30322/task/30339/stat : 30339 (java) S 30320 30322 27775 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 291212661 9787842560 95531 33554432000 1073741824 1073778376 140733881854816 139680234687096 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30322/tid=30340] ppid=30320 vsize=9558440 CPUtime=0 cores=1,3,5,7
/proc/30322/task/30340/stat : 30340 (java) S 30320 30322 27775 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 291212661 9787842560 95531 33554432000 1073741824 1073778376 140733881854816 139680233634504 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.56
Current children cumulated vsize (KiB) 9558440
[startup+3.10081 s]
/proc/loadavg: 2.18 2.05 1.94 3/213 30340
/proc/meminfo: memFree=31209184/32873844 swapFree=7116/7116
[pid=30322] ppid=30320 vsize=9558440 CPUtime=4.63 cores=1,3,5,7
/proc/30322/stat : 30322 (java) S 30320 30322 27775 0 -1 4202496 13589 0 1 0 426 37 0 0 20 0 18 0 291212656 9787842560 168837 33554432000 1073741824 1073778376 140733881854816 140733881845952 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/30322/statm: 2389610 168837 2266 9 0 2380296 0
[pid=30322/tid=30323] ppid=30320 vsize=9558440 CPUtime=2.8 cores=1,3,5,7
/proc/30322/task/30323/stat : 30323 (java) R 30320 30322 27775 0 -1 4202560 2913 0 1 0 270 10 0 0 20 0 18 0 291212657 9787842560 168837 33554432000 1073741824 1073778376 140733881854816 139680752770328 139680608052000 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=30322/tid=30325] ppid=30320 vsize=9558440 CPUtime=0.12 cores=1,3,5,7
/proc/30322/task/30325/stat : 30325 (java) S 30320 30322 27775 0 -1 4202560 153 0 0 0 8 4 0 0 20 0 18 0 291212657 9787842560 168837 33554432000 1073741824 1073778376 140733881854816 139680596667176 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30322/tid=30326] ppid=30320 vsize=9558440 CPUtime=0.08 cores=1,3,5,7
/proc/30322/task/30326/stat : 30326 (java) S 30320 30322 27775 0 -1 4202560 66 0 0 0 6 2 0 0 20 0 18 0 291212657 9787842560 168837 33554432000 1073741824 1073778376 140733881854816 139680595614376 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30322/tid=30327] ppid=30320 vsize=9558440 CPUtime=0.08 cores=1,3,5,7
/proc/30322/task/30327/stat : 30327 (java) S 30320 30322 27775 0 -1 4202560 40 0 0 0 6 2 0 0 20 0 18 0 291212657 9787842560 168837 33554432000 1073741824 1073778376 140733881854816 139680594562088 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30322/tid=30328] ppid=30320 vsize=9558440 CPUtime=0.1 cores=1,3,5,7
/proc/30322/task/30328/stat : 30328 (java) S 30320 30322 27775 0 -1 4202560 52 0 0 0 7 3 0 0 20 0 18 0 291212657 9787842560 168837 33554432000 1073741824 1073778376 140733881854816 139680593509288 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30322/tid=30329] ppid=30320 vsize=9558440 CPUtime=0.15 cores=1,3,5,7
/proc/30322/task/30329/stat : 30329 (java) S 30320 30322 27775 0 -1 4202560 147 0 0 0 11 4 0 0 20 0 18 0 291212657 9787842560 168837 33554432000 1073741824 1073778376 140733881854816 139680592455976 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30322/tid=30330] ppid=30320 vsize=9558440 CPUtime=0.08 cores=1,3,5,7
/proc/30322/task/30330/stat : 30330 (java) S 30320 30322 27775 0 -1 4202560 44 0 0 0 5 3 0 0 20 0 18 0 291212657 9787842560 168837 33554432000 1073741824 1073778376 140733881854816 139680255305896 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30322/tid=30331] ppid=30320 vsize=9558440 CPUtime=0.09 cores=1,3,5,7
/proc/30322/task/30331/stat : 30331 (java) S 30320 30322 27775 0 -1 4202560 140 0 0 0 7 2 0 0 20 0 18 0 291212657 9787842560 168837 33554432000 1073741824 1073778376 140733881854816 139680254253608 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30322/tid=30332] ppid=30320 vsize=9558440 CPUtime=0.23 cores=1,3,5,7
/proc/30322/task/30332/stat : 30332 (java) S 30320 30322 27775 0 -1 4202560 188 0 0 0 17 6 0 0 20 0 18 0 291212657 9787842560 168837 33554432000 1073741824 1073778376 140733881854816 139680253200808 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30322/tid=30333] ppid=30320 vsize=9558440 CPUtime=0 cores=1,3,5,7
/proc/30322/task/30333/stat : 30333 (java) S 30320 30322 27775 0 -1 4202560 476 0 0 0 0 0 0 0 20 0 18 0 291212658 9787842560 168837 33554432000 1073741824 1073778376 140733881854816 139680241003240 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30322/tid=30334] ppid=30320 vsize=9558440 CPUtime=0 cores=1,3,5,7
/proc/30322/task/30334/stat : 30334 (java) S 30320 30322 27775 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 291212659 9787842560 168837 33554432000 1073741824 1073778376 140733881854816 139680239949304 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30322/tid=30335] ppid=30320 vsize=9558440 CPUtime=0 cores=1,3,5,7
/proc/30322/task/30335/stat : 30335 (java) S 30320 30322 27775 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 291212659 9787842560 168837 33554432000 1073741824 1073778376 140733881854816 139680238896904 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30322/tid=30336] ppid=30320 vsize=9558440 CPUtime=0 cores=1,3,5,7
/proc/30322/task/30336/stat : 30336 (java) S 30320 30322 27775 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 291212661 9787842560 168837 33554432000 1073741824 1073778376 140733881854816 139680237845392 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30322/tid=30337] ppid=30320 vsize=9558440 CPUtime=0.36 cores=1,3,5,7
/proc/30322/task/30337/stat : 30337 (java) S 30320 30322 27775 0 -1 4202560 4931 0 0 0 35 1 0 0 20 0 18 0 291212661 9787842560 168837 33554432000 1073741824 1073778376 140733881854816 139680236791992 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30322/tid=30338] ppid=30320 vsize=9558440 CPUtime=0.38 cores=1,3,5,7
/proc/30322/task/30338/stat : 30338 (java) S 30320 30322 27775 0 -1 4202560 3265 0 0 0 38 0 0 0 20 0 18 0 291212661 9787842560 168837 33554432000 1073741824 1073778376 140733881854816 139680235739192 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30322/tid=30339] ppid=30320 vsize=9558440 CPUtime=0 cores=1,3,5,7
/proc/30322/task/30339/stat : 30339 (java) S 30320 30322 27775 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 291212661 9787842560 168837 33554432000 1073741824 1073778376 140733881854816 139680234687096 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30322/tid=30340] ppid=30320 vsize=9558440 CPUtime=0 cores=1,3,5,7
/proc/30322/task/30340/stat : 30340 (java) S 30320 30322 27775 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 291212661 9787842560 168837 33554432000 1073741824 1073778376 140733881854816 139680233634504 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 4.63
Current children cumulated vsize (KiB) 9558440
[startup+6.3008 s]
/proc/loadavg: 2.18 2.05 1.94 3/214 30341
/proc/meminfo: memFree=30883508/32873844 swapFree=7116/7116
[pid=30322] ppid=30320 vsize=9625004 CPUtime=8.63 cores=1,3,5,7
/proc/30322/stat : 30322 (java) S 30320 30322 27775 0 -1 4202496 14449 0 1 0 816 47 0 0 20 0 19 0 291212656 9856004096 188605 33554432000 1073741824 1073778376 140733881854816 140733881845952 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/30322/statm: 2406251 188605 2275 9 0 2396937 0
[pid=30322/tid=30323] ppid=30320 vsize=9625004 CPUtime=5.86 cores=1,3,5,7
/proc/30322/task/30323/stat : 30323 (java) R 30320 30322 27775 0 -1 4202560 3371 0 1 0 574 12 0 0 20 0 19 0 291212657 9856004096 188605 33554432000 1073741824 1073778376 140733881854816 139680752771592 139680608467212 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=30322/tid=30325] ppid=30320 vsize=9625004 CPUtime=0.23 cores=1,3,5,7
/proc/30322/task/30325/stat : 30325 (java) S 30320 30322 27775 0 -1 4202560 217 0 0 0 18 5 0 0 20 0 19 0 291212657 9856004096 188605 33554432000 1073741824 1073778376 140733881854816 139680596667176 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30322/tid=30326] ppid=30320 vsize=9625004 CPUtime=0.14 cores=1,3,5,7
/proc/30322/task/30326/stat : 30326 (java) S 30320 30322 27775 0 -1 4202560 122 0 0 0 11 3 0 0 20 0 19 0 291212657 9856004096 188605 33554432000 1073741824 1073778376 140733881854816 139680595614376 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30322/tid=30327] ppid=30320 vsize=9625004 CPUtime=0.14 cores=1,3,5,7
/proc/30322/task/30327/stat : 30327 (java) S 30320 30322 27775 0 -1 4202560 57 0 0 0 11 3 0 0 20 0 19 0 291212657 9856004096 188605 33554432000 1073741824 1073778376 140733881854816 139680594562088 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30322/tid=30328] ppid=30320 vsize=9625004 CPUtime=0.13 cores=1,3,5,7
/proc/30322/task/30328/stat : 30328 (java) S 30320 30322 27775 0 -1 4202560 61 0 0 0 10 3 0 0 20 0 19 0 291212657 9856004096 188605 33554432000 1073741824 1073778376 140733881854816 139680593509288 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30322/tid=30329] ppid=30320 vsize=9625004 CPUtime=0.22 cores=1,3,5,7
/proc/30322/task/30329/stat : 30329 (java) S 30320 30322 27775 0 -1 4202560 166 0 0 0 17 5 0 0 20 0 19 0 291212657 9856004096 188605 33554432000 1073741824 1073778376 140733881854816 139680592455976 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30322/tid=30330] ppid=30320 vsize=9625004 CPUtime=0.12 cores=1,3,5,7
/proc/30322/task/30330/stat : 30330 (java) S 30320 30322 27775 0 -1 4202560 53 0 0 0 9 3 0 0 20 0 19 0 291212657 9856004096 188605 33554432000 1073741824 1073778376 140733881854816 139680255305896 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30322/tid=30331] ppid=30320 vsize=9625004 CPUtime=0.14 cores=1,3,5,7
/proc/30322/task/30331/stat : 30331 (java) S 30320 30322 27775 0 -1 4202560 272 0 0 0 11 3 0 0 20 0 19 0 291212657 9856004096 188605 33554432000 1073741824 1073778376 140733881854816 139680254253608 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30322/tid=30332] ppid=30320 vsize=9625004 CPUtime=0.29 cores=1,3,5,7
/proc/30322/task/30332/stat : 30332 (java) S 30320 30322 27775 0 -1 4202560 233 0 0 0 22 7 0 0 20 0 19 0 291212657 9856004096 188605 33554432000 1073741824 1073778376 140733881854816 139680253200808 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30322/tid=30333] ppid=30320 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/30322/task/30333/stat : 30333 (java) S 30320 30322 27775 0 -1 4202560 486 0 0 0 0 0 0 0 20 0 19 0 291212658 9856004096 188605 33554432000 1073741824 1073778376 140733881854816 139680241003240 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30322/tid=30334] ppid=30320 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/30322/task/30334/stat : 30334 (java) S 30320 30322 27775 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291212659 9856004096 188605 33554432000 1073741824 1073778376 140733881854816 139680239949304 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30322/tid=30335] ppid=30320 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/30322/task/30335/stat : 30335 (java) S 30320 30322 27775 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291212659 9856004096 188605 33554432000 1073741824 1073778376 140733881854816 139680238896904 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30322/tid=30336] ppid=30320 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/30322/task/30336/stat : 30336 (java) S 30320 30322 27775 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291212661 9856004096 188605 33554432000 1073741824 1073778376 140733881854816 139680237845392 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30322/tid=30337] ppid=30320 vsize=9625004 CPUtime=0.55 cores=1,3,5,7
/proc/30322/task/30337/stat : 30337 (java) S 30320 30322 27775 0 -1 4202560 4959 0 0 0 53 2 0 0 20 0 19 0 291212661 9856004096 188605 33554432000 1073741824 1073778376 140733881854816 139680236791992 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30322/tid=30338] ppid=30320 vsize=9625004 CPUtime=0.65 cores=1,3,5,7
/proc/30322/task/30338/stat : 30338 (java) S 30320 30322 27775 0 -1 4202560 3271 0 0 0 65 0 0 0 20 0 19 0 291212661 9856004096 188605 33554432000 1073741824 1073778376 140733881854816 139680235739192 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30322/tid=30339] ppid=30320 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/30322/task/30339/stat : 30339 (java) S 30320 30322 27775 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291212661 9856004096 188605 33554432000 1073741824 1073778376 140733881854816 139680234687096 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30322/tid=30340] ppid=30320 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/30322/task/30340/stat : 30340 (java) S 30320 30322 27775 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291212661 9856004096 188605 33554432000 1073741824 1073778376 140733881854816 139680233634504 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
################
# More data... #
################
[pid=30322/tid=30337] ppid=30320 vsize=9625004 CPUtime=0.64 cores=1,3,5,7
/proc/30322/task/30337/stat : 30337 (java) S 30320 30322 27775 0 -1 4202560 4980 0 0 0 62 2 0 0 20 0 19 0 291212661 9856004096 242553 33554432000 1073741824 1073778376 140733881854816 139680236791992 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30322/tid=30338] ppid=30320 vsize=9625004 CPUtime=0.85 cores=1,3,5,7
/proc/30322/task/30338/stat : 30338 (java) S 30320 30322 27775 0 -1 4202560 3772 0 0 0 83 2 0 0 20 0 19 0 291212661 9856004096 242553 33554432000 1073741824 1073778376 140733881854816 139680235739192 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30322/tid=30339] ppid=30320 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/30322/task/30339/stat : 30339 (java) S 30320 30322 27775 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291212661 9856004096 242553 33554432000 1073741824 1073778376 140733881854816 139680234687096 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30322/tid=30340] ppid=30320 vsize=9625004 CPUtime=0.96 cores=1,3,5,7
/proc/30322/task/30340/stat : 30340 (java) S 30320 30322 27775 0 -1 4202560 99 0 0 0 34 62 0 0 20 0 19 0 291212661 9856004096 242553 33554432000 1073741824 1073778376 140733881854816 139680233634504 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30322/tid=30341] ppid=30320 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/30322/task/30341/stat : 30341 (java) S 30320 30322 27775 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291213182 9856004096 242553 33554432000 1073741824 1073778376 140733881854816 139680232519080 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1727.71
Current children cumulated vsize (KiB) 9625004
[startup+1782.3 s]
/proc/loadavg: 2.05 2.01 1.99 3/214 30357
/proc/meminfo: memFree=30613152/32873844 swapFree=7116/7116
[pid=30322] ppid=30320 vsize=9625004 CPUtime=1787.8 cores=1,3,5,7
/proc/30322/stat : 30322 (java) S 30320 30322 27775 0 -1 4202496 15949 0 1 0 178587 193 0 0 20 0 19 0 291212656 9856004096 242553 33554432000 1073741824 1073778376 140733881854816 140733881845952 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/30322/statm: 2406251 242553 2289 9 0 2396937 0
[pid=30322/tid=30323] ppid=30320 vsize=9625004 CPUtime=1771.24 cores=1,3,5,7
/proc/30322/task/30323/stat : 30323 (java) R 30320 30322 27775 0 -1 4202560 3396 0 1 0 177085 39 0 0 20 0 19 0 291212657 9856004096 242553 33554432000 1073741824 1073778376 140733881854816 139680752771376 139680608471977 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=30322/tid=30325] ppid=30320 vsize=9625004 CPUtime=0.39 cores=1,3,5,7
/proc/30322/task/30325/stat : 30325 (java) S 30320 30322 27775 0 -1 4202560 231 0 0 0 33 6 0 0 20 0 19 0 291212657 9856004096 242553 33554432000 1073741824 1073778376 140733881854816 139680596667176 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30322/tid=30326] ppid=30320 vsize=9625004 CPUtime=0.37 cores=1,3,5,7
/proc/30322/task/30326/stat : 30326 (java) S 30320 30322 27775 0 -1 4202560 146 0 0 0 32 5 0 0 20 0 19 0 291212657 9856004096 242553 33554432000 1073741824 1073778376 140733881854816 139680595614376 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30322/tid=30327] ppid=30320 vsize=9625004 CPUtime=0.29 cores=1,3,5,7
/proc/30322/task/30327/stat : 30327 (java) S 30320 30322 27775 0 -1 4202560 187 0 0 0 25 4 0 0 20 0 19 0 291212657 9856004096 242553 33554432000 1073741824 1073778376 140733881854816 139680594562088 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30322/tid=30328] ppid=30320 vsize=9625004 CPUtime=0.32 cores=1,3,5,7
/proc/30322/task/30328/stat : 30328 (java) S 30320 30322 27775 0 -1 4202560 89 0 0 0 26 6 0 0 20 0 19 0 291212657 9856004096 242553 33554432000 1073741824 1073778376 140733881854816 139680593509288 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30322/tid=30329] ppid=30320 vsize=9625004 CPUtime=0.43 cores=1,3,5,7
/proc/30322/task/30329/stat : 30329 (java) S 30320 30322 27775 0 -1 4202560 189 0 0 0 36 7 0 0 20 0 19 0 291212657 9856004096 242553 33554432000 1073741824 1073778376 140733881854816 139680592455976 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30322/tid=30330] ppid=30320 vsize=9625004 CPUtime=0.3 cores=1,3,5,7
/proc/30322/task/30330/stat : 30330 (java) S 30320 30322 27775 0 -1 4202560 77 0 0 0 25 5 0 0 20 0 19 0 291212657 9856004096 242553 33554432000 1073741824 1073778376 140733881854816 139680255305896 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30322/tid=30331] ppid=30320 vsize=9625004 CPUtime=0.41 cores=1,3,5,7
/proc/30322/task/30331/stat : 30331 (java) S 30320 30322 27775 0 -1 4202560 320 0 0 0 34 7 0 0 20 0 19 0 291212657 9856004096 242553 33554432000 1073741824 1073778376 140733881854816 139680254253608 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30322/tid=30332] ppid=30320 vsize=9625004 CPUtime=0.49 cores=1,3,5,7
/proc/30322/task/30332/stat : 30332 (java) S 30320 30322 27775 0 -1 4202560 256 0 0 0 41 8 0 0 20 0 19 0 291212657 9856004096 242553 33554432000 1073741824 1073778376 140733881854816 139680253200808 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30322/tid=30333] ppid=30320 vsize=9625004 CPUtime=5.5 cores=1,3,5,7
/proc/30322/task/30333/stat : 30333 (java) S 30320 30322 27775 0 -1 4202560 1023 0 0 0 544 6 0 0 20 0 19 0 291212658 9856004096 242553 33554432000 1073741824 1073778376 140733881854816 139680241003240 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30322/tid=30334] ppid=30320 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/30322/task/30334/stat : 30334 (java) S 30320 30322 27775 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291212659 9856004096 242553 33554432000 1073741824 1073778376 140733881854816 139680239949304 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30322/tid=30335] ppid=30320 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/30322/task/30335/stat : 30335 (java) S 30320 30322 27775 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291212659 9856004096 242553 33554432000 1073741824 1073778376 140733881854816 139680238896904 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30322/tid=30336] ppid=30320 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/30322/task/30336/stat : 30336 (java) S 30320 30322 27775 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291212661 9856004096 242553 33554432000 1073741824 1073778376 140733881854816 139680237845392 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30322/tid=30337] ppid=30320 vsize=9625004 CPUtime=0.64 cores=1,3,5,7
/proc/30322/task/30337/stat : 30337 (java) S 30320 30322 27775 0 -1 4202560 4980 0 0 0 62 2 0 0 20 0 19 0 291212661 9856004096 242553 33554432000 1073741824 1073778376 140733881854816 139680236791992 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30322/tid=30338] ppid=30320 vsize=9625004 CPUtime=0.85 cores=1,3,5,7
/proc/30322/task/30338/stat : 30338 (java) S 30320 30322 27775 0 -1 4202560 3772 0 0 0 83 2 0 0 20 0 19 0 291212661 9856004096 242553 33554432000 1073741824 1073778376 140733881854816 139680235739192 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30322/tid=30339] ppid=30320 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/30322/task/30339/stat : 30339 (java) S 30320 30322 27775 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291212661 9856004096 242553 33554432000 1073741824 1073778376 140733881854816 139680234687096 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30322/tid=30340] ppid=30320 vsize=9625004 CPUtime=1 cores=1,3,5,7
/proc/30322/task/30340/stat : 30340 (java) S 30320 30322 27775 0 -1 4202560 103 0 0 0 35 65 0 0 20 0 19 0 291212661 9856004096 242553 33554432000 1073741824 1073778376 140733881854816 139680233634504 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30322/tid=30341] ppid=30320 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/30322/task/30341/stat : 30341 (java) S 30320 30322 27775 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291213182 9856004096 242553 33554432000 1073741824 1073778376 140733881854816 139680232519080 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1787.8
Current children cumulated vsize (KiB) 9625004
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1794.5 s]
/proc/loadavg: 2.20 2.05 2.00 3/214 30416
/proc/meminfo: memFree=30612584/32873844 swapFree=7116/7116
[pid=30322] ppid=30320 vsize=9625004 CPUtime=1800.02 cores=1,3,5,7
/proc/30322/stat : 30322 (java) S 30320 30322 27775 0 -1 4202496 15949 0 1 0 179808 194 0 0 20 0 19 0 291212656 9856004096 242553 33554432000 1073741824 1073778376 140733881854816 140733881845952 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/30322/statm: 2406251 242553 2289 9 0 2396937 0
[pid=30322/tid=30323] ppid=30320 vsize=9625004 CPUtime=1783.41 cores=1,3,5,7
/proc/30322/task/30323/stat : 30323 (java) R 30320 30322 27775 0 -1 4202560 3396 0 1 0 178301 40 0 0 20 0 19 0 291212657 9856004096 242553 33554432000 1073741824 1073778376 140733881854816 139680752771376 139680608512776 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=30322/tid=30325] ppid=30320 vsize=9625004 CPUtime=0.39 cores=1,3,5,7
/proc/30322/task/30325/stat : 30325 (java) S 30320 30322 27775 0 -1 4202560 231 0 0 0 33 6 0 0 20 0 19 0 291212657 9856004096 242553 33554432000 1073741824 1073778376 140733881854816 139680596667176 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30322/tid=30326] ppid=30320 vsize=9625004 CPUtime=0.37 cores=1,3,5,7
/proc/30322/task/30326/stat : 30326 (java) S 30320 30322 27775 0 -1 4202560 146 0 0 0 32 5 0 0 20 0 19 0 291212657 9856004096 242553 33554432000 1073741824 1073778376 140733881854816 139680595614376 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30322/tid=30327] ppid=30320 vsize=9625004 CPUtime=0.29 cores=1,3,5,7
/proc/30322/task/30327/stat : 30327 (java) S 30320 30322 27775 0 -1 4202560 187 0 0 0 25 4 0 0 20 0 19 0 291212657 9856004096 242553 33554432000 1073741824 1073778376 140733881854816 139680594562088 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30322/tid=30328] ppid=30320 vsize=9625004 CPUtime=0.32 cores=1,3,5,7
/proc/30322/task/30328/stat : 30328 (java) S 30320 30322 27775 0 -1 4202560 89 0 0 0 26 6 0 0 20 0 19 0 291212657 9856004096 242553 33554432000 1073741824 1073778376 140733881854816 139680593509288 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30322/tid=30329] ppid=30320 vsize=9625004 CPUtime=0.43 cores=1,3,5,7
/proc/30322/task/30329/stat : 30329 (java) S 30320 30322 27775 0 -1 4202560 189 0 0 0 36 7 0 0 20 0 19 0 291212657 9856004096 242553 33554432000 1073741824 1073778376 140733881854816 139680592455976 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30322/tid=30330] ppid=30320 vsize=9625004 CPUtime=0.3 cores=1,3,5,7
/proc/30322/task/30330/stat : 30330 (java) S 30320 30322 27775 0 -1 4202560 77 0 0 0 25 5 0 0 20 0 19 0 291212657 9856004096 242553 33554432000 1073741824 1073778376 140733881854816 139680255305896 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30322/tid=30331] ppid=30320 vsize=9625004 CPUtime=0.41 cores=1,3,5,7
/proc/30322/task/30331/stat : 30331 (java) S 30320 30322 27775 0 -1 4202560 320 0 0 0 34 7 0 0 20 0 19 0 291212657 9856004096 242553 33554432000 1073741824 1073778376 140733881854816 139680254253608 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30322/tid=30332] ppid=30320 vsize=9625004 CPUtime=0.49 cores=1,3,5,7
/proc/30322/task/30332/stat : 30332 (java) S 30320 30322 27775 0 -1 4202560 256 0 0 0 41 8 0 0 20 0 19 0 291212657 9856004096 242553 33554432000 1073741824 1073778376 140733881854816 139680253200808 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30322/tid=30333] ppid=30320 vsize=9625004 CPUtime=5.5 cores=1,3,5,7
/proc/30322/task/30333/stat : 30333 (java) S 30320 30322 27775 0 -1 4202560 1023 0 0 0 544 6 0 0 20 0 19 0 291212658 9856004096 242553 33554432000 1073741824 1073778376 140733881854816 139680241003240 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30322/tid=30334] ppid=30320 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/30322/task/30334/stat : 30334 (java) S 30320 30322 27775 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291212659 9856004096 242553 33554432000 1073741824 1073778376 140733881854816 139680239949304 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30322/tid=30335] ppid=30320 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/30322/task/30335/stat : 30335 (java) S 30320 30322 27775 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291212659 9856004096 242553 33554432000 1073741824 1073778376 140733881854816 139680238896904 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30322/tid=30336] ppid=30320 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/30322/task/30336/stat : 30336 (java) S 30320 30322 27775 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291212661 9856004096 242553 33554432000 1073741824 1073778376 140733881854816 139680237845392 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30322/tid=30337] ppid=30320 vsize=9625004 CPUtime=0.64 cores=1,3,5,7
/proc/30322/task/30337/stat : 30337 (java) S 30320 30322 27775 0 -1 4202560 4980 0 0 0 62 2 0 0 20 0 19 0 291212661 9856004096 242553 33554432000 1073741824 1073778376 140733881854816 139680236791992 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30322/tid=30338] ppid=30320 vsize=9625004 CPUtime=0.85 cores=1,3,5,7
/proc/30322/task/30338/stat : 30338 (java) S 30320 30322 27775 0 -1 4202560 3772 0 0 0 83 2 0 0 20 0 19 0 291212661 9856004096 242553 33554432000 1073741824 1073778376 140733881854816 139680235739192 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30322/tid=30339] ppid=30320 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/30322/task/30339/stat : 30339 (java) S 30320 30322 27775 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291212661 9856004096 242553 33554432000 1073741824 1073778376 140733881854816 139680234687096 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30322/tid=30340] ppid=30320 vsize=9625004 CPUtime=1.01 cores=1,3,5,7
/proc/30322/task/30340/stat : 30340 (java) S 30320 30322 27775 0 -1 4202560 103 0 0 0 36 65 0 0 20 0 19 0 291212661 9856004096 242553 33554432000 1073741824 1073778376 140733881854816 139680233634504 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30322/tid=30341] ppid=30320 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/30322/task/30341/stat : 30341 (java) S 30320 30322 27775 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291213182 9856004096 242553 33554432000 1073741824 1073778376 140733881854816 139680232519080 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 9625004
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1794.5 s]
/proc/loadavg: 2.20 2.05 2.00 3/214 30416
/proc/meminfo: memFree=30612584/32873844 swapFree=7116/7116
[pid=30322] ppid=30320 vsize=9625004 CPUtime=1800.02 cores=1,3,5,7
/proc/30322/stat : 30322 (java) S 30320 30322 27775 0 -1 4202496 15949 0 1 0 179808 194 0 0 20 0 19 0 291212656 9856004096 242553 33554432000 1073741824 1073778376 140733881854816 140733881845952 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/30322/statm: 2406251 242553 2289 9 0 2396937 0
[pid=30322/tid=30323] ppid=30320 vsize=9625004 CPUtime=1783.41 cores=1,3,5,7
/proc/30322/task/30323/stat : 30323 (java) R 30320 30322 27775 0 -1 4202560 3396 0 1 0 178301 40 0 0 20 0 19 0 291212657 9856004096 242553 33554432000 1073741824 1073778376 140733881854816 139680752771376 139680608512776 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=30322/tid=30325] ppid=30320 vsize=9625004 CPUtime=0.39 cores=1,3,5,7
/proc/30322/task/30325/stat : 30325 (java) S 30320 30322 27775 0 -1 4202560 231 0 0 0 33 6 0 0 20 0 19 0 291212657 9856004096 242553 33554432000 1073741824 1073778376 140733881854816 139680596667176 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30322/tid=30326] ppid=30320 vsize=9625004 CPUtime=0.37 cores=1,3,5,7
/proc/30322/task/30326/stat : 30326 (java) S 30320 30322 27775 0 -1 4202560 146 0 0 0 32 5 0 0 20 0 19 0 291212657 9856004096 242553 33554432000 1073741824 1073778376 140733881854816 139680595614376 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30322/tid=30327] ppid=30320 vsize=9625004 CPUtime=0.29 cores=1,3,5,7
/proc/30322/task/30327/stat : 30327 (java) S 30320 30322 27775 0 -1 4202560 187 0 0 0 25 4 0 0 20 0 19 0 291212657 9856004096 242553 33554432000 1073741824 1073778376 140733881854816 139680594562088 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30322/tid=30328] ppid=30320 vsize=9625004 CPUtime=0.32 cores=1,3,5,7
/proc/30322/task/30328/stat : 30328 (java) S 30320 30322 27775 0 -1 4202560 89 0 0 0 26 6 0 0 20 0 19 0 291212657 9856004096 242553 33554432000 1073741824 1073778376 140733881854816 139680593509288 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30322/tid=30329] ppid=30320 vsize=9625004 CPUtime=0.43 cores=1,3,5,7
/proc/30322/task/30329/stat : 30329 (java) S 30320 30322 27775 0 -1 4202560 189 0 0 0 36 7 0 0 20 0 19 0 291212657 9856004096 242553 33554432000 1073741824 1073778376 140733881854816 139680592455976 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30322/tid=30330] ppid=30320 vsize=9625004 CPUtime=0.3 cores=1,3,5,7
/proc/30322/task/30330/stat : 30330 (java) S 30320 30322 27775 0 -1 4202560 77 0 0 0 25 5 0 0 20 0 19 0 291212657 9856004096 242553 33554432000 1073741824 1073778376 140733881854816 139680255305896 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30322/tid=30331] ppid=30320 vsize=9625004 CPUtime=0.41 cores=1,3,5,7
/proc/30322/task/30331/stat : 30331 (java) S 30320 30322 27775 0 -1 4202560 320 0 0 0 34 7 0 0 20 0 19 0 291212657 9856004096 242553 33554432000 1073741824 1073778376 140733881854816 139680254253608 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30322/tid=30332] ppid=30320 vsize=9625004 CPUtime=0.49 cores=1,3,5,7
/proc/30322/task/30332/stat : 30332 (java) S 30320 30322 27775 0 -1 4202560 256 0 0 0 41 8 0 0 20 0 19 0 291212657 9856004096 242553 33554432000 1073741824 1073778376 140733881854816 139680253200808 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30322/tid=30333] ppid=30320 vsize=9625004 CPUtime=5.5 cores=1,3,5,7
/proc/30322/task/30333/stat : 30333 (java) S 30320 30322 27775 0 -1 4202560 1023 0 0 0 544 6 0 0 20 0 19 0 291212658 9856004096 242553 33554432000 1073741824 1073778376 140733881854816 139680241003240 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30322/tid=30334] ppid=30320 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/30322/task/30334/stat : 30334 (java) S 30320 30322 27775 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291212659 9856004096 242553 33554432000 1073741824 1073778376 140733881854816 139680239949304 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30322/tid=30335] ppid=30320 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/30322/task/30335/stat : 30335 (java) S 30320 30322 27775 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291212659 9856004096 242553 33554432000 1073741824 1073778376 140733881854816 139680238896904 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30322/tid=30336] ppid=30320 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/30322/task/30336/stat : 30336 (java) S 30320 30322 27775 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291212661 9856004096 242553 33554432000 1073741824 1073778376 140733881854816 139680237845392 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30322/tid=30337] ppid=30320 vsize=9625004 CPUtime=0.64 cores=1,3,5,7
/proc/30322/task/30337/stat : 30337 (java) S 30320 30322 27775 0 -1 4202560 4980 0 0 0 62 2 0 0 20 0 19 0 291212661 9856004096 242553 33554432000 1073741824 1073778376 140733881854816 139680236791992 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30322/tid=30338] ppid=30320 vsize=9625004 CPUtime=0.85 cores=1,3,5,7
/proc/30322/task/30338/stat : 30338 (java) S 30320 30322 27775 0 -1 4202560 3772 0 0 0 83 2 0 0 20 0 19 0 291212661 9856004096 242553 33554432000 1073741824 1073778376 140733881854816 139680235739192 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30322/tid=30339] ppid=30320 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/30322/task/30339/stat : 30339 (java) S 30320 30322 27775 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291212661 9856004096 242553 33554432000 1073741824 1073778376 140733881854816 139680234687096 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30322/tid=30340] ppid=30320 vsize=9625004 CPUtime=1.01 cores=1,3,5,7
/proc/30322/task/30340/stat : 30340 (java) S 30320 30322 27775 0 -1 4202560 103 0 0 0 36 65 0 0 20 0 19 0 291212661 9856004096 242553 33554432000 1073741824 1073778376 140733881854816 139680233634504 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30322/tid=30341] ppid=30320 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/30322/task/30341/stat : 30341 (java) S 30320 30322 27775 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291213182 9856004096 242553 33554432000 1073741824 1073778376 140733881854816 139680232519080 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 9625004
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 30322 and gives
# childrusage.ru_utime.tv_sec=1792
# childrusage.ru_utime.tv_usec=950430
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=770730
# CPU time returned by wait4() is 1794.72
# while last known CPU time is 1800.02
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1794.54
CPU time (s): 1800.02
CPU user time (s): 1798.08
CPU system time (s): 1.94
CPU usage (%): 100.305
Max. virtual memory (cumulated for all children) (KiB): 9625004
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.95
system time used= 1.77073
maximum resident set size= 970328
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15982
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38400
involuntary context switches= 9582
runsolver used 12.6601 second user time and 9.61354 second system time
The end