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-4080833-1465269705/watcher-4080833-1465269705 -o /tmp/evaluation-result-4080833-1465269705/solver-4080833-1465269705 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node130-1465253566-15535 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4080833-1465269705.opb
pid=22751
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: 3.98 4.13 4.16 4/197 22754
/proc/meminfo: memFree=26590676/32872528 swapFree=15784/1434320
[pid=22754] ppid=22751 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/22754/stat : 22754 (java) R 22751 22754 15518 0 -1 4202496 329 0 0 0 0 0 0 0 20 0 1 0 108903888 9515008 184 33554432000 1073741824 1073778376 140734378188480 140734378179704 214369463735 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22754/statm: 2325 184 142 9 0 73 0
[startup+0.100149 s]
/proc/loadavg: 3.98 4.13 4.16 4/197 22754
/proc/meminfo: memFree=26590676/32872528 swapFree=15784/1434320
[pid=22754] ppid=22751 vsize=9558476 CPUtime=0.08 cores=1,3,5,7
/proc/22754/stat : 22754 (java) S 22751 22754 15518 0 -1 4202496 4324 0 1 0 8 0 0 0 20 0 18 0 108903888 9787879424 5445 33554432000 1073741824 1073778376 140737083226624 140737083217760 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22754/statm: 2389619 5448 2097 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558476
[startup+0.200339 s]
/proc/loadavg: 3.98 4.13 4.16 4/197 22754
/proc/meminfo: memFree=26590676/32872528 swapFree=15784/1434320
[pid=22754] ppid=22751 vsize=9558476 CPUtime=0.27 cores=1,3,5,7
/proc/22754/stat : 22754 (java) S 22751 22754 15518 0 -1 4202496 4918 0 1 0 26 1 0 0 20 0 18 0 108903888 9787879424 8524 33554432000 1073741824 1073778376 140737083226624 140737083217760 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22754/statm: 2389619 8524 2207 9 0 2380296 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 9558476
[startup+0.300349 s]
/proc/loadavg: 3.98 4.13 4.16 4/197 22754
/proc/meminfo: memFree=26590676/32872528 swapFree=15784/1434320
[pid=22754] ppid=22751 vsize=9558476 CPUtime=0.47 cores=1,3,5,7
/proc/22754/stat : 22754 (java) S 22751 22754 15518 0 -1 4202496 6282 0 1 0 46 1 0 0 20 0 18 0 108903888 9787879424 11858 33554432000 1073741824 1073778376 140737083226624 140737083217760 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22754/statm: 2389619 11858 2232 9 0 2380296 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 9558476
[startup+0.700189 s]
/proc/loadavg: 3.98 4.13 4.16 4/197 22754
/proc/meminfo: memFree=26590676/32872528 swapFree=15784/1434320
[pid=22754] ppid=22751 vsize=9558476 CPUtime=0.96 cores=1,3,5,7
/proc/22754/stat : 22754 (java) S 22751 22754 15518 0 -1 4202496 6459 0 1 0 91 5 0 0 20 0 18 0 108903888 9787879424 43172 33554432000 1073741824 1073778376 140737083226624 140737083217760 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22754/statm: 2389619 43172 2244 9 0 2380296 0
Current children cumulated CPU time (s) 0.96
Current children cumulated vsize (KiB) 9558476
[startup+1.50083 s]
/proc/loadavg: 3.98 4.13 4.16 4/215 22772
/proc/meminfo: memFree=26255992/32872528 swapFree=15784/1434320
[pid=22754] ppid=22751 vsize=9558476 CPUtime=2.34 cores=1,3,5,7
/proc/22754/stat : 22754 (java) S 22751 22754 15518 0 -1 4202496 9177 0 1 0 214 20 0 0 20 0 18 0 108903888 9787879424 154339 33554432000 1073741824 1073778376 140737083226624 140737083217760 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22754/statm: 2389619 154339 2253 9 0 2380296 0
[pid=22754/tid=22756] ppid=22751 vsize=9558476 CPUtime=1.28 cores=1,3,5,7
/proc/22754/task/22756/stat : 22756 (java) R 22751 22754 15518 0 -1 4202560 2806 0 1 0 121 7 0 0 20 0 18 0 108903889 9787879424 154339 33554432000 1073741824 1073778376 140737083226624 140390555019128 140390418556488 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=22754/tid=22757] ppid=22751 vsize=9558476 CPUtime=0.1 cores=1,3,5,7
/proc/22754/task/22757/stat : 22757 (java) S 22751 22754 15518 0 -1 4202560 83 0 0 0 7 3 0 0 20 0 18 0 108903890 9787879424 154339 33554432000 1073741824 1073778376 140737083226624 140390544083752 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22754/tid=22758] ppid=22751 vsize=9558476 CPUtime=0.07 cores=1,3,5,7
/proc/22754/task/22758/stat : 22758 (java) S 22751 22754 15518 0 -1 4202560 36 0 0 0 5 2 0 0 20 0 18 0 108903890 9787879424 154339 33554432000 1073741824 1073778376 140737083226624 140390543030952 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22754/tid=22759] ppid=22751 vsize=9558476 CPUtime=0.05 cores=1,3,5,7
/proc/22754/task/22759/stat : 22759 (java) S 22751 22754 15518 0 -1 4202560 111 0 0 0 4 1 0 0 20 0 18 0 108903890 9787879424 154339 33554432000 1073741824 1073778376 140737083226624 140390541978664 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22754/tid=22760] ppid=22751 vsize=9558476 CPUtime=0.08 cores=1,3,5,7
/proc/22754/task/22760/stat : 22760 (java) S 22751 22754 15518 0 -1 4202560 177 0 0 0 6 2 0 0 20 0 18 0 108903890 9787879424 154339 33554432000 1073741824 1073778376 140737083226624 140390540925864 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22754/tid=22761] ppid=22751 vsize=9558476 CPUtime=0.1 cores=1,3,5,7
/proc/22754/task/22761/stat : 22761 (java) S 22751 22754 15518 0 -1 4202560 60 0 0 0 7 3 0 0 20 0 18 0 108903890 9787879424 154339 33554432000 1073741824 1073778376 140737083226624 140390539872552 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22754/tid=22762] ppid=22751 vsize=9558476 CPUtime=0.05 cores=1,3,5,7
/proc/22754/task/22762/stat : 22762 (java) S 22751 22754 15518 0 -1 4202560 27 0 0 0 3 2 0 0 20 0 18 0 108903890 9787879424 154339 33554432000 1073741824 1073778376 140737083226624 140390538819752 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22754/tid=22763] ppid=22751 vsize=9558476 CPUtime=0.05 cores=1,3,5,7
/proc/22754/task/22763/stat : 22763 (java) S 22751 22754 15518 0 -1 4202560 158 0 0 0 5 0 0 0 20 0 18 0 108903890 9787879424 154339 33554432000 1073741824 1073778376 140737083226624 140390537767464 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22754/tid=22764] ppid=22751 vsize=9558476 CPUtime=0.05 cores=1,3,5,7
/proc/22754/task/22764/stat : 22764 (java) S 22751 22754 15518 0 -1 4202560 40 0 0 0 4 1 0 0 20 0 18 0 108903890 9787879424 154339 33554432000 1073741824 1073778376 140737083226624 140390536714664 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22754/tid=22765] ppid=22751 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/22754/task/22765/stat : 22765 (java) S 22751 22754 15518 0 -1 4202560 459 0 0 0 0 0 0 0 20 0 18 0 108903891 9787879424 154339 33554432000 1073741824 1073778376 140737083226624 140390379154152 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22754/tid=22766] ppid=22751 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/22754/task/22766/stat : 22766 (java) S 22751 22754 15518 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 18 0 108903891 9787879424 154339 33554432000 1073741824 1073778376 140737083226624 140390378100216 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22754/tid=22767] ppid=22751 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/22754/task/22767/stat : 22767 (java) S 22751 22754 15518 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 108903892 9787879424 154339 33554432000 1073741824 1073778376 140737083226624 140390377047816 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22754/tid=22768] ppid=22751 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/22754/task/22768/stat : 22768 (java) S 22751 22754 15518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 108903894 9787879424 154339 33554432000 1073741824 1073778376 140737083226624 140390375996304 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22754/tid=22769] ppid=22751 vsize=9558476 CPUtime=0.19 cores=1,3,5,7
/proc/22754/task/22769/stat : 22769 (java) S 22751 22754 15518 0 -1 4202560 2516 0 0 0 19 0 0 0 20 0 18 0 108903894 9787879424 154339 33554432000 1073741824 1073778376 140737083226624 140390374942904 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22754/tid=22770] ppid=22751 vsize=9558476 CPUtime=0.17 cores=1,3,5,7
/proc/22754/task/22770/stat : 22770 (java) S 22751 22754 15518 0 -1 4202560 1450 0 0 0 17 0 0 0 20 0 18 0 108903894 9787879424 154339 33554432000 1073741824 1073778376 140737083226624 140390373890104 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22754/tid=22771] ppid=22751 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/22754/task/22771/stat : 22771 (java) S 22751 22754 15518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 108903894 9787879424 154339 33554432000 1073741824 1073778376 140737083226624 140390372838008 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22754/tid=22772] ppid=22751 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/22754/task/22772/stat : 22772 (java) S 22751 22754 15518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 108903894 9787879424 154339 33554432000 1073741824 1073778376 140737083226624 140390371785416 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.34
Current children cumulated vsize (KiB) 9558476
[startup+3.10084 s]
/proc/loadavg: 3.98 4.13 4.16 4/215 22772
/proc/meminfo: memFree=25559864/32872528 swapFree=15784/1434320
[pid=22754] ppid=22751 vsize=9558476 CPUtime=4.4 cores=1,3,5,7
/proc/22754/stat : 22754 (java) S 22751 22754 15518 0 -1 4202496 11820 0 1 0 398 42 0 0 20 0 18 0 108903888 9787879424 304000 33554432000 1073741824 1073778376 140737083226624 140737083217760 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22754/statm: 2389619 304000 2253 9 0 2380296 0
[pid=22754/tid=22756] ppid=22751 vsize=9558476 CPUtime=2.73 cores=1,3,5,7
/proc/22754/task/22756/stat : 22756 (java) R 22751 22754 15518 0 -1 4202560 3508 0 1 0 257 16 0 0 20 0 18 0 108903889 9787879424 304000 33554432000 1073741824 1073778376 140737083226624 140390555019384 140390562786391 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=22754/tid=22757] ppid=22751 vsize=9558476 CPUtime=0.14 cores=1,3,5,7
/proc/22754/task/22757/stat : 22757 (java) S 22751 22754 15518 0 -1 4202560 99 0 0 0 10 4 0 0 20 0 18 0 108903890 9787879424 304000 33554432000 1073741824 1073778376 140737083226624 140390544083752 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22754/tid=22758] ppid=22751 vsize=9558476 CPUtime=0.13 cores=1,3,5,7
/proc/22754/task/22758/stat : 22758 (java) S 22751 22754 15518 0 -1 4202560 122 0 0 0 11 2 0 0 20 0 18 0 108903890 9787879424 304000 33554432000 1073741824 1073778376 140737083226624 140390543030952 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22754/tid=22759] ppid=22751 vsize=9558476 CPUtime=0.14 cores=1,3,5,7
/proc/22754/task/22759/stat : 22759 (java) S 22751 22754 15518 0 -1 4202560 394 0 0 0 11 3 0 0 20 0 18 0 108903890 9787879424 304000 33554432000 1073741824 1073778376 140737083226624 140390541978664 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22754/tid=22760] ppid=22751 vsize=9558476 CPUtime=0.14 cores=1,3,5,7
/proc/22754/task/22760/stat : 22760 (java) S 22751 22754 15518 0 -1 4202560 551 0 0 0 11 3 0 0 20 0 18 0 108903890 9787879424 304000 33554432000 1073741824 1073778376 140737083226624 140390540925864 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22754/tid=22761] ppid=22751 vsize=9558476 CPUtime=0.18 cores=1,3,5,7
/proc/22754/task/22761/stat : 22761 (java) S 22751 22754 15518 0 -1 4202560 90 0 0 0 13 5 0 0 20 0 18 0 108903890 9787879424 304000 33554432000 1073741824 1073778376 140737083226624 140390539872552 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22754/tid=22762] ppid=22751 vsize=9558476 CPUtime=0.16 cores=1,3,5,7
/proc/22754/task/22762/stat : 22762 (java) S 22751 22754 15518 0 -1 4202560 465 0 0 0 12 4 0 0 20 0 18 0 108903890 9787879424 304000 33554432000 1073741824 1073778376 140737083226624 140390538819752 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22754/tid=22763] ppid=22751 vsize=9558476 CPUtime=0.14 cores=1,3,5,7
/proc/22754/task/22763/stat : 22763 (java) S 22751 22754 15518 0 -1 4202560 188 0 0 0 11 3 0 0 20 0 18 0 108903890 9787879424 304000 33554432000 1073741824 1073778376 140737083226624 140390537767464 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22754/tid=22764] ppid=22751 vsize=9558476 CPUtime=0.11 cores=1,3,5,7
/proc/22754/task/22764/stat : 22764 (java) S 22751 22754 15518 0 -1 4202560 212 0 0 0 8 3 0 0 20 0 18 0 108903890 9787879424 304000 33554432000 1073741824 1073778376 140737083226624 140390536714664 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22754/tid=22765] ppid=22751 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/22754/task/22765/stat : 22765 (java) S 22751 22754 15518 0 -1 4202560 971 0 0 0 0 0 0 0 20 0 18 0 108903891 9787879424 304000 33554432000 1073741824 1073778376 140737083226624 140390379154152 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22754/tid=22766] ppid=22751 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/22754/task/22766/stat : 22766 (java) S 22751 22754 15518 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 18 0 108903891 9787879424 304000 33554432000 1073741824 1073778376 140737083226624 140390378100216 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22754/tid=22767] ppid=22751 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/22754/task/22767/stat : 22767 (java) S 22751 22754 15518 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 108903892 9787879424 304000 33554432000 1073741824 1073778376 140737083226624 140390377047816 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22754/tid=22768] ppid=22751 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/22754/task/22768/stat : 22768 (java) S 22751 22754 15518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 108903894 9787879424 304000 33554432000 1073741824 1073778376 140737083226624 140390375996304 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22754/tid=22769] ppid=22751 vsize=9558476 CPUtime=0.19 cores=1,3,5,7
/proc/22754/task/22769/stat : 22769 (java) S 22751 22754 15518 0 -1 4202560 2516 0 0 0 19 0 0 0 20 0 18 0 108903894 9787879424 304000 33554432000 1073741824 1073778376 140737083226624 140390374942904 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22754/tid=22770] ppid=22751 vsize=9558476 CPUtime=0.17 cores=1,3,5,7
/proc/22754/task/22770/stat : 22770 (java) S 22751 22754 15518 0 -1 4202560 1450 0 0 0 17 0 0 0 20 0 18 0 108903894 9787879424 304000 33554432000 1073741824 1073778376 140737083226624 140390373890104 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22754/tid=22771] ppid=22751 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/22754/task/22771/stat : 22771 (java) S 22751 22754 15518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 108903894 9787879424 304000 33554432000 1073741824 1073778376 140737083226624 140390372838008 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22754/tid=22772] ppid=22751 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/22754/task/22772/stat : 22772 (java) S 22751 22754 15518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 108903894 9787879424 304000 33554432000 1073741824 1073778376 140737083226624 140390371785416 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 4.4
Current children cumulated vsize (KiB) 9558476
[startup+6.30081 s]
/proc/loadavg: 3.90 4.11 4.15 4/215 22772
/proc/meminfo: memFree=24358572/32872528 swapFree=15784/1434320
[pid=22754] ppid=22751 vsize=9558476 CPUtime=8.13 cores=1,3,5,7
/proc/22754/stat : 22754 (java) S 22751 22754 15518 0 -1 4202496 16176 0 1 0 750 63 0 0 20 0 18 0 108903888 9787879424 558877 33554432000 1073741824 1073778376 140737083226624 140737083217760 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22754/statm: 2389619 558877 2263 9 0 2380296 0
[pid=22754/tid=22756] ppid=22751 vsize=9558476 CPUtime=5.84 cores=1,3,5,7
/proc/22754/task/22756/stat : 22756 (java) R 22751 22754 15518 0 -1 4202560 3989 0 1 0 553 31 0 0 20 0 18 0 108903889 9787879424 558877 33554432000 1073741824 1073778376 140737083226624 140390555013072 140390418581928 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=22754/tid=22757] ppid=22751 vsize=9558476 CPUtime=0.18 cores=1,3,5,7
/proc/22754/task/22757/stat : 22757 (java) S 22751 22754 15518 0 -1 4202560 356 0 0 0 14 4 0 0 20 0 18 0 108903890 9787879424 558877 33554432000 1073741824 1073778376 140737083226624 140390544083752 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22754/tid=22758] ppid=22751 vsize=9558476 CPUtime=0.21 cores=1,3,5,7
/proc/22754/task/22758/stat : 22758 (java) S 22751 22754 15518 0 -1 4202560 147 0 0 0 18 3 0 0 20 0 18 0 108903890 9787879424 558877 33554432000 1073741824 1073778376 140737083226624 140390543030952 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22754/tid=22759] ppid=22751 vsize=9558476 CPUtime=0.16 cores=1,3,5,7
/proc/22754/task/22759/stat : 22759 (java) S 22751 22754 15518 0 -1 4202560 422 0 0 0 13 3 0 0 20 0 18 0 108903890 9787879424 558877 33554432000 1073741824 1073778376 140737083226624 140390541978664 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22754/tid=22760] ppid=22751 vsize=9558476 CPUtime=0.16 cores=1,3,5,7
/proc/22754/task/22760/stat : 22760 (java) S 22751 22754 15518 0 -1 4202560 555 0 0 0 13 3 0 0 20 0 18 0 108903890 9787879424 558877 33554432000 1073741824 1073778376 140737083226624 140390540925864 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22754/tid=22761] ppid=22751 vsize=9558476 CPUtime=0.2 cores=1,3,5,7
/proc/22754/task/22761/stat : 22761 (java) S 22751 22754 15518 0 -1 4202560 266 0 0 0 15 5 0 0 20 0 18 0 108903890 9787879424 558877 33554432000 1073741824 1073778376 140737083226624 140390539872552 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22754/tid=22762] ppid=22751 vsize=9558476 CPUtime=0.2 cores=1,3,5,7
/proc/22754/task/22762/stat : 22762 (java) S 22751 22754 15518 0 -1 4202560 478 0 0 0 15 5 0 0 20 0 18 0 108903890 9787879424 558877 33554432000 1073741824 1073778376 140737083226624 140390538819752 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22754/tid=22763] ppid=22751 vsize=9558476 CPUtime=0.16 cores=1,3,5,7
/proc/22754/task/22763/stat : 22763 (java) S 22751 22754 15518 0 -1 4202560 215 0 0 0 12 4 0 0 20 0 18 0 108903890 9787879424 558877 33554432000 1073741824 1073778376 140737083226624 140390537767464 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22754/tid=22764] ppid=22751 vsize=9558476 CPUtime=0.19 cores=1,3,5,7
/proc/22754/task/22764/stat : 22764 (java) S 22751 22754 15518 0 -1 4202560 260 0 0 0 15 4 0 0 20 0 18 0 108903890 9787879424 558877 33554432000 1073741824 1073778376 140737083226624 140390536714664 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22754/tid=22765] ppid=22751 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/22754/task/22765/stat : 22765 (java) S 22751 22754 15518 0 -1 4202560 1263 0 0 0 0 0 0 0 20 0 18 0 108903891 9787879424 558877 33554432000 1073741824 1073778376 140737083226624 140390379154152 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22754/tid=22766] ppid=22751 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/22754/task/22766/stat : 22766 (java) S 22751 22754 15518 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 18 0 108903891 9787879424 558877 33554432000 1073741824 1073778376 140737083226624 140390378100216 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22754/tid=22767] ppid=22751 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/22754/task/22767/stat : 22767 (java) S 22751 22754 15518 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 108903892 9787879424 558877 33554432000 1073741824 1073778376 140737083226624 140390377047816 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22754/tid=22768] ppid=22751 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/22754/task/22768/stat : 22768 (java) S 22751 22754 15518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 108903894 9787879424 558877 33554432000 1073741824 1073778376 140737083226624 140390375996304 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22754/tid=22769] ppid=22751 vsize=9558476 CPUtime=0.29 cores=1,3,5,7
/proc/22754/task/22769/stat : 22769 (java) S 22751 22754 15518 0 -1 4202560 2684 0 0 0 29 0 0 0 20 0 18 0 108903894 9787879424 558877 33554432000 1073741824 1073778376 140737083226624 140390374942904 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22754/tid=22770] ppid=22751 vsize=9558476 CPUtime=0.37 cores=1,3,5,7
/proc/22754/task/22770/stat : 22770 (java) S 22751 22754 15518 0 -1 4202560 4287 0 0 0 37 0 0 0 20 0 18 0 108903894 9787879424 558877 33554432000 1073741824 1073778376 140737083226624 140390373890104 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22754/tid=22771] ppid=22751 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/22754/task/22771/stat : 22771 (java) S 22751 22754 15518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 108903894 9787879424 558877 33554432000 1073741824 1073778376 140737083226624 140390372838008 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22754/tid=22772] ppid=22751 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/22754/task/22772/stat : 22772 (java) S 22751 22754 15518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 108903894 9787879424 558877 33554432000 1073741824 1073778376 140737083226624 140390371785416 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 8.13
Current children cumulated vsize (KiB) 9558476
[startup+12.7009 s]
/proc/loadavg: 3.91 4.11 4.15 5/219 22776
/proc/meminfo: memFree=23681192/32872528 swapFree=15784/1434320
[pid=22754] ppid=22751 vsize=9824732 CPUtime=21.32 cores=1,3,5,7
/proc/22754/stat : 22754 (java) S 22751 22754 15518 0 -1 4202496 21773 0 1 0 2031 101 0 0 20 0 22 0 108903888 10060525568 728005 33554432000 1073741824 1073778376 140737083226624 140737083217760 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22754/statm: 2456183 728005 2286 9 0 2446860 0
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 4.36 4.31 4.22 5/219 22881
/proc/meminfo: memFree=23807932/32872528 swapFree=15784/1434320
[pid=22754] ppid=22751 vsize=9824732 CPUtime=1652.04 cores=1,3,5,7
/proc/22754/stat : 22754 (java) S 22751 22754 15518 0 -1 4202496 28213 0 1 0 164983 221 0 0 20 0 22 0 108903888 10060525568 1011184 33554432000 1073741824 1073778376 140737083226624 140737083217760 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22754/statm: 2456183 1011184 2291 9 0 2446860 0
[pid=22754/tid=22756] ppid=22751 vsize=9824732 CPUtime=6.56 cores=1,3,5,7
/proc/22754/task/22756/stat : 22756 (java) S 22751 22754 15518 0 -1 4202560 4010 0 1 0 624 32 0 0 20 0 22 0 108903889 10060525568 1011184 33554432000 1073741824 1073778376 140737083226624 140390555022200 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22754/tid=22757] ppid=22751 vsize=9824732 CPUtime=4.03 cores=1,3,5,7
/proc/22754/task/22757/stat : 22757 (java) S 22751 22754 15518 0 -1 4202560 1268 0 0 0 381 22 0 0 20 0 22 0 108903890 10060525568 1011184 33554432000 1073741824 1073778376 140737083226624 140390544083752 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22754/tid=22758] ppid=22751 vsize=9824732 CPUtime=4.17 cores=1,3,5,7
/proc/22754/task/22758/stat : 22758 (java) S 22751 22754 15518 0 -1 4202560 1210 0 0 0 399 18 0 0 20 0 22 0 108903890 10060525568 1011184 33554432000 1073741824 1073778376 140737083226624 140390543030952 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22754/tid=22759] ppid=22751 vsize=9824732 CPUtime=4.01 cores=1,3,5,7
/proc/22754/task/22759/stat : 22759 (java) S 22751 22754 15518 0 -1 4202560 903 0 0 0 383 18 0 0 20 0 22 0 108903890 10060525568 1011184 33554432000 1073741824 1073778376 140737083226624 140390541978664 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22754/tid=22760] ppid=22751 vsize=9824732 CPUtime=4.08 cores=1,3,5,7
/proc/22754/task/22760/stat : 22760 (java) S 22751 22754 15518 0 -1 4202560 1133 0 0 0 391 17 0 0 20 0 22 0 108903890 10060525568 1011184 33554432000 1073741824 1073778376 140737083226624 140390540925864 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22754/tid=22761] ppid=22751 vsize=9824732 CPUtime=4.13 cores=1,3,5,7
/proc/22754/task/22761/stat : 22761 (java) S 22751 22754 15518 0 -1 4202560 1144 0 0 0 394 19 0 0 20 0 22 0 108903890 10060525568 1011184 33554432000 1073741824 1073778376 140737083226624 140390539872552 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22754/tid=22762] ppid=22751 vsize=9824732 CPUtime=4.2 cores=1,3,5,7
/proc/22754/task/22762/stat : 22762 (java) S 22751 22754 15518 0 -1 4202560 1158 0 0 0 401 19 0 0 20 0 22 0 108903890 10060525568 1011184 33554432000 1073741824 1073778376 140737083226624 140390538819752 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22754/tid=22763] ppid=22751 vsize=9824732 CPUtime=4.18 cores=1,3,5,7
/proc/22754/task/22763/stat : 22763 (java) S 22751 22754 15518 0 -1 4202560 865 0 0 0 403 15 0 0 20 0 22 0 108903890 10060525568 1011184 33554432000 1073741824 1073778376 140737083226624 140390537767464 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22754/tid=22764] ppid=22751 vsize=9824732 CPUtime=4.07 cores=1,3,5,7
/proc/22754/task/22764/stat : 22764 (java) S 22751 22754 15518 0 -1 4202560 832 0 0 0 389 18 0 0 20 0 22 0 108903890 10060525568 1011184 33554432000 1073741824 1073778376 140737083226624 140390536714664 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22754/tid=22765] ppid=22751 vsize=9824732 CPUtime=2.32 cores=1,3,5,7
/proc/22754/task/22765/stat : 22765 (java) S 22751 22754 15518 0 -1 4202560 2659 0 0 0 215 17 0 0 20 0 22 0 108903891 10060525568 1011184 33554432000 1073741824 1073778376 140737083226624 140390379154152 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22754/tid=22766] ppid=22751 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22754/task/22766/stat : 22766 (java) S 22751 22754 15518 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 108903891 10060525568 1011184 33554432000 1073741824 1073778376 140737083226624 140390378100216 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22754/tid=22767] ppid=22751 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22754/task/22767/stat : 22767 (java) S 22751 22754 15518 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 108903892 10060525568 1011184 33554432000 1073741824 1073778376 140737083226624 140390377047816 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22754/tid=22768] ppid=22751 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22754/task/22768/stat : 22768 (java) S 22751 22754 15518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 108903894 10060525568 1011184 33554432000 1073741824 1073778376 140737083226624 140390375996304 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22754/tid=22769] ppid=22751 vsize=9824732 CPUtime=0.83 cores=1,3,5,7
/proc/22754/task/22769/stat : 22769 (java) S 22751 22754 15518 0 -1 4202560 6612 0 0 0 82 1 0 0 20 0 22 0 108903894 10060525568 1011184 33554432000 1073741824 1073778376 140737083226624 140390374942904 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22754/tid=22770] ppid=22751 vsize=9824732 CPUtime=1.14 cores=1,3,5,7
/proc/22754/task/22770/stat : 22770 (java) S 22751 22754 15518 0 -1 4202560 4342 0 0 0 114 0 0 0 20 0 22 0 108903894 10060525568 1011184 33554432000 1073741824 1073778376 140737083226624 140390373890104 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22754/tid=22771] ppid=22751 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22754/task/22771/stat : 22771 (java) S 22751 22754 15518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 108903894 10060525568 1011184 33554432000 1073741824 1073778376 140737083226624 140390372838008 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22754/tid=22772] ppid=22751 vsize=9824732 CPUtime=0.34 cores=1,3,5,7
/proc/22754/task/22772/stat : 22772 (java) S 22751 22754 15518 0 -1 4202560 46 0 0 0 16 18 0 0 20 0 22 0 108903894 10060525568 1011184 33554432000 1073741824 1073778376 140737083226624 140390371785416 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22754/tid=22773] ppid=22751 vsize=9824732 CPUtime=804.05 cores=1,3,5,7
/proc/22754/task/22773/stat : 22773 (java) R 22751 22754 15518 0 -1 4202560 653 0 0 0 80385 20 0 0 20 0 22 0 108904586 10060525568 1011184 33554432000 1073741824 1073778376 140737083226624 140390370729584 140390419210836 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=22754/tid=22774] ppid=22751 vsize=9824732 CPUtime=804.1 cores=1,3,5,7
/proc/22754/task/22774/stat : 22774 (java) R 22751 22754 15518 0 -1 4202560 111 0 0 0 80394 16 0 0 20 0 22 0 108904586 10060525568 1011184 33554432000 1073741824 1073778376 140737083226624 140390369675872 140390419018668 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=22754/tid=22775] ppid=22751 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22754/task/22775/stat : 22775 (java) S 22751 22754 15518 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 108904594 10060525568 1011184 33554432000 1073741824 1073778376 140737083226624 140390368626344 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22754/tid=22776] ppid=22751 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22754/task/22776/stat : 22776 (java) S 22751 22754 15518 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 108904594 10060525568 1011184 33554432000 1073741824 1073778376 140737083226624 140390367573544 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1652.04
Current children cumulated vsize (KiB) 9824732
[startup+882.301 s]
/proc/loadavg: 4.28 4.30 4.21 6/219 22882
/proc/meminfo: memFree=23654160/32872528 swapFree=15784/1434320
[pid=22754] ppid=22751 vsize=9824732 CPUtime=1773.08 cores=1,3,5,7
/proc/22754/stat : 22754 (java) S 22751 22754 15518 0 -1 4202496 28333 0 1 0 177082 226 0 0 20 0 22 0 108903888 10060525568 1028637 33554432000 1073741824 1073778376 140737083226624 140737083217760 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22754/statm: 2456183 1028637 2291 9 0 2446860 0
[pid=22754/tid=22756] ppid=22751 vsize=9824732 CPUtime=6.56 cores=1,3,5,7
/proc/22754/task/22756/stat : 22756 (java) S 22751 22754 15518 0 -1 4202560 4011 0 1 0 624 32 0 0 20 0 22 0 108903889 10060525568 1028637 33554432000 1073741824 1073778376 140737083226624 140390555022200 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22754/tid=22757] ppid=22751 vsize=9824732 CPUtime=4.31 cores=1,3,5,7
/proc/22754/task/22757/stat : 22757 (java) S 22751 22754 15518 0 -1 4202560 1275 0 0 0 408 23 0 0 20 0 22 0 108903890 10060525568 1028637 33554432000 1073741824 1073778376 140737083226624 140390544083752 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22754/tid=22758] ppid=22751 vsize=9824732 CPUtime=4.46 cores=1,3,5,7
/proc/22754/task/22758/stat : 22758 (java) S 22751 22754 15518 0 -1 4202560 1218 0 0 0 427 19 0 0 20 0 22 0 108903890 10060525568 1028637 33554432000 1073741824 1073778376 140737083226624 140390543030952 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22754/tid=22759] ppid=22751 vsize=9824732 CPUtime=4.25 cores=1,3,5,7
/proc/22754/task/22759/stat : 22759 (java) S 22751 22754 15518 0 -1 4202560 908 0 0 0 407 18 0 0 20 0 22 0 108903890 10060525568 1028637 33554432000 1073741824 1073778376 140737083226624 140390541978664 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22754/tid=22760] ppid=22751 vsize=9824732 CPUtime=4.42 cores=1,3,5,7
/proc/22754/task/22760/stat : 22760 (java) S 22751 22754 15518 0 -1 4202560 1160 0 0 0 425 17 0 0 20 0 22 0 108903890 10060525568 1028637 33554432000 1073741824 1073778376 140737083226624 140390540925864 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22754/tid=22761] ppid=22751 vsize=9824732 CPUtime=4.41 cores=1,3,5,7
/proc/22754/task/22761/stat : 22761 (java) S 22751 22754 15518 0 -1 4202560 1148 0 0 0 422 19 0 0 20 0 22 0 108903890 10060525568 1028637 33554432000 1073741824 1073778376 140737083226624 140390539872552 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22754/tid=22762] ppid=22751 vsize=9824732 CPUtime=4.55 cores=1,3,5,7
/proc/22754/task/22762/stat : 22762 (java) S 22751 22754 15518 0 -1 4202560 1166 0 0 0 435 20 0 0 20 0 22 0 108903890 10060525568 1028637 33554432000 1073741824 1073778376 140737083226624 140390538819752 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22754/tid=22763] ppid=22751 vsize=9824732 CPUtime=4.45 cores=1,3,5,7
/proc/22754/task/22763/stat : 22763 (java) S 22751 22754 15518 0 -1 4202560 894 0 0 0 430 15 0 0 20 0 22 0 108903890 10060525568 1028637 33554432000 1073741824 1073778376 140737083226624 140390537767464 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22754/tid=22764] ppid=22751 vsize=9824732 CPUtime=4.34 cores=1,3,5,7
/proc/22754/task/22764/stat : 22764 (java) S 22751 22754 15518 0 -1 4202560 836 0 0 0 416 18 0 0 20 0 22 0 108903890 10060525568 1028637 33554432000 1073741824 1073778376 140737083226624 140390536714664 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22754/tid=22765] ppid=22751 vsize=9824732 CPUtime=2.34 cores=1,3,5,7
/proc/22754/task/22765/stat : 22765 (java) S 22751 22754 15518 0 -1 4202560 2663 0 0 0 216 18 0 0 20 0 22 0 108903891 10060525568 1028637 33554432000 1073741824 1073778376 140737083226624 140390379154152 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22754/tid=22766] ppid=22751 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22754/task/22766/stat : 22766 (java) S 22751 22754 15518 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 108903891 10060525568 1028637 33554432000 1073741824 1073778376 140737083226624 140390378100216 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22754/tid=22767] ppid=22751 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22754/task/22767/stat : 22767 (java) S 22751 22754 15518 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 108903892 10060525568 1028637 33554432000 1073741824 1073778376 140737083226624 140390377047816 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22754/tid=22768] ppid=22751 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22754/task/22768/stat : 22768 (java) S 22751 22754 15518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 108903894 10060525568 1028637 33554432000 1073741824 1073778376 140737083226624 140390375996304 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22754/tid=22769] ppid=22751 vsize=9824732 CPUtime=0.83 cores=1,3,5,7
/proc/22754/task/22769/stat : 22769 (java) S 22751 22754 15518 0 -1 4202560 6612 0 0 0 82 1 0 0 20 0 22 0 108903894 10060525568 1028637 33554432000 1073741824 1073778376 140737083226624 140390374942904 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22754/tid=22770] ppid=22751 vsize=9824732 CPUtime=1.14 cores=1,3,5,7
/proc/22754/task/22770/stat : 22770 (java) S 22751 22754 15518 0 -1 4202560 4342 0 0 0 114 0 0 0 20 0 22 0 108903894 10060525568 1028637 33554432000 1073741824 1073778376 140737083226624 140390373890104 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22754/tid=22771] ppid=22751 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22754/task/22771/stat : 22771 (java) S 22751 22754 15518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 108903894 10060525568 1028637 33554432000 1073741824 1073778376 140737083226624 140390372838008 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22754/tid=22772] ppid=22751 vsize=9824732 CPUtime=0.36 cores=1,3,5,7
/proc/22754/task/22772/stat : 22772 (java) S 22751 22754 15518 0 -1 4202560 50 0 0 0 17 19 0 0 20 0 22 0 108903894 10060525568 1028637 33554432000 1073741824 1073778376 140737083226624 140390371785416 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22754/tid=22773] ppid=22751 vsize=9824732 CPUtime=863.41 cores=1,3,5,7
/proc/22754/task/22773/stat : 22773 (java) R 22751 22754 15518 0 -1 4202560 669 0 0 0 86320 21 0 0 20 0 22 0 108904586 10060525568 1028637 33554432000 1073741824 1073778376 140737083226624 140390370729600 140390419144817 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=22754/tid=22774] ppid=22751 vsize=9824732 CPUtime=863.46 cores=1,3,5,7
/proc/22754/task/22774/stat : 22774 (java) R 22751 22754 15518 0 -1 4202560 114 0 0 0 86329 17 0 0 20 0 22 0 108904586 10060525568 1028637 33554432000 1073741824 1073778376 140737083226624 140390369675872 140390419018583 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=22754/tid=22775] ppid=22751 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22754/task/22775/stat : 22775 (java) S 22751 22754 15518 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 108904594 10060525568 1028637 33554432000 1073741824 1073778376 140737083226624 140390368626344 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22754/tid=22776] ppid=22751 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22754/task/22776/stat : 22776 (java) S 22751 22754 15518 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 108904594 10060525568 1028637 33554432000 1073741824 1073778376 140737083226624 140390367573544 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1773.08
Current children cumulated vsize (KiB) 9824732
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+895.701 s]
/proc/loadavg: 4.37 4.31 4.22 5/219 22883
/proc/meminfo: memFree=23651428/32872528 swapFree=15784/1434320
[pid=22754] ppid=22751 vsize=9824732 CPUtime=1800.08 cores=1,3,5,7
/proc/22754/stat : 22754 (java) S 22751 22754 15518 0 -1 4202496 28545 0 1 0 179781 227 0 0 20 0 22 0 108903888 10060525568 1032421 33554432000 1073741824 1073778376 140737083226624 140737083217760 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22754/statm: 2456183 1032421 2291 9 0 2446860 0
[pid=22754/tid=22756] ppid=22751 vsize=9824732 CPUtime=6.57 cores=1,3,5,7
/proc/22754/task/22756/stat : 22756 (java) S 22751 22754 15518 0 -1 4202560 4011 0 1 0 625 32 0 0 20 0 22 0 108903889 10060525568 1032421 33554432000 1073741824 1073778376 140737083226624 140390555022200 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22754/tid=22757] ppid=22751 vsize=9824732 CPUtime=4.39 cores=1,3,5,7
/proc/22754/task/22757/stat : 22757 (java) S 22751 22754 15518 0 -1 4202560 1279 0 0 0 416 23 0 0 20 0 22 0 108903890 10060525568 1032421 33554432000 1073741824 1073778376 140737083226624 140390544083752 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22754/tid=22758] ppid=22751 vsize=9824732 CPUtime=4.51 cores=1,3,5,7
/proc/22754/task/22758/stat : 22758 (java) S 22751 22754 15518 0 -1 4202560 1288 0 0 0 432 19 0 0 20 0 22 0 108903890 10060525568 1032421 33554432000 1073741824 1073778376 140737083226624 140390543030952 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22754/tid=22759] ppid=22751 vsize=9824732 CPUtime=4.32 cores=1,3,5,7
/proc/22754/task/22759/stat : 22759 (java) S 22751 22754 15518 0 -1 4202560 973 0 0 0 414 18 0 0 20 0 22 0 108903890 10060525568 1032421 33554432000 1073741824 1073778376 140737083226624 140390541978664 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22754/tid=22760] ppid=22751 vsize=9824732 CPUtime=4.47 cores=1,3,5,7
/proc/22754/task/22760/stat : 22760 (java) S 22751 22754 15518 0 -1 4202560 1160 0 0 0 430 17 0 0 20 0 22 0 108903890 10060525568 1032421 33554432000 1073741824 1073778376 140737083226624 140390540925864 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22754/tid=22761] ppid=22751 vsize=9824732 CPUtime=4.44 cores=1,3,5,7
/proc/22754/task/22761/stat : 22761 (java) S 22751 22754 15518 0 -1 4202560 1211 0 0 0 425 19 0 0 20 0 22 0 108903890 10060525568 1032421 33554432000 1073741824 1073778376 140737083226624 140390539872552 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22754/tid=22762] ppid=22751 vsize=9824732 CPUtime=4.59 cores=1,3,5,7
/proc/22754/task/22762/stat : 22762 (java) S 22751 22754 15518 0 -1 4202560 1167 0 0 0 439 20 0 0 20 0 22 0 108903890 10060525568 1032421 33554432000 1073741824 1073778376 140737083226624 140390538819752 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22754/tid=22763] ppid=22751 vsize=9824732 CPUtime=4.53 cores=1,3,5,7
/proc/22754/task/22763/stat : 22763 (java) S 22751 22754 15518 0 -1 4202560 895 0 0 0 438 15 0 0 20 0 22 0 108903890 10060525568 1032421 33554432000 1073741824 1073778376 140737083226624 140390537767464 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22754/tid=22764] ppid=22751 vsize=9824732 CPUtime=4.42 cores=1,3,5,7
/proc/22754/task/22764/stat : 22764 (java) S 22751 22754 15518 0 -1 4202560 839 0 0 0 424 18 0 0 20 0 22 0 108903890 10060525568 1032421 33554432000 1073741824 1073778376 140737083226624 140390536714664 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22754/tid=22765] ppid=22751 vsize=9824732 CPUtime=2.34 cores=1,3,5,7
/proc/22754/task/22765/stat : 22765 (java) S 22751 22754 15518 0 -1 4202560 2663 0 0 0 216 18 0 0 20 0 22 0 108903891 10060525568 1032421 33554432000 1073741824 1073778376 140737083226624 140390379154152 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22754/tid=22766] ppid=22751 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22754/task/22766/stat : 22766 (java) S 22751 22754 15518 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 108903891 10060525568 1032421 33554432000 1073741824 1073778376 140737083226624 140390378100216 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22754/tid=22767] ppid=22751 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22754/task/22767/stat : 22767 (java) S 22751 22754 15518 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 108903892 10060525568 1032421 33554432000 1073741824 1073778376 140737083226624 140390377047816 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22754/tid=22768] ppid=22751 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22754/task/22768/stat : 22768 (java) S 22751 22754 15518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 108903894 10060525568 1032421 33554432000 1073741824 1073778376 140737083226624 140390375996304 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22754/tid=22769] ppid=22751 vsize=9824732 CPUtime=0.83 cores=1,3,5,7
/proc/22754/task/22769/stat : 22769 (java) S 22751 22754 15518 0 -1 4202560 6612 0 0 0 82 1 0 0 20 0 22 0 108903894 10060525568 1032421 33554432000 1073741824 1073778376 140737083226624 140390374942904 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22754/tid=22770] ppid=22751 vsize=9824732 CPUtime=1.14 cores=1,3,5,7
/proc/22754/task/22770/stat : 22770 (java) S 22751 22754 15518 0 -1 4202560 4342 0 0 0 114 0 0 0 20 0 22 0 108903894 10060525568 1032421 33554432000 1073741824 1073778376 140737083226624 140390373890104 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22754/tid=22771] ppid=22751 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22754/task/22771/stat : 22771 (java) S 22751 22754 15518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 108903894 10060525568 1032421 33554432000 1073741824 1073778376 140737083226624 140390372838008 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22754/tid=22772] ppid=22751 vsize=9824732 CPUtime=0.37 cores=1,3,5,7
/proc/22754/task/22772/stat : 22772 (java) S 22751 22754 15518 0 -1 4202560 50 0 0 0 18 19 0 0 20 0 22 0 108903894 10060525568 1032421 33554432000 1073741824 1073778376 140737083226624 140390371785416 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22754/tid=22773] ppid=22751 vsize=9824732 CPUtime=876.67 cores=1,3,5,7
/proc/22754/task/22773/stat : 22773 (java) R 22751 22754 15518 0 -1 4202560 672 0 0 0 87646 21 0 0 20 0 22 0 108904586 10060525568 1032421 33554432000 1073741824 1073778376 140737083226624 140390370729680 140390418914044 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=22754/tid=22774] ppid=22751 vsize=9824732 CPUtime=876.71 cores=1,3,5,7
/proc/22754/task/22774/stat : 22774 (java) R 22751 22754 15518 0 -1 4202560 116 0 0 0 87654 17 0 0 20 0 22 0 108904586 10060525568 1032421 33554432000 1073741824 1073778376 140737083226624 140390369675872 140390419018583 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=22754/tid=22775] ppid=22751 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22754/task/22775/stat : 22775 (java) S 22751 22754 15518 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 108904594 10060525568 1032421 33554432000 1073741824 1073778376 140737083226624 140390368626344 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22754/tid=22776] ppid=22751 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22754/task/22776/stat : 22776 (java) S 22751 22754 15518 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 108904594 10060525568 1032421 33554432000 1073741824 1073778376 140737083226624 140390367573544 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 9824732
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 22754 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 895.726
CPU time (s): 1800.62
CPU user time (s): 1797.89
CPU system time (s): 2.73258
CPU usage (%): 201.024
Max. virtual memory (cumulated for all children) (KiB): 9824732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.89
system time used= 2.73258
maximum resident set size= 4129800
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28576
page faults= 1
swaps= 0
block input operations= 0
block output operations= 912
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 30966
involuntary context switches= 55992
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.77112 second user time and 7.9158 second system time
The end