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-3736756-1338717599/watcher-3736756-1338717599 -o /tmp/evaluation-result-3736756-1338717599/solver-3736756-1338717599 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3736756-1338717599.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 3.81 3.82 3.81 4/197 2367
/proc/meminfo: memFree=27754540/32873844 swapFree=7116/7116
[pid=2367] ppid=2365 vsize=9216 CPUtime=0 cores=1,3,5,7
/proc/2367/stat : 2367 (java) R 2365 2367 1279 0 -1 4202496 115 0 0 0 0 0 0 0 20 0 1 0 337886842 9437184 68 33554432000 1073741824 1073778376 140735633358032 140735633355160 233402595086 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2367/statm: 2306 84 66 9 0 38 0
[startup+0.050743 s]
/proc/loadavg: 3.81 3.82 3.81 4/197 2367
/proc/meminfo: memFree=27754540/32873844 swapFree=7116/7116
[pid=2367] ppid=2365 vsize=11044572 CPUtime=0.02 cores=1,3,5,7
/proc/2367/stat : 2367 (java) S 2365 2367 1279 0 -1 4202496 4050 0 1 0 1 1 0 0 20 0 10 0 337886842 11309641728 11393 33554432000 1073741824 1073778376 140734957123040 140734957114176 233415147581 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/2367/statm: 2761143 11393 1539 9 0 2751844 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 11044572
[startup+0.100285 s]
/proc/loadavg: 3.81 3.82 3.81 4/197 2367
/proc/meminfo: memFree=27754540/32873844 swapFree=7116/7116
[pid=2367] ppid=2365 vsize=11586392 CPUtime=0.07 cores=1,3,5,7
/proc/2367/stat : 2367 (java) S 2365 2367 1279 0 -1 4202496 4470 0 1 0 5 2 0 0 20 0 18 0 337886842 11864465408 12833 33554432000 1073741824 1073778376 140734957123040 140734957114176 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/2367/statm: 2896598 12833 1778 9 0 2887285 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 11586392
[startup+0.300243 s]
/proc/loadavg: 3.81 3.82 3.81 4/197 2367
/proc/meminfo: memFree=27754540/32873844 swapFree=7116/7116
[pid=2367] ppid=2365 vsize=11586392 CPUtime=0.4 cores=1,3,5,7
/proc/2367/stat : 2367 (java) S 2365 2367 1279 0 -1 4202496 6241 0 1 0 38 2 0 0 20 0 18 0 337886842 11864465408 15879 33554432000 1073741824 1073778376 140734957123040 140734957114176 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/2367/statm: 2896598 15879 2215 9 0 2887285 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 11586392
[startup+0.700273 s]
/proc/loadavg: 3.81 3.82 3.81 4/197 2367
/proc/meminfo: memFree=27754540/32873844 swapFree=7116/7116
[pid=2367] ppid=2365 vsize=11586392 CPUtime=1.56 cores=1,3,5,7
/proc/2367/stat : 2367 (java) S 2365 2367 1279 0 -1 4202496 20832 0 1 0 150 6 0 0 20 0 18 0 337886842 11864465408 32316 33554432000 1073741824 1073778376 140734957123040 140734957114176 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/2367/statm: 2896598 32316 2248 9 0 2887285 0
Current children cumulated CPU time (s) 1.56
Current children cumulated vsize (KiB) 11586392
[startup+1.50071 s]
/proc/loadavg: 3.81 3.82 3.81 7/219 2389
/proc/meminfo: memFree=27612452/32873844 swapFree=7116/7116
[pid=2367] ppid=2365 vsize=11852648 CPUtime=3.86 cores=1,3,5,7
/proc/2367/stat : 2367 (java) S 2365 2367 1279 0 -1 4202496 22009 0 1 0 377 9 0 0 20 0 22 0 337886842 12137111552 43633 33554432000 1073741824 1073778376 140734957123040 140734957114176 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/2367/statm: 2963162 43633 2270 9 0 2953849 0
[pid=2367/tid=2369] ppid=2365 vsize=11852648 CPUtime=0.8 cores=1,3,5,7
/proc/2367/task/2369/stat : 2369 (java) S 2365 2367 1279 0 -1 4202560 3410 0 1 0 77 3 0 0 20 0 22 0 337886843 12137111552 43633 33554432000 1073741824 1073778376 140734957123040 140654130164888 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2367/tid=2370] ppid=2365 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2367/task/2370/stat : 2370 (java) S 2365 2367 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337886846 12137111552 43633 33554432000 1073741824 1073778376 140734957123040 140654084917416 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2367/tid=2371] ppid=2365 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2367/task/2371/stat : 2371 (java) S 2365 2367 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337886846 12137111552 43633 33554432000 1073741824 1073778376 140734957123040 140654083864872 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2367/tid=2372] ppid=2365 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2367/task/2372/stat : 2372 (java) S 2365 2367 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337886846 12137111552 43633 33554432000 1073741824 1073778376 140734957123040 140654082812328 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2367/tid=2373] ppid=2365 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2367/task/2373/stat : 2373 (java) S 2365 2367 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337886846 12137111552 43633 33554432000 1073741824 1073778376 140734957123040 140654081759784 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2367/tid=2374] ppid=2365 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2367/task/2374/stat : 2374 (java) S 2365 2367 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337886846 12137111552 43633 33554432000 1073741824 1073778376 140734957123040 140654080707240 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2367/tid=2375] ppid=2365 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2367/task/2375/stat : 2375 (java) S 2365 2367 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337886846 12137111552 43633 33554432000 1073741824 1073778376 140734957123040 140654079654696 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2367/tid=2376] ppid=2365 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2367/task/2376/stat : 2376 (java) S 2365 2367 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337886846 12137111552 43633 33554432000 1073741824 1073778376 140734957123040 140654078602152 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2367/tid=2377] ppid=2365 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2367/task/2377/stat : 2377 (java) S 2365 2367 1279 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 337886846 12137111552 43633 33554432000 1073741824 1073778376 140734957123040 140654077549608 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2367/tid=2378] ppid=2365 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2367/task/2378/stat : 2378 (java) S 2365 2367 1279 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 337886847 12137111552 43633 33554432000 1073741824 1073778376 140734957123040 140653947222120 233415161769 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2367/tid=2379] ppid=2365 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2367/task/2379/stat : 2379 (java) S 2365 2367 1279 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 337886848 12137111552 43633 33554432000 1073741824 1073778376 140734957123040 140653946168440 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2367/tid=2380] ppid=2365 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2367/task/2380/stat : 2380 (java) S 2365 2367 1279 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 337886848 12137111552 43633 33554432000 1073741824 1073778376 140734957123040 140653945115784 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2367/tid=2381] ppid=2365 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2367/task/2381/stat : 2381 (java) S 2365 2367 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337886851 12137111552 43633 33554432000 1073741824 1073778376 140734957123040 140653944064528 233415169824 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2367/tid=2382] ppid=2365 vsize=11852648 CPUtime=1.06 cores=1,3,5,7
/proc/2367/task/2382/stat : 2382 (java) R 2365 2367 1279 0 -1 4202560 10411 0 0 0 103 3 0 0 20 0 22 0 337886851 12137111552 43633 33554432000 1073741824 1073778376 140734957123040 140653943011896 140654133688848 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=2367/tid=2383] ppid=2365 vsize=11852648 CPUtime=1.05 cores=1,3,5,7
/proc/2367/task/2383/stat : 2383 (java) S 2365 2367 1279 0 -1 4202560 6870 0 0 0 103 2 0 0 20 0 22 0 337886851 12137111552 43633 33554432000 1073741824 1073778376 140734957123040 140653941959352 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2367/tid=2384] ppid=2365 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2367/task/2384/stat : 2384 (java) S 2365 2367 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337886851 12137111552 43633 33554432000 1073741824 1073778376 140734957123040 140653940907000 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2367/tid=2385] ppid=2365 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2367/task/2385/stat : 2385 (java) S 2365 2367 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337886851 12137111552 43633 33554432000 1073741824 1073778376 140734957123040 140653939854664 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2367/tid=2388] ppid=2365 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2367/task/2388/stat : 2388 (java) S 2365 2367 1279 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 337886929 12137111552 43633 33554432000 1073741824 1073778376 140734957123040 140652929074216 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.86
Current children cumulated vsize (KiB) 11852648
[startup+3.10079 s]
/proc/loadavg: 3.81 3.82 3.81 3/217 2395
/proc/meminfo: memFree=27404960/32873844 swapFree=7116/7116
[pid=2367] ppid=2365 vsize=11852648 CPUtime=7.04 cores=1,3,5,7
/proc/2367/stat : 2367 (java) S 2365 2367 1279 0 -1 4202496 22253 0 1 0 682 22 0 0 20 0 22 0 337886842 12137111552 163438 33554432000 1073741824 1073778376 140734957123040 140734957114176 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/2367/statm: 2963162 163438 2271 9 0 2953849 0
[pid=2367/tid=2369] ppid=2365 vsize=11852648 CPUtime=0.81 cores=1,3,5,7
/proc/2367/task/2369/stat : 2369 (java) S 2365 2367 1279 0 -1 4202560 3411 0 1 0 78 3 0 0 20 0 22 0 337886843 12137111552 163438 33554432000 1073741824 1073778376 140734957123040 140654130164904 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2367/tid=2370] ppid=2365 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2367/task/2370/stat : 2370 (java) S 2365 2367 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337886846 12137111552 163438 33554432000 1073741824 1073778376 140734957123040 140654084917416 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2367/tid=2371] ppid=2365 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2367/task/2371/stat : 2371 (java) S 2365 2367 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337886846 12137111552 163438 33554432000 1073741824 1073778376 140734957123040 140654083864872 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2367/tid=2372] ppid=2365 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2367/task/2372/stat : 2372 (java) S 2365 2367 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337886846 12137111552 163438 33554432000 1073741824 1073778376 140734957123040 140654082812328 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2367/tid=2373] ppid=2365 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2367/task/2373/stat : 2373 (java) S 2365 2367 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337886846 12137111552 163438 33554432000 1073741824 1073778376 140734957123040 140654081759784 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2367/tid=2374] ppid=2365 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2367/task/2374/stat : 2374 (java) S 2365 2367 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337886846 12137111552 163438 33554432000 1073741824 1073778376 140734957123040 140654080707240 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2367/tid=2375] ppid=2365 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2367/task/2375/stat : 2375 (java) S 2365 2367 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337886846 12137111552 163438 33554432000 1073741824 1073778376 140734957123040 140654079654696 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2367/tid=2376] ppid=2365 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2367/task/2376/stat : 2376 (java) S 2365 2367 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337886846 12137111552 163438 33554432000 1073741824 1073778376 140734957123040 140654078602152 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2367/tid=2377] ppid=2365 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2367/task/2377/stat : 2377 (java) S 2365 2367 1279 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 337886846 12137111552 163438 33554432000 1073741824 1073778376 140734957123040 140654077549608 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2367/tid=2378] ppid=2365 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2367/task/2378/stat : 2378 (java) S 2365 2367 1279 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 337886847 12137111552 163438 33554432000 1073741824 1073778376 140734957123040 140653947222120 233415161769 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2367/tid=2379] ppid=2365 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2367/task/2379/stat : 2379 (java) S 2365 2367 1279 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 337886848 12137111552 163438 33554432000 1073741824 1073778376 140734957123040 140653946168440 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2367/tid=2380] ppid=2365 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2367/task/2380/stat : 2380 (java) S 2365 2367 1279 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 337886848 12137111552 163438 33554432000 1073741824 1073778376 140734957123040 140653945115784 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2367/tid=2381] ppid=2365 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2367/task/2381/stat : 2381 (java) S 2365 2367 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337886851 12137111552 163438 33554432000 1073741824 1073778376 140734957123040 140653944064528 233415169824 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2367/tid=2382] ppid=2365 vsize=11852648 CPUtime=1.31 cores=1,3,5,7
/proc/2367/task/2382/stat : 2382 (java) S 2365 2367 1279 0 -1 4202560 10412 0 0 0 128 3 0 0 20 0 22 0 337886851 12137111552 163438 33554432000 1073741824 1073778376 140734957123040 140653943011896 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2367/tid=2383] ppid=2365 vsize=11852648 CPUtime=1.26 cores=1,3,5,7
/proc/2367/task/2383/stat : 2383 (java) S 2365 2367 1279 0 -1 4202560 6870 0 0 0 124 2 0 0 20 0 22 0 337886851 12137111552 163438 33554432000 1073741824 1073778376 140734957123040 140653941959352 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2367/tid=2384] ppid=2365 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2367/task/2384/stat : 2384 (java) S 2365 2367 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337886851 12137111552 163438 33554432000 1073741824 1073778376 140734957123040 140653940907000 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2367/tid=2385] ppid=2365 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2367/task/2385/stat : 2385 (java) S 2365 2367 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337886851 12137111552 163438 33554432000 1073741824 1073778376 140734957123040 140653939854664 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2367/tid=2392] ppid=2365 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2367/task/2392/stat : 2392 (java) S 2365 2367 1279 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 337886976 12137111552 163438 33554432000 1073741824 1073778376 140734957123040 140652928022056 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 7.04
Current children cumulated vsize (KiB) 11852648
[startup+6.30089 s]
/proc/loadavg: 3.67 3.79 3.80 5/220 2398
/proc/meminfo: memFree=26606264/32873844 swapFree=7116/7116
[pid=2367] ppid=2365 vsize=11852648 CPUtime=13.43 cores=1,3,5,7
/proc/2367/stat : 2367 (java) S 2365 2367 1279 0 -1 4202496 22629 0 1 0 1306 37 0 0 20 0 22 0 337886842 12137111552 292303 33554432000 1073741824 1073778376 140734957123040 140734957114176 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/2367/statm: 2963162 292303 2296 9 0 2953849 0
[pid=2367/tid=2369] ppid=2365 vsize=11852648 CPUtime=0.81 cores=1,3,5,7
/proc/2367/task/2369/stat : 2369 (java) S 2365 2367 1279 0 -1 4202560 3411 0 1 0 78 3 0 0 20 0 22 0 337886843 12137111552 292303 33554432000 1073741824 1073778376 140734957123040 140654130164904 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2367/tid=2370] ppid=2365 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2367/task/2370/stat : 2370 (java) S 2365 2367 1279 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 337886846 12137111552 292303 33554432000 1073741824 1073778376 140734957123040 140654084917416 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2367/tid=2371] ppid=2365 vsize=11852648 CPUtime=0.02 cores=1,3,5,7
/proc/2367/task/2371/stat : 2371 (java) S 2365 2367 1279 0 -1 4202560 15 0 0 0 2 0 0 0 20 0 22 0 337886846 12137111552 292303 33554432000 1073741824 1073778376 140734957123040 140654083864872 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2367/tid=2372] ppid=2365 vsize=11852648 CPUtime=0.03 cores=1,3,5,7
/proc/2367/task/2372/stat : 2372 (java) S 2365 2367 1279 0 -1 4202560 17 0 0 0 2 1 0 0 20 0 22 0 337886846 12137111552 292303 33554432000 1073741824 1073778376 140734957123040 140654082812328 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2367/tid=2373] ppid=2365 vsize=11852648 CPUtime=0.02 cores=1,3,5,7
/proc/2367/task/2373/stat : 2373 (java) S 2365 2367 1279 0 -1 4202560 17 0 0 0 2 0 0 0 20 0 22 0 337886846 12137111552 292303 33554432000 1073741824 1073778376 140734957123040 140654081759784 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2367/tid=2374] ppid=2365 vsize=11852648 CPUtime=0.02 cores=1,3,5,7
/proc/2367/task/2374/stat : 2374 (java) S 2365 2367 1279 0 -1 4202560 14 0 0 0 2 0 0 0 20 0 22 0 337886846 12137111552 292303 33554432000 1073741824 1073778376 140734957123040 140654080707240 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2367/tid=2375] ppid=2365 vsize=11852648 CPUtime=0.02 cores=1,3,5,7
/proc/2367/task/2375/stat : 2375 (java) S 2365 2367 1279 0 -1 4202560 17 0 0 0 2 0 0 0 20 0 22 0 337886846 12137111552 292303 33554432000 1073741824 1073778376 140734957123040 140654079654696 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2367/tid=2376] ppid=2365 vsize=11852648 CPUtime=0.02 cores=1,3,5,7
/proc/2367/task/2376/stat : 2376 (java) S 2365 2367 1279 0 -1 4202560 8 0 0 0 2 0 0 0 20 0 22 0 337886846 12137111552 292303 33554432000 1073741824 1073778376 140734957123040 140654078602152 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2367/tid=2377] ppid=2365 vsize=11852648 CPUtime=0.02 cores=1,3,5,7
/proc/2367/task/2377/stat : 2377 (java) S 2365 2367 1279 0 -1 4202560 15 0 0 0 2 0 0 0 20 0 22 0 337886846 12137111552 292303 33554432000 1073741824 1073778376 140734957123040 140654077549608 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2367/tid=2378] ppid=2365 vsize=11852648 CPUtime=0.22 cores=1,3,5,7
/proc/2367/task/2378/stat : 2378 (java) S 2365 2367 1279 0 -1 4202560 48 0 0 0 22 0 0 0 20 0 22 0 337886847 12137111552 292303 33554432000 1073741824 1073778376 140734957123040 140653947222120 233415161769 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2367/tid=2379] ppid=2365 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2367/task/2379/stat : 2379 (java) S 2365 2367 1279 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 337886848 12137111552 292303 33554432000 1073741824 1073778376 140734957123040 140653946168440 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2367/tid=2380] ppid=2365 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2367/task/2380/stat : 2380 (java) S 2365 2367 1279 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 337886848 12137111552 292303 33554432000 1073741824 1073778376 140734957123040 140653945115784 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2367/tid=2381] ppid=2365 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2367/task/2381/stat : 2381 (java) S 2365 2367 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337886851 12137111552 292303 33554432000 1073741824 1073778376 140734957123040 140653944064528 233415169824 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2367/tid=2382] ppid=2365 vsize=11852648 CPUtime=1.35 cores=1,3,5,7
/proc/2367/task/2382/stat : 2382 (java) S 2365 2367 1279 0 -1 4202560 10414 0 0 0 132 3 0 0 20 0 22 0 337886851 12137111552 292303 33554432000 1073741824 1073778376 140734957123040 140653943011896 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2367/tid=2383] ppid=2365 vsize=11852648 CPUtime=1.33 cores=1,3,5,7
/proc/2367/task/2383/stat : 2383 (java) S 2365 2367 1279 0 -1 4202560 6875 0 0 0 131 2 0 0 20 0 22 0 337886851 12137111552 292303 33554432000 1073741824 1073778376 140734957123040 140653941959352 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2367/tid=2384] ppid=2365 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2367/task/2384/stat : 2384 (java) S 2365 2367 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337886851 12137111552 292303 33554432000 1073741824 1073778376 140734957123040 140653940907000 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2367/tid=2385] ppid=2365 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2367/task/2385/stat : 2385 (java) S 2365 2367 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337886851 12137111552 292303 33554432000 1073741824 1073778376 140734957123040 140653939854664 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2367/tid=2392] ppid=2365 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2367/task/2392/stat : 2392 (java) S 2365 2367 1279 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 337886976 12137111552 292303 33554432000 1073741824 1073778376 140734957123040 140652928022056 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2367/tid=2396] ppid=2365 vsize=11852648 CPUtime=3.62 cores=1,3,5,7
/proc/2367/task/2396/stat : 2396 (java) R 2365 2367 1279 0 -1 4202560 12 0 0 0 362 0 0 0 20 0 22 0 337887077 12137111552 292303 33554432000 1073741824 1073778376 140734957123040 140652930126800 140653955880140 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=2367/tid=2397] ppid=2365 vsize=11852648 CPUtime=3.62 cores=1,3,5,7
/proc/2367/task/2397/stat : 2397 (java) R 2365 2367 1279 0 -1 4202560 358 0 0 0 348 14 0 0 20 0 22 0 337887077 12137111552 292303 33554432000 1073741824 1073778376 140734957123040 140652931178552 140653955927862 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
################
# More data... #
################
[pid=2367/tid=2426] ppid=2365 vsize=11852648 CPUtime=713.54 cores=1,3,5,7
/proc/2367/task/2426/stat : 2426 (java) R 2365 2367 1279 0 -1 4202560 27 0 0 0 71342 12 0 0 20 0 22 0 337894151 12137111552 757035 33554432000 1073741824 1073778376 140734957123040 140652929073872 140653955860860 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=2367/tid=2427] ppid=2365 vsize=11852648 CPUtime=713.53 cores=1,3,5,7
/proc/2367/task/2427/stat : 2427 (java) R 2365 2367 1279 0 -1 4202560 313 0 0 0 71330 23 0 0 20 0 22 0 337894151 12137111552 757035 33554432000 1073741824 1073778376 140734957123040 140652930124672 140653955753394 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=2367/tid=2428] ppid=2365 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2367/task/2428/stat : 2428 (java) S 2365 2367 1279 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 337894151 12137111552 757035 33554432000 1073741824 1073778376 140734957123040 140652928022184 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1612.47
Current children cumulated vsize (KiB) 11852648
[startup+882.301 s]
/proc/loadavg: 4.00 3.83 3.81 5/218 2510
/proc/meminfo: memFree=27428620/32873844 swapFree=7116/7116
[pid=2367] ppid=2365 vsize=11852648 CPUtime=1730.32 cores=1,3,5,7
/proc/2367/stat : 2367 (java) S 2365 2367 1279 0 -1 4202496 24690 0 1 0 172919 113 0 0 20 0 22 0 337886842 12137111552 757591 33554432000 1073741824 1073778376 140734957123040 140734957114176 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/2367/statm: 2963162 757591 2297 9 0 2953849 0
[pid=2367/tid=2369] ppid=2365 vsize=11852648 CPUtime=0.87 cores=1,3,5,7
/proc/2367/task/2369/stat : 2369 (java) S 2365 2367 1279 0 -1 4202560 3470 0 1 0 82 5 0 0 20 0 22 0 337886843 12137111552 757591 33554432000 1073741824 1073778376 140734957123040 140654130164888 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2367/tid=2370] ppid=2365 vsize=11852648 CPUtime=1.11 cores=1,3,5,7
/proc/2367/task/2370/stat : 2370 (java) S 2365 2367 1279 0 -1 4202560 137 0 0 0 109 2 0 0 20 0 22 0 337886846 12137111552 757591 33554432000 1073741824 1073778376 140734957123040 140654084917416 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2367/tid=2371] ppid=2365 vsize=11852648 CPUtime=1.13 cores=1,3,5,7
/proc/2367/task/2371/stat : 2371 (java) S 2365 2367 1279 0 -1 4202560 109 0 0 0 111 2 0 0 20 0 22 0 337886846 12137111552 757591 33554432000 1073741824 1073778376 140734957123040 140654083864872 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2367/tid=2372] ppid=2365 vsize=11852648 CPUtime=1.12 cores=1,3,5,7
/proc/2367/task/2372/stat : 2372 (java) S 2365 2367 1279 0 -1 4202560 160 0 0 0 109 3 0 0 20 0 22 0 337886846 12137111552 757591 33554432000 1073741824 1073778376 140734957123040 140654082812328 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2367/tid=2373] ppid=2365 vsize=11852648 CPUtime=1.3 cores=1,3,5,7
/proc/2367/task/2373/stat : 2373 (java) S 2365 2367 1279 0 -1 4202560 114 0 0 0 127 3 0 0 20 0 22 0 337886846 12137111552 757591 33554432000 1073741824 1073778376 140734957123040 140654081759784 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2367/tid=2374] ppid=2365 vsize=11852648 CPUtime=1.14 cores=1,3,5,7
/proc/2367/task/2374/stat : 2374 (java) S 2365 2367 1279 0 -1 4202560 149 0 0 0 112 2 0 0 20 0 22 0 337886846 12137111552 757591 33554432000 1073741824 1073778376 140734957123040 140654080707240 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2367/tid=2375] ppid=2365 vsize=11852648 CPUtime=1.27 cores=1,3,5,7
/proc/2367/task/2375/stat : 2375 (java) S 2365 2367 1279 0 -1 4202560 131 0 0 0 125 2 0 0 20 0 22 0 337886846 12137111552 757591 33554432000 1073741824 1073778376 140734957123040 140654079654696 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2367/tid=2376] ppid=2365 vsize=11852648 CPUtime=1.17 cores=1,3,5,7
/proc/2367/task/2376/stat : 2376 (java) S 2365 2367 1279 0 -1 4202560 115 0 0 0 117 0 0 0 20 0 22 0 337886846 12137111552 757591 33554432000 1073741824 1073778376 140734957123040 140654078602152 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2367/tid=2377] ppid=2365 vsize=11852648 CPUtime=1.1 cores=1,3,5,7
/proc/2367/task/2377/stat : 2377 (java) S 2365 2367 1279 0 -1 4202560 124 0 0 0 108 2 0 0 20 0 22 0 337886846 12137111552 757591 33554432000 1073741824 1073778376 140734957123040 140654077549608 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2367/tid=2378] ppid=2365 vsize=11852648 CPUtime=38.79 cores=1,3,5,7
/proc/2367/task/2378/stat : 2378 (java) S 2365 2367 1279 0 -1 4202560 248 0 0 0 3869 10 0 0 20 0 22 0 337886847 12137111552 757591 33554432000 1073741824 1073778376 140734957123040 140653947222120 233415161769 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2367/tid=2379] ppid=2365 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2367/task/2379/stat : 2379 (java) S 2365 2367 1279 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 337886848 12137111552 757591 33554432000 1073741824 1073778376 140734957123040 140653946168440 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2367/tid=2380] ppid=2365 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2367/task/2380/stat : 2380 (java) S 2365 2367 1279 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 337886848 12137111552 757591 33554432000 1073741824 1073778376 140734957123040 140653945115784 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2367/tid=2381] ppid=2365 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2367/task/2381/stat : 2381 (java) S 2365 2367 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337886851 12137111552 757591 33554432000 1073741824 1073778376 140734957123040 140653944064528 233415169824 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2367/tid=2382] ppid=2365 vsize=11852648 CPUtime=1.57 cores=1,3,5,7
/proc/2367/task/2382/stat : 2382 (java) S 2365 2367 1279 0 -1 4202560 10421 0 0 0 154 3 0 0 20 0 22 0 337886851 12137111552 757591 33554432000 1073741824 1073778376 140734957123040 140653943011896 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2367/tid=2383] ppid=2365 vsize=11852648 CPUtime=1.44 cores=1,3,5,7
/proc/2367/task/2383/stat : 2383 (java) S 2365 2367 1279 0 -1 4202560 6883 0 0 0 142 2 0 0 20 0 22 0 337886851 12137111552 757591 33554432000 1073741824 1073778376 140734957123040 140653941959352 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2367/tid=2384] ppid=2365 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2367/task/2384/stat : 2384 (java) S 2365 2367 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337886851 12137111552 757591 33554432000 1073741824 1073778376 140734957123040 140653940907000 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2367/tid=2385] ppid=2365 vsize=11852648 CPUtime=0.47 cores=1,3,5,7
/proc/2367/task/2385/stat : 2385 (java) S 2365 2367 1279 0 -1 4202560 51 0 0 0 20 27 0 0 20 0 22 0 337886851 12137111552 757591 33554432000 1073741824 1073778376 140734957123040 140653939854664 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2367/tid=2401] ppid=2365 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2367/task/2401/stat : 2401 (java) S 2365 2367 1279 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 337887789 12137111552 757591 33554432000 1073741824 1073778376 140734957123040 140652931179816 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2367/tid=2426] ppid=2365 vsize=11852648 CPUtime=771.05 cores=1,3,5,7
/proc/2367/task/2426/stat : 2426 (java) R 2365 2367 1279 0 -1 4202560 28 0 0 0 77092 13 0 0 20 0 22 0 337894151 12137111552 757591 33554432000 1073741824 1073778376 140734957123040 140652929073872 140653955708065 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=2367/tid=2427] ppid=2365 vsize=11852648 CPUtime=771.05 cores=1,3,5,7
/proc/2367/task/2427/stat : 2427 (java) R 2365 2367 1279 0 -1 4202560 313 0 0 0 77081 24 0 0 20 0 22 0 337894151 12137111552 757591 33554432000 1073741824 1073778376 140734957123040 140652930124672 140653955695187 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=2367/tid=2428] ppid=2365 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2367/task/2428/stat : 2428 (java) S 2365 2367 1279 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 337894151 12137111552 757591 33554432000 1073741824 1073778376 140734957123040 140652928022184 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1730.32
Current children cumulated vsize (KiB) 11852648
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+917.901 s]
/proc/loadavg: 3.88 3.82 3.81 5/219 2511
/proc/meminfo: memFree=27423028/32873844 swapFree=7116/7116
[pid=2367] ppid=2365 vsize=11852648 CPUtime=1800.09 cores=1,3,5,7
/proc/2367/stat : 2367 (java) S 2365 2367 1279 0 -1 4202496 24760 0 1 0 179896 113 0 0 20 0 22 0 337886842 12137111552 758165 33554432000 1073741824 1073778376 140734957123040 140734957114176 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/2367/statm: 2963162 758165 2297 9 0 2953849 0
[pid=2367/tid=2369] ppid=2365 vsize=11852648 CPUtime=0.87 cores=1,3,5,7
/proc/2367/task/2369/stat : 2369 (java) S 2365 2367 1279 0 -1 4202560 3473 0 1 0 82 5 0 0 20 0 22 0 337886843 12137111552 758165 33554432000 1073741824 1073778376 140734957123040 140654130164888 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2367/tid=2370] ppid=2365 vsize=11852648 CPUtime=1.15 cores=1,3,5,7
/proc/2367/task/2370/stat : 2370 (java) S 2365 2367 1279 0 -1 4202560 153 0 0 0 113 2 0 0 20 0 22 0 337886846 12137111552 758165 33554432000 1073741824 1073778376 140734957123040 140654084917416 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2367/tid=2371] ppid=2365 vsize=11852648 CPUtime=1.17 cores=1,3,5,7
/proc/2367/task/2371/stat : 2371 (java) S 2365 2367 1279 0 -1 4202560 112 0 0 0 115 2 0 0 20 0 22 0 337886846 12137111552 758165 33554432000 1073741824 1073778376 140734957123040 140654083864872 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2367/tid=2372] ppid=2365 vsize=11852648 CPUtime=1.17 cores=1,3,5,7
/proc/2367/task/2372/stat : 2372 (java) S 2365 2367 1279 0 -1 4202560 168 0 0 0 114 3 0 0 20 0 22 0 337886846 12137111552 758165 33554432000 1073741824 1073778376 140734957123040 140654082812328 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2367/tid=2373] ppid=2365 vsize=11852648 CPUtime=1.35 cores=1,3,5,7
/proc/2367/task/2373/stat : 2373 (java) S 2365 2367 1279 0 -1 4202560 119 0 0 0 132 3 0 0 20 0 22 0 337886846 12137111552 758165 33554432000 1073741824 1073778376 140734957123040 140654081759784 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2367/tid=2374] ppid=2365 vsize=11852648 CPUtime=1.19 cores=1,3,5,7
/proc/2367/task/2374/stat : 2374 (java) S 2365 2367 1279 0 -1 4202560 162 0 0 0 117 2 0 0 20 0 22 0 337886846 12137111552 758165 33554432000 1073741824 1073778376 140734957123040 140654080707240 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2367/tid=2375] ppid=2365 vsize=11852648 CPUtime=1.3 cores=1,3,5,7
/proc/2367/task/2375/stat : 2375 (java) S 2365 2367 1279 0 -1 4202560 133 0 0 0 128 2 0 0 20 0 22 0 337886846 12137111552 758165 33554432000 1073741824 1073778376 140734957123040 140654079654696 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2367/tid=2376] ppid=2365 vsize=11852648 CPUtime=1.22 cores=1,3,5,7
/proc/2367/task/2376/stat : 2376 (java) S 2365 2367 1279 0 -1 4202560 122 0 0 0 122 0 0 0 20 0 22 0 337886846 12137111552 758165 33554432000 1073741824 1073778376 140734957123040 140654078602152 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2367/tid=2377] ppid=2365 vsize=11852648 CPUtime=1.15 cores=1,3,5,7
/proc/2367/task/2377/stat : 2377 (java) S 2365 2367 1279 0 -1 4202560 132 0 0 0 113 2 0 0 20 0 22 0 337886846 12137111552 758165 33554432000 1073741824 1073778376 140734957123040 140654077549608 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2367/tid=2378] ppid=2365 vsize=11852648 CPUtime=40.38 cores=1,3,5,7
/proc/2367/task/2378/stat : 2378 (java) S 2365 2367 1279 0 -1 4202560 251 0 0 0 4028 10 0 0 20 0 22 0 337886847 12137111552 758165 33554432000 1073741824 1073778376 140734957123040 140653947222120 233415161769 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2367/tid=2379] ppid=2365 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2367/task/2379/stat : 2379 (java) S 2365 2367 1279 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 337886848 12137111552 758165 33554432000 1073741824 1073778376 140734957123040 140653946168440 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2367/tid=2380] ppid=2365 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2367/task/2380/stat : 2380 (java) S 2365 2367 1279 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 337886848 12137111552 758165 33554432000 1073741824 1073778376 140734957123040 140653945115784 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2367/tid=2381] ppid=2365 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2367/task/2381/stat : 2381 (java) S 2365 2367 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337886851 12137111552 758165 33554432000 1073741824 1073778376 140734957123040 140653944064528 233415169824 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2367/tid=2382] ppid=2365 vsize=11852648 CPUtime=1.57 cores=1,3,5,7
/proc/2367/task/2382/stat : 2382 (java) S 2365 2367 1279 0 -1 4202560 10421 0 0 0 154 3 0 0 20 0 22 0 337886851 12137111552 758165 33554432000 1073741824 1073778376 140734957123040 140653943011896 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2367/tid=2383] ppid=2365 vsize=11852648 CPUtime=1.44 cores=1,3,5,7
/proc/2367/task/2383/stat : 2383 (java) S 2365 2367 1279 0 -1 4202560 6883 0 0 0 142 2 0 0 20 0 22 0 337886851 12137111552 758165 33554432000 1073741824 1073778376 140734957123040 140653941959352 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2367/tid=2384] ppid=2365 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2367/task/2384/stat : 2384 (java) S 2365 2367 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337886851 12137111552 758165 33554432000 1073741824 1073778376 140734957123040 140653940907000 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2367/tid=2385] ppid=2365 vsize=11852648 CPUtime=0.49 cores=1,3,5,7
/proc/2367/task/2385/stat : 2385 (java) S 2365 2367 1279 0 -1 4202560 53 0 0 0 21 28 0 0 20 0 22 0 337886851 12137111552 758165 33554432000 1073741824 1073778376 140734957123040 140653939854664 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2367/tid=2401] ppid=2365 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2367/task/2401/stat : 2401 (java) S 2365 2367 1279 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 337887789 12137111552 758165 33554432000 1073741824 1073778376 140734957123040 140652931179816 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2367/tid=2426] ppid=2365 vsize=11852648 CPUtime=804.97 cores=1,3,5,7
/proc/2367/task/2426/stat : 2426 (java) R 2365 2367 1279 0 -1 4202560 28 0 0 0 80483 14 0 0 20 0 22 0 337894151 12137111552 758165 33554432000 1073741824 1073778376 140734957123040 140652929073872 140653955708184 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=2367/tid=2427] ppid=2365 vsize=11852648 CPUtime=804.97 cores=1,3,5,7
/proc/2367/task/2427/stat : 2427 (java) R 2365 2367 1279 0 -1 4202560 313 0 0 0 80472 25 0 0 20 0 22 0 337894151 12137111552 758165 33554432000 1073741824 1073778376 140734957123040 140652930124768 140653955739649 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=2367/tid=2428] ppid=2365 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2367/task/2428/stat : 2428 (java) S 2365 2367 1279 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 337894151 12137111552 758165 33554432000 1073741824 1073778376 140734957123040 140652928022184 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 11852648
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+917.901 s]
/proc/loadavg: 3.88 3.82 3.81 5/219 2511
/proc/meminfo: memFree=27423028/32873844 swapFree=7116/7116
[pid=2367] ppid=2365 vsize=11852648 CPUtime=1800.09 cores=1,3,5,7
/proc/2367/stat : 2367 (java) S 2365 2367 1279 0 -1 4202496 24760 0 1 0 179896 113 0 0 20 0 22 0 337886842 12137111552 758165 33554432000 1073741824 1073778376 140734957123040 140734957114176 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/2367/statm: 2963162 758165 2297 9 0 2953849 0
[pid=2367/tid=2369] ppid=2365 vsize=11852648 CPUtime=0.87 cores=1,3,5,7
/proc/2367/task/2369/stat : 2369 (java) S 2365 2367 1279 0 -1 4202560 3473 0 1 0 82 5 0 0 20 0 22 0 337886843 12137111552 758165 33554432000 1073741824 1073778376 140734957123040 140654130164888 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2367/tid=2370] ppid=2365 vsize=11852648 CPUtime=1.15 cores=1,3,5,7
/proc/2367/task/2370/stat : 2370 (java) S 2365 2367 1279 0 -1 4202560 153 0 0 0 113 2 0 0 20 0 22 0 337886846 12137111552 758165 33554432000 1073741824 1073778376 140734957123040 140654084917416 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2367/tid=2371] ppid=2365 vsize=11852648 CPUtime=1.17 cores=1,3,5,7
/proc/2367/task/2371/stat : 2371 (java) S 2365 2367 1279 0 -1 4202560 112 0 0 0 115 2 0 0 20 0 22 0 337886846 12137111552 758165 33554432000 1073741824 1073778376 140734957123040 140654083864872 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2367/tid=2372] ppid=2365 vsize=11852648 CPUtime=1.17 cores=1,3,5,7
/proc/2367/task/2372/stat : 2372 (java) S 2365 2367 1279 0 -1 4202560 168 0 0 0 114 3 0 0 20 0 22 0 337886846 12137111552 758165 33554432000 1073741824 1073778376 140734957123040 140654082812328 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2367/tid=2373] ppid=2365 vsize=11852648 CPUtime=1.35 cores=1,3,5,7
/proc/2367/task/2373/stat : 2373 (java) S 2365 2367 1279 0 -1 4202560 119 0 0 0 132 3 0 0 20 0 22 0 337886846 12137111552 758165 33554432000 1073741824 1073778376 140734957123040 140654081759784 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2367/tid=2374] ppid=2365 vsize=11852648 CPUtime=1.19 cores=1,3,5,7
/proc/2367/task/2374/stat : 2374 (java) S 2365 2367 1279 0 -1 4202560 162 0 0 0 117 2 0 0 20 0 22 0 337886846 12137111552 758165 33554432000 1073741824 1073778376 140734957123040 140654080707240 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2367/tid=2375] ppid=2365 vsize=11852648 CPUtime=1.3 cores=1,3,5,7
/proc/2367/task/2375/stat : 2375 (java) S 2365 2367 1279 0 -1 4202560 133 0 0 0 128 2 0 0 20 0 22 0 337886846 12137111552 758165 33554432000 1073741824 1073778376 140734957123040 140654079654696 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2367/tid=2376] ppid=2365 vsize=11852648 CPUtime=1.22 cores=1,3,5,7
/proc/2367/task/2376/stat : 2376 (java) S 2365 2367 1279 0 -1 4202560 122 0 0 0 122 0 0 0 20 0 22 0 337886846 12137111552 758165 33554432000 1073741824 1073778376 140734957123040 140654078602152 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2367/tid=2377] ppid=2365 vsize=11852648 CPUtime=1.15 cores=1,3,5,7
/proc/2367/task/2377/stat : 2377 (java) S 2365 2367 1279 0 -1 4202560 132 0 0 0 113 2 0 0 20 0 22 0 337886846 12137111552 758165 33554432000 1073741824 1073778376 140734957123040 140654077549608 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2367/tid=2378] ppid=2365 vsize=11852648 CPUtime=40.38 cores=1,3,5,7
/proc/2367/task/2378/stat : 2378 (java) S 2365 2367 1279 0 -1 4202560 251 0 0 0 4028 10 0 0 20 0 22 0 337886847 12137111552 758165 33554432000 1073741824 1073778376 140734957123040 140653947222120 233415161769 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2367/tid=2379] ppid=2365 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2367/task/2379/stat : 2379 (java) S 2365 2367 1279 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 337886848 12137111552 758165 33554432000 1073741824 1073778376 140734957123040 140653946168440 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2367/tid=2380] ppid=2365 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2367/task/2380/stat : 2380 (java) S 2365 2367 1279 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 337886848 12137111552 758165 33554432000 1073741824 1073778376 140734957123040 140653945115784 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2367/tid=2381] ppid=2365 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2367/task/2381/stat : 2381 (java) S 2365 2367 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337886851 12137111552 758165 33554432000 1073741824 1073778376 140734957123040 140653944064528 233415169824 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2367/tid=2382] ppid=2365 vsize=11852648 CPUtime=1.57 cores=1,3,5,7
/proc/2367/task/2382/stat : 2382 (java) S 2365 2367 1279 0 -1 4202560 10421 0 0 0 154 3 0 0 20 0 22 0 337886851 12137111552 758165 33554432000 1073741824 1073778376 140734957123040 140653943011896 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2367/tid=2383] ppid=2365 vsize=11852648 CPUtime=1.44 cores=1,3,5,7
/proc/2367/task/2383/stat : 2383 (java) S 2365 2367 1279 0 -1 4202560 6883 0 0 0 142 2 0 0 20 0 22 0 337886851 12137111552 758165 33554432000 1073741824 1073778376 140734957123040 140653941959352 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2367/tid=2384] ppid=2365 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2367/task/2384/stat : 2384 (java) S 2365 2367 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337886851 12137111552 758165 33554432000 1073741824 1073778376 140734957123040 140653940907000 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2367/tid=2385] ppid=2365 vsize=11852648 CPUtime=0.49 cores=1,3,5,7
/proc/2367/task/2385/stat : 2385 (java) S 2365 2367 1279 0 -1 4202560 53 0 0 0 21 28 0 0 20 0 22 0 337886851 12137111552 758165 33554432000 1073741824 1073778376 140734957123040 140653939854664 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2367/tid=2401] ppid=2365 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2367/task/2401/stat : 2401 (java) S 2365 2367 1279 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 337887789 12137111552 758165 33554432000 1073741824 1073778376 140734957123040 140652931179816 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2367/tid=2426] ppid=2365 vsize=11852648 CPUtime=804.97 cores=1,3,5,7
/proc/2367/task/2426/stat : 2426 (java) R 2365 2367 1279 0 -1 4202560 28 0 0 0 80483 14 0 0 20 0 22 0 337894151 12137111552 758165 33554432000 1073741824 1073778376 140734957123040 140652929073872 140653955708184 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=2367/tid=2427] ppid=2365 vsize=11852648 CPUtime=804.97 cores=1,3,5,7
/proc/2367/task/2427/stat : 2427 (java) R 2365 2367 1279 0 -1 4202560 313 0 0 0 80472 25 0 0 20 0 22 0 337894151 12137111552 758165 33554432000 1073741824 1073778376 140734957123040 140652930124768 140653955739649 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=2367/tid=2428] ppid=2365 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2367/task/2428/stat : 2428 (java) S 2365 2367 1279 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 337894151 12137111552 758165 33554432000 1073741824 1073778376 140734957123040 140652928022184 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 11852648
Child status: 143
Real time (s): 917.967
CPU time (s): 1800.76
CPU user time (s): 1799.12
CPU system time (s): 1.64375
CPU usage (%): 196.168
Max. virtual memory (cumulated for all children) (KiB): 11852648
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.12
system time used= 1.64375
maximum resident set size= 3032776
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24791
page faults= 1
swaps= 0
block input operations= 240
block output operations= 936
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 24658
involuntary context switches= 24945
runsolver used 3.69244 second user time and 8.99363 second system time
The end