Trace number 4254765

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.4399 241.83501

General information on the benchmark

NameScheduling/Scheduling-fs-taillard/
Taillard-fs-200-10-2.xml
MD5SUM902fa3fa04f876c9ed200148bd67d93f
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 variables2200
Number of constraints2210
Number of domains1
Minimum domain size11022
Maximum domain size11022
Distribution of domain sizes[{"size":11022,"count":2200}]
Minimum variable degree2
Maximum variable degree3
Distribution of variable degrees[{"degree":2,"count":200},{"degree":3,"count":2000}]
Minimum constraint arity1
Maximum constraint arity200
Distribution of constraint arities[{"arity":1,"count":200},{"arity":2,"count":2000},{"arity":200,"count":10}]
Number of extensional constraints0
Number of intensional constraints2200
Distribution of constraint types[{"type":"intension","count":2200},{"type":"noOverlap","count":10}]
Optimization problemYES
Type of objectivemin MAXIMUM

Solver Data 

0.00/0.05	c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4254765-1501672005.xml"  -tl '1920s' -p 8 -x 0
0.00/0.24	c [HOME/instance-4254765-1501672005.xml, -tl, 1920s, -p, 8, -x, 0]
0.00/0.30	c 8 solvers in parallel
0.00/0.36	c parse instance...
6.01/1.71	c solve instance...
1920.44/241.86	s UNKNOWN
1920.44/241.86	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-4254765-1501672005/watcher-4254765-1501672005 -o /tmp/evaluation-result-4254765-1501672005/solver-4254765-1501672005 -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 1895565691 HOME/instance-4254765-1501672005.xml 

pid=7392
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: 9.26 8.01 7.41 2/174 7395
/proc/meminfo: memFree=31814952/32770624 swapFree=0/298800
[pid=7395] ppid=7392 vsize=23672 CPUtime=0 cores=0-7
/proc/7395/stat : 7395 (runsolver) D 7392 7395 2334 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 1027551 24240128 108 18446744073709551615 4194304 4338465 140732480409152 140732480406792 140535488152279 0 0 1 24578 18446744071580418449 0 0 17 5 0 0 0 0 0 6438912 6441760 23105536 140732480413781 140732480414277 140732480414277 140732480417738 0
/proc/7395/statm: 5918 108 54 36 0 2156 0

[startup+0.100152 s]
/proc/loadavg: 9.26 8.01 7.41 2/174 7395
/proc/meminfo: memFree=31814952/32770624 swapFree=0/298800
[pid=7395] ppid=7392 vsize=9512 CPUtime=0 cores=0-7
/proc/7395/stat : 7395 (xcsp3-exec) S 7392 7395 2334 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 1027551 9740288 345 18446744073709551615 4194304 5098028 140735549842448 140735549840552 140163120857724 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 31195136 140735549845908 140735549846118 140735549846118 140735549849579 0
/proc/7395/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.200231 s]
/proc/loadavg: 9.26 8.01 7.41 2/174 7395
/proc/meminfo: memFree=31814952/32770624 swapFree=0/298800
[pid=7395] ppid=7392 vsize=9512 CPUtime=0 cores=0-7
/proc/7395/stat : 7395 (xcsp3-exec) S 7392 7395 2334 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 1027551 9740288 345 18446744073709551615 4194304 5098028 140735549842448 140735549840552 140163120857724 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 31195136 140735549845908 140735549846118 140735549846118 140735549849579 0
/proc/7395/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.300199 s]
/proc/loadavg: 9.26 8.01 7.41 2/174 7395
/proc/meminfo: memFree=31814952/32770624 swapFree=0/298800
[pid=7395] ppid=7392 vsize=9512 CPUtime=0 cores=0-7
/proc/7395/stat : 7395 (xcsp3-exec) S 7392 7395 2334 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 1027551 9740288 345 18446744073709551615 4194304 5098028 140735549842448 140735549840552 140163120857724 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 31195136 140735549845908 140735549846118 140735549846118 140735549849579 0
/proc/7395/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.705209 s]
/proc/loadavg: 9.26 8.01 7.41 2/174 7395
/proc/meminfo: memFree=31814952/32770624 swapFree=0/298800
[pid=7395] ppid=7392 vsize=9512 CPUtime=0 cores=0-7
/proc/7395/stat : 7395 (xcsp3-exec) S 7392 7395 2334 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 1027551 9740288 345 18446744073709551615 4194304 5098028 140735549842448 140735549840552 140163120857724 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 31195136 140735549845908 140735549846118 140735549846118 140735549849579 0
/proc/7395/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+1.50422 s]
/proc/loadavg: 9.26 8.01 7.41 10/195 7416
/proc/meminfo: memFree=31616324/32770624 swapFree=0/298824
[pid=7395] ppid=7392 vsize=9512 CPUtime=0 cores=0-7
/proc/7395/stat : 7395 (xcsp3-exec) S 7392 7395 2334 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 1027551 9740288 345 18446744073709551615 4194304 5098028 140735549842448 140735549840552 140163120857724 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 31195136 140735549845908 140735549846118 140735549846118 140735549849579 0
/proc/7395/statm: 2378 345 289 221 0 87 0
[pid=7397] ppid=7395 vsize=26001944 CPUtime=5.22 cores=0-7
/proc/7397/stat : 7397 (java) S 7395 7395 2334 0 -1 1077944320 18254 0 0 0 490 32 0 0 20 0 20 0 1027557 26625990656 74896 18446744073709551615 4194304 4196468 140727164189840 140727164172384 140022891945719 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36573184 140727164191186 140727164191362 140727164191362 140727164194767 0
/proc/7397/statm: 6500486 74896 3209 1 0 6488787 0
[pid=7397/tid=7398] ppid=7395 vsize=26001944 CPUtime=1.27 cores=0-7
/proc/7397/task/7398/stat : 7398 (java) R 7395 7395 2334 0 -1 4202560 8804 0 0 0 121 6 0 0 20 0 20 0 1027557 26625990656 74896 18446744073709551615 4194304 4196468 140727164189840 140022896182880 140022891967645 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 36573184 140727164191186 140727164191362 140727164191362 140727164194767 0
[pid=7397/tid=7399] ppid=7395 vsize=26001944 CPUtime=0.1 cores=0-7
/proc/7397/task/7399/stat : 7399 (java) S 7395 7395 2334 0 -1 1077944384 59 0 0 0 7 3 0 0 20 0 20 0 1027558 26625990656 74896 18446744073709551615 4194304 4196468 140727164189840 140022848911888 140022891955925 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36573184 140727164191186 140727164191362 140727164191362 140727164194767 0
[pid=7397/tid=7400] ppid=7395 vsize=26001944 CPUtime=0.07 cores=0-7
/proc/7397/task/7400/stat : 7400 (java) S 7395 7395 2334 0 -1 1077944384 47 0 0 0 5 2 0 0 20 0 20 0 1027558 26625990656 74896 18446744073709551615 4194304 4196468 140727164189840 140022847859344 140022891955925 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36573184 140727164191186 140727164191362 140727164191362 140727164194767 0
[pid=7397/tid=7401] ppid=7395 vsize=26001944 CPUtime=0.07 cores=0-7
/proc/7397/task/7401/stat : 7401 (java) S 7395 7395 2334 0 -1 1077944384 44 0 0 0 5 2 0 0 20 0 20 0 1027558 26625990656 74896 18446744073709551615 4194304 4196468 140727164189840 140022452189456 140022891955925 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 36573184 140727164191186 140727164191362 140727164191362 140727164194767 0
[pid=7397/tid=7402] ppid=7395 vsize=26001944 CPUtime=0.08 cores=0-7
/proc/7397/task/7402/stat : 7402 (java) S 7395 7395 2334 0 -1 1077944384 54 0 0 0 6 2 0 0 20 0 20 0 1027558 26625990656 74896 18446744073709551615 4194304 4196468 140727164189840 140022451136912 140022891955925 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36573184 140727164191186 140727164191362 140727164191362 140727164194767 0
[pid=7397/tid=7403] ppid=7395 vsize=26001944 CPUtime=0.08 cores=0-7
/proc/7397/task/7403/stat : 7403 (java) S 7395 7395 2334 0 -1 1077944384 45 0 0 0 6 2 0 0 20 0 20 0 1027558 26625990656 74896 18446744073709551615 4194304 4196468 140727164189840 140022450084880 140022891955925 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36573184 140727164191186 140727164191362 140727164191362 140727164194767 0
[pid=7397/tid=7404] ppid=7395 vsize=26001944 CPUtime=0.08 cores=0-7
/proc/7397/task/7404/stat : 7404 (java) S 7395 7395 2334 0 -1 1077944384 62 0 0 0 6 2 0 0 20 0 20 0 1027558 26625990656 74896 18446744073709551615 4194304 4196468 140727164189840 140022449032336 140022891955925 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36573184 140727164191186 140727164191362 140727164191362 140727164194767 0
[pid=7397/tid=7405] ppid=7395 vsize=26001944 CPUtime=0.08 cores=0-7
/proc/7397/task/7405/stat : 7405 (java) S 7395 7395 2334 0 -1 1077944384 56 0 0 0 6 2 0 0 20 0 20 0 1027558 26625990656 74896 18446744073709551615 4194304 4196468 140727164189840 140022447979280 140022891955925 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36573184 140727164191186 140727164191362 140727164191362 140727164194767 0
[pid=7397/tid=7406] ppid=7395 vsize=26001944 CPUtime=0.09 cores=0-7
/proc/7397/task/7406/stat : 7406 (java) S 7395 7395 2334 0 -1 1077944384 53 0 0 0 6 3 0 0 20 0 20 0 1027558 26625990656 74896 18446744073709551615 4194304 4196468 140727164189840 140022446926736 140022891955925 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36573184 140727164191186 140727164191362 140727164191362 140727164194767 0
[pid=7397/tid=7407] ppid=7395 vsize=26001944 CPUtime=0 cores=0-7
/proc/7397/task/7407/stat : 7407 (java) S 7395 7395 2334 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 20 0 1027559 26625990656 74896 18446744073709551615 4194304 4196468 140727164189840 140021570988272 140022891956866 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36573184 140727164191186 140727164191362 140727164191362 140727164194767 0
[pid=7397/tid=7408] ppid=7395 vsize=26001944 CPUtime=0 cores=0-7
/proc/7397/task/7408/stat : 7408 (java) S 7395 7395 2334 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 1027560 26625990656 74896 18446744073709551615 4194304 4196468 140727164189840 140021569934560 140022891955925 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36573184 140727164191186 140727164191362 140727164191362 140727164194767 0
[pid=7397/tid=7409] ppid=7395 vsize=26001944 CPUtime=0 cores=0-7
/proc/7397/task/7409/stat : 7409 (java) S 7395 7395 2334 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 1027560 26625990656 74896 18446744073709551615 4194304 4196468 140727164189840 140021568881408 140022891955925 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36573184 140727164191186 140727164191362 140727164191362 140727164194767 0
[pid=7397/tid=7410] ppid=7395 vsize=26001944 CPUtime=0 cores=0-7
/proc/7397/task/7410/stat : 7410 (java) S 7395 7395 2334 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 1027563 26625990656 74896 18446744073709551615 4194304 4196468 140727164189840 140021567829968 140022891964315 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36573184 140727164191186 140727164191362 140727164191362 140727164194767 0
[pid=7397/tid=7411] ppid=7395 vsize=26001944 CPUtime=0.84 cores=0-7
/proc/7397/task/7411/stat : 7411 (java) R 7395 7395 2334 0 -1 4202560 2009 0 0 0 84 0 0 0 20 0 20 0 1027563 26625990656 74896 18446744073709551615 4194304 4196468 140727164189840 140021566771120 140022873470616 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36573184 140727164191186 140727164191362 140727164191362 140727164194767 0
[pid=7397/tid=7412] ppid=7395 vsize=26001944 CPUtime=0.84 cores=0-7
/proc/7397/task/7412/stat : 7412 (java) R 7395 7395 2334 0 -1 4202560 1824 0 0 0 84 0 0 0 20 0 20 0 1027563 26625990656 74896 18446744073709551615 4194304 4196468 140727164189840 140021565712336 140022891967066 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36573184 140727164191186 140727164191362 140727164191362 140727164194767 0
[pid=7397/tid=7413] ppid=7395 vsize=26001944 CPUtime=0.97 cores=0-7
/proc/7397/task/7413/stat : 7413 (java) R 7395 7395 2334 0 -1 4202560 1407 0 0 0 96 1 0 0 20 0 20 0 1027563 26625990656 74896 18446744073709551615 4194304 4196468 140727164189840 140021564672624 140022875432550 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36573184 140727164191186 140727164191362 140727164191362 140727164194767 0
[pid=7397/tid=7414] ppid=7395 vsize=26001944 CPUtime=0.52 cores=0-7
/proc/7397/task/7414/stat : 7414 (java) S 7395 7395 2334 0 -1 1077944384 2411 0 0 0 52 0 0 0 20 0 20 0 1027563 26625990656 74896 18446744073709551615 4194304 4196468 140727164189840 140021563619952 140022891956866 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36573184 140727164191186 140727164191362 140727164191362 140727164194767 0
[pid=7397/tid=7415] ppid=7395 vsize=26001944 CPUtime=0 cores=0-7
/proc/7397/task/7415/stat : 7415 (java) S 7395 7395 2334 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 1027563 26625990656 74896 18446744073709551615 4194304 4196468 140727164189840 140021562567136 140022891955925 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36573184 140727164191186 140727164191362 140727164191362 140727164194767 0
[pid=7397/tid=7416] ppid=7395 vsize=26001944 CPUtime=0 cores=0-7
/proc/7397/task/7416/stat : 7416 (java) S 7395 7395 2334 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 1027567 26625990656 74896 18446744073709551615 4194304 4196468 140727164189840 140021561514672 140022891956866 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36573184 140727164191186 140727164191362 140727164191362 140727164194767 0
Current children cumulated CPU time (s) 5.22
Current children cumulated vsize (KiB) 26011456

[startup+3.10115 s]
/proc/loadavg: 8.84 7.95 7.40 10/203 7424
/proc/meminfo: memFree=31292060/32770624 swapFree=0/298824
[pid=7395] ppid=7392 vsize=9512 CPUtime=0 cores=0-7
/proc/7395/stat : 7395 (xcsp3-exec) S 7392 7395 2334 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 1027551 9740288 345 18446744073709551615 4194304 5098028 140735549842448 140735549840552 140163120857724 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 31195136 140735549845908 140735549846118 140735549846118 140735549849579 0
/proc/7395/statm: 2378 345 289 221 0 87 0
[pid=7397] ppid=7395 vsize=26534456 CPUtime=16.83 cores=0-7
/proc/7397/stat : 7397 (java) S 7395 7395 2334 0 -1 1077944320 30622 0 0 0 1613 70 0 0 20 0 28 0 1027557 27171282944 140387 18446744073709551615 4194304 4196468 140727164189840 140727164172384 140022891945719 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36573184 140727164191186 140727164191362 140727164191362 140727164194767 0
/proc/7397/statm: 6633614 140387 3231 1 0 6621915 0
[pid=7397/tid=7398] ppid=7395 vsize=26534456 CPUtime=1.5 cores=0-7
/proc/7397/task/7398/stat : 7398 (java) S 7395 7395 2334 0 -1 1077944384 9147 0 0 0 143 7 0 0 20 0 28 0 1027557 27171282944 140387 18446744073709551615 4194304 4196468 140727164189840 140022896186496 140022891955925 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 36573184 140727164191186 140727164191362 140727164191362 140727164194767 0
[pid=7397/tid=7399] ppid=7395 vsize=26534456 CPUtime=0.2 cores=0-7
/proc/7397/task/7399/stat : 7399 (java) S 7395 7395 2334 0 -1 1077944384 116 0 0 0 14 6 0 0 20 0 28 0 1027558 27171282944 140387 18446744073709551615 4194304 4196468 140727164189840 140022848911888 140022891955925 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36573184 140727164191186 140727164191362 140727164191362 140727164194767 0
[pid=7397/tid=7400] ppid=7395 vsize=26534456 CPUtime=0.17 cores=0-7
/proc/7397/task/7400/stat : 7400 (java) S 7395 7395 2334 0 -1 1077944384 103 0 0 0 11 6 0 0 20 0 28 0 1027558 27171282944 140387 18446744073709551615 4194304 4196468 140727164189840 140022847859344 140022891955925 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36573184 140727164191186 140727164191362 140727164191362 140727164194767 0
[pid=7397/tid=7401] ppid=7395 vsize=26534456 CPUtime=0.18 cores=0-7
/proc/7397/task/7401/stat : 7401 (java) S 7395 7395 2334 0 -1 1077944384 100 0 0 0 12 6 0 0 20 0 28 0 1027558 27171282944 140387 18446744073709551615 4194304 4196468 140727164189840 140022452189456 140022891955925 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 36573184 140727164191186 140727164191362 140727164191362 140727164194767 0
[pid=7397/tid=7402] ppid=7395 vsize=26534456 CPUtime=0.2 cores=0-7
/proc/7397/task/7402/stat : 7402 (java) S 7395 7395 2334 0 -1 1077944384 113 0 0 0 13 7 0 0 20 0 28 0 1027558 27171282944 140387 18446744073709551615 4194304 4196468 140727164189840 140022451136912 140022891955925 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36573184 140727164191186 140727164191362 140727164191362 140727164194767 0
[pid=7397/tid=7403] ppid=7395 vsize=26534456 CPUtime=0.19 cores=0-7
/proc/7397/task/7403/stat : 7403 (java) S 7395 7395 2334 0 -1 1077944384 107 0 0 0 13 6 0 0 20 0 28 0 1027558 27171282944 140387 18446744073709551615 4194304 4196468 140727164189840 140022450084880 140022891955925 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36573184 140727164191186 140727164191362 140727164191362 140727164194767 0
[pid=7397/tid=7404] ppid=7395 vsize=26534456 CPUtime=0.19 cores=0-7
/proc/7397/task/7404/stat : 7404 (java) S 7395 7395 2334 0 -1 1077944384 118 0 0 0 13 6 0 0 20 0 28 0 1027558 27171282944 140387 18446744073709551615 4194304 4196468 140727164189840 140022449032336 140022891955925 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36573184 140727164191186 140727164191362 140727164191362 140727164194767 0
[pid=7397/tid=7405] ppid=7395 vsize=26534456 CPUtime=0.2 cores=0-7
/proc/7397/task/7405/stat : 7405 (java) S 7395 7395 2334 0 -1 1077944384 112 0 0 0 13 7 0 0 20 0 28 0 1027558 27171282944 140387 18446744073709551615 4194304 4196468 140727164189840 140022447979280 140022891955925 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36573184 140727164191186 140727164191362 140727164191362 140727164194767 0
[pid=7397/tid=7406] ppid=7395 vsize=26534456 CPUtime=0.2 cores=0-7
/proc/7397/task/7406/stat : 7406 (java) S 7395 7395 2334 0 -1 1077944384 109 0 0 0 13 7 0 0 20 0 28 0 1027558 27171282944 140387 18446744073709551615 4194304 4196468 140727164189840 140022446926736 140022891955925 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36573184 140727164191186 140727164191362 140727164191362 140727164194767 0
[pid=7397/tid=7407] ppid=7395 vsize=26534456 CPUtime=0 cores=0-7
/proc/7397/task/7407/stat : 7407 (java) S 7395 7395 2334 0 -1 1077944384 209 0 0 0 0 0 0 0 20 0 28 0 1027559 27171282944 140387 18446744073709551615 4194304 4196468 140727164189840 140021570988272 140022891956866 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36573184 140727164191186 140727164191362 140727164191362 140727164194767 0
[pid=7397/tid=7408] ppid=7395 vsize=26534456 CPUtime=0 cores=0-7
/proc/7397/task/7408/stat : 7408 (java) S 7395 7395 2334 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 1027560 27171282944 140387 18446744073709551615 4194304 4196468 140727164189840 140021569934560 140022891955925 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36573184 140727164191186 140727164191362 140727164191362 140727164194767 0
[pid=7397/tid=7409] ppid=7395 vsize=26534456 CPUtime=0 cores=0-7
/proc/7397/task/7409/stat : 7409 (java) S 7395 7395 2334 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 1027560 27171282944 140387 18446744073709551615 4194304 4196468 140727164189840 140021568881408 140022891955925 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36573184 140727164191186 140727164191362 140727164191362 140727164194767 0
[pid=7397/tid=7410] ppid=7395 vsize=26534456 CPUtime=0 cores=0-7
/proc/7397/task/7410/stat : 7410 (java) S 7395 7395 2334 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 1027563 27171282944 140387 18446744073709551615 4194304 4196468 140727164189840 140021567829968 140022891964315 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36573184 140727164191186 140727164191362 140727164191362 140727164194767 0
[pid=7397/tid=7411] ppid=7395 vsize=26534456 CPUtime=1.9 cores=0-7
/proc/7397/task/7411/stat : 7411 (java) R 7395 7395 2334 0 -1 4202560 6556 0 0 0 189 1 0 0 20 0 28 0 1027563 27171282944 140387 18446744073709551615 4194304 4196468 140727164189840 140021566765024 140022873466610 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36573184 140727164191186 140727164191362 140727164191362 140727164194767 0
[pid=7397/tid=7412] ppid=7395 vsize=26534456 CPUtime=1.74 cores=0-7
/proc/7397/task/7412/stat : 7412 (java) R 7395 7395 2334 0 -1 4202560 4048 0 0 0 174 0 0 0 20 0 28 0 1027563 27171282944 140387 18446744073709551615 4194304 4196468 140727164189840 140021565718592 140022877968124 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36573184 140727164191186 140727164191362 140727164191362 140727164194767 0
[pid=7397/tid=7413] ppid=7395 vsize=26534456 CPUtime=2.09 cores=0-7
/proc/7397/task/7413/stat : 7413 (java) R 7395 7395 2334 0 -1 4202560 4595 0 0 0 208 1 0 0 20 0 28 0 1027563 27171282944 140387 18446744073709551615 4194304 4196468 140727164189840 140021564659040 140022877055485 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36573184 140727164191186 140727164191362 140727164191362 140727164194767 0
[pid=7397/tid=7414] ppid=7395 vsize=26534456 CPUtime=0.65 cores=0-7
/proc/7397/task/7414/stat : 7414 (java) R 7395 7395 2334 0 -1 1077944384 3006 0 0 0 64 1 0 0 20 0 28 0 1027563 27171282944 140387 18446744073709551615 4194304 4196468 140727164189840 140021563619760 140022891955925 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36573184 140727164191186 140727164191362 140727164191362 140727164194767 0
[pid=7397/tid=7415] ppid=7395 vsize=26534456 CPUtime=0 cores=0-7
/proc/7397/task/7415/stat : 7415 (java) S 7395 7395 2334 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 1027563 27171282944 140387 18446744073709551615 4194304 4196468 140727164189840 140021562567136 140022891955925 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36573184 140727164191186 140727164191362 140727164191362 140727164194767 0
[pid=7397/tid=7416] ppid=7395 vsize=26534456 CPUtime=0 cores=0-7
/proc/7397/task/7416/stat : 7416 (java) S 7395 7395 2334 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 1027567 27171282944 140387 18446744073709551615 4194304 4196468 140727164189840 140021561514672 140022891956866 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36573184 140727164191186 140727164191362 140727164191362 140727164194767 0
[pid=7397/tid=7417] ppid=7395 vsize=26534456 CPUtime=1.06 cores=0-7
/proc/7397/task/7417/stat : 7417 (java) R 7395 7395 2334 0 -1 4202560 63 0 0 0 106 0 0 0 20 0 28 0 1027725 27171282944 140387 18446744073709551615 4194304 4196468 140727164189840 140021553500672 140022527372608 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36573184 140727164191186 140727164191362 140727164191362 140727164194767 0
[pid=7397/tid=7418] ppid=7395 vsize=26534456 CPUtime=0.81 cores=0-7
/proc/7397/task/7418/stat : 7418 (java) R 7395 7395 2334 0 -1 4202560 45 0 0 0 81 0 0 0 20 0 28 0 1027725 27171282944 140387 18446744073709551615 4194304 4196468 140727164189840 140021552449880 140022527431327 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36573184 140727164191186 140727164191362 140727164191362 140727164194767 0
[pid=7397/tid=7419] ppid=7395 vsize=26534456 CPUtime=0.98 cores=0-7
/proc/7397/task/7419/stat : 7419 (java) R 7395 7395 2334 0 -1 4202560 534 0 0 0 98 0 0 0 20 0 28 0 1027725 27171282944 140387 18446744073709551615 4194304 4196468 140727164189840 140021551399432 140022527445321 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36573184 140727164191186 140727164191362 140727164191362 140727164194767 0
[pid=7397/tid=7420] ppid=7395 vsize=26534456 CPUtime=0.98 cores=0-7
/proc/7397/task/7420/stat : 7420 (java) R 7395 7395 2334 0 -1 4202560 95 0 0 0 97 1 0 0 20 0 28 0 1027725 27171282944 140387 18446744073709551615 4194304 4196468 140727164189840 140021550333888 140022873785072 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36573184 140727164191186 140727164191362 140727164191362 140727164194767 0
[pid=7397/tid=7421] ppid=7395 vsize=26534456 CPUtime=0.83 cores=0-7
/proc/7397/task/7421/stat : 7421 (java) S 7395 7395 2334 0 -1 1077944384 33 0 0 0 83 0 0 0 20 0 28 0 1027725 27171282944 140387 18446744073709551615 4194304 4196468 140727164189840 140021549291776 140022891955925 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36573184 140727164191186 140727164191362 140727164191362 140727164194767 0
[pid=7397/tid=7422] ppid=7395 vsize=26534456 CPUtime=0.88 cores=0-7
/proc/7397/task/7422/stat : 7422 (java) S 7395 7395 2334 0 -1 1077944384 43 0 0 0 88 0 0 0 20 0 28 0 1027725 27171282944 140387 18446744073709551615 4194304 4196468 140727164189840 140021548240032 140022891955925 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36573184 140727164191186 140727164191362 140727164191362 140727164194767 0
[pid=7397/tid=7423] ppid=7395 vsize=26534456 CPUtime=0.82 cores=0-7
/proc/7397/task/7423/stat : 7423 (java) R 7395 7395 2334 0 -1 4202560 28 0 0 0 82 0 0 0 20 0 28 0 1027725 27171282944 140387 18446744073709551615 4194304 4196468 140727164189840 140021547185984 140022527372608 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36573184 140727164191186 140727164191362 140727164191362 140727164194767 0
[pid=7397/tid=7424] ppid=7395 vsize=26534456 CPUtime=0.89 cores=0-7
/proc/7397/task/7424/stat : 7424 (java) R 7395 7395 2334 0 -1 4202560 46 0 0 0 89 0 0 0 20 0 28 0 1027725 27171282944 140387 18446744073709551615 4194304 4196468 140727164189840 140021546132576 140022527407204 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36573184 140727164191186 140727164191362 140727164191362 140727164194767 0
Current children cumulated CPU time (s) 16.83
Current children cumulated vsize (KiB) 26543968

[startup+6.30115 s]
/proc/loadavg: 8.84 7.95 7.40 11/203 7424
/proc/meminfo: memFree=31108920/32770624 swapFree=0/298836
[pid=7395] ppid=7392 vsize=9512 CPUtime=0 cores=0-7
/proc/7395/stat : 7395 (xcsp3-exec) S 7392 7395 2334 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 1027551 9740288 345 18446744073709551615 4194304 5098028 140735549842448 140735549840552 140163120857724 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 31195136 140735549845908 140735549846118 140735549846118 140735549849579 0
/proc/7395/statm: 2378 345 289 221 0 87 0
[pid=7397] ppid=7395 vsize=26534456 CPUtime=41.01 cores=0-7
/proc/7397/stat : 7397 (java) S 7395 7395 2334 0 -1 1077944320 50798 0 0 0 3985 116 0 0 20 0 28 0 1027557 27171282944 179350 18446744073709551615 4194304 4196468 140727164189840 140727164172384 140022891945719 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36573184 140727164191186 140727164191362 140727164191362 140727164194767 0
/proc/7397/statm: 6633614 179350 3245 1 0 6621915 0
[pid=7397/tid=7398] ppid=7395 vsize=26534456 CPUtime=1.5 cores=0-7
/proc/7397/task/7398/stat : 7398 (java) S 7395 7395 2334 0 -1 1077944384 9147 0 0 0 143 7 0 0 20 0 28 0 1027557 27171282944 179350 18446744073709551615 4194304 4196468 140727164189840 140022896186496 140022891955925 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 36573184 140727164191186 140727164191362 140727164191362 140727164194767 0
[pid=7397/tid=7399] ppid=7395 vsize=26534456 CPUtime=0.63 cores=0-7
/proc/7397/task/7399/stat : 7399 (java) S 7395 7395 2334 0 -1 1077944384 231 0 0 0 52 11 0 0 20 0 28 0 1027558 27171282944 179350 18446744073709551615 4194304 4196468 140727164189840 140022848911888 140022891955925 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36573184 140727164191186 140727164191362 140727164191362 140727164194767 0
[pid=7397/tid=7400] ppid=7395 vsize=26534456 CPUtime=0.6 cores=0-7
/proc/7397/task/7400/stat : 7400 (java) S 7395 7395 2334 0 -1 1077944384 211 0 0 0 49 11 0 0 20 0 28 0 1027558 27171282944 179350 18446744073709551615 4194304 4196468 140727164189840 140022847859344 140022891955925 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36573184 140727164191186 140727164191362 140727164191362 140727164194767 0
[pid=7397/tid=7401] ppid=7395 vsize=26534456 CPUtime=0.59 cores=0-7
/proc/7397/task/7401/stat : 7401 (java) S 7395 7395 2334 0 -1 1077944384 375 0 0 0 50 9 0 0 20 0 28 0 1027558 27171282944 179350 18446744073709551615 4194304 4196468 140727164189840 140022452189456 140022891955925 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 36573184 140727164191186 140727164191362 140727164191362 140727164194767 0
[pid=7397/tid=7402] ppid=7395 vsize=26534456 CPUtime=0.62 cores=0-7
/proc/7397/task/7402/stat : 7402 (java) S 7395 7395 2334 0 -1 1077944384 223 0 0 0 51 11 0 0 20 0 28 0 1027558 27171282944 179350 18446744073709551615 4194304 4196468 140727164189840 140022451136912 140022891955925 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36573184 140727164191186 140727164191362 140727164191362 140727164194767 0

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

[pid=7397/tid=7423] ppid=7395 vsize=26534456 CPUtime=157.49 cores=0-7
/proc/7397/task/7423/stat : 7423 (java) R 7395 7395 2334 0 -1 4202560 1660 0 0 0 15743 6 0 0 20 0 28 0 1027725 27171282944 519955 18446744073709551615 4194304 4196468 140727164189840 140021547187240 140022534949848 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36573184 140727164191186 140727164191362 140727164191362 140727164194767 0
[pid=7397/tid=7424] ppid=7395 vsize=26534456 CPUtime=158.35 cores=0-7
/proc/7397/task/7424/stat : 7424 (java) R 7395 7395 2334 0 -1 4202560 3294 0 0 0 15829 6 0 0 20 0 28 0 1027725 27171282944 519955 18446744073709551615 4194304 4196468 140727164189840 140021546134584 140022539560356 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36573184 140727164191186 140727164191362 140727164191362 140727164194767 0
Current children cumulated CPU time (s) 1285.79
Current children cumulated vsize (KiB) 26543968

[startup+222.307 s]
/proc/loadavg: 8.10 7.98 7.52 9/201 7428
/proc/meminfo: memFree=29628396/32770624 swapFree=0/298892
[pid=7395] ppid=7392 vsize=9512 CPUtime=0 cores=0-7
/proc/7395/stat : 7395 (xcsp3-exec) S 7392 7395 2334 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 1027551 9740288 345 18446744073709551615 4194304 5098028 140735549842448 140735549840552 140163120857724 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 31195136 140735549845908 140735549846118 140735549846118 140735549849579 0
/proc/7395/statm: 2378 345 289 221 0 87 0
[pid=7397] ppid=7395 vsize=26534456 CPUtime=1764.81 cores=0-7
/proc/7397/stat : 7397 (java) S 7395 7395 2334 0 -1 1077944320 147169 0 0 0 176112 369 0 0 20 0 28 0 1027557 27171282944 549718 18446744073709551615 4194304 4196468 140727164189840 140727164172384 140022891945719 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36573184 140727164191186 140727164191362 140727164191362 140727164194767 0
/proc/7397/statm: 6633614 549718 3260 1 0 6621915 0
[pid=7397/tid=7398] ppid=7395 vsize=26534456 CPUtime=1.5 cores=0-7
/proc/7397/task/7398/stat : 7398 (java) S 7395 7395 2334 0 -1 1077944384 9147 0 0 0 143 7 0 0 20 0 28 0 1027557 27171282944 549718 18446744073709551615 4194304 4196468 140727164189840 140022896186496 140022891955925 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 36573184 140727164191186 140727164191362 140727164191362 140727164194767 0
[pid=7397/tid=7399] ppid=7395 vsize=26534456 CPUtime=1.21 cores=0-7
/proc/7397/task/7399/stat : 7399 (java) S 7395 7395 2334 0 -1 1077944384 2165 0 0 0 88 33 0 0 20 0 28 0 1027558 27171282944 549718 18446744073709551615 4194304 4196468 140727164189840 140022848911888 140022891955925 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 36573184 140727164191186 140727164191362 140727164191362 140727164194767 0
[pid=7397/tid=7400] ppid=7395 vsize=26534456 CPUtime=1.19 cores=0-7
/proc/7397/task/7400/stat : 7400 (java) S 7395 7395 2334 0 -1 1077944384 1168 0 0 0 86 33 0 0 20 0 28 0 1027558 27171282944 549718 18446744073709551615 4194304 4196468 140727164189840 140022847859344 140022891955925 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 36573184 140727164191186 140727164191362 140727164191362 140727164194767 0
[pid=7397/tid=7401] ppid=7395 vsize=26534456 CPUtime=1.18 cores=0-7
/proc/7397/task/7401/stat : 7401 (java) S 7395 7395 2334 0 -1 1077944384 1828 0 0 0 87 31 0 0 20 0 28 0 1027558 27171282944 549718 18446744073709551615 4194304 4196468 140727164189840 140022452189456 140022891955925 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 36573184 140727164191186 140727164191362 140727164191362 140727164194767 0
[pid=7397/tid=7402] ppid=7395 vsize=26534456 CPUtime=1.21 cores=0-7
/proc/7397/task/7402/stat : 7402 (java) S 7395 7395 2334 0 -1 1077944384 2177 0 0 0 89 32 0 0 20 0 28 0 1027558 27171282944 549718 18446744073709551615 4194304 4196468 140727164189840 140022451136912 140022891955925 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36573184 140727164191186 140727164191362 140727164191362 140727164194767 0
[pid=7397/tid=7403] ppid=7395 vsize=26534456 CPUtime=1.2 cores=0-7
/proc/7397/task/7403/stat : 7403 (java) S 7395 7395 2334 0 -1 1077944384 2751 0 0 0 88 32 0 0 20 0 28 0 1027558 27171282944 549718 18446744073709551615 4194304 4196468 140727164189840 140022450084880 140022891955925 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 36573184 140727164191186 140727164191362 140727164191362 140727164194767 0
[pid=7397/tid=7404] ppid=7395 vsize=26534456 CPUtime=1.2 cores=0-7
/proc/7397/task/7404/stat : 7404 (java) S 7395 7395 2334 0 -1 1077944384 1547 0 0 0 89 31 0 0 20 0 28 0 1027558 27171282944 549718 18446744073709551615 4194304 4196468 140727164189840 140022449032336 140022891955925 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36573184 140727164191186 140727164191362 140727164191362 140727164194767 0
[pid=7397/tid=7405] ppid=7395 vsize=26534456 CPUtime=1.2 cores=0-7
/proc/7397/task/7405/stat : 7405 (java) S 7395 7395 2334 0 -1 1077944384 2333 0 0 0 87 33 0 0 20 0 28 0 1027558 27171282944 549718 18446744073709551615 4194304 4196468 140727164189840 140022447979280 140022891955925 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36573184 140727164191186 140727164191362 140727164191362 140727164194767 0
[pid=7397/tid=7406] ppid=7395 vsize=26534456 CPUtime=1.2 cores=0-7
/proc/7397/task/7406/stat : 7406 (java) S 7395 7395 2334 0 -1 1077944384 1455 0 0 0 86 34 0 0 20 0 28 0 1027558 27171282944 549718 18446744073709551615 4194304 4196468 140727164189840 140022446926736 140022891955925 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36573184 140727164191186 140727164191362 140727164191362 140727164194767 0
[pid=7397/tid=7407] ppid=7395 vsize=26534456 CPUtime=0.23 cores=0-7
/proc/7397/task/7407/stat : 7407 (java) S 7395 7395 2334 0 -1 1077944384 6184 0 0 0 21 2 0 0 20 0 28 0 1027559 27171282944 549718 18446744073709551615 4194304 4196468 140727164189840 140021570988272 140022891956866 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36573184 140727164191186 140727164191362 140727164191362 140727164194767 0
[pid=7397/tid=7408] ppid=7395 vsize=26534456 CPUtime=0 cores=0-7
/proc/7397/task/7408/stat : 7408 (java) S 7395 7395 2334 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 1027560 27171282944 549718 18446744073709551615 4194304 4196468 140727164189840 140021569934560 140022891955925 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36573184 140727164191186 140727164191362 140727164191362 140727164194767 0
[pid=7397/tid=7409] ppid=7395 vsize=26534456 CPUtime=0 cores=0-7
/proc/7397/task/7409/stat : 7409 (java) S 7395 7395 2334 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 28 0 1027560 27171282944 549718 18446744073709551615 4194304 4196468 140727164189840 140021568881408 140022891955925 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36573184 140727164191186 140727164191362 140727164191362 140727164194767 0
[pid=7397/tid=7410] ppid=7395 vsize=26534456 CPUtime=0 cores=0-7
/proc/7397/task/7410/stat : 7410 (java) S 7395 7395 2334 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 1027563 27171282944 549718 18446744073709551615 4194304 4196468 140727164189840 140021567829968 140022891964315 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36573184 140727164191186 140727164191362 140727164191362 140727164194767 0
[pid=7397/tid=7411] ppid=7395 vsize=26534456 CPUtime=4.24 cores=0-7
/proc/7397/task/7411/stat : 7411 (java) S 7395 7395 2334 0 -1 1077944384 22485 0 0 0 418 6 0 0 20 0 28 0 1027563 27171282944 549718 18446744073709551615 4194304 4196468 140727164189840 140021566778096 140022891956866 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36573184 140727164191186 140727164191362 140727164191362 140727164194767 0
[pid=7397/tid=7412] ppid=7395 vsize=26534456 CPUtime=3.72 cores=0-7
/proc/7397/task/7412/stat : 7412 (java) S 7395 7395 2334 0 -1 1077944384 21086 0 0 0 368 4 0 0 20 0 28 0 1027563 27171282944 549718 18446744073709551615 4194304 4196468 140727164189840 140021565725552 140022891956866 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36573184 140727164191186 140727164191362 140727164191362 140727164194767 0
[pid=7397/tid=7413] ppid=7395 vsize=26534456 CPUtime=3.82 cores=0-7
/proc/7397/task/7413/stat : 7413 (java) S 7395 7395 2334 0 -1 1077944384 20580 0 0 0 376 6 0 0 20 0 28 0 1027563 27171282944 549718 18446744073709551615 4194304 4196468 140727164189840 140021564672496 140022891956866 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36573184 140727164191186 140727164191362 140727164191362 140727164194767 0
[pid=7397/tid=7414] ppid=7395 vsize=26534456 CPUtime=1.02 cores=0-7
/proc/7397/task/7414/stat : 7414 (java) S 7395 7395 2334 0 -1 1077944384 12351 0 0 0 99 3 0 0 20 0 28 0 1027563 27171282944 549718 18446744073709551615 4194304 4196468 140727164189840 140021563619952 140022891956866 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36573184 140727164191186 140727164191362 140727164191362 140727164194767 0
[pid=7397/tid=7415] ppid=7395 vsize=26534456 CPUtime=0 cores=0-7
/proc/7397/task/7415/stat : 7415 (java) S 7395 7395 2334 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 1027563 27171282944 549718 18446744073709551615 4194304 4196468 140727164189840 140021562567136 140022891955925 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36573184 140727164191186 140727164191362 140727164191362 140727164194767 0
[pid=7397/tid=7416] ppid=7395 vsize=26534456 CPUtime=0.06 cores=0-7
/proc/7397/task/7416/stat : 7416 (java) S 7395 7395 2334 0 -1 1077944384 1813 0 0 0 3 3 0 0 20 0 28 0 1027567 27171282944 549718 18446744073709551615 4194304 4196468 140727164189840 140021561514672 140022891956866 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36573184 140727164191186 140727164191362 140727164191362 140727164194767 0
[pid=7397/tid=7417] ppid=7395 vsize=26534456 CPUtime=217.53 cores=0-7
/proc/7397/task/7417/stat : 7417 (java) R 7395 7395 2334 0 -1 4202560 5163 0 0 0 21747 6 0 0 20 0 28 0 1027725 27171282944 549718 18446744073709551615 4194304 4196468 140727164189840 140021553502440 140022538288701 0 4 1 16800974 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 36573184 140727164191186 140727164191362 140727164191362 140727164194767 0
[pid=7397/tid=7418] ppid=7395 vsize=26534456 CPUtime=217.56 cores=0-7
/proc/7397/task/7418/stat : 7418 (java) R 7395 7395 2334 0 -1 4202560 1968 0 0 0 21753 3 0 0 20 0 28 0 1027725 27171282944 549718 18446744073709551615 4194304 4196468 140727164189840 140021552450568 140022537891372 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 36573184 140727164191186 140727164191362 140727164191362 140727164194767 0
[pid=7397/tid=7419] ppid=7395 vsize=26534456 CPUtime=217.07 cores=0-7
/proc/7397/task/7419/stat : 7419 (java) R 7395 7395 2334 0 -1 4202560 4122 0 0 0 21697 10 0 0 20 0 28 0 1027725 27171282944 549718 18446744073709551615 4194304 4196468 140727164189840 140021551398440 140022536302804 0 4 1 16800974 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 36573184 140727164191186 140727164191362 140727164191362 140727164194767 0
[pid=7397/tid=7420] ppid=7395 vsize=26534456 CPUtime=218.24 cores=0-7
/proc/7397/task/7420/stat : 7420 (java) R 7395 7395 2334 0 -1 4202560 9289 0 0 0 21803 21 0 0 20 0 28 0 1027725 27171282944 549718 18446744073709551615 4194304 4196468 140727164189840 140021550346064 140022532500608 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36573184 140727164191186 140727164191362 140727164191362 140727164194767 0
[pid=7397/tid=7421] ppid=7395 vsize=26534456 CPUtime=217.17 cores=0-7
/proc/7397/task/7421/stat : 7421 (java) R 7395 7395 2334 0 -1 4202560 4888 0 0 0 21707 10 0 0 20 0 28 0 1027725 27171282944 549718 18446744073709551615 4194304 4196468 140727164189840 140021549293336 140022532500407 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36573184 140727164191186 140727164191362 140727164191362 140727164194767 0
[pid=7397/tid=7422] ppid=7395 vsize=26534456 CPUtime=217.94 cores=0-7
/proc/7397/task/7422/stat : 7422 (java) R 7395 7395 2334 0 -1 4202560 5309 0 0 0 21786 8 0 0 20 0 28 0 1027725 27171282944 549718 18446744073709551615 4194304 4196468 140727164189840 140021548241128 140022537916223 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36573184 140727164191186 140727164191362 140727164191362 140727164194767 0
[pid=7397/tid=7423] ppid=7395 vsize=26534456 CPUtime=216.66 cores=0-7
/proc/7397/task/7423/stat : 7423 (java) R 7395 7395 2334 0 -1 4202560 2080 0 0 0 21659 7 0 0 20 0 28 0 1027725 27171282944 549718 18446744073709551615 4194304 4196468 140727164189840 140021547187240 140022538619008 0 4 1 16800974 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 36573184 140727164191186 140727164191362 140727164191362 140727164194767 0
[pid=7397/tid=7424] ppid=7395 vsize=26534456 CPUtime=218.22 cores=0-7
/proc/7397/task/7424/stat : 7424 (java) R 7395 7395 2334 0 -1 4202560 3935 0 0 0 21815 7 0 0 20 0 28 0 1027725 27171282944 549718 18446744073709551615 4194304 4196468 140727164189840 140021546134552 140022534736865 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36573184 140727164191186 140727164191362 140727164191362 140727164194767 0
Current children cumulated CPU time (s) 1764.81
Current children cumulated vsize (KiB) 26543968



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+241.801 s]
/proc/loadavg: 8.08 7.98 7.53 9/201 7429
/proc/meminfo: memFree=29628168/32770624 swapFree=0/298896
[pid=7395] ppid=7392 vsize=9512 CPUtime=0 cores=0-7
/proc/7395/stat : 7395 (xcsp3-exec) S 7392 7395 2334 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 1027551 9740288 345 18446744073709551615 4194304 5098028 140735549842448 140735549840552 140163120857724 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 31195136 140735549845908 140735549846118 140735549846118 140735549849579 0
/proc/7395/statm: 2378 345 289 221 0 87 0
[pid=7397] ppid=7395 vsize=26534456 CPUtime=1920.44 cores=0-7
/proc/7397/stat : 7397 (java) S 7395 7395 2334 0 -1 1077944320 149449 0 0 0 191673 371 0 0 20 0 28 0 1027557 27171282944 549727 18446744073709551615 4194304 4196468 140727164189840 140727164172384 140022891945719 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36573184 140727164191186 140727164191362 140727164191362 140727164194767 0
/proc/7397/statm: 6633614 549727 3260 1 0 6621915 0
[pid=7397/tid=7398] ppid=7395 vsize=26534456 CPUtime=1.5 cores=0-7
/proc/7397/task/7398/stat : 7398 (java) S 7395 7395 2334 0 -1 1077944384 9147 0 0 0 143 7 0 0 20 0 28 0 1027557 27171282944 549727 18446744073709551615 4194304 4196468 140727164189840 140022896186496 140022891955925 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 36573184 140727164191186 140727164191362 140727164191362 140727164194767 0
[pid=7397/tid=7399] ppid=7395 vsize=26534456 CPUtime=1.26 cores=0-7
/proc/7397/task/7399/stat : 7399 (java) S 7395 7395 2334 0 -1 1077944384 2189 0 0 0 93 33 0 0 20 0 28 0 1027558 27171282944 549727 18446744073709551615 4194304 4196468 140727164189840 140022848911888 140022891955925 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 36573184 140727164191186 140727164191362 140727164191362 140727164194767 0
[pid=7397/tid=7400] ppid=7395 vsize=26534456 CPUtime=1.23 cores=0-7
/proc/7397/task/7400/stat : 7400 (java) S 7395 7395 2334 0 -1 1077944384 1191 0 0 0 90 33 0 0 20 0 28 0 1027558 27171282944 549727 18446744073709551615 4194304 4196468 140727164189840 140022847859344 140022891955925 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 36573184 140727164191186 140727164191362 140727164191362 140727164194767 0
[pid=7397/tid=7401] ppid=7395 vsize=26534456 CPUtime=1.22 cores=0-7
/proc/7397/task/7401/stat : 7401 (java) S 7395 7395 2334 0 -1 1077944384 1860 0 0 0 91 31 0 0 20 0 28 0 1027558 27171282944 549727 18446744073709551615 4194304 4196468 140727164189840 140022452189456 140022891955925 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 36573184 140727164191186 140727164191362 140727164191362 140727164194767 0
[pid=7397/tid=7402] ppid=7395 vsize=26534456 CPUtime=1.25 cores=0-7
/proc/7397/task/7402/stat : 7402 (java) S 7395 7395 2334 0 -1 1077944384 2210 0 0 0 93 32 0 0 20 0 28 0 1027558 27171282944 549727 18446744073709551615 4194304 4196468 140727164189840 140022451136912 140022891955925 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36573184 140727164191186 140727164191362 140727164191362 140727164194767 0
[pid=7397/tid=7403] ppid=7395 vsize=26534456 CPUtime=1.23 cores=0-7
/proc/7397/task/7403/stat : 7403 (java) S 7395 7395 2334 0 -1 1077944384 2790 0 0 0 91 32 0 0 20 0 28 0 1027558 27171282944 549727 18446744073709551615 4194304 4196468 140727164189840 140022450084880 140022891955925 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 36573184 140727164191186 140727164191362 140727164191362 140727164194767 0
[pid=7397/tid=7404] ppid=7395 vsize=26534456 CPUtime=1.24 cores=0-7
/proc/7397/task/7404/stat : 7404 (java) S 7395 7395 2334 0 -1 1077944384 1584 0 0 0 93 31 0 0 20 0 28 0 1027558 27171282944 549727 18446744073709551615 4194304 4196468 140727164189840 140022449032336 140022891955925 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36573184 140727164191186 140727164191362 140727164191362 140727164194767 0
[pid=7397/tid=7405] ppid=7395 vsize=26534456 CPUtime=1.24 cores=0-7
/proc/7397/task/7405/stat : 7405 (java) S 7395 7395 2334 0 -1 1077944384 2490 0 0 0 91 33 0 0 20 0 28 0 1027558 27171282944 549727 18446744073709551615 4194304 4196468 140727164189840 140022447979280 140022891955925 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36573184 140727164191186 140727164191362 140727164191362 140727164194767 0
[pid=7397/tid=7406] ppid=7395 vsize=26534456 CPUtime=1.24 cores=0-7
/proc/7397/task/7406/stat : 7406 (java) S 7395 7395 2334 0 -1 1077944384 2021 0 0 0 90 34 0 0 20 0 28 0 1027558 27171282944 549727 18446744073709551615 4194304 4196468 140727164189840 140022446926736 140022891955925 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36573184 140727164191186 140727164191362 140727164191362 140727164194767 0
[pid=7397/tid=7407] ppid=7395 vsize=26534456 CPUtime=0.23 cores=0-7
/proc/7397/task/7407/stat : 7407 (java) S 7395 7395 2334 0 -1 1077944384 6426 0 0 0 21 2 0 0 20 0 28 0 1027559 27171282944 549727 18446744073709551615 4194304 4196468 140727164189840 140021570988272 140022891956866 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36573184 140727164191186 140727164191362 140727164191362 140727164194767 0
[pid=7397/tid=7408] ppid=7395 vsize=26534456 CPUtime=0 cores=0-7
/proc/7397/task/7408/stat : 7408 (java) S 7395 7395 2334 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 1027560 27171282944 549727 18446744073709551615 4194304 4196468 140727164189840 140021569934560 140022891955925 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36573184 140727164191186 140727164191362 140727164191362 140727164194767 0
[pid=7397/tid=7409] ppid=7395 vsize=26534456 CPUtime=0 cores=0-7
/proc/7397/task/7409/stat : 7409 (java) S 7395 7395 2334 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 28 0 1027560 27171282944 549727 18446744073709551615 4194304 4196468 140727164189840 140021568881408 140022891955925 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36573184 140727164191186 140727164191362 140727164191362 140727164194767 0
[pid=7397/tid=7410] ppid=7395 vsize=26534456 CPUtime=0 cores=0-7
/proc/7397/task/7410/stat : 7410 (java) S 7395 7395 2334 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 1027563 27171282944 549727 18446744073709551615 4194304 4196468 140727164189840 140021567829968 140022891964315 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36573184 140727164191186 140727164191362 140727164191362 140727164194767 0
[pid=7397/tid=7411] ppid=7395 vsize=26534456 CPUtime=4.24 cores=0-7
/proc/7397/task/7411/stat : 7411 (java) S 7395 7395 2334 0 -1 1077944384 22485 0 0 0 418 6 0 0 20 0 28 0 1027563 27171282944 549727 18446744073709551615 4194304 4196468 140727164189840 140021566778096 140022891956866 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36573184 140727164191186 140727164191362 140727164191362 140727164194767 0
[pid=7397/tid=7412] ppid=7395 vsize=26534456 CPUtime=3.73 cores=0-7
/proc/7397/task/7412/stat : 7412 (java) S 7395 7395 2334 0 -1 1077944384 21373 0 0 0 369 4 0 0 20 0 28 0 1027563 27171282944 549727 18446744073709551615 4194304 4196468 140727164189840 140021565725552 140022891956866 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36573184 140727164191186 140727164191362 140727164191362 140727164194767 0
[pid=7397/tid=7413] ppid=7395 vsize=26534456 CPUtime=3.82 cores=0-7
/proc/7397/task/7413/stat : 7413 (java) S 7395 7395 2334 0 -1 1077944384 20580 0 0 0 376 6 0 0 20 0 28 0 1027563 27171282944 549727 18446744073709551615 4194304 4196468 140727164189840 140021564672496 140022891956866 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36573184 140727164191186 140727164191362 140727164191362 140727164194767 0
[pid=7397/tid=7414] ppid=7395 vsize=26534456 CPUtime=1.03 cores=0-7
/proc/7397/task/7414/stat : 7414 (java) S 7395 7395 2334 0 -1 1077944384 12547 0 0 0 100 3 0 0 20 0 28 0 1027563 27171282944 549727 18446744073709551615 4194304 4196468 140727164189840 140021563619952 140022891956866 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36573184 140727164191186 140727164191362 140727164191362 140727164194767 0
[pid=7397/tid=7415] ppid=7395 vsize=26534456 CPUtime=0 cores=0-7
/proc/7397/task/7415/stat : 7415 (java) S 7395 7395 2334 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 1027563 27171282944 549727 18446744073709551615 4194304 4196468 140727164189840 140021562567136 140022891955925 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36573184 140727164191186 140727164191362 140727164191362 140727164194767 0
[pid=7397/tid=7416] ppid=7395 vsize=26534456 CPUtime=0.08 cores=0-7
/proc/7397/task/7416/stat : 7416 (java) S 7395 7395 2334 0 -1 1077944384 1820 0 0 0 4 4 0 0 20 0 28 0 1027567 27171282944 549727 18446744073709551615 4194304 4196468 140727164189840 140021561514672 140022891956866 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36573184 140727164191186 140727164191362 140727164191362 140727164194767 0
[pid=7397/tid=7417] ppid=7395 vsize=26534456 CPUtime=236.99 cores=0-7
/proc/7397/task/7417/stat : 7417 (java) R 7395 7395 2334 0 -1 4202560 5178 0 0 0 23692 7 0 0 20 0 28 0 1027725 27171282944 549727 18446744073709551615 4194304 4196468 140727164189840 140021553502312 140022539128624 0 4 1 16800974 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 36573184 140727164191186 140727164191362 140727164191362 140727164194767 0
[pid=7397/tid=7418] ppid=7395 vsize=26534456 CPUtime=237.01 cores=0-7
/proc/7397/task/7418/stat : 7418 (java) R 7395 7395 2334 0 -1 4202560 1994 0 0 0 23698 3 0 0 20 0 28 0 1027725 27171282944 549727 18446744073709551615 4194304 4196468 140727164189840 140021552450568 140022538192901 0 4 1 16800974 0 0 0 -1 6 0 0 4 0 0 6293624 6294260 36573184 140727164191186 140727164191362 140727164191362 140727164194767 0
[pid=7397/tid=7419] ppid=7395 vsize=26534456 CPUtime=236.51 cores=0-7
/proc/7397/task/7419/stat : 7419 (java) R 7395 7395 2334 0 -1 4202560 4142 0 0 0 23641 10 0 0 20 0 28 0 1027725 27171282944 549727 18446744073709551615 4194304 4196468 140727164189840 140021551398440 140022535152482 0 4 1 16800974 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 36573184 140727164191186 140727164191362 140727164191362 140727164194767 0
[pid=7397/tid=7420] ppid=7395 vsize=26534456 CPUtime=237.69 cores=0-7
/proc/7397/task/7420/stat : 7420 (java) R 7395 7395 2334 0 -1 4202560 9524 0 0 0 23747 22 0 0 20 0 28 0 1027725 27171282944 549727 18446744073709551615 4194304 4196468 140727164189840 140021550348632 140022532500662 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36573184 140727164191186 140727164191362 140727164191362 140727164194767 0
[pid=7397/tid=7421] ppid=7395 vsize=26534456 CPUtime=236.34 cores=0-7
/proc/7397/task/7421/stat : 7421 (java) R 7395 7395 2334 0 -1 4202560 5150 0 0 0 23623 11 0 0 20 0 28 0 1027725 27171282944 549727 18446744073709551615 4194304 4196468 140727164189840 140021549294008 140022529438639 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36573184 140727164191186 140727164191362 140727164191362 140727164194767 0
[pid=7397/tid=7422] ppid=7395 vsize=26534456 CPUtime=237.38 cores=0-7
/proc/7397/task/7422/stat : 7422 (java) R 7395 7395 2334 0 -1 4202560 5358 0 0 0 23730 8 0 0 20 0 28 0 1027725 27171282944 549727 18446744073709551615 4194304 4196468 140727164189840 140021548240392 140022534638452 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36573184 140727164191186 140727164191362 140727164191362 140727164194767 0
[pid=7397/tid=7423] ppid=7395 vsize=26534456 CPUtime=236.11 cores=0-7
/proc/7397/task/7423/stat : 7423 (java) R 7395 7395 2334 0 -1 4202560 2097 0 0 0 23604 7 0 0 20 0 28 0 1027725 27171282944 549727 18446744073709551615 4194304 4196468 140727164189840 140021547187336 140022536303351 0 4 1 16800974 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 36573184 140727164191186 140727164191362 140727164191362 140727164194767 0
[pid=7397/tid=7424] ppid=7395 vsize=26534456 CPUtime=237.66 cores=0-7
/proc/7397/task/7424/stat : 7424 (java) R 7395 7395 2334 0 -1 4202560 3948 0 0 0 23759 7 0 0 20 0 28 0 1027725 27171282944 549727 18446744073709551615 4194304 4196468 140727164189840 140021546134552 140022535152562 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36573184 140727164191186 140727164191362 140727164191362 140727164194767 0
Current children cumulated CPU time (s) 1920.44
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 7397 sig 9
??? kill 7395 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 7395 and gives
#  childrusage.ru_utime.tv_sec=0
#  childrusage.ru_utime.tv_usec=1785
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=234
# CPU time returned by wait4() is 0.002019
# while last known CPU time is 1920.44
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 241.835
CPU time (s): 1920.44
CPU user time (s): 1916.73
CPU system time (s): 3.71
CPU usage (%): 794.111
Max. virtual memory (cumulated for all children) (KiB): 26545632

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.001785
system time used= 0.000234
maximum resident set size= 1384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 508
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.9019 second user time and 1.72228 second system time

The end

Launcher Data 

Begin job on node130 at 2017-08-02 12:52:51
IDJOB=4254765
IDBENCH=115644
IDSOLVER=2636
FILE ID=node130/4254765-1501672005
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-200-10-2.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-4254765-1501672005/watcher-4254765-1501672005 -o /tmp/evaluation-result-4254765-1501672005/solver-4254765-1501672005 -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 1895565691 HOME/instance-4254765-1501672005.xml

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

MD5SUM BENCH= 902fa3fa04f876c9ed200148bd67d93f
RANDOM SEED=1895565691

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:        31815080 kB
MemAvailable:   32023516 kB
Buffers:           98584 kB
Cached:           390652 kB
SwapCached:            0 kB
Active:           239548 kB
Inactive:         307616 kB
Active(anon):      58020 kB
Inactive(anon):     8556 kB
Active(file):     181528 kB
Inactive(file):   299060 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7824 kB
Writeback:             4 kB
AnonPages:         52420 kB
Mapped:            26940 kB
Shmem:              8868 kB
Slab:             111676 kB
SReclaimable:      87368 kB
SUnreclaim:        24308 kB
KernelStack:        3440 kB
PageTables:         4296 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:      4096 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 12:56:53