Trace number 4393549

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-06-14 parallel? (TO) 15946.6 2522.14

General information on the benchmark

NameSuperSolutions/SuperSolutions-Taillard-os10/
SuperTaillard-os-10-26.xml
MD5SUM163dd1c4311ae2a810c887bcbec28782
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 benchmark15.5906
Satisfiable
(Un)Satisfiability was proved
Number of variables200
Number of constraints2800
Number of domains64
Minimum domain size413
Maximum domain size511
Distribution of domain sizes[{"size":413,"count":2},{"size":414,"count":2},{"size":415,"count":2},{"size":417,"count":2},{"size":418,"count":4},{"size":420,"count":2},{"size":421,"count":4},{"size":422,"count":4},{"size":423,"count":2},{"size":425,"count":2},{"size":428,"count":4},{"size":430,"count":4},{"size":432,"count":2},{"size":434,"count":2},{"size":435,"count":2},{"size":437,"count":4},{"size":439,"count":2},{"size":440,"count":2},{"size":443,"count":4},{"size":445,"count":8},{"size":447,"count":2},{"size":448,"count":2},{"size":450,"count":2},{"size":453,"count":6},{"size":456,"count":2},"...",{"size":478,"count":2}, {"size":479,"count":2}, {"size":481,"count":10}, {"size":482,"count":2}, {"size":484,"count":2}, {"size":485,"count":2}, {"size":486,"count":6}, {"size":487,"count":2}, {"size":488,"count":2}, {"size":489,"count":2}, {"size":490,"count":4}, {"size":491,"count":4}, {"size":492,"count":4}, {"size":493,"count":2}, {"size":494,"count":2}, {"size":495,"count":4}, {"size":496,"count":4}, {"size":497,"count":2}, {"size":499,"count":4}, {"size":501,"count":2}, {"size":502,"count":4}, {"size":503,"count":8}, {"size":504,"count":4}, {"size":507,"count":2}, {"size":511,"count":4}]
Minimum variable degree19
Maximum variable degree37
Distribution of variable degrees[{"degree":19,"count":100},{"degree":37,"count":100}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":2800}]
Number of extensional constraints0
Number of intensional constraints2800
Distribution of constraint types[{"type":"intension","count":2800}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4393549-1568442011.xml"  -tl '20160s' -p 8
0.13/0.18	c Choco e747e1e
0.13/0.18	c [HOME/instance-4393549-1568442011.xml, -tl, 20160s, -p, 8]
0.34/0.22	c 8 solvers in parallel
0.34/0.28	c parse instance...

Verifier Data 

One s line expected

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393549-1568442011/watcher-4393549-1568442011 -o /tmp/evaluation-result-4393549-1568442011/solver-4393549-1568442011 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node124-1568436778-23250 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 809473412 HOME/instance-4393549-1568442011.xml 

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

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


[startup+0.100165 s]*
/proc/loadavg: 5.42 6.63 6.69 3/211 24399
/proc/meminfo: memFree=28745036/32770624 swapFree=66959228/67108860
[pid=24378] ppid=24375 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/24378/stat : 24378 (xcsp3-exec) S 24375 24378 23223 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 420141300 115843072 363 33554432000 4194304 5098028 140723267994576 140723267992680 140593446957692 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31993856 140723267998582 140723267998825 140723267998825 140723268001738 0
/proc/24378/statm: 28282 363 304 221 0 87 0
[pid=24380] ppid=24378 vsize=28227388 memory=29840 CPUtime=0.13 cores=0-7
/proc/24380/stat : 24380 (java) S 24378 24378 23223 0 -1 1077944320 5926 0 0 0 11 2 0 0 20 0 20 0 420141300 28904845312 7460 33554432000 4194304 4196468 140728728120368 140728728102912 140240011706103 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27480064 140728728126442 140728728126614 140728728126614 140728728129487 0
/proc/24380/statm: 7056847 7460 3119 1 0 7019032 0
[pid=24380/tid=24381] ppid=24378 vsize=28227388 memory=7897232854221756831 CPUtime=0.09 cores=0-7
/proc/24380/task/24381/stat : 24381 (java) R 24378 24378 23223 0 -1 4202560 3845 0 0 0 8 1 0 0 20 0 20 0 420141300 28904845312 7460 33554432000 4194304 4196468 140728728120368 140240015932064 140240011728029 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27480064 140728728126442 140728728126614 140728728126614 140728728129487 0
[pid=24380/tid=24382] ppid=24378 vsize=28227388 memory=732370845129120741 CPUtime=0 cores=0-7
/proc/24380/task/24382/stat : 24382 (java) S 24378 24378 23223 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420141301 28904845312 7460 33554432000 4194304 4196468 140728728120368 140239964326544 140240011716309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27480064 140728728126442 140728728126614 140728728126614 140728728129487 0
[pid=24380/tid=24383] ppid=24378 vsize=28227388 memory=140706791667328 CPUtime=0 cores=0-7
/proc/24380/task/24383/stat : 24383 (java) S 24378 24378 23223 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420141301 28904845312 7460 33554432000 4194304 4196468 140728728120368 140239963273744 140240011716309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27480064 140728728126442 140728728126614 140728728126614 140728728129487 0
[pid=24380/tid=24384] ppid=24378 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/24380/task/24384/stat : 24384 (java) S 24378 24378 23223 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420141301 28904845312 7460 33554432000 4194304 4196468 140728728120368 140239962220944 140240011716309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27480064 140728728126442 140728728126614 140728728126614 140728728129487 0
[pid=24380/tid=24385] ppid=24378 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/24380/task/24385/stat : 24385 (java) S 24378 24378 23223 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420141301 28904845312 7460 33554432000 4194304 4196468 140728728120368 140239961168144 140240011716309 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27480064 140728728126442 140728728126614 140728728126614 140728728129487 0
[pid=24380/tid=24386] ppid=24378 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/24380/task/24386/stat : 24386 (java) S 24378 24378 23223 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420141301 28904845312 7460 33554432000 4194304 4196468 140728728120368 140239960116368 140240011716309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27480064 140728728126442 140728728126614 140728728126614 140728728129487 0
[pid=24380/tid=24387] ppid=24378 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/24380/task/24387/stat : 24387 (java) S 24378 24378 23223 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420141301 28904845312 7460 33554432000 4194304 4196468 140728728120368 140239959063568 140240011716309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27480064 140728728126442 140728728126614 140728728126614 140728728129487 0
[pid=24380/tid=24388] ppid=24378 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/24380/task/24388/stat : 24388 (java) S 24378 24378 23223 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420141301 28904845312 7460 33554432000 4194304 4196468 140728728120368 140239958010768 140240011716309 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27480064 140728728126442 140728728126614 140728728126614 140728728129487 0
[pid=24380/tid=24389] ppid=24378 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/24380/task/24389/stat : 24389 (java) S 24378 24378 23223 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420141301 28904845312 7460 33554432000 4194304 4196468 140728728120368 140239956957968 140240011716309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27480064 140728728126442 140728728126614 140728728126614 140728728129487 0
[pid=24380/tid=24390] ppid=24378 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/24380/task/24390/stat : 24390 (java) S 24378 24378 23223 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420141303 28904845312 7460 33554432000 4194304 4196468 140728728120368 140238658689392 140240011717250 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27480064 140728728126442 140728728126614 140728728126614 140728728129487 0
[pid=24380/tid=24391] ppid=24378 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/24380/task/24391/stat : 24391 (java) S 24378 24378 23223 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 420141303 28904845312 7460 33554432000 4194304 4196468 140728728120368 140238657635360 140240011716309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27480064 140728728126442 140728728126614 140728728126614 140728728129487 0
[pid=24380/tid=24392] ppid=24378 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/24380/task/24392/stat : 24392 (java) S 24378 24378 23223 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420141303 28904845312 7460 33554432000 4194304 4196468 140728728120368 140238656582512 140240011716309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27480064 140728728126442 140728728126614 140728728126614 140728728129487 0
[pid=24380/tid=24393] ppid=24378 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/24380/task/24393/stat : 24393 (java) S 24378 24378 23223 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420141306 28904845312 7460 33554432000 4194304 4196468 140728728120368 140238655530832 140240011724699 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27480064 140728728126442 140728728126614 140728728126614 140728728129487 0
[pid=24380/tid=24394] ppid=24378 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/24380/task/24394/stat : 24394 (java) S 24378 24378 23223 0 -1 1077944384 293 0 0 0 0 0 0 0 20 0 20 0 420141306 28904845312 7460 33554432000 4194304 4196468 140728728120368 140238654479216 140240011717250 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27480064 140728728126442 140728728126614 140728728126614 140728728129487 0
[pid=24380/tid=24395] ppid=24378 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/24380/task/24395/stat : 24395 (java) S 24378 24378 23223 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 420141306 28904845312 7460 33554432000 4194304 4196468 140728728120368 140238653426416 140240011717250 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27480064 140728728126442 140728728126614 140728728126614 140728728129487 0
[pid=24380/tid=24396] ppid=24378 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/24380/task/24396/stat : 24396 (java) S 24378 24378 23223 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420141306 28904845312 7460 33554432000 4194304 4196468 140728728120368 140238652373616 140240011717250 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27480064 140728728126442 140728728126614 140728728126614 140728728129487 0
[pid=24380/tid=24397] ppid=24378 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7
/proc/24380/task/24397/stat : 24397 (java) R 24378 24378 23223 0 -1 4202560 349 0 0 0 2 0 0 0 20 0 20 0 420141306 28904845312 7460 33554432000 4194304 4196468 140728728120368 140238651320816 140240011727450 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27480064 140728728126442 140728728126614 140728728126614 140728728129487 0
[pid=24380/tid=24398] ppid=24378 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/24380/task/24398/stat : 24398 (java) S 24378 24378 23223 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420141306 28904845312 7460 33554432000 4194304 4196468 140728728120368 140238650268256 140240011716309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27480064 140728728126442 140728728126614 140728728126614 140728728129487 0
[pid=24380/tid=24399] ppid=24378 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/24380/task/24399/stat : 24399 (java) S 24378 24378 23223 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420141306 28904845312 7460 33554432000 4194304 4196468 140728728120368 140238649215536 140240011717250 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27480064 140728728126442 140728728126614 140728728126614 140728728129487 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 31292 KiB

[startup+0.21062 s]*
/proc/loadavg: 5.42 6.63 6.69 4/211 24399
/proc/meminfo: memFree=28731376/32770624 swapFree=66959228/67108860
[pid=24378] ppid=24375 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/24378/stat : 24378 (xcsp3-exec) S 24375 24378 23223 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 420141300 115843072 363 33554432000 4194304 5098028 140723267994576 140723267992680 140593446957692 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31993856 140723267998582 140723267998825 140723267998825 140723268001738 0
/proc/24378/statm: 28282 363 304 221 0 87 0
[pid=24380] ppid=24378 vsize=28227388 memory=41008 CPUtime=0.34 cores=0-7
/proc/24380/stat : 24380 (java) S 24378 24378 23223 0 -1 1077944320 9481 0 0 0 30 4 0 0 20 0 20 0 420141300 28904845312 10252 33554432000 4194304 4196468 140728728120368 140728728102912 140240011706103 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27480064 140728728126442 140728728126614 140728728126614 140728728129487 0
/proc/24380/statm: 7056847 10252 3299 1 0 7019032 0
[pid=24380/tid=24381] ppid=24378 vsize=28227388 memory=0 CPUtime=0.19 cores=0-7
/proc/24380/task/24381/stat : 24381 (java) R 24378 24378 23223 0 -1 4202560 6675 0 0 0 17 2 0 0 20 0 20 0 420141300 28904845312 10252 33554432000 4194304 4196468 140728728120368 140240015939808 140240011718038 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27480064 140728728126442 140728728126614 140728728126614 140728728129487 0
[pid=24380/tid=24382] ppid=24378 vsize=28227388 memory=281413477054200 CPUtime=0 cores=0-7
/proc/24380/task/24382/stat : 24382 (java) S 24378 24378 23223 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420141301 28904845312 10252 33554432000 4194304 4196468 140728728120368 140239964326544 140240011716309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27480064 140728728126442 140728728126614 140728728126614 140728728129487 0
[pid=24380/tid=24383] ppid=24378 vsize=28227388 memory=140706791667328 CPUtime=0 cores=0-7
/proc/24380/task/24383/stat : 24383 (java) S 24378 24378 23223 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420141301 28904845312 10252 33554432000 4194304 4196468 140728728120368 140239963273744 140240011716309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27480064 140728728126442 140728728126614 140728728126614 140728728129487 0
[pid=24380/tid=24384] ppid=24378 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/24380/task/24384/stat : 24384 (java) S 24378 24378 23223 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420141301 28904845312 10252 33554432000 4194304 4196468 140728728120368 140239962220944 140240011716309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27480064 140728728126442 140728728126614 140728728126614 140728728129487 0
[pid=24380/tid=24385] ppid=24378 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/24380/task/24385/stat : 24385 (java) S 24378 24378 23223 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420141301 28904845312 10252 33554432000 4194304 4196468 140728728120368 140239961168144 140240011716309 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27480064 140728728126442 140728728126614 140728728126614 140728728129487 0
[pid=24380/tid=24386] ppid=24378 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/24380/task/24386/stat : 24386 (java) S 24378 24378 23223 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420141301 28904845312 10252 33554432000 4194304 4196468 140728728120368 140239960116368 140240011716309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27480064 140728728126442 140728728126614 140728728126614 140728728129487 0
[pid=24380/tid=24387] ppid=24378 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/24380/task/24387/stat : 24387 (java) S 24378 24378 23223 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420141301 28904845312 10252 33554432000 4194304 4196468 140728728120368 140239959063568 140240011716309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27480064 140728728126442 140728728126614 140728728126614 140728728129487 0
[pid=24380/tid=24388] ppid=24378 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/24380/task/24388/stat : 24388 (java) S 24378 24378 23223 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420141301 28904845312 10252 33554432000 4194304 4196468 140728728120368 140239958010768 140240011716309 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27480064 140728728126442 140728728126614 140728728126614 140728728129487 0
[pid=24380/tid=24389] ppid=24378 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/24380/task/24389/stat : 24389 (java) S 24378 24378 23223 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420141301 28904845312 10252 33554432000 4194304 4196468 140728728120368 140239956957968 140240011716309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27480064 140728728126442 140728728126614 140728728126614 140728728129487 0
[pid=24380/tid=24390] ppid=24378 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/24380/task/24390/stat : 24390 (java) S 24378 24378 23223 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 420141303 28904845312 10252 33554432000 4194304 4196468 140728728120368 140238658689392 140240011717250 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27480064 140728728126442 140728728126614 140728728126614 140728728129487 0
[pid=24380/tid=24391] ppid=24378 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/24380/task/24391/stat : 24391 (java) S 24378 24378 23223 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 420141303 28904845312 10252 33554432000 4194304 4196468 140728728120368 140238657635360 140240011716309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27480064 140728728126442 140728728126614 140728728126614 140728728129487 0
[pid=24380/tid=24392] ppid=24378 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/24380/task/24392/stat : 24392 (java) S 24378 24378 23223 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420141303 28904845312 10252 33554432000 4194304 4196468 140728728120368 140238656582512 140240011716309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27480064 140728728126442 140728728126614 140728728126614 140728728129487 0
[pid=24380/tid=24393] ppid=24378 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/24380/task/24393/stat : 24393 (java) S 24378 24378 23223 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420141306 28904845312 10252 33554432000 4194304 4196468 140728728120368 140238655530832 140240011724699 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27480064 140728728126442 140728728126614 140728728126614 140728728129487 0
[pid=24380/tid=24394] ppid=24378 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/24380/task/24394/stat : 24394 (java) S 24378 24378 23223 0 -1 1077944384 321 0 0 0 1 0 0 0 20 0 20 0 420141306 28904845312 10252 33554432000 4194304 4196468 140728728120368 140238654479216 140240011717250 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27480064 140728728126442 140728728126614 140728728126614 140728728129487 0
[pid=24380/tid=24395] ppid=24378 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/24380/task/24395/stat : 24395 (java) S 24378 24378 23223 0 -1 1077944384 278 0 0 0 0 0 0 0 20 0 20 0 420141306 28904845312 10252 33554432000 4194304 4196468 140728728120368 140238653426416 140240011717250 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27480064 140728728126442 140728728126614 140728728126614 140728728129487 0
[pid=24380/tid=24396] ppid=24378 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7
/proc/24380/task/24396/stat : 24396 (java) S 24378 24378 23223 0 -1 1077944384 163 0 0 0 2 0 0 0 20 0 20 0 420141306 28904845312 10252 33554432000 4194304 4196468 140728728120368 140238652373616 140240011717250 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27480064 140728728126442 140728728126614 140728728126614 140728728129487 0
[pid=24380/tid=24397] ppid=24378 vsize=28227388 memory=0 CPUtime=0.08 cores=0-7
/proc/24380/task/24397/stat : 24397 (java) R 24378 24378 23223 0 -1 4202560 728 0 0 0 8 0 0 0 20 0 20 0 420141306 28904845312 10252 33554432000 4194304 4196468 140728728120368 140238651320624 140240011718038 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27480064 140728728126442 140728728126614 140728728126614 140728728129487 0
[pid=24380/tid=24398] ppid=24378 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/24380/task/24398/stat : 24398 (java) S 24378 24378 23223 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420141306 28904845312 10252 33554432000 4194304 4196468 140728728120368 140238650268256 140240011716309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27480064 140728728126442 140728728126614 140728728126614 140728728129487 0
[pid=24380/tid=24399] ppid=24378 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/24380/task/24399/stat : 24399 (java) S 24378 24378 23223 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420141306 28904845312 10252 33554432000 4194304 4196468 140728728120368 140238649215536 140240011717250 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27480064 140728728126442 140728728126614 140728728126614 140728728129487 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 42460 KiB

[startup+0.310652 s]*
/proc/loadavg: 5.42 6.63 6.69 4/211 24399
/proc/meminfo: memFree=28723844/32770624 swapFree=66959228/67108860
[pid=24378] ppid=24375 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/24378/stat : 24378 (xcsp3-exec) S 24375 24378 23223 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 420141300 115843072 363 33554432000 4194304 5098028 140723267994576 140723267992680 140593446957692 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31993856 140723267998582 140723267998825 140723267998825 140723268001738 0
/proc/24378/statm: 28282 363 304 221 0 87 0
[pid=24380] ppid=24378 vsize=28231644 memory=50288 CPUtime=0.53 cores=0-7
/proc/24380/stat : 24380 (java) S 24378 24378 23223 0 -1 1077944320 10908 0 0 0 48 5 0 0 20 0 20 0 420141300 28909203456 12572 33554432000 4194304 4196468 140728728120368 140728728102912 140240011706103 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27480064 140728728126442 140728728126614 140728728126614 140728728129487 0
/proc/24380/statm: 7057911 12572 3356 1 0 7019032 0
[pid=24380/tid=24381] ppid=24378 vsize=28231644 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/24380/task/24381/stat : 24381 (java) R 24378 24378 23223 0 -1 4202560 7835 0 0 0 26 3 0 0 20 0 20 0 420141300 28909203456 12572 33554432000 4194304 4196468 140728728120368 140240015937216 140239995786590 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27480064 140728728126442 140728728126614 140728728126614 140728728129487 0
[pid=24380/tid=24382] ppid=24378 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/24380/task/24382/stat : 24382 (java) S 24378 24378 23223 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420141301 28909203456 12572 33554432000 4194304 4196468 140728728120368 140239964326544 140240011716309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27480064 140728728126442 140728728126614 140728728126614 140728728129487 0
[pid=24380/tid=24383] ppid=24378 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/24380/task/24383/stat : 24383 (java) S 24378 24378 23223 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420141301 28909203456 12572 33554432000 4194304 4196468 140728728120368 140239963273744 140240011716309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27480064 140728728126442 140728728126614 140728728126614 140728728129487 0
[pid=24380/tid=24384] ppid=24378 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/24380/task/24384/stat : 24384 (java) S 24378 24378 23223 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420141301 28909203456 12572 33554432000 4194304 4196468 140728728120368 140239962220944 140240011716309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27480064 140728728126442 140728728126614 140728728126614 140728728129487 0
[pid=24380/tid=24385] ppid=24378 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/24380/task/24385/stat : 24385 (java) S 24378 24378 23223 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420141301 28909203456 12572 33554432000 4194304 4196468 140728728120368 140239961168144 140240011716309 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27480064 140728728126442 140728728126614 140728728126614 140728728129487 0
[pid=24380/tid=24386] ppid=24378 vsize=28231644 memory=2244 CPUtime=0 cores=0-7
/proc/24380/task/24386/stat : 24386 (java) S 24378 24378 23223 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420141301 28909203456 12572 33554432000 4194304 4196468 140728728120368 140239960116368 140240011716309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27480064 140728728126442 140728728126614 140728728126614 140728728129487 0
[pid=24380/tid=24387] ppid=24378 vsize=28231644 memory=140706685481903 CPUtime=0 cores=0-7
/proc/24380/task/24387/stat : 24387 (java) S 24378 24378 23223 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420141301 28909203456 12572 33554432000 4194304 4196468 140728728120368 140239959063568 140240011716309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27480064 140728728126442 140728728126614 140728728126614 140728728129487 0
[pid=24380/tid=24388] ppid=24378 vsize=28231644 memory=140706685484208 CPUtime=0 cores=0-7
/proc/24380/task/24388/stat : 24388 (java) S 24378 24378 23223 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420141301 28909203456 12572 33554432000 4194304 4196468 140728728120368 140239958010768 140240011716309 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27480064 140728728126442 140728728126614 140728728126614 140728728129487 0
[pid=24380/tid=24389] ppid=24378 vsize=28231644 memory=140706685486512 CPUtime=0 cores=0-7
/proc/24380/task/24389/stat : 24389 (java) S 24378 24378 23223 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420141301 28909203456 12572 33554432000 4194304 4196468 140728728120368 140239956957968 140240011716309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27480064 140728728126442 140728728126614 140728728126614 140728728129487 0
[pid=24380/tid=24390] ppid=24378 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/24380/task/24390/stat : 24390 (java) S 24378 24378 23223 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 420141303 28909203456 12572 33554432000 4194304 4196468 140728728120368 140238658689392 140240011717250 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27480064 140728728126442 140728728126614 140728728126614 140728728129487 0
[pid=24380/tid=24391] ppid=24378 vsize=28231644 memory=281413370979984 CPUtime=0 cores=0-7
/proc/24380/task/24391/stat : 24391 (java) S 24378 24378 23223 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 420141303 28909203456 12572 33554432000 4194304 4196468 140728728120368 140238657635360 140240011716309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27480064 140728728126442 140728728126614 140728728126614 140728728129487 0
[pid=24380/tid=24392] ppid=24378 vsize=28231644 memory=281413370986896 CPUtime=0 cores=0-7
/proc/24380/task/24392/stat : 24392 (java) S 24378 24378 23223 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420141303 28909203456 12572 33554432000 4194304 4196468 140728728120368 140238656582512 140240011716309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27480064 140728728126442 140728728126614 140728728126614 140728728129487 0
[pid=24380/tid=24393] ppid=24378 vsize=28231644 memory=281413370928176 CPUtime=0 cores=0-7
/proc/24380/task/24393/stat : 24393 (java) S 24378 24378 23223 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420141306 28909203456 12572 33554432000 4194304 4196468 140728728120368 140238655530832 140240011724699 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27480064 140728728126442 140728728126614 140728728126614 140728728129487 0
[pid=24380/tid=24394] ppid=24378 vsize=28231644 memory=281413371000720 CPUtime=0.02 cores=0-7
/proc/24380/task/24394/stat : 24394 (java) S 24378 24378 23223 0 -1 1077944384 337 0 0 0 2 0 0 0 20 0 20 0 420141306 28909203456 12572 33554432000 4194304 4196468 140728728120368 140238654479216 140240011717250 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27480064 140728728126442 140728728126614 140728728126614 140728728129487 0
[pid=24380/tid=24395] ppid=24378 vsize=28231644 memory=281413371007632 CPUtime=0.03 cores=0-7
/proc/24380/task/24395/stat : 24395 (java) R 24378 24378 23223 0 -1 4202560 414 0 0 0 3 0 0 0 20 0 20 0 420141306 28909203456 12572 33554432000 4194304 4196468 140728728120368 140238653426416 140239993226146 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27480064 140728728126442 140728728126614 140728728126614 140728728129487 0
[pid=24380/tid=24396] ppid=24378 vsize=28231644 memory=281413371005328 CPUtime=0.03 cores=0-7
/proc/24380/task/24396/stat : 24396 (java) S 24378 24378 23223 0 -1 1077944384 178 0 0 0 3 0 0 0 20 0 20 0 420141306 28909203456 12572 33554432000 4194304 4196468 140728728120368 140238652373616 140240011717250 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27480064 140728728126442 140728728126614 140728728126614 140728728129487 0
[pid=24380/tid=24397] ppid=24378 vsize=28231644 memory=281413371021488 CPUtime=0.12 cores=0-7
/proc/24380/task/24397/stat : 24397 (java) S 24378 24378 23223 0 -1 1077944384 832 0 0 0 12 0 0 0 20 0 20 0 420141306 28909203456 12572 33554432000 4194304 4196468 140728728120368 140238651320816 140240011717250 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27480064 140728728126442 140728728126614 140728728126614 140728728129487 0
[pid=24380/tid=24398] ppid=24378 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/24380/task/24398/stat : 24398 (java) S 24378 24378 23223 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420141306 28909203456 12572 33554432000 4194304 4196468 140728728120368 140238650268256 140240011716309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27480064 140728728126442 140728728126614 140728728126614 140728728129487 0
[pid=24380/tid=24399] ppid=24378 vsize=28231644 memory=-1 CPUtime=0 cores=0-7
/proc/24380/task/24399/stat : 24399 (java) S 24378 24378 23223 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420141306 28909203456 12572 33554432000 4194304 4196468 140728728120368 140238649215536 140240011717250 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27480064 140728728126442 140728728126614 140728728126614 140728728129487 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 28344772 KiB
Current children cumulated memory: 51740 KiB

[startup+0.701716 s]
/proc/loadavg: 5.42 6.63 6.69 4/211 24399
/proc/meminfo: memFree=28700536/32770624 swapFree=66959228/67108860
[pid=24378] ppid=24375 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/24378/stat : 24378 (xcsp3-exec) S 24375 24378 23223 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 420141300 115843072 363 33554432000 4194304 5098028 140723267994576 140723267992680 140593446957692 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31993856 140723267998582 140723267998825 140723267998825 140723268001738 0
/proc/24378/statm: 28282 363 304 221 0 87 0
[pid=24380] ppid=24378 vsize=28233768 memory=126524 CPUtime=2.01 cores=0-7
/proc/24380/stat : 24380 (java) S 24378 24378 23223 0 -1 1077944320 16172 0 0 0 194 7 0 0 20 0 20 0 420141300 28911378432 31631 33554432000 4194304 4196468 140728728120368 140728728102912 140240011706103 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27480064 140728728126442 140728728126614 140728728126614 140728728129487 0
/proc/24380/statm: 7058442 31631 3444 1 0 7019544 0
[pid=24380/tid=24381] ppid=24378 vsize=28233768 memory=281413371316352 CPUtime=0.67 cores=0-7
/proc/24380/task/24381/stat : 24381 (java) R 24378 24378 23223 0 -1 4202560 9082 0 0 0 63 4 0 0 20 0 20 0 420141300 28911378432 31631 33554432000 4194304 4196468 140728728120368 140240015941816 140239628044031 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27480064 140728728126442 140728728126614 140728728126614 140728728129487 0
[pid=24380/tid=24382] ppid=24378 vsize=28233768 memory=1436 CPUtime=0 cores=0-7
/proc/24380/task/24382/stat : 24382 (java) S 24378 24378 23223 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420141301 28911378432 31631 33554432000 4194304 4196468 140728728120368 140239964326544 140240011716309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27480064 140728728126442 140728728126614 140728728126614 140728728129487 0
[pid=24380/tid=24383] ppid=24378 vsize=28233768 memory=580 CPUtime=0 cores=0-7
/proc/24380/task/24383/stat : 24383 (java) S 24378 24378 23223 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420141301 28911378432 31631 33554432000 4194304 4196468 140728728120368 140239963273744 140240011716309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27480064 140728728126442 140728728126614 140728728126614 140728728129487 0
[pid=24380/tid=24384] ppid=24378 vsize=28233768 memory=1720 CPUtime=0 cores=0-7
/proc/24380/task/24384/stat : 24384 (java) S 24378 24378 23223 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420141301 28911378432 31631 33554432000 4194304 4196468 140728728120368 140239962220944 140240011716309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27480064 140728728126442 140728728126614 140728728126614 140728728129487 0

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

# cumulated CPU time of all completed processes:  user=0.00117 s, system=0.00117 s

Sending SIGKILL to process tree (bottom up)
??? end of watcher thread

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

Solver just ended.
Dumping a history of the last processes samples

[startup+2520.8 s]
/proc/loadavg: 7.86 7.45 7.00 9/211 24620
/proc/meminfo: memFree=3389496/32770624 swapFree=66959228/67108860
[pid=24380] ppid=24375 vsize=28233768 memory=25337308 CPUtime=15937.3 cores=0-7
/proc/24380/stat : 24380 (java) S 24375 24378 23223 0 -1 1077944320 5019287 0 0 0 1585898 7829 0 0 20 0 20 0 420141300 28911378432 6334327 33554432000 4194304 4196468 140728728120368 140728728102912 140240011706103 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 27480064 140728728126442 140728728126614 140728728126614 140728728129487 0
/proc/24380/statm: 7058442 6334327 3515 1 0 7019544 0
[pid=24380/tid=24381] ppid=24375 vsize=28233768 memory=1412 CPUtime=396.04 cores=0-7
/proc/24380/task/24381/stat : 24381 (java) S 24375 24378 23223 0 -1 1077944384 94945 0 0 0 39476 128 0 0 20 0 20 0 420141300 28911378432 6334327 33554432000 4194304 4196468 140728728120368 140240015943296 140240011716309 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27480064 140728728126442 140728728126614 140728728126614 140728728129487 0
[pid=24380/tid=24382] ppid=24375 vsize=28233768 memory=3388 CPUtime=1922.16 cores=0-7
/proc/24380/task/24382/stat : 24382 (java) R 24375 24378 23223 0 -1 4202560 554800 0 0 0 191197 1019 0 0 20 0 20 0 420141301 28911378432 6334327 33554432000 4194304 4196468 140728728120368 140239964326128 140240004334311 0 4 0 16800975 0 0 0 -1 3 0 0 77 0 0 6293624 6294260 27480064 140728728126442 140728728126614 140728728126614 140728728129487 0
[pid=24380/tid=24383] ppid=24375 vsize=28233768 memory=25337308 CPUtime=1925.55 cores=0-7
/proc/24380/task/24383/stat : 24383 (java) R 24375 24378 23223 0 -1 4202560 579506 0 0 0 191615 940 0 0 20 0 20 0 420141301 28911378432 6334327 33554432000 4194304 4196468 140728728120368 140239963273328 140240004334311 0 4 0 16800975 0 0 0 -1 2 0 0 67 0 0 6293624 6294260 27480064 140728728126442 140728728126614 140728728126614 140728728129487 0
[pid=24380/tid=24384] ppid=24375 vsize=28233768 memory=4100 CPUtime=1923.45 cores=0-7
/proc/24380/task/24384/stat : 24384 (java) R 24375 24378 23223 0 -1 4202560 428727 0 0 0 191403 942 0 0 20 0 20 0 420141301 28911378432 6334327 33554432000 4194304 4196468 140728728120368 140239962220840 140240004334311 0 4 0 16800975 0 0 0 -1 6 0 0 60 0 0 6293624 6294260 27480064 140728728126442 140728728126614 140728728126614 140728728129487 0
[pid=24380/tid=24385] ppid=24375 vsize=28233768 memory=1564 CPUtime=1924.87 cores=0-7
/proc/24380/task/24385/stat : 24385 (java) R 24375 24378 23223 0 -1 4202560 455979 0 0 0 191568 919 0 0 20 0 20 0 420141301 28911378432 6334327 33554432000 4194304 4196468 140728728120368 140239961167728 140240004334311 0 4 0 16800975 0 0 0 -1 5 0 0 66 0 0 6293624 6294260 27480064 140728728126442 140728728126614 140728728126614 140728728129487 0
[pid=24380/tid=24386] ppid=24375 vsize=28233768 memory=5984 CPUtime=1925.48 cores=0-7
/proc/24380/task/24386/stat : 24386 (java) R 24375 24378 23223 0 -1 4202560 514498 0 0 0 191672 876 0 0 20 0 20 0 420141301 28911378432 6334327 33554432000 4194304 4196468 140728728120368 140239960116264 140240004334311 0 4 0 16800975 0 0 0 -1 0 0 0 65 0 0 6293624 6294260 27480064 140728728126442 140728728126614 140728728126614 140728728129487 0
[pid=24380/tid=24387] ppid=24375 vsize=28233768 memory=1060 CPUtime=1924.51 cores=0-7
/proc/24380/task/24387/stat : 24387 (java) R 24375 24378 23223 0 -1 4202560 393869 0 0 0 191473 978 0 0 20 0 20 0 420141301 28911378432 6334327 33554432000 4194304 4196468 140728728120368 140239959063152 140240004334311 0 4 0 16800975 0 0 0 -1 4 0 0 57 0 0 6293624 6294260 27480064 140728728126442 140728728126614 140728728126614 140728728129487 0
[pid=24380/tid=24388] ppid=24375 vsize=28233768 memory=2828 CPUtime=1923.23 cores=0-7
/proc/24380/task/24388/stat : 24388 (java) R 24375 24378 23223 0 -1 4202560 444685 0 0 0 191340 983 0 0 20 0 20 0 420141301 28911378432 6334327 33554432000 4194304 4196468 140728728120368 140239958010968 140239996656818 0 4 0 16800975 0 0 0 -1 1 0 0 64 0 0 6293624 6294260 27480064 140728728126442 140728728126614 140728728126614 140728728129487 0
[pid=24380/tid=24389] ppid=24375 vsize=28233768 memory=1216 CPUtime=1917.72 cores=0-7
/proc/24380/task/24389/stat : 24389 (java) S 24375 24378 23223 0 -1 1077944384 341787 0 0 0 190823 949 0 0 20 0 20 0 420141301 28911378432 6334327 33554432000 4194304 4196468 140728728120368 140239956957552 140240011717250 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 78 0 0 6293624 6294260 27480064 140728728126442 140728728126614 140728728126614 140728728129487 0
[pid=24380/tid=24390] ppid=24375 vsize=28233768 memory=984 CPUtime=148.68 cores=0-7
/proc/24380/task/24390/stat : 24390 (java) S 24375 24378 23223 0 -1 1077944384 1155841 0 0 0 14807 61 0 0 20 0 20 0 420141303 28911378432 6334327 33554432000 4194304 4196468 140728728120368 140238658687712 140240011716309 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27480064 140728728126442 140728728126614 140728728126614 140728728129487 0
[pid=24380/tid=24391] ppid=24375 vsize=28233768 memory=1452 CPUtime=0 cores=0-7
/proc/24380/task/24391/stat : 24391 (java) S 24375 24378 23223 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 20 0 420141303 28911378432 6334327 33554432000 4194304 4196468 140728728120368 140238657635424 140240011716309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27480064 140728728126442 140728728126614 140728728126614 140728728129487 0
[pid=24380/tid=24392] ppid=24375 vsize=28233768 memory=25337308 CPUtime=0 cores=0-7
/proc/24380/task/24392/stat : 24392 (java) S 24375 24378 23223 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 20 0 420141303 28911378432 6334327 33554432000 4194304 4196468 140728728120368 140238656582528 140240011716309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27480064 140728728126442 140728728126614 140728728126614 140728728129487 0
[pid=24380/tid=24393] ppid=24375 vsize=28233768 memory=14004 CPUtime=0 cores=0-7
/proc/24380/task/24393/stat : 24393 (java) S 24375 24378 23223 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420141306 28911378432 6334327 33554432000 4194304 4196468 140728728120368 140238655530480 140240011716309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27480064 140728728126442 140728728126614 140728728126614 140728728129487 0
[pid=24380/tid=24394] ppid=24375 vsize=28233768 memory=22148 CPUtime=1.4 cores=0-7
/proc/24380/task/24394/stat : 24394 (java) S 24375 24378 23223 0 -1 1077944384 13294 0 0 0 139 1 0 0 20 0 20 0 420141306 28911378432 6334327 33554432000 4194304 4196468 140728728120368 140238654479264 140240011716309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27480064 140728728126442 140728728126614 140728728126614 140728728129487 0
[pid=24380/tid=24395] ppid=24375 vsize=28233768 memory=14048 CPUtime=1.22 cores=0-7
/proc/24380/task/24395/stat : 24395 (java) S 24375 24378 23223 0 -1 1077944384 11441 0 0 0 119 3 0 0 20 0 20 0 420141306 28911378432 6334327 33554432000 4194304 4196468 140728728120368 140238653426176 140240011716309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27480064 140728728126442 140728728126614 140728728126614 140728728129487 0
[pid=24380/tid=24396] ppid=24375 vsize=28233768 memory=2124 CPUtime=1.36 cores=0-7
/proc/24380/task/24396/stat : 24396 (java) S 24375 24378 23223 0 -1 1077944384 15934 0 0 0 134 2 0 0 20 0 20 0 420141306 28911378432 6334327 33554432000 4194304 4196468 140728728120368 140238652373664 140240011716309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27480064 140728728126442 140728728126614 140728728126614 140728728129487 0
[pid=24380/tid=24397] ppid=24375 vsize=28233768 memory=41472 CPUtime=0.62 cores=0-7
/proc/24380/task/24397/stat : 24397 (java) S 24375 24378 23223 0 -1 1077944384 9027 0 0 0 60 2 0 0 20 0 20 0 420141306 28911378432 6334327 33554432000 4194304 4196468 140728728120368 140238651320864 140240011716309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27480064 140728728126442 140728728126614 140728728126614 140728728129487 0
[pid=24380/tid=24398] ppid=24375 vsize=28233768 memory=988 CPUtime=0 cores=0-7
/proc/24380/task/24398/stat : 24398 (java) S 24375 24378 23223 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420141306 28911378432 6334327 33554432000 4194304 4196468 140728728120368 140238650268256 140240011716309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27480064 140728728126442 140728728126614 140728728126614 140728728129487 0
[pid=24380/tid=24399] ppid=24375 vsize=28233768 memory=2008 CPUtime=0.83 cores=0-7
/proc/24380/task/24399/stat : 24399 (java) S 24375 24378 23223 0 -1 1077944384 3603 0 0 0 45 38 0 0 20 0 20 0 420141306 28911378432 6334327 33554432000 4194304 4196468 140728728120368 140238649215536 140240011717250 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27480064 140728728126442 140728728126614 140728728126614 140728728129487 0
Current cumulated CPU time of completed processes: 0.00234 s
Current children cumulated CPU time: 15937.3 s
Current children cumulated vsize: 28233768 KiB
Current children cumulated memory: 25337308 KiB

[startup+2521.6 s]
/proc/loadavg: 7.86 7.45 7.00 8/211 24620
/proc/meminfo: memFree=3389512/32770624 swapFree=66959228/67108860
[pid=24380] ppid=24375 vsize=28233768 memory=25337308 CPUtime=15943.3 cores=0-7
/proc/24380/stat : 24380 (java) S 24375 24378 23223 0 -1 1077944320 5019495 0 0 0 1586494 7832 0 0 20 0 20 0 420141300 28911378432 6334327 33554432000 4194304 4196468 140728728120368 140728728102912 140240011706103 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 27480064 140728728126442 140728728126614 140728728126614 140728728129487 0
/proc/24380/statm: 7058442 6334327 3515 1 0 7019544 0
[pid=24380/tid=24381] ppid=24375 vsize=28233768 memory=776 CPUtime=396.04 cores=0-7
/proc/24380/task/24381/stat : 24381 (java) S 24375 24378 23223 0 -1 1077944384 94945 0 0 0 39476 128 0 0 20 0 20 0 420141300 28911378432 6334327 33554432000 4194304 4196468 140728728120368 140240015943296 140240011716309 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27480064 140728728126442 140728728126614 140728728126614 140728728129487 0
[pid=24380/tid=24382] ppid=24375 vsize=28233768 memory=1564 CPUtime=1922.93 cores=0-7
/proc/24380/task/24382/stat : 24382 (java) R 24375 24378 23223 0 -1 4202560 554800 0 0 0 191273 1020 0 0 20 0 20 0 420141301 28911378432 6334327 33554432000 4194304 4196468 140728728120368 140239964326128 140240004334311 0 4 0 16800975 0 0 0 -1 3 0 0 77 0 0 6293624 6294260 27480064 140728728126442 140728728126614 140728728126614 140728728129487 0
[pid=24380/tid=24383] ppid=24375 vsize=28233768 memory=5984 CPUtime=1926.33 cores=0-7
/proc/24380/task/24383/stat : 24383 (java) R 24375 24378 23223 0 -1 4202560 579506 0 0 0 191692 941 0 0 20 0 20 0 420141301 28911378432 6334327 33554432000 4194304 4196468 140728728120368 140239963273328 140240004334311 0 4 0 16800975 0 0 0 -1 2 0 0 67 0 0 6293624 6294260 27480064 140728728126442 140728728126614 140728728126614 140728728129487 0
[pid=24380/tid=24384] ppid=24375 vsize=28233768 memory=1060 CPUtime=1924.16 cores=0-7
/proc/24380/task/24384/stat : 24384 (java) R 24375 24378 23223 0 -1 4202560 428727 0 0 0 191474 942 0 0 20 0 20 0 420141301 28911378432 6334327 33554432000 4194304 4196468 140728728120368 140239962220528 140240004334311 0 4 0 16800975 0 0 0 -1 0 0 0 60 0 0 6293624 6294260 27480064 140728728126442 140728728126614 140728728126614 140728728129487 0
[pid=24380/tid=24385] ppid=24375 vsize=28233768 memory=1556 CPUtime=1925.64 cores=0-7
/proc/24380/task/24385/stat : 24385 (java) R 24375 24378 23223 0 -1 4202560 455979 0 0 0 191645 919 0 0 20 0 20 0 420141301 28911378432 6334327 33554432000 4194304 4196468 140728728120368 140239961167728 140240004334311 0 4 0 16800975 0 0 0 -1 5 0 0 66 0 0 6293624 6294260 27480064 140728728126442 140728728126614 140728728126614 140728728129487 0
[pid=24380/tid=24386] ppid=24375 vsize=28233768 memory=928 CPUtime=1926.22 cores=0-7
/proc/24380/task/24386/stat : 24386 (java) R 24375 24378 23223 0 -1 4202560 514498 0 0 0 191745 877 0 0 20 0 20 0 420141301 28911378432 6334327 33554432000 4194304 4196468 140728728120368 140239960116264 140240004334311 0 4 0 16800975 0 0 0 -1 6 0 0 65 0 0 6293624 6294260 27480064 140728728126442 140728728126614 140728728126614 140728728129487 0
[pid=24380/tid=24387] ppid=24375 vsize=28233768 memory=1772 CPUtime=1925.26 cores=0-7
/proc/24380/task/24387/stat : 24387 (java) R 24375 24378 23223 0 -1 4202560 393869 0 0 0 191548 978 0 0 20 0 20 0 420141301 28911378432 6334327 33554432000 4194304 4196468 140728728120368 140239959063464 140240004334311 0 4 0 16800975 0 0 0 -1 7 0 0 57 0 0 6293624 6294260 27480064 140728728126442 140728728126614 140728728126614 140728728129487 0
[pid=24380/tid=24388] ppid=24375 vsize=28233768 memory=832 CPUtime=1924.03 cores=0-7
/proc/24380/task/24388/stat : 24388 (java) R 24375 24378 23223 0 -1 4202560 444893 0 0 0 191420 983 0 0 20 0 20 0 420141301 28911378432 6334327 33554432000 4194304 4196468 140728728120368 140239958010968 140239996403661 0 4 0 16800975 0 0 0 -1 1 0 0 64 0 0 6293624 6294260 27480064 140728728126442 140728728126614 140728728126614 140728728129487 0
[pid=24380/tid=24389] ppid=24375 vsize=28233768 memory=0 CPUtime=1918.4 cores=0-7
/proc/24380/task/24389/stat : 24389 (java) R 24375 24378 23223 0 -1 4202560 341787 0 0 0 190890 950 0 0 20 0 20 0 420141301 28911378432 6334327 33554432000 4194304 4196468 140728728120368 140239956957552 140240004334311 0 4 0 16800975 0 0 0 -1 4 0 0 78 0 0 6293624 6294260 27480064 140728728126442 140728728126614 140728728126614 140728728129487 0
[pid=24380/tid=24390] ppid=24375 vsize=28233768 memory=1583957 CPUtime=148.68 cores=0-7
/proc/24380/task/24390/stat : 24390 (java) S 24375 24378 23223 0 -1 1077944384 1155841 0 0 0 14807 61 0 0 20 0 20 0 420141303 28911378432 6334327 33554432000 4194304 4196468 140728728120368 140238658687712 140240011716309 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27480064 140728728126442 140728728126614 140728728126614 140728728129487 0
[pid=24380/tid=24391] ppid=24375 vsize=28233768 memory=39601 CPUtime=0 cores=0-7
/proc/24380/task/24391/stat : 24391 (java) S 24375 24378 23223 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 20 0 420141303 28911378432 6334327 33554432000 4194304 4196468 140728728120368 140238657635424 140240011716309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27480064 140728728126442 140728728126614 140728728126614 140728728129487 0
[pid=24380/tid=24392] ppid=24375 vsize=28233768 memory=191011 CPUtime=0 cores=0-7
/proc/24380/task/24392/stat : 24392 (java) S 24375 24378 23223 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 20 0 420141303 28911378432 6334327 33554432000 4194304 4196468 140728728120368 140238656582528 140240011716309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27480064 140728728126442 140728728126614 140728728126614 140728728129487 0
[pid=24380/tid=24393] ppid=24375 vsize=28233768 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/24380/task/24393/stat : 24393 (java) S 24375 24378 23223 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420141306 28911378432 6334327 33554432000 4194304 4196468 140728728120368 140238655530480 140240011716309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27480064 140728728126442 140728728126614 140728728126614 140728728129487 0
[pid=24380/tid=24394] ppid=24375 vsize=28233768 memory=1720 CPUtime=1.4 cores=0-7
/proc/24380/task/24394/stat : 24394 (java) S 24375 24378 23223 0 -1 1077944384 13294 0 0 0 139 1 0 0 20 0 20 0 420141306 28911378432 6334327 33554432000 4194304 4196468 140728728120368 140238654479264 140240011716309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27480064 140728728126442 140728728126614 140728728126614 140728728129487 0
[pid=24380/tid=24395] ppid=24375 vsize=28233768 memory=10604 CPUtime=1.22 cores=0-7
/proc/24380/task/24395/stat : 24395 (java) S 24375 24378 23223 0 -1 1077944384 11441 0 0 0 119 3 0 0 20 0 20 0 420141306 28911378432 6334327 33554432000 4194304 4196468 140728728120368 140238653426176 140240011716309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27480064 140728728126442 140728728126614 140728728126614 140728728129487 0
[pid=24380/tid=24396] ppid=24375 vsize=28233768 memory=3360 CPUtime=1.36 cores=0-7
/proc/24380/task/24396/stat : 24396 (java) S 24375 24378 23223 0 -1 1077944384 15934 0 0 0 134 2 0 0 20 0 20 0 420141306 28911378432 6334327 33554432000 4194304 4196468 140728728120368 140238652373664 140240011716309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27480064 140728728126442 140728728126614 140728728126614 140728728129487 0
[pid=24380/tid=24397] ppid=24375 vsize=28233768 memory=41472 CPUtime=0.62 cores=0-7
/proc/24380/task/24397/stat : 24397 (java) S 24375 24378 23223 0 -1 1077944384 9027 0 0 0 60 2 0 0 20 0 20 0 420141306 28911378432 6334327 33554432000 4194304 4196468 140728728120368 140238651320864 140240011716309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27480064 140728728126442 140728728126614 140728728126614 140728728129487 0
[pid=24380/tid=24398] ppid=24375 vsize=28233768 memory=988 CPUtime=0 cores=0-7
/proc/24380/task/24398/stat : 24398 (java) S 24375 24378 23223 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420141306 28911378432 6334327 33554432000 4194304 4196468 140728728120368 140238650268256 140240011716309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27480064 140728728126442 140728728126614 140728728126614 140728728129487 0
[pid=24380/tid=24399] ppid=24375 vsize=28233768 memory=2008 CPUtime=0.84 cores=0-7
/proc/24380/task/24399/stat : 24399 (java) S 24375 24378 23223 0 -1 1077944384 3603 0 0 0 45 39 0 0 20 0 20 0 420141306 28911378432 6334327 33554432000 4194304 4196468 140728728120368 140238649215536 140240011717250 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27480064 140728728126442 140728728126614 140728728126614 140728728129487 0
Current cumulated CPU time of completed processes: 0.00234 s
Current children cumulated CPU time: 15943.3 s
Current children cumulated vsize: 28233768 KiB
Current children cumulated memory: 25337308 KiB

[startup+2522 s]*
/proc/loadavg: 7.86 7.45 7.00 8/211 24620
/proc/meminfo: memFree=3389512/32770624 swapFree=66959228/67108860
[pid=24380] ppid=24375 vsize=28233768 memory=25337308 CPUtime=15946.4 cores=0-7
/proc/24380/stat : 24380 (java) S 24375 24378 23223 0 -1 1077944320 5019576 0 0 0 1586808 7833 0 0 20 0 20 0 420141300 28911378432 6334327 33554432000 4194304 4196468 140728728120368 140728728102912 140240011706103 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 27480064 140728728126442 140728728126614 140728728126614 140728728129487 0
/proc/24380/statm: 7058442 6334327 3515 1 0 7019544 0
[pid=24380/tid=24381] ppid=24375 vsize=28233768 memory=1398720917958146503 CPUtime=396.04 cores=0-7
/proc/24380/task/24381/stat : 24381 (java) S 24375 24378 23223 0 -1 1077944384 94945 0 0 0 39476 128 0 0 20 0 20 0 420141300 28911378432 6334327 33554432000 4194304 4196468 140728728120368 140240015943296 140240011716309 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27480064 140728728126442 140728728126614 140728728126614 140728728129487 0
[pid=24380/tid=24382] ppid=24375 vsize=28233768 memory=-7003737579269690708 CPUtime=1923.32 cores=0-7
/proc/24380/task/24382/stat : 24382 (java) R 24375 24378 23223 0 -1 4202560 554800 0 0 0 191312 1020 0 0 20 0 20 0 420141301 28911378432 6334327 33554432000 4194304 4196468 140728728120368 140239964326128 140240004334311 0 4 0 16800975 0 0 0 -1 3 0 0 77 0 0 6293624 6294260 27480064 140728728126442 140728728126614 140728728126614 140728728129487 0
[pid=24380/tid=24383] ppid=24375 vsize=28233768 memory=1556 CPUtime=1926.72 cores=0-7
/proc/24380/task/24383/stat : 24383 (java) R 24375 24378 23223 0 -1 4202560 579506 0 0 0 191731 941 0 0 20 0 20 0 420141301 28911378432 6334327 33554432000 4194304 4196468 140728728120368 140239963273328 140240004334311 0 4 0 16800975 0 0 0 -1 2 0 0 67 0 0 6293624 6294260 27480064 140728728126442 140728728126614 140728728126614 140728728129487 0
[pid=24380/tid=24384] ppid=24375 vsize=28233768 memory=928 CPUtime=1924.55 cores=0-7
/proc/24380/task/24384/stat : 24384 (java) R 24375 24378 23223 0 -1 4202560 428727 0 0 0 191513 942 0 0 20 0 20 0 420141301 28911378432 6334327 33554432000 4194304 4196468 140728728120368 140239962220528 140240004334311 0 4 0 16800975 0 0 0 -1 0 0 0 60 0 0 6293624 6294260 27480064 140728728126442 140728728126614 140728728126614 140728728129487 0
[pid=24380/tid=24385] ppid=24375 vsize=28233768 memory=1772 CPUtime=1926.04 cores=0-7
/proc/24380/task/24385/stat : 24385 (java) R 24375 24378 23223 0 -1 4202560 455979 0 0 0 191685 919 0 0 20 0 20 0 420141301 28911378432 6334327 33554432000 4194304 4196468 140728728120368 140239961167728 140240004334311 0 4 0 16800975 0 0 0 -1 5 0 0 66 0 0 6293624 6294260 27480064 140728728126442 140728728126614 140728728126614 140728728129487 0
[pid=24380/tid=24386] ppid=24375 vsize=28233768 memory=6791534058613427641 CPUtime=1926.61 cores=0-7
/proc/24380/task/24386/stat : 24386 (java) R 24375 24378 23223 0 -1 4202560 514498 0 0 0 191784 877 0 0 20 0 20 0 420141301 28911378432 6334327 33554432000 4194304 4196468 140728728120368 140239960115952 140240004334311 0 4 0 16800975 0 0 0 -1 6 0 0 65 0 0 6293624 6294260 27480064 140728728126442 140728728126614 140728728126614 140728728129487 0
[pid=24380/tid=24387] ppid=24375 vsize=28233768 memory=25337308 CPUtime=1925.64 cores=0-7
/proc/24380/task/24387/stat : 24387 (java) R 24375 24378 23223 0 -1 4202560 393869 0 0 0 191586 978 0 0 20 0 20 0 420141301 28911378432 6334327 33554432000 4194304 4196468 140728728120368 140239959063464 140240004334311 0 4 0 16800975 0 0 0 -1 7 0 0 57 0 0 6293624 6294260 27480064 140728728126442 140728728126614 140728728126614 140728728129487 0
[pid=24380/tid=24388] ppid=24375 vsize=28233768 memory=-9001734013606258791 CPUtime=1924.44 cores=0-7
/proc/24380/task/24388/stat : 24388 (java) R 24375 24378 23223 0 -1 4202560 444974 0 0 0 191461 983 0 0 20 0 20 0 420141301 28911378432 6334327 33554432000 4194304 4196468 140728728120368 140239958010968 140239996403855 0 4 0 16800975 0 0 0 -1 1 0 0 64 0 0 6293624 6294260 27480064 140728728126442 140728728126614 140728728126614 140728728129487 0
[pid=24380/tid=24389] ppid=24375 vsize=28233768 memory=7681905605394137914 CPUtime=1918.79 cores=0-7
/proc/24380/task/24389/stat : 24389 (java) R 24375 24378 23223 0 -1 4202560 341787 0 0 0 190929 950 0 0 20 0 20 0 420141301 28911378432 6334327 33554432000 4194304 4196468 140728728120368 140239956957552 140240004334311 0 4 0 16800975 0 0 0 -1 4 0 0 78 0 0 6293624 6294260 27480064 140728728126442 140728728126614 140728728126614 140728728129487 0
[pid=24380/tid=24390] ppid=24375 vsize=28233768 memory=6791534058613427641 CPUtime=148.68 cores=0-7
/proc/24380/task/24390/stat : 24390 (java) S 24375 24378 23223 0 -1 1077944384 1155841 0 0 0 14807 61 0 0 20 0 20 0 420141303 28911378432 6334327 33554432000 4194304 4196468 140728728120368 140238658687712 140240011716309 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27480064 140728728126442 140728728126614 140728728126614 140728728129487 0
[pid=24380/tid=24391] ppid=24375 vsize=28233768 memory=4100 CPUtime=0 cores=0-7
/proc/24380/task/24391/stat : 24391 (java) S 24375 24378 23223 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 20 0 420141303 28911378432 6334327 33554432000 4194304 4196468 140728728120368 140238657635424 140240011716309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27480064 140728728126442 140728728126614 140728728126614 140728728129487 0
[pid=24380/tid=24392] ppid=24375 vsize=28233768 memory=1398720917958146503 CPUtime=0 cores=0-7
/proc/24380/task/24392/stat : 24392 (java) S 24375 24378 23223 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 20 0 420141303 28911378432 6334327 33554432000 4194304 4196468 140728728120368 140238656582528 140240011716309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27480064 140728728126442 140728728126614 140728728126614 140728728129487 0
[pid=24380/tid=24393] ppid=24375 vsize=28233768 memory=-7003737579269690708 CPUtime=0 cores=0-7
/proc/24380/task/24393/stat : 24393 (java) S 24375 24378 23223 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420141306 28911378432 6334327 33554432000 4194304 4196468 140728728120368 140238655530480 140240011716309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27480064 140728728126442 140728728126614 140728728126614 140728728129487 0
[pid=24380/tid=24394] ppid=24375 vsize=28233768 memory=800 CPUtime=1.4 cores=0-7
/proc/24380/task/24394/stat : 24394 (java) S 24375 24378 23223 0 -1 1077944384 13294 0 0 0 139 1 0 0 20 0 20 0 420141306 28911378432 6334327 33554432000 4194304 4196468 140728728120368 140238654479264 140240011716309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27480064 140728728126442 140728728126614 140728728126614 140728728129487 0
[pid=24380/tid=24395] ppid=24375 vsize=28233768 memory=1452 CPUtime=1.22 cores=0-7
/proc/24380/task/24395/stat : 24395 (java) S 24375 24378 23223 0 -1 1077944384 11441 0 0 0 119 3 0 0 20 0 20 0 420141306 28911378432 6334327 33554432000 4194304 4196468 140728728120368 140238653426176 140240011716309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27480064 140728728126442 140728728126614 140728728126614 140728728129487 0
[pid=24380/tid=24396] ppid=24375 vsize=28233768 memory=25337308 CPUtime=1.36 cores=0-7
/proc/24380/task/24396/stat : 24396 (java) S 24375 24378 23223 0 -1 1077944384 15934 0 0 0 134 2 0 0 20 0 20 0 420141306 28911378432 6334327 33554432000 4194304 4196468 140728728120368 140238652373664 140240011716309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27480064 140728728126442 140728728126614 140728728126614 140728728129487 0
[pid=24380/tid=24397] ppid=24375 vsize=28233768 memory=1216 CPUtime=0.62 cores=0-7
/proc/24380/task/24397/stat : 24397 (java) S 24375 24378 23223 0 -1 1077944384 9027 0 0 0 60 2 0 0 20 0 20 0 420141306 28911378432 6334327 33554432000 4194304 4196468 140728728120368 140238651320864 140240011716309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27480064 140728728126442 140728728126614 140728728126614 140728728129487 0
[pid=24380/tid=24398] ppid=24375 vsize=28233768 memory=984 CPUtime=0 cores=0-7
/proc/24380/task/24398/stat : 24398 (java) S 24375 24378 23223 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420141306 28911378432 6334327 33554432000 4194304 4196468 140728728120368 140238650268256 140240011716309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27480064 140728728126442 140728728126614 140728728126614 140728728129487 0
[pid=24380/tid=24399] ppid=24375 vsize=28233768 memory=1436 CPUtime=0.84 cores=0-7
/proc/24380/task/24399/stat : 24399 (java) S 24375 24378 23223 0 -1 1077944384 3603 0 0 0 45 39 0 0 20 0 20 0 420141306 28911378432 6334327 33554432000 4194304 4196468 140728728120368 140238649215536 140240011717250 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27480064 140728728126442 140728728126614 140728728126614 140728728129487 0
Current cumulated CPU time of completed processes: 0.00234 s
Current children cumulated CPU time: 15946.4 s
Current children cumulated vsize: 28233768 KiB
Current children cumulated memory: 25337308 KiB

Child ended because it received signal 9 (SIGKILL)
Real time (s): 2522.14
CPU time (s): 15946.6
CPU user time (s): 15868.1
CPU system time (s): 78.4562
CPU usage (%): 632.265
Max. virtual memory (cumulated for all children) (KiB): 28346896
Max. memory (cumulated for all children) (KiB): 25338760

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 15868.1
system time used= 78.4562
maximum resident set size= 25337540
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5020124
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 373731
involuntary context switches= 1027252


# summary of solver processes directly reported to runsolver:
#   pid: 24378,24380
#   total CPU time (s): 15946.6
#   total CPU user time (s): 15868.1
#   total CPU system time (s): 78.4562

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.0617 second user time and 24.7367 second system time

The end

Launcher Data 

Begin job on node124 at 2019-09-14 08:19:31
IDJOB=4393549
IDBENCH=138449
IDSOLVER=2841
FILE ID=node124/4393549-1568442011
RUNJOBID= node124-1568436778-23250
PBS_JOBID= 21702319
Free space on /tmp= 61812 MiB

SOLVER NAME= choco-solver parallel 2019-06-14
BENCH NAME= XCSP17/SuperSolutions/SuperSolutions-Taillard-os10/SuperTaillard-os-10-26.xml
COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4393549-1568442011/watcher-4393549-1568442011 -o /tmp/evaluation-result-4393549-1568442011/solver-4393549-1568442011 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node124-1568436778-23250 --watchdog 2580  xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 809473412 HOME/instance-4393549-1568442011.xml

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

MD5SUM BENCH= 163dd1c4311ae2a810c887bcbec28782
RANDOM SEED=809473412

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        28762528 kB
MemAvailable:   31848788 kB
Buffers:          198796 kB
Cached:          3168560 kB
SwapCached:        45884 kB
Active:          1000644 kB
Inactive:        2417540 kB
Active(anon):       3748 kB
Inactive(anon):    89160 kB
Active(file):     996896 kB
Inactive(file):  2328380 kB
Unevictable:      107464 kB
Mlocked:          107464 kB
SwapTotal:      67108860 kB
SwapFree:       66959228 kB
Dirty:             26660 kB
Writeback:             0 kB
AnonPages:        114044 kB
Mapped:            44360 kB
Shmem:             32748 kB
Slab:             183540 kB
SReclaimable:     153636 kB
SUnreclaim:        29904 kB
KernelStack:        3376 kB
PageTables:         5224 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     498504 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     69632 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      112000 kB
DirectMap2M:    33433600 kB

Free space on /tmp at the end= 61784 MiB
End job on node124 at 2019-09-14 09:01:33