Trace number 4393095

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-06-14? (TO) 2520.47 869.8

General information on the benchmark

NameFischer/Fischer-m1-s1/
Fischer-09-06-fair.xml
MD5SUM15d83a7cac0db09c33f3aa76b650ee28
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 benchmark14.6037
Satisfiable
(Un)Satisfiability was proved
Number of variables14436
Number of constraints13661
Number of domains3
Minimum domain size2
Maximum domain size20001
Distribution of domain sizes[{"size":2,"count":1946},{"size":201,"count":70},{"size":20001,"count":12420}]
Minimum variable degree2
Maximum variable degree118
Distribution of variable degrees[{"degree":2,"count":12752},{"degree":3,"count":324},{"degree":4,"count":33},{"degree":5,"count":162},{"degree":6,"count":98},{"degree":7,"count":279},{"degree":8,"count":371},{"degree":9,"count":222},{"degree":10,"count":33},{"degree":11,"count":66},{"degree":12,"count":9},{"degree":13,"count":54},{"degree":20,"count":1},{"degree":29,"count":7},{"degree":47,"count":7},{"degree":49,"count":4},{"degree":58,"count":1},{"degree":66,"count":6},{"degree":103,"count":2},{"degree":104,"count":4},{"degree":118,"count":1}]
Minimum constraint arity1
Maximum constraint arity3
Distribution of constraint arities[{"arity":1,"count":2},{"arity":2,"count":2246},{"arity":3,"count":11413}]
Number of extensional constraints0
Number of intensional constraints13661
Distribution of constraint types[{"type":"intension","count":13661}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.02	c java -server -Xmx12000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4393095-1568352596.xml"  -tl '2520s' -p 4
0.24/1.65	c Choco e747e1e
0.46/1.91	c [HOME/instance-4393095-1568352596.xml, -tl, 2520s, -p, 4]
0.46/1.91	c 4 solvers in parallel
0.46/1.91	c parse instance...
18.11/14.55	c solve instance...
2520.14/869.76	s UNKNOWN
2520.14/869.76	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 (14284 MiB free)
  memory of node 1: 16384 MiB (14099 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393095-1568352596/watcher-4393095-1568352596 -o /tmp/evaluation-result-4393095-1568352596/solver-4393095-1568352596 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1568346919-22074 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1244505640 HOME/instance-4393095-1568352596.xml 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
solver pid=24794, runsolver pid=24791
Current StackSize limit: 8192 KiB

Starting watchdog thread

[startup+0.110916 s]*
/proc/loadavg: 8.43 8.62 8.41 10/241 24798
/proc/meminfo: memFree=29060116/32770624 swapFree=66940768/67108860
[pid=24794] ppid=24791 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/24794/stat : 24794 (xcsp3-exec) S 24791 24794 22042 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 411498382 115843072 362 33554432000 4194304 5098028 140733238213440 140733238211544 140592410440316 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 1 0 0 7196144 7232144 14114816 140733238219642 140733238219885 140733238219885 140733238222794 0
/proc/24794/statm: 28282 362 304 221 0 87 0
[pid=24796] ppid=24794 vsize=12691256 memory=9760 CPUtime=0 cores=1,3,5,7
/proc/24796/stat : 24796 (java) S 24794 24794 22042 0 -1 1077944320 2234 0 0 0 0 0 0 0 20 0 4 0 411498385 12995846144 2440 33554432000 4194304 4196468 140735692509216 140735692491760 139723407339255 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 36802560 140735692518383 140735692518554 140735692518554 140735692521423 0
/proc/24796/statm: 3172814 2440 1178 1 0 3161725 0
[pid=24796/tid=24797] ppid=24794 vsize=12691256 memory=7533807676074704953 CPUtime=0 cores=1,3,5,7
/proc/24796/task/24797/stat : 24797 (java) S 24794 24794 22042 0 -1 1077944384 999 0 0 0 0 0 0 0 20 0 4 0 411498387 12995846144 2440 33554432000 4194304 4196468 140735692509216 139723411580624 139723407349461 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36802560 140735692518383 140735692518554 140735692518554 140735692521423 0
[pid=24796/tid=24798] ppid=24794 vsize=12691256 memory=3472468268487235248 CPUtime=0 cores=1,3,5,7
/proc/24796/task/24798/stat : 24798 (java) S 24794 24794 22042 0 -1 1077944384 0 0 0 0 0 0 0 0 20 0 4 0 411498393 12995846144 2440 33554432000 4194304 4196468 140735692509216 139723343576032 139723407349461 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36802560 140735692518383 140735692518554 140735692518554 140735692521423 0
[pid=24796/tid=24799] ppid=24794 vsize=12691256 memory=139972259554944 CPUtime=0 cores=1,3,5,7
/proc/24796/task/24799/stat : 24799 (java) R 24794 24794 22042 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 4 0 411498395 12995846144 2440 33554432000 4194304 4196468 140735692509216 139723411580624 139723400079105 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36802560 140735692518383 140735692518554 140735692518554 140735692521423 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 12804384 KiB
Current children cumulated memory: 11208 KiB

[startup+0.214978 s]*
/proc/loadavg: 8.43 8.62 8.41 10/244 24801
/proc/meminfo: memFree=29059184/32770624 swapFree=66940768/67108860
[pid=24794] ppid=24791 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/24794/stat : 24794 (xcsp3-exec) S 24791 24794 22042 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 411498382 115843072 362 33554432000 4194304 5098028 140733238213440 140733238211544 140592410440316 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 1 0 0 7196144 7232144 14114816 140733238219642 140733238219885 140733238219885 140733238222794 0
/proc/24794/statm: 28282 362 304 221 0 87 0
[pid=24796] ppid=24794 vsize=14424368 memory=16804 CPUtime=0.01 cores=1,3,5,7
/proc/24796/stat : 24796 (java) S 24794 24794 22042 0 -1 1077944320 3495 0 0 0 1 0 0 0 20 0 6 0 411498385 14770552832 4201 33554432000 4194304 4196468 140735692509216 140735692491760 139723407339255 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 36802560 140735692518383 140735692518554 140735692518554 140735692521423 0
/proc/24796/statm: 3606092 4201 1932 1 0 3594530 0
[pid=24796/tid=24797] ppid=24794 vsize=14424368 memory=8514701219881255584 CPUtime=0.01 cores=1,3,5,7
/proc/24796/task/24797/stat : 24797 (java) R 24794 24794 22042 0 -1 4202560 2254 0 0 0 1 0 0 0 20 0 6 0 411498387 14770552832 4201 33554432000 4194304 4196468 140735692509216 139723411576032 139723385365376 0 4 0 16784584 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36802560 140735692518383 140735692518554 140735692518554 140735692521423 0
[pid=24796/tid=24798] ppid=24794 vsize=14424368 memory=3472468268487235248 CPUtime=0 cores=1,3,5,7
/proc/24796/task/24798/stat : 24798 (java) S 24794 24794 22042 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 411498393 14770552832 4201 33554432000 4194304 4196468 140735692509216 139723343575696 139723407349461 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36802560 140735692518383 140735692518554 140735692518554 140735692521423 0
[pid=24796/tid=24799] ppid=24794 vsize=14424368 memory=139972259554944 CPUtime=0 cores=1,3,5,7
/proc/24796/task/24799/stat : 24799 (java) S 24794 24794 22042 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 411498395 14770552832 4201 33554432000 4194304 4196468 140735692509216 139723342522896 139723407349461 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36802560 140735692518383 140735692518554 140735692518554 140735692521423 0
[pid=24796/tid=24800] ppid=24794 vsize=14424368 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24796/task/24800/stat : 24800 (java) S 24794 24794 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 411498397 14770552832 4201 33554432000 4194304 4196468 140735692509216 139723341470096 139723407349461 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36802560 140735692518383 140735692518554 140735692518554 140735692521423 0
[pid=24796/tid=24801] ppid=24794 vsize=14424368 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24796/task/24801/stat : 24801 (java) S 24794 24794 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 411498399 14770552832 4201 33554432000 4194304 4196468 140735692509216 139723340417296 139723407349461 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36802560 140735692518383 140735692518554 140735692518554 140735692521423 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 14537496 KiB
Current children cumulated memory: 18252 KiB

[startup+0.328913 s]*
/proc/loadavg: 8.43 8.62 8.41 11/247 24804
/proc/meminfo: memFree=29052560/32770624 swapFree=66940768/67108860
[pid=24794] ppid=24791 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/24794/stat : 24794 (xcsp3-exec) S 24791 24794 22042 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 411498382 115843072 362 33554432000 4194304 5098028 140733238213440 140733238211544 140592410440316 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 1 0 0 7196144 7232144 14114816 140733238219642 140733238219885 140733238219885 140733238222794 0
/proc/24794/statm: 28282 362 304 221 0 87 0
[pid=24796] ppid=24794 vsize=14743728 memory=20724 CPUtime=0.03 cores=1,3,5,7
/proc/24796/stat : 24796 (java) S 24794 24794 22042 0 -1 1077944320 4013 0 0 0 3 0 0 0 20 0 9 0 411498385 15097577472 5181 33554432000 4194304 4196468 140735692509216 140735692491760 139723407339255 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 36802560 140735692518383 140735692518554 140735692518554 140735692521423 0
/proc/24796/statm: 3685932 5181 2127 1 0 3648473 0
[pid=24796/tid=24797] ppid=24794 vsize=14743728 memory=279944223789168 CPUtime=0.03 cores=1,3,5,7
/proc/24796/task/24797/stat : 24797 (java) R 24794 24794 22042 0 -1 1077944384 2716 0 0 0 3 0 0 0 20 0 9 0 411498387 15097577472 5181 33554432000 4194304 4196468 140735692509216 139723411577200 139723400018477 0 4 0 16784584 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36802560 140735692518383 140735692518554 140735692518554 140735692521423 0
[pid=24796/tid=24798] ppid=24794 vsize=14743728 memory=3472468268487235244 CPUtime=0 cores=1,3,5,7
/proc/24796/task/24798/stat : 24798 (java) S 24794 24794 22042 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 411498393 15097577472 5181 33554432000 4194304 4196468 140735692509216 139723343575696 139723407349461 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36802560 140735692518383 140735692518554 140735692518554 140735692521423 0
[pid=24796/tid=24799] ppid=24794 vsize=14743728 memory=139972259554944 CPUtime=0 cores=1,3,5,7
/proc/24796/task/24799/stat : 24799 (java) S 24794 24794 22042 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 411498395 15097577472 5181 33554432000 4194304 4196468 140735692509216 139723342522896 139723407349461 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36802560 140735692518383 140735692518554 140735692518554 140735692521423 0
[pid=24796/tid=24800] ppid=24794 vsize=14743728 memory=3762204689424869714 CPUtime=0 cores=1,3,5,7
/proc/24796/task/24800/stat : 24800 (java) S 24794 24794 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 411498397 15097577472 5181 33554432000 4194304 4196468 140735692509216 139723341470096 139723407349461 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36802560 140735692518383 140735692518554 140735692518554 140735692521423 0
[pid=24796/tid=24801] ppid=24794 vsize=14743728 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24796/task/24801/stat : 24801 (java) S 24794 24794 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 411498399 15097577472 5181 33554432000 4194304 4196468 140735692509216 139723340417296 139723407349461 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36802560 140735692518383 140735692518554 140735692518554 140735692521423 0
[pid=24796/tid=24802] ppid=24794 vsize=14743728 memory=139972259554944 CPUtime=0 cores=1,3,5,7
/proc/24796/task/24802/stat : 24802 (java) S 24794 24794 22042 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 411498407 15097577472 5181 33554432000 4194304 4196468 140735692509216 139722549955440 139723407350402 0 0 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36802560 140735692518383 140735692518554 140735692518554 140735692521423 0
[pid=24796/tid=24803] ppid=24794 vsize=14743728 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24796/task/24803/stat : 24803 (java) S 24794 24794 22042 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 411498410 15097577472 5181 33554432000 4194304 4196468 140735692509216 139722548901408 139723407349461 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36802560 140735692518383 140735692518554 140735692518554 140735692521423 0
[pid=24796/tid=24804] ppid=24794 vsize=14743728 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24796/task/24804/stat : 24804 (java) S 24794 24794 22042 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 411498412 15097577472 5181 33554432000 4194304 4196468 140735692509216 139722547848624 139723407349461 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36802560 140735692518383 140735692518554 140735692518554 140735692521423 0
Current children cumulated CPU time: 0.03 s
Current children cumulated vsize: 14856856 KiB
Current children cumulated memory: 22172 KiB

[startup+0.700797 s]
/proc/loadavg: 8.43 8.62 8.41 11/252 24809
/proc/meminfo: memFree=29052016/32770624 swapFree=66940768/67108860
[pid=24794] ppid=24791 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/24794/stat : 24794 (xcsp3-exec) S 24791 24794 22042 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 411498382 115843072 362 33554432000 4194304 5098028 140733238213440 140733238211544 140592410440316 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 1 0 0 7196144 7232144 14114816 140733238219642 140733238219885 140733238219885 140733238222794 0
/proc/24794/statm: 28282 362 304 221 0 87 0
[pid=24796] ppid=24794 vsize=15144768 memory=29140 CPUtime=0.16 cores=1,3,5,7
/proc/24796/stat : 24796 (java) S 24794 24794 22042 0 -1 1077944320 5726 0 0 0 15 1 0 0 20 0 15 0 411498385 15508242432 7285 33554432000 4194304 4196468 140735692509216 140735692491760 139723407339255 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 36802560 140735692518383 140735692518554 140735692518554 140735692521423 0
/proc/24796/statm: 3786192 7285 3192 1 0 3748377 0
[pid=24796/tid=24797] ppid=24794 vsize=15144768 memory=213056147734980 CPUtime=0.13 cores=1,3,5,7
/proc/24796/task/24797/stat : 24797 (java) R 24794 24794 22042 0 -1 4202560 3584 0 0 0 12 1 0 0 20 0 15 0 411498387 15508242432 7285 33554432000 4194304 4196468 140735692509216 139723411567736 139723400056407 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36802560 140735692518383 140735692518554 140735692518554 140735692521423 0
[pid=24796/tid=24798] ppid=24794 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24796/task/24798/stat : 24798 (java) S 24794 24794 22042 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411498393 15508242432 7285 33554432000 4194304 4196468 140735692509216 139723343575696 139723407349461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36802560 140735692518383 140735692518554 140735692518554 140735692521423 0
[pid=24796/tid=24799] ppid=24794 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24796/task/24799/stat : 24799 (java) S 24794 24794 22042 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411498395 15508242432 7285 33554432000 4194304 4196468 140735692509216 139723342522896 139723407349461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36802560 140735692518383 140735692518554 140735692518554 140735692521423 0
[pid=24796/tid=24800] ppid=24794 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24796/task/24800/stat : 24800 (java) S 24794 24794 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411498397 15508242432 7285 33554432000 4194304 4196468 140735692509216 139723341470096 139723407349461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36802560 140735692518383 140735692518554 140735692518554 140735692521423 0
[pid=24796/tid=24801] ppid=24794 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24796/task/24801/stat : 24801 (java) S 24794 24794 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411498399 15508242432 7285 33554432000 4194304 4196468 140735692509216 139723340417296 139723407349461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36802560 140735692518383 140735692518554 140735692518554 140735692521423 0
[pid=24796/tid=24802] ppid=24794 vsize=15144768 memory=780 CPUtime=0 cores=1,3,5,7
/proc/24796/task/24802/stat : 24802 (java) S 24794 24794 22042 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411498407 15508242432 7285 33554432000 4194304 4196468 140735692509216 139722549955440 139723407350402 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36802560 140735692518383 140735692518554 140735692518554 140735692521423 0
[pid=24796/tid=24803] ppid=24794 vsize=15144768 memory=5972 CPUtime=0 cores=1,3,5,7
/proc/24796/task/24803/stat : 24803 (java) S 24794 24794 22042 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 411498410 15508242432 7285 33554432000 4194304 4196468 140735692509216 139722548901408 139723407349461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36802560 140735692518383 140735692518554 140735692518554 140735692521423 0
[pid=24796/tid=24804] ppid=24794 vsize=15144768 memory=624 CPUtime=0 cores=1,3,5,7
/proc/24796/task/24804/stat : 24804 (java) S 24794 24794 22042 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 411498412 15508242432 7285 33554432000 4194304 4196468 140735692509216 139722547848560 139723407349461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36802560 140735692518383 140735692518554 140735692518554 140735692521423 0
[pid=24796/tid=24805] ppid=24794 vsize=15144768 memory=3996 CPUtime=0 cores=1,3,5,7
/proc/24796/task/24805/stat : 24805 (java) S 24794 24794 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411498420 15508242432 7285 33554432000 4194304 4196468 140735692509216 139722546796880 139723407357851 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36802560 140735692518383 140735692518554 140735692518554 140735692521423 0
[pid=24796/tid=24806] ppid=24794 vsize=15144768 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/24796/task/24806/stat : 24806 (java) D 24794 24794 22042 0 -1 4202560 361 0 0 0 0 0 0 0 20 0 15 0 411498421 15508242432 7285 33554432000 4194304 4196468 140735692509216 139722545742632 139723399576382 0 4 0 16800975 18446744071582151416 0 0 -1 5 0 0 0 0 0 6293624 6294260 36802560 140735692518383 140735692518554 140735692518554 140735692521423 0
[pid=24796/tid=24807] ppid=24794 vsize=15144768 memory=14012 CPUtime=0 cores=1,3,5,7
/proc/24796/task/24807/stat : 24807 (java) D 24794 24794 22042 0 -1 4202560 188 0 0 0 0 0 0 0 20 0 15 0 411498424 15508242432 7285 33554432000 4194304 4196468 140735692509216 139722544672456 139723399576382 0 4 0 16800975 18446744071582151416 0 0 -1 1 0 0 0 0 0 6293624 6294260 36802560 140735692518383 140735692518554 140735692518554 140735692521423 0
[pid=24796/tid=24808] ppid=24794 vsize=15144768 memory=2112 CPUtime=0.01 cores=1,3,5,7
/proc/24796/task/24808/stat : 24808 (java) D 24794 24794 22042 0 -1 4202560 289 0 0 0 1 0 0 0 20 0 15 0 411498426 15508242432 7285 33554432000 4194304 4196468 140735692509216 139722543635640 139723399576382 0 4 0 16800975 18446744071582151416 0 0 -1 3 0 0 0 0 0 6293624 6294260 36802560 140735692518383 140735692518554 140735692518554 140735692521423 0
[pid=24796/tid=24809] ppid=24794 vsize=15144768 memory=12040 CPUtime=0 cores=1,3,5,7
/proc/24796/task/24809/stat : 24809 (java) S 24794 24794 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411498429 15508242432 7285 33554432000 4194304 4196468 140735692509216 139722542586080 139723407349461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36802560 140735692518383 140735692518554 140735692518554 140735692521423 0
[pid=24796/tid=24810] ppid=24794 vsize=15144768 memory=22928 CPUtime=0 cores=1,3,5,7
/proc/24796/task/24810/stat : 24810 (java) S 24794 24794 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411498435 15508242432 7285 33554432000 4194304 4196468 140735692509216 139722541534384 139723407350402 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36802560 140735692518383 140735692518554 140735692518554 140735692521423 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 30588 KiB

[startup+1.50601 s]
/proc/loadavg: 8.43 8.62 8.41 10/253 24810
/proc/meminfo: memFree=29047316/32770624 swapFree=66940768/67108860
[pid=24794] ppid=24791 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/24794/stat : 24794 (xcsp3-exec) S 24791 24794 22042 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 411498382 115843072 362 33554432000 4194304 5098028 140733238213440 140733238211544 140592410440316 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 1 0 0 7196144 7232144 14114816 140733238219642 140733238219885 140733238219885 140733238222794 0
/proc/24794/statm: 28282 362 304 221 0 87 0
[pid=24796] ppid=24794 vsize=15144768 memory=34032 CPUtime=0.22 cores=1,3,5,7
/proc/24796/stat : 24796 (java) S 24794 24794 22042 0 -1 1077944320 6426 0 0 0 21 1 0 0 20 0 15 0 411498385 15508242432 8508 33554432000 4194304 4196468 140735692509216 140735692491760 139723407339255 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 36802560 140735692518383 140735692518554 140735692518554 140735692521423 0
/proc/24796/statm: 3786192 8508 3240 1 0 3748377 0
[pid=24796/tid=24797] ppid=24794 vsize=15144768 memory=6791534058613427641 CPUtime=0.16 cores=1,3,5,7
/proc/24796/task/24797/stat : 24797 (java) R 24794 24794 22042 0 -1 1077944384 3842 0 0 0 15 1 0 0 20 0 15 0 411498387 15508242432 8508 33554432000 4194304 4196468 140735692509216 139723411552000 139723407349461 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36802560 140735692518383 140735692518554 140735692518554 140735692521423 0
[pid=24796/tid=24798] ppid=24794 vsize=15144768 memory=-7457052372387209120 CPUtime=0 cores=1,3,5,7
/proc/24796/task/24798/stat : 24798 (java) S 24794 24794 22042 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411498393 15508242432 8508 33554432000 4194304 4196468 140735692509216 139723343575696 139723407349461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36802560 140735692518383 140735692518554 140735692518554 140735692521423 0
[pid=24796/tid=24799] ppid=24794 vsize=15144768 memory=1399094042734925955 CPUtime=0 cores=1,3,5,7
/proc/24796/task/24799/stat : 24799 (java) S 24794 24794 22042 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411498395 15508242432 8508 33554432000 4194304 4196468 140735692509216 139723342522896 139723407349461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36802560 140735692518383 140735692518554 140735692518554 140735692521423 0
[pid=24796/tid=24800] ppid=24794 vsize=15144768 memory=7679937539659563834 CPUtime=0 cores=1,3,5,7
/proc/24796/task/24800/stat : 24800 (java) S 24794 24794 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411498397 15508242432 8508 33554432000 4194304 4196468 140735692509216 139723341470096 139723407349461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36802560 140735692518383 140735692518554 140735692518554 140735692521423 0
[pid=24796/tid=24801] ppid=24794 vsize=15144768 memory=33504 CPUtime=0 cores=1,3,5,7
/proc/24796/task/24801/stat : 24801 (java) S 24794 24794 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411498399 15508242432 8508 33554432000 4194304 4196468 140735692509216 139723340417296 139723407349461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36802560 140735692518383 140735692518554 140735692518554 140735692521423 0
[pid=24796/tid=24802] ppid=24794 vsize=15144768 memory=5972 CPUtime=0 cores=1,3,5,7
/proc/24796/task/24802/stat : 24802 (java) S 24794 24794 22042 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411498407 15508242432 8508 33554432000 4194304 4196468 140735692509216 139722549955440 139723407350402 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36802560 140735692518383 140735692518554 140735692518554 140735692521423 0
[pid=24796/tid=24803] ppid=24794 vsize=15144768 memory=3620 CPUtime=0 cores=1,3,5,7
/proc/24796/task/24803/stat : 24803 (java) S 24794 24794 22042 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 411498410 15508242432 8508 33554432000 4194304 4196468 140735692509216 139722548901408 139723407349461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36802560 140735692518383 140735692518554 140735692518554 140735692521423 0
[pid=24796/tid=24804] ppid=24794 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24796/task/24804/stat : 24804 (java) S 24794 24794 22042 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 411498412 15508242432 8508 33554432000 4194304 4196468 140735692509216 139722547848560 139723407349461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36802560 140735692518383 140735692518554 140735692518554 140735692521423 0
[pid=24796/tid=24805] ppid=24794 vsize=15144768 memory=8996 CPUtime=0 cores=1,3,5,7
/proc/24796/task/24805/stat : 24805 (java) S 24794 24794 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411498420 15508242432 8508 33554432000 4194304 4196468 140735692509216 139722546796880 139723407357851 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36802560 140735692518383 140735692518554 140735692518554 140735692521423 0
[pid=24796/tid=24806] ppid=24794 vsize=15144768 memory=14012 CPUtime=0.01 cores=1,3,5,7
/proc/24796/task/24806/stat : 24806 (java) S 24794 24794 22042 0 -1 1077944384 423 0 0 0 1 0 0 0 20 0 15 0 411498421 15508242432 8508 33554432000 4194304 4196468 140735692509216 139722545744240 139723407350402 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36802560 140735692518383 140735692518554 140735692518554 140735692521423 0
[pid=24796/tid=24807] ppid=24794 vsize=15144768 memory=2112 CPUtime=0.01 cores=1,3,5,7
/proc/24796/task/24807/stat : 24807 (java) R 24794 24794 22042 0 -1 4202560 358 0 0 0 1 0 0 0 20 0 15 0 411498424 15508242432 8508 33554432000 4194304 4196468 140735692509216 139722544672456 139723388039552 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36802560 140735692518383 140735692518554 140735692518554 140735692521423 0
[pid=24796/tid=24808] ppid=24794 vsize=15144768 memory=12040 CPUtime=0.02 cores=1,3,5,7
/proc/24796/task/24808/stat : 24808 (java) R 24794 24794 22042 0 -1 4202560 507 0 0 0 2 0 0 0 20 0 15 0 411498426 15508242432 8508 33554432000 4194304 4196468 140735692509216 139722543635576 139723388576816 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36802560 140735692518383 140735692518554 140735692518554 140735692521423 0
[pid=24796/tid=24809] ppid=24794 vsize=15144768 memory=15563 CPUtime=0 cores=1,3,5,7
/proc/24796/task/24809/stat : 24809 (java) S 24794 24794 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411498429 15508242432 8508 33554432000 4194304 4196468 140735692509216 139722542586080 139723407349461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36802560 140735692518383 140735692518554 140735692518554 140735692521423 0
[pid=24796/tid=24810] ppid=24794 vsize=15144768 memory=1904 CPUtime=0 cores=1,3,5,7
/proc/24796/task/24810/stat : 24810 (java) S 24794 24794 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411498435 15508242432 8508 33554432000 4194304 4196468 140735692509216 139722541534384 139723407350402 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36802560 140735692518383 140735692518554 140735692518554 140735692521423 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 35480 KiB

[startup+3.12208 s]
/proc/loadavg: 8.43 8.62 8.41 11/253 24810
/proc/meminfo: memFree=28997744/32770624 swapFree=66940768/67108860
[pid=24794] ppid=24791 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/24794/stat : 24794 (xcsp3-exec) S 24791 24794 22042 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 411498382 115843072 362 33554432000 4194304 5098028 140733238213440 140733238211544 140592410440316 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 1 0 0 7196144 7232144 14114816 140733238219642 140733238219885 140733238219885 140733238222794 0
/proc/24794/statm: 28282 362 304 221 0 87 0
[pid=24796] ppid=24794 vsize=15151148 memory=82772 CPUtime=1.4 cores=1,3,5,7
/proc/24796/stat : 24796 (java) S 24794 24794 22042 0 -1 1077944320 12832 0 0 0 135 5 0 0 20 0 15 0 411498385 15514775552 20693 33554432000 4194304 4196468 140735692509216 140735692491760 139723407339255 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 36802560 140735692518383 140735692518554 140735692518554 140735692521423 0
/proc/24796/statm: 3787787 20693 3430 1 0 3748889 0
[pid=24796/tid=24797] ppid=24794 vsize=15151148 memory=0 CPUtime=0.74 cores=1,3,5,7
/proc/24796/task/24797/stat : 24797 (java) R 24794 24794 22042 0 -1 4202560 7896 0 0 0 71 3 0 0 20 0 15 0 411498387 15514775552 20693 33554432000 4194304 4196468 140735692509216 139723411561792 139723020467700 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36802560 140735692518383 140735692518554 140735692518554 140735692521423 0
[pid=24796/tid=24798] ppid=24794 vsize=15151148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24796/task/24798/stat : 24798 (java) S 24794 24794 22042 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411498393 15514775552 20693 33554432000 4194304 4196468 140735692509216 139723343575696 139723407349461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36802560 140735692518383 140735692518554 140735692518554 140735692521423 0
[pid=24796/tid=24799] ppid=24794 vsize=15151148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24796/task/24799/stat : 24799 (java) S 24794 24794 22042 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411498395 15514775552 20693 33554432000 4194304 4196468 140735692509216 139723342522896 139723407349461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36802560 140735692518383 140735692518554 140735692518554 140735692521423 0
[pid=24796/tid=24800] ppid=24794 vsize=15151148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24796/task/24800/stat : 24800 (java) S 24794 24794 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411498397 15514775552 20693 33554432000 4194304 4196468 140735692509216 139723341470096 139723407349461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36802560 140735692518383 140735692518554 140735692518554 140735692521423 0

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

/proc/24796/stat : 24796 (java) S 24794 24794 22042 0 -1 1077944320 195464 0 0 0 232897 250 0 0 20 0 19 0 411498385 15789518848 1212119 33554432000 4194304 4196468 140735692509216 140735692491760 139723407339255 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 36802560 140735692518383 140735692518554 140735692518554 140735692521423 0
/proc/24796/statm: 3854863 1212119 3558 1 0 3815965 0
[pid=24796/tid=24797] ppid=24794 vsize=15419452 memory=4848476 CPUtime=4.67 cores=1,3,5,7
/proc/24796/task/24797/stat : 24797 (java) S 24794 24794 22042 0 -1 1077944384 13612 0 0 0 455 12 0 0 20 0 19 0 411498387 15789518848 1212119 33554432000 4194304 4196468 140735692509216 139723411580032 139723407349461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36802560 140735692518383 140735692518554 140735692518554 140735692521423 0
[pid=24796/tid=24798] ppid=24794 vsize=15419452 memory=4848476 CPUtime=11.02 cores=1,3,5,7
/proc/24796/task/24798/stat : 24798 (java) S 24794 24794 22042 0 -1 1077944384 6955 0 0 0 1054 48 0 0 20 0 19 0 411498393 15789518848 1212119 33554432000 4194304 4196468 140735692509216 139723343575696 139723407349461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36802560 140735692518383 140735692518554 140735692518554 140735692521423 0
[pid=24796/tid=24799] ppid=24794 vsize=15419452 memory=1448 CPUtime=11.15 cores=1,3,5,7
/proc/24796/task/24799/stat : 24799 (java) S 24794 24794 22042 0 -1 1077944384 8981 0 0 0 1073 42 0 0 20 0 19 0 411498395 15789518848 1212119 33554432000 4194304 4196468 140735692509216 139723342522896 139723407349461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36802560 140735692518383 140735692518554 140735692518554 140735692521423 0
[pid=24796/tid=24800] ppid=24794 vsize=15419452 memory=0 CPUtime=10.95 cores=1,3,5,7
/proc/24796/task/24800/stat : 24800 (java) S 24794 24794 22042 0 -1 1077944384 4886 0 0 0 1053 42 0 0 20 0 19 0 411498397 15789518848 1212119 33554432000 4194304 4196468 140735692509216 139723341470096 139723407349461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36802560 140735692518383 140735692518554 140735692518554 140735692521423 0
[pid=24796/tid=24801] ppid=24794 vsize=15419452 memory=4848476 CPUtime=10.88 cores=1,3,5,7
/proc/24796/task/24801/stat : 24801 (java) S 24794 24794 22042 0 -1 1077944384 6601 0 0 0 1039 49 0 0 20 0 19 0 411498399 15789518848 1212119 33554432000 4194304 4196468 140735692509216 139723340417296 139723407349461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36802560 140735692518383 140735692518554 140735692518554 140735692521423 0
[pid=24796/tid=24802] ppid=24794 vsize=15419452 memory=4848476 CPUtime=1.9 cores=1,3,5,7
/proc/24796/task/24802/stat : 24802 (java) S 24794 24794 22042 0 -1 1077944384 10808 0 0 0 164 26 0 0 20 0 19 0 411498407 15789518848 1212119 33554432000 4194304 4196468 140735692509216 139722549955440 139723407350402 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36802560 140735692518383 140735692518554 140735692518554 140735692521423 0
[pid=24796/tid=24803] ppid=24794 vsize=15419452 memory=56 CPUtime=0 cores=1,3,5,7
/proc/24796/task/24803/stat : 24803 (java) S 24794 24794 22042 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 19 0 411498410 15789518848 1212119 33554432000 4194304 4196468 140735692509216 139722548901472 139723407349461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36802560 140735692518383 140735692518554 140735692518554 140735692521423 0
[pid=24796/tid=24804] ppid=24794 vsize=15419452 memory=279944224524128 CPUtime=0 cores=1,3,5,7
/proc/24796/task/24804/stat : 24804 (java) S 24794 24794 22042 0 -1 1077944384 169 0 0 0 0 0 0 0 20 0 19 0 411498412 15789518848 1212119 33554432000 4194304 4196468 140735692509216 139722547848576 139723407349461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36802560 140735692518383 140735692518554 140735692518554 140735692521423 0
[pid=24796/tid=24805] ppid=24794 vsize=15419452 memory=4848476 CPUtime=0 cores=1,3,5,7
/proc/24796/task/24805/stat : 24805 (java) S 24794 24794 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411498420 15789518848 1212119 33554432000 4194304 4196468 140735692509216 139722546796880 139723407357851 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36802560 140735692518383 140735692518554 140735692518554 140735692521423 0
[pid=24796/tid=24806] ppid=24794 vsize=15419452 memory=1448 CPUtime=6.52 cores=1,3,5,7
/proc/24796/task/24806/stat : 24806 (java) S 24794 24794 22042 0 -1 1077944384 32063 0 0 0 649 3 0 0 20 0 19 0 411498421 15789518848 1212119 33554432000 4194304 4196468 140735692509216 139722545744240 139723407350402 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36802560 140735692518383 140735692518554 140735692518554 140735692521423 0
[pid=24796/tid=24807] ppid=24794 vsize=15419452 memory=1448 CPUtime=6 cores=1,3,5,7
/proc/24796/task/24807/stat : 24807 (java) S 24794 24794 22042 0 -1 1077944384 29401 0 0 0 597 3 0 0 20 0 19 0 411498424 15789518848 1212119 33554432000 4194304 4196468 140735692509216 139722544691440 139723407350402 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36802560 140735692518383 140735692518554 140735692518554 140735692521423 0
[pid=24796/tid=24808] ppid=24794 vsize=15419452 memory=4848476 CPUtime=1.2 cores=1,3,5,7
/proc/24796/task/24808/stat : 24808 (java) S 24794 24794 22042 0 -1 1077944384 17240 0 0 0 117 3 0 0 20 0 19 0 411498426 15789518848 1212119 33554432000 4194304 4196468 140735692509216 139722543638640 139723407350402 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36802560 140735692518383 140735692518554 140735692518554 140735692521423 0
[pid=24796/tid=24809] ppid=24794 vsize=15419452 memory=213056147734980 CPUtime=0 cores=1,3,5,7
/proc/24796/task/24809/stat : 24809 (java) S 24794 24794 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411498429 15789518848 1212119 33554432000 4194304 4196468 140735692509216 139722542586080 139723407349461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36802560 140735692518383 140735692518554 140735692518554 140735692521423 0
[pid=24796/tid=24810] ppid=24794 vsize=15419452 memory=1943550 CPUtime=0.35 cores=1,3,5,7
/proc/24796/task/24810/stat : 24810 (java) S 24794 24794 22042 0 -1 1077944384 1718 0 0 0 0 35 0 0 20 0 19 0 411498435 15789518848 1212119 33554432000 4194304 4196468 140735692509216 139722541534384 139723407350402 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36802560 140735692518383 140735692518554 140735692518554 140735692521423 0
[pid=24796/tid=24811] ppid=24794 vsize=15419452 memory=1448 CPUtime=567.43 cores=1,3,5,7
/proc/24796/task/24811/stat : 24811 (java) R 24794 24794 22042 0 -1 4202560 8166 0 0 0 56740 3 0 0 20 0 19 0 411499848 15789518848 1212119 33554432000 4194304 4196468 140735692509216 139722462583064 139723032085336 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 36802560 140735692518383 140735692518554 140735692518554 140735692521423 0
[pid=24796/tid=24812] ppid=24794 vsize=15419452 memory=4848476 CPUtime=564.4 cores=1,3,5,7
/proc/24796/task/24812/stat : 24812 (java) R 24794 24794 22042 0 -1 4202560 30423 0 0 0 56431 9 0 0 20 0 19 0 411499851 15789518848 1212119 33554432000 4194304 4196468 140735692509216 139722461528288 139723023941521 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36802560 140735692518383 140735692518554 140735692518554 140735692521423 0
[pid=24796/tid=24813] ppid=24794 vsize=15419452 memory=3620 CPUtime=567.46 cores=1,3,5,7
/proc/24796/task/24813/stat : 24813 (java) R 24794 24794 22042 0 -1 4202560 9565 0 0 0 56743 3 0 0 20 0 19 0 411499852 15789518848 1212119 33554432000 4194304 4196468 140735692509216 139722460475592 139723028014500 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36802560 140735692518383 140735692518554 140735692518554 140735692521423 0
[pid=24796/tid=24814] ppid=24794 vsize=15419452 memory=38364 CPUtime=567.4 cores=1,3,5,7
/proc/24796/task/24814/stat : 24814 (java) R 24794 24794 22042 0 -1 4202560 13553 0 0 0 56737 3 0 0 20 0 19 0 411499856 15789518848 1212119 33554432000 4194304 4196468 140735692509216 139722459422728 139723033134023 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36802560 140735692518383 140735692518554 140735692518554 140735692521423 0
Current children cumulated CPU time: 2331.47 s
Current children cumulated vsize: 15532580 KiB
Current children cumulated memory: 4849924 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+869.701 s]
/proc/loadavg: 9.15 9.75 9.75 11/239 25062
/proc/meminfo: memFree=25794240/32770624 swapFree=66940776/67108860
[pid=24794] ppid=24791 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/24794/stat : 24794 (xcsp3-exec) S 24791 24794 22042 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 411498382 115843072 362 33554432000 4194304 5098028 140733238213440 140733238211544 140592410440316 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 1 0 0 7196144 7232144 14114816 140733238219642 140733238219885 140733238219885 140733238222794 0
/proc/24794/statm: 28282 362 304 221 0 87 0
[pid=24796] ppid=24794 vsize=15419452 memory=4848476 CPUtime=2520.14 cores=1,3,5,7
/proc/24796/stat : 24796 (java) S 24794 24794 22042 0 -1 1077944320 199497 0 0 0 251762 252 0 0 20 0 19 0 411498385 15789518848 1212119 33554432000 4194304 4196468 140735692509216 140735692491760 139723407339255 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 36802560 140735692518383 140735692518554 140735692518554 140735692521423 0
/proc/24796/statm: 3854863 1212119 3558 1 0 3815965 0
[pid=24796/tid=24797] ppid=24794 vsize=15419452 memory=4848476 CPUtime=4.67 cores=1,3,5,7
/proc/24796/task/24797/stat : 24797 (java) S 24794 24794 22042 0 -1 1077944384 13612 0 0 0 455 12 0 0 20 0 19 0 411498387 15789518848 1212119 33554432000 4194304 4196468 140735692509216 139723411580032 139723407349461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36802560 140735692518383 140735692518554 140735692518554 140735692521423 0
[pid=24796/tid=24798] ppid=24794 vsize=15419452 memory=4848476 CPUtime=11.02 cores=1,3,5,7
/proc/24796/task/24798/stat : 24798 (java) S 24794 24794 22042 0 -1 1077944384 6955 0 0 0 1054 48 0 0 20 0 19 0 411498393 15789518848 1212119 33554432000 4194304 4196468 140735692509216 139723343575696 139723407349461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36802560 140735692518383 140735692518554 140735692518554 140735692521423 0
[pid=24796/tid=24799] ppid=24794 vsize=15419452 memory=4848476 CPUtime=11.15 cores=1,3,5,7
/proc/24796/task/24799/stat : 24799 (java) S 24794 24794 22042 0 -1 1077944384 8981 0 0 0 1073 42 0 0 20 0 19 0 411498395 15789518848 1212119 33554432000 4194304 4196468 140735692509216 139723342522896 139723407349461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36802560 140735692518383 140735692518554 140735692518554 140735692521423 0
[pid=24796/tid=24800] ppid=24794 vsize=15419452 memory=4848476 CPUtime=10.95 cores=1,3,5,7
/proc/24796/task/24800/stat : 24800 (java) S 24794 24794 22042 0 -1 1077944384 4886 0 0 0 1053 42 0 0 20 0 19 0 411498397 15789518848 1212119 33554432000 4194304 4196468 140735692509216 139723341470096 139723407349461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36802560 140735692518383 140735692518554 140735692518554 140735692521423 0
[pid=24796/tid=24801] ppid=24794 vsize=15419452 memory=4848476 CPUtime=10.88 cores=1,3,5,7
/proc/24796/task/24801/stat : 24801 (java) S 24794 24794 22042 0 -1 1077944384 6601 0 0 0 1039 49 0 0 20 0 19 0 411498399 15789518848 1212119 33554432000 4194304 4196468 140735692509216 139723340417296 139723407349461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36802560 140735692518383 140735692518554 140735692518554 140735692521423 0
[pid=24796/tid=24802] ppid=24794 vsize=15419452 memory=4848476 CPUtime=1.9 cores=1,3,5,7
/proc/24796/task/24802/stat : 24802 (java) S 24794 24794 22042 0 -1 1077944384 10821 0 0 0 164 26 0 0 20 0 19 0 411498407 15789518848 1212119 33554432000 4194304 4196468 140735692509216 139722549955440 139723407350402 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36802560 140735692518383 140735692518554 140735692518554 140735692521423 0
[pid=24796/tid=24803] ppid=24794 vsize=15419452 memory=4848476 CPUtime=0 cores=1,3,5,7
/proc/24796/task/24803/stat : 24803 (java) S 24794 24794 22042 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 19 0 411498410 15789518848 1212119 33554432000 4194304 4196468 140735692509216 139722548901472 139723407349461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36802560 140735692518383 140735692518554 140735692518554 140735692521423 0
[pid=24796/tid=24804] ppid=24794 vsize=15419452 memory=4848476 CPUtime=0 cores=1,3,5,7
/proc/24796/task/24804/stat : 24804 (java) S 24794 24794 22042 0 -1 1077944384 169 0 0 0 0 0 0 0 20 0 19 0 411498412 15789518848 1212119 33554432000 4194304 4196468 140735692509216 139722547848576 139723407349461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36802560 140735692518383 140735692518554 140735692518554 140735692521423 0
[pid=24796/tid=24805] ppid=24794 vsize=15419452 memory=4848476 CPUtime=0 cores=1,3,5,7
/proc/24796/task/24805/stat : 24805 (java) S 24794 24794 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411498420 15789518848 1212119 33554432000 4194304 4196468 140735692509216 139722546796880 139723407357851 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36802560 140735692518383 140735692518554 140735692518554 140735692521423 0
[pid=24796/tid=24806] ppid=24794 vsize=15419452 memory=4848476 CPUtime=6.52 cores=1,3,5,7
/proc/24796/task/24806/stat : 24806 (java) S 24794 24794 22042 0 -1 1077944384 32078 0 0 0 649 3 0 0 20 0 19 0 411498421 15789518848 1212119 33554432000 4194304 4196468 140735692509216 139722545744240 139723407350402 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36802560 140735692518383 140735692518554 140735692518554 140735692521423 0
[pid=24796/tid=24807] ppid=24794 vsize=15419452 memory=4848476 CPUtime=6 cores=1,3,5,7
/proc/24796/task/24807/stat : 24807 (java) S 24794 24794 22042 0 -1 1077944384 29407 0 0 0 597 3 0 0 20 0 19 0 411498424 15789518848 1212119 33554432000 4194304 4196468 140735692509216 139722544691440 139723407350402 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36802560 140735692518383 140735692518554 140735692518554 140735692521423 0
[pid=24796/tid=24808] ppid=24794 vsize=15419452 memory=4848476 CPUtime=1.2 cores=1,3,5,7
/proc/24796/task/24808/stat : 24808 (java) S 24794 24794 22042 0 -1 1077944384 17248 0 0 0 117 3 0 0 20 0 19 0 411498426 15789518848 1212119 33554432000 4194304 4196468 140735692509216 139722543638640 139723407350402 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36802560 140735692518383 140735692518554 140735692518554 140735692521423 0
[pid=24796/tid=24809] ppid=24794 vsize=15419452 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/24796/task/24809/stat : 24809 (java) S 24794 24794 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411498429 15789518848 1212119 33554432000 4194304 4196468 140735692509216 139722542586080 139723407349461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36802560 140735692518383 140735692518554 140735692518554 140735692521423 0
[pid=24796/tid=24810] ppid=24794 vsize=15419452 memory=0 CPUtime=0.37 cores=1,3,5,7
/proc/24796/task/24810/stat : 24810 (java) S 24794 24794 22042 0 -1 1077944384 1771 0 0 0 0 37 0 0 20 0 19 0 411498435 15789518848 1212119 33554432000 4194304 4196468 140735692509216 139722541534384 139723407350402 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36802560 140735692518383 140735692518554 140735692518554 140735692521423 0
[pid=24796/tid=24811] ppid=24794 vsize=15419452 memory=1448 CPUtime=614.72 cores=1,3,5,7
/proc/24796/task/24811/stat : 24811 (java) R 24794 24794 22042 0 -1 4202560 8828 0 0 0 61469 3 0 0 20 0 19 0 411499848 15789518848 1212119 33554432000 4194304 4196468 140735692509216 139722462583064 139723032085336 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 36802560 140735692518383 140735692518554 140735692518554 140735692521423 0
[pid=24796/tid=24812] ppid=24794 vsize=15419452 memory=1448 CPUtime=611.78 cores=1,3,5,7
/proc/24796/task/24812/stat : 24812 (java) R 24794 24794 22042 0 -1 4202560 31705 0 0 0 61168 10 0 0 20 0 19 0 411499851 15789518848 1212119 33554432000 4194304 4196468 140735692509216 139722461528288 139723032104549 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36802560 140735692518383 140735692518554 140735692518554 140735692521423 0
[pid=24796/tid=24813] ppid=24794 vsize=15419452 memory=1448 CPUtime=614.83 cores=1,3,5,7
/proc/24796/task/24813/stat : 24813 (java) R 24794 24794 22042 0 -1 4202560 10361 0 0 0 61480 3 0 0 20 0 19 0 411499852 15789518848 1212119 33554432000 4194304 4196468 140735692509216 139722460475592 139723028013099 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36802560 140735692518383 140735692518554 140735692518554 140735692521423 0
[pid=24796/tid=24814] ppid=24794 vsize=15419452 memory=4848476 CPUtime=613.99 cores=1,3,5,7
/proc/24796/task/24814/stat : 24814 (java) R 24794 24794 22042 0 -1 4202560 14751 0 0 0 61396 3 0 0 20 0 19 0 411499856 15789518848 1212119 33554432000 4194304 4196468 140735692509216 139722459422728 139723021848652 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36802560 140735692518383 140735692518554 140735692518554 140735692521423 0
Current children cumulated CPU time: 2520.14 s
Current children cumulated vsize: 15532580 KiB
Current children cumulated memory: 4849924 KiB

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

[startup+869.735 s]
# the end of solver process 24794 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.002951 s, system=0 s

[startup+869.8 s]
# the end of solver process 24796 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2517.93 s, system=2.54664 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+869.701 s]
/proc/loadavg: 9.15 9.75 9.75 11/239 25062
/proc/meminfo: memFree=25794240/32770624 swapFree=66940776/67108860
[pid=24794] ppid=24791 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/24794/stat : 24794 (xcsp3-exec) S 24791 24794 22042 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 411498382 115843072 362 33554432000 4194304 5098028 140733238213440 140733238211544 140592410440316 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 1 0 0 7196144 7232144 14114816 140733238219642 140733238219885 140733238219885 140733238222794 0
/proc/24794/statm: 28282 362 304 221 0 87 0
[pid=24796] ppid=24794 vsize=15419452 memory=4848476 CPUtime=2520.14 cores=1,3,5,7
/proc/24796/stat : 24796 (java) S 24794 24794 22042 0 -1 1077944320 199497 0 0 0 251762 252 0 0 20 0 19 0 411498385 15789518848 1212119 33554432000 4194304 4196468 140735692509216 140735692491760 139723407339255 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 36802560 140735692518383 140735692518554 140735692518554 140735692521423 0
/proc/24796/statm: 3854863 1212119 3558 1 0 3815965 0
[pid=24796/tid=24797] ppid=24794 vsize=15419452 memory=4848476 CPUtime=4.67 cores=1,3,5,7
/proc/24796/task/24797/stat : 24797 (java) S 24794 24794 22042 0 -1 1077944384 13612 0 0 0 455 12 0 0 20 0 19 0 411498387 15789518848 1212119 33554432000 4194304 4196468 140735692509216 139723411580032 139723407349461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36802560 140735692518383 140735692518554 140735692518554 140735692521423 0
[pid=24796/tid=24798] ppid=24794 vsize=15419452 memory=4848476 CPUtime=11.02 cores=1,3,5,7
/proc/24796/task/24798/stat : 24798 (java) S 24794 24794 22042 0 -1 1077944384 6955 0 0 0 1054 48 0 0 20 0 19 0 411498393 15789518848 1212119 33554432000 4194304 4196468 140735692509216 139723343575696 139723407349461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36802560 140735692518383 140735692518554 140735692518554 140735692521423 0
[pid=24796/tid=24799] ppid=24794 vsize=15419452 memory=4848476 CPUtime=11.15 cores=1,3,5,7
/proc/24796/task/24799/stat : 24799 (java) S 24794 24794 22042 0 -1 1077944384 8981 0 0 0 1073 42 0 0 20 0 19 0 411498395 15789518848 1212119 33554432000 4194304 4196468 140735692509216 139723342522896 139723407349461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36802560 140735692518383 140735692518554 140735692518554 140735692521423 0
[pid=24796/tid=24800] ppid=24794 vsize=15419452 memory=4848476 CPUtime=10.95 cores=1,3,5,7
/proc/24796/task/24800/stat : 24800 (java) S 24794 24794 22042 0 -1 1077944384 4886 0 0 0 1053 42 0 0 20 0 19 0 411498397 15789518848 1212119 33554432000 4194304 4196468 140735692509216 139723341470096 139723407349461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36802560 140735692518383 140735692518554 140735692518554 140735692521423 0
[pid=24796/tid=24801] ppid=24794 vsize=15419452 memory=4848476 CPUtime=10.88 cores=1,3,5,7
/proc/24796/task/24801/stat : 24801 (java) S 24794 24794 22042 0 -1 1077944384 6601 0 0 0 1039 49 0 0 20 0 19 0 411498399 15789518848 1212119 33554432000 4194304 4196468 140735692509216 139723340417296 139723407349461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36802560 140735692518383 140735692518554 140735692518554 140735692521423 0
[pid=24796/tid=24802] ppid=24794 vsize=15419452 memory=4848476 CPUtime=1.9 cores=1,3,5,7
/proc/24796/task/24802/stat : 24802 (java) S 24794 24794 22042 0 -1 1077944384 10821 0 0 0 164 26 0 0 20 0 19 0 411498407 15789518848 1212119 33554432000 4194304 4196468 140735692509216 139722549955440 139723407350402 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36802560 140735692518383 140735692518554 140735692518554 140735692521423 0
[pid=24796/tid=24803] ppid=24794 vsize=15419452 memory=4848476 CPUtime=0 cores=1,3,5,7
/proc/24796/task/24803/stat : 24803 (java) S 24794 24794 22042 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 19 0 411498410 15789518848 1212119 33554432000 4194304 4196468 140735692509216 139722548901472 139723407349461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36802560 140735692518383 140735692518554 140735692518554 140735692521423 0
[pid=24796/tid=24804] ppid=24794 vsize=15419452 memory=4848476 CPUtime=0 cores=1,3,5,7
/proc/24796/task/24804/stat : 24804 (java) S 24794 24794 22042 0 -1 1077944384 169 0 0 0 0 0 0 0 20 0 19 0 411498412 15789518848 1212119 33554432000 4194304 4196468 140735692509216 139722547848576 139723407349461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36802560 140735692518383 140735692518554 140735692518554 140735692521423 0
[pid=24796/tid=24805] ppid=24794 vsize=15419452 memory=4848476 CPUtime=0 cores=1,3,5,7
/proc/24796/task/24805/stat : 24805 (java) S 24794 24794 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411498420 15789518848 1212119 33554432000 4194304 4196468 140735692509216 139722546796880 139723407357851 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36802560 140735692518383 140735692518554 140735692518554 140735692521423 0
[pid=24796/tid=24806] ppid=24794 vsize=15419452 memory=4848476 CPUtime=6.52 cores=1,3,5,7
/proc/24796/task/24806/stat : 24806 (java) S 24794 24794 22042 0 -1 1077944384 32078 0 0 0 649 3 0 0 20 0 19 0 411498421 15789518848 1212119 33554432000 4194304 4196468 140735692509216 139722545744240 139723407350402 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36802560 140735692518383 140735692518554 140735692518554 140735692521423 0
[pid=24796/tid=24807] ppid=24794 vsize=15419452 memory=4848476 CPUtime=6 cores=1,3,5,7
/proc/24796/task/24807/stat : 24807 (java) S 24794 24794 22042 0 -1 1077944384 29407 0 0 0 597 3 0 0 20 0 19 0 411498424 15789518848 1212119 33554432000 4194304 4196468 140735692509216 139722544691440 139723407350402 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36802560 140735692518383 140735692518554 140735692518554 140735692521423 0
[pid=24796/tid=24808] ppid=24794 vsize=15419452 memory=4848476 CPUtime=1.2 cores=1,3,5,7
/proc/24796/task/24808/stat : 24808 (java) S 24794 24794 22042 0 -1 1077944384 17248 0 0 0 117 3 0 0 20 0 19 0 411498426 15789518848 1212119 33554432000 4194304 4196468 140735692509216 139722543638640 139723407350402 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36802560 140735692518383 140735692518554 140735692518554 140735692521423 0
[pid=24796/tid=24809] ppid=24794 vsize=15419452 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/24796/task/24809/stat : 24809 (java) S 24794 24794 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411498429 15789518848 1212119 33554432000 4194304 4196468 140735692509216 139722542586080 139723407349461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36802560 140735692518383 140735692518554 140735692518554 140735692521423 0
[pid=24796/tid=24810] ppid=24794 vsize=15419452 memory=0 CPUtime=0.37 cores=1,3,5,7
/proc/24796/task/24810/stat : 24810 (java) S 24794 24794 22042 0 -1 1077944384 1771 0 0 0 0 37 0 0 20 0 19 0 411498435 15789518848 1212119 33554432000 4194304 4196468 140735692509216 139722541534384 139723407350402 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36802560 140735692518383 140735692518554 140735692518554 140735692521423 0
[pid=24796/tid=24811] ppid=24794 vsize=15419452 memory=1448 CPUtime=614.72 cores=1,3,5,7
/proc/24796/task/24811/stat : 24811 (java) R 24794 24794 22042 0 -1 4202560 8828 0 0 0 61469 3 0 0 20 0 19 0 411499848 15789518848 1212119 33554432000 4194304 4196468 140735692509216 139722462583064 139723032085336 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 36802560 140735692518383 140735692518554 140735692518554 140735692521423 0
[pid=24796/tid=24812] ppid=24794 vsize=15419452 memory=1448 CPUtime=611.78 cores=1,3,5,7
/proc/24796/task/24812/stat : 24812 (java) R 24794 24794 22042 0 -1 4202560 31705 0 0 0 61168 10 0 0 20 0 19 0 411499851 15789518848 1212119 33554432000 4194304 4196468 140735692509216 139722461528288 139723032104549 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36802560 140735692518383 140735692518554 140735692518554 140735692521423 0
[pid=24796/tid=24813] ppid=24794 vsize=15419452 memory=1448 CPUtime=614.83 cores=1,3,5,7
/proc/24796/task/24813/stat : 24813 (java) R 24794 24794 22042 0 -1 4202560 10361 0 0 0 61480 3 0 0 20 0 19 0 411499852 15789518848 1212119 33554432000 4194304 4196468 140735692509216 139722460475592 139723028013099 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36802560 140735692518383 140735692518554 140735692518554 140735692521423 0
[pid=24796/tid=24814] ppid=24794 vsize=15419452 memory=4848476 CPUtime=613.99 cores=1,3,5,7
/proc/24796/task/24814/stat : 24814 (java) R 24794 24794 22042 0 -1 4202560 14751 0 0 0 61396 3 0 0 20 0 19 0 411499856 15789518848 1212119 33554432000 4194304 4196468 140735692509216 139722459422728 139723021848652 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36802560 140735692518383 140735692518554 140735692518554 140735692521423 0
Current children cumulated CPU time: 2520.14 s
Current children cumulated vsize: 15532580 KiB
Current children cumulated memory: 4849924 KiB

Child status: 143
Real time (s): 869.8
CPU time (s): 2520.47
CPU user time (s): 2517.93
CPU system time (s): 2.54664
CPU usage (%): 289.776
Max. virtual memory (cumulated for all children) (KiB): 15532580
Max. memory (cumulated for all children) (KiB): 4849924

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.93
system time used= 2.54664
maximum resident set size= 4848884
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 200818
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1056
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 22577
involuntary context switches= 142726


# summary of solver processes directly reported to runsolver:
#   pid: 24794,24796
#   total CPU time (s): 2520.47
#   total CPU user time (s): 2517.93
#   total CPU system time (s): 2.54664

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.58136 second user time and 9.55527 second system time

The end

Launcher Data 

Begin job on node149 at 2019-09-13 07:29:19
IDJOB=4393095
IDBENCH=139246
IDSOLVER=2840
FILE ID=node149/4393095-1568352596
RUNJOBID= node149-1568346919-22074
PBS_JOBID= 21701170
Free space on /tmp= 57020 MiB

SOLVER NAME= choco-solver 2019-06-14
BENCH NAME= XCSP17/Fischer/Fischer-m1-s1/Fischer-09-06-fair.xml
COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 12000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4393095-1568352596/watcher-4393095-1568352596 -o /tmp/evaluation-result-4393095-1568352596/solver-4393095-1568352596 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1568346919-22074 --watchdog 2580  xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1244505640 HOME/instance-4393095-1568352596.xml

TIME LIMIT= 2520 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 15d83a7cac0db09c33f3aa76b650ee28
RANDOM SEED=1244505640

node149.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.81
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.81
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.81
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.81
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:        29065276 kB
MemAvailable:   29855112 kB
Buffers:          138856 kB
Cached:           947524 kB
SwapCached:        61380 kB
Active:          2483264 kB
Inactive:         660368 kB
Active(anon):    2024832 kB
Inactive(anon):    72364 kB
Active(file):     458432 kB
Inactive(file):   588004 kB
Unevictable:      111276 kB
Mlocked:          111276 kB
SwapTotal:      67108860 kB
SwapFree:       66940768 kB
Dirty:             27112 kB
Writeback:             0 kB
AnonPages:       2109176 kB
Mapped:            58060 kB
Shmem:             31200 kB
Slab:             147908 kB
SReclaimable:     118472 kB
SUnreclaim:        29436 kB
KernelStack:        4144 kB
PageTables:         9992 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    5626448 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1951744 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      144768 kB
DirectMap2M:    33400832 kB

Free space on /tmp at the end= 57020 MiB
End job on node149 at 2019-09-13 07:43:49