Trace number 4405744

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 NameAnswerCPU timeWall clock time
choco-solver 2019-09-24SAT 3.91997 1.78893

General information on the benchmark

NameTravellingSalesman/TravellingSalesman-xcsp2-s20a4/
TravellingSalesman-4-20-001-a4_X2.xml
MD5SUMb8ea00653452363d0c81f6ef3102e485
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.830237
Satisfiable
(Un)Satisfiability was proved
Number of variables61
Number of constraints228
Number of domains5
Minimum domain size1
Maximum domain size1001
Distribution of domain sizes[{"size":1,"count":2},{"size":20,"count":20},{"size":161,"count":19},{"size":1001,"count":20}]
Minimum variable degree1
Maximum variable degree208
Distribution of variable degrees[{"degree":1,"count":2},{"degree":2,"count":37},{"degree":19,"count":1},{"degree":20,"count":18},{"degree":37,"count":1},{"degree":190,"count":1},{"degree":208,"count":1}]
Minimum constraint arity2
Maximum constraint arity4
Distribution of constraint arities[{"arity":2,"count":1},{"arity":3,"count":20},{"arity":4,"count":207}]
Number of extensional constraints228
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":228}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c java -server -Xmx12000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4405744-1569411484.xml"  -tl '2520s' -p 1
0.12/0.18	c Choco e747e1e
0.12/0.18	c [HOME/instance-4405744-1569411484.xml, -tl, 2520s, -p, 1]
0.34/0.22	c simple solver
0.34/0.28	c parse instance...
2.25/0.94	c solve instance...
3.80/1.78	s SATISFIABLE
3.80/1.78	v <instantiation>
3.80/1.78	v 	<list>w3 w4 x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] y[0] y[1] y[2] y[3] y[4] y[5] y[6] y[7] y[8] y[9] y[10] y[11] y[12] y[13] y[14] y[15] y[16] y[17] y[18] y[19] z[0] z[1] z[2] z[3] z[4] z[5] z[6] z[7] z[8] z[9] z[10] z[11] z[12] z[13] z[14] z[15] z[16] z[17] z[18] </list>
3.80/1.78	v 	<values>160 0 10 3 16 12 4 9 5 18 8 14 13 2 15 7 1 19 6 17 20 11 13 3 1 15 6 0 5 11 2 1 2 20 7 26 0 21 0 3 15 9 16 17 32 38 38 43 54 56 57 59 79 86 112 112 133 133 136 151 160 </values>
3.80/1.78	v </instantiation>

Verifier Data 

OK

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4405744-1569411484/watcher-4405744-1569411484 -o /tmp/evaluation-result-4405744-1569411484/solver-4405744-1569411484 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1569408839-17472 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 1 -ml 12000 -tdir HOME -seed 634919586 HOME/instance-4405744-1569411484.xml 

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

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


[startup+0.100133 s]*
/proc/loadavg: 1.61 1.45 1.41 4/229 18021
/proc/meminfo: memFree=25731492/32770624 swapFree=66975560/67108860
[pid=18005] ppid=18002 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/18005/stat : 18005 (xcsp3-exec) S 18002 18005 17441 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 517415133 115843072 363 33554432000 4194304 5098028 140737110268544 140737110266648 140384187699836 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 35729408 140737110270843 140737110271085 140737110271085 140737110273994 0
/proc/18005/statm: 28282 363 304 221 0 87 0
[pid=18007] ppid=18005 vsize=15144776 memory=30344 CPUtime=0.12 cores=0,2,4,6
/proc/18007/stat : 18007 (java) S 18005 18005 17441 0 -1 1077944320 5478 0 0 0 11 1 0 0 20 0 15 0 517415134 15508250624 7586 33554432000 4194304 4196468 140733565297872 140733565280416 140513652502263 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28278784 140733565301743 140733565301914 140733565301914 140733565304783 0
/proc/18007/statm: 3786194 7586 3151 1 0 3748377 0
[pid=18007/tid=18008] ppid=18005 vsize=15144776 memory=8324486588775410251 CPUtime=0.09 cores=0,2,4,6
/proc/18007/task/18008/stat : 18008 (java) R 18005 18005 17441 0 -1 4202560 3400 0 0 0 8 1 0 0 20 0 15 0 517415134 15508250624 7586 33554432000 4194304 4196468 140733565297872 140513656737280 140513652514198 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28278784 140733565301743 140733565301914 140733565301914 140733565304783 0
[pid=18007/tid=18009] ppid=18005 vsize=15144776 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/18007/task/18009/stat : 18009 (java) S 18005 18005 17441 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517415135 15508250624 7586 33554432000 4194304 4196468 140733565297872 140513245108496 140513652512469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28278784 140733565301743 140733565301914 140733565301914 140733565304783 0
[pid=18007/tid=18010] ppid=18005 vsize=15144776 memory=139961222940288 CPUtime=0 cores=0,2,4,6
/proc/18007/task/18010/stat : 18010 (java) S 18005 18005 17441 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517415135 15508250624 7586 33554432000 4194304 4196468 140733565297872 140513244055952 140513652512469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28278784 140733565301743 140733565301914 140733565301914 140733565304783 0
[pid=18007/tid=18011] ppid=18005 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18007/task/18011/stat : 18011 (java) S 18005 18005 17441 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517415135 15508250624 7586 33554432000 4194304 4196468 140733565297872 140513243003408 140513652512469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28278784 140733565301743 140733565301914 140733565301914 140733565304783 0
[pid=18007/tid=18012] ppid=18005 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18007/task/18012/stat : 18012 (java) S 18005 18005 17441 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517415135 15508250624 7586 33554432000 4194304 4196468 140733565297872 140513241950864 140513652512469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28278784 140733565301743 140733565301914 140733565301914 140733565304783 0
[pid=18007/tid=18013] ppid=18005 vsize=15144776 memory=139961222940288 CPUtime=0 cores=0,2,4,6
/proc/18007/task/18013/stat : 18013 (java) S 18005 18005 17441 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517415136 15508250624 7586 33554432000 4194304 4196468 140733565297872 140513121208816 140513652513410 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28278784 140733565301743 140733565301914 140733565301914 140733565304783 0
[pid=18007/tid=18014] ppid=18005 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18007/task/18014/stat : 18014 (java) S 18005 18005 17441 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517415136 15508250624 7586 33554432000 4194304 4196468 140733565297872 140513120155040 140513652512469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28278784 140733565301743 140733565301914 140733565301914 140733565304783 0
[pid=18007/tid=18015] ppid=18005 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18007/task/18015/stat : 18015 (java) S 18005 18005 17441 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517415137 15508250624 7586 33554432000 4194304 4196468 140733565297872 140513119102448 140513652512469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28278784 140733565301743 140733565301914 140733565301914 140733565304783 0
[pid=18007/tid=18016] ppid=18005 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18007/task/18016/stat : 18016 (java) S 18005 18005 17441 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517415139 15508250624 7586 33554432000 4194304 4196468 140733565297872 140513118051024 140513652520859 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28278784 140733565301743 140733565301914 140733565301914 140733565304783 0
[pid=18007/tid=18017] ppid=18005 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18007/task/18017/stat : 18017 (java) R 18005 18005 17441 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 15 0 517415139 15508250624 7586 33554432000 4194304 4196468 140733565297872 140513116997616 140513652513410 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28278784 140733565301743 140733565301914 140733565301914 140733565304783 0
[pid=18007/tid=18018] ppid=18005 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18007/task/18018/stat : 18018 (java) R 18005 18005 17441 0 -1 4202560 404 0 0 0 0 0 0 0 20 0 15 0 517415139 15508250624 7586 33554432000 4194304 4196468 140733565297872 140513115936576 140513635957760 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28278784 140733565301743 140733565301914 140733565301914 140733565304783 0
[pid=18007/tid=18019] ppid=18005 vsize=15144776 memory=139961222940288 CPUtime=0.02 cores=0,2,4,6
/proc/18007/task/18019/stat : 18019 (java) R 18005 18005 17441 0 -1 4202560 350 0 0 0 2 0 0 0 20 0 15 0 517415139 15508250624 7586 33554432000 4194304 4196468 140733565297872 140513114892528 140513636678258 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28278784 140733565301743 140733565301914 140733565301914 140733565304783 0
[pid=18007/tid=18020] ppid=18005 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18007/task/18020/stat : 18020 (java) S 18005 18005 17441 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517415139 15508250624 7586 33554432000 4194304 4196468 140733565297872 140513113840224 140513652512469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28278784 140733565301743 140733565301914 140733565301914 140733565304783 0
[pid=18007/tid=18021] ppid=18005 vsize=15144776 memory=139961222940288 CPUtime=0 cores=0,2,4,6
/proc/18007/task/18021/stat : 18021 (java) S 18005 18005 17441 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517415140 15508250624 7586 33554432000 4194304 4196468 140733565297872 140513112787760 140513652513410 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28278784 140733565301743 140733565301914 140733565301914 140733565304783 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31796 KiB

[startup+0.210613 s]*
/proc/loadavg: 1.61 1.45 1.41 4/229 18021
/proc/meminfo: memFree=25718944/32770624 swapFree=66975560/67108860
[pid=18005] ppid=18002 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/18005/stat : 18005 (xcsp3-exec) S 18002 18005 17441 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 517415133 115843072 363 33554432000 4194304 5098028 140737110268544 140737110266648 140384187699836 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 35729408 140737110270843 140737110271085 140737110271085 140737110273994 0
/proc/18005/statm: 28282 363 304 221 0 87 0
[pid=18007] ppid=18005 vsize=15144776 memory=41452 CPUtime=0.34 cores=0,2,4,6
/proc/18007/stat : 18007 (java) S 18005 18005 17441 0 -1 1077944320 9031 0 0 0 31 3 0 0 20 0 15 0 517415134 15508250624 10363 33554432000 4194304 4196468 140733565297872 140733565280416 140513652502263 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28278784 140733565301743 140733565301914 140733565301914 140733565304783 0
/proc/18007/statm: 3786194 10363 3304 1 0 3748377 0
[pid=18007/tid=18008] ppid=18005 vsize=15144776 memory=7883960649037381690 CPUtime=0.19 cores=0,2,4,6
/proc/18007/task/18008/stat : 18008 (java) R 18005 18005 17441 0 -1 4202560 6213 0 0 0 17 2 0 0 20 0 15 0 517415134 15508250624 10363 33554432000 4194304 4196468 140733565297872 140513656735968 140513617853827 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28278784 140733565301743 140733565301914 140733565301914 140733565304783 0
[pid=18007/tid=18009] ppid=18005 vsize=15144776 memory=9034 CPUtime=0 cores=0,2,4,6
/proc/18007/task/18009/stat : 18009 (java) S 18005 18005 17441 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517415135 15508250624 10363 33554432000 4194304 4196468 140733565297872 140513245108496 140513652512469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28278784 140733565301743 140733565301914 140733565301914 140733565304783 0
[pid=18007/tid=18010] ppid=18005 vsize=15144776 memory=139961222958017 CPUtime=0 cores=0,2,4,6
/proc/18007/task/18010/stat : 18010 (java) S 18005 18005 17441 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517415135 15508250624 10363 33554432000 4194304 4196468 140733565297872 140513244055952 140513652512469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28278784 140733565301743 140733565301914 140733565301914 140733565304783 0
[pid=18007/tid=18011] ppid=18005 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18007/task/18011/stat : 18011 (java) S 18005 18005 17441 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517415135 15508250624 10363 33554432000 4194304 4196468 140733565297872 140513243003408 140513652512469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28278784 140733565301743 140733565301914 140733565301914 140733565304783 0
[pid=18007/tid=18012] ppid=18005 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18007/task/18012/stat : 18012 (java) S 18005 18005 17441 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517415135 15508250624 10363 33554432000 4194304 4196468 140733565297872 140513241950864 140513652512469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28278784 140733565301743 140733565301914 140733565301914 140733565304783 0
[pid=18007/tid=18013] ppid=18005 vsize=15144776 memory=139961222940288 CPUtime=0 cores=0,2,4,6
/proc/18007/task/18013/stat : 18013 (java) S 18005 18005 17441 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 517415136 15508250624 10363 33554432000 4194304 4196468 140733565297872 140513121208816 140513652513410 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28278784 140733565301743 140733565301914 140733565301914 140733565304783 0
[pid=18007/tid=18014] ppid=18005 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18007/task/18014/stat : 18014 (java) S 18005 18005 17441 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517415136 15508250624 10363 33554432000 4194304 4196468 140733565297872 140513120155040 140513652512469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28278784 140733565301743 140733565301914 140733565301914 140733565304783 0
[pid=18007/tid=18015] ppid=18005 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18007/task/18015/stat : 18015 (java) S 18005 18005 17441 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517415137 15508250624 10363 33554432000 4194304 4196468 140733565297872 140513119102448 140513652512469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28278784 140733565301743 140733565301914 140733565301914 140733565304783 0
[pid=18007/tid=18016] ppid=18005 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18007/task/18016/stat : 18016 (java) S 18005 18005 17441 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517415139 15508250624 10363 33554432000 4194304 4196468 140733565297872 140513118051024 140513652520859 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28278784 140733565301743 140733565301914 140733565301914 140733565304783 0
[pid=18007/tid=18017] ppid=18005 vsize=15144776 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/18007/task/18017/stat : 18017 (java) S 18005 18005 17441 0 -1 1077944384 284 0 0 0 2 0 0 0 20 0 15 0 517415139 15508250624 10363 33554432000 4194304 4196468 140733565297872 140513116997616 140513652513410 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28278784 140733565301743 140733565301914 140733565301914 140733565304783 0
[pid=18007/tid=18018] ppid=18005 vsize=15144776 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/18007/task/18018/stat : 18018 (java) S 18005 18005 17441 0 -1 1077944384 480 0 0 0 1 0 0 0 20 0 15 0 517415139 15508250624 10363 33554432000 4194304 4196468 140733565297872 140513115945072 140513652513410 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28278784 140733565301743 140733565301914 140733565301914 140733565304783 0
[pid=18007/tid=18019] ppid=18005 vsize=15144776 memory=139961222940288 CPUtime=0.08 cores=0,2,4,6
/proc/18007/task/18019/stat : 18019 (java) R 18005 18005 17441 0 -1 4202560 747 0 0 0 8 0 0 0 20 0 15 0 517415139 15508250624 10363 33554432000 4194304 4196468 140733565297872 140513114892312 140513631421087 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28278784 140733565301743 140733565301914 140733565301914 140733565304783 0
[pid=18007/tid=18020] ppid=18005 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18007/task/18020/stat : 18020 (java) S 18005 18005 17441 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517415139 15508250624 10363 33554432000 4194304 4196468 140733565297872 140513113840224 140513652512469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28278784 140733565301743 140733565301914 140733565301914 140733565304783 0
[pid=18007/tid=18021] ppid=18005 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18007/task/18021/stat : 18021 (java) S 18005 18005 17441 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517415140 15508250624 10363 33554432000 4194304 4196468 140733565297872 140513112787760 140513652513410 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28278784 140733565301743 140733565301914 140733565301914 140733565304783 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42904 KiB

[startup+0.310602 s]*
/proc/loadavg: 1.61 1.45 1.41 4/229 18021
/proc/meminfo: memFree=25714580/32770624 swapFree=66975560/67108860
[pid=18005] ppid=18002 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/18005/stat : 18005 (xcsp3-exec) S 18002 18005 17441 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 517415133 115843072 363 33554432000 4194304 5098028 140737110268544 140737110266648 140384187699836 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 35729408 140737110270843 140737110271085 140737110271085 140737110273994 0
/proc/18005/statm: 28282 363 304 221 0 87 0
[pid=18007] ppid=18005 vsize=15149032 memory=50316 CPUtime=0.52 cores=0,2,4,6
/proc/18007/stat : 18007 (java) S 18005 18005 17441 0 -1 1077944320 10380 0 0 0 48 4 0 0 20 0 15 0 517415134 15512608768 12579 33554432000 4194304 4196468 140733565297872 140733565280416 140513652502263 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28278784 140733565301743 140733565301914 140733565301914 140733565304783 0
/proc/18007/statm: 3787258 12579 3370 1 0 3748377 0
[pid=18007/tid=18008] ppid=18005 vsize=15149032 memory=1398722017469774279 CPUtime=0.3 cores=0,2,4,6
/proc/18007/task/18008/stat : 18008 (java) R 18005 18005 17441 0 -1 4202560 7320 0 0 0 27 3 0 0 20 0 15 0 517415134 15512608768 12579 33554432000 4194304 4196468 140733565297872 140513656733376 140513636582750 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28278784 140733565301743 140733565301914 140733565301914 140733565304783 0
[pid=18007/tid=18009] ppid=18005 vsize=15149032 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/18007/task/18009/stat : 18009 (java) S 18005 18005 17441 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517415135 15512608768 12579 33554432000 4194304 4196468 140733565297872 140513245108496 140513652512469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28278784 140733565301743 140733565301914 140733565301914 140733565304783 0
[pid=18007/tid=18010] ppid=18005 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/18007/task/18010/stat : 18010 (java) S 18005 18005 17441 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517415135 15512608768 12579 33554432000 4194304 4196468 140733565297872 140513244055952 140513652512469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28278784 140733565301743 140733565301914 140733565301914 140733565304783 0
[pid=18007/tid=18011] ppid=18005 vsize=15149032 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/18007/task/18011/stat : 18011 (java) S 18005 18005 17441 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517415135 15512608768 12579 33554432000 4194304 4196468 140733565297872 140513243003408 140513652512469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28278784 140733565301743 140733565301914 140733565301914 140733565304783 0
[pid=18007/tid=18012] ppid=18005 vsize=15149032 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/18007/task/18012/stat : 18012 (java) S 18005 18005 17441 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517415135 15512608768 12579 33554432000 4194304 4196468 140733565297872 140513241950864 140513652512469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28278784 140733565301743 140733565301914 140733565301914 140733565304783 0
[pid=18007/tid=18013] ppid=18005 vsize=15149032 memory=4572146057552828020 CPUtime=0 cores=0,2,4,6
/proc/18007/task/18013/stat : 18013 (java) S 18005 18005 17441 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 517415136 15512608768 12579 33554432000 4194304 4196468 140733565297872 140513121208816 140513652513410 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28278784 140733565301743 140733565301914 140733565301914 140733565304783 0
[pid=18007/tid=18014] ppid=18005 vsize=15149032 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/18007/task/18014/stat : 18014 (java) S 18005 18005 17441 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517415136 15512608768 12579 33554432000 4194304 4196468 140733565297872 140513120155040 140513652512469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28278784 140733565301743 140733565301914 140733565301914 140733565304783 0
[pid=18007/tid=18015] ppid=18005 vsize=15149032 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/18007/task/18015/stat : 18015 (java) S 18005 18005 17441 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517415137 15512608768 12579 33554432000 4194304 4196468 140733565297872 140513119102448 140513652512469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28278784 140733565301743 140733565301914 140733565301914 140733565304783 0
[pid=18007/tid=18016] ppid=18005 vsize=15149032 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/18007/task/18016/stat : 18016 (java) S 18005 18005 17441 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517415139 15512608768 12579 33554432000 4194304 4196468 140733565297872 140513118051024 140513652520859 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28278784 140733565301743 140733565301914 140733565301914 140733565304783 0
[pid=18007/tid=18017] ppid=18005 vsize=15149032 memory=7827413994055111515 CPUtime=0.04 cores=0,2,4,6
/proc/18007/task/18017/stat : 18017 (java) S 18005 18005 17441 0 -1 1077944384 333 0 0 0 4 0 0 0 20 0 15 0 517415139 15512608768 12579 33554432000 4194304 4196468 140733565297872 140513116997616 140513652513410 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28278784 140733565301743 140733565301914 140733565301914 140733565304783 0
[pid=18007/tid=18018] ppid=18005 vsize=15149032 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/18007/task/18018/stat : 18018 (java) R 18005 18005 17441 0 -1 4202560 592 0 0 0 4 0 0 0 20 0 15 0 517415139 15512608768 12579 33554432000 4194304 4196468 140733565297872 140513115935456 140513634029326 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28278784 140733565301743 140733565301914 140733565301914 140733565304783 0
[pid=18007/tid=18019] ppid=18005 vsize=15149032 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/18007/task/18019/stat : 18019 (java) S 18005 18005 17441 0 -1 1077944384 839 0 0 0 12 0 0 0 20 0 15 0 517415139 15512608768 12579 33554432000 4194304 4196468 140733565297872 140513114892528 140513652513410 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28278784 140733565301743 140733565301914 140733565301914 140733565304783 0
[pid=18007/tid=18020] ppid=18005 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18007/task/18020/stat : 18020 (java) S 18005 18005 17441 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517415139 15512608768 12579 33554432000 4194304 4196468 140733565297872 140513113840224 140513652512469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28278784 140733565301743 140733565301914 140733565301914 140733565304783 0
[pid=18007/tid=18021] ppid=18005 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18007/task/18021/stat : 18021 (java) S 18005 18005 17441 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517415140 15512608768 12579 33554432000 4194304 4196468 140733565297872 140513112787760 140513652513410 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28278784 140733565301743 140733565301914 140733565301914 140733565304783 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51768 KiB

[startup+0.700814 s]
/proc/loadavg: 1.61 1.45 1.41 6/229 18021
/proc/meminfo: memFree=25685856/32770624 swapFree=66975560/67108860
[pid=18005] ppid=18002 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/18005/stat : 18005 (xcsp3-exec) S 18002 18005 17441 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 517415133 115843072 363 33554432000 4194304 5098028 140737110268544 140737110266648 140384187699836 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 35729408 140737110270843 140737110271085 140737110271085 140737110273994 0
/proc/18005/statm: 28282 363 304 221 0 87 0
[pid=18007] ppid=18005 vsize=15151156 memory=142792 CPUtime=1.68 cores=0,2,4,6
/proc/18007/stat : 18007 (java) S 18005 18005 17441 0 -1 1077944320 13166 0 0 0 161 7 0 0 20 0 15 0 517415134 15514783744 35698 33554432000 4194304 4196468 140733565297872 140733565280416 140513652502263 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28278784 140733565301743 140733565301914 140733565301914 140733565304783 0
/proc/18007/statm: 3787789 35698 3450 1 0 3748889 0
[pid=18007/tid=18008] ppid=18005 vsize=15151156 memory=0 CPUtime=0.68 cores=0,2,4,6
/proc/18007/task/18008/stat : 18008 (java) R 18005 18005 17441 0 -1 4202560 8102 0 0 0 63 5 0 0 20 0 15 0 517415134 15514783744 35698 33554432000 4194304 4196468 140733565297872 140513656741216 140513293854052 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28278784 140733565301743 140733565301914 140733565301914 140733565304783 0
[pid=18007/tid=18009] ppid=18005 vsize=15151156 memory=65600 CPUtime=0 cores=0,2,4,6
/proc/18007/task/18009/stat : 18009 (java) S 18005 18005 17441 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517415135 15514783744 35698 33554432000 4194304 4196468 140733565297872 140513245108496 140513652512469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28278784 140733565301743 140733565301914 140733565301914 140733565304783 0
[pid=18007/tid=18010] ppid=18005 vsize=15151156 memory=984 CPUtime=0 cores=0,2,4,6
/proc/18007/task/18010/stat : 18010 (java) S 18005 18005 17441 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517415135 15514783744 35698 33554432000 4194304 4196468 140733565297872 140513244055952 140513652512469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28278784 140733565301743 140733565301914 140733565301914 140733565304783 0
[pid=18007/tid=18011] ppid=18005 vsize=15151156 memory=2004 CPUtime=0 cores=0,2,4,6
/proc/18007/task/18011/stat : 18011 (java) S 18005 18005 17441 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517415135 15514783744 35698 33554432000 4194304 4196468 140733565297872 140513243003408 140513652512469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28278784 140733565301743 140733565301914 140733565301914 140733565304783 0
[pid=18007/tid=18012] ppid=18005 vsize=15151156 memory=1436 CPUtime=0 cores=0,2,4,6
/proc/18007/task/18012/stat : 18012 (java) S 18005 18005 17441 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517415135 15514783744 35698 33554432000 4194304 4196468 140733565297872 140513241950864 140513652512469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28278784 140733565301743 140733565301914 140733565301914 140733565304783 0
[pid=18007/tid=18013] ppid=18005 vsize=15151156 memory=1060 CPUtime=0 cores=0,2,4,6
/proc/18007/task/18013/stat : 18013 (java) S 18005 18005 17441 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 517415136 15514783744 35698 33554432000 4194304 4196468 140733565297872 140513121208816 140513652513410 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28278784 140733565301743 140733565301914 140733565301914 140733565304783 0
[pid=18007/tid=18014] ppid=18005 vsize=15151156 memory=3636 CPUtime=0 cores=0,2,4,6
/proc/18007/task/18014/stat : 18014 (java) S 18005 18005 17441 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517415136 15514783744 35698 33554432000 4194304 4196468 140733565297872 140513120155040 140513652512469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28278784 140733565301743 140733565301914 140733565301914 140733565304783 0
[pid=18007/tid=18015] ppid=18005 vsize=15151156 memory=1724 CPUtime=0 cores=0,2,4,6
/proc/18007/task/18015/stat : 18015 (java) S 18005 18005 17441 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517415137 15514783744 35698 33554432000 4194304 4196468 140733565297872 140513119102448 140513652512469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28278784 140733565301743 140733565301914 140733565301914 140733565304783 0
[pid=18007/tid=18016] ppid=18005 vsize=15151156 memory=6160 CPUtime=0 cores=0,2,4,6
/proc/18007/task/18016/stat : 18016 (java) S 18005 18005 17441 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517415139 15514783744 35698 33554432000 4194304 4196468 140733565297872 140513118051024 140513652520859 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28278784 140733565301743 140733565301914 140733565301914 140733565304783 0
[pid=18007/tid=18017] ppid=18005 vsize=15151156 memory=10604 CPUtime=0.31 cores=0,2,4,6
/proc/18007/task/18017/stat : 18017 (java) S 18005 18005 17441 0 -1 1077944384 1096 0 0 0 31 0 0 0 20 0 15 0 517415139 15514783744 35698 33554432000 4194304 4196468 140733565297872 140513116997616 140513652513410 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28278784 140733565301743 140733565301914 140733565301914 140733565304783 0
[pid=18007/tid=18018] ppid=18005 vsize=15151156 memory=716 CPUtime=0.35 cores=0,2,4,6
/proc/18007/task/18018/stat : 18018 (java) R 18005 18005 17441 0 -1 4202560 1120 0 0 0 35 0 0 0 20 0 15 0 517415139 15514783744 35698 33554432000 4194304 4196468 140733565297872 140513115945072 140513637628671 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28278784 140733565301743 140733565301914 140733565301914 140733565304783 0
[pid=18007/tid=18019] ppid=18005 vsize=15151156 memory=780 CPUtime=0.32 cores=0,2,4,6
/proc/18007/task/18019/stat : 18019 (java) S 18005 18005 17441 0 -1 1077944384 1541 0 0 0 32 0 0 0 20 0 15 0 517415139 15514783744 35698 33554432000 4194304 4196468 140733565297872 140513114892528 140513652513410 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28278784 140733565301743 140733565301914 140733565301914 140733565304783 0
[pid=18007/tid=18020] ppid=18005 vsize=15151156 memory=1552 CPUtime=0 cores=0,2,4,6
/proc/18007/task/18020/stat : 18020 (java) S 18005 18005 17441 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517415139 15514783744 36210 33554432000 4194304 4196468 140733565297872 140513113840224 140513652512469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28278784 140733565301743 140733565301914 140733565301914 140733565304783 0
[pid=18007/tid=18021] ppid=18005 vsize=15151156 memory=2832 CPUtime=0 cores=0,2,4,6
/proc/18007/task/18021/stat : 18021 (java) S 18005 18005 17441 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517415140 15514783744 36210 33554432000 4194304 4196468 140733565297872 140513112787760 140513652513410 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28278784 140733565301743 140733565301914 140733565301914 140733565304783 0
Current children cumulated CPU time: 1.68 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 144244 KiB

[startup+1.50079 s]
/proc/loadavg: 1.61 1.45 1.41 5/229 18021
/proc/meminfo: memFree=25507996/32770624 swapFree=66975560/67108860
[pid=18005] ppid=18002 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/18005/stat : 18005 (xcsp3-exec) S 18002 18005 17441 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 517415133 115843072 363 33554432000 4194304 5098028 140737110268544 140737110266648 140384187699836 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 35729408 140737110270843 140737110271085 140737110271085 140737110273994 0
/proc/18005/statm: 28282 363 304 221 0 87 0
[pid=18007] ppid=18005 vsize=15151156 memory=253724 CPUtime=3.35 cores=0,2,4,6
/proc/18007/stat : 18007 (java) S 18005 18005 17441 0 -1 1077944320 14379 0 0 0 317 18 0 0 20 0 15 0 517415134 15514783744 63431 33554432000 4194304 4196468 140733565297872 140733565280416 140513652502263 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28278784 140733565301743 140733565301914 140733565301914 140733565304783 0
/proc/18007/statm: 3787789 63431 3483 1 0 3748889 0
[pid=18007/tid=18008] ppid=18005 vsize=15151156 memory=0 CPUtime=1.43 cores=0,2,4,6
/proc/18007/task/18008/stat : 18008 (java) R 18005 18005 17441 0 -1 4202560 8644 0 0 0 137 6 0 0 20 0 15 0 517415134 15514783744 63431 33554432000 4194304 4196468 140733565297872 140513656739344 140513294988718 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28278784 140733565301743 140733565301914 140733565301914 140733565304783 0
[pid=18007/tid=18009] ppid=18005 vsize=15151156 memory=4420 CPUtime=0.03 cores=0,2,4,6
/proc/18007/task/18009/stat : 18009 (java) S 18005 18005 17441 0 -1 1077944384 32 0 0 0 1 2 0 0 20 0 15 0 517415135 15514783744 63431 33554432000 4194304 4196468 140733565297872 140513245108496 140513652512469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28278784 140733565301743 140733565301914 140733565301914 140733565304783 0
[pid=18007/tid=18010] ppid=18005 vsize=15151156 memory=6628 CPUtime=0.03 cores=0,2,4,6
/proc/18007/task/18010/stat : 18010 (java) S 18005 18005 17441 0 -1 1077944384 40 0 0 0 1 2 0 0 20 0 15 0 517415135 15514783744 63431 33554432000 4194304 4196468 140733565297872 140513244055952 140513652512469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28278784 140733565301743 140733565301914 140733565301914 140733565304783 0
[pid=18007/tid=18011] ppid=18005 vsize=15151156 memory=8836 CPUtime=0.03 cores=0,2,4,6
/proc/18007/task/18011/stat : 18011 (java) S 18005 18005 17441 0 -1 1077944384 48 0 0 0 1 2 0 0 20 0 15 0 517415135 15514783744 63431 33554432000 4194304 4196468 140733565297872 140513243003408 140513652512469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28278784 140733565301743 140733565301914 140733565301914 140733565304783 0
[pid=18007/tid=18012] ppid=18005 vsize=15151156 memory=11044 CPUtime=0.03 cores=0,2,4,6
/proc/18007/task/18012/stat : 18012 (java) S 18005 18005 17441 0 -1 1077944384 48 0 0 0 1 2 0 0 20 0 15 0 517415135 15514783744 63431 33554432000 4194304 4196468 140733565297872 140513241950864 140513652512469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28278784 140733565301743 140733565301914 140733565301914 140733565304783 0
[pid=18007/tid=18013] ppid=18005 vsize=15151156 memory=13252 CPUtime=0 cores=0,2,4,6
/proc/18007/task/18013/stat : 18013 (java) S 18005 18005 17441 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 517415136 15514783744 63431 33554432000 4194304 4196468 140733565297872 140513121208816 140513652513410 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28278784 140733565301743 140733565301914 140733565301914 140733565304783 0
[pid=18007/tid=18014] ppid=18005 vsize=15151156 memory=15460 CPUtime=0 cores=0,2,4,6
/proc/18007/task/18014/stat : 18014 (java) S 18005 18005 17441 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517415136 15514783744 63431 33554432000 4194304 4196468 140733565297872 140513120155040 140513652512469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28278784 140733565301743 140733565301914 140733565301914 140733565304783 0
[pid=18007/tid=18015] ppid=18005 vsize=15151156 memory=17668 CPUtime=0 cores=0,2,4,6
/proc/18007/task/18015/stat : 18015 (java) S 18005 18005 17441 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 517415137 15514783744 63431 33554432000 4194304 4196468 140733565297872 140513119102448 140513652512469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28278784 140733565301743 140733565301914 140733565301914 140733565304783 0
[pid=18007/tid=18016] ppid=18005 vsize=15151156 memory=19876 CPUtime=0 cores=0,2,4,6
/proc/18007/task/18016/stat : 18016 (java) S 18005 18005 17441 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517415139 15514783744 63431 33554432000 4194304 4196468 140733565297872 140513118051024 140513652520859 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28278784 140733565301743 140733565301914 140733565301914 140733565304783 0
[pid=18007/tid=18017] ppid=18005 vsize=15151156 memory=22084 CPUtime=0.68 cores=0,2,4,6
/proc/18007/task/18017/stat : 18017 (java) R 18005 18005 17441 0 -1 4202560 1232 0 0 0 68 0 0 0 20 0 15 0 517415139 15514783744 63431 33554432000 4194304 4196468 140733565297872 140513116997616 140513631749049 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28278784 140733565301743 140733565301914 140733565301914 140733565304783 0
[pid=18007/tid=18018] ppid=18005 vsize=15151156 memory=24292 CPUtime=0.6 cores=0,2,4,6
/proc/18007/task/18018/stat : 18018 (java) S 18005 18005 17441 0 -1 1077944384 1189 0 0 0 60 0 0 0 20 0 15 0 517415139 15514783744 63431 33554432000 4194304 4196468 140733565297872 140513115945072 140513652513410 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28278784 140733565301743 140733565301914 140733565301914 140733565304783 0
[pid=18007/tid=18019] ppid=18005 vsize=15151156 memory=0 CPUtime=0.43 cores=0,2,4,6
/proc/18007/task/18019/stat : 18019 (java) S 18005 18005 17441 0 -1 1077944384 1765 0 0 0 43 0 0 0 20 0 15 0 517415139 15514783744 63431 33554432000 4194304 4196468 140733565297872 140513114892528 140513652513410 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28278784 140733565301743 140733565301914 140733565301914 140733565304783 0
[pid=18007/tid=18020] ppid=18005 vsize=15151156 memory=6010164098122476387 CPUtime=0 cores=0,2,4,6
/proc/18007/task/18020/stat : 18020 (java) S 18005 18005 17441 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517415139 15514783744 63431 33554432000 4194304 4196468 140733565297872 140513113840224 140513652512469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28278784 140733565301743 140733565301914 140733565301914 140733565304783 0
[pid=18007/tid=18021] ppid=18005 vsize=15151156 memory=6010451113489295713 CPUtime=0 cores=0,2,4,6
/proc/18007/task/18021/stat : 18021 (java) S 18005 18005 17441 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517415140 15514783744 63431 33554432000 4194304 4196468 140733565297872 140513112787760 140513652513410 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28278784 140733565301743 140733565301914 140733565301914 140733565304783 0
Current children cumulated CPU time: 3.35 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 255176 KiB

[startup+1.78887 s]
# the end of solver process 18005 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=3.72427 s, system=0.195704 s

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

[startup+1.60097 s]
/proc/loadavg: 1.61 1.45 1.41 5/229 18021
/proc/meminfo: memFree=25507996/32770624 swapFree=66975560/67108860
[pid=18005] ppid=18002 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/18005/stat : 18005 (xcsp3-exec) S 18002 18005 17441 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 517415133 115843072 363 33554432000 4194304 5098028 140737110268544 140737110266648 140384187699836 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 35729408 140737110270843 140737110271085 140737110271085 140737110273994 0
/proc/18005/statm: 28282 363 304 221 0 87 0
[pid=18007] ppid=18005 vsize=15151156 memory=254408 CPUtime=3.6 cores=0,2,4,6
/proc/18007/stat : 18007 (java) S 18005 18005 17441 0 -1 1077944320 14527 0 0 0 342 18 0 0 20 0 15 0 517415134 15514783744 63602 33554432000 4194304 4196468 140733565297872 140733565280416 140513652502263 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28278784 140733565301743 140733565301914 140733565301914 140733565304783 0
/proc/18007/statm: 3787789 63602 3484 1 0 3748889 0
[pid=18007/tid=18008] ppid=18005 vsize=15151156 memory=279922212081920 CPUtime=1.53 cores=0,2,4,6
/proc/18007/task/18008/stat : 18008 (java) R 18005 18005 17441 0 -1 4202560 8645 0 0 0 147 6 0 0 20 0 15 0 517415134 15514783744 63602 33554432000 4194304 4196468 140733565297872 140513656739456 140513295104444 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28278784 140733565301743 140733565301914 140733565301914 140733565304783 0
[pid=18007/tid=18009] ppid=18005 vsize=15151156 memory=279922211957320 CPUtime=0.03 cores=0,2,4,6
/proc/18007/task/18009/stat : 18009 (java) S 18005 18005 17441 0 -1 1077944384 32 0 0 0 1 2 0 0 20 0 15 0 517415135 15514783744 63602 33554432000 4194304 4196468 140733565297872 140513245108496 140513652512469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28278784 140733565301743 140733565301914 140733565301914 140733565304783 0
[pid=18007/tid=18010] ppid=18005 vsize=15151156 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/18007/task/18010/stat : 18010 (java) S 18005 18005 17441 0 -1 1077944384 40 0 0 0 1 2 0 0 20 0 15 0 517415135 15514783744 63602 33554432000 4194304 4196468 140733565297872 140513244055952 140513652512469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28278784 140733565301743 140733565301914 140733565301914 140733565304783 0
[pid=18007/tid=18011] ppid=18005 vsize=15151156 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/18007/task/18011/stat : 18011 (java) S 18005 18005 17441 0 -1 1077944384 48 0 0 0 1 2 0 0 20 0 15 0 517415135 15514783744 63602 33554432000 4194304 4196468 140733565297872 140513243003408 140513652512469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28278784 140733565301743 140733565301914 140733565301914 140733565304783 0
[pid=18007/tid=18012] ppid=18005 vsize=15151156 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/18007/task/18012/stat : 18012 (java) S 18005 18005 17441 0 -1 1077944384 48 0 0 0 1 2 0 0 20 0 15 0 517415135 15514783744 63602 33554432000 4194304 4196468 140733565297872 140513241950864 140513652512469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28278784 140733565301743 140733565301914 140733565301914 140733565304783 0
[pid=18007/tid=18013] ppid=18005 vsize=15151156 memory=-1807685287725067907 CPUtime=0 cores=0,2,4,6
/proc/18007/task/18013/stat : 18013 (java) S 18005 18005 17441 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 517415136 15514783744 63602 33554432000 4194304 4196468 140733565297872 140513121208816 140513652513410 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28278784 140733565301743 140733565301914 140733565301914 140733565304783 0
[pid=18007/tid=18014] ppid=18005 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18007/task/18014/stat : 18014 (java) S 18005 18005 17441 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517415136 15514783744 63602 33554432000 4194304 4196468 140733565297872 140513120155040 140513652512469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28278784 140733565301743 140733565301914 140733565301914 140733565304783 0
[pid=18007/tid=18015] ppid=18005 vsize=15151156 memory=9252 CPUtime=0 cores=0,2,4,6
/proc/18007/task/18015/stat : 18015 (java) S 18005 18005 17441 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 517415137 15514783744 63602 33554432000 4194304 4196468 140733565297872 140513119102448 140513652512469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28278784 140733565301743 140733565301914 140733565301914 140733565304783 0
[pid=18007/tid=18016] ppid=18005 vsize=15151156 memory=15531 CPUtime=0 cores=0,2,4,6
/proc/18007/task/18016/stat : 18016 (java) S 18005 18005 17441 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517415139 15514783744 63602 33554432000 4194304 4196468 140733565297872 140513118051024 140513652520859 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28278784 140733565301743 140733565301914 140733565301914 140733565304783 0
[pid=18007/tid=18017] ppid=18005 vsize=15151156 memory=0 CPUtime=0.74 cores=0,2,4,6
/proc/18007/task/18017/stat : 18017 (java) R 18005 18005 17441 0 -1 4202560 1245 0 0 0 74 0 0 0 20 0 15 0 517415139 15514783744 63602 33554432000 4194304 4196468 140733565297872 140513116997616 140513636899499 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28278784 140733565301743 140733565301914 140733565301914 140733565304783 0
[pid=18007/tid=18018] ppid=18005 vsize=15151156 memory=0 CPUtime=0.68 cores=0,2,4,6
/proc/18007/task/18018/stat : 18018 (java) R 18005 18005 17441 0 -1 4202560 1297 0 0 0 68 0 0 0 20 0 15 0 517415139 15514783744 63602 33554432000 4194304 4196468 140733565297872 140513115932512 140513636409334 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28278784 140733565301743 140733565301914 140733565301914 140733565304783 0
[pid=18007/tid=18019] ppid=18005 vsize=15151156 memory=0 CPUtime=0.44 cores=0,2,4,6
/proc/18007/task/18019/stat : 18019 (java) S 18005 18005 17441 0 -1 1077944384 1791 0 0 0 44 0 0 0 20 0 15 0 517415139 15514783744 63602 33554432000 4194304 4196468 140733565297872 140513114892528 140513652513410 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28278784 140733565301743 140733565301914 140733565301914 140733565304783 0
[pid=18007/tid=18020] ppid=18005 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18007/task/18020/stat : 18020 (java) S 18005 18005 17441 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517415139 15514783744 63602 33554432000 4194304 4196468 140733565297872 140513113840224 140513652512469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28278784 140733565301743 140733565301914 140733565301914 140733565304783 0
[pid=18007/tid=18021] ppid=18005 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18007/task/18021/stat : 18021 (java) S 18005 18005 17441 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517415140 15514783744 63602 33554432000 4194304 4196468 140733565297872 140513112787760 140513652513410 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28278784 140733565301743 140733565301914 140733565301914 140733565304783 0
Current children cumulated CPU time: 3.6 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 255860 KiB

[startup+1.70077 s]
/proc/loadavg: 1.61 1.45 1.41 5/229 18021
/proc/meminfo: memFree=25507996/32770624 swapFree=66975560/67108860
[pid=18005] ppid=18002 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/18005/stat : 18005 (xcsp3-exec) S 18002 18005 17441 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 517415133 115843072 363 33554432000 4194304 5098028 140737110268544 140737110266648 140384187699836 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 35729408 140737110270843 140737110271085 140737110271085 140737110273994 0
/proc/18005/statm: 28282 363 304 221 0 87 0
[pid=18007] ppid=18005 vsize=15151156 memory=255128 CPUtime=3.8 cores=0,2,4,6
/proc/18007/stat : 18007 (java) S 18005 18005 17441 0 -1 1077944320 14737 0 0 0 362 18 0 0 20 0 15 0 517415134 15514783744 63782 33554432000 4194304 4196468 140733565297872 140733565280416 140513652502263 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28278784 140733565301743 140733565301914 140733565301914 140733565304783 0
/proc/18007/statm: 3787789 63782 3484 1 0 3748889 0
[pid=18007/tid=18008] ppid=18005 vsize=15151156 memory=0 CPUtime=1.63 cores=0,2,4,6
/proc/18007/task/18008/stat : 18008 (java) R 18005 18005 17441 0 -1 4202560 8645 0 0 0 157 6 0 0 20 0 15 0 517415134 15514783744 63782 33554432000 4194304 4196468 140733565297872 140513656739456 140513295105151 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28278784 140733565301743 140733565301914 140733565301914 140733565304783 0
[pid=18007/tid=18009] ppid=18005 vsize=15151156 memory=6010164098122476387 CPUtime=0.03 cores=0,2,4,6
/proc/18007/task/18009/stat : 18009 (java) S 18005 18005 17441 0 -1 1077944384 32 0 0 0 1 2 0 0 20 0 15 0 517415135 15514783744 63782 33554432000 4194304 4196468 140733565297872 140513245108496 140513652512469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28278784 140733565301743 140733565301914 140733565301914 140733565304783 0
[pid=18007/tid=18010] ppid=18005 vsize=15151156 memory=6010451113489295713 CPUtime=0.03 cores=0,2,4,6
/proc/18007/task/18010/stat : 18010 (java) S 18005 18005 17441 0 -1 1077944384 40 0 0 0 1 2 0 0 20 0 15 0 517415135 15514783744 63782 33554432000 4194304 4196468 140733565297872 140513244055952 140513652512469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28278784 140733565301743 140733565301914 140733565301914 140733565304783 0
[pid=18007/tid=18011] ppid=18005 vsize=15151156 memory=6791534058613427641 CPUtime=0.03 cores=0,2,4,6
/proc/18007/task/18011/stat : 18011 (java) S 18005 18005 17441 0 -1 1077944384 48 0 0 0 1 2 0 0 20 0 15 0 517415135 15514783744 63782 33554432000 4194304 4196468 140733565297872 140513243003408 140513652512469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28278784 140733565301743 140733565301914 140733565301914 140733565304783 0
[pid=18007/tid=18012] ppid=18005 vsize=15151156 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/18007/task/18012/stat : 18012 (java) S 18005 18005 17441 0 -1 1077944384 48 0 0 0 1 2 0 0 20 0 15 0 517415135 15514783744 63782 33554432000 4194304 4196468 140733565297872 140513241950864 140513652512469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28278784 140733565301743 140733565301914 140733565301914 140733565304783 0
[pid=18007/tid=18013] ppid=18005 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18007/task/18013/stat : 18013 (java) S 18005 18005 17441 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 517415136 15514783744 63782 33554432000 4194304 4196468 140733565297872 140513121208816 140513652513410 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28278784 140733565301743 140733565301914 140733565301914 140733565304783 0
[pid=18007/tid=18014] ppid=18005 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18007/task/18014/stat : 18014 (java) S 18005 18005 17441 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517415136 15514783744 63782 33554432000 4194304 4196468 140733565297872 140513120155040 140513652512469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28278784 140733565301743 140733565301914 140733565301914 140733565304783 0
[pid=18007/tid=18015] ppid=18005 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18007/task/18015/stat : 18015 (java) S 18005 18005 17441 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 517415137 15514783744 63782 33554432000 4194304 4196468 140733565297872 140513119102448 140513652512469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28278784 140733565301743 140733565301914 140733565301914 140733565304783 0
[pid=18007/tid=18016] ppid=18005 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18007/task/18016/stat : 18016 (java) S 18005 18005 17441 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517415139 15514783744 63782 33554432000 4194304 4196468 140733565297872 140513118051024 140513652520859 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28278784 140733565301743 140733565301914 140733565301914 140733565304783 0
[pid=18007/tid=18017] ppid=18005 vsize=15151156 memory=4420 CPUtime=0.79 cores=0,2,4,6
/proc/18007/task/18017/stat : 18017 (java) S 18005 18005 17441 0 -1 1077944384 1258 0 0 0 79 0 0 0 20 0 15 0 517415139 15514783744 63782 33554432000 4194304 4196468 140733565297872 140513116997616 140513652513410 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28278784 140733565301743 140733565301914 140733565301914 140733565304783 0
[pid=18007/tid=18018] ppid=18005 vsize=15151156 memory=6628 CPUtime=0.73 cores=0,2,4,6
/proc/18007/task/18018/stat : 18018 (java) S 18005 18005 17441 0 -1 1077944384 1483 0 0 0 73 0 0 0 20 0 15 0 517415139 15514783744 63782 33554432000 4194304 4196468 140733565297872 140513115945072 140513652513410 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28278784 140733565301743 140733565301914 140733565301914 140733565304783 0
[pid=18007/tid=18019] ppid=18005 vsize=15151156 memory=8836 CPUtime=0.45 cores=0,2,4,6
/proc/18007/task/18019/stat : 18019 (java) S 18005 18005 17441 0 -1 1077944384 1802 0 0 0 45 0 0 0 20 0 15 0 517415139 15514783744 63782 33554432000 4194304 4196468 140733565297872 140513114892528 140513652513410 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28278784 140733565301743 140733565301914 140733565301914 140733565304783 0
[pid=18007/tid=18020] ppid=18005 vsize=15151156 memory=11044 CPUtime=0 cores=0,2,4,6
/proc/18007/task/18020/stat : 18020 (java) S 18005 18005 17441 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517415139 15514783744 63782 33554432000 4194304 4196468 140733565297872 140513113840224 140513652512469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28278784 140733565301743 140733565301914 140733565301914 140733565304783 0
[pid=18007/tid=18021] ppid=18005 vsize=15151156 memory=13252 CPUtime=0 cores=0,2,4,6
/proc/18007/task/18021/stat : 18021 (java) S 18005 18005 17441 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517415140 15514783744 63782 33554432000 4194304 4196468 140733565297872 140513112787760 140513652513410 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28278784 140733565301743 140733565301914 140733565301914 140733565304783 0
Current children cumulated CPU time: 3.8 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 256580 KiB

Child status: 0
Real time (s): 1.78893
CPU time (s): 3.91997
CPU user time (s): 3.72427
CPU system time (s): 0.195704
CPU usage (%): 219.124
Max. virtual memory (cumulated for all children) (KiB): 15264284
Max. memory (cumulated for all children) (KiB): 256580

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.72427
system time used= 0.195704
maximum resident set size= 256092
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15319
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= 2013
involuntary context switches= 18


# summary of solver processes directly reported to runsolver:
#   pid: 18005
#   total CPU time (s): 3.91997
#   total CPU user time (s): 3.72427
#   total CPU system time (s): 0.195704

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.03593 second user time and 0.057488 second system time

The end

Launcher Data 

Begin job on node125 at 2019-09-25 13:37:21
IDJOB=4405744
IDBENCH=135918
IDSOLVER=2869
FILE ID=node125/4405744-1569411484
RUNJOBID= node125-1569408839-17472
PBS_JOBID= 21705712
Free space on /tmp= 4228 MiB

SOLVER NAME= choco-solver 2019-09-24
BENCH NAME= XCSP17/TravellingSalesman/TravellingSalesman-xcsp2-s20a4/TravellingSalesman-4-20-001-a4_X2.xml
COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p 1 -ml 12000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4405744-1569411484/watcher-4405744-1569411484 -o /tmp/evaluation-result-4405744-1569411484/solver-4405744-1569411484 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1569408839-17472 --watchdog 2580  xcsp3-exec -dir HOME -tl 2520 -p 1 -ml 12000 -tdir HOME -seed 634919586 HOME/instance-4405744-1569411484.xml

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

MD5SUM BENCH= b8ea00653452363d0c81f6ef3102e485
RANDOM SEED=634919586

node125.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.29
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.29
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.29
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.29
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:        25749704 kB
MemAvailable:   31434156 kB
Buffers:          122192 kB
Cached:          5639448 kB
SwapCached:        29888 kB
Active:          3103356 kB
Inactive:        3075776 kB
Active(anon):     387868 kB
Inactive(anon):    85388 kB
Active(file):    2715488 kB
Inactive(file):  2990388 kB
Unevictable:      108176 kB
Mlocked:          108176 kB
SwapTotal:      67108860 kB
SwapFree:       66975560 kB
Dirty:             26488 kB
Writeback:             0 kB
AnonPages:        495096 kB
Mapped:            71168 kB
Shmem:             47376 kB
Slab:             436848 kB
SReclaimable:     407036 kB
SUnreclaim:        29812 kB
KernelStack:        3808 kB
PageTables:         6364 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1650004 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    403456 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      114048 kB
DirectMap2M:    33431552 kB

Free space on /tmp at the end= 4204 MiB
End job on node125 at 2019-09-25 13:37:23