runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 935)
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-3312470-1304116701/watcher-3312470-1304116701 -o /tmp/evaluation-result-3312470-1304116701/solver-3312470-1304116701 -C 4800 -W 1300 -M 15500 run 15000 4 HOME HOME HOME/instance-3312470-1304116701.cnf
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 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: 6.93 7.85 7.98 4/194 4376
/proc/meminfo: memFree=30878384/32951124 swapFree=67105204/67111528
[pid=4376] ppid=4374 vsize=27172 CPUtime=0 cores=1,3,5,7
/proc/4376/stat : 4376 (java) S 4374 4376 4321 0 -1 4202496 1417 0 0 0 0 0 0 0 23 0 2 0 504086026 27824128 888 33554432000 1073741824 1073778376 140735110971792 18446744073709551615 220828039141 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0
/proc/4376/statm: 6793 894 684 9 0 381 0
[pid=4376/tid=4377] ppid=4374 vsize=27172 CPUtime=0 cores=1,3,5,7
/proc/4376/task/4377/stat : 4377 (java) R 4374 4376 4321 0 -1 4202560 66 0 0 0 0 0 0 0 25 0 2 0 504086026 27824128 894 33554432000 1073741824 1073778376 140735110971792 18446744073709551615 220811312775 0 2147483391 4096 0 0 0 0 -1 5 0 0 0
[startup+0.0430901 s]
/proc/loadavg: 6.93 7.85 7.98 4/194 4376
/proc/meminfo: memFree=30878384/32951124 swapFree=67105204/67111528
[pid=4376] ppid=4374 vsize=15604248 CPUtime=0.03 cores=1,3,5,7
/proc/4376/stat : 4376 (java) S 4374 4376 4321 0 -1 4202496 3863 0 1 0 3 0 0 0 23 0 13 0 504086026 15978749952 3303 33554432000 1073741824 1073778376 140735110971792 18446744073709551615 220828039141 0 0 0 16800971 18446744073709551615 0 0 17 5 0 0 0
/proc/4376/statm: 3901062 3303 1683 9 0 3891810 0
[pid=4376/tid=4377] ppid=4374 vsize=15604248 CPUtime=0.03 cores=1,3,5,7
/proc/4376/task/4377/stat : 4377 (java) R 4374 4376 4321 0 -1 4202560 2473 0 1 0 3 0 0 0 25 0 13 0 504086026 15978749952 3303 33554432000 1073741824 1073778376 140735110971792 18446744073709551615 220828063179 0 4 0 16800971 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 15604248
[startup+0.101045 s]
/proc/loadavg: 6.93 7.85 7.98 4/194 4376
/proc/meminfo: memFree=30878384/32951124 swapFree=67105204/67111528
[pid=4376] ppid=4374 vsize=15676716 CPUtime=0.1 cores=1,3,5,7
/proc/4376/stat : 4376 (java) S 4374 4376 4321 0 -1 4202496 5607 0 1 0 9 1 0 0 23 0 18 0 504086026 16052957184 5037 33554432000 1073741824 1073778376 140735110971792 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/4376/statm: 3919179 5037 2118 9 0 3909898 0
[pid=4376/tid=4377] ppid=4374 vsize=15676716 CPUtime=0.09 cores=1,3,5,7
/proc/4376/task/4377/stat : 4377 (java) R 4374 4376 4321 0 -1 4202560 3453 0 1 0 8 1 0 0 25 0 18 0 504086026 16052957184 5037 33554432000 1073741824 1073778376 140735110971792 18446744073709551615 47832305655358 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 15676716
[startup+0.30101 s]
/proc/loadavg: 6.93 7.85 7.98 4/194 4376
/proc/meminfo: memFree=30878384/32951124 swapFree=67105204/67111528
[pid=4376] ppid=4374 vsize=15680564 CPUtime=0.51 cores=1,3,5,7
/proc/4376/stat : 4376 (java) S 4374 4376 4321 0 -1 4202496 15953 0 1 0 48 3 0 0 23 0 18 0 504086026 16056897536 14390 33554432000 1073741824 1073778376 140735110971792 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/4376/statm: 3920141 14390 2207 9 0 3910860 0
[pid=4376/tid=4377] ppid=4374 vsize=15680564 CPUtime=0.28 cores=1,3,5,7
/proc/4376/task/4377/stat : 4377 (java) R 4374 4376 4321 0 -1 4202560 10999 0 1 0 26 2 0 0 25 0 18 0 504086026 16056897536 14390 33554432000 1073741824 1073778376 140735110971792 18446744073709551615 46912505640608 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 15680564
[startup+0.700936 s]
/proc/loadavg: 6.93 7.85 7.98 4/194 4376
/proc/meminfo: memFree=30878384/32951124 swapFree=67105204/67111528
[pid=4376] ppid=4374 vsize=15680564 CPUtime=0.92 cores=1,3,5,7
/proc/4376/stat : 4376 (java) S 4374 4376 4321 0 -1 4202496 41619 0 1 0 86 6 0 0 23 0 18 0 504086026 16056897536 40054 33554432000 1073741824 1073778376 140735110971792 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/4376/statm: 3920141 40054 2223 9 0 3910860 0
[pid=4376/tid=4377] ppid=4374 vsize=15680564 CPUtime=0.68 cores=1,3,5,7
/proc/4376/task/4377/stat : 4377 (java) R 4374 4376 4321 0 -1 4202560 35495 0 1 0 63 5 0 0 25 0 18 0 504086026 16056897536 40054 33554432000 1073741824 1073778376 140735110971792 18446744073709551615 46912505532800 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.92
Current children cumulated vsize (KiB) 15680564
[startup+1.50082 s]
/proc/loadavg: 6.61 7.77 7.95 9/220 4402
/proc/meminfo: memFree=30532416/32951124 swapFree=67105204/67111528
[pid=4376] ppid=4374 vsize=15687632 CPUtime=2.45 cores=1,3,5,7
/proc/4376/stat : 4376 (java) S 4374 4376 4321 0 -1 4202496 57660 0 1 0 236 9 0 0 23 0 22 0 504086026 16064135168 51031 33554432000 1073741824 1073778376 140735110971792 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/4376/statm: 3921908 51031 2259 9 0 3912627 0
[pid=4376/tid=4377] ppid=4374 vsize=15687632 CPUtime=1.47 cores=1,3,5,7
/proc/4376/task/4377/stat : 4377 (java) R 4374 4376 4321 0 -1 4202560 35595 0 1 0 142 5 0 0 25 0 22 0 504086026 16064135168 51031 33554432000 1073741824 1073778376 140735110971792 18446744073709551615 47832306103162 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=4376/tid=4379] ppid=4374 vsize=15687632 CPUtime=0 cores=1,3,5,7
/proc/4376/task/4379/stat : 4379 (java) S 4374 4376 4321 0 -1 4202560 1217 0 0 0 0 0 0 0 16 0 22 0 504086027 16064135168 51031 33554432000 1073741824 1073778376 140735110971792 18446744073709551615 220828052377 0 4 0 16800975 18446604471121901504 0 0 -1 3 0 0 0
[pid=4376/tid=4380] ppid=4374 vsize=15687632 CPUtime=0 cores=1,3,5,7
/proc/4376/task/4380/stat : 4380 (java) S 4374 4376 4321 0 -1 4202560 23 0 0 0 0 0 0 0 18 0 22 0 504086027 16064135168 51031 33554432000 1073741824 1073778376 140735110971792 18446744073709551615 220828052377 0 4 0 16800975 18446604471121901504 0 0 -1 7 0 0 0
[pid=4376/tid=4381] ppid=4374 vsize=15687632 CPUtime=0 cores=1,3,5,7
/proc/4376/task/4381/stat : 4381 (java) S 4374 4376 4321 0 -1 4202560 290 0 0 0 0 0 0 0 16 0 22 0 504086027 16064135168 51031 33554432000 1073741824 1073778376 140735110971792 18446744073709551615 220828052377 0 4 0 16800975 18446604471121901504 0 0 -1 7 0 0 0
[pid=4376/tid=4382] ppid=4374 vsize=15687632 CPUtime=0 cores=1,3,5,7
/proc/4376/task/4382/stat : 4382 (java) S 4374 4376 4321 0 -1 4202560 753 0 0 0 0 0 0 0 18 0 22 0 504086027 16064135168 51031 33554432000 1073741824 1073778376 140735110971792 18446744073709551615 220828052377 0 4 0 16800975 18446604471121901504 0 0 -1 1 0 0 0
[pid=4376/tid=4383] ppid=4374 vsize=15687632 CPUtime=0 cores=1,3,5,7
/proc/4376/task/4383/stat : 4383 (java) S 4374 4376 4321 0 -1 4202560 85 0 0 0 0 0 0 0 18 0 22 0 504086027 16064135168 51031 33554432000 1073741824 1073778376 140735110971792 18446744073709551615 220828052377 0 4 0 16800975 18446604471121901504 0 0 -1 1 0 0 0
[pid=4376/tid=4384] ppid=4374 vsize=15687632 CPUtime=0 cores=1,3,5,7
/proc/4376/task/4384/stat : 4384 (java) S 4374 4376 4321 0 -1 4202560 388 0 0 0 0 0 0 0 18 0 22 0 504086027 16064135168 51031 33554432000 1073741824 1073778376 140735110971792 18446744073709551615 220828052377 0 4 0 16800975 18446604471121901504 0 0 -1 5 0 0 0
[pid=4376/tid=4385] ppid=4374 vsize=15687632 CPUtime=0 cores=1,3,5,7
/proc/4376/task/4385/stat : 4385 (java) S 4374 4376 4321 0 -1 4202560 354 0 0 0 0 0 0 0 18 0 22 0 504086027 16064135168 51031 33554432000 1073741824 1073778376 140735110971792 18446744073709551615 220828052377 0 4 0 16800975 18446604471121901504 0 0 -1 7 0 0 0
[pid=4376/tid=4386] ppid=4374 vsize=15687632 CPUtime=0 cores=1,3,5,7
/proc/4376/task/4386/stat : 4386 (java) S 4374 4376 4321 0 -1 4202560 569 0 0 0 0 0 0 0 18 0 22 0 504086027 16064135168 51031 33554432000 1073741824 1073778376 140735110971792 18446744073709551615 220828052377 0 4 0 16800975 18446604471121901504 0 0 -1 7 0 0 0
[pid=4376/tid=4387] ppid=4374 vsize=15687632 CPUtime=0 cores=1,3,5,7
/proc/4376/task/4387/stat : 4387 (java) S 4374 4376 4321 0 -1 4202560 72 0 0 0 0 0 0 0 18 0 22 0 504086028 16064135168 51031 33554432000 1073741824 1073778376 140735110971792 18446744073709551615 220828052992 0 0 0 16800975 18446604471121901504 0 0 -1 5 0 0 0
[pid=4376/tid=4388] ppid=4374 vsize=15687632 CPUtime=0 cores=1,3,5,7
/proc/4376/task/4388/stat : 4388 (java) S 4374 4376 4321 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 504086028 16064135168 51031 33554432000 1073741824 1073778376 140735110971792 18446744073709551615 220828052377 0 4 0 16800975 18446604471121901504 0 0 -1 5 0 0 0
[pid=4376/tid=4389] ppid=4374 vsize=15687632 CPUtime=0 cores=1,3,5,7
/proc/4376/task/4389/stat : 4389 (java) S 4374 4376 4321 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 504086028 16064135168 51031 33554432000 1073741824 1073778376 140735110971792 18446744073709551615 220828052377 0 4 0 16800975 18446604471121901504 0 0 -1 5 0 0 0
[pid=4376/tid=4390] ppid=4374 vsize=15687632 CPUtime=0 cores=1,3,5,7
/proc/4376/task/4390/stat : 4390 (java) S 4374 4376 4321 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 504086030 16064135168 51031 33554432000 1073741824 1073778376 140735110971792 18446744073709551615 220828060081 0 4 0 16800975 18446604471121901504 0 0 -1 5 0 0 0
[pid=4376/tid=4391] ppid=4374 vsize=15687632 CPUtime=0.73 cores=1,3,5,7
/proc/4376/task/4391/stat : 4391 (java) R 4374 4376 4321 0 -1 4202560 14391 0 0 0 71 2 0 0 16 0 22 0 504086030 16064135168 51031 33554432000 1073741824 1073778376 140735110971792 18446744073709551615 47832306935250 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=4376/tid=4392] ppid=4374 vsize=15687632 CPUtime=0.2 cores=1,3,5,7
/proc/4376/task/4392/stat : 4392 (java) R 4374 4376 4321 0 -1 4202560 2497 0 0 0 20 0 0 0 15 0 22 0 504086030 16064135168 51031 33554432000 1073741824 1073778376 140735110971792 18446744073709551615 47832306244863 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=4376/tid=4393] ppid=4374 vsize=15687632 CPUtime=0 cores=1,3,5,7
/proc/4376/task/4393/stat : 4393 (java) S 4374 4376 4321 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 504086030 16064135168 51031 33554432000 1073741824 1073778376 140735110971792 18446744073709551615 220828052377 0 4 0 16800975 18446604471121901504 0 0 -1 7 0 0 0
[pid=4376/tid=4394] ppid=4374 vsize=15687632 CPUtime=0 cores=1,3,5,7
/proc/4376/task/4394/stat : 4394 (java) S 4374 4376 4321 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 504086030 16064135168 51031 33554432000 1073741824 1073778376 140735110971792 18446744073709551615 220828052992 0 4 0 16800975 18446604471121901504 0 0 -1 5 0 0 0
[pid=4376/tid=4399] ppid=4374 vsize=15687632 CPUtime=0 cores=1,3,5,7
/proc/4376/task/4399/stat : 4399 (java) R 4374 4376 4321 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 504086103 16064135168 51031 33554432000 1073741824 1073778376 140735110971792 18446744073709551615 220828052992 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=4376/tid=4400] ppid=4374 vsize=15687632 CPUtime=0 cores=1,3,5,7
/proc/4376/task/4400/stat : 4400 (java) S 4374 4376 4321 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 504086103 16064135168 51031 33554432000 1073741824 1073778376 140735110971792 18446744073709551615 220828052992 0 4 0 16800975 18446604471121901504 0 0 -1 5 0 0 0
[pid=4376/tid=4401] ppid=4374 vsize=15687632 CPUtime=0 cores=1,3,5,7
/proc/4376/task/4401/stat : 4401 (java) R 4374 4376 4321 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 22 0 504086103 16064135168 51031 33554432000 1073741824 1073778376 140735110971792 18446744073709551615 220828052992 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=4376/tid=4402] ppid=4374 vsize=15687632 CPUtime=0 cores=1,3,5,7
/proc/4376/task/4402/stat : 4402 (java) R 4374 4376 4321 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 22 0 504086103 16064135168 51031 33554432000 1073741824 1073778376 140735110971792 18446744073709551615 220828052992 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.45
Current children cumulated vsize (KiB) 15687632
[startup+3.10953 s]
/proc/loadavg: 6.61 7.77 7.95 10/220 4402
/proc/meminfo: memFree=30430240/32951124 swapFree=67105204/67111528
[pid=4376] ppid=4374 vsize=15684676 CPUtime=5.75 cores=1,3,5,7
/proc/4376/stat : 4376 (java) S 4374 4376 4321 0 -1 4202496 73179 0 1 0 565 10 0 0 23 0 22 0 504086026 16061108224 63104 33554432000 1073741824 1073778376 140735110971792 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/4376/statm: 3921169 63104 2275 9 0 3911888 0
[pid=4376/tid=4377] ppid=4374 vsize=15684676 CPUtime=2.28 cores=1,3,5,7
/proc/4376/task/4377/stat : 4377 (java) S 4374 4376 4321 0 -1 4202560 35654 0 1 0 223 5 0 0 25 0 22 0 504086026 16061108224 63104 33554432000 1073741824 1073778376 140735110971792 18446744073709551615 220828052377 0 4 0 16800975 18446604471121901504 0 0 -1 5 0 0 0
[pid=4376/tid=4379] ppid=4374 vsize=15684676 CPUtime=0.02 cores=1,3,5,7
/proc/4376/task/4379/stat : 4379 (java) S 4374 4376 4321 0 -1 4202560 5013 0 0 0 2 0 0 0 16 0 22 0 504086027 16061108224 63104 33554432000 1073741824 1073778376 140735110971792 18446744073709551615 220828052377 0 4 0 16800975 18446604471121901504 0 0 -1 1 0 0 0
[pid=4376/tid=4380] ppid=4374 vsize=15684676 CPUtime=0 cores=1,3,5,7
/proc/4376/task/4380/stat : 4380 (java) S 4374 4376 4321 0 -1 4202560 2890 0 0 0 0 0 0 0 18 0 22 0 504086027 16061108224 63104 33554432000 1073741824 1073778376 140735110971792 18446744073709551615 220828052377 0 4 0 16800975 18446604471121901504 0 0 -1 7 0 0 0
[pid=4376/tid=4381] ppid=4374 vsize=15684676 CPUtime=0 cores=1,3,5,7
/proc/4376/task/4381/stat : 4381 (java) S 4374 4376 4321 0 -1 4202560 290 0 0 0 0 0 0 0 15 0 22 0 504086027 16061108224 63104 33554432000 1073741824 1073778376 140735110971792 18446744073709551615 220828052377 0 4 0 16800975 18446604471121901504 0 0 -1 1 0 0 0
[pid=4376/tid=4382] ppid=4374 vsize=15684676 CPUtime=0.02 cores=1,3,5,7
/proc/4376/task/4382/stat : 4382 (java) S 4374 4376 4321 0 -1 4202560 4507 0 0 0 2 0 0 0 18 0 22 0 504086027 16061108224 63104 33554432000 1073741824 1073778376 140735110971792 18446744073709551615 220828052377 0 4 0 16800975 18446604471121901504 0 0 -1 1 0 0 0
[pid=4376/tid=4383] ppid=4374 vsize=15684676 CPUtime=0 cores=1,3,5,7
/proc/4376/task/4383/stat : 4383 (java) S 4374 4376 4321 0 -1 4202560 85 0 0 0 0 0 0 0 17 0 22 0 504086027 16061108224 63104 33554432000 1073741824 1073778376 140735110971792 18446744073709551615 220828052377 0 4 0 16800975 18446604471121901504 0 0 -1 1 0 0 0
[pid=4376/tid=4384] ppid=4374 vsize=15684676 CPUtime=0 cores=1,3,5,7
/proc/4376/task/4384/stat : 4384 (java) S 4374 4376 4321 0 -1 4202560 388 0 0 0 0 0 0 0 18 0 22 0 504086027 16061108224 63104 33554432000 1073741824 1073778376 140735110971792 18446744073709551615 220828052377 0 4 0 16800975 18446604471121901504 0 0 -1 5 0 0 0
[pid=4376/tid=4385] ppid=4374 vsize=15684676 CPUtime=0.01 cores=1,3,5,7
/proc/4376/task/4385/stat : 4385 (java) S 4374 4376 4321 0 -1 4202560 2115 0 0 0 1 0 0 0 18 0 22 0 504086027 16061108224 63104 33554432000 1073741824 1073778376 140735110971792 18446744073709551615 220828052377 0 4 0 16800975 18446604471121901504 0 0 -1 1 0 0 0
[pid=4376/tid=4386] ppid=4374 vsize=15684676 CPUtime=0 cores=1,3,5,7
/proc/4376/task/4386/stat : 4386 (java) S 4374 4376 4321 0 -1 4202560 569 0 0 0 0 0 0 0 18 0 22 0 504086027 16061108224 63104 33554432000 1073741824 1073778376 140735110971792 18446744073709551615 220828052377 0 4 0 16800975 18446604471121901504 0 0 -1 7 0 0 0
[pid=4376/tid=4387] ppid=4374 vsize=15684676 CPUtime=0 cores=1,3,5,7
/proc/4376/task/4387/stat : 4387 (java) S 4374 4376 4321 0 -1 4202560 74 0 0 0 0 0 0 0 15 0 22 0 504086028 16061108224 63104 33554432000 1073741824 1073778376 140735110971792 18446744073709551615 220828052992 0 0 0 16800975 18446604471121901504 0 0 -1 5 0 0 0
[pid=4376/tid=4388] ppid=4374 vsize=15684676 CPUtime=0 cores=1,3,5,7
/proc/4376/task/4388/stat : 4388 (java) S 4374 4376 4321 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 504086028 16061108224 63104 33554432000 1073741824 1073778376 140735110971792 18446744073709551615 220828052377 0 4 0 16800975 18446604471121901504 0 0 -1 5 0 0 0
[pid=4376/tid=4389] ppid=4374 vsize=15684676 CPUtime=0 cores=1,3,5,7
/proc/4376/task/4389/stat : 4389 (java) S 4374 4376 4321 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 504086028 16061108224 63104 33554432000 1073741824 1073778376 140735110971792 18446744073709551615 220828052377 0 4 0 16800975 18446604471121901504 0 0 -1 5 0 0 0
[pid=4376/tid=4390] ppid=4374 vsize=15684676 CPUtime=0 cores=1,3,5,7
/proc/4376/task/4390/stat : 4390 (java) S 4374 4376 4321 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 504086030 16061108224 63104 33554432000 1073741824 1073778376 140735110971792 18446744073709551615 220828060081 0 4 0 16800975 18446604471121901504 0 0 -1 5 0 0 0
[pid=4376/tid=4391] ppid=4374 vsize=15684676 CPUtime=1.61 cores=1,3,5,7
/proc/4376/task/4391/stat : 4391 (java) S 4374 4376 4321 0 -1 4202560 17507 0 0 0 159 2 0 0 16 0 22 0 504086030 16061108224 63104 33554432000 1073741824 1073778376 140735110971792 18446744073709551615 220828052377 0 4 0 16800975 18446604471121901504 0 0 -1 3 0 0 0
[pid=4376/tid=4392] ppid=4374 vsize=15684676 CPUtime=0.69 cores=1,3,5,7
/proc/4376/task/4392/stat : 4392 (java) S 4374 4376 4321 0 -1 4202560 2647 0 0 0 69 0 0 0 15 0 22 0 504086030 16061108224 63104 33554432000 1073741824 1073778376 140735110971792 18446744073709551615 220828052377 0 4 0 16800975 18446604471121901504 0 0 -1 1 0 0 0
[pid=4376/tid=4393] ppid=4374 vsize=15684676 CPUtime=0 cores=1,3,5,7
/proc/4376/task/4393/stat : 4393 (java) S 4374 4376 4321 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 504086030 16061108224 63104 33554432000 1073741824 1073778376 140735110971792 18446744073709551615 220828052377 0 4 0 16800975 18446604471121901504 0 0 -1 7 0 0 0
[pid=4376/tid=4394] ppid=4374 vsize=15684676 CPUtime=0 cores=1,3,5,7
/proc/4376/task/4394/stat : 4394 (java) S 4374 4376 4321 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 504086030 16061108224 63104 33554432000 1073741824 1073778376 140735110971792 18446744073709551615 220828052992 0 4 0 16800975 18446604471121901504 0 0 -1 3 0 0 0
[pid=4376/tid=4399] ppid=4374 vsize=15684676 CPUtime=0.28 cores=1,3,5,7
/proc/4376/task/4399/stat : 4399 (java) S 4374 4376 4321 0 -1 4202560 17 0 0 0 28 0 0 0 15 0 22 0 504086103 16061108224 63104 33554432000 1073741824 1073778376 140735110971792 18446744073709551615 220828052992 0 4 0 16800975 18446604471121901504 0 0 -1 3 0 0 0
[pid=4376/tid=4400] ppid=4374 vsize=15684676 CPUtime=0.09 cores=1,3,5,7
/proc/4376/task/4400/stat : 4400 (java) R 4374 4376 4321 0 -1 4202560 21 0 0 0 9 0 0 0 15 0 22 0 504086103 16061108224 63104 33554432000 1073741824 1073778376 140735110971792 18446744073709551615 46912506260670 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=4376/tid=4401] ppid=4374 vsize=15684676 CPUtime=0.33 cores=1,3,5,7
/proc/4376/task/4401/stat : 4401 (java) R 4374 4376 4321 0 -1 4202560 8 0 0 0 33 0 0 0 15 0 22 0 504086103 16061108224 63104 33554432000 1073741824 1073778376 140735110971792 18446744073709551615 47832309904433 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=4376/tid=4402] ppid=4374 vsize=15684676 CPUtime=0.33 cores=1,3,5,7
/proc/4376/task/4402/stat : 4402 (java) R 4374 4376 4321 0 -1 4202560 9 0 0 0 33 0 0 0 15 0 22 0 504086103 16061108224 63104 33554432000 1073741824 1073778376 140735110971792 18446744073709551615 46912506198264 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 5.75
Current children cumulated vsize (KiB) 15684676
[startup+6.30091 s]
/proc/loadavg: 6.80 7.79 7.96 12/220 4403
/proc/meminfo: memFree=29023088/32951124 swapFree=67105204/67111528
[pid=4376] ppid=4374 vsize=15684676 CPUtime=18.39 cores=1,3,5,7
/proc/4376/stat : 4376 (java) S 4374 4376 4321 0 -1 4202496 263032 0 1 0 1802 37 0 0 23 0 22 0 504086026 16061108224 251656 33554432000 1073741824 1073778376 140735110971792 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/4376/statm: 3921169 251656 2275 9 0 3911888 0
[pid=4376/tid=4377] ppid=4374 vsize=15684676 CPUtime=2.28 cores=1,3,5,7
/proc/4376/task/4377/stat : 4377 (java) S 4374 4376 4321 0 -1 4202560 35654 0 1 0 223 5 0 0 25 0 22 0 504086026 16061108224 251656 33554432000 1073741824 1073778376 140735110971792 18446744073709551615 220828052377 0 4 0 16800975 18446604471121901504 0 0 -1 5 0 0 0
[pid=4376/tid=4379] ppid=4374 vsize=15684676 CPUtime=0.09 cores=1,3,5,7
/proc/4376/task/4379/stat : 4379 (java) S 4374 4376 4321 0 -1 4202560 19330 0 0 0 7 2 0 0 15 0 22 0 504086027 16061108224 251656 33554432000 1073741824 1073778376 140735110971792 18446744073709551615 220828052377 0 4 0 16800975 18446604471121901504 0 0 -1 1 0 0 0
[pid=4376/tid=4380] ppid=4374 vsize=15684676 CPUtime=0.12 cores=1,3,5,7
/proc/4376/task/4380/stat : 4380 (java) S 4374 4376 4321 0 -1 4202560 24526 0 0 0 9 3 0 0 16 0 22 0 504086027 16061108224 251656 33554432000 1073741824 1073778376 140735110971792 18446744073709551615 220828052377 0 4 0 16800975 18446604471121901504 0 0 -1 1 0 0 0
[pid=4376/tid=4381] ppid=4374 vsize=15684676 CPUtime=0.07 cores=1,3,5,7
/proc/4376/task/4381/stat : 4381 (java) S 4374 4376 4321 0 -1 4202560 16816 0 0 0 4 3 0 0 16 0 22 0 504086027 16061108224 251656 33554432000 1073741824 1073778376 140735110971792 18446744073709551615 220828052377 0 4 0 16800975 18446604471121901504 0 0 -1 3 0 0 0
[pid=4376/tid=4382] ppid=4374 vsize=15684676 CPUtime=0.09 cores=1,3,5,7
/proc/4376/task/4382/stat : 4382 (java) S 4374 4376 4321 0 -1 4202560 18763 0 0 0 7 2 0 0 15 0 22 0 504086027 16061108224 251656 33554432000 1073741824 1073778376 140735110971792 18446744073709551615 220828052377 0 4 0 16800975 18446604471121901504 0 0 -1 5 0 0 0
[pid=4376/tid=4383] ppid=4374 vsize=15684676 CPUtime=0.03 cores=1,3,5,7
/proc/4376/task/4383/stat : 4383 (java) S 4374 4376 4321 0 -1 4202560 6363 0 0 0 3 0 0 0 16 0 22 0 504086027 16061108224 251656 33554432000 1073741824 1073778376 140735110971792 18446744073709551615 220828052377 0 4 0 16800975 18446604471121901504 0 0 -1 3 0 0 0
[pid=4376/tid=4384] ppid=4374 vsize=15684676 CPUtime=0.09 cores=1,3,5,7
/proc/4376/task/4384/stat : 4384 (java) S 4374 4376 4321 0 -1 4202560 14477 0 0 0 7 2 0 0 16 0 22 0 504086027 16061108224 251656 33554432000 1073741824 1073778376 140735110971792 18446744073709551615 220828052377 0 4 0 16800975 18446604471121901504 0 0 -1 3 0 0 0
[pid=4376/tid=4385] ppid=4374 vsize=15684676 CPUtime=0.01 cores=1,3,5,7
/proc/4376/task/4385/stat : 4385 (java) S 4374 4376 4321 0 -1 4202560 2115 0 0 0 1 0 0 0 15 0 22 0 504086027 16061108224 251656 33554432000 1073741824 1073778376 140735110971792 18446744073709551615 220828052377 0 4 0 16800975 18446604471121901504 0 0 -1 1 0 0 0
[pid=4376/tid=4386] ppid=4374 vsize=15684676 CPUtime=0.1 cores=1,3,5,7
/proc/4376/task/4386/stat : 4386 (java) S 4374 4376 4321 0 -1 4202560 24490 0 0 0 7 3 0 0 16 0 22 0 504086027 16061108224 251656 33554432000 1073741824 1073778376 140735110971792 18446744073709551615 220828052377 0 4 0 16800975 18446604471121901504 0 0 -1 5 0 0 0
################
# More data... #
################
[pid=4376/tid=4386] ppid=4374 vsize=15686560 CPUtime=2.27 cores=1,3,5,7
/proc/4376/task/4386/stat : 4386 (java) S 4374 4376 4321 0 -1 4202560 276493 0 0 0 181 46 0 0 16 0 21 0 504086027 16063037440 3842503 33554432000 1073741824 1073778376 140735110971792 18446744073709551615 220828052377 0 4 0 16800975 18446604471121901504 0 0 -1 7 0 0 0
[pid=4376/tid=4387] ppid=4374 vsize=15686560 CPUtime=888.15 cores=1,3,5,7
/proc/4376/task/4387/stat : 4387 (java) R 4374 4376 4321 0 -1 4202560 636291 0 0 0 88679 136 0 0 18 0 21 0 504086028 16063037440 3842503 33554432000 1073741824 1073778376 140735110971792 18446744073709551615 47832309672017 0 0 0 16800975 0 0 0 -1 3 0 0 0
[pid=4376/tid=4388] ppid=4374 vsize=15686560 CPUtime=0 cores=1,3,5,7
/proc/4376/task/4388/stat : 4388 (java) S 4374 4376 4321 0 -1 4202560 20 0 0 0 0 0 0 0 15 0 21 0 504086028 16063037440 3842503 33554432000 1073741824 1073778376 140735110971792 18446744073709551615 220828052377 0 4 0 16800975 18446604471121901504 0 0 -1 7 0 0 0
[pid=4376/tid=4389] ppid=4374 vsize=15686560 CPUtime=0 cores=1,3,5,7
/proc/4376/task/4389/stat : 4389 (java) S 4374 4376 4321 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 21 0 504086028 16063037440 3842503 33554432000 1073741824 1073778376 140735110971792 18446744073709551615 220828052377 0 4 0 16800975 18446604471121901504 0 0 -1 5 0 0 0
[pid=4376/tid=4390] ppid=4374 vsize=15686560 CPUtime=0 cores=1,3,5,7
/proc/4376/task/4390/stat : 4390 (java) S 4374 4376 4321 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 21 0 504086030 16063037440 3842503 33554432000 1073741824 1073778376 140735110971792 18446744073709551615 220828060081 0 4 0 16800975 18446604471121901504 0 0 -1 5 0 0 0
[pid=4376/tid=4391] ppid=4374 vsize=15686560 CPUtime=1.77 cores=1,3,5,7
/proc/4376/task/4391/stat : 4391 (java) S 4374 4376 4321 0 -1 4202560 17534 0 0 0 175 2 0 0 15 0 21 0 504086030 16063037440 3842503 33554432000 1073741824 1073778376 140735110971792 18446744073709551615 220828052377 0 4 0 16800975 18446604471121901504 0 0 -1 3 0 0 0
[pid=4376/tid=4392] ppid=4374 vsize=15686560 CPUtime=0.82 cores=1,3,5,7
/proc/4376/task/4392/stat : 4392 (java) S 4374 4376 4321 0 -1 4202560 3146 0 0 0 82 0 0 0 15 0 21 0 504086030 16063037440 3842503 33554432000 1073741824 1073778376 140735110971792 18446744073709551615 220828052377 0 4 0 16800975 18446604471121901504 0 0 -1 1 0 0 0
[pid=4376/tid=4393] ppid=4374 vsize=15686560 CPUtime=0 cores=1,3,5,7
/proc/4376/task/4393/stat : 4393 (java) S 4374 4376 4321 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 21 0 504086030 16063037440 3842503 33554432000 1073741824 1073778376 140735110971792 18446744073709551615 220828052377 0 4 0 16800975 18446604471121901504 0 0 -1 7 0 0 0
[pid=4376/tid=4394] ppid=4374 vsize=15686560 CPUtime=0 cores=1,3,5,7
/proc/4376/task/4394/stat : 4394 (java) S 4374 4376 4321 0 -1 4202560 65 0 0 0 0 0 0 0 15 0 21 0 504086030 16063037440 3842503 33554432000 1073741824 1073778376 140735110971792 18446744073709551615 220828052992 0 4 0 16800975 18446604471121901504 0 0 -1 1 0 0 0
[pid=4376/tid=4399] ppid=4374 vsize=15686560 CPUtime=285.46 cores=1,3,5,7
/proc/4376/task/4399/stat : 4399 (java) S 4374 4376 4321 0 -1 4202560 101463 0 0 0 28526 20 0 0 15 0 21 0 504086103 16063037440 3842503 33554432000 1073741824 1073778376 140735110971792 18446744073709551615 220828052992 0 4 0 16800975 18446604471121901504 0 0 -1 1 0 0 0
[pid=4376/tid=4400] ppid=4374 vsize=15686560 CPUtime=285.29 cores=1,3,5,7
/proc/4376/task/4400/stat : 4400 (java) S 4374 4376 4321 0 -1 4202560 105940 0 0 0 28509 20 0 0 15 0 21 0 504086103 16063037440 3842503 33554432000 1073741824 1073778376 140735110971792 18446744073709551615 220828052377 0 4 0 16800975 18446604471121901504 0 0 -1 5 0 0 0
[pid=4376/tid=4402] ppid=4374 vsize=15686560 CPUtime=285.7 cores=1,3,5,7
/proc/4376/task/4402/stat : 4402 (java) S 4374 4376 4321 0 -1 4202560 108599 0 0 0 28546 24 0 0 15 0 21 0 504086103 16063037440 3842503 33554432000 1073741824 1073778376 140735110971792 18446744073709551615 220828052377 0 4 0 16800975 18446604471121901504 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2052.3
Current children cumulated vsize (KiB) 15686560
[startup+1242.3 s]
/proc/loadavg: 5.01 5.15 6.06 7/219 4487
/proc/meminfo: memFree=10397188/32951124 swapFree=67105204/67111528
[pid=4376] ppid=4374 vsize=15686560 CPUtime=2113.99 cores=1,3,5,7
/proc/4376/stat : 4376 (java) S 4374 4376 4321 0 -1 4202496 3890290 0 1 0 210699 700 0 0 23 0 21 0 504086026 16063037440 3842503 33554432000 1073741824 1073778376 140735110971792 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/4376/statm: 3921640 3842503 2295 9 0 3912359 0
[pid=4376/tid=4377] ppid=4374 vsize=15686560 CPUtime=2.28 cores=1,3,5,7
/proc/4376/task/4377/stat : 4377 (java) S 4374 4376 4321 0 -1 4202560 35654 0 1 0 223 5 0 0 25 0 21 0 504086026 16063037440 3842503 33554432000 1073741824 1073778376 140735110971792 18446744073709551615 220828052377 0 4 0 16800975 18446604471121901504 0 0 -1 5 0 0 0
[pid=4376/tid=4379] ppid=4374 vsize=15686560 CPUtime=2.71 cores=1,3,5,7
/proc/4376/task/4379/stat : 4379 (java) S 4374 4376 4321 0 -1 4202560 351146 0 0 0 214 57 0 0 16 0 21 0 504086027 16063037440 3842503 33554432000 1073741824 1073778376 140735110971792 18446744073709551615 220828052377 0 4 0 16800975 18446604471121901504 0 0 -1 7 0 0 0
[pid=4376/tid=4380] ppid=4374 vsize=15686560 CPUtime=2.61 cores=1,3,5,7
/proc/4376/task/4380/stat : 4380 (java) S 4374 4376 4321 0 -1 4202560 345166 0 0 0 203 58 0 0 16 0 21 0 504086027 16063037440 3842503 33554432000 1073741824 1073778376 140735110971792 18446744073709551615 220828052377 0 4 0 16800975 18446604471121901504 0 0 -1 5 0 0 0
[pid=4376/tid=4381] ppid=4374 vsize=15686560 CPUtime=2.59 cores=1,3,5,7
/proc/4376/task/4381/stat : 4381 (java) S 4374 4376 4321 0 -1 4202560 334388 0 0 0 206 53 0 0 16 0 21 0 504086027 16063037440 3842503 33554432000 1073741824 1073778376 140735110971792 18446744073709551615 220828052377 0 4 0 16800975 18446604471121901504 0 0 -1 5 0 0 0
[pid=4376/tid=4382] ppid=4374 vsize=15686560 CPUtime=2.79 cores=1,3,5,7
/proc/4376/task/4382/stat : 4382 (java) S 4374 4376 4321 0 -1 4202560 365715 0 0 0 220 59 0 0 16 0 21 0 504086027 16063037440 3842503 33554432000 1073741824 1073778376 140735110971792 18446744073709551615 220828052377 0 4 0 16800975 18446604471121901504 0 0 -1 1 0 0 0
[pid=4376/tid=4383] ppid=4374 vsize=15686560 CPUtime=2.69 cores=1,3,5,7
/proc/4376/task/4383/stat : 4383 (java) S 4374 4376 4321 0 -1 4202560 345281 0 0 0 212 57 0 0 16 0 21 0 504086027 16063037440 3842503 33554432000 1073741824 1073778376 140735110971792 18446744073709551615 220828052377 0 4 0 16800975 18446604471121901504 0 0 -1 1 0 0 0
[pid=4376/tid=4384] ppid=4374 vsize=15686560 CPUtime=2.55 cores=1,3,5,7
/proc/4376/task/4384/stat : 4384 (java) S 4374 4376 4321 0 -1 4202560 348937 0 0 0 197 58 0 0 16 0 21 0 504086027 16063037440 3842503 33554432000 1073741824 1073778376 140735110971792 18446744073709551615 220828052377 0 4 0 16800975 18446604471121901504 0 0 -1 7 0 0 0
[pid=4376/tid=4385] ppid=4374 vsize=15686560 CPUtime=2.95 cores=1,3,5,7
/proc/4376/task/4385/stat : 4385 (java) S 4374 4376 4321 0 -1 4202560 414254 0 0 0 226 69 0 0 16 0 21 0 504086027 16063037440 3842503 33554432000 1073741824 1073778376 140735110971792 18446744073709551615 220828052377 0 4 0 16800975 18446604471121901504 0 0 -1 5 0 0 0
[pid=4376/tid=4386] ppid=4374 vsize=15686560 CPUtime=2.27 cores=1,3,5,7
/proc/4376/task/4386/stat : 4386 (java) S 4374 4376 4321 0 -1 4202560 276493 0 0 0 181 46 0 0 16 0 21 0 504086027 16063037440 3842503 33554432000 1073741824 1073778376 140735110971792 18446744073709551615 220828052377 0 4 0 16800975 18446604471121901504 0 0 -1 7 0 0 0
[pid=4376/tid=4387] ppid=4374 vsize=15686560 CPUtime=947.25 cores=1,3,5,7
/proc/4376/task/4387/stat : 4387 (java) R 4374 4376 4321 0 -1 4202560 636295 0 0 0 94579 146 0 0 18 0 21 0 504086028 16063037440 3842503 33554432000 1073741824 1073778376 140735110971792 18446744073709551615 47832305387328 0 0 0 16800975 0 0 0 -1 5 0 0 0
[pid=4376/tid=4388] ppid=4374 vsize=15686560 CPUtime=0 cores=1,3,5,7
/proc/4376/task/4388/stat : 4388 (java) S 4374 4376 4321 0 -1 4202560 20 0 0 0 0 0 0 0 15 0 21 0 504086028 16063037440 3842503 33554432000 1073741824 1073778376 140735110971792 18446744073709551615 220828052377 0 4 0 16800975 18446604471121901504 0 0 -1 7 0 0 0
[pid=4376/tid=4389] ppid=4374 vsize=15686560 CPUtime=0 cores=1,3,5,7
/proc/4376/task/4389/stat : 4389 (java) S 4374 4376 4321 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 21 0 504086028 16063037440 3842503 33554432000 1073741824 1073778376 140735110971792 18446744073709551615 220828052377 0 4 0 16800975 18446604471121901504 0 0 -1 5 0 0 0
[pid=4376/tid=4390] ppid=4374 vsize=15686560 CPUtime=0 cores=1,3,5,7
/proc/4376/task/4390/stat : 4390 (java) S 4374 4376 4321 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 21 0 504086030 16063037440 3842503 33554432000 1073741824 1073778376 140735110971792 18446744073709551615 220828060081 0 4 0 16800975 18446604471121901504 0 0 -1 5 0 0 0
[pid=4376/tid=4391] ppid=4374 vsize=15686560 CPUtime=1.77 cores=1,3,5,7
/proc/4376/task/4391/stat : 4391 (java) S 4374 4376 4321 0 -1 4202560 17534 0 0 0 175 2 0 0 15 0 21 0 504086030 16063037440 3842503 33554432000 1073741824 1073778376 140735110971792 18446744073709551615 220828052377 0 4 0 16800975 18446604471121901504 0 0 -1 3 0 0 0
[pid=4376/tid=4392] ppid=4374 vsize=15686560 CPUtime=0.82 cores=1,3,5,7
/proc/4376/task/4392/stat : 4392 (java) S 4374 4376 4321 0 -1 4202560 3146 0 0 0 82 0 0 0 15 0 21 0 504086030 16063037440 3842503 33554432000 1073741824 1073778376 140735110971792 18446744073709551615 220828052377 0 4 0 16800975 18446604471121901504 0 0 -1 1 0 0 0
[pid=4376/tid=4393] ppid=4374 vsize=15686560 CPUtime=0 cores=1,3,5,7
/proc/4376/task/4393/stat : 4393 (java) S 4374 4376 4321 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 21 0 504086030 16063037440 3842503 33554432000 1073741824 1073778376 140735110971792 18446744073709551615 220828052377 0 4 0 16800975 18446604471121901504 0 0 -1 7 0 0 0
[pid=4376/tid=4394] ppid=4374 vsize=15686560 CPUtime=0 cores=1,3,5,7
/proc/4376/task/4394/stat : 4394 (java) S 4374 4376 4321 0 -1 4202560 68 0 0 0 0 0 0 0 15 0 21 0 504086030 16063037440 3842503 33554432000 1073741824 1073778376 140735110971792 18446744073709551615 220828052992 0 4 0 16800975 18446604471121901504 0 0 -1 7 0 0 0
[pid=4376/tid=4399] ppid=4374 vsize=15686560 CPUtime=286.31 cores=1,3,5,7
/proc/4376/task/4399/stat : 4399 (java) S 4374 4376 4321 0 -1 4202560 101521 0 0 0 28610 21 0 0 15 0 21 0 504086103 16063037440 3842503 33554432000 1073741824 1073778376 140735110971792 18446744073709551615 220828052377 0 4 0 16800975 18446604471121901504 0 0 -1 1 0 0 0
[pid=4376/tid=4400] ppid=4374 vsize=15686560 CPUtime=286.16 cores=1,3,5,7
/proc/4376/task/4400/stat : 4400 (java) S 4374 4376 4321 0 -1 4202560 106152 0 0 0 28595 21 0 0 15 0 21 0 504086103 16063037440 3842503 33554432000 1073741824 1073778376 140735110971792 18446744073709551615 220828052377 0 4 0 16800975 18446604471121901504 0 0 -1 5 0 0 0
[pid=4376/tid=4402] ppid=4374 vsize=15686560 CPUtime=286.57 cores=1,3,5,7
/proc/4376/task/4402/stat : 4402 (java) S 4374 4376 4321 0 -1 4202560 108943 0 0 0 28632 25 0 0 15 0 21 0 504086103 16063037440 3842503 33554432000 1073741824 1073778376 140735110971792 18446744073709551615 220828052377 0 4 0 16800975 18446604471121901504 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2113.99
Current children cumulated vsize (KiB) 15686560
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1300 s]
/proc/loadavg: 5.00 5.12 5.99 6/219 4488
/proc/meminfo: memFree=8091932/32951124 swapFree=67105204/67111528
[pid=4376] ppid=4374 vsize=15686560 CPUtime=2172.7 cores=1,3,5,7
/proc/4376/stat : 4376 (java) S 4374 4376 4321 0 -1 4202496 3890920 0 1 0 216561 709 0 0 23 0 21 0 504086026 16063037440 3842503 33554432000 1073741824 1073778376 140735110971792 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/4376/statm: 3921640 3842503 2295 9 0 3912359 0
[pid=4376/tid=4377] ppid=4374 vsize=15686560 CPUtime=2.28 cores=1,3,5,7
/proc/4376/task/4377/stat : 4377 (java) S 4374 4376 4321 0 -1 4202560 35654 0 1 0 223 5 0 0 25 0 21 0 504086026 16063037440 3842503 33554432000 1073741824 1073778376 140735110971792 18446744073709551615 220828052377 0 4 0 16800975 18446604471121901504 0 0 -1 5 0 0 0
[pid=4376/tid=4379] ppid=4374 vsize=15686560 CPUtime=2.71 cores=1,3,5,7
/proc/4376/task/4379/stat : 4379 (java) S 4374 4376 4321 0 -1 4202560 351146 0 0 0 214 57 0 0 16 0 21 0 504086027 16063037440 3842503 33554432000 1073741824 1073778376 140735110971792 18446744073709551615 220828052377 0 4 0 16800975 18446604471121901504 0 0 -1 7 0 0 0
[pid=4376/tid=4380] ppid=4374 vsize=15686560 CPUtime=2.61 cores=1,3,5,7
/proc/4376/task/4380/stat : 4380 (java) S 4374 4376 4321 0 -1 4202560 345166 0 0 0 203 58 0 0 16 0 21 0 504086027 16063037440 3842503 33554432000 1073741824 1073778376 140735110971792 18446744073709551615 220828052377 0 4 0 16800975 18446604471121901504 0 0 -1 5 0 0 0
[pid=4376/tid=4381] ppid=4374 vsize=15686560 CPUtime=2.59 cores=1,3,5,7
/proc/4376/task/4381/stat : 4381 (java) S 4374 4376 4321 0 -1 4202560 334388 0 0 0 206 53 0 0 16 0 21 0 504086027 16063037440 3842503 33554432000 1073741824 1073778376 140735110971792 18446744073709551615 220828052377 0 4 0 16800975 18446604471121901504 0 0 -1 5 0 0 0
[pid=4376/tid=4382] ppid=4374 vsize=15686560 CPUtime=2.79 cores=1,3,5,7
/proc/4376/task/4382/stat : 4382 (java) S 4374 4376 4321 0 -1 4202560 365715 0 0 0 220 59 0 0 16 0 21 0 504086027 16063037440 3842503 33554432000 1073741824 1073778376 140735110971792 18446744073709551615 220828052377 0 4 0 16800975 18446604471121901504 0 0 -1 1 0 0 0
[pid=4376/tid=4383] ppid=4374 vsize=15686560 CPUtime=2.69 cores=1,3,5,7
/proc/4376/task/4383/stat : 4383 (java) S 4374 4376 4321 0 -1 4202560 345281 0 0 0 212 57 0 0 16 0 21 0 504086027 16063037440 3842503 33554432000 1073741824 1073778376 140735110971792 18446744073709551615 220828052377 0 4 0 16800975 18446604471121901504 0 0 -1 1 0 0 0
[pid=4376/tid=4384] ppid=4374 vsize=15686560 CPUtime=2.55 cores=1,3,5,7
/proc/4376/task/4384/stat : 4384 (java) S 4374 4376 4321 0 -1 4202560 348937 0 0 0 197 58 0 0 16 0 21 0 504086027 16063037440 3842503 33554432000 1073741824 1073778376 140735110971792 18446744073709551615 220828052377 0 4 0 16800975 18446604471121901504 0 0 -1 7 0 0 0
[pid=4376/tid=4385] ppid=4374 vsize=15686560 CPUtime=2.95 cores=1,3,5,7
/proc/4376/task/4385/stat : 4385 (java) S 4374 4376 4321 0 -1 4202560 414254 0 0 0 226 69 0 0 16 0 21 0 504086027 16063037440 3842503 33554432000 1073741824 1073778376 140735110971792 18446744073709551615 220828052377 0 4 0 16800975 18446604471121901504 0 0 -1 5 0 0 0
[pid=4376/tid=4386] ppid=4374 vsize=15686560 CPUtime=2.27 cores=1,3,5,7
/proc/4376/task/4386/stat : 4386 (java) S 4374 4376 4321 0 -1 4202560 276493 0 0 0 181 46 0 0 16 0 21 0 504086027 16063037440 3842503 33554432000 1073741824 1073778376 140735110971792 18446744073709551615 220828052377 0 4 0 16800975 18446604471121901504 0 0 -1 7 0 0 0
[pid=4376/tid=4387] ppid=4374 vsize=15686560 CPUtime=1004.41 cores=1,3,5,7
/proc/4376/task/4387/stat : 4387 (java) R 4374 4376 4321 0 -1 4202560 636299 0 0 0 100288 153 0 0 18 0 21 0 504086028 16063037440 3842503 33554432000 1073741824 1073778376 140735110971792 18446744073709551615 47832309325856 0 0 0 16800975 0 0 0 -1 3 0 0 0
[pid=4376/tid=4388] ppid=4374 vsize=15686560 CPUtime=0 cores=1,3,5,7
/proc/4376/task/4388/stat : 4388 (java) S 4374 4376 4321 0 -1 4202560 20 0 0 0 0 0 0 0 15 0 21 0 504086028 16063037440 3842503 33554432000 1073741824 1073778376 140735110971792 18446744073709551615 220828052377 0 4 0 16800975 18446604471121901504 0 0 -1 7 0 0 0
[pid=4376/tid=4389] ppid=4374 vsize=15686560 CPUtime=0 cores=1,3,5,7
/proc/4376/task/4389/stat : 4389 (java) S 4374 4376 4321 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 21 0 504086028 16063037440 3842503 33554432000 1073741824 1073778376 140735110971792 18446744073709551615 220828052377 0 4 0 16800975 18446604471121901504 0 0 -1 5 0 0 0
[pid=4376/tid=4390] ppid=4374 vsize=15686560 CPUtime=0 cores=1,3,5,7
/proc/4376/task/4390/stat : 4390 (java) S 4374 4376 4321 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 21 0 504086030 16063037440 3842503 33554432000 1073741824 1073778376 140735110971792 18446744073709551615 220828060081 0 4 0 16800975 18446604471121901504 0 0 -1 5 0 0 0
[pid=4376/tid=4391] ppid=4374 vsize=15686560 CPUtime=1.77 cores=1,3,5,7
/proc/4376/task/4391/stat : 4391 (java) S 4374 4376 4321 0 -1 4202560 17534 0 0 0 175 2 0 0 15 0 21 0 504086030 16063037440 3842503 33554432000 1073741824 1073778376 140735110971792 18446744073709551615 220828052377 0 4 0 16800975 18446604471121901504 0 0 -1 3 0 0 0
[pid=4376/tid=4392] ppid=4374 vsize=15686560 CPUtime=0.82 cores=1,3,5,7
/proc/4376/task/4392/stat : 4392 (java) S 4374 4376 4321 0 -1 4202560 3146 0 0 0 82 0 0 0 15 0 21 0 504086030 16063037440 3842503 33554432000 1073741824 1073778376 140735110971792 18446744073709551615 220828052377 0 4 0 16800975 18446604471121901504 0 0 -1 1 0 0 0
[pid=4376/tid=4393] ppid=4374 vsize=15686560 CPUtime=0 cores=1,3,5,7
/proc/4376/task/4393/stat : 4393 (java) S 4374 4376 4321 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 21 0 504086030 16063037440 3842503 33554432000 1073741824 1073778376 140735110971792 18446744073709551615 220828052377 0 4 0 16800975 18446604471121901504 0 0 -1 7 0 0 0
[pid=4376/tid=4394] ppid=4374 vsize=15686560 CPUtime=0 cores=1,3,5,7
/proc/4376/task/4394/stat : 4394 (java) S 4374 4376 4321 0 -1 4202560 72 0 0 0 0 0 0 0 15 0 21 0 504086030 16063037440 3842503 33554432000 1073741824 1073778376 140735110971792 18446744073709551615 220828052992 0 4 0 16800975 18446604471121901504 0 0 -1 7 0 0 0
[pid=4376/tid=4399] ppid=4374 vsize=15686560 CPUtime=286.84 cores=1,3,5,7
/proc/4376/task/4399/stat : 4399 (java) S 4374 4376 4321 0 -1 4202560 101550 0 0 0 28662 22 0 0 15 0 21 0 504086103 16063037440 3842503 33554432000 1073741824 1073778376 140735110971792 18446744073709551615 220828052377 0 4 0 16800975 18446604471121901504 0 0 -1 1 0 0 0
[pid=4376/tid=4400] ppid=4374 vsize=15686560 CPUtime=286.67 cores=1,3,5,7
/proc/4376/task/4400/stat : 4400 (java) S 4374 4376 4321 0 -1 4202560 106290 0 0 0 28645 22 0 0 15 0 21 0 504086103 16063037440 3842503 33554432000 1073741824 1073778376 140735110971792 18446744073709551615 220828052377 0 4 0 16800975 18446604471121901504 0 0 -1 5 0 0 0
[pid=4376/tid=4402] ppid=4374 vsize=15686560 CPUtime=287.07 cores=1,3,5,7
/proc/4376/task/4402/stat : 4402 (java) S 4374 4376 4321 0 -1 4202560 109398 0 0 0 28682 25 0 0 15 0 21 0 504086103 16063037440 3842503 33554432000 1073741824 1073778376 140735110971792 18446744073709551615 220828052377 0 4 0 16800975 18446604471121901504 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2172.7
Current children cumulated vsize (KiB) 15686560
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -4376
[startup+1302.3 s]
/proc/loadavg: 5.00 5.12 5.99 6/200 4489
/proc/meminfo: memFree=17148168/32951124 swapFree=67105204/67111528
[pid=4376] ppid=4374 vsize=0 CPUtime=2175 cores=1,3,5,7
/proc/4376/stat : 4376 (java) Z 4374 4376 4321 0 -1 4203548 3890948 0 1 0 216762 738 0 0 18 0 2 0 504086026 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/4376/statm: 0 0 0 0 0 0 0
[pid=4376/tid=4377] ppid=4374 vsize=0 CPUtime=2.57 cores=1,3,5,7
/proc/4376/task/4377/stat : 4377 (java) R 4374 4376 4321 0 -1 4203588 35654 0 1 0 223 34 0 0 18 0 2 0 504086026 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2175
Current children cumulated vsize (KiB) 0
Solver just ended. Dumping a history of the last processes samples
[startup+1302.41 s]
/proc/loadavg: 5.00 5.12 5.99 6/200 4489
/proc/meminfo: memFree=17148168/32951124 swapFree=67105204/67111528
[pid=4376] ppid=4374 vsize=0 CPUtime=2175.1 cores=1,3,5,7
/proc/4376/stat : 4376 (java) Z 4374 4376 4321 0 -1 4203548 3890948 0 1 0 216762 748 0 0 18 0 2 0 504086026 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/4376/statm: 0 0 0 0 0 0 0
[pid=4376/tid=4377] ppid=4374 vsize=0 CPUtime=2.67 cores=1,3,5,7
/proc/4376/task/4377/stat : 4377 (java) R 4374 4376 4321 0 -1 4203588 35654 0 1 0 223 44 0 0 18 0 2 0 504086026 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2175.1
Current children cumulated vsize (KiB) 0
[startup+1302.5 s]
/proc/loadavg: 5.00 5.12 5.99 6/200 4489
/proc/meminfo: memFree=17148168/32951124 swapFree=67105204/67111528
[pid=4376] ppid=4374 vsize=0 CPUtime=2175.2 cores=1,3,5,7
/proc/4376/stat : 4376 (java) Z 4374 4376 4321 0 -1 4203548 3890948 0 1 0 216762 758 0 0 18 0 2 0 504086026 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/4376/statm: 0 0 0 0 0 0 0
[pid=4376/tid=4377] ppid=4374 vsize=0 CPUtime=2.76 cores=1,3,5,7
/proc/4376/task/4377/stat : 4377 (java) R 4374 4376 4321 0 -1 4203588 35654 0 1 0 223 53 0 0 18 0 2 0 504086026 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2175.2
Current children cumulated vsize (KiB) 0
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1302.51
CPU time (s): 2175.22
CPU user time (s): 2167.63
CPU system time (s): 7.59185
CPU usage (%): 167.002
Max. virtual memory (cumulated for all children) (KiB): 15687640
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2167.63
system time used= 7.59185
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3890948
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 82263
involuntary context switches= 38777
runsolver used 2.20366 second user time and 4.94025 second system time
The end