0.00/0.07 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4254776-1501677578.xml" -tl '1920s' -p 8 -x 0
0.00/0.24 c [HOME/instance-4254776-1501677578.xml, -tl, 1920s, -p, 8, -x, 0]
0.00/0.30 c 8 solvers in parallel
0.00/0.37 c parse instance...
0.00/1.03 c solve instance...
1920.17/242.17 s UNKNOWN
1920.17/242.17 c Unexpected resolution interruption!
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-4254776-1501677578/watcher-4254776-1501677578 -o /tmp/evaluation-result-4254776-1501677578/solver-4254776-1501677578 -C 1920 -W 264 -M 31000 --bin-var /tmp/runsolver-exch-node128-1501676495-31585 --watchdog 324 ./xcsp3-exec -dir HOME -tl 1920 -p 8 -ml 22000 -tdir HOME -seed 1721093958 HOME/instance-4254776-1501677578.xml
pid=31701
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1920 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1950 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 8.32 4.88 2.06 2/172 31704
/proc/meminfo: memFree=31058124/32770624 swapFree=0/927528
[pid=31704] ppid=31701 vsize=23672 CPUtime=0 cores=0-7
/proc/31704/stat : 31704 (runsolver) D 31701 31704 31529 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 16382444 24240128 106 18446744073709551615 4194304 4338465 140723224364784 140723224362424 139817789973207 0 0 1 24578 18446744071580418449 0 0 17 4 0 0 0 0 0 6438912 6441760 26099712 140723224371282 140723224371779 140723224371779 140723224375242 0
/proc/31704/statm: 5918 106 53 36 0 2156 0
[startup+0.100178 s]
/proc/loadavg: 8.32 4.88 2.06 2/172 31704
/proc/meminfo: memFree=31058124/32770624 swapFree=0/927528
[pid=31704] ppid=31701 vsize=9512 CPUtime=0 cores=0-7
/proc/31704/stat : 31704 (xcsp3-exec) S 31701 31704 31529 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 16382444 9740288 345 18446744073709551615 4194304 5098028 140734028021904 140734028020008 140292167766652 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 7 0 0 7196144 7232144 39751680 140734028026258 140734028026468 140734028026468 140734028029931 0
/proc/31704/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200291 s]
/proc/loadavg: 8.32 4.88 2.06 2/172 31704
/proc/meminfo: memFree=31058124/32770624 swapFree=0/927528
[pid=31704] ppid=31701 vsize=9512 CPUtime=0 cores=0-7
/proc/31704/stat : 31704 (xcsp3-exec) S 31701 31704 31529 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 16382444 9740288 345 18446744073709551615 4194304 5098028 140734028021904 140734028020008 140292167766652 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 7 0 0 7196144 7232144 39751680 140734028026258 140734028026468 140734028026468 140734028029931 0
/proc/31704/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300264 s]
/proc/loadavg: 8.32 4.88 2.06 2/172 31704
/proc/meminfo: memFree=31058124/32770624 swapFree=0/927528
[pid=31704] ppid=31701 vsize=9512 CPUtime=0 cores=0-7
/proc/31704/stat : 31704 (xcsp3-exec) S 31701 31704 31529 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 16382444 9740288 345 18446744073709551615 4194304 5098028 140734028021904 140734028020008 140292167766652 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 7 0 0 7196144 7232144 39751680 140734028026258 140734028026468 140734028026468 140734028029931 0
/proc/31704/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.704124 s]
/proc/loadavg: 8.32 4.88 2.06 2/172 31704
/proc/meminfo: memFree=31058124/32770624 swapFree=0/927528
[pid=31704] ppid=31701 vsize=9512 CPUtime=0 cores=0-7
/proc/31704/stat : 31704 (xcsp3-exec) S 31701 31704 31529 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 16382444 9740288 345 18446744073709551615 4194304 5098028 140734028021904 140734028020008 140292167766652 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 7 0 0 7196144 7232144 39751680 140734028026258 140734028026468 140734028026468 140734028029931 0
/proc/31704/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50218 s]
/proc/loadavg: 8.32 4.88 2.06 13/201 31733
/proc/meminfo: memFree=30892128/32770624 swapFree=0/927552
[pid=31704] ppid=31701 vsize=9512 CPUtime=0 cores=0-7
/proc/31704/stat : 31704 (xcsp3-exec) S 31701 31704 31529 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 16382444 9740288 345 18446744073709551615 4194304 5098028 140734028021904 140734028020008 140292167766652 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 7 0 0 7196144 7232144 39751680 140734028026258 140734028026468 140734028026468 140734028029931 0
/proc/31704/statm: 2378 345 289 221 0 87 0
[pid=31706] ppid=31704 vsize=26534456 CPUtime=6.22 cores=0-7
/proc/31706/stat : 31706 (java) S 31704 31704 31529 0 -1 1077944320 21529 0 0 0 612 10 0 0 20 0 28 0 16382452 27171282944 48456 18446744073709551615 4194304 4196468 140721380763168 140721380745712 139657397640951 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29814784 140721380770256 140721380770432 140721380770432 140721380773839 0
/proc/31706/statm: 6633614 48456 3186 1 0 6621915 0
[pid=31706/tid=31707] ppid=31704 vsize=26534456 CPUtime=0.92 cores=0-7
/proc/31706/task/31707/stat : 31707 (java) S 31704 31704 31529 0 -1 1077944384 9153 0 0 0 86 6 0 0 20 0 28 0 16382452 27171282944 48456 18446744073709551615 4194304 4196468 140721380763168 139657401881728 139657397651157 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 29814784 140721380770256 140721380770432 140721380770432 140721380773839 0
[pid=31706/tid=31708] ppid=31704 vsize=26534456 CPUtime=0 cores=0-7
/proc/31706/task/31708/stat : 31708 (java) S 31704 31704 31529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 16382453 27171282944 48456 18446744073709551615 4194304 4196468 140721380763168 139657309547408 139657397651157 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29814784 140721380770256 140721380770432 140721380770432 140721380773839 0
[pid=31706/tid=31709] ppid=31704 vsize=26534456 CPUtime=0 cores=0-7
/proc/31706/task/31709/stat : 31709 (java) S 31704 31704 31529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 16382453 27171282944 48456 18446744073709551615 4194304 4196468 140721380763168 139657308494608 139657397651157 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29814784 140721380770256 140721380770432 140721380770432 140721380773839 0
[pid=31706/tid=31710] ppid=31704 vsize=26534456 CPUtime=0 cores=0-7
/proc/31706/task/31710/stat : 31710 (java) S 31704 31704 31529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 16382453 27171282944 48456 18446744073709551615 4194304 4196468 140721380763168 139657307442320 139657397651157 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29814784 140721380770256 140721380770432 140721380770432 140721380773839 0
[pid=31706/tid=31711] ppid=31704 vsize=26534456 CPUtime=0 cores=0-7
/proc/31706/task/31711/stat : 31711 (java) S 31704 31704 31529 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 16382453 27171282944 48456 18446744073709551615 4194304 4196468 140721380763168 139657306389520 139657397651157 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29814784 140721380770256 140721380770432 140721380770432 140721380773839 0
[pid=31706/tid=31712] ppid=31704 vsize=26534456 CPUtime=0 cores=0-7
/proc/31706/task/31712/stat : 31712 (java) S 31704 31704 31529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 16382453 27171282944 48456 18446744073709551615 4194304 4196468 140721380763168 139657305336208 139657397651157 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29814784 140721380770256 140721380770432 140721380770432 140721380773839 0
[pid=31706/tid=31713] ppid=31704 vsize=26534456 CPUtime=0 cores=0-7
/proc/31706/task/31713/stat : 31713 (java) S 31704 31704 31529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 16382453 27171282944 48456 18446744073709551615 4194304 4196468 140721380763168 139656955267344 139657397651157 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29814784 140721380770256 140721380770432 140721380770432 140721380773839 0
[pid=31706/tid=31714] ppid=31704 vsize=26534456 CPUtime=0 cores=0-7
/proc/31706/task/31714/stat : 31714 (java) S 31704 31704 31529 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 16382453 27171282944 48456 18446744073709551615 4194304 4196468 140721380763168 139656954215056 139657397651157 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29814784 140721380770256 140721380770432 140721380770432 140721380773839 0
[pid=31706/tid=31715] ppid=31704 vsize=26534456 CPUtime=0 cores=0-7
/proc/31706/task/31715/stat : 31715 (java) S 31704 31704 31529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 16382453 27171282944 48456 18446744073709551615 4194304 4196468 140721380763168 139656953162256 139657397651157 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29814784 140721380770256 140721380770432 140721380770432 140721380773839 0
[pid=31706/tid=31716] ppid=31704 vsize=26534456 CPUtime=0 cores=0-7
/proc/31706/task/31716/stat : 31716 (java) S 31704 31704 31529 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 28 0 16382454 27171282944 48456 18446744073709551615 4194304 4196468 140721380763168 139656009652848 139657397652098 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29814784 140721380770256 140721380770432 140721380770432 140721380773839 0
[pid=31706/tid=31717] ppid=31704 vsize=26534456 CPUtime=0 cores=0-7
/proc/31706/task/31717/stat : 31717 (java) S 31704 31704 31529 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 16382455 27171282944 48456 18446744073709551615 4194304 4196468 140721380763168 139656008598816 139657397651157 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29814784 140721380770256 140721380770432 140721380770432 140721380773839 0
[pid=31706/tid=31718] ppid=31704 vsize=26534456 CPUtime=0 cores=0-7
/proc/31706/task/31718/stat : 31718 (java) S 31704 31704 31529 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 16382455 27171282944 48456 18446744073709551615 4194304 4196468 140721380763168 139656007546480 139657397651157 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29814784 140721380770256 140721380770432 140721380770432 140721380773839 0
[pid=31706/tid=31719] ppid=31704 vsize=26534456 CPUtime=0 cores=0-7
/proc/31706/task/31719/stat : 31719 (java) S 31704 31704 31529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 16382457 27171282944 48456 18446744073709551615 4194304 4196468 140721380763168 139656006494800 139657397659547 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29814784 140721380770256 140721380770432 140721380770432 140721380773839 0
[pid=31706/tid=31720] ppid=31704 vsize=26534456 CPUtime=0.54 cores=0-7
/proc/31706/task/31720/stat : 31720 (java) R 31704 31704 31529 0 -1 4202560 3194 0 0 0 53 1 0 0 20 0 28 0 16382457 27171282944 48456 18446744073709551615 4194304 4196468 140721380763168 139656005422664 139657389878078 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29814784 140721380770256 140721380770432 140721380770432 140721380773839 0
[pid=31706/tid=31721] ppid=31704 vsize=26534456 CPUtime=0.51 cores=0-7
/proc/31706/task/31721/stat : 31721 (java) D 31704 31704 31529 0 -1 4202560 1913 0 0 0 51 0 0 0 20 0 28 0 16382458 27171282944 48456 18446744073709551615 4194304 4196468 140721380763168 139656004370504 139657390358103 0 4 1 16800974 18446744071582151463 0 0 -1 0 0 0 0 0 0 6293624 6294260 29814784 140721380770256 140721380770432 140721380770432 140721380773839 0
[pid=31706/tid=31722] ppid=31704 vsize=26534456 CPUtime=0.49 cores=0-7
/proc/31706/task/31722/stat : 31722 (java) D 31704 31704 31529 0 -1 4202560 2212 0 0 0 49 0 0 0 20 0 28 0 16382458 27171282944 48456 18446744073709551615 4194304 4196468 140721380763168 139656003317576 139657382034708 0 4 1 16800974 18446744071582151416 0 0 -1 3 0 0 0 0 0 6293624 6294260 29814784 140721380770256 140721380770432 140721380770432 140721380773839 0
[pid=31706/tid=31723] ppid=31704 vsize=26534456 CPUtime=0.55 cores=0-7
/proc/31706/task/31723/stat : 31723 (java) R 31704 31704 31529 0 -1 4202560 2904 0 0 0 54 1 0 0 20 0 28 0 16382458 27171282944 48456 18446744073709551615 4194304 4196468 140721380763168 139656002283680 139657377883721 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29814784 140721380770256 140721380770432 140721380770432 140721380773839 0
[pid=31706/tid=31724] ppid=31704 vsize=26534456 CPUtime=0 cores=0-7
/proc/31706/task/31724/stat : 31724 (java) S 31704 31704 31529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 16382458 27171282944 48456 18446744073709551615 4194304 4196468 140721380763168 139656001231712 139657397651157 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29814784 140721380770256 140721380770432 140721380770432 140721380773839 0
[pid=31706/tid=31725] ppid=31704 vsize=26534456 CPUtime=0 cores=0-7
/proc/31706/task/31725/stat : 31725 (java) S 31704 31704 31529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 16382461 27171282944 48456 18446744073709551615 4194304 4196468 140721380763168 139656000178992 139657397652098 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29814784 140721380770256 140721380770432 140721380770432 140721380773839 0
[pid=31706/tid=31726] ppid=31704 vsize=26534456 CPUtime=0.4 cores=0-7
/proc/31706/task/31726/stat : 31726 (java) R 31704 31704 31529 0 -1 4202560 57 0 0 0 40 0 0 0 20 0 28 0 16382549 27171282944 48456 18446744073709551615 4194304 4196468 140721380763168 139655992166672 139656985452493 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29814784 140721380770256 140721380770432 140721380770432 140721380773839 0
[pid=31706/tid=31727] ppid=31704 vsize=26534456 CPUtime=0.41 cores=0-7
/proc/31706/task/31727/stat : 31727 (java) R 31704 31704 31529 0 -1 4202560 45 0 0 0 41 0 0 0 20 0 28 0 16382549 27171282944 48456 18446744073709551615 4194304 4196468 140721380763168 139655991117704 139656985413103 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29814784 140721380770256 140721380770432 140721380770432 140721380773839 0
[pid=31706/tid=31728] ppid=31704 vsize=26534456 CPUtime=0.43 cores=0-7
/proc/31706/task/31728/stat : 31728 (java) R 31704 31704 31529 0 -1 4202560 55 0 0 0 43 0 0 0 20 0 28 0 16382549 27171282944 48456 18446744073709551615 4194304 4196468 140721380763168 139655990065720 139656985452262 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29814784 140721380770256 140721380770432 140721380770432 140721380773839 0
[pid=31706/tid=31729] ppid=31704 vsize=26534456 CPUtime=0.38 cores=0-7
/proc/31706/task/31729/stat : 31729 (java) R 31704 31704 31529 0 -1 4202560 280 0 0 0 38 0 0 0 20 0 28 0 16382549 27171282944 48456 18446744073709551615 4194304 4196468 140721380763168 139655989012152 139656985433800 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29814784 140721380770256 140721380770432 140721380770432 140721380773839 0
[pid=31706/tid=31730] ppid=31704 vsize=26534456 CPUtime=0.35 cores=0-7
/proc/31706/task/31730/stat : 31730 (java) R 31704 31704 31529 0 -1 4202560 28 0 0 0 35 0 0 0 20 0 28 0 16382549 27171282944 48456 18446744073709551615 4194304 4196468 140721380763168 139655987958464 139656985452245 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29814784 140721380770256 140721380770432 140721380770432 140721380773839 0
[pid=31706/tid=31731] ppid=31704 vsize=26534456 CPUtime=0.39 cores=0-7
/proc/31706/task/31731/stat : 31731 (java) R 31704 31704 31529 0 -1 4202560 36 0 0 0 39 0 0 0 20 0 28 0 16382549 27171282944 48456 18446744073709551615 4194304 4196468 140721380763168 139655986908376 139656985452493 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29814784 140721380770256 140721380770432 140721380770432 140721380773839 0
[pid=31706/tid=31732] ppid=31704 vsize=26534456 CPUtime=0.41 cores=0-7
/proc/31706/task/31732/stat : 31732 (java) R 31704 31704 31529 0 -1 4202560 57 0 0 0 41 0 0 0 20 0 28 0 16382549 27171282944 48456 18446744073709551615 4194304 4196468 140721380763168 139655985852184 139656985437925 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29814784 140721380770256 140721380770432 140721380770432 140721380773839 0
[pid=31706/tid=31733] ppid=31704 vsize=26534456 CPUtime=0.36 cores=0-7
/proc/31706/task/31733/stat : 31733 (java) R 31704 31704 31529 0 -1 4202560 284 0 0 0 36 0 0 0 20 0 28 0 16382549 27171282944 48456 18446744073709551615 4194304 4196468 140721380763168 139655984799880 139656985450655 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29814784 140721380770256 140721380770432 140721380770432 140721380773839 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 26543968
[startup+3.10918 s]
/proc/loadavg: 8.32 4.88 2.06 9/201 31733
/proc/meminfo: memFree=30839236/32770624 swapFree=0/927544
[pid=31704] ppid=31701 vsize=9512 CPUtime=0 cores=0-7
/proc/31704/stat : 31704 (xcsp3-exec) S 31701 31704 31529 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 16382444 9740288 345 18446744073709551615 4194304 5098028 140734028021904 140734028020008 140292167766652 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 7 0 0 7196144 7232144 39751680 140734028026258 140734028026468 140734028026468 140734028029931 0
/proc/31704/statm: 2378 345 289 221 0 87 0
[pid=31706] ppid=31704 vsize=26534456 CPUtime=18.91 cores=0-7
/proc/31706/stat : 31706 (java) S 31704 31704 31529 0 -1 1077944320 45976 0 0 0 1872 19 0 0 20 0 28 0 16382452 27171282944 58626 18446744073709551615 4194304 4196468 140721380763168 140721380745712 139657397640951 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29814784 140721380770256 140721380770432 140721380770432 140721380773839 0
/proc/31706/statm: 6633614 58626 3197 1 0 6621915 0
[pid=31706/tid=31707] ppid=31704 vsize=26534456 CPUtime=0.92 cores=0-7
/proc/31706/task/31707/stat : 31707 (java) S 31704 31704 31529 0 -1 1077944384 9153 0 0 0 86 6 0 0 20 0 28 0 16382452 27171282944 58626 18446744073709551615 4194304 4196468 140721380763168 139657401881728 139657397651157 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 29814784 140721380770256 140721380770432 140721380770432 140721380773839 0
[pid=31706/tid=31708] ppid=31704 vsize=26534456 CPUtime=0 cores=0-7
/proc/31706/task/31708/stat : 31708 (java) S 31704 31704 31529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 16382453 27171282944 58626 18446744073709551615 4194304 4196468 140721380763168 139657309547408 139657397651157 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29814784 140721380770256 140721380770432 140721380770432 140721380773839 0
[pid=31706/tid=31709] ppid=31704 vsize=26534456 CPUtime=0 cores=0-7
/proc/31706/task/31709/stat : 31709 (java) S 31704 31704 31529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 16382453 27171282944 58626 18446744073709551615 4194304 4196468 140721380763168 139657308494608 139657397651157 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29814784 140721380770256 140721380770432 140721380770432 140721380773839 0
[pid=31706/tid=31710] ppid=31704 vsize=26534456 CPUtime=0 cores=0-7
/proc/31706/task/31710/stat : 31710 (java) S 31704 31704 31529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 16382453 27171282944 58626 18446744073709551615 4194304 4196468 140721380763168 139657307442320 139657397651157 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29814784 140721380770256 140721380770432 140721380770432 140721380773839 0
[pid=31706/tid=31711] ppid=31704 vsize=26534456 CPUtime=0 cores=0-7
/proc/31706/task/31711/stat : 31711 (java) S 31704 31704 31529 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 16382453 27171282944 58626 18446744073709551615 4194304 4196468 140721380763168 139657306389520 139657397651157 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29814784 140721380770256 140721380770432 140721380770432 140721380773839 0
[pid=31706/tid=31712] ppid=31704 vsize=26534456 CPUtime=0 cores=0-7
/proc/31706/task/31712/stat : 31712 (java) S 31704 31704 31529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 16382453 27171282944 58626 18446744073709551615 4194304 4196468 140721380763168 139657305336208 139657397651157 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29814784 140721380770256 140721380770432 140721380770432 140721380773839 0
[pid=31706/tid=31713] ppid=31704 vsize=26534456 CPUtime=0 cores=0-7
/proc/31706/task/31713/stat : 31713 (java) S 31704 31704 31529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 16382453 27171282944 58626 18446744073709551615 4194304 4196468 140721380763168 139656955267344 139657397651157 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29814784 140721380770256 140721380770432 140721380770432 140721380773839 0
[pid=31706/tid=31714] ppid=31704 vsize=26534456 CPUtime=0 cores=0-7
/proc/31706/task/31714/stat : 31714 (java) S 31704 31704 31529 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 16382453 27171282944 58626 18446744073709551615 4194304 4196468 140721380763168 139656954215056 139657397651157 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29814784 140721380770256 140721380770432 140721380770432 140721380773839 0
[pid=31706/tid=31715] ppid=31704 vsize=26534456 CPUtime=0 cores=0-7
/proc/31706/task/31715/stat : 31715 (java) S 31704 31704 31529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 16382453 27171282944 58626 18446744073709551615 4194304 4196468 140721380763168 139656953162256 139657397651157 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29814784 140721380770256 140721380770432 140721380770432 140721380773839 0
[pid=31706/tid=31716] ppid=31704 vsize=26534456 CPUtime=0 cores=0-7
/proc/31706/task/31716/stat : 31716 (java) S 31704 31704 31529 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 28 0 16382454 27171282944 58626 18446744073709551615 4194304 4196468 140721380763168 139656009652848 139657397652098 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29814784 140721380770256 140721380770432 140721380770432 140721380773839 0
[pid=31706/tid=31717] ppid=31704 vsize=26534456 CPUtime=0 cores=0-7
/proc/31706/task/31717/stat : 31717 (java) S 31704 31704 31529 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 16382455 27171282944 58626 18446744073709551615 4194304 4196468 140721380763168 139656008598816 139657397651157 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29814784 140721380770256 140721380770432 140721380770432 140721380773839 0
[pid=31706/tid=31718] ppid=31704 vsize=26534456 CPUtime=0 cores=0-7
/proc/31706/task/31718/stat : 31718 (java) S 31704 31704 31529 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 16382455 27171282944 58626 18446744073709551615 4194304 4196468 140721380763168 139656007546480 139657397651157 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29814784 140721380770256 140721380770432 140721380770432 140721380773839 0
[pid=31706/tid=31719] ppid=31704 vsize=26534456 CPUtime=0 cores=0-7
/proc/31706/task/31719/stat : 31719 (java) S 31704 31704 31529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 16382457 27171282944 58626 18446744073709551615 4194304 4196468 140721380763168 139656006494800 139657397659547 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29814784 140721380770256 140721380770432 140721380770432 140721380773839 0
[pid=31706/tid=31720] ppid=31704 vsize=26534456 CPUtime=1.15 cores=0-7
/proc/31706/task/31720/stat : 31720 (java) R 31704 31704 31529 0 -1 4202560 10055 0 0 0 112 3 0 0 20 0 28 0 16382457 27171282944 58626 18446744073709551615 4194304 4196468 140721380763168 139656005427872 139657379184283 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29814784 140721380770256 140721380770432 140721380770432 140721380773839 0
[pid=31706/tid=31721] ppid=31704 vsize=26534456 CPUtime=1.11 cores=0-7
/proc/31706/task/31721/stat : 31721 (java) R 31704 31704 31529 0 -1 4202560 9668 0 0 0 109 2 0 0 20 0 28 0 16382458 27171282944 58626 18446744073709551615 4194304 4196468 140721380763168 139656004387680 139657381108906 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29814784 140721380770256 140721380770432 140721380770432 140721380773839 0
[pid=31706/tid=31722] ppid=31704 vsize=26534456 CPUtime=1.16 cores=0-7
/proc/31706/task/31722/stat : 31722 (java) S 31704 31704 31529 0 -1 1077944384 9936 0 0 0 114 2 0 0 20 0 28 0 16382458 27171282944 58626 18446744073709551615 4194304 4196468 140721380763168 139656003316272 139657397651157 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29814784 140721380770256 140721380770432 140721380770432 140721380773839 0
[pid=31706/tid=31723] ppid=31704 vsize=26534456 CPUtime=0.64 cores=0-7
/proc/31706/task/31723/stat : 31723 (java) S 31704 31704 31529 0 -1 1077944384 4364 0 0 0 62 2 0 0 20 0 28 0 16382458 27171282944 58626 18446744073709551615 4194304 4196468 140721380763168 139656002283760 139657397652098 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29814784 140721380770256 140721380770432 140721380770432 140721380773839 0
[pid=31706/tid=31724] ppid=31704 vsize=26534456 CPUtime=0 cores=0-7
/proc/31706/task/31724/stat : 31724 (java) S 31704 31704 31529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 16382458 27171282944 58626 18446744073709551615 4194304 4196468 140721380763168 139656001231712 139657397651157 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29814784 140721380770256 140721380770432 140721380770432 140721380773839 0
[pid=31706/tid=31725] ppid=31704 vsize=26534456 CPUtime=0 cores=0-7
/proc/31706/task/31725/stat : 31725 (java) S 31704 31704 31529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 16382461 27171282944 58626 18446744073709551615 4194304 4196468 140721380763168 139656000178992 139657397652098 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29814784 140721380770256 140721380770432 140721380770432 140721380773839 0
[pid=31706/tid=31726] ppid=31704 vsize=26534456 CPUtime=1.69 cores=0-7
/proc/31706/task/31726/stat : 31726 (java) R 31704 31704 31529 0 -1 4202560 113 0 0 0 169 0 0 0 20 0 28 0 16382549 27171282944 58626 18446744073709551615 4194304 4196468 140721380763168 139655992170544 139656985452262 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29814784 140721380770256 140721380770432 140721380770432 140721380773839 0
[pid=31706/tid=31727] ppid=31704 vsize=26534456 CPUtime=1.89 cores=0-7
/proc/31706/task/31727/stat : 31727 (java) R 31704 31704 31529 0 -1 4202560 85 0 0 0 189 0 0 0 20 0 28 0 16382549 27171282944 58626 18446744073709551615 4194304 4196468 140721380763168 139655991118752 139656985450685 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29814784 140721380770256 140721380770432 140721380770432 140721380773839 0
[pid=31706/tid=31728] ppid=31704 vsize=26534456 CPUtime=1.77 cores=0-7
/proc/31706/task/31728/stat : 31728 (java) S 31704 31704 31529 0 -1 1077944384 121 0 0 0 177 0 0 0 20 0 28 0 16382549 27171282944 58626 18446744073709551615 4194304 4196468 140721380763168 139655990061760 139657397651157 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29814784 140721380770256 140721380770432 140721380770432 140721380773839 0
[pid=31706/tid=31729] ppid=31704 vsize=26534456 CPUtime=1.69 cores=0-7
/proc/31706/task/31729/stat : 31729 (java) S 31704 31704 31529 0 -1 1077944384 385 0 0 0 169 0 0 0 20 0 28 0 16382549 27171282944 58626 18446744073709551615 4194304 4196468 140721380763168 139655989008960 139657397651157 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29814784 140721380770256 140721380770432 140721380770432 140721380773839 0
[pid=31706/tid=31730] ppid=31704 vsize=26534456 CPUtime=1.74 cores=0-7
/proc/31706/task/31730/stat : 31730 (java) R 31704 31704 31529 0 -1 4202560 73 0 0 0 174 0 0 0 20 0 28 0 16382549 27171282944 58626 18446744073709551615 4194304 4196468 140721380763168 139655987957408 139657397652886 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29814784 140721380770256 140721380770432 140721380770432 140721380773839 0
[pid=31706/tid=31731] ppid=31704 vsize=26534456 CPUtime=1.86 cores=0-7
/proc/31706/task/31731/stat : 31731 (java) R 31704 31704 31529 0 -1 4202560 252 0 0 0 186 0 0 0 20 0 28 0 16382549 27171282944 58626 18446744073709551615 4194304 4196468 140721380763168 139655986907688 139656985450655 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29814784 140721380770256 140721380770432 140721380770432 140721380773839 0
[pid=31706/tid=31732] ppid=31704 vsize=26534456 CPUtime=1.69 cores=0-7
/proc/31706/task/31732/stat : 31732 (java) R 31704 31704 31529 0 -1 4202560 100 0 0 0 169 0 0 0 20 0 28 0 16382549 27171282944 58626 18446744073709551615 4194304 4196468 140721380763168 139655985855264 139656985431947 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29814784 140721380770256 140721380770432 140721380770432 140721380773839 0
[pid=31706/tid=31733] ppid=31704 vsize=26534456 CPUtime=1.5 cores=0-7
/proc/31706/task/31733/stat : 31733 (java) R 31704 31704 31529 0 -1 1077944384 327 0 0 0 150 0 0 0 20 0 28 0 16382549 27171282944 58626 18446744073709551615 4194304 4196468 140721380763168 139655984801600 139657397651157 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29814784 140721380770256 140721380770432 140721380770432 140721380773839 0
Current children cumulated CPU time (s) 18.91
Current children cumulated vsize (KiB) 26543968
[startup+6.30117 s]
/proc/loadavg: 8.54 4.98 2.11 10/201 31733
/proc/meminfo: memFree=30803704/32770624 swapFree=0/927548
################
# More data... #
################
[pid=31706/tid=31732] ppid=31704 vsize=26534456 CPUtime=218.77 cores=0-7
/proc/31706/task/31732/stat : 31732 (java) R 31704 31704 31529 0 -1 4202560 2437 0 0 0 21875 2 0 0 20 0 28 0 16382549 27171282944 63895 18446744073709551615 4194304 4196468 140721380763168 139655985852336 139656993163950 0 4 1 16800974 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 29814784 140721380770256 140721380770432 140721380770432 140721380773839 0
[pid=31706/tid=31733] ppid=31704 vsize=26534456 CPUtime=218.31 cores=0-7
/proc/31706/task/31733/stat : 31733 (java) R 31704 31704 31529 0 -1 4202560 3139 0 0 0 21830 1 0 0 20 0 28 0 16382549 27171282944 63895 18446744073709551615 4194304 4196468 140721380763168 139655984799464 139656994719287 0 4 1 16800974 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 29814784 140721380770256 140721380770432 140721380770432 140721380773839 0
Current children cumulated CPU time (s) 1762.94
Current children cumulated vsize (KiB) 26543968
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+242.107 s]
/proc/loadavg: 8.10 6.77 3.50 9/201 31738
/proc/meminfo: memFree=30813732/32770624 swapFree=0/927608
[pid=31704] ppid=31701 vsize=9512 CPUtime=0 cores=0-7
/proc/31704/stat : 31704 (xcsp3-exec) S 31701 31704 31529 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 16382444 9740288 345 18446744073709551615 4194304 5098028 140734028021904 140734028020008 140292167766652 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 7 0 0 7196144 7232144 39751680 140734028026258 140734028026468 140734028026468 140734028029931 0
/proc/31704/statm: 2378 345 289 221 0 87 0
[pid=31706] ppid=31704 vsize=26534456 CPUtime=1920.17 cores=0-7
/proc/31706/stat : 31706 (java) S 31704 31704 31529 0 -1 1077944320 136500 0 0 0 191938 79 0 0 20 0 28 0 16382452 27171282944 64141 18446744073709551615 4194304 4196468 140721380763168 140721380745712 139657397640951 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29814784 140721380770256 140721380770432 140721380770432 140721380773839 0
/proc/31706/statm: 6633614 64141 3254 1 0 6621915 0
[pid=31706/tid=31707] ppid=31704 vsize=26534456 CPUtime=0.92 cores=0-7
/proc/31706/task/31707/stat : 31707 (java) S 31704 31704 31529 0 -1 1077944384 9153 0 0 0 86 6 0 0 20 0 28 0 16382452 27171282944 64141 18446744073709551615 4194304 4196468 140721380763168 139657401881728 139657397651157 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 29814784 140721380770256 140721380770432 140721380770432 140721380773839 0
[pid=31706/tid=31708] ppid=31704 vsize=26534456 CPUtime=0.35 cores=0-7
/proc/31706/task/31708/stat : 31708 (java) S 31704 31704 31529 0 -1 1077944384 4586 0 0 0 31 4 0 0 20 0 28 0 16382453 27171282944 64141 18446744073709551615 4194304 4196468 140721380763168 139657309547408 139657397651157 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29814784 140721380770256 140721380770432 140721380770432 140721380773839 0
[pid=31706/tid=31709] ppid=31704 vsize=26534456 CPUtime=0.36 cores=0-7
/proc/31706/task/31709/stat : 31709 (java) S 31704 31704 31529 0 -1 1077944384 2172 0 0 0 32 4 0 0 20 0 28 0 16382453 27171282944 64141 18446744073709551615 4194304 4196468 140721380763168 139657308494608 139657397651157 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29814784 140721380770256 140721380770432 140721380770432 140721380773839 0
[pid=31706/tid=31710] ppid=31704 vsize=26534456 CPUtime=0.35 cores=0-7
/proc/31706/task/31710/stat : 31710 (java) S 31704 31704 31529 0 -1 1077944384 1770 0 0 0 33 2 0 0 20 0 28 0 16382453 27171282944 64141 18446744073709551615 4194304 4196468 140721380763168 139657307442320 139657397651157 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29814784 140721380770256 140721380770432 140721380770432 140721380773839 0
[pid=31706/tid=31711] ppid=31704 vsize=26534456 CPUtime=0.35 cores=0-7
/proc/31706/task/31711/stat : 31711 (java) S 31704 31704 31529 0 -1 1077944384 2396 0 0 0 32 3 0 0 20 0 28 0 16382453 27171282944 64141 18446744073709551615 4194304 4196468 140721380763168 139657306389520 139657397651157 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29814784 140721380770256 140721380770432 140721380770432 140721380773839 0
[pid=31706/tid=31712] ppid=31704 vsize=26534456 CPUtime=0.37 cores=0-7
/proc/31706/task/31712/stat : 31712 (java) S 31704 31704 31529 0 -1 1077944384 1433 0 0 0 33 4 0 0 20 0 28 0 16382453 27171282944 64141 18446744073709551615 4194304 4196468 140721380763168 139657305336208 139657397651157 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29814784 140721380770256 140721380770432 140721380770432 140721380773839 0
[pid=31706/tid=31713] ppid=31704 vsize=26534456 CPUtime=0.34 cores=0-7
/proc/31706/task/31713/stat : 31713 (java) S 31704 31704 31529 0 -1 1077944384 2143 0 0 0 31 3 0 0 20 0 28 0 16382453 27171282944 64141 18446744073709551615 4194304 4196468 140721380763168 139656955267344 139657397651157 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29814784 140721380770256 140721380770432 140721380770432 140721380773839 0
[pid=31706/tid=31714] ppid=31704 vsize=26534456 CPUtime=0.35 cores=0-7
/proc/31706/task/31714/stat : 31714 (java) S 31704 31704 31529 0 -1 1077944384 2047 0 0 0 32 3 0 0 20 0 28 0 16382453 27171282944 64141 18446744073709551615 4194304 4196468 140721380763168 139656954215056 139657397651157 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29814784 140721380770256 140721380770432 140721380770432 140721380773839 0
[pid=31706/tid=31715] ppid=31704 vsize=26534456 CPUtime=0.34 cores=0-7
/proc/31706/task/31715/stat : 31715 (java) S 31704 31704 31529 0 -1 1077944384 3058 0 0 0 31 3 0 0 20 0 28 0 16382453 27171282944 64141 18446744073709551615 4194304 4196468 140721380763168 139656953162256 139657397651157 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29814784 140721380770256 140721380770432 140721380770432 140721380773839 0
[pid=31706/tid=31716] ppid=31704 vsize=26534456 CPUtime=0.4 cores=0-7
/proc/31706/task/31716/stat : 31716 (java) S 31704 31704 31529 0 -1 1077944384 7124 0 0 0 26 14 0 0 20 0 28 0 16382454 27171282944 64141 18446744073709551615 4194304 4196468 140721380763168 139656009652848 139657397652098 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29814784 140721380770256 140721380770432 140721380770432 140721380773839 0
[pid=31706/tid=31717] ppid=31704 vsize=26534456 CPUtime=0 cores=0-7
/proc/31706/task/31717/stat : 31717 (java) S 31704 31704 31529 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 28 0 16382455 27171282944 64141 18446744073709551615 4194304 4196468 140721380763168 139656008598816 139657397651157 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29814784 140721380770256 140721380770432 140721380770432 140721380773839 0
[pid=31706/tid=31718] ppid=31704 vsize=26534456 CPUtime=0 cores=0-7
/proc/31706/task/31718/stat : 31718 (java) S 31704 31704 31529 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 16382455 27171282944 64141 18446744073709551615 4194304 4196468 140721380763168 139656007546480 139657397651157 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29814784 140721380770256 140721380770432 140721380770432 140721380773839 0
[pid=31706/tid=31719] ppid=31704 vsize=26534456 CPUtime=0 cores=0-7
/proc/31706/task/31719/stat : 31719 (java) S 31704 31704 31529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 16382457 27171282944 64141 18446744073709551615 4194304 4196468 140721380763168 139656006494800 139657397659547 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29814784 140721380770256 140721380770432 140721380770432 140721380773839 0
[pid=31706/tid=31720] ppid=31704 vsize=26534456 CPUtime=2.5 cores=0-7
/proc/31706/task/31720/stat : 31720 (java) S 31704 31704 31529 0 -1 1077944384 17689 0 0 0 246 4 0 0 20 0 28 0 16382457 27171282944 64141 18446744073709551615 4194304 4196468 140721380763168 139656005441648 139657397652098 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29814784 140721380770256 140721380770432 140721380770432 140721380773839 0
[pid=31706/tid=31721] ppid=31704 vsize=26534456 CPUtime=2.44 cores=0-7
/proc/31706/task/31721/stat : 31721 (java) S 31704 31704 31529 0 -1 1077944384 18748 0 0 0 241 3 0 0 20 0 28 0 16382458 27171282944 64141 18446744073709551615 4194304 4196468 140721380763168 139656004388848 139657397652098 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29814784 140721380770256 140721380770432 140721380770432 140721380773839 0
[pid=31706/tid=31722] ppid=31704 vsize=26534456 CPUtime=2.35 cores=0-7
/proc/31706/task/31722/stat : 31722 (java) S 31704 31704 31529 0 -1 1077944384 19664 0 0 0 231 4 0 0 20 0 28 0 16382458 27171282944 64141 18446744073709551615 4194304 4196468 140721380763168 139656003336560 139657397652098 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29814784 140721380770256 140721380770432 140721380770432 140721380773839 0
[pid=31706/tid=31723] ppid=31704 vsize=26534456 CPUtime=0.88 cores=0-7
/proc/31706/task/31723/stat : 31723 (java) S 31704 31704 31529 0 -1 1077944384 13353 0 0 0 84 4 0 0 20 0 28 0 16382458 27171282944 64141 18446744073709551615 4194304 4196468 140721380763168 139656002283760 139657397652098 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29814784 140721380770256 140721380770432 140721380770432 140721380773839 0
[pid=31706/tid=31724] ppid=31704 vsize=26534456 CPUtime=0 cores=0-7
/proc/31706/task/31724/stat : 31724 (java) S 31704 31704 31529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 16382458 27171282944 64141 18446744073709551615 4194304 4196468 140721380763168 139656001231712 139657397651157 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29814784 140721380770256 140721380770432 140721380770432 140721380773839 0
[pid=31706/tid=31725] ppid=31704 vsize=26534456 CPUtime=0.06 cores=0-7
/proc/31706/task/31725/stat : 31725 (java) S 31704 31704 31529 0 -1 1077944384 1035 0 0 0 0 6 0 0 20 0 28 0 16382461 27171282944 64141 18446744073709551615 4194304 4196468 140721380763168 139656000178992 139657397652098 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29814784 140721380770256 140721380770432 140721380770432 140721380773839 0
[pid=31706/tid=31726] ppid=31704 vsize=26534456 CPUtime=239.04 cores=0-7
/proc/31706/task/31726/stat : 31726 (java) R 31704 31704 31529 0 -1 4202560 3348 0 0 0 23903 1 0 0 20 0 28 0 16382549 27171282944 64141 18446744073709551615 4194304 4196468 140721380763168 139655992171360 139656993164143 0 4 1 16800974 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 29814784 140721380770256 140721380770432 140721380770432 140721380773839 0
[pid=31706/tid=31727] ppid=31704 vsize=26534456 CPUtime=238.42 cores=0-7
/proc/31706/task/31727/stat : 31727 (java) R 31704 31704 31529 0 -1 4202560 2785 0 0 0 23841 1 0 0 20 0 28 0 16382549 27171282944 64141 18446744073709551615 4194304 4196468 140721380763168 139655991115960 139656993002129 0 4 1 16800974 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 29814784 140721380770256 140721380770432 140721380770432 140721380773839 0
[pid=31706/tid=31728] ppid=31704 vsize=26534456 CPUtime=238.48 cores=0-7
/proc/31706/task/31728/stat : 31728 (java) R 31704 31704 31529 0 -1 4202560 3270 0 0 0 23847 1 0 0 20 0 28 0 16382549 27171282944 64141 18446744073709551615 4194304 4196468 140721380763168 139655990062632 139656993455603 0 4 1 16800974 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 29814784 140721380770256 140721380770432 140721380770432 140721380773839 0
[pid=31706/tid=31729] ppid=31704 vsize=26534456 CPUtime=237.82 cores=0-7
/proc/31706/task/31729/stat : 31729 (java) R 31704 31704 31529 0 -1 4202560 7219 0 0 0 23778 4 0 0 20 0 28 0 16382549 27171282944 64141 18446744073709551615 4194304 4196468 140721380763168 139655989009848 139656993164130 0 4 1 16800974 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 29814784 140721380770256 140721380770432 140721380770432 140721380773839 0
[pid=31706/tid=31730] ppid=31704 vsize=26534456 CPUtime=238.39 cores=0-7
/proc/31706/task/31730/stat : 31730 (java) R 31704 31704 31529 0 -1 4202560 4134 0 0 0 23837 2 0 0 20 0 28 0 16382549 27171282944 64141 18446744073709551615 4194304 4196468 140721380763168 139655987960552 139656994117517 0 4 1 16800974 0 0 0 -1 7 0 0 2 0 0 6293624 6294260 29814784 140721380770256 140721380770432 140721380770432 140721380773839 0
[pid=31706/tid=31731] ppid=31704 vsize=26534456 CPUtime=239.08 cores=0-7
/proc/31706/task/31731/stat : 31731 (java) R 31704 31704 31529 0 -1 4202560 2180 0 0 0 23907 1 0 0 20 0 28 0 16382549 27171282944 64141 18446744073709551615 4194304 4196468 140721380763168 139655986904624 139656993164146 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29814784 140721380770256 140721380770432 140721380770432 140721380773839 0
[pid=31706/tid=31732] ppid=31704 vsize=26534456 CPUtime=238.46 cores=0-7
/proc/31706/task/31732/stat : 31732 (java) R 31704 31704 31529 0 -1 4202560 2524 0 0 0 23844 2 0 0 20 0 28 0 16382549 27171282944 64141 18446744073709551615 4194304 4196468 140721380763168 139655985852320 139656993164153 0 4 1 16800974 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 29814784 140721380770256 140721380770432 140721380770432 140721380773839 0
[pid=31706/tid=31733] ppid=31704 vsize=26534456 CPUtime=237.9 cores=0-7
/proc/31706/task/31733/stat : 31733 (java) R 31704 31704 31529 0 -1 4202560 3326 0 0 0 23789 1 0 0 20 0 28 0 16382549 27171282944 64141 18446744073709551615 4194304 4196468 140721380763168 139655984799120 139656993163920 0 4 1 16800974 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 29814784 140721380770256 140721380770432 140721380770432 140721380773839 0
Current children cumulated CPU time (s) 1920.17
Current children cumulated vsize (KiB) 26543968
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 31706 sig 9
??? kill 31704 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+242.107 s]
/proc/loadavg: 8.10 6.77 3.50 9/201 31738
/proc/meminfo: memFree=30813732/32770624 swapFree=0/927608
[pid=31704] ppid=31701 vsize=9512 CPUtime=0 cores=0-7
/proc/31704/stat : 31704 (xcsp3-exec) S 31701 31704 31529 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 16382444 9740288 345 18446744073709551615 4194304 5098028 140734028021904 140734028020008 140292167766652 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 7 0 0 7196144 7232144 39751680 140734028026258 140734028026468 140734028026468 140734028029931 0
/proc/31704/statm: 2378 345 289 221 0 87 0
[pid=31706] ppid=31704 vsize=26534456 CPUtime=1920.17 cores=0-7
/proc/31706/stat : 31706 (java) S 31704 31704 31529 0 -1 1077944320 136500 0 0 0 191938 79 0 0 20 0 28 0 16382452 27171282944 64141 18446744073709551615 4194304 4196468 140721380763168 140721380745712 139657397640951 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29814784 140721380770256 140721380770432 140721380770432 140721380773839 0
/proc/31706/statm: 6633614 64141 3254 1 0 6621915 0
[pid=31706/tid=31707] ppid=31704 vsize=26534456 CPUtime=0.92 cores=0-7
/proc/31706/task/31707/stat : 31707 (java) S 31704 31704 31529 0 -1 1077944384 9153 0 0 0 86 6 0 0 20 0 28 0 16382452 27171282944 64141 18446744073709551615 4194304 4196468 140721380763168 139657401881728 139657397651157 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 29814784 140721380770256 140721380770432 140721380770432 140721380773839 0
[pid=31706/tid=31708] ppid=31704 vsize=26534456 CPUtime=0.35 cores=0-7
/proc/31706/task/31708/stat : 31708 (java) S 31704 31704 31529 0 -1 1077944384 4586 0 0 0 31 4 0 0 20 0 28 0 16382453 27171282944 64141 18446744073709551615 4194304 4196468 140721380763168 139657309547408 139657397651157 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29814784 140721380770256 140721380770432 140721380770432 140721380773839 0
[pid=31706/tid=31709] ppid=31704 vsize=26534456 CPUtime=0.36 cores=0-7
/proc/31706/task/31709/stat : 31709 (java) S 31704 31704 31529 0 -1 1077944384 2172 0 0 0 32 4 0 0 20 0 28 0 16382453 27171282944 64141 18446744073709551615 4194304 4196468 140721380763168 139657308494608 139657397651157 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29814784 140721380770256 140721380770432 140721380770432 140721380773839 0
[pid=31706/tid=31710] ppid=31704 vsize=26534456 CPUtime=0.35 cores=0-7
/proc/31706/task/31710/stat : 31710 (java) S 31704 31704 31529 0 -1 1077944384 1770 0 0 0 33 2 0 0 20 0 28 0 16382453 27171282944 64141 18446744073709551615 4194304 4196468 140721380763168 139657307442320 139657397651157 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29814784 140721380770256 140721380770432 140721380770432 140721380773839 0
[pid=31706/tid=31711] ppid=31704 vsize=26534456 CPUtime=0.35 cores=0-7
/proc/31706/task/31711/stat : 31711 (java) S 31704 31704 31529 0 -1 1077944384 2396 0 0 0 32 3 0 0 20 0 28 0 16382453 27171282944 64141 18446744073709551615 4194304 4196468 140721380763168 139657306389520 139657397651157 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29814784 140721380770256 140721380770432 140721380770432 140721380773839 0
[pid=31706/tid=31712] ppid=31704 vsize=26534456 CPUtime=0.37 cores=0-7
/proc/31706/task/31712/stat : 31712 (java) S 31704 31704 31529 0 -1 1077944384 1433 0 0 0 33 4 0 0 20 0 28 0 16382453 27171282944 64141 18446744073709551615 4194304 4196468 140721380763168 139657305336208 139657397651157 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29814784 140721380770256 140721380770432 140721380770432 140721380773839 0
[pid=31706/tid=31713] ppid=31704 vsize=26534456 CPUtime=0.34 cores=0-7
/proc/31706/task/31713/stat : 31713 (java) S 31704 31704 31529 0 -1 1077944384 2143 0 0 0 31 3 0 0 20 0 28 0 16382453 27171282944 64141 18446744073709551615 4194304 4196468 140721380763168 139656955267344 139657397651157 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29814784 140721380770256 140721380770432 140721380770432 140721380773839 0
[pid=31706/tid=31714] ppid=31704 vsize=26534456 CPUtime=0.35 cores=0-7
/proc/31706/task/31714/stat : 31714 (java) S 31704 31704 31529 0 -1 1077944384 2047 0 0 0 32 3 0 0 20 0 28 0 16382453 27171282944 64141 18446744073709551615 4194304 4196468 140721380763168 139656954215056 139657397651157 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29814784 140721380770256 140721380770432 140721380770432 140721380773839 0
[pid=31706/tid=31715] ppid=31704 vsize=26534456 CPUtime=0.34 cores=0-7
/proc/31706/task/31715/stat : 31715 (java) S 31704 31704 31529 0 -1 1077944384 3058 0 0 0 31 3 0 0 20 0 28 0 16382453 27171282944 64141 18446744073709551615 4194304 4196468 140721380763168 139656953162256 139657397651157 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29814784 140721380770256 140721380770432 140721380770432 140721380773839 0
[pid=31706/tid=31716] ppid=31704 vsize=26534456 CPUtime=0.4 cores=0-7
/proc/31706/task/31716/stat : 31716 (java) S 31704 31704 31529 0 -1 1077944384 7124 0 0 0 26 14 0 0 20 0 28 0 16382454 27171282944 64141 18446744073709551615 4194304 4196468 140721380763168 139656009652848 139657397652098 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29814784 140721380770256 140721380770432 140721380770432 140721380773839 0
[pid=31706/tid=31717] ppid=31704 vsize=26534456 CPUtime=0 cores=0-7
/proc/31706/task/31717/stat : 31717 (java) S 31704 31704 31529 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 28 0 16382455 27171282944 64141 18446744073709551615 4194304 4196468 140721380763168 139656008598816 139657397651157 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29814784 140721380770256 140721380770432 140721380770432 140721380773839 0
[pid=31706/tid=31718] ppid=31704 vsize=26534456 CPUtime=0 cores=0-7
/proc/31706/task/31718/stat : 31718 (java) S 31704 31704 31529 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 16382455 27171282944 64141 18446744073709551615 4194304 4196468 140721380763168 139656007546480 139657397651157 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29814784 140721380770256 140721380770432 140721380770432 140721380773839 0
[pid=31706/tid=31719] ppid=31704 vsize=26534456 CPUtime=0 cores=0-7
/proc/31706/task/31719/stat : 31719 (java) S 31704 31704 31529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 16382457 27171282944 64141 18446744073709551615 4194304 4196468 140721380763168 139656006494800 139657397659547 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29814784 140721380770256 140721380770432 140721380770432 140721380773839 0
[pid=31706/tid=31720] ppid=31704 vsize=26534456 CPUtime=2.5 cores=0-7
/proc/31706/task/31720/stat : 31720 (java) S 31704 31704 31529 0 -1 1077944384 17689 0 0 0 246 4 0 0 20 0 28 0 16382457 27171282944 64141 18446744073709551615 4194304 4196468 140721380763168 139656005441648 139657397652098 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29814784 140721380770256 140721380770432 140721380770432 140721380773839 0
[pid=31706/tid=31721] ppid=31704 vsize=26534456 CPUtime=2.44 cores=0-7
/proc/31706/task/31721/stat : 31721 (java) S 31704 31704 31529 0 -1 1077944384 18748 0 0 0 241 3 0 0 20 0 28 0 16382458 27171282944 64141 18446744073709551615 4194304 4196468 140721380763168 139656004388848 139657397652098 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29814784 140721380770256 140721380770432 140721380770432 140721380773839 0
[pid=31706/tid=31722] ppid=31704 vsize=26534456 CPUtime=2.35 cores=0-7
/proc/31706/task/31722/stat : 31722 (java) S 31704 31704 31529 0 -1 1077944384 19664 0 0 0 231 4 0 0 20 0 28 0 16382458 27171282944 64141 18446744073709551615 4194304 4196468 140721380763168 139656003336560 139657397652098 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29814784 140721380770256 140721380770432 140721380770432 140721380773839 0
[pid=31706/tid=31723] ppid=31704 vsize=26534456 CPUtime=0.88 cores=0-7
/proc/31706/task/31723/stat : 31723 (java) S 31704 31704 31529 0 -1 1077944384 13353 0 0 0 84 4 0 0 20 0 28 0 16382458 27171282944 64141 18446744073709551615 4194304 4196468 140721380763168 139656002283760 139657397652098 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29814784 140721380770256 140721380770432 140721380770432 140721380773839 0
[pid=31706/tid=31724] ppid=31704 vsize=26534456 CPUtime=0 cores=0-7
/proc/31706/task/31724/stat : 31724 (java) S 31704 31704 31529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 16382458 27171282944 64141 18446744073709551615 4194304 4196468 140721380763168 139656001231712 139657397651157 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29814784 140721380770256 140721380770432 140721380770432 140721380773839 0
[pid=31706/tid=31725] ppid=31704 vsize=26534456 CPUtime=0.06 cores=0-7
/proc/31706/task/31725/stat : 31725 (java) S 31704 31704 31529 0 -1 1077944384 1035 0 0 0 0 6 0 0 20 0 28 0 16382461 27171282944 64141 18446744073709551615 4194304 4196468 140721380763168 139656000178992 139657397652098 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29814784 140721380770256 140721380770432 140721380770432 140721380773839 0
[pid=31706/tid=31726] ppid=31704 vsize=26534456 CPUtime=239.04 cores=0-7
/proc/31706/task/31726/stat : 31726 (java) R 31704 31704 31529 0 -1 4202560 3348 0 0 0 23903 1 0 0 20 0 28 0 16382549 27171282944 64141 18446744073709551615 4194304 4196468 140721380763168 139655992171360 139656993164143 0 4 1 16800974 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 29814784 140721380770256 140721380770432 140721380770432 140721380773839 0
[pid=31706/tid=31727] ppid=31704 vsize=26534456 CPUtime=238.42 cores=0-7
/proc/31706/task/31727/stat : 31727 (java) R 31704 31704 31529 0 -1 4202560 2785 0 0 0 23841 1 0 0 20 0 28 0 16382549 27171282944 64141 18446744073709551615 4194304 4196468 140721380763168 139655991115960 139656993002129 0 4 1 16800974 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 29814784 140721380770256 140721380770432 140721380770432 140721380773839 0
[pid=31706/tid=31728] ppid=31704 vsize=26534456 CPUtime=238.48 cores=0-7
/proc/31706/task/31728/stat : 31728 (java) R 31704 31704 31529 0 -1 4202560 3270 0 0 0 23847 1 0 0 20 0 28 0 16382549 27171282944 64141 18446744073709551615 4194304 4196468 140721380763168 139655990062632 139656993455603 0 4 1 16800974 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 29814784 140721380770256 140721380770432 140721380770432 140721380773839 0
[pid=31706/tid=31729] ppid=31704 vsize=26534456 CPUtime=237.82 cores=0-7
/proc/31706/task/31729/stat : 31729 (java) R 31704 31704 31529 0 -1 4202560 7219 0 0 0 23778 4 0 0 20 0 28 0 16382549 27171282944 64141 18446744073709551615 4194304 4196468 140721380763168 139655989009848 139656993164130 0 4 1 16800974 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 29814784 140721380770256 140721380770432 140721380770432 140721380773839 0
[pid=31706/tid=31730] ppid=31704 vsize=26534456 CPUtime=238.39 cores=0-7
/proc/31706/task/31730/stat : 31730 (java) R 31704 31704 31529 0 -1 4202560 4134 0 0 0 23837 2 0 0 20 0 28 0 16382549 27171282944 64141 18446744073709551615 4194304 4196468 140721380763168 139655987960552 139656994117517 0 4 1 16800974 0 0 0 -1 7 0 0 2 0 0 6293624 6294260 29814784 140721380770256 140721380770432 140721380770432 140721380773839 0
[pid=31706/tid=31731] ppid=31704 vsize=26534456 CPUtime=239.08 cores=0-7
/proc/31706/task/31731/stat : 31731 (java) R 31704 31704 31529 0 -1 4202560 2180 0 0 0 23907 1 0 0 20 0 28 0 16382549 27171282944 64141 18446744073709551615 4194304 4196468 140721380763168 139655986904624 139656993164146 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29814784 140721380770256 140721380770432 140721380770432 140721380773839 0
[pid=31706/tid=31732] ppid=31704 vsize=26534456 CPUtime=238.46 cores=0-7
/proc/31706/task/31732/stat : 31732 (java) R 31704 31704 31529 0 -1 4202560 2524 0 0 0 23844 2 0 0 20 0 28 0 16382549 27171282944 64141 18446744073709551615 4194304 4196468 140721380763168 139655985852320 139656993164153 0 4 1 16800974 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 29814784 140721380770256 140721380770432 140721380770432 140721380773839 0
[pid=31706/tid=31733] ppid=31704 vsize=26534456 CPUtime=237.9 cores=0-7
/proc/31706/task/31733/stat : 31733 (java) R 31704 31704 31529 0 -1 4202560 3326 0 0 0 23789 1 0 0 20 0 28 0 16382549 27171282944 64141 18446744073709551615 4194304 4196468 140721380763168 139655984799120 139656993163920 0 4 1 16800974 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 29814784 140721380770256 140721380770432 140721380770432 140721380773839 0
Current children cumulated CPU time (s) 1920.17
Current children cumulated vsize (KiB) 26543968
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 31704 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=649
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=1299
# CPU time returned by wait4() is 0.001948
# while last known CPU time is 1920.17
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 242.141
CPU time (s): 1920.17
CPU user time (s): 1919.38
CPU system time (s): 0.79
CPU usage (%): 792.996
Max. virtual memory (cumulated for all children) (KiB): 26547408
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.000649
system time used= 0.001299
maximum resident set size= 1384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 509
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 1
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.6757 second user time and 1.88201 second system time
The end
Begin job on node128 at 2017-08-02 14:25:39
IDJOB=4254776
IDBENCH=115766
IDSOLVER=2636
FILE ID=node128/4254776-1501677578
RUNJOBID= node128-1501676495-31585
PBS_JOBID=
Free space on /tmp= 61852 MiB
SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/Scheduling/Scheduling-js-taillard/Taillard-js-020-20-8.xml
COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 22000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4254776-1501677578/watcher-4254776-1501677578 -o /tmp/evaluation-result-4254776-1501677578/solver-4254776-1501677578 -C 1920 -W 264 -M 31000 --bin-var /tmp/runsolver-exch-node128-1501676495-31585 --watchdog 324 ./xcsp3-exec -dir HOME -tl 1920 -p 8 -ml 22000 -tdir HOME -seed 1721093958 HOME/instance-4254776-1501677578.xml
TIME LIMIT= 1920 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= 713d39b17b6d51a27147ff336666abea
RANDOM SEED=1721093958
node128.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/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 : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
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.05
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 : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
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 : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
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.05
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 : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
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 : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
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.05
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 : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
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 : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
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.05
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 : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
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:
/proc/meminfo:
MemTotal: 32770624 kB
MemFree: 31057612 kB
MemAvailable: 32014292 kB
Buffers: 144264 kB
Cached: 1098896 kB
SwapCached: 0 kB
Active: 353572 kB
Inactive: 944252 kB
Active(anon): 54896 kB
Inactive(anon): 16724 kB
Active(file): 298676 kB
Inactive(file): 927528 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 67108860 kB
SwapFree: 67108860 kB
Dirty: 7932 kB
Writeback: 0 kB
AnonPages: 57388 kB
Mapped: 30404 kB
Shmem: 17064 kB
Slab: 118096 kB
SReclaimable: 92624 kB
SUnreclaim: 25472 kB
KernelStack: 3424 kB
PageTables: 5044 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 286188 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 10240 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 122240 kB
DirectMap2M: 33423360 kB
Free space on /tmp at the end= 61844 MiB
End job on node128 at 2017-08-02 14:29:41