runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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-4105740-1466264742/watcher-4105740-1466264742 -o /tmp/evaluation-result-4105740-1466264742/solver-4105740-1466264742 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node138-1466241309-16342 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4105740-1466264742.opb
pid=19857
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.04 2.03 2.00 3/194 19860
/proc/meminfo: memFree=30405348/32872528 swapFree=534252/566956
[pid=19860] ppid=19857 vsize=92900 CPUtime=0 cores=1,3,5,7
/proc/19860/stat : 19860 (java) S 19857 19860 16325 0 -1 4202496 1295 0 0 0 0 0 0 0 20 0 2 0 28519884 95129600 927 33554432000 1073741824 1073778376 140737380492080 140737380483216 206632419389 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19860/statm: 23225 927 703 9 0 16769 0
[pid=19860/tid=19861] ppid=19857 vsize=94112 CPUtime=0 cores=1,3,5,7
/proc/19860/task/19861/stat : 19861 (java) R 19857 19860 16325 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 2 0 28519885 96370688 927 33554432000 1073741824 1073778376 140737380492080 140278052720168 206619897735 0 0 4096 0 0 0 0 -1 1 0 0 0 0 0
[startup+0.10017 s]
/proc/loadavg: 2.04 2.03 2.00 3/194 19860
/proc/meminfo: memFree=30405348/32872528 swapFree=534252/566956
[pid=19860] ppid=19857 vsize=9558476 CPUtime=0.11 cores=1,3,5,7
/proc/19860/stat : 19860 (java) S 19857 19860 16325 0 -1 4202496 4502 0 1 0 10 1 0 0 20 0 18 0 28519884 9787879424 6131 33554432000 1073741824 1073778376 140737380492080 140737380483216 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19860/statm: 2389619 6131 2157 9 0 2380296 0
[pid=19860/tid=19861] ppid=19857 vsize=9558476 CPUtime=0.07 cores=1,3,5,7
/proc/19860/task/19861/stat : 19861 (java) R 19857 19860 16325 0 -1 4202560 2381 0 1 0 6 1 0 0 20 0 18 0 28519885 9787879424 6131 33554432000 1073741824 1073778376 140737380492080 140278052723616 206632445197 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9558476
[startup+0.200386 s]
/proc/loadavg: 2.04 2.03 2.00 3/194 19860
/proc/meminfo: memFree=30405348/32872528 swapFree=534252/566956
[pid=19860] ppid=19857 vsize=9558476 CPUtime=0.29 cores=1,3,5,7
/proc/19860/stat : 19860 (java) S 19857 19860 16325 0 -1 4202496 4983 0 1 0 27 2 0 0 20 0 18 0 28519884 9787879424 7032 33554432000 1073741824 1073778376 140737380492080 140737380483216 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19860/statm: 2389619 7032 2215 9 0 2380296 0
[pid=19860/tid=19861] ppid=19857 vsize=9558476 CPUtime=0.17 cores=1,3,5,7
/proc/19860/task/19861/stat : 19861 (java) R 19857 19860 16325 0 -1 4202560 2394 0 1 0 16 1 0 0 20 0 18 0 28519885 9787879424 7032 33554432000 1073741824 1073778376 140737380492080 140278052723616 140278059876198 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 9558476
[startup+0.300386 s]
/proc/loadavg: 2.04 2.03 2.00 3/194 19860
/proc/meminfo: memFree=30405348/32872528 swapFree=534252/566956
[pid=19860] ppid=19857 vsize=9558476 CPUtime=0.52 cores=1,3,5,7
/proc/19860/stat : 19860 (java) S 19857 19860 16325 0 -1 4202496 5973 0 1 0 50 2 0 0 20 0 18 0 28519884 9787879424 8974 33554432000 1073741824 1073778376 140737380492080 140737380483216 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19860/statm: 2389619 8974 2233 9 0 2380296 0
[pid=19860/tid=19861] ppid=19857 vsize=9558476 CPUtime=0.27 cores=1,3,5,7
/proc/19860/task/19861/stat : 19861 (java) R 19857 19860 16325 0 -1 4202560 2398 0 1 0 26 1 0 0 20 0 18 0 28519885 9787879424 8974 33554432000 1073741824 1073778376 140737380492080 140278052723616 140277876636765 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 9558476
[startup+0.700236 s]
/proc/loadavg: 2.04 2.03 2.00 3/194 19860
/proc/meminfo: memFree=30405348/32872528 swapFree=534252/566956
[pid=19860] ppid=19857 vsize=9558476 CPUtime=1.16 cores=1,3,5,7
/proc/19860/stat : 19860 (java) S 19857 19860 16325 0 -1 4202496 7227 0 1 0 111 5 0 0 20 0 18 0 28519884 9787879424 41646 33554432000 1073741824 1073778376 140737380492080 140737380483216 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19860/statm: 2389619 41647 2269 9 0 2380296 0
[pid=19860/tid=19861] ppid=19857 vsize=9558476 CPUtime=0.65 cores=1,3,5,7
/proc/19860/task/19861/stat : 19861 (java) R 19857 19860 16325 0 -1 4202560 2466 0 1 0 61 4 0 0 20 0 18 0 28519885 9787879424 41647 33554432000 1073741824 1073778376 140737380492080 140278052723464 140278057023370 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.16
Current children cumulated vsize (KiB) 9558476
[startup+1.50071 s]
/proc/loadavg: 2.04 2.03 2.00 3/213 19879
/proc/meminfo: memFree=30212968/32872528 swapFree=534252/566956
[pid=19860] ppid=19857 vsize=9625040 CPUtime=2.4 cores=1,3,5,7
/proc/19860/stat : 19860 (java) S 19857 19860 16325 0 -1 4202496 9119 0 1 0 235 5 0 0 20 0 19 0 28519884 9856040960 42592 33554432000 1073741824 1073778376 140737380492080 140737380483216 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19860/statm: 2406260 42592 2278 9 0 2396937 0
[pid=19860/tid=19861] ppid=19857 vsize=9625040 CPUtime=1.45 cores=1,3,5,7
/proc/19860/task/19861/stat : 19861 (java) R 19857 19860 16325 0 -1 4202560 2473 0 1 0 141 4 0 0 20 0 19 0 28519885 9856040960 42592 33554432000 1073741824 1073778376 140737380492080 140278052724808 140277877252807 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=19860/tid=19863] ppid=19857 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19860/task/19863/stat : 19863 (java) S 19857 19860 16325 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 28519885 9856040960 42592 33554432000 1073741824 1073778376 140737380492080 140278014216744 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19860/tid=19864] ppid=19857 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19860/task/19864/stat : 19864 (java) S 19857 19860 16325 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 28519885 9856040960 42592 33554432000 1073741824 1073778376 140737380492080 140278013163944 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19860/tid=19865] ppid=19857 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19860/task/19865/stat : 19865 (java) S 19857 19860 16325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28519885 9856040960 42592 33554432000 1073741824 1073778376 140737380492080 140278012111144 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19860/tid=19866] ppid=19857 vsize=9625040 CPUtime=0.01 cores=1,3,5,7
/proc/19860/task/19866/stat : 19866 (java) S 19857 19860 16325 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 19 0 28519885 9856040960 42592 33554432000 1073741824 1073778376 140737380492080 140278011058344 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19860/tid=19867] ppid=19857 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19860/task/19867/stat : 19867 (java) S 19857 19860 16325 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 28519885 9856040960 42592 33554432000 1073741824 1073778376 140737380492080 140278010006568 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19860/tid=19868] ppid=19857 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19860/task/19868/stat : 19868 (java) S 19857 19860 16325 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 28519885 9856040960 42592 33554432000 1073741824 1073778376 140737380492080 140278008953768 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19860/tid=19869] ppid=19857 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19860/task/19869/stat : 19869 (java) S 19857 19860 16325 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 28519885 9856040960 42592 33554432000 1073741824 1073778376 140737380492080 140278007900968 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19860/tid=19870] ppid=19857 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19860/task/19870/stat : 19870 (java) S 19857 19860 16325 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 28519885 9856040960 42592 33554432000 1073741824 1073778376 140737380492080 140278006848168 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19860/tid=19871] ppid=19857 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19860/task/19871/stat : 19871 (java) S 19857 19860 16325 0 -1 4202560 73 0 0 0 0 0 0 0 20 0 19 0 28519886 9856040960 42592 33554432000 1073741824 1073778376 140737380492080 140277876517352 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19860/tid=19872] ppid=19857 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19860/task/19872/stat : 19872 (java) S 19857 19860 16325 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 28519887 9856040960 42592 33554432000 1073741824 1073778376 140737380492080 140277875463416 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19860/tid=19873] ppid=19857 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19860/task/19873/stat : 19873 (java) S 19857 19860 16325 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 28519887 9856040960 42592 33554432000 1073741824 1073778376 140737380492080 140277874410504 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19860/tid=19874] ppid=19857 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19860/task/19874/stat : 19874 (java) S 19857 19860 16325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28519889 9856040960 42592 33554432000 1073741824 1073778376 140737380492080 140277873358992 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19860/tid=19875] ppid=19857 vsize=9625040 CPUtime=0.42 cores=1,3,5,7
/proc/19860/task/19875/stat : 19875 (java) S 19857 19860 16325 0 -1 4202560 2320 0 0 0 42 0 0 0 20 0 19 0 28519889 9856040960 42592 33554432000 1073741824 1073778376 140737380492080 140277872307128 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19860/tid=19876] ppid=19857 vsize=9625040 CPUtime=0.4 cores=1,3,5,7
/proc/19860/task/19876/stat : 19876 (java) S 19857 19860 16325 0 -1 4202560 2949 0 0 0 40 0 0 0 20 0 19 0 28519889 9856040960 42592 33554432000 1073741824 1073778376 140737380492080 140277871254328 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19860/tid=19877] ppid=19857 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19860/task/19877/stat : 19877 (java) S 19857 19860 16325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28519889 9856040960 42592 33554432000 1073741824 1073778376 140737380492080 140277870201720 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19860/tid=19878] ppid=19857 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19860/task/19878/stat : 19878 (java) S 19857 19860 16325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28519889 9856040960 42592 33554432000 1073741824 1073778376 140737380492080 140277869149128 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19860/tid=19879] ppid=19857 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19860/task/19879/stat : 19879 (java) S 19857 19860 16325 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 28519964 9856040960 42592 33554432000 1073741824 1073778376 140737380492080 140277868094632 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.4
Current children cumulated vsize (KiB) 9625040
[startup+3.10089 s]
/proc/loadavg: 2.04 2.03 2.00 3/213 19879
/proc/meminfo: memFree=30164996/32872528 swapFree=534252/566956
[pid=19860] ppid=19857 vsize=9625040 CPUtime=4.07 cores=1,3,5,7
/proc/19860/stat : 19860 (java) S 19857 19860 16325 0 -1 4202496 9883 0 1 0 401 6 0 0 20 0 19 0 28519884 9856040960 42592 33554432000 1073741824 1073778376 140737380492080 140737380483216 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19860/statm: 2406260 42592 2278 9 0 2396937 0
[pid=19860/tid=19861] ppid=19857 vsize=9625040 CPUtime=3.04 cores=1,3,5,7
/proc/19860/task/19861/stat : 19861 (java) R 19857 19860 16325 0 -1 4202560 2475 0 1 0 300 4 0 0 20 0 19 0 28519885 9856040960 42592 33554432000 1073741824 1073778376 140737380492080 140278052723000 140277877253141 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=19860/tid=19863] ppid=19857 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19860/task/19863/stat : 19863 (java) S 19857 19860 16325 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 28519885 9856040960 42592 33554432000 1073741824 1073778376 140737380492080 140278014216744 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19860/tid=19864] ppid=19857 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19860/task/19864/stat : 19864 (java) S 19857 19860 16325 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 28519885 9856040960 42592 33554432000 1073741824 1073778376 140737380492080 140278013163944 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19860/tid=19865] ppid=19857 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19860/task/19865/stat : 19865 (java) S 19857 19860 16325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28519885 9856040960 42592 33554432000 1073741824 1073778376 140737380492080 140278012111144 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19860/tid=19866] ppid=19857 vsize=9625040 CPUtime=0.01 cores=1,3,5,7
/proc/19860/task/19866/stat : 19866 (java) S 19857 19860 16325 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 19 0 28519885 9856040960 42592 33554432000 1073741824 1073778376 140737380492080 140278011058344 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19860/tid=19867] ppid=19857 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19860/task/19867/stat : 19867 (java) S 19857 19860 16325 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 28519885 9856040960 42592 33554432000 1073741824 1073778376 140737380492080 140278010006568 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19860/tid=19868] ppid=19857 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19860/task/19868/stat : 19868 (java) S 19857 19860 16325 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 28519885 9856040960 42592 33554432000 1073741824 1073778376 140737380492080 140278008953768 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19860/tid=19869] ppid=19857 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19860/task/19869/stat : 19869 (java) S 19857 19860 16325 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 28519885 9856040960 42592 33554432000 1073741824 1073778376 140737380492080 140278007900968 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19860/tid=19870] ppid=19857 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19860/task/19870/stat : 19870 (java) S 19857 19860 16325 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 28519885 9856040960 42592 33554432000 1073741824 1073778376 140737380492080 140278006848168 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19860/tid=19871] ppid=19857 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19860/task/19871/stat : 19871 (java) S 19857 19860 16325 0 -1 4202560 73 0 0 0 0 0 0 0 20 0 19 0 28519886 9856040960 42592 33554432000 1073741824 1073778376 140737380492080 140277876517352 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19860/tid=19872] ppid=19857 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19860/task/19872/stat : 19872 (java) S 19857 19860 16325 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 28519887 9856040960 42592 33554432000 1073741824 1073778376 140737380492080 140277875463416 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19860/tid=19873] ppid=19857 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19860/task/19873/stat : 19873 (java) S 19857 19860 16325 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 28519887 9856040960 42592 33554432000 1073741824 1073778376 140737380492080 140277874410504 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19860/tid=19874] ppid=19857 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19860/task/19874/stat : 19874 (java) S 19857 19860 16325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28519889 9856040960 42592 33554432000 1073741824 1073778376 140737380492080 140277873358992 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19860/tid=19875] ppid=19857 vsize=9625040 CPUtime=0.42 cores=1,3,5,7
/proc/19860/task/19875/stat : 19875 (java) S 19857 19860 16325 0 -1 4202560 2320 0 0 0 42 0 0 0 20 0 19 0 28519889 9856040960 42592 33554432000 1073741824 1073778376 140737380492080 140277872307128 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19860/tid=19876] ppid=19857 vsize=9625040 CPUtime=0.46 cores=1,3,5,7
/proc/19860/task/19876/stat : 19876 (java) S 19857 19860 16325 0 -1 4202560 3711 0 0 0 46 0 0 0 20 0 19 0 28519889 9856040960 42592 33554432000 1073741824 1073778376 140737380492080 140277871254328 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19860/tid=19877] ppid=19857 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19860/task/19877/stat : 19877 (java) S 19857 19860 16325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28519889 9856040960 42592 33554432000 1073741824 1073778376 140737380492080 140277870201720 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19860/tid=19878] ppid=19857 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19860/task/19878/stat : 19878 (java) S 19857 19860 16325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28519889 9856040960 42592 33554432000 1073741824 1073778376 140737380492080 140277869149128 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19860/tid=19879] ppid=19857 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19860/task/19879/stat : 19879 (java) S 19857 19860 16325 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 28519964 9856040960 42592 33554432000 1073741824 1073778376 140737380492080 140277868094632 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 4.07
Current children cumulated vsize (KiB) 9625040
[startup+6.30078 s]
/proc/loadavg: 1.95 2.02 1.99 3/213 19879
/proc/meminfo: memFree=30144680/32872528 swapFree=534252/566956
[pid=19860] ppid=19857 vsize=9625040 CPUtime=7.36 cores=1,3,5,7
/proc/19860/stat : 19860 (java) S 19857 19860 16325 0 -1 4202496 9936 0 1 0 727 9 0 0 20 0 19 0 28519884 9856040960 54146 33554432000 1073741824 1073778376 140737380492080 140737380483216 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19860/statm: 2406260 54146 2278 9 0 2396937 0
[pid=19860/tid=19861] ppid=19857 vsize=9625040 CPUtime=6.2 cores=1,3,5,7
/proc/19860/task/19861/stat : 19861 (java) R 19857 19860 16325 0 -1 4202560 2492 0 1 0 616 4 0 0 20 0 19 0 28519885 9856040960 54146 33554432000 1073741824 1073778376 140737380492080 140278052722880 140277877252742 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=19860/tid=19863] ppid=19857 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19860/task/19863/stat : 19863 (java) S 19857 19860 16325 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 28519885 9856040960 54146 33554432000 1073741824 1073778376 140737380492080 140278014216744 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19860/tid=19864] ppid=19857 vsize=9625040 CPUtime=0.01 cores=1,3,5,7
/proc/19860/task/19864/stat : 19864 (java) S 19857 19860 16325 0 -1 4202560 2 0 0 0 1 0 0 0 20 0 19 0 28519885 9856040960 54146 33554432000 1073741824 1073778376 140737380492080 140278013163944 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19860/tid=19865] ppid=19857 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19860/task/19865/stat : 19865 (java) S 19857 19860 16325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28519885 9856040960 54146 33554432000 1073741824 1073778376 140737380492080 140278012111144 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19860/tid=19866] ppid=19857 vsize=9625040 CPUtime=0.03 cores=1,3,5,7
/proc/19860/task/19866/stat : 19866 (java) S 19857 19860 16325 0 -1 4202560 21 0 0 0 3 0 0 0 20 0 19 0 28519885 9856040960 54146 33554432000 1073741824 1073778376 140737380492080 140278011058344 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19860/tid=19867] ppid=19857 vsize=9625040 CPUtime=0.01 cores=1,3,5,7
/proc/19860/task/19867/stat : 19867 (java) S 19857 19860 16325 0 -1 4202560 17 0 0 0 1 0 0 0 20 0 19 0 28519885 9856040960 54146 33554432000 1073741824 1073778376 140737380492080 140278010006568 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19860/tid=19868] ppid=19857 vsize=9625040 CPUtime=0.02 cores=1,3,5,7
/proc/19860/task/19868/stat : 19868 (java) S 19857 19860 16325 0 -1 4202560 16 0 0 0 2 0 0 0 20 0 19 0 28519885 9856040960 54146 33554432000 1073741824 1073778376 140737380492080 140278008953768 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19860/tid=19869] ppid=19857 vsize=9625040 CPUtime=0.01 cores=1,3,5,7
/proc/19860/task/19869/stat : 19869 (java) S 19857 19860 16325 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 19 0 28519885 9856040960 54146 33554432000 1073741824 1073778376 140737380492080 140278007900968 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19860/tid=19870] ppid=19857 vsize=9625040 CPUtime=0.01 cores=1,3,5,7
/proc/19860/task/19870/stat : 19870 (java) S 19857 19860 16325 0 -1 4202560 5 0 0 0 1 0 0 0 20 0 19 0 28519885 9856040960 54146 33554432000 1073741824 1073778376 140737380492080 140278006848168 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19860/tid=19871] ppid=19857 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19860/task/19871/stat : 19871 (java) S 19857 19860 16325 0 -1 4202560 73 0 0 0 0 0 0 0 20 0 19 0 28519886 9856040960 54146 33554432000 1073741824 1073778376 140737380492080 140277876517352 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19860/tid=19872] ppid=19857 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19860/task/19872/stat : 19872 (java) S 19857 19860 16325 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 28519887 9856040960 54146 33554432000 1073741824 1073778376 140737380492080 140277875463416 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19860/tid=19873] ppid=19857 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19860/task/19873/stat : 19873 (java) S 19857 19860 16325 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 28519887 9856040960 54146 33554432000 1073741824 1073778376 140737380492080 140277874410504 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19860/tid=19874] ppid=19857 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19860/task/19874/stat : 19874 (java) S 19857 19860 16325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28519889 9856040960 54146 33554432000 1073741824 1073778376 140737380492080 140277873358992 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19860/tid=19875] ppid=19857 vsize=9625040 CPUtime=0.42 cores=1,3,5,7
/proc/19860/task/19875/stat : 19875 (java) S 19857 19860 16325 0 -1 4202560 2320 0 0 0 42 0 0 0 20 0 19 0 28519889 9856040960 54146 33554432000 1073741824 1073778376 140737380492080 140277872307128 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19860/tid=19876] ppid=19857 vsize=9625040 CPUtime=0.46 cores=1,3,5,7
################
# More data... #
################
[pid=19860/tid=19872] ppid=19857 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19860/task/19872/stat : 19872 (java) S 19857 19860 16325 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 28519887 9856040960 112313 33554432000 1073741824 1073778376 140737380492080 140277875463416 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19860/tid=19873] ppid=19857 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19860/task/19873/stat : 19873 (java) S 19857 19860 16325 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 28519887 9856040960 112313 33554432000 1073741824 1073778376 140737380492080 140277874410504 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19860/tid=19874] ppid=19857 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19860/task/19874/stat : 19874 (java) S 19857 19860 16325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28519889 9856040960 112313 33554432000 1073741824 1073778376 140737380492080 140277873358992 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19860/tid=19875] ppid=19857 vsize=9625040 CPUtime=0.46 cores=1,3,5,7
/proc/19860/task/19875/stat : 19875 (java) S 19857 19860 16325 0 -1 4202560 2328 0 0 0 46 0 0 0 20 0 19 0 28519889 9856040960 112313 33554432000 1073741824 1073778376 140737380492080 140277872307128 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19860/tid=19876] ppid=19857 vsize=9625040 CPUtime=0.57 cores=1,3,5,7
/proc/19860/task/19876/stat : 19876 (java) S 19857 19860 16325 0 -1 4202560 5494 0 0 0 57 0 0 0 20 0 19 0 28519889 9856040960 112313 33554432000 1073741824 1073778376 140737380492080 140277871254328 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19860/tid=19877] ppid=19857 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19860/task/19877/stat : 19877 (java) S 19857 19860 16325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28519889 9856040960 112313 33554432000 1073741824 1073778376 140737380492080 140277870201720 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19860/tid=19878] ppid=19857 vsize=9625040 CPUtime=0.41 cores=1,3,5,7
/proc/19860/task/19878/stat : 19878 (java) S 19857 19860 16325 0 -1 4202560 93 0 0 0 19 22 0 0 20 0 19 0 28519889 9856040960 112313 33554432000 1073741824 1073778376 140737380492080 140277869149128 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19860/tid=19879] ppid=19857 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19860/task/19879/stat : 19879 (java) S 19857 19860 16325 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 28519964 9856040960 112313 33554432000 1073741824 1073778376 140737380492080 140277868094632 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1621.51
Current children cumulated vsize (KiB) 9625040
[startup+1662.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/213 19944
/proc/meminfo: memFree=28109368/32872528 swapFree=534252/566956
[pid=19860] ppid=19857 vsize=9625040 CPUtime=1682.56 cores=1,3,5,7
/proc/19860/stat : 19860 (java) S 19857 19860 16325 0 -1 4202496 34304 0 1 0 168072 184 0 0 20 0 19 0 28519884 9856040960 142729 33554432000 1073741824 1073778376 140737380492080 140737380483216 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19860/statm: 2406260 142729 2294 9 0 2396937 0
[pid=19860/tid=19861] ppid=19857 vsize=9625040 CPUtime=1650.38 cores=1,3,5,7
/proc/19860/task/19861/stat : 19861 (java) R 19857 19860 16325 0 -1 4202560 12420 0 1 0 164988 50 0 0 20 0 19 0 28519885 9856040960 142729 33554432000 1073741824 1073778376 140737380492080 140278052723760 140277877252788 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=19860/tid=19863] ppid=19857 vsize=9625040 CPUtime=3.79 cores=1,3,5,7
/proc/19860/task/19863/stat : 19863 (java) S 19857 19860 16325 0 -1 4202560 1222 0 0 0 364 15 0 0 20 0 19 0 28519885 9856040960 142729 33554432000 1073741824 1073778376 140737380492080 140278014216744 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19860/tid=19864] ppid=19857 vsize=9625040 CPUtime=3.68 cores=1,3,5,7
/proc/19860/task/19864/stat : 19864 (java) S 19857 19860 16325 0 -1 4202560 812 0 0 0 353 15 0 0 20 0 19 0 28519885 9856040960 142729 33554432000 1073741824 1073778376 140737380492080 140278013163944 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19860/tid=19865] ppid=19857 vsize=9625040 CPUtime=3.7 cores=1,3,5,7
/proc/19860/task/19865/stat : 19865 (java) S 19857 19860 16325 0 -1 4202560 740 0 0 0 355 15 0 0 20 0 19 0 28519885 9856040960 142729 33554432000 1073741824 1073778376 140737380492080 140278012111144 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19860/tid=19866] ppid=19857 vsize=9625040 CPUtime=3.69 cores=1,3,5,7
/proc/19860/task/19866/stat : 19866 (java) S 19857 19860 16325 0 -1 4202560 781 0 0 0 355 14 0 0 20 0 19 0 28519885 9856040960 142729 33554432000 1073741824 1073778376 140737380492080 140278011058344 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19860/tid=19867] ppid=19857 vsize=9625040 CPUtime=3.84 cores=1,3,5,7
/proc/19860/task/19867/stat : 19867 (java) S 19857 19860 16325 0 -1 4202560 1062 0 0 0 367 17 0 0 20 0 19 0 28519885 9856040960 142729 33554432000 1073741824 1073778376 140737380492080 140278010006568 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19860/tid=19868] ppid=19857 vsize=9625040 CPUtime=3.65 cores=1,3,5,7
/proc/19860/task/19868/stat : 19868 (java) S 19857 19860 16325 0 -1 4202560 564 0 0 0 351 14 0 0 20 0 19 0 28519885 9856040960 142729 33554432000 1073741824 1073778376 140737380492080 140278008953768 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19860/tid=19869] ppid=19857 vsize=9625040 CPUtime=3.69 cores=1,3,5,7
/proc/19860/task/19869/stat : 19869 (java) S 19857 19860 16325 0 -1 4202560 427 0 0 0 356 13 0 0 20 0 19 0 28519885 9856040960 142729 33554432000 1073741824 1073778376 140737380492080 140278007900968 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19860/tid=19870] ppid=19857 vsize=9625040 CPUtime=3.7 cores=1,3,5,7
/proc/19860/task/19870/stat : 19870 (java) S 19857 19860 16325 0 -1 4202560 904 0 0 0 357 13 0 0 20 0 19 0 28519885 9856040960 142729 33554432000 1073741824 1073778376 140737380492080 140278006848168 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19860/tid=19871] ppid=19857 vsize=9625040 CPUtime=1.15 cores=1,3,5,7
/proc/19860/task/19871/stat : 19871 (java) S 19857 19860 16325 0 -1 4202560 6196 0 0 0 91 24 0 0 20 0 19 0 28519886 9856040960 142729 33554432000 1073741824 1073778376 140737380492080 140277876517352 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19860/tid=19872] ppid=19857 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19860/task/19872/stat : 19872 (java) S 19857 19860 16325 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 28519887 9856040960 142729 33554432000 1073741824 1073778376 140737380492080 140277875463416 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19860/tid=19873] ppid=19857 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19860/task/19873/stat : 19873 (java) S 19857 19860 16325 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 28519887 9856040960 142729 33554432000 1073741824 1073778376 140737380492080 140277874410504 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19860/tid=19874] ppid=19857 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19860/task/19874/stat : 19874 (java) S 19857 19860 16325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28519889 9856040960 142729 33554432000 1073741824 1073778376 140737380492080 140277873358992 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19860/tid=19875] ppid=19857 vsize=9625040 CPUtime=0.46 cores=1,3,5,7
/proc/19860/task/19875/stat : 19875 (java) S 19857 19860 16325 0 -1 4202560 2328 0 0 0 46 0 0 0 20 0 19 0 28519889 9856040960 142729 33554432000 1073741824 1073778376 140737380492080 140277872307128 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19860/tid=19876] ppid=19857 vsize=9625040 CPUtime=0.57 cores=1,3,5,7
/proc/19860/task/19876/stat : 19876 (java) S 19857 19860 16325 0 -1 4202560 5494 0 0 0 57 0 0 0 20 0 19 0 28519889 9856040960 142729 33554432000 1073741824 1073778376 140737380492080 140277871254328 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19860/tid=19877] ppid=19857 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19860/task/19877/stat : 19877 (java) S 19857 19860 16325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28519889 9856040960 142729 33554432000 1073741824 1073778376 140737380492080 140277870201720 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19860/tid=19878] ppid=19857 vsize=9625040 CPUtime=0.43 cores=1,3,5,7
/proc/19860/task/19878/stat : 19878 (java) S 19857 19860 16325 0 -1 4202560 95 0 0 0 20 23 0 0 20 0 19 0 28519889 9856040960 142729 33554432000 1073741824 1073778376 140737380492080 140277869149128 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19860/tid=19879] ppid=19857 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19860/task/19879/stat : 19879 (java) S 19857 19860 16325 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 28519964 9856040960 142729 33554432000 1073741824 1073778376 140737380492080 140277868094632 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1682.56
Current children cumulated vsize (KiB) 9625040
[startup+1722.3 s]
/proc/loadavg: 2.14 2.07 2.01 3/213 20140
/proc/meminfo: memFree=30258940/32872528 swapFree=534252/566956
[pid=19860] ppid=19857 vsize=9625040 CPUtime=1743.45 cores=1,3,5,7
/proc/19860/stat : 19860 (java) S 19857 19860 16325 0 -1 4202496 35207 0 1 0 174156 189 0 0 20 0 19 0 28519884 9856040960 155120 33554432000 1073741824 1073778376 140737380492080 140737380483216 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19860/statm: 2406260 155120 2294 9 0 2396937 0
[pid=19860/tid=19861] ppid=19857 vsize=9625040 CPUtime=1709.93 cores=1,3,5,7
/proc/19860/task/19861/stat : 19861 (java) R 19857 19860 16325 0 -1 4202560 12720 0 1 0 170943 50 0 0 20 0 19 0 28519885 9856040960 155120 33554432000 1073741824 1073778376 140737380492080 140278052723760 140277877252807 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=19860/tid=19863] ppid=19857 vsize=9625040 CPUtime=3.97 cores=1,3,5,7
/proc/19860/task/19863/stat : 19863 (java) S 19857 19860 16325 0 -1 4202560 1230 0 0 0 382 15 0 0 20 0 19 0 28519885 9856040960 155120 33554432000 1073741824 1073778376 140737380492080 140278014216744 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19860/tid=19864] ppid=19857 vsize=9625040 CPUtime=3.85 cores=1,3,5,7
/proc/19860/task/19864/stat : 19864 (java) S 19857 19860 16325 0 -1 4202560 847 0 0 0 370 15 0 0 20 0 19 0 28519885 9856040960 155120 33554432000 1073741824 1073778376 140737380492080 140278013163944 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19860/tid=19865] ppid=19857 vsize=9625040 CPUtime=3.87 cores=1,3,5,7
/proc/19860/task/19865/stat : 19865 (java) S 19857 19860 16325 0 -1 4202560 754 0 0 0 372 15 0 0 20 0 19 0 28519885 9856040960 155120 33554432000 1073741824 1073778376 140737380492080 140278012111144 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19860/tid=19866] ppid=19857 vsize=9625040 CPUtime=3.85 cores=1,3,5,7
/proc/19860/task/19866/stat : 19866 (java) S 19857 19860 16325 0 -1 4202560 900 0 0 0 371 14 0 0 20 0 19 0 28519885 9856040960 155120 33554432000 1073741824 1073778376 140737380492080 140278011058344 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19860/tid=19867] ppid=19857 vsize=9625040 CPUtime=3.99 cores=1,3,5,7
/proc/19860/task/19867/stat : 19867 (java) S 19857 19860 16325 0 -1 4202560 1110 0 0 0 382 17 0 0 20 0 19 0 28519885 9856040960 155120 33554432000 1073741824 1073778376 140737380492080 140278010006568 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19860/tid=19868] ppid=19857 vsize=9625040 CPUtime=3.83 cores=1,3,5,7
/proc/19860/task/19868/stat : 19868 (java) S 19857 19860 16325 0 -1 4202560 770 0 0 0 368 15 0 0 20 0 19 0 28519885 9856040960 155120 33554432000 1073741824 1073778376 140737380492080 140278008953768 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19860/tid=19869] ppid=19857 vsize=9625040 CPUtime=3.82 cores=1,3,5,7
/proc/19860/task/19869/stat : 19869 (java) S 19857 19860 16325 0 -1 4202560 460 0 0 0 368 14 0 0 20 0 19 0 28519885 9856040960 155120 33554432000 1073741824 1073778376 140737380492080 140278007900968 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19860/tid=19870] ppid=19857 vsize=9625040 CPUtime=3.89 cores=1,3,5,7
/proc/19860/task/19870/stat : 19870 (java) S 19857 19860 16325 0 -1 4202560 1023 0 0 0 376 13 0 0 20 0 19 0 28519885 9856040960 155120 33554432000 1073741824 1073778376 140737380492080 140278006848168 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19860/tid=19871] ppid=19857 vsize=9625040 CPUtime=1.17 cores=1,3,5,7
/proc/19860/task/19871/stat : 19871 (java) S 19857 19860 16325 0 -1 4202560 6211 0 0 0 92 25 0 0 20 0 19 0 28519886 9856040960 155120 33554432000 1073741824 1073778376 140737380492080 140277876517352 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19860/tid=19872] ppid=19857 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19860/task/19872/stat : 19872 (java) S 19857 19860 16325 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 28519887 9856040960 155120 33554432000 1073741824 1073778376 140737380492080 140277875463416 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19860/tid=19873] ppid=19857 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19860/task/19873/stat : 19873 (java) S 19857 19860 16325 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 28519887 9856040960 155120 33554432000 1073741824 1073778376 140737380492080 140277874410504 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19860/tid=19874] ppid=19857 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19860/task/19874/stat : 19874 (java) S 19857 19860 16325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28519889 9856040960 155120 33554432000 1073741824 1073778376 140737380492080 140277873358992 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19860/tid=19875] ppid=19857 vsize=9625040 CPUtime=0.46 cores=1,3,5,7
/proc/19860/task/19875/stat : 19875 (java) S 19857 19860 16325 0 -1 4202560 2328 0 0 0 46 0 0 0 20 0 19 0 28519889 9856040960 155120 33554432000 1073741824 1073778376 140737380492080 140277872307128 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19860/tid=19876] ppid=19857 vsize=9625040 CPUtime=0.57 cores=1,3,5,7
/proc/19860/task/19876/stat : 19876 (java) S 19857 19860 16325 0 -1 4202560 5496 0 0 0 57 0 0 0 20 0 19 0 28519889 9856040960 155120 33554432000 1073741824 1073778376 140737380492080 140277871254328 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19860/tid=19877] ppid=19857 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19860/task/19877/stat : 19877 (java) S 19857 19860 16325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28519889 9856040960 155120 33554432000 1073741824 1073778376 140737380492080 140277870201720 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19860/tid=19878] ppid=19857 vsize=9625040 CPUtime=0.45 cores=1,3,5,7
/proc/19860/task/19878/stat : 19878 (java) S 19857 19860 16325 0 -1 4202560 99 0 0 0 21 24 0 0 20 0 19 0 28519889 9856040960 155120 33554432000 1073741824 1073778376 140737380492080 140277869149128 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19860/tid=19879] ppid=19857 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19860/task/19879/stat : 19879 (java) S 19857 19860 16325 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 28519964 9856040960 155120 33554432000 1073741824 1073778376 140737380492080 140277868094632 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1743.45
Current children cumulated vsize (KiB) 9625040
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1778.2 s]
/proc/loadavg: 2.11 2.07 2.01 3/213 20141
/proc/meminfo: memFree=30203064/32872528 swapFree=534252/566956
[pid=19860] ppid=19857 vsize=9625040 CPUtime=1800.01 cores=1,3,5,7
/proc/19860/stat : 19860 (java) S 19857 19860 16325 0 -1 4202496 36866 0 1 0 179806 195 0 0 20 0 19 0 28519884 9856040960 157748 33554432000 1073741824 1073778376 140737380492080 140737380483216 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19860/statm: 2406260 157748 2294 9 0 2396937 0
[pid=19860/tid=19861] ppid=19857 vsize=9625040 CPUtime=1765.39 cores=1,3,5,7
/proc/19860/task/19861/stat : 19861 (java) R 19857 19860 16325 0 -1 4202560 12773 0 1 0 176488 51 0 0 20 0 19 0 28519885 9856040960 157748 33554432000 1073741824 1073778376 140737380492080 140278052723840 140277877252960 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=19860/tid=19863] ppid=19857 vsize=9625040 CPUtime=4.1 cores=1,3,5,7
/proc/19860/task/19863/stat : 19863 (java) S 19857 19860 16325 0 -1 4202560 1296 0 0 0 395 15 0 0 20 0 19 0 28519885 9856040960 157748 33554432000 1073741824 1073778376 140737380492080 140278014216744 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19860/tid=19864] ppid=19857 vsize=9625040 CPUtime=3.99 cores=1,3,5,7
/proc/19860/task/19864/stat : 19864 (java) S 19857 19860 16325 0 -1 4202560 885 0 0 0 383 16 0 0 20 0 19 0 28519885 9856040960 157748 33554432000 1073741824 1073778376 140737380492080 140278013163944 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19860/tid=19865] ppid=19857 vsize=9625040 CPUtime=4.02 cores=1,3,5,7
/proc/19860/task/19865/stat : 19865 (java) S 19857 19860 16325 0 -1 4202560 775 0 0 0 386 16 0 0 20 0 19 0 28519885 9856040960 157748 33554432000 1073741824 1073778376 140737380492080 140278012111144 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19860/tid=19866] ppid=19857 vsize=9625040 CPUtime=3.96 cores=1,3,5,7
/proc/19860/task/19866/stat : 19866 (java) S 19857 19860 16325 0 -1 4202560 906 0 0 0 381 15 0 0 20 0 19 0 28519885 9856040960 157748 33554432000 1073741824 1073778376 140737380492080 140278011058344 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19860/tid=19867] ppid=19857 vsize=9625040 CPUtime=4.11 cores=1,3,5,7
/proc/19860/task/19867/stat : 19867 (java) S 19857 19860 16325 0 -1 4202560 1155 0 0 0 393 18 0 0 20 0 19 0 28519885 9856040960 157748 33554432000 1073741824 1073778376 140737380492080 140278010006568 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19860/tid=19868] ppid=19857 vsize=9625040 CPUtime=3.96 cores=1,3,5,7
/proc/19860/task/19868/stat : 19868 (java) S 19857 19860 16325 0 -1 4202560 827 0 0 0 381 15 0 0 20 0 19 0 28519885 9856040960 157748 33554432000 1073741824 1073778376 140737380492080 140278008953768 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19860/tid=19869] ppid=19857 vsize=9625040 CPUtime=3.95 cores=1,3,5,7
/proc/19860/task/19869/stat : 19869 (java) S 19857 19860 16325 0 -1 4202560 729 0 0 0 381 14 0 0 20 0 19 0 28519885 9856040960 157748 33554432000 1073741824 1073778376 140737380492080 140278007900968 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19860/tid=19870] ppid=19857 vsize=9625040 CPUtime=4.03 cores=1,3,5,7
/proc/19860/task/19870/stat : 19870 (java) S 19857 19860 16325 0 -1 4202560 1104 0 0 0 389 14 0 0 20 0 19 0 28519885 9856040960 157748 33554432000 1073741824 1073778376 140737380492080 140278006848168 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19860/tid=19871] ppid=19857 vsize=9625040 CPUtime=1.23 cores=1,3,5,7
/proc/19860/task/19871/stat : 19871 (java) S 19857 19860 16325 0 -1 4202560 7230 0 0 0 97 26 0 0 20 0 19 0 28519886 9856040960 157748 33554432000 1073741824 1073778376 140737380492080 140277876517352 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19860/tid=19872] ppid=19857 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19860/task/19872/stat : 19872 (java) S 19857 19860 16325 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 28519887 9856040960 157748 33554432000 1073741824 1073778376 140737380492080 140277875463416 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19860/tid=19873] ppid=19857 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19860/task/19873/stat : 19873 (java) S 19857 19860 16325 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 28519887 9856040960 157748 33554432000 1073741824 1073778376 140737380492080 140277874410504 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19860/tid=19874] ppid=19857 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19860/task/19874/stat : 19874 (java) S 19857 19860 16325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28519889 9856040960 157748 33554432000 1073741824 1073778376 140737380492080 140277873358992 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19860/tid=19875] ppid=19857 vsize=9625040 CPUtime=0.46 cores=1,3,5,7
/proc/19860/task/19875/stat : 19875 (java) S 19857 19860 16325 0 -1 4202560 2328 0 0 0 46 0 0 0 20 0 19 0 28519889 9856040960 157748 33554432000 1073741824 1073778376 140737380492080 140277872307128 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19860/tid=19876] ppid=19857 vsize=9625040 CPUtime=0.57 cores=1,3,5,7
/proc/19860/task/19876/stat : 19876 (java) S 19857 19860 16325 0 -1 4202560 5496 0 0 0 57 0 0 0 20 0 19 0 28519889 9856040960 157748 33554432000 1073741824 1073778376 140737380492080 140277871254328 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19860/tid=19877] ppid=19857 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19860/task/19877/stat : 19877 (java) S 19857 19860 16325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28519889 9856040960 157748 33554432000 1073741824 1073778376 140737380492080 140277870201720 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19860/tid=19878] ppid=19857 vsize=9625040 CPUtime=0.46 cores=1,3,5,7
/proc/19860/task/19878/stat : 19878 (java) S 19857 19860 16325 0 -1 4202560 103 0 0 0 21 25 0 0 20 0 19 0 28519889 9856040960 157748 33554432000 1073741824 1073778376 140737380492080 140277869149128 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19860/tid=19879] ppid=19857 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19860/task/19879/stat : 19879 (java) S 19857 19860 16325 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 28519964 9856040960 157748 33554432000 1073741824 1073778376 140737380492080 140277868094632 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 9625040
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 19860 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 1778.23
CPU time (s): 1800.58
CPU user time (s): 1798.2
CPU system time (s): 2.38264
CPU usage (%): 101.257
Max. virtual memory (cumulated for all children) (KiB): 9625040
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.2
system time used= 2.38264
maximum resident set size= 1109264
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36908
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1768
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 88315
involuntary context switches= 108078
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.4504 second user time and 13.355 second system time
The end