Trace number 4403421

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
choco-solver 2019-09-20UNSAT 357.206 90.1523

General information on the benchmark

NameLangford/Langford-m1-k4/
Langford-4-16.xml
MD5SUMa550bb6a39ca50ab9210b9c0283e2640
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark85.5465
Satisfiable
(Un)Satisfiability was proved
Number of variables64
Number of constraints49
Number of domains1
Minimum domain size64
Maximum domain size64
Distribution of domain sizes[{"size":64,"count":64}]
Minimum variable degree2
Maximum variable degree3
Distribution of variable degrees[{"degree":2,"count":32},{"degree":3,"count":32}]
Minimum constraint arity2
Maximum constraint arity64
Distribution of constraint arities[{"arity":2,"count":48},{"arity":64,"count":1}]
Number of extensional constraints0
Number of intensional constraints48
Distribution of constraint types[{"type":"intension","count":48},{"type":"allDifferent","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c java -server -Xmx12000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4403421-1568989855.xml"  -tl '2520s' -p 4
0.11/0.20	c Choco 3fb4b153
0.11/0.20	c [HOME/instance-4403421-1568989855.xml, -tl, 2520s, -p, 4]
0.33/0.24	c 4 solvers in parallel
0.33/0.31	c parse instance...
1.25/0.66	c solve instance...
357.05/90.14	s UNSATISFIABLE

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4403421-1568989855/watcher-4403421-1568989855 -o /tmp/evaluation-result-4403421-1568989855/solver-4403421-1568989855 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node116-1568988007-29941 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 5656934 HOME/instance-4403421-1568989855.xml 

running on 4 cores: 4-7

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=484, runsolver pid=481

[startup+0.100058 s]*
/proc/loadavg: 8.63 8.19 7.11 6/236 501
/proc/meminfo: memFree=10427192/32770688 swapFree=66971760/67108860
[pid=484] ppid=481 vsize=113128 memory=1452 CPUtime=0 cores=4-7
/proc/484/stat : 484 (xcsp3-exec) S 481 484 29909 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 474927150 115843072 363 33554432000 4194304 5098028 140737346104400 140737346102504 139768527377020 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 12111872 140737346110333 140737346110573 140737346110573 140737346113482 0
/proc/484/statm: 28282 363 304 221 0 87 0
[pid=486] ppid=484 vsize=15144776 memory=29892 CPUtime=0.11 cores=4-7
/proc/486/stat : 486 (java) S 484 484 29909 0 -1 1077944320 5817 0 0 0 10 1 0 0 20 0 15 0 474927151 15508250624 7473 33554432000 4194304 4196468 140723115202144 140723115184688 139873940549367 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 10993664 140723115205615 140723115205786 140723115205786 140723115208655 0
/proc/486/statm: 3786194 7473 3082 1 0 3748377 0
[pid=486/tid=487] ppid=484 vsize=15144776 memory=7883960649037381690 CPUtime=0.09 cores=4-7
/proc/486/task/487/stat : 487 (java) R 484 484 29909 0 -1 4202560 3845 0 0 0 8 1 0 0 20 0 15 0 474927151 15508250624 7539 33554432000 4194304 4196468 140723115202144 139873944775952 139873940561302 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10993664 140723115205615 140723115205786 140723115205786 140723115208655 0
[pid=486/tid=488] ppid=484 vsize=15144776 memory=9098 CPUtime=0 cores=4-7
/proc/486/task/488/stat : 488 (java) S 484 484 29909 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474927152 15508250624 7539 33554432000 4194304 4196468 140723115202144 139873868589456 139873940559573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10993664 140723115205615 140723115205786 140723115205786 140723115208655 0
[pid=486/tid=489] ppid=484 vsize=15144776 memory=288370177004406400 CPUtime=0 cores=4-7
/proc/486/task/489/stat : 489 (java) S 484 484 29909 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474927152 15508250624 7539 33554432000 4194304 4196468 140723115202144 139873867536656 139873940559573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10993664 140723115205615 140723115205786 140723115205786 140723115208655 0
[pid=486/tid=490] ppid=484 vsize=15144776 memory=0 CPUtime=0 cores=4-7
/proc/486/task/490/stat : 490 (java) S 484 484 29909 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474927152 15508250624 7539 33554432000 4194304 4196468 140723115202144 139873866484368 139873940559573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10993664 140723115205615 140723115205786 140723115205786 140723115208655 0
[pid=486/tid=491] ppid=484 vsize=15144776 memory=-1 CPUtime=0 cores=4-7
/proc/486/task/491/stat : 491 (java) S 484 484 29909 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 474927152 15508250624 7539 33554432000 4194304 4196468 140723115202144 139873865431568 139873940559573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10993664 140723115205615 140723115205786 140723115205786 140723115208655 0
[pid=486/tid=492] ppid=484 vsize=15144776 memory=139800852694656 CPUtime=0 cores=4-7
/proc/486/task/492/stat : 492 (java) S 484 484 29909 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 474927153 15508250624 7539 33554432000 4194304 4196468 140723115202144 139872814553712 139873940560514 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10993664 140723115205615 140723115205786 140723115205786 140723115208655 0
[pid=486/tid=493] ppid=484 vsize=15144776 memory=-1 CPUtime=0 cores=4-7
/proc/486/task/493/stat : 493 (java) S 484 484 29909 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 474927154 15508250624 7539 33554432000 4194304 4196468 140723115202144 139872813499680 139873940559573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10993664 140723115205615 140723115205786 140723115205786 140723115208655 0
[pid=486/tid=495] ppid=484 vsize=15144776 memory=0 CPUtime=0 cores=4-7
/proc/486/task/495/stat : 495 (java) S 484 484 29909 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 474927154 15508250624 7539 33554432000 4194304 4196468 140723115202144 139872812447344 139873940559573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10993664 140723115205615 140723115205786 140723115205786 140723115208655 0
[pid=486/tid=496] ppid=484 vsize=15144776 memory=0 CPUtime=0 cores=4-7
/proc/486/task/496/stat : 496 (java) S 484 484 29909 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 474927157 15508250624 7539 33554432000 4194304 4196468 140723115202144 139872811395664 139873940567963 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10993664 140723115205615 140723115205786 140723115205786 140723115208655 0
[pid=486/tid=497] ppid=484 vsize=15144776 memory=0 CPUtime=0 cores=4-7
/proc/486/task/497/stat : 497 (java) S 484 484 29909 0 -1 1077944384 424 0 0 0 0 0 0 0 20 0 15 0 474927157 15508250624 7539 33554432000 4194304 4196468 140723115202144 139872810342512 139873940560514 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10993664 140723115205615 140723115205786 140723115205786 140723115208655 0
[pid=486/tid=498] ppid=484 vsize=15144776 memory=-1 CPUtime=0 cores=4-7
/proc/486/task/498/stat : 498 (java) S 484 484 29909 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 474927157 15508250624 7539 33554432000 4194304 4196468 140723115202144 139872809289712 139873940560514 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10993664 140723115205615 140723115205786 140723115205786 140723115208655 0
[pid=486/tid=499] ppid=484 vsize=15144776 memory=139800852694656 CPUtime=0.01 cores=4-7
/proc/486/task/499/stat : 499 (java) R 484 484 29909 0 -1 4202560 343 0 0 0 1 0 0 0 20 0 15 0 474927157 15508250624 7539 33554432000 4194304 4196468 140723115202144 139872808237424 139873926231162 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10993664 140723115205615 140723115205786 140723115205786 140723115208655 0
[pid=486/tid=500] ppid=484 vsize=15144776 memory=-1 CPUtime=0 cores=4-7
/proc/486/task/500/stat : 500 (java) S 484 484 29909 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 474927157 15508250624 7539 33554432000 4194304 4196468 140723115202144 139872807184864 139873940559573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10993664 140723115205615 140723115205786 140723115205786 140723115208655 0
[pid=486/tid=501] ppid=484 vsize=15144776 memory=0 CPUtime=0 cores=4-7
/proc/486/task/501/stat : 501 (java) S 484 484 29909 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474927157 15508250624 7539 33554432000 4194304 4196468 140723115202144 139872806132656 139873940560514 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10993664 140723115205615 140723115205786 140723115205786 140723115208655 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31344 KiB

[startup+0.212059 s]*
/proc/loadavg: 8.63 8.19 7.11 7/236 501
/proc/meminfo: memFree=10416308/32770688 swapFree=66971760/67108860
[pid=484] ppid=481 vsize=113128 memory=1452 CPUtime=0 cores=4-7
/proc/484/stat : 484 (xcsp3-exec) S 481 484 29909 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 474927150 115843072 363 33554432000 4194304 5098028 140737346104400 140737346102504 139768527377020 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 12111872 140737346110333 140737346110573 140737346110573 140737346113482 0
/proc/484/statm: 28282 363 304 221 0 87 0
[pid=486] ppid=484 vsize=15144776 memory=40436 CPUtime=0.33 cores=4-7
/proc/486/stat : 486 (java) S 484 484 29909 0 -1 1077944320 9285 0 0 0 30 3 0 0 20 0 15 0 474927151 15508250624 10109 33554432000 4194304 4196468 140723115202144 140723115184688 139873940549367 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 10993664 140723115205615 140723115205786 140723115205786 140723115208655 0
/proc/486/statm: 3786194 10109 3309 1 0 3748377 0
[pid=486/tid=487] ppid=484 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=4-7
/proc/486/task/487/stat : 487 (java) R 484 484 29909 0 -1 4202560 6593 0 0 0 17 3 0 0 20 0 15 0 474927151 15508250624 10109 33554432000 4194304 4196468 140723115202144 139873944783232 139873547302420 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10993664 140723115205615 140723115205786 140723115205786 140723115208655 0
[pid=486/tid=488] ppid=484 vsize=15144776 memory=9098 CPUtime=0 cores=4-7
/proc/486/task/488/stat : 488 (java) S 484 484 29909 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474927152 15508250624 10109 33554432000 4194304 4196468 140723115202144 139873868589456 139873940559573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10993664 140723115205615 140723115205786 140723115205786 140723115208655 0
[pid=486/tid=489] ppid=484 vsize=15144776 memory=288370177004406400 CPUtime=0 cores=4-7
/proc/486/task/489/stat : 489 (java) S 484 484 29909 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474927152 15508250624 10109 33554432000 4194304 4196468 140723115202144 139873867536656 139873940559573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10993664 140723115205615 140723115205786 140723115205786 140723115208655 0
[pid=486/tid=490] ppid=484 vsize=15144776 memory=0 CPUtime=0 cores=4-7
/proc/486/task/490/stat : 490 (java) S 484 484 29909 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474927152 15508250624 10109 33554432000 4194304 4196468 140723115202144 139873866484368 139873940559573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10993664 140723115205615 140723115205786 140723115205786 140723115208655 0
[pid=486/tid=491] ppid=484 vsize=15144776 memory=-1 CPUtime=0 cores=4-7
/proc/486/task/491/stat : 491 (java) S 484 484 29909 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 474927152 15508250624 10109 33554432000 4194304 4196468 140723115202144 139873865431568 139873940559573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10993664 140723115205615 140723115205786 140723115205786 140723115208655 0
[pid=486/tid=492] ppid=484 vsize=15144776 memory=139800852694656 CPUtime=0 cores=4-7
/proc/486/task/492/stat : 492 (java) S 484 484 29909 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 474927153 15508250624 10109 33554432000 4194304 4196468 140723115202144 139872814553712 139873940560514 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10993664 140723115205615 140723115205786 140723115205786 140723115208655 0
[pid=486/tid=493] ppid=484 vsize=15144776 memory=-1 CPUtime=0 cores=4-7
/proc/486/task/493/stat : 493 (java) S 484 484 29909 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 474927154 15508250624 10109 33554432000 4194304 4196468 140723115202144 139872813499680 139873940559573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10993664 140723115205615 140723115205786 140723115205786 140723115208655 0
[pid=486/tid=495] ppid=484 vsize=15144776 memory=0 CPUtime=0 cores=4-7
/proc/486/task/495/stat : 495 (java) S 484 484 29909 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 474927154 15508250624 10109 33554432000 4194304 4196468 140723115202144 139872812447344 139873940559573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10993664 140723115205615 140723115205786 140723115205786 140723115208655 0
[pid=486/tid=496] ppid=484 vsize=15144776 memory=0 CPUtime=0 cores=4-7
/proc/486/task/496/stat : 496 (java) S 484 484 29909 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 474927157 15508250624 10109 33554432000 4194304 4196468 140723115202144 139872811395664 139873940567963 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10993664 140723115205615 140723115205786 140723115205786 140723115208655 0
[pid=486/tid=497] ppid=484 vsize=15144776 memory=0 CPUtime=0.02 cores=4-7
/proc/486/task/497/stat : 497 (java) R 484 484 29909 0 -1 4202560 502 0 0 0 2 0 0 0 20 0 15 0 474927157 15508250624 10109 33554432000 4194304 4196468 140723115202144 139872810342512 139873940561302 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10993664 140723115205615 140723115205786 140723115205786 140723115208655 0
[pid=486/tid=498] ppid=484 vsize=15144776 memory=-1 CPUtime=0.03 cores=4-7
/proc/486/task/498/stat : 498 (java) S 484 484 29909 0 -1 1077944384 134 0 0 0 3 0 0 0 20 0 15 0 474927157 15508250624 10109 33554432000 4194304 4196468 140723115202144 139872809289712 139873940560514 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10993664 140723115205615 140723115205786 140723115205786 140723115208655 0
[pid=486/tid=499] ppid=484 vsize=15144776 memory=139800852694656 CPUtime=0.08 cores=4-7
/proc/486/task/499/stat : 499 (java) R 484 484 29909 0 -1 4202560 757 0 0 0 8 0 0 0 20 0 15 0 474927157 15508250624 10109 33554432000 4194304 4196468 140723115202144 139872808237424 139873919478696 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10993664 140723115205615 140723115205786 140723115205786 140723115208655 0
[pid=486/tid=500] ppid=484 vsize=15144776 memory=-1 CPUtime=0 cores=4-7
/proc/486/task/500/stat : 500 (java) S 484 484 29909 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 474927157 15508250624 10109 33554432000 4194304 4196468 140723115202144 139872807184864 139873940559573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10993664 140723115205615 140723115205786 140723115205786 140723115208655 0
[pid=486/tid=501] ppid=484 vsize=15144776 memory=0 CPUtime=0 cores=4-7
/proc/486/task/501/stat : 501 (java) S 484 484 29909 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474927157 15508250624 10109 33554432000 4194304 4196468 140723115202144 139872806132656 139873940560514 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10993664 140723115205615 140723115205786 140723115205786 140723115208655 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 41888 KiB

[startup+0.311925 s]*
/proc/loadavg: 8.63 8.19 7.11 6/236 501
/proc/meminfo: memFree=10411716/32770688 swapFree=66971760/67108860
[pid=484] ppid=481 vsize=113128 memory=1452 CPUtime=0 cores=4-7
/proc/484/stat : 484 (xcsp3-exec) S 481 484 29909 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 474927150 115843072 363 33554432000 4194304 5098028 140737346104400 140737346102504 139768527377020 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 12111872 140737346110333 140737346110573 140737346110573 140737346113482 0
/proc/484/statm: 28282 363 304 221 0 87 0
[pid=486] ppid=484 vsize=15149032 memory=46340 CPUtime=0.51 cores=4-7
/proc/486/stat : 486 (java) S 484 484 29909 0 -1 1077944320 10391 0 0 0 46 5 0 0 20 0 15 0 474927151 15512608768 11585 33554432000 4194304 4196468 140723115202144 140723115184688 139873940549367 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 10993664 140723115205615 140723115205786 140723115205786 140723115208655 0
/proc/486/statm: 3787258 11585 3352 1 0 3748377 0
[pid=486/tid=487] ppid=484 vsize=15149032 memory=6791534058613427641 CPUtime=0.29 cores=4-7
/proc/486/task/487/stat : 487 (java) R 484 484 29909 0 -1 4202560 7557 0 0 0 26 3 0 0 20 0 15 0 474927151 15512608768 11650 33554432000 4194304 4196468 140723115202144 139873944786592 139873940571293 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10993664 140723115205615 140723115205786 140723115205786 140723115208655 0
[pid=486/tid=488] ppid=484 vsize=15149032 memory=4126316290023845779 CPUtime=0 cores=4-7
/proc/486/task/488/stat : 488 (java) S 484 484 29909 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474927152 15512608768 11650 33554432000 4194304 4196468 140723115202144 139873868589456 139873940559573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10993664 140723115205615 140723115205786 140723115205786 140723115208655 0
[pid=486/tid=489] ppid=484 vsize=15149032 memory=3475195960867448677 CPUtime=0 cores=4-7
/proc/486/task/489/stat : 489 (java) S 484 484 29909 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474927152 15512608768 11650 33554432000 4194304 4196468 140723115202144 139873867536656 139873940559573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10993664 140723115205615 140723115205786 140723115205786 140723115208655 0
[pid=486/tid=490] ppid=484 vsize=15149032 memory=-6876588461455810464 CPUtime=0 cores=4-7
/proc/486/task/490/stat : 490 (java) S 484 484 29909 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474927152 15512608768 11650 33554432000 4194304 4196468 140723115202144 139873866484368 139873940559573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10993664 140723115205615 140723115205786 140723115205786 140723115208655 0
[pid=486/tid=491] ppid=484 vsize=15149032 memory=-7522837583129502606 CPUtime=0 cores=4-7
/proc/486/task/491/stat : 491 (java) S 484 484 29909 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 474927152 15512608768 11650 33554432000 4194304 4196468 140723115202144 139873865431568 139873940559573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10993664 140723115205615 140723115205786 140723115205786 140723115208655 0
[pid=486/tid=492] ppid=484 vsize=15149032 memory=7959677418182421067 CPUtime=0 cores=4-7
/proc/486/task/492/stat : 492 (java) S 484 484 29909 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 474927153 15512608768 11650 33554432000 4194304 4196468 140723115202144 139872814553712 139873940560514 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10993664 140723115205615 140723115205786 140723115205786 140723115208655 0
[pid=486/tid=493] ppid=484 vsize=15149032 memory=-8614379499087747112 CPUtime=0 cores=4-7
/proc/486/task/493/stat : 493 (java) S 484 484 29909 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 474927154 15512608768 11650 33554432000 4194304 4196468 140723115202144 139872813499680 139873940559573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10993664 140723115205615 140723115205786 140723115205786 140723115208655 0
[pid=486/tid=495] ppid=484 vsize=15149032 memory=0 CPUtime=0 cores=4-7
/proc/486/task/495/stat : 495 (java) S 484 484 29909 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 474927154 15512608768 11650 33554432000 4194304 4196468 140723115202144 139872812447344 139873940559573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10993664 140723115205615 140723115205786 140723115205786 140723115208655 0
[pid=486/tid=496] ppid=484 vsize=15149032 memory=0 CPUtime=0 cores=4-7
/proc/486/task/496/stat : 496 (java) S 484 484 29909 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 474927157 15512608768 11650 33554432000 4194304 4196468 140723115202144 139872811395664 139873940567963 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10993664 140723115205615 140723115205786 140723115205786 140723115208655 0
[pid=486/tid=497] ppid=484 vsize=15149032 memory=0 CPUtime=0.03 cores=4-7
/proc/486/task/497/stat : 497 (java) S 484 484 29909 0 -1 1077944384 544 0 0 0 3 0 0 0 20 0 15 0 474927157 15512608768 11650 33554432000 4194304 4196468 140723115202144 139872810342512 139873940560514 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10993664 140723115205615 140723115205786 140723115205786 140723115208655 0
[pid=486/tid=498] ppid=484 vsize=15149032 memory=0 CPUtime=0.04 cores=4-7
/proc/486/task/498/stat : 498 (java) S 484 484 29909 0 -1 1077944384 142 0 0 0 4 0 0 0 20 0 15 0 474927157 15512608768 11650 33554432000 4194304 4196468 140723115202144 139872809289712 139873940560514 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10993664 140723115205615 140723115205786 140723115205786 140723115208655 0
[pid=486/tid=499] ppid=484 vsize=15149032 memory=0 CPUtime=0.13 cores=4-7
/proc/486/task/499/stat : 499 (java) S 484 484 29909 0 -1 1077944384 888 0 0 0 13 0 0 0 20 0 15 0 474927157 15512608768 11650 33554432000 4194304 4196468 140723115202144 139872808237424 139873940560514 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10993664 140723115205615 140723115205786 140723115205786 140723115208655 0
[pid=486/tid=500] ppid=484 vsize=15149032 memory=3907213771037684791 CPUtime=0 cores=4-7
/proc/486/task/500/stat : 500 (java) S 484 484 29909 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 474927157 15512608768 11650 33554432000 4194304 4196468 140723115202144 139872807184864 139873940559573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10993664 140723115205615 140723115205786 140723115205786 140723115208655 0
[pid=486/tid=501] ppid=484 vsize=15149032 memory=3540022022770407347 CPUtime=0 cores=4-7
/proc/486/task/501/stat : 501 (java) S 484 484 29909 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474927157 15512608768 11650 33554432000 4194304 4196468 140723115202144 139872806132656 139873940560514 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10993664 140723115205615 140723115205786 140723115205786 140723115208655 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 47792 KiB

[startup+0.705557 s]
/proc/loadavg: 8.63 8.19 7.11 8/236 501
/proc/meminfo: memFree=10397076/32770688 swapFree=66971760/67108860
[pid=484] ppid=481 vsize=113128 memory=1452 CPUtime=0 cores=4-7
/proc/484/stat : 484 (xcsp3-exec) S 481 484 29909 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 474927150 115843072 363 33554432000 4194304 5098028 140737346104400 140737346102504 139768527377020 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 12111872 140737346110333 140737346110573 140737346110573 140737346113482 0
/proc/484/statm: 28282 363 304 221 0 87 0
[pid=486] ppid=484 vsize=15417412 memory=83736 CPUtime=1.5 cores=4-7
/proc/486/stat : 486 (java) S 484 484 29909 0 -1 1077944320 14746 0 0 0 143 7 0 0 20 0 19 0 474927151 15787429888 20934 33554432000 4194304 4196468 140723115202144 140723115184688 139873940549367 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 10993664 140723115205615 140723115205786 140723115205786 140723115208655 0
/proc/486/statm: 3854353 20934 3450 1 0 3815453 0
[pid=486/tid=487] ppid=484 vsize=15417412 memory=0 CPUtime=0.65 cores=4-7
/proc/486/task/487/stat : 487 (java) S 484 484 29909 0 -1 1077944384 9210 0 0 0 60 5 0 0 20 0 19 0 474927151 15787429888 20934 33554432000 4194304 4196468 140723115202144 139873944790144 139873940559573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10993664 140723115205615 140723115205786 140723115205786 140723115208655 0
[pid=486/tid=488] ppid=484 vsize=15417412 memory=0 CPUtime=0 cores=4-7
/proc/486/task/488/stat : 488 (java) S 484 484 29909 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 474927152 15787429888 20934 33554432000 4194304 4196468 140723115202144 139873868589456 139873940559573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10993664 140723115205615 140723115205786 140723115205786 140723115208655 0
[pid=486/tid=489] ppid=484 vsize=15417412 memory=1408 CPUtime=0 cores=4-7
/proc/486/task/489/stat : 489 (java) S 484 484 29909 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 474927152 15787429888 20934 33554432000 4194304 4196468 140723115202144 139873867536656 139873940559573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10993664 140723115205615 140723115205786 140723115205786 140723115208655 0
[pid=486/tid=490] ppid=484 vsize=15417412 memory=2400 CPUtime=0 cores=4-7
/proc/486/task/490/stat : 490 (java) S 484 484 29909 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 474927152 15787429888 20934 33554432000 4194304 4196468 140723115202144 139873866484368 139873940559573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10993664 140723115205615 140723115205786 140723115205786 140723115208655 0
[pid=486/tid=491] ppid=484 vsize=15417412 memory=1452 CPUtime=0 cores=4-7
/proc/486/task/491/stat : 491 (java) S 484 484 29909 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 474927152 15787429888 20934 33554432000 4194304 4196468 140723115202144 139873865431568 139873940559573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10993664 140723115205615 140723115205786 140723115205786 140723115208655 0
[pid=486/tid=492] ppid=484 vsize=15417412 memory=62172 CPUtime=0 cores=4-7
/proc/486/task/492/stat : 492 (java) S 484 484 29909 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 474927153 15787429888 20934 33554432000 4194304 4196468 140723115202144 139872814553712 139873940560514 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10993664 140723115205615 140723115205786 140723115205786 140723115208655 0
[pid=486/tid=493] ppid=484 vsize=15417412 memory=1432 CPUtime=0 cores=4-7
/proc/486/task/493/stat : 493 (java) S 484 484 29909 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 474927154 15787429888 20934 33554432000 4194304 4196468 140723115202144 139872813499680 139873940559573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10993664 140723115205615 140723115205786 140723115205786 140723115208655 0
[pid=486/tid=495] ppid=484 vsize=15417412 memory=1056 CPUtime=0 cores=4-7
/proc/486/task/495/stat : 495 (java) S 484 484 29909 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 474927154 15787429888 20934 33554432000 4194304 4196468 140723115202144 139872812447344 139873940559573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10993664 140723115205615 140723115205786 140723115205786 140723115208655 0
[pid=486/tid=496] ppid=484 vsize=15417412 memory=788 CPUtime=0 cores=4-7
/proc/486/task/496/stat : 496 (java) S 484 484 29909 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 474927157 15787429888 20934 33554432000 4194304 4196468 140723115202144 139872811395664 139873940567963 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10993664 140723115205615 140723115205786 140723115205786 140723115208655 0
[pid=486/tid=497] ppid=484 vsize=15417412 memory=1704 CPUtime=0.17 cores=4-7
/proc/486/task/497/stat : 497 (java) R 484 484 29909 0 -1 1077944384 1239 0 0 0 17 0 0 0 20 0 19 0 474927157 15787429888 20934 33554432000 4194304 4196468 140723115202144 139872810329296 139873940559573 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10993664 140723115205615 140723115205786 140723115205786 140723115208655 0
[pid=486/tid=498] ppid=484 vsize=15417412 memory=1280 CPUtime=0.21 cores=4-7
/proc/486/task/498/stat : 498 (java) R 484 484 29909 0 -1 4202560 815 0 0 0 20 1 0 0 20 0 19 0 474927157 15787429888 20934 33554432000 4194304 4196468 140723115202144 139872809289808 139873924941344 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10993664 140723115205615 140723115205786 140723115205786 140723115208655 0
[pid=486/tid=499] ppid=484 vsize=15417412 memory=6044 CPUtime=0.37 cores=4-7
/proc/486/task/499/stat : 499 (java) R 484 484 29909 0 -1 1077944384 2015 0 0 0 37 0 0 0 20 0 19 0 474927157 15787429888 20934 33554432000 4194304 4196468 140723115202144 139872808233792 139873940559573 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10993664 140723115205615 140723115205786 140723115205786 140723115208655 0
[pid=486/tid=500] ppid=484 vsize=15417412 memory=780 CPUtime=0 cores=4-7
/proc/486/task/500/stat : 500 (java) S 484 484 29909 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 474927157 15787429888 20934 33554432000 4194304 4196468 140723115202144 139872807184864 139873940559573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10993664 140723115205615 140723115205786 140723115205786 140723115208655 0
[pid=486/tid=501] ppid=484 vsize=15417412 memory=3604 CPUtime=0 cores=4-7
/proc/486/task/501/stat : 501 (java) S 484 484 29909 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 474927157 15787429888 20934 33554432000 4194304 4196468 140723115202144 139872806132656 139873940560514 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10993664 140723115205615 140723115205786 140723115205786 140723115208655 0
Current children cumulated CPU time: 1.5 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 85188 KiB

[startup+1.50274 s]
/proc/loadavg: 8.63 8.19 7.11 11/240 505
/proc/meminfo: memFree=10367608/32770688 swapFree=66971760/67108860
[pid=484] ppid=481 vsize=113128 memory=1452 CPUtime=0 cores=4-7
/proc/484/stat : 484 (xcsp3-exec) S 481 484 29909 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 474927150 115843072 363 33554432000 4194304 5098028 140737346104400 140737346102504 139768527377020 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 12111872 140737346110333 140737346110573 140737346110573 140737346113482 0
/proc/484/statm: 28282 363 304 221 0 87 0

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

/proc/486/task/501/stat : 501 (java) S 484 484 29909 0 -1 1077944384 353 0 0 0 0 1 0 0 20 0 19 0 474927157 15787429888 40776 33554432000 4194304 4196468 140723115202144 139872806132656 139873940560514 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10993664 140723115205615 140723115205786 140723115205786 140723115208655 0
[pid=486/tid=502] ppid=484 vsize=15417412 memory=3112 CPUtime=86.1 cores=4-7
/proc/486/task/502/stat : 502 (java) R 484 484 29909 0 -1 4202560 615 0 0 0 8610 0 0 0 20 0 19 0 474927218 15787429888 40776 33554432000 4194304 4196468 140723115202144 139872796912920 139873550432317 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10993664 140723115205615 140723115205786 140723115205786 140723115208655 0
[pid=486/tid=503] ppid=484 vsize=15417412 memory=1452 CPUtime=86.4 cores=4-7
/proc/486/task/503/stat : 503 (java) R 484 484 29909 0 -1 4202560 1716 0 0 0 8639 1 0 0 20 0 19 0 474927218 15787429888 40776 33554432000 4194304 4196468 140723115202144 139872795861624 139873551025981 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10993664 140723115205615 140723115205786 140723115205786 140723115208655 0
[pid=486/tid=504] ppid=484 vsize=15417412 memory=164132 CPUtime=86.86 cores=4-7
/proc/486/task/504/stat : 504 (java) R 484 484 29909 0 -1 4202560 553 0 0 0 8686 0 0 0 20 0 19 0 474927218 15787429888 40776 33554432000 4194304 4196468 140723115202144 139872794811760 139873552241576 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10993664 140723115205615 140723115205786 140723115205786 140723115208655 0
[pid=486/tid=505] ppid=484 vsize=15417412 memory=1432 CPUtime=86.21 cores=4-7
/proc/486/task/505/stat : 505 (java) R 484 484 29909 0 -1 4202560 1371 0 0 0 8619 2 0 0 20 0 19 0 474927218 15787429888 40776 33554432000 4194304 4196468 140723115202144 139872793755472 139873549824668 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10993664 140723115205615 140723115205786 140723115205786 140723115208655 0
Current children cumulated CPU time: 351.85 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 164556 KiB

[startup+89.6008 s]
/proc/loadavg: 8.84 8.38 7.28 9/240 512
/proc/meminfo: memFree=10535444/32770688 swapFree=66971760/67108860
[pid=484] ppid=481 vsize=113128 memory=1452 CPUtime=0 cores=4-7
/proc/484/stat : 484 (xcsp3-exec) S 481 484 29909 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 474927150 115843072 363 33554432000 4194304 5098028 140737346104400 140737346102504 139768527377020 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 12111872 140737346110333 140737346110573 140737346110573 140737346113482 0
/proc/484/statm: 28282 363 304 221 0 87 0
[pid=486] ppid=484 vsize=15417412 memory=163104 CPUtime=355.03 cores=4-7
/proc/486/stat : 486 (java) S 484 484 29909 0 -1 1077944320 48015 0 0 0 35484 19 0 0 20 0 19 0 474927151 15787429888 40776 33554432000 4194304 4196468 140723115202144 140723115184688 139873940549367 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 10993664 140723115205615 140723115205786 140723115205786 140723115208655 0
/proc/486/statm: 3854353 40776 3512 1 0 3815453 0
[pid=486/tid=487] ppid=484 vsize=15417412 memory=4639158061651825537 CPUtime=0.65 cores=4-7
/proc/486/task/487/stat : 487 (java) S 484 484 29909 0 -1 1077944384 9210 0 0 0 60 5 0 0 20 0 19 0 474927151 15787429888 40776 33554432000 4194304 4196468 140723115202144 139873944790144 139873940559573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10993664 140723115205615 140723115205786 140723115205786 140723115208655 0
[pid=486/tid=488] ppid=484 vsize=15417412 memory=-7735619938911498612 CPUtime=0.03 cores=4-7
/proc/486/task/488/stat : 488 (java) S 484 484 29909 0 -1 1077944384 1281 0 0 0 3 0 0 0 20 0 19 0 474927152 15787429888 40776 33554432000 4194304 4196468 140723115202144 139873868589456 139873940559573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10993664 140723115205615 140723115205786 140723115205786 140723115208655 0
[pid=486/tid=489] ppid=484 vsize=15417412 memory=1452 CPUtime=0.04 cores=4-7
/proc/486/task/489/stat : 489 (java) S 484 484 29909 0 -1 1077944384 1280 0 0 0 3 1 0 0 20 0 19 0 474927152 15787429888 40776 33554432000 4194304 4196468 140723115202144 139873867536656 139873940559573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10993664 140723115205615 140723115205786 140723115205786 140723115208655 0
[pid=486/tid=490] ppid=484 vsize=15417412 memory=164132 CPUtime=0.04 cores=4-7
/proc/486/task/490/stat : 490 (java) S 484 484 29909 0 -1 1077944384 1247 0 0 0 3 1 0 0 20 0 19 0 474927152 15787429888 40776 33554432000 4194304 4196468 140723115202144 139873866484368 139873940559573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10993664 140723115205615 140723115205786 140723115205786 140723115208655 0
[pid=486/tid=491] ppid=484 vsize=15417412 memory=6946351975045359722 CPUtime=0.04 cores=4-7
/proc/486/task/491/stat : 491 (java) S 484 484 29909 0 -1 1077944384 814 0 0 0 3 1 0 0 20 0 19 0 474927152 15787429888 40776 33554432000 4194304 4196468 140723115202144 139873865431568 139873940559573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10993664 140723115205615 140723115205786 140723115205786 140723115208655 0
[pid=486/tid=492] ppid=484 vsize=15417412 memory=7523942045980906598 CPUtime=0.05 cores=4-7
/proc/486/task/492/stat : 492 (java) S 484 484 29909 0 -1 1077944384 1317 0 0 0 4 1 0 0 20 0 19 0 474927153 15787429888 40776 33554432000 4194304 4196468 140723115202144 139872814553712 139873940560514 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10993664 140723115205615 140723115205786 140723115205786 140723115208655 0
[pid=486/tid=493] ppid=484 vsize=15417412 memory=1444 CPUtime=0 cores=4-7
/proc/486/task/493/stat : 493 (java) S 484 484 29909 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 19 0 474927154 15787429888 40776 33554432000 4194304 4196468 140723115202144 139872813499744 139873940559573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10993664 140723115205615 140723115205786 140723115205786 140723115208655 0
[pid=486/tid=495] ppid=484 vsize=15417412 memory=1984 CPUtime=0 cores=4-7
/proc/486/task/495/stat : 495 (java) S 484 484 29909 0 -1 1077944384 98 0 0 0 0 0 0 0 20 0 19 0 474927154 15787429888 40776 33554432000 4194304 4196468 140723115202144 139872812447360 139873940559573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10993664 140723115205615 140723115205786 140723115205786 140723115208655 0
[pid=486/tid=496] ppid=484 vsize=15417412 memory=2424 CPUtime=0 cores=4-7
/proc/486/task/496/stat : 496 (java) S 484 484 29909 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 474927157 15787429888 40776 33554432000 4194304 4196468 140723115202144 139872811395664 139873940567963 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10993664 140723115205615 140723115205786 140723115205786 140723115208655 0
[pid=486/tid=497] ppid=484 vsize=15417412 memory=1760 CPUtime=2.37 cores=4-7
/proc/486/task/497/stat : 497 (java) S 484 484 29909 0 -1 1077944384 11738 0 0 0 236 1 0 0 20 0 19 0 474927157 15787429888 40776 33554432000 4194304 4196468 140723115202144 139872810342512 139873940560514 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10993664 140723115205615 140723115205786 140723115205786 140723115208655 0
[pid=486/tid=498] ppid=484 vsize=15417412 memory=111636 CPUtime=2.29 cores=4-7
/proc/486/task/498/stat : 498 (java) S 484 484 29909 0 -1 1077944384 8844 0 0 0 227 2 0 0 20 0 19 0 474927157 15787429888 40776 33554432000 4194304 4196468 140723115202144 139872809289712 139873940560514 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10993664 140723115205615 140723115205786 140723115205786 140723115208655 0
[pid=486/tid=499] ppid=484 vsize=15417412 memory=1452 CPUtime=0.64 cores=4-7
/proc/486/task/499/stat : 499 (java) S 484 484 29909 0 -1 1077944384 6247 0 0 0 64 0 0 0 20 0 19 0 474927157 15787429888 40776 33554432000 4194304 4196468 140723115202144 139872808237424 139873940560514 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10993664 140723115205615 140723115205786 140723115205786 140723115208655 0
[pid=486/tid=500] ppid=484 vsize=15417412 memory=164132 CPUtime=0 cores=4-7
/proc/486/task/500/stat : 500 (java) S 484 484 29909 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 474927157 15787429888 40776 33554432000 4194304 4196468 140723115202144 139872807184864 139873940559573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10993664 140723115205615 140723115205786 140723115205786 140723115208655 0
[pid=486/tid=501] ppid=484 vsize=15417412 memory=2044 CPUtime=0.01 cores=4-7
/proc/486/task/501/stat : 501 (java) S 484 484 29909 0 -1 1077944384 353 0 0 0 0 1 0 0 20 0 19 0 474927157 15787429888 40776 33554432000 4194304 4196468 140723115202144 139872806132656 139873940560514 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10993664 140723115205615 140723115205786 140723115205786 140723115208655 0
[pid=486/tid=502] ppid=484 vsize=15417412 memory=1408 CPUtime=86.9 cores=4-7
/proc/486/task/502/stat : 502 (java) R 484 484 29909 0 -1 4202560 615 0 0 0 8690 0 0 0 20 0 19 0 474927218 15787429888 40776 33554432000 4194304 4196468 140723115202144 139872796912920 139873549825313 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10993664 140723115205615 140723115205786 140723115205786 140723115208655 0
[pid=486/tid=503] ppid=484 vsize=15417412 memory=3112 CPUtime=87.2 cores=4-7
/proc/486/task/503/stat : 503 (java) R 484 484 29909 0 -1 4202560 1741 0 0 0 8719 1 0 0 20 0 19 0 474927218 15787429888 40776 33554432000 4194304 4196468 140723115202144 139872795861624 140723116406984 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10993664 140723115205615 140723115205786 140723115205786 140723115208655 0
[pid=486/tid=504] ppid=484 vsize=15417412 memory=1452 CPUtime=87.66 cores=4-7
/proc/486/task/504/stat : 504 (java) R 484 484 29909 0 -1 4202560 553 0 0 0 8766 0 0 0 20 0 19 0 474927218 15787429888 40776 33554432000 4194304 4196468 140723115202144 139872794811760 139873551746508 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10993664 140723115205615 140723115205786 140723115205786 140723115208655 0
[pid=486/tid=505] ppid=484 vsize=15417412 memory=164132 CPUtime=86.99 cores=4-7
/proc/486/task/505/stat : 505 (java) R 484 484 29909 0 -1 4202560 1371 0 0 0 8697 2 0 0 20 0 19 0 474927218 15787429888 40776 33554432000 4194304 4196468 140723115202144 139872793755472 139873551841073 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10993664 140723115205615 140723115205786 140723115205786 140723115208655 0
Current children cumulated CPU time: 355.03 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 164556 KiB

[startup+90.0018 s]*
/proc/loadavg: 8.84 8.38 7.28 9/240 513
/proc/meminfo: memFree=10535656/32770688 swapFree=66971760/67108860
[pid=484] ppid=481 vsize=113128 memory=1452 CPUtime=0 cores=4-7
/proc/484/stat : 484 (xcsp3-exec) S 481 484 29909 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 474927150 115843072 363 33554432000 4194304 5098028 140737346104400 140737346102504 139768527377020 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 12111872 140737346110333 140737346110573 140737346110573 140737346113482 0
/proc/484/statm: 28282 363 304 221 0 87 0
[pid=486] ppid=484 vsize=15417412 memory=163104 CPUtime=356.64 cores=4-7
/proc/486/stat : 486 (java) S 484 484 29909 0 -1 1077944320 48018 0 0 0 35645 19 0 0 20 0 19 0 474927151 15787429888 40776 33554432000 4194304 4196468 140723115202144 140723115184688 139873940549367 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 10993664 140723115205615 140723115205786 140723115205786 140723115208655 0
/proc/486/statm: 3854353 40776 3512 1 0 3815453 0
[pid=486/tid=487] ppid=484 vsize=15417412 memory=6791534058613427641 CPUtime=0.65 cores=4-7
/proc/486/task/487/stat : 487 (java) S 484 484 29909 0 -1 1077944384 9210 0 0 0 60 5 0 0 20 0 19 0 474927151 15787429888 40776 33554432000 4194304 4196468 140723115202144 139873944790144 139873940559573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10993664 140723115205615 140723115205786 140723115205786 140723115208655 0
[pid=486/tid=488] ppid=484 vsize=15417412 memory=4126316290023845779 CPUtime=0.03 cores=4-7
/proc/486/task/488/stat : 488 (java) S 484 484 29909 0 -1 1077944384 1281 0 0 0 3 0 0 0 20 0 19 0 474927152 15787429888 40776 33554432000 4194304 4196468 140723115202144 139873868589456 139873940559573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10993664 140723115205615 140723115205786 140723115205786 140723115208655 0
[pid=486/tid=489] ppid=484 vsize=15417412 memory=1732 CPUtime=0.04 cores=4-7
/proc/486/task/489/stat : 489 (java) S 484 484 29909 0 -1 1077944384 1281 0 0 0 3 1 0 0 20 0 19 0 474927152 15787429888 40776 33554432000 4194304 4196468 140723115202144 139873867536656 139873940559573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10993664 140723115205615 140723115205786 140723115205786 140723115208655 0
[pid=486/tid=490] ppid=484 vsize=15417412 memory=4104 CPUtime=0.04 cores=4-7
/proc/486/task/490/stat : 490 (java) S 484 484 29909 0 -1 1077944384 1247 0 0 0 3 1 0 0 20 0 19 0 474927152 15787429888 40776 33554432000 4194304 4196468 140723115202144 139873866484368 139873940559573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10993664 140723115205615 140723115205786 140723115205786 140723115208655 0
[pid=486/tid=491] ppid=484 vsize=15417412 memory=1808 CPUtime=0.04 cores=4-7
/proc/486/task/491/stat : 491 (java) S 484 484 29909 0 -1 1077944384 814 0 0 0 3 1 0 0 20 0 19 0 474927152 15787429888 40776 33554432000 4194304 4196468 140723115202144 139873865431568 139873940559573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10993664 140723115205615 140723115205786 140723115205786 140723115208655 0
[pid=486/tid=492] ppid=484 vsize=15417412 memory=920 CPUtime=0.05 cores=4-7
/proc/486/task/492/stat : 492 (java) S 484 484 29909 0 -1 1077944384 1317 0 0 0 4 1 0 0 20 0 19 0 474927153 15787429888 40776 33554432000 4194304 4196468 140723115202144 139872814553712 139873940560514 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10993664 140723115205615 140723115205786 140723115205786 140723115208655 0
[pid=486/tid=493] ppid=484 vsize=15417412 memory=3848 CPUtime=0 cores=4-7
/proc/486/task/493/stat : 493 (java) S 484 484 29909 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 19 0 474927154 15787429888 40776 33554432000 4194304 4196468 140723115202144 139872813499744 139873940559573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10993664 140723115205615 140723115205786 140723115205786 140723115208655 0
[pid=486/tid=495] ppid=484 vsize=15417412 memory=2596 CPUtime=0 cores=4-7
/proc/486/task/495/stat : 495 (java) S 484 484 29909 0 -1 1077944384 98 0 0 0 0 0 0 0 20 0 19 0 474927154 15787429888 40776 33554432000 4194304 4196468 140723115202144 139872812447360 139873940559573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10993664 140723115205615 140723115205786 140723115205786 140723115208655 0
[pid=486/tid=496] ppid=484 vsize=15417412 memory=2596 CPUtime=0 cores=4-7
/proc/486/task/496/stat : 496 (java) S 484 484 29909 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 474927157 15787429888 40776 33554432000 4194304 4196468 140723115202144 139872811395664 139873940567963 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10993664 140723115205615 140723115205786 140723115205786 140723115208655 0
[pid=486/tid=497] ppid=484 vsize=15417412 memory=1412 CPUtime=2.37 cores=4-7
/proc/486/task/497/stat : 497 (java) S 484 484 29909 0 -1 1077944384 11738 0 0 0 236 1 0 0 20 0 19 0 474927157 15787429888 40776 33554432000 4194304 4196468 140723115202144 139872810342512 139873940560514 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10993664 140723115205615 140723115205786 140723115205786 140723115208655 0
[pid=486/tid=498] ppid=484 vsize=15417412 memory=3244 CPUtime=2.29 cores=4-7
/proc/486/task/498/stat : 498 (java) S 484 484 29909 0 -1 1077944384 8844 0 0 0 227 2 0 0 20 0 19 0 474927157 15787429888 40776 33554432000 4194304 4196468 140723115202144 139872809289712 139873940560514 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10993664 140723115205615 140723115205786 140723115205786 140723115208655 0
[pid=486/tid=499] ppid=484 vsize=15417412 memory=1448 CPUtime=0.64 cores=4-7
/proc/486/task/499/stat : 499 (java) S 484 484 29909 0 -1 1077944384 6247 0 0 0 64 0 0 0 20 0 19 0 474927157 15787429888 40776 33554432000 4194304 4196468 140723115202144 139872808237424 139873940560514 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10993664 140723115205615 140723115205786 140723115205786 140723115208655 0
[pid=486/tid=500] ppid=484 vsize=15417412 memory=6617336 CPUtime=0 cores=4-7
/proc/486/task/500/stat : 500 (java) S 484 484 29909 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 474927157 15787429888 40776 33554432000 4194304 4196468 140723115202144 139872807184864 139873940559573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10993664 140723115205615 140723115205786 140723115205786 140723115208655 0
[pid=486/tid=501] ppid=484 vsize=15417412 memory=6791534058613427641 CPUtime=0.01 cores=4-7
/proc/486/task/501/stat : 501 (java) S 484 484 29909 0 -1 1077944384 353 0 0 0 0 1 0 0 20 0 19 0 474927157 15787429888 40776 33554432000 4194304 4196468 140723115202144 139872806132656 139873940560514 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10993664 140723115205615 140723115205786 140723115205786 140723115208655 0
[pid=486/tid=502] ppid=484 vsize=15417412 memory=14068 CPUtime=87.31 cores=4-7
/proc/486/task/502/stat : 502 (java) R 484 484 29909 0 -1 4202560 615 0 0 0 8731 0 0 0 20 0 19 0 474927218 15787429888 40776 33554432000 4194304 4196468 140723115202144 139872796915728 139873551136960 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10993664 140723115205615 140723115205786 140723115205786 140723115208655 0
[pid=486/tid=503] ppid=484 vsize=15417412 memory=2120 CPUtime=87.61 cores=4-7
/proc/486/task/503/stat : 503 (java) R 484 484 29909 0 -1 4202560 1742 0 0 0 8760 1 0 0 20 0 19 0 474927218 15787429888 40776 33554432000 4194304 4196468 140723115202144 139872795862128 139873550430950 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10993664 140723115205615 140723115205786 140723115205786 140723115208655 0
[pid=486/tid=504] ppid=484 vsize=15417412 memory=1452 CPUtime=88.07 cores=4-7
/proc/486/task/504/stat : 504 (java) R 484 484 29909 0 -1 4202560 554 0 0 0 8807 0 0 0 20 0 19 0 474927218 15787429888 40776 33554432000 4194304 4196468 140723115202144 139872794809464 139873551137987 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10993664 140723115205615 140723115205786 140723115205786 140723115208655 0
[pid=486/tid=505] ppid=484 vsize=15417412 memory=6947385649911455296 CPUtime=87.39 cores=4-7
/proc/486/task/505/stat : 505 (java) R 484 484 29909 0 -1 4202560 1371 0 0 0 8737 2 0 0 20 0 19 0 474927218 15787429888 40776 33554432000 4194304 4196468 140723115202144 139872793755232 140723116406998 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10993664 140723115205615 140723115205786 140723115205786 140723115208655 0
Current children cumulated CPU time: 356.64 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 164556 KiB

[startup+90.1118 s]
/proc/loadavg: 8.84 8.38 7.28 9/240 513
/proc/meminfo: memFree=10535656/32770688 swapFree=66971760/67108860
[pid=484] ppid=481 vsize=113128 memory=1452 CPUtime=0 cores=4-7
/proc/484/stat : 484 (xcsp3-exec) S 481 484 29909 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 474927150 115843072 363 33554432000 4194304 5098028 140737346104400 140737346102504 139768527377020 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 12111872 140737346110333 140737346110573 140737346110573 140737346113482 0
/proc/484/statm: 28282 363 304 221 0 87 0
[pid=486] ppid=484 vsize=15417412 memory=163104 CPUtime=357.05 cores=4-7
/proc/486/stat : 486 (java) S 484 484 29909 0 -1 1077944320 48018 0 0 0 35686 19 0 0 20 0 19 0 474927151 15787429888 40776 33554432000 4194304 4196468 140723115202144 140723115184688 139873940549367 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 10993664 140723115205615 140723115205786 140723115205786 140723115208655 0
/proc/486/statm: 3854353 40776 3512 1 0 3815453 0
[pid=486/tid=487] ppid=484 vsize=15417412 memory=163104 CPUtime=0.65 cores=4-7
/proc/486/task/487/stat : 487 (java) S 484 484 29909 0 -1 1077944384 9210 0 0 0 60 5 0 0 20 0 19 0 474927151 15787429888 40776 33554432000 4194304 4196468 140723115202144 139873944790144 139873940559573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10993664 140723115205615 140723115205786 140723115205786 140723115208655 0
[pid=486/tid=488] ppid=484 vsize=15417412 memory=1452 CPUtime=0.03 cores=4-7
/proc/486/task/488/stat : 488 (java) S 484 484 29909 0 -1 1077944384 1281 0 0 0 3 0 0 0 20 0 19 0 474927152 15787429888 40776 33554432000 4194304 4196468 140723115202144 139873868589456 139873940559573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10993664 140723115205615 140723115205786 140723115205786 140723115208655 0
[pid=486/tid=489] ppid=484 vsize=15417412 memory=3 CPUtime=0.04 cores=4-7
/proc/486/task/489/stat : 489 (java) S 484 484 29909 0 -1 1077944384 1281 0 0 0 3 1 0 0 20 0 19 0 474927152 15787429888 40776 33554432000 4194304 4196468 140723115202144 139873867536656 139873940559573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10993664 140723115205615 140723115205786 140723115205786 140723115208655 0
[pid=486/tid=490] ppid=484 vsize=15417412 memory=1452 CPUtime=0.04 cores=4-7
/proc/486/task/490/stat : 490 (java) S 484 484 29909 0 -1 1077944384 1247 0 0 0 3 1 0 0 20 0 19 0 474927152 15787429888 40776 33554432000 4194304 4196468 140723115202144 139873866484368 139873940559573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10993664 140723115205615 140723115205786 140723115205786 140723115208655 0
[pid=486/tid=491] ppid=484 vsize=15417412 memory=177416 CPUtime=0.04 cores=4-7
/proc/486/task/491/stat : 491 (java) S 484 484 29909 0 -1 1077944384 814 0 0 0 3 1 0 0 20 0 19 0 474927152 15787429888 40776 33554432000 4194304 4196468 140723115202144 139873865431568 139873940559573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10993664 140723115205615 140723115205786 140723115205786 140723115208655 0
[pid=486/tid=492] ppid=484 vsize=15417412 memory=2832 CPUtime=0.05 cores=4-7
/proc/486/task/492/stat : 492 (java) S 484 484 29909 0 -1 1077944384 1317 0 0 0 4 1 0 0 20 0 19 0 474927153 15787429888 40776 33554432000 4194304 4196468 140723115202144 139872814553712 139873940560514 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10993664 140723115205615 140723115205786 140723115205786 140723115208655 0
[pid=486/tid=493] ppid=484 vsize=15417412 memory=1564 CPUtime=0 cores=4-7
/proc/486/task/493/stat : 493 (java) S 484 484 29909 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 19 0 474927154 15787429888 40776 33554432000 4194304 4196468 140723115202144 139872813499744 139873940559573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10993664 140723115205615 140723115205786 140723115205786 140723115208655 0
[pid=486/tid=495] ppid=484 vsize=15417412 memory=279601432519392 CPUtime=0 cores=4-7
/proc/486/task/495/stat : 495 (java) S 484 484 29909 0 -1 1077944384 98 0 0 0 0 0 0 0 20 0 19 0 474927154 15787429888 40776 33554432000 4194304 4196468 140723115202144 139872812447360 139873940559573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10993664 140723115205615 140723115205786 140723115205786 140723115208655 0
[pid=486/tid=496] ppid=484 vsize=15417412 memory=7595437772599546196 CPUtime=0 cores=4-7
/proc/486/task/496/stat : 496 (java) S 484 484 29909 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 474927157 15787429888 40776 33554432000 4194304 4196468 140723115202144 139872811395664 139873940567963 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10993664 140723115205615 140723115205786 140723115205786 140723115208655 0
[pid=486/tid=497] ppid=484 vsize=15417412 memory=6947385649911455296 CPUtime=2.37 cores=4-7
/proc/486/task/497/stat : 497 (java) S 484 484 29909 0 -1 1077944384 11738 0 0 0 236 1 0 0 20 0 19 0 474927157 15787429888 40776 33554432000 4194304 4196468 140723115202144 139872810342512 139873940560514 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10993664 140723115205615 140723115205786 140723115205786 140723115208655 0
[pid=486/tid=498] ppid=484 vsize=15417412 memory=168216 CPUtime=2.29 cores=4-7
/proc/486/task/498/stat : 498 (java) S 484 484 29909 0 -1 1077944384 8844 0 0 0 227 2 0 0 20 0 19 0 474927157 15787429888 40776 33554432000 4194304 4196468 140723115202144 139872809289712 139873940560514 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10993664 140723115205615 140723115205786 140723115205786 140723115208655 0
[pid=486/tid=499] ppid=484 vsize=15417412 memory=1452 CPUtime=0.64 cores=4-7
/proc/486/task/499/stat : 499 (java) S 484 484 29909 0 -1 1077944384 6247 0 0 0 64 0 0 0 20 0 19 0 474927157 15787429888 40776 33554432000 4194304 4196468 140723115202144 139872808237424 139873940560514 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10993664 140723115205615 140723115205786 140723115205786 140723115208655 0
[pid=486/tid=500] ppid=484 vsize=15417412 memory=0 CPUtime=0 cores=4-7
/proc/486/task/500/stat : 500 (java) S 484 484 29909 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 474927157 15787429888 40776 33554432000 4194304 4196468 140723115202144 139872807184864 139873940559573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10993664 140723115205615 140723115205786 140723115205786 140723115208655 0
[pid=486/tid=501] ppid=484 vsize=15417412 memory=0 CPUtime=0.01 cores=4-7
/proc/486/task/501/stat : 501 (java) S 484 484 29909 0 -1 1077944384 353 0 0 0 0 1 0 0 20 0 19 0 474927157 15787429888 40776 33554432000 4194304 4196468 140723115202144 139872806132656 139873940560514 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10993664 140723115205615 140723115205786 140723115205786 140723115208655 0
[pid=486/tid=502] ppid=484 vsize=15417412 memory=0 CPUtime=87.41 cores=4-7
/proc/486/task/502/stat : 502 (java) R 484 484 29909 0 -1 4202560 615 0 0 0 8741 0 0 0 20 0 19 0 474927218 15787429888 40776 33554432000 4194304 4196468 140723115202144 139872796915728 139873550730069 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10993664 140723115205615 140723115205786 140723115205786 140723115208655 0
[pid=486/tid=503] ppid=484 vsize=15417412 memory=1452 CPUtime=87.71 cores=4-7
/proc/486/task/503/stat : 503 (java) R 484 484 29909 0 -1 4202560 1742 0 0 0 8770 1 0 0 20 0 19 0 474927218 15787429888 40776 33554432000 4194304 4196468 140723115202144 139872795862128 139873551484832 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10993664 140723115205615 140723115205786 140723115205786 140723115208655 0
[pid=486/tid=504] ppid=484 vsize=15417412 memory=177416 CPUtime=88.17 cores=4-7
/proc/486/task/504/stat : 504 (java) R 484 484 29909 0 -1 4202560 554 0 0 0 8817 0 0 0 20 0 19 0 474927218 15787429888 40776 33554432000 4194304 4196468 140723115202144 139872794809464 139873549825338 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10993664 140723115205615 140723115205786 140723115205786 140723115208655 0
[pid=486/tid=505] ppid=484 vsize=15417412 memory=1088 CPUtime=87.48 cores=4-7
/proc/486/task/505/stat : 505 (java) R 484 484 29909 0 -1 4202560 1371 0 0 0 8746 2 0 0 20 0 19 0 474927218 15787429888 40776 33554432000 4194304 4196468 140723115202144 139872793755232 139873551137245 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10993664 140723115205615 140723115205786 140723115205786 140723115208655 0
Current children cumulated CPU time: 357.05 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 164556 KiB

Child status: 0
Real time (s): 90.1523
CPU time (s): 357.206
CPU user time (s): 356.999
CPU system time (s): 0.206983
CPU usage (%): 396.225
Max. virtual memory (cumulated for all children) (KiB): 15530540
Max. memory (cumulated for all children) (KiB): 218336

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 356.999
system time used= 0.206983
maximum resident set size= 219960
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49267
page faults= 0
swaps= 0
block input operations= 0
block output operations= 192
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5417
involuntary context switches= 8279


# summary of solver processes directly reported to runsolver:
#   pid: 484
#   total CPU time (s): 357.206
#   total CPU user time (s): 356.999
#   total CPU system time (s): 0.206983

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.576639 second user time and 1.15169 second system time

The end

Launcher Data 

Begin job on node116 at 2019-09-20 16:30:14
IDJOB=4403421
IDBENCH=124313
IDSOLVER=2863
FILE ID=node116/4403421-1568989855
RUNJOBID= node116-1568988007-29941
PBS_JOBID= 21704641
Free space on /tmp= 6240 MiB

SOLVER NAME= choco-solver 2019-09-20
BENCH NAME= XCSP17/Langford/Langford-m1-k4/Langford-4-16.xml
COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 12000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4403421-1568989855/watcher-4403421-1568989855 -o /tmp/evaluation-result-4403421-1568989855/solver-4403421-1568989855 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node116-1568988007-29941 --watchdog 2580  xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 5656934 HOME/instance-4403421-1568989855.xml

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

MD5SUM BENCH= a550bb6a39ca50ab9210b9c0283e2640
RANDOM SEED=5656934

node116.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		: 2667.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.12
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		: 2667.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.12
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		: 2667.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.12
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		: 2667.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.12
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		: 2667.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	: 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		: 2667.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	: 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		: 2667.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	: 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		: 2667.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:       32770688 kB
MemFree:        10444872 kB
MemAvailable:   24957052 kB
Buffers:           95376 kB
Cached:         14433584 kB
SwapCached:        35348 kB
Active:         14081776 kB
Inactive:        7336220 kB
Active(anon):    6849016 kB
Inactive(anon):    88312 kB
Active(file):    7232760 kB
Inactive(file):  7247908 kB
Unevictable:      108548 kB
Mlocked:          108548 kB
SwapTotal:      67108860 kB
SwapFree:       66971760 kB
Dirty:             26148 kB
Writeback:             0 kB
AnonPages:       6963680 kB
Mapped:            64988 kB
Shmem:             39676 kB
Slab:             489620 kB
SReclaimable:     459972 kB
SUnreclaim:        29648 kB
KernelStack:        3920 kB
PageTables:        19156 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494204 kB
Committed_AS:    8687688 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350212 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   4177920 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116160 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 6216 MiB
End job on node116 at 2019-09-20 16:31:44