Trace number 4271529

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 4.0.5 par (2017-08-09)OPT11 1.4206899 0.58723402

General information on the benchmark

NameGolombRuler/GolombRuler-a3-s1/
GolombRuler-05-a3.xml
MD5SUM52bc390cc6b0904238f0f092c3eebf68
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark11
Best CPU time to get the best result obtained on this benchmark0.024444001
Satisfiable
(Un)Satisfiability was proved
Number of variables30
Number of constraints13
Number of domains2
Minimum domain size500
Maximum domain size501
Distribution of domain sizes[{"size":500,"count":10},{"size":501,"count":5}]
Minimum variable degree0
Maximum variable degree6
Distribution of variable degrees[{"degree":0,"count":15},{"degree":2,"count":10},{"degree":5,"count":3},{"degree":6,"count":2}]
Minimum constraint arity1
Maximum constraint arity10
Distribution of constraint arities[{"arity":1,"count":1},{"arity":3,"count":10},{"arity":5,"count":1},{"arity":10,"count":1}]
Number of extensional constraints0
Number of intensional constraints11
Distribution of constraint types[{"type":"intension","count":11},{"type":"allDifferent","count":1},{"type":"ordered","count":1}]
Optimization problemYES
Type of objectivemin VAR

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4271529-1502642244.xml"  -tl '2016s' -p 8 -x 0
0.11/0.14	c [HOME/instance-4271529-1502642244.xml, -tl, 2016s, -p, 8, -x, 0]
0.11/0.20	c 8 solvers in parallel
0.32/0.26	c parse instance...
0.71/0.50	c solve instance...
1.01/0.56	o 12 
1.01/0.57	o 11 
1.01/0.58	s OPTIMUM FOUND
1.01/0.58	v <instantiation>
1.01/0.58	v 	<list>x[0] x[1] x[2] x[3] x[4] y[0][1] y[0][2] y[0][3] y[0][4] y[1][2] y[1][3] y[1][4] y[2][3] y[2][4] y[3][4] </list>
1.01/0.58	v 	<values>0 1 4 9 11 1 4 9 11 3 8 10 5 7 2 </values>
1.01/0.58	v </instantiation>

Verifier Data 

OK	11

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4271529-1502642244/watcher-4271529-1502642244 -o /tmp/evaluation-result-4271529-1502642244/solver-4271529-1502642244 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node104-1502637289-4437 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 671116795 HOME/instance-4271529-1502642244.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=12359, runsolver pid=12356
Current StackSize limit: 8192 KiB


[startup+0.100133 s]*
/proc/loadavg: 8.00 7.99 7.74 3/200 12380
/proc/meminfo: memFree=28577496/32770624 swapFree=67108860/67108860
[pid=12359] ppid=12356 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/12359/stat : 12359 (xcsp3-exec) S 12356 12359 4410 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 97312296 9740288 346 33554432000 4194304 5098028 140732457799728 140732457797832 139832856068732 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 21241856 140732457804907 140732457805116 140732457805116 140732457807851 0
/proc/12359/statm: 2378 346 289 221 0 87 0
[pid=12361] ppid=12359 vsize=25999808 memory=26300 CPUtime=0.11 cores=0-7
/proc/12361/stat : 12361 (java) S 12359 12359 4410 0 -1 1077944320 5477 0 0 0 10 1 0 0 20 0 20 0 97312297 26623803392 6575 33554432000 4194304 4196468 140724217796464 140724217779008 140581346385655 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 18292736 140724217803928 140724217804104 140724217804104 140724217806799 0
/proc/12361/statm: 6499952 6575 2845 1 0 6488269 0
[pid=12361/tid=12362] ppid=12359 vsize=25999808 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/12361/task/12362/stat : 12362 (java) R 12359 12359 4410 0 -1 4202560 3477 0 0 0 8 0 0 0 20 0 20 0 97312297 26623803392 6575 33554432000 4194304 4196468 140724217796464 140581350618928 140581330429285 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18292736 140724217803928 140724217804104 140724217804104 140724217806799 0
[pid=12361/tid=12363] ppid=12359 vsize=25999808 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/12361/task/12363/stat : 12363 (java) S 12359 12359 4410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97312298 26623803392 6575 33554432000 4194304 4196468 140724217796464 140581268966416 140581346395861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18292736 140724217803928 140724217804104 140724217804104 140724217806799 0
[pid=12361/tid=12364] ppid=12359 vsize=25999808 memory=140656286328448 CPUtime=0 cores=0-7
/proc/12361/task/12364/stat : 12364 (java) S 12359 12359 4410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97312298 26623803392 6575 33554432000 4194304 4196468 140724217796464 140581267913872 140581346395861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18292736 140724217803928 140724217804104 140724217804104 140724217806799 0
[pid=12361/tid=12365] ppid=12359 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/12361/task/12365/stat : 12365 (java) S 12359 12359 4410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97312298 26623803392 6575 33554432000 4194304 4196468 140724217796464 140581266860816 140581346395861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18292736 140724217803928 140724217804104 140724217804104 140724217806799 0
[pid=12361/tid=12366] ppid=12359 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/12361/task/12366/stat : 12366 (java) S 12359 12359 4410 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97312298 26623803392 6575 33554432000 4194304 4196468 140724217796464 140581265808272 140581346395861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18292736 140724217803928 140724217804104 140724217804104 140724217806799 0
[pid=12361/tid=12367] ppid=12359 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/12361/task/12367/stat : 12367 (java) S 12359 12359 4410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97312298 26623803392 6575 33554432000 4194304 4196468 140724217796464 140581264755216 140581346395861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18292736 140724217803928 140724217804104 140724217804104 140724217806799 0
[pid=12361/tid=12368] ppid=12359 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/12361/task/12368/stat : 12368 (java) S 12359 12359 4410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97312298 26623803392 6575 33554432000 4194304 4196468 140724217796464 140581263702672 140581346395861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18292736 140724217803928 140724217804104 140724217804104 140724217806799 0
[pid=12361/tid=12369] ppid=12359 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/12361/task/12369/stat : 12369 (java) S 12359 12359 4410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97312298 26623803392 6575 33554432000 4194304 4196468 140724217796464 140581262649616 140581346395861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18292736 140724217803928 140724217804104 140724217804104 140724217806799 0
[pid=12361/tid=12370] ppid=12359 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/12361/task/12370/stat : 12370 (java) S 12359 12359 4410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97312298 26623803392 6575 33554432000 4194304 4196468 140724217796464 140581261597072 140581346395861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18292736 140724217803928 140724217804104 140724217804104 140724217806799 0
[pid=12361/tid=12371] ppid=12359 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/12361/task/12371/stat : 12371 (java) S 12359 12359 4410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97312299 26623803392 6575 33554432000 4194304 4196468 140724217796464 140580540664560 140581346396802 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18292736 140724217803928 140724217804104 140724217804104 140724217806799 0
[pid=12361/tid=12372] ppid=12359 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/12361/task/12372/stat : 12372 (java) S 12359 12359 4410 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97312300 26623803392 6575 33554432000 4194304 4196468 140724217796464 140580539610784 140581346395861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18292736 140724217803928 140724217804104 140724217804104 140724217806799 0
[pid=12361/tid=12373] ppid=12359 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/12361/task/12373/stat : 12373 (java) S 12359 12359 4410 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97312300 26623803392 6575 33554432000 4194304 4196468 140724217796464 140580538557680 140581346395861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18292736 140724217803928 140724217804104 140724217804104 140724217806799 0
[pid=12361/tid=12374] ppid=12359 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/12361/task/12374/stat : 12374 (java) S 12359 12359 4410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97312302 26623803392 6575 33554432000 4194304 4196468 140724217796464 140580537506256 140581346404251 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18292736 140724217803928 140724217804104 140724217804104 140724217806799 0
[pid=12361/tid=12375] ppid=12359 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/12361/task/12375/stat : 12375 (java) S 12359 12359 4410 0 -1 1077944384 314 0 0 0 0 0 0 0 20 0 20 0 97312302 26623803392 6575 33554432000 4194304 4196468 140724217796464 140580536453360 140581346396802 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18292736 140724217803928 140724217804104 140724217804104 140724217806799 0
[pid=12361/tid=12376] ppid=12359 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/12361/task/12376/stat : 12376 (java) S 12359 12359 4410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97312302 26623803392 6575 33554432000 4194304 4196468 140724217796464 140580535400816 140581346396802 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18292736 140724217803928 140724217804104 140724217804104 140724217806799 0
[pid=12361/tid=12377] ppid=12359 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/12361/task/12377/stat : 12377 (java) S 12359 12359 4410 0 -1 1077944384 125 0 0 0 0 0 0 0 20 0 20 0 97312302 26623803392 6575 33554432000 4194304 4196468 140724217796464 140580534347760 140581346396802 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18292736 140724217803928 140724217804104 140724217804104 140724217806799 0
[pid=12361/tid=12378] ppid=12359 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/12361/task/12378/stat : 12378 (java) S 12359 12359 4410 0 -1 1077944384 255 0 0 0 1 0 0 0 20 0 20 0 97312302 26623803392 6575 33554432000 4194304 4196468 140724217796464 140580533295216 140581346396802 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18292736 140724217803928 140724217804104 140724217804104 140724217806799 0
[pid=12361/tid=12379] ppid=12359 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/12361/task/12379/stat : 12379 (java) S 12359 12359 4410 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97312303 26623803392 6575 33554432000 4194304 4196468 140724217796464 140580532243424 140581346395861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18292736 140724217803928 140724217804104 140724217804104 140724217806799 0
[pid=12361/tid=12380] ppid=12359 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/12361/task/12380/stat : 12380 (java) S 12359 12359 4410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97312303 26623803392 6575 33554432000 4194304 4196468 140724217796464 140580531190960 140581346396802 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18292736 140724217803928 140724217804104 140724217804104 140724217806799 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 27684 KiB

[startup+0.210506 s]*
/proc/loadavg: 8.00 7.99 7.74 3/200 12380
/proc/meminfo: memFree=28566208/32770624 swapFree=67108860/67108860
[pid=12359] ppid=12356 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/12359/stat : 12359 (xcsp3-exec) S 12356 12359 4410 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 97312296 9740288 346 33554432000 4194304 5098028 140732457799728 140732457797832 139832856068732 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 21241856 140732457804907 140732457805116 140732457805116 140732457807851 0
/proc/12359/statm: 2378 346 289 221 0 87 0
[pid=12361] ppid=12359 vsize=26004064 memory=38808 CPUtime=0.32 cores=0-7
/proc/12361/stat : 12361 (java) S 12359 12359 4410 0 -1 1077944320 8307 0 0 0 30 2 0 0 20 0 20 0 97312297 26628161536 9702 33554432000 4194304 4196468 140724217796464 140724217779008 140581346385655 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 18292736 140724217803928 140724217804104 140724217804104 140724217806799 0
/proc/12361/statm: 6501016 9702 3038 1 0 6488269 0
[pid=12361/tid=12362] ppid=12359 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/12361/task/12362/stat : 12362 (java) R 12359 12359 4410 0 -1 4202560 5395 0 0 0 18 1 0 0 20 0 20 0 97312297 26628161536 9702 33554432000 4194304 4196468 140724217796464 140581350606048 140581346407581 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18292736 140724217803928 140724217804104 140724217804104 140724217806799 0
[pid=12361/tid=12363] ppid=12359 vsize=26004064 memory=330 CPUtime=0 cores=0-7
/proc/12361/task/12363/stat : 12363 (java) S 12359 12359 4410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97312298 26628161536 9702 33554432000 4194304 4196468 140724217796464 140581268966416 140581346395861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18292736 140724217803928 140724217804104 140724217804104 140724217806799 0
[pid=12361/tid=12364] ppid=12359 vsize=26004064 memory=288371032438040192 CPUtime=0 cores=0-7
/proc/12361/task/12364/stat : 12364 (java) S 12359 12359 4410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97312298 26628161536 9702 33554432000 4194304 4196468 140724217796464 140581267913872 140581346395861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18292736 140724217803928 140724217804104 140724217804104 140724217806799 0
[pid=12361/tid=12365] ppid=12359 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/12361/task/12365/stat : 12365 (java) S 12359 12359 4410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97312298 26628161536 9702 33554432000 4194304 4196468 140724217796464 140581266860816 140581346395861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18292736 140724217803928 140724217804104 140724217804104 140724217806799 0
[pid=12361/tid=12366] ppid=12359 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/12361/task/12366/stat : 12366 (java) S 12359 12359 4410 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97312298 26628161536 9702 33554432000 4194304 4196468 140724217796464 140581265808272 140581346395861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18292736 140724217803928 140724217804104 140724217804104 140724217806799 0
[pid=12361/tid=12367] ppid=12359 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/12361/task/12367/stat : 12367 (java) S 12359 12359 4410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97312298 26628161536 9702 33554432000 4194304 4196468 140724217796464 140581264755216 140581346395861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18292736 140724217803928 140724217804104 140724217804104 140724217806799 0
[pid=12361/tid=12368] ppid=12359 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/12361/task/12368/stat : 12368 (java) S 12359 12359 4410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97312298 26628161536 9702 33554432000 4194304 4196468 140724217796464 140581263702672 140581346395861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18292736 140724217803928 140724217804104 140724217804104 140724217806799 0
[pid=12361/tid=12369] ppid=12359 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/12361/task/12369/stat : 12369 (java) S 12359 12359 4410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97312298 26628161536 9702 33554432000 4194304 4196468 140724217796464 140581262649616 140581346395861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18292736 140724217803928 140724217804104 140724217804104 140724217806799 0
[pid=12361/tid=12370] ppid=12359 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/12361/task/12370/stat : 12370 (java) S 12359 12359 4410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97312298 26628161536 9702 33554432000 4194304 4196468 140724217796464 140581261597072 140581346395861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18292736 140724217803928 140724217804104 140724217804104 140724217806799 0
[pid=12361/tid=12371] ppid=12359 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/12361/task/12371/stat : 12371 (java) S 12359 12359 4410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97312299 26628161536 9702 33554432000 4194304 4196468 140724217796464 140580540664560 140581346396802 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18292736 140724217803928 140724217804104 140724217804104 140724217806799 0
[pid=12361/tid=12372] ppid=12359 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/12361/task/12372/stat : 12372 (java) S 12359 12359 4410 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97312300 26628161536 9702 33554432000 4194304 4196468 140724217796464 140580539610784 140581346395861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18292736 140724217803928 140724217804104 140724217804104 140724217806799 0
[pid=12361/tid=12373] ppid=12359 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/12361/task/12373/stat : 12373 (java) S 12359 12359 4410 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97312300 26628161536 9702 33554432000 4194304 4196468 140724217796464 140580538557680 140581346395861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18292736 140724217803928 140724217804104 140724217804104 140724217806799 0
[pid=12361/tid=12374] ppid=12359 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/12361/task/12374/stat : 12374 (java) S 12359 12359 4410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97312302 26628161536 9702 33554432000 4194304 4196468 140724217796464 140580537506256 140581346404251 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18292736 140724217803928 140724217804104 140724217804104 140724217806799 0
[pid=12361/tid=12375] ppid=12359 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/12361/task/12375/stat : 12375 (java) S 12359 12359 4410 0 -1 1077944384 360 0 0 0 0 0 0 0 20 0 20 0 97312302 26628161536 9702 33554432000 4194304 4196468 140724217796464 140580536453360 140581346396802 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18292736 140724217803928 140724217804104 140724217804104 140724217806799 0
[pid=12361/tid=12376] ppid=12359 vsize=26004064 memory=0 CPUtime=0.02 cores=0-7
/proc/12361/task/12376/stat : 12376 (java) S 12359 12359 4410 0 -1 1077944384 295 0 0 0 2 0 0 0 20 0 20 0 97312302 26628161536 9702 33554432000 4194304 4196468 140724217796464 140580535400816 140581346396802 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18292736 140724217803928 140724217804104 140724217804104 140724217806799 0
[pid=12361/tid=12377] ppid=12359 vsize=26004096 memory=-1 CPUtime=0 cores=0-7
/proc/12361/task/12377/stat : 12377 (java) S 12359 12359 4410 0 -1 1077944384 185 0 0 0 0 0 0 0 20 0 20 0 97312302 26628194304 9702 33554432000 4194304 4196468 140724217796464 140580534347760 140581346396802 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18292736 140724217803928 140724217804104 140724217804104 140724217806799 0
[pid=12361/tid=12378] ppid=12359 vsize=26004096 memory=-1 CPUtime=0.08 cores=0-7
/proc/12361/task/12378/stat : 12378 (java) S 12359 12359 4410 0 -1 1077944384 764 0 0 0 8 0 0 0 20 0 20 0 97312302 26628194304 9702 33554432000 4194304 4196468 140724217796464 140580533295216 140581346396802 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18292736 140724217803928 140724217804104 140724217804104 140724217806799 0
[pid=12361/tid=12379] ppid=12359 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/12361/task/12379/stat : 12379 (java) S 12359 12359 4410 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97312303 26628161536 9722 33554432000 4194304 4196468 140724217796464 140580532243424 140581346395861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18292736 140724217803928 140724217804104 140724217804104 140724217806799 0
[pid=12361/tid=12380] ppid=12359 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/12361/task/12380/stat : 12380 (java) S 12359 12359 4410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97312303 26628161536 9722 33554432000 4194304 4196468 140724217796464 140580531190960 140581346396802 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18292736 140724217803928 140724217804104 140724217804104 140724217806799 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40192 KiB

[startup+0.310403 s]*
/proc/loadavg: 8.00 7.99 7.74 4/200 12380
/proc/meminfo: memFree=28559260/32770624 swapFree=67108860/67108860
[pid=12359] ppid=12356 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/12359/stat : 12359 (xcsp3-exec) S 12356 12359 4410 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 97312296 9740288 346 33554432000 4194304 5098028 140732457799728 140732457797832 139832856068732 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 21241856 140732457804907 140732457805116 140732457805116 140732457807851 0
/proc/12359/statm: 2378 346 289 221 0 87 0
[pid=12361] ppid=12359 vsize=26004140 memory=45832 CPUtime=0.49 cores=0-7
/proc/12361/stat : 12361 (java) S 12359 12359 4410 0 -1 1077944320 9259 0 0 0 46 3 0 0 20 0 20 0 97312297 26628239360 11458 33554432000 4194304 4196468 140724217796464 140724217779008 140581346385655 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 18292736 140724217803928 140724217804104 140724217804104 140724217806799 0
/proc/12361/statm: 6501035 11458 3093 1 0 6488269 0
[pid=12361/tid=12362] ppid=12359 vsize=26004140 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/12361/task/12362/stat : 12362 (java) R 12359 12359 4410 0 -1 4202560 6195 0 0 0 27 2 0 0 20 0 20 0 97312297 26628239360 11458 33554432000 4194304 4196468 140724217796464 140581350622880 140581330466142 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18292736 140724217803928 140724217804104 140724217804104 140724217806799 0
[pid=12361/tid=12363] ppid=12359 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/12361/task/12363/stat : 12363 (java) S 12359 12359 4410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97312298 26628239360 11458 33554432000 4194304 4196468 140724217796464 140581268966416 140581346395861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18292736 140724217803928 140724217804104 140724217804104 140724217806799 0
[pid=12361/tid=12364] ppid=12359 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/12361/task/12364/stat : 12364 (java) S 12359 12359 4410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97312298 26628239360 11458 33554432000 4194304 4196468 140724217796464 140581267913872 140581346395861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18292736 140724217803928 140724217804104 140724217804104 140724217806799 0
[pid=12361/tid=12365] ppid=12359 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/12361/task/12365/stat : 12365 (java) S 12359 12359 4410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97312298 26628239360 11458 33554432000 4194304 4196468 140724217796464 140581266860816 140581346395861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18292736 140724217803928 140724217804104 140724217804104 140724217806799 0
[pid=12361/tid=12366] ppid=12359 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/12361/task/12366/stat : 12366 (java) S 12359 12359 4410 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97312298 26628239360 11458 33554432000 4194304 4196468 140724217796464 140581265808272 140581346395861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18292736 140724217803928 140724217804104 140724217804104 140724217806799 0
[pid=12361/tid=12367] ppid=12359 vsize=26004140 memory=2244 CPUtime=0 cores=0-7
/proc/12361/task/12367/stat : 12367 (java) S 12359 12359 4410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97312298 26628239360 11458 33554432000 4194304 4196468 140724217796464 140581264755216 140581346395861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18292736 140724217803928 140724217804104 140724217804104 140724217806799 0
[pid=12361/tid=12368] ppid=12359 vsize=26004140 memory=140656152507311 CPUtime=0 cores=0-7
/proc/12361/task/12368/stat : 12368 (java) S 12359 12359 4410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97312298 26628239360 11458 33554432000 4194304 4196468 140724217796464 140581263702672 140581346395861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18292736 140724217803928 140724217804104 140724217804104 140724217806799 0
[pid=12361/tid=12369] ppid=12359 vsize=26004140 memory=140656152509616 CPUtime=0 cores=0-7
/proc/12361/task/12369/stat : 12369 (java) S 12359 12359 4410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97312298 26628239360 11458 33554432000 4194304 4196468 140724217796464 140581262649616 140581346395861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18292736 140724217803928 140724217804104 140724217804104 140724217806799 0
[pid=12361/tid=12370] ppid=12359 vsize=26004140 memory=140656152511920 CPUtime=0 cores=0-7
/proc/12361/task/12370/stat : 12370 (java) S 12359 12359 4410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97312298 26628239360 11458 33554432000 4194304 4196468 140724217796464 140581261597072 140581346395861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18292736 140724217803928 140724217804104 140724217804104 140724217806799 0
[pid=12361/tid=12371] ppid=12359 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/12361/task/12371/stat : 12371 (java) S 12359 12359 4410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97312299 26628239360 11458 33554432000 4194304 4196468 140724217796464 140580540664560 140581346396802 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18292736 140724217803928 140724217804104 140724217804104 140724217806799 0
[pid=12361/tid=12372] ppid=12359 vsize=26004140 memory=281312305030800 CPUtime=0 cores=0-7
/proc/12361/task/12372/stat : 12372 (java) S 12359 12359 4410 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97312300 26628239360 11458 33554432000 4194304 4196468 140724217796464 140580539610784 140581346395861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18292736 140724217803928 140724217804104 140724217804104 140724217806799 0
[pid=12361/tid=12373] ppid=12359 vsize=26004140 memory=281312305037712 CPUtime=0 cores=0-7
/proc/12361/task/12373/stat : 12373 (java) S 12359 12359 4410 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97312300 26628239360 11458 33554432000 4194304 4196468 140724217796464 140580538557680 140581346395861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18292736 140724217803928 140724217804104 140724217804104 140724217806799 0
[pid=12361/tid=12374] ppid=12359 vsize=26004140 memory=281312304978992 CPUtime=0 cores=0-7
/proc/12361/task/12374/stat : 12374 (java) S 12359 12359 4410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97312302 26628239360 11458 33554432000 4194304 4196468 140724217796464 140580537506256 140581346404251 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18292736 140724217803928 140724217804104 140724217804104 140724217806799 0
[pid=12361/tid=12375] ppid=12359 vsize=26004140 memory=281312305051536 CPUtime=0.02 cores=0-7
/proc/12361/task/12375/stat : 12375 (java) S 12359 12359 4410 0 -1 1077944384 438 0 0 0 2 0 0 0 20 0 20 0 97312302 26628239360 11458 33554432000 4194304 4196468 140724217796464 140580536453360 140581346396802 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18292736 140724217803928 140724217804104 140724217804104 140724217806799 0
[pid=12361/tid=12376] ppid=12359 vsize=26004140 memory=281312305058448 CPUtime=0.02 cores=0-7
/proc/12361/task/12376/stat : 12376 (java) S 12359 12359 4410 0 -1 1077944384 295 0 0 0 2 0 0 0 20 0 20 0 97312302 26628239360 11458 33554432000 4194304 4196468 140724217796464 140580535400816 140581346396802 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18292736 140724217803928 140724217804104 140724217804104 140724217806799 0
[pid=12361/tid=12377] ppid=12359 vsize=26004140 memory=281312305056144 CPUtime=0.01 cores=0-7
/proc/12361/task/12377/stat : 12377 (java) S 12359 12359 4410 0 -1 1077944384 187 0 0 0 1 0 0 0 20 0 20 0 97312302 26628239360 11458 33554432000 4194304 4196468 140724217796464 140580534347760 140581346396802 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18292736 140724217803928 140724217804104 140724217804104 140724217806799 0
[pid=12361/tid=12378] ppid=12359 vsize=26004140 memory=281312305072304 CPUtime=0.12 cores=0-7
/proc/12361/task/12378/stat : 12378 (java) S 12359 12359 4410 0 -1 1077944384 844 0 0 0 12 0 0 0 20 0 20 0 97312302 26628239360 11458 33554432000 4194304 4196468 140724217796464 140580533295216 140581346396802 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18292736 140724217803928 140724217804104 140724217804104 140724217806799 0
[pid=12361/tid=12379] ppid=12359 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/12361/task/12379/stat : 12379 (java) S 12359 12359 4410 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97312303 26628239360 11458 33554432000 4194304 4196468 140724217796464 140580532243424 140581346395861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18292736 140724217803928 140724217804104 140724217804104 140724217806799 0
[pid=12361/tid=12380] ppid=12359 vsize=26004140 memory=-1 CPUtime=0 cores=0-7
/proc/12361/task/12380/stat : 12380 (java) S 12359 12359 4410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97312303 26628239360 11458 33554432000 4194304 4196468 140724217796464 140580531190960 140581346396802 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18292736 140724217803928 140724217804104 140724217804104 140724217806799 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 26013652 KiB
Current children cumulated memory: 47216 KiB

[startup+0.587193 s]
# the end of solver process 12359 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1.3465 s, system=0.074186 s

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

[startup+0.410319 s]*
/proc/loadavg: 8.00 7.99 7.74 4/200 12380
/proc/meminfo: memFree=28552576/32770624 swapFree=67108860/67108860
[pid=12359] ppid=12356 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/12359/stat : 12359 (xcsp3-exec) S 12356 12359 4410 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 97312296 9740288 346 33554432000 4194304 5098028 140732457799728 140732457797832 139832856068732 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 21241856 140732457804907 140732457805116 140732457805116 140732457807851 0
/proc/12359/statm: 2378 346 289 221 0 87 0
[pid=12361] ppid=12359 vsize=26006188 memory=52472 CPUtime=0.71 cores=0-7
/proc/12361/stat : 12361 (java) S 12359 12359 4410 0 -1 1077944320 10017 0 0 0 67 4 0 0 20 0 20 0 97312297 26630336512 13118 33554432000 4194304 4196468 140724217796464 140724217779008 140581346385655 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 18292736 140724217803928 140724217804104 140724217804104 140724217806799 0
/proc/12361/statm: 6501547 13118 3116 1 0 6488781 0
[pid=12361/tid=12362] ppid=12359 vsize=26006188 memory=8318255677412212789 CPUtime=0.38 cores=0-7
/proc/12361/task/12362/stat : 12362 (java) R 12359 12359 4410 0 -1 4202560 6658 0 0 0 36 2 0 0 20 0 20 0 97312297 26630336512 13184 33554432000 4194304 4196468 140724217796464 140581350607968 140581330466142 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18292736 140724217803928 140724217804104 140724217804104 140724217806799 0
[pid=12361/tid=12363] ppid=12359 vsize=26006188 memory=288230600413020516 CPUtime=0 cores=0-7
/proc/12361/task/12363/stat : 12363 (java) S 12359 12359 4410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97312298 26630336512 13184 33554432000 4194304 4196468 140724217796464 140581268966416 140581346395861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18292736 140724217803928 140724217804104 140724217804104 140724217806799 0
[pid=12361/tid=12364] ppid=12359 vsize=26006188 memory=288371032438040192 CPUtime=0 cores=0-7
/proc/12361/task/12364/stat : 12364 (java) S 12359 12359 4410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97312298 26630336512 13184 33554432000 4194304 4196468 140724217796464 140581267913872 140581346395861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18292736 140724217803928 140724217804104 140724217804104 140724217806799 0
[pid=12361/tid=12365] ppid=12359 vsize=26006188 memory=-1 CPUtime=0 cores=0-7
/proc/12361/task/12365/stat : 12365 (java) S 12359 12359 4410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97312298 26630336512 13184 33554432000 4194304 4196468 140724217796464 140581266860816 140581346395861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18292736 140724217803928 140724217804104 140724217804104 140724217806799 0
[pid=12361/tid=12366] ppid=12359 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/12361/task/12366/stat : 12366 (java) S 12359 12359 4410 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97312298 26630336512 13184 33554432000 4194304 4196468 140724217796464 140581265808272 140581346395861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18292736 140724217803928 140724217804104 140724217804104 140724217806799 0
[pid=12361/tid=12367] ppid=12359 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/12361/task/12367/stat : 12367 (java) S 12359 12359 4410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97312298 26630336512 13184 33554432000 4194304 4196468 140724217796464 140581264755216 140581346395861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18292736 140724217803928 140724217804104 140724217804104 140724217806799 0
[pid=12361/tid=12368] ppid=12359 vsize=26006188 memory=-1 CPUtime=0 cores=0-7
/proc/12361/task/12368/stat : 12368 (java) S 12359 12359 4410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97312298 26630336512 13184 33554432000 4194304 4196468 140724217796464 140581263702672 140581346395861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18292736 140724217803928 140724217804104 140724217804104 140724217806799 0
[pid=12361/tid=12369] ppid=12359 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/12361/task/12369/stat : 12369 (java) S 12359 12359 4410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97312298 26630336512 13184 33554432000 4194304 4196468 140724217796464 140581262649616 140581346395861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18292736 140724217803928 140724217804104 140724217804104 140724217806799 0
[pid=12361/tid=12370] ppid=12359 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/12361/task/12370/stat : 12370 (java) S 12359 12359 4410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97312298 26630336512 13184 33554432000 4194304 4196468 140724217796464 140581261597072 140581346395861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18292736 140724217803928 140724217804104 140724217804104 140724217806799 0
[pid=12361/tid=12371] ppid=12359 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/12361/task/12371/stat : 12371 (java) S 12359 12359 4410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97312299 26630336512 13184 33554432000 4194304 4196468 140724217796464 140580540664560 140581346396802 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18292736 140724217803928 140724217804104 140724217804104 140724217806799 0
[pid=12361/tid=12372] ppid=12359 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/12361/task/12372/stat : 12372 (java) S 12359 12359 4410 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97312300 26630336512 13184 33554432000 4194304 4196468 140724217796464 140580539610784 140581346395861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18292736 140724217803928 140724217804104 140724217804104 140724217806799 0
[pid=12361/tid=12373] ppid=12359 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/12361/task/12373/stat : 12373 (java) S 12359 12359 4410 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97312300 26630336512 13184 33554432000 4194304 4196468 140724217796464 140580538557680 140581346395861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18292736 140724217803928 140724217804104 140724217804104 140724217806799 0
[pid=12361/tid=12374] ppid=12359 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/12361/task/12374/stat : 12374 (java) S 12359 12359 4410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97312302 26630336512 13184 33554432000 4194304 4196468 140724217796464 140580537506256 140581346404251 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18292736 140724217803928 140724217804104 140724217804104 140724217806799 0
[pid=12361/tid=12375] ppid=12359 vsize=26006188 memory=0 CPUtime=0.04 cores=0-7
/proc/12361/task/12375/stat : 12375 (java) R 12359 12359 4410 0 -1 4202560 459 0 0 0 4 0 0 0 20 0 20 0 97312302 26630336512 13184 33554432000 4194304 4196468 140724217796464 140580536441952 140581338675104 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18292736 140724217803928 140724217804104 140724217804104 140724217806799 0
[pid=12361/tid=12376] ppid=12359 vsize=26006188 memory=0 CPUtime=0.04 cores=0-7
/proc/12361/task/12376/stat : 12376 (java) R 12359 12359 4410 0 -1 4202560 358 0 0 0 4 0 0 0 20 0 20 0 97312302 26630336512 13250 33554432000 4194304 4196468 140724217796464 140580535400816 140581329860760 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18292736 140724217803928 140724217804104 140724217804104 140724217806799 0
[pid=12361/tid=12377] ppid=12359 vsize=26006188 memory=-1 CPUtime=0.04 cores=0-7
/proc/12361/task/12377/stat : 12377 (java) S 12359 12359 4410 0 -1 1077944384 329 0 0 0 4 0 0 0 20 0 20 0 97312302 26630336512 13250 33554432000 4194304 4196468 140724217796464 140580534347760 140581346396802 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18292736 140724217803928 140724217804104 140724217804104 140724217806799 0
[pid=12361/tid=12378] ppid=12359 vsize=26006188 memory=0 CPUtime=0.16 cores=0-7
/proc/12361/task/12378/stat : 12378 (java) S 12359 12359 4410 0 -1 1077944384 962 0 0 0 16 0 0 0 20 0 20 0 97312302 26630336512 13250 33554432000 4194304 4196468 140724217796464 140580533295216 140581346396802 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18292736 140724217803928 140724217804104 140724217804104 140724217806799 0
[pid=12361/tid=12379] ppid=12359 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/12361/task/12379/stat : 12379 (java) S 12359 12359 4410 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97312303 26630336512 13250 33554432000 4194304 4196468 140724217796464 140580532243424 140581346395861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18292736 140724217803928 140724217804104 140724217804104 140724217806799 0
[pid=12361/tid=12380] ppid=12359 vsize=26006188 memory=-1 CPUtime=0 cores=0-7
/proc/12361/task/12380/stat : 12380 (java) S 12359 12359 4410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97312303 26630336512 13250 33554432000 4194304 4196468 140724217796464 140580531190960 140581346396802 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18292736 140724217803928 140724217804104 140724217804104 140724217806799 0
Current children cumulated CPU time: 0.71 s
Current children cumulated vsize: 26015700 KiB
Current children cumulated memory: 53856 KiB

[startup+0.510114 s]*
/proc/loadavg: 8.00 7.99 7.74 2/200 12380
/proc/meminfo: memFree=28542900/32770624 swapFree=67108860/67108860
[pid=12359] ppid=12356 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/12359/stat : 12359 (xcsp3-exec) S 12356 12359 4410 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 97312296 9740288 346 33554432000 4194304 5098028 140732457799728 140732457797832 139832856068732 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 21241856 140732457804907 140732457805116 140732457805116 140732457807851 0
/proc/12359/statm: 2378 346 289 221 0 87 0
[pid=12361] ppid=12359 vsize=26538732 memory=81744 CPUtime=1.01 cores=0-7
/proc/12361/stat : 12361 (java) S 12359 12359 4410 0 -1 1077944320 11776 0 0 0 96 5 0 0 20 0 28 0 97312297 27175661568 20436 33554432000 4194304 4196468 140724217796464 140724217779008 140581346385655 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 18292736 140724217803928 140724217804104 140724217804104 140724217806799 0
/proc/12361/statm: 6634683 20436 3194 1 0 6621917 0
[pid=12361/tid=12362] ppid=12359 vsize=26538700 memory=6791534058613427641 CPUtime=0.48 cores=0-7
/proc/12361/task/12362/stat : 12362 (java) S 12359 12359 4410 0 -1 1077944384 6818 0 0 0 45 3 0 0 20 0 28 0 97312297 27175628800 20436 33554432000 4194304 4196468 140724217796464 140581350626432 140581346395861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18292736 140724217803928 140724217804104 140724217804104 140724217806799 0
[pid=12361/tid=12363] ppid=12359 vsize=26538700 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/12361/task/12363/stat : 12363 (java) S 12359 12359 4410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 97312298 27175628800 20436 33554432000 4194304 4196468 140724217796464 140581268966416 140581346395861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18292736 140724217803928 140724217804104 140724217804104 140724217806799 0
[pid=12361/tid=12364] ppid=12359 vsize=26538700 memory=1692 CPUtime=0 cores=0-7
/proc/12361/task/12364/stat : 12364 (java) S 12359 12359 4410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 97312298 27175628800 20436 33554432000 4194304 4196468 140724217796464 140581267913872 140581346395861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18292736 140724217803928 140724217804104 140724217804104 140724217806799 0
[pid=12361/tid=12365] ppid=12359 vsize=26538700 memory=916 CPUtime=0 cores=0-7
/proc/12361/task/12365/stat : 12365 (java) S 12359 12359 4410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 97312298 27175628800 20436 33554432000 4194304 4196468 140724217796464 140581266860816 140581346395861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18292736 140724217803928 140724217804104 140724217804104 140724217806799 0
[pid=12361/tid=12366] ppid=12359 vsize=26538700 memory=4500 CPUtime=0 cores=0-7
/proc/12361/task/12366/stat : 12366 (java) S 12359 12359 4410 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 97312298 27175628800 20436 33554432000 4194304 4196468 140724217796464 140581265808272 140581346395861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18292736 140724217803928 140724217804104 140724217804104 140724217806799 0
[pid=12361/tid=12367] ppid=12359 vsize=26538700 memory=4100 CPUtime=0 cores=0-7
/proc/12361/task/12367/stat : 12367 (java) S 12359 12359 4410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 97312298 27175628800 20436 33554432000 4194304 4196468 140724217796464 140581264755216 140581346395861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18292736 140724217803928 140724217804104 140724217804104 140724217806799 0
[pid=12361/tid=12368] ppid=12359 vsize=26538700 memory=1156 CPUtime=0 cores=0-7
/proc/12361/task/12368/stat : 12368 (java) S 12359 12359 4410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 97312298 27175628800 20436 33554432000 4194304 4196468 140724217796464 140581263702672 140581346395861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18292736 140724217803928 140724217804104 140724217804104 140724217806799 0
[pid=12361/tid=12369] ppid=12359 vsize=26538700 memory=2256 CPUtime=0 cores=0-7
/proc/12361/task/12369/stat : 12369 (java) S 12359 12359 4410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 97312298 27175628800 20436 33554432000 4194304 4196468 140724217796464 140581262649616 140581346395861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18292736 140724217803928 140724217804104 140724217804104 140724217806799 0
[pid=12361/tid=12370] ppid=12359 vsize=26538700 memory=1384 CPUtime=0 cores=0-7
/proc/12361/task/12370/stat : 12370 (java) S 12359 12359 4410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 97312298 27175628800 20436 33554432000 4194304 4196468 140724217796464 140581261597072 140581346395861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18292736 140724217803928 140724217804104 140724217804104 140724217806799 0
[pid=12361/tid=12371] ppid=12359 vsize=26538700 memory=45832 CPUtime=0 cores=0-7
/proc/12361/task/12371/stat : 12371 (java) S 12359 12359 4410 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 97312299 27175628800 20436 33554432000 4194304 4196468 140724217796464 140580540664560 140581346396802 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18292736 140724217803928 140724217804104 140724217804104 140724217806799 0
[pid=12361/tid=12372] ppid=12359 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/12361/task/12372/stat : 12372 (java) S 12359 12359 4410 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 97312300 27175628800 20436 33554432000 4194304 4196468 140724217796464 140580539610784 140581346395861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18292736 140724217803928 140724217804104 140724217804104 140724217806799 0
[pid=12361/tid=12373] ppid=12359 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/12361/task/12373/stat : 12373 (java) S 12359 12359 4410 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 97312300 27175628800 20436 33554432000 4194304 4196468 140724217796464 140580538557680 140581346395861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18292736 140724217803928 140724217804104 140724217804104 140724217806799 0
[pid=12361/tid=12374] ppid=12359 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/12361/task/12374/stat : 12374 (java) S 12359 12359 4410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 97312302 27175628800 20436 33554432000 4194304 4196468 140724217796464 140580537506256 140581346404251 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18292736 140724217803928 140724217804104 140724217804104 140724217806799 0
[pid=12361/tid=12375] ppid=12359 vsize=26538700 memory=0 CPUtime=0.08 cores=0-7
/proc/12361/task/12375/stat : 12375 (java) S 12359 12359 4410 0 -1 1077944384 890 0 0 0 8 0 0 0 20 0 28 0 97312302 27175628800 20436 33554432000 4194304 4196468 140724217796464 140580536453360 140581346396802 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18292736 140724217803928 140724217804104 140724217804104 140724217806799 0
[pid=12361/tid=12376] ppid=12359 vsize=26538700 memory=0 CPUtime=0.09 cores=0-7
/proc/12361/task/12376/stat : 12376 (java) R 12359 12359 4410 0 -1 1077944384 761 0 0 0 9 0 0 0 20 0 28 0 97312302 27175628800 20436 33554432000 4194304 4196468 140724217796464 140580535400816 140581346396802 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18292736 140724217803928 140724217804104 140724217804104 140724217806799 0
[pid=12361/tid=12377] ppid=12359 vsize=26538700 memory=-1 CPUtime=0.07 cores=0-7
/proc/12361/task/12377/stat : 12377 (java) S 12359 12359 4410 0 -1 1077944384 487 0 0 0 7 0 0 0 20 0 28 0 97312302 27175628800 20436 33554432000 4194304 4196468 140724217796464 140580534347760 140581346396802 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18292736 140724217803928 140724217804104 140724217804104 140724217806799 0
[pid=12361/tid=12378] ppid=12359 vsize=26538700 memory=140656152507311 CPUtime=0.23 cores=0-7
/proc/12361/task/12378/stat : 12378 (java) R 12359 12359 4410 0 -1 4202560 1254 0 0 0 23 0 0 0 20 0 28 0 97312302 27175628800 20436 33554432000 4194304 4196468 140724217796464 140580533295216 140581325360783 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18292736 140724217803928 140724217804104 140724217804104 140724217806799 0
[pid=12361/tid=12379] ppid=12359 vsize=26538700 memory=3760561988245206048 CPUtime=0 cores=0-7
/proc/12361/task/12379/stat : 12379 (java) S 12359 12359 4410 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 97312303 27175628800 20436 33554432000 4194304 4196468 140724217796464 140580532243424 140581346395861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18292736 140724217803928 140724217804104 140724217804104 140724217806799 0
[pid=12361/tid=12380] ppid=12359 vsize=26538700 memory=4049358621356603448 CPUtime=0 cores=0-7
/proc/12361/task/12380/stat : 12380 (java) S 12359 12359 4410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 97312303 27175628800 20436 33554432000 4194304 4196468 140724217796464 140580531190960 140581346396802 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18292736 140724217803928 140724217804104 140724217804104 140724217806799 0
[pid=12361/tid=12381] ppid=12359 vsize=26538700 memory=140656286328447 CPUtime=0 cores=0-7
/proc/12361/task/12381/stat : 12381 (java) R 12359 12359 4410 0 -1 4202560 83 0 0 0 0 0 0 0 20 0 28 0 97312348 27175628800 20436 33554432000 4194304 4196468 140724217796464 140580523172576 140581346407002 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18292736 140724217803928 140724217804104 140724217804104 140724217806799 0
[pid=12361/tid=12382] ppid=12359 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/12361/task/12382/stat : 12382 (java) S 12359 12359 4410 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 28 0 97312348 27175628800 20436 33554432000 4194304 4196468 140724217796464 140580522126976 140581346395861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18292736 140724217803928 140724217804104 140724217804104 140724217806799 0
[pid=12361/tid=12383] ppid=12359 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/12361/task/12383/stat : 12383 (java) S 12359 12359 4410 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 28 0 97312348 27175628800 20436 33554432000 4194304 4196468 140724217796464 140579598486688 140581346396802 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18292736 140724217803928 140724217804104 140724217804104 140724217806799 0
[pid=12361/tid=12384] ppid=12359 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/12361/task/12384/stat : 12384 (java) R 12359 12359 4410 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 28 0 97312348 27175628800 20436 33554432000 4194304 4196468 140724217796464 140579597438544 140581346395861 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18292736 140724217803928 140724217804104 140724217804104 140724217806799 0
[pid=12361/tid=12385] ppid=12359 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/12361/task/12385/stat : 12385 (java) R 12359 12359 4410 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 28 0 97312348 27175628800 20436 33554432000 4194304 4196468 140724217796464 140579596385488 140581346397590 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18292736 140724217803928 140724217804104 140724217804104 140724217806799 0
[pid=12361/tid=12386] ppid=12359 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/12361/task/12386/stat : 12386 (java) R 12359 12359 4410 0 -1 4202560 31 0 0 0 0 0 0 0 20 0 28 0 97312348 27175628800 20436 33554432000 4194304 4196468 140724217796464 140579595328368 140581346397590 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18292736 140724217803928 140724217804104 140724217804104 140724217806799 0
[pid=12361/tid=12387] ppid=12359 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/12361/task/12387/stat : 12387 (java) R 12359 12359 4410 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 28 0 97312348 27175628800 20436 33554432000 4194304 4196468 140724217796464 140579594276608 140581346397590 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18292736 140724217803928 140724217804104 140724217804104 140724217806799 0
[pid=12361/tid=12388] ppid=12359 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/12361/task/12388/stat : 12388 (java) S 12359 12359 4410 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 97312348 27175628800 20436 33554432000 4194304 4196468 140724217796464 140579593226432 140581346395861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18292736 140724217803928 140724217804104 140724217804104 140724217806799 0
Current children cumulated CPU time: 1.01 s
Current children cumulated vsize: 26548244 KiB
Current children cumulated memory: 83128 KiB

Child status: 0
Real time (s): 0.587234
CPU time (s): 1.42069
CPU user time (s): 1.3465
CPU system time (s): 0.074186
CPU usage (%): 241.929
Max. virtual memory (cumulated for all children) (KiB): 26548244
Max. memory (cumulated for all children) (KiB): 83128

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.3465
system time used= 0.074186
maximum resident set size= 123836
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12789
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2530
involuntary context switches= 5


# summary of solver processes directly reported to runsolver:
#   pid: 12359
#   total CPU time (s): 1.42069
#   total CPU user time (s): 1.3465
#   total CPU system time (s): 0.074186

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.024793 second user time and 0.048595 second system time

The end

Launcher Data 

Begin job on node104 at 2017-08-13 18:23:05
IDJOB=4271529
IDBENCH=126209
IDSOLVER=2663
FILE ID=node104/4271529-1502642244
RUNJOBID= node104-1502637289-4437
PBS_JOBID= 20628328
Free space on /tmp= 61864 MiB

SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/GolombRuler/GolombRuler-a3-s1/GolombRuler-05-a3.xml
COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 22000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4271529-1502642244/watcher-4271529-1502642244 -o /tmp/evaluation-result-4271529-1502642244/solver-4271529-1502642244 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node104-1502637289-4437 --watchdog 312  ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 671116795 HOME/instance-4271529-1502642244.xml

TIME LIMIT= 2016 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8

MD5SUM BENCH= 52bc390cc6b0904238f0f092c3eebf68
RANDOM SEED=671116795

node104.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.43
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.43
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.43
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.43
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:        28593596 kB
MemAvailable:   31983576 kB
Buffers:          161404 kB
Cached:          3510144 kB
SwapCached:            0 kB
Active:           351104 kB
Inactive:        3371052 kB
Active(anon):      53592 kB
Inactive(anon):    25024 kB
Active(file):     297512 kB
Inactive(file):  3346028 kB
Unevictable:        6532 kB
Mlocked:            6532 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7572 kB
Writeback:             0 kB
AnonPages:         53428 kB
Mapped:            43536 kB
Shmem:             25228 kB
Slab:             150192 kB
SReclaimable:     124548 kB
SUnreclaim:        25644 kB
KernelStack:        3200 kB
PageTables:         4328 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     324128 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      112000 kB
DirectMap2M:    33433600 kB

Free space on /tmp at the end= 61856 MiB
End job on node104 at 2017-08-13 18:23:06