Trace number 4394124

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
choco-solver 2019-06-14SAT (MO)382 16.5612 4.71539

General information on the benchmark

NameScheduling/Scheduling-os-taillard/
Taillard-os-05-05-5.xml
MD5SUM5197a9101df9cd680fadf9dcc86a0dcb
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark312
Best CPU time to get the best result obtained on this benchmark31.7673
Satisfiable
(Un)Satisfiability was proved
Number of variables105
Number of constraints90
Number of domains7
Minimum domain size5
Maximum domain size412
Distribution of domain sizes[{"size":5,"count":50},{"size":412,"count":55}]
Minimum variable degree2
Maximum variable degree6
Distribution of variable degrees[{"degree":2,"count":30},{"degree":3,"count":50},{"degree":6,"count":25}]
Minimum constraint arity1
Maximum constraint arity7
Distribution of constraint arities[{"arity":1,"count":5},{"arity":2,"count":25},{"arity":3,"count":25},{"arity":5,"count":10},{"arity":7,"count":25}]
Number of extensional constraints25
Number of intensional constraints30
Distribution of constraint types[{"type":"extension","count":25},{"type":"intension","count":30},{"type":"allDifferent","count":5},{"type":"noOverlap","count":5},{"type":"element","count":25}]
Optimization problemYES
Type of objectivemin MAXIMUM

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c java -server -Xmx12000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4394124-1568325076.xml"  -tl '2400s' -p 4
0.13/0.17	c Choco e747e1e
0.13/0.18	c [HOME/instance-4394124-1568325076.xml, -tl, 2400s, -p, 4]
0.13/0.22	c 4 solvers in parallel
0.34/0.28	c parse instance...
1.24/0.67	c solve instance...
1.90/0.83	o 411 
1.90/0.87	o 392 
9.34/2.78	o 388 
14.59/4.19	o 387 
14.88/4.23	o 386 
14.88/4.26	o 385 
15.56/4.46	o 384 
15.89/4.59	o 383 
16.24/4.60	o 382 
16.53/4.70	s SATISFIABLE
16.53/4.70	v <instantiation>
16.53/4.70	v 	<list>s[0][0] s[0][1] s[0][2] s[0][3] s[0][4] s[1][0] s[1][1] s[1][2] s[1][3] s[1][4] s[2][0] s[2][1] s[2][2] s[2][3] s[2][4] s[3][0] s[3][1] s[3][2] s[3][3] s[3][4] s[4][0] s[4][1] s[4][2] s[4][3] s[4][4] e[0] e[1] e[2] e[3] e[4] d[0][0] d[0][1] d[0][2] d[0][3] d[0][4] d[1][0] d[1][1] d[1][2] d[1][3] d[1][4] d[2][0] d[2][1] d[2][2] d[2][3] d[2][4] d[3][0] d[3][1] d[3][2] d[3][3] d[3][4] d[4][0] d[4][1] d[4][2] d[4][3] d[4][4] w[0][0] w[0][1] w[0][2] w[0][3] w[0][4] w[1][0] w[1][1] w[1][2] w[1][3] w[1][4] w[2][0] w[2][1] w[2][2] w[2][3] w[2][4] w[3][0] w[3][1] w[3][2] w[3][3] w[3][4] w[4][0] w[4][1] w[4][2] w[4][3] w[4][4] sd[0][0] sd[0][1] sd[0][2] sd[0][3] sd[0][4] sd[1][0] sd[1][1] sd[1][2] sd[1][3] sd[1][4] sd[2][0] sd[2][1] sd[2][2] sd[2][3] sd[2][4] sd[3][0] sd[3][1] sd[3][2] sd[3][3] sd[3][4] sd[4][0] sd[4][1] sd[4][2] sd[4][3] sd[4][4] </list>
16.53/4.70	v 	<values>38 132 198 278 291 1 97 156 274 319 25 78 193 296 332 19 82 108 196 319 0 53 141 200 283 377 382 378 380 381 93 60 41 5 86 81 6 96 4 63 50 62 81 17 46 55 26 85 78 61 37 34 56 82 98 0 2 1 4 3 2 3 0 4 1 4 1 3 0 2 1 2 3 4 0 0 3 1 2 4 38 198 132 291 278 156 319 1 97 274 296 78 332 193 25 319 19 82 108 196 0 141 200 53 283 </values>
16.53/4.70	v </instantiation>
16.53/4.70	c Unexpected resolution interruption!

Verifier Data 

OK	382

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394124-1568325076/watcher-4394124-1568325076 -o /tmp/evaluation-result-4394124-1568325076/solver-4394124-1568325076 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node151-1568323682-25331 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 1707483705 HOME/instance-4394124-1568325076.xml 

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

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


[startup+0.100078 s]*
/proc/loadavg: 6.18 7.56 6.62 8/233 26191
/proc/meminfo: memFree=31068260/32770624 swapFree=66933552/67108860
[pid=26175] ppid=26172 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/26175/stat : 26175 (xcsp3-exec) S 26172 26175 25300 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 408779102 115843072 362 33554432000 4194304 5098028 140733590895792 140733590893896 140581337645692 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 32051200 140733590897530 140733590897773 140733590897773 140733590900682 0
/proc/26175/statm: 28282 362 304 221 0 87 0
[pid=26177] ppid=26175 vsize=15144768 memory=29576 CPUtime=0.13 cores=0,2,4,6
/proc/26177/stat : 26177 (java) S 26175 26175 25300 0 -1 1077944320 5851 0 0 0 12 1 0 0 20 0 15 0 408779102 15508242432 7394 33554432000 4194304 4196468 140722541971488 140722541954032 139744825310967 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 26906624 140722541974511 140722541974682 140722541974682 140722541977551 0
/proc/26177/statm: 3786192 7394 3147 1 0 3748377 0
[pid=26177/tid=26178] ppid=26175 vsize=15144768 memory=8514701219881255588 CPUtime=0.09 cores=0,2,4,6
/proc/26177/task/26178/stat : 26178 (java) R 26175 26175 25300 0 -1 4202560 3718 0 0 0 8 1 0 0 20 0 15 0 408779103 15508242432 7394 33554432000 4194304 4196468 140722541971488 139744829532240 139744825322902 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26906624 140722541974511 140722541974682 140722541974682 140722541977551 0
[pid=26177/tid=26179] ppid=26175 vsize=15144768 memory=3472468362743751888 CPUtime=0 cores=0,2,4,6
/proc/26177/task/26179/stat : 26179 (java) S 26175 26175 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408779104 15508242432 7394 33554432000 4194304 4196468 140722541971488 139744753351696 139744825321173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26906624 140722541974511 140722541974682 140722541974682 140722541977551 0
[pid=26177/tid=26180] ppid=26175 vsize=15144768 memory=140233848600192 CPUtime=0 cores=0,2,4,6
/proc/26177/task/26180/stat : 26180 (java) S 26175 26175 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408779104 15508242432 7394 33554432000 4194304 4196468 140722541971488 139744752299152 139744825321173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26906624 140722541974511 140722541974682 140722541974682 140722541977551 0
[pid=26177/tid=26181] ppid=26175 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26177/task/26181/stat : 26181 (java) S 26175 26175 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408779104 15508242432 7394 33554432000 4194304 4196468 140722541971488 139744751246096 139744825321173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26906624 140722541974511 140722541974682 140722541974682 140722541977551 0
[pid=26177/tid=26182] ppid=26175 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26177/task/26182/stat : 26182 (java) S 26175 26175 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408779104 15508242432 7394 33554432000 4194304 4196468 140722541971488 139744750193552 139744825321173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26906624 140722541974511 140722541974682 140722541974682 140722541977551 0
[pid=26177/tid=26183] ppid=26175 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26177/task/26183/stat : 26183 (java) S 26175 26175 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408779105 15508242432 7394 33554432000 4194304 4196468 140722541971488 139744293578992 139744825322114 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26906624 140722541974511 140722541974682 140722541974682 140722541977551 0
[pid=26177/tid=26184] ppid=26175 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26177/task/26184/stat : 26184 (java) S 26175 26175 25300 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408779105 15508242432 7394 33554432000 4194304 4196468 140722541971488 139744292525216 139744825321173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26906624 140722541974511 140722541974682 140722541974682 140722541977551 0
[pid=26177/tid=26185] ppid=26175 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26177/task/26185/stat : 26185 (java) S 26175 26175 25300 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408779106 15508242432 7394 33554432000 4194304 4196468 140722541971488 139744291472112 139744825321173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26906624 140722541974511 140722541974682 140722541974682 140722541977551 0
[pid=26177/tid=26186] ppid=26175 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26177/task/26186/stat : 26186 (java) S 26175 26175 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408779108 15508242432 7394 33554432000 4194304 4196468 140722541971488 139744290420688 139744825329563 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26906624 140722541974511 140722541974682 140722541974682 140722541977551 0
[pid=26177/tid=26187] ppid=26175 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26177/task/26187/stat : 26187 (java) S 26175 26175 25300 0 -1 1077944384 420 0 0 0 0 0 0 0 20 0 15 0 408779108 15508242432 7394 33554432000 4194304 4196468 140722541971488 139744289368816 139744825322114 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26906624 140722541974511 140722541974682 140722541974682 140722541977551 0
[pid=26177/tid=26188] ppid=26175 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26177/task/26188/stat : 26188 (java) S 26175 26175 25300 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 408779108 15508242432 7394 33554432000 4194304 4196468 140722541971488 139744288316272 139744825322114 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26906624 140722541974511 140722541974682 140722541974682 140722541977551 0
[pid=26177/tid=26189] ppid=26175 vsize=15144768 memory=140233848600192 CPUtime=0.02 cores=0,2,4,6
/proc/26177/task/26189/stat : 26189 (java) R 26175 26175 25300 0 -1 4202560 367 0 0 0 2 0 0 0 20 0 15 0 408779108 15508242432 7394 33554432000 4194304 4196468 140722541971488 139744287263216 139744804618116 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26906624 140722541974511 140722541974682 140722541974682 140722541977551 0
[pid=26177/tid=26190] ppid=26175 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26177/task/26190/stat : 26190 (java) S 26175 26175 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408779108 15508242432 7394 33554432000 4194304 4196468 140722541971488 139744286210912 139744825321173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26906624 140722541974511 140722541974682 140722541974682 140722541977551 0
[pid=26177/tid=26191] ppid=26175 vsize=15144768 memory=140233848600192 CPUtime=0 cores=0,2,4,6
/proc/26177/task/26191/stat : 26191 (java) S 26175 26175 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408779108 15508242432 7394 33554432000 4194304 4196468 140722541971488 139744285157936 139744825322114 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26906624 140722541974511 140722541974682 140722541974682 140722541977551 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 31024 KiB

[startup+0.210967 s]*
/proc/loadavg: 6.18 7.56 6.62 7/233 26191
/proc/meminfo: memFree=31055600/32770624 swapFree=66933552/67108860
[pid=26175] ppid=26172 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/26175/stat : 26175 (xcsp3-exec) S 26172 26175 25300 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 408779102 115843072 362 33554432000 4194304 5098028 140733590895792 140733590893896 140581337645692 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 32051200 140733590897530 140733590897773 140733590897773 140733590900682 0
/proc/26175/statm: 28282 362 304 221 0 87 0
[pid=26177] ppid=26175 vsize=15144768 memory=40376 CPUtime=0.34 cores=0,2,4,6
/proc/26177/stat : 26177 (java) S 26175 26175 25300 0 -1 1077944320 9348 0 0 0 31 3 0 0 20 0 15 0 408779102 15508242432 10094 33554432000 4194304 4196468 140722541971488 140722541954032 139744825310967 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 26906624 140722541974511 140722541974682 140722541974682 140722541977551 0
/proc/26177/statm: 3786192 10094 3300 1 0 3748377 0
[pid=26177/tid=26178] ppid=26175 vsize=15144768 memory=5852835216252043682 CPUtime=0.2 cores=0,2,4,6
/proc/26177/task/26178/stat : 26178 (java) R 26175 26175 25300 0 -1 4202560 6626 0 0 0 18 2 0 0 20 0 15 0 408779103 15508242432 10094 33554432000 4194304 4196468 140722541971488 139744829545952 139744825322902 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26906624 140722541974511 140722541974682 140722541974682 140722541977551 0
[pid=26177/tid=26179] ppid=26175 vsize=15144768 memory=3472468362743751888 CPUtime=0 cores=0,2,4,6
/proc/26177/task/26179/stat : 26179 (java) S 26175 26175 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408779104 15508242432 10094 33554432000 4194304 4196468 140722541971488 139744753351696 139744825321173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26906624 140722541974511 140722541974682 140722541974682 140722541977551 0
[pid=26177/tid=26180] ppid=26175 vsize=15144768 memory=140233848600192 CPUtime=0 cores=0,2,4,6
/proc/26177/task/26180/stat : 26180 (java) S 26175 26175 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408779104 15508242432 10094 33554432000 4194304 4196468 140722541971488 139744752299152 139744825321173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26906624 140722541974511 140722541974682 140722541974682 140722541977551 0
[pid=26177/tid=26181] ppid=26175 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26177/task/26181/stat : 26181 (java) S 26175 26175 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408779104 15508242432 10094 33554432000 4194304 4196468 140722541971488 139744751246096 139744825321173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26906624 140722541974511 140722541974682 140722541974682 140722541977551 0
[pid=26177/tid=26182] ppid=26175 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26177/task/26182/stat : 26182 (java) S 26175 26175 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408779104 15508242432 10094 33554432000 4194304 4196468 140722541971488 139744750193552 139744825321173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26906624 140722541974511 140722541974682 140722541974682 140722541977551 0
[pid=26177/tid=26183] ppid=26175 vsize=15144768 memory=140233848600192 CPUtime=0 cores=0,2,4,6
/proc/26177/task/26183/stat : 26183 (java) S 26175 26175 25300 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 408779105 15508242432 10094 33554432000 4194304 4196468 140722541971488 139744293578992 139744825322114 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26906624 140722541974511 140722541974682 140722541974682 140722541977551 0
[pid=26177/tid=26184] ppid=26175 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26177/task/26184/stat : 26184 (java) S 26175 26175 25300 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408779105 15508242432 10094 33554432000 4194304 4196468 140722541971488 139744292525216 139744825321173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26906624 140722541974511 140722541974682 140722541974682 140722541977551 0
[pid=26177/tid=26185] ppid=26175 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26177/task/26185/stat : 26185 (java) S 26175 26175 25300 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408779106 15508242432 10094 33554432000 4194304 4196468 140722541971488 139744291472112 139744825321173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26906624 140722541974511 140722541974682 140722541974682 140722541977551 0
[pid=26177/tid=26186] ppid=26175 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26177/task/26186/stat : 26186 (java) S 26175 26175 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408779108 15508242432 10094 33554432000 4194304 4196468 140722541971488 139744290420688 139744825329563 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26906624 140722541974511 140722541974682 140722541974682 140722541977551 0
[pid=26177/tid=26187] ppid=26175 vsize=15144768 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/26177/task/26187/stat : 26187 (java) S 26175 26175 25300 0 -1 1077944384 479 0 0 0 2 0 0 0 20 0 15 0 408779108 15508242432 10094 33554432000 4194304 4196468 140722541971488 139744289368816 139744825322114 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26906624 140722541974511 140722541974682 140722541974682 140722541977551 0
[pid=26177/tid=26188] ppid=26175 vsize=15144768 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/26177/task/26188/stat : 26188 (java) S 26175 26175 25300 0 -1 1077944384 147 0 0 0 2 0 0 0 20 0 15 0 408779108 15508242432 10094 33554432000 4194304 4196468 140722541971488 139744288316272 139744825322114 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26906624 140722541974511 140722541974682 140722541974682 140722541977551 0
[pid=26177/tid=26189] ppid=26175 vsize=15144768 memory=140233848600192 CPUtime=0.08 cores=0,2,4,6
/proc/26177/task/26189/stat : 26189 (java) S 26175 26175 25300 0 -1 1077944384 791 0 0 0 8 0 0 0 20 0 15 0 408779108 15508242432 10094 33554432000 4194304 4196468 140722541971488 139744287263216 139744825322114 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26906624 140722541974511 140722541974682 140722541974682 140722541977551 0
[pid=26177/tid=26190] ppid=26175 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26177/task/26190/stat : 26190 (java) S 26175 26175 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408779108 15508242432 10094 33554432000 4194304 4196468 140722541971488 139744286210912 139744825321173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26906624 140722541974511 140722541974682 140722541974682 140722541977551 0
[pid=26177/tid=26191] ppid=26175 vsize=15144768 memory=140233848600192 CPUtime=0 cores=0,2,4,6
/proc/26177/task/26191/stat : 26191 (java) S 26175 26175 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408779108 15508242432 10094 33554432000 4194304 4196468 140722541971488 139744285157936 139744825322114 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26906624 140722541974511 140722541974682 140722541974682 140722541977551 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 41824 KiB

[startup+0.310665 s]*
/proc/loadavg: 6.18 7.56 6.62 7/233 26191
/proc/meminfo: memFree=31048092/32770624 swapFree=66933552/67108860
[pid=26175] ppid=26172 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/26175/stat : 26175 (xcsp3-exec) S 26172 26175 25300 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 408779102 115843072 362 33554432000 4194304 5098028 140733590895792 140733590893896 140581337645692 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 32051200 140733590897530 140733590897773 140733590897773 140733590900682 0
/proc/26175/statm: 28282 362 304 221 0 87 0
[pid=26177] ppid=26175 vsize=15149024 memory=50144 CPUtime=0.53 cores=0,2,4,6
/proc/26177/stat : 26177 (java) S 26175 26175 25300 0 -1 1077944320 10894 0 0 0 49 4 0 0 20 0 15 0 408779102 15512600576 12536 33554432000 4194304 4196468 140722541971488 140722541954032 139744825310967 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 26906624 140722541974511 140722541974682 140722541974682 140722541977551 0
/proc/26177/statm: 3787256 12536 3358 1 0 3748377 0
[pid=26177/tid=26178] ppid=26175 vsize=15149024 memory=8514701219880992413 CPUtime=0.3 cores=0,2,4,6
/proc/26177/task/26178/stat : 26178 (java) R 26175 26175 25300 0 -1 4202560 7840 0 0 0 27 3 0 0 20 0 15 0 408779103 15512600576 12536 33554432000 4194304 4196468 140722541971488 139744829547984 139744825332893 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26906624 140722541974511 140722541974682 140722541974682 140722541977551 0
[pid=26177/tid=26179] ppid=26175 vsize=15149024 memory=3472468362743751888 CPUtime=0 cores=0,2,4,6
/proc/26177/task/26179/stat : 26179 (java) S 26175 26175 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408779104 15512600576 12536 33554432000 4194304 4196468 140722541971488 139744753351696 139744825321173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26906624 140722541974511 140722541974682 140722541974682 140722541977551 0
[pid=26177/tid=26180] ppid=26175 vsize=15149024 memory=140233848600192 CPUtime=0 cores=0,2,4,6
/proc/26177/task/26180/stat : 26180 (java) S 26175 26175 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408779104 15512600576 12536 33554432000 4194304 4196468 140722541971488 139744752299152 139744825321173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26906624 140722541974511 140722541974682 140722541974682 140722541977551 0
[pid=26177/tid=26181] ppid=26175 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26177/task/26181/stat : 26181 (java) S 26175 26175 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408779104 15512600576 12536 33554432000 4194304 4196468 140722541971488 139744751246096 139744825321173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26906624 140722541974511 140722541974682 140722541974682 140722541977551 0
[pid=26177/tid=26182] ppid=26175 vsize=15149024 memory=140233702254623 CPUtime=0 cores=0,2,4,6
/proc/26177/task/26182/stat : 26182 (java) S 26175 26175 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408779104 15512600576 12536 33554432000 4194304 4196468 140722541971488 139744750193552 139744825321173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26906624 140722541974511 140722541974682 140722541974682 140722541977551 0
[pid=26177/tid=26183] ppid=26175 vsize=15149024 memory=280467404488480 CPUtime=0 cores=0,2,4,6
/proc/26177/task/26183/stat : 26183 (java) S 26175 26175 25300 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 408779105 15512600576 12536 33554432000 4194304 4196468 140722541971488 139744293578992 139744825322114 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26906624 140722541974511 140722541974682 140722541974682 140722541977551 0
[pid=26177/tid=26184] ppid=26175 vsize=15149024 memory=140233702231567 CPUtime=0 cores=0,2,4,6
/proc/26177/task/26184/stat : 26184 (java) S 26175 26175 25300 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408779105 15512600576 12536 33554432000 4194304 4196468 140722541971488 139744292525216 139744825321173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26906624 140722541974511 140722541974682 140722541974682 140722541977551 0
[pid=26177/tid=26185] ppid=26175 vsize=15149024 memory=280467550840928 CPUtime=0 cores=0,2,4,6
/proc/26177/task/26185/stat : 26185 (java) S 26175 26175 25300 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408779106 15512600576 12536 33554432000 4194304 4196468 140722541971488 139744291472112 139744825321173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26906624 140722541974511 140722541974682 140722541974682 140722541977551 0
[pid=26177/tid=26186] ppid=26175 vsize=15149024 memory=140233702236175 CPUtime=0 cores=0,2,4,6
/proc/26177/task/26186/stat : 26186 (java) S 26175 26175 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408779108 15512600576 12536 33554432000 4194304 4196468 140722541971488 139744290420688 139744825329563 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26906624 140722541974511 140722541974682 140722541974682 140722541977551 0
[pid=26177/tid=26187] ppid=26175 vsize=15149024 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/26177/task/26187/stat : 26187 (java) S 26175 26175 25300 0 -1 1077944384 623 0 0 0 5 0 0 0 20 0 15 0 408779108 15512600576 12536 33554432000 4194304 4196468 140722541971488 139744289368816 139744825322114 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26906624 140722541974511 140722541974682 140722541974682 140722541977551 0
[pid=26177/tid=26188] ppid=26175 vsize=15149024 memory=-1 CPUtime=0.04 cores=0,2,4,6
/proc/26177/task/26188/stat : 26188 (java) S 26175 26175 25300 0 -1 1077944384 182 0 0 0 4 0 0 0 20 0 15 0 408779108 15512600576 12536 33554432000 4194304 4196468 140722541971488 139744288316272 139744825322114 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26906624 140722541974511 140722541974682 140722541974682 140722541977551 0
[pid=26177/tid=26189] ppid=26175 vsize=15149024 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/26177/task/26189/stat : 26189 (java) S 26175 26175 25300 0 -1 1077944384 945 0 0 0 12 0 0 0 20 0 15 0 408779108 15512600576 12536 33554432000 4194304 4196468 140722541971488 139744287263216 139744825322114 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26906624 140722541974511 140722541974682 140722541974682 140722541977551 0
[pid=26177/tid=26190] ppid=26175 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26177/task/26190/stat : 26190 (java) S 26175 26175 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408779108 15512600576 12536 33554432000 4194304 4196468 140722541971488 139744286210912 139744825321173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26906624 140722541974511 140722541974682 140722541974682 140722541977551 0
[pid=26177/tid=26191] ppid=26175 vsize=15149024 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/26177/task/26191/stat : 26191 (java) S 26175 26175 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408779108 15512600576 12536 33554432000 4194304 4196468 140722541971488 139744285157936 139744825322114 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26906624 140722541974511 140722541974682 140722541974682 140722541977551 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 51592 KiB

[startup+0.702218 s]
/proc/loadavg: 6.18 7.56 6.62 9/233 26191
/proc/meminfo: memFree=31034252/32770624 swapFree=66933552/67108860
[pid=26175] ppid=26172 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/26175/stat : 26175 (xcsp3-exec) S 26172 26175 25300 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 408779102 115843072 362 33554432000 4194304 5098028 140733590895792 140733590893896 140581337645692 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 32051200 140733590897530 140733590897773 140733590897773 140733590900682 0
/proc/26175/statm: 28282 362 304 221 0 87 0
[pid=26177] ppid=26175 vsize=15419452 memory=90072 CPUtime=1.52 cores=0,2,4,6
/proc/26177/stat : 26177 (java) S 26175 26175 25300 0 -1 1077944320 14979 0 0 0 146 6 0 0 20 0 19 0 408779102 15789518848 22518 33554432000 4194304 4196468 140722541971488 140722541954032 139744825310967 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 26906624 140722541974511 140722541974682 140722541974682 140722541977551 0
/proc/26177/statm: 3854863 22518 3449 1 0 3815965 0
[pid=26177/tid=26178] ppid=26175 vsize=15419452 memory=7236547281622689387 CPUtime=0.65 cores=0,2,4,6
/proc/26177/task/26178/stat : 26178 (java) S 26175 26175 25300 0 -1 1077944384 9439 0 0 0 61 4 0 0 20 0 19 0 408779103 15789518848 22518 33554432000 4194304 4196468 140722541971488 139744829551744 139744825321173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26906624 140722541974511 140722541974682 140722541974682 140722541977551 0
[pid=26177/tid=26179] ppid=26175 vsize=15419452 memory=7236547281622689387 CPUtime=0 cores=0,2,4,6
/proc/26177/task/26179/stat : 26179 (java) S 26175 26175 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 408779104 15789518848 22518 33554432000 4194304 4196468 140722541971488 139744753351696 139744825321173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26906624 140722541974511 140722541974682 140722541974682 140722541977551 0
[pid=26177/tid=26180] ppid=26175 vsize=15419452 memory=6298373484264312916 CPUtime=0 cores=0,2,4,6
/proc/26177/task/26180/stat : 26180 (java) S 26175 26175 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 408779104 15789518848 22518 33554432000 4194304 4196468 140722541971488 139744752299152 139744825321173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26906624 140722541974511 140722541974682 140722541974682 140722541977551 0
[pid=26177/tid=26181] ppid=26175 vsize=15419452 memory=7100839870071150693 CPUtime=0 cores=0,2,4,6
/proc/26177/task/26181/stat : 26181 (java) S 26175 26175 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 408779104 15789518848 22518 33554432000 4194304 4196468 140722541971488 139744751246096 139744825321173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26906624 140722541974511 140722541974682 140722541974682 140722541977551 0
[pid=26177/tid=26182] ppid=26175 vsize=15419452 memory=8326441112149131693 CPUtime=0 cores=0,2,4,6
/proc/26177/task/26182/stat : 26182 (java) S 26175 26175 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 408779104 15789518848 22518 33554432000 4194304 4196468 140722541971488 139744750193552 139744825321173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26906624 140722541974511 140722541974682 140722541974682 140722541977551 0
[pid=26177/tid=26183] ppid=26175 vsize=15419452 memory=6944656592455360608 CPUtime=0 cores=0,2,4,6
/proc/26177/task/26183/stat : 26183 (java) S 26175 26175 25300 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 408779105 15789518848 22518 33554432000 4194304 4196468 140722541971488 139744293578992 139744825322114 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26906624 140722541974511 140722541974682 140722541974682 140722541977551 0
[pid=26177/tid=26184] ppid=26175 vsize=15419452 memory=4612 CPUtime=0 cores=0,2,4,6
/proc/26177/task/26184/stat : 26184 (java) S 26175 26175 25300 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 408779105 15789518848 22518 33554432000 4194304 4196468 140722541971488 139744292525216 139744825321173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26906624 140722541974511 140722541974682 140722541974682 140722541977551 0
[pid=26177/tid=26185] ppid=26175 vsize=15419452 memory=6884 CPUtime=0 cores=0,2,4,6
/proc/26177/task/26185/stat : 26185 (java) S 26175 26175 25300 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 408779106 15789518848 22518 33554432000 4194304 4196468 140722541971488 139744291472112 139744825321173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26906624 140722541974511 140722541974682 140722541974682 140722541977551 0
[pid=26177/tid=26186] ppid=26175 vsize=15419452 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/26177/task/26186/stat : 26186 (java) S 26175 26175 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408779108 15789518848 22518 33554432000 4194304 4196468 140722541971488 139744290420688 139744825329563 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26906624 140722541974511 140722541974682 140722541974682 140722541977551 0
[pid=26177/tid=26187] ppid=26175 vsize=15419452 memory=20052 CPUtime=0.19 cores=0,2,4,6
/proc/26177/task/26187/stat : 26187 (java) R 26175 26175 25300 0 -1 1077944384 1070 0 0 0 19 0 0 0 20 0 19 0 408779108 15789518848 22518 33554432000 4194304 4196468 140722541971488 139744289368816 139744825322114 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26906624 140722541974511 140722541974682 140722541974682 140722541977551 0
[pid=26177/tid=26188] ppid=26175 vsize=15419452 memory=984 CPUtime=0.19 cores=0,2,4,6
/proc/26177/task/26188/stat : 26188 (java) S 26175 26175 25300 0 -1 1077944384 764 0 0 0 19 0 0 0 20 0 19 0 408779108 15789518848 22518 33554432000 4194304 4196468 140722541971488 139744288309296 139744825321173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26906624 140722541974511 140722541974682 140722541974682 140722541977551 0
[pid=26177/tid=26189] ppid=26175 vsize=15419452 memory=2032 CPUtime=0.4 cores=0,2,4,6
/proc/26177/task/26189/stat : 26189 (java) R 26175 26175 25300 0 -1 4202560 1983 0 0 0 40 0 0 0 20 0 19 0 408779108 15789518848 22518 33554432000 4194304 4196468 140722541971488 139744287261008 139744804265549 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26906624 140722541974511 140722541974682 140722541974682 140722541977551 0
[pid=26177/tid=26190] ppid=26175 vsize=15419452 memory=7090143983960547920 CPUtime=0 cores=0,2,4,6
/proc/26177/task/26190/stat : 26190 (java) S 26175 26175 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408779108 15789518848 22518 33554432000 4194304 4196468 140722541971488 139744286210912 139744825321173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26906624 140722541974511 140722541974682 140722541974682 140722541977551 0
[pid=26177/tid=26191] ppid=26175 vsize=15419452 memory=7013348624500549744 CPUtime=0 cores=0,2,4,6
/proc/26177/task/26191/stat : 26191 (java) S 26175 26175 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 408779108 15789518848 22518 33554432000 4194304 4196468 140722541971488 139744285157936 139744825322114 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26906624 140722541974511 140722541974682 140722541974682 140722541977551 0
Current children cumulated CPU time: 1.52 s
Current children cumulated vsize: 15532580 KiB
Current children cumulated memory: 91520 KiB

[startup+1.51147 s]
/proc/loadavg: 6.18 7.56 6.62 11/237 26203
/proc/meminfo: memFree=30978676/32770624 swapFree=66933552/67108860
[pid=26175] ppid=26172 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/26175/stat : 26175 (xcsp3-exec) S 26172 26175 25300 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 408779102 115843072 362 33554432000 4194304 5098028 140733590895792 140733590893896 140581337645692 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 32051200 140733590897530 140733590897773 140733590897773 140733590900682 0
/proc/26175/statm: 28282 362 304 221 0 87 0

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

[pid=26177/tid=26191] ppid=26175 vsize=15420480 memory=22 CPUtime=0 cores=0,2,4,6
/proc/26177/task/26191/stat : 26191 (java) S 26175 26175 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 408779108 15790571520 35345 33554432000 4194304 4196468 140722541971488 139744285157936 139744825322114 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26906624 140722541974511 140722541974682 140722541974682 140722541977551 0
[pid=26177/tid=26200] ppid=26175 vsize=15420480 memory=24 CPUtime=0.38 cores=0,2,4,6
/proc/26177/task/26200/stat : 26200 (java) R 26175 26175 25300 0 -1 4202560 19 0 0 0 38 0 0 0 20 0 19 0 408779190 15790571520 35345 33554432000 4194304 4196468 140722541971488 139744203747144 139744806153146 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26906624 140722541974511 140722541974682 140722541974682 140722541977551 0
[pid=26177/tid=26201] ppid=26175 vsize=15420480 memory=32 CPUtime=0.31 cores=0,2,4,6
/proc/26177/task/26201/stat : 26201 (java) R 26175 26175 25300 0 -1 4202560 25 0 0 0 31 0 0 0 20 0 19 0 408779190 15790571520 35345 33554432000 4194304 4196468 140722541971488 139744205851784 139744433974706 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26906624 140722541974511 140722541974682 140722541974682 140722541977551 0
[pid=26177/tid=26202] ppid=26175 vsize=15420480 memory=0 CPUtime=0.37 cores=0,2,4,6
/proc/26177/task/26202/stat : 26202 (java) R 26175 26175 25300 0 -1 4202560 18 0 0 0 37 0 0 0 20 0 19 0 408779190 15790571520 35345 33554432000 4194304 4196468 140722541971488 139744278284728 139744432756431 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26906624 140722541974511 140722541974682 140722541974682 140722541977551 0
[pid=26177/tid=26203] ppid=26175 vsize=15420480 memory=-2276395272229541278 CPUtime=0.5 cores=0,2,4,6
/proc/26177/task/26203/stat : 26203 (java) R 26175 26175 25300 0 -1 4202560 26 0 0 0 50 0 0 0 20 0 19 0 408779190 15790571520 35345 33554432000 4194304 4196468 140722541971488 139744202694584 139744825324849 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26906624 140722541974511 140722541974682 140722541974682 140722541977551 0
Current children cumulated CPU time: 4.63 s
Current children cumulated vsize: 15533608 KiB
Current children cumulated memory: 142828 KiB

[startup+3.11947 s]
/proc/loadavg: 6.56 7.62 6.64 11/237 26207
/proc/meminfo: memFree=30866640/32770624 swapFree=66933552/67108860
[pid=26175] ppid=26172 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/26175/stat : 26175 (xcsp3-exec) S 26172 26175 25300 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 408779102 115843072 362 33554432000 4194304 5098028 140733590895792 140733590893896 140581337645692 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 32051200 140733590897530 140733590897773 140733590897773 140733590900682 0
/proc/26175/statm: 28282 362 304 221 0 87 0
[pid=26177] ppid=26175 vsize=15420480 memory=243508 CPUtime=10.98 cores=0,2,4,6
/proc/26177/stat : 26177 (java) S 26175 26175 25300 0 -1 1077944320 45309 0 0 0 1086 12 0 0 20 0 19 0 408779102 15790571520 60877 33554432000 4194304 4196468 140722541971488 140722541954032 139744825310967 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 26906624 140722541974511 140722541974682 140722541974682 140722541977551 0
/proc/26177/statm: 3855120 60877 3481 1 0 3816222 0
[pid=26177/tid=26178] ppid=26175 vsize=15420480 memory=227620 CPUtime=0.66 cores=0,2,4,6
/proc/26177/task/26178/stat : 26178 (java) S 26175 26175 25300 0 -1 1077944384 9565 0 0 0 61 5 0 0 20 0 19 0 408779103 15790571520 60877 33554432000 4194304 4196468 140722541971488 139744829551744 139744825321173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26906624 140722541974511 140722541974682 140722541974682 140722541977551 0
[pid=26177/tid=26179] ppid=26175 vsize=15420480 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/26177/task/26179/stat : 26179 (java) S 26175 26175 25300 0 -1 1077944384 179 0 0 0 0 0 0 0 20 0 19 0 408779104 15790571520 60877 33554432000 4194304 4196468 140722541971488 139744753351696 139744825321173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26906624 140722541974511 140722541974682 140722541974682 140722541977551 0
[pid=26177/tid=26180] ppid=26175 vsize=15420480 memory=209136 CPUtime=0 cores=0,2,4,6
/proc/26177/task/26180/stat : 26180 (java) S 26175 26175 25300 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 19 0 408779104 15790571520 60877 33554432000 4194304 4196468 140722541971488 139744752299152 139744825321173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26906624 140722541974511 140722541974682 140722541974682 140722541977551 0
[pid=26177/tid=26181] ppid=26175 vsize=15420480 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26177/task/26181/stat : 26181 (java) S 26175 26175 25300 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 19 0 408779104 15790571520 60877 33554432000 4194304 4196468 140722541971488 139744751246096 139744825321173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26906624 140722541974511 140722541974682 140722541974682 140722541977551 0
[pid=26177/tid=26182] ppid=26175 vsize=15420480 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26177/task/26182/stat : 26182 (java) S 26175 26175 25300 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 19 0 408779104 15790571520 60877 33554432000 4194304 4196468 140722541971488 139744750193552 139744825321173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26906624 140722541974511 140722541974682 140722541974682 140722541977551 0
[pid=26177/tid=26183] ppid=26175 vsize=15420480 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/26177/task/26183/stat : 26183 (java) S 26175 26175 25300 0 -1 1077944384 41 0 0 0 0 1 0 0 20 0 19 0 408779105 15790571520 60877 33554432000 4194304 4196468 140722541971488 139744293578992 139744825322114 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26906624 140722541974511 140722541974682 140722541974682 140722541977551 0
[pid=26177/tid=26184] ppid=26175 vsize=15420480 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26177/task/26184/stat : 26184 (java) S 26175 26175 25300 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 19 0 408779105 15790571520 60877 33554432000 4194304 4196468 140722541971488 139744292525216 139744825321173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26906624 140722541974511 140722541974682 140722541974682 140722541977551 0
[pid=26177/tid=26185] ppid=26175 vsize=15420480 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26177/task/26185/stat : 26185 (java) S 26175 26175 25300 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 19 0 408779106 15790571520 60877 33554432000 4194304 4196468 140722541971488 139744291472112 139744825321173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26906624 140722541974511 140722541974682 140722541974682 140722541977551 0
[pid=26177/tid=26186] ppid=26175 vsize=15420480 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26177/task/26186/stat : 26186 (java) S 26175 26175 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408779108 15790571520 60877 33554432000 4194304 4196468 140722541971488 139744290420688 139744825329563 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26906624 140722541974511 140722541974682 140722541974682 140722541977551 0
[pid=26177/tid=26187] ppid=26175 vsize=15420480 memory=895 CPUtime=1.79 cores=0,2,4,6
/proc/26177/task/26187/stat : 26187 (java) R 26175 26175 25300 0 -1 4202560 14245 0 0 0 178 1 0 0 20 0 19 0 408779108 15790571520 60877 33554432000 4194304 4196468 140722541971488 139744289354696 139744810230489 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26906624 140722541974511 140722541974682 140722541974682 140722541977551 0
[pid=26177/tid=26188] ppid=26175 vsize=15420480 memory=65 CPUtime=1.66 cores=0,2,4,6
/proc/26177/task/26188/stat : 26188 (java) R 26175 26175 25300 0 -1 4202560 13518 0 0 0 165 1 0 0 20 0 19 0 408779108 15790571520 60877 33554432000 4194304 4196468 140722541971488 139744288300504 139744805004044 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26906624 140722541974511 140722541974682 140722541974682 140722541977551 0
[pid=26177/tid=26189] ppid=26175 vsize=15420480 memory=0 CPUtime=0.63 cores=0,2,4,6
/proc/26177/task/26189/stat : 26189 (java) S 26175 26175 25300 0 -1 1077944384 4901 0 0 0 62 1 0 0 20 0 19 0 408779108 15790571520 60877 33554432000 4194304 4196468 140722541971488 139744287263216 139744825322114 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26906624 140722541974511 140722541974682 140722541974682 140722541977551 0
[pid=26177/tid=26190] ppid=26175 vsize=15420480 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26177/task/26190/stat : 26190 (java) S 26175 26175 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408779108 15790571520 60877 33554432000 4194304 4196468 140722541971488 139744286210912 139744825321173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26906624 140722541974511 140722541974682 140722541974682 140722541977551 0
[pid=26177/tid=26191] ppid=26175 vsize=15420480 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26177/task/26191/stat : 26191 (java) S 26175 26175 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408779108 15790571520 60877 33554432000 4194304 4196468 140722541971488 139744285157936 139744825322114 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26906624 140722541974511 140722541974682 140722541974682 140722541977551 0
[pid=26177/tid=26204] ppid=26175 vsize=15420480 memory=0 CPUtime=0.16 cores=0,2,4,6
/proc/26177/task/26204/stat : 26204 (java) R 26175 26175 25300 0 -1 4202560 26 0 0 0 16 0 0 0 20 0 19 0 408779380 15790571520 60877 33554432000 4194304 4196468 140722541971488 139744205851296 139744433380686 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26906624 140722541974511 140722541974682 140722541974682 140722541977551 0
[pid=26177/tid=26205] ppid=26175 vsize=15420480 memory=4580 CPUtime=0.19 cores=0,2,4,6
/proc/26177/task/26205/stat : 26205 (java) R 26175 26175 25300 0 -1 4202560 28 0 0 0 19 0 0 0 20 0 19 0 408779380 15790571520 60877 33554432000 4194304 4196468 140722541971488 139744278281928 139744432850400 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26906624 140722541974511 140722541974682 140722541974682 140722541977551 0
[pid=26177/tid=26206] ppid=26175 vsize=15420480 memory=0 CPUtime=0.22 cores=0,2,4,6
/proc/26177/task/26206/stat : 26206 (java) R 26175 26175 25300 0 -1 4202560 18 0 0 0 22 0 0 0 20 0 19 0 408779380 15790571520 60877 33554432000 4194304 4196468 140722541971488 139744202695080 139744432992973 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26906624 140722541974511 140722541974682 140722541974682 140722541977551 0
[pid=26177/tid=26207] ppid=26175 vsize=15420480 memory=0 CPUtime=0.14 cores=0,2,4,6
/proc/26177/task/26207/stat : 26207 (java) R 26175 26175 25300 0 -1 4202560 21 0 0 0 14 0 0 0 20 0 19 0 408779382 15790571520 60877 33554432000 4194304 4196468 140722541971488 139744203746456 139744434010455 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26906624 140722541974511 140722541974682 140722541974682 140722541977551 0
Current children cumulated CPU time: 10.98 s
Current children cumulated vsize: 15533608 KiB
Current children cumulated memory: 244956 KiB



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+4.70151 s]
/proc/loadavg: 6.56 7.62 6.64 8/237 26207
/proc/meminfo: memFree=30851860/32770624 swapFree=66933552/67108860
[pid=26175] ppid=26172 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/26175/stat : 26175 (xcsp3-exec) S 26172 26175 25300 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 408779102 115843072 362 33554432000 4194304 5098028 140733590895792 140733590893896 140581337645692 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 32051200 140733590897530 140733590897773 140733590897773 140733590900682 0
/proc/26175/statm: 28282 362 304 221 0 87 0
[pid=26177] ppid=26175 vsize=15818836 memory=249388 CPUtime=16.53 cores=0,2,4,6
/proc/26177/stat : 26177 (java) S 26175 26175 25300 0 -1 1077944320 49871 0 0 0 1639 14 0 0 20 0 19 0 408779102 16198488064 62347 33554432000 4194304 4196468 140722541971488 140722541954032 139744825310967 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 26906624 140722541974511 140722541974682 140722541974682 140722541977551 0
/proc/26177/statm: 3954709 62347 3518 1 0 3915811 0
[pid=26177/tid=26178] ppid=26175 vsize=15818836 memory=1448 CPUtime=0.66 cores=0,2,4,6
/proc/26177/task/26178/stat : 26178 (java) S 26175 26175 25300 0 -1 1077944384 9653 0 0 0 61 5 0 0 20 0 19 0 408779103 16198488064 62347 33554432000 4194304 4196468 140722541971488 139744829551744 139744825321173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26906624 140722541974511 140722541974682 140722541974682 140722541977551 0
[pid=26177/tid=26179] ppid=26175 vsize=15818836 memory=209136 CPUtime=0 cores=0,2,4,6
/proc/26177/task/26179/stat : 26179 (java) S 26175 26175 25300 0 -1 1077944384 179 0 0 0 0 0 0 0 20 0 19 0 408779104 16198488064 62347 33554432000 4194304 4196468 140722541971488 139744753351696 139744825321173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26906624 140722541974511 140722541974682 140722541974682 140722541977551 0
[pid=26177/tid=26180] ppid=26175 vsize=15818836 memory=249244 CPUtime=0 cores=0,2,4,6
/proc/26177/task/26180/stat : 26180 (java) S 26175 26175 25300 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 19 0 408779104 16198488064 62347 33554432000 4194304 4196468 140722541971488 139744752299152 139744825321173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26906624 140722541974511 140722541974682 140722541974682 140722541977551 0
[pid=26177/tid=26181] ppid=26175 vsize=15818836 memory=248932 CPUtime=0 cores=0,2,4,6
/proc/26177/task/26181/stat : 26181 (java) S 26175 26175 25300 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 19 0 408779104 16198488064 62347 33554432000 4194304 4196468 140722541971488 139744751246096 139744825321173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26906624 140722541974511 140722541974682 140722541974682 140722541977551 0
[pid=26177/tid=26182] ppid=26175 vsize=15818836 memory=164 CPUtime=0 cores=0,2,4,6
/proc/26177/task/26182/stat : 26182 (java) S 26175 26175 25300 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 19 0 408779104 16198488064 62347 33554432000 4194304 4196468 140722541971488 139744750193552 139744825321173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26906624 140722541974511 140722541974682 140722541974682 140722541977551 0
[pid=26177/tid=26183] ppid=26175 vsize=15818836 memory=6296999116625437541 CPUtime=0.01 cores=0,2,4,6
/proc/26177/task/26183/stat : 26183 (java) S 26175 26175 25300 0 -1 1077944384 67 0 0 0 0 1 0 0 20 0 19 0 408779105 16198488064 62347 33554432000 4194304 4196468 140722541971488 139744293578992 139744825322114 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26906624 140722541974511 140722541974682 140722541974682 140722541977551 0
[pid=26177/tid=26184] ppid=26175 vsize=15818836 memory=4640766332535986532 CPUtime=0 cores=0,2,4,6
/proc/26177/task/26184/stat : 26184 (java) S 26175 26175 25300 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 19 0 408779105 16198488064 62347 33554432000 4194304 4196468 140722541971488 139744292525216 139744825321173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26906624 140722541974511 140722541974682 140722541974682 140722541977551 0
[pid=26177/tid=26185] ppid=26175 vsize=15818836 memory=280467404406176 CPUtime=0 cores=0,2,4,6
/proc/26177/task/26185/stat : 26185 (java) S 26175 26175 25300 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 19 0 408779106 16198488064 62347 33554432000 4194304 4196468 140722541971488 139744291472112 139744825321173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26906624 140722541974511 140722541974682 140722541974682 140722541977551 0
[pid=26177/tid=26186] ppid=26175 vsize=15818836 memory=-9001727377931987047 CPUtime=0 cores=0,2,4,6
/proc/26177/task/26186/stat : 26186 (java) S 26175 26175 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408779108 16198488064 62347 33554432000 4194304 4196468 140722541971488 139744290420688 139744825329563 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26906624 140722541974511 140722541974682 140722541974682 140722541977551 0
[pid=26177/tid=26187] ppid=26175 vsize=15818836 memory=7684433391216329530 CPUtime=3.2 cores=0,2,4,6
/proc/26177/task/26187/stat : 26187 (java) S 26175 26175 25300 0 -1 1077944384 15276 0 0 0 318 2 0 0 20 0 19 0 408779108 16198488064 62347 33554432000 4194304 4196468 140722541971488 139744289368816 139744825322114 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26906624 140722541974511 140722541974682 140722541974682 140722541977551 0
[pid=26177/tid=26188] ppid=26175 vsize=15818836 memory=1448 CPUtime=2.99 cores=0,2,4,6
/proc/26177/task/26188/stat : 26188 (java) S 26175 26175 25300 0 -1 1077944384 15577 0 0 0 297 2 0 0 20 0 19 0 408779108 16198488064 62347 33554432000 4194304 4196468 140722541971488 139744288316272 139744825322114 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26906624 140722541974511 140722541974682 140722541974682 140722541977551 0
[pid=26177/tid=26189] ppid=26175 vsize=15818836 memory=194320 CPUtime=0.65 cores=0,2,4,6
/proc/26177/task/26189/stat : 26189 (java) S 26175 26175 25300 0 -1 1077944384 5133 0 0 0 64 1 0 0 20 0 19 0 408779108 16198488064 62347 33554432000 4194304 4196468 140722541971488 139744287263216 139744825322114 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26906624 140722541974511 140722541974682 140722541974682 140722541977551 0
[pid=26177/tid=26190] ppid=26175 vsize=15818836 memory=280467404518944 CPUtime=0 cores=0,2,4,6
/proc/26177/task/26190/stat : 26190 (java) S 26175 26175 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408779108 16198488064 62347 33554432000 4194304 4196468 140722541971488 139744286210912 139744825321173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26906624 140722541974511 140722541974682 140722541974682 140722541977551 0
[pid=26177/tid=26191] ppid=26175 vsize=15818836 memory=140233702257440 CPUtime=0 cores=0,2,4,6
/proc/26177/task/26191/stat : 26191 (java) S 26175 26175 25300 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 19 0 408779108 16198488064 62347 33554432000 4194304 4196468 140722541971488 139744285157936 139744825322114 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26906624 140722541974511 140722541974682 140722541974682 140722541977551 0
Current children cumulated CPU time: 16.53 s
Current children cumulated vsize: 15931964 KiB
Current children cumulated memory: 250836 KiB

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

[startup+4.71536 s]
# the end of solver process 26175 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=16.4054 s, system=0.155813 s

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

[startup+4.70151 s]
/proc/loadavg: 6.56 7.62 6.64 8/237 26207
/proc/meminfo: memFree=30851860/32770624 swapFree=66933552/67108860
[pid=26175] ppid=26172 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/26175/stat : 26175 (xcsp3-exec) S 26172 26175 25300 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 408779102 115843072 362 33554432000 4194304 5098028 140733590895792 140733590893896 140581337645692 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 32051200 140733590897530 140733590897773 140733590897773 140733590900682 0
/proc/26175/statm: 28282 362 304 221 0 87 0
[pid=26177] ppid=26175 vsize=15818836 memory=249388 CPUtime=16.53 cores=0,2,4,6
/proc/26177/stat : 26177 (java) S 26175 26175 25300 0 -1 1077944320 49871 0 0 0 1639 14 0 0 20 0 19 0 408779102 16198488064 62347 33554432000 4194304 4196468 140722541971488 140722541954032 139744825310967 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 26906624 140722541974511 140722541974682 140722541974682 140722541977551 0
/proc/26177/statm: 3954709 62347 3518 1 0 3915811 0
[pid=26177/tid=26178] ppid=26175 vsize=15818836 memory=1448 CPUtime=0.66 cores=0,2,4,6
/proc/26177/task/26178/stat : 26178 (java) S 26175 26175 25300 0 -1 1077944384 9653 0 0 0 61 5 0 0 20 0 19 0 408779103 16198488064 62347 33554432000 4194304 4196468 140722541971488 139744829551744 139744825321173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26906624 140722541974511 140722541974682 140722541974682 140722541977551 0
[pid=26177/tid=26179] ppid=26175 vsize=15818836 memory=209136 CPUtime=0 cores=0,2,4,6
/proc/26177/task/26179/stat : 26179 (java) S 26175 26175 25300 0 -1 1077944384 179 0 0 0 0 0 0 0 20 0 19 0 408779104 16198488064 62347 33554432000 4194304 4196468 140722541971488 139744753351696 139744825321173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26906624 140722541974511 140722541974682 140722541974682 140722541977551 0
[pid=26177/tid=26180] ppid=26175 vsize=15818836 memory=249244 CPUtime=0 cores=0,2,4,6
/proc/26177/task/26180/stat : 26180 (java) S 26175 26175 25300 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 19 0 408779104 16198488064 62347 33554432000 4194304 4196468 140722541971488 139744752299152 139744825321173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26906624 140722541974511 140722541974682 140722541974682 140722541977551 0
[pid=26177/tid=26181] ppid=26175 vsize=15818836 memory=248932 CPUtime=0 cores=0,2,4,6
/proc/26177/task/26181/stat : 26181 (java) S 26175 26175 25300 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 19 0 408779104 16198488064 62347 33554432000 4194304 4196468 140722541971488 139744751246096 139744825321173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26906624 140722541974511 140722541974682 140722541974682 140722541977551 0
[pid=26177/tid=26182] ppid=26175 vsize=15818836 memory=164 CPUtime=0 cores=0,2,4,6
/proc/26177/task/26182/stat : 26182 (java) S 26175 26175 25300 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 19 0 408779104 16198488064 62347 33554432000 4194304 4196468 140722541971488 139744750193552 139744825321173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26906624 140722541974511 140722541974682 140722541974682 140722541977551 0
[pid=26177/tid=26183] ppid=26175 vsize=15818836 memory=6296999116625437541 CPUtime=0.01 cores=0,2,4,6
/proc/26177/task/26183/stat : 26183 (java) S 26175 26175 25300 0 -1 1077944384 67 0 0 0 0 1 0 0 20 0 19 0 408779105 16198488064 62347 33554432000 4194304 4196468 140722541971488 139744293578992 139744825322114 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26906624 140722541974511 140722541974682 140722541974682 140722541977551 0
[pid=26177/tid=26184] ppid=26175 vsize=15818836 memory=4640766332535986532 CPUtime=0 cores=0,2,4,6
/proc/26177/task/26184/stat : 26184 (java) S 26175 26175 25300 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 19 0 408779105 16198488064 62347 33554432000 4194304 4196468 140722541971488 139744292525216 139744825321173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26906624 140722541974511 140722541974682 140722541974682 140722541977551 0
[pid=26177/tid=26185] ppid=26175 vsize=15818836 memory=280467404406176 CPUtime=0 cores=0,2,4,6
/proc/26177/task/26185/stat : 26185 (java) S 26175 26175 25300 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 19 0 408779106 16198488064 62347 33554432000 4194304 4196468 140722541971488 139744291472112 139744825321173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26906624 140722541974511 140722541974682 140722541974682 140722541977551 0
[pid=26177/tid=26186] ppid=26175 vsize=15818836 memory=-9001727377931987047 CPUtime=0 cores=0,2,4,6
/proc/26177/task/26186/stat : 26186 (java) S 26175 26175 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408779108 16198488064 62347 33554432000 4194304 4196468 140722541971488 139744290420688 139744825329563 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26906624 140722541974511 140722541974682 140722541974682 140722541977551 0
[pid=26177/tid=26187] ppid=26175 vsize=15818836 memory=7684433391216329530 CPUtime=3.2 cores=0,2,4,6
/proc/26177/task/26187/stat : 26187 (java) S 26175 26175 25300 0 -1 1077944384 15276 0 0 0 318 2 0 0 20 0 19 0 408779108 16198488064 62347 33554432000 4194304 4196468 140722541971488 139744289368816 139744825322114 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26906624 140722541974511 140722541974682 140722541974682 140722541977551 0
[pid=26177/tid=26188] ppid=26175 vsize=15818836 memory=1448 CPUtime=2.99 cores=0,2,4,6
/proc/26177/task/26188/stat : 26188 (java) S 26175 26175 25300 0 -1 1077944384 15577 0 0 0 297 2 0 0 20 0 19 0 408779108 16198488064 62347 33554432000 4194304 4196468 140722541971488 139744288316272 139744825322114 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26906624 140722541974511 140722541974682 140722541974682 140722541977551 0
[pid=26177/tid=26189] ppid=26175 vsize=15818836 memory=194320 CPUtime=0.65 cores=0,2,4,6
/proc/26177/task/26189/stat : 26189 (java) S 26175 26175 25300 0 -1 1077944384 5133 0 0 0 64 1 0 0 20 0 19 0 408779108 16198488064 62347 33554432000 4194304 4196468 140722541971488 139744287263216 139744825322114 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26906624 140722541974511 140722541974682 140722541974682 140722541977551 0
[pid=26177/tid=26190] ppid=26175 vsize=15818836 memory=280467404518944 CPUtime=0 cores=0,2,4,6
/proc/26177/task/26190/stat : 26190 (java) S 26175 26175 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408779108 16198488064 62347 33554432000 4194304 4196468 140722541971488 139744286210912 139744825321173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26906624 140722541974511 140722541974682 140722541974682 140722541977551 0
[pid=26177/tid=26191] ppid=26175 vsize=15818836 memory=140233702257440 CPUtime=0 cores=0,2,4,6
/proc/26177/task/26191/stat : 26191 (java) S 26175 26175 25300 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 19 0 408779108 16198488064 62347 33554432000 4194304 4196468 140722541971488 139744285157936 139744825322114 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26906624 140722541974511 140722541974682 140722541974682 140722541977551 0
Current children cumulated CPU time: 16.53 s
Current children cumulated vsize: 15931964 KiB
Current children cumulated memory: 250836 KiB

Child ended because it received signal 15 (SIGTERM)
Real time (s): 4.71539
CPU time (s): 16.5612
CPU user time (s): 16.4054
CPU system time (s): 0.155813
CPU usage (%): 351.216
Max. virtual memory (cumulated for all children) (KiB): 15931964
Max. memory (cumulated for all children) (KiB): 250836

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 16.4054
system time used= 0.155813
maximum resident set size= 250504
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 50614
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3248
involuntary context switches= 678


# summary of solver processes directly reported to runsolver:
#   pid: 26175
#   total CPU time (s): 16.5612
#   total CPU user time (s): 16.4054
#   total CPU system time (s): 0.155813

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.057563 second user time and 0.089034 second system time

The end

Launcher Data 

Begin job on node151 at 2019-09-12 23:50:37
IDJOB=4394124
IDBENCH=115814
IDSOLVER=2842
FILE ID=node151/4394124-1568325076
RUNJOBID= node151-1568323682-25331
PBS_JOBID= 21701147
Free space on /tmp= 56976 MiB

SOLVER NAME= choco-solver 2019-06-14
BENCH NAME= XCSP17/Scheduling/Scheduling-os-taillard/Taillard-os-05-05-5.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-4394124-1568325076/watcher-4394124-1568325076 -o /tmp/evaluation-result-4394124-1568325076/solver-4394124-1568325076 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node151-1568323682-25331 --watchdog 2560  xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 1707483705 HOME/instance-4394124-1568325076.xml

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

MD5SUM BENCH= 5197a9101df9cd680fadf9dcc86a0dcb
RANDOM SEED=1707483705

node151.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.53
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	: 5335.75
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.53
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	: 5335.75
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.53
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	: 5335.75
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.53
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	: 5335.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        31085316 kB
MemAvailable:   31664788 kB
Buffers:          126780 kB
Cached:           743924 kB
SwapCached:        72596 kB
Active:           665548 kB
Inactive:         472480 kB
Active(anon):     202484 kB
Inactive(anon):    96396 kB
Active(file):     463064 kB
Inactive(file):   376084 kB
Unevictable:      111232 kB
Mlocked:          111232 kB
SwapTotal:      67108860 kB
SwapFree:       66933552 kB
Dirty:             26192 kB
Writeback:             0 kB
AnonPages:        306156 kB
Mapped:            47556 kB
Shmem:             22808 kB
Slab:             140316 kB
SReclaimable:     112316 kB
SUnreclaim:        28000 kB
KernelStack:        3808 kB
PageTables:         6396 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1389420 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    243712 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      138624 kB
DirectMap2M:    33406976 kB

Free space on /tmp at the end= 56948 MiB
End job on node151 at 2019-09-12 23:50:42