2017 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers) competition: execution trace

Solver Name	Answer	CPU time	Wall clock time
R1: Concrete 3.4	? (TO)	2407.34	2274.45

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4248722-1500751505/watcher-4248722-1500751505 -o /tmp/evaluation-result-4248722-1500751505/solver-4248722-1500751505 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node143-1500751505-28469 --watchdog 2560 bin/concrete HOME/instance-4248722-1500751505.xml 

pid=28497
running on 8 cores: 1,3,5,7,9,11,13,15

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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: 8192 KiB


[startup+0 s]
/proc/loadavg: 0.90 0.74 0.82 3/248 28504
/proc/meminfo: memFree=31481072/32770624 swapFree=6300/320252
[pid=28504] ppid=28497 vsize=9508 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28504/stat : 28504 (bash) S 28497 28504 28437 0 -1 4202496 656 0 0 0 0 0 0 0 20 0 1 0 10416807 9736192 351 33554432000 4194304 5098028 140729492503248 140729492500888 140207109663744 0 0 4100 65536 18446744071580971376 0 0 17 13 0 0 0 0 0 7196144 7232144 36737024 140729492509966 140729492510051 140729492510051 140729492512750 0
/proc/28504/statm: 2377 351 278 221 0 86 0

[startup+0.100107 s]
/proc/loadavg: 0.90 0.74 0.82 3/248 28504
/proc/meminfo: memFree=31481072/32770624 swapFree=6300/320252
[pid=28504] ppid=28497 vsize=9640 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/28504/stat : 28504 (bash) S 28497 28504 28437 0 -1 4202496 879 6422 0 0 0 0 0 2 20 0 1 0 10416807 9871360 378 33554432000 4194304 5098028 140729492503248 140729492497256 140207109663744 0 0 4100 65536 18446744071580971376 0 0 17 7 0 0 0 0 0 7196144 7232144 36737024 140729492509966 140729492510051 140729492510051 140729492512750 0
/proc/28504/statm: 2410 378 296 221 0 119 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 9640

[startup+0.200396 s]
/proc/loadavg: 0.90 0.74 0.82 3/248 28504
/proc/meminfo: memFree=31481072/32770624 swapFree=6300/320252
[pid=28504] ppid=28497 vsize=10435860 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/28504/stat : 28504 (java) S 28497 28504 28437 0 -1 1077944320 4748 12651 0 0 4 1 8 4 20 0 13 0 10416807 10686320640 5079 33554432000 4194304 4196468 140723635580384 140723635562928 139694465691383 0 0 0 16784584 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 37982208 140723635583681 140723635586455 140723635586455 140723635589071 0
/proc/28504/statm: 2608965 5079 2100 1 0 2597403 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 10435860

[startup+0.300315 s]
/proc/loadavg: 0.90 0.74 0.82 3/248 28504
/proc/meminfo: memFree=31481072/32770624 swapFree=6300/320252
[pid=28504] ppid=28497 vsize=10902392 CPUtime=0.34 cores=1,3,5,7,9,11,13,15
/proc/28504/stat : 28504 (java) S 28497 28504 28437 0 -1 1077944320 6761 12651 0 0 20 2 8 4 20 0 20 0 10416807 11164049408 8464 33554432000 4194304 4196468 140723635580384 140723635562928 139694465691383 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 37982208 140723635583681 140723635586455 140723635586455 140723635589071 0
/proc/28504/statm: 2725598 8464 2945 1 0 2713890 0
Current children cumulated CPU time (s) 0.34
Current children cumulated vsize (KiB) 10902392

[startup+0.700181 s]
/proc/loadavg: 0.90 0.74 0.82 3/248 28504
/proc/meminfo: memFree=31481072/32770624 swapFree=6300/320252
[pid=28504] ppid=28497 vsize=10902720 CPUtime=0.86 cores=1,3,5,7,9,11,13,15
/proc/28504/stat : 28504 (java) S 28497 28504 28437 0 -1 1077944320 12110 12651 0 0 70 4 8 4 20 0 20 0 10416807 11164385280 14857 33554432000 4194304 4196468 140723635580384 140723635562928 139694465691383 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 37982208 140723635583681 140723635586455 140723635586455 140723635589071 0
/proc/28504/statm: 2725680 14857 3086 1 0 2713890 0
Current children cumulated CPU time (s) 0.86
Current children cumulated vsize (KiB) 10902720

[startup+1.50072 s]
/proc/loadavg: 0.90 0.74 0.82 5/284 28646
/proc/meminfo: memFree=31274884/32770624 swapFree=6300/320536
[pid=28504] ppid=28497 vsize=10913344 CPUtime=2.21 cores=1,3,5,7,9,11,13,15
/proc/28504/stat : 28504 (java) S 28497 28504 28437 0 -1 1077944320 27256 12651 0 0 196 13 8 4 20 0 20 0 10416807 11175264256 43979 33554432000 4194304 4196468 140723635580384 140723635562928 139694465691383 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 37982208 140723635583681 140723635586455 140723635586455 140723635589071 0
/proc/28504/statm: 2728336 43979 3393 1 0 2716450 0
[pid=28504/tid=28609] ppid=28497 vsize=10913344 CPUtime=1.39 cores=1,3,5,7,9,11,13,15
/proc/28504/task/28609/stat : 28609 (java) R 28497 28504 28437 0 -1 4202560 19125 12651 0 0 121 6 8 4 20 0 20 0 10416822 11175264256 43979 33554432000 4194304 4196468 140723635580384 139694469904640 139694465703318 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 37982208 140723635583681 140723635586455 140723635586455 140723635589071 0
[pid=28504/tid=28611] ppid=28497 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28504/task/28611/stat : 28611 (java) S 28497 28504 28437 0 -1 1077944384 16 12651 0 0 0 0 8 4 20 0 20 0 10416823 11175264256 43979 33554432000 4194304 4196468 140723635580384 139694418312336 139694465701589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37982208 140723635583681 140723635586455 140723635586455 140723635589071 0
[pid=28504/tid=28612] ppid=28497 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28504/task/28612/stat : 28612 (java) S 28497 28504 28437 0 -1 1077944384 28 12651 0 0 0 0 8 4 20 0 20 0 10416823 11175264256 43979 33554432000 4194304 4196468 140723635580384 139694417259536 139694465701589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37982208 140723635583681 140723635586455 140723635586455 140723635589071 0
[pid=28504/tid=28613] ppid=28497 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28504/task/28613/stat : 28613 (java) S 28497 28504 28437 0 -1 1077944384 11 12651 0 0 0 0 8 4 20 0 20 0 10416823 11175264256 43979 33554432000 4194304 4196468 140723635580384 139694069963664 139694465701589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37982208 140723635583681 140723635586455 140723635586455 140723635589071 0
[pid=28504/tid=28614] ppid=28497 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28504/task/28614/stat : 28614 (java) S 28497 28504 28437 0 -1 1077944384 9 12651 0 0 0 0 8 4 20 0 20 0 10416823 11175264256 43979 33554432000 4194304 4196468 140723635580384 139694068910864 139694465701589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37982208 140723635583681 140723635586455 140723635586455 140723635589071 0
[pid=28504/tid=28615] ppid=28497 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28504/task/28615/stat : 28615 (java) S 28497 28504 28437 0 -1 1077944384 46 12651 0 0 0 0 8 4 20 0 20 0 10416823 11175264256 43979 33554432000 4194304 4196468 140723635580384 139694067858064 139694465701589 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 37982208 140723635583681 140723635586455 140723635586455 140723635589071 0
[pid=28504/tid=28616] ppid=28497 vsize=10913344 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/28504/task/28616/stat : 28616 (java) S 28497 28504 28437 0 -1 1077944384 49 12651 0 0 1 0 8 4 20 0 20 0 10416823 11175264256 43979 33554432000 4194304 4196468 140723635580384 139694066805264 139694465701589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37982208 140723635583681 140723635586455 140723635586455 140723635589071 0
[pid=28504/tid=28617] ppid=28497 vsize=10913344 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/28504/task/28617/stat : 28617 (java) S 28497 28504 28437 0 -1 1077944384 25 12651 0 0 1 0 8 4 20 0 20 0 10416823 11175264256 43979 33554432000 4194304 4196468 140723635580384 139694065752464 139694465701589 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 37982208 140723635583681 140723635586455 140723635586455 140723635589071 0
[pid=28504/tid=28618] ppid=28497 vsize=10913344 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/28504/task/28618/stat : 28618 (java) S 28497 28504 28437 0 -1 1077944384 120 12651 0 0 1 0 8 4 20 0 20 0 10416823 11175264256 43979 33554432000 4194304 4196468 140723635580384 139694064699664 139694465701589 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 37982208 140723635583681 140723635586455 140723635586455 140723635589071 0
[pid=28504/tid=28627] ppid=28497 vsize=10913344 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/28504/task/28627/stat : 28627 (java) S 28497 28504 28437 0 -1 1077944384 1544 12651 0 0 1 0 8 4 20 0 20 0 10416825 11175264256 43979 33554432000 4194304 4196468 140723635580384 139693671816048 139694465702530 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37982208 140723635583681 140723635586455 140723635586455 140723635589071 0
[pid=28504/tid=28629] ppid=28497 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28504/task/28629/stat : 28629 (java) S 28497 28504 28437 0 -1 1077944384 56 12651 0 0 0 0 8 4 20 0 20 0 10416826 11175264256 43979 33554432000 4194304 4196468 140723635580384 139693670762080 139694465701589 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 37982208 140723635583681 140723635586455 140723635586455 140723635589071 0
[pid=28504/tid=28631] ppid=28497 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28504/task/28631/stat : 28631 (java) S 28497 28504 28437 0 -1 1077944384 43 12651 0 0 0 0 8 4 20 0 20 0 10416826 11175264256 43979 33554432000 4194304 4196468 140723635580384 139693669709184 139694465701589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37982208 140723635583681 140723635586455 140723635586455 140723635589071 0
[pid=28504/tid=28638] ppid=28497 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28504/task/28638/stat : 28638 (java) S 28497 28504 28437 0 -1 1077944384 1 12651 0 0 0 0 8 4 20 0 20 0 10416830 11175264256 43979 33554432000 4194304 4196468 140723635580384 139693668657488 139694465709979 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 37982208 140723635583681 140723635586455 140723635586455 140723635589071 0
[pid=28504/tid=28639] ppid=28497 vsize=10913344 CPUtime=0.24 cores=1,3,5,7,9,11,13,15
/proc/28504/task/28639/stat : 28639 (java) S 28497 28504 28437 0 -1 1077944384 786 12651 0 0 12 0 8 4 20 0 20 0 10416830 11175264256 43979 33554432000 4194304 4196468 140723635580384 139693667604848 139694465702530 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37982208 140723635583681 140723635586455 140723635586455 140723635589071 0
[pid=28504/tid=28640] ppid=28497 vsize=10913344 CPUtime=0.28 cores=1,3,5,7,9,11,13,15
/proc/28504/task/28640/stat : 28640 (java) R 28497 28504 28437 0 -1 4202560 1302 12651 0 0 16 0 8 4 20 0 20 0 10416830 11175264256 43979 33554432000 4194304 4196468 140723635580384 139693666533344 139694465705232 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37982208 140723635583681 140723635586455 140723635586455 140723635589071 0
[pid=28504/tid=28641] ppid=28497 vsize=10913344 CPUtime=0.23 cores=1,3,5,7,9,11,13,15
/proc/28504/task/28641/stat : 28641 (java) R 28497 28504 28437 0 -1 4202560 597 12651 0 0 11 0 8 4 20 0 20 0 10416830 11175264256 43979 33554432000 4194304 4196468 140723635580384 139693665485792 139694447209171 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 37982208 140723635583681 140723635586455 140723635586455 140723635589071 0
[pid=28504/tid=28643] ppid=28497 vsize=10913344 CPUtime=0.37 cores=1,3,5,7,9,11,13,15
/proc/28504/task/28643/stat : 28643 (java) S 28497 28504 28437 0 -1 1077944384 1363 12651 0 0 25 0 8 4 20 0 20 0 10416830 11175264256 43979 33554432000 4194304 4196468 140723635580384 139693664446448 139694465702530 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 37982208 140723635583681 140723635586455 140723635586455 140723635589071 0
[pid=28504/tid=28645] ppid=28497 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28504/task/28645/stat : 28645 (java) S 28497 28504 28437 0 -1 1077944384 3 12651 0 0 0 0 8 4 20 0 20 0 10416830 11175264256 43979 33554432000 4194304 4196468 140723635580384 139693663394912 139694465701589 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 37982208 140723635583681 140723635586455 140723635586455 140723635589071 0
[pid=28504/tid=28646] ppid=28497 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28504/task/28646/stat : 28646 (java) S 28497 28504 28437 0 -1 1077944384 3 12651 0 0 0 0 8 4 20 0 20 0 10416831 11175264256 43979 33554432000 4194304 4196468 140723635580384 139693662342192 139694465702530 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 37982208 140723635583681 140723635586455 140723635586455 140723635589071 0
Current children cumulated CPU time (s) 2.21
Current children cumulated vsize (KiB) 10913344

[startup+3.1008 s]
/proc/loadavg: 0.90 0.74 0.82 8/284 28646
/proc/meminfo: memFree=31123560/32770624 swapFree=6300/320496
[pid=28504] ppid=28497 vsize=10925820 CPUtime=6.16 cores=1,3,5,7,9,11,13,15
/proc/28504/stat : 28504 (java) S 28497 28504 28437 0 -1 1077944320 48311 12651 0 0 585 19 8 4 20 0 20 0 10416807 11188039680 55927 33554432000 4194304 4196468 140723635580384 140723635562928 139694465691383 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 37982208 140723635583681 140723635586455 140723635586455 140723635589071 0
/proc/28504/statm: 2731455 55927 3474 1 0 2719010 0
[pid=28504/tid=28609] ppid=28497 vsize=10925820 CPUtime=2.98 cores=1,3,5,7,9,11,13,15
/proc/28504/task/28609/stat : 28609 (java) R 28497 28504 28437 0 -1 4202560 31407 12651 0 0 277 9 8 4 20 0 20 0 10416822 11188039680 55927 33554432000 4194304 4196468 140723635580384 139694469922496 139694465703318 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 37982208 140723635583681 140723635586455 140723635586455 140723635589071 0
[pid=28504/tid=28611] ppid=28497 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28504/task/28611/stat : 28611 (java) S 28497 28504 28437 0 -1 1077944384 16 12651 0 0 0 0 8 4 20 0 20 0 10416823 11188039680 55927 33554432000 4194304 4196468 140723635580384 139694418312336 139694465701589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37982208 140723635583681 140723635586455 140723635586455 140723635589071 0
[pid=28504/tid=28612] ppid=28497 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28504/task/28612/stat : 28612 (java) S 28497 28504 28437 0 -1 1077944384 28 12651 0 0 0 0 8 4 20 0 20 0 10416823 11188039680 55927 33554432000 4194304 4196468 140723635580384 139694417259536 139694465701589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37982208 140723635583681 140723635586455 140723635586455 140723635589071 0
[pid=28504/tid=28613] ppid=28497 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28504/task/28613/stat : 28613 (java) S 28497 28504 28437 0 -1 1077944384 11 12651 0 0 0 0 8 4 20 0 20 0 10416823 11188039680 55927 33554432000 4194304 4196468 140723635580384 139694069963664 139694465701589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37982208 140723635583681 140723635586455 140723635586455 140723635589071 0
[pid=28504/tid=28614] ppid=28497 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28504/task/28614/stat : 28614 (java) S 28497 28504 28437 0 -1 1077944384 9 12651 0 0 0 0 8 4 20 0 20 0 10416823 11188039680 55927 33554432000 4194304 4196468 140723635580384 139694068910864 139694465701589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37982208 140723635583681 140723635586455 140723635586455 140723635589071 0
[pid=28504/tid=28615] ppid=28497 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28504/task/28615/stat : 28615 (java) S 28497 28504 28437 0 -1 1077944384 46 12651 0 0 0 0 8 4 20 0 20 0 10416823 11188039680 55927 33554432000 4194304 4196468 140723635580384 139694067858064 139694465701589 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 37982208 140723635583681 140723635586455 140723635586455 140723635589071 0
[pid=28504/tid=28616] ppid=28497 vsize=10925820 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/28504/task/28616/stat : 28616 (java) S 28497 28504 28437 0 -1 1077944384 49 12651 0 0 1 0 8 4 20 0 20 0 10416823 11188039680 55927 33554432000 4194304 4196468 140723635580384 139694066805264 139694465701589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37982208 140723635583681 140723635586455 140723635586455 140723635589071 0
[pid=28504/tid=28617] ppid=28497 vsize=10925820 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/28504/task/28617/stat : 28617 (java) S 28497 28504 28437 0 -1 1077944384 25 12651 0 0 1 0 8 4 20 0 20 0 10416823 11188039680 55927 33554432000 4194304 4196468 140723635580384 139694065752464 139694465701589 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 37982208 140723635583681 140723635586455 140723635586455 140723635589071 0
[pid=28504/tid=28618] ppid=28497 vsize=10925820 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/28504/task/28618/stat : 28618 (java) S 28497 28504 28437 0 -1 1077944384 120 12651 0 0 1 0 8 4 20 0 20 0 10416823 11188039680 55927 33554432000 4194304 4196468 140723635580384 139694064699664 139694465701589 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 37982208 140723635583681 140723635586455 140723635586455 140723635589071 0
[pid=28504/tid=28627] ppid=28497 vsize=10925820 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/28504/task/28627/stat : 28627 (java) S 28497 28504 28437 0 -1 1077944384 1994 12651 0 0 1 0 8 4 20 0 20 0 10416825 11188039680 55927 33554432000 4194304 4196468 140723635580384 139693671816048 139694465702530 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37982208 140723635583681 140723635586455 140723635586455 140723635589071 0
[pid=28504/tid=28629] ppid=28497 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28504/task/28629/stat : 28629 (java) S 28497 28504 28437 0 -1 1077944384 56 12651 0 0 0 0 8 4 20 0 20 0 10416826 11188039680 55927 33554432000 4194304 4196468 140723635580384 139693670762080 139694465701589 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 37982208 140723635583681 140723635586455 140723635586455 140723635589071 0
[pid=28504/tid=28631] ppid=28497 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28504/task/28631/stat : 28631 (java) S 28497 28504 28437 0 -1 1077944384 43 12651 0 0 0 0 8 4 20 0 20 0 10416826 11188039680 55927 33554432000 4194304 4196468 140723635580384 139693669709184 139694465701589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37982208 140723635583681 140723635586455 140723635586455 140723635589071 0
[pid=28504/tid=28638] ppid=28497 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28504/task/28638/stat : 28638 (java) S 28497 28504 28437 0 -1 1077944384 1 12651 0 0 0 0 8 4 20 0 20 0 10416830 11188039680 55927 33554432000 4194304 4196468 140723635580384 139693668657488 139694465709979 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 37982208 140723635583681 140723635586455 140723635586455 140723635589071 0
[pid=28504/tid=28639] ppid=28497 vsize=10925820 CPUtime=0.96 cores=1,3,5,7,9,11,13,15
/proc/28504/task/28639/stat : 28639 (java) R 28497 28504 28437 0 -1 4202560 4591 12651 0 0 83 1 8 4 20 0 20 0 10416830 11188039680 55927 33554432000 4194304 4196468 140723635580384 139693667583840 139694445534977 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37982208 140723635583681 140723635586455 140723635586455 140723635589071 0
[pid=28504/tid=28640] ppid=28497 vsize=10925820 CPUtime=0.65 cores=1,3,5,7,9,11,13,15
/proc/28504/task/28640/stat : 28640 (java) R 28497 28504 28437 0 -1 4202560 2264 12651 0 0 52 1 8 4 20 0 20 0 10416830 11188039680 55927 33554432000 4194304 4196468 140723635580384 139693666531168 139694451372822 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 37982208 140723635583681 140723635586455 140723635586455 140723635589071 0
[pid=28504/tid=28641] ppid=28497 vsize=10925820 CPUtime=0.72 cores=1,3,5,7,9,11,13,15
/proc/28504/task/28641/stat : 28641 (java) R 28497 28504 28437 0 -1 4202560 1697 12651 0 0 59 1 8 4 20 0 20 0 10416830 11188039680 55927 33554432000 4194304 4196468 140723635580384 139693665480544 139694465703318 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 37982208 140723635583681 140723635586455 140723635586455 140723635589071 0
[pid=28504/tid=28643] ppid=28497 vsize=10925820 CPUtime=1.14 cores=1,3,5,7,9,11,13,15
/proc/28504/task/28643/stat : 28643 (java) R 28497 28504 28437 0 -1 4202560 3822 12651 0 0 102 0 8 4 20 0 20 0 10416830 11188039680 55927 33554432000 4194304 4196468 140723635580384 139693664446448 139694444375035 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37982208 140723635583681 140723635586455 140723635586455 140723635589071 0
[pid=28504/tid=28645] ppid=28497 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28504/task/28645/stat : 28645 (java) S 28497 28504 28437 0 -1 1077944384 3 12651 0 0 0 0 8 4 20 0 20 0 10416830 11188039680 56439 33554432000 4194304 4196468 140723635580384 139693663394912 139694465701589 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 37982208 140723635583681 140723635586455 140723635586455 140723635589071 0
[pid=28504/tid=28646] ppid=28497 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28504/task/28646/stat : 28646 (java) S 28497 28504 28437 0 -1 1077944384 5 12651 0 0 0 0 8 4 20 0 20 0 10416831 11188039680 56439 33554432000 4194304 4196468 140723635580384 139693662342192 139694465702530 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 37982208 140723635583681 140723635586455 140723635586455 140723635589071 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 10925820

[startup+6.30123 s]
/proc/loadavg: 0.98 0.76 0.83 9/284 28646
/proc/meminfo: memFree=30487548/32770624 swapFree=6300/320692
[pid=28504] ppid=28497 vsize=10929916 CPUtime=18.72 cores=1,3,5,7,9,11,13,15
/proc/28504/stat : 28504 (java) S 28497 28504 28437 0 -1 1077944320 71602 12651 0 0 1820 40 8 4 20 0 20 0 10416807 11192233984 132950 33554432000 4194304 4196468 140723635580384 140723635562928 139694465691383 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 37982208 140723635583681 140723635586455 140723635586455 140723635589071 0
/proc/28504/statm: 2732479 132950 3500 1 0 2720034 0
[pid=28504/tid=28609] ppid=28497 vsize=10929916 CPUtime=6.04 cores=1,3,5,7,9,11,13,15
/proc/28504/task/28609/stat : 28609 (java) R 28497 28504 28437 0 -1 4202560 32599 12651 0 0 580 12 8 4 20 0 20 0 10416822 11192233984 132950 33554432000 4194304 4196468 140723635580384 139694469924824 139694108431911 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 37982208 140723635583681 140723635586455 140723635586455 140723635589071 0
[pid=28504/tid=28611] ppid=28497 vsize=10929916 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/28504/task/28611/stat : 28611 (java) S 28497 28504 28437 0 -1 1077944384 42 12651 0 0 6 2 8 4 20 0 20 0 10416823 11192233984 132950 33554432000 4194304 4196468 140723635580384 139694418312336 139694465701589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37982208 140723635583681 140723635586455 140723635586455 140723635589071 0
[pid=28504/tid=28612] ppid=28497 vsize=10929916 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/28504/task/28612/stat : 28612 (java) S 28497 28504 28437 0 -1 1077944384 90 12651 0 0 6 2 8 4 20 0 20 0 10416823 11192233984 132950 33554432000 4194304 4196468 140723635580384 139694417259536 139694465701589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37982208 140723635583681 140723635586455 140723635586455 140723635589071 0
[pid=28504/tid=28613] ppid=28497 vsize=10929916 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/28504/task/28613/stat : 28613 (java) S 28497 28504 28437 0 -1 1077944384 57 12651 0 0 7 1 8 4 20 0 20 0 10416823 11192233984 132950 33554432000 4194304 4196468 140723635580384 139694069963664 139694465701589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37982208 140723635583681 140723635586455 140723635586455 140723635589071 0
[pid=28504/tid=28614] ppid=28497 vsize=10929916 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/28504/task/28614/stat : 28614 (java) S 28497 28504 28437 0 -1 1077944384 90 12651 0 0 5 2 8 4 20 0 20 0 10416823 11192233984 132950 33554432000 4194304 4196468 140723635580384 139694068910864 139694465701589 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 37982208 140723635583681 140723635586455 140723635586455 140723635589071 0
[pid=28504/tid=28615] ppid=28497 vsize=10929916 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/28504/task/28615/stat : 28615 (java) S 28497 28504 28437 0 -1 1077944384 87 12651 0 0 6 2 8 4 20 0 20 0 10416823 11192233984 132950 33554432000 4194304 4196468 140723635580384 139694067858064 139694465701589 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 37982208 140723635583681 140723635586455 140723635586455 140723635589071 0
[pid=28504/tid=28616] ppid=28497 vsize=10929916 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/28504/task/28616/stat : 28616 (java) S 28497 28504 28437 0 -1 1077944384 87 12651 0 0 7 2 8 4 20 0 20 0 10416823 11192233984 132950 33554432000 4194304 4196468 140723635580384 139694066805264 139694465701589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37982208 140723635583681 140723635586455 140723635586455 140723635589071 0
[pid=28504/tid=28617] ppid=28497 vsize=10929916 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/28504/task/28617/stat : 28617 (java) S 28497 28504 28437 0 -1 1077944384 66 12651 0 0 7 1 8 4 20 0 20 0 10416823 11192233984 132950 33554432000 4194304 4196468 140723635580384 139694065752464 139694465701589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37982208 140723635583681 140723635586455 140723635586455 140723635589071 0
[pid=28504/tid=28618] ppid=28497 vsize=10929916 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/28504/task/28618/stat : 28618 (java) S 28497 28504 28437 0 -1 1077944384 158 12651 0 0 7 2 8 4 20 0 20 0 10416823 11192233984 132950 33554432000 4194304 4196468 140723635580384 139694064699664 139694465701589 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 37982208 140723635583681 140723635586455 140723635586455 140723635589071 0
[pid=28504/tid=28627] ppid=28497 vsize=10929916 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/28504/task/28627/stat : 28627 (java) S 28497 28504 28437 0 -1 1077944384 2724 12651 0 0 5 0 8 4 20 0 20 0 10416825 11192233984 132950 33554432000 4194304 4196468 140723635580384 139693671816048 139694465702530 0 0 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 37982208 140723635583681 140723635586455 140723635586455 140723635589071 0
[pid=28504/tid=28629] ppid=28497 vsize=10929916 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28504/task/28629/stat : 28629 (java) S 28497 28504 28437 0 -1 1077944384 57 12651 0 0 0 0 8 4 20 0 20 0 10416826 11192233984 132950 33554432000 4194304 4196468 140723635580384 139693670762080 139694465701589 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 37982208 140723635583681 140723635586455 140723635586455 140723635589071 0
[pid=28504/tid=28631] ppid=28497 vsize=10929916 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28504/task/28631/stat : 28631 (java) S 28497 28504 28437 0 -1 1077944384 43 12651 0 0 0 0 8 4 20 0 20 0 10416826 11192233984 132950 33554432000 4194304 4196468 140723635580384 139693669709184 139694465701589 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 37982208 140723635583681 140723635586455 140723635586455 140723635589071 0
[pid=28504/tid=28638] ppid=28497 vsize=10929916 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28504/task/28638/stat : 28638 (java) S 28497 28504 28437 0 -1 1077944384 1 12651 0 0 0 0 8 4 20 0 20 0 10416830 11192233984 132950 33554432000 4194304 4196468 140723635580384 139693668657488 139694465709979 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 37982208 140723635583681 140723635586455 140723635586455 140723635589071 0
[pid=28504/tid=28639] ppid=28497 vsize=10929916 CPUtime=3.71 cores=1,3,5,7,9,11,13,15
/proc/28504/task/28639/stat : 28639 (java) R 28497 28504 28437 0 -1 4202560 10342 12651 0 0 358 1 8 4 20 0 20 0 10416830 11192233984 132950 33554432000 4194304 4196468 140723635580384 139693667591008 139694447209265 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37982208 140723635583681 140723635586455 140723635586455 140723635589071 0
[pid=28504/tid=28640] ppid=28497 vsize=10929916 CPUtime=3.26 cores=1,3,5,7,9,11,13,15
/proc/28504/task/28640/stat : 28640 (java) R 28497 28504 28437 0 -1 4202560 7312 12651 0 0 312 2 8 4 20 0 20 0 10416830 11192233984 132950 33554432000 4194304 4196468 140723635580384 139693666538072 139694447211109 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 37982208 140723635583681 140723635586455 140723635586455 140723635589071 0
[pid=28504/tid=28641] ppid=28497 vsize=10929916 CPUtime=3.33 cores=1,3,5,7,9,11,13,15
/proc/28504/task/28641/stat : 28641 (java) R 28497 28504 28437 0 -1 4202560 9246 12651 0 0 318 3 8 4 20 0 20 0 10416830 11192233984 132950 33554432000 4194304 4196468 140723635580384 139693665484592 139694444935198 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37982208 140723635583681 140723635586455 140723635586455 140723635589071 0
[pid=28504/tid=28643] ppid=28497 vsize=10929916 CPUtime=2.03 cores=1,3,5,7,9,11,13,15
/proc/28504/task/28643/stat : 28643 (java) S 28497 28504 28437 0 -1 1077944384 6463 12651 0 0 190 1 8 4 20 0 20 0 10416830 11192233984 132950 33554432000 4194304 4196468 140723635580384 139693664446448 139694465702530 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37982208 140723635583681 140723635586455 140723635586455 140723635589071 0
[pid=28504/tid=28645] ppid=28497 vsize=10929916 CPUtime=0.12 cores=1,3,5,7,9,11,13,15

################
# More data... #
################

[pid=28504/tid=28643] ppid=28497 vsize=10934012 CPUtime=3.12 cores=1,3,5,7,9,11,13,15
/proc/28504/task/28643/stat : 28643 (java) S 28497 28504 28437 0 -1 1077944384 19526 12651 0 0 297 3 8 4 20 0 20 0 10416830 11196428288 907838 33554432000 4194304 4196468 140723635580384 139693664446448 139694465702530 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 37982208 140723635583681 140723635586455 140723635586455 140723635589071 0
[pid=28504/tid=28645] ppid=28497 vsize=10934012 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28504/task/28645/stat : 28645 (java) S 28497 28504 28437 0 -1 1077944384 3 12651 0 0 0 0 8 4 20 0 20 0 10416830 11196428288 907838 33554432000 4194304 4196468 140723635580384 139693663394912 139694465701589 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 37982208 140723635583681 140723635586455 140723635586455 140723635589071 0
[pid=28504/tid=28646] ppid=28497 vsize=10934012 CPUtime=1.41 cores=1,3,5,7,9,11,13,15
/proc/28504/task/28646/stat : 28646 (java) S 28497 28504 28437 0 -1 1077944384 1456 12651 0 0 57 72 8 4 20 0 20 0 10416831 11196428288 907838 33554432000 4194304 4196468 140723635580384 139693662342192 139694465702530 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37982208 140723635583681 140723635586455 140723635586455 140723635589071 0
Current children cumulated CPU time (s) 2388.9
Current children cumulated vsize (KiB) 10934012



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2273.4 s]
/proc/loadavg: 1.93 1.87 1.72 4/282 28739
/proc/meminfo: memFree=24444748/32770624 swapFree=6300/322368
[pid=28504] ppid=28497 vsize=10934012 CPUtime=2400.07 cores=1,3,5,7,9,11,13,15
/proc/28504/stat : 28504 (java) S 28497 28504 28437 0 -1 1077944320 413900 12651 0 0 238450 1545 8 4 20 0 20 0 10416807 11196428288 907917 33554432000 4194304 4196468 140723635580384 140723635562928 139694465691383 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 37982208 140723635583681 140723635586455 140723635586455 140723635589071 0
/proc/28504/statm: 2733503 907917 3516 1 0 2721058 0
[pid=28504/tid=28609] ppid=28497 vsize=10934012 CPUtime=2255.43 cores=1,3,5,7,9,11,13,15
/proc/28504/task/28609/stat : 28609 (java) R 28497 28504 28437 0 -1 4202560 173014 12651 0 0 225436 95 8 4 20 0 20 0 10416822 11196428288 907917 33554432000 4194304 4196468 140723635580384 139694469924736 139694113753447 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 37982208 140723635583681 140723635586455 140723635586455 140723635589071 0
[pid=28504/tid=28611] ppid=28497 vsize=10934012 CPUtime=14.74 cores=1,3,5,7,9,11,13,15
/proc/28504/task/28611/stat : 28611 (java) S 28497 28504 28437 0 -1 1077944384 10351 12651 0 0 1292 170 8 4 20 0 20 0 10416823 11196428288 907917 33554432000 4194304 4196468 140723635580384 139694418312336 139694465701589 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 37982208 140723635583681 140723635586455 140723635586455 140723635589071 0
[pid=28504/tid=28612] ppid=28497 vsize=10934012 CPUtime=14.76 cores=1,3,5,7,9,11,13,15
/proc/28504/task/28612/stat : 28612 (java) S 28497 28504 28437 0 -1 1077944384 13806 12651 0 0 1297 167 8 4 20 0 20 0 10416823 11196428288 907917 33554432000 4194304 4196468 140723635580384 139694417259536 139694465701589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37982208 140723635583681 140723635586455 140723635586455 140723635589071 0
[pid=28504/tid=28613] ppid=28497 vsize=10934012 CPUtime=14.82 cores=1,3,5,7,9,11,13,15
/proc/28504/task/28613/stat : 28613 (java) S 28497 28504 28437 0 -1 1077944384 9396 12651 0 0 1303 167 8 4 20 0 20 0 10416823 11196428288 907917 33554432000 4194304 4196468 140723635580384 139694069963664 139694465701589 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 37982208 140723635583681 140723635586455 140723635586455 140723635589071 0
[pid=28504/tid=28614] ppid=28497 vsize=10934012 CPUtime=14.83 cores=1,3,5,7,9,11,13,15
/proc/28504/task/28614/stat : 28614 (java) S 28497 28504 28437 0 -1 1077944384 11611 12651 0 0 1302 169 8 4 20 0 20 0 10416823 11196428288 907917 33554432000 4194304 4196468 140723635580384 139694068910864 139694465701589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37982208 140723635583681 140723635586455 140723635586455 140723635589071 0
[pid=28504/tid=28615] ppid=28497 vsize=10934012 CPUtime=14.86 cores=1,3,5,7,9,11,13,15
/proc/28504/task/28615/stat : 28615 (java) S 28497 28504 28437 0 -1 1077944384 7728 12651 0 0 1305 169 8 4 20 0 20 0 10416823 11196428288 907917 33554432000 4194304 4196468 140723635580384 139694067858064 139694465701589 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 37982208 140723635583681 140723635586455 140723635586455 140723635589071 0
[pid=28504/tid=28616] ppid=28497 vsize=10934012 CPUtime=14.76 cores=1,3,5,7,9,11,13,15
/proc/28504/task/28616/stat : 28616 (java) S 28497 28504 28437 0 -1 1077944384 8497 12651 0 0 1294 170 8 4 20 0 20 0 10416823 11196428288 907917 33554432000 4194304 4196468 140723635580384 139694066805264 139694465701589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37982208 140723635583681 140723635586455 140723635586455 140723635589071 0
[pid=28504/tid=28617] ppid=28497 vsize=10934012 CPUtime=14.83 cores=1,3,5,7,9,11,13,15
/proc/28504/task/28617/stat : 28617 (java) S 28497 28504 28437 0 -1 1077944384 11982 12651 0 0 1301 170 8 4 20 0 20 0 10416823 11196428288 907917 33554432000 4194304 4196468 140723635580384 139694065752464 139694465701589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37982208 140723635583681 140723635586455 140723635586455 140723635589071 0
[pid=28504/tid=28618] ppid=28497 vsize=10934012 CPUtime=14.93 cores=1,3,5,7,9,11,13,15
/proc/28504/task/28618/stat : 28618 (java) S 28497 28504 28437 0 -1 1077944384 11507 12651 0 0 1313 168 8 4 20 0 20 0 10416823 11196428288 907917 33554432000 4194304 4196468 140723635580384 139694064699664 139694465701589 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 37982208 140723635583681 140723635586455 140723635586455 140723635589071 0
[pid=28504/tid=28627] ppid=28497 vsize=10934012 CPUtime=1.01 cores=1,3,5,7,9,11,13,15
/proc/28504/task/28627/stat : 28627 (java) S 28497 28504 28437 0 -1 1077944384 50458 12651 0 0 73 16 8 4 20 0 20 0 10416825 11196428288 907917 33554432000 4194304 4196468 140723635580384 139693671816048 139694465702530 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37982208 140723635583681 140723635586455 140723635586455 140723635589071 0
[pid=28504/tid=28629] ppid=28497 vsize=10934012 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28504/task/28629/stat : 28629 (java) S 28497 28504 28437 0 -1 1077944384 64 12651 0 0 0 0 8 4 20 0 20 0 10416826 11196428288 907917 33554432000 4194304 4196468 140723635580384 139693670762080 139694465701589 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 37982208 140723635583681 140723635586455 140723635586455 140723635589071 0
[pid=28504/tid=28631] ppid=28497 vsize=10934012 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28504/task/28631/stat : 28631 (java) S 28497 28504 28437 0 -1 1077944384 51 12651 0 0 0 0 8 4 20 0 20 0 10416826 11196428288 907917 33554432000 4194304 4196468 140723635580384 139693669709184 139694465701589 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 37982208 140723635583681 140723635586455 140723635586455 140723635589071 0
[pid=28504/tid=28638] ppid=28497 vsize=10934012 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28504/task/28638/stat : 28638 (java) S 28497 28504 28437 0 -1 1077944384 1 12651 0 0 0 0 8 4 20 0 20 0 10416830 11196428288 907917 33554432000 4194304 4196468 140723635580384 139693668657488 139694465709979 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 37982208 140723635583681 140723635586455 140723635586455 140723635589071 0
[pid=28504/tid=28639] ppid=28497 vsize=10934012 CPUtime=7.36 cores=1,3,5,7,9,11,13,15
/proc/28504/task/28639/stat : 28639 (java) S 28497 28504 28437 0 -1 1077944384 29928 12651 0 0 719 5 8 4 20 0 20 0 10416830 11196428288 907917 33554432000 4194304 4196468 140723635580384 139693667604848 139694465702530 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37982208 140723635583681 140723635586455 140723635586455 140723635589071 0
[pid=28504/tid=28640] ppid=28497 vsize=10934012 CPUtime=7.71 cores=1,3,5,7,9,11,13,15
/proc/28504/task/28640/stat : 28640 (java) S 28497 28504 28437 0 -1 1077944384 26621 12651 0 0 755 4 8 4 20 0 20 0 10416830 11196428288 907917 33554432000 4194304 4196468 140723635580384 139693666552048 139694465702530 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37982208 140723635583681 140723635586455 140723635586455 140723635589071 0
[pid=28504/tid=28641] ppid=28497 vsize=10934012 CPUtime=7 cores=1,3,5,7,9,11,13,15
/proc/28504/task/28641/stat : 28641 (java) S 28497 28504 28437 0 -1 1077944384 25771 12651 0 0 682 6 8 4 20 0 20 0 10416830 11196428288 907917 33554432000 4194304 4196468 140723635580384 139693665499248 139694465702530 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37982208 140723635583681 140723635586455 140723635586455 140723635589071 0
[pid=28504/tid=28643] ppid=28497 vsize=10934012 CPUtime=3.12 cores=1,3,5,7,9,11,13,15
/proc/28504/task/28643/stat : 28643 (java) S 28497 28504 28437 0 -1 1077944384 19526 12651 0 0 297 3 8 4 20 0 20 0 10416830 11196428288 907917 33554432000 4194304 4196468 140723635580384 139693664446448 139694465702530 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 37982208 140723635583681 140723635586455 140723635586455 140723635589071 0
[pid=28504/tid=28645] ppid=28497 vsize=10934012 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28504/task/28645/stat : 28645 (java) S 28497 28504 28437 0 -1 1077944384 3 12651 0 0 0 0 8 4 20 0 20 0 10416830 11196428288 907917 33554432000 4194304 4196468 140723635580384 139693663394912 139694465701589 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 37982208 140723635583681 140723635586455 140723635586455 140723635589071 0
[pid=28504/tid=28646] ppid=28497 vsize=10934012 CPUtime=1.41 cores=1,3,5,7,9,11,13,15
/proc/28504/task/28646/stat : 28646 (java) S 28497 28504 28437 0 -1 1077944384 1456 12651 0 0 57 72 8 4 20 0 20 0 10416831 11196428288 907917 33554432000 4194304 4196468 140723635580384 139693662342192 139694465702530 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37982208 140723635583681 140723635586455 140723635586455 140723635589071 0
Current children cumulated CPU time (s) 2400.07
Current children cumulated vsize (KiB) 10934012

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 28504 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+2274.2 s]
/proc/loadavg: 1.93 1.87 1.72 4/282 28739
/proc/meminfo: memFree=24444748/32770624 swapFree=6300/322368
[pid=28504] ppid=28497 vsize=11067140 CPUtime=2405.71 cores=1,3,5,7,9,11,13,15
/proc/28504/stat : 28504 (java) S 28497 28504 28437 0 -1 1077944320 418789 12651 0 0 239013 1546 8 4 20 0 22 0 10416807 11332751360 908060 33554432000 4194304 4196468 140723635580384 140723635562928 139694465691383 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 37982208 140723635583681 140723635586455 140723635586455 140723635589071 0
/proc/28504/statm: 2766785 908060 3516 1 0 2754340 0
[pid=28504/tid=28609] ppid=28497 vsize=11067140 CPUtime=2255.44 cores=1,3,5,7,9,11,13,15
/proc/28504/task/28609/stat : 28609 (java) S 28497 28504 28437 0 -1 1077944384 173294 12651 0 0 225437 95 8 4 20 0 22 0 10416822 11332751360 908060 33554432000 4194304 4196468 140723635580384 139694469929168 139694465701589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 37982208 140723635583681 140723635586455 140723635586455 140723635589071 0
[pid=28504/tid=28611] ppid=28497 vsize=11067140 CPUtime=15.43 cores=1,3,5,7,9,11,13,15
/proc/28504/task/28611/stat : 28611 (java) R 28497 28504 28437 0 -1 4202560 10578 12651 0 0 1361 170 8 4 20 0 22 0 10416823 11332751360 908060 33554432000 4194304 4196468 140723635580384 139694418312536 139694450687984 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37982208 140723635583681 140723635586455 140723635586455 140723635589071 0
[pid=28504/tid=28612] ppid=28497 vsize=11067140 CPUtime=15.45 cores=1,3,5,7,9,11,13,15
/proc/28504/task/28612/stat : 28612 (java) R 28497 28504 28437 0 -1 4202560 13857 12651 0 0 1366 167 8 4 20 0 22 0 10416823 11332751360 908060 33554432000 4194304 4196468 140723635580384 139694417259736 139694450390142 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 37982208 140723635583681 140723635586455 140723635586455 140723635589071 0
[pid=28504/tid=28613] ppid=28497 vsize=11067140 CPUtime=15.51 cores=1,3,5,7,9,11,13,15
/proc/28504/task/28613/stat : 28613 (java) R 28497 28504 28437 0 -1 4202560 9407 12651 0 0 1372 167 8 4 20 0 22 0 10416823 11332751360 908060 33554432000 4194304 4196468 140723635580384 139694069963864 139694447301049 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 37982208 140723635583681 140723635586455 140723635586455 140723635589071 0
[pid=28504/tid=28614] ppid=28497 vsize=11067140 CPUtime=15.53 cores=1,3,5,7,9,11,13,15
/proc/28504/task/28614/stat : 28614 (java) R 28497 28504 28437 0 -1 4202560 11666 12651 0 0 1372 169 8 4 20 0 22 0 10416823 11332751360 908060 33554432000 4194304 4196468 140723635580384 139694068910752 139694447301180 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37982208 140723635583681 140723635586455 140723635586455 140723635589071 0
[pid=28504/tid=28615] ppid=28497 vsize=11067140 CPUtime=15.56 cores=1,3,5,7,9,11,13,15
/proc/28504/task/28615/stat : 28615 (java) R 28497 28504 28437 0 -1 4202560 7942 12651 0 0 1375 169 8 4 20 0 22 0 10416823 11332751360 908060 33554432000 4194304 4196468 140723635580384 139694067858264 139694450687735 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 37982208 140723635583681 140723635586455 140723635586455 140723635589071 0
[pid=28504/tid=28616] ppid=28497 vsize=11067140 CPUtime=15.45 cores=1,3,5,7,9,11,13,15
/proc/28504/task/28616/stat : 28616 (java) R 28497 28504 28437 0 -1 4202560 8499 12651 0 0 1363 170 8 4 20 0 22 0 10416823 11332751360 908060 33554432000 4194304 4196468 140723635580384 139694066805464 139694450390080 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 37982208 140723635583681 140723635586455 140723635586455 140723635589071 0
[pid=28504/tid=28617] ppid=28497 vsize=11067140 CPUtime=15.5 cores=1,3,5,7,9,11,13,15
/proc/28504/task/28617/stat : 28617 (java) R 28497 28504 28437 0 -1 4202560 12073 12651 0 0 1368 170 8 4 20 0 22 0 10416823 11332751360 908060 33554432000 4194304 4196468 140723635580384 139694065752464 139694447301055 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37982208 140723635583681 140723635586455 140723635586455 140723635589071 0
[pid=28504/tid=28618] ppid=28497 vsize=11067140 CPUtime=15.63 cores=1,3,5,7,9,11,13,15
/proc/28504/task/28618/stat : 28618 (java) R 28497 28504 28437 0 -1 4202560 11550 12651 0 0 1383 168 8 4 20 0 22 0 10416823 11332751360 908060 33554432000 4194304 4196468 140723635580384 139694064699864 139694450687728 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37982208 140723635583681 140723635586455 140723635586455 140723635589071 0
[pid=28504/tid=28627] ppid=28497 vsize=11067140 CPUtime=1.09 cores=1,3,5,7,9,11,13,15
/proc/28504/task/28627/stat : 28627 (java) S 28497 28504 28437 0 -1 1077944384 54164 12651 0 0 81 16 8 4 20 0 22 0 10416825 11332751360 908060 33554432000 4194304 4196468 140723635580384 139693671814672 139694465701589 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37982208 140723635583681 140723635586455 140723635586455 140723635589071 0
[pid=28504/tid=28629] ppid=28497 vsize=11067140 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28504/task/28629/stat : 28629 (java) S 28497 28504 28437 0 -1 1077944384 65 12651 0 0 0 0 8 4 20 0 22 0 10416826 11332751360 908060 33554432000 4194304 4196468 140723635580384 139693670761984 139694465701589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37982208 140723635583681 140723635586455 140723635586455 140723635589071 0
[pid=28504/tid=28631] ppid=28497 vsize=11067140 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28504/task/28631/stat : 28631 (java) S 28497 28504 28437 0 -1 1077944384 51 12651 0 0 0 0 8 4 20 0 22 0 10416826 11332751360 908060 33554432000 4194304 4196468 140723635580384 139693669709184 139694465701589 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 37982208 140723635583681 140723635586455 140723635586455 140723635589071 0
[pid=28504/tid=28638] ppid=28497 vsize=11067140 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28504/task/28638/stat : 28638 (java) S 28497 28504 28437 0 -1 1077944384 96 12651 0 0 0 0 8 4 20 0 22 0 10416830 11332751360 908060 33554432000 4194304 4196468 140723635580384 139693668657488 139694465709979 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 37982208 140723635583681 140723635586455 140723635586455 140723635589071 0
[pid=28504/tid=28639] ppid=28497 vsize=11067140 CPUtime=7.36 cores=1,3,5,7,9,11,13,15
/proc/28504/task/28639/stat : 28639 (java) S 28497 28504 28437 0 -1 1077944384 29928 12651 0 0 719 5 8 4 20 0 22 0 10416830 11332751360 908060 33554432000 4194304 4196468 140723635580384 139693667604848 139694465702530 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37982208 140723635583681 140723635586455 140723635586455 140723635589071 0
[pid=28504/tid=28640] ppid=28497 vsize=11067140 CPUtime=7.71 cores=1,3,5,7,9,11,13,15
/proc/28504/task/28640/stat : 28640 (java) S 28497 28504 28437 0 -1 1077944384 26621 12651 0 0 755 4 8 4 20 0 22 0 10416830 11332751360 908060 33554432000 4194304 4196468 140723635580384 139693666552048 139694465702530 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37982208 140723635583681 140723635586455 140723635586455 140723635589071 0
[pid=28504/tid=28641] ppid=28497 vsize=11067140 CPUtime=7 cores=1,3,5,7,9,11,13,15
/proc/28504/task/28641/stat : 28641 (java) S 28497 28504 28437 0 -1 1077944384 25771 12651 0 0 682 6 8 4 20 0 22 0 10416830 11332751360 908060 33554432000 4194304 4196468 140723635580384 139693665499248 139694465702530 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37982208 140723635583681 140723635586455 140723635586455 140723635589071 0
[pid=28504/tid=28643] ppid=28497 vsize=11067140 CPUtime=3.12 cores=1,3,5,7,9,11,13,15
/proc/28504/task/28643/stat : 28643 (java) S 28497 28504 28437 0 -1 1077944384 19526 12651 0 0 297 3 8 4 20 0 22 0 10416830 11332751360 908060 33554432000 4194304 4196468 140723635580384 139693664446448 139694465702530 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 37982208 140723635583681 140723635586455 140723635586455 140723635589071 0
[pid=28504/tid=28645] ppid=28497 vsize=11067140 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28504/task/28645/stat : 28645 (java) S 28497 28504 28437 0 -1 1077944384 3 12651 0 0 0 0 8 4 20 0 22 0 10416830 11332751360 908060 33554432000 4194304 4196468 140723635580384 139693663394912 139694465701589 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 37982208 140723635583681 140723635586455 140723635586455 140723635589071 0
[pid=28504/tid=28646] ppid=28497 vsize=11067140 CPUtime=1.41 cores=1,3,5,7,9,11,13,15
/proc/28504/task/28646/stat : 28646 (java) S 28497 28504 28437 0 -1 1077944384 1456 12651 0 0 57 72 8 4 20 0 22 0 10416831 11332751360 908060 33554432000 4194304 4196468 140723635580384 139693662342192 139694465702530 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 37982208 140723635583681 140723635586455 140723635586455 140723635589071 0
Current children cumulated CPU time (s) 2405.71
Current children cumulated vsize (KiB) 11067140

[startup+2274.41 s]
/proc/loadavg: 1.94 1.87 1.72 11/284 28741
/proc/meminfo: memFree=24444468/32770624 swapFree=6300/322368
[pid=28504] ppid=28497 vsize=11067140 CPUtime=2407.24 cores=1,3,5,7,9,11,13,15
/proc/28504/stat : 28504 (java) S 28497 28504 28437 0 -1 1077944320 418790 12651 0 0 239166 1546 8 4 20 0 22 0 10416807 11332751360 908059 33554432000 4194304 4196468 140723635580384 140723635562928 139694465691383 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 37982208 140723635583681 140723635586455 140723635586455 140723635589071 0
/proc/28504/statm: 2766785 908059 3516 1 0 2754340 0
[pid=28504/tid=28609] ppid=28497 vsize=11067140 CPUtime=2255.44 cores=1,3,5,7,9,11,13,15
/proc/28504/task/28609/stat : 28609 (java) S 28497 28504 28437 0 -1 1077944384 173294 12651 0 0 225437 95 8 4 20 0 22 0 10416822 11332751360 908059 33554432000 4194304 4196468 140723635580384 139694469929168 139694465701589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 37982208 140723635583681 140723635586455 140723635586455 140723635589071 0
[pid=28504/tid=28611] ppid=28497 vsize=11067140 CPUtime=15.62 cores=1,3,5,7,9,11,13,15
/proc/28504/task/28611/stat : 28611 (java) R 28497 28504 28437 0 -1 4202560 10578 12651 0 0 1380 170 8 4 20 0 22 0 10416823 11332751360 908059 33554432000 4194304 4196468 140723635580384 139694418312456 139694458319591 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37982208 140723635583681 140723635586455 140723635586455 140723635589071 0
[pid=28504/tid=28612] ppid=28497 vsize=11067140 CPUtime=15.64 cores=1,3,5,7,9,11,13,15
/proc/28504/task/28612/stat : 28612 (java) R 28497 28504 28437 0 -1 4202560 13857 12651 0 0 1385 167 8 4 20 0 22 0 10416823 11332751360 908059 33554432000 4194304 4196468 140723635580384 139694417259656 139694458319591 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 37982208 140723635583681 140723635586455 140723635586455 140723635589071 0
[pid=28504/tid=28613] ppid=28497 vsize=11067140 CPUtime=15.69 cores=1,3,5,7,9,11,13,15
/proc/28504/task/28613/stat : 28613 (java) R 28497 28504 28437 0 -1 4202560 9407 12651 0 0 1390 167 8 4 20 0 22 0 10416823 11332751360 908059 33554432000 4194304 4196468 140723635580384 139694069963784 139694449074416 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 37982208 140723635583681 140723635586455 140723635586455 140723635589071 0
[pid=28504/tid=28614] ppid=28497 vsize=11067140 CPUtime=15.72 cores=1,3,5,7,9,11,13,15
/proc/28504/task/28614/stat : 28614 (java) R 28497 28504 28437 0 -1 4202560 11666 12651 0 0 1391 169 8 4 20 0 22 0 10416823 11332751360 908059 33554432000 4194304 4196468 140723635580384 139694068910984 139694458319591 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37982208 140723635583681 140723635586455 140723635586455 140723635589071 0
[pid=28504/tid=28615] ppid=28497 vsize=11067140 CPUtime=15.75 cores=1,3,5,7,9,11,13,15
/proc/28504/task/28615/stat : 28615 (java) R 28497 28504 28437 0 -1 4202560 7942 12651 0 0 1394 169 8 4 20 0 22 0 10416823 11332751360 908059 33554432000 4194304 4196468 140723635580384 139694067858184 139694458319591 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 37982208 140723635583681 140723635586455 140723635586455 140723635589071 0
[pid=28504/tid=28616] ppid=28497 vsize=11067140 CPUtime=15.64 cores=1,3,5,7,9,11,13,15
/proc/28504/task/28616/stat : 28616 (java) R 28497 28504 28437 0 -1 4202560 8499 12651 0 0 1382 170 8 4 20 0 22 0 10416823 11332751360 908059 33554432000 4194304 4196468 140723635580384 139694066805464 139694450687793 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 37982208 140723635583681 140723635586455 140723635586455 140723635589071 0
[pid=28504/tid=28617] ppid=28497 vsize=11067140 CPUtime=15.69 cores=1,3,5,7,9,11,13,15
/proc/28504/task/28617/stat : 28617 (java) R 28497 28504 28437 0 -1 4202560 12073 12651 0 0 1387 170 8 4 20 0 22 0 10416823 11332751360 908059 33554432000 4194304 4196468 140723635580384 139694065752584 139694458319591 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37982208 140723635583681 140723635586455 140723635586455 140723635589071 0
[pid=28504/tid=28618] ppid=28497 vsize=11067140 CPUtime=15.82 cores=1,3,5,7,9,11,13,15
/proc/28504/task/28618/stat : 28618 (java) R 28497 28504 28437 0 -1 4202560 11550 12651 0 0 1402 168 8 4 20 0 22 0 10416823 11332751360 908059 33554432000 4194304 4196468 140723635580384 139694064699784 139694458319591 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37982208 140723635583681 140723635586455 140723635586455 140723635589071 0
[pid=28504/tid=28627] ppid=28497 vsize=11067140 CPUtime=1.11 cores=1,3,5,7,9,11,13,15
/proc/28504/task/28627/stat : 28627 (java) S 28497 28504 28437 0 -1 1077944384 54164 12651 0 0 83 16 8 4 20 0 22 0 10416825 11332751360 908059 33554432000 4194304 4196468 140723635580384 139693671814672 139694465701589 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37982208 140723635583681 140723635586455 140723635586455 140723635589071 0
[pid=28504/tid=28629] ppid=28497 vsize=11067140 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28504/task/28629/stat : 28629 (java) S 28497 28504 28437 0 -1 1077944384 65 12651 0 0 0 0 8 4 20 0 22 0 10416826 11332751360 908059 33554432000 4194304 4196468 140723635580384 139693670761984 139694465701589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37982208 140723635583681 140723635586455 140723635586455 140723635589071 0
[pid=28504/tid=28631] ppid=28497 vsize=11067140 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28504/task/28631/stat : 28631 (java) S 28497 28504 28437 0 -1 1077944384 51 12651 0 0 0 0 8 4 20 0 22 0 10416826 11332751360 908059 33554432000 4194304 4196468 140723635580384 139693669709184 139694465701589 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 37982208 140723635583681 140723635586455 140723635586455 140723635589071 0
[pid=28504/tid=28638] ppid=28497 vsize=11067140 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28504/task/28638/stat : 28638 (java) S 28497 28504 28437 0 -1 1077944384 96 12651 0 0 0 0 8 4 20 0 22 0 10416830 11332751360 908059 33554432000 4194304 4196468 140723635580384 139693668657488 139694465709979 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 37982208 140723635583681 140723635586455 140723635586455 140723635589071 0
[pid=28504/tid=28639] ppid=28497 vsize=11067140 CPUtime=7.36 cores=1,3,5,7,9,11,13,15
/proc/28504/task/28639/stat : 28639 (java) S 28497 28504 28437 0 -1 1077944384 29928 12651 0 0 719 5 8 4 20 0 22 0 10416830 11332751360 908059 33554432000 4194304 4196468 140723635580384 139693667604848 139694465702530 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37982208 140723635583681 140723635586455 140723635586455 140723635589071 0
[pid=28504/tid=28640] ppid=28497 vsize=11067140 CPUtime=7.71 cores=1,3,5,7,9,11,13,15
/proc/28504/task/28640/stat : 28640 (java) S 28497 28504 28437 0 -1 1077944384 26621 12651 0 0 755 4 8 4 20 0 22 0 10416830 11332751360 908059 33554432000 4194304 4196468 140723635580384 139693666552048 139694465702530 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37982208 140723635583681 140723635586455 140723635586455 140723635589071 0
[pid=28504/tid=28641] ppid=28497 vsize=11067140 CPUtime=7 cores=1,3,5,7,9,11,13,15
/proc/28504/task/28641/stat : 28641 (java) S 28497 28504 28437 0 -1 1077944384 25771 12651 0 0 682 6 8 4 20 0 22 0 10416830 11332751360 908059 33554432000 4194304 4196468 140723635580384 139693665499248 139694465702530 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37982208 140723635583681 140723635586455 140723635586455 140723635589071 0
[pid=28504/tid=28643] ppid=28497 vsize=11067140 CPUtime=3.12 cores=1,3,5,7,9,11,13,15
/proc/28504/task/28643/stat : 28643 (java) S 28497 28504 28437 0 -1 1077944384 19526 12651 0 0 297 3 8 4 20 0 22 0 10416830 11332751360 908059 33554432000 4194304 4196468 140723635580384 139693664446448 139694465702530 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 37982208 140723635583681 140723635586455 140723635586455 140723635589071 0
[pid=28504/tid=28645] ppid=28497 vsize=11067140 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28504/task/28645/stat : 28645 (java) S 28497 28504 28437 0 -1 1077944384 3 12651 0 0 0 0 8 4 20 0 22 0 10416830 11332751360 908059 33554432000 4194304 4196468 140723635580384 139693663394912 139694465701589 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 37982208 140723635583681 140723635586455 140723635586455 140723635589071 0
[pid=28504/tid=28646] ppid=28497 vsize=11067140 CPUtime=1.41 cores=1,3,5,7,9,11,13,15
/proc/28504/task/28646/stat : 28646 (java) S 28497 28504 28437 0 -1 1077944384 1456 12651 0 0 57 72 8 4 20 0 22 0 10416831 11332751360 908059 33554432000 4194304 4196468 140723635580384 139693662342192 139694465702530 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 37982208 140723635583681 140723635586455 140723635586455 140723635589071 0
[pid=28504/tid=28740] ppid=28497 vsize=11067140 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28504/task/28740/stat : 28740 (java) S 28497 28504 28437 0 -1 1077944384 84 12651 0 0 0 0 8 4 20 0 22 0 10644147 11332751360 908059 33554432000 4194304 4196468 140723635580384 139693628650096 139694465701589 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 37982208 140723635583681 140723635586455 140723635586455 140723635589071 0
[pid=28504/tid=28741] ppid=28497 vsize=11067140 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28504/task/28741/stat : 28741 (java) S 28497 28504 28437 0 -1 1077944384 29 12651 0 0 0 0 8 4 20 0 22 0 10644147 11332751360 908059 33554432000 4194304 4196468 140723635580384 139693627598016 139694465701589 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 37982208 140723635583681 140723635586455 140723635586455 140723635589071 0
Current children cumulated CPU time (s) 2407.24
Current children cumulated vsize (KiB) 11067140

Child status: 143
Real time (s): 2274.45
CPU time (s): 2407.34
CPU user time (s): 2391.81
CPU system time (s): 15.5265
CPU usage (%): 105.843
Max. virtual memory (cumulated for all children) (KiB): 11067140

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2391.81
system time used= 15.5265
maximum resident set size= 3637908
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 431575
page faults= 0
swaps= 0
block input operations= 3568
block output operations= 2784
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 85130
involuntary context switches= 127831

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.1655 second user time and 18.3995 second system time

The end

Begin job on node143 at 2017-07-22 21:25:05
IDJOB=4248722
IDBENCH=133921
IDSOLVER=2630
FILE ID=node143/4248722-1500751505
RUNJOBID= node143-1500751505-28469
PBS_JOBID= 20624578
Free space on /tmp= 61908 MiB

SOLVER NAME= Concrete 3.4
BENCH NAME= XCSP17/SportsScheduling/SportsScheduling-m1-s1/SportsScheduling-34.xml
COMMAND LINE= bin/concrete BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4248722-1500751505/watcher-4248722-1500751505 -o /tmp/evaluation-result-4248722-1500751505/solver-4248722-1500751505 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node143-1500751505-28469 --watchdog 2560  bin/concrete HOME/instance-4248722-1500751505.xml

TIME LIMIT= 2400 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 8

MD5SUM BENCH= 1b92d79ba6653e54d61f1abcadddddde
RANDOM SEED=1002720427

node143.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2000.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 8
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 1
initial apicid	: 1
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 9
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1867.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 17
initial apicid	: 17
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 10
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2133.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 3
initial apicid	: 3
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 11
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 19
initial apicid	: 19
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 12
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1867.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 5
initial apicid	: 5
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 13
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 21
initial apicid	: 21
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 7
initial apicid	: 7
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 15
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 23
initial apicid	: 23
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        31483824 kB
MemAvailable:   31987612 kB
Buffers:          184220 kB
Cached:           591192 kB
SwapCached:            0 kB
Active:           501372 kB
Inactive:         329004 kB
Active(anon):      58288 kB
Inactive(anon):     8752 kB
Active(file):     443084 kB
Inactive(file):   320252 kB
Unevictable:        6300 kB
Mlocked:            6300 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             48696 kB
Writeback:             0 kB
AnonPages:         62456 kB
Mapped:            31056 kB
Shmem:              8852 kB
Slab:             146712 kB
SReclaimable:     112576 kB
SUnreclaim:        34136 kB
KernelStack:        3984 kB
PageTables:         4656 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     310744 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      8192 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      155008 kB
DirectMap2M:    33390592 kB

Free space on /tmp at the end= 61860 MiB
End job on node143 at 2017-07-22 22:03:00

Name	SportsScheduling/SportsScheduling-m1-s1/ SportsScheduling-34.xml
MD5SUM	1b92d79ba6653e54d61f1abcadddddde
Bench Category	CSP (decision problem)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables	1717
Number of constraints	697
Number of domains	2
Minimum domain size	34
Maximum domain size	561
Distribution of domain sizes	[{"size":34,"count":1156},{"size":561,"count":561}]
Minimum variable degree	3
Maximum variable degree	4
Distribution of variable degrees	[{"degree":3,"count":578},{"degree":4,"count":1139}]
Minimum constraint arity	1
Maximum constraint arity	561
Distribution of constraint arities	[{"arity":1,"count":17},{"arity":2,"count":17},{"arity":3,"count":561},{"arity":17,"count":33},{"arity":34,"count":34},{"arity":66,"count":17},{"arity":68,"count":17},{"arity":561,"count":1}]
Number of extensional constraints	561
Number of intensional constraints	34
Distribution of constraint types	[{"type":"extension","count":561},{"type":"intension","count":34},{"type":"allDifferent","count":35},{"type":"count","count":33},{"type":"cardinality","count":34}]
Optimization problem	NO
Type of objective

Trace number 4248722

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data