Trace number 4269407

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
choco-solver 4.0.5 seq (2017-08-09)? (TO) 2520.1201 2501.95

General information on the benchmark

NameCarSequencing/CarSequencing-m1-jcr/
CarSequencing-19-71.xml
MD5SUM910e6a58e5b883abb8b2e34c5de0ea43
Bench CategoryCSP (decision problem)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables600
Number of constraints736
Number of domains2
Minimum domain size2
Maximum domain size23
Distribution of domain sizes[{"size":2,"count":500},{"size":23,"count":100}]
Minimum variable degree2
Maximum variable degree51
Distribution of variable degrees[{"degree":2,"count":100},{"degree":3,"count":5},{"degree":4,"count":5},{"degree":5,"count":6},{"degree":6,"count":10},{"degree":7,"count":10},{"degree":8,"count":18},{"degree":9,"count":18},{"degree":10,"count":18},{"degree":11,"count":18},{"degree":12,"count":18},{"degree":13,"count":18},{"degree":14,"count":18},{"degree":15,"count":18},{"degree":16,"count":18},{"degree":17,"count":18},{"degree":18,"count":18},{"degree":19,"count":19},{"degree":20,"count":19},{"degree":21,"count":19},{"degree":22,"count":20},{"degree":23,"count":30},{"degree":24,"count":14},{"degree":25,"count":14},{"degree":26,"count":9},{"degree":27,"count":8},{"degree":28,"count":8},{"degree":29,"count":8},{"degree":30,"count":8},{"degree":31,"count":8},{"degree":32,"count":8},{"degree":33,"count":9},{"degree":34,"count":10},{"degree":35,"count":14},{"degree":36,"count":7},{"degree":37,"count":2},{"degree":38,"count":2},{"degree":39,"count":2},{"degree":40,"count":2},{"degree":41,"count":2},{"degree":42,"count":2},{"degree":43,"count":2},{"degree":44,"count":2},{"degree":45,"count":2},{"degree":46,"count":2},{"degree":47,"count":2},{"degree":48,"count":2},{"degree":49,"count":2},{"degree":50,"count":3},{"degree":51,"count":5}]
Minimum constraint arity2
Maximum constraint arity100
Distribution of constraint arities[{"arity":2,"count":99},{"arity":3,"count":196},{"arity":5,"count":193},{"arity":6,"count":101},{"arity":7,"count":1},{"arity":8,"count":1},{"arity":10,"count":4},{"arity":12,"count":1},{"arity":13,"count":2},{"arity":14,"count":1},{"arity":15,"count":1},{"arity":16,"count":3},{"arity":18,"count":1},{"arity":19,"count":2},{"arity":20,"count":3},{"arity":22,"count":3},{"arity":24,"count":1},{"arity":25,"count":4},{"arity":26,"count":1},{"arity":28,"count":3},{"arity":30,"count":3},{"arity":31,"count":2},{"arity":32,"count":1},{"arity":34,"count":3},{"arity":35,"count":2},"...",{"arity":67,"count":2}, {"arity":68,"count":1}, {"arity":70,"count":5}, {"arity":72,"count":1}, {"arity":73,"count":2}, {"arity":74,"count":1}, {"arity":75,"count":2}, {"arity":76,"count":3}, {"arity":78,"count":1}, {"arity":79,"count":2}, {"arity":80,"count":3}, {"arity":82,"count":3}, {"arity":84,"count":1}, {"arity":85,"count":4}, {"arity":86,"count":1}, {"arity":88,"count":3}, {"arity":90,"count":3}, {"arity":91,"count":2}, {"arity":92,"count":1}, {"arity":94,"count":3}, {"arity":95,"count":2}, {"arity":96,"count":1}, {"arity":97,"count":2}, {"arity":98,"count":1}, {"arity":100,"count":6}]
Number of extensional constraints100
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":100},{"type":"sum","count":635},{"type":"cardinality","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4269407-1502795566.xml"  -tl '2520s' -p 1 -x 0
0.12/0.14	c [HOME/instance-4269407-1502795566.xml, -tl, 2520s, -p, 1, -x, 0]
0.12/0.19	c simple solver
0.34/0.26	c parse instance...
1.38/0.61	c solve instance...
2520.06/2501.90	s UNKNOWN
2520.06/2501.90	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 (11608 MiB free)
  memory of node 1: 16384 MiB (14775 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4269407-1502795566/watcher-4269407-1502795566 -o /tmp/evaluation-result-4269407-1502795566/solver-4269407-1502795566 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1502792191-10015 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 884520278 HOME/instance-4269407-1502795566.xml 

running on 4 cores: 0,2,4,6

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
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=10448, runsolver pid=10445

[startup+0.10013 s]*
/proc/loadavg: 2.01 1.92 2.35 5/217 10464
/proc/meminfo: memFree=26997836/32770624 swapFree=67108860/67108860
[pid=10448] ppid=10445 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/10448/stat : 10448 (xcsp3-exec) S 10445 10448 9984 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 112637748 9740288 346 33554432000 4194304 5098028 140728868842048 140728868840152 140342182138492 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 19959808 140728868844655 140728868844859 140728868844859 140728868847595 0
/proc/10448/statm: 2378 346 289 221 0 87 0
[pid=10450] ppid=10448 vsize=13978596 memory=29200 CPUtime=0.12 cores=0,2,4,6
/proc/10450/stat : 10450 (java) S 10448 10448 9984 0 -1 1077944320 5133 0 0 0 11 1 0 0 20 0 15 0 112637748 14314082304 7300 33554432000 4194304 4196468 140721213696400 140721213678944 139696661167863 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23498752 140721213699223 140721213699399 140721213699399 140721213702095 0
/proc/10450/statm: 3494649 7300 2897 1 0 3482966 0
[pid=10450/tid=10451] ppid=10448 vsize=13978596 memory=-6962121287837372198 CPUtime=0.08 cores=0,2,4,6
/proc/10450/task/10451/stat : 10451 (java) R 10448 10448 9984 0 -1 4202560 3036 0 0 0 8 0 0 0 20 0 15 0 112637749 14314082304 7300 33554432000 4194304 4196468 140721213696400 139696665402400 139696661189789 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23498752 140721213699223 140721213699399 140721213699399 140721213702095 0
[pid=10450/tid=10452] ppid=10448 vsize=13978596 memory=-3689451258167578675 CPUtime=0 cores=0,2,4,6
/proc/10450/task/10452/stat : 10452 (java) S 10448 10448 9984 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112637749 14314082304 7300 33554432000 4194304 4196468 140721213696400 139696256457616 139696661178069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23498752 140721213699223 140721213699399 140721213699399 140721213702095 0
[pid=10450/tid=10453] ppid=10448 vsize=13978596 memory=139832663168640 CPUtime=0 cores=0,2,4,6
/proc/10450/task/10453/stat : 10453 (java) S 10448 10448 9984 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112637750 14314082304 7300 33554432000 4194304 4196468 140721213696400 139696255404816 139696661178069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23498752 140721213699223 140721213699399 140721213699399 140721213702095 0
[pid=10450/tid=10454] ppid=10448 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10450/task/10454/stat : 10454 (java) S 10448 10448 9984 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112637750 14314082304 7300 33554432000 4194304 4196468 140721213696400 139696254352528 139696661178069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23498752 140721213699223 140721213699399 140721213699399 140721213702095 0
[pid=10450/tid=10455] ppid=10448 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10450/task/10455/stat : 10455 (java) S 10448 10448 9984 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 112637750 14314082304 7300 33554432000 4194304 4196468 140721213696400 139696253299728 139696661178069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23498752 140721213699223 140721213699399 140721213699399 140721213702095 0
[pid=10450/tid=10456] ppid=10448 vsize=13978596 memory=139832663168640 CPUtime=0 cores=0,2,4,6
/proc/10450/task/10456/stat : 10456 (java) S 10448 10448 9984 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 112637751 14314082304 7300 33554432000 4194304 4196468 140721213696400 139696135387248 139696661179010 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23498752 140721213699223 140721213699399 140721213699399 140721213702095 0
[pid=10450/tid=10457] ppid=10448 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10450/task/10457/stat : 10457 (java) S 10448 10448 9984 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 112637751 14314082304 7300 33554432000 4194304 4196468 140721213696400 139696134333216 139696661178069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23498752 140721213699223 140721213699399 140721213699399 140721213702095 0
[pid=10450/tid=10458] ppid=10448 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10450/task/10458/stat : 10458 (java) S 10448 10448 9984 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 112637751 14314082304 7300 33554432000 4194304 4196468 140721213696400 139696133280880 139696661178069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23498752 140721213699223 140721213699399 140721213699399 140721213702095 0
[pid=10450/tid=10459] ppid=10448 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10450/task/10459/stat : 10459 (java) S 10448 10448 9984 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112637754 14314082304 7300 33554432000 4194304 4196468 140721213696400 139696132229200 139696661186459 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23498752 140721213699223 140721213699399 140721213699399 140721213702095 0
[pid=10450/tid=10460] ppid=10448 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10450/task/10460/stat : 10460 (java) S 10448 10448 9984 0 -1 1077944384 428 0 0 0 0 0 0 0 20 0 15 0 112637754 14314082304 7300 33554432000 4194304 4196468 140721213696400 139696131177072 139696661179010 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23498752 140721213699223 140721213699399 140721213699399 140721213702095 0
[pid=10450/tid=10461] ppid=10448 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10450/task/10461/stat : 10461 (java) S 10448 10448 9984 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112637754 14314082304 7300 33554432000 4194304 4196468 140721213696400 139696130124272 139696661179010 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23498752 140721213699223 140721213699399 140721213699399 140721213702095 0
[pid=10450/tid=10462] ppid=10448 vsize=13978596 memory=139832663168640 CPUtime=0.01 cores=0,2,4,6
/proc/10450/task/10462/stat : 10462 (java) S 10448 10448 9984 0 -1 1077944384 369 0 0 0 1 0 0 0 20 0 15 0 112637754 14314082304 7300 33554432000 4194304 4196468 140721213696400 139696129071984 139696661179010 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23498752 140721213699223 140721213699399 140721213699399 140721213702095 0
[pid=10450/tid=10463] ppid=10448 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10450/task/10463/stat : 10463 (java) S 10448 10448 9984 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112637754 14314082304 7300 33554432000 4194304 4196468 140721213696400 139696128019424 139696661178069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23498752 140721213699223 140721213699399 140721213699399 140721213702095 0
[pid=10450/tid=10464] ppid=10448 vsize=13978596 memory=139832663168640 CPUtime=0 cores=0,2,4,6
/proc/10450/task/10464/stat : 10464 (java) S 10448 10448 9984 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112637754 14314082304 7300 33554432000 4194304 4196468 140721213696400 139696126966192 139696661179010 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23498752 140721213699223 140721213699399 140721213699399 140721213702095 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 30584 KiB

[startup+0.210761 s]*
/proc/loadavg: 2.01 1.92 2.35 8/217 10464
/proc/meminfo: memFree=26987700/32770624 swapFree=67108860/67108860
[pid=10448] ppid=10445 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/10448/stat : 10448 (xcsp3-exec) S 10445 10448 9984 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 112637748 9740288 346 33554432000 4194304 5098028 140728868842048 140728868840152 140342182138492 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 19959808 140728868844655 140728868844859 140728868844859 140728868847595 0
/proc/10448/statm: 2378 346 289 221 0 87 0
[pid=10450] ppid=10448 vsize=13982852 memory=40808 CPUtime=0.34 cores=0,2,4,6
/proc/10450/stat : 10450 (java) S 10448 10448 9984 0 -1 1077944320 7736 0 0 0 32 2 0 0 20 0 15 0 112637748 14318440448 10202 33554432000 4194304 4196468 140721213696400 140721213678944 139696661167863 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23498752 140721213699223 140721213699399 140721213699399 140721213702095 0
/proc/10450/statm: 3495713 10202 3063 1 0 3482966 0
[pid=10450/tid=10451] ppid=10448 vsize=13982852 memory=7883960649037381690 CPUtime=0.19 cores=0,2,4,6
/proc/10450/task/10451/stat : 10451 (java) R 10448 10448 9984 0 -1 4202560 4816 0 0 0 18 1 0 0 20 0 15 0 112637749 14318440448 10202 33554432000 4194304 4196468 140721213696400 139696665388064 139696645248350 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23498752 140721213699223 140721213699399 140721213699399 140721213702095 0
[pid=10450/tid=10452] ppid=10448 vsize=13982852 memory=9010 CPUtime=0 cores=0,2,4,6
/proc/10450/task/10452/stat : 10452 (java) S 10448 10448 9984 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112637749 14318440448 10202 33554432000 4194304 4196468 140721213696400 139696256457616 139696661178069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23498752 140721213699223 140721213699399 140721213699399 140721213702095 0
[pid=10450/tid=10453] ppid=10448 vsize=13982852 memory=139832663683588 CPUtime=0 cores=0,2,4,6
/proc/10450/task/10453/stat : 10453 (java) S 10448 10448 9984 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112637750 14318440448 10202 33554432000 4194304 4196468 140721213696400 139696255404816 139696661178069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23498752 140721213699223 140721213699399 140721213699399 140721213702095 0
[pid=10450/tid=10454] ppid=10448 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10450/task/10454/stat : 10454 (java) S 10448 10448 9984 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112637750 14318440448 10202 33554432000 4194304 4196468 140721213696400 139696254352528 139696661178069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23498752 140721213699223 140721213699399 140721213699399 140721213702095 0
[pid=10450/tid=10455] ppid=10448 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10450/task/10455/stat : 10455 (java) S 10448 10448 9984 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 112637750 14318440448 10202 33554432000 4194304 4196468 140721213696400 139696253299728 139696661178069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23498752 140721213699223 140721213699399 140721213699399 140721213702095 0
[pid=10450/tid=10456] ppid=10448 vsize=13982852 memory=139832663168640 CPUtime=0 cores=0,2,4,6
/proc/10450/task/10456/stat : 10456 (java) S 10448 10448 9984 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 112637751 14318440448 10202 33554432000 4194304 4196468 140721213696400 139696135387248 139696661179010 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23498752 140721213699223 140721213699399 140721213699399 140721213702095 0
[pid=10450/tid=10457] ppid=10448 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10450/task/10457/stat : 10457 (java) S 10448 10448 9984 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 112637751 14318440448 10202 33554432000 4194304 4196468 140721213696400 139696134333216 139696661178069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23498752 140721213699223 140721213699399 140721213699399 140721213702095 0
[pid=10450/tid=10458] ppid=10448 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10450/task/10458/stat : 10458 (java) S 10448 10448 9984 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 112637751 14318440448 10202 33554432000 4194304 4196468 140721213696400 139696133280880 139696661178069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23498752 140721213699223 140721213699399 140721213699399 140721213702095 0
[pid=10450/tid=10459] ppid=10448 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10450/task/10459/stat : 10459 (java) S 10448 10448 9984 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112637754 14318440448 10202 33554432000 4194304 4196468 140721213696400 139696132229200 139696661186459 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23498752 140721213699223 140721213699399 140721213699399 140721213702095 0
[pid=10450/tid=10460] ppid=10448 vsize=13982852 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/10450/task/10460/stat : 10460 (java) S 10448 10448 9984 0 -1 1077944384 632 0 0 0 2 0 0 0 20 0 15 0 112637754 14318440448 10202 33554432000 4194304 4196468 140721213696400 139696131177072 139696661179010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23498752 140721213699223 140721213699399 140721213699399 140721213702095 0
[pid=10450/tid=10461] ppid=10448 vsize=13982852 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/10450/task/10461/stat : 10461 (java) S 10448 10448 9984 0 -1 1077944384 166 0 0 0 2 0 0 0 20 0 15 0 112637754 14318440448 10202 33554432000 4194304 4196468 140721213696400 139696130124272 139696661179010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23498752 140721213699223 140721213699399 140721213699399 140721213702095 0
[pid=10450/tid=10462] ppid=10448 vsize=13982852 memory=139832663168640 CPUtime=0.08 cores=0,2,4,6
/proc/10450/task/10462/stat : 10462 (java) R 10448 10448 9984 0 -1 4202560 820 0 0 0 8 0 0 0 20 0 15 0 112637754 14318440448 10202 33554432000 4194304 4196468 140721213696400 139696129071984 139696640088376 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23498752 140721213699223 140721213699399 140721213699399 140721213702095 0
[pid=10450/tid=10463] ppid=10448 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10450/task/10463/stat : 10463 (java) S 10448 10448 9984 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112637754 14318440448 10202 33554432000 4194304 4196468 140721213696400 139696128019424 139696661178069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23498752 140721213699223 140721213699399 140721213699399 140721213702095 0
[pid=10450/tid=10464] ppid=10448 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10450/task/10464/stat : 10464 (java) S 10448 10448 9984 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112637754 14318440448 10202 33554432000 4194304 4196468 140721213696400 139696126966192 139696661179010 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23498752 140721213699223 140721213699399 140721213699399 140721213702095 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 42192 KiB

[startup+0.310621 s]*
/proc/loadavg: 2.01 1.92 2.35 7/217 10464
/proc/meminfo: memFree=26979900/32770624 swapFree=67108860/67108860
[pid=10448] ppid=10445 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/10448/stat : 10448 (xcsp3-exec) S 10445 10448 9984 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 112637748 9740288 346 33554432000 4194304 5098028 140728868842048 140728868840152 140342182138492 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 19959808 140728868844655 140728868844859 140728868844859 140728868847595 0
/proc/10448/statm: 2378 346 289 221 0 87 0
[pid=10450] ppid=10448 vsize=13982852 memory=48500 CPUtime=0.51 cores=0,2,4,6
/proc/10450/stat : 10450 (java) S 10448 10448 9984 0 -1 1077944320 8768 0 0 0 48 3 0 0 20 0 15 0 112637748 14318440448 12125 33554432000 4194304 4196468 140721213696400 140721213678944 139696661167863 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23498752 140721213699223 140721213699399 140721213699399 140721213702095 0
/proc/10450/statm: 3495713 12125 3100 1 0 3482966 0
[pid=10450/tid=10451] ppid=10448 vsize=13982852 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/10450/task/10451/stat : 10451 (java) R 10448 10448 9984 0 -1 4202560 5461 0 0 0 27 2 0 0 20 0 15 0 112637749 14318440448 12125 33554432000 4194304 4196468 140721213696400 139696665405888 139696661179798 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23498752 140721213699223 140721213699399 140721213699399 140721213702095 0
[pid=10450/tid=10452] ppid=10448 vsize=13982852 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/10450/task/10452/stat : 10452 (java) S 10448 10448 9984 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112637749 14318440448 12125 33554432000 4194304 4196468 140721213696400 139696256457616 139696661178069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23498752 140721213699223 140721213699399 140721213699399 140721213702095 0
[pid=10450/tid=10453] ppid=10448 vsize=13982852 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/10450/task/10453/stat : 10453 (java) S 10448 10448 9984 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112637750 14318440448 12125 33554432000 4194304 4196468 140721213696400 139696255404816 139696661178069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23498752 140721213699223 140721213699399 140721213699399 140721213702095 0
[pid=10450/tid=10454] ppid=10448 vsize=13982852 memory=-2026666227646604569 CPUtime=0 cores=0,2,4,6
/proc/10450/task/10454/stat : 10454 (java) S 10448 10448 9984 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112637750 14318440448 12125 33554432000 4194304 4196468 140721213696400 139696254352528 139696661178069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23498752 140721213699223 140721213699399 140721213699399 140721213702095 0
[pid=10450/tid=10455] ppid=10448 vsize=13982852 memory=6945503147187019673 CPUtime=0 cores=0,2,4,6
/proc/10450/task/10455/stat : 10455 (java) S 10448 10448 9984 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 112637750 14318440448 12125 33554432000 4194304 4196468 140721213696400 139696253299728 139696661178069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23498752 140721213699223 140721213699399 140721213699399 140721213702095 0
[pid=10450/tid=10456] ppid=10448 vsize=13982852 memory=7016714186490735262 CPUtime=0 cores=0,2,4,6
/proc/10450/task/10456/stat : 10456 (java) S 10448 10448 9984 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 112637751 14318440448 12125 33554432000 4194304 4196468 140721213696400 139696135387248 139696661179010 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23498752 140721213699223 140721213699399 140721213699399 140721213702095 0
[pid=10450/tid=10457] ppid=10448 vsize=13982852 memory=-8458152057954561420 CPUtime=0 cores=0,2,4,6
/proc/10450/task/10457/stat : 10457 (java) S 10448 10448 9984 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 112637751 14318440448 12125 33554432000 4194304 4196468 140721213696400 139696134333216 139696661178069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23498752 140721213699223 140721213699399 140721213699399 140721213702095 0
[pid=10450/tid=10458] ppid=10448 vsize=13982852 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/10450/task/10458/stat : 10458 (java) S 10448 10448 9984 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 112637751 14318440448 12125 33554432000 4194304 4196468 140721213696400 139696133280880 139696661178069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23498752 140721213699223 140721213699399 140721213699399 140721213702095 0
[pid=10450/tid=10459] ppid=10448 vsize=13982852 memory=7031125463459224206 CPUtime=0 cores=0,2,4,6
/proc/10450/task/10459/stat : 10459 (java) S 10448 10448 9984 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112637754 14318440448 12125 33554432000 4194304 4196468 140721213696400 139696132229200 139696661186459 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23498752 140721213699223 140721213699399 140721213699399 140721213702095 0
[pid=10450/tid=10460] ppid=10448 vsize=13982852 memory=4713750055892520310 CPUtime=0.03 cores=0,2,4,6
/proc/10450/task/10460/stat : 10460 (java) R 10448 10448 9984 0 -1 1077944384 793 0 0 0 3 0 0 0 20 0 15 0 112637754 14318440448 12125 33554432000 4194304 4196468 140721213696400 139696131170096 139696661178069 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23498752 140721213699223 140721213699399 140721213699399 140721213702095 0
[pid=10450/tid=10461] ppid=10448 vsize=13982852 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/10450/task/10461/stat : 10461 (java) R 10448 10448 9984 0 -1 4202560 180 0 0 0 3 0 0 0 20 0 15 0 112637754 14318440448 12125 33554432000 4194304 4196468 140721213696400 139696130124272 139696661189210 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23498752 140721213699223 140721213699399 140721213699399 140721213702095 0
[pid=10450/tid=10462] ppid=10448 vsize=13982852 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/10450/task/10462/stat : 10462 (java) R 10448 10448 9984 0 -1 4202560 1032 0 0 0 13 0 0 0 20 0 15 0 112637754 14318440448 12125 33554432000 4194304 4196468 140721213696400 139696129068352 139696653404990 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23498752 140721213699223 140721213699399 140721213699399 140721213702095 0
[pid=10450/tid=10463] ppid=10448 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10450/task/10463/stat : 10463 (java) S 10448 10448 9984 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112637754 14318440448 12125 33554432000 4194304 4196468 140721213696400 139696128019424 139696661178069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23498752 140721213699223 140721213699399 140721213699399 140721213702095 0
[pid=10450/tid=10464] ppid=10448 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10450/task/10464/stat : 10464 (java) S 10448 10448 9984 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112637754 14318440448 12125 33554432000 4194304 4196468 140721213696400 139696126966192 139696661179010 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23498752 140721213699223 140721213699399 140721213699399 140721213702095 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 49884 KiB

[startup+0.700846 s]
/proc/loadavg: 2.01 1.92 2.35 7/217 10464
/proc/meminfo: memFree=26965260/32770624 swapFree=67108860/67108860
[pid=10448] ppid=10445 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/10448/stat : 10448 (xcsp3-exec) S 10445 10448 9984 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 112637748 9740288 346 33554432000 4194304 5098028 140728868842048 140728868840152 140342182138492 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 19959808 140728868844655 140728868844859 140728868844859 140728868847595 0
/proc/10448/statm: 2378 346 289 221 0 87 0
[pid=10450] ppid=10448 vsize=13984976 memory=71720 CPUtime=1.63 cores=0,2,4,6
/proc/10450/stat : 10450 (java) S 10448 10448 9984 0 -1 1077944320 11094 0 0 0 158 5 0 0 20 0 15 0 112637748 14320615424 17930 33554432000 4194304 4196468 140721213696400 140721213678944 139696661167863 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23498752 140721213699223 140721213699399 140721213699399 140721213702095 0
/proc/10450/statm: 3496244 17930 3213 1 0 3483478 0
[pid=10450/tid=10451] ppid=10448 vsize=13984976 memory=33 CPUtime=0.67 cores=0,2,4,6
/proc/10450/task/10451/stat : 10451 (java) R 10448 10448 9984 0 -1 4202560 6219 0 0 0 64 3 0 0 20 0 15 0 112637749 14320615424 17930 33554432000 4194304 4196468 140721213696400 139696665404544 139696661179798 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23498752 140721213699223 140721213699399 140721213699399 140721213702095 0
[pid=10450/tid=10452] ppid=10448 vsize=13984976 memory=-7082918048272507482 CPUtime=0 cores=0,2,4,6
/proc/10450/task/10452/stat : 10452 (java) S 10448 10448 9984 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112637749 14320615424 17930 33554432000 4194304 4196468 140721213696400 139696256457616 139696661178069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23498752 140721213699223 140721213699399 140721213699399 140721213702095 0
[pid=10450/tid=10453] ppid=10448 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10450/task/10453/stat : 10453 (java) S 10448 10448 9984 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112637750 14320615424 17930 33554432000 4194304 4196468 140721213696400 139696255404816 139696661178069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23498752 140721213699223 140721213699399 140721213699399 140721213702095 0
[pid=10450/tid=10454] ppid=10448 vsize=13984976 memory=32128 CPUtime=0 cores=0,2,4,6
/proc/10450/task/10454/stat : 10454 (java) S 10448 10448 9984 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112637750 14320615424 17930 33554432000 4194304 4196468 140721213696400 139696254352528 139696661178069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23498752 140721213699223 140721213699399 140721213699399 140721213702095 0
[pid=10450/tid=10455] ppid=10448 vsize=13984976 memory=1296 CPUtime=0 cores=0,2,4,6
/proc/10450/task/10455/stat : 10455 (java) S 10448 10448 9984 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 112637750 14320615424 17930 33554432000 4194304 4196468 140721213696400 139696253299728 139696661178069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23498752 140721213699223 140721213699399 140721213699399 140721213702095 0
[pid=10450/tid=10456] ppid=10448 vsize=13984976 memory=2396 CPUtime=0 cores=0,2,4,6
/proc/10450/task/10456/stat : 10456 (java) S 10448 10448 9984 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 112637751 14320615424 17930 33554432000 4194304 4196468 140721213696400 139696135387248 139696661179010 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23498752 140721213699223 140721213699399 140721213699399 140721213702095 0
[pid=10450/tid=10457] ppid=10448 vsize=13984976 memory=1728 CPUtime=0 cores=0,2,4,6
/proc/10450/task/10457/stat : 10457 (java) S 10448 10448 9984 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 112637751 14320615424 17930 33554432000 4194304 4196468 140721213696400 139696134333216 139696661178069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23498752 140721213699223 140721213699399 140721213699399 140721213702095 0
[pid=10450/tid=10458] ppid=10448 vsize=13984976 memory=1004 CPUtime=0 cores=0,2,4,6
/proc/10450/task/10458/stat : 10458 (java) S 10448 10448 9984 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 112637751 14320615424 17930 33554432000 4194304 4196468 140721213696400 139696133280880 139696661178069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23498752 140721213699223 140721213699399 140721213699399 140721213702095 0
[pid=10450/tid=10459] ppid=10448 vsize=13984976 memory=11040 CPUtime=0 cores=0,2,4,6
/proc/10450/task/10459/stat : 10459 (java) S 10448 10448 9984 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112637754 14320615424 17930 33554432000 4194304 4196468 140721213696400 139696132229200 139696661186459 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23498752 140721213699223 140721213699399 140721213699399 140721213702095 0
[pid=10450/tid=10460] ppid=10448 vsize=13984976 memory=5700 CPUtime=0.24 cores=0,2,4,6
/proc/10450/task/10460/stat : 10460 (java) R 10448 10448 9984 0 -1 4202560 1274 0 0 0 24 0 0 0 20 0 15 0 112637754 14320615424 17930 33554432000 4194304 4196468 140721213696400 139696131177072 139696644659550 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23498752 140721213699223 140721213699399 140721213699399 140721213702095 0
[pid=10450/tid=10461] ppid=10448 vsize=13984976 memory=4616 CPUtime=0.28 cores=0,2,4,6
/proc/10450/task/10461/stat : 10461 (java) R 10448 10448 9984 0 -1 4202560 525 0 0 0 28 0 0 0 20 0 15 0 112637754 14320615424 17930 33554432000 4194304 4196468 140721213696400 139696130124272 139696661181750 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23498752 140721213699223 140721213699399 140721213699399 140721213702095 0
[pid=10450/tid=10462] ppid=10448 vsize=13984976 memory=792 CPUtime=0.4 cores=0,2,4,6
/proc/10450/task/10462/stat : 10462 (java) R 10448 10448 9984 0 -1 1077944384 1768 0 0 0 40 0 0 0 20 0 15 0 112637754 14320615424 17930 33554432000 4194304 4196468 140721213696400 139696129071984 139696661179010 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 23498752 140721213699223 140721213699399 140721213699399 140721213702095 0
[pid=10450/tid=10463] ppid=10448 vsize=13984976 memory=1424 CPUtime=0 cores=0,2,4,6
/proc/10450/task/10463/stat : 10463 (java) S 10448 10448 9984 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112637754 14320615424 17930 33554432000 4194304 4196468 140721213696400 139696128019424 139696661178069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23498752 140721213699223 140721213699399 140721213699399 140721213702095 0
[pid=10450/tid=10464] ppid=10448 vsize=13984976 memory=1936 CPUtime=0 cores=0,2,4,6
/proc/10450/task/10464/stat : 10464 (java) S 10448 10448 9984 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112637754 14320615424 17930 33554432000 4194304 4196468 140721213696400 139696126966192 139696661179010 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23498752 140721213699223 140721213699399 140721213699399 140721213702095 0
Current children cumulated CPU time: 1.63 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 73104 KiB

[startup+1.50072 s]
/proc/loadavg: 2.01 1.92 2.35 7/217 10464
/proc/meminfo: memFree=26941692/32770624 swapFree=67108860/67108860
[pid=10448] ppid=10445 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/10448/stat : 10448 (xcsp3-exec) S 10445 10448 9984 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 112637748 9740288 346 33554432000 4194304 5098028 140728868842048 140728868840152 140342182138492 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 19959808 140728868844655 140728868844859 140728868844859 140728868847595 0
/proc/10448/statm: 2378 346 289 221 0 87 0

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

/proc/10450/task/10458/stat : 10458 (java) S 10448 10448 9984 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 112637751 14320615424 774055 33554432000 4194304 4196468 140721213696400 139696133280880 139696661178069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23498752 140721213699223 140721213699399 140721213699399 140721213702095 0
[pid=10450/tid=10459] ppid=10448 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/10450/task/10459/stat : 10459 (java) S 10448 10448 9984 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112637754 14320615424 774055 33554432000 4194304 4196468 140721213696400 139696132229200 139696661186459 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23498752 140721213699223 140721213699399 140721213699399 140721213702095 0
[pid=10450/tid=10460] ppid=10448 vsize=13984976 memory=4140 CPUtime=2.86 cores=0,2,4,6
/proc/10450/task/10460/stat : 10460 (java) S 10448 10448 9984 0 -1 1077944384 17578 0 0 0 283 3 0 0 20 0 15 0 112637754 14320615424 774055 33554432000 4194304 4196468 140721213696400 139696131177072 139696661179010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23498752 140721213699223 140721213699399 140721213699399 140721213702095 0
[pid=10450/tid=10461] ppid=10448 vsize=13984976 memory=16444 CPUtime=2.63 cores=0,2,4,6
/proc/10450/task/10461/stat : 10461 (java) S 10448 10448 9984 0 -1 1077944384 17198 0 0 0 261 2 0 0 20 0 15 0 112637754 14320615424 774055 33554432000 4194304 4196468 140721213696400 139696130124272 139696661179010 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 7 0 0 6293624 6294260 23498752 140721213699223 140721213699399 140721213699399 140721213702095 0
[pid=10450/tid=10462] ppid=10448 vsize=13984976 memory=18920 CPUtime=0.58 cores=0,2,4,6
/proc/10450/task/10462/stat : 10462 (java) S 10448 10448 9984 0 -1 1077944384 5509 0 0 0 57 1 0 0 20 0 15 0 112637754 14320615424 774055 33554432000 4194304 4196468 140721213696400 139696129071984 139696661179010 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23498752 140721213699223 140721213699399 140721213699399 140721213702095 0
[pid=10450/tid=10463] ppid=10448 vsize=13984976 memory=32184 CPUtime=0 cores=0,2,4,6
/proc/10450/task/10463/stat : 10463 (java) S 10448 10448 9984 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112637754 14320615424 774055 33554432000 4194304 4196468 140721213696400 139696128019424 139696661178069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23498752 140721213699223 140721213699399 140721213699399 140721213702095 0
[pid=10450/tid=10464] ppid=10448 vsize=13984976 memory=1296 CPUtime=0.71 cores=0,2,4,6
/proc/10450/task/10464/stat : 10464 (java) S 10448 10448 9984 0 -1 1077944384 1062 0 0 0 33 38 0 0 20 0 15 0 112637754 14320615424 774055 33554432000 4194304 4196468 140721213696400 139696126966192 139696661179010 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 9 0 0 6293624 6294260 23498752 140721213699223 140721213699399 140721213699399 140721213702095 0
Current children cumulated CPU time: 2398.04 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 3097604 KiB

[startup+2442.3 s]
/proc/loadavg: 2.04 1.84 1.75 3/217 10559
/proc/meminfo: memFree=14028716/32770624 swapFree=67108860/67108860
[pid=10448] ppid=10445 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/10448/stat : 10448 (xcsp3-exec) S 10445 10448 9984 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 112637748 9740288 346 33554432000 4194304 5098028 140728868842048 140728868840152 140342182138492 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 19959808 140728868844655 140728868844859 140728868844859 140728868847595 0
/proc/10448/statm: 2378 346 289 221 0 87 0
[pid=10450] ppid=10448 vsize=13984976 memory=8106428 CPUtime=2459.44 cores=0,2,4,6
/proc/10450/stat : 10450 (java) S 10448 10448 9984 0 -1 1077944320 307132 0 0 0 244488 1456 0 0 20 0 15 0 112637748 14320615424 2026607 33554432000 4194304 4196468 140721213696400 140721213678944 139696661167863 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23498752 140721213699223 140721213699399 140721213699399 140721213702095 0
/proc/10450/statm: 3496244 2026607 3274 1 0 3483478 0
[pid=10450/tid=10451] ppid=10448 vsize=13984976 memory=8032200 CPUtime=2437.14 cores=0,2,4,6
/proc/10450/task/10451/stat : 10451 (java) R 10448 10448 9984 0 -1 4202560 201357 0 0 0 242376 1338 0 0 20 0 15 0 112637749 14320615424 2026607 33554432000 4194304 4196468 140721213696400 139696665407344 139696305138462 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23498752 140721213699223 140721213699399 140721213699399 140721213702095 0
[pid=10450/tid=10452] ppid=10448 vsize=13984976 memory=8106428 CPUtime=3.45 cores=0,2,4,6
/proc/10450/task/10452/stat : 10452 (java) S 10448 10448 9984 0 -1 1077944384 11293 0 0 0 334 11 0 0 20 0 15 0 112637749 14320615424 2026607 33554432000 4194304 4196468 140721213696400 139696256457616 139696661178069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23498752 140721213699223 140721213699399 140721213699399 140721213702095 0
[pid=10450/tid=10453] ppid=10448 vsize=13984976 memory=1384 CPUtime=3.46 cores=0,2,4,6
/proc/10450/task/10453/stat : 10453 (java) S 10448 10448 9984 0 -1 1077944384 11724 0 0 0 335 11 0 0 20 0 15 0 112637750 14320615424 2026607 33554432000 4194304 4196468 140721213696400 139696255404816 139696661178069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23498752 140721213699223 140721213699399 140721213699399 140721213702095 0
[pid=10450/tid=10454] ppid=10448 vsize=13984976 memory=279665051976032 CPUtime=3.45 cores=0,2,4,6
/proc/10450/task/10454/stat : 10454 (java) S 10448 10448 9984 0 -1 1077944384 10703 0 0 0 336 9 0 0 20 0 15 0 112637750 14320615424 2026607 33554432000 4194304 4196468 140721213696400 139696254352528 139696661178069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23498752 140721213699223 140721213699399 140721213699399 140721213702095 0
[pid=10450/tid=10455] ppid=10448 vsize=13984976 memory=1384 CPUtime=3.44 cores=0,2,4,6
/proc/10450/task/10455/stat : 10455 (java) S 10448 10448 9984 0 -1 1077944384 10665 0 0 0 334 10 0 0 20 0 15 0 112637750 14320615424 2026607 33554432000 4194304 4196468 140721213696400 139696253299728 139696661178069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23498752 140721213699223 140721213699399 140721213699399 140721213702095 0
[pid=10450/tid=10456] ppid=10448 vsize=13984976 memory=1384 CPUtime=1.59 cores=0,2,4,6
/proc/10450/task/10456/stat : 10456 (java) S 10448 10448 9984 0 -1 1077944384 18683 0 0 0 119 40 0 0 20 0 15 0 112637751 14320615424 2026607 33554432000 4194304 4196468 140721213696400 139696135387248 139696661179010 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23498752 140721213699223 140721213699399 140721213699399 140721213702095 0
[pid=10450/tid=10457] ppid=10448 vsize=13984976 memory=8011740 CPUtime=0 cores=0,2,4,6
/proc/10450/task/10457/stat : 10457 (java) S 10448 10448 9984 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 112637751 14320615424 2026607 33554432000 4194304 4196468 140721213696400 139696134333216 139696661178069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23498752 140721213699223 140721213699399 140721213699399 140721213702095 0
[pid=10450/tid=10458] ppid=10448 vsize=13984976 memory=8098236 CPUtime=0 cores=0,2,4,6
/proc/10450/task/10458/stat : 10458 (java) S 10448 10448 9984 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 112637751 14320615424 2026607 33554432000 4194304 4196468 140721213696400 139696133280880 139696661178069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23498752 140721213699223 140721213699399 140721213699399 140721213702095 0
[pid=10450/tid=10459] ppid=10448 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/10450/task/10459/stat : 10459 (java) S 10448 10448 9984 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112637754 14320615424 2026607 33554432000 4194304 4196468 140721213696400 139696132229200 139696661186459 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23498752 140721213699223 140721213699399 140721213699399 140721213702095 0
[pid=10450/tid=10460] ppid=10448 vsize=13984976 memory=1384 CPUtime=2.86 cores=0,2,4,6
/proc/10450/task/10460/stat : 10460 (java) S 10448 10448 9984 0 -1 1077944384 17578 0 0 0 283 3 0 0 20 0 15 0 112637754 14320615424 2026607 33554432000 4194304 4196468 140721213696400 139696131177072 139696661179010 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23498752 140721213699223 140721213699399 140721213699399 140721213702095 0
[pid=10450/tid=10461] ppid=10448 vsize=13984976 memory=8049012 CPUtime=2.63 cores=0,2,4,6
/proc/10450/task/10461/stat : 10461 (java) S 10448 10448 9984 0 -1 1077944384 17198 0 0 0 261 2 0 0 20 0 15 0 112637754 14320615424 2026607 33554432000 4194304 4196468 140721213696400 139696130124272 139696661179010 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 7 0 0 6293624 6294260 23498752 140721213699223 140721213699399 140721213699399 140721213702095 0
[pid=10450/tid=10462] ppid=10448 vsize=13984976 memory=1384 CPUtime=0.58 cores=0,2,4,6
/proc/10450/task/10462/stat : 10462 (java) S 10448 10448 9984 0 -1 1077944384 5509 0 0 0 57 1 0 0 20 0 15 0 112637754 14320615424 2026607 33554432000 4194304 4196468 140721213696400 139696129071984 139696661179010 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23498752 140721213699223 140721213699399 140721213699399 140721213702095 0
[pid=10450/tid=10463] ppid=10448 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/10450/task/10463/stat : 10463 (java) S 10448 10448 9984 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112637754 14320615424 2026607 33554432000 4194304 4196468 140721213696400 139696128019424 139696661178069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23498752 140721213699223 140721213699399 140721213699399 140721213702095 0
[pid=10450/tid=10464] ppid=10448 vsize=13984976 memory=1384 CPUtime=0.74 cores=0,2,4,6
/proc/10450/task/10464/stat : 10464 (java) S 10448 10448 9984 0 -1 1077944384 1066 0 0 0 34 40 0 0 20 0 15 0 112637754 14320615424 2026607 33554432000 4194304 4196468 140721213696400 139696126966192 139696661179010 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 9 0 0 6293624 6294260 23498752 140721213699223 140721213699399 140721213699399 140721213702095 0
Current children cumulated CPU time: 2459.44 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 8107812 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2501.9 s]
/proc/loadavg: 1.85 1.82 1.75 3/216 10645
/proc/meminfo: memFree=18565280/32770624 swapFree=67108860/67108860
[pid=10448] ppid=10445 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/10448/stat : 10448 (xcsp3-exec) S 10445 10448 9984 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 112637748 9740288 346 33554432000 4194304 5098028 140728868842048 140728868840152 140342182138492 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 19959808 140728868844655 140728868844859 140728868844859 140728868847595 0
/proc/10448/statm: 2378 346 289 221 0 87 0
[pid=10450] ppid=10448 vsize=13984976 memory=8514316 CPUtime=2520.06 cores=0,2,4,6
/proc/10450/stat : 10450 (java) S 10448 10448 9984 0 -1 1077944320 310138 0 0 0 250537 1469 0 0 20 0 15 0 112637748 14320615424 2128579 33554432000 4194304 4196468 140721213696400 140721213678944 139696661167863 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23498752 140721213699223 140721213699399 140721213699399 140721213702095 0
/proc/10450/statm: 3496244 2128579 3274 1 0 3483478 0
[pid=10450/tid=10451] ppid=10448 vsize=13984976 memory=8515344 CPUtime=2496.4 cores=0,2,4,6
/proc/10450/task/10451/stat : 10451 (java) R 10448 10448 9984 0 -1 4202560 203574 0 0 0 248293 1347 0 0 20 0 15 0 112637749 14320615424 2128579 33554432000 4194304 4196468 140721213696400 139696665407456 139696305138826 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23498752 140721213699223 140721213699399 140721213699399 140721213702095 0
[pid=10450/tid=10452] ppid=10448 vsize=13984976 memory=8515344 CPUtime=3.78 cores=0,2,4,6
/proc/10450/task/10452/stat : 10452 (java) S 10448 10448 9984 0 -1 1077944384 11467 0 0 0 366 12 0 0 20 0 15 0 112637749 14320615424 2128579 33554432000 4194304 4196468 140721213696400 139696256457616 139696661178069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23498752 140721213699223 140721213699399 140721213699399 140721213702095 0
[pid=10450/tid=10453] ppid=10448 vsize=13984976 memory=8514316 CPUtime=3.79 cores=0,2,4,6
/proc/10450/task/10453/stat : 10453 (java) S 10448 10448 9984 0 -1 1077944384 11859 0 0 0 367 12 0 0 20 0 15 0 112637750 14320615424 2128579 33554432000 4194304 4196468 140721213696400 139696255404816 139696661178069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23498752 140721213699223 140721213699399 140721213699399 140721213702095 0
[pid=10450/tid=10454] ppid=10448 vsize=13984976 memory=1384 CPUtime=3.79 cores=0,2,4,6
/proc/10450/task/10454/stat : 10454 (java) S 10448 10448 9984 0 -1 1077944384 10846 0 0 0 369 10 0 0 20 0 15 0 112637750 14320615424 2128579 33554432000 4194304 4196468 140721213696400 139696254352528 139696661178069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23498752 140721213699223 140721213699399 140721213699399 140721213702095 0
[pid=10450/tid=10455] ppid=10448 vsize=13984976 memory=8514316 CPUtime=3.78 cores=0,2,4,6
/proc/10450/task/10455/stat : 10455 (java) S 10448 10448 9984 0 -1 1077944384 10816 0 0 0 367 11 0 0 20 0 15 0 112637750 14320615424 2128579 33554432000 4194304 4196468 140721213696400 139696253299728 139696661178069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23498752 140721213699223 140721213699399 140721213699399 140721213702095 0
[pid=10450/tid=10456] ppid=10448 vsize=13984976 memory=1384 CPUtime=1.6 cores=0,2,4,6
/proc/10450/task/10456/stat : 10456 (java) S 10448 10448 9984 0 -1 1077944384 18865 0 0 0 120 40 0 0 20 0 15 0 112637751 14320615424 2128579 33554432000 4194304 4196468 140721213696400 139696135387248 139696661179010 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23498752 140721213699223 140721213699399 140721213699399 140721213702095 0
[pid=10450/tid=10457] ppid=10448 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/10450/task/10457/stat : 10457 (java) S 10448 10448 9984 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 112637751 14320615424 2128579 33554432000 4194304 4196468 140721213696400 139696134333216 139696661178069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23498752 140721213699223 140721213699399 140721213699399 140721213702095 0
[pid=10450/tid=10458] ppid=10448 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/10450/task/10458/stat : 10458 (java) S 10448 10448 9984 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 112637751 14320615424 2128579 33554432000 4194304 4196468 140721213696400 139696133280880 139696661178069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23498752 140721213699223 140721213699399 140721213699399 140721213702095 0
[pid=10450/tid=10459] ppid=10448 vsize=13984976 memory=8515344 CPUtime=0 cores=0,2,4,6
/proc/10450/task/10459/stat : 10459 (java) S 10448 10448 9984 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112637754 14320615424 2128579 33554432000 4194304 4196468 140721213696400 139696132229200 139696661186459 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23498752 140721213699223 140721213699399 140721213699399 140721213702095 0
[pid=10450/tid=10460] ppid=10448 vsize=13984976 memory=3240 CPUtime=2.86 cores=0,2,4,6
/proc/10450/task/10460/stat : 10460 (java) S 10448 10448 9984 0 -1 1077944384 17578 0 0 0 283 3 0 0 20 0 15 0 112637754 14320615424 2128579 33554432000 4194304 4196468 140721213696400 139696131177072 139696661179010 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23498752 140721213699223 140721213699399 140721213699399 140721213702095 0
[pid=10450/tid=10461] ppid=10448 vsize=13984976 memory=8514316 CPUtime=2.63 cores=0,2,4,6
/proc/10450/task/10461/stat : 10461 (java) S 10448 10448 9984 0 -1 1077944384 17198 0 0 0 261 2 0 0 20 0 15 0 112637754 14320615424 2128579 33554432000 4194304 4196468 140721213696400 139696130124272 139696661179010 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 7 0 0 6293624 6294260 23498752 140721213699223 140721213699399 140721213699399 140721213702095 0
[pid=10450/tid=10462] ppid=10448 vsize=13984976 memory=1384 CPUtime=0.58 cores=0,2,4,6
/proc/10450/task/10462/stat : 10462 (java) S 10448 10448 9984 0 -1 1077944384 5509 0 0 0 57 1 0 0 20 0 15 0 112637754 14320615424 2128579 33554432000 4194304 4196468 140721213696400 139696129071984 139696661179010 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23498752 140721213699223 140721213699399 140721213699399 140721213702095 0
[pid=10450/tid=10463] ppid=10448 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/10450/task/10463/stat : 10463 (java) S 10448 10448 9984 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112637754 14320615424 2128579 33554432000 4194304 4196468 140721213696400 139696128019424 139696661178069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23498752 140721213699223 140721213699399 140721213699399 140721213702095 0
[pid=10450/tid=10464] ppid=10448 vsize=13984976 memory=8515344 CPUtime=0.76 cores=0,2,4,6
/proc/10450/task/10464/stat : 10464 (java) S 10448 10448 9984 0 -1 1077944384 1070 0 0 0 36 40 0 0 20 0 15 0 112637754 14320615424 2128579 33554432000 4194304 4196468 140721213696400 139696126966192 139696661179010 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 9 0 0 6293624 6294260 23498752 140721213699223 140721213699399 140721213699399 140721213702095 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 8515700 KiB

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

[startup+2501.91 s]
# the end of solver process 10448 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.000841 s, system=0.001227 s

[startup+2501.95 s]
# the end of solver process 10450 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2505.39 s, system=14.7309 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+2501.9 s]
/proc/loadavg: 1.85 1.82 1.75 3/216 10645
/proc/meminfo: memFree=18565280/32770624 swapFree=67108860/67108860
[pid=10448] ppid=10445 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/10448/stat : 10448 (xcsp3-exec) S 10445 10448 9984 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 112637748 9740288 346 33554432000 4194304 5098028 140728868842048 140728868840152 140342182138492 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 19959808 140728868844655 140728868844859 140728868844859 140728868847595 0
/proc/10448/statm: 2378 346 289 221 0 87 0
[pid=10450] ppid=10448 vsize=13984976 memory=8514316 CPUtime=2520.06 cores=0,2,4,6
/proc/10450/stat : 10450 (java) S 10448 10448 9984 0 -1 1077944320 310138 0 0 0 250537 1469 0 0 20 0 15 0 112637748 14320615424 2128579 33554432000 4194304 4196468 140721213696400 140721213678944 139696661167863 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23498752 140721213699223 140721213699399 140721213699399 140721213702095 0
/proc/10450/statm: 3496244 2128579 3274 1 0 3483478 0
[pid=10450/tid=10451] ppid=10448 vsize=13984976 memory=8515344 CPUtime=2496.4 cores=0,2,4,6
/proc/10450/task/10451/stat : 10451 (java) R 10448 10448 9984 0 -1 4202560 203574 0 0 0 248293 1347 0 0 20 0 15 0 112637749 14320615424 2128579 33554432000 4194304 4196468 140721213696400 139696665407456 139696305138826 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23498752 140721213699223 140721213699399 140721213699399 140721213702095 0
[pid=10450/tid=10452] ppid=10448 vsize=13984976 memory=8515344 CPUtime=3.78 cores=0,2,4,6
/proc/10450/task/10452/stat : 10452 (java) S 10448 10448 9984 0 -1 1077944384 11467 0 0 0 366 12 0 0 20 0 15 0 112637749 14320615424 2128579 33554432000 4194304 4196468 140721213696400 139696256457616 139696661178069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23498752 140721213699223 140721213699399 140721213699399 140721213702095 0
[pid=10450/tid=10453] ppid=10448 vsize=13984976 memory=8514316 CPUtime=3.79 cores=0,2,4,6
/proc/10450/task/10453/stat : 10453 (java) S 10448 10448 9984 0 -1 1077944384 11859 0 0 0 367 12 0 0 20 0 15 0 112637750 14320615424 2128579 33554432000 4194304 4196468 140721213696400 139696255404816 139696661178069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23498752 140721213699223 140721213699399 140721213699399 140721213702095 0
[pid=10450/tid=10454] ppid=10448 vsize=13984976 memory=1384 CPUtime=3.79 cores=0,2,4,6
/proc/10450/task/10454/stat : 10454 (java) S 10448 10448 9984 0 -1 1077944384 10846 0 0 0 369 10 0 0 20 0 15 0 112637750 14320615424 2128579 33554432000 4194304 4196468 140721213696400 139696254352528 139696661178069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23498752 140721213699223 140721213699399 140721213699399 140721213702095 0
[pid=10450/tid=10455] ppid=10448 vsize=13984976 memory=8514316 CPUtime=3.78 cores=0,2,4,6
/proc/10450/task/10455/stat : 10455 (java) S 10448 10448 9984 0 -1 1077944384 10816 0 0 0 367 11 0 0 20 0 15 0 112637750 14320615424 2128579 33554432000 4194304 4196468 140721213696400 139696253299728 139696661178069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23498752 140721213699223 140721213699399 140721213699399 140721213702095 0
[pid=10450/tid=10456] ppid=10448 vsize=13984976 memory=1384 CPUtime=1.6 cores=0,2,4,6
/proc/10450/task/10456/stat : 10456 (java) S 10448 10448 9984 0 -1 1077944384 18865 0 0 0 120 40 0 0 20 0 15 0 112637751 14320615424 2128579 33554432000 4194304 4196468 140721213696400 139696135387248 139696661179010 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23498752 140721213699223 140721213699399 140721213699399 140721213702095 0
[pid=10450/tid=10457] ppid=10448 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/10450/task/10457/stat : 10457 (java) S 10448 10448 9984 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 112637751 14320615424 2128579 33554432000 4194304 4196468 140721213696400 139696134333216 139696661178069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23498752 140721213699223 140721213699399 140721213699399 140721213702095 0
[pid=10450/tid=10458] ppid=10448 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/10450/task/10458/stat : 10458 (java) S 10448 10448 9984 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 112637751 14320615424 2128579 33554432000 4194304 4196468 140721213696400 139696133280880 139696661178069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23498752 140721213699223 140721213699399 140721213699399 140721213702095 0
[pid=10450/tid=10459] ppid=10448 vsize=13984976 memory=8515344 CPUtime=0 cores=0,2,4,6
/proc/10450/task/10459/stat : 10459 (java) S 10448 10448 9984 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112637754 14320615424 2128579 33554432000 4194304 4196468 140721213696400 139696132229200 139696661186459 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23498752 140721213699223 140721213699399 140721213699399 140721213702095 0
[pid=10450/tid=10460] ppid=10448 vsize=13984976 memory=3240 CPUtime=2.86 cores=0,2,4,6
/proc/10450/task/10460/stat : 10460 (java) S 10448 10448 9984 0 -1 1077944384 17578 0 0 0 283 3 0 0 20 0 15 0 112637754 14320615424 2128579 33554432000 4194304 4196468 140721213696400 139696131177072 139696661179010 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23498752 140721213699223 140721213699399 140721213699399 140721213702095 0
[pid=10450/tid=10461] ppid=10448 vsize=13984976 memory=8514316 CPUtime=2.63 cores=0,2,4,6
/proc/10450/task/10461/stat : 10461 (java) S 10448 10448 9984 0 -1 1077944384 17198 0 0 0 261 2 0 0 20 0 15 0 112637754 14320615424 2128579 33554432000 4194304 4196468 140721213696400 139696130124272 139696661179010 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 7 0 0 6293624 6294260 23498752 140721213699223 140721213699399 140721213699399 140721213702095 0
[pid=10450/tid=10462] ppid=10448 vsize=13984976 memory=1384 CPUtime=0.58 cores=0,2,4,6
/proc/10450/task/10462/stat : 10462 (java) S 10448 10448 9984 0 -1 1077944384 5509 0 0 0 57 1 0 0 20 0 15 0 112637754 14320615424 2128579 33554432000 4194304 4196468 140721213696400 139696129071984 139696661179010 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23498752 140721213699223 140721213699399 140721213699399 140721213702095 0
[pid=10450/tid=10463] ppid=10448 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/10450/task/10463/stat : 10463 (java) S 10448 10448 9984 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112637754 14320615424 2128579 33554432000 4194304 4196468 140721213696400 139696128019424 139696661178069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23498752 140721213699223 140721213699399 140721213699399 140721213702095 0
[pid=10450/tid=10464] ppid=10448 vsize=13984976 memory=8515344 CPUtime=0.76 cores=0,2,4,6
/proc/10450/task/10464/stat : 10464 (java) S 10448 10448 9984 0 -1 1077944384 1070 0 0 0 36 40 0 0 20 0 15 0 112637754 14320615424 2128579 33554432000 4194304 4196468 140721213696400 139696126966192 139696661179010 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 9 0 0 6293624 6294260 23498752 140721213699223 140721213699399 140721213699399 140721213702095 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 8515700 KiB

Child status: 143
Real time (s): 2501.95
CPU time (s): 2520.12
CPU user time (s): 2505.39
CPU system time (s): 14.7309
CPU usage (%): 100.726
Max. virtual memory (cumulated for all children) (KiB): 13996668
Max. memory (cumulated for all children) (KiB): 8517240

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2505.39
system time used= 14.7309
maximum resident set size= 8515856
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 310899
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2816
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 71966
involuntary context switches= 2851


# summary of solver processes directly reported to runsolver:
#   pid: 10448,10450
#   total CPU time (s): 2520.12
#   total CPU user time (s): 2505.39
#   total CPU system time (s): 14.7309

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.5177 second user time and 22.0579 second system time

The end

Launcher Data 

Begin job on node150 at 2017-08-15 12:58:28
IDJOB=4269407
IDBENCH=128051
IDSOLVER=2660
FILE ID=node150/4269407-1502795566
RUNJOBID= node150-1502792191-10015
PBS_JOBID= 20629129
Free space on /tmp= 61644 MiB

SOLVER NAME= choco-solver 4.0.5 seq
BENCH NAME= XCSP17/CarSequencing/CarSequencing-m1-jcr/CarSequencing-19-71.xml
COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -ml 11000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4269407-1502795566/watcher-4269407-1502795566 -o /tmp/evaluation-result-4269407-1502795566/solver-4269407-1502795566 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1502792191-10015 --watchdog 2580  ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 884520278 HOME/instance-4269407-1502795566.xml

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

MD5SUM BENCH= 910e6a58e5b883abb8b2e34c5de0ea43
RANDOM SEED=884520278

node150.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	: 5332.89
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	: 5332.89
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	: 5332.89
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	: 5332.89
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:        27017464 kB
MemAvailable:   31872380 kB
Buffers:          296180 kB
Cached:          4834520 kB
SwapCached:            0 kB
Active:           853504 kB
Inactive:        4435736 kB
Active(anon):     161712 kB
Inactive(anon):    25068 kB
Active(file):     691792 kB
Inactive(file):  4410668 kB
Unevictable:        6228 kB
Mlocked:            6228 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              8232 kB
Writeback:             0 kB
AnonPages:        165060 kB
Mapped:            58040 kB
Shmem:             25224 kB
Slab:             163548 kB
SReclaimable:     136580 kB
SUnreclaim:        26968 kB
KernelStack:        3680 kB
PageTables:         5540 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1292692 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     34816 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 /tmp at the end= 61636 MiB
End job on node150 at 2017-08-15 13:40:10