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-3734577-1338751726/watcher-3734577-1338751726 -o /tmp/evaluation-result-3734577-1338751726/solver-3734577-1338751726 -C 1800 -W 1900 -M 15500 java6 -server -Xms1300m -Xmx1300m -jar HOME/org.sat4j.pb.jar HOME/instance-3734577-1338751726.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.20 2.06 2.01 3/194 28810
/proc/meminfo: memFree=27071068/32873844 swapFree=7116/7116
[pid=28810] ppid=28808 vsize=23236 CPUtime=0 cores=1,3,5,7
/proc/28810/stat : 28810 (java) R 28808 28810 28074 0 -1 4202496 747 0 0 0 0 0 0 0 20 0 1 0 341297642 23793664 474 33554432000 1073741824 1073778376 140735514585360 140735514574424 227132095027 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/28810/statm: 5809 486 368 9 0 128 0
[startup+0.0741091 s]
/proc/loadavg: 2.20 2.06 2.01 3/194 28810
/proc/meminfo: memFree=27071068/32873844 swapFree=7116/7116
[pid=28810] ppid=28808 vsize=2648568 CPUtime=0.06 cores=1,3,5,7
/proc/28810/stat : 28810 (java) S 28808 28810 28074 0 -1 4202496 3830 0 1 0 5 1 0 0 20 0 18 0 341297642 2712133632 5549 33554432000 1073741824 1073778376 140735514585360 140735514576496 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/28810/statm: 662142 5549 1760 9 0 652835 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 2648568
[startup+0.100337 s]
/proc/loadavg: 2.20 2.06 2.01 3/194 28810
/proc/meminfo: memFree=27071068/32873844 swapFree=7116/7116
[pid=28810] ppid=28808 vsize=2648568 CPUtime=0.1 cores=1,3,5,7
/proc/28810/stat : 28810 (java) S 28808 28810 28074 0 -1 4202496 4682 0 1 0 9 1 0 0 20 0 18 0 341297642 2712133632 6400 33554432000 1073741824 1073778376 140735514585360 140735514576496 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/28810/statm: 662142 6400 2109 9 0 652835 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 2648568
[startup+0.300306 s]
/proc/loadavg: 2.20 2.06 2.01 3/194 28810
/proc/meminfo: memFree=27071068/32873844 swapFree=7116/7116
[pid=28810] ppid=28808 vsize=2715132 CPUtime=0.51 cores=1,3,5,7
/proc/28810/stat : 28810 (java) S 28808 28810 28074 0 -1 4202496 5937 0 1 0 50 1 0 0 20 0 19 0 341297642 2780295168 9357 33554432000 1073741824 1073778376 140735514585360 140735514576496 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/28810/statm: 678783 9357 2225 9 0 669476 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 2715132
[startup+0.70023 s]
/proc/loadavg: 2.20 2.06 2.01 3/194 28810
/proc/meminfo: memFree=27071068/32873844 swapFree=7116/7116
[pid=28810] ppid=28808 vsize=2715132 CPUtime=1.2 cores=1,3,5,7
/proc/28810/stat : 28810 (java) S 28808 28810 28074 0 -1 4202496 8311 0 1 0 118 2 0 0 20 0 19 0 341297642 2780295168 11265 33554432000 1073741824 1073778376 140735514585360 140735514576496 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/28810/statm: 678783 11265 2240 9 0 669476 0
Current children cumulated CPU time (s) 1.2
Current children cumulated vsize (KiB) 2715132
[startup+1.50067 s]
/proc/loadavg: 2.20 2.06 2.01 3/213 28829
/proc/meminfo: memFree=27030212/32873844 swapFree=7116/7116
[pid=28810] ppid=28808 vsize=2715132 CPUtime=2.03 cores=1,3,5,7
/proc/28810/stat : 28810 (java) S 28808 28810 28074 0 -1 4202496 8326 0 1 0 201 2 0 0 20 0 19 0 341297642 2780295168 12812 33554432000 1073741824 1073778376 140735514585360 140735514576496 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/28810/statm: 678783 12812 2243 9 0 669476 0
[pid=28810/tid=28812] ppid=28808 vsize=2715132 CPUtime=1.47 cores=1,3,5,7
/proc/28810/task/28812/stat : 28812 (java) R 28808 28810 28074 0 -1 4202560 2772 0 1 0 146 1 0 0 20 0 19 0 341297642 2780295168 12812 33554432000 1073741824 1073778376 140735514585360 140661560763096 140661404238076 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=28810/tid=28813] ppid=28808 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/28810/task/28813/stat : 28813 (java) S 28808 28810 28074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341297643 2780295168 12812 33554432000 1073741824 1073778376 140735514585360 140661545212712 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28810/tid=28814] ppid=28808 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/28810/task/28814/stat : 28814 (java) S 28808 28810 28074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341297643 2780295168 12812 33554432000 1073741824 1073778376 140735514585360 140661544159912 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28810/tid=28815] ppid=28808 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/28810/task/28815/stat : 28815 (java) S 28808 28810 28074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341297643 2780295168 12812 33554432000 1073741824 1073778376 140735514585360 140661543107624 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28810/tid=28816] ppid=28808 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/28810/task/28816/stat : 28816 (java) S 28808 28810 28074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341297643 2780295168 12812 33554432000 1073741824 1073778376 140735514585360 140661542054824 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28810/tid=28817] ppid=28808 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/28810/task/28817/stat : 28817 (java) S 28808 28810 28074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341297643 2780295168 12812 33554432000 1073741824 1073778376 140735514585360 140661541001512 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28810/tid=28818] ppid=28808 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/28810/task/28818/stat : 28818 (java) S 28808 28810 28074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341297643 2780295168 12812 33554432000 1073741824 1073778376 140735514585360 140661539948712 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28810/tid=28819] ppid=28808 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/28810/task/28819/stat : 28819 (java) S 28808 28810 28074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341297643 2780295168 12812 33554432000 1073741824 1073778376 140735514585360 140661538896424 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28810/tid=28820] ppid=28808 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/28810/task/28820/stat : 28820 (java) S 28808 28810 28074 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 341297643 2780295168 12812 33554432000 1073741824 1073778376 140735514585360 140661537843624 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28810/tid=28821] ppid=28808 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/28810/task/28821/stat : 28821 (java) S 28808 28810 28074 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 341297645 2780295168 12812 33554432000 1073741824 1073778376 140735514585360 140661525433064 227144677289 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28810/tid=28822] ppid=28808 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/28810/task/28822/stat : 28822 (java) S 28808 28810 28074 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 341297645 2780295168 12812 33554432000 1073741824 1073778376 140735514585360 140661524379128 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28810/tid=28823] ppid=28808 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/28810/task/28823/stat : 28823 (java) S 28808 28810 28074 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341297645 2780295168 12812 33554432000 1073741824 1073778376 140735514585360 140661523326728 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28810/tid=28824] ppid=28808 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/28810/task/28824/stat : 28824 (java) S 28808 28810 28074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341297648 2780295168 12812 33554432000 1073741824 1073778376 140735514585360 140661522275216 227144685344 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28810/tid=28825] ppid=28808 vsize=2715132 CPUtime=0.3 cores=1,3,5,7
/proc/28810/task/28825/stat : 28825 (java) S 28808 28810 28074 0 -1 4202560 2327 0 0 0 30 0 0 0 20 0 19 0 341297648 2780295168 12812 33554432000 1073741824 1073778376 140735514585360 140661403674808 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28810/tid=28826] ppid=28808 vsize=2715132 CPUtime=0.22 cores=1,3,5,7
/proc/28810/task/28826/stat : 28826 (java) S 28808 28810 28074 0 -1 4202560 2026 0 0 0 22 0 0 0 20 0 19 0 341297648 2780295168 12812 33554432000 1073741824 1073778376 140735514585360 140661402622008 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28810/tid=28827] ppid=28808 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/28810/task/28827/stat : 28827 (java) S 28808 28810 28074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341297648 2780295168 12812 33554432000 1073741824 1073778376 140735514585360 140661401569912 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28810/tid=28828] ppid=28808 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/28810/task/28828/stat : 28828 (java) S 28808 28810 28074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341297648 2780295168 12812 33554432000 1073741824 1073778376 140735514585360 140661400517320 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28810/tid=28829] ppid=28808 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/28810/task/28829/stat : 28829 (java) S 28808 28810 28074 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 341297671 2780295168 12812 33554432000 1073741824 1073778376 140735514585360 140661399463336 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 2.03
Current children cumulated vsize (KiB) 2715132
[startup+3.10062 s]
/proc/loadavg: 2.18 2.06 2.01 3/213 28829
/proc/meminfo: memFree=27022268/32873844 swapFree=7116/7116
[pid=28810] ppid=28808 vsize=2715132 CPUtime=3.66 cores=1,3,5,7
/proc/28810/stat : 28810 (java) S 28808 28810 28074 0 -1 4202496 8333 0 1 0 364 2 0 0 20 0 19 0 341297642 2780295168 15884 33554432000 1073741824 1073778376 140735514585360 140735514576496 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/28810/statm: 678783 15884 2243 9 0 669476 0
[pid=28810/tid=28812] ppid=28808 vsize=2715132 CPUtime=3.07 cores=1,3,5,7
/proc/28810/task/28812/stat : 28812 (java) R 28808 28810 28074 0 -1 4202560 2779 0 1 0 305 2 0 0 20 0 19 0 341297642 2780295168 15884 33554432000 1073741824 1073778376 140735514585360 140661560762816 140661404281504 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=28810/tid=28813] ppid=28808 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/28810/task/28813/stat : 28813 (java) S 28808 28810 28074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341297643 2780295168 15884 33554432000 1073741824 1073778376 140735514585360 140661545212712 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28810/tid=28814] ppid=28808 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/28810/task/28814/stat : 28814 (java) S 28808 28810 28074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341297643 2780295168 15884 33554432000 1073741824 1073778376 140735514585360 140661544159912 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28810/tid=28815] ppid=28808 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/28810/task/28815/stat : 28815 (java) S 28808 28810 28074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341297643 2780295168 15884 33554432000 1073741824 1073778376 140735514585360 140661543107624 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28810/tid=28816] ppid=28808 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/28810/task/28816/stat : 28816 (java) S 28808 28810 28074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341297643 2780295168 15884 33554432000 1073741824 1073778376 140735514585360 140661542054824 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28810/tid=28817] ppid=28808 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/28810/task/28817/stat : 28817 (java) S 28808 28810 28074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341297643 2780295168 15884 33554432000 1073741824 1073778376 140735514585360 140661541001512 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28810/tid=28818] ppid=28808 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/28810/task/28818/stat : 28818 (java) S 28808 28810 28074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341297643 2780295168 15884 33554432000 1073741824 1073778376 140735514585360 140661539948712 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28810/tid=28819] ppid=28808 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/28810/task/28819/stat : 28819 (java) S 28808 28810 28074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341297643 2780295168 15884 33554432000 1073741824 1073778376 140735514585360 140661538896424 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28810/tid=28820] ppid=28808 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/28810/task/28820/stat : 28820 (java) S 28808 28810 28074 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 341297643 2780295168 15884 33554432000 1073741824 1073778376 140735514585360 140661537843624 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28810/tid=28821] ppid=28808 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/28810/task/28821/stat : 28821 (java) S 28808 28810 28074 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 341297645 2780295168 15884 33554432000 1073741824 1073778376 140735514585360 140661525433064 227144677289 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28810/tid=28822] ppid=28808 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/28810/task/28822/stat : 28822 (java) S 28808 28810 28074 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 341297645 2780295168 15884 33554432000 1073741824 1073778376 140735514585360 140661524379128 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28810/tid=28823] ppid=28808 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/28810/task/28823/stat : 28823 (java) S 28808 28810 28074 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341297645 2780295168 15884 33554432000 1073741824 1073778376 140735514585360 140661523326728 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28810/tid=28824] ppid=28808 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/28810/task/28824/stat : 28824 (java) S 28808 28810 28074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341297648 2780295168 15884 33554432000 1073741824 1073778376 140735514585360 140661522275216 227144685344 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28810/tid=28825] ppid=28808 vsize=2715132 CPUtime=0.31 cores=1,3,5,7
/proc/28810/task/28825/stat : 28825 (java) S 28808 28810 28074 0 -1 4202560 2327 0 0 0 31 0 0 0 20 0 19 0 341297648 2780295168 15884 33554432000 1073741824 1073778376 140735514585360 140661403674808 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28810/tid=28826] ppid=28808 vsize=2715132 CPUtime=0.24 cores=1,3,5,7
/proc/28810/task/28826/stat : 28826 (java) S 28808 28810 28074 0 -1 4202560 2026 0 0 0 24 0 0 0 20 0 19 0 341297648 2780295168 15884 33554432000 1073741824 1073778376 140735514585360 140661402622008 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28810/tid=28827] ppid=28808 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/28810/task/28827/stat : 28827 (java) S 28808 28810 28074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341297648 2780295168 15884 33554432000 1073741824 1073778376 140735514585360 140661401569912 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28810/tid=28828] ppid=28808 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/28810/task/28828/stat : 28828 (java) S 28808 28810 28074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341297648 2780295168 15884 33554432000 1073741824 1073778376 140735514585360 140661400517320 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28810/tid=28829] ppid=28808 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/28810/task/28829/stat : 28829 (java) S 28808 28810 28074 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 341297671 2780295168 15884 33554432000 1073741824 1073778376 140735514585360 140661399463336 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.66
Current children cumulated vsize (KiB) 2715132
[startup+6.30066 s]
/proc/loadavg: 2.18 2.06 2.01 3/213 28829
/proc/meminfo: memFree=26987220/32873844 swapFree=7116/7116
[pid=28810] ppid=28808 vsize=2715132 CPUtime=6.87 cores=1,3,5,7
/proc/28810/stat : 28810 (java) S 28808 28810 28074 0 -1 4202496 8347 0 1 0 685 2 0 0 20 0 19 0 341297642 2780295168 22506 33554432000 1073741824 1073778376 140735514585360 140735514576496 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/28810/statm: 678783 22506 2243 9 0 669476 0
[pid=28810/tid=28812] ppid=28808 vsize=2715132 CPUtime=6.25 cores=1,3,5,7
/proc/28810/task/28812/stat : 28812 (java) R 28808 28810 28074 0 -1 4202560 2793 0 1 0 623 2 0 0 20 0 19 0 341297642 2780295168 22506 33554432000 1073741824 1073778376 140735514585360 140661560762872 140661404276293 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=28810/tid=28813] ppid=28808 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/28810/task/28813/stat : 28813 (java) S 28808 28810 28074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341297643 2780295168 22506 33554432000 1073741824 1073778376 140735514585360 140661545212712 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28810/tid=28814] ppid=28808 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/28810/task/28814/stat : 28814 (java) S 28808 28810 28074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341297643 2780295168 22506 33554432000 1073741824 1073778376 140735514585360 140661544159912 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28810/tid=28815] ppid=28808 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/28810/task/28815/stat : 28815 (java) S 28808 28810 28074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341297643 2780295168 22506 33554432000 1073741824 1073778376 140735514585360 140661543107624 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28810/tid=28816] ppid=28808 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/28810/task/28816/stat : 28816 (java) S 28808 28810 28074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341297643 2780295168 22506 33554432000 1073741824 1073778376 140735514585360 140661542054824 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28810/tid=28817] ppid=28808 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/28810/task/28817/stat : 28817 (java) S 28808 28810 28074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341297643 2780295168 22506 33554432000 1073741824 1073778376 140735514585360 140661541001512 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28810/tid=28818] ppid=28808 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/28810/task/28818/stat : 28818 (java) S 28808 28810 28074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341297643 2780295168 22506 33554432000 1073741824 1073778376 140735514585360 140661539948712 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28810/tid=28819] ppid=28808 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/28810/task/28819/stat : 28819 (java) S 28808 28810 28074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341297643 2780295168 22506 33554432000 1073741824 1073778376 140735514585360 140661538896424 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28810/tid=28820] ppid=28808 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/28810/task/28820/stat : 28820 (java) S 28808 28810 28074 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 341297643 2780295168 22506 33554432000 1073741824 1073778376 140735514585360 140661537843624 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28810/tid=28821] ppid=28808 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/28810/task/28821/stat : 28821 (java) S 28808 28810 28074 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 341297645 2780295168 22506 33554432000 1073741824 1073778376 140735514585360 140661525433064 227144677289 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28810/tid=28822] ppid=28808 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/28810/task/28822/stat : 28822 (java) S 28808 28810 28074 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 341297645 2780295168 22506 33554432000 1073741824 1073778376 140735514585360 140661524379128 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28810/tid=28823] ppid=28808 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/28810/task/28823/stat : 28823 (java) S 28808 28810 28074 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341297645 2780295168 22506 33554432000 1073741824 1073778376 140735514585360 140661523326728 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28810/tid=28824] ppid=28808 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/28810/task/28824/stat : 28824 (java) S 28808 28810 28074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341297648 2780295168 22506 33554432000 1073741824 1073778376 140735514585360 140661522275216 227144685344 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28810/tid=28825] ppid=28808 vsize=2715132 CPUtime=0.31 cores=1,3,5,7
/proc/28810/task/28825/stat : 28825 (java) S 28808 28810 28074 0 -1 4202560 2327 0 0 0 31 0 0 0 20 0 19 0 341297648 2780295168 22506 33554432000 1073741824 1073778376 140735514585360 140661403674808 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28810/tid=28826] ppid=28808 vsize=2715132 CPUtime=0.25 cores=1,3,5,7
/proc/28810/task/28826/stat : 28826 (java) S 28808 28810 28074 0 -1 4202560 2026 0 0 0 25 0 0 0 20 0 19 0 341297648 2780295168 22506 33554432000 1073741824 1073778376 140735514585360 140661402622008 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28810/tid=28827] ppid=28808 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/28810/task/28827/stat : 28827 (java) S 28808 28810 28074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341297648 2780295168 22506 33554432000 1073741824 1073778376 140735514585360 140661401569912 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28810/tid=28828] ppid=28808 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/28810/task/28828/stat : 28828 (java) S 28808 28810 28074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341297648 2780295168 22506 33554432000 1073741824 1073778376 140735514585360 140661400517320 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28810/tid=28829] ppid=28808 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/28810/task/28829/stat : 28829 (java) S 28808 28810 28074 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 341297671 2780295168 22506 33554432000 1073741824 1073778376 140735514585360 140661399463336 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.87
Current children cumulated vsize (KiB) 2715132
[startup+12.7008 s]
################
# More data... #
################
[pid=28810/tid=28825] ppid=28808 vsize=2715132 CPUtime=0.38 cores=1,3,5,7
/proc/28810/task/28825/stat : 28825 (java) S 28808 28810 28074 0 -1 4202560 2335 0 0 0 38 0 0 0 20 0 19 0 341297648 2780295168 342557 33554432000 1073741824 1073778376 140735514585360 140661403674808 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28810/tid=28826] ppid=28808 vsize=2715132 CPUtime=0.37 cores=1,3,5,7
/proc/28810/task/28826/stat : 28826 (java) S 28808 28810 28074 0 -1 4202560 3550 0 0 0 37 0 0 0 20 0 19 0 341297648 2780295168 342557 33554432000 1073741824 1073778376 140735514585360 140661402622008 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28810/tid=28827] ppid=28808 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/28810/task/28827/stat : 28827 (java) S 28808 28810 28074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341297648 2780295168 342557 33554432000 1073741824 1073778376 140735514585360 140661401569912 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28810/tid=28828] ppid=28808 vsize=2715132 CPUtime=0.63 cores=1,3,5,7
/proc/28810/task/28828/stat : 28828 (java) S 28808 28810 28074 0 -1 4202560 99 0 0 0 36 27 0 0 20 0 19 0 341297648 2780295168 342557 33554432000 1073741824 1073778376 140735514585360 140661400517320 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28810/tid=28829] ppid=28808 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/28810/task/28829/stat : 28829 (java) S 28808 28810 28074 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 341297671 2780295168 342557 33554432000 1073741824 1073778376 140735514585360 140661399463336 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1725.26
Current children cumulated vsize (KiB) 2715132
[startup+1782.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/213 28902
/proc/meminfo: memFree=24997272/32873844 swapFree=7116/7116
[pid=28810] ppid=28808 vsize=2715132 CPUtime=1785.25 cores=1,3,5,7
/proc/28810/stat : 28810 (java) S 28808 28810 28074 0 -1 4202496 11838 0 1 0 178364 161 0 0 20 0 19 0 341297642 2780295168 342557 33554432000 1073741824 1073778376 140735514585360 140735514576496 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/28810/statm: 678783 342557 2269 9 0 669476 0
[pid=28810/tid=28812] ppid=28808 vsize=2715132 CPUtime=1760.42 cores=1,3,5,7
/proc/28810/task/28812/stat : 28812 (java) R 28808 28810 28074 0 -1 4202560 2951 0 1 0 176008 34 0 0 20 0 19 0 341297642 2780295168 342557 33554432000 1073741824 1073778376 140735514585360 140661560761728 140661404328464 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=28810/tid=28813] ppid=28808 vsize=2715132 CPUtime=0.44 cores=1,3,5,7
/proc/28810/task/28813/stat : 28813 (java) S 28808 28810 28074 0 -1 4202560 287 0 0 0 22 22 0 0 20 0 19 0 341297643 2780295168 342557 33554432000 1073741824 1073778376 140735514585360 140661545212712 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28810/tid=28814] ppid=28808 vsize=2715132 CPUtime=0.18 cores=1,3,5,7
/proc/28810/task/28814/stat : 28814 (java) S 28808 28810 28074 0 -1 4202560 149 0 0 0 9 9 0 0 20 0 19 0 341297643 2780295168 342557 33554432000 1073741824 1073778376 140735514585360 140661544159912 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28810/tid=28815] ppid=28808 vsize=2715132 CPUtime=0.21 cores=1,3,5,7
/proc/28810/task/28815/stat : 28815 (java) S 28808 28810 28074 0 -1 4202560 141 0 0 0 11 10 0 0 20 0 19 0 341297643 2780295168 342557 33554432000 1073741824 1073778376 140735514585360 140661543107624 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28810/tid=28816] ppid=28808 vsize=2715132 CPUtime=0.22 cores=1,3,5,7
/proc/28810/task/28816/stat : 28816 (java) S 28808 28810 28074 0 -1 4202560 153 0 0 0 10 12 0 0 20 0 19 0 341297643 2780295168 342557 33554432000 1073741824 1073778376 140735514585360 140661542054824 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28810/tid=28817] ppid=28808 vsize=2715132 CPUtime=0.33 cores=1,3,5,7
/proc/28810/task/28817/stat : 28817 (java) S 28808 28810 28074 0 -1 4202560 234 0 0 0 16 17 0 0 20 0 19 0 341297643 2780295168 342557 33554432000 1073741824 1073778376 140735514585360 140661541001512 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28810/tid=28818] ppid=28808 vsize=2715132 CPUtime=0.22 cores=1,3,5,7
/proc/28810/task/28818/stat : 28818 (java) S 28808 28810 28074 0 -1 4202560 145 0 0 0 11 11 0 0 20 0 19 0 341297643 2780295168 342557 33554432000 1073741824 1073778376 140735514585360 140661539948712 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28810/tid=28819] ppid=28808 vsize=2715132 CPUtime=0.36 cores=1,3,5,7
/proc/28810/task/28819/stat : 28819 (java) S 28808 28810 28074 0 -1 4202560 223 0 0 0 19 17 0 0 20 0 19 0 341297643 2780295168 342557 33554432000 1073741824 1073778376 140735514585360 140661538896424 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28810/tid=28820] ppid=28808 vsize=2715132 CPUtime=0.24 cores=1,3,5,7
/proc/28810/task/28820/stat : 28820 (java) S 28808 28810 28074 0 -1 4202560 171 0 0 0 12 12 0 0 20 0 19 0 341297643 2780295168 342557 33554432000 1073741824 1073778376 140735514585360 140661537843624 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28810/tid=28821] ppid=28808 vsize=2715132 CPUtime=16.6 cores=1,3,5,7
/proc/28810/task/28821/stat : 28821 (java) S 28808 28810 28074 0 -1 4202560 210 0 0 0 1654 6 0 0 20 0 19 0 341297645 2780295168 342557 33554432000 1073741824 1073778376 140735514585360 140661525433064 227144677289 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28810/tid=28822] ppid=28808 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/28810/task/28822/stat : 28822 (java) S 28808 28810 28074 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 341297645 2780295168 342557 33554432000 1073741824 1073778376 140735514585360 140661524379128 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28810/tid=28823] ppid=28808 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/28810/task/28823/stat : 28823 (java) S 28808 28810 28074 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 341297645 2780295168 342557 33554432000 1073741824 1073778376 140735514585360 140661523326728 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28810/tid=28824] ppid=28808 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/28810/task/28824/stat : 28824 (java) S 28808 28810 28074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341297648 2780295168 342557 33554432000 1073741824 1073778376 140735514585360 140661522275216 227144685344 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28810/tid=28825] ppid=28808 vsize=2715132 CPUtime=0.38 cores=1,3,5,7
/proc/28810/task/28825/stat : 28825 (java) S 28808 28810 28074 0 -1 4202560 2335 0 0 0 38 0 0 0 20 0 19 0 341297648 2780295168 342557 33554432000 1073741824 1073778376 140735514585360 140661403674808 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28810/tid=28826] ppid=28808 vsize=2715132 CPUtime=0.37 cores=1,3,5,7
/proc/28810/task/28826/stat : 28826 (java) S 28808 28810 28074 0 -1 4202560 3550 0 0 0 37 0 0 0 20 0 19 0 341297648 2780295168 342557 33554432000 1073741824 1073778376 140735514585360 140661402622008 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28810/tid=28827] ppid=28808 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/28810/task/28827/stat : 28827 (java) S 28808 28810 28074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341297648 2780295168 342557 33554432000 1073741824 1073778376 140735514585360 140661401569912 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28810/tid=28828] ppid=28808 vsize=2715132 CPUtime=0.66 cores=1,3,5,7
/proc/28810/task/28828/stat : 28828 (java) S 28808 28810 28074 0 -1 4202560 103 0 0 0 38 28 0 0 20 0 19 0 341297648 2780295168 342557 33554432000 1073741824 1073778376 140735514585360 140661400517320 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28810/tid=28829] ppid=28808 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/28810/task/28829/stat : 28829 (java) S 28808 28810 28074 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 341297671 2780295168 342557 33554432000 1073741824 1073778376 140735514585360 140661399463336 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1785.25
Current children cumulated vsize (KiB) 2715132
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1797.1 s]
/proc/loadavg: 2.06 2.02 2.00 3/213 28902
/proc/meminfo: memFree=24997520/32873844 swapFree=7116/7116
[pid=28810] ppid=28808 vsize=2715132 CPUtime=1800.06 cores=1,3,5,7
/proc/28810/stat : 28810 (java) S 28808 28810 28074 0 -1 4202496 11840 0 1 0 179844 162 0 0 20 0 19 0 341297642 2780295168 342557 33554432000 1073741824 1073778376 140735514585360 140735514576496 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/28810/statm: 678783 342557 2269 9 0 669476 0
[pid=28810/tid=28812] ppid=28808 vsize=2715132 CPUtime=1775.18 cores=1,3,5,7
/proc/28810/task/28812/stat : 28812 (java) R 28808 28810 28074 0 -1 4202560 2951 0 1 0 177484 34 0 0 20 0 19 0 341297642 2780295168 342557 33554432000 1073741824 1073778376 140735514585360 140661560761728 140661404467860 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=28810/tid=28813] ppid=28808 vsize=2715132 CPUtime=0.44 cores=1,3,5,7
/proc/28810/task/28813/stat : 28813 (java) S 28808 28810 28074 0 -1 4202560 287 0 0 0 22 22 0 0 20 0 19 0 341297643 2780295168 342557 33554432000 1073741824 1073778376 140735514585360 140661545212712 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28810/tid=28814] ppid=28808 vsize=2715132 CPUtime=0.18 cores=1,3,5,7
/proc/28810/task/28814/stat : 28814 (java) S 28808 28810 28074 0 -1 4202560 149 0 0 0 9 9 0 0 20 0 19 0 341297643 2780295168 342557 33554432000 1073741824 1073778376 140735514585360 140661544159912 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28810/tid=28815] ppid=28808 vsize=2715132 CPUtime=0.21 cores=1,3,5,7
/proc/28810/task/28815/stat : 28815 (java) S 28808 28810 28074 0 -1 4202560 141 0 0 0 11 10 0 0 20 0 19 0 341297643 2780295168 342557 33554432000 1073741824 1073778376 140735514585360 140661543107624 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28810/tid=28816] ppid=28808 vsize=2715132 CPUtime=0.22 cores=1,3,5,7
/proc/28810/task/28816/stat : 28816 (java) S 28808 28810 28074 0 -1 4202560 153 0 0 0 10 12 0 0 20 0 19 0 341297643 2780295168 342557 33554432000 1073741824 1073778376 140735514585360 140661542054824 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28810/tid=28817] ppid=28808 vsize=2715132 CPUtime=0.33 cores=1,3,5,7
/proc/28810/task/28817/stat : 28817 (java) S 28808 28810 28074 0 -1 4202560 234 0 0 0 16 17 0 0 20 0 19 0 341297643 2780295168 342557 33554432000 1073741824 1073778376 140735514585360 140661541001512 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28810/tid=28818] ppid=28808 vsize=2715132 CPUtime=0.22 cores=1,3,5,7
/proc/28810/task/28818/stat : 28818 (java) S 28808 28810 28074 0 -1 4202560 145 0 0 0 11 11 0 0 20 0 19 0 341297643 2780295168 342557 33554432000 1073741824 1073778376 140735514585360 140661539948712 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28810/tid=28819] ppid=28808 vsize=2715132 CPUtime=0.36 cores=1,3,5,7
/proc/28810/task/28819/stat : 28819 (java) S 28808 28810 28074 0 -1 4202560 223 0 0 0 19 17 0 0 20 0 19 0 341297643 2780295168 342557 33554432000 1073741824 1073778376 140735514585360 140661538896424 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28810/tid=28820] ppid=28808 vsize=2715132 CPUtime=0.24 cores=1,3,5,7
/proc/28810/task/28820/stat : 28820 (java) S 28808 28810 28074 0 -1 4202560 171 0 0 0 12 12 0 0 20 0 19 0 341297643 2780295168 342557 33554432000 1073741824 1073778376 140735514585360 140661537843624 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28810/tid=28821] ppid=28808 vsize=2715132 CPUtime=16.6 cores=1,3,5,7
/proc/28810/task/28821/stat : 28821 (java) S 28808 28810 28074 0 -1 4202560 210 0 0 0 1654 6 0 0 20 0 19 0 341297645 2780295168 342557 33554432000 1073741824 1073778376 140735514585360 140661525433064 227144677289 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28810/tid=28822] ppid=28808 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/28810/task/28822/stat : 28822 (java) S 28808 28810 28074 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 341297645 2780295168 342557 33554432000 1073741824 1073778376 140735514585360 140661524379128 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28810/tid=28823] ppid=28808 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/28810/task/28823/stat : 28823 (java) S 28808 28810 28074 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 341297645 2780295168 342557 33554432000 1073741824 1073778376 140735514585360 140661523326728 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28810/tid=28824] ppid=28808 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/28810/task/28824/stat : 28824 (java) S 28808 28810 28074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341297648 2780295168 342557 33554432000 1073741824 1073778376 140735514585360 140661522275216 227144685344 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28810/tid=28825] ppid=28808 vsize=2715132 CPUtime=0.38 cores=1,3,5,7
/proc/28810/task/28825/stat : 28825 (java) S 28808 28810 28074 0 -1 4202560 2335 0 0 0 38 0 0 0 20 0 19 0 341297648 2780295168 342557 33554432000 1073741824 1073778376 140735514585360 140661403674808 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28810/tid=28826] ppid=28808 vsize=2715132 CPUtime=0.37 cores=1,3,5,7
/proc/28810/task/28826/stat : 28826 (java) S 28808 28810 28074 0 -1 4202560 3550 0 0 0 37 0 0 0 20 0 19 0 341297648 2780295168 342557 33554432000 1073741824 1073778376 140735514585360 140661402622008 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28810/tid=28827] ppid=28808 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/28810/task/28827/stat : 28827 (java) S 28808 28810 28074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341297648 2780295168 342557 33554432000 1073741824 1073778376 140735514585360 140661401569912 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28810/tid=28828] ppid=28808 vsize=2715132 CPUtime=0.66 cores=1,3,5,7
/proc/28810/task/28828/stat : 28828 (java) S 28808 28810 28074 0 -1 4202560 105 0 0 0 38 28 0 0 20 0 19 0 341297648 2780295168 342557 33554432000 1073741824 1073778376 140735514585360 140661400517320 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28810/tid=28829] ppid=28808 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/28810/task/28829/stat : 28829 (java) S 28808 28810 28074 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 341297671 2780295168 342557 33554432000 1073741824 1073778376 140735514585360 140661399463336 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 2715132
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1797.1 s]
/proc/loadavg: 2.06 2.02 2.00 3/213 28902
/proc/meminfo: memFree=24997520/32873844 swapFree=7116/7116
[pid=28810] ppid=28808 vsize=2715132 CPUtime=1800.06 cores=1,3,5,7
/proc/28810/stat : 28810 (java) S 28808 28810 28074 0 -1 4202496 11840 0 1 0 179844 162 0 0 20 0 19 0 341297642 2780295168 342557 33554432000 1073741824 1073778376 140735514585360 140735514576496 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/28810/statm: 678783 342557 2269 9 0 669476 0
[pid=28810/tid=28812] ppid=28808 vsize=2715132 CPUtime=1775.18 cores=1,3,5,7
/proc/28810/task/28812/stat : 28812 (java) R 28808 28810 28074 0 -1 4202560 2951 0 1 0 177484 34 0 0 20 0 19 0 341297642 2780295168 342557 33554432000 1073741824 1073778376 140735514585360 140661560761728 140661404467860 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=28810/tid=28813] ppid=28808 vsize=2715132 CPUtime=0.44 cores=1,3,5,7
/proc/28810/task/28813/stat : 28813 (java) S 28808 28810 28074 0 -1 4202560 287 0 0 0 22 22 0 0 20 0 19 0 341297643 2780295168 342557 33554432000 1073741824 1073778376 140735514585360 140661545212712 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28810/tid=28814] ppid=28808 vsize=2715132 CPUtime=0.18 cores=1,3,5,7
/proc/28810/task/28814/stat : 28814 (java) S 28808 28810 28074 0 -1 4202560 149 0 0 0 9 9 0 0 20 0 19 0 341297643 2780295168 342557 33554432000 1073741824 1073778376 140735514585360 140661544159912 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28810/tid=28815] ppid=28808 vsize=2715132 CPUtime=0.21 cores=1,3,5,7
/proc/28810/task/28815/stat : 28815 (java) S 28808 28810 28074 0 -1 4202560 141 0 0 0 11 10 0 0 20 0 19 0 341297643 2780295168 342557 33554432000 1073741824 1073778376 140735514585360 140661543107624 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28810/tid=28816] ppid=28808 vsize=2715132 CPUtime=0.22 cores=1,3,5,7
/proc/28810/task/28816/stat : 28816 (java) S 28808 28810 28074 0 -1 4202560 153 0 0 0 10 12 0 0 20 0 19 0 341297643 2780295168 342557 33554432000 1073741824 1073778376 140735514585360 140661542054824 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28810/tid=28817] ppid=28808 vsize=2715132 CPUtime=0.33 cores=1,3,5,7
/proc/28810/task/28817/stat : 28817 (java) S 28808 28810 28074 0 -1 4202560 234 0 0 0 16 17 0 0 20 0 19 0 341297643 2780295168 342557 33554432000 1073741824 1073778376 140735514585360 140661541001512 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28810/tid=28818] ppid=28808 vsize=2715132 CPUtime=0.22 cores=1,3,5,7
/proc/28810/task/28818/stat : 28818 (java) S 28808 28810 28074 0 -1 4202560 145 0 0 0 11 11 0 0 20 0 19 0 341297643 2780295168 342557 33554432000 1073741824 1073778376 140735514585360 140661539948712 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28810/tid=28819] ppid=28808 vsize=2715132 CPUtime=0.36 cores=1,3,5,7
/proc/28810/task/28819/stat : 28819 (java) S 28808 28810 28074 0 -1 4202560 223 0 0 0 19 17 0 0 20 0 19 0 341297643 2780295168 342557 33554432000 1073741824 1073778376 140735514585360 140661538896424 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28810/tid=28820] ppid=28808 vsize=2715132 CPUtime=0.24 cores=1,3,5,7
/proc/28810/task/28820/stat : 28820 (java) S 28808 28810 28074 0 -1 4202560 171 0 0 0 12 12 0 0 20 0 19 0 341297643 2780295168 342557 33554432000 1073741824 1073778376 140735514585360 140661537843624 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28810/tid=28821] ppid=28808 vsize=2715132 CPUtime=16.6 cores=1,3,5,7
/proc/28810/task/28821/stat : 28821 (java) S 28808 28810 28074 0 -1 4202560 210 0 0 0 1654 6 0 0 20 0 19 0 341297645 2780295168 342557 33554432000 1073741824 1073778376 140735514585360 140661525433064 227144677289 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28810/tid=28822] ppid=28808 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/28810/task/28822/stat : 28822 (java) S 28808 28810 28074 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 341297645 2780295168 342557 33554432000 1073741824 1073778376 140735514585360 140661524379128 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28810/tid=28823] ppid=28808 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/28810/task/28823/stat : 28823 (java) S 28808 28810 28074 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 341297645 2780295168 342557 33554432000 1073741824 1073778376 140735514585360 140661523326728 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28810/tid=28824] ppid=28808 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/28810/task/28824/stat : 28824 (java) S 28808 28810 28074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341297648 2780295168 342557 33554432000 1073741824 1073778376 140735514585360 140661522275216 227144685344 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28810/tid=28825] ppid=28808 vsize=2715132 CPUtime=0.38 cores=1,3,5,7
/proc/28810/task/28825/stat : 28825 (java) S 28808 28810 28074 0 -1 4202560 2335 0 0 0 38 0 0 0 20 0 19 0 341297648 2780295168 342557 33554432000 1073741824 1073778376 140735514585360 140661403674808 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28810/tid=28826] ppid=28808 vsize=2715132 CPUtime=0.37 cores=1,3,5,7
/proc/28810/task/28826/stat : 28826 (java) S 28808 28810 28074 0 -1 4202560 3550 0 0 0 37 0 0 0 20 0 19 0 341297648 2780295168 342557 33554432000 1073741824 1073778376 140735514585360 140661402622008 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28810/tid=28827] ppid=28808 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/28810/task/28827/stat : 28827 (java) S 28808 28810 28074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341297648 2780295168 342557 33554432000 1073741824 1073778376 140735514585360 140661401569912 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28810/tid=28828] ppid=28808 vsize=2715132 CPUtime=0.66 cores=1,3,5,7
/proc/28810/task/28828/stat : 28828 (java) S 28808 28810 28074 0 -1 4202560 105 0 0 0 38 28 0 0 20 0 19 0 341297648 2780295168 342557 33554432000 1073741824 1073778376 140735514585360 140661400517320 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28810/tid=28829] ppid=28808 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/28810/task/28829/stat : 28829 (java) S 28808 28810 28074 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 341297671 2780295168 342557 33554432000 1073741824 1073778376 140735514585360 140661399463336 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 2715132
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 28810 and gives
# childrusage.ru_utime.tv_sec=1793
# childrusage.ru_utime.tv_usec=918282
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=920708
# CPU time returned by wait4() is 1795.84
# while last known CPU time is 1800.06
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1797.21
CPU time (s): 1800.06
CPU user time (s): 1798.44
CPU system time (s): 1.62
CPU usage (%): 100.159
Max. virtual memory (cumulated for all children) (KiB): 2715132
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.92
system time used= 1.92071
maximum resident set size= 1370456
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11901
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1328
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38011
involuntary context switches= 11951
runsolver used 6.11107 second user time and 15.7616 second system time
The end