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-4119266-1467253320/watcher-4119266-1467253320 -o /tmp/evaluation-result-4119266-1467253320/solver-4119266-1467253320 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node132-1467233254-15698 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4119266-1467253320.opb
pid=18506
running on 8 cores: 4-7,12-15
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: 1.93 2.01 1.99 2/281 18509
/proc/meminfo: memFree=27363960/32872528 swapFree=8828/8828
[pid=18509] ppid=18506 vsize=24328 CPUtime=0 cores=4-7,12-15
/proc/18509/stat : 18509 (runsolver) R 18506 18509 15681 0 -1 4202560 116 0 0 0 0 0 0 0 20 0 1 0 6284764 24911872 151 33554432000 4194304 4338465 140737208107984 140737208105624 216808639671 0 0 4096 24578 0 0 0 17 15 0 0 0 0 0
/proc/18509/statm: 6082 151 105 36 0 2655 0
[startup+0.10711 s]
/proc/loadavg: 1.93 2.01 1.99 2/281 18509
/proc/meminfo: memFree=27363960/32872528 swapFree=8828/8828
[pid=18509] ppid=18506 vsize=9896436 CPUtime=0.09 cores=4-7,12-15
/proc/18509/stat : 18509 (java) S 18506 18509 15681 0 -1 4202496 3938 0 1 0 6 3 0 0 20 0 23 0 6284764 10133950464 5069 33554432000 1073741824 1073778376 140733894185392 140733894176528 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 1 0 0
/proc/18509/statm: 2474109 5073 2007 9 0 2464786 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9896436
[startup+0.200248 s]
/proc/loadavg: 1.93 2.01 1.99 2/281 18509
/proc/meminfo: memFree=27363960/32872528 swapFree=8828/8828
[pid=18509] ppid=18506 vsize=9896436 CPUtime=0.24 cores=4-7,12-15
/proc/18509/stat : 18509 (java) S 18506 18509 15681 0 -1 4202496 4747 0 1 0 20 4 0 0 20 0 23 0 6284764 10133950464 6845 33554432000 1073741824 1073778376 140733894185392 140733894176528 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 1 0 0
/proc/18509/statm: 2474109 6845 2197 9 0 2464786 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 9896436
[startup+0.300235 s]
/proc/loadavg: 1.93 2.01 1.99 2/281 18509
/proc/meminfo: memFree=27363960/32872528 swapFree=8828/8828
[pid=18509] ppid=18506 vsize=9963000 CPUtime=0.5 cores=4-7,12-15
/proc/18509/stat : 18509 (java) S 18506 18509 15681 0 -1 4202496 7352 0 1 0 44 6 0 0 20 0 24 0 6284764 10202112000 8952 33554432000 1073741824 1073778376 140733894185392 140733894176528 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 1 0 0
/proc/18509/statm: 2490750 8952 2244 9 0 2481427 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 9963000
[startup+0.726442 s]
/proc/loadavg: 1.93 2.01 1.99 2/281 18509
/proc/meminfo: memFree=27363960/32872528 swapFree=8828/8828
[pid=18509] ppid=18506 vsize=9963000 CPUtime=1.37 cores=4-7,12-15
/proc/18509/stat : 18509 (java) S 18506 18509 15681 0 -1 4202496 12398 0 1 0 128 9 0 0 20 0 24 0 6284764 10202112000 13081 33554432000 1073741824 1073778376 140733894185392 140733894176528 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 1 0 0
/proc/18509/statm: 2490750 13081 2253 9 0 2481427 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 9963000
[startup+7.23096 s]
/proc/loadavg: 1.93 2.01 1.99 3/305 18533
/proc/meminfo: memFree=27269392/32872528 swapFree=8828/8828
[pid=18509] ppid=18506 vsize=9963000 CPUtime=7.98 cores=4-7,12-15
/proc/18509/stat : 18509 (java) S 18506 18509 15681 0 -1 4202496 12558 0 1 0 786 12 0 0 20 0 24 0 6284764 10202112000 25816 33554432000 1073741824 1073778376 140733894185392 140733894176528 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 1 0 0
/proc/18509/statm: 2490750 25816 2259 9 0 2481427 0
[pid=18509/tid=18511] ppid=18506 vsize=9963000 CPUtime=7.17 cores=4-7,12-15
/proc/18509/task/18511/stat : 18511 (java) R 18506 18509 15681 0 -1 4202560 2484 0 1 0 715 2 0 0 20 0 24 0 6284767 10202112000 25816 33554432000 1073741824 1073778376 140733894185392 139857747480240 139857573773260 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=18509/tid=18512] ppid=18506 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/18509/task/18512/stat : 18512 (java) S 18506 18509 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 6284768 10202112000 25816 33554432000 1073741824 1073778376 140733894185392 139857708980648 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=18509/tid=18513] ppid=18506 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/18509/task/18513/stat : 18513 (java) S 18506 18509 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 6284768 10202112000 25816 33554432000 1073741824 1073778376 140733894185392 139857707928104 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18509/tid=18514] ppid=18506 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/18509/task/18514/stat : 18514 (java) S 18506 18509 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 6284768 10202112000 25816 33554432000 1073741824 1073778376 140733894185392 139857706875048 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18509/tid=18515] ppid=18506 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/18509/task/18515/stat : 18515 (java) S 18506 18509 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 6284768 10202112000 25816 33554432000 1073741824 1073778376 140733894185392 139857705822504 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18509/tid=18516] ppid=18506 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/18509/task/18516/stat : 18516 (java) S 18506 18509 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 6284768 10202112000 25816 33554432000 1073741824 1073778376 140733894185392 139857704770472 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18509/tid=18517] ppid=18506 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/18509/task/18517/stat : 18517 (java) S 18506 18509 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 6284768 10202112000 25816 33554432000 1073741824 1073778376 140733894185392 139857703717928 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18509/tid=18518] ppid=18506 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/18509/task/18518/stat : 18518 (java) S 18506 18509 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 6284768 10202112000 25816 33554432000 1073741824 1073778376 140733894185392 139857702664872 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18509/tid=18519] ppid=18506 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/18509/task/18519/stat : 18519 (java) S 18506 18509 15681 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 6284768 10202112000 25816 33554432000 1073741824 1073778376 140733894185392 139857701612328 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=18509/tid=18520] ppid=18506 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/18509/task/18520/stat : 18520 (java) S 18506 18509 15681 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 6284768 10202112000 25816 33554432000 1073741824 1073778376 140733894185392 139857700559272 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=18509/tid=18521] ppid=18506 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/18509/task/18521/stat : 18521 (java) S 18506 18509 15681 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 6284768 10202112000 25816 33554432000 1073741824 1073778376 140733894185392 139857699506728 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=18509/tid=18522] ppid=18506 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/18509/task/18522/stat : 18522 (java) S 18506 18509 15681 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 6284768 10202112000 25816 33554432000 1073741824 1073778376 140733894185392 139857698453672 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0
[pid=18509/tid=18523] ppid=18506 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/18509/task/18523/stat : 18523 (java) S 18506 18509 15681 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 6284768 10202112000 25816 33554432000 1073741824 1073778376 140733894185392 139857697401128 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18509/tid=18524] ppid=18506 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/18509/task/18524/stat : 18524 (java) S 18506 18509 15681 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 6284768 10202112000 25816 33554432000 1073741824 1073778376 140733894185392 139857696349096 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18509/tid=18525] ppid=18506 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/18509/task/18525/stat : 18525 (java) S 18506 18509 15681 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 6284769 10202112000 25816 33554432000 1073741824 1073778376 140733894185392 139857561070568 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0
[pid=18509/tid=18526] ppid=18506 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/18509/task/18526/stat : 18526 (java) S 18506 18509 15681 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 24 0 6284770 10202112000 25816 33554432000 1073741824 1073778376 140733894185392 139857560016376 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=18509/tid=18527] ppid=18506 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/18509/task/18527/stat : 18527 (java) S 18506 18509 15681 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 6284770 10202112000 25816 33554432000 1073741824 1073778376 140733894185392 139857558963720 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=18509/tid=18528] ppid=18506 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/18509/task/18528/stat : 18528 (java) S 18506 18509 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 6284772 10202112000 25816 33554432000 1073741824 1073778376 140733894185392 139856550291856 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=18509/tid=18529] ppid=18506 vsize=9963000 CPUtime=0.32 cores=4-7,12-15
/proc/18509/task/18529/stat : 18529 (java) S 18506 18509 15681 0 -1 4202560 3956 0 0 0 29 3 0 0 20 0 24 0 6284772 10202112000 25816 33554432000 1073741824 1073778376 140733894185392 139856549239224 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=18509/tid=18530] ppid=18506 vsize=9963000 CPUtime=0.35 cores=4-7,12-15
/proc/18509/task/18530/stat : 18530 (java) S 18506 18509 15681 0 -1 4202560 4831 0 0 0 32 3 0 0 20 0 24 0 6284772 10202112000 25816 33554432000 1073741824 1073778376 140733894185392 139856548186168 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18509/tid=18531] ppid=18506 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/18509/task/18531/stat : 18531 (java) S 18506 18509 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 6284772 10202112000 25816 33554432000 1073741824 1073778376 140733894185392 139856547133816 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=18509/tid=18532] ppid=18506 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/18509/task/18532/stat : 18532 (java) S 18506 18509 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 6284772 10202112000 25816 33554432000 1073741824 1073778376 140733894185392 139856546081992 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18509/tid=18533] ppid=18506 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/18509/task/18533/stat : 18533 (java) S 18506 18509 15681 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 6284786 10202112000 25816 33554432000 1073741824 1073778376 140733894185392 139856545027752 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
Current children cumulated CPU time (s) 7.98
Current children cumulated vsize (KiB) 9963000
[startup+8.3672 s]
/proc/loadavg: 1.93 2.01 1.99 3/305 18533
/proc/meminfo: memFree=27269392/32872528 swapFree=8828/8828
[pid=18509] ppid=18506 vsize=9963000 CPUtime=9.11 cores=4-7,12-15
/proc/18509/stat : 18509 (java) S 18506 18509 15681 0 -1 4202496 12562 0 1 0 899 12 0 0 20 0 24 0 6284764 10202112000 27864 33554432000 1073741824 1073778376 140733894185392 140733894176528 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 1 0 0
/proc/18509/statm: 2490750 27864 2259 9 0 2481427 0
[pid=18509/tid=18511] ppid=18506 vsize=9963000 CPUtime=8.29 cores=4-7,12-15
/proc/18509/task/18511/stat : 18511 (java) R 18506 18509 15681 0 -1 4202560 2488 0 1 0 827 2 0 0 20 0 24 0 6284767 10202112000 27864 33554432000 1073741824 1073778376 140733894185392 139857747480240 216812020909 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=18509/tid=18512] ppid=18506 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/18509/task/18512/stat : 18512 (java) S 18506 18509 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 6284768 10202112000 27864 33554432000 1073741824 1073778376 140733894185392 139857708980648 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=18509/tid=18513] ppid=18506 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/18509/task/18513/stat : 18513 (java) S 18506 18509 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 6284768 10202112000 27864 33554432000 1073741824 1073778376 140733894185392 139857707928104 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18509/tid=18514] ppid=18506 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/18509/task/18514/stat : 18514 (java) S 18506 18509 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 6284768 10202112000 27864 33554432000 1073741824 1073778376 140733894185392 139857706875048 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18509/tid=18515] ppid=18506 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/18509/task/18515/stat : 18515 (java) S 18506 18509 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 6284768 10202112000 27864 33554432000 1073741824 1073778376 140733894185392 139857705822504 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18509/tid=18516] ppid=18506 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/18509/task/18516/stat : 18516 (java) S 18506 18509 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 6284768 10202112000 27864 33554432000 1073741824 1073778376 140733894185392 139857704770472 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18509/tid=18517] ppid=18506 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/18509/task/18517/stat : 18517 (java) S 18506 18509 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 6284768 10202112000 27864 33554432000 1073741824 1073778376 140733894185392 139857703717928 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18509/tid=18518] ppid=18506 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/18509/task/18518/stat : 18518 (java) S 18506 18509 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 6284768 10202112000 27864 33554432000 1073741824 1073778376 140733894185392 139857702664872 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18509/tid=18519] ppid=18506 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/18509/task/18519/stat : 18519 (java) S 18506 18509 15681 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 6284768 10202112000 27864 33554432000 1073741824 1073778376 140733894185392 139857701612328 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=18509/tid=18520] ppid=18506 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/18509/task/18520/stat : 18520 (java) S 18506 18509 15681 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 6284768 10202112000 27864 33554432000 1073741824 1073778376 140733894185392 139857700559272 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=18509/tid=18521] ppid=18506 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/18509/task/18521/stat : 18521 (java) S 18506 18509 15681 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 6284768 10202112000 27864 33554432000 1073741824 1073778376 140733894185392 139857699506728 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=18509/tid=18522] ppid=18506 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/18509/task/18522/stat : 18522 (java) S 18506 18509 15681 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 6284768 10202112000 27864 33554432000 1073741824 1073778376 140733894185392 139857698453672 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0
[pid=18509/tid=18523] ppid=18506 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/18509/task/18523/stat : 18523 (java) S 18506 18509 15681 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 6284768 10202112000 27864 33554432000 1073741824 1073778376 140733894185392 139857697401128 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18509/tid=18524] ppid=18506 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/18509/task/18524/stat : 18524 (java) S 18506 18509 15681 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 6284768 10202112000 27864 33554432000 1073741824 1073778376 140733894185392 139857696349096 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18509/tid=18525] ppid=18506 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/18509/task/18525/stat : 18525 (java) S 18506 18509 15681 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 6284769 10202112000 27864 33554432000 1073741824 1073778376 140733894185392 139857561070568 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=18509/tid=18526] ppid=18506 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/18509/task/18526/stat : 18526 (java) S 18506 18509 15681 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 24 0 6284770 10202112000 27864 33554432000 1073741824 1073778376 140733894185392 139857560016376 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=18509/tid=18527] ppid=18506 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/18509/task/18527/stat : 18527 (java) S 18506 18509 15681 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 6284770 10202112000 27864 33554432000 1073741824 1073778376 140733894185392 139857558963720 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=18509/tid=18528] ppid=18506 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/18509/task/18528/stat : 18528 (java) S 18506 18509 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 6284772 10202112000 27864 33554432000 1073741824 1073778376 140733894185392 139856550291856 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=18509/tid=18529] ppid=18506 vsize=9963000 CPUtime=0.32 cores=4-7,12-15
/proc/18509/task/18529/stat : 18529 (java) S 18506 18509 15681 0 -1 4202560 3956 0 0 0 29 3 0 0 20 0 24 0 6284772 10202112000 27864 33554432000 1073741824 1073778376 140733894185392 139856549239224 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=18509/tid=18530] ppid=18506 vsize=9963000 CPUtime=0.35 cores=4-7,12-15
/proc/18509/task/18530/stat : 18530 (java) S 18506 18509 15681 0 -1 4202560 4831 0 0 0 32 3 0 0 20 0 24 0 6284772 10202112000 27864 33554432000 1073741824 1073778376 140733894185392 139856548186168 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18509/tid=18531] ppid=18506 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/18509/task/18531/stat : 18531 (java) S 18506 18509 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 6284772 10202112000 27864 33554432000 1073741824 1073778376 140733894185392 139856547133816 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=18509/tid=18532] ppid=18506 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/18509/task/18532/stat : 18532 (java) S 18506 18509 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 6284772 10202112000 27864 33554432000 1073741824 1073778376 140733894185392 139856546081992 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18509/tid=18533] ppid=18506 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/18509/task/18533/stat : 18533 (java) S 18506 18509 15681 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 6284786 10202112000 27864 33554432000 1073741824 1073778376 140733894185392 139856545027752 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
Current children cumulated CPU time (s) 9.11
Current children cumulated vsize (KiB) 9963000
[startup+11.8428 s]
/proc/loadavg: 1.93 2.01 1.99 3/305 18533
/proc/meminfo: memFree=27269392/32872528 swapFree=8828/8828
[pid=18509] ppid=18506 vsize=9963000 CPUtime=12.58 cores=4-7,12-15
/proc/18509/stat : 18509 (java) S 18506 18509 15681 0 -1 4202496 12572 0 1 0 1246 12 0 0 20 0 24 0 6284764 10202112000 32984 33554432000 1073741824 1073778376 140733894185392 140733894176528 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 1 0 0
/proc/18509/statm: 2490750 32984 2259 9 0 2481427 0
[pid=18509/tid=18511] ppid=18506 vsize=9963000 CPUtime=11.76 cores=4-7,12-15
/proc/18509/task/18511/stat : 18511 (java) R 18506 18509 15681 0 -1 4202560 2498 0 1 0 1174 2 0 0 20 0 24 0 6284767 10202112000 32984 33554432000 1073741824 1073778376 140733894185392 139857747480240 139857574253254 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=18509/tid=18512] ppid=18506 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/18509/task/18512/stat : 18512 (java) S 18506 18509 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 6284768 10202112000 32984 33554432000 1073741824 1073778376 140733894185392 139857708980648 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=18509/tid=18513] ppid=18506 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/18509/task/18513/stat : 18513 (java) S 18506 18509 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 6284768 10202112000 32984 33554432000 1073741824 1073778376 140733894185392 139857707928104 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18509/tid=18514] ppid=18506 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/18509/task/18514/stat : 18514 (java) S 18506 18509 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 6284768 10202112000 32984 33554432000 1073741824 1073778376 140733894185392 139857706875048 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18509/tid=18515] ppid=18506 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/18509/task/18515/stat : 18515 (java) S 18506 18509 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 6284768 10202112000 32984 33554432000 1073741824 1073778376 140733894185392 139857705822504 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18509/tid=18516] ppid=18506 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/18509/task/18516/stat : 18516 (java) S 18506 18509 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 6284768 10202112000 32984 33554432000 1073741824 1073778376 140733894185392 139857704770472 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18509/tid=18517] ppid=18506 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/18509/task/18517/stat : 18517 (java) S 18506 18509 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 6284768 10202112000 32984 33554432000 1073741824 1073778376 140733894185392 139857703717928 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18509/tid=18518] ppid=18506 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/18509/task/18518/stat : 18518 (java) S 18506 18509 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 6284768 10202112000 32984 33554432000 1073741824 1073778376 140733894185392 139857702664872 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18509/tid=18519] ppid=18506 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/18509/task/18519/stat : 18519 (java) S 18506 18509 15681 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 6284768 10202112000 32984 33554432000 1073741824 1073778376 140733894185392 139857701612328 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=18509/tid=18520] ppid=18506 vsize=9963000 CPUtime=0 cores=4-7,12-15
################
# More data... #
################
/proc/18509/task/18523/stat : 18523 (java) S 18506 18509 15681 0 -1 4202560 134 0 0 0 1 2 0 0 20 0 24 0 6284768 10202112000 57209 33554432000 1073741824 1073778376 140733894185392 139857697401128 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=18509/tid=18524] ppid=18506 vsize=9963000 CPUtime=0.02 cores=4-7,12-15
/proc/18509/task/18524/stat : 18524 (java) S 18506 18509 15681 0 -1 4202560 11 0 0 0 2 0 0 0 20 0 24 0 6284768 10202112000 57209 33554432000 1073741824 1073778376 140733894185392 139857696349096 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18509/tid=18525] ppid=18506 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/18509/task/18525/stat : 18525 (java) S 18506 18509 15681 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 24 0 6284769 10202112000 57209 33554432000 1073741824 1073778376 140733894185392 139857561070568 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=18509/tid=18526] ppid=18506 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/18509/task/18526/stat : 18526 (java) S 18506 18509 15681 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 24 0 6284770 10202112000 57209 33554432000 1073741824 1073778376 140733894185392 139857560016376 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=18509/tid=18527] ppid=18506 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/18509/task/18527/stat : 18527 (java) S 18506 18509 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 24 0 6284770 10202112000 57209 33554432000 1073741824 1073778376 140733894185392 139857558963720 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=18509/tid=18528] ppid=18506 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/18509/task/18528/stat : 18528 (java) S 18506 18509 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 6284772 10202112000 57209 33554432000 1073741824 1073778376 140733894185392 139856550291856 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=18509/tid=18529] ppid=18506 vsize=9963000 CPUtime=0.34 cores=4-7,12-15
/proc/18509/task/18529/stat : 18529 (java) S 18506 18509 15681 0 -1 4202560 3956 0 0 0 31 3 0 0 20 0 24 0 6284772 10202112000 57209 33554432000 1073741824 1073778376 140733894185392 139856549239224 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=18509/tid=18530] ppid=18506 vsize=9963000 CPUtime=0.93 cores=4-7,12-15
/proc/18509/task/18530/stat : 18530 (java) S 18506 18509 15681 0 -1 4202560 9658 0 0 0 89 4 0 0 20 0 24 0 6284772 10202112000 57209 33554432000 1073741824 1073778376 140733894185392 139856548186168 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18509/tid=18531] ppid=18506 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/18509/task/18531/stat : 18531 (java) S 18506 18509 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 6284772 10202112000 57209 33554432000 1073741824 1073778376 140733894185392 139856547133816 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=18509/tid=18532] ppid=18506 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/18509/task/18532/stat : 18532 (java) S 18506 18509 15681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 24 0 6284772 10202112000 57209 33554432000 1073741824 1073778376 140733894185392 139856546081992 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18509/tid=18533] ppid=18506 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/18509/task/18533/stat : 18533 (java) S 18506 18509 15681 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 6284786 10202112000 57209 33554432000 1073741824 1073778376 140733894185392 139856545027752 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
Current children cumulated CPU time (s) 171.6
Current children cumulated vsize (KiB) 9963000
[startup+173.666 s]
/proc/loadavg: 2.22 2.14 2.05 4/305 18535
/proc/meminfo: memFree=27180848/32872528 swapFree=8828/8828
[pid=18509] ppid=18506 vsize=9963000 CPUtime=175.27 cores=4-7,12-15
/proc/18509/stat : 18509 (java) S 18506 18509 15681 0 -1 4202496 18056 0 1 0 17503 24 0 0 20 0 24 0 6284764 10202112000 57209 33554432000 1073741824 1073778376 140733894185392 140733894176528 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 1 0 0
/proc/18509/statm: 2490750 57209 2274 9 0 2481427 0
[pid=18509/tid=18511] ppid=18506 vsize=9963000 CPUtime=173.04 cores=4-7,12-15
/proc/18509/task/18511/stat : 18511 (java) R 18506 18509 15681 0 -1 4202560 2531 0 1 0 17299 5 0 0 20 0 24 0 6284767 10202112000 57209 33554432000 1073741824 1073778376 140733894185392 139857747480224 139857574253391 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=18509/tid=18512] ppid=18506 vsize=9963000 CPUtime=0.01 cores=4-7,12-15
/proc/18509/task/18512/stat : 18512 (java) S 18506 18509 15681 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 24 0 6284768 10202112000 57209 33554432000 1073741824 1073778376 140733894185392 139857708980648 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=18509/tid=18513] ppid=18506 vsize=9963000 CPUtime=0.02 cores=4-7,12-15
/proc/18509/task/18513/stat : 18513 (java) S 18506 18509 15681 0 -1 4202560 17 0 0 0 2 0 0 0 20 0 24 0 6284768 10202112000 57209 33554432000 1073741824 1073778376 140733894185392 139857707928104 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18509/tid=18514] ppid=18506 vsize=9963000 CPUtime=0.01 cores=4-7,12-15
/proc/18509/task/18514/stat : 18514 (java) S 18506 18509 15681 0 -1 4202560 17 0 0 0 1 0 0 0 20 0 24 0 6284768 10202112000 57209 33554432000 1073741824 1073778376 140733894185392 139857706875048 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0
[pid=18509/tid=18515] ppid=18506 vsize=9963000 CPUtime=0.01 cores=4-7,12-15
/proc/18509/task/18515/stat : 18515 (java) S 18506 18509 15681 0 -1 4202560 83 0 0 0 0 1 0 0 20 0 24 0 6284768 10202112000 57209 33554432000 1073741824 1073778376 140733894185392 139857705822504 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=18509/tid=18516] ppid=18506 vsize=9963000 CPUtime=0.01 cores=4-7,12-15
/proc/18509/task/18516/stat : 18516 (java) S 18506 18509 15681 0 -1 4202560 4 0 0 0 1 0 0 0 20 0 24 0 6284768 10202112000 57209 33554432000 1073741824 1073778376 140733894185392 139857704770472 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=18509/tid=18517] ppid=18506 vsize=9963000 CPUtime=0.03 cores=4-7,12-15
/proc/18509/task/18517/stat : 18517 (java) S 18506 18509 15681 0 -1 4202560 130 0 0 0 2 1 0 0 20 0 24 0 6284768 10202112000 57209 33554432000 1073741824 1073778376 140733894185392 139857703717928 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18509/tid=18518] ppid=18506 vsize=9963000 CPUtime=0.01 cores=4-7,12-15
/proc/18509/task/18518/stat : 18518 (java) S 18506 18509 15681 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 24 0 6284768 10202112000 57209 33554432000 1073741824 1073778376 140733894185392 139857702664872 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=18509/tid=18519] ppid=18506 vsize=9963000 CPUtime=0.01 cores=4-7,12-15
/proc/18509/task/18519/stat : 18519 (java) S 18506 18509 15681 0 -1 4202560 81 0 0 0 1 0 0 0 20 0 24 0 6284768 10202112000 57209 33554432000 1073741824 1073778376 140733894185392 139857701612328 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18509/tid=18520] ppid=18506 vsize=9963000 CPUtime=0.01 cores=4-7,12-15
/proc/18509/task/18520/stat : 18520 (java) S 18506 18509 15681 0 -1 4202560 5 0 0 0 1 0 0 0 20 0 24 0 6284768 10202112000 57209 33554432000 1073741824 1073778376 140733894185392 139857700559272 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18509/tid=18521] ppid=18506 vsize=9963000 CPUtime=0.02 cores=4-7,12-15
/proc/18509/task/18521/stat : 18521 (java) S 18506 18509 15681 0 -1 4202560 10 0 0 0 2 0 0 0 20 0 24 0 6284768 10202112000 57209 33554432000 1073741824 1073778376 140733894185392 139857699506728 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18509/tid=18522] ppid=18506 vsize=9963000 CPUtime=0.02 cores=4-7,12-15
/proc/18509/task/18522/stat : 18522 (java) S 18506 18509 15681 0 -1 4202560 117 0 0 0 2 0 0 0 20 0 24 0 6284768 10202112000 57209 33554432000 1073741824 1073778376 140733894185392 139857698453672 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0
[pid=18509/tid=18523] ppid=18506 vsize=9963000 CPUtime=0.03 cores=4-7,12-15
/proc/18509/task/18523/stat : 18523 (java) S 18506 18509 15681 0 -1 4202560 134 0 0 0 1 2 0 0 20 0 24 0 6284768 10202112000 57209 33554432000 1073741824 1073778376 140733894185392 139857697401128 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=18509/tid=18524] ppid=18506 vsize=9963000 CPUtime=0.02 cores=4-7,12-15
/proc/18509/task/18524/stat : 18524 (java) S 18506 18509 15681 0 -1 4202560 11 0 0 0 2 0 0 0 20 0 24 0 6284768 10202112000 57209 33554432000 1073741824 1073778376 140733894185392 139857696349096 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18509/tid=18525] ppid=18506 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/18509/task/18525/stat : 18525 (java) S 18506 18509 15681 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 24 0 6284769 10202112000 57209 33554432000 1073741824 1073778376 140733894185392 139857561070568 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=18509/tid=18526] ppid=18506 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/18509/task/18526/stat : 18526 (java) S 18506 18509 15681 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 24 0 6284770 10202112000 57209 33554432000 1073741824 1073778376 140733894185392 139857560016376 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=18509/tid=18527] ppid=18506 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/18509/task/18527/stat : 18527 (java) S 18506 18509 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 24 0 6284770 10202112000 57209 33554432000 1073741824 1073778376 140733894185392 139857558963720 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=18509/tid=18528] ppid=18506 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/18509/task/18528/stat : 18528 (java) S 18506 18509 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 6284772 10202112000 57209 33554432000 1073741824 1073778376 140733894185392 139856550291856 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=18509/tid=18529] ppid=18506 vsize=9963000 CPUtime=0.34 cores=4-7,12-15
/proc/18509/task/18529/stat : 18529 (java) S 18506 18509 15681 0 -1 4202560 3956 0 0 0 31 3 0 0 20 0 24 0 6284772 10202112000 57209 33554432000 1073741824 1073778376 140733894185392 139856549239224 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=18509/tid=18530] ppid=18506 vsize=9963000 CPUtime=0.93 cores=4-7,12-15
/proc/18509/task/18530/stat : 18530 (java) S 18506 18509 15681 0 -1 4202560 9658 0 0 0 89 4 0 0 20 0 24 0 6284772 10202112000 57209 33554432000 1073741824 1073778376 140733894185392 139856548186168 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18509/tid=18531] ppid=18506 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/18509/task/18531/stat : 18531 (java) S 18506 18509 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 6284772 10202112000 57209 33554432000 1073741824 1073778376 140733894185392 139856547133816 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=18509/tid=18532] ppid=18506 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/18509/task/18532/stat : 18532 (java) S 18506 18509 15681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 24 0 6284772 10202112000 57209 33554432000 1073741824 1073778376 140733894185392 139856546081992 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18509/tid=18533] ppid=18506 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/18509/task/18533/stat : 18533 (java) S 18506 18509 15681 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 6284786 10202112000 57209 33554432000 1073741824 1073778376 140733894185392 139856545027752 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
Current children cumulated CPU time (s) 175.27
Current children cumulated vsize (KiB) 9963000
[startup+176.553 s]
/proc/loadavg: 2.22 2.14 2.05 4/305 18535
/proc/meminfo: memFree=27180848/32872528 swapFree=8828/8828
[pid=18509] ppid=18506 vsize=9963000 CPUtime=178.15 cores=4-7,12-15
/proc/18509/stat : 18509 (java) S 18506 18509 15681 0 -1 4202496 18057 0 1 0 17791 24 0 0 20 0 24 0 6284764 10202112000 57209 33554432000 1073741824 1073778376 140733894185392 140733894176528 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 1 0 0
/proc/18509/statm: 2490750 57209 2274 9 0 2481427 0
[pid=18509/tid=18511] ppid=18506 vsize=9963000 CPUtime=175.91 cores=4-7,12-15
/proc/18509/task/18511/stat : 18511 (java) R 18506 18509 15681 0 -1 4202560 2531 0 1 0 17586 5 0 0 20 0 24 0 6284767 10202112000 57209 33554432000 1073741824 1073778376 140733894185392 139857747480224 139857574439632 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=18509/tid=18512] ppid=18506 vsize=9963000 CPUtime=0.01 cores=4-7,12-15
/proc/18509/task/18512/stat : 18512 (java) S 18506 18509 15681 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 24 0 6284768 10202112000 57209 33554432000 1073741824 1073778376 140733894185392 139857708980648 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=18509/tid=18513] ppid=18506 vsize=9963000 CPUtime=0.02 cores=4-7,12-15
/proc/18509/task/18513/stat : 18513 (java) S 18506 18509 15681 0 -1 4202560 17 0 0 0 2 0 0 0 20 0 24 0 6284768 10202112000 57209 33554432000 1073741824 1073778376 140733894185392 139857707928104 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18509/tid=18514] ppid=18506 vsize=9963000 CPUtime=0.01 cores=4-7,12-15
/proc/18509/task/18514/stat : 18514 (java) S 18506 18509 15681 0 -1 4202560 17 0 0 0 1 0 0 0 20 0 24 0 6284768 10202112000 57209 33554432000 1073741824 1073778376 140733894185392 139857706875048 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0
[pid=18509/tid=18515] ppid=18506 vsize=9963000 CPUtime=0.01 cores=4-7,12-15
/proc/18509/task/18515/stat : 18515 (java) S 18506 18509 15681 0 -1 4202560 83 0 0 0 0 1 0 0 20 0 24 0 6284768 10202112000 57209 33554432000 1073741824 1073778376 140733894185392 139857705822504 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=18509/tid=18516] ppid=18506 vsize=9963000 CPUtime=0.01 cores=4-7,12-15
/proc/18509/task/18516/stat : 18516 (java) S 18506 18509 15681 0 -1 4202560 4 0 0 0 1 0 0 0 20 0 24 0 6284768 10202112000 57209 33554432000 1073741824 1073778376 140733894185392 139857704770472 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=18509/tid=18517] ppid=18506 vsize=9963000 CPUtime=0.03 cores=4-7,12-15
/proc/18509/task/18517/stat : 18517 (java) S 18506 18509 15681 0 -1 4202560 130 0 0 0 2 1 0 0 20 0 24 0 6284768 10202112000 57209 33554432000 1073741824 1073778376 140733894185392 139857703717928 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18509/tid=18518] ppid=18506 vsize=9963000 CPUtime=0.01 cores=4-7,12-15
/proc/18509/task/18518/stat : 18518 (java) S 18506 18509 15681 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 24 0 6284768 10202112000 57209 33554432000 1073741824 1073778376 140733894185392 139857702664872 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=18509/tid=18519] ppid=18506 vsize=9963000 CPUtime=0.01 cores=4-7,12-15
/proc/18509/task/18519/stat : 18519 (java) S 18506 18509 15681 0 -1 4202560 81 0 0 0 1 0 0 0 20 0 24 0 6284768 10202112000 57209 33554432000 1073741824 1073778376 140733894185392 139857701612328 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18509/tid=18520] ppid=18506 vsize=9963000 CPUtime=0.01 cores=4-7,12-15
/proc/18509/task/18520/stat : 18520 (java) S 18506 18509 15681 0 -1 4202560 5 0 0 0 1 0 0 0 20 0 24 0 6284768 10202112000 57209 33554432000 1073741824 1073778376 140733894185392 139857700559272 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18509/tid=18521] ppid=18506 vsize=9963000 CPUtime=0.02 cores=4-7,12-15
/proc/18509/task/18521/stat : 18521 (java) S 18506 18509 15681 0 -1 4202560 10 0 0 0 2 0 0 0 20 0 24 0 6284768 10202112000 57209 33554432000 1073741824 1073778376 140733894185392 139857699506728 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18509/tid=18522] ppid=18506 vsize=9963000 CPUtime=0.02 cores=4-7,12-15
/proc/18509/task/18522/stat : 18522 (java) S 18506 18509 15681 0 -1 4202560 117 0 0 0 2 0 0 0 20 0 24 0 6284768 10202112000 57209 33554432000 1073741824 1073778376 140733894185392 139857698453672 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0
[pid=18509/tid=18523] ppid=18506 vsize=9963000 CPUtime=0.03 cores=4-7,12-15
/proc/18509/task/18523/stat : 18523 (java) S 18506 18509 15681 0 -1 4202560 134 0 0 0 1 2 0 0 20 0 24 0 6284768 10202112000 57209 33554432000 1073741824 1073778376 140733894185392 139857697401128 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=18509/tid=18524] ppid=18506 vsize=9963000 CPUtime=0.02 cores=4-7,12-15
/proc/18509/task/18524/stat : 18524 (java) S 18506 18509 15681 0 -1 4202560 11 0 0 0 2 0 0 0 20 0 24 0 6284768 10202112000 57209 33554432000 1073741824 1073778376 140733894185392 139857696349096 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18509/tid=18525] ppid=18506 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/18509/task/18525/stat : 18525 (java) S 18506 18509 15681 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 24 0 6284769 10202112000 57209 33554432000 1073741824 1073778376 140733894185392 139857561070568 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=18509/tid=18526] ppid=18506 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/18509/task/18526/stat : 18526 (java) S 18506 18509 15681 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 24 0 6284770 10202112000 57209 33554432000 1073741824 1073778376 140733894185392 139857560016376 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=18509/tid=18527] ppid=18506 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/18509/task/18527/stat : 18527 (java) S 18506 18509 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 24 0 6284770 10202112000 57209 33554432000 1073741824 1073778376 140733894185392 139857558963720 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=18509/tid=18528] ppid=18506 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/18509/task/18528/stat : 18528 (java) S 18506 18509 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 6284772 10202112000 57209 33554432000 1073741824 1073778376 140733894185392 139856550291856 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=18509/tid=18529] ppid=18506 vsize=9963000 CPUtime=0.34 cores=4-7,12-15
/proc/18509/task/18529/stat : 18529 (java) R 18506 18509 15681 0 -1 4202560 3957 0 0 0 31 3 0 0 20 0 24 0 6284772 10202112000 57209 33554432000 1073741824 1073778376 140733894185392 139856549239224 216812020149 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0
[pid=18509/tid=18530] ppid=18506 vsize=9963000 CPUtime=0.93 cores=4-7,12-15
/proc/18509/task/18530/stat : 18530 (java) S 18506 18509 15681 0 -1 4202560 9659 0 0 0 89 4 0 0 20 0 24 0 6284772 10202112000 57209 33554432000 1073741824 1073778376 140733894185392 139856548186168 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18509/tid=18531] ppid=18506 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/18509/task/18531/stat : 18531 (java) S 18506 18509 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 6284772 10202112000 57209 33554432000 1073741824 1073778376 140733894185392 139856547133816 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=18509/tid=18532] ppid=18506 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/18509/task/18532/stat : 18532 (java) S 18506 18509 15681 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 24 0 6284772 10202112000 57209 33554432000 1073741824 1073778376 140733894185392 139856546081992 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18509/tid=18533] ppid=18506 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/18509/task/18533/stat : 18533 (java) S 18506 18509 15681 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 6284786 10202112000 57209 33554432000 1073741824 1073778376 140733894185392 139856545027752 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
Current children cumulated CPU time (s) 178.15
Current children cumulated vsize (KiB) 9963000
[startup+176.738 s]
/proc/loadavg: 2.22 2.14 2.05 4/305 18535
/proc/meminfo: memFree=27180848/32872528 swapFree=8828/8828
[pid=18509] ppid=18506 vsize=0 CPUtime=177.92 cores=4-7,12-15
/proc/18509/stat : 18509 (java) Z 18506 18509 15681 0 -1 4203532 18077 0 1 0 17760 32 0 0 20 0 2 0 6284764 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 1 0 0
/proc/18509/statm: 0 0 0 0 0 0 0
[pid=18509/tid=18530] ppid=18506 vsize=0 CPUtime=0.93 cores=4-7,12-15
/proc/18509/task/18530/stat : 18530 (java) R 18506 18509 15681 0 -1 4203588 9659 0 0 0 89 4 0 0 20 0 2 0 6284772 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 177.92
Current children cumulated vsize (KiB) 0
Child status: 30
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 18509 and gives
# childrusage.ru_utime.tv_sec=177
# childrusage.ru_utime.tv_usec=574004
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=326950
# CPU time returned by wait4() is 177.901
# while last known CPU time is 177.92
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
# lost CPU time (s): 0.229996
# lost CPU user time (s): 0.309998
# lost CPU system time (s): -0.08
Real time (s): 176.742
CPU time (s): 178.15
CPU user time (s): 177.91
CPU system time (s): 0.24
CPU usage (%): 100.797
Max. virtual memory (cumulated for all children) (KiB): 9963000
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 177.574
system time used= 0.32695
maximum resident set size= 228884
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18077
page faults= 1
swaps= 0
block input operations= 0
block output operations= 256
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 659
involuntary context switches= 450
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.103984 second user time and 0.159975 second system time
The end