Trace number 4283536

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)SAT (TO)55 2520.02 2455.9099

General information on the benchmark

NameStillLife/StillLife-m1-s1/
StillLife-09-12.xml
MD5SUMa81896bc222770b6aa27c18215a8955e
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark58
Best CPU time to get the best result obtained on this benchmark2400.02
Satisfiable
(Un)Satisfiability was proved
Number of variables216
Number of constraints250
Number of domains2
Minimum domain size2
Maximum domain size9
Distribution of domain sizes[{"size":2,"count":108},{"size":9,"count":108}]
Minimum variable degree2
Maximum variable degree10
Distribution of variable degrees[{"degree":2,"count":108},{"degree":7,"count":4},{"degree":8,"count":34},{"degree":10,"count":70}]
Minimum constraint arity2
Maximum constraint arity9
Distribution of constraint arities[{"arity":2,"count":108},{"arity":3,"count":34},{"arity":4,"count":4},{"arity":6,"count":34},{"arity":9,"count":70}]
Number of extensional constraints142
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":142},{"type":"sum","count":108}]
Optimization problemYES
Type of objectivemax SUM

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.11	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4283536-1503182901.xml"  -tl '2520s' -p 1 -x 3
0.06/0.30	c [HOME/instance-4283536-1503182901.xml, -tl, 2520s, -p, 1, -x, 3]
0.23/0.36	c simple solver
0.40/0.43	c parse instance...
1.05/0.71	c solve instance...
2.08/1.09	o 49 
2.38/1.14	o 50 
17.83/10.76	o 51 
18.04/10.92	o 52 
151.87/141.36	o 53 
171.76/160.73	o 54 
1549.15/1506.40	o 55 
2520.00/2455.90	s SATISFIABLE
2520.00/2455.90	v <instantiation>
2520.00/2455.90	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[0][9] x[0][10] x[0][11] 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[1][9] x[1][10] x[1][11] 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[2][9] x[2][10] x[2][11] 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[3][9] x[3][10] x[3][11] 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[4][9] x[4][10] x[4][11] 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[5][9] x[5][10] x[5][11] 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] x[6][9] x[6][10] x[6][11] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] s[0][0] s[0][1] s[0][2] s[0][3] s[0][4] s[0][5] s[0][6] s[0][7] s[0][8] s[0][9] s[0][10] s[0][11] s[1][0] s[1][1] s[1][2] s[1][3] s[1][4] s[1][5] s[1][6] s[1][7] s[1][8] s[1][9] s[1][10] s[1][11] s[2][0] s[2][1] s[2][2] s[2][3] s[2][4] s[2][5] s[2][6] s[2][7] s[2][8] s[2][9] s[2][10] s[2][11] s[3][0] s[3][1] s[3][2] s[3][3] s[3][4] s[3][5] s[3][6] s[3][7] s[3][8] s[3][9] s[3][10] s[3][11] s[4][0] s[4][1] s[4][2] s[4][3] s[4][4] s[4][5] s[4][6] s[4][7] s[4][8] s[4][9] s[4][10] s[4][11] s[5][0] s[5][1] s[5][2] s[5][3] s[5][4] s[5][5] s[5][6] s[5][7] s[5][8] s[5][9] s[5][10] s[5][11] s[6][0] s[6][1] s[6][2] s[6][3] s[6][4] s[6][5] s[6][6] s[6][7] s[6][8] s[6][9] s[6][10] s[6][11] s[7][0] s[7][1] s[7][2] s[7][3] s[7][4] s[7][5] s[7][6] s[7][7] s[7][8] s[7][9] s[7][10] s[7][11] s[8][0] s[8][1] s[8][2] s[8][3] s[8][4] s[8][5] s[8][6] s[8][7] s[8][8] s[8][9] s[8][10] s[8][11] </list>
2520.00/2455.90	v 	<values>1 1 0 0 1 1 0 1 1 0 1 1 1 0 1 0 0 1 1 0 1 0 1 0 0 0 1 1 0 0 0 0 1 0 1 0 1 0 0 0 1 1 1 1 1 0 1 1 1 1 1 0 0 0 0 0 0 0 1 0 0 0 0 1 1 1 1 1 1 0 1 0 1 1 0 1 0 0 0 0 1 0 1 1 1 0 0 1 0 1 1 0 1 0 0 1 0 0 1 1 0 1 1 0 1 1 0 0 2 3 2 2 2 3 4 3 2 4 2 2 2 5 3 4 4 3 3 5 3 6 3 4 2 4 2 3 4 5 5 6 3 6 3 4 2 5 4 4 2 2 2 3 2 5 3 3 2 3 2 4 5 6 6 6 4 5 3 4 4 5 5 3 3 2 2 3 2 5 3 4 2 2 4 3 6 5 5 6 3 5 3 3 2 4 5 3 5 3 3 5 3 5 4 2 1 2 2 2 4 3 3 4 2 2 2 1 </values>
2520.00/2455.90	v </instantiation>
2520.00/2455.90	c Unexpected resolution interruption!

Verifier Data 

OK	55

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4283536-1503182901/watcher-4283536-1503182901 -o /tmp/evaluation-result-4283536-1503182901/solver-4283536-1503182901 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1503172173-21712 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 103749853 HOME/instance-4283536-1503182901.xml 

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

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

solver pid=23150, runsolver pid=23147

[startup+0.100151 s]*
/proc/loadavg: 1.72 1.57 1.58 2/196 23151
/proc/meminfo: memFree=30898332/32770624 swapFree=67105588/67108860
[pid=23150] ppid=23147 vsize=33976 memory=456 CPUtime=0 cores=0,2,4,6
/proc/23150/stat : 23150 (runsolver) D 23147 23150 8557 0 -1 4202560 111 0 0 0 0 0 0 0 20 0 1 0 120485150 34791424 114 18446744073709551615 4194304 4346622 140734187614128 140734187610760 140418519028439 0 0 1 24578 18446744071580418449 0 0 17 2 0 0 0 0 0 6446216 6449568 17412096 140734187622455 140734187622948 140734187622948 140734187626442 0
/proc/23150/statm: 8494 114 52 38 0 4205 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 33976 KiB
Current children cumulated memory: 456 KiB

[startup+0.209113 s]*
/proc/loadavg: 1.72 1.57 1.58 2/210 23165
/proc/meminfo: memFree=30887116/32770624 swapFree=67105588/67108860
[pid=23150] ppid=23147 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/23150/stat : 23150 (xcsp3-exec) S 23147 23150 8557 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 120485150 9740288 345 18446744073709551615 4194304 5098028 140734184501072 140734184499176 140574410994300 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 11 0 0 7196144 7232144 18210816 140734184505721 140734184505925 140734184505925 140734184509419 0
/proc/23150/statm: 2378 345 289 221 0 87 0
[pid=23152] ppid=23150 vsize=13907304 memory=21996 CPUtime=0.06 cores=0,2,4,6
/proc/23152/stat : 23152 (java) S 23150 23150 8557 0 -1 1077944320 4884 0 0 0 5 1 0 0 20 0 14 0 120485161 14241079296 5499 18446744073709551615 4194304 4196468 140730208305424 140730208287968 140303952203511 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30949376 140730208309681 140730208309857 140730208309857 140730208313295 0
/proc/23152/statm: 3476826 5499 2572 1 0 3466323 0
[pid=23152/tid=23153] ppid=23150 vsize=13907304 memory=7311146985107750967 CPUtime=0.04 cores=0,2,4,6
/proc/23152/task/23153/stat : 23153 (java) D 23150 23150 8557 0 -1 4202560 3058 0 0 0 4 0 0 0 20 0 14 0 120485162 14241079296 5499 18446744073709551615 4194304 4196468 140730208305424 140303956440992 140303952225533 0 4 1 16800974 18446744071580418449 0 0 -1 0 0 0 0 0 0 6293624 6294260 30949376 140730208309681 140730208309857 140730208309857 140730208313295 0
[pid=23152/tid=23154] ppid=23150 vsize=13907304 memory=8893 CPUtime=0 cores=0,2,4,6
/proc/23152/task/23154/stat : 23154 (java) S 23150 23150 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 120485162 14241079296 5499 18446744073709551615 4194304 4196468 140730208305424 140303909170320 140303952213717 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30949376 140730208309681 140730208309857 140730208309857 140730208313295 0
[pid=23152/tid=23155] ppid=23150 vsize=13907304 memory=288370794673690240 CPUtime=0 cores=0,2,4,6
/proc/23152/task/23155/stat : 23155 (java) S 23150 23150 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 120485162 14241079296 5499 18446744073709551615 4194304 4196468 140730208305424 140303908117520 140303952213717 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30949376 140730208309681 140730208309857 140730208309857 140730208313295 0
[pid=23152/tid=23156] ppid=23150 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23152/task/23156/stat : 23156 (java) S 23150 23150 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 120485162 14241079296 5499 18446744073709551615 4194304 4196468 140730208305424 140303907064720 140303952213717 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30949376 140730208309681 140730208309857 140730208309857 140730208313295 0
[pid=23152/tid=23157] ppid=23150 vsize=13907304 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23152/task/23157/stat : 23157 (java) S 23150 23150 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 120485162 14241079296 5499 18446744073709551615 4194304 4196468 140730208305424 140303906011920 140303952213717 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30949376 140730208309681 140730208309857 140730208309857 140730208313295 0
[pid=23152/tid=23158] ppid=23150 vsize=13907304 memory=140418521978496 CPUtime=0 cores=0,2,4,6
/proc/23152/task/23158/stat : 23158 (java) S 23150 23150 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 120485164 14241079296 5499 18446744073709551615 4194304 4196468 140730208305424 140303497976176 140303952214658 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30949376 140730208309681 140730208309857 140730208309857 140730208313295 0
[pid=23152/tid=23159] ppid=23150 vsize=13907304 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23152/task/23159/stat : 23159 (java) S 23150 23150 8557 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 14 0 120485164 14241079296 5499 18446744073709551615 4194304 4196468 140730208305424 140303496922144 140303952213717 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30949376 140730208309681 140730208309857 140730208309857 140730208313295 0
[pid=23152/tid=23160] ppid=23150 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23152/task/23160/stat : 23160 (java) S 23150 23150 8557 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 120485164 14241079296 5499 18446744073709551615 4194304 4196468 140730208305424 140303428215664 140303952213717 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30949376 140730208309681 140730208309857 140730208309857 140730208313295 0
[pid=23152/tid=23161] ppid=23150 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23152/task/23161/stat : 23161 (java) S 23150 23150 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 120485167 14241079296 5499 18446744073709551615 4194304 4196468 140730208305424 140303427163984 140303952222107 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30949376 140730208309681 140730208309857 140730208309857 140730208313295 0
[pid=23152/tid=23162] ppid=23150 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23152/task/23162/stat : 23162 (java) S 23150 23150 8557 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 14 0 120485167 14241079296 5499 18446744073709551615 4194304 4196468 140730208305424 140303426112368 140303952214658 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30949376 140730208309681 140730208309857 140730208309857 140730208313295 0
[pid=23152/tid=23163] ppid=23150 vsize=13907304 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23152/task/23163/stat : 23163 (java) S 23150 23150 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 120485167 14241079296 5499 18446744073709551615 4194304 4196468 140730208305424 140303425059568 140303952214658 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30949376 140730208309681 140730208309857 140730208309857 140730208313295 0
[pid=23152/tid=23164] ppid=23150 vsize=13907304 memory=140418521978496 CPUtime=0 cores=0,2,4,6
/proc/23152/task/23164/stat : 23164 (java) S 23150 23150 8557 0 -1 1077944384 214 0 0 0 0 0 0 0 20 0 14 0 120485167 14241079296 5499 18446744073709551615 4194304 4196468 140730208305424 140303424006768 140303952214658 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30949376 140730208309681 140730208309857 140730208309857 140730208313295 0
[pid=23152/tid=23165] ppid=23150 vsize=13907304 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23152/task/23165/stat : 23165 (java) S 23150 23150 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 120485167 14241079296 5499 18446744073709551615 4194304 4196468 140730208305424 140303422954208 140303952213717 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30949376 140730208309681 140730208309857 140730208309857 140730208313295 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 13916816 KiB
Current children cumulated memory: 23376 KiB

[startup+0.310081 s]*
/proc/loadavg: 1.72 1.57 1.58 4/211 23166
/proc/meminfo: memFree=30879384/32770624 swapFree=67105588/67108860
[pid=23150] ppid=23147 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/23150/stat : 23150 (xcsp3-exec) S 23147 23150 8557 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 120485150 9740288 345 18446744073709551615 4194304 5098028 140734184501072 140734184499176 140574410994300 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 11 0 0 7196144 7232144 18210816 140734184505721 140734184505925 140734184505925 140734184509419 0
/proc/23150/statm: 2378 345 289 221 0 87 0
[pid=23152] ppid=23150 vsize=13975376 memory=34836 CPUtime=0.23 cores=0,2,4,6
/proc/23152/stat : 23152 (java) S 23150 23150 8557 0 -1 1077944320 8607 0 0 0 21 2 0 0 20 0 15 0 120485161 14310785024 8709 18446744073709551615 4194304 4196468 140730208305424 140730208287968 140303952203511 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30949376 140730208309681 140730208309857 140730208309857 140730208313295 0
/proc/23152/statm: 3493844 8709 2957 1 0 3483220 0
[pid=23152/tid=23153] ppid=23150 vsize=13975376 memory=-8774313645642428999 CPUtime=0.14 cores=0,2,4,6
/proc/23152/task/23153/stat : 23153 (java) R 23150 23150 8557 0 -1 4202560 5928 0 0 0 12 2 0 0 20 0 15 0 120485162 14310785024 8709 18446744073709551615 4194304 4196468 140730208305424 140303956425888 140303944883229 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 30949376 140730208309681 140730208309857 140730208309857 140730208313295 0
[pid=23152/tid=23154] ppid=23150 vsize=13975376 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23152/task/23154/stat : 23154 (java) S 23150 23150 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120485162 14310785024 8709 18446744073709551615 4194304 4196468 140730208305424 140303909170320 140303952213717 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30949376 140730208309681 140730208309857 140730208309857 140730208313295 0
[pid=23152/tid=23155] ppid=23150 vsize=13975376 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23152/task/23155/stat : 23155 (java) S 23150 23150 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120485162 14310785024 8709 18446744073709551615 4194304 4196468 140730208305424 140303908117520 140303952213717 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30949376 140730208309681 140730208309857 140730208309857 140730208313295 0
[pid=23152/tid=23156] ppid=23150 vsize=13975376 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23152/task/23156/stat : 23156 (java) S 23150 23150 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120485162 14310785024 8709 18446744073709551615 4194304 4196468 140730208305424 140303907064720 140303952213717 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30949376 140730208309681 140730208309857 140730208309857 140730208313295 0
[pid=23152/tid=23157] ppid=23150 vsize=13975376 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23152/task/23157/stat : 23157 (java) S 23150 23150 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 120485162 14310785024 8709 18446744073709551615 4194304 4196468 140730208305424 140303906011920 140303952213717 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30949376 140730208309681 140730208309857 140730208309857 140730208313295 0
[pid=23152/tid=23158] ppid=23150 vsize=13975376 memory=140418521978496 CPUtime=0 cores=0,2,4,6
/proc/23152/task/23158/stat : 23158 (java) S 23150 23150 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 120485164 14310785024 8709 18446744073709551615 4194304 4196468 140730208305424 140303497976176 140303952214658 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30949376 140730208309681 140730208309857 140730208309857 140730208313295 0
[pid=23152/tid=23159] ppid=23150 vsize=13975376 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23152/task/23159/stat : 23159 (java) S 23150 23150 8557 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 120485164 14310785024 8709 18446744073709551615 4194304 4196468 140730208305424 140303496922144 140303952213717 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30949376 140730208309681 140730208309857 140730208309857 140730208313295 0
[pid=23152/tid=23160] ppid=23150 vsize=13975376 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23152/task/23160/stat : 23160 (java) S 23150 23150 8557 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 120485164 14310785024 8709 18446744073709551615 4194304 4196468 140730208305424 140303428215664 140303952213717 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30949376 140730208309681 140730208309857 140730208309857 140730208313295 0
[pid=23152/tid=23161] ppid=23150 vsize=13975376 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23152/task/23161/stat : 23161 (java) S 23150 23150 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120485167 14310785024 8709 18446744073709551615 4194304 4196468 140730208305424 140303427163984 140303952222107 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30949376 140730208309681 140730208309857 140730208309857 140730208313295 0
[pid=23152/tid=23162] ppid=23150 vsize=13975376 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/23152/task/23162/stat : 23162 (java) S 23150 23150 8557 0 -1 1077944384 486 0 0 0 1 0 0 0 20 0 15 0 120485167 14310785024 8709 18446744073709551615 4194304 4196468 140730208305424 140303426112368 140303952214658 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30949376 140730208309681 140730208309857 140730208309857 140730208313295 0
[pid=23152/tid=23163] ppid=23150 vsize=13975376 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/23152/task/23163/stat : 23163 (java) S 23150 23150 8557 0 -1 1077944384 185 0 0 0 1 0 0 0 20 0 15 0 120485167 14310785024 8709 18446744073709551615 4194304 4196468 140730208305424 140303425059568 140303952214658 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30949376 140730208309681 140730208309857 140730208309857 140730208313295 0
[pid=23152/tid=23164] ppid=23150 vsize=13975376 memory=140418521978496 CPUtime=0.05 cores=0,2,4,6
/proc/23152/task/23164/stat : 23164 (java) S 23150 23150 8557 0 -1 1077944384 704 0 0 0 5 0 0 0 20 0 15 0 120485167 14310785024 8709 18446744073709551615 4194304 4196468 140730208305424 140303424006768 140303952214658 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30949376 140730208309681 140730208309857 140730208309857 140730208313295 0
[pid=23152/tid=23165] ppid=23150 vsize=13975376 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23152/task/23165/stat : 23165 (java) S 23150 23150 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120485167 14310785024 8709 18446744073709551615 4194304 4196468 140730208305424 140303422954208 140303952213717 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30949376 140730208309681 140730208309857 140730208309857 140730208313295 0
[pid=23152/tid=23166] ppid=23150 vsize=13975376 memory=140418521978496 CPUtime=0 cores=0,2,4,6
/proc/23152/task/23166/stat : 23166 (java) S 23150 23150 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120485172 14310785024 8709 18446744073709551615 4194304 4196468 140730208305424 140303421901488 140303952214658 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30949376 140730208309681 140730208309857 140730208309857 140730208313295 0
Current children cumulated CPU time: 0.23 s
Current children cumulated vsize: 13984888 KiB
Current children cumulated memory: 36216 KiB

[startup+0.70167 s]
/proc/loadavg: 1.72 1.57 1.58 3/211 23166
/proc/meminfo: memFree=30863644/32770624 swapFree=67105588/67108860
[pid=23150] ppid=23147 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/23150/stat : 23150 (xcsp3-exec) S 23147 23150 8557 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 120485150 9740288 345 18446744073709551615 4194304 5098028 140734184501072 140734184499176 140574410994300 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 11 0 0 7196144 7232144 18210816 140734184505721 140734184505925 140734184505925 140734184509419 0
/proc/23150/statm: 2378 345 289 221 0 87 0
[pid=23152] ppid=23150 vsize=13980732 memory=61608 CPUtime=1.05 cores=0,2,4,6
/proc/23152/stat : 23152 (java) S 23150 23150 8557 0 -1 1077944320 12518 0 0 0 101 4 0 0 20 0 15 0 120485161 14316269568 15402 18446744073709551615 4194304 4196468 140730208305424 140730208287968 140303952203511 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30949376 140730208309681 140730208309857 140730208309857 140730208313295 0
/proc/23152/statm: 3495183 15402 3167 1 0 3483476 0
[pid=23152/tid=23153] ppid=23150 vsize=13980732 memory=7084817944770855017 CPUtime=0.52 cores=0,2,4,6
/proc/23152/task/23153/stat : 23153 (java) R 23150 23150 8557 0 -1 4202560 8521 0 0 0 49 3 0 0 20 0 15 0 120485162 14316269568 15402 18446744073709551615 4194304 4196468 140730208305424 140303956442856 140303936339592 0 4 1 16800974 0 0 0 -1 6 0 0 4 0 0 6293624 6294260 30949376 140730208309681 140730208309857 140730208309857 140730208313295 0
[pid=23152/tid=23154] ppid=23150 vsize=13980732 memory=5860980096798707792 CPUtime=0 cores=0,2,4,6
/proc/23152/task/23154/stat : 23154 (java) S 23150 23150 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120485162 14316269568 15402 18446744073709551615 4194304 4196468 140730208305424 140303909170320 140303952213717 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30949376 140730208309681 140730208309857 140730208309857 140730208313295 0
[pid=23152/tid=23155] ppid=23150 vsize=13980732 memory=5788930165031592000 CPUtime=0 cores=0,2,4,6
/proc/23152/task/23155/stat : 23155 (java) S 23150 23150 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120485162 14316269568 15402 18446744073709551615 4194304 4196468 140730208305424 140303908117520 140303952213717 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30949376 140730208309681 140730208309857 140730208309857 140730208313295 0
[pid=23152/tid=23156] ppid=23150 vsize=13980732 memory=3054156467844169808 CPUtime=0 cores=0,2,4,6
/proc/23152/task/23156/stat : 23156 (java) S 23150 23150 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120485162 14316269568 15402 18446744073709551615 4194304 4196468 140730208305424 140303907064720 140303952213717 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30949376 140730208309681 140730208309857 140730208309857 140730208313295 0
[pid=23152/tid=23157] ppid=23150 vsize=13980732 memory=-8412656567318647667 CPUtime=0 cores=0,2,4,6
/proc/23152/task/23157/stat : 23157 (java) S 23150 23150 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 120485162 14316269568 15402 18446744073709551615 4194304 4196468 140730208305424 140303906011920 140303952213717 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30949376 140730208309681 140730208309857 140730208309857 140730208313295 0
[pid=23152/tid=23158] ppid=23150 vsize=13980732 memory=1329904169539632283 CPUtime=0 cores=0,2,4,6
/proc/23152/task/23158/stat : 23158 (java) S 23150 23150 8557 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 120485164 14316269568 15402 18446744073709551615 4194304 4196468 140730208305424 140303497976176 140303952214658 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30949376 140730208309681 140730208309857 140730208309857 140730208313295 0
[pid=23152/tid=23159] ppid=23150 vsize=13980732 memory=-7173504570860347296 CPUtime=0 cores=0,2,4,6
/proc/23152/task/23159/stat : 23159 (java) S 23150 23150 8557 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 120485164 14316269568 15402 18446744073709551615 4194304 4196468 140730208305424 140303496922144 140303952213717 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30949376 140730208309681 140730208309857 140730208309857 140730208313295 0
[pid=23152/tid=23160] ppid=23150 vsize=13980732 memory=6944665225511868275 CPUtime=0 cores=0,2,4,6
/proc/23152/task/23160/stat : 23160 (java) S 23150 23150 8557 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 120485164 14316269568 15402 18446744073709551615 4194304 4196468 140730208305424 140303428215664 140303952213717 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30949376 140730208309681 140730208309857 140730208309857 140730208313295 0
[pid=23152/tid=23161] ppid=23150 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23152/task/23161/stat : 23161 (java) S 23150 23150 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120485167 14316269568 15402 18446744073709551615 4194304 4196468 140730208305424 140303427163984 140303952222107 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30949376 140730208309681 140730208309857 140730208309857 140730208313295 0
[pid=23152/tid=23162] ppid=23150 vsize=13980732 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/23152/task/23162/stat : 23162 (java) R 23150 23150 8557 0 -1 4202560 873 0 0 0 11 0 0 0 20 0 15 0 120485167 14316269568 15402 18446744073709551615 4194304 4196468 140730208305424 140303426112368 140303952217375 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30949376 140730208309681 140730208309857 140730208309857 140730208313295 0
[pid=23152/tid=23163] ppid=23150 vsize=13980732 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/23152/task/23163/stat : 23163 (java) R 23150 23150 8557 0 -1 4202560 555 0 0 0 12 0 0 0 20 0 15 0 120485167 14316269568 15402 18446744073709551615 4194304 4196468 140730208305424 140303425040584 140303933747234 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30949376 140730208309681 140730208309857 140730208309857 140730208313295 0
[pid=23152/tid=23164] ppid=23150 vsize=13980732 memory=0 CPUtime=0.28 cores=0,2,4,6
/proc/23152/task/23164/stat : 23164 (java) S 23150 23150 8557 0 -1 1077944384 1264 0 0 0 28 0 0 0 20 0 15 0 120485167 14316269568 15402 18446744073709551615 4194304 4196468 140730208305424 140303424006768 140303952214658 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30949376 140730208309681 140730208309857 140730208309857 140730208313295 0
[pid=23152/tid=23165] ppid=23150 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23152/task/23165/stat : 23165 (java) S 23150 23150 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120485167 14316269568 15402 18446744073709551615 4194304 4196468 140730208305424 140303422954208 140303952213717 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30949376 140730208309681 140730208309857 140730208309857 140730208313295 0
[pid=23152/tid=23166] ppid=23150 vsize=13980732 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/23152/task/23166/stat : 23166 (java) S 23150 23150 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120485172 14316269568 15402 18446744073709551615 4194304 4196468 140730208305424 140303421901488 140303952214658 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30949376 140730208309681 140730208309857 140730208309857 140730208313295 0
Current children cumulated CPU time: 1.05 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 62988 KiB

[startup+1.50081 s]
/proc/loadavg: 1.72 1.57 1.58 6/211 23166
/proc/meminfo: memFree=30819800/32770624 swapFree=67105588/67108860
[pid=23150] ppid=23147 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/23150/stat : 23150 (xcsp3-exec) S 23147 23150 8557 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 120485150 9740288 345 18446744073709551615 4194304 5098028 140734184501072 140734184499176 140574410994300 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 11 0 0 7196144 7232144 18210816 140734184505721 140734184505925 140734184505925 140734184509419 0
/proc/23150/statm: 2378 345 289 221 0 87 0
[pid=23152] ppid=23150 vsize=13980732 memory=133220 CPUtime=3.59 cores=0,2,4,6
/proc/23152/stat : 23152 (java) S 23150 23150 8557 0 -1 1077944320 48160 0 0 0 350 9 0 0 20 0 15 0 120485161 14316269568 33305 18446744073709551615 4194304 4196468 140730208305424 140730208287968 140303952203511 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30949376 140730208309681 140730208309857 140730208309857 140730208313295 0
/proc/23152/statm: 3495183 33305 3184 1 0 3483476 0
[pid=23152/tid=23153] ppid=23150 vsize=13980732 memory=0 CPUtime=1.31 cores=0,2,4,6
/proc/23152/task/23153/stat : 23153 (java) R 23150 23150 8557 0 -1 4202560 10091 0 0 0 127 4 0 0 20 0 15 0 120485162 14316269568 33305 18446744073709551615 4194304 4196468 140730208305424 140303956423920 140303583442901 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 30949376 140730208309681 140730208309857 140730208309857 140730208313295 0
[pid=23152/tid=23154] ppid=23150 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23152/task/23154/stat : 23154 (java) S 23150 23150 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120485162 14316269568 33305 18446744073709551615 4194304 4196468 140730208305424 140303909170320 140303952213717 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30949376 140730208309681 140730208309857 140730208309857 140730208313295 0
[pid=23152/tid=23155] ppid=23150 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23152/task/23155/stat : 23155 (java) S 23150 23150 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120485162 14316269568 33305 18446744073709551615 4194304 4196468 140730208305424 140303908117520 140303952213717 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30949376 140730208309681 140730208309857 140730208309857 140730208313295 0
[pid=23152/tid=23156] ppid=23150 vsize=13980732 memory=280836772228768 CPUtime=0 cores=0,2,4,6
/proc/23152/task/23156/stat : 23156 (java) S 23150 23150 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120485162 14316269568 33305 18446744073709551615 4194304 4196468 140730208305424 140303907064720 140303952213717 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30949376 140730208309681 140730208309857 140730208309857 140730208313295 0
[pid=23152/tid=23157] ppid=23150 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23152/task/23157/stat : 23157 (java) S 23150 23150 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 120485162 14316269568 33305 18446744073709551615 4194304 4196468 140730208305424 140303906011920 140303952213717 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30949376 140730208309681 140730208309857 140730208309857 140730208313295 0
[pid=23152/tid=23158] ppid=23150 vsize=13980732 memory=140418386128512 CPUtime=0 cores=0,2,4,6
/proc/23152/task/23158/stat : 23158 (java) S 23150 23150 8557 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 120485164 14316269568 33305 18446744073709551615 4194304 4196468 140730208305424 140303497976176 140303952214658 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30949376 140730208309681 140730208309857 140730208309857 140730208313295 0
[pid=23152/tid=23159] ppid=23150 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23152/task/23159/stat : 23159 (java) S 23150 23150 8557 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 120485164 14316269568 33305 18446744073709551615 4194304 4196468 140730208305424 140303496922144 140303952213717 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30949376 140730208309681 140730208309857 140730208309857 140730208313295 0
[pid=23152/tid=23160] ppid=23150 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23152/task/23160/stat : 23160 (java) S 23150 23150 8557 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 120485164 14316269568 33305 18446744073709551615 4194304 4196468 140730208305424 140303428215664 140303952213717 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30949376 140730208309681 140730208309857 140730208309857 140730208313295 0
[pid=23152/tid=23161] ppid=23150 vsize=13980732 memory=280836772250848 CPUtime=0 cores=0,2,4,6
/proc/23152/task/23161/stat : 23161 (java) S 23150 23150 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120485167 14316269568 33305 18446744073709551615 4194304 4196468 140730208305424 140303427163984 140303952222107 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30949376 140730208309681 140730208309857 140730208309857 140730208313295 0
[pid=23152/tid=23162] ppid=23150 vsize=13980732 memory=82 CPUtime=0.87 cores=0,2,4,6
/proc/23152/task/23162/stat : 23162 (java) R 23150 23150 8557 0 -1 4202560 7883 0 0 0 86 1 0 0 20 0 15 0 120485167 14316269568 33305 18446744073709551615 4194304 4196468 140730208305424 140303426098392 140303935614517 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30949376 140730208309681 140730208309857 140730208309857 140730208313295 0
[pid=23152/tid=23163] ppid=23150 vsize=13980732 memory=140418385937057 CPUtime=0.87 cores=0,2,4,6
/proc/23152/task/23163/stat : 23163 (java) R 23150 23150 8557 0 -1 4202560 24763 0 0 0 84 3 0 0 20 0 15 0 120485167 14316269568 33305 18446744073709551615 4194304 4196468 140730208305424 140303425045792 140303937083770 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30949376 140730208309681 140730208309857 140730208309857 140730208313295 0
[pid=23152/tid=23164] ppid=23150 vsize=13980732 memory=280836771836848 CPUtime=0.51 cores=0,2,4,6
/proc/23152/task/23164/stat : 23164 (java) S 23150 23150 8557 0 -1 1077944384 4109 0 0 0 51 0 0 0 20 0 15 0 120485167 14316269568 33305 18446744073709551615 4194304 4196468 140730208305424 140303424006768 140303952214658 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30949376 140730208309681 140730208309857 140730208309857 140730208313295 0
[pid=23152/tid=23165] ppid=23150 vsize=13980732 memory=280836771848000 CPUtime=0 cores=0,2,4,6
/proc/23152/task/23165/stat : 23165 (java) S 23150 23150 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120485167 14316269568 33305 18446744073709551615 4194304 4196468 140730208305424 140303422954208 140303952213717 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30949376 140730208309681 140730208309857 140730208309857 140730208313295 0
[pid=23152/tid=23166] ppid=23150 vsize=13980732 memory=280836771632200 CPUtime=0 cores=0,2,4,6
/proc/23152/task/23166/stat : 23166 (java) S 23150 23150 8557 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 120485172 14316269568 33305 18446744073709551615 4194304 4196468 140730208305424 140303421901488 140303952214658 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30949376 140730208309681 140730208309857 140730208309857 140730208313295 0
Current children cumulated CPU time: 3.59 s
Current children cumulated vsize: 13990244 KiB

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

/proc/23152/task/23160/stat : 23160 (java) S 23150 23150 8557 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 120485164 14316269568 91618 18446744073709551615 4194304 4196468 140730208305424 140303428215664 140303952213717 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30949376 140730208309681 140730208309857 140730208309857 140730208313295 0
[pid=23152/tid=23161] ppid=23150 vsize=13980732 memory=15348 CPUtime=0 cores=0,2,4,6
/proc/23152/task/23161/stat : 23161 (java) S 23150 23150 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120485167 14316269568 91618 18446744073709551615 4194304 4196468 140730208305424 140303427163984 140303952222107 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30949376 140730208309681 140730208309857 140730208309857 140730208313295 0
[pid=23152/tid=23162] ppid=23150 vsize=13980732 memory=38928 CPUtime=4.05 cores=0,2,4,6
/proc/23152/task/23162/stat : 23162 (java) S 23150 23150 8557 0 -1 1077944384 22103 0 0 0 403 2 0 0 20 0 15 0 120485167 14316269568 91618 18446744073709551615 4194304 4196468 140730208305424 140303426112368 140303952214658 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30949376 140730208309681 140730208309857 140730208309857 140730208313295 0
[pid=23152/tid=23163] ppid=23150 vsize=13980732 memory=1380 CPUtime=3.74 cores=0,2,4,6
/proc/23152/task/23163/stat : 23163 (java) S 23150 23150 8557 0 -1 1077944384 33284 0 0 0 370 4 0 0 20 0 15 0 120485167 14316269568 91618 18446744073709551615 4194304 4196468 140730208305424 140303425059568 140303952214658 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30949376 140730208309681 140730208309857 140730208309857 140730208313295 0
[pid=23152/tid=23164] ppid=23150 vsize=13980732 memory=388532 CPUtime=0.77 cores=0,2,4,6
/proc/23152/task/23164/stat : 23164 (java) S 23150 23150 8557 0 -1 1077944384 10205 0 0 0 75 2 0 0 20 0 15 0 120485167 14316269568 91618 18446744073709551615 4194304 4196468 140730208305424 140303424006768 140303952214658 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30949376 140730208309681 140730208309857 140730208309857 140730208313295 0
[pid=23152/tid=23165] ppid=23150 vsize=13980732 memory=1400 CPUtime=0 cores=0,2,4,6
/proc/23152/task/23165/stat : 23165 (java) S 23150 23150 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120485167 14316269568 91618 18446744073709551615 4194304 4196468 140730208305424 140303422954208 140303952213717 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30949376 140730208309681 140730208309857 140730208309857 140730208313295 0
[pid=23152/tid=23166] ppid=23150 vsize=13980732 memory=1380 CPUtime=1.25 cores=0,2,4,6
/proc/23152/task/23166/stat : 23166 (java) S 23150 23150 8557 0 -1 1077944384 784 0 0 0 66 59 0 0 20 0 15 0 120485172 14316269568 91618 18446744073709551615 4194304 4196468 140730208305424 140303421901488 140303952214658 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30949376 140730208309681 140730208309857 140730208309857 140730208313295 0
Current children cumulated CPU time: 2444.85 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 367852 KiB

[startup+2442.3 s]
/proc/loadavg: 1.55 1.42 1.44 3/211 24671
/proc/meminfo: memFree=30506916/32770624 swapFree=67105588/67108860
[pid=23150] ppid=23147 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/23150/stat : 23150 (xcsp3-exec) S 23147 23150 8557 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 120485150 9740288 345 18446744073709551615 4194304 5098028 140734184501072 140734184499176 140574410994300 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 11 0 0 7196144 7232144 18210816 140734184505721 140734184505925 140734184505925 140734184509419 0
/proc/23150/statm: 2378 345 289 221 0 87 0
[pid=23152] ppid=23150 vsize=13980732 memory=424424 CPUtime=2506.15 cores=0,2,4,6
/proc/23152/stat : 23152 (java) S 23150 23150 8557 0 -1 1077944320 283736 0 0 0 250216 399 0 0 20 0 15 0 120485161 14316269568 106106 18446744073709551615 4194304 4196468 140730208305424 140730208287968 140303952203511 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30949376 140730208309681 140730208309857 140730208309857 140730208313295 0
/proc/23152/statm: 3495183 106106 3259 1 0 3483476 0
[pid=23152/tid=23153] ppid=23150 vsize=13980732 memory=424424 CPUtime=2418.94 cores=0,2,4,6
/proc/23152/task/23153/stat : 23153 (java) R 23150 23150 8557 0 -1 4202560 96593 0 0 0 241862 32 0 0 20 0 15 0 120485162 14316269568 106106 18446744073709551615 4194304 4196468 140730208305424 140303956442720 140303584741021 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 30949376 140730208309681 140730208309857 140730208309857 140730208313295 0
[pid=23152/tid=23154] ppid=23150 vsize=13980732 memory=1380 CPUtime=18.75 cores=0,2,4,6
/proc/23152/task/23154/stat : 23154 (java) S 23150 23150 8557 0 -1 1077944384 18611 0 0 0 1806 69 0 0 20 0 15 0 120485162 14316269568 106106 18446744073709551615 4194304 4196468 140730208305424 140303909170320 140303952213717 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30949376 140730208309681 140730208309857 140730208309857 140730208313295 0
[pid=23152/tid=23155] ppid=23150 vsize=13980732 memory=1380 CPUtime=18.76 cores=0,2,4,6
/proc/23152/task/23155/stat : 23155 (java) S 23150 23150 8557 0 -1 1077944384 19679 0 0 0 1804 72 0 0 20 0 15 0 120485162 14316269568 106106 18446744073709551615 4194304 4196468 140730208305424 140303908117520 140303952213717 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30949376 140730208309681 140730208309857 140730208309857 140730208313295 0
[pid=23152/tid=23156] ppid=23150 vsize=13980732 memory=1380 CPUtime=18.73 cores=0,2,4,6
/proc/23152/task/23156/stat : 23156 (java) S 23150 23150 8557 0 -1 1077944384 20401 0 0 0 1804 69 0 0 20 0 15 0 120485162 14316269568 106106 18446744073709551615 4194304 4196468 140730208305424 140303907064720 140303952213717 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30949376 140730208309681 140730208309857 140730208309857 140730208313295 0
[pid=23152/tid=23157] ppid=23150 vsize=13980732 memory=420600 CPUtime=18.72 cores=0,2,4,6
/proc/23152/task/23157/stat : 23157 (java) S 23150 23150 8557 0 -1 1077944384 20681 0 0 0 1800 72 0 0 20 0 15 0 120485162 14316269568 106106 18446744073709551615 4194304 4196468 140730208305424 140303906011920 140303952213717 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30949376 140730208309681 140730208309857 140730208309857 140730208313295 0
[pid=23152/tid=23158] ppid=23150 vsize=13980732 memory=1380 CPUtime=2.32 cores=0,2,4,6
/proc/23152/task/23158/stat : 23158 (java) S 23150 23150 8557 0 -1 1077944384 40036 0 0 0 197 35 0 0 20 0 15 0 120485164 14316269568 106106 18446744073709551615 4194304 4196468 140730208305424 140303497976176 140303952214658 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30949376 140730208309681 140730208309857 140730208309857 140730208313295 0
[pid=23152/tid=23159] ppid=23150 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/23152/task/23159/stat : 23159 (java) S 23150 23150 8557 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 120485164 14316269568 106106 18446744073709551615 4194304 4196468 140730208305424 140303496922144 140303952213717 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30949376 140730208309681 140730208309857 140730208309857 140730208313295 0
[pid=23152/tid=23160] ppid=23150 vsize=13980732 memory=429040 CPUtime=0 cores=0,2,4,6
/proc/23152/task/23160/stat : 23160 (java) S 23150 23150 8557 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 120485164 14316269568 106106 18446744073709551615 4194304 4196468 140730208305424 140303428215664 140303952213717 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30949376 140730208309681 140730208309857 140730208309857 140730208313295 0
[pid=23152/tid=23161] ppid=23150 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/23152/task/23161/stat : 23161 (java) S 23150 23150 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120485167 14316269568 106106 18446744073709551615 4194304 4196468 140730208305424 140303427163984 140303952222107 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30949376 140730208309681 140730208309857 140730208309857 140730208313295 0
[pid=23152/tid=23162] ppid=23150 vsize=13980732 memory=4144 CPUtime=4.05 cores=0,2,4,6
/proc/23152/task/23162/stat : 23162 (java) S 23150 23150 8557 0 -1 1077944384 22103 0 0 0 403 2 0 0 20 0 15 0 120485167 14316269568 106106 18446744073709551615 4194304 4196468 140730208305424 140303426112368 140303952214658 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30949376 140730208309681 140730208309857 140730208309857 140730208313295 0
[pid=23152/tid=23163] ppid=23150 vsize=13980732 memory=1380 CPUtime=3.74 cores=0,2,4,6
/proc/23152/task/23163/stat : 23163 (java) S 23150 23150 8557 0 -1 1077944384 33284 0 0 0 370 4 0 0 20 0 15 0 120485167 14316269568 106106 18446744073709551615 4194304 4196468 140730208305424 140303425059568 140303952214658 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30949376 140730208309681 140730208309857 140730208309857 140730208313295 0
[pid=23152/tid=23164] ppid=23150 vsize=13980732 memory=4144 CPUtime=0.77 cores=0,2,4,6
/proc/23152/task/23164/stat : 23164 (java) S 23150 23150 8557 0 -1 1077944384 10205 0 0 0 75 2 0 0 20 0 15 0 120485167 14316269568 106106 18446744073709551615 4194304 4196468 140730208305424 140303424006768 140303952214658 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30949376 140730208309681 140730208309857 140730208309857 140730208313295 0
[pid=23152/tid=23165] ppid=23150 vsize=13980732 memory=432632 CPUtime=0 cores=0,2,4,6
/proc/23152/task/23165/stat : 23165 (java) S 23150 23150 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120485167 14316269568 106106 18446744073709551615 4194304 4196468 140730208305424 140303422954208 140303952213717 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30949376 140730208309681 140730208309857 140730208309857 140730208313295 0
[pid=23152/tid=23166] ppid=23150 vsize=13980732 memory=1380 CPUtime=1.28 cores=0,2,4,6
/proc/23152/task/23166/stat : 23166 (java) S 23150 23150 8557 0 -1 1077944384 788 0 0 0 68 60 0 0 20 0 15 0 120485172 14316269568 106106 18446744073709551615 4194304 4196468 140730208305424 140303421901488 140303952214658 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30949376 140730208309681 140730208309857 140730208309857 140730208313295 0
Current children cumulated CPU time: 2506.15 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 425804 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2455.9 s]
/proc/loadavg: 1.50 1.42 1.44 3/211 24671
/proc/meminfo: memFree=30561156/32770624 swapFree=67105588/67108860
[pid=23150] ppid=23147 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/23150/stat : 23150 (xcsp3-exec) S 23147 23150 8557 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 120485150 9740288 345 18446744073709551615 4194304 5098028 140734184501072 140734184499176 140574410994300 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 11 0 0 7196144 7232144 18210816 140734184505721 140734184505925 140734184505925 140734184509419 0
/proc/23150/statm: 2378 345 289 221 0 87 0
[pid=23152] ppid=23150 vsize=13980732 memory=390252 CPUtime=2520 cores=0,2,4,6
/proc/23152/stat : 23152 (java) S 23150 23150 8557 0 -1 1077944320 284331 0 0 0 251601 399 0 0 20 0 15 0 120485161 14316269568 97563 18446744073709551615 4194304 4196468 140730208305424 140730208287968 140303952203511 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30949376 140730208309681 140730208309857 140730208309857 140730208313295 0
/proc/23152/statm: 3495183 97563 3259 1 0 3483476 0
[pid=23152/tid=23153] ppid=23150 vsize=13980732 memory=402880 CPUtime=2432.44 cores=0,2,4,6
/proc/23152/task/23153/stat : 23153 (java) R 23150 23150 8557 0 -1 4202560 96792 0 0 0 243212 32 0 0 20 0 15 0 120485162 14316269568 97563 18446744073709551615 4194304 4196468 140730208305424 140303956443280 140303585821393 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 30949376 140730208309681 140730208309857 140730208309857 140730208313295 0
[pid=23152/tid=23154] ppid=23150 vsize=13980732 memory=399288 CPUtime=18.84 cores=0,2,4,6
/proc/23152/task/23154/stat : 23154 (java) S 23150 23150 8557 0 -1 1077944384 18635 0 0 0 1815 69 0 0 20 0 15 0 120485162 14316269568 97563 18446744073709551615 4194304 4196468 140730208305424 140303909170320 140303952213717 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30949376 140730208309681 140730208309857 140730208309857 140730208313295 0
[pid=23152/tid=23155] ppid=23150 vsize=13980732 memory=391792 CPUtime=18.84 cores=0,2,4,6
/proc/23152/task/23155/stat : 23155 (java) S 23150 23150 8557 0 -1 1077944384 19727 0 0 0 1812 72 0 0 20 0 15 0 120485162 14316269568 97563 18446744073709551615 4194304 4196468 140730208305424 140303908117520 140303952213717 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30949376 140730208309681 140730208309857 140730208309857 140730208313295 0
[pid=23152/tid=23156] ppid=23150 vsize=13980732 memory=390252 CPUtime=18.82 cores=0,2,4,6
/proc/23152/task/23156/stat : 23156 (java) S 23150 23150 8557 0 -1 1077944384 20531 0 0 0 1813 69 0 0 20 0 15 0 120485162 14316269568 97563 18446744073709551615 4194304 4196468 140730208305424 140303907064720 140303952213717 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30949376 140730208309681 140730208309857 140730208309857 140730208313295 0
[pid=23152/tid=23157] ppid=23150 vsize=13980732 memory=1380 CPUtime=18.8 cores=0,2,4,6
/proc/23152/task/23157/stat : 23157 (java) S 23150 23150 8557 0 -1 1077944384 20705 0 0 0 1808 72 0 0 20 0 15 0 120485162 14316269568 97563 18446744073709551615 4194304 4196468 140730208305424 140303906011920 140303952213717 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30949376 140730208309681 140730208309857 140730208309857 140730208313295 0
[pid=23152/tid=23158] ppid=23150 vsize=13980732 memory=1380 CPUtime=2.33 cores=0,2,4,6
/proc/23152/task/23158/stat : 23158 (java) S 23150 23150 8557 0 -1 1077944384 40193 0 0 0 198 35 0 0 20 0 15 0 120485164 14316269568 97563 18446744073709551615 4194304 4196468 140730208305424 140303497976176 140303952214658 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30949376 140730208309681 140730208309857 140730208309857 140730208313295 0
[pid=23152/tid=23159] ppid=23150 vsize=13980732 memory=397236 CPUtime=0 cores=0,2,4,6
/proc/23152/task/23159/stat : 23159 (java) S 23150 23150 8557 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 120485164 14316269568 97563 18446744073709551615 4194304 4196468 140730208305424 140303496922144 140303952213717 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30949376 140730208309681 140730208309857 140730208309857 140730208313295 0
[pid=23152/tid=23160] ppid=23150 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/23152/task/23160/stat : 23160 (java) S 23150 23150 8557 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 120485164 14316269568 97563 18446744073709551615 4194304 4196468 140730208305424 140303428215664 140303952213717 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30949376 140730208309681 140730208309857 140730208309857 140730208313295 0
[pid=23152/tid=23161] ppid=23150 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/23152/task/23161/stat : 23161 (java) S 23150 23150 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120485167 14316269568 97563 18446744073709551615 4194304 4196468 140730208305424 140303427163984 140303952222107 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30949376 140730208309681 140730208309857 140730208309857 140730208313295 0
[pid=23152/tid=23162] ppid=23150 vsize=13980732 memory=1380 CPUtime=4.05 cores=0,2,4,6
/proc/23152/task/23162/stat : 23162 (java) S 23150 23150 8557 0 -1 1077944384 22103 0 0 0 403 2 0 0 20 0 15 0 120485167 14316269568 97563 18446744073709551615 4194304 4196468 140730208305424 140303426112368 140303952214658 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30949376 140730208309681 140730208309857 140730208309857 140730208313295 0
[pid=23152/tid=23163] ppid=23150 vsize=13980732 memory=1380 CPUtime=3.74 cores=0,2,4,6
/proc/23152/task/23163/stat : 23163 (java) S 23150 23150 8557 0 -1 1077944384 33284 0 0 0 370 4 0 0 20 0 15 0 120485167 14316269568 97563 18446744073709551615 4194304 4196468 140730208305424 140303425059568 140303952214658 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30949376 140730208309681 140730208309857 140730208309857 140730208313295 0
[pid=23152/tid=23164] ppid=23150 vsize=13980732 memory=7344 CPUtime=0.77 cores=0,2,4,6
/proc/23152/task/23164/stat : 23164 (java) S 23150 23150 8557 0 -1 1077944384 10205 0 0 0 75 2 0 0 20 0 15 0 120485167 14316269568 97563 18446744073709551615 4194304 4196468 140730208305424 140303424006768 140303952214658 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30949376 140730208309681 140730208309857 140730208309857 140730208313295 0
[pid=23152/tid=23165] ppid=23150 vsize=13980732 memory=1628 CPUtime=0 cores=0,2,4,6
/proc/23152/task/23165/stat : 23165 (java) S 23150 23150 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120485167 14316269568 97563 18446744073709551615 4194304 4196468 140730208305424 140303422954208 140303952213717 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30949376 140730208309681 140730208309857 140730208309857 140730208313295 0
[pid=23152/tid=23166] ppid=23150 vsize=13980732 memory=1380 CPUtime=1.29 cores=0,2,4,6
/proc/23152/task/23166/stat : 23166 (java) S 23150 23150 8557 0 -1 1077944384 801 0 0 0 69 60 0 0 20 0 15 0 120485172 14316269568 97563 18446744073709551615 4194304 4196468 140730208305424 140303421901488 140303952214658 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30949376 140730208309681 140730208309857 140730208309857 140730208313295 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 391632 KiB

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

[startup+2455.91 s]
# the end of solver process 23150 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.001882 s, system=0.000121 s

[startup+2455.91 s]
# the end of solver process 23152 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2516.02 s, system=4.00123 s
# this solver process was not waited by its parent and was adopted by runsolver

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+2455.9 s]
/proc/loadavg: 1.50 1.42 1.44 3/211 24671
/proc/meminfo: memFree=30561156/32770624 swapFree=67105588/67108860
[pid=23150] ppid=23147 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/23150/stat : 23150 (xcsp3-exec) S 23147 23150 8557 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 120485150 9740288 345 18446744073709551615 4194304 5098028 140734184501072 140734184499176 140574410994300 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 11 0 0 7196144 7232144 18210816 140734184505721 140734184505925 140734184505925 140734184509419 0
/proc/23150/statm: 2378 345 289 221 0 87 0
[pid=23152] ppid=23150 vsize=13980732 memory=390252 CPUtime=2520 cores=0,2,4,6
/proc/23152/stat : 23152 (java) S 23150 23150 8557 0 -1 1077944320 284331 0 0 0 251601 399 0 0 20 0 15 0 120485161 14316269568 97563 18446744073709551615 4194304 4196468 140730208305424 140730208287968 140303952203511 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30949376 140730208309681 140730208309857 140730208309857 140730208313295 0
/proc/23152/statm: 3495183 97563 3259 1 0 3483476 0
[pid=23152/tid=23153] ppid=23150 vsize=13980732 memory=402880 CPUtime=2432.44 cores=0,2,4,6
/proc/23152/task/23153/stat : 23153 (java) R 23150 23150 8557 0 -1 4202560 96792 0 0 0 243212 32 0 0 20 0 15 0 120485162 14316269568 97563 18446744073709551615 4194304 4196468 140730208305424 140303956443280 140303585821393 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 30949376 140730208309681 140730208309857 140730208309857 140730208313295 0
[pid=23152/tid=23154] ppid=23150 vsize=13980732 memory=399288 CPUtime=18.84 cores=0,2,4,6
/proc/23152/task/23154/stat : 23154 (java) S 23150 23150 8557 0 -1 1077944384 18635 0 0 0 1815 69 0 0 20 0 15 0 120485162 14316269568 97563 18446744073709551615 4194304 4196468 140730208305424 140303909170320 140303952213717 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30949376 140730208309681 140730208309857 140730208309857 140730208313295 0
[pid=23152/tid=23155] ppid=23150 vsize=13980732 memory=391792 CPUtime=18.84 cores=0,2,4,6
/proc/23152/task/23155/stat : 23155 (java) S 23150 23150 8557 0 -1 1077944384 19727 0 0 0 1812 72 0 0 20 0 15 0 120485162 14316269568 97563 18446744073709551615 4194304 4196468 140730208305424 140303908117520 140303952213717 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30949376 140730208309681 140730208309857 140730208309857 140730208313295 0
[pid=23152/tid=23156] ppid=23150 vsize=13980732 memory=390252 CPUtime=18.82 cores=0,2,4,6
/proc/23152/task/23156/stat : 23156 (java) S 23150 23150 8557 0 -1 1077944384 20531 0 0 0 1813 69 0 0 20 0 15 0 120485162 14316269568 97563 18446744073709551615 4194304 4196468 140730208305424 140303907064720 140303952213717 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30949376 140730208309681 140730208309857 140730208309857 140730208313295 0
[pid=23152/tid=23157] ppid=23150 vsize=13980732 memory=1380 CPUtime=18.8 cores=0,2,4,6
/proc/23152/task/23157/stat : 23157 (java) S 23150 23150 8557 0 -1 1077944384 20705 0 0 0 1808 72 0 0 20 0 15 0 120485162 14316269568 97563 18446744073709551615 4194304 4196468 140730208305424 140303906011920 140303952213717 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30949376 140730208309681 140730208309857 140730208309857 140730208313295 0
[pid=23152/tid=23158] ppid=23150 vsize=13980732 memory=1380 CPUtime=2.33 cores=0,2,4,6
/proc/23152/task/23158/stat : 23158 (java) S 23150 23150 8557 0 -1 1077944384 40193 0 0 0 198 35 0 0 20 0 15 0 120485164 14316269568 97563 18446744073709551615 4194304 4196468 140730208305424 140303497976176 140303952214658 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30949376 140730208309681 140730208309857 140730208309857 140730208313295 0
[pid=23152/tid=23159] ppid=23150 vsize=13980732 memory=397236 CPUtime=0 cores=0,2,4,6
/proc/23152/task/23159/stat : 23159 (java) S 23150 23150 8557 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 120485164 14316269568 97563 18446744073709551615 4194304 4196468 140730208305424 140303496922144 140303952213717 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30949376 140730208309681 140730208309857 140730208309857 140730208313295 0
[pid=23152/tid=23160] ppid=23150 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/23152/task/23160/stat : 23160 (java) S 23150 23150 8557 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 120485164 14316269568 97563 18446744073709551615 4194304 4196468 140730208305424 140303428215664 140303952213717 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30949376 140730208309681 140730208309857 140730208309857 140730208313295 0
[pid=23152/tid=23161] ppid=23150 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/23152/task/23161/stat : 23161 (java) S 23150 23150 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120485167 14316269568 97563 18446744073709551615 4194304 4196468 140730208305424 140303427163984 140303952222107 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30949376 140730208309681 140730208309857 140730208309857 140730208313295 0
[pid=23152/tid=23162] ppid=23150 vsize=13980732 memory=1380 CPUtime=4.05 cores=0,2,4,6
/proc/23152/task/23162/stat : 23162 (java) S 23150 23150 8557 0 -1 1077944384 22103 0 0 0 403 2 0 0 20 0 15 0 120485167 14316269568 97563 18446744073709551615 4194304 4196468 140730208305424 140303426112368 140303952214658 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30949376 140730208309681 140730208309857 140730208309857 140730208313295 0
[pid=23152/tid=23163] ppid=23150 vsize=13980732 memory=1380 CPUtime=3.74 cores=0,2,4,6
/proc/23152/task/23163/stat : 23163 (java) S 23150 23150 8557 0 -1 1077944384 33284 0 0 0 370 4 0 0 20 0 15 0 120485167 14316269568 97563 18446744073709551615 4194304 4196468 140730208305424 140303425059568 140303952214658 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30949376 140730208309681 140730208309857 140730208309857 140730208313295 0
[pid=23152/tid=23164] ppid=23150 vsize=13980732 memory=7344 CPUtime=0.77 cores=0,2,4,6
/proc/23152/task/23164/stat : 23164 (java) S 23150 23150 8557 0 -1 1077944384 10205 0 0 0 75 2 0 0 20 0 15 0 120485167 14316269568 97563 18446744073709551615 4194304 4196468 140730208305424 140303424006768 140303952214658 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30949376 140730208309681 140730208309857 140730208309857 140730208313295 0
[pid=23152/tid=23165] ppid=23150 vsize=13980732 memory=1628 CPUtime=0 cores=0,2,4,6
/proc/23152/task/23165/stat : 23165 (java) S 23150 23150 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120485167 14316269568 97563 18446744073709551615 4194304 4196468 140730208305424 140303422954208 140303952213717 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30949376 140730208309681 140730208309857 140730208309857 140730208313295 0
[pid=23152/tid=23166] ppid=23150 vsize=13980732 memory=1380 CPUtime=1.29 cores=0,2,4,6
/proc/23152/task/23166/stat : 23166 (java) S 23150 23150 8557 0 -1 1077944384 801 0 0 0 69 60 0 0 20 0 15 0 120485172 14316269568 97563 18446744073709551615 4194304 4196468 140730208305424 140303421901488 140303952214658 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30949376 140730208309681 140730208309857 140730208309857 140730208313295 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 391632 KiB

Child status: 143
Real time (s): 2455.91
CPU time (s): 2520.02
CPU user time (s): 2516.02
CPU system time (s): 4.00123
CPU usage (%): 102.611
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 523848

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.02
system time used= 4.00123
maximum resident set size= 523316
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 285086
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3144
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 102527
involuntary context switches= 6513


# summary of solver processes directly reported to runsolver:
#   pid: 23150,23152
#   total CPU time (s): 2520.02
#   total CPU user time (s): 2516.02
#   total CPU system time (s): 4.00123

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.8529 second user time and 25.051 second system time

The end

Launcher Data 

Begin job on node126 at 2017-08-20 00:34:16
IDJOB=4283536
IDBENCH=116011
IDSOLVER=2679
FILE ID=node126/4283536-1503182901
RUNJOBID= node126-1503172173-21712
PBS_JOBID= 
Free space on /tmp= 62024 MiB

SOLVER NAME= choco-solver 5a
BENCH NAME= XCSP17/StillLife/StillLife-m1-s1/StillLife-09-12.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-4283536-1503182901/watcher-4283536-1503182901 -o /tmp/evaluation-result-4283536-1503182901/solver-4283536-1503182901 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1503172173-21712 --watchdog 2580  ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 103749853 HOME/instance-4283536-1503182901.xml

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

MD5SUM BENCH= a81896bc222770b6aa27c18215a8955e
RANDOM SEED=103749853

node126.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.81
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.81
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.81
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.81
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        30898444 kB
MemAvailable:   31498156 kB
Buffers:          314724 kB
Cached:           575656 kB
SwapCached:          524 kB
Active:          1024756 kB
Inactive:         375408 kB
Active(anon):     465704 kB
Inactive(anon):    93904 kB
Active(file):     559052 kB
Inactive(file):   281504 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67105588 kB
Dirty:              8140 kB
Writeback:             0 kB
AnonPages:        524012 kB
Mapped:            71944 kB
Shmem:             49824 kB
Slab:             176624 kB
SReclaimable:     149980 kB
SUnreclaim:        26644 kB
KernelStack:        3712 kB
PageTables:         6104 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1113348 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    446464 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      101760 kB
DirectMap2M:    33443840 kB

Free space on /tmp at the end= 62016 MiB
End job on node126 at 2017-08-20 01:15:12