Trace number 4271010

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
choco-solver 4.0.5 par (2017-08-09)? (TO) 19900.801 2520.1499

General information on the benchmark

NameMagicHexagon/MagicHexagon-m1-s1/
MagicHexagon-10-m021.xml
MD5SUMbb8f18d9394a9daa2d276ef3f55d21f6
Bench CategoryCSP (decision problem)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables361
Number of constraints64
Number of domains1
Minimum domain size271
Maximum domain size271
Distribution of domain sizes[{"size":271,"count":271}]
Minimum variable degree0
Maximum variable degree9
Distribution of variable degrees[{"degree":0,"count":90},{"degree":4,"count":265},{"degree":5,"count":3},{"degree":6,"count":2},{"degree":9,"count":1}]
Minimum constraint arity2
Maximum constraint arity271
Distribution of constraint arities[{"arity":2,"count":6},{"arity":10,"count":6},{"arity":11,"count":6},{"arity":12,"count":6},{"arity":13,"count":6},{"arity":14,"count":6},{"arity":15,"count":6},{"arity":16,"count":6},{"arity":17,"count":6},{"arity":18,"count":6},{"arity":19,"count":3},{"arity":271,"count":1}]
Number of extensional constraints0
Number of intensional constraints6
Distribution of constraint types[{"type":"intension","count":6},{"type":"allDifferent","count":1},{"type":"sum","count":57}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4271010-1502760142.xml"  -tl '20160s' -p 8 -x 0
0.11/0.14	c [HOME/instance-4271010-1502760142.xml, -tl, 20160s, -p, 8, -x, 0]
0.11/0.20	c 8 solvers in parallel
0.33/0.26	c parse instance...
1.47/0.63	c solve instance...
19899.88/2520.12	s UNKNOWN
19899.88/2520.12	c Unexpected resolution interruption!

Verifier Data


Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

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.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (12862 MiB free)
  memory of node 1: 16384 MiB (14955 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4271010-1502760142/watcher-4271010-1502760142 -o /tmp/evaluation-result-4271010-1502760142/solver-4271010-1502760142 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node104-1502756729-30142 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 512058225 HOME/instance-4271010-1502760142.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=30481, runsolver pid=30478
Current StackSize limit: 8192 KiB


[startup+0.100141 s]*
/proc/loadavg: 6.50 7.29 7.48 2/200 30502
/proc/meminfo: memFree=28468276/32770624 swapFree=67108860/67108860
[pid=30481] ppid=30478 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/30481/stat : 30481 (xcsp3-exec) S 30478 30481 30115 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 109102119 9740288 346 33554432000 4194304 5098028 140728227013152 140728227011256 140343774601852 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38903808 140728227021925 140728227022135 140728227022135 140728227024875 0
/proc/30481/statm: 2378 346 289 221 0 87 0
[pid=30483] ppid=30481 vsize=25999808 memory=28244 CPUtime=0.11 cores=0-7
/proc/30483/stat : 30483 (java) S 30481 30481 30115 0 -1 1077944320 5482 0 0 0 10 1 0 0 20 0 20 0 109102119 26623803392 7061 33554432000 4194304 4196468 140736632897488 140736632880032 140316250853111 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32178176 140736632898706 140736632898883 140736632898883 140736632901583 0
/proc/30483/statm: 6499952 7061 2846 1 0 6488269 0
[pid=30483/tid=30484] ppid=30481 vsize=25999808 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/30483/task/30484/stat : 30484 (java) R 30481 30481 30115 0 -1 4202560 3480 0 0 0 8 1 0 0 20 0 20 0 109102120 26623803392 7061 33554432000 4194304 4196468 140736632897488 140316255086384 140316232802257 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32178176 140736632898706 140736632898883 140736632898883 140736632901583 0
[pid=30483/tid=30485] ppid=30481 vsize=25999808 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/30483/task/30485/stat : 30485 (java) S 30481 30481 30115 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109102121 26623803392 7061 33554432000 4194304 4196468 140736632897488 140316203473680 140316250863317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32178176 140736632898706 140736632898883 140736632898883 140736632901583 0
[pid=30483/tid=30486] ppid=30481 vsize=25999808 memory=140232094484096 CPUtime=0 cores=0-7
/proc/30483/task/30486/stat : 30486 (java) S 30481 30481 30115 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109102121 26623803392 7061 33554432000 4194304 4196468 140736632897488 140316202421136 140316250863317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32178176 140736632898706 140736632898883 140736632898883 140736632901583 0
[pid=30483/tid=30487] ppid=30481 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/30483/task/30487/stat : 30487 (java) S 30481 30481 30115 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109102121 26623803392 7061 33554432000 4194304 4196468 140736632897488 140316201368592 140316250863317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32178176 140736632898706 140736632898883 140736632898883 140736632901583 0
[pid=30483/tid=30488] ppid=30481 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/30483/task/30488/stat : 30488 (java) S 30481 30481 30115 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109102121 26623803392 7061 33554432000 4194304 4196468 140736632897488 140316200316048 140316250863317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32178176 140736632898706 140736632898883 140736632898883 140736632901583 0
[pid=30483/tid=30489] ppid=30481 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/30483/task/30489/stat : 30489 (java) S 30481 30481 30115 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109102121 26623803392 7061 33554432000 4194304 4196468 140736632897488 140316199262480 140316250863317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32178176 140736632898706 140736632898883 140736632898883 140736632901583 0
[pid=30483/tid=30490] ppid=30481 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/30483/task/30490/stat : 30490 (java) S 30481 30481 30115 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109102121 26623803392 7061 33554432000 4194304 4196468 140736632897488 140316198209936 140316250863317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32178176 140736632898706 140736632898883 140736632898883 140736632901583 0
[pid=30483/tid=30491] ppid=30481 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/30483/task/30491/stat : 30491 (java) S 30481 30481 30115 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109102121 26623803392 7061 33554432000 4194304 4196468 140736632897488 140316197157392 140316250863317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32178176 140736632898706 140736632898883 140736632898883 140736632901583 0
[pid=30483/tid=30492] ppid=30481 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/30483/task/30492/stat : 30492 (java) S 30481 30481 30115 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 109102121 26623803392 7061 33554432000 4194304 4196468 140736632897488 140316196104848 140316250863317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32178176 140736632898706 140736632898883 140736632898883 140736632901583 0
[pid=30483/tid=30493] ppid=30481 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/30483/task/30493/stat : 30493 (java) S 30481 30481 30115 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109102122 26623803392 7061 33554432000 4194304 4196468 140736632897488 140315378264560 140316250864258 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32178176 140736632898706 140736632898883 140736632898883 140736632901583 0
[pid=30483/tid=30494] ppid=30481 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/30483/task/30494/stat : 30494 (java) S 30481 30481 30115 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 109102122 26623803392 7061 33554432000 4194304 4196468 140736632897488 140315377210784 140316250863317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32178176 140736632898706 140736632898883 140736632898883 140736632901583 0
[pid=30483/tid=30495] ppid=30481 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/30483/task/30495/stat : 30495 (java) S 30481 30481 30115 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 109102123 26623803392 7061 33554432000 4194304 4196468 140736632897488 140315376158192 140316250863317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32178176 140736632898706 140736632898883 140736632898883 140736632901583 0
[pid=30483/tid=30496] ppid=30481 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/30483/task/30496/stat : 30496 (java) S 30481 30481 30115 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109102125 26623803392 7061 33554432000 4194304 4196468 140736632897488 140315375106768 140316250871707 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32178176 140736632898706 140736632898883 140736632898883 140736632901583 0
[pid=30483/tid=30497] ppid=30481 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/30483/task/30497/stat : 30497 (java) R 30481 30481 30115 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 20 0 109102125 26623803392 7061 33554432000 4194304 4196468 140736632897488 140314451372016 140316250864258 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32178176 140736632898706 140736632898883 140736632898883 140736632901583 0
[pid=30483/tid=30498] ppid=30481 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/30483/task/30498/stat : 30498 (java) S 30481 30481 30115 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 20 0 109102125 26623803392 7061 33554432000 4194304 4196468 140736632897488 140314450319472 140316250864258 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32178176 140736632898706 140736632898883 140736632898883 140736632901583 0
[pid=30483/tid=30499] ppid=30481 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/30483/task/30499/stat : 30499 (java) S 30481 30481 30115 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 109102125 26623803392 7061 33554432000 4194304 4196468 140736632897488 140314449266928 140316250864258 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32178176 140736632898706 140736632898883 140736632898883 140736632901583 0
[pid=30483/tid=30500] ppid=30481 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/30483/task/30500/stat : 30500 (java) R 30481 30481 30115 0 -1 1077944384 264 0 0 0 1 0 0 0 20 0 20 0 109102125 26623803392 7061 33554432000 4194304 4196468 140736632897488 140314448214384 140316250864258 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32178176 140736632898706 140736632898883 140736632898883 140736632901583 0
[pid=30483/tid=30501] ppid=30481 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/30483/task/30501/stat : 30501 (java) S 30481 30481 30115 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 109102125 26623803392 7061 33554432000 4194304 4196468 140736632897488 140314447162080 140316250863317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32178176 140736632898706 140736632898883 140736632898883 140736632901583 0
[pid=30483/tid=30502] ppid=30481 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/30483/task/30502/stat : 30502 (java) S 30481 30481 30115 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109102126 26623803392 7126 33554432000 4194304 4196468 140736632897488 140314446109616 140316250864258 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32178176 140736632898706 140736632898883 140736632898883 140736632901583 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 29628 KiB

[startup+0.210549 s]*
/proc/loadavg: 6.50 7.29 7.48 2/200 30502
/proc/meminfo: memFree=28456648/32770624 swapFree=67108860/67108860
[pid=30481] ppid=30478 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/30481/stat : 30481 (xcsp3-exec) S 30478 30481 30115 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 109102119 9740288 346 33554432000 4194304 5098028 140728227013152 140728227011256 140343774601852 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38903808 140728227021925 140728227022135 140728227022135 140728227024875 0
/proc/30481/statm: 2378 346 289 221 0 87 0
[pid=30483] ppid=30481 vsize=26004064 memory=41188 CPUtime=0.33 cores=0-7
/proc/30483/stat : 30483 (java) S 30481 30481 30115 0 -1 1077944320 8385 0 0 0 30 3 0 0 20 0 20 0 109102119 26628161536 10297 33554432000 4194304 4196468 140736632897488 140736632880032 140316250853111 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32178176 140736632898706 140736632898883 140736632898883 140736632901583 0
/proc/30483/statm: 6501016 10297 3052 1 0 6488269 0
[pid=30483/tid=30484] ppid=30481 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/30483/task/30484/stat : 30484 (java) D 30481 30481 30115 0 -1 1077944384 5447 0 0 0 18 1 0 0 20 0 20 0 109102120 26628161536 10297 33554432000 4194304 4196468 140736632897488 140316255054944 140316243532333 0 4 0 16800975 18446744072101584420 0 0 -1 1 0 0 0 0 0 6293624 6294260 32178176 140736632898706 140736632898883 140736632898883 140736632901583 0
[pid=30483/tid=30485] ppid=30481 vsize=26004096 memory=330 CPUtime=0 cores=0-7
/proc/30483/task/30485/stat : 30485 (java) S 30481 30481 30115 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109102121 26628194304 10297 33554432000 4194304 4196468 140736632897488 140316203473680 140316250863317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32178176 140736632898706 140736632898883 140736632898883 140736632901583 0
[pid=30483/tid=30486] ppid=30481 vsize=26004064 memory=288370608246195840 CPUtime=0 cores=0-7
/proc/30483/task/30486/stat : 30486 (java) S 30481 30481 30115 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109102121 26628161536 10297 33554432000 4194304 4196468 140736632897488 140316202421136 140316250863317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32178176 140736632898706 140736632898883 140736632898883 140736632901583 0
[pid=30483/tid=30487] ppid=30481 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/30483/task/30487/stat : 30487 (java) S 30481 30481 30115 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109102121 26628161536 10297 33554432000 4194304 4196468 140736632897488 140316201368592 140316250863317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32178176 140736632898706 140736632898883 140736632898883 140736632901583 0
[pid=30483/tid=30488] ppid=30481 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/30483/task/30488/stat : 30488 (java) S 30481 30481 30115 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109102121 26628161536 10297 33554432000 4194304 4196468 140736632897488 140316200316048 140316250863317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32178176 140736632898706 140736632898883 140736632898883 140736632901583 0
[pid=30483/tid=30489] ppid=30481 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/30483/task/30489/stat : 30489 (java) S 30481 30481 30115 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109102121 26628161536 10297 33554432000 4194304 4196468 140736632897488 140316199262480 140316250863317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32178176 140736632898706 140736632898883 140736632898883 140736632901583 0
[pid=30483/tid=30490] ppid=30481 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/30483/task/30490/stat : 30490 (java) S 30481 30481 30115 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109102121 26628161536 10297 33554432000 4194304 4196468 140736632897488 140316198209936 140316250863317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32178176 140736632898706 140736632898883 140736632898883 140736632901583 0
[pid=30483/tid=30491] ppid=30481 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/30483/task/30491/stat : 30491 (java) S 30481 30481 30115 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109102121 26628161536 10297 33554432000 4194304 4196468 140736632897488 140316197157392 140316250863317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32178176 140736632898706 140736632898883 140736632898883 140736632901583 0
[pid=30483/tid=30492] ppid=30481 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/30483/task/30492/stat : 30492 (java) S 30481 30481 30115 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 109102121 26628161536 10297 33554432000 4194304 4196468 140736632897488 140316196104848 140316250863317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32178176 140736632898706 140736632898883 140736632898883 140736632901583 0
[pid=30483/tid=30493] ppid=30481 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/30483/task/30493/stat : 30493 (java) S 30481 30481 30115 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109102122 26628161536 10297 33554432000 4194304 4196468 140736632897488 140315378264560 140316250864258 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32178176 140736632898706 140736632898883 140736632898883 140736632901583 0
[pid=30483/tid=30494] ppid=30481 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/30483/task/30494/stat : 30494 (java) S 30481 30481 30115 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 109102122 26628161536 10297 33554432000 4194304 4196468 140736632897488 140315377210784 140316250863317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32178176 140736632898706 140736632898883 140736632898883 140736632901583 0
[pid=30483/tid=30495] ppid=30481 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/30483/task/30495/stat : 30495 (java) S 30481 30481 30115 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 109102123 26628161536 10297 33554432000 4194304 4196468 140736632897488 140315376158192 140316250863317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32178176 140736632898706 140736632898883 140736632898883 140736632901583 0
[pid=30483/tid=30496] ppid=30481 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/30483/task/30496/stat : 30496 (java) S 30481 30481 30115 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109102125 26628161536 10297 33554432000 4194304 4196468 140736632897488 140315375106768 140316250871707 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32178176 140736632898706 140736632898883 140736632898883 140736632901583 0
[pid=30483/tid=30497] ppid=30481 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/30483/task/30497/stat : 30497 (java) S 30481 30481 30115 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 20 0 109102125 26628161536 10297 33554432000 4194304 4196468 140736632897488 140314451372016 140316250864258 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32178176 140736632898706 140736632898883 140736632898883 140736632901583 0
[pid=30483/tid=30498] ppid=30481 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/30483/task/30498/stat : 30498 (java) S 30481 30481 30115 0 -1 1077944384 210 0 0 0 1 0 0 0 20 0 20 0 109102125 26628161536 10297 33554432000 4194304 4196468 140736632897488 140314450319472 140316250864258 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32178176 140736632898706 140736632898883 140736632898883 140736632901583 0
[pid=30483/tid=30499] ppid=30481 vsize=26004064 memory=-1 CPUtime=0.02 cores=0-7
/proc/30483/task/30499/stat : 30499 (java) S 30481 30481 30115 0 -1 1077944384 378 0 0 0 2 0 0 0 20 0 20 0 109102125 26628161536 10297 33554432000 4194304 4196468 140736632897488 140314449266928 140316250864258 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32178176 140736632898706 140736632898883 140736632898883 140736632901583 0
[pid=30483/tid=30500] ppid=30481 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7
/proc/30483/task/30500/stat : 30500 (java) R 30481 30481 30115 0 -1 4202560 742 0 0 0 7 0 0 0 20 0 20 0 109102125 26628161536 10297 33554432000 4194304 4196468 140736632897488 140314448214384 140316250874458 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32178176 140736632898706 140736632898883 140736632898883 140736632901583 0
[pid=30483/tid=30501] ppid=30481 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/30483/task/30501/stat : 30501 (java) S 30481 30481 30115 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 109102125 26628161536 10297 33554432000 4194304 4196468 140736632897488 140314447162080 140316250863317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32178176 140736632898706 140736632898883 140736632898883 140736632901583 0
[pid=30483/tid=30502] ppid=30481 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/30483/task/30502/stat : 30502 (java) S 30481 30481 30115 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109102126 26628161536 10297 33554432000 4194304 4196468 140736632897488 140314446109616 140316250864258 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32178176 140736632898706 140736632898883 140736632898883 140736632901583 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 42572 KiB

[startup+0.310747 s]*
/proc/loadavg: 6.50 7.29 7.48 3/200 30502
/proc/meminfo: memFree=28449948/32770624 swapFree=67108860/67108860
[pid=30481] ppid=30478 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/30481/stat : 30481 (xcsp3-exec) S 30478 30481 30115 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 109102119 9740288 346 33554432000 4194304 5098028 140728227013152 140728227011256 140343774601852 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38903808 140728227021925 140728227022135 140728227022135 140728227024875 0
/proc/30481/statm: 2378 346 289 221 0 87 0
[pid=30483] ppid=30481 vsize=26004064 memory=48380 CPUtime=0.51 cores=0-7
/proc/30483/stat : 30483 (java) S 30481 30481 30115 0 -1 1077944320 9342 0 0 0 47 4 0 0 20 0 20 0 109102119 26628161536 12095 33554432000 4194304 4196468 140736632897488 140736632880032 140316250853111 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32178176 140736632898706 140736632898883 140736632898883 140736632901583 0
/proc/30483/statm: 6501016 12095 3071 1 0 6488269 0
[pid=30483/tid=30484] ppid=30481 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/30483/task/30484/stat : 30484 (java) R 30481 30481 30115 0 -1 4202560 6153 0 0 0 27 2 0 0 20 0 20 0 109102120 26628161536 12095 33554432000 4194304 4196468 140736632897488 140316255091504 140316250865046 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32178176 140736632898706 140736632898883 140736632898883 140736632901583 0
[pid=30483/tid=30485] ppid=30481 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/30483/task/30485/stat : 30485 (java) S 30481 30481 30115 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109102121 26628161536 12095 33554432000 4194304 4196468 140736632897488 140316203473680 140316250863317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32178176 140736632898706 140736632898883 140736632898883 140736632901583 0
[pid=30483/tid=30486] ppid=30481 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/30483/task/30486/stat : 30486 (java) S 30481 30481 30115 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109102121 26628161536 12095 33554432000 4194304 4196468 140736632897488 140316202421136 140316250863317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32178176 140736632898706 140736632898883 140736632898883 140736632901583 0
[pid=30483/tid=30487] ppid=30481 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/30483/task/30487/stat : 30487 (java) S 30481 30481 30115 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109102121 26628161536 12095 33554432000 4194304 4196468 140736632897488 140316201368592 140316250863317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32178176 140736632898706 140736632898883 140736632898883 140736632901583 0
[pid=30483/tid=30488] ppid=30481 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/30483/task/30488/stat : 30488 (java) S 30481 30481 30115 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109102121 26628161536 12095 33554432000 4194304 4196468 140736632897488 140316200316048 140316250863317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32178176 140736632898706 140736632898883 140736632898883 140736632901583 0
[pid=30483/tid=30489] ppid=30481 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/30483/task/30489/stat : 30489 (java) S 30481 30481 30115 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109102121 26628161536 12095 33554432000 4194304 4196468 140736632897488 140316199262480 140316250863317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32178176 140736632898706 140736632898883 140736632898883 140736632901583 0
[pid=30483/tid=30490] ppid=30481 vsize=26004064 memory=140231957380271 CPUtime=0 cores=0-7
/proc/30483/task/30490/stat : 30490 (java) S 30481 30481 30115 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109102121 26628161536 12095 33554432000 4194304 4196468 140736632897488 140316198209936 140316250863317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32178176 140736632898706 140736632898883 140736632898883 140736632901583 0
[pid=30483/tid=30491] ppid=30481 vsize=26004064 memory=140231957382576 CPUtime=0 cores=0-7
/proc/30483/task/30491/stat : 30491 (java) S 30481 30481 30115 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109102121 26628161536 12095 33554432000 4194304 4196468 140736632897488 140316197157392 140316250863317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32178176 140736632898706 140736632898883 140736632898883 140736632901583 0
[pid=30483/tid=30492] ppid=30481 vsize=26004064 memory=140231957384880 CPUtime=0 cores=0-7
/proc/30483/task/30492/stat : 30492 (java) S 30481 30481 30115 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 109102121 26628161536 12095 33554432000 4194304 4196468 140736632897488 140316196104848 140316250863317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32178176 140736632898706 140736632898883 140736632898883 140736632901583 0
[pid=30483/tid=30493] ppid=30481 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/30483/task/30493/stat : 30493 (java) S 30481 30481 30115 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109102122 26628161536 12095 33554432000 4194304 4196468 140736632897488 140315378264560 140316250864258 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32178176 140736632898706 140736632898883 140736632898883 140736632901583 0
[pid=30483/tid=30494] ppid=30481 vsize=26004064 memory=280463914779024 CPUtime=0 cores=0-7
/proc/30483/task/30494/stat : 30494 (java) S 30481 30481 30115 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 109102122 26628161536 12095 33554432000 4194304 4196468 140736632897488 140315377210784 140316250863317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32178176 140736632898706 140736632898883 140736632898883 140736632901583 0
[pid=30483/tid=30495] ppid=30481 vsize=26004064 memory=280463914720304 CPUtime=0 cores=0-7
/proc/30483/task/30495/stat : 30495 (java) S 30481 30481 30115 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 109102123 26628161536 12095 33554432000 4194304 4196468 140736632897488 140315376158192 140316250863317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32178176 140736632898706 140736632898883 140736632898883 140736632901583 0
[pid=30483/tid=30496] ppid=30481 vsize=26004064 memory=280463914792848 CPUtime=0 cores=0-7
/proc/30483/task/30496/stat : 30496 (java) S 30481 30481 30115 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109102125 26628161536 12095 33554432000 4194304 4196468 140736632897488 140315375106768 140316250871707 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32178176 140736632898706 140736632898883 140736632898883 140736632901583 0
[pid=30483/tid=30497] ppid=30481 vsize=26004064 memory=280463914799760 CPUtime=0.01 cores=0-7
/proc/30483/task/30497/stat : 30497 (java) S 30481 30481 30115 0 -1 1077944384 393 0 0 0 1 0 0 0 20 0 20 0 109102125 26628161536 12095 33554432000 4194304 4196468 140736632897488 140314451372016 140316250864258 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32178176 140736632898706 140736632898883 140736632898883 140736632901583 0
[pid=30483/tid=30498] ppid=30481 vsize=26004064 memory=280463914797456 CPUtime=0.01 cores=0-7
/proc/30483/task/30498/stat : 30498 (java) S 30481 30481 30115 0 -1 1077944384 213 0 0 0 1 0 0 0 20 0 20 0 109102125 26628161536 12095 33554432000 4194304 4196468 140736632897488 140314450319472 140316250864258 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32178176 140736632898706 140736632898883 140736632898883 140736632901583 0
[pid=30483/tid=30499] ppid=30481 vsize=26004064 memory=280463914813584 CPUtime=0.03 cores=0-7
/proc/30483/task/30499/stat : 30499 (java) S 30481 30481 30115 0 -1 1077944384 386 0 0 0 3 0 0 0 20 0 20 0 109102125 26628161536 12095 33554432000 4194304 4196468 140736632897488 140314449266928 140316250864258 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32178176 140736632898706 140736632898883 140736632898883 140736632901583 0
[pid=30483/tid=30500] ppid=30481 vsize=26004064 memory=280463914811280 CPUtime=0.12 cores=0-7
/proc/30483/task/30500/stat : 30500 (java) S 30481 30481 30115 0 -1 1077944384 891 0 0 0 12 0 0 0 20 0 20 0 109102125 26628161536 12095 33554432000 4194304 4196468 140736632897488 140314448214384 140316250864258 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32178176 140736632898706 140736632898883 140736632898883 140736632901583 0
[pid=30483/tid=30501] ppid=30481 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/30483/task/30501/stat : 30501 (java) S 30481 30481 30115 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 109102125 26628161536 12095 33554432000 4194304 4196468 140736632897488 140314447162080 140316250863317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32178176 140736632898706 140736632898883 140736632898883 140736632901583 0
[pid=30483/tid=30502] ppid=30481 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/30483/task/30502/stat : 30502 (java) S 30481 30481 30115 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109102126 26628161536 12095 33554432000 4194304 4196468 140736632897488 140314446109616 140316250864258 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32178176 140736632898706 140736632898883 140736632898883 140736632901583 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 49764 KiB

[startup+0.701612 s]
/proc/loadavg: 6.50 7.29 7.48 8/200 30502
/proc/meminfo: memFree=28434796/32770624 swapFree=67108860/67108860
[pid=30481] ppid=30478 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/30481/stat : 30481 (xcsp3-exec) S 30478 30481 30115 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 109102119 9740288 346 33554432000 4194304 5098028 140728227013152 140728227011256 140343774601852 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38903808 140728227021925 140728227022135 140728227022135 140728227024875 0
/proc/30481/statm: 2378 346 289 221 0 87 0
[pid=30483] ppid=30481 vsize=26538700 memory=102532 CPUtime=2.03 cores=0-7
/proc/30483/stat : 30483 (java) S 30481 30481 30115 0 -1 1077944320 13452 0 0 0 196 7 0 0 20 0 28 0 109102119 27175628800 25633 33554432000 4194304 4196468 140736632897488 140736632880032 140316250853111 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32178176 140736632898706 140736632898883 140736632898883 140736632901583 0
/proc/30483/statm: 6634675 25633 3208 1 0 6621909 0
[pid=30483/tid=30484] ppid=30481 vsize=26538700 memory=0 CPUtime=0.61 cores=0-7
/proc/30483/task/30484/stat : 30484 (java) S 30481 30481 30115 0 -1 1077944384 6834 0 0 0 58 3 0 0 20 0 28 0 109102120 27175628800 25633 33554432000 4194304 4196468 140736632897488 140316255093888 140316250863317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32178176 140736632898706 140736632898883 140736632898883 140736632901583 0
[pid=30483/tid=30485] ppid=30481 vsize=26538700 memory=140231957591408 CPUtime=0 cores=0-7
/proc/30483/task/30485/stat : 30485 (java) S 30481 30481 30115 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 109102121 27175628800 25633 33554432000 4194304 4196468 140736632897488 140316203473680 140316250863317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32178176 140736632898706 140736632898883 140736632898883 140736632901583 0
[pid=30483/tid=30486] ppid=30481 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/30483/task/30486/stat : 30486 (java) S 30481 30481 30115 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 109102121 27175628800 25633 33554432000 4194304 4196468 140736632897488 140316202421136 140316250863317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32178176 140736632898706 140736632898883 140736632898883 140736632901583 0
[pid=30483/tid=30487] ppid=30481 vsize=26538700 memory=11008 CPUtime=0 cores=0-7
/proc/30483/task/30487/stat : 30487 (java) S 30481 30481 30115 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 109102121 27175628800 25633 33554432000 4194304 4196468 140736632897488 140316201368592 140316250863317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32178176 140736632898706 140736632898883 140736632898883 140736632901583 0

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

[pid=30483/tid=30509] ppid=30481 vsize=26538700 memory=1788 CPUtime=2455.87 cores=0-7
/proc/30483/task/30509/stat : 30509 (java) R 30481 30481 30115 0 -1 4202560 64073 0 0 0 245546 41 0 0 20 0 28 0 109102184 27175628800 141183 33554432000 4194304 4196468 140736632897488 140313558491152 140315867339952 0 4 0 16800975 0 0 0 -1 6 0 0 8 0 0 6293624 6294260 32178176 140736632898706 140736632898883 140736632898883 140736632901583 0
[pid=30483/tid=30510] ppid=30481 vsize=26538700 memory=952 CPUtime=2454.03 cores=0-7
/proc/30483/task/30510/stat : 30510 (java) R 30481 30481 30115 0 -1 4202560 14024 0 0 0 245386 17 0 0 20 0 28 0 109102184 27175628800 141183 33554432000 4194304 4196468 140736632897488 140313557438744 140315866408173 0 4 0 16800975 0 0 0 -1 4 0 0 7 0 0 6293624 6294260 32178176 140736632898706 140736632898883 140736632898883 140736632901583 0
Current children cumulated CPU time: 19759.5 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 566116 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.10 8.27 8.22 9/208 30590
/proc/meminfo: memFree=27950212/32770624 swapFree=67108860/67108860
[pid=30481] ppid=30478 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/30481/stat : 30481 (xcsp3-exec) S 30478 30481 30115 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 109102119 9740288 346 33554432000 4194304 5098028 140728227013152 140728227011256 140343774601852 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38903808 140728227021925 140728227022135 140728227022135 140728227024875 0
/proc/30481/statm: 2378 346 289 221 0 87 0
[pid=30483] ppid=30481 vsize=26538700 memory=546368 CPUtime=19899.9 cores=0-7
/proc/30483/stat : 30483 (java) S 30481 30481 30115 0 -1 1077944320 721870 0 0 0 1987978 2010 0 0 20 0 28 0 109102119 27175628800 136592 33554432000 4194304 4196468 140736632897488 140736632880032 140316250853111 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32178176 140736632898706 140736632898883 140736632898883 140736632901583 0
/proc/30483/statm: 6634675 136592 3293 1 0 6621909 0
[pid=30483/tid=30484] ppid=30481 vsize=26538700 memory=916 CPUtime=0.61 cores=0-7
/proc/30483/task/30484/stat : 30484 (java) S 30481 30481 30115 0 -1 1077944384 6834 0 0 0 58 3 0 0 20 0 28 0 109102120 27175628800 136592 33554432000 4194304 4196468 140736632897488 140316255093888 140316250863317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32178176 140736632898706 140736632898883 140736632898883 140736632901583 0
[pid=30483/tid=30485] ppid=30481 vsize=26538700 memory=4116 CPUtime=13.78 cores=0-7
/proc/30483/task/30485/stat : 30485 (java) S 30481 30481 30115 0 -1 1077944384 22559 0 0 0 1329 49 0 0 20 0 28 0 109102121 27175628800 136592 33554432000 4194304 4196468 140736632897488 140316203473680 140316250863317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 32178176 140736632898706 140736632898883 140736632898883 140736632901583 0
[pid=30483/tid=30486] ppid=30481 vsize=26538700 memory=1384 CPUtime=13.72 cores=0-7
/proc/30483/task/30486/stat : 30486 (java) S 30481 30481 30115 0 -1 1077944384 22811 0 0 0 1323 49 0 0 20 0 28 0 109102121 27175628800 136592 33554432000 4194304 4196468 140736632897488 140316202421136 140316250863317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 3 0 0 6293624 6294260 32178176 140736632898706 140736632898883 140736632898883 140736632901583 0
[pid=30483/tid=30487] ppid=30481 vsize=26538700 memory=4872558044660077418 CPUtime=13.75 cores=0-7
/proc/30483/task/30487/stat : 30487 (java) S 30481 30481 30115 0 -1 1077944384 22325 0 0 0 1326 49 0 0 20 0 28 0 109102121 27175628800 136592 33554432000 4194304 4196468 140736632897488 140316201368592 140316250863317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 32178176 140736632898706 140736632898883 140736632898883 140736632901583 0
[pid=30483/tid=30488] ppid=30481 vsize=26538700 memory=1152 CPUtime=13.71 cores=0-7
/proc/30483/task/30488/stat : 30488 (java) S 30481 30481 30115 0 -1 1077944384 22669 0 0 0 1323 48 0 0 20 0 28 0 109102121 27175628800 136592 33554432000 4194304 4196468 140736632897488 140316200316048 140316250863317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 32178176 140736632898706 140736632898883 140736632898883 140736632901583 0
[pid=30483/tid=30489] ppid=30481 vsize=26538700 memory=3820 CPUtime=13.8 cores=0-7
/proc/30483/task/30489/stat : 30489 (java) S 30481 30481 30115 0 -1 1077944384 19945 0 0 0 1332 48 0 0 20 0 28 0 109102121 27175628800 136592 33554432000 4194304 4196468 140736632897488 140316199262480 140316250863317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 32178176 140736632898706 140736632898883 140736632898883 140736632901583 0
[pid=30483/tid=30490] ppid=30481 vsize=26538700 memory=1384 CPUtime=13.8 cores=0-7
/proc/30483/task/30490/stat : 30490 (java) S 30481 30481 30115 0 -1 1077944384 21509 0 0 0 1330 50 0 0 20 0 28 0 109102121 27175628800 136592 33554432000 4194304 4196468 140736632897488 140316198209936 140316250863317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 32178176 140736632898706 140736632898883 140736632898883 140736632901583 0
[pid=30483/tid=30491] ppid=30481 vsize=26538700 memory=549440 CPUtime=13.77 cores=0-7
/proc/30483/task/30491/stat : 30491 (java) S 30481 30481 30115 0 -1 1077944384 24821 0 0 0 1328 49 0 0 20 0 28 0 109102121 27175628800 136592 33554432000 4194304 4196468 140736632897488 140316197157392 140316250863317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 32178176 140736632898706 140736632898883 140736632898883 140736632901583 0
[pid=30483/tid=30492] ppid=30481 vsize=26538700 memory=4100 CPUtime=13.79 cores=0-7
/proc/30483/task/30492/stat : 30492 (java) S 30481 30481 30115 0 -1 1077944384 25240 0 0 0 1331 48 0 0 20 0 28 0 109102121 27175628800 136592 33554432000 4194304 4196468 140736632897488 140316196104848 140316250863317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 32178176 140736632898706 140736632898883 140736632898883 140736632901583 0
[pid=30483/tid=30493] ppid=30481 vsize=26538700 memory=1398720917958146503 CPUtime=25.03 cores=0-7
/proc/30483/task/30493/stat : 30493 (java) S 30481 30481 30115 0 -1 1077944384 111450 0 0 0 1090 1413 0 0 20 0 28 0 109102122 27175628800 136592 33554432000 4194304 4196468 140736632897488 140315378264560 140316250864258 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32178176 140736632898706 140736632898883 140736632898883 140736632901583 0
[pid=30483/tid=30494] ppid=30481 vsize=26538700 memory=2428 CPUtime=0 cores=0-7
/proc/30483/task/30494/stat : 30494 (java) S 30481 30481 30115 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 109102122 27175628800 136592 33554432000 4194304 4196468 140736632897488 140315377210848 140316250863317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32178176 140736632898706 140736632898883 140736632898883 140736632901583 0
[pid=30483/tid=30495] ppid=30481 vsize=26538700 memory=1728 CPUtime=0 cores=0-7
/proc/30483/task/30495/stat : 30495 (java) S 30481 30481 30115 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 109102123 27175628800 136592 33554432000 4194304 4196468 140736632897488 140315376158208 140316250863317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32178176 140736632898706 140736632898883 140736632898883 140736632901583 0
[pid=30483/tid=30496] ppid=30481 vsize=26538700 memory=558064 CPUtime=0 cores=0-7
/proc/30483/task/30496/stat : 30496 (java) S 30481 30481 30115 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 109102125 27175628800 136592 33554432000 4194304 4196468 140736632897488 140315375106768 140316250871707 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32178176 140736632898706 140736632898883 140736632898883 140736632901583 0
[pid=30483/tid=30497] ppid=30481 vsize=26538700 memory=6791534058613427641 CPUtime=2.2 cores=0-7
/proc/30483/task/30497/stat : 30497 (java) S 30481 30481 30115 0 -1 1077944384 12362 0 0 0 218 2 0 0 20 0 28 0 109102125 27175628800 136592 33554432000 4194304 4196468 140736632897488 140314451372016 140316250864258 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32178176 140736632898706 140736632898883 140736632898883 140736632901583 0
[pid=30483/tid=30498] ppid=30481 vsize=26538700 memory=1716 CPUtime=2.26 cores=0-7
/proc/30483/task/30498/stat : 30498 (java) S 30481 30481 30115 0 -1 1077944384 9301 0 0 0 225 1 0 0 20 0 28 0 109102125 27175628800 136592 33554432000 4194304 4196468 140736632897488 140314450319472 140316250864258 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 10 0 0 6293624 6294260 32178176 140736632898706 140736632898883 140736632898883 140736632901583 0
[pid=30483/tid=30499] ppid=30481 vsize=26538700 memory=796 CPUtime=2.2 cores=0-7
/proc/30483/task/30499/stat : 30499 (java) S 30481 30481 30115 0 -1 1077944384 12311 0 0 0 217 3 0 0 20 0 28 0 109102125 27175628800 136592 33554432000 4194304 4196468 140736632897488 140314449266928 140316250864258 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32178176 140736632898706 140736632898883 140736632898883 140736632901583 0
[pid=30483/tid=30500] ppid=30481 vsize=26538700 memory=1952 CPUtime=0.64 cores=0-7
/proc/30483/task/30500/stat : 30500 (java) S 30481 30481 30115 0 -1 1077944384 6148 0 0 0 63 1 0 0 20 0 28 0 109102125 27175628800 136592 33554432000 4194304 4196468 140736632897488 140314448214384 140316250864258 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32178176 140736632898706 140736632898883 140736632898883 140736632901583 0
[pid=30483/tid=30501] ppid=30481 vsize=26538700 memory=1200 CPUtime=0 cores=0-7
/proc/30483/task/30501/stat : 30501 (java) S 30481 30481 30115 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 109102125 27175628800 136592 33554432000 4194304 4196468 140736632897488 140314447162080 140316250863317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32178176 140736632898706 140736632898883 140736632898883 140736632901583 0
[pid=30483/tid=30502] ppid=30481 vsize=26538700 memory=8564 CPUtime=0.7 cores=0-7
/proc/30483/task/30502/stat : 30502 (java) S 30481 30481 30115 0 -1 1077944384 3189 0 0 0 30 40 0 0 20 0 28 0 109102126 27175628800 136592 33554432000 4194304 4196468 140736632897488 140314446109616 140316250864258 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 7 0 0 6293624 6294260 32178176 140736632898706 140736632898883 140736632898883 140736632901583 0
[pid=30483/tid=30503] ppid=30481 vsize=26538700 memory=5516 CPUtime=2470.14 cores=0-7
/proc/30483/task/30503/stat : 30503 (java) R 30481 30481 30115 0 -1 4202560 78635 0 0 0 246985 29 0 0 20 0 28 0 109102183 27175628800 136592 33554432000 4194304 4196468 140736632897488 140314438098288 140315868716462 0 4 0 16800975 0 0 0 -1 0 0 0 7 0 0 6293624 6294260 32178176 140736632898706 140736632898883 140736632898883 140736632901583 0
[pid=30483/tid=30504] ppid=30481 vsize=26538700 memory=4616 CPUtime=2464.23 cores=0-7
/proc/30483/task/30504/stat : 30504 (java) R 30481 30481 30115 0 -1 4202560 16592 0 0 0 246404 19 0 0 20 0 28 0 109102183 27175628800 136592 33554432000 4194304 4196468 140736632897488 140314437046840 140315865690555 0 4 0 16800975 0 0 0 -1 5 0 0 6 0 0 6293624 6294260 32178176 140736632898706 140736632898883 140736632898883 140736632901583 0
[pid=30483/tid=30505] ppid=30481 vsize=26538700 memory=1008 CPUtime=2474.22 cores=0-7
/proc/30483/task/30505/stat : 30505 (java) R 30481 30481 30115 0 -1 4202560 123876 0 0 0 247360 62 0 0 20 0 28 0 109102183 27175628800 136592 33554432000 4194304 4196468 140736632897488 140314435992816 140315865690878 0 4 0 16800975 0 0 0 -1 1 0 0 9 0 0 6293624 6294260 32178176 140736632898706 140736632898883 140736632898883 140736632901583 0
[pid=30483/tid=30506] ppid=30481 vsize=26538700 memory=11008 CPUtime=2472.15 cores=0-7
/proc/30483/task/30506/stat : 30506 (java) R 30481 30481 30115 0 -1 4202560 47044 0 0 0 247191 24 0 0 20 0 28 0 109102183 27175628800 136592 33554432000 4194304 4196468 140736632897488 140313561648704 140315866406670 0 4 0 16800975 0 0 0 -1 6 0 0 7 0 0 6293624 6294260 32178176 140736632898706 140736632898883 140736632898883 140736632901583 0
[pid=30483/tid=30507] ppid=30481 vsize=26538700 memory=1228 CPUtime=2467.99 cores=0-7
/proc/30483/task/30507/stat : 30507 (java) R 30481 30481 30115 0 -1 4202560 12078 0 0 0 246780 19 0 0 20 0 28 0 109102183 27175628800 136592 33554432000 4194304 4196468 140736632897488 140313560596656 140315865687295 0 4 0 16800975 0 0 0 -1 3 0 0 8 0 0 6293624 6294260 32178176 140736632898706 140736632898883 140736632898883 140736632901583 0
[pid=30483/tid=30508] ppid=30481 vsize=26538700 memory=1384 CPUtime=2462.23 cores=0-7
/proc/30483/task/30508/stat : 30508 (java) R 30481 30481 30115 0 -1 4202560 20720 0 0 0 246195 28 0 0 20 0 28 0 109102183 27175628800 136592 33554432000 4194304 4196468 140736632897488 140313559544472 140315868313970 0 4 0 16800975 0 0 0 -1 7 0 0 7 0 0 6293624 6294260 32178176 140736632898706 140736632898883 140736632898883 140736632901583 0
[pid=30483/tid=30509] ppid=30481 vsize=26538700 memory=1228 CPUtime=2473.39 cores=0-7
/proc/30483/task/30509/stat : 30509 (java) R 30481 30481 30115 0 -1 4202560 64110 0 0 0 247298 41 0 0 20 0 28 0 109102184 27175628800 136592 33554432000 4194304 4196468 140736632897488 140313558494080 140315867340286 0 4 0 16800975 0 0 0 -1 2 0 0 8 0 0 6293624 6294260 32178176 140736632898706 140736632898883 140736632898883 140736632901583 0
[pid=30483/tid=30510] ppid=30481 vsize=26538700 memory=1420 CPUtime=2471.54 cores=0-7
/proc/30483/task/30510/stat : 30510 (java) R 30481 30481 30115 0 -1 4202560 14046 0 0 0 247137 17 0 0 20 0 28 0 109102184 27175628800 136592 33554432000 4194304 4196468 140736632897488 140313557438160 140315865690187 0 4 0 16800975 0 0 0 -1 4 0 0 7 0 0 6293624 6294260 32178176 140736632898706 140736632898883 140736632898883 140736632901583 0
Current children cumulated CPU time: 19899.9 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 547752 KiB

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

[startup+2520.04 s]
# the end of solver process 30481 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.000901 s, system=0.000901 s

[startup+2520.15 s]
# the end of solver process 30483 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=19880.7 s, system=20.1262 s
# this solver process was not waited by its parent and was adopted by runsolver

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+2520.13 s]*
/proc/loadavg: 8.10 8.27 8.22 12/207 30592
/proc/meminfo: memFree=27950732/32770624 swapFree=67108860/67108860
[pid=30483] ppid=30478 vsize=26671828 memory=545372 CPUtime=19900.8 cores=0-7
/proc/30483/stat : 30483 (java) S 30478 30481 30115 0 -1 1077944320 722009 0 0 0 1988070 2011 0 0 20 0 28 0 109102119 27311951872 136343 33554432000 4194304 4196468 140736632897488 140736632880032 140316250853111 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32178176 140736632898706 140736632898883 140736632898883 140736632901583 0
/proc/30483/statm: 6667957 136343 3295 1 0 6655191 0
[pid=30483/tid=30484] ppid=30478 vsize=26671828 memory=1398720917958146503 CPUtime=0.61 cores=0-7
/proc/30483/task/30484/stat : 30484 (java) S 30478 30481 30115 0 -1 1077944384 6834 0 0 0 58 3 0 0 20 0 28 0 109102120 27311951872 136343 33554432000 4194304 4196468 140736632897488 140316255093888 140316250863317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32178176 140736632898706 140736632898883 140736632898883 140736632901583 0
[pid=30483/tid=30485] ppid=30478 vsize=26671828 memory=4872558044660077418 CPUtime=13.79 cores=0-7
/proc/30483/task/30485/stat : 30485 (java) S 30478 30481 30115 0 -1 1077944384 22560 0 0 0 1330 49 0 0 20 0 28 0 109102121 27311951872 136343 33554432000 4194304 4196468 140736632897488 140316203473680 140316250863317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 32178176 140736632898706 140736632898883 140736632898883 140736632901583 0
[pid=30483/tid=30486] ppid=30478 vsize=26671828 memory=2240 CPUtime=13.72 cores=0-7
/proc/30483/task/30486/stat : 30486 (java) S 30478 30481 30115 0 -1 1077944384 22818 0 0 0 1323 49 0 0 20 0 28 0 109102121 27311951872 136343 33554432000 4194304 4196468 140736632897488 140316202421136 140316250863317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 32178176 140736632898706 140736632898883 140736632898883 140736632901583 0
[pid=30483/tid=30487] ppid=30478 vsize=26671828 memory=4128 CPUtime=13.75 cores=0-7
/proc/30483/task/30487/stat : 30487 (java) S 30478 30481 30115 0 -1 1077944384 22325 0 0 0 1326 49 0 0 20 0 28 0 109102121 27311951872 136343 33554432000 4194304 4196468 140736632897488 140316201368592 140316250863317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 32178176 140736632898706 140736632898883 140736632898883 140736632901583 0
[pid=30483/tid=30488] ppid=30478 vsize=26671828 memory=303430223234596890 CPUtime=13.71 cores=0-7
/proc/30483/task/30488/stat : 30488 (java) S 30478 30481 30115 0 -1 1077944384 22669 0 0 0 1323 48 0 0 20 0 28 0 109102121 27311951872 136343 33554432000 4194304 4196468 140736632897488 140316200316048 140316250863317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 32178176 140736632898706 140736632898883 140736632898883 140736632901583 0
[pid=30483/tid=30489] ppid=30478 vsize=26671828 memory=288230621803970871 CPUtime=13.81 cores=0-7
/proc/30483/task/30489/stat : 30489 (java) S 30478 30481 30115 0 -1 1077944384 19945 0 0 0 1333 48 0 0 20 0 28 0 109102121 27311951872 136343 33554432000 4194304 4196468 140736632897488 140316199262480 140316250863317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 32178176 140736632898706 140736632898883 140736632898883 140736632901583 0
[pid=30483/tid=30490] ppid=30478 vsize=26671828 memory=13855183067154599 CPUtime=13.81 cores=0-7
/proc/30483/task/30490/stat : 30490 (java) S 30478 30481 30115 0 -1 1077944384 21510 0 0 0 1331 50 0 0 20 0 28 0 109102121 27311951872 136343 33554432000 4194304 4196468 140736632897488 140316198209936 140316250863317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 32178176 140736632898706 140736632898883 140736632898883 140736632901583 0
[pid=30483/tid=30491] ppid=30478 vsize=26671828 memory=2428 CPUtime=13.78 cores=0-7
/proc/30483/task/30491/stat : 30491 (java) S 30478 30481 30115 0 -1 1077944384 24821 0 0 0 1329 49 0 0 20 0 28 0 109102121 27311951872 136343 33554432000 4194304 4196468 140736632897488 140316197157392 140316250863317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 32178176 140736632898706 140736632898883 140736632898883 140736632901583 0
[pid=30483/tid=30492] ppid=30478 vsize=26671828 memory=1728 CPUtime=13.8 cores=0-7
/proc/30483/task/30492/stat : 30492 (java) S 30478 30481 30115 0 -1 1077944384 25243 0 0 0 1332 48 0 0 20 0 28 0 109102121 27311951872 136343 33554432000 4194304 4196468 140736632897488 140316196104848 140316250863317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 32178176 140736632898706 140736632898883 140736632898883 140736632901583 0
[pid=30483/tid=30493] ppid=30478 vsize=26671828 memory=1716 CPUtime=25.04 cores=0-7
/proc/30483/task/30493/stat : 30493 (java) R 30478 30481 30115 0 -1 4202560 111450 0 0 0 1091 1413 0 0 20 0 28 0 109102122 27311951872 136343 33554432000 4194304 4196468 140736632897488 140315378264696 140316243481319 0 0 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32178176 140736632898706 140736632898883 140736632898883 140736632901583 0
[pid=30483/tid=30494] ppid=30478 vsize=26671828 memory=796 CPUtime=0 cores=0-7
/proc/30483/task/30494/stat : 30494 (java) S 30478 30481 30115 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 109102122 27311951872 136343 33554432000 4194304 4196468 140736632897488 140315377210848 140316250863317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32178176 140736632898706 140736632898883 140736632898883 140736632901583 0
[pid=30483/tid=30495] ppid=30478 vsize=26671828 memory=1952 CPUtime=0 cores=0-7
/proc/30483/task/30495/stat : 30495 (java) S 30478 30481 30115 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 109102123 27311951872 136343 33554432000 4194304 4196468 140736632897488 140315376158208 140316250863317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32178176 140736632898706 140736632898883 140736632898883 140736632901583 0
[pid=30483/tid=30496] ppid=30478 vsize=26671828 memory=1200 CPUtime=0 cores=0-7
/proc/30483/task/30496/stat : 30496 (java) S 30478 30481 30115 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 28 0 109102125 27311951872 136343 33554432000 4194304 4196468 140736632897488 140315375105824 140316250863317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32178176 140736632898706 140736632898883 140736632898883 140736632901583 0
[pid=30483/tid=30497] ppid=30478 vsize=26671828 memory=0 CPUtime=2.2 cores=0-7
/proc/30483/task/30497/stat : 30497 (java) S 30478 30481 30115 0 -1 1077944384 12362 0 0 0 218 2 0 0 20 0 28 0 109102125 27311951872 136343 33554432000 4194304 4196468 140736632897488 140314451372016 140316250864258 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32178176 140736632898706 140736632898883 140736632898883 140736632901583 0
[pid=30483/tid=30498] ppid=30478 vsize=26671828 memory=8514726395714825349 CPUtime=2.26 cores=0-7
/proc/30483/task/30498/stat : 30498 (java) S 30478 30481 30115 0 -1 1077944384 9301 0 0 0 225 1 0 0 20 0 28 0 109102125 27311951872 136343 33554432000 4194304 4196468 140736632897488 140314450319472 140316250864258 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 10 0 0 6293624 6294260 32178176 140736632898706 140736632898883 140736632898883 140736632901583 0
[pid=30483/tid=30499] ppid=30478 vsize=26671828 memory=-6520471753822164382 CPUtime=2.2 cores=0-7
/proc/30483/task/30499/stat : 30499 (java) S 30478 30481 30115 0 -1 1077944384 12311 0 0 0 217 3 0 0 20 0 28 0 109102125 27311951872 136343 33554432000 4194304 4196468 140736632897488 140314449266928 140316250864258 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32178176 140736632898706 140736632898883 140736632898883 140736632901583 0
[pid=30483/tid=30500] ppid=30478 vsize=26671828 memory=-8412656567318647667 CPUtime=0.64 cores=0-7
/proc/30483/task/30500/stat : 30500 (java) S 30478 30481 30115 0 -1 1077944384 6148 0 0 0 63 1 0 0 20 0 28 0 109102125 27311951872 136343 33554432000 4194304 4196468 140736632897488 140314448214384 140316250864258 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32178176 140736632898706 140736632898883 140736632898883 140736632901583 0
[pid=30483/tid=30501] ppid=30478 vsize=26671828 memory=9047017150487036575 CPUtime=0 cores=0-7
/proc/30483/task/30501/stat : 30501 (java) S 30478 30481 30115 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 109102125 27311951872 136343 33554432000 4194304 4196468 140736632897488 140314447162080 140316250863317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32178176 140736632898706 140736632898883 140736632898883 140736632901583 0
[pid=30483/tid=30503] ppid=30478 vsize=26671828 memory=1228 CPUtime=2470.25 cores=0-7
/proc/30483/task/30503/stat : 30503 (java) S 30478 30481 30115 0 -1 1077944384 78635 0 0 0 246996 29 0 0 20 0 28 0 109102183 27311951872 136343 33554432000 4194304 4196468 140736632897488 140314438097920 140316250863317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 7 0 0 6293624 6294260 32178176 140736632898706 140736632898883 140736632898883 140736632901583 0
[pid=30483/tid=30504] ppid=30478 vsize=26671828 memory=1420 CPUtime=2464.34 cores=0-7
/proc/30483/task/30504/stat : 30504 (java) S 30478 30481 30115 0 -1 1077944384 16593 0 0 0 246415 19 0 0 20 0 28 0 109102183 27311951872 136343 33554432000 4194304 4196468 140736632897488 140314437046224 140316250863317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 6 0 0 6293624 6294260 32178176 140736632898706 140736632898883 140736632898883 140736632901583 0
[pid=30483/tid=30505] ppid=30478 vsize=26671828 memory=15872 CPUtime=2474.33 cores=0-7
/proc/30483/task/30505/stat : 30505 (java) S 30478 30481 30115 0 -1 1077944384 123876 0 0 0 247371 62 0 0 20 0 28 0 109102183 27311951872 136343 33554432000 4194304 4196468 140736632897488 140314435993152 140316250863317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 9 0 0 6293624 6294260 32178176 140736632898706 140736632898883 140736632898883 140736632901583 0
[pid=30483/tid=30506] ppid=30478 vsize=26671828 memory=16448 CPUtime=2472.25 cores=0-7
/proc/30483/task/30506/stat : 30506 (java) S 30478 30481 30115 0 -1 1077944384 47044 0 0 0 247201 24 0 0 20 0 28 0 109102183 27311951872 136343 33554432000 4194304 4196468 140736632897488 140313561648784 140316250863317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 7 0 0 6293624 6294260 32178176 140736632898706 140736632898883 140736632898883 140736632901583 0
[pid=30483/tid=30507] ppid=30478 vsize=26671828 memory=17292 CPUtime=2468.09 cores=0-7
/proc/30483/task/30507/stat : 30507 (java) S 30478 30481 30115 0 -1 1077944384 12078 0 0 0 246790 19 0 0 20 0 28 0 109102183 27311951872 136343 33554432000 4194304 4196468 140736632897488 140313560595792 140316250863317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 8 0 0 6293624 6294260 32178176 140736632898706 140736632898883 140736632898883 140736632901583 0
[pid=30483/tid=30508] ppid=30478 vsize=26671828 memory=4048 CPUtime=2462.33 cores=0-7
/proc/30483/task/30508/stat : 30508 (java) S 30478 30481 30115 0 -1 1077944384 20720 0 0 0 246205 28 0 0 20 0 28 0 109102183 27311951872 136343 33554432000 4194304 4196468 140736632897488 140313559543696 140316250863317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 7 0 0 6293624 6294260 32178176 140736632898706 140736632898883 140736632898883 140736632901583 0
[pid=30483/tid=30509] ppid=30478 vsize=26671828 memory=1236 CPUtime=2473.51 cores=0-7
/proc/30483/task/30509/stat : 30509 (java) S 30478 30481 30115 0 -1 1077944384 64110 0 0 0 247310 41 0 0 20 0 28 0 109102184 27311951872 136343 33554432000 4194304 4196468 140736632897488 140313558491152 140316250863317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 8 0 0 6293624 6294260 32178176 140736632898706 140736632898883 140736632898883 140736632901583 0
[pid=30483/tid=30510] ppid=30478 vsize=26671828 memory=644 CPUtime=2471.64 cores=0-7
/proc/30483/task/30510/stat : 30510 (java) S 30478 30481 30115 0 -1 1077944384 14046 0 0 0 247147 17 0 0 20 0 28 0 109102184 27311951872 136343 33554432000 4194304 4196468 140736632897488 140313557438160 140316250863317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 7 0 0 6293624 6294260 32178176 140736632898706 140736632898883 140736632898883 140736632901583 0
[pid=30483/tid=30591] ppid=30478 vsize=26671828 memory=1788 CPUtime=0 cores=0-7
/proc/30483/task/30591/stat : 30591 (java) S 30478 30481 30115 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 28 0 109354124 27311951872 136343 33554432000 4194304 4196468 140736632897488 140313556390640 140316250863317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32178176 140736632898706 140736632898883 140736632898883 140736632901583 0
Current cumulated CPU time of completed processes: 0.001802 s
Current children cumulated CPU time: 19900.8 s
Current children cumulated vsize: 26671828 KiB
Current children cumulated memory: 545372 KiB

Child status: 143
Real time (s): 2520.15
CPU time (s): 19900.8
CPU user time (s): 19880.7
CPU system time (s): 20.1262
CPU usage (%): 789.67
Max. virtual memory (cumulated for all children) (KiB): 26671828
Max. memory (cumulated for all children) (KiB): 1165944

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19880.7
system time used= 20.1262
maximum resident set size= 1170808
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 722548
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3280
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 272281
involuntary context switches= 222820


# summary of solver processes directly reported to runsolver:
#   pid: 30481,30483
#   total CPU time (s): 19900.8
#   total CPU user time (s): 19880.7
#   total CPU system time (s): 20.1262

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 25.0909 second user time and 25.0863 second system time

The end

Launcher Data 

Begin job on node104 at 2017-08-15 03:08:04
IDJOB=4271010
IDBENCH=133588
IDSOLVER=2662
FILE ID=node104/4271010-1502760142
RUNJOBID= node104-1502756729-30142
PBS_JOBID= 20629084
Free space on /tmp= 61864 MiB

SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/MagicHexagon/MagicHexagon-m1-s1/MagicHexagon-10-m021.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-4271010-1502760142/watcher-4271010-1502760142 -o /tmp/evaluation-result-4271010-1502760142/solver-4271010-1502760142 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node104-1502756729-30142 --watchdog 2580  ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 512058225 HOME/instance-4271010-1502760142.xml

TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8

MD5SUM BENCH= bb8f18d9394a9daa2d276ef3f55d21f6
RANDOM SEED=512058225

node104.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.43
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.43
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.43
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.43
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:        28486148 kB
MemAvailable:   31979164 kB
Buffers:          209432 kB
Cached:          3561984 kB
SwapCached:            0 kB
Active:           421632 kB
Inactive:        3401560 kB
Active(anon):      54396 kB
Inactive(anon):    25036 kB
Active(file):     367236 kB
Inactive(file):  3376524 kB
Unevictable:        6532 kB
Mlocked:            6532 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7784 kB
Writeback:           168 kB
AnonPages:         57304 kB
Mapped:            45792 kB
Shmem:             25260 kB
Slab:             155960 kB
SReclaimable:     130180 kB
SUnreclaim:        25780 kB
KernelStack:        3568 kB
PageTables:         5100 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     324032 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      4096 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      112000 kB
DirectMap2M:    33433600 kB

Free space on /tmp at the end= 61856 MiB
End job on node104 at 2017-08-15 03:50:04