Trace number 4284639

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)? (TO) 246.58 240.034

General information on the benchmark

NameChessboardColoration/ChessboardColoration-int-s2/
ChessboardColoration-int-17-19.xml
MD5SUM6bb486b702ae8a5e43f429c3e7fd2e95
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark5
Best CPU time to get the best result obtained on this benchmark240.05
Satisfiable
(Un)Satisfiability was proved
Number of variables323
Number of constraints23257
Number of domains1
Minimum domain size323
Maximum domain size323
Distribution of domain sizes[{"size":323,"count":323}]
Minimum variable degree290
Maximum variable degree290
Distribution of variable degrees[{"degree":290,"count":323}]
Minimum constraint arity4
Maximum constraint arity323
Distribution of constraint arities[{"arity":4,"count":23256},{"arity":323,"count":1}]
Number of extensional constraints0
Number of intensional constraints23256
Distribution of constraint types[{"type":"intension","count":23256},{"type":"lex","count":1}]
Optimization problemYES
Type of objectivemin MAXIMUM

Solver Data 

0.00/0.00	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4284639-1503215541.xml"  -tl '264s' -p 1 -x 3
0.12/0.15	c [HOME/instance-4284639-1503215541.xml, -tl, 264s, -p, 1, -x, 3]
0.12/0.20	c simple solver
0.33/0.27	c parse instance...
7.11/2.47	c solve instance...
246.54/240.01	s UNKNOWN
246.54/240.01	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 (11642 MiB free)
  memory of node 1: 16384 MiB (7734 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4284639-1503215541/watcher-4284639-1503215541 -o /tmp/evaluation-result-4284639-1503215541/solver-4284639-1503215541 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node151-1503208976-12841 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 216709294 HOME/instance-4284639-1503215541.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 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
solver pid=18066, runsolver pid=18063
Current StackSize limit: 8192 KiB


[startup+0.100985 s]*
/proc/loadavg: 2.15 2.03 1.96 3/217 18082
/proc/meminfo: memFree=19824560/32770624 swapFree=67108860/67108860
[pid=18066] ppid=18063 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/18066/stat : 18066 (xcsp3-exec) S 18063 18066 12810 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154634787 9740288 346 33554432000 4194304 5098028 140736192577360 140736192575464 139907296338556 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 35880960 140736192582773 140736192582976 140736192582976 140736192585707 0
/proc/18066/statm: 2378 346 289 221 0 87 0
[pid=18068] ppid=18066 vsize=13978596 memory=28644 CPUtime=0.12 cores=0,2,4,6
/proc/18068/stat : 18068 (java) S 18066 18066 12810 0 -1 1077944320 5488 0 0 0 11 1 0 0 20 0 15 0 154634788 14314082304 7161 33554432000 4194304 4196468 140728903757200 140728903739744 139881548095223 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20254720 140728903759005 140728903759180 140728903759180 140728903761871 0
/proc/18068/statm: 3494649 7161 2886 1 0 3482966 0
[pid=18068/tid=18069] ppid=18066 vsize=13978596 memory=-6962121287837372198 CPUtime=0.09 cores=0,2,4,6
/proc/18068/task/18069/stat : 18069 (java) R 18066 18066 12810 0 -1 4202560 3475 0 0 0 8 1 0 0 20 0 15 0 154634788 14314082304 7161 33554432000 4194304 4196468 140728903757200 139881552315648 139881532175710 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20254720 140728903759005 140728903759180 140728903759180 140728903761871 0
[pid=18068/tid=18070] ppid=18066 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18068/task/18070/stat : 18070 (java) S 18066 18066 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154634789 14314082304 7161 33554432000 4194304 4196468 140728903757200 139881143532176 139881548105429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20254720 140728903759005 140728903759180 140728903759180 140728903761871 0
[pid=18068/tid=18071] ppid=18066 vsize=13978596 memory=140435040904832 CPUtime=0 cores=0,2,4,6
/proc/18068/task/18071/stat : 18071 (java) S 18066 18066 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154634789 14314082304 7161 33554432000 4194304 4196468 140728903757200 139881142479376 139881548105429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20254720 140728903759005 140728903759180 140728903759180 140728903761871 0
[pid=18068/tid=18072] ppid=18066 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18068/task/18072/stat : 18072 (java) S 18066 18066 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154634789 14314082304 7161 33554432000 4194304 4196468 140728903757200 139881141426576 139881548105429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20254720 140728903759005 140728903759180 140728903759180 140728903761871 0
[pid=18068/tid=18073] ppid=18066 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18068/task/18073/stat : 18073 (java) S 18066 18066 12810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154634789 14314082304 7161 33554432000 4194304 4196468 140728903757200 139881140373776 139881548105429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20254720 140728903759005 140728903759180 140728903759180 140728903761871 0
[pid=18068/tid=18074] ppid=18066 vsize=13978596 memory=140435040904832 CPUtime=0 cores=0,2,4,6
/proc/18068/task/18074/stat : 18074 (java) S 18066 18066 12810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154634790 14314082304 7161 33554432000 4194304 4196468 140728903757200 139880527674224 139881548106370 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20254720 140728903759005 140728903759180 140728903759180 140728903761871 0
[pid=18068/tid=18075] ppid=18066 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18068/task/18075/stat : 18075 (java) S 18066 18066 12810 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154634791 14314082304 7161 33554432000 4194304 4196468 140728903757200 139880526620192 139881548105429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20254720 140728903759005 140728903759180 140728903759180 140728903761871 0
[pid=18068/tid=18076] ppid=18066 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18068/task/18076/stat : 18076 (java) S 18066 18066 12810 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154634791 14314082304 7161 33554432000 4194304 4196468 140728903757200 139880525567344 139881548105429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20254720 140728903759005 140728903759180 140728903759180 140728903761871 0
[pid=18068/tid=18077] ppid=18066 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18068/task/18077/stat : 18077 (java) S 18066 18066 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154634793 14314082304 7161 33554432000 4194304 4196468 140728903757200 139880524515664 139881548113819 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20254720 140728903759005 140728903759180 140728903759180 140728903761871 0
[pid=18068/tid=18078] ppid=18066 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18068/task/18078/stat : 18078 (java) S 18066 18066 12810 0 -1 1077944384 425 0 0 0 0 0 0 0 20 0 15 0 154634793 14314082304 7161 33554432000 4194304 4196468 140728903757200 139880523463024 139881548106370 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20254720 140728903759005 140728903759180 140728903759180 140728903761871 0
[pid=18068/tid=18079] ppid=18066 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18068/task/18079/stat : 18079 (java) S 18066 18066 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154634793 14314082304 7161 33554432000 4194304 4196468 140728903757200 139880522410224 139881548106370 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20254720 140728903759005 140728903759180 140728903759180 140728903761871 0
[pid=18068/tid=18080] ppid=18066 vsize=13978596 memory=140435040904832 CPUtime=0.01 cores=0,2,4,6
/proc/18068/task/18080/stat : 18080 (java) S 18066 18066 12810 0 -1 1077944384 283 0 0 0 1 0 0 0 20 0 15 0 154634793 14314082304 7161 33554432000 4194304 4196468 140728903757200 139880521357424 139881548106370 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20254720 140728903759005 140728903759180 140728903759180 140728903761871 0
[pid=18068/tid=18081] ppid=18066 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18068/task/18081/stat : 18081 (java) S 18066 18066 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154634794 14314082304 7161 33554432000 4194304 4196468 140728903757200 139880520304864 139881548105429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20254720 140728903759005 140728903759180 140728903759180 140728903761871 0
[pid=18068/tid=18082] ppid=18066 vsize=13978596 memory=140435040904832 CPUtime=0 cores=0,2,4,6
/proc/18068/task/18082/stat : 18082 (java) S 18066 18066 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154634794 14314082304 7161 33554432000 4194304 4196468 140728903757200 139880519253168 139881548106370 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20254720 140728903759005 140728903759180 140728903759180 140728903761871 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 30028 KiB

[startup+0.21055 s]*
/proc/loadavg: 2.15 2.03 1.96 3/217 18082
/proc/meminfo: memFree=19812796/32770624 swapFree=67108860/67108860
[pid=18066] ppid=18063 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/18066/stat : 18066 (xcsp3-exec) S 18063 18066 12810 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154634787 9740288 346 33554432000 4194304 5098028 140736192577360 140736192575464 139907296338556 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 35880960 140736192582773 140736192582976 140736192582976 140736192585707 0
/proc/18066/statm: 2378 346 289 221 0 87 0
[pid=18068] ppid=18066 vsize=13982852 memory=41340 CPUtime=0.33 cores=0,2,4,6
/proc/18068/stat : 18068 (java) S 18066 18066 12810 0 -1 1077944320 8349 0 0 0 31 2 0 0 20 0 15 0 154634788 14318440448 10335 33554432000 4194304 4196468 140728903757200 140728903739744 139881548095223 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20254720 140728903759005 140728903759180 140728903759180 140728903761871 0
/proc/18068/statm: 3495713 10335 3086 1 0 3482966 0
[pid=18068/tid=18069] ppid=18066 vsize=13982852 memory=7883960649037381690 CPUtime=0.19 cores=0,2,4,6
/proc/18068/task/18069/stat : 18069 (java) R 18066 18066 12810 0 -1 4202560 5307 0 0 0 18 1 0 0 20 0 15 0 154634788 14318440448 10335 33554432000 4194304 4196468 140728903757200 139881552316032 139881532175710 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20254720 140728903759005 140728903759180 140728903759180 140728903761871 0
[pid=18068/tid=18070] ppid=18066 vsize=13982852 memory=2907 CPUtime=0 cores=0,2,4,6
/proc/18068/task/18070/stat : 18070 (java) S 18066 18066 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154634789 14318440448 10335 33554432000 4194304 4196468 140728903757200 139881143532176 139881548105429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20254720 140728903759005 140728903759180 140728903759180 140728903761871 0
[pid=18068/tid=18071] ppid=18066 vsize=13982852 memory=288370811192616576 CPUtime=0 cores=0,2,4,6
/proc/18068/task/18071/stat : 18071 (java) S 18066 18066 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154634789 14318440448 10335 33554432000 4194304 4196468 140728903757200 139881142479376 139881548105429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20254720 140728903759005 140728903759180 140728903759180 140728903761871 0
[pid=18068/tid=18072] ppid=18066 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18068/task/18072/stat : 18072 (java) S 18066 18066 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154634789 14318440448 10335 33554432000 4194304 4196468 140728903757200 139881141426576 139881548105429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20254720 140728903759005 140728903759180 140728903759180 140728903761871 0
[pid=18068/tid=18073] ppid=18066 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18068/task/18073/stat : 18073 (java) S 18066 18066 12810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154634789 14318440448 10335 33554432000 4194304 4196468 140728903757200 139881140373776 139881548105429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20254720 140728903759005 140728903759180 140728903759180 140728903761871 0
[pid=18068/tid=18074] ppid=18066 vsize=13982852 memory=140435040904832 CPUtime=0 cores=0,2,4,6
/proc/18068/task/18074/stat : 18074 (java) S 18066 18066 12810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154634790 14318440448 10335 33554432000 4194304 4196468 140728903757200 139880527674224 139881548106370 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20254720 140728903759005 140728903759180 140728903759180 140728903761871 0
[pid=18068/tid=18075] ppid=18066 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18068/task/18075/stat : 18075 (java) S 18066 18066 12810 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154634791 14318440448 10335 33554432000 4194304 4196468 140728903757200 139880526620192 139881548105429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20254720 140728903759005 140728903759180 140728903759180 140728903761871 0
[pid=18068/tid=18076] ppid=18066 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18068/task/18076/stat : 18076 (java) S 18066 18066 12810 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154634791 14318440448 10335 33554432000 4194304 4196468 140728903757200 139880525567344 139881548105429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20254720 140728903759005 140728903759180 140728903759180 140728903761871 0
[pid=18068/tid=18077] ppid=18066 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18068/task/18077/stat : 18077 (java) S 18066 18066 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154634793 14318440448 10335 33554432000 4194304 4196468 140728903757200 139880524515664 139881548113819 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20254720 140728903759005 140728903759180 140728903759180 140728903761871 0
[pid=18068/tid=18078] ppid=18066 vsize=13982852 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/18068/task/18078/stat : 18078 (java) S 18066 18066 12810 0 -1 1077944384 726 0 0 0 2 0 0 0 20 0 15 0 154634793 14318440448 10335 33554432000 4194304 4196468 140728903757200 139880523463024 139881548106370 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20254720 140728903759005 140728903759180 140728903759180 140728903761871 0
[pid=18068/tid=18079] ppid=18066 vsize=13982852 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/18068/task/18079/stat : 18079 (java) S 18066 18066 12810 0 -1 1077944384 180 0 0 0 1 0 0 0 20 0 15 0 154634793 14318440448 10335 33554432000 4194304 4196468 140728903757200 139880522410224 139881548106370 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20254720 140728903759005 140728903759180 140728903759180 140728903761871 0
[pid=18068/tid=18080] ppid=18066 vsize=13982852 memory=140435040904832 CPUtime=0.07 cores=0,2,4,6
/proc/18068/task/18080/stat : 18080 (java) S 18066 18066 12810 0 -1 1077944384 834 0 0 0 7 0 0 0 20 0 15 0 154634793 14318440448 10335 33554432000 4194304 4196468 140728903757200 139880521357424 139881548106370 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20254720 140728903759005 140728903759180 140728903759180 140728903761871 0
[pid=18068/tid=18081] ppid=18066 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18068/task/18081/stat : 18081 (java) S 18066 18066 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154634794 14318440448 10335 33554432000 4194304 4196468 140728903757200 139880520304864 139881548105429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20254720 140728903759005 140728903759180 140728903759180 140728903761871 0
[pid=18068/tid=18082] ppid=18066 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18068/task/18082/stat : 18082 (java) S 18066 18066 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154634794 14318440448 10335 33554432000 4194304 4196468 140728903757200 139880519253168 139881548106370 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20254720 140728903759005 140728903759180 140728903759180 140728903761871 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 42724 KiB

[startup+0.317958 s]*
/proc/loadavg: 2.15 2.03 1.96 5/217 18082
/proc/meminfo: memFree=19805456/32770624 swapFree=67108860/67108860
[pid=18066] ppid=18063 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/18066/stat : 18066 (xcsp3-exec) S 18063 18066 12810 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154634787 9740288 346 33554432000 4194304 5098028 140736192577360 140736192575464 139907296338556 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 35880960 140736192582773 140736192582976 140736192582976 140736192585707 0
/proc/18066/statm: 2378 346 289 221 0 87 0
[pid=18068] ppid=18066 vsize=13982852 memory=48556 CPUtime=0.52 cores=0,2,4,6
/proc/18068/stat : 18068 (java) S 18066 18066 12810 0 -1 1077944320 9288 0 0 0 49 3 0 0 20 0 15 0 154634788 14318440448 12139 33554432000 4194304 4196468 140728903757200 140728903739744 139881548095223 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20254720 140728903759005 140728903759180 140728903759180 140728903761871 0
/proc/18068/statm: 3495713 12139 3122 1 0 3482966 0
[pid=18068/tid=18069] ppid=18066 vsize=13982852 memory=6791534058613427641 CPUtime=0.3 cores=0,2,4,6
/proc/18068/task/18069/stat : 18069 (java) R 18066 18066 12810 0 -1 4202560 5991 0 0 0 28 2 0 0 20 0 15 0 154634788 14318440448 12139 33554432000 4194304 4196468 140728903757200 139881552332880 139881185099034 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20254720 140728903759005 140728903759180 140728903759180 140728903761871 0
[pid=18068/tid=18070] ppid=18066 vsize=13982852 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/18068/task/18070/stat : 18070 (java) S 18066 18066 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154634789 14318440448 12139 33554432000 4194304 4196468 140728903757200 139881143532176 139881548105429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20254720 140728903759005 140728903759180 140728903759180 140728903761871 0
[pid=18068/tid=18071] ppid=18066 vsize=13982852 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/18068/task/18071/stat : 18071 (java) S 18066 18066 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154634789 14318440448 12139 33554432000 4194304 4196468 140728903757200 139881142479376 139881548105429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20254720 140728903759005 140728903759180 140728903759180 140728903761871 0
[pid=18068/tid=18072] ppid=18066 vsize=13982852 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/18068/task/18072/stat : 18072 (java) S 18066 18066 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154634789 14318440448 12139 33554432000 4194304 4196468 140728903757200 139881141426576 139881548105429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20254720 140728903759005 140728903759180 140728903759180 140728903761871 0
[pid=18068/tid=18073] ppid=18066 vsize=13982852 memory=4500088472188524148 CPUtime=0 cores=0,2,4,6
/proc/18068/task/18073/stat : 18073 (java) S 18066 18066 12810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154634789 14318440448 12139 33554432000 4194304 4196468 140728903757200 139881140373776 139881548105429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20254720 140728903759005 140728903759180 140728903759180 140728903761871 0
[pid=18068/tid=18074] ppid=18066 vsize=13982852 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/18068/task/18074/stat : 18074 (java) S 18066 18066 12810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154634790 14318440448 12139 33554432000 4194304 4196468 140728903757200 139880527674224 139881548106370 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20254720 140728903759005 140728903759180 140728903759180 140728903761871 0
[pid=18068/tid=18075] ppid=18066 vsize=13982852 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/18068/task/18075/stat : 18075 (java) S 18066 18066 12810 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154634791 14318440448 12139 33554432000 4194304 4196468 140728903757200 139880526620192 139881548105429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20254720 140728903759005 140728903759180 140728903759180 140728903761871 0
[pid=18068/tid=18076] ppid=18066 vsize=13982852 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/18068/task/18076/stat : 18076 (java) S 18066 18066 12810 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154634791 14318440448 12139 33554432000 4194304 4196468 140728903757200 139880525567344 139881548105429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20254720 140728903759005 140728903759180 140728903759180 140728903761871 0
[pid=18068/tid=18077] ppid=18066 vsize=13982852 memory=-6664436420846797971 CPUtime=0 cores=0,2,4,6
/proc/18068/task/18077/stat : 18077 (java) S 18066 18066 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154634793 14318440448 12139 33554432000 4194304 4196468 140728903757200 139880524515664 139881548113819 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20254720 140728903759005 140728903759180 140728903759180 140728903761871 0
[pid=18068/tid=18078] ppid=18066 vsize=13982852 memory=4713750055892520310 CPUtime=0.04 cores=0,2,4,6
/proc/18068/task/18078/stat : 18078 (java) R 18066 18066 12810 0 -1 1077944384 759 0 0 0 4 0 0 0 20 0 15 0 154634793 14318440448 12139 33554432000 4194304 4196468 140728903757200 139880523463024 139881548106370 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20254720 140728903759005 140728903759180 140728903759180 140728903761871 0
[pid=18068/tid=18079] ppid=18066 vsize=13982852 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/18068/task/18079/stat : 18079 (java) R 18066 18066 12810 0 -1 4202560 220 0 0 0 3 0 0 0 20 0 15 0 154634793 14318440448 12139 33554432000 4194304 4196468 140728903757200 139880522409408 139881532011329 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20254720 140728903759005 140728903759180 140728903759180 140728903761871 0
[pid=18068/tid=18080] ppid=18066 vsize=13982852 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/18068/task/18080/stat : 18080 (java) R 18066 18066 12810 0 -1 4202560 1015 0 0 0 13 0 0 0 20 0 15 0 154634793 14318440448 12139 33554432000 4194304 4196468 140728903757200 139880521355384 139881526626193 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20254720 140728903759005 140728903759180 140728903759180 140728903761871 0
[pid=18068/tid=18081] ppid=18066 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18068/task/18081/stat : 18081 (java) S 18066 18066 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154634794 14318440448 12139 33554432000 4194304 4196468 140728903757200 139880520304864 139881548105429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20254720 140728903759005 140728903759180 140728903759180 140728903761871 0
[pid=18068/tid=18082] ppid=18066 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18068/task/18082/stat : 18082 (java) S 18066 18066 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154634794 14318440448 12139 33554432000 4194304 4196468 140728903757200 139880519253168 139881548106370 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20254720 140728903759005 140728903759180 140728903759180 140728903761871 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 49940 KiB

[startup+0.700999 s]
/proc/loadavg: 2.15 2.03 1.96 4/217 18082
/proc/meminfo: memFree=19778004/32770624 swapFree=67108860/67108860
[pid=18066] ppid=18063 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/18066/stat : 18066 (xcsp3-exec) S 18063 18066 12810 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154634787 9740288 346 33554432000 4194304 5098028 140736192577360 140736192575464 139907296338556 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 35880960 140736192582773 140736192582976 140736192582976 140736192585707 0
/proc/18066/statm: 2378 346 289 221 0 87 0
[pid=18068] ppid=18066 vsize=13982928 memory=132696 CPUtime=1.73 cores=0,2,4,6
/proc/18068/stat : 18068 (java) S 18066 18066 12810 0 -1 1077944320 12411 0 0 0 168 5 0 0 20 0 15 0 154634788 14318518272 33174 33554432000 4194304 4196468 140728903757200 140728903739744 139881548095223 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20254720 140728903759005 140728903759180 140728903759180 140728903761871 0
/proc/18068/statm: 3495732 33174 3199 1 0 3482966 0
[pid=18068/tid=18069] ppid=18066 vsize=13982928 memory=33 CPUtime=0.67 cores=0,2,4,6
/proc/18068/task/18069/stat : 18069 (java) R 18066 18066 12810 0 -1 4202560 6305 0 0 0 64 3 0 0 20 0 15 0 154634788 14318518272 33174 33554432000 4194304 4196468 140728903757200 139881552331648 139881548107158 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20254720 140728903759005 140728903759180 140728903759180 140728903761871 0
[pid=18068/tid=18070] ppid=18066 vsize=13982928 memory=-7816663703405220396 CPUtime=0 cores=0,2,4,6
/proc/18068/task/18070/stat : 18070 (java) S 18066 18066 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154634789 14318518272 33174 33554432000 4194304 4196468 140728903757200 139881143532176 139881548105429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20254720 140728903759005 140728903759180 140728903759180 140728903761871 0
[pid=18068/tid=18071] ppid=18066 vsize=13982928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18068/task/18071/stat : 18071 (java) S 18066 18066 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154634789 14318518272 33174 33554432000 4194304 4196468 140728903757200 139881142479376 139881548105429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20254720 140728903759005 140728903759180 140728903759180 140728903761871 0
[pid=18068/tid=18072] ppid=18066 vsize=13982928 memory=43020 CPUtime=0 cores=0,2,4,6
/proc/18068/task/18072/stat : 18072 (java) S 18066 18066 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154634789 14318518272 33174 33554432000 4194304 4196468 140728903757200 139881141426576 139881548105429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20254720 140728903759005 140728903759180 140728903759180 140728903761871 0
[pid=18068/tid=18073] ppid=18066 vsize=13982928 memory=1292 CPUtime=0 cores=0,2,4,6
/proc/18068/task/18073/stat : 18073 (java) S 18066 18066 12810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154634789 14318518272 33174 33554432000 4194304 4196468 140728903757200 139881140373776 139881548105429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20254720 140728903759005 140728903759180 140728903759180 140728903761871 0
[pid=18068/tid=18074] ppid=18066 vsize=13982928 memory=2428 CPUtime=0 cores=0,2,4,6
/proc/18068/task/18074/stat : 18074 (java) S 18066 18066 12810 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 154634790 14318518272 33174 33554432000 4194304 4196468 140728903757200 139880527674224 139881548106370 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20254720 140728903759005 140728903759180 140728903759180 140728903761871 0
[pid=18068/tid=18075] ppid=18066 vsize=13982928 memory=1728 CPUtime=0 cores=0,2,4,6
/proc/18068/task/18075/stat : 18075 (java) S 18066 18066 12810 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154634791 14318518272 33174 33554432000 4194304 4196468 140728903757200 139880526620192 139881548105429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20254720 140728903759005 140728903759180 140728903759180 140728903761871 0
[pid=18068/tid=18076] ppid=18066 vsize=13982928 memory=792 CPUtime=0 cores=0,2,4,6
/proc/18068/task/18076/stat : 18076 (java) S 18066 18066 12810 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154634791 14318518272 33174 33554432000 4194304 4196468 140728903757200 139880525567344 139881548105429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20254720 140728903759005 140728903759180 140728903759180 140728903761871 0
[pid=18068/tid=18077] ppid=18066 vsize=13982928 memory=10096 CPUtime=0 cores=0,2,4,6
/proc/18068/task/18077/stat : 18077 (java) S 18066 18066 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154634793 14318518272 33174 33554432000 4194304 4196468 140728903757200 139880524515664 139881548113819 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20254720 140728903759005 140728903759180 140728903759180 140728903761871 0
[pid=18068/tid=18078] ppid=18066 vsize=13982928 memory=1224 CPUtime=0.38 cores=0,2,4,6
/proc/18068/task/18078/stat : 18078 (java) R 18066 18066 12810 0 -1 4202560 1885 0 0 0 38 0 0 0 20 0 15 0 154634793 14318518272 33174 33554432000 4194304 4196468 140728903757200 139880523449048 139881527339512 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20254720 140728903759005 140728903759180 140728903759180 140728903761871 0
[pid=18068/tid=18079] ppid=18066 vsize=13982928 memory=5784 CPUtime=0.38 cores=0,2,4,6
/proc/18068/task/18079/stat : 18079 (java) R 18066 18066 12810 0 -1 4202560 1192 0 0 0 38 0 0 0 20 0 15 0 154634793 14318518272 33174 33554432000 4194304 4196468 140728903757200 139880522396104 139881529638996 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20254720 140728903759005 140728903759180 140728903759180 140728903761871 0
[pid=18068/tid=18080] ppid=18066 vsize=13982928 memory=1720 CPUtime=0.27 cores=0,2,4,6
/proc/18068/task/18080/stat : 18080 (java) S 18066 18066 12810 0 -1 1077944384 1723 0 0 0 27 0 0 0 20 0 15 0 154634793 14318518272 33174 33554432000 4194304 4196468 140728903757200 139880521357424 139881548106370 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20254720 140728903759005 140728903759180 140728903759180 140728903761871 0
[pid=18068/tid=18081] ppid=18066 vsize=13982928 memory=4612 CPUtime=0 cores=0,2,4,6
/proc/18068/task/18081/stat : 18081 (java) S 18066 18066 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154634794 14318518272 33174 33554432000 4194304 4196468 140728903757200 139880520304864 139881548105429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20254720 140728903759005 140728903759180 140728903759180 140728903761871 0
[pid=18068/tid=18082] ppid=18066 vsize=13982928 memory=1008 CPUtime=0 cores=0,2,4,6
/proc/18068/task/18082/stat : 18082 (java) S 18066 18066 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154634794 14318518272 33174 33554432000 4194304 4196468 140728903757200 139880519253168 139881548106370 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20254720 140728903759005 140728903759180 140728903759180 140728903761871 0
Current children cumulated CPU time: 1.73 s
Current children cumulated vsize: 13992440 KiB
Current children cumulated memory: 134080 KiB

[startup+1.50096 s]
/proc/loadavg: 2.15 2.03 1.96 5/217 18082
/proc/meminfo: memFree=19654136/32770624 swapFree=67108860/67108860
[pid=18066] ppid=18063 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/18066/stat : 18066 (xcsp3-exec) S 18063 18066 12810 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154634787 9740288 346 33554432000 4194304 5098028 140736192577360 140736192575464 139907296338556 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 35880960 140736192582773 140736192582976 140736192582976 140736192585707 0
/proc/18066/statm: 2378 346 289 221 0 87 0

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

/proc/18068/task/18076/stat : 18076 (java) S 18066 18066 12810 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154634791 14320615424 585115 33554432000 4194304 4196468 140728903757200 139880525567360 139881548105429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20254720 140728903759005 140728903759180 140728903759180 140728903761871 0
[pid=18068/tid=18077] ppid=18066 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/18068/task/18077/stat : 18077 (java) S 18066 18066 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154634793 14320615424 585115 33554432000 4194304 4196468 140728903757200 139880524515664 139881548113819 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20254720 140728903759005 140728903759180 140728903759180 140728903761871 0
[pid=18068/tid=18078] ppid=18066 vsize=13984976 memory=2340456 CPUtime=2.21 cores=0,2,4,6
/proc/18068/task/18078/stat : 18078 (java) S 18066 18066 12810 0 -1 1077944384 5718 0 0 0 220 1 0 0 20 0 15 0 154634793 14320615424 585115 33554432000 4194304 4196468 140728903757200 139880523463024 139881548106370 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20254720 140728903759005 140728903759180 140728903759180 140728903761871 0
[pid=18068/tid=18079] ppid=18066 vsize=13984976 memory=1384 CPUtime=2.22 cores=0,2,4,6
/proc/18068/task/18079/stat : 18079 (java) S 18066 18066 12810 0 -1 1077944384 7242 0 0 0 221 1 0 0 20 0 15 0 154634793 14320615424 585115 33554432000 4194304 4196468 140728903757200 139880522410224 139881548106370 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20254720 140728903759005 140728903759180 140728903759180 140728903761871 0
[pid=18068/tid=18080] ppid=18066 vsize=13984976 memory=1780936 CPUtime=0.68 cores=0,2,4,6
/proc/18068/task/18080/stat : 18080 (java) S 18066 18066 12810 0 -1 1077944384 5990 0 0 0 67 1 0 0 20 0 15 0 154634793 14320615424 585115 33554432000 4194304 4196468 140728903757200 139880521357424 139881548106370 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 15 0 0 6293624 6294260 20254720 140728903759005 140728903759180 140728903759180 140728903761871 0
[pid=18068/tid=18081] ppid=18066 vsize=13984976 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/18068/task/18081/stat : 18081 (java) S 18066 18066 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154634794 14320615424 585115 33554432000 4194304 4196468 140728903757200 139880520304864 139881548105429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20254720 140728903759005 140728903759180 140728903759180 140728903761871 0
[pid=18068/tid=18082] ppid=18066 vsize=13984976 memory=2428 CPUtime=0.05 cores=0,2,4,6
/proc/18068/task/18082/stat : 18082 (java) S 18066 18066 12810 0 -1 1077944384 875 0 0 0 2 3 0 0 20 0 15 0 154634794 14320615424 585115 33554432000 4194304 4196468 140728903757200 139880519253168 139881548106370 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 34 0 0 6293624 6294260 20254720 140728903759005 140728903759180 140728903759180 140728903761871 0
Current children cumulated CPU time: 108.61 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 2341844 KiB

[startup+162.301 s]
/proc/loadavg: 2.02 2.07 1.99 3/218 18170
/proc/meminfo: memFree=16792372/32770624 swapFree=67108860/67108860
[pid=18066] ppid=18063 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/18066/stat : 18066 (xcsp3-exec) S 18063 18066 12810 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154634787 9740288 346 33554432000 4194304 5098028 140736192577360 140736192575464 139907296338556 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 35880960 140736192582773 140736192582976 140736192582976 140736192585707 0
/proc/18066/statm: 2378 346 289 221 0 87 0
[pid=18068] ppid=18066 vsize=13984976 memory=2973384 CPUtime=168.75 cores=0,2,4,6
/proc/18068/stat : 18068 (java) S 18066 18066 12810 0 -1 1077944320 49163 0 0 0 16797 78 0 0 20 0 15 0 154634788 14320615424 743346 33554432000 4194304 4196468 140728903757200 140728903739744 139881548095223 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20254720 140728903759005 140728903759180 140728903759180 140728903761871 0
/proc/18068/statm: 3496244 743346 3270 1 0 3483478 0
[pid=18068/tid=18069] ppid=18066 vsize=13984976 memory=1384 CPUtime=161.8 cores=0,2,4,6
/proc/18068/task/18069/stat : 18069 (java) R 18066 18066 12810 0 -1 4202560 16817 0 0 0 16145 35 0 0 20 0 15 0 154634788 14320615424 743346 33554432000 4194304 4196468 140728903757200 139881552332760 139881192545546 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20254720 140728903759005 140728903759180 140728903759180 140728903761871 0
[pid=18068/tid=18070] ppid=18066 vsize=13984976 memory=2862792 CPUtime=0.37 cores=0,2,4,6
/proc/18068/task/18070/stat : 18070 (java) S 18066 18066 12810 0 -1 1077944384 2262 0 0 0 29 8 0 0 20 0 15 0 154634789 14320615424 743346 33554432000 4194304 4196468 140728903757200 139881143532176 139881548105429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20254720 140728903759005 140728903759180 140728903759180 140728903761871 0
[pid=18068/tid=18071] ppid=18066 vsize=13984976 memory=2911944 CPUtime=0.39 cores=0,2,4,6
/proc/18068/task/18071/stat : 18071 (java) S 18066 18066 12810 0 -1 1077944384 763 0 0 0 31 8 0 0 20 0 15 0 154634789 14320615424 743346 33554432000 4194304 4196468 140728903757200 139881142479376 139881548105429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20254720 140728903759005 140728903759180 140728903759180 140728903761871 0
[pid=18068/tid=18072] ppid=18066 vsize=13984976 memory=2936520 CPUtime=0.39 cores=0,2,4,6
/proc/18068/task/18072/stat : 18072 (java) S 18066 18066 12810 0 -1 1077944384 1624 0 0 0 31 8 0 0 20 0 15 0 154634789 14320615424 743346 33554432000 4194304 4196468 140728903757200 139881141426576 139881548105429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20254720 140728903759005 140728903759180 140728903759180 140728903761871 0
[pid=18068/tid=18073] ppid=18066 vsize=13984976 memory=2961096 CPUtime=0.41 cores=0,2,4,6
/proc/18068/task/18073/stat : 18073 (java) S 18066 18066 12810 0 -1 1077944384 1039 0 0 0 33 8 0 0 20 0 15 0 154634789 14320615424 743346 33554432000 4194304 4196468 140728903757200 139881140373776 139881548105429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20254720 140728903759005 140728903759180 140728903759180 140728903761871 0
[pid=18068/tid=18074] ppid=18066 vsize=13984976 memory=41 CPUtime=0.01 cores=0,2,4,6
/proc/18068/task/18074/stat : 18074 (java) S 18066 18066 12810 0 -1 1077944384 2303 0 0 0 1 0 0 0 20 0 15 0 154634790 14320615424 743346 33554432000 4194304 4196468 140728903757200 139880527674224 139881548106370 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20254720 140728903759005 140728903759180 140728903759180 140728903761871 0
[pid=18068/tid=18075] ppid=18066 vsize=13984976 memory=280869789608152 CPUtime=0 cores=0,2,4,6
/proc/18068/task/18075/stat : 18075 (java) S 18066 18066 12810 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 154634791 14320615424 743346 33554432000 4194304 4196468 140728903757200 139880526620256 139881548105429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20254720 140728903759005 140728903759180 140728903759180 140728903761871 0
[pid=18068/tid=18076] ppid=18066 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/18068/task/18076/stat : 18076 (java) S 18066 18066 12810 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154634791 14320615424 743346 33554432000 4194304 4196468 140728903757200 139880525567360 139881548105429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20254720 140728903759005 140728903759180 140728903759180 140728903761871 0
[pid=18068/tid=18077] ppid=18066 vsize=13984976 memory=4144 CPUtime=0 cores=0,2,4,6
/proc/18068/task/18077/stat : 18077 (java) S 18066 18066 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154634793 14320615424 743346 33554432000 4194304 4196468 140728903757200 139880524515664 139881548113819 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20254720 140728903759005 140728903759180 140728903759180 140728903761871 0
[pid=18068/tid=18078] ppid=18066 vsize=13984976 memory=1384 CPUtime=2.26 cores=0,2,4,6
/proc/18068/task/18078/stat : 18078 (java) S 18066 18066 12810 0 -1 1077944384 7712 0 0 0 225 1 0 0 20 0 15 0 154634793 14320615424 743346 33554432000 4194304 4196468 140728903757200 139880523463024 139881548106370 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20254720 140728903759005 140728903759180 140728903759180 140728903761871 0
[pid=18068/tid=18079] ppid=18066 vsize=13984976 memory=2784968 CPUtime=2.25 cores=0,2,4,6
/proc/18068/task/18079/stat : 18079 (java) S 18066 18066 12810 0 -1 1077944384 8468 0 0 0 224 1 0 0 20 0 15 0 154634793 14320615424 743346 33554432000 4194304 4196468 140728903757200 139880522410224 139881548106370 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20254720 140728903759005 140728903759180 140728903759180 140728903761871 0
[pid=18068/tid=18080] ppid=18066 vsize=13984976 memory=-3622645143214314312 CPUtime=0.69 cores=0,2,4,6
/proc/18068/task/18080/stat : 18080 (java) S 18066 18066 12810 0 -1 1077944384 5990 0 0 0 67 2 0 0 20 0 15 0 154634793 14320615424 743346 33554432000 4194304 4196468 140728903757200 139880521357424 139881548106370 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 15 0 0 6293624 6294260 20254720 140728903759005 140728903759180 140728903759180 140728903761871 0
[pid=18068/tid=18081] ppid=18066 vsize=13984976 memory=2340460 CPUtime=0 cores=0,2,4,6
/proc/18068/task/18081/stat : 18081 (java) S 18066 18066 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154634794 14320615424 743346 33554432000 4194304 4196468 140728903757200 139880520304864 139881548105429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20254720 140728903759005 140728903759180 140728903759180 140728903761871 0
[pid=18068/tid=18082] ppid=18066 vsize=13984976 memory=1384 CPUtime=0.09 cores=0,2,4,6
/proc/18068/task/18082/stat : 18082 (java) S 18066 18066 12810 0 -1 1077944384 883 0 0 0 4 5 0 0 20 0 15 0 154634794 14320615424 743346 33554432000 4194304 4196468 140728903757200 139880519253168 139881548106370 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 34 0 0 6293624 6294260 20254720 140728903759005 140728903759180 140728903759180 140728903761871 0
Current children cumulated CPU time: 168.75 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 2974768 KiB

[startup+222.301 s]
/proc/loadavg: 1.96 2.04 1.99 3/218 18171
/proc/meminfo: memFree=16178940/32770624 swapFree=67108860/67108860
[pid=18066] ppid=18063 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/18066/stat : 18066 (xcsp3-exec) S 18063 18066 12810 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154634787 9740288 346 33554432000 4194304 5098028 140736192577360 140736192575464 139907296338556 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 35880960 140736192582773 140736192582976 140736192582976 140736192585707 0
/proc/18066/statm: 2378 346 289 221 0 87 0
[pid=18068] ppid=18066 vsize=13984976 memory=3567560 CPUtime=228.81 cores=0,2,4,6
/proc/18068/stat : 18068 (java) S 18066 18066 12810 0 -1 1077944320 51671 0 0 0 22794 87 0 0 20 0 15 0 154634788 14320615424 891890 33554432000 4194304 4196468 140728903757200 140728903739744 139881548095223 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20254720 140728903759005 140728903759180 140728903759180 140728903761871 0
/proc/18068/statm: 3496244 891890 3270 1 0 3483478 0
[pid=18068/tid=18069] ppid=18066 vsize=13984976 memory=1384 CPUtime=221.81 cores=0,2,4,6
/proc/18068/task/18069/stat : 18069 (java) R 18066 18066 12810 0 -1 4202560 18279 0 0 0 22138 43 0 0 20 0 15 0 154634788 14320615424 891890 33554432000 4194304 4196468 140728903757200 139881552332600 139881192545521 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20254720 140728903759005 140728903759180 140728903759180 140728903761871 0
[pid=18068/tid=18070] ppid=18066 vsize=13984976 memory=3567560 CPUtime=0.37 cores=0,2,4,6
/proc/18068/task/18070/stat : 18070 (java) S 18066 18066 12810 0 -1 1077944384 2263 0 0 0 29 8 0 0 20 0 15 0 154634789 14320615424 891890 33554432000 4194304 4196468 140728903757200 139881143532176 139881548105429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20254720 140728903759005 140728903759180 140728903759180 140728903761871 0
[pid=18068/tid=18071] ppid=18066 vsize=13984976 memory=3567560 CPUtime=0.39 cores=0,2,4,6
/proc/18068/task/18071/stat : 18071 (java) S 18066 18066 12810 0 -1 1077944384 1418 0 0 0 31 8 0 0 20 0 15 0 154634789 14320615424 891890 33554432000 4194304 4196468 140728903757200 139881142479376 139881548105429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20254720 140728903759005 140728903759180 140728903759180 140728903761871 0
[pid=18068/tid=18072] ppid=18066 vsize=13984976 memory=3567560 CPUtime=0.39 cores=0,2,4,6
/proc/18068/task/18072/stat : 18072 (java) S 18066 18066 12810 0 -1 1077944384 1661 0 0 0 31 8 0 0 20 0 15 0 154634789 14320615424 891890 33554432000 4194304 4196468 140728903757200 139881141426576 139881548105429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20254720 140728903759005 140728903759180 140728903759180 140728903761871 0
[pid=18068/tid=18073] ppid=18066 vsize=13984976 memory=3567560 CPUtime=0.41 cores=0,2,4,6
/proc/18068/task/18073/stat : 18073 (java) S 18066 18066 12810 0 -1 1077944384 1072 0 0 0 33 8 0 0 20 0 15 0 154634789 14320615424 891890 33554432000 4194304 4196468 140728903757200 139881140373776 139881548105429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20254720 140728903759005 140728903759180 140728903759180 140728903761871 0
[pid=18068/tid=18074] ppid=18066 vsize=13984976 memory=1384 CPUtime=0.01 cores=0,2,4,6
/proc/18068/task/18074/stat : 18074 (java) S 18066 18066 12810 0 -1 1077944384 2434 0 0 0 1 0 0 0 20 0 15 0 154634790 14320615424 891890 33554432000 4194304 4196468 140728903757200 139880527674224 139881548106370 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20254720 140728903759005 140728903759180 140728903759180 140728903761871 0
[pid=18068/tid=18075] ppid=18066 vsize=13984976 memory=3567560 CPUtime=0 cores=0,2,4,6
/proc/18068/task/18075/stat : 18075 (java) S 18066 18066 12810 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 154634791 14320615424 891890 33554432000 4194304 4196468 140728903757200 139880526620256 139881548105429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20254720 140728903759005 140728903759180 140728903759180 140728903761871 0
[pid=18068/tid=18076] ppid=18066 vsize=13984976 memory=3567560 CPUtime=0 cores=0,2,4,6
/proc/18068/task/18076/stat : 18076 (java) S 18066 18066 12810 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154634791 14320615424 891890 33554432000 4194304 4196468 140728903757200 139880525567360 139881548105429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20254720 140728903759005 140728903759180 140728903759180 140728903761871 0
[pid=18068/tid=18077] ppid=18066 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/18068/task/18077/stat : 18077 (java) S 18066 18066 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154634793 14320615424 891890 33554432000 4194304 4196468 140728903757200 139880524515664 139881548113819 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20254720 140728903759005 140728903759180 140728903759180 140728903761871 0
[pid=18068/tid=18078] ppid=18066 vsize=13984976 memory=1384 CPUtime=2.26 cores=0,2,4,6
/proc/18068/task/18078/stat : 18078 (java) S 18066 18066 12810 0 -1 1077944384 7716 0 0 0 225 1 0 0 20 0 15 0 154634793 14320615424 891890 33554432000 4194304 4196468 140728903757200 139880523463024 139881548106370 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20254720 140728903759005 140728903759180 140728903759180 140728903761871 0
[pid=18068/tid=18079] ppid=18066 vsize=13984976 memory=3567560 CPUtime=2.25 cores=0,2,4,6
/proc/18068/task/18079/stat : 18079 (java) S 18066 18066 12810 0 -1 1077944384 8474 0 0 0 224 1 0 0 20 0 15 0 154634793 14320615424 891890 33554432000 4194304 4196468 140728903757200 139880522410224 139881548106370 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20254720 140728903759005 140728903759180 140728903759180 140728903761871 0
[pid=18068/tid=18080] ppid=18066 vsize=13984976 memory=1944 CPUtime=0.69 cores=0,2,4,6
/proc/18068/task/18080/stat : 18080 (java) S 18066 18066 12810 0 -1 1077944384 6134 0 0 0 67 2 0 0 20 0 15 0 154634793 14320615424 891890 33554432000 4194304 4196468 140728903757200 139880521357424 139881548106370 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 15 0 0 6293624 6294260 20254720 140728903759005 140728903759180 140728903759180 140728903761871 0
[pid=18068/tid=18081] ppid=18066 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/18068/task/18081/stat : 18081 (java) S 18066 18066 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154634794 14320615424 891890 33554432000 4194304 4196468 140728903757200 139880520304864 139881548105429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20254720 140728903759005 140728903759180 140728903759180 140728903761871 0
[pid=18068/tid=18082] ppid=18066 vsize=13984976 memory=3567560 CPUtime=0.13 cores=0,2,4,6
/proc/18068/task/18082/stat : 18082 (java) S 18066 18066 12810 0 -1 1077944384 918 0 0 0 6 7 0 0 20 0 15 0 154634794 14320615424 891890 33554432000 4194304 4196468 140728903757200 139880519253168 139881548106370 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 34 0 0 6293624 6294260 20254720 140728903759005 140728903759180 140728903759180 140728903761871 0
Current children cumulated CPU time: 228.81 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 3568944 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+240.001 s]*
/proc/loadavg: 1.97 2.04 1.99 3/218 18171
/proc/meminfo: memFree=16035572/32770624 swapFree=67108860/67108860
[pid=18066] ppid=18063 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/18066/stat : 18066 (xcsp3-exec) S 18063 18066 12810 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154634787 9740288 346 33554432000 4194304 5098028 140736192577360 140736192575464 139907296338556 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 35880960 140736192582773 140736192582976 140736192582976 140736192585707 0
/proc/18066/statm: 2378 346 289 221 0 87 0
[pid=18068] ppid=18066 vsize=13984976 memory=3571864 CPUtime=246.54 cores=0,2,4,6
/proc/18068/stat : 18068 (java) S 18066 18066 12810 0 -1 1077944320 54092 0 0 0 24566 88 0 0 20 0 15 0 154634788 14320615424 892966 33554432000 4194304 4196468 140728903757200 140728903739744 139881548095223 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20254720 140728903759005 140728903759180 140728903759180 140728903761871 0
/proc/18068/statm: 3496244 892966 3270 1 0 3483478 0
[pid=18068/tid=18069] ppid=18066 vsize=13984976 memory=6791534058613427641 CPUtime=239.51 cores=0,2,4,6
/proc/18068/task/18069/stat : 18069 (java) R 18066 18066 12810 0 -1 4202560 19849 0 0 0 23908 43 0 0 20 0 15 0 154634788 14320615424 892966 33554432000 4194304 4196468 140728903757200 139881552335104 139881192535372 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20254720 140728903759005 140728903759180 140728903759180 140728903761871 0
[pid=18068/tid=18070] ppid=18066 vsize=13984976 memory=4126316290023845779 CPUtime=0.38 cores=0,2,4,6
/proc/18068/task/18070/stat : 18070 (java) S 18066 18066 12810 0 -1 1077944384 2289 0 0 0 30 8 0 0 20 0 15 0 154634789 14320615424 892966 33554432000 4194304 4196468 140728903757200 139881143532176 139881548105429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20254720 140728903759005 140728903759180 140728903759180 140728903761871 0
[pid=18068/tid=18071] ppid=18066 vsize=13984976 memory=1424 CPUtime=0.4 cores=0,2,4,6
/proc/18068/task/18071/stat : 18071 (java) S 18066 18066 12810 0 -1 1077944384 1495 0 0 0 32 8 0 0 20 0 15 0 154634789 14320615424 892966 33554432000 4194304 4196468 140728903757200 139881142479376 139881548105429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20254720 140728903759005 140728903759180 140728903759180 140728903761871 0
[pid=18068/tid=18072] ppid=18066 vsize=13984976 memory=8600 CPUtime=0.39 cores=0,2,4,6
/proc/18068/task/18072/stat : 18072 (java) S 18066 18066 12810 0 -1 1077944384 1779 0 0 0 31 8 0 0 20 0 15 0 154634789 14320615424 892966 33554432000 4194304 4196468 140728903757200 139881141426576 139881548105429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20254720 140728903759005 140728903759180 140728903759180 140728903761871 0
[pid=18068/tid=18073] ppid=18066 vsize=13984976 memory=15876 CPUtime=0.41 cores=0,2,4,6
/proc/18068/task/18073/stat : 18073 (java) S 18066 18066 12810 0 -1 1077944384 1533 0 0 0 33 8 0 0 20 0 15 0 154634789 14320615424 892966 33554432000 4194304 4196468 140728903757200 139881140373776 139881548105429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20254720 140728903759005 140728903759180 140728903759180 140728903761871 0
[pid=18068/tid=18074] ppid=18066 vsize=13984976 memory=4052 CPUtime=0.01 cores=0,2,4,6
/proc/18068/task/18074/stat : 18074 (java) S 18066 18066 12810 0 -1 1077944384 2604 0 0 0 1 0 0 0 20 0 15 0 154634790 14320615424 892966 33554432000 4194304 4196468 140728903757200 139880527674224 139881548106370 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20254720 140728903759005 140728903759180 140728903759180 140728903761871 0
[pid=18068/tid=18075] ppid=18066 vsize=13984976 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/18068/task/18075/stat : 18075 (java) S 18066 18066 12810 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 154634791 14320615424 892966 33554432000 4194304 4196468 140728903757200 139880526620256 139881548105429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20254720 140728903759005 140728903759180 140728903759180 140728903761871 0
[pid=18068/tid=18076] ppid=18066 vsize=13984976 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/18068/task/18076/stat : 18076 (java) S 18066 18066 12810 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154634791 14320615424 892966 33554432000 4194304 4196468 140728903757200 139880525567360 139881548105429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20254720 140728903759005 140728903759180 140728903759180 140728903761871 0
[pid=18068/tid=18077] ppid=18066 vsize=13984976 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/18068/task/18077/stat : 18077 (java) S 18066 18066 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154634793 14320615424 892966 33554432000 4194304 4196468 140728903757200 139880524515664 139881548113819 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20254720 140728903759005 140728903759180 140728903759180 140728903761871 0
[pid=18068/tid=18078] ppid=18066 vsize=13984976 memory=6944656592455359580 CPUtime=2.26 cores=0,2,4,6
/proc/18068/task/18078/stat : 18078 (java) S 18066 18066 12810 0 -1 1077944384 7716 0 0 0 225 1 0 0 20 0 15 0 154634793 14320615424 892966 33554432000 4194304 4196468 140728903757200 139880523463024 139881548106370 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20254720 140728903759005 140728903759180 140728903759180 140728903761871 0
[pid=18068/tid=18079] ppid=18066 vsize=13984976 memory=6943526294502006880 CPUtime=2.25 cores=0,2,4,6
/proc/18068/task/18079/stat : 18079 (java) S 18066 18066 12810 0 -1 1077944384 8474 0 0 0 224 1 0 0 20 0 15 0 154634793 14320615424 892966 33554432000 4194304 4196468 140728903757200 139880522410224 139881548106370 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20254720 140728903759005 140728903759180 140728903759180 140728903761871 0
[pid=18068/tid=18080] ppid=18066 vsize=13984976 memory=6944656592455360604 CPUtime=0.69 cores=0,2,4,6
/proc/18068/task/18080/stat : 18080 (java) S 18066 18066 12810 0 -1 1077944384 6134 0 0 0 67 2 0 0 20 0 15 0 154634793 14320615424 892966 33554432000 4194304 4196468 140728903757200 139880521357424 139881548106370 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 15 0 0 6293624 6294260 20254720 140728903759005 140728903759180 140728903759180 140728903761871 0
[pid=18068/tid=18081] ppid=18066 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18068/task/18081/stat : 18081 (java) S 18066 18066 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154634794 14320615424 892966 33554432000 4194304 4196468 140728903757200 139880520304864 139881548105429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20254720 140728903759005 140728903759180 140728903759180 140728903761871 0
[pid=18068/tid=18082] ppid=18066 vsize=13984976 memory=24840 CPUtime=0.13 cores=0,2,4,6
/proc/18068/task/18082/stat : 18082 (java) S 18066 18066 12810 0 -1 1077944384 918 0 0 0 6 7 0 0 20 0 15 0 154634794 14320615424 892966 33554432000 4194304 4196468 140728903757200 139880519253168 139881548106370 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 34 0 0 6293624 6294260 20254720 140728903759005 140728903759180 140728903759180 140728903761871 0
Current children cumulated CPU time: 246.54 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 3573248 KiB

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

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

[startup+240.034 s]
# the end of solver process 18068 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=245.673 s, system=0.907462 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

Child status: 143
Real time (s): 240.034
CPU time (s): 246.58
CPU user time (s): 245.673
CPU system time (s): 0.907462
CPU usage (%): 102.727
Max. virtual memory (cumulated for all children) (KiB): 13994488
Max. memory (cumulated for all children) (KiB): 3573248

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 245.673
system time used= 0.907462
maximum resident set size= 3572448
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 55227
page faults= 0
swaps= 0
block input operations= 0
block output operations= 376
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7757
involuntary context switches= 197


# summary of solver processes directly reported to runsolver:
#   pid: 18066,18068
#   total CPU time (s): 246.58
#   total CPU user time (s): 245.673
#   total CPU system time (s): 0.907462

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.56468 second user time and 2.39373 second system time

The end

Launcher Data 

Begin job on node151 at 2017-08-20 09:38:00
IDJOB=4284639
IDBENCH=139754
IDSOLVER=2680
FILE ID=node151/4284639-1503215541
RUNJOBID= node151-1503208976-12841
PBS_JOBID= 20630871
Free space on /tmp= 61672 MiB

SOLVER NAME= choco-solver 5a
BENCH NAME= XCSP17/ChessboardColoration/ChessboardColoration-int-s2/ChessboardColoration-int-17-19.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-4284639-1503215541/watcher-4284639-1503215541 -o /tmp/evaluation-result-4284639-1503215541/solver-4284639-1503215541 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node151-1503208976-12841 --watchdog 300  ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 216709294 HOME/instance-4284639-1503215541.xml

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

MD5SUM BENCH= 6bb486b702ae8a5e43f429c3e7fd2e95
RANDOM SEED=216709294

node151.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.95
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.95
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.95
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.95
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:        19841596 kB
MemAvailable:   27670152 kB
Buffers:          329140 kB
Cached:          7787712 kB
SwapCached:            0 kB
Active:          6226836 kB
Inactive:        6239572 kB
Active(anon):    4341032 kB
Inactive(anon):    44324 kB
Active(file):    1885804 kB
Inactive(file):  6195248 kB
Unevictable:        7580 kB
Mlocked:            7580 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              8796 kB
Writeback:             0 kB
AnonPages:       4356600 kB
Mapped:            64348 kB
Shmem:             33416 kB
Slab:             154344 kB
SReclaimable:     126676 kB
SUnreclaim:        27668 kB
KernelStack:        3504 kB
PageTables:        13728 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    5130660 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   4222976 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      114048 kB
DirectMap2M:    33431552 kB

Free space on /tmp at the end= 61656 MiB
End job on node151 at 2017-08-20 09:42:01