Trace number 4271811

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-08-09)SAT (TO)168 2003.17 252.103

General information on the benchmark

NameTravellingSalesman/TravellingSalesman-m1-n40/
TravellingSalesman-40-30-19.xml
MD5SUM6526f92d1e0de584709c666a2aa2b127
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark142
Best CPU time to get the best result obtained on this benchmark248.886
Satisfiable
(Un)Satisfiability was proved
Number of variables80
Number of constraints41
Number of domains2
Minimum domain size34
Maximum domain size40
Distribution of domain sizes[{"size":34,"count":40},{"size":40,"count":40}]
Minimum variable degree2
Maximum variable degree3
Distribution of variable degrees[{"degree":2,"count":40},{"degree":3,"count":40}]
Minimum constraint arity3
Maximum constraint arity40
Distribution of constraint arities[{"arity":3,"count":40},{"arity":40,"count":1}]
Number of extensional constraints40
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":40},{"type":"allDifferent","count":1}]
Optimization problemYES
Type of objectivemin SUM

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4271811-1502644781.xml"  -tl '2016s' -p 8 -x 0
0.12/0.14	c [HOME/instance-4271811-1502644781.xml, -tl, 2016s, -p, 8, -x, 0]
0.12/0.20	c 8 solvers in parallel
0.33/0.26	c parse instance...
2.29/0.91	c solve instance...
2.93/1.06	o 366 
2.93/1.07	o 365 
2.93/1.08	o 364 
3.60/1.11	o 363 
3.60/1.12	o 360 
3.60/1.13	o 358 
3.60/1.14	o 201 
3.60/1.15	o 200 
3.60/1.15	o 199 
3.60/1.16	o 196 
3.60/1.16	o 195 
3.60/1.16	o 193 
3.60/1.18	o 191 
3.60/1.19	o 186 
3.60/1.20	o 183 
4.15/1.20	o 182 
5.74/1.44	o 181 
315.12/40.38	o 179 
315.93/40.42	o 177 
315.93/40.42	o 175 
315.93/40.46	o 173 
315.93/40.47	o 172 
315.93/40.49	o 171 
315.93/40.50	o 170 
448.19/57.05	o 168 
2002.48/252.09	s SATISFIABLE
2002.48/252.09	v <instantiation>
2002.48/252.09	v 	<list>c[0] c[1] c[2] c[3] c[4] c[5] c[6] c[7] c[8] c[9] c[10] c[11] c[12] c[13] c[14] c[15] c[16] c[17] c[18] c[19] c[20] c[21] c[22] c[23] c[24] c[25] c[26] c[27] c[28] c[29] c[30] c[31] c[32] c[33] c[34] c[35] c[36] c[37] c[38] c[39] d[0] d[1] d[2] d[3] d[4] d[5] d[6] d[7] d[8] d[9] d[10] d[11] d[12] d[13] d[14] d[15] d[16] d[17] d[18] d[19] d[20] d[21] d[22] d[23] d[24] d[25] d[26] d[27] d[28] d[29] d[30] d[31] d[32] d[33] d[34] d[35] d[36] d[37] d[38] d[39] </list>
2002.48/252.09	v 	<values>38 34 31 30 22 16 17 18 14 12 19 23 25 27 28 32 33 29 21 13 15 11 20 35 10 6 9 5 3 4 8 1 2 0 7 24 26 36 37 39 2 2 1 6 3 2 5 2 1 4 4 2 3 1 1 1 2 5 5 1 4 6 9 18 6 12 5 4 3 4 6 2 1 4 18 3 4 2 3 1 </values>
2002.48/252.09	v </instantiation>
2002.48/252.09	c Unexpected resolution interruption!

Verifier Data 

OK	168

Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (15368 MiB free)
  memory of node 1: 16384 MiB (15481 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4271811-1502644781/watcher-4271811-1502644781 -o /tmp/evaluation-result-4271811-1502644781/solver-4271811-1502644781 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node115-1502639064-9944 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 893264084 HOME/instance-4271811-1502644781.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=20064, runsolver pid=20061

[startup+0.100157 s]*
/proc/loadavg: 8.20 6.55 6.39 2/200 20085
/proc/meminfo: memFree=31576124/32770624 swapFree=67108860/67108860
[pid=20064] ppid=20061 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/20064/stat : 20064 (xcsp3-exec) S 20061 20064 9917 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 97565818 9740288 346 33554432000 4194304 5098028 140727776229200 140727776227304 140295028638332 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 14696448 140727776236651 140727776236860 140727776236860 140727776239595 0
/proc/20064/statm: 2378 346 289 221 0 87 0
[pid=20066] ppid=20064 vsize=25999808 memory=26300 CPUtime=0.12 cores=0-7
/proc/20066/stat : 20066 (java) S 20064 20064 9917 0 -1 1077944320 5470 0 0 0 11 1 0 0 20 0 20 0 97565818 26623803392 6575 33554432000 4194304 4196468 140722781216512 140722781199056 140255264272119 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 13369344 140722781222040 140722781222216 140722781222216 140722781224911 0
/proc/20066/statm: 6499952 6575 2853 1 0 6488269 0
[pid=20066/tid=20067] ppid=20064 vsize=25999808 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/20066/task/20067/stat : 20067 (java) R 20064 20064 9917 0 -1 4202560 3473 0 0 0 8 0 0 0 20 0 20 0 97565818 26623803392 6575 33554432000 4194304 4196468 140722781216512 140255268488096 140255249952310 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13369344 140722781222040 140722781222216 140722781222216 140722781224911 0
[pid=20066/tid=20068] ppid=20064 vsize=25999808 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/20066/task/20068/stat : 20068 (java) S 20064 20064 9917 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97565819 26623803392 6575 33554432000 4194304 4196468 140722781216512 140255186852752 140255264282325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13369344 140722781222040 140722781222216 140722781222216 140722781224911 0
[pid=20066/tid=20069] ppid=20064 vsize=25999808 memory=140707253159552 CPUtime=0 cores=0-7
/proc/20066/task/20069/stat : 20069 (java) S 20064 20064 9917 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97565819 26623803392 6575 33554432000 4194304 4196468 140722781216512 140255185799952 140255264282325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13369344 140722781222040 140722781222216 140722781222216 140722781224911 0
[pid=20066/tid=20070] ppid=20064 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/20066/task/20070/stat : 20070 (java) S 20064 20064 9917 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97565819 26623803392 6575 33554432000 4194304 4196468 140722781216512 140255184747664 140255264282325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13369344 140722781222040 140722781222216 140722781222216 140722781224911 0
[pid=20066/tid=20071] ppid=20064 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/20066/task/20071/stat : 20071 (java) S 20064 20064 9917 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97565819 26623803392 6575 33554432000 4194304 4196468 140722781216512 140255183694864 140255264282325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13369344 140722781222040 140722781222216 140722781222216 140722781224911 0
[pid=20066/tid=20072] ppid=20064 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/20066/task/20072/stat : 20072 (java) S 20064 20064 9917 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97565819 26623803392 6575 33554432000 4194304 4196468 140722781216512 140255182641552 140255264282325 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13369344 140722781222040 140722781222216 140722781222216 140722781224911 0
[pid=20066/tid=20073] ppid=20064 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/20066/task/20073/stat : 20073 (java) S 20064 20064 9917 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97565819 26623803392 6575 33554432000 4194304 4196468 140722781216512 140255181588752 140255264282325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13369344 140722781222040 140722781222216 140722781222216 140722781224911 0
[pid=20066/tid=20074] ppid=20064 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/20066/task/20074/stat : 20074 (java) S 20064 20064 9917 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97565819 26623803392 6575 33554432000 4194304 4196468 140722781216512 140255180536464 140255264282325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13369344 140722781222040 140722781222216 140722781222216 140722781224911 0
[pid=20066/tid=20075] ppid=20064 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/20066/task/20075/stat : 20075 (java) S 20064 20064 9917 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97565819 26623803392 6575 33554432000 4194304 4196468 140722781216512 140255179483664 140255264282325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13369344 140722781222040 140722781222216 140722781222216 140722781224911 0
[pid=20066/tid=20076] ppid=20064 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/20066/task/20076/stat : 20076 (java) S 20064 20064 9917 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97565821 26623803392 6575 33554432000 4194304 4196468 140722781216512 140254391585392 140255264283266 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13369344 140722781222040 140722781222216 140722781222216 140722781224911 0
[pid=20066/tid=20077] ppid=20064 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/20066/task/20077/stat : 20077 (java) S 20064 20064 9917 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97565821 26623803392 6575 33554432000 4194304 4196468 140722781216512 140254390531360 140255264282325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13369344 140722781222040 140722781222216 140722781222216 140722781224911 0
[pid=20066/tid=20078] ppid=20064 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/20066/task/20078/stat : 20078 (java) S 20064 20064 9917 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97565821 26623803392 6575 33554432000 4194304 4196468 140722781216512 140254389479024 140255264282325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13369344 140722781222040 140722781222216 140722781222216 140722781224911 0
[pid=20066/tid=20079] ppid=20064 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/20066/task/20079/stat : 20079 (java) S 20064 20064 9917 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97565824 26623803392 6575 33554432000 4194304 4196468 140722781216512 140254388427344 140255264290715 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13369344 140722781222040 140722781222216 140722781222216 140722781224911 0
[pid=20066/tid=20080] ppid=20064 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/20066/task/20080/stat : 20080 (java) S 20064 20064 9917 0 -1 1077944384 323 0 0 0 0 0 0 0 20 0 20 0 97565824 26623803392 6575 33554432000 4194304 4196468 140722781216512 140254387374192 140255264283266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13369344 140722781222040 140722781222216 140722781222216 140722781224911 0
[pid=20066/tid=20081] ppid=20064 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/20066/task/20081/stat : 20081 (java) S 20064 20064 9917 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97565824 26623803392 6575 33554432000 4194304 4196468 140722781216512 140254386321392 140255264283266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13369344 140722781222040 140722781222216 140722781222216 140722781224911 0
[pid=20066/tid=20082] ppid=20064 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/20066/task/20082/stat : 20082 (java) S 20064 20064 9917 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 20 0 97565824 26623803392 6575 33554432000 4194304 4196468 140722781216512 140254385269104 140255264283266 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13369344 140722781222040 140722781222216 140722781222216 140722781224911 0
[pid=20066/tid=20083] ppid=20064 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/20066/task/20083/stat : 20083 (java) R 20064 20064 9917 0 -1 4202560 243 0 0 0 1 0 0 0 20 0 20 0 97565824 26623803392 6575 33554432000 4194304 4196468 140722781216512 140254384216304 140255256513509 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13369344 140722781222040 140722781222216 140722781222216 140722781224911 0
[pid=20066/tid=20084] ppid=20064 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/20066/task/20084/stat : 20084 (java) S 20064 20064 9917 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97565824 26623803392 6575 33554432000 4194304 4196468 140722781216512 140254383164256 140255264282325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13369344 140722781222040 140722781222216 140722781222216 140722781224911 0
[pid=20066/tid=20085] ppid=20064 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/20066/task/20085/stat : 20085 (java) S 20064 20064 9917 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97565824 26623803392 6575 33554432000 4194304 4196468 140722781216512 140254382111536 140255264283266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13369344 140722781222040 140722781222216 140722781222216 140722781224911 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 27684 KiB

[startup+0.210394 s]*
/proc/loadavg: 8.20 6.55 6.39 3/200 20085
/proc/meminfo: memFree=31564620/32770624 swapFree=67108860/67108860
[pid=20064] ppid=20061 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/20064/stat : 20064 (xcsp3-exec) S 20061 20064 9917 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 97565818 9740288 346 33554432000 4194304 5098028 140727776229200 140727776227304 140295028638332 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 14696448 140727776236651 140727776236860 140727776236860 140727776239595 0
/proc/20064/statm: 2378 346 289 221 0 87 0
[pid=20066] ppid=20064 vsize=26004064 memory=38532 CPUtime=0.33 cores=0-7
/proc/20066/stat : 20066 (java) S 20064 20064 9917 0 -1 1077944320 8223 0 0 0 31 2 0 0 20 0 20 0 97565818 26628161536 9633 33554432000 4194304 4196468 140722781216512 140722781199056 140255264272119 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 13369344 140722781222040 140722781222216 140722781222216 140722781224911 0
/proc/20066/statm: 6501016 9633 3081 1 0 6488269 0
[pid=20066/tid=20067] ppid=20064 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/20066/task/20067/stat : 20067 (java) R 20064 20064 9917 0 -1 4202560 5385 0 0 0 18 1 0 0 20 0 20 0 97565818 26628161536 9633 33554432000 4194304 4196468 140722781216512 140255268492944 140255248352606 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13369344 140722781222040 140722781222216 140722781222216 140722781224911 0
[pid=20066/tid=20068] ppid=20064 vsize=26004064 memory=331 CPUtime=0 cores=0-7
/proc/20066/task/20068/stat : 20068 (java) S 20064 20064 9917 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97565819 26628161536 9633 33554432000 4194304 4196468 140722781216512 140255186852752 140255264282325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13369344 140722781222040 140722781222216 140722781222216 140722781224911 0
[pid=20066/tid=20069] ppid=20064 vsize=26004064 memory=140707253176377 CPUtime=0 cores=0-7
/proc/20066/task/20069/stat : 20069 (java) S 20064 20064 9917 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97565819 26628161536 9633 33554432000 4194304 4196468 140722781216512 140255185799952 140255264282325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13369344 140722781222040 140722781222216 140722781222216 140722781224911 0
[pid=20066/tid=20070] ppid=20064 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/20066/task/20070/stat : 20070 (java) S 20064 20064 9917 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97565819 26628161536 9633 33554432000 4194304 4196468 140722781216512 140255184747664 140255264282325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13369344 140722781222040 140722781222216 140722781222216 140722781224911 0
[pid=20066/tid=20071] ppid=20064 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/20066/task/20071/stat : 20071 (java) S 20064 20064 9917 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97565819 26628161536 9633 33554432000 4194304 4196468 140722781216512 140255183694864 140255264282325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13369344 140722781222040 140722781222216 140722781222216 140722781224911 0
[pid=20066/tid=20072] ppid=20064 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/20066/task/20072/stat : 20072 (java) S 20064 20064 9917 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97565819 26628161536 9633 33554432000 4194304 4196468 140722781216512 140255182641552 140255264282325 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13369344 140722781222040 140722781222216 140722781222216 140722781224911 0
[pid=20066/tid=20073] ppid=20064 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/20066/task/20073/stat : 20073 (java) S 20064 20064 9917 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97565819 26628161536 9633 33554432000 4194304 4196468 140722781216512 140255181588752 140255264282325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13369344 140722781222040 140722781222216 140722781222216 140722781224911 0
[pid=20066/tid=20074] ppid=20064 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/20066/task/20074/stat : 20074 (java) S 20064 20064 9917 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97565819 26628161536 9633 33554432000 4194304 4196468 140722781216512 140255180536464 140255264282325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13369344 140722781222040 140722781222216 140722781222216 140722781224911 0
[pid=20066/tid=20075] ppid=20064 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/20066/task/20075/stat : 20075 (java) S 20064 20064 9917 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97565819 26628161536 9633 33554432000 4194304 4196468 140722781216512 140255179483664 140255264282325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13369344 140722781222040 140722781222216 140722781222216 140722781224911 0
[pid=20066/tid=20076] ppid=20064 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/20066/task/20076/stat : 20076 (java) S 20064 20064 9917 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97565821 26628161536 9633 33554432000 4194304 4196468 140722781216512 140254391585392 140255264283266 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13369344 140722781222040 140722781222216 140722781222216 140722781224911 0
[pid=20066/tid=20077] ppid=20064 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/20066/task/20077/stat : 20077 (java) S 20064 20064 9917 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97565821 26628161536 9633 33554432000 4194304 4196468 140722781216512 140254390531360 140255264282325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13369344 140722781222040 140722781222216 140722781222216 140722781224911 0
[pid=20066/tid=20078] ppid=20064 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/20066/task/20078/stat : 20078 (java) S 20064 20064 9917 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97565821 26628161536 9633 33554432000 4194304 4196468 140722781216512 140254389479024 140255264282325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13369344 140722781222040 140722781222216 140722781222216 140722781224911 0
[pid=20066/tid=20079] ppid=20064 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/20066/task/20079/stat : 20079 (java) S 20064 20064 9917 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97565824 26628161536 9633 33554432000 4194304 4196468 140722781216512 140254388427344 140255264290715 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13369344 140722781222040 140722781222216 140722781222216 140722781224911 0
[pid=20066/tid=20080] ppid=20064 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/20066/task/20080/stat : 20080 (java) S 20064 20064 9917 0 -1 1077944384 363 0 0 0 1 0 0 0 20 0 20 0 97565824 26628161536 9633 33554432000 4194304 4196468 140722781216512 140254387374192 140255264283266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13369344 140722781222040 140722781222216 140722781222216 140722781224911 0
[pid=20066/tid=20081] ppid=20064 vsize=26004064 memory=0 CPUtime=0.02 cores=0-7
/proc/20066/task/20081/stat : 20081 (java) S 20064 20064 9917 0 -1 1077944384 133 0 0 0 2 0 0 0 20 0 20 0 97565824 26628161536 9633 33554432000 4194304 4196468 140722781216512 140254386321392 140255264283266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13369344 140722781222040 140722781222216 140722781222216 140722781224911 0
[pid=20066/tid=20082] ppid=20064 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/20066/task/20082/stat : 20082 (java) S 20064 20064 9917 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 20 0 97565824 26628161536 9633 33554432000 4194304 4196468 140722781216512 140254385269104 140255264283266 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13369344 140722781222040 140722781222216 140722781222216 140722781224911 0
[pid=20066/tid=20083] ppid=20064 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7
/proc/20066/task/20083/stat : 20083 (java) R 20064 20064 9917 0 -1 4202560 726 0 0 0 7 0 0 0 20 0 20 0 97565824 26628161536 9633 33554432000 4194304 4196468 140722781216512 140254384216304 140255264284054 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13369344 140722781222040 140722781222216 140722781222216 140722781224911 0
[pid=20066/tid=20084] ppid=20064 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/20066/task/20084/stat : 20084 (java) S 20064 20064 9917 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97565824 26628161536 9633 33554432000 4194304 4196468 140722781216512 140254383164256 140255264282325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13369344 140722781222040 140722781222216 140722781222216 140722781224911 0
[pid=20066/tid=20085] ppid=20064 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/20066/task/20085/stat : 20085 (java) S 20064 20064 9917 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97565824 26628161536 9633 33554432000 4194304 4196468 140722781216512 140254382111536 140255264283266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13369344 140722781222040 140722781222216 140722781222216 140722781224911 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 39916 KiB

[startup+0.310052 s]*
/proc/loadavg: 8.20 6.55 6.39 3/200 20085
/proc/meminfo: memFree=31559080/32770624 swapFree=67108860/67108860
[pid=20064] ppid=20061 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/20064/stat : 20064 (xcsp3-exec) S 20061 20064 9917 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 97565818 9740288 346 33554432000 4194304 5098028 140727776229200 140727776227304 140295028638332 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 14696448 140727776236651 140727776236860 140727776236860 140727776239595 0
/proc/20064/statm: 2378 346 289 221 0 87 0
[pid=20066] ppid=20064 vsize=26004064 memory=46068 CPUtime=0.5 cores=0-7
/proc/20066/stat : 20066 (java) S 20064 20064 9917 0 -1 1077944320 9245 0 0 0 47 3 0 0 20 0 20 0 97565818 26628161536 11517 33554432000 4194304 4196468 140722781216512 140722781199056 140255264272119 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 13369344 140722781222040 140722781222216 140722781222216 140722781224911 0
/proc/20066/statm: 6501016 11517 3112 1 0 6488269 0
[pid=20066/tid=20067] ppid=20064 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/20066/task/20067/stat : 20067 (java) R 20064 20064 9917 0 -1 4202560 6124 0 0 0 27 2 0 0 20 0 20 0 97565818 26628161536 11517 33554432000 4194304 4196468 140722781216512 140255268510048 140255248352606 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13369344 140722781222040 140722781222216 140722781222216 140722781224911 0
[pid=20066/tid=20068] ppid=20064 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/20066/task/20068/stat : 20068 (java) S 20064 20064 9917 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97565819 26628161536 11517 33554432000 4194304 4196468 140722781216512 140255186852752 140255264282325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13369344 140722781222040 140722781222216 140722781222216 140722781224911 0
[pid=20066/tid=20069] ppid=20064 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/20066/task/20069/stat : 20069 (java) S 20064 20064 9917 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97565819 26628161536 11517 33554432000 4194304 4196468 140722781216512 140255185799952 140255264282325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13369344 140722781222040 140722781222216 140722781222216 140722781224911 0
[pid=20066/tid=20070] ppid=20064 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/20066/task/20070/stat : 20070 (java) S 20064 20064 9917 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97565819 26628161536 11517 33554432000 4194304 4196468 140722781216512 140255184747664 140255264282325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13369344 140722781222040 140722781222216 140722781222216 140722781224911 0
[pid=20066/tid=20071] ppid=20064 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/20066/task/20071/stat : 20071 (java) S 20064 20064 9917 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97565819 26628161536 11517 33554432000 4194304 4196468 140722781216512 140255183694864 140255264282325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13369344 140722781222040 140722781222216 140722781222216 140722781224911 0
[pid=20066/tid=20072] ppid=20064 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/20066/task/20072/stat : 20072 (java) S 20064 20064 9917 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97565819 26628161536 11517 33554432000 4194304 4196468 140722781216512 140255182641552 140255264282325 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13369344 140722781222040 140722781222216 140722781222216 140722781224911 0
[pid=20066/tid=20073] ppid=20064 vsize=26004064 memory=140707155243951 CPUtime=0 cores=0-7
/proc/20066/task/20073/stat : 20073 (java) S 20064 20064 9917 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97565819 26628161536 11517 33554432000 4194304 4196468 140722781216512 140255181588752 140255264282325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13369344 140722781222040 140722781222216 140722781222216 140722781224911 0
[pid=20066/tid=20074] ppid=20064 vsize=26004064 memory=140707155246256 CPUtime=0 cores=0-7
/proc/20066/task/20074/stat : 20074 (java) S 20064 20064 9917 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97565819 26628161536 11517 33554432000 4194304 4196468 140722781216512 140255180536464 140255264282325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13369344 140722781222040 140722781222216 140722781222216 140722781224911 0
[pid=20066/tid=20075] ppid=20064 vsize=26004064 memory=140707155248560 CPUtime=0 cores=0-7
/proc/20066/task/20075/stat : 20075 (java) S 20064 20064 9917 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97565819 26628161536 11517 33554432000 4194304 4196468 140722781216512 140255179483664 140255264282325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13369344 140722781222040 140722781222216 140722781222216 140722781224911 0
[pid=20066/tid=20076] ppid=20064 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/20066/task/20076/stat : 20076 (java) S 20064 20064 9917 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97565821 26628161536 11517 33554432000 4194304 4196468 140722781216512 140254391585392 140255264283266 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13369344 140722781222040 140722781222216 140722781222216 140722781224911 0
[pid=20066/tid=20077] ppid=20064 vsize=26004064 memory=281414310504080 CPUtime=0 cores=0-7
/proc/20066/task/20077/stat : 20077 (java) S 20064 20064 9917 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97565821 26628161536 11517 33554432000 4194304 4196468 140722781216512 140254390531360 140255264282325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13369344 140722781222040 140722781222216 140722781222216 140722781224911 0
[pid=20066/tid=20078] ppid=20064 vsize=26004064 memory=281414310510992 CPUtime=0 cores=0-7
/proc/20066/task/20078/stat : 20078 (java) S 20064 20064 9917 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97565821 26628161536 11517 33554432000 4194304 4196468 140722781216512 140254389479024 140255264282325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13369344 140722781222040 140722781222216 140722781222216 140722781224911 0
[pid=20066/tid=20079] ppid=20064 vsize=26004064 memory=281414310452144 CPUtime=0 cores=0-7
/proc/20066/task/20079/stat : 20079 (java) S 20064 20064 9917 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97565824 26628161536 11517 33554432000 4194304 4196468 140722781216512 140254388427344 140255264290715 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13369344 140722781222040 140722781222216 140722781222216 140722781224911 0
[pid=20066/tid=20080] ppid=20064 vsize=26004064 memory=281414310524816 CPUtime=0.02 cores=0-7
/proc/20066/task/20080/stat : 20080 (java) S 20064 20064 9917 0 -1 1077944384 442 0 0 0 2 0 0 0 20 0 20 0 97565824 26628161536 11538 33554432000 4194304 4196468 140722781216512 140254387374192 140255264283266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13369344 140722781222040 140722781222216 140722781222216 140722781224911 0
[pid=20066/tid=20081] ppid=20064 vsize=26004064 memory=281414310531728 CPUtime=0.03 cores=0-7
/proc/20066/task/20081/stat : 20081 (java) S 20064 20064 9917 0 -1 1077944384 165 0 0 0 3 0 0 0 20 0 20 0 97565824 26628161536 11538 33554432000 4194304 4196468 140722781216512 140254386321392 140255264283266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13369344 140722781222040 140722781222216 140722781222216 140722781224911 0
[pid=20066/tid=20082] ppid=20064 vsize=26004064 memory=281414310529424 CPUtime=0.01 cores=0-7
/proc/20066/task/20082/stat : 20082 (java) S 20064 20064 9917 0 -1 1077944384 307 0 0 0 1 0 0 0 20 0 20 0 97565824 26628161536 11538 33554432000 4194304 4196468 140722781216512 140254385269104 140255264283266 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13369344 140722781222040 140722781222216 140722781222216 140722781224911 0
[pid=20066/tid=20083] ppid=20064 vsize=26004064 memory=281414310545584 CPUtime=0.12 cores=0-7
/proc/20066/task/20083/stat : 20083 (java) S 20064 20064 9917 0 -1 1077944384 904 0 0 0 12 0 0 0 20 0 20 0 97565824 26628161536 11538 33554432000 4194304 4196468 140722781216512 140254384216304 140255264283266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13369344 140722781222040 140722781222216 140722781222216 140722781224911 0
[pid=20066/tid=20084] ppid=20064 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/20066/task/20084/stat : 20084 (java) S 20064 20064 9917 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97565824 26628161536 11538 33554432000 4194304 4196468 140722781216512 140254383164256 140255264282325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13369344 140722781222040 140722781222216 140722781222216 140722781224911 0
[pid=20066/tid=20085] ppid=20064 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/20066/task/20085/stat : 20085 (java) S 20064 20064 9917 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97565824 26628161536 11538 33554432000 4194304 4196468 140722781216512 140254382111536 140255264283266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13369344 140722781222040 140722781222216 140722781222216 140722781224911 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 47452 KiB

[startup+0.701032 s]
/proc/loadavg: 8.20 6.55 6.39 3/200 20085
/proc/meminfo: memFree=31541156/32770624 swapFree=67108860/67108860
[pid=20064] ppid=20061 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/20064/stat : 20064 (xcsp3-exec) S 20061 20064 9917 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 97565818 9740288 346 33554432000 4194304 5098028 140727776229200 140727776227304 140295028638332 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 14696448 140727776236651 140727776236860 140727776236860 140727776239595 0
/proc/20064/statm: 2378 346 289 221 0 87 0
[pid=20066] ppid=20064 vsize=26006188 memory=82380 CPUtime=1.64 cores=0-7
/proc/20066/stat : 20066 (java) S 20064 20064 9917 0 -1 1077944320 12846 0 0 0 159 5 0 0 20 0 20 0 97565818 26630336512 20595 33554432000 4194304 4196468 140722781216512 140722781199056 140255264272119 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 13369344 140722781222040 140722781222216 140722781222216 140722781224911 0
/proc/20066/statm: 6501547 20595 3206 1 0 6488781 0
[pid=20066/tid=20067] ppid=20064 vsize=26006188 memory=281414310903472 CPUtime=0.67 cores=0-7
/proc/20066/task/20067/stat : 20067 (java) R 20064 20064 9917 0 -1 4202560 6735 0 0 0 64 3 0 0 20 0 20 0 97565818 26630336512 20595 33554432000 4194304 4196468 140722781216512 140255268506128 140254860777816 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13369344 140722781222040 140722781222216 140722781222216 140722781224911 0
[pid=20066/tid=20068] ppid=20064 vsize=26006188 memory=140707155452784 CPUtime=0 cores=0-7
/proc/20066/task/20068/stat : 20068 (java) S 20064 20064 9917 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97565819 26630336512 20595 33554432000 4194304 4196468 140722781216512 140255186852752 140255264282325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13369344 140722781222040 140722781222216 140722781222216 140722781224911 0
[pid=20066/tid=20069] ppid=20064 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/20066/task/20069/stat : 20069 (java) S 20064 20064 9917 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97565819 26630336512 20595 33554432000 4194304 4196468 140722781216512 140255185799952 140255264282325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13369344 140722781222040 140722781222216 140722781222216 140722781224911 0
[pid=20066/tid=20070] ppid=20064 vsize=26006188 memory=10928 CPUtime=0 cores=0-7
/proc/20066/task/20070/stat : 20070 (java) S 20064 20064 9917 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97565819 26630336512 20595 33554432000 4194304 4196468 140722781216512 140255184747664 140255264282325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13369344 140722781222040 140722781222216 140722781222216 140722781224911 0

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

[pid=20066/tid=20293] ppid=20064 vsize=27071212 memory=172696 CPUtime=104.67 cores=0-7
/proc/20066/task/20293/stat : 20293 (java) R 20064 20064 9917 0 -1 4202560 2161 0 0 0 10467 0 0 0 20 0 28 0 97571524 27720921088 43174 33554432000 4194304 4196468 140722781216512 140253446250320 140255243997183 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 13369344 140722781222040 140722781222216 140722781222216 140722781224911 0
Current children cumulated CPU time: 1287.58 s
Current children cumulated vsize: 27080724 KiB
Current children cumulated memory: 174080 KiB

[startup+222.301 s]
/proc/loadavg: 8.15 7.49 6.82 9/207 20293
/proc/meminfo: memFree=31435916/32770624 swapFree=67108860/67108860
[pid=20064] ppid=20061 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/20064/stat : 20064 (xcsp3-exec) S 20061 20064 9917 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 97565818 9740288 346 33554432000 4194304 5098028 140727776229200 140727776227304 140295028638332 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 14696448 140727776236651 140727776236860 140727776236860 140727776239595 0
/proc/20064/statm: 2378 346 289 221 0 87 0
[pid=20066] ppid=20064 vsize=27071212 memory=170332 CPUtime=1765.81 cores=0-7
/proc/20066/stat : 20066 (java) S 20064 20064 9917 0 -1 1077944320 102875 0 0 0 176521 60 0 0 20 0 28 0 97565818 27720921088 42583 33554432000 4194304 4196468 140722781216512 140722781199056 140255264272119 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 13369344 140722781222040 140722781222216 140722781222216 140722781224911 0
/proc/20066/statm: 6767803 42583 3267 1 0 6755037 0
[pid=20066/tid=20067] ppid=20064 vsize=27071212 memory=1384 CPUtime=0.9 cores=0-7
/proc/20066/task/20067/stat : 20067 (java) S 20064 20064 9917 0 -1 1077944384 7187 0 0 0 87 3 0 0 20 0 28 0 97565818 27720921088 42583 33554432000 4194304 4196468 140722781216512 140255268512896 140255264282325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13369344 140722781222040 140722781222216 140722781222216 140722781224911 0
[pid=20066/tid=20068] ppid=20064 vsize=27071212 memory=170332 CPUtime=0.11 cores=0-7
/proc/20066/task/20068/stat : 20068 (java) S 20064 20064 9917 0 -1 1077944384 2186 0 0 0 9 2 0 0 20 0 28 0 97565819 27720921088 42583 33554432000 4194304 4196468 140722781216512 140255186852752 140255264282325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13369344 140722781222040 140722781222216 140722781222216 140722781224911 0
[pid=20066/tid=20069] ppid=20064 vsize=27071212 memory=1384 CPUtime=0.12 cores=0-7
/proc/20066/task/20069/stat : 20069 (java) S 20064 20064 9917 0 -1 1077944384 1924 0 0 0 9 3 0 0 20 0 28 0 97565819 27720921088 42583 33554432000 4194304 4196468 140722781216512 140255185799952 140255264282325 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13369344 140722781222040 140722781222216 140722781222216 140722781224911 0
[pid=20066/tid=20070] ppid=20064 vsize=27071212 memory=170332 CPUtime=0.1 cores=0-7
/proc/20066/task/20070/stat : 20070 (java) S 20064 20064 9917 0 -1 1077944384 1447 0 0 0 8 2 0 0 20 0 28 0 97565819 27720921088 42583 33554432000 4194304 4196468 140722781216512 140255184747664 140255264282325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13369344 140722781222040 140722781222216 140722781222216 140722781224911 0
[pid=20066/tid=20071] ppid=20064 vsize=27071212 memory=1384 CPUtime=0.12 cores=0-7
/proc/20066/task/20071/stat : 20071 (java) S 20064 20064 9917 0 -1 1077944384 2325 0 0 0 9 3 0 0 20 0 28 0 97565819 27720921088 42583 33554432000 4194304 4196468 140722781216512 140255183694864 140255264282325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13369344 140722781222040 140722781222216 140722781222216 140722781224911 0
[pid=20066/tid=20072] ppid=20064 vsize=27071212 memory=1384 CPUtime=0.1 cores=0-7
/proc/20066/task/20072/stat : 20072 (java) S 20064 20064 9917 0 -1 1077944384 1843 0 0 0 7 3 0 0 20 0 28 0 97565819 27720921088 42583 33554432000 4194304 4196468 140722781216512 140255182641552 140255264282325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13369344 140722781222040 140722781222216 140722781222216 140722781224911 0
[pid=20066/tid=20073] ppid=20064 vsize=27071212 memory=174281182977664 CPUtime=0.12 cores=0-7
/proc/20066/task/20073/stat : 20073 (java) S 20064 20064 9917 0 -1 1077944384 3775 0 0 0 8 4 0 0 20 0 28 0 97565819 27720921088 42583 33554432000 4194304 4196468 140722781216512 140255181588752 140255264282325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13369344 140722781222040 140722781222216 140722781222216 140722781224911 0
[pid=20066/tid=20074] ppid=20064 vsize=27071212 memory=77 CPUtime=0.1 cores=0-7
/proc/20066/task/20074/stat : 20074 (java) S 20064 20064 9917 0 -1 1077944384 2926 0 0 0 8 2 0 0 20 0 28 0 97565819 27720921088 42583 33554432000 4194304 4196468 140722781216512 140255180536464 140255264282325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13369344 140722781222040 140722781222216 140722781222216 140722781224911 0
[pid=20066/tid=20075] ppid=20064 vsize=27071212 memory=0 CPUtime=0.08 cores=0-7
/proc/20066/task/20075/stat : 20075 (java) S 20064 20064 9917 0 -1 1077944384 1580 0 0 0 7 1 0 0 20 0 28 0 97565819 27720921088 42583 33554432000 4194304 4196468 140722781216512 140255179483664 140255264282325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13369344 140722781222040 140722781222216 140722781222216 140722781224911 0
[pid=20066/tid=20076] ppid=20064 vsize=27071212 memory=56 CPUtime=0.1 cores=0-7
/proc/20066/task/20076/stat : 20076 (java) S 20064 20064 9917 0 -1 1077944384 7374 0 0 0 8 2 0 0 20 0 28 0 97565821 27720921088 42583 33554432000 4194304 4196468 140722781216512 140254391585392 140255264283266 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13369344 140722781222040 140722781222216 140722781222216 140722781224911 0
[pid=20066/tid=20077] ppid=20064 vsize=27071212 memory=43757089590 CPUtime=0 cores=0-7
/proc/20066/task/20077/stat : 20077 (java) S 20064 20064 9917 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 97565821 27720921088 42583 33554432000 4194304 4196468 140722781216512 140254390531424 140255264282325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13369344 140722781222040 140722781222216 140722781222216 140722781224911 0
[pid=20066/tid=20078] ppid=20064 vsize=27071212 memory=180 CPUtime=0 cores=0-7
/proc/20066/task/20078/stat : 20078 (java) S 20064 20064 9917 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 97565821 27720921088 42583 33554432000 4194304 4196468 140722781216512 140254389479040 140255264282325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13369344 140722781222040 140722781222216 140722781222216 140722781224911 0
[pid=20066/tid=20079] ppid=20064 vsize=27071212 memory=0 CPUtime=0 cores=0-7
/proc/20066/task/20079/stat : 20079 (java) S 20064 20064 9917 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 97565824 27720921088 42583 33554432000 4194304 4196468 140722781216512 140254388427344 140255264290715 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13369344 140722781222040 140722781222216 140722781222216 140722781224911 0
[pid=20066/tid=20080] ppid=20064 vsize=27071212 memory=4052 CPUtime=2.07 cores=0-7
/proc/20066/task/20080/stat : 20080 (java) S 20064 20064 9917 0 -1 1077944384 7837 0 0 0 205 2 0 0 20 0 28 0 97565824 27720921088 42583 33554432000 4194304 4196468 140722781216512 140254387374192 140255264283266 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 8 0 0 6293624 6294260 13369344 140722781222040 140722781222216 140722781222216 140722781224911 0
[pid=20066/tid=20081] ppid=20064 vsize=27071212 memory=16680 CPUtime=2.33 cores=0-7
/proc/20066/task/20081/stat : 20081 (java) S 20064 20064 9917 0 -1 1077944384 9516 0 0 0 232 1 0 0 20 0 28 0 97565824 27720921088 42583 33554432000 4194304 4196468 140722781216512 140254386321392 140255264283266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13369344 140722781222040 140722781222216 140722781222216 140722781224911 0
[pid=20066/tid=20082] ppid=20064 vsize=27071212 memory=4132 CPUtime=2.18 cores=0-7
/proc/20066/task/20082/stat : 20082 (java) S 20064 20064 9917 0 -1 1077944384 10198 0 0 0 216 2 0 0 20 0 28 0 97565824 27720921088 42583 33554432000 4194304 4196468 140722781216512 140254385269104 140255264283266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13369344 140722781222040 140722781222216 140722781222216 140722781224911 0
[pid=20066/tid=20083] ppid=20064 vsize=27071212 memory=1384 CPUtime=0.77 cores=0-7
/proc/20066/task/20083/stat : 20083 (java) S 20064 20064 9917 0 -1 1077944384 7888 0 0 0 76 1 0 0 20 0 28 0 97565824 27720921088 42583 33554432000 4194304 4196468 140722781216512 140254384216304 140255264283266 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13369344 140722781222040 140722781222216 140722781222216 140722781224911 0
[pid=20066/tid=20084] ppid=20064 vsize=27071212 memory=170332 CPUtime=0 cores=0-7
/proc/20066/task/20084/stat : 20084 (java) S 20064 20064 9917 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 97565824 27720921088 42583 33554432000 4194304 4196468 140722781216512 140254383164256 140255264282325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13369344 140722781222040 140722781222216 140722781222216 140722781224911 0
[pid=20066/tid=20085] ppid=20064 vsize=27071212 memory=2200 CPUtime=0.02 cores=0-7
/proc/20066/task/20085/stat : 20085 (java) S 20064 20064 9917 0 -1 1077944384 1701 0 0 0 1 1 0 0 20 0 28 0 97565824 27720921088 42583 33554432000 4194304 4196468 140722781216512 140254382111536 140255264283266 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 8 0 0 6293624 6294260 13369344 140722781222040 140722781222216 140722781222216 140722781224911 0
[pid=20066/tid=20286] ppid=20064 vsize=27071212 memory=1384 CPUtime=164.82 cores=0-7
/proc/20066/task/20286/stat : 20286 (java) R 20064 20064 9917 0 -1 4202560 876 0 0 0 16482 0 0 0 20 0 28 0 97571524 27720921088 42583 33554432000 4194304 4196468 140722781216512 140253447302224 140254864677749 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13369344 140722781222040 140722781222216 140722781222216 140722781224911 0
[pid=20066/tid=20287] ppid=20064 vsize=27071212 memory=170332 CPUtime=164.9 cores=0-7
/proc/20066/task/20287/stat : 20287 (java) R 20064 20064 9917 0 -1 4202560 1228 0 0 0 16490 0 0 0 20 0 28 0 97571524 27720921088 42583 33554432000 4194304 4196468 140722781216512 140253443093064 140254864108498 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13369344 140722781222040 140722781222216 140722781222216 140722781224911 0
[pid=20066/tid=20288] ppid=20064 vsize=27071212 memory=170320 CPUtime=165 cores=0-7
/proc/20066/task/20288/stat : 20288 (java) R 20064 20064 9917 0 -1 4202560 1338 0 0 0 16500 0 0 0 20 0 28 0 97571524 27720921088 42583 33554432000 4194304 4196468 140722781216512 140253436776216 140254864448275 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13369344 140722781222040 140722781222216 140722781222216 140722781224911 0
[pid=20066/tid=20289] ppid=20064 vsize=27071212 memory=170332 CPUtime=164.6 cores=0-7
/proc/20066/task/20289/stat : 20289 (java) R 20064 20064 9917 0 -1 4202560 1260 0 0 0 16459 1 0 0 20 0 28 0 97571524 27720921088 42583 33554432000 4194304 4196468 140722781216512 140253439934104 140254865020982 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13369344 140722781222040 140722781222216 140722781222216 140722781224911 0
[pid=20066/tid=20290] ppid=20064 vsize=27071212 memory=4132 CPUtime=164.35 cores=0-7
/proc/20066/task/20290/stat : 20290 (java) R 20064 20064 9917 0 -1 4202560 4543 0 0 0 16432 3 0 0 20 0 28 0 97571524 27720921088 42583 33554432000 4194304 4196468 140722781216512 140253435723848 140254865220409 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13369344 140722781222040 140722781222216 140722781222216 140722781224911 0
[pid=20066/tid=20291] ppid=20064 vsize=27071212 memory=28116 CPUtime=164.2 cores=0-7
/proc/20066/task/20291/stat : 20291 (java) R 20064 20064 9917 0 -1 4202560 704 0 0 0 16419 1 0 0 20 0 28 0 97571524 27720921088 42583 33554432000 4194304 4196468 140722781216512 140253437829192 140254865220424 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 13369344 140722781222040 140722781222216 140722781222216 140722781224911 0
[pid=20066/tid=20292] ppid=20064 vsize=27071212 memory=1296 CPUtime=164.38 cores=0-7
/proc/20066/task/20292/stat : 20292 (java) R 20064 20064 9917 0 -1 4202560 4211 0 0 0 16436 2 0 0 20 0 28 0 97571524 27720921088 42583 33554432000 4194304 4196468 140722781216512 140253438884704 140254864108511 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13369344 140722781222040 140722781222216 140722781222216 140722781224911 0
[pid=20066/tid=20293] ppid=20064 vsize=27071212 memory=1424 CPUtime=164.3 cores=0-7
/proc/20066/task/20293/stat : 20293 (java) R 20064 20064 9917 0 -1 4202560 3859 0 0 0 16429 1 0 0 20 0 28 0 97571524 27720921088 42583 33554432000 4194304 4196468 140722781216512 140253446250568 140254864198601 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13369344 140722781222040 140722781222216 140722781222216 140722781224911 0
Current children cumulated CPU time: 1765.81 s
Current children cumulated vsize: 27080724 KiB
Current children cumulated memory: 171716 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+252.001 s]*
/proc/loadavg: 8.09 7.54 6.86 9/207 20293
/proc/meminfo: memFree=31434292/32770624 swapFree=67108860/67108860
[pid=20064] ppid=20061 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/20064/stat : 20064 (xcsp3-exec) S 20061 20064 9917 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 97565818 9740288 346 33554432000 4194304 5098028 140727776229200 140727776227304 140295028638332 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 14696448 140727776236651 140727776236860 140727776236860 140727776239595 0
/proc/20064/statm: 2378 346 289 221 0 87 0
[pid=20066] ppid=20064 vsize=27071212 memory=172536 CPUtime=2002.48 cores=0-7
/proc/20066/stat : 20066 (java) S 20064 20064 9917 0 -1 1077944320 107292 0 0 0 200186 62 0 0 20 0 28 0 97565818 27720921088 43134 33554432000 4194304 4196468 140722781216512 140722781199056 140255264272119 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 13369344 140722781222040 140722781222216 140722781222216 140722781224911 0
/proc/20066/statm: 6767803 43134 3267 1 0 6755037 0
[pid=20066/tid=20067] ppid=20064 vsize=27071212 memory=1384 CPUtime=0.9 cores=0-7
/proc/20066/task/20067/stat : 20067 (java) S 20064 20064 9917 0 -1 1077944384 7187 0 0 0 87 3 0 0 20 0 28 0 97565818 27720921088 43134 33554432000 4194304 4196468 140722781216512 140255268512896 140255264282325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13369344 140722781222040 140722781222216 140722781222216 140722781224911 0
[pid=20066/tid=20068] ppid=20064 vsize=27071212 memory=4126316290023845779 CPUtime=0.14 cores=0-7
/proc/20066/task/20068/stat : 20068 (java) S 20064 20064 9917 0 -1 1077944384 2243 0 0 0 11 3 0 0 20 0 28 0 97565819 27720921088 43134 33554432000 4194304 4196468 140722781216512 140255186852752 140255264282325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13369344 140722781222040 140722781222216 140722781222216 140722781224911 0
[pid=20066/tid=20069] ppid=20064 vsize=27071212 memory=1228 CPUtime=0.14 cores=0-7
/proc/20066/task/20069/stat : 20069 (java) S 20064 20064 9917 0 -1 1077944384 2376 0 0 0 11 3 0 0 20 0 28 0 97565819 27720921088 43134 33554432000 4194304 4196468 140722781216512 140255185799952 140255264282325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13369344 140722781222040 140722781222216 140722781222216 140722781224911 0
[pid=20066/tid=20070] ppid=20064 vsize=27071212 memory=10928 CPUtime=0.12 cores=0-7
/proc/20066/task/20070/stat : 20070 (java) S 20064 20064 9917 0 -1 1077944384 1555 0 0 0 10 2 0 0 20 0 28 0 97565819 27720921088 43134 33554432000 4194304 4196468 140722781216512 140255184747664 140255264282325 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13369344 140722781222040 140722781222216 140722781222216 140722781224911 0
[pid=20066/tid=20071] ppid=20064 vsize=27071212 memory=796 CPUtime=0.14 cores=0-7
/proc/20066/task/20071/stat : 20071 (java) S 20064 20064 9917 0 -1 1077944384 2414 0 0 0 11 3 0 0 20 0 28 0 97565819 27720921088 43134 33554432000 4194304 4196468 140722781216512 140255183694864 140255264282325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13369344 140722781222040 140722781222216 140722781222216 140722781224911 0
[pid=20066/tid=20072] ppid=20064 vsize=27071212 memory=1424 CPUtime=0.12 cores=0-7
/proc/20066/task/20072/stat : 20072 (java) S 20064 20064 9917 0 -1 1077944384 1927 0 0 0 9 3 0 0 20 0 28 0 97565819 27720921088 43134 33554432000 4194304 4196468 140722781216512 140255182641552 140255264282325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13369344 140722781222040 140722781222216 140722781222216 140722781224911 0
[pid=20066/tid=20073] ppid=20064 vsize=27071212 memory=15872 CPUtime=0.13 cores=0-7
/proc/20066/task/20073/stat : 20073 (java) S 20064 20064 9917 0 -1 1077944384 3865 0 0 0 9 4 0 0 20 0 28 0 97565819 27720921088 43134 33554432000 4194304 4196468 140722781216512 140255181588752 140255264282325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13369344 140722781222040 140722781222216 140722781222216 140722781224911 0
[pid=20066/tid=20074] ppid=20064 vsize=27071212 memory=4052 CPUtime=0.12 cores=0-7
/proc/20066/task/20074/stat : 20074 (java) S 20064 20064 9917 0 -1 1077944384 3033 0 0 0 10 2 0 0 20 0 28 0 97565819 27720921088 43134 33554432000 4194304 4196468 140722781216512 140255180536464 140255264282325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13369344 140722781222040 140722781222216 140722781222216 140722781224911 0
[pid=20066/tid=20075] ppid=20064 vsize=27071212 memory=16680 CPUtime=0.11 cores=0-7
/proc/20066/task/20075/stat : 20075 (java) S 20064 20064 9917 0 -1 1077944384 1972 0 0 0 9 2 0 0 20 0 28 0 97565819 27720921088 43134 33554432000 4194304 4196468 140722781216512 140255179483664 140255264282325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13369344 140722781222040 140722781222216 140722781222216 140722781224911 0
[pid=20066/tid=20076] ppid=20064 vsize=27071212 memory=6791534058613427641 CPUtime=0.12 cores=0-7
/proc/20066/task/20076/stat : 20076 (java) S 20064 20064 9917 0 -1 1077944384 7973 0 0 0 10 2 0 0 20 0 28 0 97565821 27720921088 43134 33554432000 4194304 4196468 140722781216512 140254391585392 140255264283266 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13369344 140722781222040 140722781222216 140722781222216 140722781224911 0
[pid=20066/tid=20077] ppid=20064 vsize=27071212 memory=172476 CPUtime=0 cores=0-7
/proc/20066/task/20077/stat : 20077 (java) S 20064 20064 9917 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 97565821 27720921088 43134 33554432000 4194304 4196468 140722781216512 140254390531424 140255264282325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13369344 140722781222040 140722781222216 140722781222216 140722781224911 0
[pid=20066/tid=20078] ppid=20064 vsize=27071212 memory=1720 CPUtime=0 cores=0-7
/proc/20066/task/20078/stat : 20078 (java) S 20064 20064 9917 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 97565821 27720921088 43134 33554432000 4194304 4196468 140722781216512 140254389479040 140255264282325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13369344 140722781222040 140722781222216 140722781222216 140722781224911 0
[pid=20066/tid=20079] ppid=20064 vsize=27071212 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/20066/task/20079/stat : 20079 (java) S 20064 20064 9917 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 97565824 27720921088 43134 33554432000 4194304 4196468 140722781216512 140254388427344 140255264290715 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13369344 140722781222040 140722781222216 140722781222216 140722781224911 0
[pid=20066/tid=20080] ppid=20064 vsize=27071212 memory=1576 CPUtime=2.07 cores=0-7
/proc/20066/task/20080/stat : 20080 (java) S 20064 20064 9917 0 -1 1077944384 7839 0 0 0 205 2 0 0 20 0 28 0 97565824 27720921088 43134 33554432000 4194304 4196468 140722781216512 140254387374192 140255264283266 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 8 0 0 6293624 6294260 13369344 140722781222040 140722781222216 140722781222216 140722781224911 0
[pid=20066/tid=20081] ppid=20064 vsize=27071212 memory=2240 CPUtime=2.33 cores=0-7
/proc/20066/task/20081/stat : 20081 (java) S 20064 20064 9917 0 -1 1077944384 9965 0 0 0 232 1 0 0 20 0 28 0 97565824 27720921088 43134 33554432000 4194304 4196468 140722781216512 140254386321392 140255264283266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13369344 140722781222040 140722781222216 140722781222216 140722781224911 0
[pid=20066/tid=20082] ppid=20064 vsize=27071212 memory=4128 CPUtime=2.18 cores=0-7
/proc/20066/task/20082/stat : 20082 (java) S 20064 20064 9917 0 -1 1077944384 10200 0 0 0 216 2 0 0 20 0 28 0 97565824 27720921088 43134 33554432000 4194304 4196468 140722781216512 140254385269104 140255264283266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13369344 140722781222040 140722781222216 140722781222216 140722781224911 0
[pid=20066/tid=20083] ppid=20064 vsize=27071212 memory=2200 CPUtime=0.77 cores=0-7
/proc/20066/task/20083/stat : 20083 (java) S 20064 20064 9917 0 -1 1077944384 7890 0 0 0 76 1 0 0 20 0 28 0 97565824 27720921088 43134 33554432000 4194304 4196468 140722781216512 140254384216304 140255264283266 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13369344 140722781222040 140722781222216 140722781222216 140722781224911 0
[pid=20066/tid=20084] ppid=20064 vsize=27071212 memory=6508 CPUtime=0 cores=0-7
/proc/20066/task/20084/stat : 20084 (java) S 20064 20064 9917 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 97565824 27720921088 43134 33554432000 4194304 4196468 140722781216512 140254383164256 140255264282325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13369344 140722781222040 140722781222216 140722781222216 140722781224911 0
[pid=20066/tid=20085] ppid=20064 vsize=27071212 memory=836 CPUtime=0.02 cores=0-7
/proc/20066/task/20085/stat : 20085 (java) S 20064 20064 9917 0 -1 1077944384 1740 0 0 0 1 1 0 0 20 0 28 0 97565824 27720921088 43134 33554432000 4194304 4196468 140722781216512 140254382111536 140255264283266 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 8 0 0 6293624 6294260 13369344 140722781222040 140722781222216 140722781222216 140722781224911 0
[pid=20066/tid=20286] ppid=20064 vsize=27071212 memory=1696 CPUtime=194.37 cores=0-7
/proc/20066/task/20286/stat : 20286 (java) R 20064 20064 9917 0 -1 4202560 943 0 0 0 19437 0 0 0 20 0 28 0 97571524 27720921088 43134 33554432000 4194304 4196468 140722781216512 140253447302336 140254864108505 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13369344 140722781222040 140722781222216 140722781222216 140722781224911 0
[pid=20066/tid=20287] ppid=20064 vsize=27071212 memory=920 CPUtime=194.54 cores=0-7
/proc/20066/task/20287/stat : 20287 (java) R 20064 20064 9917 0 -1 4202560 1359 0 0 0 19454 0 0 0 20 0 28 0 97571524 27720921088 43134 33554432000 4194304 4196468 140722781216512 140253443092752 140254864109164 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13369344 140722781222040 140722781222216 140722781222216 140722781224911 0
[pid=20066/tid=20288] ppid=20064 vsize=27071212 memory=4184 CPUtime=194.65 cores=0-7
/proc/20066/task/20288/stat : 20288 (java) R 20064 20064 9917 0 -1 4202560 1455 0 0 0 19465 0 0 0 20 0 28 0 97571524 27720921088 43134 33554432000 4194304 4196468 140722781216512 140253436775704 140254864105467 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13369344 140722781222040 140722781222216 140722781222216 140722781224911 0
[pid=20066/tid=20289] ppid=20064 vsize=27071212 memory=4104 CPUtime=194.22 cores=0-7
/proc/20066/task/20289/stat : 20289 (java) R 20064 20064 9917 0 -1 4202560 1420 0 0 0 19421 1 0 0 20 0 28 0 97571524 27720921088 43134 33554432000 4194304 4196468 140722781216512 140253439936992 140254864106012 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13369344 140722781222040 140722781222216 140722781222216 140722781224911 0
[pid=20066/tid=20290] ppid=20064 vsize=27071212 memory=1160 CPUtime=193.82 cores=0-7
/proc/20066/task/20290/stat : 20290 (java) R 20064 20064 9917 0 -1 4202560 4723 0 0 0 19379 3 0 0 20 0 28 0 97571524 27720921088 43134 33554432000 4194304 4196468 140722781216512 140253435723584 140254864106173 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13369344 140722781222040 140722781222216 140722781222216 140722781224911 0
[pid=20066/tid=20291] ppid=20064 vsize=27071212 memory=3744 CPUtime=193.59 cores=0-7
/proc/20066/task/20291/stat : 20291 (java) R 20064 20064 9917 0 -1 4202560 767 0 0 0 19357 2 0 0 20 0 28 0 97571524 27720921088 43134 33554432000 4194304 4196468 140722781216512 140253437829192 140254864902707 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 13369344 140722781222040 140722781222216 140722781222216 140722781224911 0
[pid=20066/tid=20292] ppid=20064 vsize=27071212 memory=10928 CPUtime=193.99 cores=0-7
/proc/20066/task/20292/stat : 20292 (java) R 20064 20064 9917 0 -1 4202560 5027 0 0 0 19397 2 0 0 20 0 28 0 97571524 27720921088 43134 33554432000 4194304 4196468 140722781216512 140253438881800 140254864104963 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13369344 140722781222040 140722781222216 140722781222216 140722781224911 0
[pid=20066/tid=20293] ppid=20064 vsize=27071212 memory=796 CPUtime=193.86 cores=0-7
/proc/20066/task/20293/stat : 20293 (java) R 20064 20064 9917 0 -1 4202560 4270 0 0 0 19385 1 0 0 20 0 28 0 97571524 27720921088 43134 33554432000 4194304 4196468 140722781216512 140253446250136 140254864106185 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13369344 140722781222040 140722781222216 140722781222216 140722781224911 0
Current children cumulated CPU time: 2002.48 s
Current children cumulated vsize: 27080724 KiB
Current children cumulated memory: 173920 KiB

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

[startup+252.033 s]
# the end of solver process 20064 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.000962 s, system=0.000962 s

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

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

Child status: 143
Real time (s): 252.103
CPU time (s): 2003.17
CPU user time (s): 2002.54
CPU system time (s): 0.632384
CPU usage (%): 794.584
Max. virtual memory (cumulated for all children) (KiB): 27080724
Max. memory (cumulated for all children) (KiB): 275024

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2002.54
system time used= 0.632384
maximum resident set size= 279252
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 108579
page faults= 0
swaps= 0
block input operations= 0
block output operations= 456
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 18749
involuntary context switches= 21412


# summary of solver processes directly reported to runsolver:
#   pid: 20064,20066
#   total CPU time (s): 2003.17
#   total CPU user time (s): 2002.54
#   total CPU system time (s): 0.632384

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.38567 second user time and 2.55106 second system time

The end

Launcher Data 

Begin job on node115 at 2017-08-13 19:05:22
IDJOB=4271811
IDBENCH=135789
IDSOLVER=2663
FILE ID=node115/4271811-1502644781
RUNJOBID= node115-1502639064-9944
PBS_JOBID= 20628332
Free space on /tmp= 61812 MiB

SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/TravellingSalesman/TravellingSalesman-m1-n40/TravellingSalesman-40-30-19.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-4271811-1502644781/watcher-4271811-1502644781 -o /tmp/evaluation-result-4271811-1502644781/solver-4271811-1502644781 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node115-1502639064-9944 --watchdog 312  ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 893264084 HOME/instance-4271811-1502644781.xml

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

MD5SUM BENCH= 6526f92d1e0de584709c666a2aa2b127
RANDOM SEED=893264084

node115.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.69
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.69
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.69
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.69
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:        31591848 kB
MemAvailable:   31985552 kB
Buffers:          129720 kB
Cached:           550276 kB
SwapCached:            0 kB
Active:           518908 kB
Inactive:         217008 kB
Active(anon):       4432 kB
Inactive(anon):    79404 kB
Active(file):     514476 kB
Inactive(file):   137604 kB
Unevictable:        6220 kB
Mlocked:            6220 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7864 kB
Writeback:            16 kB
AnonPages:         61736 kB
Mapped:            43588 kB
Shmem:             25224 kB
Slab:             141132 kB
SReclaimable:     114916 kB
SUnreclaim:        26216 kB
KernelStack:        3200 kB
PageTables:         4768 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     323376 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:      105856 kB
DirectMap2M:    33439744 kB

Free space on /tmp at the end= 61804 MiB
End job on node115 at 2017-08-13 19:09:35