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-3744520-1338810571/watcher-3744520-1338810571 -o /tmp/evaluation-result-3744520-1338810571/solver-3744520-1338810571 -C 1800 -W 1900 -M 15500 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-3744520-1338810571.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 3.56 3.80 3.80 4/195 3511
/proc/meminfo: memFree=20664868/32873844 swapFree=7112/7112
[pid=3511] ppid=3509 vsize=23236 CPUtime=0 cores=0,2,4,6
/proc/3511/stat : 3511 (java) R 3509 3511 6982 0 -1 4202496 986 0 0 0 0 0 0 0 20 0 1 0 347185622 23793664 713 33554432000 1073741824 1073778376 140735242110400 140735242099464 235365512552 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/3511/statm: 5809 714 528 9 0 128 0
[startup+0.0622039 s]
/proc/loadavg: 3.56 3.80 3.80 4/195 3511
/proc/meminfo: memFree=20664868/32873844 swapFree=7112/7112
[pid=3511] ppid=3509 vsize=2699928 CPUtime=0.04 cores=0,2,4,6
/proc/3511/stat : 3511 (java) S 3509 3511 6982 0 -1 4202496 3842 0 1 0 4 0 0 0 20 0 18 0 347185622 2764726272 5561 33554432000 1073741824 1073778376 140735242110400 140735242101536 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3511/statm: 674982 5561 1757 9 0 665676 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 2699928
[startup+0.100253 s]
/proc/loadavg: 3.56 3.80 3.80 4/195 3511
/proc/meminfo: memFree=20664868/32873844 swapFree=7112/7112
[pid=3511] ppid=3509 vsize=2699928 CPUtime=0.1 cores=0,2,4,6
/proc/3511/stat : 3511 (java) S 3509 3511 6982 0 -1 4202496 4690 0 1 0 9 1 0 0 20 0 18 0 347185622 2764726272 6399 33554432000 1073741824 1073778376 140735242110400 140735242101536 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3511/statm: 674982 6399 2109 9 0 665676 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 2699928
[startup+0.300221 s]
/proc/loadavg: 3.56 3.80 3.80 4/195 3511
/proc/meminfo: memFree=20664868/32873844 swapFree=7112/7112
[pid=3511] ppid=3509 vsize=2699928 CPUtime=0.51 cores=0,2,4,6
/proc/3511/stat : 3511 (java) S 3509 3511 6982 0 -1 4202496 5995 0 1 0 49 2 0 0 20 0 18 0 347185622 2764726272 9668 33554432000 1073741824 1073778376 140735242110400 140735242101536 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3511/statm: 674982 9668 2218 9 0 665676 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 2699928
[startup+0.700247 s]
/proc/loadavg: 3.56 3.80 3.80 4/195 3511
/proc/meminfo: memFree=20664868/32873844 swapFree=7112/7112
[pid=3511] ppid=3509 vsize=2699928 CPUtime=1.66 cores=0,2,4,6
/proc/3511/stat : 3511 (java) S 3509 3511 6982 0 -1 4202496 17539 0 1 0 161 5 0 0 20 0 18 0 347185622 2764726272 40989 33554432000 1073741824 1073778376 140735242110400 140735242101536 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3511/statm: 674982 40989 2232 9 0 665676 0
Current children cumulated CPU time (s) 1.66
Current children cumulated vsize (KiB) 2699928
[startup+1.5007 s]
/proc/loadavg: 3.56 3.80 3.80 7/217 3533
/proc/meminfo: memFree=20474712/32873844 swapFree=7112/7112
[pid=3511] ppid=3509 vsize=2966184 CPUtime=4.22 cores=0,2,4,6
/proc/3511/stat : 3511 (java) S 3509 3511 6982 0 -1 4202496 17806 0 1 0 413 9 0 0 20 0 22 0 347185622 3037372416 96431 33554432000 1073741824 1073778376 140735242110400 140735242101536 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3511/statm: 741546 96431 2263 9 0 732240 0
[pid=3511/tid=3513] ppid=3509 vsize=2966184 CPUtime=0.69 cores=0,2,4,6
/proc/3511/task/3513/stat : 3513 (java) S 3509 3511 6982 0 -1 4202560 2850 0 1 0 66 3 0 0 20 0 22 0 347185622 3037372416 96431 33554432000 1073741824 1073778376 140735242110400 140287490839704 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3511/tid=3514] ppid=3509 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/3511/task/3514/stat : 3514 (java) S 3509 3511 6982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 347185623 3037372416 96431 33554432000 1073741824 1073778376 140735242110400 140287475120296 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3511/tid=3515] ppid=3509 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/3511/task/3515/stat : 3515 (java) S 3509 3511 6982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 347185623 3037372416 96431 33554432000 1073741824 1073778376 140735242110400 140287474067752 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3511/tid=3516] ppid=3509 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/3511/task/3516/stat : 3516 (java) S 3509 3511 6982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 347185623 3037372416 96431 33554432000 1073741824 1073778376 140735242110400 140287473015208 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3511/tid=3517] ppid=3509 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/3511/task/3517/stat : 3517 (java) S 3509 3511 6982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 347185623 3037372416 96431 33554432000 1073741824 1073778376 140735242110400 140287471962664 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3511/tid=3518] ppid=3509 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/3511/task/3518/stat : 3518 (java) S 3509 3511 6982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 347185623 3037372416 96431 33554432000 1073741824 1073778376 140735242110400 140287470910120 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3511/tid=3519] ppid=3509 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/3511/task/3519/stat : 3519 (java) S 3509 3511 6982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 347185623 3037372416 96431 33554432000 1073741824 1073778376 140735242110400 140287469857576 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3511/tid=3520] ppid=3509 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/3511/task/3520/stat : 3520 (java) S 3509 3511 6982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 347185623 3037372416 96431 33554432000 1073741824 1073778376 140735242110400 140287468805032 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3511/tid=3521] ppid=3509 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/3511/task/3521/stat : 3521 (java) S 3509 3511 6982 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 347185623 3037372416 96431 33554432000 1073741824 1073778376 140735242110400 140287467752488 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3511/tid=3522] ppid=3509 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/3511/task/3522/stat : 3522 (java) S 3509 3511 6982 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 347185625 3037372416 96431 33554432000 1073741824 1073778376 140735242110400 140287337814120 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3511/tid=3523] ppid=3509 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/3511/task/3523/stat : 3523 (java) S 3509 3511 6982 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 347185625 3037372416 96431 33554432000 1073741824 1073778376 140735242110400 140287336760440 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3511/tid=3524] ppid=3509 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/3511/task/3524/stat : 3524 (java) S 3509 3511 6982 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 347185625 3037372416 96431 33554432000 1073741824 1073778376 140735242110400 140287335707784 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3511/tid=3525] ppid=3509 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/3511/task/3525/stat : 3525 (java) S 3509 3511 6982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 347185628 3037372416 96431 33554432000 1073741824 1073778376 140735242110400 140287334656528 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3511/tid=3526] ppid=3509 vsize=2966184 CPUtime=1 cores=0,2,4,6
/proc/3511/task/3526/stat : 3526 (java) S 3509 3511 6982 0 -1 4202560 6080 0 0 0 98 2 0 0 20 0 22 0 347185628 3037372416 96431 33554432000 1073741824 1073778376 140735242110400 140287333603896 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3511/tid=3527] ppid=3509 vsize=2966184 CPUtime=0.97 cores=0,2,4,6
/proc/3511/task/3527/stat : 3527 (java) S 3509 3511 6982 0 -1 4202560 7467 0 0 0 96 1 0 0 20 0 22 0 347185628 3037372416 96431 33554432000 1073741824 1073778376 140735242110400 140287332551352 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3511/tid=3528] ppid=3509 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/3511/task/3528/stat : 3528 (java) S 3509 3511 6982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 347185628 3037372416 96431 33554432000 1073741824 1073778376 140735242110400 140287331499000 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3511/tid=3529] ppid=3509 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/3511/task/3529/stat : 3529 (java) S 3509 3511 6982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 347185628 3037372416 96431 33554432000 1073741824 1073778376 140735242110400 140287330446664 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3511/tid=3530] ppid=3509 vsize=2966184 CPUtime=0.75 cores=0,2,4,6
/proc/3511/task/3530/stat : 3530 (java) R 3509 3511 6982 0 -1 4202560 84 0 0 0 73 2 0 0 20 0 22 0 347185694 3037372416 96431 33554432000 1073741824 1073778376 140735242110400 140287329390824 140287339600504 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=3511/tid=3531] ppid=3509 vsize=2966184 CPUtime=0.75 cores=0,2,4,6
/proc/3511/task/3531/stat : 3531 (java) R 3509 3511 6982 0 -1 4202560 123 0 0 0 73 2 0 0 20 0 22 0 347185694 3037372416 96431 33554432000 1073741824 1073778376 140735242110400 140287328338120 140287339856646 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=3511/tid=3532] ppid=3509 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/3511/task/3532/stat : 3532 (java) S 3509 3511 6982 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 347185701 3037372416 96431 33554432000 1073741824 1073778376 140735242110400 140287327286312 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3511/tid=3533] ppid=3509 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/3511/task/3533/stat : 3533 (java) S 3509 3511 6982 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 347185701 3037372416 96431 33554432000 1073741824 1073778376 140735242110400 140287326233768 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 4.22
Current children cumulated vsize (KiB) 2966184
[startup+3.10078 s]
/proc/loadavg: 3.56 3.80 3.80 5/217 3533
/proc/meminfo: memFree=20250472/32873844 swapFree=7112/7112
[pid=3511] ppid=3509 vsize=2966184 CPUtime=7.81 cores=0,2,4,6
/proc/3511/stat : 3511 (java) S 3509 3511 6982 0 -1 4202496 17950 0 1 0 765 16 0 0 20 0 22 0 347185622 3037372416 113356 33554432000 1073741824 1073778376 140735242110400 140735242101536 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3511/statm: 741546 113356 2275 9 0 732240 0
[pid=3511/tid=3513] ppid=3509 vsize=2966184 CPUtime=0.69 cores=0,2,4,6
/proc/3511/task/3513/stat : 3513 (java) S 3509 3511 6982 0 -1 4202560 2850 0 1 0 66 3 0 0 20 0 22 0 347185622 3037372416 113356 33554432000 1073741824 1073778376 140735242110400 140287490839704 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3511/tid=3514] ppid=3509 vsize=2966184 CPUtime=0.04 cores=0,2,4,6
/proc/3511/task/3514/stat : 3514 (java) S 3509 3511 6982 0 -1 4202560 20 0 0 0 4 0 0 0 20 0 22 0 347185623 3037372416 113356 33554432000 1073741824 1073778376 140735242110400 140287475120296 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3511/tid=3515] ppid=3509 vsize=2966184 CPUtime=0.05 cores=0,2,4,6
/proc/3511/task/3515/stat : 3515 (java) S 3509 3511 6982 0 -1 4202560 22 0 0 0 5 0 0 0 20 0 22 0 347185623 3037372416 113356 33554432000 1073741824 1073778376 140735242110400 140287474067752 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3511/tid=3516] ppid=3509 vsize=2966184 CPUtime=0.02 cores=0,2,4,6
/proc/3511/task/3516/stat : 3516 (java) S 3509 3511 6982 0 -1 4202560 12 0 0 0 2 0 0 0 20 0 22 0 347185623 3037372416 113356 33554432000 1073741824 1073778376 140735242110400 140287473015208 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3511/tid=3517] ppid=3509 vsize=2966184 CPUtime=0.07 cores=0,2,4,6
/proc/3511/task/3517/stat : 3517 (java) S 3509 3511 6982 0 -1 4202560 29 0 0 0 5 2 0 0 20 0 22 0 347185623 3037372416 113356 33554432000 1073741824 1073778376 140735242110400 140287471962664 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3511/tid=3518] ppid=3509 vsize=2966184 CPUtime=0.02 cores=0,2,4,6
/proc/3511/task/3518/stat : 3518 (java) S 3509 3511 6982 0 -1 4202560 8 0 0 0 2 0 0 0 20 0 22 0 347185623 3037372416 113356 33554432000 1073741824 1073778376 140735242110400 140287470910120 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3511/tid=3519] ppid=3509 vsize=2966184 CPUtime=0.05 cores=0,2,4,6
/proc/3511/task/3519/stat : 3519 (java) S 3509 3511 6982 0 -1 4202560 28 0 0 0 3 2 0 0 20 0 22 0 347185623 3037372416 113356 33554432000 1073741824 1073778376 140735242110400 140287469857576 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3511/tid=3520] ppid=3509 vsize=2966184 CPUtime=0.02 cores=0,2,4,6
/proc/3511/task/3520/stat : 3520 (java) S 3509 3511 6982 0 -1 4202560 10 0 0 0 2 0 0 0 20 0 22 0 347185623 3037372416 113356 33554432000 1073741824 1073778376 140735242110400 140287468805032 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3511/tid=3521] ppid=3509 vsize=2966184 CPUtime=0.02 cores=0,2,4,6
/proc/3511/task/3521/stat : 3521 (java) S 3509 3511 6982 0 -1 4202560 10 0 0 0 2 0 0 0 20 0 22 0 347185623 3037372416 113356 33554432000 1073741824 1073778376 140735242110400 140287467752488 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3511/tid=3522] ppid=3509 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/3511/task/3522/stat : 3522 (java) S 3509 3511 6982 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 347185625 3037372416 113356 33554432000 1073741824 1073778376 140735242110400 140287337814120 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3511/tid=3523] ppid=3509 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/3511/task/3523/stat : 3523 (java) S 3509 3511 6982 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 347185625 3037372416 113356 33554432000 1073741824 1073778376 140735242110400 140287336760440 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3511/tid=3524] ppid=3509 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/3511/task/3524/stat : 3524 (java) S 3509 3511 6982 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 347185625 3037372416 113356 33554432000 1073741824 1073778376 140735242110400 140287335707784 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3511/tid=3525] ppid=3509 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/3511/task/3525/stat : 3525 (java) S 3509 3511 6982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 347185628 3037372416 113356 33554432000 1073741824 1073778376 140735242110400 140287334656528 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3511/tid=3526] ppid=3509 vsize=2966184 CPUtime=1.11 cores=0,2,4,6
/proc/3511/task/3526/stat : 3526 (java) S 3509 3511 6982 0 -1 4202560 6080 0 0 0 109 2 0 0 20 0 22 0 347185628 3037372416 113356 33554432000 1073741824 1073778376 140735242110400 140287333603896 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3511/tid=3527] ppid=3509 vsize=2966184 CPUtime=1.08 cores=0,2,4,6
/proc/3511/task/3527/stat : 3527 (java) S 3509 3511 6982 0 -1 4202560 7467 0 0 0 106 2 0 0 20 0 22 0 347185628 3037372416 113356 33554432000 1073741824 1073778376 140735242110400 140287332551352 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3511/tid=3528] ppid=3509 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/3511/task/3528/stat : 3528 (java) S 3509 3511 6982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 347185628 3037372416 113356 33554432000 1073741824 1073778376 140735242110400 140287331499000 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3511/tid=3529] ppid=3509 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/3511/task/3529/stat : 3529 (java) S 3509 3511 6982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 347185628 3037372416 113356 33554432000 1073741824 1073778376 140735242110400 140287330446664 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3511/tid=3530] ppid=3509 vsize=2966184 CPUtime=2.24 cores=0,2,4,6
/proc/3511/task/3530/stat : 3530 (java) R 3509 3511 6982 0 -1 4202560 90 0 0 0 221 3 0 0 20 0 22 0 347185694 3037372416 113356 33554432000 1073741824 1073778376 140735242110400 140287329389632 140287339344214 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=3511/tid=3531] ppid=3509 vsize=2966184 CPUtime=2.25 cores=0,2,4,6
/proc/3511/task/3531/stat : 3531 (java) R 3509 3511 6982 0 -1 4202560 126 0 0 0 223 2 0 0 20 0 22 0 347185694 3037372416 113356 33554432000 1073741824 1073778376 140735242110400 140287328336248 140287339856557 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=3511/tid=3532] ppid=3509 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/3511/task/3532/stat : 3532 (java) S 3509 3511 6982 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 347185701 3037372416 113356 33554432000 1073741824 1073778376 140735242110400 140287327286312 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3511/tid=3533] ppid=3509 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/3511/task/3533/stat : 3533 (java) S 3509 3511 6982 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 347185701 3037372416 113356 33554432000 1073741824 1073778376 140735242110400 140287326233768 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 7.81
Current children cumulated vsize (KiB) 2966184
[startup+6.30069 s]
/proc/loadavg: 3.59 3.81 3.81 5/217 3533
/proc/meminfo: memFree=20182516/32873844 swapFree=7112/7112
[pid=3511] ppid=3509 vsize=2966184 CPUtime=14.79 cores=0,2,4,6
/proc/3511/stat : 3511 (java) S 3509 3511 6982 0 -1 4202496 19710 0 1 0 1455 24 0 0 20 0 22 0 347185622 3037372416 136469 33554432000 1073741824 1073778376 140735242110400 140735242101536 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3511/statm: 741546 136469 2287 9 0 732240 0
[pid=3511/tid=3513] ppid=3509 vsize=2966184 CPUtime=0.69 cores=0,2,4,6
/proc/3511/task/3513/stat : 3513 (java) S 3509 3511 6982 0 -1 4202560 2850 0 1 0 66 3 0 0 20 0 22 0 347185622 3037372416 136469 33554432000 1073741824 1073778376 140735242110400 140287490839704 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3511/tid=3514] ppid=3509 vsize=2966184 CPUtime=0.12 cores=0,2,4,6
/proc/3511/task/3514/stat : 3514 (java) S 3509 3511 6982 0 -1 4202560 42 0 0 0 10 2 0 0 20 0 22 0 347185623 3037372416 136469 33554432000 1073741824 1073778376 140735242110400 140287475120296 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3511/tid=3515] ppid=3509 vsize=2966184 CPUtime=0.1 cores=0,2,4,6
/proc/3511/task/3515/stat : 3515 (java) S 3509 3511 6982 0 -1 4202560 33 0 0 0 8 2 0 0 20 0 22 0 347185623 3037372416 136469 33554432000 1073741824 1073778376 140735242110400 140287474067752 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3511/tid=3516] ppid=3509 vsize=2966184 CPUtime=0.08 cores=0,2,4,6
/proc/3511/task/3516/stat : 3516 (java) S 3509 3511 6982 0 -1 4202560 30 0 0 0 6 2 0 0 20 0 22 0 347185623 3037372416 136469 33554432000 1073741824 1073778376 140735242110400 140287473015208 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3511/tid=3517] ppid=3509 vsize=2966184 CPUtime=0.12 cores=0,2,4,6
/proc/3511/task/3517/stat : 3517 (java) S 3509 3511 6982 0 -1 4202560 42 0 0 0 10 2 0 0 20 0 22 0 347185623 3037372416 136469 33554432000 1073741824 1073778376 140735242110400 140287471962664 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3511/tid=3518] ppid=3509 vsize=2966184 CPUtime=0.1 cores=0,2,4,6
/proc/3511/task/3518/stat : 3518 (java) S 3509 3511 6982 0 -1 4202560 35 0 0 0 8 2 0 0 20 0 22 0 347185623 3037372416 136469 33554432000 1073741824 1073778376 140735242110400 140287470910120 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3511/tid=3519] ppid=3509 vsize=2966184 CPUtime=0.13 cores=0,2,4,6
/proc/3511/task/3519/stat : 3519 (java) S 3509 3511 6982 0 -1 4202560 41 0 0 0 10 3 0 0 20 0 22 0 347185623 3037372416 136469 33554432000 1073741824 1073778376 140735242110400 140287469857576 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3511/tid=3520] ppid=3509 vsize=2966184 CPUtime=0.09 cores=0,2,4,6
/proc/3511/task/3520/stat : 3520 (java) S 3509 3511 6982 0 -1 4202560 24 0 0 0 7 2 0 0 20 0 22 0 347185623 3037372416 136469 33554432000 1073741824 1073778376 140735242110400 140287468805032 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3511/tid=3521] ppid=3509 vsize=2966184 CPUtime=0.11 cores=0,2,4,6
/proc/3511/task/3521/stat : 3521 (java) S 3509 3511 6982 0 -1 4202560 38 0 0 0 9 2 0 0 20 0 22 0 347185623 3037372416 136469 33554432000 1073741824 1073778376 140735242110400 140287467752488 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3511/tid=3522] ppid=3509 vsize=2966184 CPUtime=0.08 cores=0,2,4,6
/proc/3511/task/3522/stat : 3522 (java) S 3509 3511 6982 0 -1 4202560 32 0 0 0 8 0 0 0 20 0 22 0 347185625 3037372416 136469 33554432000 1073741824 1073778376 140735242110400 140287337814120 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3511/tid=3523] ppid=3509 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/3511/task/3523/stat : 3523 (java) S 3509 3511 6982 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 347185625 3037372416 136469 33554432000 1073741824 1073778376 140735242110400 140287336760440 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3511/tid=3524] ppid=3509 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/3511/task/3524/stat : 3524 (java) S 3509 3511 6982 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 347185625 3037372416 136469 33554432000 1073741824 1073778376 140735242110400 140287335707784 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3511/tid=3525] ppid=3509 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/3511/task/3525/stat : 3525 (java) S 3509 3511 6982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 347185628 3037372416 136469 33554432000 1073741824 1073778376 140735242110400 140287334656528 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3511/tid=3526] ppid=3509 vsize=2966184 CPUtime=1.38 cores=0,2,4,6
/proc/3511/task/3526/stat : 3526 (java) S 3509 3511 6982 0 -1 4202560 7651 0 0 0 136 2 0 0 20 0 22 0 347185628 3037372416 136469 33554432000 1073741824 1073778376 140735242110400 140287333603896 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
################
# More data... #
################
[pid=3511/tid=3531] ppid=3509 vsize=2966184 CPUtime=801.1 cores=0,2,4,6
/proc/3511/task/3531/stat : 3531 (java) R 3509 3511 6982 0 -1 4202560 499 0 0 0 80093 17 0 0 20 0 22 0 347185694 3037372416 191481 33554432000 1073741824 1073778376 140735242110400 140287328337104 140287340172782 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=3511/tid=3532] ppid=3509 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/3511/task/3532/stat : 3532 (java) S 3509 3511 6982 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 347185701 3037372416 191481 33554432000 1073741824 1073778376 140735242110400 140287327286312 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3511/tid=3533] ppid=3509 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/3511/task/3533/stat : 3533 (java) S 3509 3511 6982 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 347185701 3037372416 191481 33554432000 1073741824 1073778376 140735242110400 140287326233768 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1656.74
Current children cumulated vsize (KiB) 2966184
[startup+882.301 s]
/proc/loadavg: 4.47 4.06 3.90 5/217 3628
/proc/meminfo: memFree=19913148/32873844 swapFree=7112/7112
[pid=3511] ppid=3509 vsize=2966184 CPUtime=1777.87 cores=0,2,4,6
/proc/3511/stat : 3511 (java) S 3509 3511 6982 0 -1 4202496 32539 0 1 0 177662 125 0 0 20 0 22 0 347185622 3037372416 194553 33554432000 1073741824 1073778376 140735242110400 140735242101536 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3511/statm: 741546 194553 2287 9 0 732240 0
[pid=3511/tid=3513] ppid=3509 vsize=2966184 CPUtime=0.72 cores=0,2,4,6
/proc/3511/task/3513/stat : 3513 (java) S 3509 3511 6982 0 -1 4202560 2859 0 1 0 68 4 0 0 20 0 22 0 347185622 3037372416 194553 33554432000 1073741824 1073778376 140735242110400 140287490839704 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3511/tid=3514] ppid=3509 vsize=2966184 CPUtime=5.55 cores=0,2,4,6
/proc/3511/task/3514/stat : 3514 (java) S 3509 3511 6982 0 -1 4202560 338 0 0 0 548 7 0 0 20 0 22 0 347185623 3037372416 194553 33554432000 1073741824 1073778376 140735242110400 140287475120296 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3511/tid=3515] ppid=3509 vsize=2966184 CPUtime=5.51 cores=0,2,4,6
/proc/3511/task/3515/stat : 3515 (java) S 3509 3511 6982 0 -1 4202560 311 0 0 0 545 6 0 0 20 0 22 0 347185623 3037372416 194553 33554432000 1073741824 1073778376 140735242110400 140287474067752 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3511/tid=3516] ppid=3509 vsize=2966184 CPUtime=5.87 cores=0,2,4,6
/proc/3511/task/3516/stat : 3516 (java) S 3509 3511 6982 0 -1 4202560 316 0 0 0 581 6 0 0 20 0 22 0 347185623 3037372416 194553 33554432000 1073741824 1073778376 140735242110400 140287473015208 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3511/tid=3517] ppid=3509 vsize=2966184 CPUtime=5.93 cores=0,2,4,6
/proc/3511/task/3517/stat : 3517 (java) S 3509 3511 6982 0 -1 4202560 334 0 0 0 586 7 0 0 20 0 22 0 347185623 3037372416 194553 33554432000 1073741824 1073778376 140735242110400 140287471962664 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3511/tid=3518] ppid=3509 vsize=2966184 CPUtime=6.06 cores=0,2,4,6
/proc/3511/task/3518/stat : 3518 (java) S 3509 3511 6982 0 -1 4202560 324 0 0 0 599 7 0 0 20 0 22 0 347185623 3037372416 194553 33554432000 1073741824 1073778376 140735242110400 140287470910120 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3511/tid=3519] ppid=3509 vsize=2966184 CPUtime=5.81 cores=0,2,4,6
/proc/3511/task/3519/stat : 3519 (java) S 3509 3511 6982 0 -1 4202560 327 0 0 0 574 7 0 0 20 0 22 0 347185623 3037372416 194553 33554432000 1073741824 1073778376 140735242110400 140287469857576 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3511/tid=3520] ppid=3509 vsize=2966184 CPUtime=5.76 cores=0,2,4,6
/proc/3511/task/3520/stat : 3520 (java) S 3509 3511 6982 0 -1 4202560 318 0 0 0 570 6 0 0 20 0 22 0 347185623 3037372416 194553 33554432000 1073741824 1073778376 140735242110400 140287468805032 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3511/tid=3521] ppid=3509 vsize=2966184 CPUtime=5.55 cores=0,2,4,6
/proc/3511/task/3521/stat : 3521 (java) S 3509 3511 6982 0 -1 4202560 327 0 0 0 549 6 0 0 20 0 22 0 347185623 3037372416 194553 33554432000 1073741824 1073778376 140735242110400 140287467752488 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3511/tid=3522] ppid=3509 vsize=2966184 CPUtime=8.56 cores=0,2,4,6
/proc/3511/task/3522/stat : 3522 (java) S 3509 3511 6982 0 -1 4202560 8405 0 0 0 810 46 0 0 20 0 22 0 347185625 3037372416 194553 33554432000 1073741824 1073778376 140735242110400 140287337814120 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3511/tid=3523] ppid=3509 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/3511/task/3523/stat : 3523 (java) S 3509 3511 6982 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 347185625 3037372416 194553 33554432000 1073741824 1073778376 140735242110400 140287336760440 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3511/tid=3524] ppid=3509 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/3511/task/3524/stat : 3524 (java) S 3509 3511 6982 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 347185625 3037372416 194553 33554432000 1073741824 1073778376 140735242110400 140287335707784 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3511/tid=3525] ppid=3509 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/3511/task/3525/stat : 3525 (java) S 3509 3511 6982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 347185628 3037372416 194553 33554432000 1073741824 1073778376 140735242110400 140287334656528 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3511/tid=3526] ppid=3509 vsize=2966184 CPUtime=1.98 cores=0,2,4,6
/proc/3511/task/3526/stat : 3526 (java) S 3509 3511 6982 0 -1 4202560 8956 0 0 0 196 2 0 0 20 0 22 0 347185628 3037372416 194553 33554432000 1073741824 1073778376 140735242110400 140287333603896 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3511/tid=3527] ppid=3509 vsize=2966184 CPUtime=1.31 cores=0,2,4,6
/proc/3511/task/3527/stat : 3527 (java) S 3509 3511 6982 0 -1 4202560 7475 0 0 0 129 2 0 0 20 0 22 0 347185628 3037372416 194553 33554432000 1073741824 1073778376 140735242110400 140287332551352 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3511/tid=3528] ppid=3509 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/3511/task/3528/stat : 3528 (java) S 3509 3511 6982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 347185628 3037372416 194553 33554432000 1073741824 1073778376 140735242110400 140287331499000 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3511/tid=3529] ppid=3509 vsize=2966184 CPUtime=0.3 cores=0,2,4,6
/proc/3511/task/3529/stat : 3529 (java) S 3509 3511 6982 0 -1 4202560 51 0 0 0 17 13 0 0 20 0 22 0 347185628 3037372416 194553 33554432000 1073741824 1073778376 140735242110400 140287330446664 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3511/tid=3530] ppid=3509 vsize=2966184 CPUtime=859.81 cores=0,2,4,6
/proc/3511/task/3530/stat : 3530 (java) R 3509 3511 6982 0 -1 4202560 487 0 0 0 85961 20 0 0 20 0 22 0 347185694 3037372416 194553 33554432000 1073741824 1073778376 140735242110400 140287329389664 140287339833808 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=3511/tid=3531] ppid=3509 vsize=2966184 CPUtime=859.85 cores=0,2,4,6
/proc/3511/task/3531/stat : 3531 (java) R 3509 3511 6982 0 -1 4202560 523 0 0 0 85967 18 0 0 20 0 22 0 347185694 3037372416 194553 33554432000 1073741824 1073778376 140735242110400 140287328336128 140287340173928 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=3511/tid=3532] ppid=3509 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/3511/task/3532/stat : 3532 (java) S 3509 3511 6982 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 347185701 3037372416 194553 33554432000 1073741824 1073778376 140735242110400 140287327286312 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3511/tid=3533] ppid=3509 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/3511/task/3533/stat : 3533 (java) S 3509 3511 6982 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 347185701 3037372416 194553 33554432000 1073741824 1073778376 140735242110400 140287326233768 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1777.87
Current children cumulated vsize (KiB) 2966184
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+893.301 s]
/proc/loadavg: 4.37 4.06 3.91 6/217 3628
/proc/meminfo: memFree=19888324/32873844 swapFree=7112/7112
[pid=3511] ppid=3509 vsize=2966184 CPUtime=1800.15 cores=0,2,4,6
/proc/3511/stat : 3511 (java) S 3509 3511 6982 0 -1 4202496 32546 0 1 0 179889 126 0 0 20 0 22 0 347185622 3037372416 194553 33554432000 1073741824 1073778376 140735242110400 140735242101536 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3511/statm: 741546 194553 2287 9 0 732240 0
[pid=3511/tid=3513] ppid=3509 vsize=2966184 CPUtime=0.72 cores=0,2,4,6
/proc/3511/task/3513/stat : 3513 (java) S 3509 3511 6982 0 -1 4202560 2859 0 1 0 68 4 0 0 20 0 22 0 347185622 3037372416 194553 33554432000 1073741824 1073778376 140735242110400 140287490839704 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3511/tid=3514] ppid=3509 vsize=2966184 CPUtime=5.6 cores=0,2,4,6
/proc/3511/task/3514/stat : 3514 (java) S 3509 3511 6982 0 -1 4202560 338 0 0 0 553 7 0 0 20 0 22 0 347185623 3037372416 194553 33554432000 1073741824 1073778376 140735242110400 140287475120296 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3511/tid=3515] ppid=3509 vsize=2966184 CPUtime=5.55 cores=0,2,4,6
/proc/3511/task/3515/stat : 3515 (java) S 3509 3511 6982 0 -1 4202560 311 0 0 0 549 6 0 0 20 0 22 0 347185623 3037372416 194553 33554432000 1073741824 1073778376 140735242110400 140287474067752 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3511/tid=3516] ppid=3509 vsize=2966184 CPUtime=5.93 cores=0,2,4,6
/proc/3511/task/3516/stat : 3516 (java) S 3509 3511 6982 0 -1 4202560 316 0 0 0 587 6 0 0 20 0 22 0 347185623 3037372416 194553 33554432000 1073741824 1073778376 140735242110400 140287473015208 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3511/tid=3517] ppid=3509 vsize=2966184 CPUtime=6.02 cores=0,2,4,6
/proc/3511/task/3517/stat : 3517 (java) S 3509 3511 6982 0 -1 4202560 334 0 0 0 595 7 0 0 20 0 22 0 347185623 3037372416 194553 33554432000 1073741824 1073778376 140735242110400 140287471962664 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3511/tid=3518] ppid=3509 vsize=2966184 CPUtime=6.17 cores=0,2,4,6
/proc/3511/task/3518/stat : 3518 (java) S 3509 3511 6982 0 -1 4202560 324 0 0 0 610 7 0 0 20 0 22 0 347185623 3037372416 194553 33554432000 1073741824 1073778376 140735242110400 140287470910120 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3511/tid=3519] ppid=3509 vsize=2966184 CPUtime=5.89 cores=0,2,4,6
/proc/3511/task/3519/stat : 3519 (java) S 3509 3511 6982 0 -1 4202560 327 0 0 0 582 7 0 0 20 0 22 0 347185623 3037372416 194553 33554432000 1073741824 1073778376 140735242110400 140287469857576 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3511/tid=3520] ppid=3509 vsize=2966184 CPUtime=5.86 cores=0,2,4,6
/proc/3511/task/3520/stat : 3520 (java) S 3509 3511 6982 0 -1 4202560 318 0 0 0 580 6 0 0 20 0 22 0 347185623 3037372416 194553 33554432000 1073741824 1073778376 140735242110400 140287468805032 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3511/tid=3521] ppid=3509 vsize=2966184 CPUtime=5.61 cores=0,2,4,6
/proc/3511/task/3521/stat : 3521 (java) S 3509 3511 6982 0 -1 4202560 327 0 0 0 555 6 0 0 20 0 22 0 347185623 3037372416 194553 33554432000 1073741824 1073778376 140735242110400 140287467752488 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3511/tid=3522] ppid=3509 vsize=2966184 CPUtime=8.57 cores=0,2,4,6
/proc/3511/task/3522/stat : 3522 (java) S 3509 3511 6982 0 -1 4202560 8405 0 0 0 810 47 0 0 20 0 22 0 347185625 3037372416 194553 33554432000 1073741824 1073778376 140735242110400 140287337814120 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3511/tid=3523] ppid=3509 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/3511/task/3523/stat : 3523 (java) S 3509 3511 6982 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 347185625 3037372416 194553 33554432000 1073741824 1073778376 140735242110400 140287336760440 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3511/tid=3524] ppid=3509 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/3511/task/3524/stat : 3524 (java) S 3509 3511 6982 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 347185625 3037372416 194553 33554432000 1073741824 1073778376 140735242110400 140287335707784 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3511/tid=3525] ppid=3509 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/3511/task/3525/stat : 3525 (java) S 3509 3511 6982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 347185628 3037372416 194553 33554432000 1073741824 1073778376 140735242110400 140287334656528 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3511/tid=3526] ppid=3509 vsize=2966184 CPUtime=1.98 cores=0,2,4,6
/proc/3511/task/3526/stat : 3526 (java) S 3509 3511 6982 0 -1 4202560 8956 0 0 0 196 2 0 0 20 0 22 0 347185628 3037372416 194553 33554432000 1073741824 1073778376 140735242110400 140287333603896 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3511/tid=3527] ppid=3509 vsize=2966184 CPUtime=1.31 cores=0,2,4,6
/proc/3511/task/3527/stat : 3527 (java) S 3509 3511 6982 0 -1 4202560 7475 0 0 0 129 2 0 0 20 0 22 0 347185628 3037372416 194553 33554432000 1073741824 1073778376 140735242110400 140287332551352 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3511/tid=3528] ppid=3509 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/3511/task/3528/stat : 3528 (java) S 3509 3511 6982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 347185628 3037372416 194553 33554432000 1073741824 1073778376 140735242110400 140287331499000 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3511/tid=3529] ppid=3509 vsize=2966184 CPUtime=0.3 cores=0,2,4,6
/proc/3511/task/3529/stat : 3529 (java) S 3509 3511 6982 0 -1 4202560 51 0 0 0 17 13 0 0 20 0 22 0 347185628 3037372416 194553 33554432000 1073741824 1073778376 140735242110400 140287330446664 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3511/tid=3530] ppid=3509 vsize=2966184 CPUtime=870.65 cores=0,2,4,6
/proc/3511/task/3530/stat : 3530 (java) R 3509 3511 6982 0 -1 4202560 493 0 0 0 87045 20 0 0 20 0 22 0 347185694 3037372416 194553 33554432000 1073741824 1073778376 140735242110400 140287329389648 140287339600500 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=3511/tid=3531] ppid=3509 vsize=2966184 CPUtime=870.69 cores=0,2,4,6
/proc/3511/task/3531/stat : 3531 (java) R 3509 3511 6982 0 -1 4202560 524 0 0 0 87051 18 0 0 20 0 22 0 347185694 3037372416 194553 33554432000 1073741824 1073778376 140735242110400 140287328336288 140287339863299 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=3511/tid=3532] ppid=3509 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/3511/task/3532/stat : 3532 (java) S 3509 3511 6982 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 347185701 3037372416 194553 33554432000 1073741824 1073778376 140735242110400 140287327286312 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3511/tid=3533] ppid=3509 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/3511/task/3533/stat : 3533 (java) S 3509 3511 6982 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 347185701 3037372416 194553 33554432000 1073741824 1073778376 140735242110400 140287326233768 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.15
Current children cumulated vsize (KiB) 2966184
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+893.301 s]
/proc/loadavg: 4.37 4.06 3.91 6/217 3628
/proc/meminfo: memFree=19888324/32873844 swapFree=7112/7112
[pid=3511] ppid=3509 vsize=2966184 CPUtime=1800.15 cores=0,2,4,6
/proc/3511/stat : 3511 (java) S 3509 3511 6982 0 -1 4202496 32546 0 1 0 179889 126 0 0 20 0 22 0 347185622 3037372416 194553 33554432000 1073741824 1073778376 140735242110400 140735242101536 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3511/statm: 741546 194553 2287 9 0 732240 0
[pid=3511/tid=3513] ppid=3509 vsize=2966184 CPUtime=0.72 cores=0,2,4,6
/proc/3511/task/3513/stat : 3513 (java) S 3509 3511 6982 0 -1 4202560 2859 0 1 0 68 4 0 0 20 0 22 0 347185622 3037372416 194553 33554432000 1073741824 1073778376 140735242110400 140287490839704 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3511/tid=3514] ppid=3509 vsize=2966184 CPUtime=5.6 cores=0,2,4,6
/proc/3511/task/3514/stat : 3514 (java) S 3509 3511 6982 0 -1 4202560 338 0 0 0 553 7 0 0 20 0 22 0 347185623 3037372416 194553 33554432000 1073741824 1073778376 140735242110400 140287475120296 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3511/tid=3515] ppid=3509 vsize=2966184 CPUtime=5.55 cores=0,2,4,6
/proc/3511/task/3515/stat : 3515 (java) S 3509 3511 6982 0 -1 4202560 311 0 0 0 549 6 0 0 20 0 22 0 347185623 3037372416 194553 33554432000 1073741824 1073778376 140735242110400 140287474067752 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3511/tid=3516] ppid=3509 vsize=2966184 CPUtime=5.93 cores=0,2,4,6
/proc/3511/task/3516/stat : 3516 (java) S 3509 3511 6982 0 -1 4202560 316 0 0 0 587 6 0 0 20 0 22 0 347185623 3037372416 194553 33554432000 1073741824 1073778376 140735242110400 140287473015208 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3511/tid=3517] ppid=3509 vsize=2966184 CPUtime=6.02 cores=0,2,4,6
/proc/3511/task/3517/stat : 3517 (java) S 3509 3511 6982 0 -1 4202560 334 0 0 0 595 7 0 0 20 0 22 0 347185623 3037372416 194553 33554432000 1073741824 1073778376 140735242110400 140287471962664 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3511/tid=3518] ppid=3509 vsize=2966184 CPUtime=6.17 cores=0,2,4,6
/proc/3511/task/3518/stat : 3518 (java) S 3509 3511 6982 0 -1 4202560 324 0 0 0 610 7 0 0 20 0 22 0 347185623 3037372416 194553 33554432000 1073741824 1073778376 140735242110400 140287470910120 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3511/tid=3519] ppid=3509 vsize=2966184 CPUtime=5.89 cores=0,2,4,6
/proc/3511/task/3519/stat : 3519 (java) S 3509 3511 6982 0 -1 4202560 327 0 0 0 582 7 0 0 20 0 22 0 347185623 3037372416 194553 33554432000 1073741824 1073778376 140735242110400 140287469857576 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3511/tid=3520] ppid=3509 vsize=2966184 CPUtime=5.86 cores=0,2,4,6
/proc/3511/task/3520/stat : 3520 (java) S 3509 3511 6982 0 -1 4202560 318 0 0 0 580 6 0 0 20 0 22 0 347185623 3037372416 194553 33554432000 1073741824 1073778376 140735242110400 140287468805032 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3511/tid=3521] ppid=3509 vsize=2966184 CPUtime=5.61 cores=0,2,4,6
/proc/3511/task/3521/stat : 3521 (java) S 3509 3511 6982 0 -1 4202560 327 0 0 0 555 6 0 0 20 0 22 0 347185623 3037372416 194553 33554432000 1073741824 1073778376 140735242110400 140287467752488 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3511/tid=3522] ppid=3509 vsize=2966184 CPUtime=8.57 cores=0,2,4,6
/proc/3511/task/3522/stat : 3522 (java) S 3509 3511 6982 0 -1 4202560 8405 0 0 0 810 47 0 0 20 0 22 0 347185625 3037372416 194553 33554432000 1073741824 1073778376 140735242110400 140287337814120 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3511/tid=3523] ppid=3509 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/3511/task/3523/stat : 3523 (java) S 3509 3511 6982 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 347185625 3037372416 194553 33554432000 1073741824 1073778376 140735242110400 140287336760440 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3511/tid=3524] ppid=3509 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/3511/task/3524/stat : 3524 (java) S 3509 3511 6982 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 347185625 3037372416 194553 33554432000 1073741824 1073778376 140735242110400 140287335707784 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3511/tid=3525] ppid=3509 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/3511/task/3525/stat : 3525 (java) S 3509 3511 6982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 347185628 3037372416 194553 33554432000 1073741824 1073778376 140735242110400 140287334656528 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3511/tid=3526] ppid=3509 vsize=2966184 CPUtime=1.98 cores=0,2,4,6
/proc/3511/task/3526/stat : 3526 (java) S 3509 3511 6982 0 -1 4202560 8956 0 0 0 196 2 0 0 20 0 22 0 347185628 3037372416 194553 33554432000 1073741824 1073778376 140735242110400 140287333603896 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3511/tid=3527] ppid=3509 vsize=2966184 CPUtime=1.31 cores=0,2,4,6
/proc/3511/task/3527/stat : 3527 (java) S 3509 3511 6982 0 -1 4202560 7475 0 0 0 129 2 0 0 20 0 22 0 347185628 3037372416 194553 33554432000 1073741824 1073778376 140735242110400 140287332551352 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3511/tid=3528] ppid=3509 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/3511/task/3528/stat : 3528 (java) S 3509 3511 6982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 347185628 3037372416 194553 33554432000 1073741824 1073778376 140735242110400 140287331499000 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3511/tid=3529] ppid=3509 vsize=2966184 CPUtime=0.3 cores=0,2,4,6
/proc/3511/task/3529/stat : 3529 (java) S 3509 3511 6982 0 -1 4202560 51 0 0 0 17 13 0 0 20 0 22 0 347185628 3037372416 194553 33554432000 1073741824 1073778376 140735242110400 140287330446664 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3511/tid=3530] ppid=3509 vsize=2966184 CPUtime=870.65 cores=0,2,4,6
/proc/3511/task/3530/stat : 3530 (java) R 3509 3511 6982 0 -1 4202560 493 0 0 0 87045 20 0 0 20 0 22 0 347185694 3037372416 194553 33554432000 1073741824 1073778376 140735242110400 140287329389648 140287339600500 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=3511/tid=3531] ppid=3509 vsize=2966184 CPUtime=870.69 cores=0,2,4,6
/proc/3511/task/3531/stat : 3531 (java) R 3509 3511 6982 0 -1 4202560 524 0 0 0 87051 18 0 0 20 0 22 0 347185694 3037372416 194553 33554432000 1073741824 1073778376 140735242110400 140287328336288 140287339863299 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=3511/tid=3532] ppid=3509 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/3511/task/3532/stat : 3532 (java) S 3509 3511 6982 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 347185701 3037372416 194553 33554432000 1073741824 1073778376 140735242110400 140287327286312 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3511/tid=3533] ppid=3509 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/3511/task/3533/stat : 3533 (java) S 3509 3511 6982 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 347185701 3037372416 194553 33554432000 1073741824 1073778376 140735242110400 140287326233768 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.15
Current children cumulated vsize (KiB) 2966184
Child status: 143
Real time (s): 893.366
CPU time (s): 1801.31
CPU user time (s): 1799.57
CPU system time (s): 1.74273
CPU usage (%): 201.632
Max. virtual memory (cumulated for all children) (KiB): 2966184
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.57
system time used= 1.74273
maximum resident set size= 782468
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32591
page faults= 1
swaps= 0
block input operations= 0
block output operations= 920
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 44005
involuntary context switches= 77278
runsolver used 3.17052 second user time and 7.67483 second system time
The end