Trace number 4254757

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
choco-solver 4.0.5 par (2017-07-26)? (TO) 1920.1899 241.435

General information on the benchmark

NameScheduling/Scheduling-fs-taillard/
Taillard-fs-050-10-9.xml
MD5SUMb9411981d46c6b6e2ab3102ec0acde87
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables550
Number of constraints560
Number of domains1
Minimum domain size3191
Maximum domain size3191
Distribution of domain sizes[{"size":3191,"count":550}]
Minimum variable degree2
Maximum variable degree3
Distribution of variable degrees[{"degree":2,"count":50},{"degree":3,"count":500}]
Minimum constraint arity1
Maximum constraint arity50
Distribution of constraint arities[{"arity":1,"count":50},{"arity":2,"count":500},{"arity":50,"count":10}]
Number of extensional constraints0
Number of intensional constraints550
Distribution of constraint types[{"type":"intension","count":550},{"type":"noOverlap","count":10}]
Optimization problemYES
Type of objectivemin MAXIMUM

Solver Data 

0.00/0.06	c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4254757-1501673022.xml"  -tl '1920s' -p 8 -x 0
0.00/0.26	c [HOME/instance-4254757-1501673022.xml, -tl, 1920s, -p, 8, -x, 0]
0.00/0.32	c 8 solvers in parallel
0.00/0.38	c parse instance...
0.00/1.06	c solve instance...
1920.19/241.46	s UNKNOWN
1920.19/241.46	c Unexpected resolution interruption!

Verifier Data


Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4254757-1501673022/watcher-4254757-1501673022 -o /tmp/evaluation-result-4254757-1501673022/solver-4254757-1501673022 -C 1920 -W 264 -M 31000 --bin-var /tmp/runsolver-exch-node130-1501661057-2426 --watchdog 324 ./xcsp3-exec -dir HOME -tl 1920 -p 8 -ml 22000 -tdir HOME -seed 1588625159 HOME/instance-4254757-1501673022.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1920 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1950 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 264 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
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 0.77 2.91 4.95 2/172 7818
/proc/meminfo: memFree=31816260/32770624 swapFree=0/299524
[pid=7818] ppid=7815 vsize=23672 CPUtime=0 cores=0-7
/proc/7818/stat : 7818 (runsolver) D 7815 7818 2334 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 1129210 24240128 108 18446744073709551615 4194304 4338465 140723909729792 140723909727432 140259191063255 0 0 1 24578 18446744071580418449 0 0 17 5 0 0 0 0 0 6438912 6441760 19148800 140723909734485 140723909734981 140723909734981 140723909738442 0
/proc/7818/statm: 5918 108 54 36 0 2156 0

[startup+0.10014 s]
/proc/loadavg: 0.77 2.91 4.95 2/172 7818
/proc/meminfo: memFree=31816260/32770624 swapFree=0/299524
[pid=7818] ppid=7815 vsize=9512 CPUtime=0 cores=0-7
/proc/7818/stat : 7818 (xcsp3-exec) S 7815 7818 2334 0 -1 4202496 507 0 0 0 0 0 0 0 20 0 1 0 1129210 9740288 344 18446744073709551615 4194304 5098028 140737284750352 140737284748456 139873025679996 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 37900288 140737284751764 140737284751974 140737284751974 140737284755435 0
/proc/7818/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.200304 s]
/proc/loadavg: 0.77 2.91 4.95 2/172 7818
/proc/meminfo: memFree=31816260/32770624 swapFree=0/299524
[pid=7818] ppid=7815 vsize=9512 CPUtime=0 cores=0-7
/proc/7818/stat : 7818 (xcsp3-exec) S 7815 7818 2334 0 -1 4202496 507 0 0 0 0 0 0 0 20 0 1 0 1129210 9740288 344 18446744073709551615 4194304 5098028 140737284750352 140737284748456 139873025679996 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 37900288 140737284751764 140737284751974 140737284751974 140737284755435 0
/proc/7818/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.303333 s]
/proc/loadavg: 0.77 2.91 4.95 2/172 7818
/proc/meminfo: memFree=31816260/32770624 swapFree=0/299524
[pid=7818] ppid=7815 vsize=9512 CPUtime=0 cores=0-7
/proc/7818/stat : 7818 (xcsp3-exec) S 7815 7818 2334 0 -1 4202496 507 0 0 0 0 0 0 0 20 0 1 0 1129210 9740288 344 18446744073709551615 4194304 5098028 140737284750352 140737284748456 139873025679996 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 37900288 140737284751764 140737284751974 140737284751974 140737284755435 0
/proc/7818/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.700524 s]
/proc/loadavg: 0.77 2.91 4.95 2/172 7818
/proc/meminfo: memFree=31816260/32770624 swapFree=0/299524
[pid=7818] ppid=7815 vsize=9512 CPUtime=0 cores=0-7
/proc/7818/stat : 7818 (xcsp3-exec) S 7815 7818 2334 0 -1 4202496 507 0 0 0 0 0 0 0 20 0 1 0 1129210 9740288 344 18446744073709551615 4194304 5098028 140737284750352 140737284748456 139873025679996 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 37900288 140737284751764 140737284751974 140737284751974 140737284755435 0
/proc/7818/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+1.50548 s]
/proc/loadavg: 0.79 2.88 4.93 2/200 7846
/proc/meminfo: memFree=31624340/32770624 swapFree=0/299272
[pid=7818] ppid=7815 vsize=9512 CPUtime=0 cores=0-7
/proc/7818/stat : 7818 (xcsp3-exec) S 7815 7818 2334 0 -1 4202496 507 0 0 0 0 0 0 0 20 0 1 0 1129210 9740288 344 18446744073709551615 4194304 5098028 140737284750352 140737284748456 139873025679996 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 37900288 140737284751764 140737284751974 140737284751974 140737284755435 0
/proc/7818/statm: 2378 344 289 221 0 87 0
[pid=7820] ppid=7818 vsize=26534456 CPUtime=5.97 cores=0-7
/proc/7820/stat : 7820 (java) S 7818 7818 2334 0 -1 1077944320 21641 0 0 0 583 14 0 0 20 0 28 0 1129216 27171282944 55566 18446744073709551615 4194304 4196468 140724391216000 140724391198544 139738451545847 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26259456 140724391223762 140724391223938 140724391223938 140724391227343 0
/proc/7820/statm: 6633614 55566 3209 1 0 6621915 0
[pid=7820/tid=7821] ppid=7818 vsize=26534456 CPUtime=0.93 cores=0-7
/proc/7820/task/7821/stat : 7821 (java) S 7818 7818 2334 0 -1 1077944384 9129 0 0 0 88 5 0 0 20 0 28 0 1129216 27171282944 55566 18446744073709551615 4194304 4196468 140724391216000 139738455786624 139738451556053 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 5 0 0 6293624 6294260 26259456 140724391223762 140724391223938 140724391223938 140724391227343 0
[pid=7820/tid=7822] ppid=7818 vsize=26534456 CPUtime=0.01 cores=0-7
/proc/7820/task/7822/stat : 7822 (java) S 7818 7818 2334 0 -1 1077944384 23 0 0 0 1 0 0 0 20 0 28 0 1129217 27171282944 55566 18446744073709551615 4194304 4196468 140724391216000 139738378472080 139738451556053 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26259456 140724391223762 140724391223938 140724391223938 140724391227343 0
[pid=7820/tid=7823] ppid=7818 vsize=26534456 CPUtime=0.01 cores=0-7
/proc/7820/task/7823/stat : 7823 (java) S 7818 7818 2334 0 -1 1077944384 20 0 0 0 1 0 0 0 20 0 28 0 1129217 27171282944 55566 18446744073709551615 4194304 4196468 140724391216000 139738377419280 139738451556053 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26259456 140724391223762 140724391223938 140724391223938 140724391227343 0
[pid=7820/tid=7824] ppid=7818 vsize=26534456 CPUtime=0 cores=0-7
/proc/7820/task/7824/stat : 7824 (java) S 7818 7818 2334 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 28 0 1129217 27171282944 55566 18446744073709551615 4194304 4196468 140724391216000 139738376366480 139738451556053 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26259456 140724391223762 140724391223938 140724391223938 140724391227343 0
[pid=7820/tid=7825] ppid=7818 vsize=26534456 CPUtime=0 cores=0-7
/proc/7820/task/7825/stat : 7825 (java) S 7818 7818 2334 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 28 0 1129217 27171282944 55566 18446744073709551615 4194304 4196468 140724391216000 139738375313680 139738451556053 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26259456 140724391223762 140724391223938 140724391223938 140724391227343 0
[pid=7820/tid=7826] ppid=7818 vsize=26534456 CPUtime=0.01 cores=0-7
/proc/7820/task/7826/stat : 7826 (java) S 7818 7818 2334 0 -1 1077944384 20 0 0 0 1 0 0 0 20 0 28 0 1129217 27171282944 55566 18446744073709551615 4194304 4196468 140724391216000 139738374261904 139738451556053 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26259456 140724391223762 140724391223938 140724391223938 140724391227343 0
[pid=7820/tid=7827] ppid=7818 vsize=26534456 CPUtime=0.01 cores=0-7
/proc/7820/task/7827/stat : 7827 (java) S 7818 7818 2334 0 -1 1077944384 15 0 0 0 1 0 0 0 20 0 28 0 1129217 27171282944 55566 18446744073709551615 4194304 4196468 140724391216000 139738373209104 139738451556053 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26259456 140724391223762 140724391223938 140724391223938 140724391227343 0
[pid=7820/tid=7828] ppid=7818 vsize=26534456 CPUtime=0.01 cores=0-7
/proc/7820/task/7828/stat : 7828 (java) S 7818 7818 2334 0 -1 1077944384 18 0 0 0 1 0 0 0 20 0 28 0 1129217 27171282944 55566 18446744073709551615 4194304 4196468 140724391216000 139738007755664 139738451556053 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26259456 140724391223762 140724391223938 140724391223938 140724391227343 0
[pid=7820/tid=7829] ppid=7818 vsize=26534456 CPUtime=0.01 cores=0-7
/proc/7820/task/7829/stat : 7829 (java) S 7818 7818 2334 0 -1 1077944384 21 0 0 0 1 0 0 0 20 0 28 0 1129217 27171282944 55566 18446744073709551615 4194304 4196468 140724391216000 139738006702864 139738451556053 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26259456 140724391223762 140724391223938 140724391223938 140724391227343 0
[pid=7820/tid=7830] ppid=7818 vsize=26534456 CPUtime=0 cores=0-7
/proc/7820/task/7830/stat : 7830 (java) S 7818 7818 2334 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 1129218 27171282944 55566 18446744073709551615 4194304 4196468 140724391216000 139737717283184 139738451556994 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26259456 140724391223762 140724391223938 140724391223938 140724391227343 0
[pid=7820/tid=7831] ppid=7818 vsize=26534456 CPUtime=0 cores=0-7
/proc/7820/task/7831/stat : 7831 (java) S 7818 7818 2334 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 1129219 27171282944 55566 18446744073709551615 4194304 4196468 140724391216000 139737716229216 139738451556053 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26259456 140724391223762 140724391223938 140724391223938 140724391227343 0
[pid=7820/tid=7832] ppid=7818 vsize=26534456 CPUtime=0 cores=0-7
/proc/7820/task/7832/stat : 7832 (java) S 7818 7818 2334 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 1129219 27171282944 55566 18446744073709551615 4194304 4196468 140724391216000 139737715176304 139738451556053 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26259456 140724391223762 140724391223938 140724391223938 140724391227343 0
[pid=7820/tid=7833] ppid=7818 vsize=26534456 CPUtime=0 cores=0-7
/proc/7820/task/7833/stat : 7833 (java) S 7818 7818 2334 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 1129221 27171282944 55566 18446744073709551615 4194304 4196468 140724391216000 139737714124624 139738451564443 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26259456 140724391223762 140724391223938 140724391223938 140724391227343 0
[pid=7820/tid=7834] ppid=7818 vsize=26534456 CPUtime=0.55 cores=0-7
/proc/7820/task/7834/stat : 7834 (java) R 7818 7818 2334 0 -1 4202560 1838 0 0 0 55 0 0 0 20 0 28 0 1129221 27171282944 55566 18446744073709551615 4194304 4196468 140724391216000 139737713059320 139738435942548 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26259456 140724391223762 140724391223938 140724391223938 140724391227343 0
[pid=7820/tid=7835] ppid=7818 vsize=26534456 CPUtime=0.74 cores=0-7
/proc/7820/task/7835/stat : 7835 (java) R 7818 7818 2334 0 -1 4202560 2730 0 0 0 73 1 0 0 20 0 28 0 1129221 27171282944 55566 18446744073709551615 4194304 4196468 140724391216000 139737712006504 139738443782974 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26259456 140724391223762 140724391223938 140724391223938 140724391227343 0
[pid=7820/tid=7836] ppid=7818 vsize=26534456 CPUtime=0.52 cores=0-7
/proc/7820/task/7836/stat : 7836 (java) D 7818 7818 2334 0 -1 4202560 2366 0 0 0 52 0 0 0 20 0 28 0 1129221 27171282944 55566 18446744073709551615 4194304 4196468 140724391216000 139737710947752 139738444262999 0 4 1 16800974 18446744071582151463 0 0 -1 6 0 0 0 0 0 6293624 6294260 26259456 140724391223762 140724391223938 140724391223938 140724391227343 0
[pid=7820/tid=7837] ppid=7818 vsize=26534456 CPUtime=0.59 cores=0-7
/proc/7820/task/7837/stat : 7837 (java) R 7818 7818 2334 0 -1 4202560 3185 0 0 0 58 1 0 0 20 0 28 0 1129221 27171282944 55566 18446744073709551615 4194304 4196468 140724391216000 139737709912568 139738430681660 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26259456 140724391223762 140724391223938 140724391223938 140724391227343 0
[pid=7820/tid=7838] ppid=7818 vsize=26534456 CPUtime=0 cores=0-7
/proc/7820/task/7838/stat : 7838 (java) S 7818 7818 2334 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 1129222 27171282944 55566 18446744073709551615 4194304 4196468 140724391216000 139737708862048 139738451556053 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26259456 140724391223762 140724391223938 140724391223938 140724391227343 0
[pid=7820/tid=7839] ppid=7818 vsize=26534456 CPUtime=0 cores=0-7
/proc/7820/task/7839/stat : 7839 (java) S 7818 7818 2334 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 1129227 27171282944 55566 18446744073709551615 4194304 4196468 140724391216000 139737707809328 139738451556994 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26259456 140724391223762 140724391223938 140724391223938 140724391227343 0
[pid=7820/tid=7840] ppid=7818 vsize=26534456 CPUtime=0.29 cores=0-7
/proc/7820/task/7840/stat : 7840 (java) R 7818 7818 2334 0 -1 4202560 313 0 0 0 29 0 0 0 20 0 28 0 1129317 27171282944 55566 18446744073709551615 4194304 4196468 140724391216000 139737701892248 139738059533767 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26259456 140724391223762 140724391223938 140724391223938 140724391227343 0
[pid=7820/tid=7841] ppid=7818 vsize=26534456 CPUtime=0.29 cores=0-7
/proc/7820/task/7841/stat : 7841 (java) R 7818 7818 2334 0 -1 4202560 52 0 0 0 29 0 0 0 20 0 28 0 1129318 27171282944 55566 18446744073709551615 4194304 4196468 140724391216000 139736709057504 139738059534675 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26259456 140724391223762 140724391223938 140724391223938 140724391227343 0
[pid=7820/tid=7842] ppid=7818 vsize=26534456 CPUtime=0.28 cores=0-7
/proc/7820/task/7842/stat : 7842 (java) R 7818 7818 2334 0 -1 4202560 48 0 0 0 28 0 0 0 20 0 28 0 1129318 27171282944 55566 18446744073709551615 4194304 4196468 140724391216000 139736708009216 139738059533121 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26259456 140724391223762 140724391223938 140724391223938 140724391227343 0
[pid=7820/tid=7843] ppid=7818 vsize=26534456 CPUtime=0.31 cores=0-7
/proc/7820/task/7843/stat : 7843 (java) R 7818 7818 2334 0 -1 4202560 74 0 0 0 31 0 0 0 20 0 28 0 1129318 27171282944 55566 18446744073709551615 4194304 4196468 140724391216000 139736706955712 139738059534675 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26259456 140724391223762 140724391223938 140724391223938 140724391227343 0
[pid=7820/tid=7844] ppid=7818 vsize=26534456 CPUtime=0.34 cores=0-7
/proc/7820/task/7844/stat : 7844 (java) R 7818 7818 2334 0 -1 4202560 286 0 0 0 34 0 0 0 20 0 28 0 1129318 27171282944 55566 18446744073709551615 4194304 4196468 140724391216000 139736705903800 139738059534675 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26259456 140724391223762 140724391223938 140724391223938 140724391227343 0
[pid=7820/tid=7845] ppid=7818 vsize=26534456 CPUtime=0.31 cores=0-7
/proc/7820/task/7845/stat : 7845 (java) R 7818 7818 2334 0 -1 4202560 30 0 0 0 31 0 0 0 20 0 28 0 1129318 27171282944 55566 18446744073709551615 4194304 4196468 140724391216000 139736704848472 139738059534045 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26259456 140724391223762 140724391223938 140724391223938 140724391227343 0
[pid=7820/tid=7846] ppid=7818 vsize=26534456 CPUtime=0.3 cores=0-7
/proc/7820/task/7846/stat : 7846 (java) R 7818 7818 2334 0 -1 4202560 27 0 0 0 30 0 0 0 20 0 28 0 1129318 27171282944 55566 18446744073709551615 4194304 4196468 140724391216000 139736703795336 139738059533519 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26259456 140724391223762 140724391223938 140724391223938 140724391227343 0
[pid=7820/tid=7847] ppid=7818 vsize=26534456 CPUtime=0.3 cores=0-7
/proc/7820/task/7847/stat : 7847 (java) R 7818 7818 2334 0 -1 4202560 45 0 0 0 30 0 0 0 20 0 28 0 1129320 27171282944 55566 18446744073709551615 4194304 4196468 140724391216000 139736702742144 139738059534675 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26259456 140724391223762 140724391223938 140724391223938 140724391227343 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 26543968

[startup+3.10449 s]
/proc/loadavg: 0.79 2.88 4.93 12/201 7847
/proc/meminfo: memFree=31579844/32770624 swapFree=0/299272
[pid=7818] ppid=7815 vsize=9512 CPUtime=0 cores=0-7
/proc/7818/stat : 7818 (xcsp3-exec) S 7815 7818 2334 0 -1 4202496 507 0 0 0 0 0 0 0 20 0 1 0 1129210 9740288 344 18446744073709551615 4194304 5098028 140737284750352 140737284748456 139873025679996 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 37900288 140737284751764 140737284751974 140737284751974 140737284755435 0
/proc/7818/statm: 2378 344 289 221 0 87 0
[pid=7820] ppid=7818 vsize=26534456 CPUtime=18.69 cores=0-7
/proc/7820/stat : 7820 (java) S 7818 7818 2334 0 -1 1077944320 29463 0 0 0 1854 15 0 0 20 0 28 0 1129216 27171282944 62590 18446744073709551615 4194304 4196468 140724391216000 140724391198544 139738451545847 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26259456 140724391223762 140724391223938 140724391223938 140724391227343 0
/proc/7820/statm: 6633614 62590 3220 1 0 6621915 0
[pid=7820/tid=7821] ppid=7818 vsize=26534456 CPUtime=0.93 cores=0-7
/proc/7820/task/7821/stat : 7821 (java) S 7818 7818 2334 0 -1 1077944384 9129 0 0 0 88 5 0 0 20 0 28 0 1129216 27171282944 62590 18446744073709551615 4194304 4196468 140724391216000 139738455786624 139738451556053 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 5 0 0 6293624 6294260 26259456 140724391223762 140724391223938 140724391223938 140724391227343 0
[pid=7820/tid=7822] ppid=7818 vsize=26534456 CPUtime=0.01 cores=0-7
/proc/7820/task/7822/stat : 7822 (java) S 7818 7818 2334 0 -1 1077944384 23 0 0 0 1 0 0 0 20 0 28 0 1129217 27171282944 62590 18446744073709551615 4194304 4196468 140724391216000 139738378472080 139738451556053 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26259456 140724391223762 140724391223938 140724391223938 140724391227343 0
[pid=7820/tid=7823] ppid=7818 vsize=26534456 CPUtime=0.01 cores=0-7
/proc/7820/task/7823/stat : 7823 (java) S 7818 7818 2334 0 -1 1077944384 20 0 0 0 1 0 0 0 20 0 28 0 1129217 27171282944 62590 18446744073709551615 4194304 4196468 140724391216000 139738377419280 139738451556053 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26259456 140724391223762 140724391223938 140724391223938 140724391227343 0
[pid=7820/tid=7824] ppid=7818 vsize=26534456 CPUtime=0 cores=0-7
/proc/7820/task/7824/stat : 7824 (java) S 7818 7818 2334 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 28 0 1129217 27171282944 62590 18446744073709551615 4194304 4196468 140724391216000 139738376366480 139738451556053 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26259456 140724391223762 140724391223938 140724391223938 140724391227343 0
[pid=7820/tid=7825] ppid=7818 vsize=26534456 CPUtime=0 cores=0-7
/proc/7820/task/7825/stat : 7825 (java) S 7818 7818 2334 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 28 0 1129217 27171282944 62590 18446744073709551615 4194304 4196468 140724391216000 139738375313680 139738451556053 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26259456 140724391223762 140724391223938 140724391223938 140724391227343 0
[pid=7820/tid=7826] ppid=7818 vsize=26534456 CPUtime=0.01 cores=0-7
/proc/7820/task/7826/stat : 7826 (java) S 7818 7818 2334 0 -1 1077944384 20 0 0 0 1 0 0 0 20 0 28 0 1129217 27171282944 62590 18446744073709551615 4194304 4196468 140724391216000 139738374261904 139738451556053 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26259456 140724391223762 140724391223938 140724391223938 140724391227343 0
[pid=7820/tid=7827] ppid=7818 vsize=26534456 CPUtime=0.01 cores=0-7
/proc/7820/task/7827/stat : 7827 (java) S 7818 7818 2334 0 -1 1077944384 15 0 0 0 1 0 0 0 20 0 28 0 1129217 27171282944 62590 18446744073709551615 4194304 4196468 140724391216000 139738373209104 139738451556053 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26259456 140724391223762 140724391223938 140724391223938 140724391227343 0
[pid=7820/tid=7828] ppid=7818 vsize=26534456 CPUtime=0.01 cores=0-7
/proc/7820/task/7828/stat : 7828 (java) S 7818 7818 2334 0 -1 1077944384 18 0 0 0 1 0 0 0 20 0 28 0 1129217 27171282944 62590 18446744073709551615 4194304 4196468 140724391216000 139738007755664 139738451556053 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26259456 140724391223762 140724391223938 140724391223938 140724391227343 0
[pid=7820/tid=7829] ppid=7818 vsize=26534456 CPUtime=0.01 cores=0-7
/proc/7820/task/7829/stat : 7829 (java) S 7818 7818 2334 0 -1 1077944384 21 0 0 0 1 0 0 0 20 0 28 0 1129217 27171282944 62590 18446744073709551615 4194304 4196468 140724391216000 139738006702864 139738451556053 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26259456 140724391223762 140724391223938 140724391223938 140724391227343 0
[pid=7820/tid=7830] ppid=7818 vsize=26534456 CPUtime=0 cores=0-7
/proc/7820/task/7830/stat : 7830 (java) S 7818 7818 2334 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 1129218 27171282944 62590 18446744073709551615 4194304 4196468 140724391216000 139737717283184 139738451556994 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26259456 140724391223762 140724391223938 140724391223938 140724391227343 0
[pid=7820/tid=7831] ppid=7818 vsize=26534456 CPUtime=0 cores=0-7
/proc/7820/task/7831/stat : 7831 (java) S 7818 7818 2334 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 1129219 27171282944 62590 18446744073709551615 4194304 4196468 140724391216000 139737716229216 139738451556053 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26259456 140724391223762 140724391223938 140724391223938 140724391227343 0
[pid=7820/tid=7832] ppid=7818 vsize=26534456 CPUtime=0 cores=0-7
/proc/7820/task/7832/stat : 7832 (java) S 7818 7818 2334 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 1129219 27171282944 62590 18446744073709551615 4194304 4196468 140724391216000 139737715176304 139738451556053 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26259456 140724391223762 140724391223938 140724391223938 140724391227343 0
[pid=7820/tid=7833] ppid=7818 vsize=26534456 CPUtime=0 cores=0-7
/proc/7820/task/7833/stat : 7833 (java) S 7818 7818 2334 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 1129221 27171282944 62590 18446744073709551615 4194304 4196468 140724391216000 139737714124624 139738451564443 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26259456 140724391223762 140724391223938 140724391223938 140724391227343 0
[pid=7820/tid=7834] ppid=7818 vsize=26534456 CPUtime=1.64 cores=0-7
/proc/7820/task/7834/stat : 7834 (java) R 7818 7818 2334 0 -1 4202560 4562 0 0 0 163 1 0 0 20 0 28 0 1129221 27171282944 62590 18446744073709551615 4194304 4196468 140724391216000 139737713059104 139738436653525 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26259456 140724391223762 140724391223938 140724391223938 140724391227343 0
[pid=7820/tid=7835] ppid=7818 vsize=26534456 CPUtime=1.79 cores=0-7
/proc/7820/task/7835/stat : 7835 (java) R 7818 7818 2334 0 -1 4202560 4796 0 0 0 178 1 0 0 20 0 28 0 1129221 27171282944 62590 18446744073709551615 4194304 4196468 140724391216000 139737712009008 139738435032710 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26259456 140724391223762 140724391223938 140724391223938 140724391227343 0
[pid=7820/tid=7836] ppid=7818 vsize=26534456 CPUtime=1.69 cores=0-7
/proc/7820/task/7836/stat : 7836 (java) R 7818 7818 2334 0 -1 4202560 5055 0 0 0 168 1 0 0 20 0 28 0 1129221 27171282944 62590 18446744073709551615 4194304 4196468 140724391216000 139737710953440 139738431376844 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26259456 140724391223762 140724391223938 140724391223938 140724391227343 0
[pid=7820/tid=7837] ppid=7818 vsize=26534456 CPUtime=0.66 cores=0-7
/proc/7820/task/7837/stat : 7837 (java) R 7818 7818 2334 0 -1 1077944384 3516 0 0 0 65 1 0 0 20 0 28 0 1129221 27171282944 62590 18446744073709551615 4194304 4196468 140724391216000 139737709914608 139738451556994 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26259456 140724391223762 140724391223938 140724391223938 140724391227343 0
[pid=7820/tid=7838] ppid=7818 vsize=26534456 CPUtime=0 cores=0-7
/proc/7820/task/7838/stat : 7838 (java) S 7818 7818 2334 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 1129222 27171282944 62590 18446744073709551615 4194304 4196468 140724391216000 139737708862048 139738451556053 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26259456 140724391223762 140724391223938 140724391223938 140724391227343 0
[pid=7820/tid=7839] ppid=7818 vsize=26534456 CPUtime=0 cores=0-7
/proc/7820/task/7839/stat : 7839 (java) S 7818 7818 2334 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 1129227 27171282944 62590 18446744073709551615 4194304 4196468 140724391216000 139737707809328 139738451556994 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26259456 140724391223762 140724391223938 140724391223938 140724391227343 0
[pid=7820/tid=7840] ppid=7818 vsize=26534456 CPUtime=1.32 cores=0-7
/proc/7820/task/7840/stat : 7840 (java) R 7818 7818 2334 0 -1 4202560 313 0 0 0 132 0 0 0 20 0 28 0 1129317 27171282944 62590 18446744073709551615 4194304 4196468 140724391216000 139737701896104 139738059418012 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26259456 140724391223762 140724391223938 140724391223938 140724391227343 0
[pid=7820/tid=7841] ppid=7818 vsize=26534456 CPUtime=1.43 cores=0-7
/proc/7820/task/7841/stat : 7841 (java) R 7818 7818 2334 0 -1 4202560 52 0 0 0 143 0 0 0 20 0 28 0 1129318 27171282944 62590 18446744073709551615 4194304 4196468 140724391216000 139736709056200 139738061108503 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26259456 140724391223762 140724391223938 140724391223938 140724391227343 0
[pid=7820/tid=7842] ppid=7818 vsize=26534456 CPUtime=1.27 cores=0-7
/proc/7820/task/7842/stat : 7842 (java) R 7818 7818 2334 0 -1 4202560 51 0 0 0 127 0 0 0 20 0 28 0 1129318 27171282944 62590 18446744073709551615 4194304 4196468 140724391216000 139736708007816 139738061108596 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26259456 140724391223762 140724391223938 140724391223938 140724391227343 0
[pid=7820/tid=7843] ppid=7818 vsize=26534456 CPUtime=1.62 cores=0-7
/proc/7820/task/7843/stat : 7843 (java) R 7818 7818 2334 0 -1 4202560 75 0 0 0 162 0 0 0 20 0 28 0 1129318 27171282944 62590 18446744073709551615 4194304 4196468 140724391216000 139736706951456 139738451557782 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26259456 140724391223762 140724391223938 140724391223938 140724391227343 0
[pid=7820/tid=7844] ppid=7818 vsize=26534456 CPUtime=1.42 cores=0-7
/proc/7820/task/7844/stat : 7844 (java) R 7818 7818 2334 0 -1 4202560 288 0 0 0 142 0 0 0 20 0 28 0 1129318 27171282944 62590 18446744073709551615 4194304 4196468 140724391216000 139736705900904 139738059416590 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26259456 140724391223762 140724391223938 140724391223938 140724391227343 0
[pid=7820/tid=7845] ppid=7818 vsize=26534456 CPUtime=1.62 cores=0-7
/proc/7820/task/7845/stat : 7845 (java) R 7818 7818 2334 0 -1 4202560 33 0 0 0 162 0 0 0 20 0 28 0 1129318 27171282944 62590 18446744073709551615 4194304 4196468 140724391216000 139736704850584 139738058932098 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26259456 140724391223762 140724391223938 140724391223938 140724391227343 0
[pid=7820/tid=7846] ppid=7818 vsize=26534456 CPUtime=1.45 cores=0-7
/proc/7820/task/7846/stat : 7846 (java) R 7818 7818 2334 0 -1 4202560 30 0 0 0 145 0 0 0 20 0 28 0 1129318 27171282944 62590 18446744073709551615 4194304 4196468 140724391216000 139736703797136 139738061107426 0 4 1 16800974 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 26259456 140724391223762 140724391223938 140724391223938 140724391227343 0
[pid=7820/tid=7847] ppid=7818 vsize=26534456 CPUtime=1.64 cores=0-7
/proc/7820/task/7847/stat : 7847 (java) R 7818 7818 2334 0 -1 1077944384 45 0 0 0 164 0 0 0 20 0 28 0 1129320 27171282944 62590 18446744073709551615 4194304 4196468 140724391216000 139736702739616 139738451556053 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26259456 140724391223762 140724391223938 140724391223938 140724391227343 0
Current children cumulated CPU time (s) 18.69
Current children cumulated vsize (KiB) 26543968

[startup+6.30149 s]
/proc/loadavg: 1.13 2.91 4.93 9/201 7847
/proc/meminfo: memFree=31575676/32770624 swapFree=0/299272

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

[pid=7820/tid=7846] ppid=7818 vsize=26534456 CPUtime=159.86 cores=0-7
/proc/7820/task/7846/stat : 7846 (java) R 7818 7818 2334 0 -1 4202560 821 0 0 0 15985 1 0 0 20 0 28 0 1129318 27171282944 111538 18446744073709551615 4194304 4196468 140724391216000 139736703795064 139738059483023 0 4 1 16800974 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 26259456 140724391223762 140724391223938 140724391223938 140724391227343 0
[pid=7820/tid=7847] ppid=7818 vsize=26534456 CPUtime=159.95 cores=0-7
/proc/7820/task/7847/stat : 7847 (java) R 7818 7818 2334 0 -1 4202560 1810 0 0 0 15993 2 0 0 20 0 28 0 1129320 27171282944 111538 18446744073709551615 4194304 4196468 140724391216000 139736702742024 139738059483019 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26259456 140724391223762 140724391223938 140724391223938 140724391227343 0
Current children cumulated CPU time (s) 1288.69
Current children cumulated vsize (KiB) 26543968

[startup+222.307 s]
/proc/loadavg: 7.86 5.57 5.58 9/203 7860
/proc/meminfo: memFree=31367972/32770624 swapFree=0/299340
[pid=7818] ppid=7815 vsize=9512 CPUtime=0 cores=0-7
/proc/7818/stat : 7818 (xcsp3-exec) S 7815 7818 2334 0 -1 4202496 507 0 0 0 0 0 0 0 20 0 1 0 1129210 9740288 344 18446744073709551615 4194304 5098028 140737284750352 140737284748456 139873025679996 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 37900288 140737284751764 140737284751974 140737284751974 140737284755435 0
/proc/7818/statm: 2378 344 289 221 0 87 0
[pid=7820] ppid=7818 vsize=26534456 CPUtime=1767.73 cores=0-7
/proc/7820/stat : 7820 (java) S 7818 7818 2334 0 -1 1077944320 111255 0 0 0 176700 73 0 0 20 0 28 0 1129216 27171282944 115249 18446744073709551615 4194304 4196468 140724391216000 140724391198544 139738451545847 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26259456 140724391223762 140724391223938 140724391223938 140724391227343 0
/proc/7820/statm: 6633614 115249 3243 1 0 6621915 0
[pid=7820/tid=7821] ppid=7818 vsize=26534456 CPUtime=0.93 cores=0-7
/proc/7820/task/7821/stat : 7821 (java) S 7818 7818 2334 0 -1 1077944384 9129 0 0 0 88 5 0 0 20 0 28 0 1129216 27171282944 115249 18446744073709551615 4194304 4196468 140724391216000 139738455786624 139738451556053 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 5 0 0 6293624 6294260 26259456 140724391223762 140724391223938 140724391223938 140724391227343 0
[pid=7820/tid=7822] ppid=7818 vsize=26534456 CPUtime=0.1 cores=0-7
/proc/7820/task/7822/stat : 7822 (java) S 7818 7818 2334 0 -1 1077944384 486 0 0 0 6 4 0 0 20 0 28 0 1129217 27171282944 115249 18446744073709551615 4194304 4196468 140724391216000 139738378472080 139738451556053 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26259456 140724391223762 140724391223938 140724391223938 140724391227343 0
[pid=7820/tid=7823] ppid=7818 vsize=26534456 CPUtime=0.1 cores=0-7
/proc/7820/task/7823/stat : 7823 (java) S 7818 7818 2334 0 -1 1077944384 928 0 0 0 7 3 0 0 20 0 28 0 1129217 27171282944 115249 18446744073709551615 4194304 4196468 140724391216000 139738377419280 139738451556053 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26259456 140724391223762 140724391223938 140724391223938 140724391227343 0
[pid=7820/tid=7824] ppid=7818 vsize=26534456 CPUtime=0.1 cores=0-7
/proc/7820/task/7824/stat : 7824 (java) S 7818 7818 2334 0 -1 1077944384 1872 0 0 0 7 3 0 0 20 0 28 0 1129217 27171282944 115249 18446744073709551615 4194304 4196468 140724391216000 139738376366480 139738451556053 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26259456 140724391223762 140724391223938 140724391223938 140724391227343 0
[pid=7820/tid=7825] ppid=7818 vsize=26534456 CPUtime=0.1 cores=0-7
/proc/7820/task/7825/stat : 7825 (java) S 7818 7818 2334 0 -1 1077944384 1010 0 0 0 7 3 0 0 20 0 28 0 1129217 27171282944 115249 18446744073709551615 4194304 4196468 140724391216000 139738375313680 139738451556053 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26259456 140724391223762 140724391223938 140724391223938 140724391227343 0
[pid=7820/tid=7826] ppid=7818 vsize=26534456 CPUtime=0.11 cores=0-7
/proc/7820/task/7826/stat : 7826 (java) S 7818 7818 2334 0 -1 1077944384 1239 0 0 0 7 4 0 0 20 0 28 0 1129217 27171282944 115249 18446744073709551615 4194304 4196468 140724391216000 139738374261904 139738451556053 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26259456 140724391223762 140724391223938 140724391223938 140724391227343 0
[pid=7820/tid=7827] ppid=7818 vsize=26534456 CPUtime=0.11 cores=0-7
/proc/7820/task/7827/stat : 7827 (java) S 7818 7818 2334 0 -1 1077944384 1312 0 0 0 8 3 0 0 20 0 28 0 1129217 27171282944 115249 18446744073709551615 4194304 4196468 140724391216000 139738373209104 139738451556053 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26259456 140724391223762 140724391223938 140724391223938 140724391227343 0
[pid=7820/tid=7828] ppid=7818 vsize=26534456 CPUtime=0.12 cores=0-7
/proc/7820/task/7828/stat : 7828 (java) S 7818 7818 2334 0 -1 1077944384 857 0 0 0 7 5 0 0 20 0 28 0 1129217 27171282944 115249 18446744073709551615 4194304 4196468 140724391216000 139738007755664 139738451556053 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26259456 140724391223762 140724391223938 140724391223938 140724391227343 0
[pid=7820/tid=7829] ppid=7818 vsize=26534456 CPUtime=0.11 cores=0-7
/proc/7820/task/7829/stat : 7829 (java) S 7818 7818 2334 0 -1 1077944384 296 0 0 0 7 4 0 0 20 0 28 0 1129217 27171282944 115249 18446744073709551615 4194304 4196468 140724391216000 139738006702864 139738451556053 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26259456 140724391223762 140724391223938 140724391223938 140724391227343 0
[pid=7820/tid=7830] ppid=7818 vsize=26534456 CPUtime=0.08 cores=0-7
/proc/7820/task/7830/stat : 7830 (java) S 7818 7818 2334 0 -1 1077944384 2057 0 0 0 5 3 0 0 20 0 28 0 1129218 27171282944 115249 18446744073709551615 4194304 4196468 140724391216000 139737717283184 139738451556994 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26259456 140724391223762 140724391223938 140724391223938 140724391227343 0
[pid=7820/tid=7831] ppid=7818 vsize=26534456 CPUtime=0 cores=0-7
/proc/7820/task/7831/stat : 7831 (java) S 7818 7818 2334 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 28 0 1129219 27171282944 115249 18446744073709551615 4194304 4196468 140724391216000 139737716229216 139738451556053 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26259456 140724391223762 140724391223938 140724391223938 140724391227343 0
[pid=7820/tid=7832] ppid=7818 vsize=26534456 CPUtime=0 cores=0-7
/proc/7820/task/7832/stat : 7832 (java) S 7818 7818 2334 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 1129219 27171282944 115249 18446744073709551615 4194304 4196468 140724391216000 139737715176304 139738451556053 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26259456 140724391223762 140724391223938 140724391223938 140724391227343 0
[pid=7820/tid=7833] ppid=7818 vsize=26534456 CPUtime=0 cores=0-7
/proc/7820/task/7833/stat : 7833 (java) S 7818 7818 2334 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 1129221 27171282944 115249 18446744073709551615 4194304 4196468 140724391216000 139737714124624 139738451564443 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26259456 140724391223762 140724391223938 140724391223938 140724391227343 0
[pid=7820/tid=7834] ppid=7818 vsize=26534456 CPUtime=2.87 cores=0-7
/proc/7820/task/7834/stat : 7834 (java) S 7818 7818 2334 0 -1 1077944384 15527 0 0 0 284 3 0 0 20 0 28 0 1129221 27171282944 115249 18446744073709551615 4194304 4196468 140724391216000 139737713073008 139738451556994 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26259456 140724391223762 140724391223938 140724391223938 140724391227343 0
[pid=7820/tid=7835] ppid=7818 vsize=26534456 CPUtime=3.13 cores=0-7
/proc/7820/task/7835/stat : 7835 (java) S 7818 7818 2334 0 -1 1077944384 17987 0 0 0 311 2 0 0 20 0 28 0 1129221 27171282944 115249 18446744073709551615 4194304 4196468 140724391216000 139737712020208 139738451556994 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26259456 140724391223762 140724391223938 140724391223938 140724391227343 0
[pid=7820/tid=7836] ppid=7818 vsize=26534456 CPUtime=3.31 cores=0-7
/proc/7820/task/7836/stat : 7836 (java) S 7818 7818 2334 0 -1 1077944384 22086 0 0 0 329 2 0 0 20 0 28 0 1129221 27171282944 115249 18446744073709551615 4194304 4196468 140724391216000 139737710967408 139738451556994 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26259456 140724391223762 140724391223938 140724391223938 140724391227343 0
[pid=7820/tid=7837] ppid=7818 vsize=26534456 CPUtime=0.9 cores=0-7
/proc/7820/task/7837/stat : 7837 (java) S 7818 7818 2334 0 -1 1077944384 12453 0 0 0 88 2 0 0 20 0 28 0 1129221 27171282944 115249 18446744073709551615 4194304 4196468 140724391216000 139737709914608 139738451556994 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26259456 140724391223762 140724391223938 140724391223938 140724391227343 0
[pid=7820/tid=7838] ppid=7818 vsize=26534456 CPUtime=0 cores=0-7
/proc/7820/task/7838/stat : 7838 (java) S 7818 7818 2334 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 1129222 27171282944 115249 18446744073709551615 4194304 4196468 140724391216000 139737708862048 139738451556053 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26259456 140724391223762 140724391223938 140724391223938 140724391227343 0
[pid=7820/tid=7839] ppid=7818 vsize=26534456 CPUtime=0.04 cores=0-7
/proc/7820/task/7839/stat : 7839 (java) S 7818 7818 2334 0 -1 1077944384 2599 0 0 0 0 4 0 0 20 0 28 0 1129227 27171282944 115249 18446744073709551615 4194304 4196468 140724391216000 139737707809328 139738451556994 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26259456 140724391223762 140724391223938 140724391223938 140724391227343 0
[pid=7820/tid=7840] ppid=7818 vsize=26534456 CPUtime=219.72 cores=0-7
/proc/7820/task/7840/stat : 7840 (java) R 7818 7818 2334 0 -1 4202560 2252 0 0 0 21971 1 0 0 20 0 28 0 1129317 27171282944 115249 18446744073709551615 4194304 4196468 140724391216000 139737701894856 139738059483019 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26259456 140724391223762 140724391223938 140724391223938 140724391227343 0
[pid=7820/tid=7841] ppid=7818 vsize=26534456 CPUtime=219.27 cores=0-7
/proc/7820/task/7841/stat : 7841 (java) R 7818 7818 2334 0 -1 4202560 1264 0 0 0 21926 1 0 0 20 0 28 0 1129318 27171282944 115249 18446744073709551615 4194304 4196468 140724391216000 139736709058376 139738059483270 0 4 1 16800974 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 26259456 140724391223762 140724391223938 140724391223938 140724391227343 0
[pid=7820/tid=7842] ppid=7818 vsize=26534456 CPUtime=219.08 cores=0-7
/proc/7820/task/7842/stat : 7842 (java) R 7818 7818 2334 0 -1 4202560 1705 0 0 0 21908 0 0 0 20 0 28 0 1129318 27171282944 115249 18446744073709551615 4194304 4196468 140724391216000 139736708005744 139738059482945 0 4 1 16800974 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 26259456 140724391223762 140724391223938 140724391223938 140724391227343 0
[pid=7820/tid=7843] ppid=7818 vsize=26534456 CPUtime=218.62 cores=0-7
/proc/7820/task/7843/stat : 7843 (java) R 7818 7818 2334 0 -1 4202560 5845 0 0 0 21855 7 0 0 20 0 28 0 1129318 27171282944 115249 18446744073709551615 4194304 4196468 140724391216000 139736706955064 139738062455684 0 4 1 16800974 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 26259456 140724391223762 140724391223938 140724391223938 140724391227343 0
[pid=7820/tid=7844] ppid=7818 vsize=26534456 CPUtime=219.1 cores=0-7
/proc/7820/task/7844/stat : 7844 (java) R 7818 7818 2334 0 -1 4202560 3557 0 0 0 21908 2 0 0 20 0 28 0 1129318 27171282944 115249 18446744073709551615 4194304 4196468 140724391216000 139736705900664 139738059483127 0 4 1 16800974 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 26259456 140724391223762 140724391223938 140724391223938 140724391227343 0
[pid=7820/tid=7845] ppid=7818 vsize=26534456 CPUtime=219.9 cores=0-7
/proc/7820/task/7845/stat : 7845 (java) R 7818 7818 2334 0 -1 4202560 2569 0 0 0 21989 1 0 0 20 0 28 0 1129318 27171282944 115249 18446744073709551615 4194304 4196468 140724391216000 139736704847864 139738059482725 0 4 1 16800974 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 26259456 140724391223762 140724391223938 140724391223938 140724391227343 0
[pid=7820/tid=7846] ppid=7818 vsize=26534456 CPUtime=219.78 cores=0-7
/proc/7820/task/7846/stat : 7846 (java) R 7818 7818 2334 0 -1 4202560 886 0 0 0 21977 1 0 0 20 0 28 0 1129318 27171282944 115249 18446744073709551615 4194304 4196468 140724391216000 139736703795064 139738060887362 0 4 1 16800974 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 26259456 140724391223762 140724391223938 140724391223938 140724391227343 0
[pid=7820/tid=7847] ppid=7818 vsize=26534456 CPUtime=219.91 cores=0-7
/proc/7820/task/7847/stat : 7847 (java) R 7818 7818 2334 0 -1 4202560 2038 0 0 0 21988 3 0 0 20 0 28 0 1129320 27171282944 115249 18446744073709551615 4194304 4196468 140724391216000 139736702741864 139738059483310 0 4 1 16800974 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 26259456 140724391223762 140724391223938 140724391223938 140724391227343 0
Current children cumulated CPU time (s) 1767.73
Current children cumulated vsize (KiB) 26543968



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+241.401 s]
/proc/loadavg: 7.97 5.74 5.64 9/203 7861
/proc/meminfo: memFree=31366592/32770624 swapFree=0/299348
[pid=7818] ppid=7815 vsize=9512 CPUtime=0 cores=0-7
/proc/7818/stat : 7818 (xcsp3-exec) S 7815 7818 2334 0 -1 4202496 507 0 0 0 0 0 0 0 20 0 1 0 1129210 9740288 344 18446744073709551615 4194304 5098028 140737284750352 140737284748456 139873025679996 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 37900288 140737284751764 140737284751974 140737284751974 140737284755435 0
/proc/7818/statm: 2378 344 289 221 0 87 0
[pid=7820] ppid=7818 vsize=26534456 CPUtime=1920.19 cores=0-7
/proc/7820/stat : 7820 (java) S 7818 7818 2334 0 -1 1077944320 111656 0 0 0 191945 74 0 0 20 0 28 0 1129216 27171282944 115374 18446744073709551615 4194304 4196468 140724391216000 140724391198544 139738451545847 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26259456 140724391223762 140724391223938 140724391223938 140724391227343 0
/proc/7820/statm: 6633614 115374 3243 1 0 6621915 0
[pid=7820/tid=7821] ppid=7818 vsize=26534456 CPUtime=0.93 cores=0-7
/proc/7820/task/7821/stat : 7821 (java) S 7818 7818 2334 0 -1 1077944384 9129 0 0 0 88 5 0 0 20 0 28 0 1129216 27171282944 115374 18446744073709551615 4194304 4196468 140724391216000 139738455786624 139738451556053 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 5 0 0 6293624 6294260 26259456 140724391223762 140724391223938 140724391223938 140724391227343 0
[pid=7820/tid=7822] ppid=7818 vsize=26534456 CPUtime=0.1 cores=0-7
/proc/7820/task/7822/stat : 7822 (java) S 7818 7818 2334 0 -1 1077944384 490 0 0 0 6 4 0 0 20 0 28 0 1129217 27171282944 115374 18446744073709551615 4194304 4196468 140724391216000 139738378472080 139738451556053 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26259456 140724391223762 140724391223938 140724391223938 140724391227343 0
[pid=7820/tid=7823] ppid=7818 vsize=26534456 CPUtime=0.1 cores=0-7
/proc/7820/task/7823/stat : 7823 (java) S 7818 7818 2334 0 -1 1077944384 933 0 0 0 7 3 0 0 20 0 28 0 1129217 27171282944 115374 18446744073709551615 4194304 4196468 140724391216000 139738377419280 139738451556053 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26259456 140724391223762 140724391223938 140724391223938 140724391227343 0
[pid=7820/tid=7824] ppid=7818 vsize=26534456 CPUtime=0.1 cores=0-7
/proc/7820/task/7824/stat : 7824 (java) S 7818 7818 2334 0 -1 1077944384 1881 0 0 0 7 3 0 0 20 0 28 0 1129217 27171282944 115374 18446744073709551615 4194304 4196468 140724391216000 139738376366480 139738451556053 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26259456 140724391223762 140724391223938 140724391223938 140724391227343 0
[pid=7820/tid=7825] ppid=7818 vsize=26534456 CPUtime=0.11 cores=0-7
/proc/7820/task/7825/stat : 7825 (java) S 7818 7818 2334 0 -1 1077944384 1014 0 0 0 8 3 0 0 20 0 28 0 1129217 27171282944 115374 18446744073709551615 4194304 4196468 140724391216000 139738375313680 139738451556053 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26259456 140724391223762 140724391223938 140724391223938 140724391227343 0
[pid=7820/tid=7826] ppid=7818 vsize=26534456 CPUtime=0.11 cores=0-7
/proc/7820/task/7826/stat : 7826 (java) S 7818 7818 2334 0 -1 1077944384 1246 0 0 0 7 4 0 0 20 0 28 0 1129217 27171282944 115374 18446744073709551615 4194304 4196468 140724391216000 139738374261904 139738451556053 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26259456 140724391223762 140724391223938 140724391223938 140724391227343 0
[pid=7820/tid=7827] ppid=7818 vsize=26534456 CPUtime=0.12 cores=0-7
/proc/7820/task/7827/stat : 7827 (java) S 7818 7818 2334 0 -1 1077944384 1319 0 0 0 8 4 0 0 20 0 28 0 1129217 27171282944 115374 18446744073709551615 4194304 4196468 140724391216000 139738373209104 139738451556053 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26259456 140724391223762 140724391223938 140724391223938 140724391227343 0
[pid=7820/tid=7828] ppid=7818 vsize=26534456 CPUtime=0.12 cores=0-7
/proc/7820/task/7828/stat : 7828 (java) S 7818 7818 2334 0 -1 1077944384 862 0 0 0 7 5 0 0 20 0 28 0 1129217 27171282944 115374 18446744073709551615 4194304 4196468 140724391216000 139738007755664 139738451556053 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26259456 140724391223762 140724391223938 140724391223938 140724391227343 0
[pid=7820/tid=7829] ppid=7818 vsize=26534456 CPUtime=0.12 cores=0-7
/proc/7820/task/7829/stat : 7829 (java) S 7818 7818 2334 0 -1 1077944384 307 0 0 0 8 4 0 0 20 0 28 0 1129217 27171282944 115374 18446744073709551615 4194304 4196468 140724391216000 139738006702864 139738451556053 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26259456 140724391223762 140724391223938 140724391223938 140724391227343 0
[pid=7820/tid=7830] ppid=7818 vsize=26534456 CPUtime=0.08 cores=0-7
/proc/7820/task/7830/stat : 7830 (java) S 7818 7818 2334 0 -1 1077944384 2060 0 0 0 5 3 0 0 20 0 28 0 1129218 27171282944 115374 18446744073709551615 4194304 4196468 140724391216000 139737717283184 139738451556994 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26259456 140724391223762 140724391223938 140724391223938 140724391227343 0
[pid=7820/tid=7831] ppid=7818 vsize=26534456 CPUtime=0 cores=0-7
/proc/7820/task/7831/stat : 7831 (java) S 7818 7818 2334 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 28 0 1129219 27171282944 115374 18446744073709551615 4194304 4196468 140724391216000 139737716229216 139738451556053 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26259456 140724391223762 140724391223938 140724391223938 140724391227343 0
[pid=7820/tid=7832] ppid=7818 vsize=26534456 CPUtime=0 cores=0-7
/proc/7820/task/7832/stat : 7832 (java) S 7818 7818 2334 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 1129219 27171282944 115374 18446744073709551615 4194304 4196468 140724391216000 139737715176304 139738451556053 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26259456 140724391223762 140724391223938 140724391223938 140724391227343 0
[pid=7820/tid=7833] ppid=7818 vsize=26534456 CPUtime=0 cores=0-7
/proc/7820/task/7833/stat : 7833 (java) S 7818 7818 2334 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 1129221 27171282944 115374 18446744073709551615 4194304 4196468 140724391216000 139737714124624 139738451564443 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26259456 140724391223762 140724391223938 140724391223938 140724391227343 0
[pid=7820/tid=7834] ppid=7818 vsize=26534456 CPUtime=2.87 cores=0-7
/proc/7820/task/7834/stat : 7834 (java) S 7818 7818 2334 0 -1 1077944384 15527 0 0 0 284 3 0 0 20 0 28 0 1129221 27171282944 115374 18446744073709551615 4194304 4196468 140724391216000 139737713073008 139738451556994 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26259456 140724391223762 140724391223938 140724391223938 140724391227343 0
[pid=7820/tid=7835] ppid=7818 vsize=26534456 CPUtime=3.13 cores=0-7
/proc/7820/task/7835/stat : 7835 (java) S 7818 7818 2334 0 -1 1077944384 17987 0 0 0 311 2 0 0 20 0 28 0 1129221 27171282944 115374 18446744073709551615 4194304 4196468 140724391216000 139737712020208 139738451556994 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26259456 140724391223762 140724391223938 140724391223938 140724391227343 0
[pid=7820/tid=7836] ppid=7818 vsize=26534456 CPUtime=3.31 cores=0-7
/proc/7820/task/7836/stat : 7836 (java) S 7818 7818 2334 0 -1 1077944384 22086 0 0 0 329 2 0 0 20 0 28 0 1129221 27171282944 115374 18446744073709551615 4194304 4196468 140724391216000 139737710967408 139738451556994 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26259456 140724391223762 140724391223938 140724391223938 140724391227343 0
[pid=7820/tid=7837] ppid=7818 vsize=26534456 CPUtime=0.91 cores=0-7
/proc/7820/task/7837/stat : 7837 (java) S 7818 7818 2334 0 -1 1077944384 12502 0 0 0 89 2 0 0 20 0 28 0 1129221 27171282944 115374 18446744073709551615 4194304 4196468 140724391216000 139737709914608 139738451556994 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26259456 140724391223762 140724391223938 140724391223938 140724391227343 0
[pid=7820/tid=7838] ppid=7818 vsize=26534456 CPUtime=0 cores=0-7
/proc/7820/task/7838/stat : 7838 (java) S 7818 7818 2334 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 1129222 27171282944 115374 18446744073709551615 4194304 4196468 140724391216000 139737708862048 139738451556053 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26259456 140724391223762 140724391223938 140724391223938 140724391227343 0
[pid=7820/tid=7839] ppid=7818 vsize=26534456 CPUtime=0.05 cores=0-7
/proc/7820/task/7839/stat : 7839 (java) S 7818 7818 2334 0 -1 1077944384 2599 0 0 0 0 5 0 0 20 0 28 0 1129227 27171282944 115374 18446744073709551615 4194304 4196468 140724391216000 139737707809328 139738451556994 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26259456 140724391223762 140724391223938 140724391223938 140724391227343 0
[pid=7820/tid=7840] ppid=7818 vsize=26534456 CPUtime=238.8 cores=0-7
/proc/7820/task/7840/stat : 7840 (java) R 7818 7818 2334 0 -1 4202560 2255 0 0 0 23879 1 0 0 20 0 28 0 1129317 27171282944 115374 18446744073709551615 4194304 4196468 140724391216000 139737701894448 139738059483099 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26259456 140724391223762 140724391223938 140724391223938 140724391227343 0
[pid=7820/tid=7841] ppid=7818 vsize=26534456 CPUtime=238.35 cores=0-7
/proc/7820/task/7841/stat : 7841 (java) R 7818 7818 2334 0 -1 4202560 1267 0 0 0 23834 1 0 0 20 0 28 0 1129318 27171282944 115374 18446744073709551615 4194304 4196468 140724391216000 139736709058040 139738059483270 0 4 1 16800974 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 26259456 140724391223762 140724391223938 140724391223938 140724391227343 0
[pid=7820/tid=7842] ppid=7818 vsize=26534456 CPUtime=238.08 cores=0-7
/proc/7820/task/7842/stat : 7842 (java) R 7818 7818 2334 0 -1 4202560 1709 0 0 0 23808 0 0 0 20 0 28 0 1129318 27171282944 115374 18446744073709551615 4194304 4196468 140724391216000 139736708006120 139738059483014 0 4 1 16800974 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 26259456 140724391223762 140724391223938 140724391223938 140724391227343 0
[pid=7820/tid=7843] ppid=7818 vsize=26534456 CPUtime=237.52 cores=0-7
/proc/7820/task/7843/stat : 7843 (java) R 7818 7818 2334 0 -1 4202560 6070 0 0 0 23745 7 0 0 20 0 28 0 1129318 27171282944 115374 18446744073709551615 4194304 4196468 140724391216000 139736706955776 139738056927084 0 4 1 16800974 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 26259456 140724391223762 140724391223938 140724391223938 140724391227343 0
[pid=7820/tid=7844] ppid=7818 vsize=26534456 CPUtime=238.18 cores=0-7
/proc/7820/task/7844/stat : 7844 (java) R 7818 7818 2334 0 -1 4202560 3573 0 0 0 23816 2 0 0 20 0 28 0 1129318 27171282944 115374 18446744073709551615 4194304 4196468 140724391216000 139736705900664 139738059483270 0 4 1 16800974 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 26259456 140724391223762 140724391223938 140724391223938 140724391227343 0
[pid=7820/tid=7845] ppid=7818 vsize=26534456 CPUtime=238.98 cores=0-7
/proc/7820/task/7845/stat : 7845 (java) R 7818 7818 2334 0 -1 4202560 2570 0 0 0 23897 1 0 0 20 0 28 0 1129318 27171282944 115374 18446744073709551615 4194304 4196468 140724391216000 139736704847736 139738059483023 0 4 1 16800974 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 26259456 140724391223762 140724391223938 140724391223938 140724391227343 0
[pid=7820/tid=7846] ppid=7818 vsize=26534456 CPUtime=238.87 cores=0-7
/proc/7820/task/7846/stat : 7846 (java) R 7818 7818 2334 0 -1 4202560 887 0 0 0 23886 1 0 0 20 0 28 0 1129318 27171282944 115374 18446744073709551615 4194304 4196468 140724391216000 139736703795064 139738059482657 0 4 1 16800974 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 26259456 140724391223762 140724391223938 140724391223938 140724391227343 0
[pid=7820/tid=7847] ppid=7818 vsize=26534456 CPUtime=238.99 cores=0-7
/proc/7820/task/7847/stat : 7847 (java) R 7818 7818 2334 0 -1 4202560 2086 0 0 0 23896 3 0 0 20 0 28 0 1129320 27171282944 115374 18446744073709551615 4194304 4196468 140724391216000 139736702743960 139738433109399 0 4 1 16800974 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 26259456 140724391223762 140724391223938 140724391223938 140724391227343 0
Current children cumulated CPU time (s) 1920.19
Current children cumulated vsize (KiB) 26543968

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 7820 sig 9
??? kill 7818 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 7818 and gives
#  childrusage.ru_utime.tv_sec=0
#  childrusage.ru_utime.tv_usec=975
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=975
# CPU time returned by wait4() is 0.00195
# while last known CPU time is 1920.19
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 241.435
CPU time (s): 1920.19
CPU user time (s): 1919.45
CPU system time (s): 0.74
CPU usage (%): 795.322
Max. virtual memory (cumulated for all children) (KiB): 26543968

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.000975
system time used= 0.000975
maximum resident set size= 1380
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 507
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 1

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.40425 second user time and 1.99487 second system time

The end

Launcher Data 

Begin job on node130 at 2017-08-02 13:09:47
IDJOB=4254757
IDBENCH=115661
IDSOLVER=2636
FILE ID=node130/4254757-1501673022
RUNJOBID= node130-1501661057-2426
PBS_JOBID= 
Free space on /tmp= 61864 MiB

SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/Scheduling/Scheduling-fs-taillard/Taillard-fs-050-10-9.xml
COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 22000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4254757-1501673022/watcher-4254757-1501673022 -o /tmp/evaluation-result-4254757-1501673022/solver-4254757-1501673022 -C 1920 -W 264 -M 31000 --bin-var /tmp/runsolver-exch-node130-1501661057-2426 --watchdog 324  ./xcsp3-exec -dir HOME -tl 1920 -p 8 -ml 22000 -tdir HOME -seed 1588625159 HOME/instance-4254757-1501673022.xml

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

MD5SUM BENCH= b9411981d46c6b6e2ab3102ec0acde87
RANDOM SEED=1588625159

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

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.79
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.79
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.79
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.79
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:        31816532 kB
MemAvailable:   32025692 kB
Buffers:           98996 kB
Cached:           390848 kB
SwapCached:            0 kB
Active:           239016 kB
Inactive:         308080 kB
Active(anon):      57344 kB
Inactive(anon):     8556 kB
Active(file):     181672 kB
Inactive(file):   299524 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7800 kB
Writeback:             4 kB
AnonPages:         56644 kB
Mapped:            27316 kB
Shmem:              8868 kB
Slab:             111868 kB
SReclaimable:      87600 kB
SUnreclaim:        24268 kB
KernelStack:        3120 kB
PageTables:         3832 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     278176 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      8192 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      130432 kB
DirectMap2M:    33415168 kB

Free space on /tmp at the end= 61856 MiB
End job on node130 at 2017-08-02 13:13:49