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-4089229-1466020549/watcher-4089229-1466020549 -o /tmp/evaluation-result-4089229-1466020549/solver-4089229-1466020549 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node119-1466012072-5946 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4089229-1466020549.opb
pid=8781
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.14 2.16 2.16 4/194 8784
/proc/meminfo: memFree=30187684/32872528 swapFree=1243664/1390832
[pid=8784] ppid=8781 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/8784/stat : 8784 (java) D 8781 8784 5929 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 4103525 9515008 182 33554432000 1073741824 1073778376 140734243777104 140734243768136 272886480565 0 0 4096 0 18446744072100588836 0 0 17 5 0 0 0 0 0
/proc/8784/statm: 2323 182 140 9 0 71 0
[startup+0.100061 s]
/proc/loadavg: 2.14 2.16 2.16 4/194 8784
/proc/meminfo: memFree=30187684/32872528 swapFree=1243664/1390832
[pid=8784] ppid=8781 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/8784/stat : 8784 (java) S 8781 8784 5929 0 -1 4202496 4413 0 1 0 8 1 0 0 20 0 18 0 4103525 9787879424 6037 33554432000 1073741824 1073778376 140737276904288 140737276895424 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/8784/statm: 2389619 6037 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476
[startup+0.200275 s]
/proc/loadavg: 2.14 2.16 2.16 4/194 8784
/proc/meminfo: memFree=30187684/32872528 swapFree=1243664/1390832
[pid=8784] ppid=8781 vsize=9625040 CPUtime=0.27 cores=1,3,5,7
/proc/8784/stat : 8784 (java) S 8781 8784 5929 0 -1 4202496 6276 0 1 0 26 1 0 0 20 0 19 0 4103525 9856040960 7327 33554432000 1073741824 1073778376 140737276904288 140737276895424 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/8784/statm: 2406260 7327 2232 9 0 2396937 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 9625040
[startup+0.300282 s]
/proc/loadavg: 2.14 2.16 2.16 4/194 8784
/proc/meminfo: memFree=30187684/32872528 swapFree=1243664/1390832
[pid=8784] ppid=8781 vsize=9625040 CPUtime=0.48 cores=1,3,5,7
/proc/8784/stat : 8784 (java) S 8781 8784 5929 0 -1 4202496 6515 0 1 0 47 1 0 0 20 0 19 0 4103525 9856040960 7694 33554432000 1073741824 1073778376 140737276904288 140737276895424 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/8784/statm: 2406260 7694 2244 9 0 2396937 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 9625040
[startup+0.700285 s]
/proc/loadavg: 2.14 2.16 2.16 4/194 8784
/proc/meminfo: memFree=30187684/32872528 swapFree=1243664/1390832
[pid=8784] ppid=8781 vsize=9625040 CPUtime=1.01 cores=1,3,5,7
/proc/8784/stat : 8784 (java) S 8781 8784 5929 0 -1 4202496 7693 0 1 0 100 1 0 0 20 0 19 0 4103525 9856040960 9264 33554432000 1073741824 1073778376 140737276904288 140737276895424 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/8784/statm: 2406260 9264 2254 9 0 2396937 0
Current children cumulated CPU time (s) 1.01
Current children cumulated vsize (KiB) 9625040
[startup+1.50074 s]
/proc/loadavg: 2.14 2.16 2.16 5/213 8803
/proc/meminfo: memFree=30151968/32872528 swapFree=1243664/1390832
[pid=8784] ppid=8781 vsize=9625040 CPUtime=1.86 cores=1,3,5,7
/proc/8784/stat : 8784 (java) S 8781 8784 5929 0 -1 4202496 7706 0 1 0 184 2 0 0 20 0 19 0 4103525 9856040960 11831 33554432000 1073741824 1073778376 140737276904288 140737276895424 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/8784/statm: 2406260 11831 2256 9 0 2396937 0
[pid=8784/tid=8786] ppid=8781 vsize=9625040 CPUtime=1.46 cores=1,3,5,7
/proc/8784/task/8786/stat : 8786 (java) R 8781 8784 5929 0 -1 4202560 2432 0 1 0 145 1 0 0 20 0 19 0 4103526 9856040960 11831 33554432000 1073741824 1073778376 140737276904288 139916285963984 139916158145777 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=8784/tid=8787] ppid=8781 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8784/task/8787/stat : 8787 (java) S 8781 8784 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4103527 9856040960 11831 33554432000 1073741824 1073778376 140737276904288 139916129860648 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8784/tid=8788] ppid=8781 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8784/task/8788/stat : 8788 (java) S 8781 8784 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4103527 9856040960 11831 33554432000 1073741824 1073778376 140737276904288 139916128807848 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8784/tid=8789] ppid=8781 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8784/task/8789/stat : 8789 (java) S 8781 8784 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4103527 9856040960 11831 33554432000 1073741824 1073778376 140737276904288 139916127755048 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8784/tid=8790] ppid=8781 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8784/task/8790/stat : 8790 (java) S 8781 8784 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4103527 9856040960 11831 33554432000 1073741824 1073778376 140737276904288 139916126702248 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8784/tid=8791] ppid=8781 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8784/task/8791/stat : 8791 (java) S 8781 8784 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4103527 9856040960 11831 33554432000 1073741824 1073778376 140737276904288 139916125649448 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8784/tid=8792] ppid=8781 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8784/task/8792/stat : 8792 (java) S 8781 8784 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4103527 9856040960 11831 33554432000 1073741824 1073778376 140737276904288 139916124596648 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8784/tid=8793] ppid=8781 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8784/task/8793/stat : 8793 (java) S 8781 8784 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4103527 9856040960 11831 33554432000 1073741824 1073778376 140737276904288 139916123543848 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8784/tid=8794] ppid=8781 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8784/task/8794/stat : 8794 (java) S 8781 8784 5929 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 4103527 9856040960 11831 33554432000 1073741824 1073778376 140737276904288 139916122491048 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8784/tid=8795] ppid=8781 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8784/task/8795/stat : 8795 (java) S 8781 8784 5929 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 4103528 9856040960 11831 33554432000 1073741824 1073778376 140737276904288 139916110081000 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8784/tid=8796] ppid=8781 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8784/task/8796/stat : 8796 (java) S 8781 8784 5929 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 4103528 9856040960 11831 33554432000 1073741824 1073778376 140737276904288 139916109027064 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8784/tid=8797] ppid=8781 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8784/task/8797/stat : 8797 (java) S 8781 8784 5929 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4103529 9856040960 11831 33554432000 1073741824 1073778376 140737276904288 139916107974152 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8784/tid=8798] ppid=8781 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8784/task/8798/stat : 8798 (java) S 8781 8784 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4103531 9856040960 11831 33554432000 1073741824 1073778376 140737276904288 139916106922640 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8784/tid=8799] ppid=8781 vsize=9625040 CPUtime=0.14 cores=1,3,5,7
/proc/8784/task/8799/stat : 8799 (java) S 8781 8784 5929 0 -1 4202560 1728 0 0 0 14 0 0 0 20 0 19 0 4103531 9856040960 11831 33554432000 1073741824 1073778376 140737276904288 139916105869752 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8784/tid=8800] ppid=8781 vsize=9625040 CPUtime=0.21 cores=1,3,5,7
/proc/8784/task/8800/stat : 8800 (java) S 8781 8784 5929 0 -1 4202560 2274 0 0 0 21 0 0 0 20 0 19 0 4103531 9856040960 11831 33554432000 1073741824 1073778376 140737276904288 139916104816952 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8784/tid=8801] ppid=8781 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8784/task/8801/stat : 8801 (java) S 8781 8784 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4103531 9856040960 11831 33554432000 1073741824 1073778376 140737276904288 139916103764344 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8784/tid=8802] ppid=8781 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8784/task/8802/stat : 8802 (java) S 8781 8784 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4103531 9856040960 11831 33554432000 1073741824 1073778376 140737276904288 139916102711752 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8784/tid=8803] ppid=8781 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8784/task/8803/stat : 8803 (java) S 8781 8784 5929 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4103541 9856040960 11831 33554432000 1073741824 1073778376 140737276904288 139916101658280 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.86
Current children cumulated vsize (KiB) 9625040
[startup+3.10074 s]
/proc/loadavg: 2.14 2.16 2.16 4/213 8803
/proc/meminfo: memFree=30139184/32872528 swapFree=1243664/1390832
[pid=8784] ppid=8781 vsize=9625040 CPUtime=3.46 cores=1,3,5,7
/proc/8784/stat : 8784 (java) S 8781 8784 5929 0 -1 4202496 7714 0 1 0 344 2 0 0 20 0 19 0 4103525 9856040960 15927 33554432000 1073741824 1073778376 140737276904288 140737276895424 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/8784/statm: 2406260 15927 2256 9 0 2396937 0
[pid=8784/tid=8786] ppid=8781 vsize=9625040 CPUtime=3.06 cores=1,3,5,7
/proc/8784/task/8786/stat : 8786 (java) R 8781 8784 5929 0 -1 4202560 2440 0 1 0 305 1 0 0 20 0 19 0 4103526 9856040960 15927 33554432000 1073741824 1073778376 140737276904288 139916285963984 139916158082564 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=8784/tid=8787] ppid=8781 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8784/task/8787/stat : 8787 (java) S 8781 8784 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4103527 9856040960 15927 33554432000 1073741824 1073778376 140737276904288 139916129860648 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8784/tid=8788] ppid=8781 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8784/task/8788/stat : 8788 (java) S 8781 8784 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4103527 9856040960 15927 33554432000 1073741824 1073778376 140737276904288 139916128807848 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8784/tid=8789] ppid=8781 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8784/task/8789/stat : 8789 (java) S 8781 8784 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4103527 9856040960 15927 33554432000 1073741824 1073778376 140737276904288 139916127755048 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8784/tid=8790] ppid=8781 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8784/task/8790/stat : 8790 (java) S 8781 8784 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4103527 9856040960 15927 33554432000 1073741824 1073778376 140737276904288 139916126702248 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8784/tid=8791] ppid=8781 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8784/task/8791/stat : 8791 (java) S 8781 8784 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4103527 9856040960 15927 33554432000 1073741824 1073778376 140737276904288 139916125649448 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8784/tid=8792] ppid=8781 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8784/task/8792/stat : 8792 (java) S 8781 8784 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4103527 9856040960 15927 33554432000 1073741824 1073778376 140737276904288 139916124596648 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8784/tid=8793] ppid=8781 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8784/task/8793/stat : 8793 (java) S 8781 8784 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4103527 9856040960 15927 33554432000 1073741824 1073778376 140737276904288 139916123543848 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8784/tid=8794] ppid=8781 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8784/task/8794/stat : 8794 (java) S 8781 8784 5929 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 4103527 9856040960 15927 33554432000 1073741824 1073778376 140737276904288 139916122491048 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8784/tid=8795] ppid=8781 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8784/task/8795/stat : 8795 (java) S 8781 8784 5929 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 4103528 9856040960 15927 33554432000 1073741824 1073778376 140737276904288 139916110081000 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8784/tid=8796] ppid=8781 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8784/task/8796/stat : 8796 (java) S 8781 8784 5929 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 4103528 9856040960 15927 33554432000 1073741824 1073778376 140737276904288 139916109027064 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8784/tid=8797] ppid=8781 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8784/task/8797/stat : 8797 (java) S 8781 8784 5929 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4103529 9856040960 15927 33554432000 1073741824 1073778376 140737276904288 139916107974152 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8784/tid=8798] ppid=8781 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8784/task/8798/stat : 8798 (java) S 8781 8784 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4103531 9856040960 15927 33554432000 1073741824 1073778376 140737276904288 139916106922640 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8784/tid=8799] ppid=8781 vsize=9625040 CPUtime=0.14 cores=1,3,5,7
/proc/8784/task/8799/stat : 8799 (java) S 8781 8784 5929 0 -1 4202560 1728 0 0 0 14 0 0 0 20 0 19 0 4103531 9856040960 15927 33554432000 1073741824 1073778376 140737276904288 139916105869752 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8784/tid=8800] ppid=8781 vsize=9625040 CPUtime=0.21 cores=1,3,5,7
/proc/8784/task/8800/stat : 8800 (java) S 8781 8784 5929 0 -1 4202560 2274 0 0 0 21 0 0 0 20 0 19 0 4103531 9856040960 15927 33554432000 1073741824 1073778376 140737276904288 139916104816952 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8784/tid=8801] ppid=8781 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8784/task/8801/stat : 8801 (java) S 8781 8784 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4103531 9856040960 15927 33554432000 1073741824 1073778376 140737276904288 139916103764344 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8784/tid=8802] ppid=8781 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8784/task/8802/stat : 8802 (java) S 8781 8784 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4103531 9856040960 15927 33554432000 1073741824 1073778376 140737276904288 139916102711752 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8784/tid=8803] ppid=8781 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8784/task/8803/stat : 8803 (java) S 8781 8784 5929 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4103541 9856040960 15927 33554432000 1073741824 1073778376 140737276904288 139916101658280 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.46
Current children cumulated vsize (KiB) 9625040
[startup+6.30079 s]
/proc/loadavg: 2.13 2.16 2.16 3/213 8803
/proc/meminfo: memFree=30108476/32872528 swapFree=1243664/1390832
[pid=8784] ppid=8781 vsize=9625040 CPUtime=6.67 cores=1,3,5,7
/proc/8784/stat : 8784 (java) S 8781 8784 5929 0 -1 4202496 7730 0 1 0 665 2 0 0 20 0 19 0 4103525 9856040960 22990 33554432000 1073741824 1073778376 140737276904288 140737276895424 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/8784/statm: 2406260 22990 2257 9 0 2396937 0
[pid=8784/tid=8786] ppid=8781 vsize=9625040 CPUtime=6.27 cores=1,3,5,7
/proc/8784/task/8786/stat : 8786 (java) R 8781 8784 5929 0 -1 4202560 2455 0 1 0 625 2 0 0 20 0 19 0 4103526 9856040960 22990 33554432000 1073741824 1073778376 140737276904288 139916285963984 139916158061313 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=8784/tid=8787] ppid=8781 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8784/task/8787/stat : 8787 (java) S 8781 8784 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4103527 9856040960 22990 33554432000 1073741824 1073778376 140737276904288 139916129860648 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8784/tid=8788] ppid=8781 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8784/task/8788/stat : 8788 (java) S 8781 8784 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4103527 9856040960 22990 33554432000 1073741824 1073778376 140737276904288 139916128807848 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8784/tid=8789] ppid=8781 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8784/task/8789/stat : 8789 (java) S 8781 8784 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4103527 9856040960 22990 33554432000 1073741824 1073778376 140737276904288 139916127755048 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8784/tid=8790] ppid=8781 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8784/task/8790/stat : 8790 (java) S 8781 8784 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4103527 9856040960 22990 33554432000 1073741824 1073778376 140737276904288 139916126702248 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8784/tid=8791] ppid=8781 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8784/task/8791/stat : 8791 (java) S 8781 8784 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4103527 9856040960 22990 33554432000 1073741824 1073778376 140737276904288 139916125649448 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8784/tid=8792] ppid=8781 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8784/task/8792/stat : 8792 (java) S 8781 8784 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4103527 9856040960 22990 33554432000 1073741824 1073778376 140737276904288 139916124596648 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8784/tid=8793] ppid=8781 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8784/task/8793/stat : 8793 (java) S 8781 8784 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4103527 9856040960 22990 33554432000 1073741824 1073778376 140737276904288 139916123543848 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8784/tid=8794] ppid=8781 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8784/task/8794/stat : 8794 (java) S 8781 8784 5929 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 4103527 9856040960 22990 33554432000 1073741824 1073778376 140737276904288 139916122491048 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8784/tid=8795] ppid=8781 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8784/task/8795/stat : 8795 (java) S 8781 8784 5929 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 4103528 9856040960 22990 33554432000 1073741824 1073778376 140737276904288 139916110081000 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8784/tid=8796] ppid=8781 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8784/task/8796/stat : 8796 (java) S 8781 8784 5929 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 4103528 9856040960 22990 33554432000 1073741824 1073778376 140737276904288 139916109027064 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8784/tid=8797] ppid=8781 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8784/task/8797/stat : 8797 (java) S 8781 8784 5929 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4103529 9856040960 22990 33554432000 1073741824 1073778376 140737276904288 139916107974152 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8784/tid=8798] ppid=8781 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8784/task/8798/stat : 8798 (java) S 8781 8784 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4103531 9856040960 22990 33554432000 1073741824 1073778376 140737276904288 139916106922640 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8784/tid=8799] ppid=8781 vsize=9625040 CPUtime=0.16 cores=1,3,5,7
/proc/8784/task/8799/stat : 8799 (java) S 8781 8784 5929 0 -1 4202560 1728 0 0 0 16 0 0 0 20 0 19 0 4103531 9856040960 22990 33554432000 1073741824 1073778376 140737276904288 139916105869752 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8784/tid=8800] ppid=8781 vsize=9625040 CPUtime=0.21 cores=1,3,5,7
/proc/8784/task/8800/stat : 8800 (java) S 8781 8784 5929 0 -1 4202560 2274 0 0 0 21 0 0 0 20 0 19 0 4103531 9856040960 22990 33554432000 1073741824 1073778376 140737276904288 139916104816952 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8784/tid=8801] ppid=8781 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8784/task/8801/stat : 8801 (java) S 8781 8784 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4103531 9856040960 22990 33554432000 1073741824 1073778376 140737276904288 139916103764344 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8784/tid=8802] ppid=8781 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8784/task/8802/stat : 8802 (java) S 8781 8784 5929 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 4103531 9856040960 22990 33554432000 1073741824 1073778376 140737276904288 139916102711752 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8784/tid=8803] ppid=8781 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8784/task/8803/stat : 8803 (java) S 8781 8784 5929 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4103541 9856040960 22990 33554432000 1073741824 1073778376 140737276904288 139916101658280 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.67
Current children cumulated vsize (KiB) 9625040
################
# More data... #
################
[pid=8784/tid=8796] ppid=8781 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8784/task/8796/stat : 8796 (java) S 8781 8784 5929 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 4103528 9856040960 104098 33554432000 1073741824 1073778376 140737276904288 139916109027064 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8784/tid=8797] ppid=8781 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8784/task/8797/stat : 8797 (java) S 8781 8784 5929 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 4103529 9856040960 104098 33554432000 1073741824 1073778376 140737276904288 139916107974152 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8784/tid=8798] ppid=8781 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8784/task/8798/stat : 8798 (java) S 8781 8784 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4103531 9856040960 104098 33554432000 1073741824 1073778376 140737276904288 139916106922640 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8784/tid=8799] ppid=8781 vsize=9625040 CPUtime=0.24 cores=1,3,5,7
/proc/8784/task/8799/stat : 8799 (java) S 8781 8784 5929 0 -1 4202560 3331 0 0 0 24 0 0 0 20 0 19 0 4103531 9856040960 104098 33554432000 1073741824 1073778376 140737276904288 139916105869752 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8784/tid=8800] ppid=8781 vsize=9625040 CPUtime=0.21 cores=1,3,5,7
/proc/8784/task/8800/stat : 8800 (java) S 8781 8784 5929 0 -1 4202560 2274 0 0 0 21 0 0 0 20 0 19 0 4103531 9856040960 104098 33554432000 1073741824 1073778376 140737276904288 139916104816952 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8784/tid=8801] ppid=8781 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8784/task/8801/stat : 8801 (java) S 8781 8784 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4103531 9856040960 104098 33554432000 1073741824 1073778376 140737276904288 139916103764344 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8784/tid=8802] ppid=8781 vsize=9625040 CPUtime=0.57 cores=1,3,5,7
/proc/8784/task/8802/stat : 8802 (java) S 8781 8784 5929 0 -1 4202560 96 0 0 0 23 34 0 0 20 0 19 0 4103531 9856040960 104098 33554432000 1073741824 1073778376 140737276904288 139916102711752 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8784/tid=8803] ppid=8781 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8784/task/8803/stat : 8803 (java) S 8781 8784 5929 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4103541 9856040960 104098 33554432000 1073741824 1073778376 140737276904288 139916101658280 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1668.74
Current children cumulated vsize (KiB) 9625040
[startup+1722.3 s]
/proc/loadavg: 2.20 2.17 2.15 3/213 9001
/proc/meminfo: memFree=29673856/32872528 swapFree=1243664/1390832
[pid=8784] ppid=8781 vsize=9625040 CPUtime=1729.14 cores=1,3,5,7
/proc/8784/stat : 8784 (java) S 8781 8784 5929 0 -1 4202496 13339 0 1 0 172820 94 0 0 20 0 19 0 4103525 9856040960 104097 33554432000 1073741824 1073778376 140737276904288 140737276895424 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/8784/statm: 2406260 104097 2280 9 0 2396937 0
[pid=8784/tid=8786] ppid=8781 vsize=9625040 CPUtime=1719 cores=1,3,5,7
/proc/8784/task/8786/stat : 8786 (java) R 8781 8784 5929 0 -1 4202560 2567 0 1 0 171868 32 0 0 20 0 19 0 4103526 9856040960 104097 33554432000 1073741824 1073778376 140737276904288 139916285971864 139916158146547 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=8784/tid=8787] ppid=8781 vsize=9625040 CPUtime=0.98 cores=1,3,5,7
/proc/8784/task/8787/stat : 8787 (java) S 8781 8784 5929 0 -1 4202560 465 0 0 0 93 5 0 0 20 0 19 0 4103527 9856040960 104097 33554432000 1073741824 1073778376 140737276904288 139916129860648 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8784/tid=8788] ppid=8781 vsize=9625040 CPUtime=1.21 cores=1,3,5,7
/proc/8784/task/8788/stat : 8788 (java) S 8781 8784 5929 0 -1 4202560 384 0 0 0 113 8 0 0 20 0 19 0 4103527 9856040960 104097 33554432000 1073741824 1073778376 140737276904288 139916128807848 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8784/tid=8789] ppid=8781 vsize=9625040 CPUtime=1.07 cores=1,3,5,7
/proc/8784/task/8789/stat : 8789 (java) S 8781 8784 5929 0 -1 4202560 640 0 0 0 100 7 0 0 20 0 19 0 4103527 9856040960 104097 33554432000 1073741824 1073778376 140737276904288 139916127755048 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8784/tid=8790] ppid=8781 vsize=9625040 CPUtime=1.05 cores=1,3,5,7
/proc/8784/task/8790/stat : 8790 (java) S 8781 8784 5929 0 -1 4202560 494 0 0 0 98 7 0 0 20 0 19 0 4103527 9856040960 104097 33554432000 1073741824 1073778376 140737276904288 139916126702248 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8784/tid=8791] ppid=8781 vsize=9625040 CPUtime=0.98 cores=1,3,5,7
/proc/8784/task/8791/stat : 8791 (java) S 8781 8784 5929 0 -1 4202560 469 0 0 0 91 7 0 0 20 0 19 0 4103527 9856040960 104097 33554432000 1073741824 1073778376 140737276904288 139916125649448 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8784/tid=8792] ppid=8781 vsize=9625040 CPUtime=0.97 cores=1,3,5,7
/proc/8784/task/8792/stat : 8792 (java) S 8781 8784 5929 0 -1 4202560 211 0 0 0 92 5 0 0 20 0 19 0 4103527 9856040960 104097 33554432000 1073741824 1073778376 140737276904288 139916124596648 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8784/tid=8793] ppid=8781 vsize=9625040 CPUtime=1.05 cores=1,3,5,7
/proc/8784/task/8793/stat : 8793 (java) S 8781 8784 5929 0 -1 4202560 534 0 0 0 97 8 0 0 20 0 19 0 4103527 9856040960 104097 33554432000 1073741824 1073778376 140737276904288 139916123543848 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8784/tid=8794] ppid=8781 vsize=9625040 CPUtime=1.14 cores=1,3,5,7
/proc/8784/task/8794/stat : 8794 (java) S 8781 8784 5929 0 -1 4202560 322 0 0 0 107 7 0 0 20 0 19 0 4103527 9856040960 104097 33554432000 1073741824 1073778376 140737276904288 139916122491048 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8784/tid=8795] ppid=8781 vsize=9625040 CPUtime=0.82 cores=1,3,5,7
/proc/8784/task/8795/stat : 8795 (java) S 8781 8784 5929 0 -1 4202560 290 0 0 0 78 4 0 0 20 0 19 0 4103528 9856040960 104097 33554432000 1073741824 1073778376 140737276904288 139916110081000 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8784/tid=8796] ppid=8781 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8784/task/8796/stat : 8796 (java) S 8781 8784 5929 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 4103528 9856040960 104097 33554432000 1073741824 1073778376 140737276904288 139916109027064 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8784/tid=8797] ppid=8781 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8784/task/8797/stat : 8797 (java) S 8781 8784 5929 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 4103529 9856040960 104097 33554432000 1073741824 1073778376 140737276904288 139916107974152 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8784/tid=8798] ppid=8781 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8784/task/8798/stat : 8798 (java) S 8781 8784 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4103531 9856040960 104097 33554432000 1073741824 1073778376 140737276904288 139916106922640 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8784/tid=8799] ppid=8781 vsize=9625040 CPUtime=0.24 cores=1,3,5,7
/proc/8784/task/8799/stat : 8799 (java) S 8781 8784 5929 0 -1 4202560 3331 0 0 0 24 0 0 0 20 0 19 0 4103531 9856040960 104097 33554432000 1073741824 1073778376 140737276904288 139916105869752 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8784/tid=8800] ppid=8781 vsize=9625040 CPUtime=0.21 cores=1,3,5,7
/proc/8784/task/8800/stat : 8800 (java) S 8781 8784 5929 0 -1 4202560 2274 0 0 0 21 0 0 0 20 0 19 0 4103531 9856040960 104097 33554432000 1073741824 1073778376 140737276904288 139916104816952 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8784/tid=8801] ppid=8781 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8784/task/8801/stat : 8801 (java) S 8781 8784 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4103531 9856040960 104097 33554432000 1073741824 1073778376 140737276904288 139916103764344 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8784/tid=8802] ppid=8781 vsize=9625040 CPUtime=0.59 cores=1,3,5,7
/proc/8784/task/8802/stat : 8802 (java) S 8781 8784 5929 0 -1 4202560 100 0 0 0 24 35 0 0 20 0 19 0 4103531 9856040960 104097 33554432000 1073741824 1073778376 140737276904288 139916102711752 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8784/tid=8803] ppid=8781 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8784/task/8803/stat : 8803 (java) S 8781 8784 5929 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4103541 9856040960 104097 33554432000 1073741824 1073778376 140737276904288 139916101658280 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1729.14
Current children cumulated vsize (KiB) 9625040
[startup+1782.3 s]
/proc/loadavg: 2.21 2.19 2.15 3/213 9002
/proc/meminfo: memFree=29675704/32872528 swapFree=1243664/1390832
[pid=8784] ppid=8781 vsize=9625040 CPUtime=1789.48 cores=1,3,5,7
/proc/8784/stat : 8784 (java) S 8781 8784 5929 0 -1 4202496 13365 0 1 0 178852 96 0 0 20 0 19 0 4103525 9856040960 103086 33554432000 1073741824 1073778376 140737276904288 140737276895424 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/8784/statm: 2406260 103086 2280 9 0 2396937 0
[pid=8784/tid=8786] ppid=8781 vsize=9625040 CPUtime=1778.69 cores=1,3,5,7
/proc/8784/task/8786/stat : 8786 (java) R 8781 8784 5929 0 -1 4202560 2571 0 1 0 177835 34 0 0 20 0 19 0 4103526 9856040960 103086 33554432000 1073741824 1073778376 140737276904288 139916285964064 139916158146119 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=8784/tid=8787] ppid=8781 vsize=9625040 CPUtime=1.04 cores=1,3,5,7
/proc/8784/task/8787/stat : 8787 (java) S 8781 8784 5929 0 -1 4202560 465 0 0 0 99 5 0 0 20 0 19 0 4103527 9856040960 103086 33554432000 1073741824 1073778376 140737276904288 139916129860648 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8784/tid=8788] ppid=8781 vsize=9625040 CPUtime=1.27 cores=1,3,5,7
/proc/8784/task/8788/stat : 8788 (java) S 8781 8784 5929 0 -1 4202560 384 0 0 0 119 8 0 0 20 0 19 0 4103527 9856040960 103086 33554432000 1073741824 1073778376 140737276904288 139916128807848 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8784/tid=8789] ppid=8781 vsize=9625040 CPUtime=1.11 cores=1,3,5,7
/proc/8784/task/8789/stat : 8789 (java) S 8781 8784 5929 0 -1 4202560 640 0 0 0 104 7 0 0 20 0 19 0 4103527 9856040960 103086 33554432000 1073741824 1073778376 140737276904288 139916127755048 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8784/tid=8790] ppid=8781 vsize=9625040 CPUtime=1.11 cores=1,3,5,7
/proc/8784/task/8790/stat : 8790 (java) S 8781 8784 5929 0 -1 4202560 494 0 0 0 104 7 0 0 20 0 19 0 4103527 9856040960 103086 33554432000 1073741824 1073778376 140737276904288 139916126702248 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8784/tid=8791] ppid=8781 vsize=9625040 CPUtime=1.06 cores=1,3,5,7
/proc/8784/task/8791/stat : 8791 (java) S 8781 8784 5929 0 -1 4202560 469 0 0 0 99 7 0 0 20 0 19 0 4103527 9856040960 103086 33554432000 1073741824 1073778376 140737276904288 139916125649448 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8784/tid=8792] ppid=8781 vsize=9625040 CPUtime=1.05 cores=1,3,5,7
/proc/8784/task/8792/stat : 8792 (java) S 8781 8784 5929 0 -1 4202560 211 0 0 0 100 5 0 0 20 0 19 0 4103527 9856040960 103086 33554432000 1073741824 1073778376 140737276904288 139916124596648 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8784/tid=8793] ppid=8781 vsize=9625040 CPUtime=1.09 cores=1,3,5,7
/proc/8784/task/8793/stat : 8793 (java) S 8781 8784 5929 0 -1 4202560 534 0 0 0 101 8 0 0 20 0 19 0 4103527 9856040960 103086 33554432000 1073741824 1073778376 140737276904288 139916123543848 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8784/tid=8794] ppid=8781 vsize=9625040 CPUtime=1.2 cores=1,3,5,7
/proc/8784/task/8794/stat : 8794 (java) S 8781 8784 5929 0 -1 4202560 322 0 0 0 113 7 0 0 20 0 19 0 4103527 9856040960 103086 33554432000 1073741824 1073778376 140737276904288 139916122491048 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8784/tid=8795] ppid=8781 vsize=9625040 CPUtime=1 cores=1,3,5,7
/proc/8784/task/8795/stat : 8795 (java) S 8781 8784 5929 0 -1 4202560 308 0 0 0 96 4 0 0 20 0 19 0 4103528 9856040960 103086 33554432000 1073741824 1073778376 140737276904288 139916110081000 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8784/tid=8796] ppid=8781 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8784/task/8796/stat : 8796 (java) S 8781 8784 5929 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 4103528 9856040960 103086 33554432000 1073741824 1073778376 140737276904288 139916109027064 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8784/tid=8797] ppid=8781 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8784/task/8797/stat : 8797 (java) S 8781 8784 5929 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 4103529 9856040960 103086 33554432000 1073741824 1073778376 140737276904288 139916107974152 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8784/tid=8798] ppid=8781 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8784/task/8798/stat : 8798 (java) S 8781 8784 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4103531 9856040960 103086 33554432000 1073741824 1073778376 140737276904288 139916106922640 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8784/tid=8799] ppid=8781 vsize=9625040 CPUtime=0.24 cores=1,3,5,7
/proc/8784/task/8799/stat : 8799 (java) S 8781 8784 5929 0 -1 4202560 3331 0 0 0 24 0 0 0 20 0 19 0 4103531 9856040960 103086 33554432000 1073741824 1073778376 140737276904288 139916105869752 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8784/tid=8800] ppid=8781 vsize=9625040 CPUtime=0.21 cores=1,3,5,7
/proc/8784/task/8800/stat : 8800 (java) S 8781 8784 5929 0 -1 4202560 2274 0 0 0 21 0 0 0 20 0 19 0 4103531 9856040960 103086 33554432000 1073741824 1073778376 140737276904288 139916104816952 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8784/tid=8801] ppid=8781 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8784/task/8801/stat : 8801 (java) S 8781 8784 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4103531 9856040960 103086 33554432000 1073741824 1073778376 140737276904288 139916103764344 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8784/tid=8802] ppid=8781 vsize=9625040 CPUtime=0.62 cores=1,3,5,7
/proc/8784/task/8802/stat : 8802 (java) S 8781 8784 5929 0 -1 4202560 104 0 0 0 25 37 0 0 20 0 19 0 4103531 9856040960 103086 33554432000 1073741824 1073778376 140737276904288 139916102711752 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8784/tid=8803] ppid=8781 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8784/task/8803/stat : 8803 (java) S 8781 8784 5929 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4103541 9856040960 103086 33554432000 1073741824 1073778376 140737276904288 139916101658280 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1789.48
Current children cumulated vsize (KiB) 9625040
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1792.8 s]
/proc/loadavg: 2.26 2.20 2.16 4/213 9002
/proc/meminfo: memFree=29679672/32872528 swapFree=1243664/1390832
[pid=8784] ppid=8781 vsize=9625040 CPUtime=1800.03 cores=1,3,5,7
/proc/8784/stat : 8784 (java) S 8781 8784 5929 0 -1 4202496 13368 0 1 0 179907 96 0 0 20 0 19 0 4103525 9856040960 102093 33554432000 1073741824 1073778376 140737276904288 140737276895424 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/8784/statm: 2406260 102093 2280 9 0 2396937 0
[pid=8784/tid=8786] ppid=8781 vsize=9625040 CPUtime=1789.17 cores=1,3,5,7
/proc/8784/task/8786/stat : 8786 (java) R 8781 8784 5929 0 -1 4202560 2572 0 1 0 178883 34 0 0 20 0 19 0 4103526 9856040960 102093 33554432000 1073741824 1073778376 140737276904288 139916285971760 139916158146119 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=8784/tid=8787] ppid=8781 vsize=9625040 CPUtime=1.05 cores=1,3,5,7
/proc/8784/task/8787/stat : 8787 (java) S 8781 8784 5929 0 -1 4202560 465 0 0 0 100 5 0 0 20 0 19 0 4103527 9856040960 102093 33554432000 1073741824 1073778376 140737276904288 139916129860648 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8784/tid=8788] ppid=8781 vsize=9625040 CPUtime=1.28 cores=1,3,5,7
/proc/8784/task/8788/stat : 8788 (java) S 8781 8784 5929 0 -1 4202560 384 0 0 0 120 8 0 0 20 0 19 0 4103527 9856040960 102093 33554432000 1073741824 1073778376 140737276904288 139916128807848 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8784/tid=8789] ppid=8781 vsize=9625040 CPUtime=1.12 cores=1,3,5,7
/proc/8784/task/8789/stat : 8789 (java) S 8781 8784 5929 0 -1 4202560 640 0 0 0 105 7 0 0 20 0 19 0 4103527 9856040960 102093 33554432000 1073741824 1073778376 140737276904288 139916127755048 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8784/tid=8790] ppid=8781 vsize=9625040 CPUtime=1.12 cores=1,3,5,7
/proc/8784/task/8790/stat : 8790 (java) S 8781 8784 5929 0 -1 4202560 494 0 0 0 105 7 0 0 20 0 19 0 4103527 9856040960 102093 33554432000 1073741824 1073778376 140737276904288 139916126702248 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8784/tid=8791] ppid=8781 vsize=9625040 CPUtime=1.07 cores=1,3,5,7
/proc/8784/task/8791/stat : 8791 (java) S 8781 8784 5929 0 -1 4202560 469 0 0 0 100 7 0 0 20 0 19 0 4103527 9856040960 102093 33554432000 1073741824 1073778376 140737276904288 139916125649448 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8784/tid=8792] ppid=8781 vsize=9625040 CPUtime=1.05 cores=1,3,5,7
/proc/8784/task/8792/stat : 8792 (java) S 8781 8784 5929 0 -1 4202560 211 0 0 0 100 5 0 0 20 0 19 0 4103527 9856040960 102093 33554432000 1073741824 1073778376 140737276904288 139916124596648 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8784/tid=8793] ppid=8781 vsize=9625040 CPUtime=1.1 cores=1,3,5,7
/proc/8784/task/8793/stat : 8793 (java) S 8781 8784 5929 0 -1 4202560 534 0 0 0 102 8 0 0 20 0 19 0 4103527 9856040960 102093 33554432000 1073741824 1073778376 140737276904288 139916123543848 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8784/tid=8794] ppid=8781 vsize=9625040 CPUtime=1.21 cores=1,3,5,7
/proc/8784/task/8794/stat : 8794 (java) S 8781 8784 5929 0 -1 4202560 322 0 0 0 114 7 0 0 20 0 19 0 4103527 9856040960 102093 33554432000 1073741824 1073778376 140737276904288 139916122491048 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8784/tid=8795] ppid=8781 vsize=9625040 CPUtime=1 cores=1,3,5,7
/proc/8784/task/8795/stat : 8795 (java) S 8781 8784 5929 0 -1 4202560 310 0 0 0 96 4 0 0 20 0 19 0 4103528 9856040960 102093 33554432000 1073741824 1073778376 140737276904288 139916110081000 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8784/tid=8796] ppid=8781 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8784/task/8796/stat : 8796 (java) S 8781 8784 5929 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 4103528 9856040960 102093 33554432000 1073741824 1073778376 140737276904288 139916109027064 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8784/tid=8797] ppid=8781 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8784/task/8797/stat : 8797 (java) S 8781 8784 5929 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 4103529 9856040960 102093 33554432000 1073741824 1073778376 140737276904288 139916107974152 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8784/tid=8798] ppid=8781 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8784/task/8798/stat : 8798 (java) S 8781 8784 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4103531 9856040960 102093 33554432000 1073741824 1073778376 140737276904288 139916106922640 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8784/tid=8799] ppid=8781 vsize=9625040 CPUtime=0.24 cores=1,3,5,7
/proc/8784/task/8799/stat : 8799 (java) S 8781 8784 5929 0 -1 4202560 3331 0 0 0 24 0 0 0 20 0 19 0 4103531 9856040960 102093 33554432000 1073741824 1073778376 140737276904288 139916105869752 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8784/tid=8800] ppid=8781 vsize=9625040 CPUtime=0.21 cores=1,3,5,7
/proc/8784/task/8800/stat : 8800 (java) S 8781 8784 5929 0 -1 4202560 2274 0 0 0 21 0 0 0 20 0 19 0 4103531 9856040960 102093 33554432000 1073741824 1073778376 140737276904288 139916104816952 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8784/tid=8801] ppid=8781 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8784/task/8801/stat : 8801 (java) S 8781 8784 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4103531 9856040960 102093 33554432000 1073741824 1073778376 140737276904288 139916103764344 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8784/tid=8802] ppid=8781 vsize=9625040 CPUtime=0.62 cores=1,3,5,7
/proc/8784/task/8802/stat : 8802 (java) S 8781 8784 5929 0 -1 4202560 104 0 0 0 25 37 0 0 20 0 19 0 4103531 9856040960 102093 33554432000 1073741824 1073778376 140737276904288 139916102711752 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8784/tid=8803] ppid=8781 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8784/task/8803/stat : 8803 (java) S 8781 8784 5929 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4103541 9856040960 102093 33554432000 1073741824 1073778376 140737276904288 139916101658280 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 9625040
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 8784 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 1792.84
CPU time (s): 1800.56
CPU user time (s): 1799.13
CPU system time (s): 1.43178
CPU usage (%): 100.431
Max. virtual memory (cumulated for all children) (KiB): 9625040
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.13
system time used= 1.43178
maximum resident set size= 634424
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13410
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1744
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 40218
involuntary context switches= 21528
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.0912 second user time and 11.8362 second system time
The end