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-4106429-1466270793/watcher-4106429-1466270793 -o /tmp/evaluation-result-4106429-1466270793/solver-4106429-1466270793 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node124-1466241833-6933 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4106429-1466270793.opb
pid=21675
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.18 2.22 2.19 3/194 21678
/proc/meminfo: memFree=29909784/32872528 swapFree=1497824/1644992
[pid=21678] ppid=21675 vsize=23236 CPUtime=0 cores=1,3,5,7
/proc/21678/stat : 21678 (java) R 21675 21678 6916 0 -1 4202496 885 0 0 0 0 0 0 0 20 0 1 0 29126168 23793664 535 33554432000 1073741824 1073778376 140733225651424 140733225640488 259103177267 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/21678/statm: 5809 548 412 9 0 128 0
[startup+0.100111 s]
/proc/loadavg: 2.18 2.22 2.19 3/194 21678
/proc/meminfo: memFree=29909784/32872528 swapFree=1497824/1644992
[pid=21678] ppid=21675 vsize=9558476 CPUtime=0.1 cores=1,3,5,7
/proc/21678/stat : 21678 (java) S 21675 21678 6916 0 -1 4202496 4466 0 1 0 9 1 0 0 20 0 18 0 29126168 9787879424 6099 33554432000 1073741824 1073778376 140733225651424 140733225642560 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21678/statm: 2389619 6100 2155 9 0 2380296 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558476
[startup+0.200292 s]
/proc/loadavg: 2.18 2.22 2.19 3/194 21678
/proc/meminfo: memFree=29909784/32872528 swapFree=1497824/1644992
[pid=21678] ppid=21675 vsize=9625040 CPUtime=0.28 cores=1,3,5,7
/proc/21678/stat : 21678 (java) S 21675 21678 6916 0 -1 4202496 5555 0 1 0 27 1 0 0 20 0 19 0 29126168 9856040960 7795 33554432000 1073741824 1073778376 140733225651424 140733225642560 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21678/statm: 2406260 7797 2224 9 0 2396937 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 9625040
[startup+0.300291 s]
/proc/loadavg: 2.18 2.22 2.19 3/194 21678
/proc/meminfo: memFree=29909784/32872528 swapFree=1497824/1644992
[pid=21678] ppid=21675 vsize=9625040 CPUtime=0.51 cores=1,3,5,7
/proc/21678/stat : 21678 (java) S 21675 21678 6916 0 -1 4202496 6873 0 1 0 50 1 0 0 20 0 19 0 29126168 9856040960 8292 33554432000 1073741824 1073778376 140733225651424 140733225642560 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21678/statm: 2406260 8292 2244 9 0 2396937 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 9625040
[startup+0.700218 s]
/proc/loadavg: 2.18 2.22 2.19 3/194 21678
/proc/meminfo: memFree=29909784/32872528 swapFree=1497824/1644992
[pid=21678] ppid=21675 vsize=9625040 CPUtime=0.98 cores=1,3,5,7
/proc/21678/stat : 21678 (java) S 21675 21678 6916 0 -1 4202496 7073 0 1 0 97 1 0 0 20 0 19 0 29126168 9856040960 8815 33554432000 1073741824 1073778376 140733225651424 140733225642560 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21678/statm: 2406260 8815 2252 9 0 2396937 0
Current children cumulated CPU time (s) 0.98
Current children cumulated vsize (KiB) 9625040
[startup+1.5007 s]
/proc/loadavg: 2.18 2.22 2.19 3/213 21697
/proc/meminfo: memFree=29876596/32872528 swapFree=1497824/1644992
[pid=21678] ppid=21675 vsize=9625040 CPUtime=1.86 cores=1,3,5,7
/proc/21678/stat : 21678 (java) S 21675 21678 6916 0 -1 4202496 8632 0 1 0 184 2 0 0 20 0 19 0 29126168 9856040960 11073 33554432000 1073741824 1073778376 140733225651424 140733225642560 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21678/statm: 2406260 11073 2256 9 0 2396937 0
[pid=21678/tid=21680] ppid=21675 vsize=9625040 CPUtime=1.47 cores=1,3,5,7
/proc/21678/task/21680/stat : 21680 (java) R 21675 21678 6916 0 -1 4202560 2428 0 1 0 147 0 0 0 20 0 19 0 29126169 9856040960 11073 33554432000 1073741824 1073778376 140733225651424 140168185555424 140168019835378 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=21678/tid=21681] ppid=21675 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21678/task/21681/stat : 21681 (java) S 21675 21678 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29126170 9856040960 11073 33554432000 1073741824 1073778376 140733225651424 140168147048744 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21678/tid=21682] ppid=21675 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21678/task/21682/stat : 21682 (java) S 21675 21678 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29126170 9856040960 11073 33554432000 1073741824 1073778376 140733225651424 140168145995944 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21678/tid=21683] ppid=21675 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21678/task/21683/stat : 21683 (java) S 21675 21678 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29126170 9856040960 11073 33554432000 1073741824 1073778376 140733225651424 140168144943656 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21678/tid=21684] ppid=21675 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21678/task/21684/stat : 21684 (java) S 21675 21678 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29126170 9856040960 11073 33554432000 1073741824 1073778376 140733225651424 140168143890856 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21678/tid=21685] ppid=21675 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21678/task/21685/stat : 21685 (java) S 21675 21678 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29126170 9856040960 11073 33554432000 1073741824 1073778376 140733225651424 140168142838568 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21678/tid=21686] ppid=21675 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21678/task/21686/stat : 21686 (java) S 21675 21678 6916 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 29126170 9856040960 11073 33554432000 1073741824 1073778376 140733225651424 140168141785768 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21678/tid=21687] ppid=21675 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21678/task/21687/stat : 21687 (java) S 21675 21678 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29126170 9856040960 11073 33554432000 1073741824 1073778376 140733225651424 140168140733480 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21678/tid=21688] ppid=21675 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21678/task/21688/stat : 21688 (java) S 21675 21678 6916 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 29126170 9856040960 11073 33554432000 1073741824 1073778376 140733225651424 140168139680680 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21678/tid=21689] ppid=21675 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21678/task/21689/stat : 21689 (java) S 21675 21678 6916 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 29126171 9856040960 11073 33554432000 1073741824 1073778376 140733225651424 140168009619688 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21678/tid=21690] ppid=21675 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21678/task/21690/stat : 21690 (java) S 21675 21678 6916 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 29126171 9856040960 11073 33554432000 1073741824 1073778376 140733225651424 140168008565752 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21678/tid=21691] ppid=21675 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21678/task/21691/stat : 21691 (java) S 21675 21678 6916 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29126171 9856040960 11073 33554432000 1073741824 1073778376 140733225651424 140168007513352 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21678/tid=21692] ppid=21675 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21678/task/21692/stat : 21692 (java) S 21675 21678 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29126173 9856040960 11073 33554432000 1073741824 1073778376 140733225651424 140168006461840 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21678/tid=21693] ppid=21675 vsize=9625040 CPUtime=0.14 cores=1,3,5,7
/proc/21678/task/21693/stat : 21693 (java) S 21675 21678 6916 0 -1 4202560 1741 0 0 0 14 0 0 0 20 0 19 0 29126173 9856040960 11073 33554432000 1073741824 1073778376 140733225651424 140168005409464 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21678/tid=21694] ppid=21675 vsize=9625040 CPUtime=0.2 cores=1,3,5,7
/proc/21678/task/21694/stat : 21694 (java) S 21675 21678 6916 0 -1 4202560 3189 0 0 0 20 0 0 0 20 0 19 0 29126173 9856040960 11073 33554432000 1073741824 1073778376 140733225651424 140168004356664 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21678/tid=21695] ppid=21675 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21678/task/21695/stat : 21695 (java) S 21675 21678 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29126173 9856040960 11073 33554432000 1073741824 1073778376 140733225651424 140167130115192 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21678/tid=21696] ppid=21675 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21678/task/21696/stat : 21696 (java) S 21675 21678 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29126173 9856040960 11073 33554432000 1073741824 1073778376 140733225651424 140167129062600 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21678/tid=21697] ppid=21675 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21678/task/21697/stat : 21697 (java) S 21675 21678 6916 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29126186 9856040960 11073 33554432000 1073741824 1073778376 140733225651424 140167128007592 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.86
Current children cumulated vsize (KiB) 9625040
[startup+3.1008 s]
/proc/loadavg: 2.16 2.22 2.18 3/213 21697
/proc/meminfo: memFree=29871588/32872528 swapFree=1497824/1644992
[pid=21678] ppid=21675 vsize=9625040 CPUtime=3.56 cores=1,3,5,7
/proc/21678/stat : 21678 (java) S 21675 21678 6916 0 -1 4202496 9716 0 1 0 354 2 0 0 20 0 19 0 29126168 9856040960 12671 33554432000 1073741824 1073778376 140733225651424 140733225642560 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21678/statm: 2406260 12671 2257 9 0 2396937 0
[pid=21678/tid=21680] ppid=21675 vsize=9625040 CPUtime=3.06 cores=1,3,5,7
/proc/21678/task/21680/stat : 21680 (java) R 21675 21678 6916 0 -1 4202560 2431 0 1 0 306 0 0 0 20 0 19 0 29126169 9856040960 12671 33554432000 1073741824 1073778376 140733225651424 140168185557480 140168019756352 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=21678/tid=21681] ppid=21675 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21678/task/21681/stat : 21681 (java) S 21675 21678 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29126170 9856040960 12671 33554432000 1073741824 1073778376 140733225651424 140168147048744 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21678/tid=21682] ppid=21675 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21678/task/21682/stat : 21682 (java) S 21675 21678 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29126170 9856040960 12671 33554432000 1073741824 1073778376 140733225651424 140168145995944 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21678/tid=21683] ppid=21675 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21678/task/21683/stat : 21683 (java) S 21675 21678 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29126170 9856040960 12671 33554432000 1073741824 1073778376 140733225651424 140168144943656 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21678/tid=21684] ppid=21675 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21678/task/21684/stat : 21684 (java) S 21675 21678 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29126170 9856040960 12671 33554432000 1073741824 1073778376 140733225651424 140168143890856 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21678/tid=21685] ppid=21675 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21678/task/21685/stat : 21685 (java) S 21675 21678 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29126170 9856040960 12671 33554432000 1073741824 1073778376 140733225651424 140168142838568 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21678/tid=21686] ppid=21675 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21678/task/21686/stat : 21686 (java) S 21675 21678 6916 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 29126170 9856040960 12671 33554432000 1073741824 1073778376 140733225651424 140168141785768 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21678/tid=21687] ppid=21675 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21678/task/21687/stat : 21687 (java) S 21675 21678 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29126170 9856040960 12671 33554432000 1073741824 1073778376 140733225651424 140168140733480 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21678/tid=21688] ppid=21675 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21678/task/21688/stat : 21688 (java) S 21675 21678 6916 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 29126170 9856040960 12671 33554432000 1073741824 1073778376 140733225651424 140168139680680 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21678/tid=21689] ppid=21675 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21678/task/21689/stat : 21689 (java) S 21675 21678 6916 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 29126171 9856040960 12671 33554432000 1073741824 1073778376 140733225651424 140168009619688 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21678/tid=21690] ppid=21675 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21678/task/21690/stat : 21690 (java) S 21675 21678 6916 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 29126171 9856040960 12671 33554432000 1073741824 1073778376 140733225651424 140168008565752 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21678/tid=21691] ppid=21675 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21678/task/21691/stat : 21691 (java) S 21675 21678 6916 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29126171 9856040960 12671 33554432000 1073741824 1073778376 140733225651424 140168007513352 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21678/tid=21692] ppid=21675 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21678/task/21692/stat : 21692 (java) S 21675 21678 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29126173 9856040960 12671 33554432000 1073741824 1073778376 140733225651424 140168006461840 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21678/tid=21693] ppid=21675 vsize=9625040 CPUtime=0.23 cores=1,3,5,7
/proc/21678/task/21693/stat : 21693 (java) S 21675 21678 6916 0 -1 4202560 2820 0 0 0 23 0 0 0 20 0 19 0 29126173 9856040960 12671 33554432000 1073741824 1073778376 140733225651424 140168005409464 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21678/tid=21694] ppid=21675 vsize=9625040 CPUtime=0.21 cores=1,3,5,7
/proc/21678/task/21694/stat : 21694 (java) S 21675 21678 6916 0 -1 4202560 3191 0 0 0 21 0 0 0 20 0 19 0 29126173 9856040960 12671 33554432000 1073741824 1073778376 140733225651424 140168004356664 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21678/tid=21695] ppid=21675 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21678/task/21695/stat : 21695 (java) S 21675 21678 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29126173 9856040960 12671 33554432000 1073741824 1073778376 140733225651424 140167130115192 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21678/tid=21696] ppid=21675 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21678/task/21696/stat : 21696 (java) S 21675 21678 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29126173 9856040960 12671 33554432000 1073741824 1073778376 140733225651424 140167129062600 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21678/tid=21697] ppid=21675 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21678/task/21697/stat : 21697 (java) S 21675 21678 6916 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29126186 9856040960 12671 33554432000 1073741824 1073778376 140733225651424 140167128007592 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.56
Current children cumulated vsize (KiB) 9625040
[startup+6.30073 s]
/proc/loadavg: 2.16 2.22 2.18 3/213 21697
/proc/meminfo: memFree=29857124/32872528 swapFree=1497824/1644992
[pid=21678] ppid=21675 vsize=9625040 CPUtime=6.76 cores=1,3,5,7
/proc/21678/stat : 21678 (java) S 21675 21678 6916 0 -1 4202496 9727 0 1 0 674 2 0 0 20 0 19 0 29126168 9856040960 16039 33554432000 1073741824 1073778376 140733225651424 140733225642560 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21678/statm: 2406260 16039 2258 9 0 2396937 0
[pid=21678/tid=21680] ppid=21675 vsize=9625040 CPUtime=6.25 cores=1,3,5,7
/proc/21678/task/21680/stat : 21680 (java) R 21675 21678 6916 0 -1 4202560 2441 0 1 0 624 1 0 0 20 0 19 0 29126169 9856040960 16039 33554432000 1073741824 1073778376 140733225651424 140168185548480 140168019835383 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=21678/tid=21681] ppid=21675 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21678/task/21681/stat : 21681 (java) S 21675 21678 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29126170 9856040960 16039 33554432000 1073741824 1073778376 140733225651424 140168147048744 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21678/tid=21682] ppid=21675 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21678/task/21682/stat : 21682 (java) S 21675 21678 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29126170 9856040960 16039 33554432000 1073741824 1073778376 140733225651424 140168145995944 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21678/tid=21683] ppid=21675 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21678/task/21683/stat : 21683 (java) S 21675 21678 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29126170 9856040960 16039 33554432000 1073741824 1073778376 140733225651424 140168144943656 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21678/tid=21684] ppid=21675 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21678/task/21684/stat : 21684 (java) S 21675 21678 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29126170 9856040960 16039 33554432000 1073741824 1073778376 140733225651424 140168143890856 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21678/tid=21685] ppid=21675 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21678/task/21685/stat : 21685 (java) S 21675 21678 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29126170 9856040960 16039 33554432000 1073741824 1073778376 140733225651424 140168142838568 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21678/tid=21686] ppid=21675 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21678/task/21686/stat : 21686 (java) S 21675 21678 6916 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 29126170 9856040960 16039 33554432000 1073741824 1073778376 140733225651424 140168141785768 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21678/tid=21687] ppid=21675 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21678/task/21687/stat : 21687 (java) S 21675 21678 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29126170 9856040960 16039 33554432000 1073741824 1073778376 140733225651424 140168140733480 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21678/tid=21688] ppid=21675 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21678/task/21688/stat : 21688 (java) S 21675 21678 6916 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 29126170 9856040960 16039 33554432000 1073741824 1073778376 140733225651424 140168139680680 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21678/tid=21689] ppid=21675 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21678/task/21689/stat : 21689 (java) S 21675 21678 6916 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 29126171 9856040960 16039 33554432000 1073741824 1073778376 140733225651424 140168009619688 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21678/tid=21690] ppid=21675 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21678/task/21690/stat : 21690 (java) S 21675 21678 6916 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 29126171 9856040960 16039 33554432000 1073741824 1073778376 140733225651424 140168008565752 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21678/tid=21691] ppid=21675 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21678/task/21691/stat : 21691 (java) S 21675 21678 6916 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29126171 9856040960 16039 33554432000 1073741824 1073778376 140733225651424 140168007513352 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21678/tid=21692] ppid=21675 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21678/task/21692/stat : 21692 (java) S 21675 21678 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29126173 9856040960 16039 33554432000 1073741824 1073778376 140733225651424 140168006461840 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21678/tid=21693] ppid=21675 vsize=9625040 CPUtime=0.23 cores=1,3,5,7
/proc/21678/task/21693/stat : 21693 (java) S 21675 21678 6916 0 -1 4202560 2820 0 0 0 23 0 0 0 20 0 19 0 29126173 9856040960 16039 33554432000 1073741824 1073778376 140733225651424 140168005409464 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21678/tid=21694] ppid=21675 vsize=9625040 CPUtime=0.21 cores=1,3,5,7
/proc/21678/task/21694/stat : 21694 (java) S 21675 21678 6916 0 -1 4202560 3191 0 0 0 21 0 0 0 20 0 19 0 29126173 9856040960 16039 33554432000 1073741824 1073778376 140733225651424 140168004356664 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21678/tid=21695] ppid=21675 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21678/task/21695/stat : 21695 (java) S 21675 21678 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29126173 9856040960 16039 33554432000 1073741824 1073778376 140733225651424 140167130115192 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21678/tid=21696] ppid=21675 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21678/task/21696/stat : 21696 (java) S 21675 21678 6916 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 29126173 9856040960 16039 33554432000 1073741824 1073778376 140733225651424 140167129062600 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21678/tid=21697] ppid=21675 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21678/task/21697/stat : 21697 (java) S 21675 21678 6916 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29126186 9856040960 16039 33554432000 1073741824 1073778376 140733225651424 140167128007592 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.76
Current children cumulated vsize (KiB) 9625040
################
# More data... #
################
[pid=21678/tid=21690] ppid=21675 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21678/task/21690/stat : 21690 (java) S 21675 21678 6916 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 29126171 9856040960 58286 33554432000 1073741824 1073778376 140733225651424 140168008565752 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21678/tid=21691] ppid=21675 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21678/task/21691/stat : 21691 (java) S 21675 21678 6916 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 29126171 9856040960 58286 33554432000 1073741824 1073778376 140733225651424 140168007513352 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21678/tid=21692] ppid=21675 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21678/task/21692/stat : 21692 (java) S 21675 21678 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29126173 9856040960 58286 33554432000 1073741824 1073778376 140733225651424 140168006461840 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21678/tid=21693] ppid=21675 vsize=9625040 CPUtime=0.75 cores=1,3,5,7
/proc/21678/task/21693/stat : 21693 (java) S 21675 21678 6916 0 -1 4202560 10213 0 0 0 73 2 0 0 20 0 19 0 29126173 9856040960 58286 33554432000 1073741824 1073778376 140733225651424 140168005409464 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21678/tid=21694] ppid=21675 vsize=9625040 CPUtime=0.26 cores=1,3,5,7
/proc/21678/task/21694/stat : 21694 (java) S 21675 21678 6916 0 -1 4202560 3419 0 0 0 26 0 0 0 20 0 19 0 29126173 9856040960 58286 33554432000 1073741824 1073778376 140733225651424 140168004356664 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21678/tid=21695] ppid=21675 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21678/task/21695/stat : 21695 (java) S 21675 21678 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29126173 9856040960 58286 33554432000 1073741824 1073778376 140733225651424 140167130115192 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21678/tid=21696] ppid=21675 vsize=9625040 CPUtime=0.04 cores=1,3,5,7
/proc/21678/task/21696/stat : 21696 (java) S 21675 21678 6916 0 -1 4202560 18 0 0 0 0 4 0 0 20 0 19 0 29126173 9856040960 58286 33554432000 1073741824 1073778376 140733225651424 140167129062600 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21678/tid=21697] ppid=21675 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21678/task/21697/stat : 21697 (java) S 21675 21678 6916 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29126186 9856040960 58286 33554432000 1073741824 1073778376 140733225651424 140167128007592 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 279.6
Current children cumulated vsize (KiB) 9625040
[startup+279.201 s]
/proc/loadavg: 2.33 2.23 2.19 3/213 21834
/proc/meminfo: memFree=29770316/32872528 swapFree=1497824/1644992
[pid=21678] ppid=21675 vsize=9625040 CPUtime=280.4 cores=1,3,5,7
/proc/21678/stat : 21678 (java) S 21675 21678 6916 0 -1 4202496 18113 0 1 0 28023 17 0 0 20 0 19 0 29126168 9856040960 58286 33554432000 1073741824 1073778376 140733225651424 140733225642560 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21678/statm: 2406260 58286 2272 9 0 2396937 0
[pid=21678/tid=21680] ppid=21675 vsize=9625040 CPUtime=278.31 cores=1,3,5,7
/proc/21678/task/21680/stat : 21680 (java) R 21675 21678 6916 0 -1 4202560 2500 0 1 0 27824 7 0 0 20 0 19 0 29126169 9856040960 58286 33554432000 1073741824 1073778376 140733225651424 140168185548480 140168019826605 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=21678/tid=21681] ppid=21675 vsize=9625040 CPUtime=0.01 cores=1,3,5,7
/proc/21678/task/21681/stat : 21681 (java) S 21675 21678 6916 0 -1 4202560 21 0 0 0 1 0 0 0 20 0 19 0 29126170 9856040960 58286 33554432000 1073741824 1073778376 140733225651424 140168147048744 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21678/tid=21682] ppid=21675 vsize=9625040 CPUtime=0.01 cores=1,3,5,7
/proc/21678/task/21682/stat : 21682 (java) S 21675 21678 6916 0 -1 4202560 18 0 0 0 1 0 0 0 20 0 19 0 29126170 9856040960 58286 33554432000 1073741824 1073778376 140733225651424 140168145995944 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21678/tid=21683] ppid=21675 vsize=9625040 CPUtime=0.02 cores=1,3,5,7
/proc/21678/task/21683/stat : 21683 (java) S 21675 21678 6916 0 -1 4202560 138 0 0 0 1 1 0 0 20 0 19 0 29126170 9856040960 58286 33554432000 1073741824 1073778376 140733225651424 140168144943656 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21678/tid=21684] ppid=21675 vsize=9625040 CPUtime=0.05 cores=1,3,5,7
/proc/21678/task/21684/stat : 21684 (java) S 21675 21678 6916 0 -1 4202560 179 0 0 0 3 2 0 0 20 0 19 0 29126170 9856040960 58286 33554432000 1073741824 1073778376 140733225651424 140168143890856 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21678/tid=21685] ppid=21675 vsize=9625040 CPUtime=0.04 cores=1,3,5,7
/proc/21678/task/21685/stat : 21685 (java) S 21675 21678 6916 0 -1 4202560 162 0 0 0 2 2 0 0 20 0 19 0 29126170 9856040960 58286 33554432000 1073741824 1073778376 140733225651424 140168142838568 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21678/tid=21686] ppid=21675 vsize=9625040 CPUtime=0.02 cores=1,3,5,7
/proc/21678/task/21686/stat : 21686 (java) S 21675 21678 6916 0 -1 4202560 25 0 0 0 2 0 0 0 20 0 19 0 29126170 9856040960 58286 33554432000 1073741824 1073778376 140733225651424 140168141785768 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21678/tid=21687] ppid=21675 vsize=9625040 CPUtime=0.03 cores=1,3,5,7
/proc/21678/task/21687/stat : 21687 (java) S 21675 21678 6916 0 -1 4202560 19 0 0 0 3 0 0 0 20 0 19 0 29126170 9856040960 58286 33554432000 1073741824 1073778376 140733225651424 140168140733480 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21678/tid=21688] ppid=21675 vsize=9625040 CPUtime=0.01 cores=1,3,5,7
/proc/21678/task/21688/stat : 21688 (java) S 21675 21678 6916 0 -1 4202560 105 0 0 0 1 0 0 0 20 0 19 0 29126170 9856040960 58286 33554432000 1073741824 1073778376 140733225651424 140168139680680 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21678/tid=21689] ppid=21675 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21678/task/21689/stat : 21689 (java) S 21675 21678 6916 0 -1 4202560 37 0 0 0 0 0 0 0 20 0 19 0 29126171 9856040960 58286 33554432000 1073741824 1073778376 140733225651424 140168009619688 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21678/tid=21690] ppid=21675 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21678/task/21690/stat : 21690 (java) S 21675 21678 6916 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 29126171 9856040960 58286 33554432000 1073741824 1073778376 140733225651424 140168008565752 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21678/tid=21691] ppid=21675 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21678/task/21691/stat : 21691 (java) S 21675 21678 6916 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 29126171 9856040960 58286 33554432000 1073741824 1073778376 140733225651424 140168007513352 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21678/tid=21692] ppid=21675 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21678/task/21692/stat : 21692 (java) S 21675 21678 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29126173 9856040960 58286 33554432000 1073741824 1073778376 140733225651424 140168006461840 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21678/tid=21693] ppid=21675 vsize=9625040 CPUtime=0.75 cores=1,3,5,7
/proc/21678/task/21693/stat : 21693 (java) S 21675 21678 6916 0 -1 4202560 10213 0 0 0 73 2 0 0 20 0 19 0 29126173 9856040960 58286 33554432000 1073741824 1073778376 140733225651424 140168005409464 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21678/tid=21694] ppid=21675 vsize=9625040 CPUtime=0.26 cores=1,3,5,7
/proc/21678/task/21694/stat : 21694 (java) S 21675 21678 6916 0 -1 4202560 3419 0 0 0 26 0 0 0 20 0 19 0 29126173 9856040960 58286 33554432000 1073741824 1073778376 140733225651424 140168004356664 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21678/tid=21695] ppid=21675 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21678/task/21695/stat : 21695 (java) S 21675 21678 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29126173 9856040960 58286 33554432000 1073741824 1073778376 140733225651424 140167130115192 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21678/tid=21696] ppid=21675 vsize=9625040 CPUtime=0.04 cores=1,3,5,7
/proc/21678/task/21696/stat : 21696 (java) S 21675 21678 6916 0 -1 4202560 18 0 0 0 0 4 0 0 20 0 19 0 29126173 9856040960 58286 33554432000 1073741824 1073778376 140733225651424 140167129062600 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21678/tid=21697] ppid=21675 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21678/task/21697/stat : 21697 (java) S 21675 21678 6916 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29126186 9856040960 58286 33554432000 1073741824 1073778376 140733225651424 140167128007592 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 280.4
Current children cumulated vsize (KiB) 9625040
[startup+279.601 s]
/proc/loadavg: 2.33 2.23 2.19 3/213 21834
/proc/meminfo: memFree=29768268/32872528 swapFree=1497824/1644992
[pid=21678] ppid=21675 vsize=9625040 CPUtime=280.8 cores=1,3,5,7
/proc/21678/stat : 21678 (java) S 21675 21678 6916 0 -1 4202496 18113 0 1 0 28063 17 0 0 20 0 19 0 29126168 9856040960 58286 33554432000 1073741824 1073778376 140733225651424 140733225642560 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21678/statm: 2406260 58286 2272 9 0 2396937 0
[pid=21678/tid=21680] ppid=21675 vsize=9625040 CPUtime=278.71 cores=1,3,5,7
/proc/21678/task/21680/stat : 21680 (java) R 21675 21678 6916 0 -1 4202560 2500 0 1 0 27864 7 0 0 20 0 19 0 29126169 9856040960 58286 33554432000 1073741824 1073778376 140733225651424 140168185548480 140168019835554 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=21678/tid=21681] ppid=21675 vsize=9625040 CPUtime=0.01 cores=1,3,5,7
/proc/21678/task/21681/stat : 21681 (java) S 21675 21678 6916 0 -1 4202560 21 0 0 0 1 0 0 0 20 0 19 0 29126170 9856040960 58286 33554432000 1073741824 1073778376 140733225651424 140168147048744 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21678/tid=21682] ppid=21675 vsize=9625040 CPUtime=0.01 cores=1,3,5,7
/proc/21678/task/21682/stat : 21682 (java) S 21675 21678 6916 0 -1 4202560 18 0 0 0 1 0 0 0 20 0 19 0 29126170 9856040960 58286 33554432000 1073741824 1073778376 140733225651424 140168145995944 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21678/tid=21683] ppid=21675 vsize=9625040 CPUtime=0.02 cores=1,3,5,7
/proc/21678/task/21683/stat : 21683 (java) S 21675 21678 6916 0 -1 4202560 138 0 0 0 1 1 0 0 20 0 19 0 29126170 9856040960 58286 33554432000 1073741824 1073778376 140733225651424 140168144943656 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21678/tid=21684] ppid=21675 vsize=9625040 CPUtime=0.05 cores=1,3,5,7
/proc/21678/task/21684/stat : 21684 (java) S 21675 21678 6916 0 -1 4202560 179 0 0 0 3 2 0 0 20 0 19 0 29126170 9856040960 58286 33554432000 1073741824 1073778376 140733225651424 140168143890856 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21678/tid=21685] ppid=21675 vsize=9625040 CPUtime=0.04 cores=1,3,5,7
/proc/21678/task/21685/stat : 21685 (java) S 21675 21678 6916 0 -1 4202560 162 0 0 0 2 2 0 0 20 0 19 0 29126170 9856040960 58286 33554432000 1073741824 1073778376 140733225651424 140168142838568 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21678/tid=21686] ppid=21675 vsize=9625040 CPUtime=0.02 cores=1,3,5,7
/proc/21678/task/21686/stat : 21686 (java) S 21675 21678 6916 0 -1 4202560 25 0 0 0 2 0 0 0 20 0 19 0 29126170 9856040960 58286 33554432000 1073741824 1073778376 140733225651424 140168141785768 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21678/tid=21687] ppid=21675 vsize=9625040 CPUtime=0.03 cores=1,3,5,7
/proc/21678/task/21687/stat : 21687 (java) S 21675 21678 6916 0 -1 4202560 19 0 0 0 3 0 0 0 20 0 19 0 29126170 9856040960 58286 33554432000 1073741824 1073778376 140733225651424 140168140733480 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21678/tid=21688] ppid=21675 vsize=9625040 CPUtime=0.01 cores=1,3,5,7
/proc/21678/task/21688/stat : 21688 (java) S 21675 21678 6916 0 -1 4202560 105 0 0 0 1 0 0 0 20 0 19 0 29126170 9856040960 58286 33554432000 1073741824 1073778376 140733225651424 140168139680680 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21678/tid=21689] ppid=21675 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21678/task/21689/stat : 21689 (java) S 21675 21678 6916 0 -1 4202560 37 0 0 0 0 0 0 0 20 0 19 0 29126171 9856040960 58286 33554432000 1073741824 1073778376 140733225651424 140168009619688 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21678/tid=21690] ppid=21675 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21678/task/21690/stat : 21690 (java) S 21675 21678 6916 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 29126171 9856040960 58286 33554432000 1073741824 1073778376 140733225651424 140168008565752 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21678/tid=21691] ppid=21675 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21678/task/21691/stat : 21691 (java) S 21675 21678 6916 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 29126171 9856040960 58286 33554432000 1073741824 1073778376 140733225651424 140168007513352 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21678/tid=21692] ppid=21675 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21678/task/21692/stat : 21692 (java) S 21675 21678 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29126173 9856040960 58286 33554432000 1073741824 1073778376 140733225651424 140168006461840 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21678/tid=21693] ppid=21675 vsize=9625040 CPUtime=0.75 cores=1,3,5,7
/proc/21678/task/21693/stat : 21693 (java) S 21675 21678 6916 0 -1 4202560 10213 0 0 0 73 2 0 0 20 0 19 0 29126173 9856040960 58286 33554432000 1073741824 1073778376 140733225651424 140168005409464 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21678/tid=21694] ppid=21675 vsize=9625040 CPUtime=0.26 cores=1,3,5,7
/proc/21678/task/21694/stat : 21694 (java) S 21675 21678 6916 0 -1 4202560 3419 0 0 0 26 0 0 0 20 0 19 0 29126173 9856040960 58286 33554432000 1073741824 1073778376 140733225651424 140168004356664 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21678/tid=21695] ppid=21675 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21678/task/21695/stat : 21695 (java) S 21675 21678 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29126173 9856040960 58286 33554432000 1073741824 1073778376 140733225651424 140167130115192 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21678/tid=21696] ppid=21675 vsize=9625040 CPUtime=0.04 cores=1,3,5,7
/proc/21678/task/21696/stat : 21696 (java) S 21675 21678 6916 0 -1 4202560 18 0 0 0 0 4 0 0 20 0 19 0 29126173 9856040960 58286 33554432000 1073741824 1073778376 140733225651424 140167129062600 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21678/tid=21697] ppid=21675 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21678/task/21697/stat : 21697 (java) S 21675 21678 6916 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29126186 9856040960 58286 33554432000 1073741824 1073778376 140733225651424 140167128007592 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 280.8
Current children cumulated vsize (KiB) 9625040
[startup+279.701 s]
/proc/loadavg: 2.33 2.23 2.19 3/213 21834
/proc/meminfo: memFree=29768268/32872528 swapFree=1497824/1644992
[pid=21678] ppid=21675 vsize=9625040 CPUtime=280.9 cores=1,3,5,7
/proc/21678/stat : 21678 (java) S 21675 21678 6916 0 -1 4202496 18115 0 1 0 28073 17 0 0 20 0 19 0 29126168 9856040960 58286 33554432000 1073741824 1073778376 140733225651424 140733225642560 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21678/statm: 2406260 58286 2272 9 0 2396937 0
[pid=21678/tid=21680] ppid=21675 vsize=9625040 CPUtime=278.8 cores=1,3,5,7
/proc/21678/task/21680/stat : 21680 (java) R 21675 21678 6916 0 -1 4202560 2500 0 1 0 27873 7 0 0 20 0 19 0 29126169 9856040960 58286 33554432000 1073741824 1073778376 140733225651424 140168185557536 140168019426588 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=21678/tid=21681] ppid=21675 vsize=9625040 CPUtime=0.01 cores=1,3,5,7
/proc/21678/task/21681/stat : 21681 (java) S 21675 21678 6916 0 -1 4202560 21 0 0 0 1 0 0 0 20 0 19 0 29126170 9856040960 58286 33554432000 1073741824 1073778376 140733225651424 140168147048744 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21678/tid=21682] ppid=21675 vsize=9625040 CPUtime=0.01 cores=1,3,5,7
/proc/21678/task/21682/stat : 21682 (java) S 21675 21678 6916 0 -1 4202560 18 0 0 0 1 0 0 0 20 0 19 0 29126170 9856040960 58286 33554432000 1073741824 1073778376 140733225651424 140168145995944 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21678/tid=21683] ppid=21675 vsize=9625040 CPUtime=0.02 cores=1,3,5,7
/proc/21678/task/21683/stat : 21683 (java) S 21675 21678 6916 0 -1 4202560 138 0 0 0 1 1 0 0 20 0 19 0 29126170 9856040960 58286 33554432000 1073741824 1073778376 140733225651424 140168144943656 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21678/tid=21684] ppid=21675 vsize=9625040 CPUtime=0.05 cores=1,3,5,7
/proc/21678/task/21684/stat : 21684 (java) S 21675 21678 6916 0 -1 4202560 179 0 0 0 3 2 0 0 20 0 19 0 29126170 9856040960 58286 33554432000 1073741824 1073778376 140733225651424 140168143890856 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21678/tid=21685] ppid=21675 vsize=9625040 CPUtime=0.04 cores=1,3,5,7
/proc/21678/task/21685/stat : 21685 (java) S 21675 21678 6916 0 -1 4202560 162 0 0 0 2 2 0 0 20 0 19 0 29126170 9856040960 58286 33554432000 1073741824 1073778376 140733225651424 140168142838568 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21678/tid=21686] ppid=21675 vsize=9625040 CPUtime=0.02 cores=1,3,5,7
/proc/21678/task/21686/stat : 21686 (java) S 21675 21678 6916 0 -1 4202560 25 0 0 0 2 0 0 0 20 0 19 0 29126170 9856040960 58286 33554432000 1073741824 1073778376 140733225651424 140168141785768 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21678/tid=21687] ppid=21675 vsize=9625040 CPUtime=0.03 cores=1,3,5,7
/proc/21678/task/21687/stat : 21687 (java) S 21675 21678 6916 0 -1 4202560 19 0 0 0 3 0 0 0 20 0 19 0 29126170 9856040960 58286 33554432000 1073741824 1073778376 140733225651424 140168140733480 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21678/tid=21688] ppid=21675 vsize=9625040 CPUtime=0.01 cores=1,3,5,7
/proc/21678/task/21688/stat : 21688 (java) S 21675 21678 6916 0 -1 4202560 105 0 0 0 1 0 0 0 20 0 19 0 29126170 9856040960 58286 33554432000 1073741824 1073778376 140733225651424 140168139680680 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21678/tid=21689] ppid=21675 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21678/task/21689/stat : 21689 (java) S 21675 21678 6916 0 -1 4202560 37 0 0 0 0 0 0 0 20 0 19 0 29126171 9856040960 58286 33554432000 1073741824 1073778376 140733225651424 140168009619688 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21678/tid=21690] ppid=21675 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21678/task/21690/stat : 21690 (java) S 21675 21678 6916 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 29126171 9856040960 58286 33554432000 1073741824 1073778376 140733225651424 140168008565752 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21678/tid=21691] ppid=21675 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21678/task/21691/stat : 21691 (java) S 21675 21678 6916 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 29126171 9856040960 58286 33554432000 1073741824 1073778376 140733225651424 140168007513352 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21678/tid=21692] ppid=21675 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21678/task/21692/stat : 21692 (java) S 21675 21678 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29126173 9856040960 58286 33554432000 1073741824 1073778376 140733225651424 140168006461840 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21678/tid=21693] ppid=21675 vsize=9625040 CPUtime=0.75 cores=1,3,5,7
/proc/21678/task/21693/stat : 21693 (java) S 21675 21678 6916 0 -1 4202560 10215 0 0 0 73 2 0 0 20 0 19 0 29126173 9856040960 58286 33554432000 1073741824 1073778376 140733225651424 140168005409464 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21678/tid=21694] ppid=21675 vsize=9625040 CPUtime=0.26 cores=1,3,5,7
/proc/21678/task/21694/stat : 21694 (java) S 21675 21678 6916 0 -1 4202560 3419 0 0 0 26 0 0 0 20 0 19 0 29126173 9856040960 58286 33554432000 1073741824 1073778376 140733225651424 140168004356664 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21678/tid=21695] ppid=21675 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21678/task/21695/stat : 21695 (java) S 21675 21678 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29126173 9856040960 58286 33554432000 1073741824 1073778376 140733225651424 140167130115192 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21678/tid=21696] ppid=21675 vsize=9625040 CPUtime=0.04 cores=1,3,5,7
/proc/21678/task/21696/stat : 21696 (java) S 21675 21678 6916 0 -1 4202560 18 0 0 0 0 4 0 0 20 0 19 0 29126173 9856040960 58286 33554432000 1073741824 1073778376 140733225651424 140167129062600 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21678/tid=21697] ppid=21675 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21678/task/21697/stat : 21697 (java) S 21675 21678 6916 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29126186 9856040960 58286 33554432000 1073741824 1073778376 140733225651424 140167128007592 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 280.9
Current children cumulated vsize (KiB) 9625040
Child status: 30
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 21678 and gives
# childrusage.ru_utime.tv_sec=280
# childrusage.ru_utime.tv_usec=29429
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=302953
# CPU time returned by wait4() is 280.332
# while last known CPU time is 280.9
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 279.75
CPU time (s): 280.9
CPU user time (s): 280.73
CPU system time (s): 0.17
CPU usage (%): 100.411
Max. virtual memory (cumulated for all children) (KiB): 9625040
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 280.029
system time used= 0.302953
maximum resident set size= 233204
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18137
page faults= 1
swaps= 0
block input operations= 0
block output operations= 320
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6310
involuntary context switches= 2824
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.807877 second user time and 1.14882 second system time
The end