Trace number 4282676

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
choco-solver 4.0.5 seq (2017-08-18)OPT261 7.7444 2.8866999

General information on the benchmark

NameScheduling/Scheduling-os-taillard/
Taillard-os-04-04-8.xml
MD5SUMaed9643ac8b54e4586138aa43d9c539b
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark261
Best CPU time to get the best result obtained on this benchmark0.201943
Satisfiable
(Un)Satisfiability was proved
Number of variables68
Number of constraints60
Number of domains6
Minimum domain size4
Maximum domain size361
Distribution of domain sizes[{"size":4,"count":32},{"size":361,"count":36}]
Minimum variable degree2
Maximum variable degree5
Distribution of variable degrees[{"degree":2,"count":20},{"degree":3,"count":32},{"degree":5,"count":16}]
Minimum constraint arity1
Maximum constraint arity6
Distribution of constraint arities[{"arity":1,"count":4},{"arity":2,"count":16},{"arity":3,"count":16},{"arity":4,"count":8},{"arity":6,"count":16}]
Number of extensional constraints16
Number of intensional constraints20
Distribution of constraint types[{"type":"extension","count":16},{"type":"intension","count":20},{"type":"allDifferent","count":4},{"type":"noOverlap","count":4},{"type":"element","count":16}]
Optimization problemYES
Type of objectivemin MAXIMUM

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.07	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4282676-1503101689.xml"  -tl '2520s' -p 1 -x 0
0.06/0.30	c [HOME/instance-4282676-1503101689.xml, -tl, 2520s, -p, 1, -x, 0]
0.24/0.36	c simple solver
0.41/0.42	c parse instance...
0.83/0.65	c solve instance...
1.10/0.73	o 360 
1.10/0.76	o 359 
1.41/0.82	o 307 
1.41/0.84	o 303 
1.41/0.86	o 292 
1.73/0.93	o 285 
1.73/0.94	o 283 
1.73/0.95	o 279 
1.73/0.98	o 274 
2.08/1.07	o 268 
3.90/1.65	o 267 
4.52/1.80	o 261 
7.53/2.85	s OPTIMUM FOUND
7.53/2.85	v <instantiation>
7.53/2.85	v 	<list>s[0][0] s[0][1] s[0][2] s[0][3] s[1][0] s[1][1] s[1][2] s[1][3] s[2][0] s[2][1] s[2][2] s[2][3] s[3][0] s[3][1] s[3][2] s[3][3] e[0] e[1] e[2] e[3] d[0][0] d[0][1] d[0][2] d[0][3] d[1][0] d[1][1] d[1][2] d[1][3] d[2][0] d[2][1] d[2][2] d[2][3] d[3][0] d[3][1] d[3][2] d[3][3] w[0][0] w[0][1] w[0][2] w[0][3] w[1][0] w[1][1] w[1][2] w[1][3] w[2][0] w[2][1] w[2][2] w[2][3] w[3][0] w[3][1] w[3][2] w[3][3] sd[0][0] sd[0][1] sd[0][2] sd[0][3] sd[1][0] sd[1][1] sd[1][2] sd[1][3] sd[2][0] sd[2][1] sd[2][2] sd[2][3] sd[3][0] sd[3][1] sd[3][2] sd[3][3] </list>
7.53/2.85	v 	<values>0 63 135 210 0 72 158 179 0 63 165 210 0 72 165 179 256 245 242 261 59 62 71 46 69 63 21 66 63 95 45 32 72 93 11 82 2 0 1 3 3 1 2 0 0 2 3 1 1 3 0 2 63 135 0 210 179 72 158 0 0 210 63 165 165 0 179 72 </values>
7.53/2.85	v </instantiation>

Verifier Data 

OK	261

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4282676-1503101689/watcher-4282676-1503101689 -o /tmp/evaluation-result-4282676-1503101689/solver-4282676-1503101689 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node130-1503095856-15586 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1179070081 HOME/instance-4282676-1503101689.xml 

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

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

solver pid=16220, runsolver pid=16217

[startup+0.101763 s]*
/proc/loadavg: 1.86 1.77 1.74 3/208 16229
/proc/meminfo: memFree=31716196/32770624 swapFree=67108860/67108860
[pid=16220] ppid=16217 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/16220/stat : 16220 (xcsp3-exec) S 16217 16220 15523 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 8577003 9740288 345 18446744073709551615 4194304 5098028 140724069348064 140724069346168 140461593412220 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 7 0 0 7196144 7232144 27955200 140724069355897 140724069356102 140724069356102 140724069359595 0
/proc/16220/statm: 2378 345 289 221 0 87 0
[pid=16222] ppid=16220 vsize=13574484 memory=17736 CPUtime=0.02 cores=0,2,4,6
/proc/16222/stat : 16222 (java) S 16220 16220 15523 0 -1 1077944320 3763 0 0 0 2 0 0 0 20 0 9 0 8577010 13900271616 4434 18446744073709551615 4194304 4196468 140726256697616 140726256680160 140504368553719 0 0 1 16784584 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 17678336 140726256705970 140726256706146 140726256706146 140726256709583 0
/proc/16222/statm: 3393621 4434 2086 1 0 3383118 0
[pid=16222/tid=16223] ppid=16220 vsize=13574484 memory=-6871798056524144002 CPUtime=0.02 cores=0,2,4,6
/proc/16222/task/16223/stat : 16223 (java) R 16220 16220 15523 0 -1 4202560 2467 0 0 0 2 0 0 0 20 0 9 0 8577011 13900271616 4434 18446744073709551615 4194304 4196468 140726256697616 140504372789768 140504354236245 0 4 1 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17678336 140726256705970 140726256706146 140726256706146 140726256709583 0
[pid=16222/tid=16224] ppid=16220 vsize=13574484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16222/task/16224/stat : 16224 (java) S 16220 16220 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 8577011 13900271616 4434 18446744073709551615 4194304 4196468 140726256697616 140504287967632 140504368563925 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17678336 140726256705970 140726256706146 140726256706146 140726256709583 0
[pid=16222/tid=16225] ppid=16220 vsize=13574484 memory=140560989173376 CPUtime=0 cores=0,2,4,6
/proc/16222/task/16225/stat : 16225 (java) S 16220 16220 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 8577011 13900271616 4434 18446744073709551615 4194304 4196468 140726256697616 140504286914832 140504368563925 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17678336 140726256705970 140726256706146 140726256706146 140726256709583 0
[pid=16222/tid=16226] ppid=16220 vsize=13574484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16222/task/16226/stat : 16226 (java) S 16220 16220 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 8577011 13900271616 4434 18446744073709551615 4194304 4196468 140726256697616 140503966280336 140504368563925 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17678336 140726256705970 140726256706146 140726256706146 140726256709583 0
[pid=16222/tid=16227] ppid=16220 vsize=13574484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16222/task/16227/stat : 16227 (java) S 16220 16220 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 8577011 13900271616 4434 18446744073709551615 4194304 4196468 140726256697616 140503965227536 140504368563925 0 4 1 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17678336 140726256705970 140726256706146 140726256706146 140726256709583 0
[pid=16222/tid=16228] ppid=16220 vsize=13574484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16222/task/16228/stat : 16228 (java) S 16220 16220 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 8577013 13900271616 4434 18446744073709551615 4194304 4196468 140726256697616 140503847098992 140504368564866 0 0 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17678336 140726256705970 140726256706146 140726256706146 140726256709583 0
[pid=16222/tid=16229] ppid=16220 vsize=13574484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16222/task/16229/stat : 16229 (java) S 16220 16220 15523 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 8577013 13900271616 4434 18446744073709551615 4194304 4196468 140726256697616 140503846044960 140504368563925 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17678336 140726256705970 140726256706146 140726256706146 140726256709583 0
[pid=16222/tid=16230] ppid=16220 vsize=13574484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16222/task/16230/stat : 16230 (java) S 16220 16220 15523 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 8577013 13900271616 4434 18446744073709551615 4194304 4196468 140726256697616 140503844992688 140504368563925 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17678336 140726256705970 140726256706146 140726256706146 140726256709583 0
Current children cumulated CPU time: 0.02 s
Current children cumulated vsize: 13583996 KiB
Current children cumulated memory: 19116 KiB

[startup+0.210171 s]*
/proc/loadavg: 1.86 1.77 1.74 2/214 16235
/proc/meminfo: memFree=31715296/32770624 swapFree=67108860/67108860
[pid=16220] ppid=16217 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/16220/stat : 16220 (xcsp3-exec) S 16217 16220 15523 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 8577003 9740288 345 18446744073709551615 4194304 5098028 140724069348064 140724069346168 140461593412220 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 7 0 0 7196144 7232144 27955200 140724069355897 140724069356102 140724069356102 140724069359595 0
/proc/16220/statm: 2378 345 289 221 0 87 0
[pid=16222] ppid=16220 vsize=13974352 memory=21460 CPUtime=0.06 cores=0,2,4,6
/proc/16222/stat : 16222 (java) S 16220 16220 15523 0 -1 1077944320 4777 0 0 0 5 1 0 0 20 0 15 0 8577010 14309736448 5365 18446744073709551615 4194304 4196468 140726256697616 140726256680160 140504368553719 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 17678336 140726256705970 140726256706146 140726256706146 140726256709583 0
/proc/16222/statm: 3493588 5365 2703 1 0 3482964 0
[pid=16222/tid=16223] ppid=16220 vsize=13974352 memory=8390339637985935414 CPUtime=0.04 cores=0,2,4,6
/proc/16222/task/16223/stat : 16223 (java) R 16220 16220 15523 0 -1 4202560 2939 0 0 0 4 0 0 0 20 0 15 0 8577011 14309736448 5365 18446744073709551615 4194304 4196468 140726256697616 140504372793904 140504353402000 0 4 1 16800974 0 0 0 -1 2 0 0 8 0 0 6293624 6294260 17678336 140726256705970 140726256706146 140726256706146 140726256709583 0
[pid=16222/tid=16224] ppid=16220 vsize=13974352 memory=288230613264376577 CPUtime=0 cores=0,2,4,6
/proc/16222/task/16224/stat : 16224 (java) S 16220 16220 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8577011 14309736448 5365 18446744073709551615 4194304 4196468 140726256697616 140504287967632 140504368563925 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17678336 140726256705970 140726256706146 140726256706146 140726256709583 0
[pid=16222/tid=16225] ppid=16220 vsize=13974352 memory=140560989265460 CPUtime=0 cores=0,2,4,6
/proc/16222/task/16225/stat : 16225 (java) S 16220 16220 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8577011 14309736448 5365 18446744073709551615 4194304 4196468 140726256697616 140504286914832 140504368563925 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17678336 140726256705970 140726256706146 140726256706146 140726256709583 0
[pid=16222/tid=16226] ppid=16220 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16222/task/16226/stat : 16226 (java) S 16220 16220 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8577011 14309736448 5365 18446744073709551615 4194304 4196468 140726256697616 140503966280336 140504368563925 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17678336 140726256705970 140726256706146 140726256706146 140726256709583 0
[pid=16222/tid=16227] ppid=16220 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16222/task/16227/stat : 16227 (java) S 16220 16220 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 8577011 14309736448 5365 18446744073709551615 4194304 4196468 140726256697616 140503965227536 140504368563925 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17678336 140726256705970 140726256706146 140726256706146 140726256709583 0
[pid=16222/tid=16228] ppid=16220 vsize=13974352 memory=140560989173376 CPUtime=0 cores=0,2,4,6
/proc/16222/task/16228/stat : 16228 (java) S 16220 16220 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 8577013 14309736448 5365 18446744073709551615 4194304 4196468 140726256697616 140503847098992 140504368564866 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17678336 140726256705970 140726256706146 140726256706146 140726256709583 0
[pid=16222/tid=16229] ppid=16220 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16222/task/16229/stat : 16229 (java) S 16220 16220 15523 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 8577013 14309736448 5365 18446744073709551615 4194304 4196468 140726256697616 140503846044960 140504368563925 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17678336 140726256705970 140726256706146 140726256706146 140726256709583 0
[pid=16222/tid=16230] ppid=16220 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16222/task/16230/stat : 16230 (java) S 16220 16220 15523 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 8577013 14309736448 5365 18446744073709551615 4194304 4196468 140726256697616 140503844992624 140504368563925 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17678336 140726256705970 140726256706146 140726256706146 140726256709583 0
[pid=16222/tid=16231] ppid=16220 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16222/task/16231/stat : 16231 (java) S 16220 16220 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8577016 14309736448 5365 18446744073709551615 4194304 4196468 140726256697616 140503843940944 140504368572315 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17678336 140726256705970 140726256706146 140726256706146 140726256709583 0
[pid=16222/tid=16232] ppid=16220 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16222/task/16232/stat : 16232 (java) S 16220 16220 15523 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 15 0 8577016 14309736448 5365 18446744073709551615 4194304 4196468 140726256697616 140503842887792 140504368564866 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17678336 140726256705970 140726256706146 140726256706146 140726256709583 0
[pid=16222/tid=16233] ppid=16220 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16222/task/16233/stat : 16233 (java) S 16220 16220 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8577016 14309736448 5365 18446744073709551615 4194304 4196468 140726256697616 140503841834992 140504368564866 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17678336 140726256705970 140726256706146 140726256706146 140726256709583 0
[pid=16222/tid=16234] ppid=16220 vsize=13974352 memory=140560989173376 CPUtime=0 cores=0,2,4,6
/proc/16222/task/16234/stat : 16234 (java) S 16220 16220 15523 0 -1 1077944384 230 0 0 0 0 0 0 0 20 0 15 0 8577016 14309736448 5365 18446744073709551615 4194304 4196468 140726256697616 140503840782704 140504368564866 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17678336 140726256705970 140726256706146 140726256706146 140726256709583 0
[pid=16222/tid=16235] ppid=16220 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16222/task/16235/stat : 16235 (java) S 16220 16220 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8577016 14309736448 5365 18446744073709551615 4194304 4196468 140726256697616 140503839730144 140504368563925 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17678336 140726256705970 140726256706146 140726256706146 140726256709583 0
[pid=16222/tid=16236] ppid=16220 vsize=13974352 memory=140560989173376 CPUtime=0 cores=0,2,4,6
/proc/16222/task/16236/stat : 16236 (java) S 16220 16220 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8577025 14309736448 5365 18446744073709551615 4194304 4196468 140726256697616 140503838677936 140504368564866 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17678336 140726256705970 140726256706146 140726256706146 140726256709583 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 22840 KiB

[startup+0.310527 s]*
/proc/loadavg: 1.86 1.77 1.74 3/215 16236
/proc/meminfo: memFree=31701444/32770624 swapFree=67108860/67108860
[pid=16220] ppid=16217 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/16220/stat : 16220 (xcsp3-exec) S 16217 16220 15523 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 8577003 9740288 345 18446744073709551615 4194304 5098028 140724069348064 140724069346168 140461593412220 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 7 0 0 7196144 7232144 27955200 140724069355897 140724069356102 140724069356102 140724069359595 0
/proc/16220/statm: 2378 345 289 221 0 87 0
[pid=16222] ppid=16220 vsize=13974352 memory=36012 CPUtime=0.24 cores=0,2,4,6
/proc/16222/stat : 16222 (java) S 16220 16220 15523 0 -1 1077944320 8636 0 0 0 21 3 0 0 20 0 15 0 8577010 14309736448 9003 18446744073709551615 4194304 4196468 140726256697616 140726256680160 140504368553719 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 17678336 140726256705970 140726256706146 140726256706146 140726256709583 0
/proc/16222/statm: 3493588 9003 2958 1 0 3482964 0
[pid=16222/tid=16223] ppid=16220 vsize=13974352 memory=8390339637985935414 CPUtime=0.15 cores=0,2,4,6
/proc/16222/task/16223/stat : 16223 (java) R 16220 16220 15523 0 -1 4202560 5929 0 0 0 13 2 0 0 20 0 15 0 8577011 14309736448 9003 18446744073709551615 4194304 4196468 140726256697616 140504372776096 140504348084928 0 4 1 16800974 0 0 0 -1 0 0 0 8 0 0 6293624 6294260 17678336 140726256705970 140726256706146 140726256706146 140726256709583 0
[pid=16222/tid=16224] ppid=16220 vsize=13974352 memory=301741412146488065 CPUtime=0 cores=0,2,4,6
/proc/16222/task/16224/stat : 16224 (java) S 16220 16220 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8577011 14309736448 9003 18446744073709551615 4194304 4196468 140726256697616 140504287967632 140504368563925 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17678336 140726256705970 140726256706146 140726256706146 140726256709583 0
[pid=16222/tid=16225] ppid=16220 vsize=13974352 memory=140560989265460 CPUtime=0 cores=0,2,4,6
/proc/16222/task/16225/stat : 16225 (java) S 16220 16220 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8577011 14309736448 9003 18446744073709551615 4194304 4196468 140726256697616 140504286914832 140504368563925 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17678336 140726256705970 140726256706146 140726256706146 140726256709583 0
[pid=16222/tid=16226] ppid=16220 vsize=13974352 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/16222/task/16226/stat : 16226 (java) S 16220 16220 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8577011 14309736448 9003 18446744073709551615 4194304 4196468 140726256697616 140503966280336 140504368563925 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17678336 140726256705970 140726256706146 140726256706146 140726256709583 0
[pid=16222/tid=16227] ppid=16220 vsize=13974352 memory=3472328296227680299 CPUtime=0 cores=0,2,4,6
/proc/16222/task/16227/stat : 16227 (java) S 16220 16220 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 8577011 14309736448 9003 18446744073709551615 4194304 4196468 140726256697616 140503965227536 140504368563925 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17678336 140726256705970 140726256706146 140726256706146 140726256709583 0
[pid=16222/tid=16228] ppid=16220 vsize=13974352 memory=4211962136530296823 CPUtime=0 cores=0,2,4,6
/proc/16222/task/16228/stat : 16228 (java) S 16220 16220 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 8577013 14309736448 9003 18446744073709551615 4194304 4196468 140726256697616 140503847098992 140504368564866 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17678336 140726256705970 140726256706146 140726256706146 140726256709583 0
[pid=16222/tid=16229] ppid=16220 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16222/task/16229/stat : 16229 (java) S 16220 16220 15523 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 8577013 14309736448 9003 18446744073709551615 4194304 4196468 140726256697616 140503846044960 140504368563925 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17678336 140726256705970 140726256706146 140726256706146 140726256709583 0
[pid=16222/tid=16230] ppid=16220 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16222/task/16230/stat : 16230 (java) S 16220 16220 15523 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 8577013 14309736448 9003 18446744073709551615 4194304 4196468 140726256697616 140503844992624 140504368563925 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17678336 140726256705970 140726256706146 140726256706146 140726256709583 0
[pid=16222/tid=16231] ppid=16220 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16222/task/16231/stat : 16231 (java) S 16220 16220 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8577016 14309736448 9003 18446744073709551615 4194304 4196468 140726256697616 140503843940944 140504368572315 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17678336 140726256705970 140726256706146 140726256706146 140726256709583 0
[pid=16222/tid=16232] ppid=16220 vsize=13974352 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/16222/task/16232/stat : 16232 (java) S 16220 16220 15523 0 -1 1077944384 509 0 0 0 1 0 0 0 20 0 15 0 8577016 14309736448 9003 18446744073709551615 4194304 4196468 140726256697616 140503842887792 140504368564866 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17678336 140726256705970 140726256706146 140726256706146 140726256709583 0
[pid=16222/tid=16233] ppid=16220 vsize=13974352 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/16222/task/16233/stat : 16233 (java) S 16220 16220 15523 0 -1 1077944384 175 0 0 0 1 0 0 0 20 0 15 0 8577016 14309736448 9003 18446744073709551615 4194304 4196468 140726256697616 140503841834992 140504368564866 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17678336 140726256705970 140726256706146 140726256706146 140726256709583 0
[pid=16222/tid=16234] ppid=16220 vsize=13974352 memory=140560989173376 CPUtime=0.05 cores=0,2,4,6
/proc/16222/task/16234/stat : 16234 (java) S 16220 16220 15523 0 -1 1077944384 719 0 0 0 5 0 0 0 20 0 15 0 8577016 14309736448 9003 18446744073709551615 4194304 4196468 140726256697616 140503840782704 140504368564866 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17678336 140726256705970 140726256706146 140726256706146 140726256709583 0
[pid=16222/tid=16235] ppid=16220 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16222/task/16235/stat : 16235 (java) S 16220 16220 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8577016 14309736448 9003 18446744073709551615 4194304 4196468 140726256697616 140503839730144 140504368563925 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17678336 140726256705970 140726256706146 140726256706146 140726256709583 0
[pid=16222/tid=16236] ppid=16220 vsize=13974352 memory=140560989173376 CPUtime=0 cores=0,2,4,6
/proc/16222/task/16236/stat : 16236 (java) S 16220 16220 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8577025 14309736448 9003 18446744073709551615 4194304 4196468 140726256697616 140503838677936 140504368564866 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17678336 140726256705970 140726256706146 140726256706146 140726256709583 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 37392 KiB

[startup+0.703259 s]
/proc/loadavg: 1.86 1.77 1.74 4/215 16236
/proc/meminfo: memFree=31689896/32770624 swapFree=67108860/67108860
[pid=16220] ppid=16217 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/16220/stat : 16220 (xcsp3-exec) S 16217 16220 15523 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 8577003 9740288 345 18446744073709551615 4194304 5098028 140724069348064 140724069346168 140461593412220 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 7 0 0 7196144 7232144 27955200 140724069355897 140724069356102 140724069356102 140724069359595 0
/proc/16220/statm: 2378 345 289 221 0 87 0
[pid=16222] ppid=16220 vsize=13980732 memory=65412 CPUtime=1.1 cores=0,2,4,6
/proc/16222/stat : 16222 (java) S 16220 16220 15523 0 -1 1077944320 13893 0 0 0 105 5 0 0 20 0 15 0 8577010 14316269568 16353 18446744073709551615 4194304 4196468 140726256697616 140726256680160 140504368553719 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 17678336 140726256705970 140726256706146 140726256706146 140726256709583 0
/proc/16222/statm: 3495183 16353 3171 1 0 3483476 0
[pid=16222/tid=16223] ppid=16220 vsize=13980732 memory=2477659260417 CPUtime=0.52 cores=0,2,4,6
/proc/16222/task/16223/stat : 16223 (java) R 16220 16220 15523 0 -1 4202560 9126 0 0 0 49 3 0 0 20 0 15 0 8577011 14316269568 16353 18446744073709551615 4194304 4196468 140726256697616 140504372792640 140504368565654 0 4 1 16800974 0 0 0 -1 0 0 0 8 0 0 6293624 6294260 17678336 140726256705970 140726256706146 140726256706146 140726256709583 0
[pid=16222/tid=16224] ppid=16220 vsize=13980732 memory=2481954227713 CPUtime=0 cores=0,2,4,6
/proc/16222/task/16224/stat : 16224 (java) S 16220 16220 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8577011 14316269568 16353 18446744073709551615 4194304 4196468 140726256697616 140504287967632 140504368563925 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17678336 140726256705970 140726256706146 140726256706146 140726256709583 0
[pid=16222/tid=16225] ppid=16220 vsize=13980732 memory=48372 CPUtime=0 cores=0,2,4,6
/proc/16222/task/16225/stat : 16225 (java) S 16220 16220 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8577011 14316269568 16353 18446744073709551615 4194304 4196468 140726256697616 140504286914832 140504368563925 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17678336 140726256705970 140726256706146 140726256706146 140726256709583 0
[pid=16222/tid=16226] ppid=16220 vsize=13980732 memory=-8774313645642428999 CPUtime=0 cores=0,2,4,6
/proc/16222/task/16226/stat : 16226 (java) S 16220 16220 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8577011 14316269568 16353 18446744073709551615 4194304 4196468 140726256697616 140503966280336 140504368563925 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17678336 140726256705970 140726256706146 140726256706146 140726256709583 0
[pid=16222/tid=16227] ppid=16220 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16222/task/16227/stat : 16227 (java) S 16220 16220 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 8577011 14316269568 16353 18446744073709551615 4194304 4196468 140726256697616 140503965227536 140504368563925 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17678336 140726256705970 140726256706146 140726256706146 140726256709583 0
[pid=16222/tid=16228] ppid=16220 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16222/task/16228/stat : 16228 (java) S 16220 16220 15523 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 8577013 14316269568 16353 18446744073709551615 4194304 4196468 140726256697616 140503847098992 140504368564866 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17678336 140726256705970 140726256706146 140726256706146 140726256709583 0
[pid=16222/tid=16229] ppid=16220 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16222/task/16229/stat : 16229 (java) S 16220 16220 15523 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 8577013 14316269568 16353 18446744073709551615 4194304 4196468 140726256697616 140503846044960 140504368563925 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17678336 140726256705970 140726256706146 140726256706146 140726256709583 0
[pid=16222/tid=16230] ppid=16220 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16222/task/16230/stat : 16230 (java) S 16220 16220 15523 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 8577013 14316269568 16353 18446744073709551615 4194304 4196468 140726256697616 140503844992624 140504368563925 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17678336 140726256705970 140726256706146 140726256706146 140726256709583 0
[pid=16222/tid=16231] ppid=16220 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16222/task/16231/stat : 16231 (java) S 16220 16220 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8577016 14316269568 16353 18446744073709551615 4194304 4196468 140726256697616 140503843940944 140504368572315 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17678336 140726256705970 140726256706146 140726256706146 140726256709583 0
[pid=16222/tid=16232] ppid=16220 vsize=13980732 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/16222/task/16232/stat : 16232 (java) S 16220 16220 15523 0 -1 1077944384 1114 0 0 0 13 0 0 0 20 0 15 0 8577016 14316269568 16353 18446744073709551615 4194304 4196468 140726256697616 140503842887792 140504368564866 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17678336 140726256705970 140726256706146 140726256706146 140726256709583 0
[pid=16222/tid=16233] ppid=16220 vsize=13980732 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/16222/task/16233/stat : 16233 (java) S 16220 16220 15523 0 -1 1077944384 854 0 0 0 13 0 0 0 20 0 15 0 8577016 14316269568 16353 18446744073709551615 4194304 4196468 140726256697616 140503841834992 140504368564866 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17678336 140726256705970 140726256706146 140726256706146 140726256709583 0
[pid=16222/tid=16234] ppid=16220 vsize=13980732 memory=0 CPUtime=0.27 cores=0,2,4,6
/proc/16222/task/16234/stat : 16234 (java) R 16220 16220 15523 0 -1 4202560 1492 0 0 0 27 0 0 0 20 0 15 0 8577016 14316269568 16353 18446744073709551615 4194304 4196468 140726256697616 140503840782832 140504368575066 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17678336 140726256705970 140726256706146 140726256706146 140726256709583 0
[pid=16222/tid=16235] ppid=16220 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16222/task/16235/stat : 16235 (java) S 16220 16220 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8577016 14316269568 16353 18446744073709551615 4194304 4196468 140726256697616 140503839730144 140504368563925 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17678336 140726256705970 140726256706146 140726256706146 140726256709583 0
[pid=16222/tid=16236] ppid=16220 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16222/task/16236/stat : 16236 (java) S 16220 16220 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8577025 14316269568 16353 18446744073709551615 4194304 4196468 140726256697616 140503838677936 140504368564866 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17678336 140726256705970 140726256706146 140726256706146 140726256709583 0
Current children cumulated CPU time: 1.1 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 66792 KiB

[startup+1.50086 s]
/proc/loadavg: 1.86 1.77 1.74 5/215 16236
/proc/meminfo: memFree=31642796/32770624 swapFree=67108860/67108860
[pid=16220] ppid=16217 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/16220/stat : 16220 (xcsp3-exec) S 16217 16220 15523 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 8577003 9740288 345 18446744073709551615 4194304 5098028 140724069348064 140724069346168 140461593412220 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 7 0 0 7196144 7232144 27955200 140724069355897 140724069356102 140724069356102 140724069359595 0
/proc/16220/statm: 2378 345 289 221 0 87 0
[pid=16222] ppid=16220 vsize=13980732 memory=117832 CPUtime=3.6 cores=0,2,4,6
/proc/16222/stat : 16222 (java) S 16220 16220 15523 0 -1 1077944320 38743 0 0 0 351 9 0 0 20 0 15 0 8577010 14316269568 29458 18446744073709551615 4194304 4196468 140726256697616 140726256680160 140504368553719 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 17678336 140726256705970 140726256706146 140726256706146 140726256709583 0
/proc/16222/statm: 3495183 29458 3182 1 0 3483476 0
[pid=16222/tid=16223] ppid=16220 vsize=13980732 memory=2529 CPUtime=1.32 cores=0,2,4,6
/proc/16222/task/16223/stat : 16223 (java) R 16220 16220 15523 0 -1 4202560 9422 0 0 0 129 3 0 0 20 0 15 0 8577011 14316269568 29458 18446744073709551615 4194304 4196468 140726256697616 140504372788824 140503969571554 0 4 1 16800974 0 0 0 -1 0 0 0 8 0 0 6293624 6294260 17678336 140726256705970 140726256706146 140726256706146 140726256709583 0
[pid=16222/tid=16224] ppid=16220 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16222/task/16224/stat : 16224 (java) S 16220 16220 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8577011 14316269568 29458 18446744073709551615 4194304 4196468 140726256697616 140504287967632 140504368563925 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17678336 140726256705970 140726256706146 140726256706146 140726256709583 0
[pid=16222/tid=16225] ppid=16220 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16222/task/16225/stat : 16225 (java) S 16220 16220 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8577011 14316269568 29458 18446744073709551615 4194304 4196468 140726256697616 140504286914832 140504368563925 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17678336 140726256705970 140726256706146 140726256706146 140726256709583 0
[pid=16222/tid=16226] ppid=16220 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16222/task/16226/stat : 16226 (java) S 16220 16220 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8577011 14316269568 29458 18446744073709551615 4194304 4196468 140726256697616 140503966280336 140504368563925 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17678336 140726256705970 140726256706146 140726256706146 140726256709583 0
[pid=16222/tid=16227] ppid=16220 vsize=13980732 memory=4580 CPUtime=0 cores=0,2,4,6
/proc/16222/task/16227/stat : 16227 (java) S 16220 16220 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 8577011 14316269568 29458 18446744073709551615 4194304 4196468 140726256697616 140503965227536 140504368563925 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17678336 140726256705970 140726256706146 140726256706146 140726256709583 0
[pid=16222/tid=16228] ppid=16220 vsize=13980732 memory=6083078220241262691 CPUtime=0 cores=0,2,4,6
/proc/16222/task/16228/stat : 16228 (java) S 16220 16220 15523 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 8577013 14316269568 29458 18446744073709551615 4194304 4196468 140726256697616 140503847098992 140504368564866 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17678336 140726256705970 140726256706146 140726256706146 140726256709583 0
[pid=16222/tid=16229] ppid=16220 vsize=13980732 memory=7595725831727968097 CPUtime=0 cores=0,2,4,6
/proc/16222/task/16229/stat : 16229 (java) S 16220 16220 15523 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 8577013 14316269568 29458 18446744073709551615 4194304 4196468 140726256697616 140503846044960 140504368563925 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17678336 140726256705970 140726256706146 140726256706146 140726256709583 0
[pid=16222/tid=16230] ppid=16220 vsize=13980732 memory=7306928111804310080 CPUtime=0 cores=0,2,4,6
/proc/16222/task/16230/stat : 16230 (java) S 16220 16220 15523 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 8577013 14316269568 29458 18446744073709551615 4194304 4196468 140726256697616 140503844992624 140504368563925 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17678336 140726256705970 140726256706146 140726256706146 140726256709583 0
[pid=16222/tid=16231] ppid=16220 vsize=13980732 memory=7881696724453321575 CPUtime=0 cores=0,2,4,6
/proc/16222/task/16231/stat : 16231 (java) S 16220 16220 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8577016 14316269568 29458 18446744073709551615 4194304 4196468 140726256697616 140503843940944 140504368572315 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17678336 140726256705970 140726256706146 140726256706146 140726256709583 0
[pid=16222/tid=16232] ppid=16220 vsize=13980732 memory=0 CPUtime=0.91 cores=0,2,4,6
/proc/16222/task/16232/stat : 16232 (java) R 16220 16220 15523 0 -1 4202560 11569 0 0 0 90 1 0 0 20 0 15 0 8577016 14316269568 29458 18446744073709551615 4194304 4196468 140726256697616 140503842873256 140504351940704 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17678336 140726256705970 140726256706146 140726256706146 140726256709583 0
[pid=16222/tid=16233] ppid=16220 vsize=13980732 memory=0 CPUtime=0.92 cores=0,2,4,6
/proc/16222/task/16233/stat : 16233 (java) R 16220 16220 15523 0 -1 4202560 13159 0 0 0 91 1 0 0 20 0 15 0 8577016 14316269568 29458 18446744073709551615 4194304 4196468 140726256697616 140503841819512 140504351940507 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17678336 140726256705970 140726256706146 140726256706146 140726256709583 0
[pid=16222/tid=16234] ppid=16220 vsize=13980732 memory=251651 CPUtime=0.41 cores=0,2,4,6
/proc/16222/task/16234/stat : 16234 (java) S 16220 16220 15523 0 -1 1077944384 3284 0 0 0 40 1 0 0 20 0 15 0 8577016 14316269568 29458 18446744073709551615 4194304 4196468 140726256697616 140503840782704 140504368564866 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17678336 140726256705970 140726256706146 140726256706146 140726256709583 0
[pid=16222/tid=16235] ppid=16220 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16222/task/16235/stat : 16235 (java) S 16220 16220 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8577016 14316269568 29458 18446744073709551615 4194304 4196468 140726256697616 140503839730144 140504368563925 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17678336 140726256705970 140726256706146 140726256706146 140726256709583 0
[pid=16222/tid=16236] ppid=16220 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16222/task/16236/stat : 16236 (java) S 16220 16220 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8577025 14316269568 29458 18446744073709551615 4194304 4196468 140726256697616 140503838677936 140504368564866 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17678336 140726256705970 140726256706146 140726256706146 140726256709583 0
Current children cumulated CPU time: 3.6 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 119212 KiB

[startup+2.88664 s]
# the end of solver process 16220 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=7.62974 s, system=0.114668 s

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

[startup+1.60098 s]
/proc/loadavg: 1.86 1.77 1.74 5/215 16236
/proc/meminfo: memFree=31642796/32770624 swapFree=67108860/67108860
[pid=16220] ppid=16217 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/16220/stat : 16220 (xcsp3-exec) S 16217 16220 15523 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 8577003 9740288 345 18446744073709551615 4194304 5098028 140724069348064 140724069346168 140461593412220 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 7 0 0 7196144 7232144 27955200 140724069355897 140724069356102 140724069356102 140724069359595 0
/proc/16220/statm: 2378 345 289 221 0 87 0
[pid=16222] ppid=16220 vsize=13980732 memory=130328 CPUtime=3.9 cores=0,2,4,6
/proc/16222/stat : 16222 (java) S 16220 16220 15523 0 -1 1077944320 41921 0 0 0 381 9 0 0 20 0 15 0 8577010 14316269568 32582 18446744073709551615 4194304 4196468 140726256697616 140726256680160 140504368553719 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 17678336 140726256705970 140726256706146 140726256706146 140726256709583 0
/proc/16222/statm: 3495183 32582 3182 1 0 3483476 0
[pid=16222/tid=16223] ppid=16220 vsize=13980732 memory=5 CPUtime=1.42 cores=0,2,4,6
/proc/16222/task/16223/stat : 16223 (java) R 16220 16220 15523 0 -1 4202560 9422 0 0 0 139 3 0 0 20 0 15 0 8577011 14316269568 32582 18446744073709551615 4194304 4196468 140726256697616 140504372788824 140503970658719 0 4 1 16800974 0 0 0 -1 0 0 0 8 0 0 6293624 6294260 17678336 140726256705970 140726256706146 140726256706146 140726256709583 0
[pid=16222/tid=16224] ppid=16220 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16222/task/16224/stat : 16224 (java) S 16220 16220 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8577011 14316269568 32582 18446744073709551615 4194304 4196468 140726256697616 140504287967632 140504368563925 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17678336 140726256705970 140726256706146 140726256706146 140726256709583 0
[pid=16222/tid=16225] ppid=16220 vsize=13980732 memory=4124 CPUtime=0 cores=0,2,4,6
/proc/16222/task/16225/stat : 16225 (java) S 16220 16220 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8577011 14316269568 32582 18446744073709551615 4194304 4196468 140726256697616 140504286914832 140504368563925 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17678336 140726256705970 140726256706146 140726256706146 140726256709583 0
[pid=16222/tid=16226] ppid=16220 vsize=13980732 memory=8588 CPUtime=0 cores=0,2,4,6
/proc/16222/task/16226/stat : 16226 (java) S 16220 16220 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8577011 14316269568 32582 18446744073709551615 4194304 4196468 140726256697616 140503966280336 140504368563925 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17678336 140726256705970 140726256706146 140726256706146 140726256709583 0
[pid=16222/tid=16227] ppid=16220 vsize=13980732 memory=1296 CPUtime=0 cores=0,2,4,6
/proc/16222/task/16227/stat : 16227 (java) S 16220 16220 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 8577011 14316269568 32582 18446744073709551615 4194304 4196468 140726256697616 140503965227536 140504368563925 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17678336 140726256705970 140726256706146 140726256706146 140726256709583 0
[pid=16222/tid=16228] ppid=16220 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16222/task/16228/stat : 16228 (java) S 16220 16220 15523 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 8577013 14316269568 32582 18446744073709551615 4194304 4196468 140726256697616 140503847098992 140504368564866 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17678336 140726256705970 140726256706146 140726256706146 140726256709583 0
[pid=16222/tid=16229] ppid=16220 vsize=13980732 memory=8996 CPUtime=0 cores=0,2,4,6
/proc/16222/task/16229/stat : 16229 (java) S 16220 16220 15523 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 8577013 14316269568 32582 18446744073709551615 4194304 4196468 140726256697616 140503846044960 140504368563925 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17678336 140726256705970 140726256706146 140726256706146 140726256709583 0
[pid=16222/tid=16230] ppid=16220 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16222/task/16230/stat : 16230 (java) S 16220 16220 15523 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 8577013 14316269568 32582 18446744073709551615 4194304 4196468 140726256697616 140503844992624 140504368563925 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17678336 140726256705970 140726256706146 140726256706146 140726256709583 0
[pid=16222/tid=16231] ppid=16220 vsize=13980732 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/16222/task/16231/stat : 16231 (java) S 16220 16220 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8577016 14316269568 32582 18446744073709551615 4194304 4196468 140726256697616 140503843940944 140504368572315 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17678336 140726256705970 140726256706146 140726256706146 140726256709583 0
[pid=16222/tid=16232] ppid=16220 vsize=13980732 memory=6656426216303648864 CPUtime=1.02 cores=0,2,4,6
/proc/16222/task/16232/stat : 16232 (java) R 16220 16220 15523 0 -1 4202560 13916 0 0 0 100 2 0 0 20 0 15 0 8577016 14316269568 32582 18446744073709551615 4194304 4196468 140726256697616 140503842873256 140504350097937 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17678336 140726256705970 140726256706146 140726256706146 140726256709583 0
[pid=16222/tid=16233] ppid=16220 vsize=13980732 memory=14912126454842 CPUtime=1.02 cores=0,2,4,6
/proc/16222/task/16233/stat : 16233 (java) R 16220 16220 15523 0 -1 4202560 13921 0 0 0 101 1 0 0 20 0 15 0 8577016 14316269568 32582 18446744073709551615 4194304 4196468 140726256697616 140503841820728 140504350097937 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17678336 140726256705970 140726256706146 140726256706146 140726256709583 0
[pid=16222/tid=16234] ppid=16220 vsize=13980732 memory=288230604624101684 CPUtime=0.41 cores=0,2,4,6
/proc/16222/task/16234/stat : 16234 (java) S 16220 16220 15523 0 -1 1077944384 3353 0 0 0 40 1 0 0 20 0 15 0 8577016 14316269568 32582 18446744073709551615 4194304 4196468 140726256697616 140503840782704 140504368564866 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17678336 140726256705970 140726256706146 140726256706146 140726256709583 0
[pid=16222/tid=16235] ppid=16220 vsize=13980732 memory=-8774313645642428999 CPUtime=0 cores=0,2,4,6
/proc/16222/task/16235/stat : 16235 (java) S 16220 16220 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8577016 14316269568 32582 18446744073709551615 4194304 4196468 140726256697616 140503839730144 140504368563925 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17678336 140726256705970 140726256706146 140726256706146 140726256709583 0
[pid=16222/tid=16236] ppid=16220 vsize=13980732 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/16222/task/16236/stat : 16236 (java) S 16220 16220 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8577025 14316269568 32582 18446744073709551615 4194304 4196468 140726256697616 140503838677936 140504368564866 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17678336 140726256705970 140726256706146 140726256706146 140726256709583 0
Current children cumulated CPU time: 3.9 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 131708 KiB

[startup+2.40079 s]
/proc/loadavg: 1.86 1.77 1.74 5/215 16236
/proc/meminfo: memFree=31599012/32770624 swapFree=67108860/67108860
[pid=16220] ppid=16217 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/16220/stat : 16220 (xcsp3-exec) S 16217 16220 15523 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 8577003 9740288 345 18446744073709551615 4194304 5098028 140724069348064 140724069346168 140461593412220 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 7 0 0 7196144 7232144 27955200 140724069355897 140724069356102 140724069356102 140724069359595 0
/proc/16220/statm: 2378 345 289 221 0 87 0
[pid=16222] ppid=16220 vsize=13980732 memory=145212 CPUtime=6.33 cores=0,2,4,6
/proc/16222/stat : 16222 (java) S 16220 16220 15523 0 -1 1077944320 46913 0 0 0 623 10 0 0 20 0 15 0 8577010 14316269568 36303 18446744073709551615 4194304 4196468 140726256697616 140726256680160 140504368553719 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 17678336 140726256705970 140726256706146 140726256706146 140726256709583 0
/proc/16222/statm: 3495183 36303 3185 1 0 3483476 0
[pid=16222/tid=16223] ppid=16220 vsize=13980732 memory=-8774313645642428999 CPUtime=2.22 cores=0,2,4,6
/proc/16222/task/16223/stat : 16223 (java) R 16220 16220 15523 0 -1 4202560 9970 0 0 0 219 3 0 0 20 0 15 0 8577011 14316269568 36303 18446744073709551615 4194304 4196468 140726256697616 140504372789944 140503969451699 0 4 1 16800974 0 0 0 -1 0 0 0 8 0 0 6293624 6294260 17678336 140726256705970 140726256706146 140726256706146 140726256709583 0
[pid=16222/tid=16224] ppid=16220 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16222/task/16224/stat : 16224 (java) S 16220 16220 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8577011 14316269568 36303 18446744073709551615 4194304 4196468 140726256697616 140504287967632 140504368563925 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17678336 140726256705970 140726256706146 140726256706146 140726256709583 0
[pid=16222/tid=16225] ppid=16220 vsize=13980732 memory=4580 CPUtime=0 cores=0,2,4,6
/proc/16222/task/16225/stat : 16225 (java) S 16220 16220 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8577011 14316269568 36303 18446744073709551615 4194304 4196468 140726256697616 140504286914832 140504368563925 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17678336 140726256705970 140726256706146 140726256706146 140726256709583 0
[pid=16222/tid=16226] ppid=16220 vsize=13980732 memory=6083078220241262691 CPUtime=0 cores=0,2,4,6
/proc/16222/task/16226/stat : 16226 (java) S 16220 16220 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8577011 14316269568 36303 18446744073709551615 4194304 4196468 140726256697616 140503966280336 140504368563925 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17678336 140726256705970 140726256706146 140726256706146 140726256709583 0
[pid=16222/tid=16227] ppid=16220 vsize=13980732 memory=7595725831727968097 CPUtime=0 cores=0,2,4,6
/proc/16222/task/16227/stat : 16227 (java) S 16220 16220 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 8577011 14316269568 36303 18446744073709551615 4194304 4196468 140726256697616 140503965227536 140504368563925 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17678336 140726256705970 140726256706146 140726256706146 140726256709583 0
[pid=16222/tid=16228] ppid=16220 vsize=13980732 memory=7161661730605523026 CPUtime=0 cores=0,2,4,6
/proc/16222/task/16228/stat : 16228 (java) S 16220 16220 15523 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 15 0 8577013 14316269568 36303 18446744073709551615 4194304 4196468 140726256697616 140503847098992 140504368564866 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17678336 140726256705970 140726256706146 140726256706146 140726256709583 0
[pid=16222/tid=16229] ppid=16220 vsize=13980732 memory=7446817803697154407 CPUtime=0 cores=0,2,4,6
/proc/16222/task/16229/stat : 16229 (java) S 16220 16220 15523 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 8577013 14316269568 36303 18446744073709551615 4194304 4196468 140726256697616 140503846044960 140504368563925 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17678336 140726256705970 140726256706146 140726256706146 140726256709583 0
[pid=16222/tid=16230] ppid=16220 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/16222/task/16230/stat : 16230 (java) S 16220 16220 15523 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 8577013 14316269568 36303 18446744073709551615 4194304 4196468 140726256697616 140503844992624 140504368563925 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17678336 140726256705970 140726256706146 140726256706146 140726256709583 0
[pid=16222/tid=16231] ppid=16220 vsize=13980732 memory=138696 CPUtime=0 cores=0,2,4,6
/proc/16222/task/16231/stat : 16231 (java) S 16220 16220 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8577016 14316269568 36303 18446744073709551615 4194304 4196468 140726256697616 140503843940944 140504368572315 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17678336 140726256705970 140726256706146 140726256706146 140726256709583 0
[pid=16222/tid=16232] ppid=16220 vsize=13980732 memory=4206468019014099040 CPUtime=1.81 cores=0,2,4,6
/proc/16222/task/16232/stat : 16232 (java) R 16220 16220 15523 0 -1 4202560 15999 0 0 0 179 2 0 0 20 0 15 0 8577016 14316269568 36303 18446744073709551615 4194304 4196468 140726256697616 140503842875744 140504350101180 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17678336 140726256705970 140726256706146 140726256706146 140726256709583 0
[pid=16222/tid=16233] ppid=16220 vsize=13980732 memory=-9178176116494409632 CPUtime=1.81 cores=0,2,4,6
/proc/16222/task/16233/stat : 16233 (java) R 16220 16220 15523 0 -1 4202560 15911 0 0 0 180 1 0 0 20 0 15 0 8577016 14316269568 36303 18446744073709551615 4194304 4196468 140726256697616 140503841820752 140504354575872 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17678336 140726256705970 140726256706146 140726256706146 140726256709583 0
[pid=16222/tid=16234] ppid=16220 vsize=13980732 memory=7161661730605523026 CPUtime=0.43 cores=0,2,4,6
/proc/16222/task/16234/stat : 16234 (java) S 16220 16220 15523 0 -1 1077944384 3705 0 0 0 42 1 0 0 20 0 15 0 8577016 14316269568 36303 18446744073709551615 4194304 4196468 140726256697616 140503840782704 140504368564866 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17678336 140726256705970 140726256706146 140726256706146 140726256709583 0
[pid=16222/tid=16235] ppid=16220 vsize=13980732 memory=7446817803714194534 CPUtime=0 cores=0,2,4,6
/proc/16222/task/16235/stat : 16235 (java) S 16220 16220 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8577016 14316269568 36303 18446744073709551615 4194304 4196468 140726256697616 140503839730144 140504368563925 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17678336 140726256705970 140726256706146 140726256706146 140726256709583 0
[pid=16222/tid=16236] ppid=16220 vsize=13980732 memory=7378422734397003375 CPUtime=0 cores=0,2,4,6
/proc/16222/task/16236/stat : 16236 (java) S 16220 16220 15523 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 8577025 14316269568 36303 18446744073709551615 4194304 4196468 140726256697616 140503838677936 140504368564866 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17678336 140726256705970 140726256706146 140726256706146 140726256709583 0
Current children cumulated CPU time: 6.33 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 146592 KiB

[startup+2.80077 s]
/proc/loadavg: 1.86 1.77 1.74 5/215 16236
/proc/meminfo: memFree=31599012/32770624 swapFree=67108860/67108860
[pid=16220] ppid=16217 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/16220/stat : 16220 (xcsp3-exec) S 16217 16220 15523 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 8577003 9740288 345 18446744073709551615 4194304 5098028 140724069348064 140724069346168 140461593412220 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 7 0 0 7196144 7232144 27955200 140724069355897 140724069356102 140724069356102 140724069359595 0
/proc/16220/statm: 2378 345 289 221 0 87 0
[pid=16222] ppid=16220 vsize=13980732 memory=148060 CPUtime=7.53 cores=0,2,4,6
/proc/16222/stat : 16222 (java) S 16220 16220 15523 0 -1 1077944320 47348 0 0 0 743 10 0 0 20 0 15 0 8577010 14316269568 37015 18446744073709551615 4194304 4196468 140726256697616 140726256680160 140504368553719 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 17678336 140726256705970 140726256706146 140726256706146 140726256709583 0
/proc/16222/statm: 3495183 37015 3185 1 0 3483476 0
[pid=16222/tid=16223] ppid=16220 vsize=13980732 memory=14324846579 CPUtime=2.63 cores=0,2,4,6
/proc/16222/task/16223/stat : 16223 (java) R 16220 16220 15523 0 -1 4202560 10014 0 0 0 259 4 0 0 20 0 15 0 8577011 14316269568 37015 18446744073709551615 4194304 4196468 140726256697616 140504372791176 140503970489482 0 4 1 16800974 0 0 0 -1 0 0 0 8 0 0 6293624 6294260 17678336 140726256705970 140726256706146 140726256706146 140726256709583 0
[pid=16222/tid=16224] ppid=16220 vsize=13980732 memory=14324846579 CPUtime=0 cores=0,2,4,6
/proc/16222/task/16224/stat : 16224 (java) S 16220 16220 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8577011 14316269568 37015 18446744073709551615 4194304 4196468 140726256697616 140504287967632 140504368563925 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17678336 140726256705970 140726256706146 140726256706146 140726256709583 0
[pid=16222/tid=16225] ppid=16220 vsize=13980732 memory=14324846579 CPUtime=0 cores=0,2,4,6
/proc/16222/task/16225/stat : 16225 (java) S 16220 16220 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8577011 14316269568 37015 18446744073709551615 4194304 4196468 140726256697616 140504286914832 140504368563925 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17678336 140726256705970 140726256706146 140726256706146 140726256709583 0
[pid=16222/tid=16226] ppid=16220 vsize=13980732 memory=14324846579 CPUtime=0 cores=0,2,4,6
/proc/16222/task/16226/stat : 16226 (java) S 16220 16220 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8577011 14316269568 37015 18446744073709551615 4194304 4196468 140726256697616 140503966280336 140504368563925 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17678336 140726256705970 140726256706146 140726256706146 140726256709583 0
[pid=16222/tid=16227] ppid=16220 vsize=13980732 memory=14324846579 CPUtime=0 cores=0,2,4,6
/proc/16222/task/16227/stat : 16227 (java) S 16220 16220 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 8577011 14316269568 37015 18446744073709551615 4194304 4196468 140726256697616 140503965227536 140504368563925 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17678336 140726256705970 140726256706146 140726256706146 140726256709583 0
[pid=16222/tid=16228] ppid=16220 vsize=13980732 memory=14324846581 CPUtime=0 cores=0,2,4,6
/proc/16222/task/16228/stat : 16228 (java) S 16220 16220 15523 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 15 0 8577013 14316269568 37015 18446744073709551615 4194304 4196468 140726256697616 140503847098992 140504368564866 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17678336 140726256705970 140726256706146 140726256706146 140726256709583 0
[pid=16222/tid=16229] ppid=16220 vsize=13980732 memory=14324846581 CPUtime=0 cores=0,2,4,6
/proc/16222/task/16229/stat : 16229 (java) S 16220 16220 15523 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 8577013 14316269568 37015 18446744073709551615 4194304 4196468 140726256697616 140503846044960 140504368563925 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17678336 140726256705970 140726256706146 140726256706146 140726256709583 0
[pid=16222/tid=16230] ppid=16220 vsize=13980732 memory=14324846581 CPUtime=0 cores=0,2,4,6
/proc/16222/task/16230/stat : 16230 (java) S 16220 16220 15523 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 8577013 14316269568 37015 18446744073709551615 4194304 4196468 140726256697616 140503844992624 140504368563925 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17678336 140726256705970 140726256706146 140726256706146 140726256709583 0
[pid=16222/tid=16231] ppid=16220 vsize=13980732 memory=14324846584 CPUtime=0 cores=0,2,4,6
/proc/16222/task/16231/stat : 16231 (java) S 16220 16220 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8577016 14316269568 37015 18446744073709551615 4194304 4196468 140726256697616 140503843940944 140504368572315 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17678336 140726256705970 140726256706146 140726256706146 140726256709583 0
[pid=16222/tid=16232] ppid=16220 vsize=13980732 memory=14324846584 CPUtime=2.21 cores=0,2,4,6
/proc/16222/task/16232/stat : 16232 (java) R 16220 16220 15523 0 -1 4202560 16231 0 0 0 219 2 0 0 20 0 15 0 8577016 14316269568 37015 18446744073709551615 4194304 4196468 140726256697616 140503842873816 140504354164498 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17678336 140726256705970 140726256706146 140726256706146 140726256709583 0
[pid=16222/tid=16233] ppid=16220 vsize=13980732 memory=14324846584 CPUtime=2.22 cores=0,2,4,6
/proc/16222/task/16233/stat : 16233 (java) R 16220 16220 15523 0 -1 4202560 16008 0 0 0 220 2 0 0 20 0 15 0 8577016 14316269568 37015 18446744073709551615 4194304 4196468 140726256697616 140503841827480 140504353670886 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17678336 140726256705970 140726256706146 140726256706146 140726256709583 0
[pid=16222/tid=16234] ppid=16220 vsize=13980732 memory=14324846584 CPUtime=0.44 cores=0,2,4,6
/proc/16222/task/16234/stat : 16234 (java) S 16220 16220 15523 0 -1 1077944384 3767 0 0 0 43 1 0 0 20 0 15 0 8577016 14316269568 37015 18446744073709551615 4194304 4196468 140726256697616 140503840782704 140504368564866 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17678336 140726256705970 140726256706146 140726256706146 140726256709583 0
[pid=16222/tid=16235] ppid=16220 vsize=13980732 memory=14324846584 CPUtime=0 cores=0,2,4,6
/proc/16222/task/16235/stat : 16235 (java) S 16220 16220 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8577016 14316269568 37015 18446744073709551615 4194304 4196468 140726256697616 140503839730144 140504368563925 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17678336 140726256705970 140726256706146 140726256706146 140726256709583 0
[pid=16222/tid=16236] ppid=16220 vsize=13980732 memory=14324846593 CPUtime=0 cores=0,2,4,6
/proc/16222/task/16236/stat : 16236 (java) S 16220 16220 15523 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 8577025 14316269568 37015 18446744073709551615 4194304 4196468 140726256697616 140503838677936 140504368564866 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17678336 140726256705970 140726256706146 140726256706146 140726256709583 0
Current children cumulated CPU time: 7.53 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 149440 KiB

Child status: 0
Real time (s): 2.8867
CPU time (s): 7.7444
CPU user time (s): 7.62974
CPU system time (s): 0.114668
CPU usage (%): 268.279
Max. virtual memory (cumulated for all children) (KiB): 13993132
Max. memory (cumulated for all children) (KiB): 149440

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.62974
system time used= 0.114668
maximum resident set size= 150476
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 48454
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= 2060
involuntary context switches= 19


# summary of solver processes directly reported to runsolver:
#   pid: 16220
#   total CPU time (s): 7.7444
#   total CPU user time (s): 7.62974
#   total CPU system time (s): 0.114668

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.049371 second user time and 0.061111 second system time

The end

Launcher Data 

Begin job on node130 at 2017-08-19 02:01:20
IDJOB=4282676
IDBENCH=115839
IDSOLVER=2677
FILE ID=node130/4282676-1503101689
RUNJOBID= node130-1503095856-15586
PBS_JOBID= 
Free space on /tmp= 62024 MiB

SOLVER NAME= choco-solver 4.0.5 seq
BENCH NAME= XCSP17/Scheduling/Scheduling-os-taillard/Taillard-os-04-04-8.xml
COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -ml 11000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4282676-1503101689/watcher-4282676-1503101689 -o /tmp/evaluation-result-4282676-1503101689/solver-4282676-1503101689 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node130-1503095856-15586 --watchdog 2580  ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1179070081 HOME/instance-4282676-1503101689.xml

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

MD5SUM BENCH= aed9643ac8b54e4586138aa43d9c539b
RANDOM SEED=1179070081

node130.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.77
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.77
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.77
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.77
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:        31725188 kB
MemAvailable:   31860572 kB
Buffers:          144000 kB
Cached:           274672 kB
SwapCached:            0 kB
Active:           371380 kB
Inactive:         270308 kB
Active(anon):     223280 kB
Inactive(anon):     8556 kB
Active(file):     148100 kB
Inactive(file):   261752 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7880 kB
Writeback:             4 kB
AnonPages:        222728 kB
Mapped:            43856 kB
Shmem:              8868 kB
Slab:             106760 kB
SReclaimable:      82732 kB
SUnreclaim:        24028 kB
KernelStack:        3488 kB
PageTables:         5824 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1152336 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    155648 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116096 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 62016 MiB
End job on node130 at 2017-08-19 02:01:23