Trace number 4281547

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
choco-solver 4.0.5 par (2017-08-18)? (TO) 1998.65 252.12

General information on the benchmark

NameScheduling/Scheduling-js-taillard/
Taillard-js-020-15-1.xml
MD5SUMaac981b64b3d0bc7b0997201d0c57f9b
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark1406
Best CPU time to get the best result obtained on this benchmark251.884
Satisfiable
(Un)Satisfiability was proved
Number of variables320
Number of constraints335
Number of domains1
Minimum domain size1477
Maximum domain size1477
Distribution of domain sizes[{"size":1477,"count":320}]
Minimum variable degree2
Maximum variable degree3
Distribution of variable degrees[{"degree":2,"count":20},{"degree":3,"count":300}]
Minimum constraint arity1
Maximum constraint arity20
Distribution of constraint arities[{"arity":1,"count":20},{"arity":2,"count":300},{"arity":20,"count":15}]
Number of extensional constraints0
Number of intensional constraints320
Distribution of constraint types[{"type":"intension","count":320},{"type":"noOverlap","count":15}]
Optimization problemYES
Type of objectivemin MAXIMUM

Solver Data 

0.00/0.00	c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4281547-1503175956.xml"  -tl '2016s' -p 8 -x 0
0.12/0.14	c [HOME/instance-4281547-1503175956.xml, -tl, 2016s, -p, 8, -x, 0]
0.12/0.20	c 8 solvers in parallel
0.33/0.27	c parse instance...
2.15/0.86	c solve instance...
1997.84/252.09	s UNKNOWN
1997.84/252.09	c Unexpected resolution interruption!

Verifier Data


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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4281547-1503175956/watcher-4281547-1503175956 -o /tmp/evaluation-result-4281547-1503175956/solver-4281547-1503175956 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node149-1503165268-26491 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 236678993 HOME/instance-4281547-1503175956.xml 

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

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

solver pid=27346, runsolver pid=27343

[startup+0.100962 s]*
/proc/loadavg: 8.20 8.26 8.22 2/199 27367
/proc/meminfo: memFree=23584472/32770624 swapFree=67108860/67108860
[pid=27346] ppid=27343 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/27346/stat : 27346 (xcsp3-exec) S 27343 27346 26464 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 150676380 9740288 346 33554432000 4194304 5098028 140735376331328 140735376329432 140109947052668 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 18698240 140735376340075 140735376340284 140735376340284 140735376343019 0
/proc/27346/statm: 2378 346 289 221 0 87 0
[pid=27348] ppid=27346 vsize=25999808 memory=26200 CPUtime=0.12 cores=0-7
/proc/27348/stat : 27348 (java) S 27346 27346 26464 0 -1 1077944320 5490 0 0 0 10 2 0 0 20 0 20 0 150676380 26623803392 6550 33554432000 4194304 4196468 140728354090256 140728354072800 140584067776247 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11964416 140728354092184 140728354092360 140728354092360 140728354095055 0
/proc/27348/statm: 6499952 6550 2842 1 0 6488269 0
[pid=27348/tid=27349] ppid=27346 vsize=25999808 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/27348/task/27349/stat : 27349 (java) R 27346 27346 26464 0 -1 4202560 3482 0 0 0 7 1 0 0 20 0 20 0 150676380 26623803392 6550 33554432000 4194304 4196468 140728354090256 140584072009520 140584067798173 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11964416 140728354092184 140728354092360 140728354092360 140728354095055 0
[pid=27348/tid=27350] ppid=27346 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/27348/task/27350/stat : 27350 (java) S 27346 27346 26464 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150676381 26623803392 6550 33554432000 4194304 4196468 140728354090256 140584020396688 140584067786453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11964416 140728354092184 140728354092360 140728354092360 140728354095055 0
[pid=27348/tid=27351] ppid=27346 vsize=25999808 memory=140532537296512 CPUtime=0 cores=0-7
/proc/27348/task/27351/stat : 27351 (java) S 27346 27346 26464 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150676381 26623803392 6550 33554432000 4194304 4196468 140728354090256 140584019343888 140584067786453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11964416 140728354092184 140728354092360 140728354092360 140728354095055 0
[pid=27348/tid=27352] ppid=27346 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/27348/task/27352/stat : 27352 (java) S 27346 27346 26464 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150676381 26623803392 6550 33554432000 4194304 4196468 140728354090256 140584018291088 140584067786453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11964416 140728354092184 140728354092360 140728354092360 140728354095055 0
[pid=27348/tid=27353] ppid=27346 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/27348/task/27353/stat : 27353 (java) S 27346 27346 26464 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150676381 26623803392 6550 33554432000 4194304 4196468 140728354090256 140584017238288 140584067786453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11964416 140728354092184 140728354092360 140728354092360 140728354095055 0
[pid=27348/tid=27354] ppid=27346 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/27348/task/27354/stat : 27354 (java) S 27346 27346 26464 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150676381 26623803392 6550 33554432000 4194304 4196468 140728354090256 140584016186512 140584067786453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11964416 140728354092184 140728354092360 140728354092360 140728354095055 0
[pid=27348/tid=27355] ppid=27346 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/27348/task/27355/stat : 27355 (java) S 27346 27346 26464 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150676381 26623803392 6550 33554432000 4194304 4196468 140728354090256 140584015133712 140584067786453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11964416 140728354092184 140728354092360 140728354092360 140728354095055 0
[pid=27348/tid=27356] ppid=27346 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/27348/task/27356/stat : 27356 (java) S 27346 27346 26464 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150676381 26623803392 6550 33554432000 4194304 4196468 140728354090256 140584014080912 140584067786453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11964416 140728354092184 140728354092360 140728354092360 140728354095055 0
[pid=27348/tid=27357] ppid=27346 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/27348/task/27357/stat : 27357 (java) S 27346 27346 26464 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150676381 26623803392 6550 33554432000 4194304 4196468 140728354090256 140584013028112 140584067786453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11964416 140728354092184 140728354092360 140728354092360 140728354095055 0
[pid=27348/tid=27358] ppid=27346 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/27348/task/27358/stat : 27358 (java) S 27346 27346 26464 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150676382 26623803392 6550 33554432000 4194304 4196468 140728354090256 140582742624624 140584067787394 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11964416 140728354092184 140728354092360 140728354092360 140728354095055 0
[pid=27348/tid=27359] ppid=27346 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/27348/task/27359/stat : 27359 (java) S 27346 27346 26464 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 150676383 26623803392 6550 33554432000 4194304 4196468 140728354090256 140582741570592 140584067786453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11964416 140728354092184 140728354092360 140728354092360 140728354095055 0
[pid=27348/tid=27360] ppid=27346 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/27348/task/27360/stat : 27360 (java) S 27346 27346 26464 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 150676383 26623803392 6550 33554432000 4194304 4196468 140728354090256 140582740517744 140584067786453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11964416 140728354092184 140728354092360 140728354092360 140728354095055 0
[pid=27348/tid=27361] ppid=27346 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/27348/task/27361/stat : 27361 (java) S 27346 27346 26464 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150676385 26623803392 6550 33554432000 4194304 4196468 140728354090256 140582739466064 140584067794843 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11964416 140728354092184 140728354092360 140728354092360 140728354095055 0
[pid=27348/tid=27362] ppid=27346 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/27348/task/27362/stat : 27362 (java) R 27346 27346 26464 0 -1 1077944384 310 0 0 0 0 0 0 0 20 0 20 0 150676385 26623803392 6550 33554432000 4194304 4196468 140728354090256 140582738414448 140584067787394 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11964416 140728354092184 140728354092360 140728354092360 140728354095055 0
[pid=27348/tid=27363] ppid=27346 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/27348/task/27363/stat : 27363 (java) S 27346 27346 26464 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150676385 26623803392 6550 33554432000 4194304 4196468 140728354090256 140582737361648 140584067787394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11964416 140728354092184 140728354092360 140728354092360 140728354095055 0
[pid=27348/tid=27364] ppid=27346 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/27348/task/27364/stat : 27364 (java) S 27346 27346 26464 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 20 0 150676385 26623803392 6550 33554432000 4194304 4196468 140728354090256 140582668200560 140584067787394 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11964416 140728354092184 140728354092360 140728354092360 140728354095055 0
[pid=27348/tid=27365] ppid=27346 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/27348/task/27365/stat : 27365 (java) R 27346 27346 26464 0 -1 4202560 263 0 0 0 1 0 0 0 20 0 20 0 150676386 26623803392 6550 33554432000 4194304 4196468 140728354090256 140582667147760 140584067788182 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11964416 140728354092184 140728354092360 140728354092360 140728354095055 0
[pid=27348/tid=27366] ppid=27346 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/27348/task/27366/stat : 27366 (java) S 27346 27346 26464 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150676386 26623803392 6550 33554432000 4194304 4196468 140728354090256 140582666095200 140584067786453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11964416 140728354092184 140728354092360 140728354092360 140728354095055 0
[pid=27348/tid=27367] ppid=27346 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/27348/task/27367/stat : 27367 (java) S 27346 27346 26464 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150676386 26623803392 6550 33554432000 4194304 4196468 140728354090256 140582665042480 140584067787394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11964416 140728354092184 140728354092360 140728354092360 140728354095055 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 27584 KiB

[startup+0.210148 s]*
/proc/loadavg: 8.20 8.26 8.22 2/199 27367
/proc/meminfo: memFree=23574720/32770624 swapFree=67108860/67108860
[pid=27346] ppid=27343 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/27346/stat : 27346 (xcsp3-exec) S 27343 27346 26464 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 150676380 9740288 346 33554432000 4194304 5098028 140735376331328 140735376329432 140109947052668 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 18698240 140735376340075 140735376340284 140735376340284 140735376343019 0
/proc/27346/statm: 2378 346 289 221 0 87 0
[pid=27348] ppid=27346 vsize=26004064 memory=39368 CPUtime=0.33 cores=0-7
/proc/27348/stat : 27348 (java) S 27346 27346 26464 0 -1 1077944320 8346 0 0 0 30 3 0 0 20 0 20 0 150676380 26628161536 9842 33554432000 4194304 4196468 140728354090256 140728354072800 140584067776247 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11964416 140728354092184 140728354092360 140728354092360 140728354095055 0
/proc/27348/statm: 6501016 9842 3077 1 0 6488269 0
[pid=27348/tid=27349] ppid=27346 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/27348/task/27349/stat : 27349 (java) R 27346 27346 26464 0 -1 4202560 5388 0 0 0 17 2 0 0 20 0 20 0 150676380 26628161536 9842 33554432000 4194304 4196468 140728354090256 140584071997240 140584051856734 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11964416 140728354092184 140728354092360 140728354092360 140728354095055 0
[pid=27348/tid=27350] ppid=27346 vsize=26004064 memory=330 CPUtime=0 cores=0-7
/proc/27348/task/27350/stat : 27350 (java) S 27346 27346 26464 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150676381 26628161536 9842 33554432000 4194304 4196468 140728354090256 140584020396688 140584067786453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11964416 140728354092184 140728354092360 140728354092360 140728354095055 0
[pid=27348/tid=27351] ppid=27346 vsize=26004064 memory=140532538305079 CPUtime=0 cores=0-7
/proc/27348/task/27351/stat : 27351 (java) S 27346 27346 26464 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150676381 26628161536 9842 33554432000 4194304 4196468 140728354090256 140584019343888 140584067786453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11964416 140728354092184 140728354092360 140728354092360 140728354095055 0
[pid=27348/tid=27352] ppid=27346 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/27348/task/27352/stat : 27352 (java) S 27346 27346 26464 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150676381 26628161536 9842 33554432000 4194304 4196468 140728354090256 140584018291088 140584067786453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11964416 140728354092184 140728354092360 140728354092360 140728354095055 0
[pid=27348/tid=27353] ppid=27346 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/27348/task/27353/stat : 27353 (java) S 27346 27346 26464 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150676381 26628161536 9842 33554432000 4194304 4196468 140728354090256 140584017238288 140584067786453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11964416 140728354092184 140728354092360 140728354092360 140728354095055 0
[pid=27348/tid=27354] ppid=27346 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/27348/task/27354/stat : 27354 (java) S 27346 27346 26464 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150676381 26628161536 9842 33554432000 4194304 4196468 140728354090256 140584016186512 140584067786453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11964416 140728354092184 140728354092360 140728354092360 140728354095055 0
[pid=27348/tid=27355] ppid=27346 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/27348/task/27355/stat : 27355 (java) S 27346 27346 26464 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150676381 26628161536 9842 33554432000 4194304 4196468 140728354090256 140584015133712 140584067786453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11964416 140728354092184 140728354092360 140728354092360 140728354095055 0
[pid=27348/tid=27356] ppid=27346 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/27348/task/27356/stat : 27356 (java) S 27346 27346 26464 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150676381 26628161536 9842 33554432000 4194304 4196468 140728354090256 140584014080912 140584067786453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11964416 140728354092184 140728354092360 140728354092360 140728354095055 0
[pid=27348/tid=27357] ppid=27346 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/27348/task/27357/stat : 27357 (java) S 27346 27346 26464 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150676381 26628161536 9842 33554432000 4194304 4196468 140728354090256 140584013028112 140584067786453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11964416 140728354092184 140728354092360 140728354092360 140728354095055 0
[pid=27348/tid=27358] ppid=27346 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/27348/task/27358/stat : 27358 (java) S 27346 27346 26464 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150676382 26628161536 9842 33554432000 4194304 4196468 140728354090256 140582742624624 140584067787394 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11964416 140728354092184 140728354092360 140728354092360 140728354095055 0
[pid=27348/tid=27359] ppid=27346 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/27348/task/27359/stat : 27359 (java) S 27346 27346 26464 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 150676383 26628161536 9842 33554432000 4194304 4196468 140728354090256 140582741570592 140584067786453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11964416 140728354092184 140728354092360 140728354092360 140728354095055 0
[pid=27348/tid=27360] ppid=27346 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/27348/task/27360/stat : 27360 (java) S 27346 27346 26464 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 150676383 26628161536 9842 33554432000 4194304 4196468 140728354090256 140582740517744 140584067786453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11964416 140728354092184 140728354092360 140728354092360 140728354095055 0
[pid=27348/tid=27361] ppid=27346 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/27348/task/27361/stat : 27361 (java) S 27346 27346 26464 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150676385 26628161536 9842 33554432000 4194304 4196468 140728354090256 140582739466064 140584067794843 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11964416 140728354092184 140728354092360 140728354092360 140728354095055 0
[pid=27348/tid=27362] ppid=27346 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/27348/task/27362/stat : 27362 (java) S 27346 27346 26464 0 -1 1077944384 405 0 0 0 1 0 0 0 20 0 20 0 150676385 26628161536 9842 33554432000 4194304 4196468 140728354090256 140582738414448 140584067787394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11964416 140728354092184 140728354092360 140728354092360 140728354095055 0
[pid=27348/tid=27363] ppid=27346 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/27348/task/27363/stat : 27363 (java) S 27346 27346 26464 0 -1 1077944384 277 0 0 0 1 0 0 0 20 0 20 0 150676385 26628161536 9842 33554432000 4194304 4196468 140728354090256 140582737361648 140584067787394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11964416 140728354092184 140728354092360 140728354092360 140728354095055 0
[pid=27348/tid=27364] ppid=27346 vsize=26004064 memory=-1 CPUtime=0.01 cores=0-7
/proc/27348/task/27364/stat : 27364 (java) S 27346 27346 26464 0 -1 1077944384 211 0 0 0 1 0 0 0 20 0 20 0 150676385 26628161536 9842 33554432000 4194304 4196468 140728354090256 140582668200560 140584067787394 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11964416 140728354092184 140728354092360 140728354092360 140728354095055 0
[pid=27348/tid=27365] ppid=27346 vsize=26004064 memory=-1 CPUtime=0.08 cores=0-7
/proc/27348/task/27365/stat : 27365 (java) S 27346 27346 26464 0 -1 1077944384 753 0 0 0 8 0 0 0 20 0 20 0 150676386 26628161536 9842 33554432000 4194304 4196468 140728354090256 140582667147760 140584067787394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11964416 140728354092184 140728354092360 140728354092360 140728354095055 0
[pid=27348/tid=27366] ppid=27346 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/27348/task/27366/stat : 27366 (java) S 27346 27346 26464 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150676386 26628161536 9842 33554432000 4194304 4196468 140728354090256 140582666095200 140584067786453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11964416 140728354092184 140728354092360 140728354092360 140728354095055 0
[pid=27348/tid=27367] ppid=27346 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/27348/task/27367/stat : 27367 (java) S 27346 27346 26464 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150676386 26628161536 9842 33554432000 4194304 4196468 140728354090256 140582665042480 140584067787394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11964416 140728354092184 140728354092360 140728354092360 140728354095055 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40752 KiB

[startup+0.309438 s]*
/proc/loadavg: 8.20 8.26 8.22 3/199 27367
/proc/meminfo: memFree=23568144/32770624 swapFree=67108860/67108860
[pid=27346] ppid=27343 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/27346/stat : 27346 (xcsp3-exec) S 27343 27346 26464 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 150676380 9740288 346 33554432000 4194304 5098028 140735376331328 140735376329432 140109947052668 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 18698240 140735376340075 140735376340284 140735376340284 140735376343019 0
/proc/27346/statm: 2378 346 289 221 0 87 0
[pid=27348] ppid=27346 vsize=26004064 memory=43760 CPUtime=0.48 cores=0-7
/proc/27348/stat : 27348 (java) S 27346 27346 26464 0 -1 1077944320 9155 0 0 0 45 3 0 0 20 0 20 0 150676380 26628161536 10940 33554432000 4194304 4196468 140728354090256 140728354072800 140584067776247 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11964416 140728354092184 140728354092360 140728354092360 140728354095055 0
/proc/27348/statm: 6501016 10940 3093 1 0 6488269 0
[pid=27348/tid=27349] ppid=27346 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/27348/task/27349/stat : 27349 (java) R 27346 27346 26464 0 -1 4202560 6071 0 0 0 26 3 0 0 20 0 20 0 150676380 26628161536 10940 33554432000 4194304 4196468 140728354090256 140584072014528 140584049182499 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11964416 140728354092184 140728354092360 140728354092360 140728354095055 0
[pid=27348/tid=27350] ppid=27346 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/27348/task/27350/stat : 27350 (java) S 27346 27346 26464 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150676381 26628161536 10940 33554432000 4194304 4196468 140728354090256 140584020396688 140584067786453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11964416 140728354092184 140728354092360 140728354092360 140728354095055 0
[pid=27348/tid=27351] ppid=27346 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/27348/task/27351/stat : 27351 (java) S 27346 27346 26464 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150676381 26628161536 10940 33554432000 4194304 4196468 140728354090256 140584019343888 140584067786453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11964416 140728354092184 140728354092360 140728354092360 140728354095055 0
[pid=27348/tid=27352] ppid=27346 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/27348/task/27352/stat : 27352 (java) S 27346 27346 26464 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150676381 26628161536 10940 33554432000 4194304 4196468 140728354090256 140584018291088 140584067786453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11964416 140728354092184 140728354092360 140728354092360 140728354095055 0
[pid=27348/tid=27353] ppid=27346 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/27348/task/27353/stat : 27353 (java) S 27346 27346 26464 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150676381 26628161536 10940 33554432000 4194304 4196468 140728354090256 140584017238288 140584067786453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11964416 140728354092184 140728354092360 140728354092360 140728354095055 0
[pid=27348/tid=27354] ppid=27346 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/27348/task/27354/stat : 27354 (java) S 27346 27346 26464 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150676381 26628161536 10940 33554432000 4194304 4196468 140728354090256 140584016186512 140584067786453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11964416 140728354092184 140728354092360 140728354092360 140728354095055 0
[pid=27348/tid=27355] ppid=27346 vsize=26004064 memory=140532403762095 CPUtime=0 cores=0-7
/proc/27348/task/27355/stat : 27355 (java) S 27346 27346 26464 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150676381 26628161536 10940 33554432000 4194304 4196468 140728354090256 140584015133712 140584067786453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11964416 140728354092184 140728354092360 140728354092360 140728354095055 0
[pid=27348/tid=27356] ppid=27346 vsize=26004064 memory=140532403764400 CPUtime=0 cores=0-7
/proc/27348/task/27356/stat : 27356 (java) S 27346 27346 26464 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150676381 26628161536 10940 33554432000 4194304 4196468 140728354090256 140584014080912 140584067786453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11964416 140728354092184 140728354092360 140728354092360 140728354095055 0
[pid=27348/tid=27357] ppid=27346 vsize=26004064 memory=140532403766704 CPUtime=0 cores=0-7
/proc/27348/task/27357/stat : 27357 (java) S 27346 27346 26464 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150676381 26628161536 10940 33554432000 4194304 4196468 140728354090256 140584013028112 140584067786453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11964416 140728354092184 140728354092360 140728354092360 140728354095055 0
[pid=27348/tid=27358] ppid=27346 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/27348/task/27358/stat : 27358 (java) S 27346 27346 26464 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150676382 26628161536 10940 33554432000 4194304 4196468 140728354090256 140582742624624 140584067787394 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11964416 140728354092184 140728354092360 140728354092360 140728354095055 0
[pid=27348/tid=27359] ppid=27346 vsize=26004064 memory=281064807540368 CPUtime=0 cores=0-7
/proc/27348/task/27359/stat : 27359 (java) S 27346 27346 26464 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 150676383 26628161536 10940 33554432000 4194304 4196468 140728354090256 140582741570592 140584067786453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11964416 140728354092184 140728354092360 140728354092360 140728354095055 0
[pid=27348/tid=27360] ppid=27346 vsize=26004064 memory=281064807547280 CPUtime=0 cores=0-7
/proc/27348/task/27360/stat : 27360 (java) S 27346 27346 26464 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 150676383 26628161536 10940 33554432000 4194304 4196468 140728354090256 140582740517744 140584067786453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11964416 140728354092184 140728354092360 140728354092360 140728354095055 0
[pid=27348/tid=27361] ppid=27346 vsize=26004064 memory=281064807488560 CPUtime=0 cores=0-7
/proc/27348/task/27361/stat : 27361 (java) S 27346 27346 26464 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150676385 26628161536 10940 33554432000 4194304 4196468 140728354090256 140582739466064 140584067794843 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11964416 140728354092184 140728354092360 140728354092360 140728354095055 0
[pid=27348/tid=27362] ppid=27346 vsize=26004064 memory=281064807561104 CPUtime=0.02 cores=0-7
/proc/27348/task/27362/stat : 27362 (java) S 27346 27346 26464 0 -1 1077944384 405 0 0 0 2 0 0 0 20 0 20 0 150676385 26628161536 10940 33554432000 4194304 4196468 140728354090256 140582738414448 140584067787394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11964416 140728354092184 140728354092360 140728354092360 140728354095055 0
[pid=27348/tid=27363] ppid=27346 vsize=26004064 memory=281064807568016 CPUtime=0.01 cores=0-7
/proc/27348/task/27363/stat : 27363 (java) S 27346 27346 26464 0 -1 1077944384 284 0 0 0 1 0 0 0 20 0 20 0 150676385 26628161536 10940 33554432000 4194304 4196468 140728354090256 140582737361648 140584067787394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11964416 140728354092184 140728354092360 140728354092360 140728354095055 0
[pid=27348/tid=27364] ppid=27346 vsize=26004064 memory=281064807565712 CPUtime=0.02 cores=0-7
/proc/27348/task/27364/stat : 27364 (java) S 27346 27346 26464 0 -1 1077944384 249 0 0 0 2 0 0 0 20 0 20 0 150676385 26628161536 10940 33554432000 4194304 4196468 140728354090256 140582668200560 140584067787394 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11964416 140728354092184 140728354092360 140728354092360 140728354095055 0
[pid=27348/tid=27365] ppid=27346 vsize=26004064 memory=281064807581872 CPUtime=0.12 cores=0-7
/proc/27348/task/27365/stat : 27365 (java) R 27346 27346 26464 0 -1 4202560 834 0 0 0 12 0 0 0 20 0 20 0 150676386 26628161536 10940 33554432000 4194304 4196468 140728354090256 140582667144128 140584047209312 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11964416 140728354092184 140728354092360 140728354092360 140728354095055 0
[pid=27348/tid=27366] ppid=27346 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/27348/task/27366/stat : 27366 (java) S 27346 27346 26464 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150676386 26628161536 10940 33554432000 4194304 4196468 140728354090256 140582666095200 140584067786453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11964416 140728354092184 140728354092360 140728354092360 140728354095055 0
[pid=27348/tid=27367] ppid=27346 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/27348/task/27367/stat : 27367 (java) S 27346 27346 26464 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150676386 26628161536 10940 33554432000 4194304 4196468 140728354090256 140582665042480 140584067787394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11964416 140728354092184 140728354092360 140728354092360 140728354095055 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 45144 KiB

[startup+0.700971 s]
/proc/loadavg: 8.20 8.26 8.22 3/199 27367
/proc/meminfo: memFree=23552944/32770624 swapFree=67108860/67108860
[pid=27346] ppid=27343 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/27346/stat : 27346 (xcsp3-exec) S 27343 27346 26464 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 150676380 9740288 346 33554432000 4194304 5098028 140735376331328 140735376329432 140109947052668 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 18698240 140735376340075 140735376340284 140735376340284 140735376343019 0
/proc/27346/statm: 2378 346 289 221 0 87 0
[pid=27348] ppid=27346 vsize=26006188 memory=92024 CPUtime=1.7 cores=0-7
/proc/27348/stat : 27348 (java) S 27346 27346 26464 0 -1 1077944320 14194 0 0 0 164 6 0 0 20 0 20 0 150676380 26630336512 23006 33554432000 4194304 4196468 140728354090256 140728354072800 140584067776247 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11964416 140728354092184 140728354092360 140728354092360 140728354095055 0
/proc/27348/statm: 6501547 23006 3205 1 0 6488781 0
[pid=27348/tid=27349] ppid=27346 vsize=26006188 memory=281064807939760 CPUtime=0.67 cores=0-7
/proc/27348/task/27349/stat : 27349 (java) R 27346 27346 26464 0 -1 4202560 6874 0 0 0 63 4 0 0 20 0 20 0 150676380 26630336512 23006 33554432000 4194304 4196468 140728354090256 140584072014240 140584051154251 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11964416 140728354092184 140728354092360 140728354092360 140728354095055 0
[pid=27348/tid=27350] ppid=27346 vsize=26006188 memory=140532403970928 CPUtime=0 cores=0-7
/proc/27348/task/27350/stat : 27350 (java) S 27346 27346 26464 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150676381 26630336512 23006 33554432000 4194304 4196468 140728354090256 140584020396688 140584067786453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11964416 140728354092184 140728354092360 140728354092360 140728354095055 0
[pid=27348/tid=27351] ppid=27346 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/27348/task/27351/stat : 27351 (java) S 27346 27346 26464 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150676381 26630336512 23006 33554432000 4194304 4196468 140728354090256 140584019343888 140584067786453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11964416 140728354092184 140728354092360 140728354092360 140728354095055 0
[pid=27348/tid=27352] ppid=27346 vsize=26006188 memory=8740 CPUtime=0 cores=0-7
/proc/27348/task/27352/stat : 27352 (java) S 27346 27346 26464 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150676381 26630336512 23006 33554432000 4194304 4196468 140728354090256 140584018291088 140584067786453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11964416 140728354092184 140728354092360 140728354092360 140728354095055 0

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

[pid=27348/tid=27375] ppid=27346 vsize=26538700 memory=235784 CPUtime=159.32 cores=0-7
/proc/27348/task/27375/stat : 27375 (java) R 27346 27346 26464 0 -1 4202560 1656 0 0 0 15931 1 0 0 20 0 28 0 150676468 27175628800 58946 33554432000 4194304 4196468 140728354090256 140582650158400 140583700785751 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 11964416 140728354092184 140728354092360 140728354092360 140728354095055 0
Current children cumulated CPU time: 1285.8 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 237168 KiB

[startup+222.302 s]
/proc/loadavg: 8.41 8.37 8.28 9/209 27384
/proc/meminfo: memFree=23351156/32770624 swapFree=67108860/67108860
[pid=27346] ppid=27343 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/27346/stat : 27346 (xcsp3-exec) S 27343 27346 26464 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 150676380 9740288 346 33554432000 4194304 5098028 140735376331328 140735376329432 140109947052668 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 18698240 140735376340075 140735376340284 140735376340284 140735376343019 0
/proc/27346/statm: 2378 346 289 221 0 87 0
[pid=27348] ppid=27346 vsize=26538700 memory=260116 CPUtime=1762.07 cores=0-7
/proc/27348/stat : 27348 (java) S 27346 27346 26464 0 -1 1077944320 141302 0 0 0 176108 99 0 0 20 0 28 0 150676380 27175628800 65029 33554432000 4194304 4196468 140728354090256 140728354072800 140584067776247 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11964416 140728354092184 140728354092360 140728354092360 140728354095055 0
/proc/27348/statm: 6634675 65029 3288 1 0 6621909 0
[pid=27348/tid=27349] ppid=27346 vsize=26538700 memory=1384 CPUtime=0.85 cores=0-7
/proc/27348/task/27349/stat : 27349 (java) S 27346 27346 26464 0 -1 1077944384 7020 0 0 0 80 5 0 0 20 0 28 0 150676380 27175628800 65029 33554432000 4194304 4196468 140728354090256 140584072017024 140584067786453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11964416 140728354092184 140728354092360 140728354092360 140728354095055 0
[pid=27348/tid=27350] ppid=27346 vsize=26538700 memory=796 CPUtime=0.3 cores=0-7
/proc/27348/task/27350/stat : 27350 (java) S 27346 27346 26464 0 -1 1077944384 2360 0 0 0 27 3 0 0 20 0 28 0 150676381 27175628800 65029 33554432000 4194304 4196468 140728354090256 140584020396688 140584067786453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11964416 140728354092184 140728354092360 140728354092360 140728354095055 0
[pid=27348/tid=27351] ppid=27346 vsize=26538700 memory=1436 CPUtime=0.3 cores=0-7
/proc/27348/task/27351/stat : 27351 (java) S 27346 27346 26464 0 -1 1077944384 3096 0 0 0 26 4 0 0 20 0 28 0 150676381 27175628800 65029 33554432000 4194304 4196468 140728354090256 140584019343888 140584067786453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11964416 140728354092184 140728354092360 140728354092360 140728354095055 0
[pid=27348/tid=27352] ppid=27346 vsize=26538700 memory=1384 CPUtime=0.3 cores=0-7
/proc/27348/task/27352/stat : 27352 (java) S 27346 27346 26464 0 -1 1077944384 3611 0 0 0 27 3 0 0 20 0 28 0 150676381 27175628800 65029 33554432000 4194304 4196468 140728354090256 140584018291088 140584067786453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11964416 140728354092184 140728354092360 140728354092360 140728354095055 0
[pid=27348/tid=27353] ppid=27346 vsize=26538700 memory=253972 CPUtime=0.31 cores=0-7
/proc/27348/task/27353/stat : 27353 (java) S 27346 27346 26464 0 -1 1077944384 2610 0 0 0 27 4 0 0 20 0 28 0 150676381 27175628800 65029 33554432000 4194304 4196468 140728354090256 140584017238288 140584067786453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11964416 140728354092184 140728354092360 140728354092360 140728354095055 0
[pid=27348/tid=27354] ppid=27346 vsize=26538700 memory=0 CPUtime=0.31 cores=0-7
/proc/27348/task/27354/stat : 27354 (java) S 27346 27346 26464 0 -1 1077944384 2321 0 0 0 28 3 0 0 20 0 28 0 150676381 27175628800 65029 33554432000 4194304 4196468 140728354090256 140584016186512 140584067786453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11964416 140728354092184 140728354092360 140728354092360 140728354095055 0
[pid=27348/tid=27355] ppid=27346 vsize=26538700 memory=4420 CPUtime=0.33 cores=0-7
/proc/27348/task/27355/stat : 27355 (java) S 27346 27346 26464 0 -1 1077944384 2733 0 0 0 28 5 0 0 20 0 28 0 150676381 27175628800 65029 33554432000 4194304 4196468 140728354090256 140584015133712 140584067786453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11964416 140728354092184 140728354092360 140728354092360 140728354095055 0
[pid=27348/tid=27356] ppid=27346 vsize=26538700 memory=245200 CPUtime=0.31 cores=0-7
/proc/27348/task/27356/stat : 27356 (java) S 27346 27346 26464 0 -1 1077944384 1655 0 0 0 27 4 0 0 20 0 28 0 150676381 27175628800 65029 33554432000 4194304 4196468 140728354090256 140584014080912 140584067786453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11964416 140728354092184 140728354092360 140728354092360 140728354095055 0
[pid=27348/tid=27357] ppid=27346 vsize=26538700 memory=4144 CPUtime=0.3 cores=0-7
/proc/27348/task/27357/stat : 27357 (java) S 27346 27346 26464 0 -1 1077944384 3505 0 0 0 27 3 0 0 20 0 28 0 150676381 27175628800 65029 33554432000 4194304 4196468 140728354090256 140584013028112 140584067786453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11964416 140728354092184 140728354092360 140728354092360 140728354095055 0
[pid=27348/tid=27358] ppid=27346 vsize=26538700 memory=1384 CPUtime=0.55 cores=0-7
/proc/27348/task/27358/stat : 27358 (java) S 27346 27346 26464 0 -1 1077944384 7815 0 0 0 32 23 0 0 20 0 28 0 150676382 27175628800 65029 33554432000 4194304 4196468 140728354090256 140582742624624 140584067787394 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11964416 140728354092184 140728354092360 140728354092360 140728354095055 0
[pid=27348/tid=27359] ppid=27346 vsize=26538700 memory=252504 CPUtime=0 cores=0-7
/proc/27348/task/27359/stat : 27359 (java) S 27346 27346 26464 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 28 0 150676383 27175628800 65029 33554432000 4194304 4196468 140728354090256 140582741570656 140584067786453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11964416 140728354092184 140728354092360 140728354092360 140728354095055 0
[pid=27348/tid=27360] ppid=27346 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/27348/task/27360/stat : 27360 (java) S 27346 27346 26464 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 28 0 150676383 27175628800 65029 33554432000 4194304 4196468 140728354090256 140582740517760 140584067786453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11964416 140728354092184 140728354092360 140728354092360 140728354095055 0
[pid=27348/tid=27361] ppid=27346 vsize=26538700 memory=281064809634480 CPUtime=0 cores=0-7
/proc/27348/task/27361/stat : 27361 (java) S 27346 27346 26464 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 150676385 27175628800 65029 33554432000 4194304 4196468 140728354090256 140582739466064 140584067794843 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11964416 140728354092184 140728354092360 140728354092360 140728354095055 0
[pid=27348/tid=27362] ppid=27346 vsize=26538700 memory=1716 CPUtime=3.15 cores=0-7
/proc/27348/task/27362/stat : 27362 (java) S 27346 27346 26464 0 -1 1077944384 22645 0 0 0 310 5 0 0 20 0 28 0 150676385 27175628800 65029 33554432000 4194304 4196468 140728354090256 140582738414448 140584067787394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11964416 140728354092184 140728354092360 140728354092360 140728354095055 0
[pid=27348/tid=27363] ppid=27346 vsize=26538700 memory=1952 CPUtime=3.28 cores=0-7
/proc/27348/task/27363/stat : 27363 (java) S 27346 27346 26464 0 -1 1077944384 18291 0 0 0 325 3 0 0 20 0 28 0 150676385 27175628800 65029 33554432000 4194304 4196468 140728354090256 140582737361648 140584067787394 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11964416 140728354092184 140728354092360 140728354092360 140728354095055 0
[pid=27348/tid=27364] ppid=27346 vsize=26538700 memory=4620 CPUtime=3.19 cores=0-7
/proc/27348/task/27364/stat : 27364 (java) S 27346 27346 26464 0 -1 1077944384 18407 0 0 0 315 4 0 0 20 0 28 0 150676385 27175628800 65029 33554432000 4194304 4196468 140728354090256 140582668200560 140584067787394 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11964416 140728354092184 140728354092360 140728354092360 140728354095055 0
[pid=27348/tid=27365] ppid=27346 vsize=26538700 memory=1196 CPUtime=0.89 cores=0-7
/proc/27348/task/27365/stat : 27365 (java) S 27346 27346 26464 0 -1 1077944384 14883 0 0 0 86 3 0 0 20 0 28 0 150676386 27175628800 65029 33554432000 4194304 4196468 140728354090256 140582667147760 140584067787394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 11 0 0 6293624 6294260 11964416 140728354092184 140728354092360 140728354092360 140728354095055 0
[pid=27348/tid=27366] ppid=27346 vsize=26538700 memory=1384 CPUtime=0 cores=0-7
/proc/27348/task/27366/stat : 27366 (java) S 27346 27346 26464 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 150676386 27175628800 65029 33554432000 4194304 4196468 140728354090256 140582666095200 140584067786453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11964416 140728354092184 140728354092360 140728354092360 140728354095055 0
[pid=27348/tid=27367] ppid=27346 vsize=26538700 memory=1384 CPUtime=0.04 cores=0-7
/proc/27348/task/27367/stat : 27367 (java) S 27346 27346 26464 0 -1 1077944384 1618 0 0 0 1 3 0 0 20 0 28 0 150676386 27175628800 65029 33554432000 4194304 4196468 140728354090256 140582665042480 140584067787394 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 9 0 0 6293624 6294260 11964416 140728354092184 140728354092360 140728354092360 140728354095055 0
[pid=27348/tid=27368] ppid=27346 vsize=26538700 memory=260116 CPUtime=219.17 cores=0-7
/proc/27348/task/27368/stat : 27368 (java) R 27346 27346 26464 0 -1 4202560 2656 0 0 0 21916 1 0 0 20 0 28 0 150676467 27175628800 65029 33554432000 4194304 4196468 140728354090256 140582657526144 140583700518150 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 11964416 140728354092184 140728354092360 140728354092360 140728354095055 0
[pid=27348/tid=27369] ppid=27346 vsize=26538700 memory=648 CPUtime=218.88 cores=0-7
/proc/27348/task/27369/stat : 27369 (java) R 27346 27346 26464 0 -1 4202560 3158 0 0 0 21885 3 0 0 20 0 28 0 150676468 27175628800 65029 33554432000 4194304 4196468 140728354090256 140582656474352 140583700785300 0 4 0 16800975 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 11964416 140728354092184 140728354092360 140728354092360 140728354095055 0
[pid=27348/tid=27370] ppid=27346 vsize=26538700 memory=1384 CPUtime=217.69 cores=0-7
/proc/27348/task/27370/stat : 27370 (java) R 27346 27346 26464 0 -1 4202560 2561 0 0 0 21767 2 0 0 20 0 28 0 150676468 27175628800 65029 33554432000 4194304 4196468 140728354090256 140582655422712 140583700517180 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 11964416 140728354092184 140728354092360 140728354092360 140728354095055 0
[pid=27348/tid=27371] ppid=27346 vsize=26538700 memory=1384 CPUtime=218.41 cores=0-7
/proc/27348/task/27371/stat : 27371 (java) R 27346 27346 26464 0 -1 4202560 6810 0 0 0 21838 3 0 0 20 0 28 0 150676468 27175628800 65029 33554432000 4194304 4196468 140728354090256 140582654372576 140583702649360 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11964416 140728354092184 140728354092360 140728354092360 140728354095055 0
[pid=27348/tid=27372] ppid=27346 vsize=26538700 memory=258068 CPUtime=218.88 cores=0-7
/proc/27348/task/27372/stat : 27372 (java) R 27346 27346 26464 0 -1 4202560 5024 0 0 0 21885 3 0 0 20 0 28 0 150676468 27175628800 65029 33554432000 4194304 4196468 140728354090256 140582653317072 140583702649550 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 11964416 140728354092184 140728354092360 140728354092360 140728354095055 0
[pid=27348/tid=27373] ppid=27346 vsize=26538700 memory=260116 CPUtime=218.05 cores=0-7
/proc/27348/task/27373/stat : 27373 (java) R 27346 27346 26464 0 -1 4202560 1788 0 0 0 21802 3 0 0 20 0 28 0 150676468 27175628800 65029 33554432000 4194304 4196468 140728354090256 140582652264176 140583700785311 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 11964416 140728354092184 140728354092360 140728354092360 140728354095055 0
[pid=27348/tid=27374] ppid=27346 vsize=26538700 memory=4144 CPUtime=217.81 cores=0-7
/proc/27348/task/27374/stat : 27374 (java) R 27346 27346 26464 0 -1 4202560 2873 0 0 0 21779 2 0 0 20 0 28 0 150676468 27175628800 65029 33554432000 4194304 4196468 140728354090256 140582651211512 140583699350605 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 11964416 140728354092184 140728354092360 140728354092360 140728354095055 0
[pid=27348/tid=27375] ppid=27346 vsize=26538700 memory=42108 CPUtime=218.53 cores=0-7
/proc/27348/task/27375/stat : 27375 (java) R 27346 27346 26464 0 -1 4202560 2494 0 0 0 21851 2 0 0 20 0 28 0 150676468 27175628800 65029 33554432000 4194304 4196468 140728354090256 140582650158304 140583700786109 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 11964416 140728354092184 140728354092360 140728354092360 140728354095055 0
Current children cumulated CPU time: 1762.07 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 261500 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+252.002 s]*
/proc/loadavg: 8.32 8.35 8.27 9/209 27384
/proc/meminfo: memFree=23338136/32770624 swapFree=67108860/67108860
[pid=27346] ppid=27343 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/27346/stat : 27346 (xcsp3-exec) S 27343 27346 26464 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 150676380 9740288 346 33554432000 4194304 5098028 140735376331328 140735376329432 140109947052668 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 18698240 140735376340075 140735376340284 140735376340284 140735376343019 0
/proc/27346/statm: 2378 346 289 221 0 87 0
[pid=27348] ppid=27346 vsize=26538700 memory=272692 CPUtime=1997.84 cores=0-7
/proc/27348/stat : 27348 (java) S 27346 27346 26464 0 -1 1077944320 142935 0 0 0 199672 112 0 0 20 0 28 0 150676380 27175628800 68173 33554432000 4194304 4196468 140728354090256 140728354072800 140584067776247 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11964416 140728354092184 140728354092360 140728354092360 140728354095055 0
/proc/27348/statm: 6634675 68173 3288 1 0 6621909 0
[pid=27348/tid=27349] ppid=27346 vsize=26538700 memory=6791534058613427641 CPUtime=0.85 cores=0-7
/proc/27348/task/27349/stat : 27349 (java) S 27346 27346 26464 0 -1 1077944384 7020 0 0 0 80 5 0 0 20 0 28 0 150676380 27175628800 68173 33554432000 4194304 4196468 140728354090256 140584072017024 140584067786453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11964416 140728354092184 140728354092360 140728354092360 140728354095055 0
[pid=27348/tid=27350] ppid=27346 vsize=26538700 memory=4126316290023845779 CPUtime=0.35 cores=0-7
/proc/27348/task/27350/stat : 27350 (java) S 27346 27346 26464 0 -1 1077944384 2372 0 0 0 31 4 0 0 20 0 28 0 150676381 27175628800 68173 33554432000 4194304 4196468 140728354090256 140584020396688 140584067786453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11964416 140728354092184 140728354092360 140728354092360 140728354095055 0
[pid=27348/tid=27351] ppid=27346 vsize=26538700 memory=8740 CPUtime=0.34 cores=0-7
/proc/27348/task/27351/stat : 27351 (java) S 27346 27346 26464 0 -1 1077944384 3103 0 0 0 30 4 0 0 20 0 28 0 150676381 27175628800 68173 33554432000 4194304 4196468 140728354090256 140584019343888 140584067786453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11964416 140728354092184 140728354092360 140728354092360 140728354095055 0
[pid=27348/tid=27352] ppid=27346 vsize=26538700 memory=4620 CPUtime=0.35 cores=0-7
/proc/27348/task/27352/stat : 27352 (java) S 27346 27346 26464 0 -1 1077944384 3622 0 0 0 32 3 0 0 20 0 28 0 150676381 27175628800 68173 33554432000 4194304 4196468 140728354090256 140584018291088 140584067786453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11964416 140728354092184 140728354092360 140728354092360 140728354095055 0
[pid=27348/tid=27353] ppid=27346 vsize=26538700 memory=1196 CPUtime=0.36 cores=0-7
/proc/27348/task/27353/stat : 27353 (java) S 27346 27346 26464 0 -1 1077944384 2648 0 0 0 31 5 0 0 20 0 28 0 150676381 27175628800 68173 33554432000 4194304 4196468 140728354090256 140584017238288 140584067786453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11964416 140728354092184 140728354092360 140728354092360 140728354095055 0
[pid=27348/tid=27354] ppid=27346 vsize=26538700 memory=15876 CPUtime=0.36 cores=0-7
/proc/27348/task/27354/stat : 27354 (java) S 27346 27346 26464 0 -1 1077944384 2330 0 0 0 32 4 0 0 20 0 28 0 150676381 27175628800 68173 33554432000 4194304 4196468 140728354090256 140584016186512 140584067786453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11964416 140728354092184 140728354092360 140728354092360 140728354095055 0
[pid=27348/tid=27355] ppid=27346 vsize=26538700 memory=18476 CPUtime=0.36 cores=0-7
/proc/27348/task/27355/stat : 27355 (java) S 27346 27346 26464 0 -1 1077944384 2743 0 0 0 31 5 0 0 20 0 28 0 150676381 27175628800 68173 33554432000 4194304 4196468 140728354090256 140584015133712 140584067786453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11964416 140728354092184 140728354092360 140728354092360 140728354095055 0
[pid=27348/tid=27356] ppid=27346 vsize=26538700 memory=24224 CPUtime=0.36 cores=0-7
/proc/27348/task/27356/stat : 27356 (java) S 27346 27346 26464 0 -1 1077944384 1707 0 0 0 31 5 0 0 20 0 28 0 150676381 27175628800 68173 33554432000 4194304 4196468 140728354090256 140584014080912 140584067786453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11964416 140728354092184 140728354092360 140728354092360 140728354095055 0
[pid=27348/tid=27357] ppid=27346 vsize=26538700 memory=4048 CPUtime=0.35 cores=0-7
/proc/27348/task/27357/stat : 27357 (java) S 27346 27346 26464 0 -1 1077944384 3566 0 0 0 31 4 0 0 20 0 28 0 150676381 27175628800 68173 33554432000 4194304 4196468 140728354090256 140584013028112 140584067786453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11964416 140728354092184 140728354092360 140728354092360 140728354095055 0
[pid=27348/tid=27358] ppid=27346 vsize=26538700 memory=1792 CPUtime=0.7 cores=0-7
/proc/27348/task/27358/stat : 27358 (java) S 27346 27346 26464 0 -1 1077944384 7833 0 0 0 39 31 0 0 20 0 28 0 150676382 27175628800 68173 33554432000 4194304 4196468 140728354090256 140582742624624 140584067787394 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11964416 140728354092184 140728354092360 140728354092360 140728354095055 0
[pid=27348/tid=27359] ppid=27346 vsize=26538700 memory=270364 CPUtime=0 cores=0-7
/proc/27348/task/27359/stat : 27359 (java) S 27346 27346 26464 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 28 0 150676383 27175628800 68173 33554432000 4194304 4196468 140728354090256 140582741570656 140584067786453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11964416 140728354092184 140728354092360 140728354092360 140728354095055 0
[pid=27348/tid=27360] ppid=27346 vsize=26538700 memory=1384 CPUtime=0 cores=0-7
/proc/27348/task/27360/stat : 27360 (java) S 27346 27346 26464 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 28 0 150676383 27175628800 68173 33554432000 4194304 4196468 140728354090256 140582740517760 140584067786453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11964416 140728354092184 140728354092360 140728354092360 140728354095055 0
[pid=27348/tid=27361] ppid=27346 vsize=26538700 memory=270364 CPUtime=0 cores=0-7
/proc/27348/task/27361/stat : 27361 (java) S 27346 27346 26464 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 150676385 27175628800 68173 33554432000 4194304 4196468 140728354090256 140582739466064 140584067794843 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11964416 140728354092184 140728354092360 140728354092360 140728354095055 0
[pid=27348/tid=27362] ppid=27346 vsize=26538700 memory=4408 CPUtime=3.15 cores=0-7
/proc/27348/task/27362/stat : 27362 (java) S 27346 27346 26464 0 -1 1077944384 22645 0 0 0 310 5 0 0 20 0 28 0 150676385 27175628800 68173 33554432000 4194304 4196468 140728354090256 140582738414448 140584067787394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11964416 140728354092184 140728354092360 140728354092360 140728354095055 0
[pid=27348/tid=27363] ppid=27346 vsize=26538700 memory=4100 CPUtime=3.3 cores=0-7
/proc/27348/task/27363/stat : 27363 (java) S 27346 27346 26464 0 -1 1077944384 19187 0 0 0 327 3 0 0 20 0 28 0 150676385 27175628800 68173 33554432000 4194304 4196468 140728354090256 140582737361648 140584067787394 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11964416 140728354092184 140728354092360 140728354092360 140728354095055 0
[pid=27348/tid=27364] ppid=27346 vsize=26538700 memory=1384 CPUtime=3.2 cores=0-7
/proc/27348/task/27364/stat : 27364 (java) S 27346 27346 26464 0 -1 1077944384 18677 0 0 0 316 4 0 0 20 0 28 0 150676385 27175628800 68173 33554432000 4194304 4196468 140728354090256 140582668200560 140584067787394 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11964416 140728354092184 140728354092360 140728354092360 140728354095055 0
[pid=27348/tid=27365] ppid=27346 vsize=26538700 memory=270364 CPUtime=0.89 cores=0-7
/proc/27348/task/27365/stat : 27365 (java) S 27346 27346 26464 0 -1 1077944384 15004 0 0 0 86 3 0 0 20 0 28 0 150676386 27175628800 68173 33554432000 4194304 4196468 140728354090256 140582667147760 140584067787394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 11 0 0 6293624 6294260 11964416 140728354092184 140728354092360 140728354092360 140728354095055 0
[pid=27348/tid=27366] ppid=27346 vsize=26538700 memory=1692 CPUtime=0 cores=0-7
/proc/27348/task/27366/stat : 27366 (java) S 27346 27346 26464 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 150676386 27175628800 68173 33554432000 4194304 4196468 140728354090256 140582666095200 140584067786453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11964416 140728354092184 140728354092360 140728354092360 140728354095055 0
[pid=27348/tid=27367] ppid=27346 vsize=26538700 memory=912 CPUtime=0.04 cores=0-7
/proc/27348/task/27367/stat : 27367 (java) S 27346 27346 26464 0 -1 1077944384 1624 0 0 0 1 3 0 0 20 0 28 0 150676386 27175628800 68173 33554432000 4194304 4196468 140728354090256 140582665042480 140584067787394 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 9 0 0 6293624 6294260 11964416 140728354092184 140728354092360 140728354092360 140728354095055 0
[pid=27348/tid=27368] ppid=27346 vsize=26538700 memory=4408 CPUtime=248.61 cores=0-7
/proc/27348/task/27368/stat : 27368 (java) R 27346 27346 26464 0 -1 4202560 2663 0 0 0 24860 1 0 0 20 0 28 0 150676467 27175628800 68173 33554432000 4194304 4196468 140728354090256 140582657526280 140583699639926 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 11964416 140728354092184 140728354092360 140728354092360 140728354095055 0
[pid=27348/tid=27369] ppid=27346 vsize=26538700 memory=4100 CPUtime=248.36 cores=0-7
/proc/27348/task/27369/stat : 27369 (java) R 27346 27346 26464 0 -1 4202560 3171 0 0 0 24833 3 0 0 20 0 28 0 150676468 27175628800 68173 33554432000 4194304 4196468 140728354090256 140582656475000 140583700518353 0 4 0 16800975 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 11964416 140728354092184 140728354092360 140728354092360 140728354095055 0
[pid=27348/tid=27370] ppid=27346 vsize=26538700 memory=1156 CPUtime=247.16 cores=0-7
/proc/27348/task/27370/stat : 27370 (java) R 27346 27346 26464 0 -1 4202560 2573 0 0 0 24714 2 0 0 20 0 28 0 150676468 27175628800 68173 33554432000 4194304 4196468 140728354090256 140582655422464 140583700786215 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 11964416 140728354092184 140728354092360 140728354092360 140728354095055 0
[pid=27348/tid=27371] ppid=27346 vsize=26538700 memory=3692 CPUtime=247.82 cores=0-7
/proc/27348/task/27371/stat : 27371 (java) R 27346 27346 26464 0 -1 4202560 6824 0 0 0 24778 4 0 0 20 0 28 0 150676468 27175628800 68173 33554432000 4194304 4196468 140728354090256 140582654370008 140583701834042 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11964416 140728354092184 140728354092360 140728354092360 140728354095055 0
[pid=27348/tid=27372] ppid=27346 vsize=26538700 memory=1384 CPUtime=248.29 cores=0-7
/proc/27348/task/27372/stat : 27372 (java) R 27346 27346 26464 0 -1 4202560 5049 0 0 0 24826 3 0 0 20 0 28 0 150676468 27175628800 68173 33554432000 4194304 4196468 140728354090256 140582653320336 140583702649403 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 11964416 140728354092184 140728354092360 140728354092360 140728354095055 0
[pid=27348/tid=27373] ppid=27346 vsize=26538700 memory=270364 CPUtime=247.2 cores=0-7
/proc/27348/task/27373/stat : 27373 (java) R 27346 27346 26464 0 -1 4202560 1793 0 0 0 24717 3 0 0 20 0 28 0 150676468 27175628800 68173 33554432000 4194304 4196468 140728354090256 140582652264264 140583700786446 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 11964416 140728354092184 140728354092360 140728354092360 140728354095055 0
[pid=27348/tid=27374] ppid=27346 vsize=26538700 memory=4124 CPUtime=247.22 cores=0-7
/proc/27348/task/27374/stat : 27374 (java) R 27346 27346 26464 0 -1 4202560 2904 0 0 0 24720 2 0 0 20 0 28 0 150676468 27175628800 68173 33554432000 4194304 4196468 140728354090256 140582651211096 140583700786043 0 4 0 16800975 0 0 0 -1 7 0 0 2 0 0 6293624 6294260 11964416 140728354092184 140728354092360 140728354092360 140728354095055 0
[pid=27348/tid=27375] ppid=27346 vsize=26538700 memory=4048 CPUtime=247.99 cores=0-7
/proc/27348/task/27375/stat : 27375 (java) R 27346 27346 26464 0 -1 4202560 2509 0 0 0 24797 2 0 0 20 0 28 0 150676468 27175628800 68173 33554432000 4194304 4196468 140728354090256 140582650161952 140583700786196 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 11964416 140728354092184 140728354092360 140728354092360 140728354095055 0
Current children cumulated CPU time: 1997.84 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 274076 KiB

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

[startup+252.055 s]
# the end of solver process 27346 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.000926 s, system=0.000926 s

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

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

Child status: 143
Real time (s): 252.12
CPU time (s): 1998.65
CPU user time (s): 1997.51
CPU system time (s): 1.13383
CPU usage (%): 792.736
Max. virtual memory (cumulated for all children) (KiB): 26550908
Max. memory (cumulated for all children) (KiB): 316416

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1997.51
system time used= 1.13383
maximum resident set size= 316284
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 143807
page faults= 0
swaps= 0
block input operations= 0
block output operations= 568
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 29540
involuntary context switches= 22687


# summary of solver processes directly reported to runsolver:
#   pid: 27346,27348
#   total CPU time (s): 1998.65
#   total CPU user time (s): 1997.51
#   total CPU system time (s): 1.13383

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.60626 second user time and 2.36006 second system time

The end

Launcher Data 

Begin job on node149 at 2017-08-19 22:38:16
IDJOB=4281547
IDBENCH=115776
IDSOLVER=2676
FILE ID=node149/4281547-1503175956
RUNJOBID= node149-1503165268-26491
PBS_JOBID= 20630833
Free space on /tmp= 61768 MiB

SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/Scheduling/Scheduling-js-taillard/Taillard-js-020-15-1.xml
COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 22000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4281547-1503175956/watcher-4281547-1503175956 -o /tmp/evaluation-result-4281547-1503175956/solver-4281547-1503175956 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node149-1503165268-26491 --watchdog 312  ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 236678993 HOME/instance-4281547-1503175956.xml

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

MD5SUM BENCH= aac981b64b3d0bc7b0997201d0c57f9b
RANDOM SEED=236678993

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        23601212 kB
MemAvailable:   31954656 kB
Buffers:          281548 kB
Cached:          8343360 kB
SwapCached:            0 kB
Active:          2128724 kB
Inactive:        6550448 kB
Active(anon):       2164 kB
Inactive(anon):    88168 kB
Active(file):    2126560 kB
Inactive(file):  6462280 kB
Unevictable:        7912 kB
Mlocked:            7912 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7780 kB
Writeback:             0 kB
AnonPages:         55420 kB
Mapped:            50980 kB
Shmem:             33416 kB
Slab:             187380 kB
SReclaimable:     160876 kB
SUnreclaim:        26504 kB
KernelStack:        3408 kB
PageTables:         5272 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     333588 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:       97664 kB
DirectMap2M:    33447936 kB

Free space on /tmp at the end= 61760 MiB
End job on node149 at 2017-08-19 22:42:29