runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3688191-1337880850/watcher-3688191-1337880850 -o /tmp/evaluation-result-3688191-1337880850/solver-3688191-1337880850 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3688191-1337880850.opb
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: 1.92 1.99 1.99 3/194 22428
/proc/meminfo: memFree=29084528/32873844 swapFree=7620/7620
[pid=22428] ppid=22426 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/22428/stat : 22428 (java) D 22426 22428 21484 0 -1 4202496 248 0 0 0 0 0 0 0 20 0 1 0 254213512 9515008 182 33554432000 1073741824 1073778376 140733933965088 140733933956120 218213727925 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/22428/statm: 2323 182 140 9 0 71 0
[startup+0.0245961 s]
/proc/loadavg: 1.92 1.99 1.99 3/194 22428
/proc/meminfo: memFree=29084528/32873844 swapFree=7620/7620
[pid=22428] ppid=22426 vsize=9014776 CPUtime=0 cores=1,3,5,7
/proc/22428/stat : 22428 (java) S 22426 22428 21484 0 -1 4202496 2129 0 1 0 0 0 0 0 20 0 10 0 254213512 9231130624 2321 33554432000 1073741824 1073778376 140734172610752 140734172601888 218217087037 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22428/statm: 2253694 2321 1005 9 0 2244803 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9014776
[startup+0.100219 s]
/proc/loadavg: 1.92 1.99 1.99 3/194 22428
/proc/meminfo: memFree=29084528/32873844 swapFree=7620/7620
[pid=22428] ppid=22426 vsize=9558412 CPUtime=0.09 cores=1,3,5,7
/proc/22428/stat : 22428 (java) S 22426 22428 21484 0 -1 4202496 4235 0 1 0 8 1 0 0 20 0 18 0 254213512 9787813888 5425 33554432000 1073741824 1073778376 140734172610752 140734172601888 218217087037 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22428/statm: 2389603 5425 2099 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558412
[startup+0.300237 s]
/proc/loadavg: 1.92 1.99 1.99 3/194 22428
/proc/meminfo: memFree=29084528/32873844 swapFree=7620/7620
[pid=22428] ppid=22426 vsize=9624976 CPUtime=0.45 cores=1,3,5,7
/proc/22428/stat : 22428 (java) S 22426 22428 21484 0 -1 4202496 5600 0 1 0 43 2 0 0 20 0 19 0 254213512 9855975424 7689 33554432000 1073741824 1073778376 140734172610752 140734172601888 218217087037 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22428/statm: 2406244 7689 2227 9 0 2396937 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 9624976
[startup+0.700205 s]
/proc/loadavg: 1.92 1.99 1.99 3/194 22428
/proc/meminfo: memFree=29084528/32873844 swapFree=7620/7620
[pid=22428] ppid=22426 vsize=9624976 CPUtime=1.05 cores=1,3,5,7
/proc/22428/stat : 22428 (java) S 22426 22428 21484 0 -1 4202496 6862 0 1 0 103 2 0 0 20 0 19 0 254213512 9855975424 8903 33554432000 1073741824 1073778376 140734172610752 140734172601888 218217087037 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22428/statm: 2406244 8903 2237 9 0 2396937 0
Current children cumulated CPU time (s) 1.05
Current children cumulated vsize (KiB) 9624976
[startup+1.50075 s]
/proc/loadavg: 1.92 1.99 1.99 3/213 22447
/proc/meminfo: memFree=29056996/32873844 swapFree=7620/7620
[pid=22428] ppid=22426 vsize=9624976 CPUtime=1.9 cores=1,3,5,7
/proc/22428/stat : 22428 (java) S 22426 22428 21484 0 -1 4202496 6924 0 1 0 187 3 0 0 20 0 19 0 254213512 9855975424 12021 33554432000 1073741824 1073778376 140734172610752 140734172601888 218217087037 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22428/statm: 2406244 12021 2265 9 0 2396937 0
[pid=22428/tid=22430] ppid=22426 vsize=9624976 CPUtime=1.45 cores=1,3,5,7
/proc/22428/task/22430/stat : 22430 (java) R 22426 22428 21484 0 -1 4202560 2463 0 1 0 143 2 0 0 20 0 19 0 254213513 9855975424 12021 33554432000 1073741824 1073778376 140734172610752 139868807590296 139868647252692 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=22428/tid=22431] ppid=22426 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22428/task/22431/stat : 22431 (java) S 22426 22428 21484 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254213514 9855975424 12021 33554432000 1073741824 1073778376 140734172610752 139868769081896 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22428/tid=22432] ppid=22426 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22428/task/22432/stat : 22432 (java) S 22426 22428 21484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254213514 9855975424 12021 33554432000 1073741824 1073778376 140734172610752 139868768029096 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22428/tid=22433] ppid=22426 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22428/task/22433/stat : 22433 (java) S 22426 22428 21484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254213514 9855975424 12021 33554432000 1073741824 1073778376 140734172610752 139868766976296 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22428/tid=22434] ppid=22426 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22428/task/22434/stat : 22434 (java) S 22426 22428 21484 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 254213514 9855975424 12021 33554432000 1073741824 1073778376 140734172610752 139868765923496 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22428/tid=22435] ppid=22426 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22428/task/22435/stat : 22435 (java) S 22426 22428 21484 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 254213514 9855975424 12021 33554432000 1073741824 1073778376 140734172610752 139868646665256 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22428/tid=22436] ppid=22426 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22428/task/22436/stat : 22436 (java) S 22426 22428 21484 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254213514 9855975424 12021 33554432000 1073741824 1073778376 140734172610752 139868645612456 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22428/tid=22437] ppid=22426 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22428/task/22437/stat : 22437 (java) S 22426 22428 21484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254213515 9855975424 12021 33554432000 1073741824 1073778376 140734172610752 139868644559656 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22428/tid=22438] ppid=22426 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22428/task/22438/stat : 22438 (java) S 22426 22428 21484 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254213515 9855975424 12021 33554432000 1073741824 1073778376 140734172610752 139868643506856 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22428/tid=22439] ppid=22426 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22428/task/22439/stat : 22439 (java) S 22426 22428 21484 0 -1 4202560 30 0 0 0 0 0 0 0 20 0 19 0 254213516 9855975424 12021 33554432000 1073741824 1073778376 140734172610752 139868631308776 218217101225 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22428/tid=22440] ppid=22426 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22428/task/22440/stat : 22440 (java) S 22426 22428 21484 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254213516 9855975424 12021 33554432000 1073741824 1073778376 140734172610752 139868025906424 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22428/tid=22441] ppid=22426 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22428/task/22441/stat : 22441 (java) S 22426 22428 21484 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254213516 9855975424 12021 33554432000 1073741824 1073778376 140734172610752 139868024853512 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22428/tid=22442] ppid=22426 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22428/task/22442/stat : 22442 (java) S 22426 22428 21484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254213519 9855975424 12021 33554432000 1073741824 1073778376 140734172610752 139868023802000 218217109280 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22428/tid=22443] ppid=22426 vsize=9624976 CPUtime=0.2 cores=1,3,5,7
/proc/22428/task/22443/stat : 22443 (java) S 22426 22428 21484 0 -1 4202560 1494 0 0 0 20 0 0 0 20 0 19 0 254213519 9855975424 12021 33554432000 1073741824 1073778376 140734172610752 139868022750136 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22428/tid=22444] ppid=22426 vsize=9624976 CPUtime=0.18 cores=1,3,5,7
/proc/22428/task/22444/stat : 22444 (java) S 22426 22428 21484 0 -1 4202560 1725 0 0 0 18 0 0 0 20 0 19 0 254213519 9855975424 12021 33554432000 1073741824 1073778376 140734172610752 139868021697336 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22428/tid=22445] ppid=22426 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22428/task/22445/stat : 22445 (java) S 22426 22428 21484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254213519 9855975424 12021 33554432000 1073741824 1073778376 140734172610752 139868020644728 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22428/tid=22446] ppid=22426 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22428/task/22446/stat : 22446 (java) S 22426 22428 21484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254213519 9855975424 12021 33554432000 1073741824 1073778376 140734172610752 139868019592136 218217101225 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22428/tid=22447] ppid=22426 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22428/task/22447/stat : 22447 (java) S 22426 22428 21484 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254213539 9855975424 12021 33554432000 1073741824 1073778376 140734172610752 139868018537640 218217101225 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.9
Current children cumulated vsize (KiB) 9624976
[startup+3.10062 s]
/proc/loadavg: 1.92 1.99 1.99 3/213 22447
/proc/meminfo: memFree=29044088/32873844 swapFree=7620/7620
[pid=22428] ppid=22426 vsize=9624976 CPUtime=3.53 cores=1,3,5,7
/proc/22428/stat : 22428 (java) S 22426 22428 21484 0 -1 4202496 6937 0 1 0 350 3 0 0 20 0 19 0 254213512 9855975424 13561 33554432000 1073741824 1073778376 140734172610752 140734172601888 218217087037 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22428/statm: 2406244 13561 2265 9 0 2396937 0
[pid=22428/tid=22430] ppid=22426 vsize=9624976 CPUtime=3.03 cores=1,3,5,7
/proc/22428/task/22430/stat : 22430 (java) R 22426 22428 21484 0 -1 4202560 2465 0 1 0 301 2 0 0 20 0 19 0 254213513 9855975424 13561 33554432000 1073741824 1073778376 140734172610752 139868807590176 139868647265068 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=22428/tid=22431] ppid=22426 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22428/task/22431/stat : 22431 (java) S 22426 22428 21484 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254213514 9855975424 13561 33554432000 1073741824 1073778376 140734172610752 139868769081896 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22428/tid=22432] ppid=22426 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22428/task/22432/stat : 22432 (java) S 22426 22428 21484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254213514 9855975424 13561 33554432000 1073741824 1073778376 140734172610752 139868768029096 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22428/tid=22433] ppid=22426 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22428/task/22433/stat : 22433 (java) S 22426 22428 21484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254213514 9855975424 13561 33554432000 1073741824 1073778376 140734172610752 139868766976296 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22428/tid=22434] ppid=22426 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22428/task/22434/stat : 22434 (java) S 22426 22428 21484 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 254213514 9855975424 13561 33554432000 1073741824 1073778376 140734172610752 139868765923496 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22428/tid=22435] ppid=22426 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22428/task/22435/stat : 22435 (java) S 22426 22428 21484 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 254213514 9855975424 13561 33554432000 1073741824 1073778376 140734172610752 139868646665256 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22428/tid=22436] ppid=22426 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22428/task/22436/stat : 22436 (java) S 22426 22428 21484 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254213514 9855975424 13561 33554432000 1073741824 1073778376 140734172610752 139868645612456 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22428/tid=22437] ppid=22426 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22428/task/22437/stat : 22437 (java) S 22426 22428 21484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254213515 9855975424 13561 33554432000 1073741824 1073778376 140734172610752 139868644559656 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22428/tid=22438] ppid=22426 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22428/task/22438/stat : 22438 (java) S 22426 22428 21484 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 254213515 9855975424 13561 33554432000 1073741824 1073778376 140734172610752 139868643506856 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22428/tid=22439] ppid=22426 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/22428/task/22439/stat : 22439 (java) S 22426 22428 21484 0 -1 4202560 32 0 0 0 1 0 0 0 20 0 19 0 254213516 9855975424 13561 33554432000 1073741824 1073778376 140734172610752 139868631308776 218217101225 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22428/tid=22440] ppid=22426 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22428/task/22440/stat : 22440 (java) S 22426 22428 21484 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254213516 9855975424 13561 33554432000 1073741824 1073778376 140734172610752 139868025906424 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22428/tid=22441] ppid=22426 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22428/task/22441/stat : 22441 (java) S 22426 22428 21484 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254213516 9855975424 13561 33554432000 1073741824 1073778376 140734172610752 139868024853512 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22428/tid=22442] ppid=22426 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22428/task/22442/stat : 22442 (java) S 22426 22428 21484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254213519 9855975424 13561 33554432000 1073741824 1073778376 140734172610752 139868023802000 218217109280 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22428/tid=22443] ppid=22426 vsize=9624976 CPUtime=0.22 cores=1,3,5,7
/proc/22428/task/22443/stat : 22443 (java) S 22426 22428 21484 0 -1 4202560 1494 0 0 0 22 0 0 0 20 0 19 0 254213519 9855975424 13561 33554432000 1073741824 1073778376 140734172610752 139868022750136 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22428/tid=22444] ppid=22426 vsize=9624976 CPUtime=0.2 cores=1,3,5,7
/proc/22428/task/22444/stat : 22444 (java) S 22426 22428 21484 0 -1 4202560 1725 0 0 0 20 0 0 0 20 0 19 0 254213519 9855975424 13561 33554432000 1073741824 1073778376 140734172610752 139868021697336 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22428/tid=22445] ppid=22426 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22428/task/22445/stat : 22445 (java) S 22426 22428 21484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254213519 9855975424 13561 33554432000 1073741824 1073778376 140734172610752 139868020644728 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22428/tid=22446] ppid=22426 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22428/task/22446/stat : 22446 (java) S 22426 22428 21484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254213519 9855975424 13561 33554432000 1073741824 1073778376 140734172610752 139868019592136 218217101225 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22428/tid=22447] ppid=22426 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22428/task/22447/stat : 22447 (java) S 22426 22428 21484 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254213539 9855975424 13561 33554432000 1073741824 1073778376 140734172610752 139868018537640 218217101225 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.53
Current children cumulated vsize (KiB) 9624976
[startup+6.30062 s]
/proc/loadavg: 1.93 1.99 1.99 3/213 22447
/proc/meminfo: memFree=29032172/32873844 swapFree=7620/7620
[pid=22428] ppid=22426 vsize=9624976 CPUtime=6.79 cores=1,3,5,7
/proc/22428/stat : 22428 (java) S 22426 22428 21484 0 -1 4202496 7365 0 1 0 675 4 0 0 20 0 19 0 254213512 9855975424 14599 33554432000 1073741824 1073778376 140734172610752 140734172601888 218217087037 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22428/statm: 2406244 14599 2265 9 0 2396937 0
[pid=22428/tid=22430] ppid=22426 vsize=9624976 CPUtime=6.19 cores=1,3,5,7
/proc/22428/task/22430/stat : 22430 (java) R 22426 22428 21484 0 -1 4202560 2468 0 1 0 617 2 0 0 20 0 19 0 254213513 9855975424 14599 33554432000 1073741824 1073778376 140734172610752 139868807590408 139868647151149 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=22428/tid=22431] ppid=22426 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22428/task/22431/stat : 22431 (java) S 22426 22428 21484 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254213514 9855975424 14599 33554432000 1073741824 1073778376 140734172610752 139868769081896 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22428/tid=22432] ppid=22426 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22428/task/22432/stat : 22432 (java) S 22426 22428 21484 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 254213514 9855975424 14599 33554432000 1073741824 1073778376 140734172610752 139868768029096 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22428/tid=22433] ppid=22426 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22428/task/22433/stat : 22433 (java) S 22426 22428 21484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254213514 9855975424 14599 33554432000 1073741824 1073778376 140734172610752 139868766976296 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22428/tid=22434] ppid=22426 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22428/task/22434/stat : 22434 (java) S 22426 22428 21484 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254213514 9855975424 14599 33554432000 1073741824 1073778376 140734172610752 139868765923496 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22428/tid=22435] ppid=22426 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22428/task/22435/stat : 22435 (java) S 22426 22428 21484 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254213514 9855975424 14599 33554432000 1073741824 1073778376 140734172610752 139868646665256 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22428/tid=22436] ppid=22426 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22428/task/22436/stat : 22436 (java) S 22426 22428 21484 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254213514 9855975424 14599 33554432000 1073741824 1073778376 140734172610752 139868645612456 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22428/tid=22437] ppid=22426 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22428/task/22437/stat : 22437 (java) S 22426 22428 21484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254213515 9855975424 14599 33554432000 1073741824 1073778376 140734172610752 139868644559656 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22428/tid=22438] ppid=22426 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22428/task/22438/stat : 22438 (java) S 22426 22428 21484 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 254213515 9855975424 14599 33554432000 1073741824 1073778376 140734172610752 139868643506856 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22428/tid=22439] ppid=22426 vsize=9624976 CPUtime=0.04 cores=1,3,5,7
/proc/22428/task/22439/stat : 22439 (java) S 22426 22428 21484 0 -1 4202560 33 0 0 0 4 0 0 0 20 0 19 0 254213516 9855975424 14599 33554432000 1073741824 1073778376 140734172610752 139868631308776 218217101225 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22428/tid=22440] ppid=22426 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22428/task/22440/stat : 22440 (java) S 22426 22428 21484 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254213516 9855975424 14599 33554432000 1073741824 1073778376 140734172610752 139868025906424 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22428/tid=22441] ppid=22426 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22428/task/22441/stat : 22441 (java) S 22426 22428 21484 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254213516 9855975424 14599 33554432000 1073741824 1073778376 140734172610752 139868024853512 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22428/tid=22442] ppid=22426 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22428/task/22442/stat : 22442 (java) S 22426 22428 21484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254213519 9855975424 14599 33554432000 1073741824 1073778376 140734172610752 139868023802000 218217109280 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22428/tid=22443] ppid=22426 vsize=9624976 CPUtime=0.22 cores=1,3,5,7
/proc/22428/task/22443/stat : 22443 (java) S 22426 22428 21484 0 -1 4202560 1494 0 0 0 22 0 0 0 20 0 19 0 254213519 9855975424 14599 33554432000 1073741824 1073778376 140734172610752 139868022750136 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22428/tid=22444] ppid=22426 vsize=9624976 CPUtime=0.23 cores=1,3,5,7
/proc/22428/task/22444/stat : 22444 (java) S 22426 22428 21484 0 -1 4202560 2140 0 0 0 23 0 0 0 20 0 19 0 254213519 9855975424 14599 33554432000 1073741824 1073778376 140734172610752 139868021697336 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22428/tid=22445] ppid=22426 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22428/task/22445/stat : 22445 (java) S 22426 22428 21484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254213519 9855975424 14599 33554432000 1073741824 1073778376 140734172610752 139868020644728 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22428/tid=22446] ppid=22426 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22428/task/22446/stat : 22446 (java) S 22426 22428 21484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254213519 9855975424 14599 33554432000 1073741824 1073778376 140734172610752 139868019592136 218217101225 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22428/tid=22447] ppid=22426 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22428/task/22447/stat : 22447 (java) S 22426 22428 21484 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254213539 9855975424 14599 33554432000 1073741824 1073778376 140734172610752 139868018537640 218217101225 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.79
Current children cumulated vsize (KiB) 9624976
[startup+12.7006 s]
################
# More data... #
################
[pid=22428/tid=22443] ppid=22426 vsize=9624976 CPUtime=0.25 cores=1,3,5,7
/proc/22428/task/22443/stat : 22443 (java) S 22426 22428 21484 0 -1 4202560 1494 0 0 0 25 0 0 0 20 0 19 0 254213519 9855975424 78256 33554432000 1073741824 1073778376 140734172610752 139868022750136 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22428/tid=22444] ppid=22426 vsize=9624976 CPUtime=0.29 cores=1,3,5,7
/proc/22428/task/22444/stat : 22444 (java) S 22426 22428 21484 0 -1 4202560 2456 0 0 0 29 0 0 0 20 0 19 0 254213519 9855975424 78256 33554432000 1073741824 1073778376 140734172610752 139868021697336 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22428/tid=22445] ppid=22426 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22428/task/22445/stat : 22445 (java) S 22426 22428 21484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254213519 9855975424 78256 33554432000 1073741824 1073778376 140734172610752 139868020644728 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22428/tid=22446] ppid=22426 vsize=9624976 CPUtime=0.33 cores=1,3,5,7
/proc/22428/task/22446/stat : 22446 (java) S 22426 22428 21484 0 -1 4202560 98 0 0 0 17 16 0 0 20 0 19 0 254213519 9855975424 78256 33554432000 1073741824 1073778376 140734172610752 139868019592136 218217101225 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22428/tid=22447] ppid=22426 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22428/task/22447/stat : 22447 (java) S 22426 22428 21484 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254213539 9855975424 78256 33554432000 1073741824 1073778376 140734172610752 139868018537640 218217101225 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1727.07
Current children cumulated vsize (KiB) 9624976
[startup+1782.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/213 22546
/proc/meminfo: memFree=28656500/32873844 swapFree=7620/7620
[pid=22428] ppid=22426 vsize=9624976 CPUtime=1787.21 cores=1,3,5,7
/proc/22428/stat : 22428 (java) S 22426 22428 21484 0 -1 4202496 10037 0 1 0 178681 40 0 0 20 0 19 0 254213512 9855975424 79823 33554432000 1073741824 1073778376 140734172610752 140734172601888 218217087037 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22428/statm: 2406244 79823 2266 9 0 2396937 0
[pid=22428/tid=22430] ppid=22426 vsize=9624976 CPUtime=1769.35 cores=1,3,5,7
/proc/22428/task/22430/stat : 22430 (java) R 22426 22428 21484 0 -1 4202560 2625 0 1 0 176906 29 0 0 20 0 19 0 254213513 9855975424 79823 33554432000 1073741824 1073778376 140734172610752 139868807590176 139868647223495 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=22428/tid=22431] ppid=22426 vsize=9624976 CPUtime=0.75 cores=1,3,5,7
/proc/22428/task/22431/stat : 22431 (java) S 22426 22428 21484 0 -1 4202560 303 0 0 0 71 4 0 0 20 0 19 0 254213514 9855975424 79823 33554432000 1073741824 1073778376 140734172610752 139868769081896 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22428/tid=22432] ppid=22426 vsize=9624976 CPUtime=0.8 cores=1,3,5,7
/proc/22428/task/22432/stat : 22432 (java) S 22426 22428 21484 0 -1 4202560 410 0 0 0 76 4 0 0 20 0 19 0 254213514 9855975424 79823 33554432000 1073741824 1073778376 140734172610752 139868768029096 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22428/tid=22433] ppid=22426 vsize=9624976 CPUtime=0.75 cores=1,3,5,7
/proc/22428/task/22433/stat : 22433 (java) S 22426 22428 21484 0 -1 4202560 191 0 0 0 73 2 0 0 20 0 19 0 254213514 9855975424 79823 33554432000 1073741824 1073778376 140734172610752 139868766976296 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22428/tid=22434] ppid=22426 vsize=9624976 CPUtime=0.79 cores=1,3,5,7
/proc/22428/task/22434/stat : 22434 (java) S 22426 22428 21484 0 -1 4202560 166 0 0 0 76 3 0 0 20 0 19 0 254213514 9855975424 79823 33554432000 1073741824 1073778376 140734172610752 139868765923496 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22428/tid=22435] ppid=22426 vsize=9624976 CPUtime=0.71 cores=1,3,5,7
/proc/22428/task/22435/stat : 22435 (java) S 22426 22428 21484 0 -1 4202560 90 0 0 0 68 3 0 0 20 0 19 0 254213514 9855975424 79823 33554432000 1073741824 1073778376 140734172610752 139868646665256 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22428/tid=22436] ppid=22426 vsize=9624976 CPUtime=0.79 cores=1,3,5,7
/proc/22428/task/22436/stat : 22436 (java) S 22426 22428 21484 0 -1 4202560 266 0 0 0 75 4 0 0 20 0 19 0 254213514 9855975424 79823 33554432000 1073741824 1073778376 140734172610752 139868645612456 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22428/tid=22437] ppid=22426 vsize=9624976 CPUtime=0.85 cores=1,3,5,7
/proc/22428/task/22437/stat : 22437 (java) S 22426 22428 21484 0 -1 4202560 260 0 0 0 83 2 0 0 20 0 19 0 254213515 9855975424 79823 33554432000 1073741824 1073778376 140734172610752 139868644559656 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22428/tid=22438] ppid=22426 vsize=9624976 CPUtime=0.81 cores=1,3,5,7
/proc/22428/task/22438/stat : 22438 (java) S 22426 22428 21484 0 -1 4202560 321 0 0 0 77 4 0 0 20 0 19 0 254213515 9855975424 79823 33554432000 1073741824 1073778376 140734172610752 139868643506856 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22428/tid=22439] ppid=22426 vsize=9624976 CPUtime=6.4 cores=1,3,5,7
/proc/22428/task/22439/stat : 22439 (java) S 22426 22428 21484 0 -1 4202560 173 0 0 0 638 2 0 0 20 0 19 0 254213516 9855975424 79823 33554432000 1073741824 1073778376 140734172610752 139868631308776 218217101225 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22428/tid=22440] ppid=22426 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22428/task/22440/stat : 22440 (java) S 22426 22428 21484 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254213516 9855975424 79823 33554432000 1073741824 1073778376 140734172610752 139868025906424 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22428/tid=22441] ppid=22426 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22428/task/22441/stat : 22441 (java) S 22426 22428 21484 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254213516 9855975424 79823 33554432000 1073741824 1073778376 140734172610752 139868024853512 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22428/tid=22442] ppid=22426 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22428/task/22442/stat : 22442 (java) S 22426 22428 21484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254213519 9855975424 79823 33554432000 1073741824 1073778376 140734172610752 139868023802000 218217109280 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22428/tid=22443] ppid=22426 vsize=9624976 CPUtime=0.25 cores=1,3,5,7
/proc/22428/task/22443/stat : 22443 (java) S 22426 22428 21484 0 -1 4202560 1494 0 0 0 25 0 0 0 20 0 19 0 254213519 9855975424 79823 33554432000 1073741824 1073778376 140734172610752 139868022750136 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22428/tid=22444] ppid=22426 vsize=9624976 CPUtime=0.29 cores=1,3,5,7
/proc/22428/task/22444/stat : 22444 (java) S 22426 22428 21484 0 -1 4202560 2456 0 0 0 29 0 0 0 20 0 19 0 254213519 9855975424 79823 33554432000 1073741824 1073778376 140734172610752 139868021697336 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22428/tid=22445] ppid=22426 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22428/task/22445/stat : 22445 (java) S 22426 22428 21484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254213519 9855975424 79823 33554432000 1073741824 1073778376 140734172610752 139868020644728 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22428/tid=22446] ppid=22426 vsize=9624976 CPUtime=0.36 cores=1,3,5,7
/proc/22428/task/22446/stat : 22446 (java) S 22426 22428 21484 0 -1 4202560 102 0 0 0 19 17 0 0 20 0 19 0 254213519 9855975424 79823 33554432000 1073741824 1073778376 140734172610752 139868019592136 218217101225 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22428/tid=22447] ppid=22426 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22428/task/22447/stat : 22447 (java) S 22426 22428 21484 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254213539 9855975424 79823 33554432000 1073741824 1073778376 140734172610752 139868018537640 218217101225 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1787.21
Current children cumulated vsize (KiB) 9624976
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1795.1 s]
/proc/loadavg: 2.10 2.02 2.01 3/213 22546
/proc/meminfo: memFree=28656376/32873844 swapFree=7620/7620
[pid=22428] ppid=22426 vsize=9624976 CPUtime=1800.02 cores=1,3,5,7
/proc/22428/stat : 22428 (java) S 22426 22428 21484 0 -1 4202496 10037 0 1 0 179962 40 0 0 20 0 19 0 254213512 9855975424 79823 33554432000 1073741824 1073778376 140734172610752 140734172601888 218217087037 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22428/statm: 2406244 79823 2266 9 0 2396937 0
[pid=22428/tid=22430] ppid=22426 vsize=9624976 CPUtime=1782.14 cores=1,3,5,7
/proc/22428/task/22430/stat : 22430 (java) R 22426 22428 21484 0 -1 4202560 2625 0 1 0 178184 30 0 0 20 0 19 0 254213513 9855975424 79823 33554432000 1073741824 1073778376 140734172610752 139868807590176 139868647233988 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=22428/tid=22431] ppid=22426 vsize=9624976 CPUtime=0.75 cores=1,3,5,7
/proc/22428/task/22431/stat : 22431 (java) S 22426 22428 21484 0 -1 4202560 303 0 0 0 71 4 0 0 20 0 19 0 254213514 9855975424 79823 33554432000 1073741824 1073778376 140734172610752 139868769081896 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22428/tid=22432] ppid=22426 vsize=9624976 CPUtime=0.8 cores=1,3,5,7
/proc/22428/task/22432/stat : 22432 (java) S 22426 22428 21484 0 -1 4202560 410 0 0 0 76 4 0 0 20 0 19 0 254213514 9855975424 79823 33554432000 1073741824 1073778376 140734172610752 139868768029096 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22428/tid=22433] ppid=22426 vsize=9624976 CPUtime=0.75 cores=1,3,5,7
/proc/22428/task/22433/stat : 22433 (java) S 22426 22428 21484 0 -1 4202560 191 0 0 0 73 2 0 0 20 0 19 0 254213514 9855975424 79823 33554432000 1073741824 1073778376 140734172610752 139868766976296 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22428/tid=22434] ppid=22426 vsize=9624976 CPUtime=0.79 cores=1,3,5,7
/proc/22428/task/22434/stat : 22434 (java) S 22426 22428 21484 0 -1 4202560 166 0 0 0 76 3 0 0 20 0 19 0 254213514 9855975424 79823 33554432000 1073741824 1073778376 140734172610752 139868765923496 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22428/tid=22435] ppid=22426 vsize=9624976 CPUtime=0.71 cores=1,3,5,7
/proc/22428/task/22435/stat : 22435 (java) S 22426 22428 21484 0 -1 4202560 90 0 0 0 68 3 0 0 20 0 19 0 254213514 9855975424 79823 33554432000 1073741824 1073778376 140734172610752 139868646665256 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22428/tid=22436] ppid=22426 vsize=9624976 CPUtime=0.79 cores=1,3,5,7
/proc/22428/task/22436/stat : 22436 (java) S 22426 22428 21484 0 -1 4202560 266 0 0 0 75 4 0 0 20 0 19 0 254213514 9855975424 79823 33554432000 1073741824 1073778376 140734172610752 139868645612456 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22428/tid=22437] ppid=22426 vsize=9624976 CPUtime=0.85 cores=1,3,5,7
/proc/22428/task/22437/stat : 22437 (java) S 22426 22428 21484 0 -1 4202560 260 0 0 0 83 2 0 0 20 0 19 0 254213515 9855975424 79823 33554432000 1073741824 1073778376 140734172610752 139868644559656 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22428/tid=22438] ppid=22426 vsize=9624976 CPUtime=0.81 cores=1,3,5,7
/proc/22428/task/22438/stat : 22438 (java) S 22426 22428 21484 0 -1 4202560 321 0 0 0 77 4 0 0 20 0 19 0 254213515 9855975424 79823 33554432000 1073741824 1073778376 140734172610752 139868643506856 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22428/tid=22439] ppid=22426 vsize=9624976 CPUtime=6.4 cores=1,3,5,7
/proc/22428/task/22439/stat : 22439 (java) S 22426 22428 21484 0 -1 4202560 173 0 0 0 638 2 0 0 20 0 19 0 254213516 9855975424 79823 33554432000 1073741824 1073778376 140734172610752 139868631308776 218217101225 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22428/tid=22440] ppid=22426 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22428/task/22440/stat : 22440 (java) S 22426 22428 21484 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254213516 9855975424 79823 33554432000 1073741824 1073778376 140734172610752 139868025906424 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22428/tid=22441] ppid=22426 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22428/task/22441/stat : 22441 (java) S 22426 22428 21484 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254213516 9855975424 79823 33554432000 1073741824 1073778376 140734172610752 139868024853512 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22428/tid=22442] ppid=22426 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22428/task/22442/stat : 22442 (java) S 22426 22428 21484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254213519 9855975424 79823 33554432000 1073741824 1073778376 140734172610752 139868023802000 218217109280 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22428/tid=22443] ppid=22426 vsize=9624976 CPUtime=0.25 cores=1,3,5,7
/proc/22428/task/22443/stat : 22443 (java) S 22426 22428 21484 0 -1 4202560 1494 0 0 0 25 0 0 0 20 0 19 0 254213519 9855975424 79823 33554432000 1073741824 1073778376 140734172610752 139868022750136 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22428/tid=22444] ppid=22426 vsize=9624976 CPUtime=0.29 cores=1,3,5,7
/proc/22428/task/22444/stat : 22444 (java) S 22426 22428 21484 0 -1 4202560 2456 0 0 0 29 0 0 0 20 0 19 0 254213519 9855975424 79823 33554432000 1073741824 1073778376 140734172610752 139868021697336 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22428/tid=22445] ppid=22426 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22428/task/22445/stat : 22445 (java) S 22426 22428 21484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254213519 9855975424 79823 33554432000 1073741824 1073778376 140734172610752 139868020644728 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22428/tid=22446] ppid=22426 vsize=9624976 CPUtime=0.36 cores=1,3,5,7
/proc/22428/task/22446/stat : 22446 (java) S 22426 22428 21484 0 -1 4202560 102 0 0 0 19 17 0 0 20 0 19 0 254213519 9855975424 79823 33554432000 1073741824 1073778376 140734172610752 139868019592136 218217101225 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22428/tid=22447] ppid=22426 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22428/task/22447/stat : 22447 (java) S 22426 22428 21484 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254213539 9855975424 79823 33554432000 1073741824 1073778376 140734172610752 139868018537640 218217101225 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 9624976
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1795.1 s]
/proc/loadavg: 2.10 2.02 2.01 3/213 22546
/proc/meminfo: memFree=28656376/32873844 swapFree=7620/7620
[pid=22428] ppid=22426 vsize=9624976 CPUtime=1800.02 cores=1,3,5,7
/proc/22428/stat : 22428 (java) S 22426 22428 21484 0 -1 4202496 10037 0 1 0 179962 40 0 0 20 0 19 0 254213512 9855975424 79823 33554432000 1073741824 1073778376 140734172610752 140734172601888 218217087037 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22428/statm: 2406244 79823 2266 9 0 2396937 0
[pid=22428/tid=22430] ppid=22426 vsize=9624976 CPUtime=1782.14 cores=1,3,5,7
/proc/22428/task/22430/stat : 22430 (java) R 22426 22428 21484 0 -1 4202560 2625 0 1 0 178184 30 0 0 20 0 19 0 254213513 9855975424 79823 33554432000 1073741824 1073778376 140734172610752 139868807590176 139868647233988 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=22428/tid=22431] ppid=22426 vsize=9624976 CPUtime=0.75 cores=1,3,5,7
/proc/22428/task/22431/stat : 22431 (java) S 22426 22428 21484 0 -1 4202560 303 0 0 0 71 4 0 0 20 0 19 0 254213514 9855975424 79823 33554432000 1073741824 1073778376 140734172610752 139868769081896 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22428/tid=22432] ppid=22426 vsize=9624976 CPUtime=0.8 cores=1,3,5,7
/proc/22428/task/22432/stat : 22432 (java) S 22426 22428 21484 0 -1 4202560 410 0 0 0 76 4 0 0 20 0 19 0 254213514 9855975424 79823 33554432000 1073741824 1073778376 140734172610752 139868768029096 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22428/tid=22433] ppid=22426 vsize=9624976 CPUtime=0.75 cores=1,3,5,7
/proc/22428/task/22433/stat : 22433 (java) S 22426 22428 21484 0 -1 4202560 191 0 0 0 73 2 0 0 20 0 19 0 254213514 9855975424 79823 33554432000 1073741824 1073778376 140734172610752 139868766976296 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22428/tid=22434] ppid=22426 vsize=9624976 CPUtime=0.79 cores=1,3,5,7
/proc/22428/task/22434/stat : 22434 (java) S 22426 22428 21484 0 -1 4202560 166 0 0 0 76 3 0 0 20 0 19 0 254213514 9855975424 79823 33554432000 1073741824 1073778376 140734172610752 139868765923496 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22428/tid=22435] ppid=22426 vsize=9624976 CPUtime=0.71 cores=1,3,5,7
/proc/22428/task/22435/stat : 22435 (java) S 22426 22428 21484 0 -1 4202560 90 0 0 0 68 3 0 0 20 0 19 0 254213514 9855975424 79823 33554432000 1073741824 1073778376 140734172610752 139868646665256 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22428/tid=22436] ppid=22426 vsize=9624976 CPUtime=0.79 cores=1,3,5,7
/proc/22428/task/22436/stat : 22436 (java) S 22426 22428 21484 0 -1 4202560 266 0 0 0 75 4 0 0 20 0 19 0 254213514 9855975424 79823 33554432000 1073741824 1073778376 140734172610752 139868645612456 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22428/tid=22437] ppid=22426 vsize=9624976 CPUtime=0.85 cores=1,3,5,7
/proc/22428/task/22437/stat : 22437 (java) S 22426 22428 21484 0 -1 4202560 260 0 0 0 83 2 0 0 20 0 19 0 254213515 9855975424 79823 33554432000 1073741824 1073778376 140734172610752 139868644559656 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22428/tid=22438] ppid=22426 vsize=9624976 CPUtime=0.81 cores=1,3,5,7
/proc/22428/task/22438/stat : 22438 (java) S 22426 22428 21484 0 -1 4202560 321 0 0 0 77 4 0 0 20 0 19 0 254213515 9855975424 79823 33554432000 1073741824 1073778376 140734172610752 139868643506856 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22428/tid=22439] ppid=22426 vsize=9624976 CPUtime=6.4 cores=1,3,5,7
/proc/22428/task/22439/stat : 22439 (java) S 22426 22428 21484 0 -1 4202560 173 0 0 0 638 2 0 0 20 0 19 0 254213516 9855975424 79823 33554432000 1073741824 1073778376 140734172610752 139868631308776 218217101225 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22428/tid=22440] ppid=22426 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22428/task/22440/stat : 22440 (java) S 22426 22428 21484 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254213516 9855975424 79823 33554432000 1073741824 1073778376 140734172610752 139868025906424 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22428/tid=22441] ppid=22426 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22428/task/22441/stat : 22441 (java) S 22426 22428 21484 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254213516 9855975424 79823 33554432000 1073741824 1073778376 140734172610752 139868024853512 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22428/tid=22442] ppid=22426 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22428/task/22442/stat : 22442 (java) S 22426 22428 21484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254213519 9855975424 79823 33554432000 1073741824 1073778376 140734172610752 139868023802000 218217109280 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22428/tid=22443] ppid=22426 vsize=9624976 CPUtime=0.25 cores=1,3,5,7
/proc/22428/task/22443/stat : 22443 (java) S 22426 22428 21484 0 -1 4202560 1494 0 0 0 25 0 0 0 20 0 19 0 254213519 9855975424 79823 33554432000 1073741824 1073778376 140734172610752 139868022750136 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22428/tid=22444] ppid=22426 vsize=9624976 CPUtime=0.29 cores=1,3,5,7
/proc/22428/task/22444/stat : 22444 (java) S 22426 22428 21484 0 -1 4202560 2456 0 0 0 29 0 0 0 20 0 19 0 254213519 9855975424 79823 33554432000 1073741824 1073778376 140734172610752 139868021697336 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22428/tid=22445] ppid=22426 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22428/task/22445/stat : 22445 (java) S 22426 22428 21484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254213519 9855975424 79823 33554432000 1073741824 1073778376 140734172610752 139868020644728 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22428/tid=22446] ppid=22426 vsize=9624976 CPUtime=0.36 cores=1,3,5,7
/proc/22428/task/22446/stat : 22446 (java) S 22426 22428 21484 0 -1 4202560 102 0 0 0 19 17 0 0 20 0 19 0 254213519 9855975424 79823 33554432000 1073741824 1073778376 140734172610752 139868019592136 218217101225 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22428/tid=22447] ppid=22426 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22428/task/22447/stat : 22447 (java) S 22426 22428 21484 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254213539 9855975424 79823 33554432000 1073741824 1073778376 140734172610752 139868018537640 218217101225 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 9624976
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 22428 and gives
# childrusage.ru_utime.tv_sec=1795
# childrusage.ru_utime.tv_usec=169092
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=901862
# CPU time returned by wait4() is 1796.07
# while last known CPU time is 1800.02
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1795.18
CPU time (s): 1800.02
CPU user time (s): 1799.62
CPU system time (s): 0.4
CPU usage (%): 100.27
Max. virtual memory (cumulated for all children) (KiB): 9624976
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.17
system time used= 0.901862
maximum resident set size= 319452
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10080
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1720
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 41502
involuntary context switches= 23676
runsolver used 6.52901 second user time and 14.3948 second system time
The end