Trace number 4404411

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 2019-09-20 parallel? (TO) 19983.9 2520.19

General information on the benchmark

NameFischer/Fischer-m1-s1/
Fischer-10-06-fair.xml
MD5SUM93355dee8c41895d58696aeae14790df
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark15.4169
Satisfiable
(Un)Satisfiability was proved
Number of variables16091
Number of constraints15232
Number of domains3
Minimum domain size2
Maximum domain size20001
Distribution of domain sizes[{"size":2,"count":2156},{"size":201,"count":77},{"size":20001,"count":13858}]
Minimum variable degree2
Maximum variable degree131
Distribution of variable degrees[{"degree":2,"count":14227},{"degree":3,"count":360},{"degree":4,"count":36},{"degree":5,"count":180},{"degree":6,"count":109},{"degree":7,"count":310},{"degree":8,"count":413},{"degree":9,"count":246},{"degree":10,"count":22},{"degree":11,"count":13},{"degree":12,"count":72},{"degree":13,"count":70},{"degree":22,"count":1},{"degree":32,"count":7},{"degree":52,"count":7},{"degree":54,"count":4},{"degree":64,"count":1},{"degree":73,"count":6},{"degree":114,"count":2},{"degree":115,"count":4},{"degree":131,"count":1}]
Minimum constraint arity1
Maximum constraint arity3
Distribution of constraint arities[{"arity":1,"count":2},{"arity":2,"count":2488},{"arity":3,"count":12742}]
Number of extensional constraints0
Number of intensional constraints15232
Distribution of constraint types[{"type":"intension","count":15232}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4404411-1569009065.xml"  -tl '20160s' -p 8
0.12/0.18	c Choco 3fb4b153
0.12/0.18	c [HOME/instance-4404411-1569009065.xml, -tl, 20160s, -p, 8]
0.34/0.22	c 8 solvers in parallel
0.34/0.28	c parse instance...
40.85/9.97	c solve instance...
19983.02/2520.08	s UNKNOWN
19983.02/2520.08	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 (12479 MiB free)
  memory of node 1: 16384 MiB (12828 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4404411-1569009065/watcher-4404411-1569009065 -o /var/tmp/evaluation-result-4404411-1569009065/solver-4404411-1569009065 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node145-1569004901-751 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1764929651 HOME/instance-4404411-1569009065.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 thread7.x86_64
, 1404, runsolver pid=
1401
Starting watchdog thread7.x86_64
, 1404, runsolver pid=
Current StackSize limit: 8192 KiB


[startup+0.100133 s]*
/proc/loadavg: 6.41 7.08 6.70 2/212 1425
/proc/meminfo: memFree=25898204/32770624 swapFree=66966864/67108860
[pid=1404] ppid=1401 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/1404/stat : 1404 (xcsp3-exec) S 1401 1404 724 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 476843007 115843072 362 33554432000 4194304 5098028 140732845780944 140732845779048 140145137848956 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 14467072 140732845790033 140732845790293 140732845790293 140732845793222 0
/proc/1404/statm: 28282 362 304 221 0 87 0
[pid=1406] ppid=1404 vsize=28227396 memory=28944 CPUtime=0.12 cores=0-7
/proc/1406/stat : 1406 (java) S 1404 1404 724 0 -1 1077944320 5712 0 0 0 11 1 0 0 20 0 20 0 476843007 28904853504 7236 33554432000 4194304 4196468 140730877905952 140730877888496 139828161748727 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21192704 140730877912022 140730877912198 140730877912198 140730877915087 0
/proc/1406/statm: 7056849 7236 3121 1 0 7019032 0
[pid=1406/tid=1407] ppid=1404 vsize=28227396 memory=8390339637985935414 CPUtime=0.08 cores=0-7
/proc/1406/task/1407/stat : 1407 (java) R 1404 1404 724 0 -1 4202560 3628 0 0 0 8 0 0 0 20 0 20 0 476843007 28904853504 7236 33554432000 4194304 4196468 140730877905952 139828165975312 139828161760662 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21192704 140730877912022 140730877912198 140730877912198 140730877915087 0
[pid=1406/tid=1408] ppid=1404 vsize=28227396 memory=288230596118052887 CPUtime=0 cores=0-7
/proc/1406/task/1408/stat : 1408 (java) S 1404 1404 724 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476843008 28904853504 7236 33554432000 4194304 4196468 140730877905952 139828114368912 139828161758933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21192704 140730877912022 140730877912198 140730877912198 140730877915087 0
[pid=1406/tid=1409] ppid=1404 vsize=28227396 memory=139761535731456 CPUtime=0 cores=0-7
/proc/1406/task/1409/stat : 1409 (java) S 1404 1404 724 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476843008 28904853504 7236 33554432000 4194304 4196468 140730877905952 139828113316112 139828161758933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21192704 140730877912022 140730877912198 140730877912198 140730877915087 0
[pid=1406/tid=1410] ppid=1404 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/1406/task/1410/stat : 1410 (java) S 1404 1404 724 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476843008 28904853504 7236 33554432000 4194304 4196468 140730877905952 139828112263824 139828161758933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21192704 140730877912022 140730877912198 140730877912198 140730877915087 0
[pid=1406/tid=1411] ppid=1404 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1406/task/1411/stat : 1411 (java) S 1404 1404 724 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476843008 28904853504 7236 33554432000 4194304 4196468 140730877905952 139828111211024 139828161758933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21192704 140730877912022 140730877912198 140730877912198 140730877915087 0
[pid=1406/tid=1412] ppid=1404 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1406/task/1412/stat : 1412 (java) S 1404 1404 724 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476843008 28904853504 7236 33554432000 4194304 4196468 140730877905952 139828110158736 139828161758933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21192704 140730877912022 140730877912198 140730877912198 140730877915087 0
[pid=1406/tid=1413] ppid=1404 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/1406/task/1413/stat : 1413 (java) S 1404 1404 724 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476843008 28904853504 7236 33554432000 4194304 4196468 140730877905952 139828109105936 139828161758933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21192704 140730877912022 140730877912198 140730877912198 140730877915087 0
[pid=1406/tid=1414] ppid=1404 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1406/task/1414/stat : 1414 (java) S 1404 1404 724 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476843008 28904853504 7236 33554432000 4194304 4196468 140730877905952 139828108053648 139828161758933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21192704 140730877912022 140730877912198 140730877912198 140730877915087 0
[pid=1406/tid=1415] ppid=1404 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1406/task/1415/stat : 1415 (java) S 1404 1404 724 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476843008 28904853504 7236 33554432000 4194304 4196468 140730877905952 139828107000848 139828161758933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21192704 140730877912022 140730877912198 140730877912198 140730877915087 0
[pid=1406/tid=1416] ppid=1404 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1406/task/1416/stat : 1416 (java) S 1404 1404 724 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476843010 28904853504 7236 33554432000 4194304 4196468 140730877905952 139827210815600 139828161759874 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21192704 140730877912022 140730877912198 140730877912198 140730877915087 0
[pid=1406/tid=1417] ppid=1404 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1406/task/1417/stat : 1417 (java) S 1404 1404 724 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476843010 28904853504 7236 33554432000 4194304 4196468 140730877905952 139827209761568 139828161758933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21192704 140730877912022 140730877912198 140730877912198 140730877915087 0
[pid=1406/tid=1418] ppid=1404 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1406/task/1418/stat : 1418 (java) S 1404 1404 724 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476843010 28904853504 7236 33554432000 4194304 4196468 140730877905952 139827208709232 139828161758933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21192704 140730877912022 140730877912198 140730877912198 140730877915087 0
[pid=1406/tid=1419] ppid=1404 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1406/task/1419/stat : 1419 (java) S 1404 1404 724 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476843013 28904853504 7236 33554432000 4194304 4196468 140730877905952 139827207657552 139828161767323 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21192704 140730877912022 140730877912198 140730877912198 140730877915087 0
[pid=1406/tid=1420] ppid=1404 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1406/task/1420/stat : 1420 (java) S 1404 1404 724 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 20 0 476843013 28904853504 7236 33554432000 4194304 4196468 140730877905952 139827206605424 139828161759874 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21192704 140730877912022 140730877912198 140730877912198 140730877915087 0
[pid=1406/tid=1421] ppid=1404 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1406/task/1421/stat : 1421 (java) S 1404 1404 724 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476843013 28904853504 7236 33554432000 4194304 4196468 140730877905952 139827205552624 139828161759874 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21192704 140730877912022 140730877912198 140730877912198 140730877915087 0
[pid=1406/tid=1422] ppid=1404 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/1406/task/1422/stat : 1422 (java) S 1404 1404 724 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 20 0 476843013 28904853504 7236 33554432000 4194304 4196468 140730877905952 139827204500336 139828161759874 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21192704 140730877912022 140730877912198 140730877912198 140730877915087 0
[pid=1406/tid=1423] ppid=1404 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/1406/task/1423/stat : 1423 (java) R 1404 1404 724 0 -1 4202560 350 0 0 0 2 0 0 0 20 0 20 0 476843013 28904853504 7236 33554432000 4194304 4196468 140730877905952 139827203447536 139828161770074 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21192704 140730877912022 140730877912198 140730877912198 140730877915087 0
[pid=1406/tid=1424] ppid=1404 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1406/task/1424/stat : 1424 (java) S 1404 1404 724 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476843013 28904853504 7236 33554432000 4194304 4196468 140730877905952 139827202394464 139828161758933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21192704 140730877912022 140730877912198 140730877912198 140730877915087 0
[pid=1406/tid=1425] ppid=1404 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/1406/task/1425/stat : 1425 (java) S 1404 1404 724 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476843013 28904853504 7236 33554432000 4194304 4196468 140730877905952 139827201341744 139828161759874 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21192704 140730877912022 140730877912198 140730877912198 140730877915087 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 30392 KiB

[startup+0.210755 s]*
/proc/loadavg: 6.41 7.08 6.70 2/212 1425
/proc/meminfo: memFree=25886180/32770624 swapFree=66966864/67108860
[pid=1404] ppid=1401 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/1404/stat : 1404 (xcsp3-exec) S 1401 1404 724 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 476843007 115843072 362 33554432000 4194304 5098028 140732845780944 140732845779048 140145137848956 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 14467072 140732845790033 140732845790293 140732845790293 140732845793222 0
/proc/1404/statm: 28282 362 304 221 0 87 0
[pid=1406] ppid=1404 vsize=28227396 memory=40120 CPUtime=0.34 cores=0-7
/proc/1406/stat : 1406 (java) S 1404 1404 724 0 -1 1077944320 9336 0 0 0 30 4 0 0 20 0 20 0 476843007 28904853504 10030 33554432000 4194304 4196468 140730877905952 140730877888496 139828161748727 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21192704 140730877912022 140730877912198 140730877912198 140730877915087 0
/proc/1406/statm: 7056849 10030 3238 1 0 7019032 0
[pid=1406/tid=1407] ppid=1404 vsize=28227396 memory=8390339637985935414 CPUtime=0.19 cores=0-7
/proc/1406/task/1407/stat : 1407 (java) R 1404 1404 724 0 -1 4202560 6603 0 0 0 17 2 0 0 20 0 20 0 476843007 28904853504 10030 33554432000 4194304 4196468 140730877905952 139828165981456 139828161760662 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21192704 140730877912022 140730877912198 140730877912198 140730877915087 0
[pid=1406/tid=1408] ppid=1404 vsize=28227396 memory=288230596118052887 CPUtime=0 cores=0-7
/proc/1406/task/1408/stat : 1408 (java) S 1404 1404 724 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476843008 28904853504 10030 33554432000 4194304 4196468 140730877905952 139828114368912 139828161758933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21192704 140730877912022 140730877912198 140730877912198 140730877915087 0
[pid=1406/tid=1409] ppid=1404 vsize=28227396 memory=139761535731456 CPUtime=0 cores=0-7
/proc/1406/task/1409/stat : 1409 (java) S 1404 1404 724 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476843008 28904853504 10030 33554432000 4194304 4196468 140730877905952 139828113316112 139828161758933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21192704 140730877912022 140730877912198 140730877912198 140730877915087 0
[pid=1406/tid=1410] ppid=1404 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/1406/task/1410/stat : 1410 (java) S 1404 1404 724 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476843008 28904853504 10030 33554432000 4194304 4196468 140730877905952 139828112263824 139828161758933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21192704 140730877912022 140730877912198 140730877912198 140730877915087 0
[pid=1406/tid=1411] ppid=1404 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1406/task/1411/stat : 1411 (java) S 1404 1404 724 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476843008 28904853504 10030 33554432000 4194304 4196468 140730877905952 139828111211024 139828161758933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21192704 140730877912022 140730877912198 140730877912198 140730877915087 0
[pid=1406/tid=1412] ppid=1404 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1406/task/1412/stat : 1412 (java) S 1404 1404 724 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476843008 28904853504 10030 33554432000 4194304 4196468 140730877905952 139828110158736 139828161758933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21192704 140730877912022 140730877912198 140730877912198 140730877915087 0
[pid=1406/tid=1413] ppid=1404 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/1406/task/1413/stat : 1413 (java) S 1404 1404 724 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476843008 28904853504 10030 33554432000 4194304 4196468 140730877905952 139828109105936 139828161758933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21192704 140730877912022 140730877912198 140730877912198 140730877915087 0
[pid=1406/tid=1414] ppid=1404 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1406/task/1414/stat : 1414 (java) S 1404 1404 724 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476843008 28904853504 10030 33554432000 4194304 4196468 140730877905952 139828108053648 139828161758933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21192704 140730877912022 140730877912198 140730877912198 140730877915087 0
[pid=1406/tid=1415] ppid=1404 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1406/task/1415/stat : 1415 (java) S 1404 1404 724 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476843008 28904853504 10030 33554432000 4194304 4196468 140730877905952 139828107000848 139828161758933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21192704 140730877912022 140730877912198 140730877912198 140730877915087 0
[pid=1406/tid=1416] ppid=1404 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1406/task/1416/stat : 1416 (java) S 1404 1404 724 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 476843010 28904853504 10030 33554432000 4194304 4196468 140730877905952 139827210815600 139828161759874 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21192704 140730877912022 140730877912198 140730877912198 140730877915087 0
[pid=1406/tid=1417] ppid=1404 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1406/task/1417/stat : 1417 (java) S 1404 1404 724 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476843010 28904853504 10030 33554432000 4194304 4196468 140730877905952 139827209761568 139828161758933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21192704 140730877912022 140730877912198 140730877912198 140730877915087 0
[pid=1406/tid=1418] ppid=1404 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1406/task/1418/stat : 1418 (java) S 1404 1404 724 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476843010 28904853504 10030 33554432000 4194304 4196468 140730877905952 139827208709232 139828161758933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21192704 140730877912022 140730877912198 140730877912198 140730877915087 0
[pid=1406/tid=1419] ppid=1404 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1406/task/1419/stat : 1419 (java) S 1404 1404 724 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476843013 28904853504 10030 33554432000 4194304 4196468 140730877905952 139827207657552 139828161767323 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21192704 140730877912022 140730877912198 140730877912198 140730877915087 0
[pid=1406/tid=1420] ppid=1404 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/1406/task/1420/stat : 1420 (java) S 1404 1404 724 0 -1 1077944384 366 0 0 0 1 0 0 0 20 0 20 0 476843013 28904853504 10030 33554432000 4194304 4196468 140730877905952 139827206605424 139828161759874 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21192704 140730877912022 140730877912198 140730877912198 140730877915087 0
[pid=1406/tid=1421] ppid=1404 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/1406/task/1421/stat : 1421 (java) S 1404 1404 724 0 -1 1077944384 137 0 0 0 2 0 0 0 20 0 20 0 476843013 28904853504 10030 33554432000 4194304 4196468 140730877905952 139827205552624 139828161759874 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21192704 140730877912022 140730877912198 140730877912198 140730877915087 0
[pid=1406/tid=1422] ppid=1404 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/1406/task/1422/stat : 1422 (java) S 1404 1404 724 0 -1 1077944384 129 0 0 0 0 0 0 0 20 0 20 0 476843013 28904853504 10030 33554432000 4194304 4196468 140730877905952 139827204500336 139828161759874 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21192704 140730877912022 140730877912198 140730877912198 140730877915087 0
[pid=1406/tid=1423] ppid=1404 vsize=28227396 memory=0 CPUtime=0.07 cores=0-7
/proc/1406/task/1423/stat : 1423 (java) R 1404 1404 724 0 -1 4202560 789 0 0 0 7 0 0 0 20 0 20 0 476843013 28904853504 10030 33554432000 4194304 4196468 140730877905952 139827203447344 139828145829214 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21192704 140730877912022 140730877912198 140730877912198 140730877915087 0
[pid=1406/tid=1424] ppid=1404 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1406/task/1424/stat : 1424 (java) S 1404 1404 724 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476843013 28904853504 10030 33554432000 4194304 4196468 140730877905952 139827202394464 139828161758933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21192704 140730877912022 140730877912198 140730877912198 140730877915087 0
[pid=1406/tid=1425] ppid=1404 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/1406/task/1425/stat : 1425 (java) S 1404 1404 724 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476843013 28904853504 10030 33554432000 4194304 4196468 140730877905952 139827201341744 139828161759874 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21192704 140730877912022 140730877912198 140730877912198 140730877915087 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 41568 KiB

[startup+0.310962 s]*
/proc/loadavg: 6.41 7.08 6.70 3/212 1425
/proc/meminfo: memFree=25878660/32770624 swapFree=66966864/67108860
[pid=1404] ppid=1401 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/1404/stat : 1404 (xcsp3-exec) S 1401 1404 724 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 476843007 115843072 362 33554432000 4194304 5098028 140732845780944 140732845779048 140145137848956 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 14467072 140732845790033 140732845790293 140732845790293 140732845793222 0
/proc/1404/statm: 28282 362 304 221 0 87 0
[pid=1406] ppid=1404 vsize=28231652 memory=49696 CPUtime=0.53 cores=0-7
/proc/1406/stat : 1406 (java) S 1404 1404 724 0 -1 1077944320 10745 0 0 0 48 5 0 0 20 0 20 0 476843007 28909211648 12424 33554432000 4194304 4196468 140730877905952 140730877888496 139828161748727 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21192704 140730877912022 140730877912198 140730877912198 140730877915087 0
/proc/1406/statm: 7057913 12424 3348 1 0 7019032 0
[pid=1406/tid=1407] ppid=1404 vsize=28231652 memory=51204 CPUtime=0.3 cores=0-7
/proc/1406/task/1407/stat : 1407 (java) R 1404 1404 724 0 -1 4202560 7751 0 0 0 27 3 0 0 20 0 20 0 476843007 28909211648 12424 33554432000 4194304 4196468 140730877905952 139828165982512 139828145829214 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21192704 140730877912022 140730877912198 140730877912198 140730877915087 0
[pid=1406/tid=1408] ppid=1404 vsize=28231652 memory=35 CPUtime=0 cores=0-7
/proc/1406/task/1408/stat : 1408 (java) S 1404 1404 724 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476843008 28909211648 12424 33554432000 4194304 4196468 140730877905952 139828114368912 139828161758933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21192704 140730877912022 140730877912198 140730877912198 140730877915087 0
[pid=1406/tid=1409] ppid=1404 vsize=28231652 memory=139761532280896 CPUtime=0 cores=0-7
/proc/1406/task/1409/stat : 1409 (java) S 1404 1404 724 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476843008 28909211648 12424 33554432000 4194304 4196468 140730877905952 139828113316112 139828161758933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21192704 140730877912022 140730877912198 140730877912198 140730877915087 0
[pid=1406/tid=1410] ppid=1404 vsize=28231652 memory=35 CPUtime=0 cores=0-7
/proc/1406/task/1410/stat : 1410 (java) S 1404 1404 724 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476843008 28909211648 12424 33554432000 4194304 4196468 140730877905952 139828112263824 139828161758933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21192704 140730877912022 140730877912198 140730877912198 140730877915087 0
[pid=1406/tid=1411] ppid=1404 vsize=28231652 memory=60388 CPUtime=0 cores=0-7
/proc/1406/task/1411/stat : 1411 (java) S 1404 1404 724 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476843008 28909211648 12424 33554432000 4194304 4196468 140730877905952 139828111211024 139828161758933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21192704 140730877912022 140730877912198 140730877912198 140730877915087 0
[pid=1406/tid=1412] ppid=1404 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/1406/task/1412/stat : 1412 (java) S 1404 1404 724 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476843008 28909211648 12424 33554432000 4194304 4196468 140730877905952 139828110158736 139828161758933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21192704 140730877912022 140730877912198 140730877912198 140730877915087 0
[pid=1406/tid=1413] ppid=1404 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/1406/task/1413/stat : 1413 (java) S 1404 1404 724 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476843008 28909211648 12424 33554432000 4194304 4196468 140730877905952 139828109105936 139828161758933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21192704 140730877912022 140730877912198 140730877912198 140730877915087 0
[pid=1406/tid=1414] ppid=1404 vsize=28231652 memory=3519576 CPUtime=0 cores=0-7
/proc/1406/task/1414/stat : 1414 (java) S 1404 1404 724 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476843008 28909211648 12424 33554432000 4194304 4196468 140730877905952 139828108053648 139828161758933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21192704 140730877912022 140730877912198 140730877912198 140730877915087 0
[pid=1406/tid=1415] ppid=1404 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/1406/task/1415/stat : 1415 (java) S 1404 1404 724 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476843008 28909211648 12424 33554432000 4194304 4196468 140730877905952 139828107000848 139828161758933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21192704 140730877912022 140730877912198 140730877912198 140730877915087 0
[pid=1406/tid=1416] ppid=1404 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/1406/task/1416/stat : 1416 (java) S 1404 1404 724 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 476843010 28909211648 12424 33554432000 4194304 4196468 140730877905952 139827210815600 139828161759874 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21192704 140730877912022 140730877912198 140730877912198 140730877915087 0
[pid=1406/tid=1417] ppid=1404 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/1406/task/1417/stat : 1417 (java) S 1404 1404 724 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476843010 28909211648 12424 33554432000 4194304 4196468 140730877905952 139827209761568 139828161758933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21192704 140730877912022 140730877912198 140730877912198 140730877915087 0
[pid=1406/tid=1418] ppid=1404 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/1406/task/1418/stat : 1418 (java) S 1404 1404 724 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476843010 28909211648 12424 33554432000 4194304 4196468 140730877905952 139827208709232 139828161758933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21192704 140730877912022 140730877912198 140730877912198 140730877915087 0
[pid=1406/tid=1419] ppid=1404 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/1406/task/1419/stat : 1419 (java) S 1404 1404 724 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476843013 28909211648 12424 33554432000 4194304 4196468 140730877905952 139827207657552 139828161767323 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21192704 140730877912022 140730877912198 140730877912198 140730877915087 0
[pid=1406/tid=1420] ppid=1404 vsize=28231652 memory=0 CPUtime=0.02 cores=0-7
/proc/1406/task/1420/stat : 1420 (java) S 1404 1404 724 0 -1 1077944384 366 0 0 0 2 0 0 0 20 0 20 0 476843013 28909211648 12424 33554432000 4194304 4196468 140730877905952 139827206605424 139828161759874 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21192704 140730877912022 140730877912198 140730877912198 140730877915087 0
[pid=1406/tid=1421] ppid=1404 vsize=28231652 memory=0 CPUtime=0.04 cores=0-7
/proc/1406/task/1421/stat : 1421 (java) R 1404 1404 724 0 -1 4202560 222 0 0 0 4 0 0 0 20 0 20 0 476843013 28909211648 12424 33554432000 4194304 4196468 140730877905952 139827205543008 139828139613593 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21192704 140730877912022 140730877912198 140730877912198 140730877915087 0
[pid=1406/tid=1422] ppid=1404 vsize=28231652 memory=0 CPUtime=0.01 cores=0-7
/proc/1406/task/1422/stat : 1422 (java) S 1404 1404 724 0 -1 1077944384 156 0 0 0 1 0 0 0 20 0 20 0 476843013 28909211648 12424 33554432000 4194304 4196468 140730877905952 139827204500336 139828161759874 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21192704 140730877912022 140730877912198 140730877912198 140730877915087 0
[pid=1406/tid=1423] ppid=1404 vsize=28231652 memory=0 CPUtime=0.13 cores=0-7
/proc/1406/task/1423/stat : 1423 (java) S 1404 1404 724 0 -1 1077944384 958 0 0 0 13 0 0 0 20 0 20 0 476843013 28909211648 12424 33554432000 4194304 4196468 140730877905952 139827203447536 139828161759874 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21192704 140730877912022 140730877912198 140730877912198 140730877915087 0
[pid=1406/tid=1424] ppid=1404 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/1406/task/1424/stat : 1424 (java) S 1404 1404 724 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476843013 28909211648 12424 33554432000 4194304 4196468 140730877905952 139827202394464 139828161758933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21192704 140730877912022 140730877912198 140730877912198 140730877915087 0
[pid=1406/tid=1425] ppid=1404 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/1406/task/1425/stat : 1425 (java) S 1404 1404 724 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476843013 28909211648 12424 33554432000 4194304 4196468 140730877905952 139827201341744 139828161759874 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21192704 140730877912022 140730877912198 140730877912198 140730877915087 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 51144 KiB

[startup+0.70104 s]
/proc/loadavg: 6.41 7.08 6.70 4/212 1425
/proc/meminfo: memFree=25848748/32770624 swapFree=66966864/67108860
[pid=1404] ppid=1401 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/1404/stat : 1404 (xcsp3-exec) S 1401 1404 724 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 476843007 115843072 362 33554432000 4194304 5098028 140732845780944 140732845779048 140145137848956 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 14467072 140732845790033 140732845790293 140732845790293 140732845793222 0
/proc/1404/statm: 28282 362 304 221 0 87 0
[pid=1406] ppid=1404 vsize=28233776 memory=122080 CPUtime=2.02 cores=0-7
/proc/1406/stat : 1406 (java) S 1404 1404 724 0 -1 1077944320 15118 0 0 0 195 7 0 0 20 0 20 0 476843007 28911386624 30520 33554432000 4194304 4196468 140730877905952 140730877888496 139828161748727 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21192704 140730877912022 140730877912198 140730877912198 140730877915087 0
/proc/1406/statm: 7058444 30520 3453 1 0 7019544 0
[pid=1406/tid=1407] ppid=1404 vsize=28233776 memory=988 CPUtime=0.67 cores=0-7
/proc/1406/task/1407/stat : 1407 (java) R 1404 1404 724 0 -1 4202560 8424 0 0 0 63 4 0 0 20 0 20 0 476843007 28911386624 30520 33554432000 4194304 4196468 140730877905952 139828165985464 139827781319579 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21192704 140730877912022 140730877912198 140730877912198 140730877915087 0
[pid=1406/tid=1408] ppid=1404 vsize=28233776 memory=2020 CPUtime=0 cores=0-7
/proc/1406/task/1408/stat : 1408 (java) S 1404 1404 724 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476843008 28911386624 30520 33554432000 4194304 4196468 140730877905952 139828114368912 139828161758933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21192704 140730877912022 140730877912198 140730877912198 140730877915087 0
[pid=1406/tid=1409] ppid=1404 vsize=28233776 memory=0 CPUtime=0 cores=0-7

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

[pid=1406/tid=1432] ppid=1404 vsize=28768336 memory=9660500 CPUtime=2440.68 cores=0-7
/proc/1406/task/1432/stat : 1432 (java) R 1404 1404 724 0 -1 4202560 89150 0 0 0 243961 107 0 0 20 0 28 0 476844012 29458776064 2415125 33554432000 4194304 4196468 140730877905952 139827184763480 139827781758437 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 21192704 140730877912022 140730877912198 140730877912198 140730877915087 0
[pid=1406/tid=1433] ppid=1404 vsize=28768336 memory=776 CPUtime=2431.54 cores=0-7
/proc/1406/task/1433/stat : 1433 (java) R 1404 1404 724 0 -1 4202560 41740 0 0 0 243092 62 0 0 20 0 28 0 476844012 29458776064 2415125 33554432000 4194304 4196468 140730877905952 139827183709960 139827781992166 0 4 0 16800975 0 0 0 -1 4 0 0 5 0 0 6293624 6294260 21192704 140730877912022 140730877912198 140730877912198 140730877915087 0
[pid=1406/tid=1434] ppid=1404 vsize=28768336 memory=1056 CPUtime=2433.08 cores=0-7
/proc/1406/task/1434/stat : 1434 (java) R 1404 1404 724 0 -1 4202560 72673 0 0 0 243186 122 0 0 20 0 28 0 476844012 29458776064 2415125 33554432000 4194304 4196468 140730877905952 139827182657072 139827779725820 0 4 0 16800975 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 21192704 140730877912022 140730877912198 140730877912198 140730877915087 0
Current children cumulated CPU time: 19841.8 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 9661948 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.68 8.34 8.19 9/220 1646
/proc/meminfo: memFree=16250156/32770624 swapFree=66966864/67108860
[pid=1404] ppid=1401 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/1404/stat : 1404 (xcsp3-exec) S 1401 1404 724 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 476843007 115843072 362 33554432000 4194304 5098028 140732845780944 140732845779048 140145137848956 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 14467072 140732845790033 140732845790293 140732845790293 140732845793222 0
/proc/1404/statm: 28282 362 304 221 0 87 0
[pid=1406] ppid=1404 vsize=28768336 memory=9660500 CPUtime=19983 cores=0-7
/proc/1406/stat : 1406 (java) S 1404 1404 724 0 -1 1077944320 920497 0 0 0 1995684 2618 0 0 20 0 28 0 476843007 29458776064 2415125 33554432000 4194304 4196468 140730877905952 140730877888496 139828161748727 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21192704 140730877912022 140730877912198 140730877912198 140730877915087 0
/proc/1406/statm: 7192084 2415125 3560 1 0 7153184 0
[pid=1406/tid=1407] ppid=1404 vsize=28768336 memory=1444 CPUtime=6.86 cores=0-7
/proc/1406/task/1407/stat : 1407 (java) S 1404 1404 724 0 -1 1077944384 13834 0 0 0 667 19 0 0 20 0 28 0 476843007 29458776064 2415125 33554432000 4194304 4196468 140730877905952 139828165989504 139828161758933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21192704 140730877912022 140730877912198 140730877912198 140730877915087 0
[pid=1406/tid=1408] ppid=1404 vsize=28768336 memory=864 CPUtime=39.92 cores=0-7
/proc/1406/task/1408/stat : 1408 (java) S 1404 1404 724 0 -1 1077944384 34837 0 0 0 3785 207 0 0 20 0 28 0 476843008 29458776064 2415125 33554432000 4194304 4196468 140730877905952 139828114368912 139828161758933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 13 0 0 6293624 6294260 21192704 140730877912022 140730877912198 140730877912198 140730877915087 0
[pid=1406/tid=1409] ppid=1404 vsize=28768336 memory=4126316290023845779 CPUtime=39.83 cores=0-7
/proc/1406/task/1409/stat : 1409 (java) S 1404 1404 724 0 -1 1077944384 26930 0 0 0 3765 218 0 0 20 0 28 0 476843008 29458776064 2415125 33554432000 4194304 4196468 140730877905952 139828113316112 139828161758933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 12 0 0 6293624 6294260 21192704 140730877912022 140730877912198 140730877912198 140730877915087 0
[pid=1406/tid=1410] ppid=1404 vsize=28768336 memory=6155664665782609766 CPUtime=40.05 cores=0-7
/proc/1406/task/1410/stat : 1410 (java) S 1404 1404 724 0 -1 1077944384 28445 0 0 0 3767 238 0 0 20 0 28 0 476843008 29458776064 2415125 33554432000 4194304 4196468 140730877905952 139828112263824 139828161758933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 8 0 0 6293624 6294260 21192704 140730877912022 140730877912198 140730877912198 140730877915087 0
[pid=1406/tid=1411] ppid=1404 vsize=28768336 memory=988 CPUtime=39.98 cores=0-7
/proc/1406/task/1411/stat : 1411 (java) S 1404 1404 724 0 -1 1077944384 31652 0 0 0 3793 205 0 0 20 0 28 0 476843008 29458776064 2415125 33554432000 4194304 4196468 140730877905952 139828111211024 139828161758933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 12 0 0 6293624 6294260 21192704 140730877912022 140730877912198 140730877912198 140730877915087 0
[pid=1406/tid=1412] ppid=1404 vsize=28768336 memory=8112282956445269571 CPUtime=39.89 cores=0-7
/proc/1406/task/1412/stat : 1412 (java) S 1404 1404 724 0 -1 1077944384 29580 0 0 0 3756 233 0 0 20 0 28 0 476843008 29458776064 2415125 33554432000 4194304 4196468 140730877905952 139828110158736 139828161758933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 12 0 0 6293624 6294260 21192704 140730877912022 140730877912198 140730877912198 140730877915087 0
[pid=1406/tid=1413] ppid=1404 vsize=28768336 memory=9660500 CPUtime=39.8 cores=0-7
/proc/1406/task/1413/stat : 1413 (java) S 1404 1404 724 0 -1 1077944384 38044 0 0 0 3753 227 0 0 20 0 28 0 476843008 29458776064 2415125 33554432000 4194304 4196468 140730877905952 139828109105936 139828161758933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 14 0 0 6293624 6294260 21192704 140730877912022 140730877912198 140730877912198 140730877915087 0
[pid=1406/tid=1414] ppid=1404 vsize=28768336 memory=776 CPUtime=39.82 cores=0-7
/proc/1406/task/1414/stat : 1414 (java) S 1404 1404 724 0 -1 1077944384 36926 0 0 0 3782 200 0 0 20 0 28 0 476843008 29458776064 2415125 33554432000 4194304 4196468 140730877905952 139828108053648 139828161758933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 15 0 0 6293624 6294260 21192704 140730877912022 140730877912198 140730877912198 140730877915087 0
[pid=1406/tid=1415] ppid=1404 vsize=28768336 memory=1056 CPUtime=39.98 cores=0-7
/proc/1406/task/1415/stat : 1415 (java) S 1404 1404 724 0 -1 1077944384 38626 0 0 0 3770 228 0 0 20 0 28 0 476843008 29458776064 2415125 33554432000 4194304 4196468 140730877905952 139828107000848 139828161758933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 13 0 0 6293624 6294260 21192704 140730877912022 140730877912198 140730877912198 140730877915087 0
[pid=1406/tid=1416] ppid=1404 vsize=28768336 memory=3616 CPUtime=11.23 cores=0-7
/proc/1406/task/1416/stat : 1416 (java) S 1404 1404 724 0 -1 1077944384 38751 0 0 0 1049 74 0 0 20 0 28 0 476843010 29458776064 2415125 33554432000 4194304 4196468 140730877905952 139827210815600 139828161759874 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21192704 140730877912022 140730877912198 140730877912198 140730877915087 0
[pid=1406/tid=1417] ppid=1404 vsize=28768336 memory=1552 CPUtime=0 cores=0-7
/proc/1406/task/1417/stat : 1417 (java) S 1404 1404 724 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 28 0 476843010 29458776064 2415125 33554432000 4194304 4196468 140730877905952 139827209761632 139828161758933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21192704 140730877912022 140730877912198 140730877912198 140730877915087 0
[pid=1406/tid=1418] ppid=1404 vsize=28768336 memory=1708 CPUtime=0 cores=0-7
/proc/1406/task/1418/stat : 1418 (java) S 1404 1404 724 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 476843010 29458776064 2415125 33554432000 4194304 4196468 140730877905952 139827208709248 139828161758933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21192704 140730877912022 140730877912198 140730877912198 140730877915087 0
[pid=1406/tid=1419] ppid=1404 vsize=28768336 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/1406/task/1419/stat : 1419 (java) S 1404 1404 724 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476843013 29458776064 2415125 33554432000 4194304 4196468 140730877905952 139827207657552 139828161767323 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21192704 140730877912022 140730877912198 140730877912198 140730877915087 0
[pid=1406/tid=1420] ppid=1404 vsize=28768336 memory=932 CPUtime=5.28 cores=0-7
/proc/1406/task/1420/stat : 1420 (java) S 1404 1404 724 0 -1 1077944384 28434 0 0 0 522 6 0 0 20 0 28 0 476843013 29458776064 2415125 33554432000 4194304 4196468 140730877905952 139827206605424 139828161759874 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21192704 140730877912022 140730877912198 140730877912198 140730877915087 0
[pid=1406/tid=1421] ppid=1404 vsize=28768336 memory=1448 CPUtime=5.84 cores=0-7
/proc/1406/task/1421/stat : 1421 (java) S 1404 1404 724 0 -1 1077944384 28421 0 0 0 579 5 0 0 20 0 28 0 476843013 29458776064 2415125 33554432000 4194304 4196468 140730877905952 139827205552624 139828161759874 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21192704 140730877912022 140730877912198 140730877912198 140730877915087 0
[pid=1406/tid=1422] ppid=1404 vsize=28768336 memory=1448 CPUtime=5.11 cores=0-7
/proc/1406/task/1422/stat : 1422 (java) S 1404 1404 724 0 -1 1077944384 23884 0 0 0 506 5 0 0 20 0 28 0 476843013 29458776064 2415125 33554432000 4194304 4196468 140730877905952 139827204500336 139828161759874 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21192704 140730877912022 140730877912198 140730877912198 140730877915087 0
[pid=1406/tid=1423] ppid=1404 vsize=28768336 memory=9660500 CPUtime=1.28 cores=0-7
/proc/1406/task/1423/stat : 1423 (java) S 1404 1404 724 0 -1 1077944384 22764 0 0 0 124 4 0 0 20 0 28 0 476843013 29458776064 2415125 33554432000 4194304 4196468 140730877905952 139827203447536 139828161759874 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21192704 140730877912022 140730877912198 140730877912198 140730877915087 0
[pid=1406/tid=1424] ppid=1404 vsize=28768336 memory=9660500 CPUtime=0 cores=0-7
/proc/1406/task/1424/stat : 1424 (java) S 1404 1404 724 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476843013 29458776064 2415125 33554432000 4194304 4196468 140730877905952 139827202394464 139828161758933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21192704 140730877912022 140730877912198 140730877912198 140730877915087 0
[pid=1406/tid=1425] ppid=1404 vsize=28768336 memory=8112282956445269571 CPUtime=0.9 cores=0-7
/proc/1406/task/1425/stat : 1425 (java) S 1404 1404 724 0 -1 1077944384 4207 0 0 0 50 40 0 0 20 0 28 0 476843013 29458776064 2415125 33554432000 4194304 4196468 140730877905952 139827201341744 139828161759874 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21192704 140730877912022 140730877912198 140730877912198 140730877915087 0
[pid=1406/tid=1427] ppid=1404 vsize=28768336 memory=988 CPUtime=2458.51 cores=0-7
/proc/1406/task/1427/stat : 1427 (java) R 1404 1404 724 0 -1 4202560 34172 0 0 0 245805 46 0 0 20 0 28 0 476844012 29458776064 2415125 33554432000 4194304 4196468 140730877905952 139827190025032 139827789655374 0 4 0 16800975 0 0 0 -1 6 0 0 3 0 0 6293624 6294260 21192704 140730877912022 140730877912198 140730877912198 140730877915087 0
[pid=1406/tid=1428] ppid=1404 vsize=28768336 memory=1448 CPUtime=2455.25 cores=0-7
/proc/1406/task/1428/stat : 1428 (java) R 1404 1404 724 0 -1 4202560 42852 0 0 0 245479 46 0 0 20 0 28 0 476844012 29458776064 2415125 33554432000 4194304 4196468 140730877905952 139827188973480 139827789655386 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 21192704 140730877912022 140730877912198 140730877912198 140730877915087 0
[pid=1406/tid=1429] ppid=1404 vsize=28768336 memory=9660500 CPUtime=2459.59 cores=0-7
/proc/1406/task/1429/stat : 1429 (java) R 1404 1404 724 0 -1 4202560 93429 0 0 0 245821 138 0 0 20 0 28 0 476844012 29458776064 2415125 33554432000 4194304 4196468 140730877905952 139827187923968 139827783679272 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21192704 140730877912022 140730877912198 140730877912198 140730877915087 0
[pid=1406/tid=1430] ppid=1404 vsize=28768336 memory=712 CPUtime=2449.77 cores=0-7
/proc/1406/task/1430/stat : 1430 (java) R 1404 1404 724 0 -1 4202560 60475 0 0 0 244870 107 0 0 20 0 28 0 476844012 29458776064 2415125 33554432000 4194304 4196468 140730877905952 139827186868376 139827779725743 0 4 0 16800975 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 21192704 140730877912022 140730877912198 140730877912198 140730877915087 0
[pid=1406/tid=1431] ppid=1404 vsize=28768336 memory=2832 CPUtime=2445.49 cores=0-7
/proc/1406/task/1431/stat : 1431 (java) R 1404 1404 724 0 -1 4202560 58057 0 0 0 244441 108 0 0 20 0 28 0 476844012 29458776064 2415125 33554432000 4194304 4196468 140730877905952 139827185816040 139827779725743 0 4 0 16800975 0 0 0 -1 7 0 0 4 0 0 6293624 6294260 21192704 140730877912022 140730877912198 140730877912198 140730877915087 0
[pid=1406/tid=1432] ppid=1404 vsize=28768336 memory=7556 CPUtime=2458.39 cores=0-7
/proc/1406/task/1432/stat : 1432 (java) R 1404 1404 724 0 -1 4202560 89684 0 0 0 245732 107 0 0 20 0 28 0 476844012 29458776064 2415125 33554432000 4194304 4196468 140730877905952 139827184763480 139827787061013 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 21192704 140730877912022 140730877912198 140730877912198 140730877915087 0
[pid=1406/tid=1433] ppid=1404 vsize=28768336 memory=10492 CPUtime=2449.24 cores=0-7
/proc/1406/task/1433/stat : 1433 (java) R 1404 1404 724 0 -1 4202560 42070 0 0 0 244861 63 0 0 20 0 28 0 476844012 29458776064 2415125 33554432000 4194304 4196468 140730877905952 139827183709960 139827787728842 0 4 0 16800975 0 0 0 -1 4 0 0 5 0 0 6293624 6294260 21192704 140730877912022 140730877912198 140730877912198 140730877915087 0
[pid=1406/tid=1434] ppid=1404 vsize=28768336 memory=13996 CPUtime=2450.79 cores=0-7
/proc/1406/task/1434/stat : 1434 (java) R 1404 1404 724 0 -1 4202560 73031 0 0 0 244956 123 0 0 20 0 28 0 476844012 29458776064 2415125 33554432000 4194304 4196468 140730877905952 139827182657072 139827783679515 0 4 0 16800975 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 21192704 140730877912022 140730877912198 140730877912198 140730877915087 0
Current children cumulated CPU time: 19983 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 9661948 KiB

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

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

[startup+2520.19 s]
# the end of solver process 1406 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=19957.6 s, system=26.2631 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.68 8.34 8.19 3/218 1648
/proc/meminfo: memFree=16250196/32770624 swapFree=66966864/67108860
[pid=1406] ppid=1401 vsize=28901464 memory=9660668 CPUtime=19983.8 cores=0-7
/proc/1406/stat : 1406 (java) S 1401 1404 724 0 -1 1077944320 921214 0 0 0 1995759 2621 0 0 20 0 27 0 476843007 29595099136 2415167 33554432000 4194304 4196468 140730877905952 140730877888496 139828161748727 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21192704 140730877912022 140730877912198 140730877912198 140730877915087 0
/proc/1406/statm: 7225366 2415167 3562 1 0 7186466 0
[pid=1406/tid=1407] ppid=1401 vsize=28901464 memory=1398722017469774279 CPUtime=6.86 cores=0-7
/proc/1406/task/1407/stat : 1407 (java) S 1401 1404 724 0 -1 1077944384 13834 0 0 0 667 19 0 0 20 0 27 0 476843007 29595099136 2415167 33554432000 4194304 4196468 140730877905952 139828165989504 139828161758933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21192704 140730877912022 140730877912198 140730877912198 140730877915087 0
[pid=1406/tid=1408] ppid=1401 vsize=28901464 memory=4126316290023845779 CPUtime=39.92 cores=0-7
/proc/1406/task/1408/stat : 1408 (java) S 1401 1404 724 0 -1 1077944384 34837 0 0 0 3785 207 0 0 20 0 27 0 476843008 29595099136 2415167 33554432000 4194304 4196468 140730877905952 139828114368912 139828161758933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 13 0 0 6293624 6294260 21192704 140730877912022 140730877912198 140730877912198 140730877915087 0
[pid=1406/tid=1409] ppid=1401 vsize=28901464 memory=1804 CPUtime=39.83 cores=0-7
/proc/1406/task/1409/stat : 1409 (java) S 1401 1404 724 0 -1 1077944384 26930 0 0 0 3765 218 0 0 20 0 27 0 476843008 29595099136 2415167 33554432000 4194304 4196468 140730877905952 139828113316112 139828161758933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 12 0 0 6293624 6294260 21192704 140730877912022 140730877912198 140730877912198 140730877915087 0
[pid=1406/tid=1410] ppid=1401 vsize=28901464 memory=916 CPUtime=40.05 cores=0-7
/proc/1406/task/1410/stat : 1410 (java) S 1401 1404 724 0 -1 1077944384 28445 0 0 0 3767 238 0 0 20 0 27 0 476843008 29595099136 2415167 33554432000 4194304 4196468 140730877905952 139828112263824 139828161758933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 8 0 0 6293624 6294260 21192704 140730877912022 140730877912198 140730877912198 140730877915087 0
[pid=1406/tid=1411] ppid=1401 vsize=28901464 memory=4824 CPUtime=39.98 cores=0-7
/proc/1406/task/1411/stat : 1411 (java) S 1401 1404 724 0 -1 1077944384 31652 0 0 0 3793 205 0 0 20 0 27 0 476843008 29595099136 2415167 33554432000 4194304 4196468 140730877905952 139828111211024 139828161758933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 12 0 0 6293624 6294260 21192704 140730877912022 140730877912198 140730877912198 140730877915087 0
[pid=1406/tid=1412] ppid=1401 vsize=28901464 memory=14080 CPUtime=39.89 cores=0-7
/proc/1406/task/1412/stat : 1412 (java) S 1401 1404 724 0 -1 1077944384 29580 0 0 0 3756 233 0 0 20 0 27 0 476843008 29595099136 2415167 33554432000 4194304 4196468 140730877905952 139828110158736 139828161758933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 12 0 0 6293624 6294260 21192704 140730877912022 140730877912198 140730877912198 140730877915087 0
[pid=1406/tid=1413] ppid=1401 vsize=28901464 memory=30656 CPUtime=39.8 cores=0-7
/proc/1406/task/1413/stat : 1413 (java) S 1401 1404 724 0 -1 1077944384 38044 0 0 0 3753 227 0 0 20 0 27 0 476843008 29595099136 2415167 33554432000 4194304 4196468 140730877905952 139828109105936 139828161758933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 14 0 0 6293624 6294260 21192704 140730877912022 140730877912198 140730877912198 140730877915087 0
[pid=1406/tid=1414] ppid=1401 vsize=28901464 memory=2120 CPUtime=39.82 cores=0-7
/proc/1406/task/1414/stat : 1414 (java) S 1401 1404 724 0 -1 1077944384 36926 0 0 0 3782 200 0 0 20 0 27 0 476843008 29595099136 2415167 33554432000 4194304 4196468 140730877905952 139828108053648 139828161758933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 15 0 0 6293624 6294260 21192704 140730877912022 140730877912198 140730877912198 140730877915087 0
[pid=1406/tid=1415] ppid=1401 vsize=28901464 memory=288230574492221466 CPUtime=39.98 cores=0-7
/proc/1406/task/1415/stat : 1415 (java) S 1401 1404 724 0 -1 1077944384 38626 0 0 0 3770 228 0 0 20 0 27 0 476843008 29595099136 2415167 33554432000 4194304 4196468 140730877905952 139828107000848 139828161758933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 13 0 0 6293624 6294260 21192704 140730877912022 140730877912198 140730877912198 140730877915087 0
[pid=1406/tid=1416] ppid=1401 vsize=28901464 memory=288230617509003574 CPUtime=11.27 cores=0-7
/proc/1406/task/1416/stat : 1416 (java) R 1401 1404 724 0 -1 4202560 38764 0 0 0 1050 77 0 0 20 0 27 0 476843010 29595099136 2415167 33554432000 4194304 4196468 140730877905952 139827210815752 139828154376935 0 0 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21192704 140730877912022 140730877912198 140730877912198 140730877915087 0
[pid=1406/tid=1417] ppid=1401 vsize=28901464 memory=13567089545840104 CPUtime=0 cores=0-7
/proc/1406/task/1417/stat : 1417 (java) S 1401 1404 724 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 27 0 476843010 29595099136 2415167 33554432000 4194304 4196468 140730877905952 139827209761632 139828161758933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21192704 140730877912022 140730877912198 140730877912198 140730877915087 0
[pid=1406/tid=1418] ppid=1401 vsize=28901464 memory=10492 CPUtime=0 cores=0-7
/proc/1406/task/1418/stat : 1418 (java) S 1401 1404 724 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 27 0 476843010 29595099136 2415167 33554432000 4194304 4196468 140730877905952 139827208709248 139828161758933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21192704 140730877912022 140730877912198 140730877912198 140730877915087 0
[pid=1406/tid=1420] ppid=1401 vsize=28901464 memory=13996 CPUtime=5.28 cores=0-7
/proc/1406/task/1420/stat : 1420 (java) S 1401 1404 724 0 -1 1077944384 28434 0 0 0 522 6 0 0 20 0 27 0 476843013 29595099136 2415167 33554432000 4194304 4196468 140730877905952 139827206605424 139828161759874 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21192704 140730877912022 140730877912198 140730877912198 140730877915087 0
[pid=1406/tid=1421] ppid=1401 vsize=28901464 memory=1804 CPUtime=5.84 cores=0-7
/proc/1406/task/1421/stat : 1421 (java) S 1401 1404 724 0 -1 1077944384 28421 0 0 0 579 5 0 0 20 0 27 0 476843013 29595099136 2415167 33554432000 4194304 4196468 140730877905952 139827205552624 139828161759874 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21192704 140730877912022 140730877912198 140730877912198 140730877915087 0
[pid=1406/tid=1422] ppid=1401 vsize=28901464 memory=916 CPUtime=5.11 cores=0-7
/proc/1406/task/1422/stat : 1422 (java) S 1401 1404 724 0 -1 1077944384 23884 0 0 0 506 5 0 0 20 0 27 0 476843013 29595099136 2415167 33554432000 4194304 4196468 140730877905952 139827204500336 139828161759874 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21192704 140730877912022 140730877912198 140730877912198 140730877915087 0
[pid=1406/tid=1423] ppid=1401 vsize=28901464 memory=4824 CPUtime=1.28 cores=0-7
/proc/1406/task/1423/stat : 1423 (java) S 1401 1404 724 0 -1 1077944384 22764 0 0 0 124 4 0 0 20 0 27 0 476843013 29595099136 2415167 33554432000 4194304 4196468 140730877905952 139827203447536 139828161759874 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21192704 140730877912022 140730877912198 140730877912198 140730877915087 0
[pid=1406/tid=1424] ppid=1401 vsize=28901464 memory=14080 CPUtime=0 cores=0-7
/proc/1406/task/1424/stat : 1424 (java) S 1401 1404 724 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 27 0 476843013 29595099136 2415167 33554432000 4194304 4196468 140730877905952 139827202394464 139828161758933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21192704 140730877912022 140730877912198 140730877912198 140730877915087 0
[pid=1406/tid=1427] ppid=1401 vsize=28901464 memory=30656 CPUtime=2458.6 cores=0-7
/proc/1406/task/1427/stat : 1427 (java) S 1401 1404 724 0 -1 1077944384 34176 0 0 0 245814 46 0 0 20 0 27 0 476844012 29595099136 2415167 33554432000 4194304 4196468 140730877905952 139827190025008 139828161758933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 3 0 0 6293624 6294260 21192704 140730877912022 140730877912198 140730877912198 140730877915087 0
[pid=1406/tid=1428] ppid=1401 vsize=28901464 memory=2120 CPUtime=2455.33 cores=0-7
/proc/1406/task/1428/stat : 1428 (java) S 1401 1404 724 0 -1 1077944384 42856 0 0 0 245487 46 0 0 20 0 27 0 476844012 29595099136 2415167 33554432000 4194304 4196468 140730877905952 139827188973456 139828161758933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 21192704 140730877912022 140730877912198 140730877912198 140730877915087 0
[pid=1406/tid=1429] ppid=1401 vsize=28901464 memory=508 CPUtime=2459.72 cores=0-7
/proc/1406/task/1429/stat : 1429 (java) R 1401 1404 724 0 -1 4202560 93429 0 0 0 245834 138 0 0 20 0 27 0 476844012 29595099136 2415167 33554432000 4194304 4196468 140730877905952 139827187923968 139827777656864 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21192704 140730877912022 140730877912198 140730877912198 140730877915087 0
[pid=1406/tid=1430] ppid=1401 vsize=28901464 memory=1560 CPUtime=2449.86 cores=0-7
/proc/1406/task/1430/stat : 1430 (java) S 1401 1404 724 0 -1 1077944384 60477 0 0 0 244879 107 0 0 20 0 27 0 476844012 29595099136 2415167 33554432000 4194304 4196468 140730877905952 139827186868240 139828161758933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 21192704 140730877912022 140730877912198 140730877912198 140730877915087 0
[pid=1406/tid=1431] ppid=1401 vsize=28901464 memory=932 CPUtime=2445.58 cores=0-7
/proc/1406/task/1431/stat : 1431 (java) S 1401 1404 724 0 -1 1077944384 58058 0 0 0 244450 108 0 0 20 0 27 0 476844012 29595099136 2415167 33554432000 4194304 4196468 140730877905952 139827185815904 139828161758933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 4 0 0 6293624 6294260 21192704 140730877912022 140730877912198 140730877912198 140730877915087 0
[pid=1406/tid=1432] ppid=1401 vsize=28901464 memory=0 CPUtime=2458.48 cores=0-7
/proc/1406/task/1432/stat : 1432 (java) S 1401 1404 724 0 -1 1077944384 89685 0 0 0 245741 107 0 0 20 0 27 0 476844012 29595099136 2415167 33554432000 4194304 4196468 140730877905952 139827184763344 139828161758933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 21192704 140730877912022 140730877912198 140730877912198 140730877915087 0
[pid=1406/tid=1433] ppid=1401 vsize=28901464 memory=7020382118796747625 CPUtime=2449.33 cores=0-7
/proc/1406/task/1433/stat : 1433 (java) S 1401 1404 724 0 -1 1077944384 42073 0 0 0 244870 63 0 0 20 0 27 0 476844012 29595099136 2415167 33554432000 4194304 4196468 140730877905952 139827183709904 139828161758933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 5 0 0 6293624 6294260 21192704 140730877912022 140730877912198 140730877912198 140730877915087 0
[pid=1406/tid=1434] ppid=1401 vsize=28901464 memory=7020382118796747625 CPUtime=2450.87 cores=0-7
/proc/1406/task/1434/stat : 1434 (java) S 1401 1404 724 0 -1 1077944384 73036 0 0 0 244964 123 0 0 20 0 27 0 476844012 29595099136 2415167 33554432000 4194304 4196468 140730877905952 139827182657184 139828161758933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 21192704 140730877912022 140730877912198 140730877912198 140730877915087 0
[pid=1406/tid=1647] ppid=1401 vsize=28901464 memory=1448 CPUtime=0 cores=0-7
/proc/1406/task/1647/stat : 1647 (java) S 1401 1404 724 0 -1 1077944384 230 0 0 0 0 0 0 0 20 0 27 0 477095009 29595099136 2415167 33554432000 4194304 4196468 140730877905952 139827181609328 139828161758933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21192704 140730877912022 140730877912198 140730877912198 140730877915087 0
Current cumulated CPU time of completed processes: 0.002272 s
Current children cumulated CPU time: 19983.8 s
Current children cumulated vsize: 28901464 KiB
Current children cumulated memory: 9660668 KiB

Child status: 143
Real time (s): 2520.19
CPU time (s): 19983.9
CPU user time (s): 19957.6
CPU system time (s): 26.2631
CPU usage (%): 792.951
Max. virtual memory (cumulated for all children) (KiB): 28901464
Max. memory (cumulated for all children) (KiB): 11320348

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19957.6
system time used= 26.2631
maximum resident set size= 11318900
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 921850
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2312
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 69256
involuntary context switches= 220631


# summary of solver processes directly reported to runsolver:
#   pid: 1404,1406
#   total CPU time (s): 19983.9
#   total CPU user time (s): 19957.6
#   total CPU system time (s): 26.2631

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 25.4781 second user time and 26.1745 second system time

The end

Launcher Data 

Begin job on node145 at 2019-09-20 21:50:23
IDJOB=4404411
IDBENCH=139285
IDSOLVER=2865
FILE ID=node145/4404411-1569009065
RUNJOBID= node145-1569004901-751
PBS_JOBID= 21704743
Free space on /var/tmp= 13512 MiB

SOLVER NAME= choco-solver 2019-09-20 parallel
BENCH NAME= XCSP17/Fischer/Fischer-m1-s1/Fischer-10-06-fair.xml
COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4404411-1569009065/watcher-4404411-1569009065 -o /var/tmp/evaluation-result-4404411-1569009065/solver-4404411-1569009065 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node145-1569004901-751 --watchdog 2580  xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1764929651 HOME/instance-4404411-1569009065.xml

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

MD5SUM BENCH= 93355dee8c41895d58696aeae14790df
RANDOM SEED=1764929651

node145.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.59
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.59
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.59
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.59
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:        25915160 kB
MemAvailable:   31818780 kB
Buffers:          100452 kB
Cached:          5966712 kB
SwapCached:        32464 kB
Active:          2991340 kB
Inactive:        3112904 kB
Active(anon):       3960 kB
Inactive(anon):    82412 kB
Active(file):    2987380 kB
Inactive(file):  3030492 kB
Unevictable:      109660 kB
Mlocked:          109660 kB
SwapTotal:      67108860 kB
SwapFree:       66966864 kB
Dirty:             26360 kB
Writeback:             0 kB
AnonPages:        113556 kB
Mapped:            50468 kB
Shmem:             40640 kB
Slab:             342608 kB
SReclaimable:     314208 kB
SUnreclaim:        28400 kB
KernelStack:        3776 kB
PageTables:         4612 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     506804 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /var/tmp at the end= 13484 MiB
End job on node145 at 2019-09-20 22:32:24