Trace number 4284099

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 NameAnswerobjective functionCPU timeWall clock time
choco-solver 5a (2017-08-18)OPT2 24.9825 14.8656

General information on the benchmark

NameChessboardColoration/ChessboardColoration-int-s2/
ChessboardColoration-int-07-09.xml
MD5SUMa3ba3cad77540d9164e30b3f583ccc44
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark2
Best CPU time to get the best result obtained on this benchmark0.92215198
Satisfiable
(Un)Satisfiability was proved
Number of variables63
Number of constraints757
Number of domains1
Minimum domain size63
Maximum domain size63
Distribution of domain sizes[{"size":63,"count":63}]
Minimum variable degree50
Maximum variable degree50
Distribution of variable degrees[{"degree":50,"count":63}]
Minimum constraint arity4
Maximum constraint arity63
Distribution of constraint arities[{"arity":4,"count":756},{"arity":63,"count":1}]
Number of extensional constraints0
Number of intensional constraints756
Distribution of constraint types[{"type":"intension","count":756},{"type":"lex","count":1}]
Optimization problemYES
Type of objectivemin MAXIMUM

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4284099-1503223785.xml"  -tl '2520s' -p 1 -x 3
0.12/0.14	c [HOME/instance-4284099-1503223785.xml, -tl, 2520s, -p, 1, -x, 3]
0.12/0.19	c simple solver
0.34/0.26	c parse instance...
1.69/0.71	c solve instance...
20.12/13.29	o 4 
20.28/13.32	o 3 
23.01/14.26	o 2 
24.81/14.84	s OPTIMUM FOUND
24.81/14.84	v <instantiation>
24.81/14.84	v 	<list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] </list>
24.81/14.84	v 	<values>0 0 0 0 0 1 1 1 1 0 1 1 2 2 0 0 0 2 1 1 2 0 2 0 2 2 1 1 2 1 2 0 0 1 2 0 2 0 1 2 1 1 2 0 0 2 1 0 1 1 0 1 2 2 2 2 0 1 2 2 0 1 0 </values>
24.81/14.84	v </instantiation>

Verifier Data 

OK	2

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 (10741 MiB free)
  memory of node 1: 16384 MiB (11308 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4284099-1503223785/watcher-4284099-1503223785 -o /tmp/evaluation-result-4284099-1503223785/solver-4284099-1503223785 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1503215464-28777 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 359863874 HOME/instance-4284099-1503223785.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
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=29720, runsolver pid=29717

[startup+0.100139 s]*
/proc/loadavg: 1.51 1.58 1.63 3/217 29736
/proc/meminfo: memFree=22563656/32770624 swapFree=67108860/67108860
[pid=29720] ppid=29717 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/29720/stat : 29720 (xcsp3-exec) S 29717 29720 23654 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 155449982 9740288 346 33554432000 4194304 5098028 140728254742176 140728254740280 140072391889532 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 20963328 140728254747759 140728254747963 140728254747963 140728254750699 0
/proc/29720/statm: 2378 346 289 221 0 87 0
[pid=29722] ppid=29720 vsize=13978596 memory=27864 CPUtime=0.12 cores=1,3,5,7
/proc/29722/stat : 29722 (java) S 29720 29720 23654 0 -1 1077944320 5360 0 0 0 11 1 0 0 20 0 15 0 155449982 14314082304 6966 33554432000 4194304 4196468 140730142256976 140730142239520 139913679453943 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35676160 140730142262423 140730142262599 140730142262599 140730142265295 0
/proc/29722/statm: 3494649 6966 2871 1 0 3482966 0
[pid=29722/tid=29723] ppid=29720 vsize=13978596 memory=-6962121287837372198 CPUtime=0.08 cores=1,3,5,7
/proc/29722/task/29723/stat : 29723 (java) R 29720 29720 23654 0 -1 4202560 3326 0 0 0 8 0 0 0 20 0 15 0 155449982 14314082304 6966 33554432000 4194304 4196468 140730142256976 139913683686048 139913661882198 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35676160 140730142262423 140730142262599 140730142262599 140730142265295 0
[pid=29722/tid=29724] ppid=29720 vsize=13978596 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/29722/task/29724/stat : 29724 (java) S 29720 29720 23654 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 155449983 14314082304 6966 33554432000 4194304 4196468 140730142256976 139913594522512 139913679464149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35676160 140730142262423 140730142262599 140730142262599 140730142265295 0
[pid=29722/tid=29725] ppid=29720 vsize=13978596 memory=140110886479488 CPUtime=0 cores=1,3,5,7
/proc/29722/task/29725/stat : 29725 (java) S 29720 29720 23654 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 155449983 14314082304 6966 33554432000 4194304 4196468 140730142256976 139913274059536 139913679464149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35676160 140730142262423 140730142262599 140730142262599 140730142265295 0
[pid=29722/tid=29726] ppid=29720 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29722/task/29726/stat : 29726 (java) S 29720 29720 23654 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155449983 14314082304 6966 33554432000 4194304 4196468 140730142256976 139913273007248 139913679464149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35676160 140730142262423 140730142262599 140730142262599 140730142265295 0
[pid=29722/tid=29727] ppid=29720 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29722/task/29727/stat : 29727 (java) S 29720 29720 23654 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 155449983 14314082304 6966 33554432000 4194304 4196468 140730142256976 139913271954448 139913679464149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35676160 140730142262423 140730142262599 140730142262599 140730142265295 0
[pid=29722/tid=29728] ppid=29720 vsize=13978596 memory=140110886479488 CPUtime=0 cores=1,3,5,7
/proc/29722/task/29728/stat : 29728 (java) S 29720 29720 23654 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 155449984 14314082304 6966 33554432000 4194304 4196468 140730142256976 139912860326000 139913679465090 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35676160 140730142262423 140730142262599 140730142262599 140730142265295 0
[pid=29722/tid=29729] ppid=29720 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29722/task/29729/stat : 29729 (java) S 29720 29720 23654 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 155449985 14314082304 6966 33554432000 4194304 4196468 140730142256976 139912859271968 139913679464149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35676160 140730142262423 140730142262599 140730142262599 140730142265295 0
[pid=29722/tid=29730] ppid=29720 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29722/task/29730/stat : 29730 (java) S 29720 29720 23654 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 155449985 14314082304 6966 33554432000 4194304 4196468 140730142256976 139912858219632 139913679464149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35676160 140730142262423 140730142262599 140730142262599 140730142265295 0
[pid=29722/tid=29731] ppid=29720 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29722/task/29731/stat : 29731 (java) S 29720 29720 23654 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155449987 14314082304 6966 33554432000 4194304 4196468 140730142256976 139912857167952 139913679472539 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35676160 140730142262423 140730142262599 140730142262599 140730142265295 0
[pid=29722/tid=29732] ppid=29720 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29722/task/29732/stat : 29732 (java) S 29720 29720 23654 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 15 0 155449987 14314082304 6966 33554432000 4194304 4196468 140730142256976 139912856115824 139913679465090 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35676160 140730142262423 140730142262599 140730142262599 140730142265295 0
[pid=29722/tid=29733] ppid=29720 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29722/task/29733/stat : 29733 (java) S 29720 29720 23654 0 -1 1077944384 130 0 0 0 0 0 0 0 20 0 15 0 155449987 14314082304 6966 33554432000 4194304 4196468 140730142256976 139912787519984 139913679465090 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35676160 140730142262423 140730142262599 140730142262599 140730142265295 0
[pid=29722/tid=29734] ppid=29720 vsize=13978596 memory=140110886479488 CPUtime=0.01 cores=1,3,5,7
/proc/29722/task/29734/stat : 29734 (java) R 29720 29720 23654 0 -1 4202560 331 0 0 0 1 0 0 0 20 0 15 0 155449987 14314082304 7032 33554432000 4194304 4196468 140730142256976 139912786467696 139913659422719 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35676160 140730142262423 140730142262599 140730142262599 140730142265295 0
[pid=29722/tid=29735] ppid=29720 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29722/task/29735/stat : 29735 (java) S 29720 29720 23654 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155449988 14314082304 7032 33554432000 4194304 4196468 140730142256976 139912785415136 139913679464149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35676160 140730142262423 140730142262599 140730142262599 140730142265295 0
[pid=29722/tid=29736] ppid=29720 vsize=13978596 memory=140110886479488 CPUtime=0 cores=1,3,5,7
/proc/29722/task/29736/stat : 29736 (java) S 29720 29720 23654 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155449988 14314082304 7032 33554432000 4194304 4196468 140730142256976 139912784361904 139913679465090 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35676160 140730142262423 140730142262599 140730142262599 140730142265295 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 29248 KiB

[startup+0.210607 s]*
/proc/loadavg: 1.51 1.58 1.63 5/217 29736
/proc/meminfo: memFree=22551252/32770624 swapFree=67108860/67108860
[pid=29720] ppid=29717 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/29720/stat : 29720 (xcsp3-exec) S 29717 29720 23654 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 155449982 9740288 346 33554432000 4194304 5098028 140728254742176 140728254740280 140072391889532 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 20963328 140728254747759 140728254747963 140728254747963 140728254750699 0
/proc/29720/statm: 2378 346 289 221 0 87 0
[pid=29722] ppid=29720 vsize=13982852 memory=40604 CPUtime=0.34 cores=1,3,5,7
/proc/29722/stat : 29722 (java) S 29720 29720 23654 0 -1 1077944320 8277 0 0 0 32 2 0 0 20 0 15 0 155449982 14318440448 10151 33554432000 4194304 4196468 140730142256976 140730142239520 139913679453943 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35676160 140730142262423 140730142262599 140730142262599 140730142265295 0
/proc/29722/statm: 3495713 10151 3046 1 0 3482966 0
[pid=29722/tid=29723] ppid=29720 vsize=13982884 memory=7883960649037381690 CPUtime=0.19 cores=1,3,5,7
/proc/29722/task/29723/stat : 29723 (java) R 29720 29720 23654 0 -1 4202560 5358 0 0 0 18 1 0 0 20 0 15 0 155449982 14318473216 10151 33554432000 4194304 4196468 140730142256976 139913683664864 139913672171047 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35676160 140730142262423 140730142262599 140730142262599 140730142265295 0
[pid=29722/tid=29724] ppid=29720 vsize=13982852 memory=12546 CPUtime=0 cores=1,3,5,7
/proc/29722/task/29724/stat : 29724 (java) S 29720 29720 23654 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 155449983 14318440448 10151 33554432000 4194304 4196468 140730142256976 139913594522512 139913679464149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35676160 140730142262423 140730142262599 140730142262599 140730142265295 0
[pid=29722/tid=29725] ppid=29720 vsize=13982852 memory=288370487038191232 CPUtime=0 cores=1,3,5,7
/proc/29722/task/29725/stat : 29725 (java) S 29720 29720 23654 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 155449983 14318440448 10151 33554432000 4194304 4196468 140730142256976 139913274059536 139913679464149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35676160 140730142262423 140730142262599 140730142262599 140730142265295 0
[pid=29722/tid=29726] ppid=29720 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29722/task/29726/stat : 29726 (java) S 29720 29720 23654 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155449983 14318440448 10151 33554432000 4194304 4196468 140730142256976 139913273007248 139913679464149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35676160 140730142262423 140730142262599 140730142262599 140730142265295 0
[pid=29722/tid=29727] ppid=29720 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29722/task/29727/stat : 29727 (java) S 29720 29720 23654 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 155449983 14318440448 10151 33554432000 4194304 4196468 140730142256976 139913271954448 139913679464149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35676160 140730142262423 140730142262599 140730142262599 140730142265295 0
[pid=29722/tid=29728] ppid=29720 vsize=13982852 memory=140110886479488 CPUtime=0 cores=1,3,5,7
/proc/29722/task/29728/stat : 29728 (java) S 29720 29720 23654 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 155449984 14318440448 10151 33554432000 4194304 4196468 140730142256976 139912860326000 139913679465090 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35676160 140730142262423 140730142262599 140730142262599 140730142265295 0
[pid=29722/tid=29729] ppid=29720 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29722/task/29729/stat : 29729 (java) S 29720 29720 23654 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 155449985 14318440448 10151 33554432000 4194304 4196468 140730142256976 139912859271968 139913679464149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35676160 140730142262423 140730142262599 140730142262599 140730142265295 0
[pid=29722/tid=29730] ppid=29720 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29722/task/29730/stat : 29730 (java) S 29720 29720 23654 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 155449985 14318440448 10151 33554432000 4194304 4196468 140730142256976 139912858219632 139913679464149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35676160 140730142262423 140730142262599 140730142262599 140730142265295 0
[pid=29722/tid=29731] ppid=29720 vsize=13982884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29722/task/29731/stat : 29731 (java) S 29720 29720 23654 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155449987 14318473216 10151 33554432000 4194304 4196468 140730142256976 139912857167952 139913679472539 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35676160 140730142262423 140730142262599 140730142262599 140730142265295 0
[pid=29722/tid=29732] ppid=29720 vsize=13982884 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/29722/task/29732/stat : 29732 (java) S 29720 29720 23654 0 -1 1077944384 395 0 0 0 2 0 0 0 20 0 15 0 155449987 14318473216 10151 33554432000 4194304 4196468 140730142256976 139912856115824 139913679465090 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35676160 140730142262423 140730142262599 140730142262599 140730142265295 0
[pid=29722/tid=29733] ppid=29720 vsize=13982852 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/29722/task/29733/stat : 29733 (java) S 29720 29720 23654 0 -1 1077944384 487 0 0 0 2 0 0 0 20 0 15 0 155449987 14318440448 10151 33554432000 4194304 4196468 140730142256976 139912787519984 139913679465090 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35676160 140730142262423 140730142262599 140730142262599 140730142265295 0
[pid=29722/tid=29734] ppid=29720 vsize=13982852 memory=140110886479488 CPUtime=0.07 cores=1,3,5,7
/proc/29722/task/29734/stat : 29734 (java) S 29720 29720 23654 0 -1 1077944384 739 0 0 0 7 0 0 0 20 0 15 0 155449987 14318440448 10151 33554432000 4194304 4196468 140730142256976 139912786467696 139913679465090 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35676160 140730142262423 140730142262599 140730142262599 140730142265295 0
[pid=29722/tid=29735] ppid=29720 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29722/task/29735/stat : 29735 (java) S 29720 29720 23654 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155449988 14318440448 10151 33554432000 4194304 4196468 140730142256976 139912785415136 139913679464149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35676160 140730142262423 140730142262599 140730142262599 140730142265295 0
[pid=29722/tid=29736] ppid=29720 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29722/task/29736/stat : 29736 (java) S 29720 29720 23654 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155449988 14318440448 10151 33554432000 4194304 4196468 140730142256976 139912784361904 139913679465090 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35676160 140730142262423 140730142262599 140730142262599 140730142265295 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 41988 KiB

[startup+0.312152 s]*
/proc/loadavg: 1.51 1.58 1.63 4/217 29736
/proc/meminfo: memFree=22544924/32770624 swapFree=67108860/67108860
[pid=29720] ppid=29717 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/29720/stat : 29720 (xcsp3-exec) S 29717 29720 23654 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 155449982 9740288 346 33554432000 4194304 5098028 140728254742176 140728254740280 140072391889532 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 20963328 140728254747759 140728254747963 140728254747963 140728254750699 0
/proc/29720/statm: 2378 346 289 221 0 87 0
[pid=29722] ppid=29720 vsize=13982852 memory=47224 CPUtime=0.53 cores=1,3,5,7
/proc/29722/stat : 29722 (java) S 29720 29720 23654 0 -1 1077944320 8985 0 0 0 50 3 0 0 20 0 15 0 155449982 14318440448 11806 33554432000 4194304 4196468 140730142256976 140730142239520 139913679453943 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35676160 140730142262423 140730142262599 140730142262599 140730142265295 0
/proc/29722/statm: 3495713 11806 3097 1 0 3482966 0
[pid=29722/tid=29723] ppid=29720 vsize=13982852 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/29722/task/29723/stat : 29723 (java) R 29720 29720 23654 0 -1 1077944384 5919 0 0 0 28 1 0 0 20 0 15 0 155449982 14318440448 11806 33554432000 4194304 4196468 140730142256976 139913683691840 139913679464149 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35676160 140730142262423 140730142262599 140730142262599 140730142265295 0
[pid=29722/tid=29724] ppid=29720 vsize=13982852 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/29722/task/29724/stat : 29724 (java) S 29720 29720 23654 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 155449983 14318440448 11806 33554432000 4194304 4196468 140730142256976 139913594522512 139913679464149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35676160 140730142262423 140730142262599 140730142262599 140730142265295 0
[pid=29722/tid=29725] ppid=29720 vsize=13982852 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/29722/task/29725/stat : 29725 (java) S 29720 29720 23654 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 155449983 14318440448 11806 33554432000 4194304 4196468 140730142256976 139913274059536 139913679464149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35676160 140730142262423 140730142262599 140730142262599 140730142265295 0
[pid=29722/tid=29726] ppid=29720 vsize=13982852 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/29722/task/29726/stat : 29726 (java) S 29720 29720 23654 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155449983 14318440448 11806 33554432000 4194304 4196468 140730142256976 139913273007248 139913679464149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35676160 140730142262423 140730142262599 140730142262599 140730142265295 0
[pid=29722/tid=29727] ppid=29720 vsize=13982852 memory=4500088472188524148 CPUtime=0 cores=1,3,5,7
/proc/29722/task/29727/stat : 29727 (java) S 29720 29720 23654 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 155449983 14318440448 11806 33554432000 4194304 4196468 140730142256976 139913271954448 139913679464149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35676160 140730142262423 140730142262599 140730142262599 140730142265295 0
[pid=29722/tid=29728] ppid=29720 vsize=13982852 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/29722/task/29728/stat : 29728 (java) S 29720 29720 23654 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 155449984 14318440448 11806 33554432000 4194304 4196468 140730142256976 139912860326000 139913679465090 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35676160 140730142262423 140730142262599 140730142262599 140730142265295 0
[pid=29722/tid=29729] ppid=29720 vsize=13982852 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/29722/task/29729/stat : 29729 (java) S 29720 29720 23654 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 155449985 14318440448 11806 33554432000 4194304 4196468 140730142256976 139912859271968 139913679464149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35676160 140730142262423 140730142262599 140730142262599 140730142265295 0
[pid=29722/tid=29730] ppid=29720 vsize=13982852 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/29722/task/29730/stat : 29730 (java) S 29720 29720 23654 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 155449985 14318440448 11806 33554432000 4194304 4196468 140730142256976 139912858219632 139913679464149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35676160 140730142262423 140730142262599 140730142262599 140730142265295 0
[pid=29722/tid=29731] ppid=29720 vsize=13982852 memory=-6664436420846796947 CPUtime=0 cores=1,3,5,7
/proc/29722/task/29731/stat : 29731 (java) S 29720 29720 23654 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155449987 14318440448 11806 33554432000 4194304 4196468 140730142256976 139912857167952 139913679472539 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35676160 140730142262423 140730142262599 140730142262599 140730142265295 0
[pid=29722/tid=29732] ppid=29720 vsize=13982852 memory=4713750055892520310 CPUtime=0.03 cores=1,3,5,7
/proc/29722/task/29732/stat : 29732 (java) R 29720 29720 23654 0 -1 1077944384 410 0 0 0 3 0 0 0 20 0 15 0 155449987 14318440448 11806 33554432000 4194304 4196468 140730142256976 139912856115824 139913679465090 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35676160 140730142262423 140730142262599 140730142262599 140730142265295 0
[pid=29722/tid=29733] ppid=29720 vsize=13982852 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/29722/task/29733/stat : 29733 (java) R 29720 29720 23654 0 -1 4202560 512 0 0 0 4 0 0 0 20 0 15 0 155449987 14318440448 11806 33554432000 4194304 4196468 140730142256976 139912787519984 139913663842832 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35676160 140730142262423 140730142262599 140730142262599 140730142265295 0
[pid=29722/tid=29734] ppid=29720 vsize=13982852 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/29722/task/29734/stat : 29734 (java) R 29720 29720 23654 0 -1 4202560 842 0 0 0 13 0 0 0 20 0 15 0 155449987 14318440448 11806 33554432000 4194304 4196468 140730142256976 139912786464632 139913671691070 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35676160 140730142262423 140730142262599 140730142262599 140730142265295 0
[pid=29722/tid=29735] ppid=29720 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29722/task/29735/stat : 29735 (java) S 29720 29720 23654 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155449988 14318440448 11806 33554432000 4194304 4196468 140730142256976 139912785415136 139913679464149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35676160 140730142262423 140730142262599 140730142262599 140730142265295 0
[pid=29722/tid=29736] ppid=29720 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29722/task/29736/stat : 29736 (java) S 29720 29720 23654 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155449988 14318440448 11806 33554432000 4194304 4196468 140730142256976 139912784361904 139913679465090 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35676160 140730142262423 140730142262599 140730142262599 140730142265295 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 48608 KiB

[startup+0.700765 s]
/proc/loadavg: 1.51 1.58 1.63 5/217 29736
/proc/meminfo: memFree=22529600/32770624 swapFree=67108860/67108860
[pid=29720] ppid=29717 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/29720/stat : 29720 (xcsp3-exec) S 29717 29720 23654 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 155449982 9740288 346 33554432000 4194304 5098028 140728254742176 140728254740280 140072391889532 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 20963328 140728254747759 140728254747963 140728254747963 140728254750699 0
/proc/29720/statm: 2378 346 289 221 0 87 0
[pid=29722] ppid=29720 vsize=13984976 memory=94876 CPUtime=1.69 cores=1,3,5,7
/proc/29722/stat : 29722 (java) S 29720 29720 23654 0 -1 1077944320 12206 0 0 0 164 5 0 0 20 0 15 0 155449982 14320615424 23719 33554432000 4194304 4196468 140730142256976 140730142239520 139913679453943 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35676160 140730142262423 140730142262599 140730142262599 140730142265295 0
/proc/29722/statm: 3496244 23719 3207 1 0 3483478 0
[pid=29722/tid=29723] ppid=29720 vsize=13984976 memory=43040 CPUtime=0.67 cores=1,3,5,7
/proc/29722/task/29723/stat : 29723 (java) R 29720 29720 23654 0 -1 4202560 6625 0 0 0 64 3 0 0 20 0 15 0 155449982 14320615424 23719 33554432000 4194304 4196468 140730142256976 139913683689744 139913663534430 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35676160 140730142262423 140730142262599 140730142262599 140730142265295 0
[pid=29722/tid=29724] ppid=29720 vsize=13984976 memory=1296 CPUtime=0 cores=1,3,5,7
/proc/29722/task/29724/stat : 29724 (java) S 29720 29720 23654 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 155449983 14320615424 23719 33554432000 4194304 4196468 140730142256976 139913594522512 139913679464149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35676160 140730142262423 140730142262599 140730142262599 140730142265295 0
[pid=29722/tid=29725] ppid=29720 vsize=13984976 memory=2400 CPUtime=0 cores=1,3,5,7
/proc/29722/task/29725/stat : 29725 (java) S 29720 29720 23654 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 155449983 14320615424 23719 33554432000 4194304 4196468 140730142256976 139913274059536 139913679464149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35676160 140730142262423 140730142262599 140730142262599 140730142265295 0
[pid=29722/tid=29726] ppid=29720 vsize=13984976 memory=1728 CPUtime=0 cores=1,3,5,7
/proc/29722/task/29726/stat : 29726 (java) S 29720 29720 23654 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155449983 14320615424 23785 33554432000 4194304 4196468 140730142256976 139913273007248 139913679464149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35676160 140730142262423 140730142262599 140730142262599 140730142265295 0
[pid=29722/tid=29727] ppid=29720 vsize=13984976 memory=12136 CPUtime=0 cores=1,3,5,7
/proc/29722/task/29727/stat : 29727 (java) S 29720 29720 23654 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 155449983 14320615424 23785 33554432000 4194304 4196468 140730142256976 139913271954448 139913679464149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35676160 140730142262423 140730142262599 140730142262599 140730142265295 0
[pid=29722/tid=29728] ppid=29720 vsize=13984976 memory=1708 CPUtime=0 cores=1,3,5,7
/proc/29722/task/29728/stat : 29728 (java) S 29720 29720 23654 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 155449984 14320615424 23785 33554432000 4194304 4196468 140730142256976 139912860326000 139913679465090 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35676160 140730142262423 140730142262599 140730142262599 140730142265295 0
[pid=29722/tid=29729] ppid=29720 vsize=13984976 memory=1012 CPUtime=0 cores=1,3,5,7
/proc/29722/task/29729/stat : 29729 (java) S 29720 29720 23654 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 155449985 14320615424 23785 33554432000 4194304 4196468 140730142256976 139912859271968 139913679464149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35676160 140730142262423 140730142262599 140730142262599 140730142265295 0
[pid=29722/tid=29730] ppid=29720 vsize=13984976 memory=796 CPUtime=0 cores=1,3,5,7
/proc/29722/task/29730/stat : 29730 (java) S 29720 29720 23654 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 155449985 14320615424 23785 33554432000 4194304 4196468 140730142256976 139912858219632 139913679464149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35676160 140730142262423 140730142262599 140730142262599 140730142265295 0
[pid=29722/tid=29731] ppid=29720 vsize=13984976 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/29722/task/29731/stat : 29731 (java) S 29720 29720 23654 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155449987 14320615424 23785 33554432000 4194304 4196468 140730142256976 139912857167952 139913679472539 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35676160 140730142262423 140730142262599 140730142262599 140730142265295 0
[pid=29722/tid=29732] ppid=29720 vsize=13984976 memory=5784 CPUtime=0.29 cores=1,3,5,7
/proc/29722/task/29732/stat : 29732 (java) R 29720 29720 23654 0 -1 4202560 1120 0 0 0 29 0 0 0 20 0 15 0 155449987 14320615424 23785 33554432000 4194304 4196468 140730142256976 139912856101024 139913663258623 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35676160 140730142262423 140730142262599 140730142262599 140730142265295 0
[pid=29722/tid=29733] ppid=29720 vsize=13984976 memory=4616 CPUtime=0.28 cores=1,3,5,7
/proc/29722/task/29733/stat : 29733 (java) S 29720 29720 23654 0 -1 1077944384 1287 0 0 0 28 0 0 0 20 0 15 0 155449987 14320615424 23785 33554432000 4194304 4196468 140730142256976 139912787519984 139913679465090 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35676160 140730142262423 140730142262599 140730142262599 140730142265295 0
[pid=29722/tid=29734] ppid=29720 vsize=13984976 memory=1928 CPUtime=0.41 cores=1,3,5,7
/proc/29722/task/29734/stat : 29734 (java) S 29720 29720 23654 0 -1 1077944384 1871 0 0 0 41 0 0 0 20 0 15 0 155449987 14320615424 23785 33554432000 4194304 4196468 140730142256976 139912786467696 139913679465090 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35676160 140730142262423 140730142262599 140730142262599 140730142265295 0
[pid=29722/tid=29735] ppid=29720 vsize=13984976 memory=1428 CPUtime=0 cores=1,3,5,7
/proc/29722/task/29735/stat : 29735 (java) S 29720 29720 23654 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155449988 14320615424 23785 33554432000 4194304 4196468 140730142256976 139912785415136 139913679464149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35676160 140730142262423 140730142262599 140730142262599 140730142265295 0
[pid=29722/tid=29736] ppid=29720 vsize=13984976 memory=1196 CPUtime=0 cores=1,3,5,7
/proc/29722/task/29736/stat : 29736 (java) S 29720 29720 23654 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155449988 14320615424 23785 33554432000 4194304 4196468 140730142256976 139912784361904 139913679465090 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35676160 140730142262423 140730142262599 140730142262599 140730142265295 0
Current children cumulated CPU time: 1.69 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 96260 KiB

[startup+1.50088 s]
/proc/loadavg: 1.51 1.58 1.63 3/217 29736
/proc/meminfo: memFree=22465376/32770624 swapFree=67108860/67108860
[pid=29720] ppid=29717 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/29720/stat : 29720 (xcsp3-exec) S 29717 29720 23654 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 155449982 9740288 346 33554432000 4194304 5098028 140728254742176 140728254740280 140072391889532 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 20963328 140728254747759 140728254747963 140728254747963 140728254750699 0
/proc/29720/statm: 2378 346 289 221 0 87 0

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

/proc/29720/stat : 29720 (xcsp3-exec) S 29717 29720 23654 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 155449982 9740288 346 33554432000 4194304 5098028 140728254742176 140728254740280 140072391889532 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 20963328 140728254747759 140728254747963 140728254747963 140728254750699 0
/proc/29720/statm: 2378 346 289 221 0 87 0
[pid=29722] ppid=29720 vsize=13984976 memory=225032 CPUtime=19.66 cores=1,3,5,7
/proc/29722/stat : 29722 (java) S 29720 29720 23654 0 -1 1077944320 43146 0 0 0 1953 13 0 0 20 0 15 0 155449982 14320615424 56258 33554432000 4194304 4196468 140730142256976 140730142239520 139913679453943 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35676160 140730142262423 140730142262599 140730142262599 140730142265295 0
/proc/29722/statm: 3496244 56258 3261 1 0 3483478 0
[pid=29722/tid=29723] ppid=29720 vsize=13984976 memory=3617014169523748718 CPUtime=12.76 cores=1,3,5,7
/proc/29722/task/29723/stat : 29723 (java) R 29720 29720 23654 0 -1 4202560 9710 0 0 0 1271 5 0 0 20 0 15 0 155449982 14320615424 56258 33554432000 4194304 4196468 140730142256976 139913683689488 139913282253507 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35676160 140730142262423 140730142262599 140730142262599 140730142265295 0
[pid=29722/tid=29724] ppid=29720 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29722/task/29724/stat : 29724 (java) S 29720 29720 23654 0 -1 1077944384 90 0 0 0 0 0 0 0 20 0 15 0 155449983 14320615424 56258 33554432000 4194304 4196468 140730142256976 139913594522512 139913679464149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35676160 140730142262423 140730142262599 140730142262599 140730142265295 0
[pid=29722/tid=29725] ppid=29720 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29722/task/29725/stat : 29725 (java) S 29720 29720 23654 0 -1 1077944384 272 0 0 0 0 0 0 0 20 0 15 0 155449983 14320615424 56258 33554432000 4194304 4196468 140730142256976 139913274059536 139913679464149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35676160 140730142262423 140730142262599 140730142262599 140730142265295 0
[pid=29722/tid=29726] ppid=29720 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29722/task/29726/stat : 29726 (java) S 29720 29720 23654 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155449983 14320615424 56258 33554432000 4194304 4196468 140730142256976 139913273007248 139913679464149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35676160 140730142262423 140730142262599 140730142262599 140730142265295 0
[pid=29722/tid=29727] ppid=29720 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29722/task/29727/stat : 29727 (java) S 29720 29720 23654 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 155449983 14320615424 56258 33554432000 4194304 4196468 140730142256976 139913271954448 139913679464149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35676160 140730142262423 140730142262599 140730142262599 140730142265295 0
[pid=29722/tid=29728] ppid=29720 vsize=13984976 memory=2400 CPUtime=0 cores=1,3,5,7
/proc/29722/task/29728/stat : 29728 (java) S 29720 29720 23654 0 -1 1077944384 187 0 0 0 0 0 0 0 20 0 15 0 155449984 14320615424 56258 33554432000 4194304 4196468 140730142256976 139912860326000 139913679465090 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35676160 140730142262423 140730142262599 140730142262599 140730142265295 0
[pid=29722/tid=29729] ppid=29720 vsize=13984976 memory=1728 CPUtime=0 cores=1,3,5,7
/proc/29722/task/29729/stat : 29729 (java) S 29720 29720 23654 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 155449985 14320615424 56258 33554432000 4194304 4196468 140730142256976 139912859271968 139913679464149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35676160 140730142262423 140730142262599 140730142262599 140730142265295 0
[pid=29722/tid=29730] ppid=29720 vsize=13984976 memory=12136 CPUtime=0 cores=1,3,5,7
/proc/29722/task/29730/stat : 29730 (java) S 29720 29720 23654 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 155449985 14320615424 56258 33554432000 4194304 4196468 140730142256976 139912858219632 139913679464149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35676160 140730142262423 140730142262599 140730142262599 140730142265295 0
[pid=29722/tid=29731] ppid=29720 vsize=13984976 memory=1708 CPUtime=0 cores=1,3,5,7
/proc/29722/task/29731/stat : 29731 (java) S 29720 29720 23654 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155449987 14320615424 56258 33554432000 4194304 4196468 140730142256976 139912857167952 139913679472539 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35676160 140730142262423 140730142262599 140730142262599 140730142265295 0
[pid=29722/tid=29732] ppid=29720 vsize=13984976 memory=1012 CPUtime=2.97 cores=1,3,5,7
/proc/29722/task/29732/stat : 29732 (java) S 29720 29720 23654 0 -1 1077944384 12720 0 0 0 295 2 0 0 20 0 15 0 155449987 14320615424 56258 33554432000 4194304 4196468 140730142256976 139912856115824 139913679465090 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35676160 140730142262423 140730142262599 140730142262599 140730142265295 0
[pid=29722/tid=29733] ppid=29720 vsize=13984976 memory=796 CPUtime=3.12 cores=1,3,5,7
/proc/29722/task/29733/stat : 29733 (java) R 29720 29720 23654 0 -1 4202560 13336 0 0 0 310 2 0 0 20 0 15 0 155449987 14320615424 56258 33554432000 4194304 4196468 140730142256976 139912787520280 139913657304138 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35676160 140730142262423 140730142262599 140730142262599 140730142265295 0
[pid=29722/tid=29734] ppid=29720 vsize=13984976 memory=224992 CPUtime=0.75 cores=1,3,5,7
/proc/29722/task/29734/stat : 29734 (java) S 29720 29720 23654 0 -1 1077944384 5391 0 0 0 74 1 0 0 20 0 15 0 155449987 14320615424 56258 33554432000 4194304 4196468 140730142256976 139912786467696 139913679465090 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35676160 140730142262423 140730142262599 140730142262599 140730142265295 0
[pid=29722/tid=29735] ppid=29720 vsize=13984976 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/29722/task/29735/stat : 29735 (java) S 29720 29720 23654 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155449988 14320615424 56258 33554432000 4194304 4196468 140730142256976 139912785415136 139913679464149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35676160 140730142262423 140730142262599 140730142262599 140730142265295 0
[pid=29722/tid=29736] ppid=29720 vsize=13984976 memory=237864 CPUtime=0 cores=1,3,5,7
/proc/29722/task/29736/stat : 29736 (java) S 29720 29720 23654 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 15 0 155449988 14320615424 56258 33554432000 4194304 4196468 140730142256976 139912784361904 139913679465090 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35676160 140730142262423 140730142262599 140730142262599 140730142265295 0
Current children cumulated CPU time: 19.66 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 226416 KiB

[startup+13.601 s]
/proc/loadavg: 1.68 1.62 1.64 3/217 29736
/proc/meminfo: memFree=22395384/32770624 swapFree=67108860/67108860
[pid=29720] ppid=29717 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/29720/stat : 29720 (xcsp3-exec) S 29717 29720 23654 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 155449982 9740288 346 33554432000 4194304 5098028 140728254742176 140728254740280 140072391889532 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 20963328 140728254747759 140728254747963 140728254747963 140728254750699 0
/proc/29720/statm: 2378 346 289 221 0 87 0
[pid=29722] ppid=29720 vsize=13984976 memory=244016 CPUtime=21.19 cores=1,3,5,7
/proc/29722/stat : 29722 (java) S 29720 29720 23654 0 -1 1077944320 52928 0 0 0 2105 14 0 0 20 0 15 0 155449982 14320615424 61004 33554432000 4194304 4196468 140730142256976 140730142239520 139913679453943 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35676160 140730142262423 140730142262599 140730142262599 140730142265295 0
/proc/29722/statm: 3496244 61004 3265 1 0 3483478 0
[pid=29722/tid=29723] ppid=29720 vsize=13984976 memory=6791534058613427641 CPUtime=13.54 cores=1,3,5,7
/proc/29722/task/29723/stat : 29723 (java) R 29720 29720 23654 0 -1 4202560 10361 0 0 0 1349 5 0 0 20 0 15 0 155449982 14320615424 61004 33554432000 4194304 4196468 140730142256976 139913683692944 139913283842904 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35676160 140730142262423 140730142262599 140730142262599 140730142265295 0
[pid=29722/tid=29724] ppid=29720 vsize=13984976 memory=1012 CPUtime=0.01 cores=1,3,5,7
/proc/29722/task/29724/stat : 29724 (java) S 29720 29720 23654 0 -1 1077944384 254 0 0 0 1 0 0 0 20 0 15 0 155449983 14320615424 61004 33554432000 4194304 4196468 140730142256976 139913594522512 139913679464149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35676160 140730142262423 140730142262599 140730142262599 140730142265295 0
[pid=29722/tid=29725] ppid=29720 vsize=13984976 memory=796 CPUtime=0.01 cores=1,3,5,7
/proc/29722/task/29725/stat : 29725 (java) S 29720 29720 23654 0 -1 1077944384 316 0 0 0 1 0 0 0 20 0 15 0 155449983 14320615424 61004 33554432000 4194304 4196468 140730142256976 139913274059536 139913679464149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35676160 140730142262423 140730142262599 140730142262599 140730142265295 0
[pid=29722/tid=29726] ppid=29720 vsize=13984976 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/29722/task/29726/stat : 29726 (java) S 29720 29720 23654 0 -1 1077944384 119 0 0 0 0 0 0 0 20 0 15 0 155449983 14320615424 61004 33554432000 4194304 4196468 140730142256976 139913273007248 139913679464149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35676160 140730142262423 140730142262599 140730142262599 140730142265295 0
[pid=29722/tid=29727] ppid=29720 vsize=13984976 memory=5784 CPUtime=0 cores=1,3,5,7
/proc/29722/task/29727/stat : 29727 (java) S 29720 29720 23654 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 155449983 14320615424 61004 33554432000 4194304 4196468 140730142256976 139913271954448 139913679464149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35676160 140730142262423 140730142262599 140730142262599 140730142265295 0
[pid=29722/tid=29728] ppid=29720 vsize=13984976 memory=4616 CPUtime=0 cores=1,3,5,7
/proc/29722/task/29728/stat : 29728 (java) S 29720 29720 23654 0 -1 1077944384 332 0 0 0 0 0 0 0 20 0 15 0 155449984 14320615424 61004 33554432000 4194304 4196468 140730142256976 139912860326000 139913679465090 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35676160 140730142262423 140730142262599 140730142262599 140730142265295 0
[pid=29722/tid=29729] ppid=29720 vsize=13984976 memory=1928 CPUtime=0 cores=1,3,5,7
/proc/29722/task/29729/stat : 29729 (java) S 29720 29720 23654 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 155449985 14320615424 61004 33554432000 4194304 4196468 140730142256976 139912859272032 139913679464149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35676160 140730142262423 140730142262599 140730142262599 140730142265295 0
[pid=29722/tid=29730] ppid=29720 vsize=13984976 memory=1428 CPUtime=0 cores=1,3,5,7
/proc/29722/task/29730/stat : 29730 (java) S 29720 29720 23654 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 155449985 14320615424 61004 33554432000 4194304 4196468 140730142256976 139912858219648 139913679464149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35676160 140730142262423 140730142262599 140730142262599 140730142265295 0
[pid=29722/tid=29731] ppid=29720 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/29722/task/29731/stat : 29731 (java) S 29720 29720 23654 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155449987 14320615424 61004 33554432000 4194304 4196468 140730142256976 139912857167952 139913679472539 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35676160 140730142262423 140730142262599 140730142262599 140730142265295 0
[pid=29722/tid=29732] ppid=29720 vsize=13984976 memory=224948 CPUtime=3.28 cores=1,3,5,7
/proc/29722/task/29732/stat : 29732 (java) R 29720 29720 23654 0 -1 4202560 16295 0 0 0 326 2 0 0 20 0 15 0 155449987 14320615424 61004 33554432000 4194304 4196468 140730142256976 139912856095264 139913660998543 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35676160 140730142262423 140730142262599 140730142262599 140730142265295 0
[pid=29722/tid=29733] ppid=29720 vsize=13984976 memory=7591245158336933274 CPUtime=3.47 cores=1,3,5,7
/proc/29722/task/29733/stat : 29733 (java) R 29720 29720 23654 0 -1 4202560 17558 0 0 0 345 2 0 0 20 0 15 0 155449987 14320615424 61004 33554432000 4194304 4196468 140730142256976 139912787504456 139913657342464 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35676160 140730142262423 140730142262599 140730142262599 140730142265295 0
[pid=29722/tid=29734] ppid=29720 vsize=13984976 memory=7591245158336933274 CPUtime=0.79 cores=1,3,5,7
/proc/29722/task/29734/stat : 29734 (java) S 29720 29720 23654 0 -1 1077944384 6219 0 0 0 78 1 0 0 20 0 15 0 155449987 14320615424 61004 33554432000 4194304 4196468 140730142256976 139912786467696 139913679465090 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35676160 140730142262423 140730142262599 140730142262599 140730142265295 0
[pid=29722/tid=29735] ppid=29720 vsize=13984976 memory=8023269665315972697 CPUtime=0 cores=1,3,5,7
/proc/29722/task/29735/stat : 29735 (java) S 29720 29720 23654 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155449988 14320615424 61004 33554432000 4194304 4196468 140730142256976 139912785415136 139913679464149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35676160 140730142262423 140730142262599 140730142262599 140730142265295 0
[pid=29722/tid=29736] ppid=29720 vsize=13984976 memory=6225489096523343715 CPUtime=0 cores=1,3,5,7
/proc/29722/task/29736/stat : 29736 (java) S 29720 29720 23654 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 15 0 155449988 14320615424 61004 33554432000 4194304 4196468 140730142256976 139912784361904 139913679465090 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35676160 140730142262423 140730142262599 140730142262599 140730142265295 0
Current children cumulated CPU time: 21.19 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 245400 KiB

[startup+14.4009 s]
/proc/loadavg: 1.68 1.62 1.64 5/217 29736
/proc/meminfo: memFree=22365108/32770624 swapFree=67108860/67108860
[pid=29720] ppid=29717 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/29720/stat : 29720 (xcsp3-exec) S 29717 29720 23654 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 155449982 9740288 346 33554432000 4194304 5098028 140728254742176 140728254740280 140072391889532 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 20963328 140728254747759 140728254747963 140728254747963 140728254750699 0
/proc/29720/statm: 2378 346 289 221 0 87 0
[pid=29722] ppid=29720 vsize=13984976 memory=256072 CPUtime=23.61 cores=1,3,5,7
/proc/29722/stat : 29722 (java) S 29720 29720 23654 0 -1 1077944320 57094 0 0 0 2346 15 0 0 20 0 15 0 155449982 14320615424 64018 33554432000 4194304 4196468 140730142256976 140730142239520 139913679453943 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35676160 140730142262423 140730142262599 140730142262599 140730142265295 0
/proc/29722/statm: 3496244 64018 3265 1 0 3483478 0
[pid=29722/tid=29723] ppid=29720 vsize=13984976 memory=1012 CPUtime=14.34 cores=1,3,5,7
/proc/29722/task/29723/stat : 29723 (java) R 29720 29720 23654 0 -1 4202560 10370 0 0 0 1429 5 0 0 20 0 15 0 155449982 14320615424 64018 33554432000 4194304 4196468 140730142256976 139913683690352 139913283842909 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35676160 140730142262423 140730142262599 140730142262599 140730142265295 0
[pid=29722/tid=29724] ppid=29720 vsize=13984976 memory=796 CPUtime=0.01 cores=1,3,5,7
/proc/29722/task/29724/stat : 29724 (java) S 29720 29720 23654 0 -1 1077944384 254 0 0 0 1 0 0 0 20 0 15 0 155449983 14320615424 64018 33554432000 4194304 4196468 140730142256976 139913594522512 139913679464149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35676160 140730142262423 140730142262599 140730142262599 140730142265295 0
[pid=29722/tid=29725] ppid=29720 vsize=13984976 memory=1228 CPUtime=0.01 cores=1,3,5,7
/proc/29722/task/29725/stat : 29725 (java) S 29720 29720 23654 0 -1 1077944384 316 0 0 0 1 0 0 0 20 0 15 0 155449983 14320615424 64018 33554432000 4194304 4196468 140730142256976 139913274059536 139913679464149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35676160 140730142262423 140730142262599 140730142262599 140730142265295 0
[pid=29722/tid=29726] ppid=29720 vsize=13984976 memory=288230574492221466 CPUtime=0 cores=1,3,5,7
/proc/29722/task/29726/stat : 29726 (java) S 29720 29720 23654 0 -1 1077944384 119 0 0 0 0 0 0 0 20 0 15 0 155449983 14320615424 64018 33554432000 4194304 4196468 140730142256976 139913273007248 139913679464149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35676160 140730142262423 140730142262599 140730142262599 140730142265295 0
[pid=29722/tid=29727] ppid=29720 vsize=13984976 memory=288230596050944315 CPUtime=0 cores=1,3,5,7
/proc/29722/task/29727/stat : 29727 (java) S 29720 29720 23654 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 155449983 14320615424 64018 33554432000 4194304 4196468 140730142256976 139913271954448 139913679464149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35676160 140730142262423 140730142262599 140730142262599 140730142265295 0
[pid=29722/tid=29728] ppid=29720 vsize=13984976 memory=14973369229511237 CPUtime=0 cores=1,3,5,7
/proc/29722/task/29728/stat : 29728 (java) S 29720 29720 23654 0 -1 1077944384 332 0 0 0 0 0 0 0 20 0 15 0 155449984 14320615424 64018 33554432000 4194304 4196468 140730142256976 139912860326000 139913679465090 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35676160 140730142262423 140730142262599 140730142262599 140730142265295 0
[pid=29722/tid=29729] ppid=29720 vsize=13984976 memory=1928 CPUtime=0 cores=1,3,5,7
/proc/29722/task/29729/stat : 29729 (java) S 29720 29720 23654 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 155449985 14320615424 64018 33554432000 4194304 4196468 140730142256976 139912859272032 139913679464149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35676160 140730142262423 140730142262599 140730142262599 140730142265295 0
[pid=29722/tid=29730] ppid=29720 vsize=13984976 memory=1428 CPUtime=0 cores=1,3,5,7
/proc/29722/task/29730/stat : 29730 (java) S 29720 29720 23654 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 155449985 14320615424 64018 33554432000 4194304 4196468 140730142256976 139912858219648 139913679464149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35676160 140730142262423 140730142262599 140730142262599 140730142265295 0
[pid=29722/tid=29731] ppid=29720 vsize=13984976 memory=1196 CPUtime=0 cores=1,3,5,7
/proc/29722/task/29731/stat : 29731 (java) S 29720 29720 23654 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155449987 14320615424 64018 33554432000 4194304 4196468 140730142256976 139912857167952 139913679472539 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35676160 140730142262423 140730142262599 140730142262599 140730142265295 0
[pid=29722/tid=29732] ppid=29720 vsize=13984976 memory=1384 CPUtime=4.08 cores=1,3,5,7
/proc/29722/task/29732/stat : 29732 (java) R 29720 29720 23654 0 -1 4202560 18369 0 0 0 406 2 0 0 20 0 15 0 155449987 14320615424 64018 33554432000 4194304 4196468 140730142256976 139912856105232 139913660998528 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35676160 140730142262423 140730142262599 140730142262599 140730142265295 0
[pid=29722/tid=29733] ppid=29720 vsize=13984976 memory=1196 CPUtime=4.27 cores=1,3,5,7
/proc/29722/task/29733/stat : 29733 (java) R 29720 29720 23654 0 -1 4202560 19539 0 0 0 424 3 0 0 20 0 15 0 155449987 14320615424 64018 33554432000 4194304 4196468 140730142256976 139912787506352 139913660973995 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35676160 140730142262423 140730142262599 140730142262599 140730142265295 0
[pid=29722/tid=29734] ppid=29720 vsize=13984976 memory=10688 CPUtime=0.81 cores=1,3,5,7
/proc/29722/task/29734/stat : 29734 (java) S 29720 29720 23654 0 -1 1077944384 6321 0 0 0 80 1 0 0 20 0 15 0 155449987 14320615424 64018 33554432000 4194304 4196468 140730142256976 139912786467696 139913679465090 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35676160 140730142262423 140730142262599 140730142262599 140730142265295 0
[pid=29722/tid=29735] ppid=29720 vsize=13984976 memory=15880 CPUtime=0 cores=1,3,5,7
/proc/29722/task/29735/stat : 29735 (java) S 29720 29720 23654 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155449988 14320615424 64018 33554432000 4194304 4196468 140730142256976 139912785415136 139913679464149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35676160 140730142262423 140730142262599 140730142262599 140730142265295 0
[pid=29722/tid=29736] ppid=29720 vsize=13984976 memory=23692 CPUtime=0 cores=1,3,5,7
/proc/29722/task/29736/stat : 29736 (java) S 29720 29720 23654 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 15 0 155449988 14320615424 64018 33554432000 4194304 4196468 140730142256976 139912784361904 139913679465090 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35676160 140730142262423 140730142262599 140730142262599 140730142265295 0
Current children cumulated CPU time: 23.61 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 257456 KiB

[startup+14.8008 s]
/proc/loadavg: 1.68 1.62 1.64 5/217 29736
/proc/meminfo: memFree=22365108/32770624 swapFree=67108860/67108860
[pid=29720] ppid=29717 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/29720/stat : 29720 (xcsp3-exec) S 29717 29720 23654 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 155449982 9740288 346 33554432000 4194304 5098028 140728254742176 140728254740280 140072391889532 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 20963328 140728254747759 140728254747963 140728254747963 140728254750699 0
/proc/29720/statm: 2378 346 289 221 0 87 0
[pid=29722] ppid=29720 vsize=13984976 memory=259456 CPUtime=24.81 cores=1,3,5,7
/proc/29722/stat : 29722 (java) S 29720 29720 23654 0 -1 1077944320 57944 0 0 0 2466 15 0 0 20 0 15 0 155449982 14320615424 64864 33554432000 4194304 4196468 140730142256976 140730142239520 139913679453943 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35676160 140730142262423 140730142262599 140730142262599 140730142265295 0
/proc/29722/statm: 3496244 64864 3265 1 0 3483478 0
[pid=29722/tid=29723] ppid=29720 vsize=13984976 memory=6791534058613427641 CPUtime=14.74 cores=1,3,5,7
/proc/29722/task/29723/stat : 29723 (java) R 29720 29720 23654 0 -1 4202560 10374 0 0 0 1469 5 0 0 20 0 15 0 155449982 14320615424 64864 33554432000 4194304 4196468 140730142256976 139913683690352 139913280256141 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35676160 140730142262423 140730142262599 140730142262599 140730142265295 0
[pid=29722/tid=29724] ppid=29720 vsize=13984976 memory=255232 CPUtime=0.01 cores=1,3,5,7
/proc/29722/task/29724/stat : 29724 (java) S 29720 29720 23654 0 -1 1077944384 254 0 0 0 1 0 0 0 20 0 15 0 155449983 14320615424 64864 33554432000 4194304 4196468 140730142256976 139913594522512 139913679464149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35676160 140730142262423 140730142262599 140730142262599 140730142265295 0
[pid=29722/tid=29725] ppid=29720 vsize=13984976 memory=14973369229511237 CPUtime=0.01 cores=1,3,5,7
/proc/29722/task/29725/stat : 29725 (java) S 29720 29720 23654 0 -1 1077944384 316 0 0 0 1 0 0 0 20 0 15 0 155449983 14320615424 64864 33554432000 4194304 4196468 140730142256976 139913274059536 139913679464149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35676160 140730142262423 140730142262599 140730142262599 140730142265295 0
[pid=29722/tid=29726] ppid=29720 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29722/task/29726/stat : 29726 (java) S 29720 29720 23654 0 -1 1077944384 119 0 0 0 0 0 0 0 20 0 15 0 155449983 14320615424 64864 33554432000 4194304 4196468 140730142256976 139913273007248 139913679464149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35676160 140730142262423 140730142262599 140730142262599 140730142265295 0
[pid=29722/tid=29727] ppid=29720 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29722/task/29727/stat : 29727 (java) S 29720 29720 23654 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 155449983 14320615424 64864 33554432000 4194304 4196468 140730142256976 139913271954448 139913679464149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35676160 140730142262423 140730142262599 140730142262599 140730142265295 0
[pid=29722/tid=29728] ppid=29720 vsize=13984976 memory=280221517434816 CPUtime=0 cores=1,3,5,7
/proc/29722/task/29728/stat : 29728 (java) S 29720 29720 23654 0 -1 1077944384 332 0 0 0 0 0 0 0 20 0 15 0 155449984 14320615424 64864 33554432000 4194304 4196468 140730142256976 139912860326000 139913679465090 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35676160 140730142262423 140730142262599 140730142262599 140730142265295 0
[pid=29722/tid=29729] ppid=29720 vsize=13984976 memory=-3253322038155611931 CPUtime=0 cores=1,3,5,7
/proc/29722/task/29729/stat : 29729 (java) S 29720 29720 23654 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 155449985 14320615424 64864 33554432000 4194304 4196468 140730142256976 139912859272032 139913679464149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35676160 140730142262423 140730142262599 140730142262599 140730142265295 0
[pid=29722/tid=29730] ppid=29720 vsize=13984976 memory=-9174445032661854264 CPUtime=0 cores=1,3,5,7
/proc/29722/task/29730/stat : 29730 (java) S 29720 29720 23654 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 155449985 14320615424 64864 33554432000 4194304 4196468 140730142256976 139912858219648 139913679464149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35676160 140730142262423 140730142262599 140730142262599 140730142265295 0
[pid=29722/tid=29731] ppid=29720 vsize=13984976 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/29722/task/29731/stat : 29731 (java) S 29720 29720 23654 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155449987 14320615424 64864 33554432000 4194304 4196468 140730142256976 139912857167952 139913679472539 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35676160 140730142262423 140730142262599 140730142262599 140730142265295 0
[pid=29722/tid=29732] ppid=29720 vsize=13984976 memory=-6876588627878687573 CPUtime=4.48 cores=1,3,5,7
/proc/29722/task/29732/stat : 29732 (java) R 29720 29720 23654 0 -1 4202560 19059 0 0 0 446 2 0 0 20 0 15 0 155449987 14320615424 64864 33554432000 4194304 4196468 140730142256976 139912856106656 139913656744201 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35676160 140730142262423 140730142262599 140730142262599 140730142265295 0
[pid=29722/tid=29733] ppid=29720 vsize=13984976 memory=6944656592455360569 CPUtime=4.67 cores=1,3,5,7
/proc/29722/task/29733/stat : 29733 (java) R 29720 29720 23654 0 -1 4202560 19696 0 0 0 464 3 0 0 20 0 15 0 155449987 14320615424 64864 33554432000 4194304 4196468 140730142256976 139912787506352 139913663354810 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35676160 140730142262423 140730142262599 140730142262599 140730142265295 0
[pid=29722/tid=29734] ppid=29720 vsize=13984976 memory=-7316765472996040608 CPUtime=0.82 cores=1,3,5,7
/proc/29722/task/29734/stat : 29734 (java) S 29720 29720 23654 0 -1 1077944384 6322 0 0 0 81 1 0 0 20 0 15 0 155449987 14320615424 64864 33554432000 4194304 4196468 140730142256976 139912786467696 139913679465090 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35676160 140730142262423 140730142262599 140730142262599 140730142265295 0
[pid=29722/tid=29735] ppid=29720 vsize=13984976 memory=-3689385055762157364 CPUtime=0 cores=1,3,5,7
/proc/29722/task/29735/stat : 29735 (java) S 29720 29720 23654 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155449988 14320615424 64864 33554432000 4194304 4196468 140730142256976 139912785415136 139913679464149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35676160 140730142262423 140730142262599 140730142262599 140730142265295 0
[pid=29722/tid=29736] ppid=29720 vsize=13984976 memory=-7595754389018307680 CPUtime=0 cores=1,3,5,7
/proc/29722/task/29736/stat : 29736 (java) S 29720 29720 23654 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 15 0 155449988 14320615424 64864 33554432000 4194304 4196468 140730142256976 139912784361904 139913679465090 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35676160 140730142262423 140730142262599 140730142262599 140730142265295 0
Current children cumulated CPU time: 24.81 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 260840 KiB

Child status: 0
Real time (s): 14.8656
CPU time (s): 24.9825
CPU user time (s): 24.8157
CPU system time (s): 0.166826
CPU usage (%): 168.056
Max. virtual memory (cumulated for all children) (KiB): 13996716
Max. memory (cumulated for all children) (KiB): 260840

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 24.8157
system time used= 0.166826
maximum resident set size= 259920
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 58629
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3446
involuntary context switches= 65


# summary of solver processes directly reported to runsolver:
#   pid: 29720
#   total CPU time (s): 24.9825
#   total CPU user time (s): 24.8157
#   total CPU system time (s): 0.166826

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.114692 second user time and 0.180224 second system time

The end

Launcher Data 

Begin job on node105 at 2017-08-20 11:55:25
IDJOB=4284099
IDBENCH=139744
IDSOLVER=2679
FILE ID=node105/4284099-1503223785
RUNJOBID= node105-1503215464-28777
PBS_JOBID= 20630876
Free space on /tmp= 61796 MiB

SOLVER NAME= choco-solver 5a
BENCH NAME= XCSP17/ChessboardColoration/ChessboardColoration-int-s2/ChessboardColoration-int-07-09.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-4284099-1503223785/watcher-4284099-1503223785 -o /tmp/evaluation-result-4284099-1503223785/solver-4284099-1503223785 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1503215464-28777 --watchdog 2580  ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 359863874 HOME/instance-4284099-1503223785.xml

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

MD5SUM BENCH= a3ba3cad77540d9164e30b3f583ccc44
RANDOM SEED=359863874

node105.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.17
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.17
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.17
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.17
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:        22580768 kB
MemAvailable:   31418984 kB
Buffers:          240912 kB
Cached:          8886864 kB
SwapCached:            0 kB
Active:          1650800 kB
Inactive:        8085560 kB
Active(anon):     558776 kB
Inactive(anon):    85880 kB
Active(file):    1092024 kB
Inactive(file):  7999680 kB
Unevictable:        7328 kB
Mlocked:            7328 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7956 kB
Writeback:             4 kB
AnonPages:        615880 kB
Mapped:            64240 kB
Shmem:             33420 kB
Slab:             151404 kB
SReclaimable:     124692 kB
SUnreclaim:        26712 kB
KernelStack:        3520 kB
PageTables:         6520 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1587296 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    497664 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= 61788 MiB
End job on node105 at 2017-08-20 11:55:40