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-4254224-1501985539/watcher-4254224-1501985539 -o /tmp/evaluation-result-4254224-1501985539/solver-4254224-1501985539 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node132-1501978181-12402 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1318084434 HOME/instance-4254224-1501985539.xml
pid=19430
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 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: 2.66 2.07 2.00 5/198 19433
/proc/meminfo: memFree=31419636/32770624 swapFree=0/323156
[pid=19433] ppid=19430 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/19433/stat : 19433 (runsolver) D 19430 19433 12039 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 98207141 24240128 106 18446744073709551615 4194304 4338465 140730190808704 140730190806344 140328431649495 0 0 1 24578 18446744071580418449 0 0 17 0 0 0 0 0 0 6438912 6441760 22466560 140730190811234 140730190811724 140730190811724 140730190815178 0
/proc/19433/statm: 5918 106 53 36 0 2156 0
[startup+0.100151 s]
/proc/loadavg: 2.66 2.07 2.00 5/198 19433
/proc/meminfo: memFree=31419636/32770624 swapFree=0/323156
[pid=19433] ppid=19430 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/19433/stat : 19433 (runsolver) D 19430 19433 12039 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 98207141 24240128 106 18446744073709551615 4194304 4338465 140730190808704 140730190806344 140328431649495 0 0 1 24578 18446744071580418449 0 0 17 0 0 0 0 0 0 6438912 6441760 22466560 140730190811234 140730190811724 140730190811724 140730190815178 0
/proc/19433/statm: 5918 106 53 36 0 2156 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23672
[startup+0.200323 s]
/proc/loadavg: 2.66 2.07 2.00 5/198 19433
/proc/meminfo: memFree=31419636/32770624 swapFree=0/323156
[pid=19433] ppid=19430 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/19433/stat : 19433 (xcsp3-exec) S 19430 19433 12039 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 98207141 9740288 345 18446744073709551615 4194304 5098028 140734748162720 140734748160824 140251298959996 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 10 0 0 7196144 7232144 39239680 140734748164513 140734748164717 140734748164717 140734748168171 0
/proc/19433/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300255 s]
/proc/loadavg: 2.66 2.07 2.00 5/198 19433
/proc/meminfo: memFree=31419636/32770624 swapFree=0/323156
[pid=19433] ppid=19430 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/19433/stat : 19433 (xcsp3-exec) S 19430 19433 12039 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 98207141 9740288 345 18446744073709551615 4194304 5098028 140734748162720 140734748160824 140251298959996 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 10 0 0 7196144 7232144 39239680 140734748164513 140734748164717 140734748164717 140734748168171 0
/proc/19433/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.704254 s]
/proc/loadavg: 2.66 2.07 2.00 5/198 19433
/proc/meminfo: memFree=31419636/32770624 swapFree=0/323156
[pid=19433] ppid=19430 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/19433/stat : 19433 (xcsp3-exec) S 19430 19433 12039 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 98207141 9740288 345 18446744073709551615 4194304 5098028 140734748162720 140734748160824 140251298959996 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 10 0 0 7196144 7232144 39239680 140734748164513 140734748164717 140734748164717 140734748168171 0
/proc/19433/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50074 s]
/proc/loadavg: 2.66 2.07 2.00 4/214 19449
/proc/meminfo: memFree=31307380/32770624 swapFree=0/323184
[pid=19433] ppid=19430 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/19433/stat : 19433 (xcsp3-exec) S 19430 19433 12039 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 98207141 9740288 345 18446744073709551615 4194304 5098028 140734748162720 140734748160824 140251298959996 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 10 0 0 7196144 7232144 39239680 140734748164513 140734748164717 140734748164717 140734748168171 0
/proc/19433/statm: 2378 345 289 221 0 87 0
[pid=19435] ppid=19433 vsize=13980732 CPUtime=2.83 cores=0,2,4,6
/proc/19435/stat : 19435 (java) S 19433 19433 12039 0 -1 1077944320 16902 0 0 0 276 7 0 0 20 0 15 0 98207151 14316269568 43797 18446744073709551615 4194304 4196468 140736773095488 140736773078032 140022475132663 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 16941056 140736773099994 140736773100169 140736773100169 140736773103567 0
/proc/19435/statm: 3495183 43797 3187 1 0 3483476 0
[pid=19435/tid=19436] ppid=19433 vsize=13980732 CPUtime=1.28 cores=0,2,4,6
/proc/19435/task/19436/stat : 19436 (java) R 19433 19433 12039 0 -1 4202560 8691 0 0 0 124 4 0 0 20 0 15 0 98207152 14316269568 43797 18446744073709551615 4194304 4196468 140736773095488 140022479368512 140022121271260 0 4 1 16800974 0 0 0 -1 4 0 0 8 0 0 6293624 6294260 16941056 140736773099994 140736773100169 140736773100169 140736773103567 0
[pid=19435/tid=19437] ppid=19433 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/19435/task/19437/stat : 19437 (java) S 19433 19433 12039 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98207152 14316269568 43797 18446744073709551615 4194304 4196468 140736773095488 140022444845840 140022475142869 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16941056 140736773099994 140736773100169 140736773100169 140736773103567 0
[pid=19435/tid=19438] ppid=19433 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/19435/task/19438/stat : 19438 (java) S 19433 19433 12039 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98207152 14316269568 43797 18446744073709551615 4194304 4196468 140736773095488 140022074338192 140022475142869 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16941056 140736773099994 140736773100169 140736773100169 140736773103567 0
[pid=19435/tid=19439] ppid=19433 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/19435/task/19439/stat : 19439 (java) S 19433 19433 12039 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98207152 14316269568 43797 18446744073709551615 4194304 4196468 140736773095488 140022073285648 140022475142869 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16941056 140736773099994 140736773100169 140736773100169 140736773103567 0
[pid=19435/tid=19440] ppid=19433 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/19435/task/19440/stat : 19440 (java) S 19433 19433 12039 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 98207152 14316269568 43797 18446744073709551615 4194304 4196468 140736773095488 140022072233104 140022475142869 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16941056 140736773099994 140736773100169 140736773100169 140736773103567 0
[pid=19435/tid=19441] ppid=19433 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/19435/task/19441/stat : 19441 (java) S 19433 19433 12039 0 -1 1077944384 102 0 0 0 0 0 0 0 20 0 15 0 98207154 14316269568 43797 18446744073709551615 4194304 4196468 140736773095488 140021953673200 140022475143810 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16941056 140736773099994 140736773100169 140736773100169 140736773103567 0
[pid=19435/tid=19442] ppid=19433 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/19435/task/19442/stat : 19442 (java) S 19433 19433 12039 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 98207154 14316269568 43797 18446744073709551615 4194304 4196468 140736773095488 140021952619424 140022475142869 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16941056 140736773099994 140736773100169 140736773100169 140736773103567 0
[pid=19435/tid=19443] ppid=19433 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/19435/task/19443/stat : 19443 (java) S 19433 19433 12039 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 98207154 14316269568 43797 18446744073709551615 4194304 4196468 140736773095488 140021951566832 140022475142869 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16941056 140736773099994 140736773100169 140736773100169 140736773103567 0
[pid=19435/tid=19444] ppid=19433 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/19435/task/19444/stat : 19444 (java) S 19433 19433 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98207157 14316269568 43797 18446744073709551615 4194304 4196468 140736773095488 140021950515408 140022475151259 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16941056 140736773099994 140736773100169 140736773100169 140736773103567 0
[pid=19435/tid=19445] ppid=19433 vsize=13980732 CPUtime=0.48 cores=0,2,4,6
/proc/19435/task/19445/stat : 19445 (java) S 19433 19433 12039 0 -1 1077944384 2371 0 0 0 48 0 0 0 20 0 15 0 98207157 14316269568 43797 18446744073709551615 4194304 4196468 140736773095488 140021949463024 140022475143810 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16941056 140736773099994 140736773100169 140736773100169 140736773103567 0
[pid=19435/tid=19446] ppid=19433 vsize=13980732 CPUtime=0.53 cores=0,2,4,6
/proc/19435/task/19446/stat : 19446 (java) S 19433 19433 12039 0 -1 1077944384 2023 0 0 0 53 0 0 0 20 0 15 0 98207157 14316269568 43797 18446744073709551615 4194304 4196468 140736773095488 140021948410480 140022475143810 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16941056 140736773099994 140736773100169 140736773100169 140736773103567 0
[pid=19435/tid=19447] ppid=19433 vsize=13980732 CPUtime=0.5 cores=0,2,4,6
/proc/19435/task/19447/stat : 19447 (java) S 19433 19433 12039 0 -1 1077944384 2404 0 0 0 50 0 0 0 20 0 15 0 98207157 14316269568 43797 18446744073709551615 4194304 4196468 140736773095488 140021947357936 140022475143810 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16941056 140736773099994 140736773100169 140736773100169 140736773103567 0
[pid=19435/tid=19448] ppid=19433 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/19435/task/19448/stat : 19448 (java) S 19433 19433 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98207157 14316269568 43797 18446744073709551615 4194304 4196468 140736773095488 140021946305632 140022475142869 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16941056 140736773099994 140736773100169 140736773100169 140736773103567 0
[pid=19435/tid=19449] ppid=19433 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/19435/task/19449/stat : 19449 (java) S 19433 19433 12039 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 15 0 98207166 14316269568 43797 18446744073709551615 4194304 4196468 140736773095488 140021945252144 140022475143810 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16941056 140736773099994 140736773100169 140736773100169 140736773103567 0
Current children cumulated CPU time (s) 2.83
Current children cumulated vsize (KiB) 13990244
[startup+3.10072 s]
/proc/loadavg: 2.66 2.07 2.00 3/214 19450
/proc/meminfo: memFree=31236776/32770624 swapFree=0/323192
[pid=19433] ppid=19430 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/19433/stat : 19433 (xcsp3-exec) S 19430 19433 12039 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 98207141 9740288 345 18446744073709551615 4194304 5098028 140734748162720 140734748160824 140251298959996 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 10 0 0 7196144 7232144 39239680 140734748164513 140734748164717 140734748164717 140734748168171 0
/proc/19433/statm: 2378 345 289 221 0 87 0
[pid=19435] ppid=19433 vsize=13980732 CPUtime=6.58 cores=0,2,4,6
/proc/19435/stat : 19435 (java) S 19433 19433 12039 0 -1 1077944320 29550 0 0 0 647 11 0 0 20 0 15 0 98207151 14316269568 57249 18446744073709551615 4194304 4196468 140736773095488 140736773078032 140022475132663 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 16941056 140736773099994 140736773100169 140736773100169 140736773103567 0
/proc/19435/statm: 3495183 57249 3232 1 0 3483476 0
[pid=19435/tid=19436] ppid=19433 vsize=13980732 CPUtime=2.86 cores=0,2,4,6
/proc/19435/task/19436/stat : 19436 (java) R 19433 19433 12039 0 -1 4202560 9025 0 0 0 282 4 0 0 20 0 15 0 98207152 14316269568 57249 18446744073709551615 4194304 4196468 140736773095488 140022479372144 140022122795019 0 4 1 16800974 0 0 0 -1 0 0 0 8 0 0 6293624 6294260 16941056 140736773099994 140736773100169 140736773100169 140736773103567 0
[pid=19435/tid=19437] ppid=19433 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/19435/task/19437/stat : 19437 (java) S 19433 19433 12039 0 -1 1077944384 332 0 0 0 0 0 0 0 20 0 15 0 98207152 14316269568 57249 18446744073709551615 4194304 4196468 140736773095488 140022444845840 140022475142869 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16941056 140736773099994 140736773100169 140736773100169 140736773103567 0
[pid=19435/tid=19438] ppid=19433 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/19435/task/19438/stat : 19438 (java) S 19433 19433 12039 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 98207152 14316269568 57249 18446744073709551615 4194304 4196468 140736773095488 140022074338192 140022475142869 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16941056 140736773099994 140736773100169 140736773100169 140736773103567 0
[pid=19435/tid=19439] ppid=19433 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/19435/task/19439/stat : 19439 (java) S 19433 19433 12039 0 -1 1077944384 92 0 0 0 0 0 0 0 20 0 15 0 98207152 14316269568 57249 18446744073709551615 4194304 4196468 140736773095488 140022073285648 140022475142869 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16941056 140736773099994 140736773100169 140736773100169 140736773103567 0
[pid=19435/tid=19440] ppid=19433 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/19435/task/19440/stat : 19440 (java) S 19433 19433 12039 0 -1 1077944384 509 0 0 0 0 0 0 0 20 0 15 0 98207152 14316269568 57249 18446744073709551615 4194304 4196468 140736773095488 140022072233104 140022475142869 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16941056 140736773099994 140736773100169 140736773100169 140736773103567 0
[pid=19435/tid=19441] ppid=19433 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/19435/task/19441/stat : 19441 (java) S 19433 19433 12039 0 -1 1077944384 266 0 0 0 0 0 0 0 20 0 15 0 98207154 14316269568 57249 18446744073709551615 4194304 4196468 140736773095488 140021953673200 140022475143810 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16941056 140736773099994 140736773100169 140736773100169 140736773103567 0
[pid=19435/tid=19442] ppid=19433 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/19435/task/19442/stat : 19442 (java) S 19433 19433 12039 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 98207154 14316269568 57249 18446744073709551615 4194304 4196468 140736773095488 140021952619488 140022475142869 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16941056 140736773099994 140736773100169 140736773100169 140736773103567 0
[pid=19435/tid=19443] ppid=19433 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/19435/task/19443/stat : 19443 (java) S 19433 19433 12039 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 98207154 14316269568 57249 18446744073709551615 4194304 4196468 140736773095488 140021951566848 140022475142869 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16941056 140736773099994 140736773100169 140736773100169 140736773103567 0
[pid=19435/tid=19444] ppid=19433 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/19435/task/19444/stat : 19444 (java) S 19433 19433 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98207157 14316269568 57249 18446744073709551615 4194304 4196468 140736773095488 140021950515408 140022475151259 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16941056 140736773099994 140736773100169 140736773100169 140736773103567 0
[pid=19435/tid=19445] ppid=19433 vsize=13980732 CPUtime=1.45 cores=0,2,4,6
/proc/19435/task/19445/stat : 19445 (java) S 19433 19433 12039 0 -1 1077944384 6939 0 0 0 144 1 0 0 20 0 15 0 98207157 14316269568 57249 18446744073709551615 4194304 4196468 140736773095488 140021949463024 140022475143810 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16941056 140736773099994 140736773100169 140736773100169 140736773103567 0
[pid=19435/tid=19446] ppid=19433 vsize=13980732 CPUtime=1.56 cores=0,2,4,6
/proc/19435/task/19446/stat : 19446 (java) R 19433 19433 12039 0 -1 4202560 7267 0 0 0 155 1 0 0 20 0 15 0 98207157 14316269568 57249 18446744073709551615 4194304 4196468 140736773095488 140021948410480 140022460240632 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16941056 140736773099994 140736773100169 140736773100169 140736773103567 0
[pid=19435/tid=19447] ppid=19433 vsize=13980732 CPUtime=0.6 cores=0,2,4,6
/proc/19435/task/19447/stat : 19447 (java) S 19433 19433 12039 0 -1 1077944384 3678 0 0 0 59 1 0 0 20 0 15 0 98207157 14316269568 57249 18446744073709551615 4194304 4196468 140736773095488 140021947357936 140022475143810 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16941056 140736773099994 140736773100169 140736773100169 140736773103567 0
[pid=19435/tid=19448] ppid=19433 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/19435/task/19448/stat : 19448 (java) S 19433 19433 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98207157 14316269568 57249 18446744073709551615 4194304 4196468 140736773095488 140021946305632 140022475142869 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16941056 140736773099994 140736773100169 140736773100169 140736773103567 0
[pid=19435/tid=19449] ppid=19433 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/19435/task/19449/stat : 19449 (java) S 19433 19433 12039 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 15 0 98207166 14316269568 57249 18446744073709551615 4194304 4196468 140736773095488 140021945252144 140022475143810 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16941056 140736773099994 140736773100169 140736773100169 140736773103567 0
Current children cumulated CPU time (s) 6.58
Current children cumulated vsize (KiB) 13990244
[startup+6.3007 s]
/proc/loadavg: 2.60 2.07 2.00 3/214 19450
/proc/meminfo: memFree=31200404/32770624 swapFree=0/323196
[pid=19433] ppid=19430 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/19433/stat : 19433 (xcsp3-exec) S 19430 19433 12039 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 98207141 9740288 345 18446744073709551615 4194304 5098028 140734748162720 140734748160824 140251298959996 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 10 0 0 7196144 7232144 39239680 140734748164513 140734748164717 140734748164717 140734748168171 0
/proc/19433/statm: 2378 345 289 221 0 87 0
[pid=19435] ppid=19433 vsize=13980732 CPUtime=10.37 cores=0,2,4,6
/proc/19435/stat : 19435 (java) S 19433 19433 12039 0 -1 1077944320 31530 0 0 0 1024 13 0 0 20 0 15 0 98207151 14316269568 57245 18446744073709551615 4194304 4196468 140736773095488 140736773078032 140022475132663 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 16941056 140736773099994 140736773100169 140736773100169 140736773103567 0
/proc/19435/statm: 3495183 57245 3234 1 0 3483476 0
[pid=19435/tid=19436] ppid=19433 vsize=13980732 CPUtime=6.05 cores=0,2,4,6
/proc/19435/task/19436/stat : 19436 (java) R 19433 19433 12039 0 -1 4202560 9140 0 0 0 600 5 0 0 20 0 15 0 98207152 14316269568 57245 18446744073709551615 4194304 4196468 140736773095488 140022479369352 140022122869260 0 4 1 16800974 0 0 0 -1 2 0 0 8 0 0 6293624 6294260 16941056 140736773099994 140736773100169 140736773100169 140736773103567 0
[pid=19435/tid=19437] ppid=19433 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/19435/task/19437/stat : 19437 (java) S 19433 19433 12039 0 -1 1077944384 338 0 0 0 1 0 0 0 20 0 15 0 98207152 14316269568 57245 18446744073709551615 4194304 4196468 140736773095488 140022444845840 140022475142869 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16941056 140736773099994 140736773100169 140736773100169 140736773103567 0
[pid=19435/tid=19438] ppid=19433 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/19435/task/19438/stat : 19438 (java) S 19433 19433 12039 0 -1 1077944384 78 0 0 0 1 0 0 0 20 0 15 0 98207152 14316269568 57245 18446744073709551615 4194304 4196468 140736773095488 140022074338192 140022475142869 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16941056 140736773099994 140736773100169 140736773100169 140736773103567 0
[pid=19435/tid=19439] ppid=19433 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/19435/task/19439/stat : 19439 (java) S 19433 19433 12039 0 -1 1077944384 95 0 0 0 1 0 0 0 20 0 15 0 98207152 14316269568 57245 18446744073709551615 4194304 4196468 140736773095488 140022073285648 140022475142869 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16941056 140736773099994 140736773100169 140736773100169 140736773103567 0
[pid=19435/tid=19440] ppid=19433 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/19435/task/19440/stat : 19440 (java) S 19433 19433 12039 0 -1 1077944384 514 0 0 0 1 0 0 0 20 0 15 0 98207152 14316269568 57245 18446744073709551615 4194304 4196468 140736773095488 140022072233104 140022475142869 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16941056 140736773099994 140736773100169 140736773100169 140736773103567 0
[pid=19435/tid=19441] ppid=19433 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/19435/task/19441/stat : 19441 (java) S 19433 19433 12039 0 -1 1077944384 268 0 0 0 1 0 0 0 20 0 15 0 98207154 14316269568 57245 18446744073709551615 4194304 4196468 140736773095488 140021953673200 140022475143810 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16941056 140736773099994 140736773100169 140736773100169 140736773103567 0
[pid=19435/tid=19442] ppid=19433 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/19435/task/19442/stat : 19442 (java) S 19433 19433 12039 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 98207154 14316269568 57245 18446744073709551615 4194304 4196468 140736773095488 140021952619488 140022475142869 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16941056 140736773099994 140736773100169 140736773100169 140736773103567 0
[pid=19435/tid=19443] ppid=19433 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/19435/task/19443/stat : 19443 (java) S 19433 19433 12039 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 98207154 14316269568 57245 18446744073709551615 4194304 4196468 140736773095488 140021951566848 140022475142869 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16941056 140736773099994 140736773100169 140736773100169 140736773103567 0
[pid=19435/tid=19444] ppid=19433 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/19435/task/19444/stat : 19444 (java) S 19433 19433 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98207157 14316269568 57245 18446744073709551615 4194304 4196468 140736773095488 140021950515408 140022475151259 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16941056 140736773099994 140736773100169 140736773100169 140736773103567 0
[pid=19435/tid=19445] ppid=19433 vsize=13980732 CPUtime=1.65 cores=0,2,4,6
/proc/19435/task/19445/stat : 19445 (java) S 19433 19433 12039 0 -1 1077944384 7211 0 0 0 164 1 0 0 20 0 15 0 98207157 14316269568 57245 18446744073709551615 4194304 4196468 140736773095488 140021949463024 140022475143810 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16941056 140736773099994 140736773100169 140736773100169 140736773103567 0
[pid=19435/tid=19446] ppid=19433 vsize=13980732 CPUtime=1.9 cores=0,2,4,6
/proc/19435/task/19446/stat : 19446 (java) S 19433 19433 12039 0 -1 1077944384 8785 0 0 0 189 1 0 0 20 0 15 0 98207157 14316269568 57245 18446744073709551615 4194304 4196468 140736773095488 140021948410480 140022475143810 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16941056 140736773099994 140736773100169 140736773100169 140736773103567 0
[pid=19435/tid=19447] ppid=19433 vsize=13980732 CPUtime=0.62 cores=0,2,4,6
/proc/19435/task/19447/stat : 19447 (java) S 19433 19433 12039 0 -1 1077944384 3714 0 0 0 61 1 0 0 20 0 15 0 98207157 14316269568 57245 18446744073709551615 4194304 4196468 140736773095488 140021947357936 140022475143810 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16941056 140736773099994 140736773100169 140736773100169 140736773103567 0
[pid=19435/tid=19448] ppid=19433 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/19435/task/19448/stat : 19448 (java) S 19433 19433 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98207157 14316269568 57245 18446744073709551615 4194304 4196468 140736773095488 140021946305632 140022475142869 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16941056 140736773099994 140736773100169 140736773100169 140736773103567 0
[pid=19435/tid=19449] ppid=19433 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/19435/task/19449/stat : 19449 (java) S 19433 19433 12039 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 98207166 14316269568 57245 18446744073709551615 4194304 4196468 140736773095488 140021945252144 140022475143810 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16941056 140736773099994 140736773100169 140736773100169 140736773103567 0
Current children cumulated CPU time (s) 10.37
Current children cumulated vsize (KiB) 13990244
[startup+12.7007 s]
/proc/loadavg: 2.47 2.05 2.00 3/214 19450
/proc/meminfo: memFree=31193120/32770624 swapFree=0/323200
[pid=19433] ppid=19430 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/19433/stat : 19433 (xcsp3-exec) S 19430 19433 12039 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 98207141 9740288 345 18446744073709551615 4194304 5098028 140734748162720 140734748160824 140251298959996 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 10 0 0 7196144 7232144 39239680 140734748164513 140734748164717 140734748164717 140734748168171 0
/proc/19433/statm: 2378 345 289 221 0 87 0
[pid=19435] ppid=19433 vsize=13980732 CPUtime=16.97 cores=0,2,4,6
/proc/19435/stat : 19435 (java) S 19433 19433 12039 0 -1 1077944320 35136 0 0 0 1682 15 0 0 20 0 15 0 98207151 14316269568 57033 18446744073709551615 4194304 4196468 140736773095488 140736773078032 140022475132663 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 16941056 140736773099994 140736773100169 140736773100169 140736773103567 0
/proc/19435/statm: 3495183 57033 3235 1 0 3483476 0
[pid=19435/tid=19436] ppid=19433 vsize=13980732 CPUtime=12.43 cores=0,2,4,6
/proc/19435/task/19436/stat : 19436 (java) R 19433 19433 12039 0 -1 4202560 9767 0 0 0 1238 5 0 0 20 0 15 0 98207152 14316269568 57033 18446744073709551615 4194304 4196468 140736773095488 140022479371256 140022123237502 0 4 1 16800974 0 0 0 -1 0 0 0 8 0 0 6293624 6294260 16941056 140736773099994 140736773100169 140736773100169 140736773103567 0
[pid=19435/tid=19437] ppid=19433 vsize=13980732 CPUtime=0.03 cores=0,2,4,6
/proc/19435/task/19437/stat : 19437 (java) S 19433 19433 12039 0 -1 1077944384 508 0 0 0 2 1 0 0 20 0 15 0 98207152 14316269568 57033 18446744073709551615 4194304 4196468 140736773095488 140022444845840 140022475142869 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16941056 140736773099994 140736773100169 140736773100169 140736773103567 0
[pid=19435/tid=19438] ppid=19433 vsize=13980732 CPUtime=0.03 cores=0,2,4,6
/proc/19435/task/19438/stat : 19438 (java) S 19433 19433 12039 0 -1 1077944384 409 0 0 0 3 0 0 0 20 0 15 0 98207152 14316269568 57033 18446744073709551615 4194304 4196468 140736773095488 140022074338192 140022475142869 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16941056 140736773099994 140736773100169 140736773100169 140736773103567 0
################
# More data... #
################
[pid=19435/tid=19442] ppid=19433 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/19435/task/19442/stat : 19442 (java) S 19433 19433 12039 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 98207154 14316269568 58300 18446744073709551615 4194304 4196468 140736773095488 140021952619488 140022475142869 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16941056 140736773099994 140736773100169 140736773100169 140736773103567 0
[pid=19435/tid=19443] ppid=19433 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/19435/task/19443/stat : 19443 (java) S 19433 19433 12039 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 98207154 14316269568 58300 18446744073709551615 4194304 4196468 140736773095488 140021951566848 140022475142869 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16941056 140736773099994 140736773100169 140736773100169 140736773103567 0
[pid=19435/tid=19444] ppid=19433 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/19435/task/19444/stat : 19444 (java) S 19433 19433 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98207157 14316269568 58300 18446744073709551615 4194304 4196468 140736773095488 140021950515408 140022475151259 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16941056 140736773099994 140736773100169 140736773100169 140736773103567 0
[pid=19435/tid=19445] ppid=19433 vsize=13980732 CPUtime=2.04 cores=0,2,4,6
/proc/19435/task/19445/stat : 19445 (java) S 19433 19433 12039 0 -1 1077944384 12693 0 0 0 202 2 0 0 20 0 15 0 98207157 14316269568 58300 18446744073709551615 4194304 4196468 140736773095488 140021949463024 140022475143810 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16941056 140736773099994 140736773100169 140736773100169 140736773103567 0
[pid=19435/tid=19446] ppid=19433 vsize=13980732 CPUtime=2.2 cores=0,2,4,6
/proc/19435/task/19446/stat : 19446 (java) S 19433 19433 12039 0 -1 1077944384 12976 0 0 0 219 1 0 0 20 0 15 0 98207157 14316269568 58300 18446744073709551615 4194304 4196468 140736773095488 140021948410480 140022475143810 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16941056 140736773099994 140736773100169 140736773100169 140736773103567 0
[pid=19435/tid=19447] ppid=19433 vsize=13980732 CPUtime=0.66 cores=0,2,4,6
/proc/19435/task/19447/stat : 19447 (java) S 19433 19433 12039 0 -1 1077944384 5566 0 0 0 65 1 0 0 20 0 15 0 98207157 14316269568 58300 18446744073709551615 4194304 4196468 140736773095488 140021947357936 140022475143810 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16941056 140736773099994 140736773100169 140736773100169 140736773103567 0
[pid=19435/tid=19448] ppid=19433 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/19435/task/19448/stat : 19448 (java) S 19433 19433 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98207157 14316269568 58300 18446744073709551615 4194304 4196468 140736773095488 140021946305632 140022475142869 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16941056 140736773099994 140736773100169 140736773100169 140736773103567 0
[pid=19435/tid=19449] ppid=19433 vsize=13980732 CPUtime=0.04 cores=0,2,4,6
/proc/19435/task/19449/stat : 19449 (java) S 19433 19433 12039 0 -1 1077944384 191 0 0 0 2 2 0 0 20 0 15 0 98207166 14316269568 58300 18446744073709551615 4194304 4196468 140736773095488 140021945252144 140022475143810 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16941056 140736773099994 140736773100169 140736773100169 140736773103567 0
Current children cumulated CPU time (s) 107.28
Current children cumulated vsize (KiB) 13990244
[startup+162.301 s]
/proc/loadavg: 2.15 2.04 2.00 3/219 19470
/proc/meminfo: memFree=31175824/32770624 swapFree=0/323296
[pid=19433] ppid=19430 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/19433/stat : 19433 (xcsp3-exec) S 19430 19433 12039 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 98207141 9740288 345 18446744073709551615 4194304 5098028 140734748162720 140734748160824 140251298959996 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 10 0 0 7196144 7232144 39239680 140734748164513 140734748164717 140734748164717 140734748168171 0
/proc/19433/statm: 2378 345 289 221 0 87 0
[pid=19435] ppid=19433 vsize=13980732 CPUtime=167.35 cores=0,2,4,6
/proc/19435/stat : 19435 (java) S 19433 19433 12039 0 -1 1077944320 53716 0 0 0 16711 24 0 0 20 0 15 0 98207151 14316269568 57543 18446744073709551615 4194304 4196468 140736773095488 140736773078032 140022475132663 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 16941056 140736773099994 140736773100169 140736773100169 140736773103567 0
/proc/19435/statm: 3495183 57543 3236 1 0 3483476 0
[pid=19435/tid=19436] ppid=19433 vsize=13980732 CPUtime=161.97 cores=0,2,4,6
/proc/19435/task/19436/stat : 19436 (java) R 19433 19433 12039 0 -1 4202560 13300 0 0 0 16192 5 0 0 20 0 15 0 98207152 14316269568 57543 18446744073709551615 4194304 4196468 140736773095488 140022479371592 140022122870383 0 4 1 16800974 0 0 0 -1 4 0 0 8 0 0 6293624 6294260 16941056 140736773099994 140736773100169 140736773100169 140736773103567 0
[pid=19435/tid=19437] ppid=19433 vsize=13980732 CPUtime=0.06 cores=0,2,4,6
/proc/19435/task/19437/stat : 19437 (java) S 19433 19433 12039 0 -1 1077944384 1180 0 0 0 4 2 0 0 20 0 15 0 98207152 14316269568 57543 18446744073709551615 4194304 4196468 140736773095488 140022444845840 140022475142869 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16941056 140736773099994 140736773100169 140736773100169 140736773103567 0
[pid=19435/tid=19438] ppid=19433 vsize=13980732 CPUtime=0.05 cores=0,2,4,6
/proc/19435/task/19438/stat : 19438 (java) S 19433 19433 12039 0 -1 1077944384 893 0 0 0 4 1 0 0 20 0 15 0 98207152 14316269568 57543 18446744073709551615 4194304 4196468 140736773095488 140022074338192 140022475142869 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16941056 140736773099994 140736773100169 140736773100169 140736773103567 0
[pid=19435/tid=19439] ppid=19433 vsize=13980732 CPUtime=0.06 cores=0,2,4,6
/proc/19435/task/19439/stat : 19439 (java) S 19433 19433 12039 0 -1 1077944384 929 0 0 0 5 1 0 0 20 0 15 0 98207152 14316269568 57543 18446744073709551615 4194304 4196468 140736773095488 140022073285648 140022475142869 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16941056 140736773099994 140736773100169 140736773100169 140736773103567 0
[pid=19435/tid=19440] ppid=19433 vsize=13980732 CPUtime=0.06 cores=0,2,4,6
/proc/19435/task/19440/stat : 19440 (java) S 19433 19433 12039 0 -1 1077944384 1841 0 0 0 5 1 0 0 20 0 15 0 98207152 14316269568 57543 18446744073709551615 4194304 4196468 140736773095488 140022072233104 140022475142869 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16941056 140736773099994 140736773100169 140736773100169 140736773103567 0
[pid=19435/tid=19441] ppid=19433 vsize=13980732 CPUtime=0.04 cores=0,2,4,6
/proc/19435/task/19441/stat : 19441 (java) S 19433 19433 12039 0 -1 1077944384 1500 0 0 0 2 2 0 0 20 0 15 0 98207154 14316269568 57543 18446744073709551615 4194304 4196468 140736773095488 140021953673200 140022475143810 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16941056 140736773099994 140736773100169 140736773100169 140736773103567 0
[pid=19435/tid=19442] ppid=19433 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/19435/task/19442/stat : 19442 (java) S 19433 19433 12039 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 98207154 14316269568 57543 18446744073709551615 4194304 4196468 140736773095488 140021952619488 140022475142869 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16941056 140736773099994 140736773100169 140736773100169 140736773103567 0
[pid=19435/tid=19443] ppid=19433 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/19435/task/19443/stat : 19443 (java) S 19433 19433 12039 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 98207154 14316269568 57543 18446744073709551615 4194304 4196468 140736773095488 140021951566848 140022475142869 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16941056 140736773099994 140736773100169 140736773100169 140736773103567 0
[pid=19435/tid=19444] ppid=19433 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/19435/task/19444/stat : 19444 (java) S 19433 19433 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98207157 14316269568 57543 18446744073709551615 4194304 4196468 140736773095488 140021950515408 140022475151259 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16941056 140736773099994 140736773100169 140736773100169 140736773103567 0
[pid=19435/tid=19445] ppid=19433 vsize=13980732 CPUtime=2.07 cores=0,2,4,6
/proc/19435/task/19445/stat : 19445 (java) S 19433 19433 12039 0 -1 1077944384 12829 0 0 0 205 2 0 0 20 0 15 0 98207157 14316269568 57543 18446744073709551615 4194304 4196468 140736773095488 140021949463024 140022475143810 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16941056 140736773099994 140736773100169 140736773100169 140736773103567 0
[pid=19435/tid=19446] ppid=19433 vsize=13980732 CPUtime=2.2 cores=0,2,4,6
/proc/19435/task/19446/stat : 19446 (java) S 19433 19433 12039 0 -1 1077944384 12980 0 0 0 219 1 0 0 20 0 15 0 98207157 14316269568 57543 18446744073709551615 4194304 4196468 140736773095488 140021948410480 140022475143810 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16941056 140736773099994 140736773100169 140736773100169 140736773103567 0
[pid=19435/tid=19447] ppid=19433 vsize=13980732 CPUtime=0.67 cores=0,2,4,6
/proc/19435/task/19447/stat : 19447 (java) S 19433 19433 12039 0 -1 1077944384 6677 0 0 0 66 1 0 0 20 0 15 0 98207157 14316269568 57543 18446744073709551615 4194304 4196468 140736773095488 140021947357936 140022475143810 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16941056 140736773099994 140736773100169 140736773100169 140736773103567 0
[pid=19435/tid=19448] ppid=19433 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/19435/task/19448/stat : 19448 (java) S 19433 19433 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98207157 14316269568 57543 18446744073709551615 4194304 4196468 140736773095488 140021946305632 140022475142869 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16941056 140736773099994 140736773100169 140736773100169 140736773103567 0
[pid=19435/tid=19449] ppid=19433 vsize=13980732 CPUtime=0.07 cores=0,2,4,6
/proc/19435/task/19449/stat : 19449 (java) S 19433 19433 12039 0 -1 1077944384 233 0 0 0 3 4 0 0 20 0 15 0 98207166 14316269568 57543 18446744073709551615 4194304 4196468 140736773095488 140021945252144 140022475143810 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16941056 140736773099994 140736773100169 140736773100169 140736773103567 0
Current children cumulated CPU time (s) 167.35
Current children cumulated vsize (KiB) 13990244
[startup+222.307 s]
/proc/loadavg: 2.13 2.05 2.00 3/220 19497
/proc/meminfo: memFree=31189200/32770624 swapFree=0/323368
[pid=19433] ppid=19430 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/19433/stat : 19433 (xcsp3-exec) S 19430 19433 12039 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 98207141 9740288 345 18446744073709551615 4194304 5098028 140734748162720 140734748160824 140251298959996 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 10 0 0 7196144 7232144 39239680 140734748164513 140734748164717 140734748164717 140734748168171 0
/proc/19433/statm: 2378 345 289 221 0 87 0
[pid=19435] ppid=19433 vsize=13980732 CPUtime=227.44 cores=0,2,4,6
/proc/19435/stat : 19435 (java) S 19433 19433 12039 0 -1 1077944320 56113 0 0 0 22717 27 0 0 20 0 15 0 98207151 14316269568 56392 18446744073709551615 4194304 4196468 140736773095488 140736773078032 140022475132663 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 16941056 140736773099994 140736773100169 140736773100169 140736773103567 0
/proc/19435/statm: 3495183 56392 3236 1 0 3483476 0
[pid=19435/tid=19436] ppid=19433 vsize=13980732 CPUtime=221.97 cores=0,2,4,6
/proc/19435/task/19436/stat : 19436 (java) R 19433 19433 12039 0 -1 4202560 13894 0 0 0 22192 5 0 0 20 0 15 0 98207152 14316269568 56392 18446744073709551615 4194304 4196468 140736773095488 140022479372336 140022123992683 0 4 1 16800974 0 0 0 -1 4 0 0 8 0 0 6293624 6294260 16941056 140736773099994 140736773100169 140736773100169 140736773103567 0
[pid=19435/tid=19437] ppid=19433 vsize=13980732 CPUtime=0.06 cores=0,2,4,6
/proc/19435/task/19437/stat : 19437 (java) S 19433 19433 12039 0 -1 1077944384 1230 0 0 0 4 2 0 0 20 0 15 0 98207152 14316269568 56392 18446744073709551615 4194304 4196468 140736773095488 140022444845840 140022475142869 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16941056 140736773099994 140736773100169 140736773100169 140736773103567 0
[pid=19435/tid=19438] ppid=19433 vsize=13980732 CPUtime=0.06 cores=0,2,4,6
/proc/19435/task/19438/stat : 19438 (java) S 19433 19433 12039 0 -1 1077944384 1255 0 0 0 5 1 0 0 20 0 15 0 98207152 14316269568 56392 18446744073709551615 4194304 4196468 140736773095488 140022074338192 140022475142869 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16941056 140736773099994 140736773100169 140736773100169 140736773103567 0
[pid=19435/tid=19439] ppid=19433 vsize=13980732 CPUtime=0.06 cores=0,2,4,6
/proc/19435/task/19439/stat : 19439 (java) S 19433 19433 12039 0 -1 1077944384 955 0 0 0 5 1 0 0 20 0 15 0 98207152 14316269568 56392 18446744073709551615 4194304 4196468 140736773095488 140022073285648 140022475142869 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16941056 140736773099994 140736773100169 140736773100169 140736773103567 0
[pid=19435/tid=19440] ppid=19433 vsize=13980732 CPUtime=0.06 cores=0,2,4,6
/proc/19435/task/19440/stat : 19440 (java) S 19433 19433 12039 0 -1 1077944384 1888 0 0 0 5 1 0 0 20 0 15 0 98207152 14316269568 56392 18446744073709551615 4194304 4196468 140736773095488 140022072233104 140022475142869 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16941056 140736773099994 140736773100169 140736773100169 140736773103567 0
[pid=19435/tid=19441] ppid=19433 vsize=13980732 CPUtime=0.07 cores=0,2,4,6
/proc/19435/task/19441/stat : 19441 (java) S 19433 19433 12039 0 -1 1077944384 1744 0 0 0 3 4 0 0 20 0 15 0 98207154 14316269568 56392 18446744073709551615 4194304 4196468 140736773095488 140021953673200 140022475143810 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16941056 140736773099994 140736773100169 140736773100169 140736773103567 0
[pid=19435/tid=19442] ppid=19433 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/19435/task/19442/stat : 19442 (java) S 19433 19433 12039 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 98207154 14316269568 56392 18446744073709551615 4194304 4196468 140736773095488 140021952619488 140022475142869 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16941056 140736773099994 140736773100169 140736773100169 140736773103567 0
[pid=19435/tid=19443] ppid=19433 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/19435/task/19443/stat : 19443 (java) S 19433 19433 12039 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 98207154 14316269568 56392 18446744073709551615 4194304 4196468 140736773095488 140021951566848 140022475142869 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16941056 140736773099994 140736773100169 140736773100169 140736773103567 0
[pid=19435/tid=19444] ppid=19433 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/19435/task/19444/stat : 19444 (java) S 19433 19433 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98207157 14316269568 56392 18446744073709551615 4194304 4196468 140736773095488 140021950515408 140022475151259 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16941056 140736773099994 140736773100169 140736773100169 140736773103567 0
[pid=19435/tid=19445] ppid=19433 vsize=13980732 CPUtime=2.07 cores=0,2,4,6
/proc/19435/task/19445/stat : 19445 (java) S 19433 19433 12039 0 -1 1077944384 12892 0 0 0 205 2 0 0 20 0 15 0 98207157 14316269568 56392 18446744073709551615 4194304 4196468 140736773095488 140021949463024 140022475143810 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16941056 140736773099994 140736773100169 140736773100169 140736773103567 0
[pid=19435/tid=19446] ppid=19433 vsize=13980732 CPUtime=2.21 cores=0,2,4,6
/proc/19435/task/19446/stat : 19446 (java) S 19433 19433 12039 0 -1 1077944384 13600 0 0 0 220 1 0 0 20 0 15 0 98207157 14316269568 56392 18446744073709551615 4194304 4196468 140736773095488 140021948410480 140022475143810 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16941056 140736773099994 140736773100169 140736773100169 140736773103567 0
[pid=19435/tid=19447] ppid=19433 vsize=13980732 CPUtime=0.67 cores=0,2,4,6
/proc/19435/task/19447/stat : 19447 (java) S 19433 19433 12039 0 -1 1077944384 7027 0 0 0 66 1 0 0 20 0 15 0 98207157 14316269568 56392 18446744073709551615 4194304 4196468 140736773095488 140021947357936 140022475143810 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16941056 140736773099994 140736773100169 140736773100169 140736773103567 0
[pid=19435/tid=19448] ppid=19433 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/19435/task/19448/stat : 19448 (java) S 19433 19433 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98207157 14316269568 56392 18446744073709551615 4194304 4196468 140736773095488 140021946305632 140022475142869 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16941056 140736773099994 140736773100169 140736773100169 140736773103567 0
[pid=19435/tid=19449] ppid=19433 vsize=13980732 CPUtime=0.1 cores=0,2,4,6
/proc/19435/task/19449/stat : 19449 (java) S 19433 19433 12039 0 -1 1077944384 274 0 0 0 5 5 0 0 20 0 15 0 98207166 14316269568 56392 18446744073709551615 4194304 4196468 140736773095488 140021945252144 140022475143810 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16941056 140736773099994 140736773100169 140736773100169 140736773103567 0
Current children cumulated CPU time (s) 227.44
Current children cumulated vsize (KiB) 13990244
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 2.02 2.03 2.00 3/220 19576
/proc/meminfo: memFree=31224460/32770624 swapFree=0/323404
[pid=19433] ppid=19430 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/19433/stat : 19433 (xcsp3-exec) S 19430 19433 12039 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 98207141 9740288 345 18446744073709551615 4194304 5098028 140734748162720 140734748160824 140251298959996 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 10 0 0 7196144 7232144 39239680 140734748164513 140734748164717 140734748164717 140734748168171 0
/proc/19433/statm: 2378 345 289 221 0 87 0
[pid=19435] ppid=19433 vsize=13980732 CPUtime=245.15 cores=0,2,4,6
/proc/19435/stat : 19435 (java) S 19433 19433 12039 0 -1 1077944320 56681 0 0 0 24487 28 0 0 20 0 15 0 98207151 14316269568 56392 18446744073709551615 4194304 4196468 140736773095488 140736773078032 140022475132663 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 16941056 140736773099994 140736773100169 140736773100169 140736773103567 0
/proc/19435/statm: 3495183 56392 3236 1 0 3483476 0
[pid=19435/tid=19436] ppid=19433 vsize=13980732 CPUtime=239.66 cores=0,2,4,6
/proc/19435/task/19436/stat : 19436 (java) R 19433 19433 12039 0 -1 4202560 13915 0 0 0 23961 5 0 0 20 0 15 0 98207152 14316269568 56392 18446744073709551615 4194304 4196468 140736773095488 140022479372336 140022123993195 0 4 1 16800974 0 0 0 -1 4 0 0 8 0 0 6293624 6294260 16941056 140736773099994 140736773100169 140736773100169 140736773103567 0
[pid=19435/tid=19437] ppid=19433 vsize=13980732 CPUtime=0.06 cores=0,2,4,6
/proc/19435/task/19437/stat : 19437 (java) S 19433 19433 12039 0 -1 1077944384 1230 0 0 0 4 2 0 0 20 0 15 0 98207152 14316269568 56392 18446744073709551615 4194304 4196468 140736773095488 140022444845840 140022475142869 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16941056 140736773099994 140736773100169 140736773100169 140736773103567 0
[pid=19435/tid=19438] ppid=19433 vsize=13980732 CPUtime=0.06 cores=0,2,4,6
/proc/19435/task/19438/stat : 19438 (java) S 19433 19433 12039 0 -1 1077944384 1255 0 0 0 5 1 0 0 20 0 15 0 98207152 14316269568 56392 18446744073709551615 4194304 4196468 140736773095488 140022074338192 140022475142869 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16941056 140736773099994 140736773100169 140736773100169 140736773103567 0
[pid=19435/tid=19439] ppid=19433 vsize=13980732 CPUtime=0.06 cores=0,2,4,6
/proc/19435/task/19439/stat : 19439 (java) S 19433 19433 12039 0 -1 1077944384 955 0 0 0 5 1 0 0 20 0 15 0 98207152 14316269568 56392 18446744073709551615 4194304 4196468 140736773095488 140022073285648 140022475142869 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16941056 140736773099994 140736773100169 140736773100169 140736773103567 0
[pid=19435/tid=19440] ppid=19433 vsize=13980732 CPUtime=0.06 cores=0,2,4,6
/proc/19435/task/19440/stat : 19440 (java) S 19433 19433 12039 0 -1 1077944384 1888 0 0 0 5 1 0 0 20 0 15 0 98207152 14316269568 56392 18446744073709551615 4194304 4196468 140736773095488 140022072233104 140022475142869 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16941056 140736773099994 140736773100169 140736773100169 140736773103567 0
[pid=19435/tid=19441] ppid=19433 vsize=13980732 CPUtime=0.07 cores=0,2,4,6
/proc/19435/task/19441/stat : 19441 (java) S 19433 19433 12039 0 -1 1077944384 1744 0 0 0 3 4 0 0 20 0 15 0 98207154 14316269568 56392 18446744073709551615 4194304 4196468 140736773095488 140021953673200 140022475143810 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16941056 140736773099994 140736773100169 140736773100169 140736773103567 0
[pid=19435/tid=19442] ppid=19433 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/19435/task/19442/stat : 19442 (java) S 19433 19433 12039 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 98207154 14316269568 56392 18446744073709551615 4194304 4196468 140736773095488 140021952619488 140022475142869 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16941056 140736773099994 140736773100169 140736773100169 140736773103567 0
[pid=19435/tid=19443] ppid=19433 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/19435/task/19443/stat : 19443 (java) S 19433 19433 12039 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 98207154 14316269568 56392 18446744073709551615 4194304 4196468 140736773095488 140021951566848 140022475142869 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16941056 140736773099994 140736773100169 140736773100169 140736773103567 0
[pid=19435/tid=19444] ppid=19433 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/19435/task/19444/stat : 19444 (java) S 19433 19433 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98207157 14316269568 56392 18446744073709551615 4194304 4196468 140736773095488 140021950515408 140022475151259 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16941056 140736773099994 140736773100169 140736773100169 140736773103567 0
[pid=19435/tid=19445] ppid=19433 vsize=13980732 CPUtime=2.07 cores=0,2,4,6
/proc/19435/task/19445/stat : 19445 (java) S 19433 19433 12039 0 -1 1077944384 12892 0 0 0 205 2 0 0 20 0 15 0 98207157 14316269568 56392 18446744073709551615 4194304 4196468 140736773095488 140021949463024 140022475143810 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16941056 140736773099994 140736773100169 140736773100169 140736773103567 0
[pid=19435/tid=19446] ppid=19433 vsize=13980732 CPUtime=2.22 cores=0,2,4,6
/proc/19435/task/19446/stat : 19446 (java) S 19433 19433 12039 0 -1 1077944384 14147 0 0 0 221 1 0 0 20 0 15 0 98207157 14316269568 56392 18446744073709551615 4194304 4196468 140736773095488 140021948410480 140022475143810 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16941056 140736773099994 140736773100169 140736773100169 140736773103567 0
[pid=19435/tid=19447] ppid=19433 vsize=13980732 CPUtime=0.67 cores=0,2,4,6
/proc/19435/task/19447/stat : 19447 (java) S 19433 19433 12039 0 -1 1077944384 7027 0 0 0 66 1 0 0 20 0 15 0 98207157 14316269568 56392 18446744073709551615 4194304 4196468 140736773095488 140021947357936 140022475143810 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16941056 140736773099994 140736773100169 140736773100169 140736773103567 0
[pid=19435/tid=19448] ppid=19433 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/19435/task/19448/stat : 19448 (java) S 19433 19433 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98207157 14316269568 56392 18446744073709551615 4194304 4196468 140736773095488 140021946305632 140022475142869 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16941056 140736773099994 140736773100169 140736773100169 140736773103567 0
[pid=19435/tid=19449] ppid=19433 vsize=13980732 CPUtime=0.11 cores=0,2,4,6
/proc/19435/task/19449/stat : 19449 (java) S 19433 19433 12039 0 -1 1077944384 274 0 0 0 5 6 0 0 20 0 15 0 98207166 14316269568 56392 18446744073709551615 4194304 4196468 140736773095488 140021945252144 140022475143810 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16941056 140736773099994 140736773100169 140736773100169 140736773103567 0
Current children cumulated CPU time (s) 245.15
Current children cumulated vsize (KiB) 13990244
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 19435 sig 9
??? kill 19433 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 19433 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=1007
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=1007
# CPU time returned by wait4() is 0.002014
# while last known CPU time is 245.15
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 240.01
CPU time (s): 245.15
CPU user time (s): 244.87
CPU system time (s): 0.28
CPU usage (%): 102.141
Max. virtual memory (cumulated for all children) (KiB): 13990244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.001007
system time used= 0.001007
maximum resident set size= 1384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 510
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.15989 second user time and 1.44613 second system time
The end