Trace number 4407261

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 2019-09-24 parallelOPT3 15.1474 2.40629

General information on the benchmark

NameBinPacking/BinPacking-sum-skj2/
BinPacking-sum-n1w1b1r5.xml
MD5SUM15a2bddfb10fd8a6157ce871797528b8
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark3
Best CPU time to get the best result obtained on this benchmark1.72611
Satisfiable
(Un)Satisfiability was proved
Number of variables61
Number of constraints43
Number of domains2
Minimum domain size21
Maximum domain size42
Distribution of domain sizes[{"size":21,"count":1},{"size":42,"count":60}]
Minimum variable degree2
Maximum variable degree5
Distribution of variable degrees[{"degree":2,"count":1},{"degree":4,"count":40},{"degree":5,"count":20}]
Minimum constraint arity3
Maximum constraint arity60
Distribution of constraint arities[{"arity":3,"count":40},{"arity":21,"count":1},{"arity":60,"count":2}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"ordered","count":20},{"type":"lex","count":1},{"type":"sum","count":20},{"type":"count","count":1},{"type":"cardinality","count":1}]
Optimization problemYES
Type of objectivemax 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 -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4407261-1569348597.xml"  -tl '2016s' -p 8
0.13/0.18	c Choco e747e1e
0.13/0.18	c [HOME/instance-4407261-1569348597.xml, -tl, 2016s, -p, 8]
0.34/0.22	c 8 solvers in parallel
0.34/0.29	c parse instance...
1.03/0.59	c solve instance...
9.15/1.69	o 0 
13.87/2.24	o 1 
13.87/2.26	o 2 
14.56/2.36	o 3 
14.56/2.38	s OPTIMUM FOUND
14.56/2.38	v <instantiation>
14.56/2.38	v 	<list>x b[0][0] b[0][1] b[0][2] b[1][0] b[1][1] b[1][2] b[2][0] b[2][1] b[2][2] b[3][0] b[3][1] b[3][2] b[4][0] b[4][1] b[4][2] b[5][0] b[5][1] b[5][2] b[6][0] b[6][1] b[6][2] b[7][0] b[7][1] b[7][2] b[8][0] b[8][1] b[8][2] b[9][0] b[9][1] b[9][2] b[10][0] b[10][1] b[10][2] b[11][0] b[11][1] b[11][2] b[12][0] b[12][1] b[12][2] b[13][0] b[13][1] b[13][2] b[14][0] b[14][1] b[14][2] b[15][0] b[15][1] b[15][2] b[16][0] b[16][1] b[16][2] b[17][0] b[17][1] b[17][2] b[18][0] b[18][1] b[18][2] b[19][0] b[19][1] b[19][2] </list>
14.56/2.38	v 	<values>3 394 365 0 392 333 274 391 342 267 386 318 291 383 326 278 382 333 279 380 326 266 370 321 299 369 348 278 368 335 281 368 326 304 356 332 312 356 321 305 355 337 281 354 324 317 339 338 303 302 287 274 0 0 0 0 0 0 0 0 0 </values>
14.56/2.38	v </instantiation>

Verifier Data 

OK	3

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

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4407261-1569348597/watcher-4407261-1569348597 -o /var/tmp/evaluation-result-4407261-1569348597/solver-4407261-1569348597 -C 2016 -W 252 -M 31000 --bin-var /var/tmp/runsolver-exch-node146-1569335937-18517 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 1803610371 HOME/instance-4407261-1569348597.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
Current StackSize limit: 8192 KiB

solver pid=21767, runsolver pid=21764

[startup+0.100126 s]*
/proc/loadavg: 7.51 8.08 8.14 2/211 21788
/proc/meminfo: memFree=22099516/32770624 swapFree=67002364/67108860
[pid=21767] ppid=21764 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/21767/stat : 21767 (xcsp3-exec) S 21764 21767 18490 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 510773628 115843072 363 33554432000 4194304 5098028 140737171606976 140737171605080 140602451251836 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23531520 140737171612503 140737171612762 140737171612762 140737171615686 0
/proc/21767/statm: 28282 363 304 221 0 87 0
[pid=21769] ppid=21767 vsize=28227396 memory=29184 CPUtime=0.13 cores=0-7
/proc/21769/stat : 21769 (java) S 21767 21767 18490 0 -1 1077944320 5775 0 0 0 11 2 0 0 20 0 20 0 510773628 28904853504 7296 33554432000 4194304 4196468 140722597959440 140722597941984 140680720473847 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0
/proc/21769/statm: 7056849 7296 3121 1 0 7019032 0
[pid=21769/tid=21770] ppid=21767 vsize=28227396 memory=1398722017469774279 CPUtime=0.09 cores=0-7
/proc/21769/task/21770/stat : 21770 (java) R 21767 21767 18490 0 -1 4202560 3680 0 0 0 8 1 0 0 20 0 20 0 510773628 28904853504 7296 33554432000 4194304 4196468 140722597959440 140680724707120 140680720495773 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0
[pid=21769/tid=21771] ppid=21767 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/21769/task/21771/stat : 21771 (java) S 21767 21767 18490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510773629 28904853504 7296 33554432000 4194304 4196468 140722597959440 140680673094672 140680720484053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0
[pid=21769/tid=21772] ppid=21767 vsize=28227396 memory=140437760636544 CPUtime=0 cores=0-7
/proc/21769/task/21772/stat : 21772 (java) S 21767 21767 18490 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510773629 28904853504 7296 33554432000 4194304 4196468 140722597959440 140680672042128 140680720484053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0
[pid=21769/tid=21773] ppid=21767 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21769/task/21773/stat : 21773 (java) S 21767 21767 18490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510773629 28904853504 7296 33554432000 4194304 4196468 140722597959440 140680670989072 140680720484053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0
[pid=21769/tid=21774] ppid=21767 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21769/task/21774/stat : 21774 (java) S 21767 21767 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510773629 28904853504 7296 33554432000 4194304 4196468 140722597959440 140680669936528 140680720484053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0
[pid=21769/tid=21775] ppid=21767 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21769/task/21775/stat : 21775 (java) S 21767 21767 18490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510773629 28904853504 7296 33554432000 4194304 4196468 140722597959440 140680668883472 140680720484053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0
[pid=21769/tid=21776] ppid=21767 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/21769/task/21776/stat : 21776 (java) S 21767 21767 18490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510773629 28904853504 7296 33554432000 4194304 4196468 140722597959440 140680667830928 140680720484053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0
[pid=21769/tid=21777] ppid=21767 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21769/task/21777/stat : 21777 (java) S 21767 21767 18490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510773629 28904853504 7296 33554432000 4194304 4196468 140722597959440 140680666777872 140680720484053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0
[pid=21769/tid=21778] ppid=21767 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21769/task/21778/stat : 21778 (java) S 21767 21767 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510773629 28904853504 7296 33554432000 4194304 4196468 140722597959440 140680665725328 140680720484053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0
[pid=21769/tid=21779] ppid=21767 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21769/task/21779/stat : 21779 (java) S 21767 21767 18490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510773631 28904853504 7296 33554432000 4194304 4196468 140722597959440 140678983031536 140680720484994 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0
[pid=21769/tid=21780] ppid=21767 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21769/task/21780/stat : 21780 (java) S 21767 21767 18490 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510773631 28904853504 7296 33554432000 4194304 4196468 140722597959440 140678981977760 140680720484053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0
[pid=21769/tid=21781] ppid=21767 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21769/task/21781/stat : 21781 (java) S 21767 21767 18490 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510773631 28904853504 7296 33554432000 4194304 4196468 140722597959440 140678980924656 140680720484053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0
[pid=21769/tid=21782] ppid=21767 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21769/task/21782/stat : 21782 (java) S 21767 21767 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510773634 28904853504 7296 33554432000 4194304 4196468 140722597959440 140678979873232 140680720492443 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0
[pid=21769/tid=21783] ppid=21767 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21769/task/21783/stat : 21783 (java) S 21767 21767 18490 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 20 0 510773634 28904853504 7296 33554432000 4194304 4196468 140722597959440 140678978820336 140680720484994 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0
[pid=21769/tid=21784] ppid=21767 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21769/task/21784/stat : 21784 (java) S 21767 21767 18490 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 20 0 510773634 28904853504 7296 33554432000 4194304 4196468 140722597959440 140678977767792 140680720484994 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0
[pid=21769/tid=21785] ppid=21767 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21769/task/21785/stat : 21785 (java) S 21767 21767 18490 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510773634 28904853504 7296 33554432000 4194304 4196468 140722597959440 140678976714736 140680720484994 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0
[pid=21769/tid=21786] ppid=21767 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/21769/task/21786/stat : 21786 (java) R 21767 21767 18490 0 -1 4202560 355 0 0 0 2 0 0 0 20 0 20 0 510773634 28904853504 7296 33554432000 4194304 4196468 140722597959440 140678975662192 140680720495194 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0
[pid=21769/tid=21787] ppid=21767 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21769/task/21787/stat : 21787 (java) S 21767 21767 18490 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510773634 28904853504 7296 33554432000 4194304 4196468 140722597959440 140678974610400 140680720484053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0
[pid=21769/tid=21788] ppid=21767 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/21769/task/21788/stat : 21788 (java) S 21767 21767 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510773634 28904853504 7296 33554432000 4194304 4196468 140722597959440 140678973557936 140680720484994 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 30636 KiB

[startup+0.210149 s]*
/proc/loadavg: 7.51 8.08 8.14 2/211 21788
/proc/meminfo: memFree=22086556/32770624 swapFree=67002364/67108860
[pid=21767] ppid=21764 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/21767/stat : 21767 (xcsp3-exec) S 21764 21767 18490 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 510773628 115843072 363 33554432000 4194304 5098028 140737171606976 140737171605080 140602451251836 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23531520 140737171612503 140737171612762 140737171612762 140737171615686 0
/proc/21767/statm: 28282 363 304 221 0 87 0
[pid=21769] ppid=21767 vsize=28227396 memory=40868 CPUtime=0.34 cores=0-7
/proc/21769/stat : 21769 (java) S 21767 21767 18490 0 -1 1077944320 9490 0 0 0 30 4 0 0 20 0 20 0 510773628 28904853504 10217 33554432000 4194304 4196468 140722597959440 140722597941984 140680720473847 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0
/proc/21769/statm: 7056849 10217 3262 1 0 7019032 0
[pid=21769/tid=21770] ppid=21767 vsize=28227396 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/21769/task/21770/stat : 21770 (java) R 21767 21767 18490 0 -1 4202560 6652 0 0 0 17 2 0 0 20 0 20 0 510773628 28904853504 10217 33554432000 4194304 4196468 140722597959440 140680724703568 140680705639400 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0
[pid=21769/tid=21771] ppid=21767 vsize=28227396 memory=339 CPUtime=0 cores=0-7
/proc/21769/task/21771/stat : 21771 (java) S 21767 21767 18490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510773629 28904853504 10217 33554432000 4194304 4196468 140722597959440 140680673094672 140680720484053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0
[pid=21769/tid=21772] ppid=21767 vsize=28227396 memory=288370813912348288 CPUtime=0 cores=0-7
/proc/21769/task/21772/stat : 21772 (java) S 21767 21767 18490 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510773629 28904853504 10217 33554432000 4194304 4196468 140722597959440 140680672042128 140680720484053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0
[pid=21769/tid=21773] ppid=21767 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/21769/task/21773/stat : 21773 (java) S 21767 21767 18490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510773629 28904853504 10217 33554432000 4194304 4196468 140722597959440 140680670989072 140680720484053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0
[pid=21769/tid=21774] ppid=21767 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21769/task/21774/stat : 21774 (java) S 21767 21767 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510773629 28904853504 10217 33554432000 4194304 4196468 140722597959440 140680669936528 140680720484053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0
[pid=21769/tid=21775] ppid=21767 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21769/task/21775/stat : 21775 (java) S 21767 21767 18490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510773629 28904853504 10217 33554432000 4194304 4196468 140722597959440 140680668883472 140680720484053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0
[pid=21769/tid=21776] ppid=21767 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/21769/task/21776/stat : 21776 (java) S 21767 21767 18490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510773629 28904853504 10217 33554432000 4194304 4196468 140722597959440 140680667830928 140680720484053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0
[pid=21769/tid=21777] ppid=21767 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21769/task/21777/stat : 21777 (java) S 21767 21767 18490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510773629 28904853504 10217 33554432000 4194304 4196468 140722597959440 140680666777872 140680720484053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0
[pid=21769/tid=21778] ppid=21767 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21769/task/21778/stat : 21778 (java) S 21767 21767 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510773629 28904853504 10217 33554432000 4194304 4196468 140722597959440 140680665725328 140680720484053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0
[pid=21769/tid=21779] ppid=21767 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21769/task/21779/stat : 21779 (java) S 21767 21767 18490 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 510773631 28904853504 10217 33554432000 4194304 4196468 140722597959440 140678983031536 140680720484994 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0
[pid=21769/tid=21780] ppid=21767 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21769/task/21780/stat : 21780 (java) S 21767 21767 18490 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510773631 28904853504 10217 33554432000 4194304 4196468 140722597959440 140678981977760 140680720484053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0
[pid=21769/tid=21781] ppid=21767 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21769/task/21781/stat : 21781 (java) S 21767 21767 18490 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510773631 28904853504 10217 33554432000 4194304 4196468 140722597959440 140678980924656 140680720484053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0
[pid=21769/tid=21782] ppid=21767 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21769/task/21782/stat : 21782 (java) S 21767 21767 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510773634 28904853504 10217 33554432000 4194304 4196468 140722597959440 140678979873232 140680720492443 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0
[pid=21769/tid=21783] ppid=21767 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21769/task/21783/stat : 21783 (java) S 21767 21767 18490 0 -1 1077944384 343 0 0 0 0 0 0 0 20 0 20 0 510773634 28904853504 10217 33554432000 4194304 4196468 140722597959440 140678978820336 140680720484994 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0
[pid=21769/tid=21784] ppid=21767 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/21769/task/21784/stat : 21784 (java) S 21767 21767 18490 0 -1 1077944384 177 0 0 0 2 0 0 0 20 0 20 0 510773634 28904853504 10217 33554432000 4194304 4196468 140722597959440 140678977767792 140680720484994 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0
[pid=21769/tid=21785] ppid=21767 vsize=28227396 memory=-1 CPUtime=0.02 cores=0-7
/proc/21769/task/21785/stat : 21785 (java) S 21767 21767 18490 0 -1 1077944384 248 0 0 0 2 0 0 0 20 0 20 0 510773634 28904853504 10217 33554432000 4194304 4196468 140722597959440 140678976714736 140680720484994 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0
[pid=21769/tid=21786] ppid=21767 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7
/proc/21769/task/21786/stat : 21786 (java) S 21767 21767 18490 0 -1 1077944384 758 0 0 0 7 0 0 0 20 0 20 0 510773634 28904853504 10217 33554432000 4194304 4196468 140722597959440 140678975662192 140680720484994 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0
[pid=21769/tid=21787] ppid=21767 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21769/task/21787/stat : 21787 (java) S 21767 21767 18490 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510773634 28904853504 10217 33554432000 4194304 4196468 140722597959440 140678974610400 140680720484053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0
[pid=21769/tid=21788] ppid=21767 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/21769/task/21788/stat : 21788 (java) S 21767 21767 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510773634 28904853504 10217 33554432000 4194304 4196468 140722597959440 140678973557936 140680720484994 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42320 KiB

[startup+0.309441 s]*
/proc/loadavg: 7.51 8.08 8.14 3/211 21788
/proc/meminfo: memFree=22079172/32770624 swapFree=67002364/67108860
[pid=21767] ppid=21764 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/21767/stat : 21767 (xcsp3-exec) S 21764 21767 18490 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 510773628 115843072 363 33554432000 4194304 5098028 140737171606976 140737171605080 140602451251836 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23531520 140737171612503 140737171612762 140737171612762 140737171615686 0
/proc/21767/statm: 28282 363 304 221 0 87 0
[pid=21769] ppid=21767 vsize=28231652 memory=49312 CPUtime=0.52 cores=0-7
/proc/21769/stat : 21769 (java) S 21767 21767 18490 0 -1 1077944320 10763 0 0 0 48 4 0 0 20 0 20 0 510773628 28909211648 12328 33554432000 4194304 4196468 140722597959440 140722597941984 140680720473847 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0
/proc/21769/statm: 7057913 12328 3331 1 0 7019032 0
[pid=21769/tid=21770] ppid=21767 vsize=28231652 memory=1398722017469774279 CPUtime=0.29 cores=0-7
/proc/21769/task/21770/stat : 21770 (java) R 21767 21767 18490 0 -1 4202560 7746 0 0 0 26 3 0 0 20 0 20 0 510773628 28909211648 12328 33554432000 4194304 4196468 140722597959440 140680724704960 140680704554334 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0
[pid=21769/tid=21771] ppid=21767 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/21769/task/21771/stat : 21771 (java) S 21767 21767 18490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510773629 28909211648 12328 33554432000 4194304 4196468 140722597959440 140680673094672 140680720484053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0
[pid=21769/tid=21772] ppid=21767 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/21769/task/21772/stat : 21772 (java) S 21767 21767 18490 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510773629 28909211648 12328 33554432000 4194304 4196468 140722597959440 140680672042128 140680720484053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0
[pid=21769/tid=21773] ppid=21767 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/21769/task/21773/stat : 21773 (java) S 21767 21767 18490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510773629 28909211648 12328 33554432000 4194304 4196468 140722597959440 140680670989072 140680720484053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0
[pid=21769/tid=21774] ppid=21767 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/21769/task/21774/stat : 21774 (java) S 21767 21767 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510773629 28909211648 12328 33554432000 4194304 4196468 140722597959440 140680669936528 140680720484053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0
[pid=21769/tid=21775] ppid=21767 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/21769/task/21775/stat : 21775 (java) S 21767 21767 18490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510773629 28909211648 12328 33554432000 4194304 4196468 140722597959440 140680668883472 140680720484053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0
[pid=21769/tid=21776] ppid=21767 vsize=28231652 memory=140437646043823 CPUtime=0 cores=0-7
/proc/21769/task/21776/stat : 21776 (java) S 21767 21767 18490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510773629 28909211648 12328 33554432000 4194304 4196468 140722597959440 140680667830928 140680720484053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0
[pid=21769/tid=21777] ppid=21767 vsize=28231652 memory=140437646046128 CPUtime=0 cores=0-7
/proc/21769/task/21777/stat : 21777 (java) S 21767 21767 18490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510773629 28909211648 12328 33554432000 4194304 4196468 140722597959440 140680666777872 140680720484053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0
[pid=21769/tid=21778] ppid=21767 vsize=28231652 memory=140437646048432 CPUtime=0 cores=0-7
/proc/21769/task/21778/stat : 21778 (java) S 21767 21767 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510773629 28909211648 12328 33554432000 4194304 4196468 140722597959440 140680665725328 140680720484053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0
[pid=21769/tid=21779] ppid=21767 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/21769/task/21779/stat : 21779 (java) S 21767 21767 18490 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 510773631 28909211648 12328 33554432000 4194304 4196468 140722597959440 140678983031536 140680720484994 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0
[pid=21769/tid=21780] ppid=21767 vsize=28231652 memory=280875292110736 CPUtime=0 cores=0-7
/proc/21769/task/21780/stat : 21780 (java) S 21767 21767 18490 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510773631 28909211648 12328 33554432000 4194304 4196468 140722597959440 140678981977760 140680720484053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0
[pid=21769/tid=21781] ppid=21767 vsize=28231652 memory=280875292108432 CPUtime=0 cores=0-7
/proc/21769/task/21781/stat : 21781 (java) S 21767 21767 18490 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510773631 28909211648 12328 33554432000 4194304 4196468 140722597959440 140678980924656 140680720484053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0
[pid=21769/tid=21782] ppid=21767 vsize=28231652 memory=280875292115344 CPUtime=0 cores=0-7
/proc/21769/task/21782/stat : 21782 (java) S 21767 21767 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510773634 28909211648 12328 33554432000 4194304 4196468 140722597959440 140678979873232 140680720492443 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0
[pid=21769/tid=21783] ppid=21767 vsize=28231652 memory=280875292056624 CPUtime=0.01 cores=0-7
/proc/21769/task/21783/stat : 21783 (java) S 21767 21767 18490 0 -1 1077944384 355 0 0 0 1 0 0 0 20 0 20 0 510773634 28909211648 12328 33554432000 4194304 4196468 140722597959440 140678978820336 140680720484994 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0
[pid=21769/tid=21784] ppid=21767 vsize=28231652 memory=280875292129168 CPUtime=0.04 cores=0-7
/proc/21769/task/21784/stat : 21784 (java) S 21767 21767 18490 0 -1 1077944384 196 0 0 0 4 0 0 0 20 0 20 0 510773634 28909211648 12328 33554432000 4194304 4196468 140722597959440 140678977767792 140680720484994 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0
[pid=21769/tid=21785] ppid=21767 vsize=28231652 memory=280875292136080 CPUtime=0.03 cores=0-7
/proc/21769/task/21785/stat : 21785 (java) R 21767 21767 18490 0 -1 4202560 318 0 0 0 3 0 0 0 20 0 20 0 510773634 28909211648 12328 33554432000 4194304 4196468 140722597959440 140678976714736 140680701174144 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0
[pid=21769/tid=21786] ppid=21767 vsize=28231652 memory=280875292133776 CPUtime=0.12 cores=0-7
/proc/21769/task/21786/stat : 21786 (java) S 21767 21767 18490 0 -1 1077944384 847 0 0 0 12 0 0 0 20 0 20 0 510773634 28909211648 12328 33554432000 4194304 4196468 140722597959440 140678975662192 140680720484994 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0
[pid=21769/tid=21787] ppid=21767 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/21769/task/21787/stat : 21787 (java) S 21767 21767 18490 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510773634 28909211648 12328 33554432000 4194304 4196468 140722597959440 140678974610400 140680720484053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0
[pid=21769/tid=21788] ppid=21767 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/21769/task/21788/stat : 21788 (java) S 21767 21767 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510773634 28909211648 12328 33554432000 4194304 4196468 140722597959440 140678973557936 140680720484994 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 50764 KiB

[startup+0.701673 s]
/proc/loadavg: 7.51 8.08 8.14 4/211 21788
/proc/meminfo: memFree=22064432/32770624 swapFree=67002364/67108860
[pid=21767] ppid=21764 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/21767/stat : 21767 (xcsp3-exec) S 21764 21767 18490 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 510773628 115843072 363 33554432000 4194304 5098028 140737171606976 140737171605080 140602451251836 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23531520 140737171612503 140737171612762 140737171612762 140737171615686 0
/proc/21767/statm: 28282 363 304 221 0 87 0
[pid=21769] ppid=21767 vsize=28766288 memory=93336 CPUtime=1.99 cores=0-7
/proc/21769/stat : 21769 (java) S 21767 21767 18490 0 -1 1077944320 15078 0 0 0 191 8 0 0 20 0 28 0 510773628 29456678912 23334 33554432000 4194304 4196468 140722597959440 140722597941984 140680720473847 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0
/proc/21769/statm: 7191572 23334 3458 1 0 7152672 0
[pid=21769/tid=21770] ppid=21767 vsize=28766288 memory=0 CPUtime=0.58 cores=0-7
/proc/21769/task/21770/stat : 21770 (java) S 21767 21767 18490 0 -1 1077944384 9183 0 0 0 54 4 0 0 20 0 28 0 510773628 29456678912 23334 33554432000 4194304 4196468 140722597959440 140680724714624 140680720484053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0
[pid=21769/tid=21771] ppid=21767 vsize=28766288 memory=140437646254960 CPUtime=0 cores=0-7
/proc/21769/task/21771/stat : 21771 (java) S 21767 21767 18490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 510773629 29456678912 23334 33554432000 4194304 4196468 140722597959440 140680673094672 140680720484053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0
[pid=21769/tid=21772] ppid=21767 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/21769/task/21772/stat : 21772 (java) S 21767 21767 18490 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510773629 29456678912 23334 33554432000 4194304 4196468 140722597959440 140680672042128 140680720484053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0
[pid=21769/tid=21773] ppid=21767 vsize=28766288 memory=1056 CPUtime=0 cores=0-7
/proc/21769/task/21773/stat : 21773 (java) S 21767 21767 18490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 510773629 29456678912 23334 33554432000 4194304 4196468 140722597959440 140680670989072 140680720484053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0

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

[pid=21769/tid=21795] ppid=21767 vsize=28766288 memory=0 CPUtime=0.66 cores=0-7
/proc/21769/task/21795/stat : 21795 (java) R 21767 21767 18490 0 -1 4202560 26 0 0 0 66 0 0 0 20 0 28 0 510773689 29456678912 29767 33554432000 4194304 4196468 140722597959440 140678890590136 140680333881083 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0
[pid=21769/tid=21796] ppid=21767 vsize=28766288 memory=1056 CPUtime=0.62 cores=0-7
/proc/21769/task/21796/stat : 21796 (java) R 21767 21767 18490 0 -1 4202560 37 0 0 0 62 0 0 0 20 0 28 0 510773689 29456678912 29767 33554432000 4194304 4196468 140722597959440 140678889531232 140680333881083 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0
Current children cumulated CPU time: 8.34 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 120520 KiB

[startup+2.40624 s]
# the end of solver process 21767 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=14.9735 s, system=0.17386 s

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

[startup+1.60268 s]
/proc/loadavg: 7.51 8.08 8.14 13/219 21796
/proc/meminfo: memFree=22028848/32770624 swapFree=67002364/67108860
[pid=21767] ppid=21764 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/21767/stat : 21767 (xcsp3-exec) S 21764 21767 18490 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 510773628 115843072 363 33554432000 4194304 5098028 140737171606976 140737171605080 140602451251836 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23531520 140737171612503 140737171612762 140737171612762 140737171615686 0
/proc/21767/statm: 28282 363 304 221 0 87 0
[pid=21769] ppid=21767 vsize=28766288 memory=124504 CPUtime=9.15 cores=0-7
/proc/21769/stat : 21769 (java) S 21767 21767 18490 0 -1 1077944320 20868 0 0 0 906 9 0 0 20 0 28 0 510773628 29456678912 31126 33554432000 4194304 4196468 140722597959440 140722597941984 140680720473847 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0
/proc/21769/statm: 7191572 31126 3483 1 0 7152672 0
[pid=21769/tid=21770] ppid=21767 vsize=28766288 memory=7740955954607909994 CPUtime=0.58 cores=0-7
/proc/21769/task/21770/stat : 21770 (java) S 21767 21767 18490 0 -1 1077944384 9183 0 0 0 54 4 0 0 20 0 28 0 510773628 29456678912 31126 33554432000 4194304 4196468 140722597959440 140680724714624 140680720484053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0
[pid=21769/tid=21771] ppid=21767 vsize=28766288 memory=7086239652647614019 CPUtime=0 cores=0-7
/proc/21769/task/21771/stat : 21771 (java) S 21767 21767 18490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 510773629 29456678912 31126 33554432000 4194304 4196468 140722597959440 140680673094672 140680720484053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0
[pid=21769/tid=21772] ppid=21767 vsize=28766288 memory=7086239652647614019 CPUtime=0 cores=0-7
/proc/21769/task/21772/stat : 21772 (java) S 21767 21767 18490 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510773629 29456678912 31126 33554432000 4194304 4196468 140722597959440 140680672042128 140680720484053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0
[pid=21769/tid=21773] ppid=21767 vsize=28766288 memory=7007715848042264131 CPUtime=0 cores=0-7
/proc/21769/task/21773/stat : 21773 (java) S 21767 21767 18490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 510773629 29456678912 31126 33554432000 4194304 4196468 140722597959440 140680670989072 140680720484053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0
[pid=21769/tid=21774] ppid=21767 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/21769/task/21774/stat : 21774 (java) S 21767 21767 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 510773629 29456678912 31126 33554432000 4194304 4196468 140722597959440 140680669936528 140680720484053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0
[pid=21769/tid=21775] ppid=21767 vsize=28766288 memory=6943526294502006880 CPUtime=0 cores=0-7
/proc/21769/task/21775/stat : 21775 (java) S 21767 21767 18490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 510773629 29456678912 31126 33554432000 4194304 4196468 140722597959440 140680668883472 140680720484053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0
[pid=21769/tid=21776] ppid=21767 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/21769/task/21776/stat : 21776 (java) S 21767 21767 18490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 510773629 29456678912 31126 33554432000 4194304 4196468 140722597959440 140680667830928 140680720484053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0
[pid=21769/tid=21777] ppid=21767 vsize=28766288 memory=280875292195456 CPUtime=0 cores=0-7
/proc/21769/task/21777/stat : 21777 (java) S 21767 21767 18490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 510773629 29456678912 31126 33554432000 4194304 4196468 140722597959440 140680666777872 140680720484053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0
[pid=21769/tid=21778] ppid=21767 vsize=28766288 memory=-7452431979323206951 CPUtime=0 cores=0-7
/proc/21769/task/21778/stat : 21778 (java) S 21767 21767 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 510773629 29456678912 31126 33554432000 4194304 4196468 140722597959440 140680665725328 140680720484053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0
[pid=21769/tid=21779] ppid=21767 vsize=28766288 memory=280875292674560 CPUtime=0 cores=0-7
/proc/21769/task/21779/stat : 21779 (java) S 21767 21767 18490 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 510773631 29456678912 31126 33554432000 4194304 4196468 140722597959440 140678983031536 140680720484994 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0
[pid=21769/tid=21780] ppid=21767 vsize=28766288 memory=280875292601056 CPUtime=0 cores=0-7
/proc/21769/task/21780/stat : 21780 (java) S 21767 21767 18490 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 510773631 29456678912 31126 33554432000 4194304 4196468 140722597959440 140678981977760 140680720484053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0
[pid=21769/tid=21781] ppid=21767 vsize=28766288 memory=280875292516768 CPUtime=0 cores=0-7
/proc/21769/task/21781/stat : 21781 (java) S 21767 21767 18490 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 510773631 29456678912 31126 33554432000 4194304 4196468 140722597959440 140678980924656 140680720484053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0
[pid=21769/tid=21782] ppid=21767 vsize=28766288 memory=140437646411418 CPUtime=0 cores=0-7
/proc/21769/task/21782/stat : 21782 (java) S 21767 21767 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 510773634 29456678912 31126 33554432000 4194304 4196468 140722597959440 140678979873232 140680720492443 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0
[pid=21769/tid=21783] ppid=21767 vsize=28766288 memory=0 CPUtime=0.71 cores=0-7
/proc/21769/task/21783/stat : 21783 (java) R 21767 21767 18490 0 -1 4202560 3518 0 0 0 70 1 0 0 20 0 28 0 510773634 29456678912 31126 33554432000 4194304 4196468 140722597959440 140678978806736 140680701999787 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0
[pid=21769/tid=21784] ppid=21767 vsize=28766288 memory=0 CPUtime=0.77 cores=0-7
/proc/21769/task/21784/stat : 21784 (java) R 21767 21767 18490 0 -1 4202560 2140 0 0 0 77 0 0 0 20 0 28 0 510773634 29456678912 31126 33554432000 4194304 4196468 140722597959440 140678977760280 140680702017942 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0
[pid=21769/tid=21785] ppid=21767 vsize=28766288 memory=0 CPUtime=0.59 cores=0-7
/proc/21769/task/21785/stat : 21785 (java) R 21767 21767 18490 0 -1 4202560 1976 0 0 0 58 1 0 0 20 0 28 0 510773634 29456678912 31126 33554432000 4194304 4196468 140722597959440 140678976701280 140680698070007 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0
[pid=21769/tid=21786] ppid=21767 vsize=28766288 memory=140437646077376 CPUtime=0.48 cores=0-7
/proc/21769/task/21786/stat : 21786 (java) R 21767 21767 18490 0 -1 1077944384 2370 0 0 0 48 0 0 0 20 0 28 0 510773634 29456678912 31126 33554432000 4194304 4196468 140722597959440 140678975662192 140680720484994 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0
[pid=21769/tid=21787] ppid=21767 vsize=28766288 memory=233925393820188 CPUtime=0 cores=0-7
/proc/21769/task/21787/stat : 21787 (java) S 21767 21767 18490 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510773634 29456678912 31126 33554432000 4194304 4196468 140722597959440 140678974610400 140680720484053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0
[pid=21769/tid=21788] ppid=21767 vsize=28766288 memory=93488553175585 CPUtime=0 cores=0-7
/proc/21769/task/21788/stat : 21788 (java) S 21767 21767 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 510773634 29456678912 31126 33554432000 4194304 4196468 140722597959440 140678973557936 140680720484994 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0
[pid=21769/tid=21789] ppid=21767 vsize=28766288 memory=7092417799707977558 CPUtime=0.73 cores=0-7
/proc/21769/task/21789/stat : 21789 (java) R 21767 21767 18490 0 -1 4202560 61 0 0 0 73 0 0 0 20 0 28 0 510773689 29456678912 31126 33554432000 4194304 4196468 140722597959440 140678970793032 140680333389575 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0
[pid=21769/tid=21790] ppid=21767 vsize=28766288 memory=5866336994978190694 CPUtime=0.81 cores=0-7
/proc/21769/task/21790/stat : 21790 (java) R 21767 21767 18490 0 -1 4202560 48 0 0 0 81 0 0 0 20 0 28 0 510773689 29456678912 31126 33554432000 4194304 4196468 140722597959440 140678895849800 140680333881222 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0
[pid=21769/tid=21791] ppid=21767 vsize=28766288 memory=0 CPUtime=0.78 cores=0-7
/proc/21769/task/21791/stat : 21791 (java) R 21767 21767 18490 0 -1 4202560 46 0 0 0 78 0 0 0 20 0 28 0 510773689 29456678912 31126 33554432000 4194304 4196468 140722597959440 140678894796464 140680332645366 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0
[pid=21769/tid=21792] ppid=21767 vsize=28766288 memory=0 CPUtime=0.69 cores=0-7
/proc/21769/task/21792/stat : 21792 (java) R 21767 21767 18490 0 -1 4202560 69 0 0 0 69 0 0 0 20 0 28 0 510773689 29456678912 31126 33554432000 4194304 4196468 140722597959440 140678893744536 140680334036795 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0
[pid=21769/tid=21793] ppid=21767 vsize=28766288 memory=0 CPUtime=0.63 cores=0-7
/proc/21769/task/21793/stat : 21793 (java) R 21767 21767 18490 0 -1 4202560 36 0 0 0 63 0 0 0 20 0 28 0 510773689 29456678912 31126 33554432000 4194304 4196468 140722597959440 140678892691256 140680334201984 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0
[pid=21769/tid=21794] ppid=21767 vsize=28766288 memory=0 CPUtime=0.89 cores=0-7
/proc/21769/task/21794/stat : 21794 (java) R 21767 21767 18490 0 -1 4202560 41 0 0 0 89 0 0 0 20 0 28 0 510773689 29456678912 31126 33554432000 4194304 4196468 140722597959440 140678891638568 140680332857550 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0
[pid=21769/tid=21795] ppid=21767 vsize=28766288 memory=0 CPUtime=0.72 cores=0-7
/proc/21769/task/21795/stat : 21795 (java) R 21767 21767 18490 0 -1 4202560 27 0 0 0 72 0 0 0 20 0 28 0 510773689 29456678912 31126 33554432000 4194304 4196468 140722597959440 140678890586288 140680332671044 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0
[pid=21769/tid=21796] ppid=21767 vsize=28766288 memory=140437646048080 CPUtime=0.68 cores=0-7
/proc/21769/task/21796/stat : 21796 (java) R 21767 21767 18490 0 -1 4202560 37 0 0 0 68 0 0 0 20 0 28 0 510773689 29456678912 31126 33554432000 4194304 4196468 140722597959440 140678889532888 140680333197328 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0
Current children cumulated CPU time: 9.15 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 125956 KiB

[startup+2.0027 s]*
/proc/loadavg: 7.51 8.08 8.14 13/219 21805
/proc/meminfo: memFree=21977952/32770624 swapFree=67002364/67108860
[pid=21767] ppid=21764 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/21767/stat : 21767 (xcsp3-exec) S 21764 21767 18490 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 510773628 115843072 363 33554432000 4194304 5098028 140737171606976 140737171605080 140602451251836 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23531520 140737171612503 140737171612762 140737171612762 140737171615686 0
/proc/21767/statm: 28282 363 304 221 0 87 0
[pid=21769] ppid=21767 vsize=28768336 memory=153756 CPUtime=12.42 cores=0-7
/proc/21769/stat : 21769 (java) S 21767 21767 18490 0 -1 1077944320 25488 0 0 0 1230 12 0 0 20 0 28 0 510773628 29458776064 38439 33554432000 4194304 4196468 140722597959440 140722597941984 140680720473847 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0
/proc/21769/statm: 7192084 38439 3491 1 0 7153184 0
[pid=21769/tid=21770] ppid=21767 vsize=28768336 memory=6655300316396806240 CPUtime=0.58 cores=0-7
/proc/21769/task/21770/stat : 21770 (java) S 21767 21767 18490 0 -1 1077944384 9185 0 0 0 54 4 0 0 20 0 28 0 510773628 29458776064 38439 33554432000 4194304 4196468 140722597959440 140680724714624 140680720484053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0
[pid=21769/tid=21771] ppid=21767 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/21769/task/21771/stat : 21771 (java) S 21767 21767 18490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 510773629 29458776064 38439 33554432000 4194304 4196468 140722597959440 140680673094672 140680720484053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0
[pid=21769/tid=21772] ppid=21767 vsize=28768336 memory=3472328296227680299 CPUtime=0 cores=0-7
/proc/21769/task/21772/stat : 21772 (java) S 21767 21767 18490 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510773629 29458776064 38439 33554432000 4194304 4196468 140722597959440 140680672042128 140680720484053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0
[pid=21769/tid=21773] ppid=21767 vsize=28768336 memory=-6800859132029471843 CPUtime=0 cores=0-7
/proc/21769/task/21773/stat : 21773 (java) S 21767 21767 18490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 510773629 29458776064 38439 33554432000 4194304 4196468 140722597959440 140680670989072 140680720484053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0
[pid=21769/tid=21774] ppid=21767 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/21769/task/21774/stat : 21774 (java) S 21767 21767 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 510773629 29458776064 38439 33554432000 4194304 4196468 140722597959440 140680669936528 140680720484053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0
[pid=21769/tid=21775] ppid=21767 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/21769/task/21775/stat : 21775 (java) S 21767 21767 18490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 510773629 29458776064 38439 33554432000 4194304 4196468 140722597959440 140680668883472 140680720484053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0
[pid=21769/tid=21776] ppid=21767 vsize=28768336 memory=140437646296431 CPUtime=0 cores=0-7
/proc/21769/task/21776/stat : 21776 (java) S 21767 21767 18490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 510773629 29458776064 38439 33554432000 4194304 4196468 140722597959440 140680667830928 140680720484053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0
[pid=21769/tid=21777] ppid=21767 vsize=28768336 memory=39076 CPUtime=0 cores=0-7
/proc/21769/task/21777/stat : 21777 (java) S 21767 21767 18490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 510773629 29458776064 38439 33554432000 4194304 4196468 140722597959440 140680666777872 140680720484053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0
[pid=21769/tid=21778] ppid=21767 vsize=28768336 memory=32758254098972862 CPUtime=0 cores=0-7
/proc/21769/task/21778/stat : 21778 (java) S 21767 21767 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 510773629 29458776064 38439 33554432000 4194304 4196468 140722597959440 140680665725328 140680720484053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0
[pid=21769/tid=21779] ppid=21767 vsize=28768336 memory=302585828486690156 CPUtime=0 cores=0-7
/proc/21769/task/21779/stat : 21779 (java) S 21767 21767 18490 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 510773631 29458776064 38439 33554432000 4194304 4196468 140722597959440 140678983031536 140680720484994 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0
[pid=21769/tid=21780] ppid=21767 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/21769/task/21780/stat : 21780 (java) S 21767 21767 18490 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 510773631 29458776064 38439 33554432000 4194304 4196468 140722597959440 140678981977760 140680720484053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0
[pid=21769/tid=21781] ppid=21767 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/21769/task/21781/stat : 21781 (java) S 21767 21767 18490 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 510773631 29458776064 38439 33554432000 4194304 4196468 140722597959440 140678980924656 140680720484053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0
[pid=21769/tid=21782] ppid=21767 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/21769/task/21782/stat : 21782 (java) S 21767 21767 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 510773634 29458776064 38439 33554432000 4194304 4196468 140722597959440 140678979873232 140680720492443 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0
[pid=21769/tid=21783] ppid=21767 vsize=28768336 memory=0 CPUtime=1.06 cores=0-7
/proc/21769/task/21783/stat : 21783 (java) R 21767 21767 18490 0 -1 4202560 4457 0 0 0 105 1 0 0 20 0 28 0 510773634 29458776064 38439 33554432000 4194304 4196468 140722597959440 140678978806352 140680699730422 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0
[pid=21769/tid=21784] ppid=21767 vsize=28768336 memory=0 CPUtime=1.05 cores=0-7
/proc/21769/task/21784/stat : 21784 (java) R 21767 21767 18490 0 -1 4202560 3197 0 0 0 104 1 0 0 20 0 28 0 510773634 29458776064 38439 33554432000 4194304 4196468 140722597959440 140678977768088 140680702017637 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0
[pid=21769/tid=21785] ppid=21767 vsize=28768336 memory=140437646275103 CPUtime=0.85 cores=0-7
/proc/21769/task/21785/stat : 21785 (java) R 21767 21767 18490 0 -1 4202560 3263 0 0 0 83 2 0 0 20 0 28 0 510773634 29458776064 38439 33554432000 4194304 4196468 140722597959440 140678976696144 140680705770442 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0
[pid=21769/tid=21786] ppid=21767 vsize=28768336 memory=8098991019426580469 CPUtime=0.55 cores=0-7
/proc/21769/task/21786/stat : 21786 (java) R 21767 21767 18490 0 -1 4202560 2965 0 0 0 54 1 0 0 20 0 28 0 510773634 29458776064 38439 33554432000 4194304 4196468 140722597959440 140678975662192 140680699431582 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0
[pid=21769/tid=21787] ppid=21767 vsize=28768336 memory=3473458624346731576 CPUtime=0 cores=0-7
/proc/21769/task/21787/stat : 21787 (java) S 21767 21767 18490 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510773634 29458776064 38439 33554432000 4194304 4196468 140722597959440 140678974610400 140680720484053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0
[pid=21769/tid=21788] ppid=21767 vsize=28768336 memory=664962042350622217 CPUtime=0 cores=0-7
/proc/21769/task/21788/stat : 21788 (java) S 21767 21767 18490 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510773634 29458776064 38450 33554432000 4194304 4196468 140722597959440 140678973557936 140680720484994 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0
[pid=21769/tid=21797] ppid=21767 vsize=28768336 memory=7719224974043853087 CPUtime=0.21 cores=0-7
/proc/21769/task/21797/stat : 21797 (java) R 21767 21767 18490 0 -1 4202560 67 0 0 0 21 0 0 0 20 0 28 0 510773798 29458776064 38450 33554432000 4194304 4196468 140722597959440 140678889533032 140680335012543 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0
[pid=21769/tid=21798] ppid=21767 vsize=28768336 memory=6944656592455360569 CPUtime=0.28 cores=0-7
/proc/21769/task/21798/stat : 21798 (java) R 21767 21767 18490 0 -1 4202560 80 0 0 0 28 0 0 0 20 0 28 0 510773798 29458776064 38450 33554432000 4194304 4196468 140722597959440 140678894796328 140680332670720 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0
[pid=21769/tid=21799] ppid=21767 vsize=28768336 memory=6933690305039933585 CPUtime=0.26 cores=0-7
/proc/21769/task/21799/stat : 21799 (java) R 21767 21767 18490 0 -1 4202560 67 0 0 0 26 0 0 0 20 0 28 0 510773798 29458776064 38450 33554432000 4194304 4196468 140722597959440 140678890584976 140680333880186 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0
[pid=21769/tid=21800] ppid=21767 vsize=28768336 memory=1452 CPUtime=0.18 cores=0-7
/proc/21769/task/21800/stat : 21800 (java) R 21767 21767 18490 0 -1 4202560 70 0 0 0 18 0 0 0 20 0 28 0 510773798 29458776064 38450 33554432000 4194304 4196468 140722597959440 140678970794280 140680332670708 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0
[pid=21769/tid=21801] ppid=21767 vsize=28768336 memory=116460 CPUtime=0.22 cores=0-7
/proc/21769/task/21801/stat : 21801 (java) R 21767 21767 18490 0 -1 4202560 92 0 0 0 22 0 0 0 20 0 28 0 510773798 29458776064 38450 33554432000 4194304 4196468 140722597959440 140678891641264 140680332670771 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0
[pid=21769/tid=21802] ppid=21767 vsize=28768336 memory=0 CPUtime=0.2 cores=0-7
/proc/21769/task/21802/stat : 21802 (java) R 21767 21767 18490 0 -1 4202560 73 0 0 0 20 0 0 0 20 0 28 0 510773798 29458776064 38450 33554432000 4194304 4196468 140722597959440 140678892693688 140680333881447 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0
[pid=21769/tid=21803] ppid=21767 vsize=28768336 memory=0 CPUtime=0.21 cores=0-7
/proc/21769/task/21803/stat : 21803 (java) R 21767 21767 18490 0 -1 4202560 66 0 0 0 21 0 0 0 20 0 28 0 510773798 29458776064 38450 33554432000 4194304 4196468 140722597959440 140678893747208 140680333559467 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0
[pid=21769/tid=21804] ppid=21767 vsize=28768336 memory=0 CPUtime=0.22 cores=0-7
/proc/21769/task/21804/stat : 21804 (java) R 21767 21767 18490 0 -1 4202560 208 0 0 0 22 0 0 0 20 0 28 0 510773799 29458776064 38450 33554432000 4194304 4196468 140722597959440 140678895851712 140680333881083 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0
Current children cumulated CPU time: 12.42 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 155208 KiB

[startup+2.4009 s]
/proc/loadavg: 7.51 8.08 8.14 13/219 21805
/proc/meminfo: memFree=21977952/32770624 swapFree=67002364/67108860
[pid=21767] ppid=21764 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/21767/stat : 21767 (xcsp3-exec) S 21764 21767 18490 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 510773628 115843072 363 33554432000 4194304 5098028 140737171606976 140737171605080 140602451251836 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23531520 140737171612503 140737171612762 140737171612762 140737171615686 0
/proc/21767/statm: 28282 363 304 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1452 KiB

Child status: 0
Real time (s): 2.40629
CPU time (s): 15.1474
CPU user time (s): 14.9735
CPU system time (s): 0.17386
CPU usage (%): 629.49
Max. virtual memory (cumulated for all children) (KiB): 28881464
Max. memory (cumulated for all children) (KiB): 191920

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 14.9735
system time used= 0.17386
maximum resident set size= 213808
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27317
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= 3758
involuntary context switches= 488


# summary of solver processes directly reported to runsolver:
#   pid: 21767
#   total CPU time (s): 15.1474
#   total CPU user time (s): 14.9735
#   total CPU system time (s): 0.17386

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.044494 second user time and 0.062504 second system time

The end

Launcher Data 

Begin job on node146 at 2019-09-24 20:09:16
IDJOB=4407261
IDBENCH=137627
IDSOLVER=2872
FILE ID=node146/4407261-1569348597
RUNJOBID= node146-1569335937-18517
PBS_JOBID= 21705051
Free space on /var/tmp= 13508 MiB

SOLVER NAME= choco-solver 2019-09-24 parallel
BENCH NAME= XCSP17/BinPacking/BinPacking-sum-skj2/BinPacking-sum-n1w1b1r5.xml
COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4407261-1569348597/watcher-4407261-1569348597 -o /var/tmp/evaluation-result-4407261-1569348597/solver-4407261-1569348597 -C 2016 -W 252 -M 31000 --bin-var /var/tmp/runsolver-exch-node146-1569335937-18517 --watchdog 312  xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 1803610371 HOME/instance-4407261-1569348597.xml

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

MD5SUM BENCH= 15a2bddfb10fd8a6157ce871797528b8
RANDOM SEED=1803610371

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

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

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

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

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

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.90
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:        22114980 kB
MemAvailable:   31840796 kB
Buffers:          147720 kB
Cached:          9615508 kB
SwapCached:         3568 kB
Active:          4854516 kB
Inactive:        4913704 kB
Active(anon):       4508 kB
Inactive(anon):    56464 kB
Active(file):    4850008 kB
Inactive(file):  4857240 kB
Unevictable:      110892 kB
Mlocked:          110892 kB
SwapTotal:      67108860 kB
SwapFree:       67002364 kB
Dirty:             26096 kB
Writeback:             0 kB
AnonPages:        129908 kB
Mapped:            56952 kB
Shmem:             47620 kB
Slab:             475728 kB
SReclaimable:     447028 kB
SUnreclaim:        28700 kB
KernelStack:        3712 kB
PageTables:         5788 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     515448 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     83968 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      109952 kB
DirectMap2M:    33435648 kB

Free space on /var/tmp at the end= 13484 MiB
End job on node146 at 2019-09-24 20:09:18