Trace number 4292424

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.7 seq (493a269)SAT (TO)107 2400.09 2382.41

General information on the benchmark

NameSumColoring/
SumColoring-myciel6_c18.xml
MD5SUM12e75aa9ea5684230fdaa5ddf97691cc
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark98
Best CPU time to get the best result obtained on this benchmark2520.12
Satisfiable
(Un)Satisfiability was proved
Number of variables95
Number of constraints755
Number of domains1
Minimum domain size95
Maximum domain size95
Distribution of domain sizes[{"size":95,"count":95}]
Minimum variable degree7
Maximum variable degree48
Distribution of variable degrees[{"degree":7,"count":5},{"degree":8,"count":5},{"degree":9,"count":6},{"degree":10,"count":5},{"degree":11,"count":10},{"degree":12,"count":5},{"degree":13,"count":6},{"degree":14,"count":7},{"degree":15,"count":6},{"degree":17,"count":5},{"degree":18,"count":5},{"degree":19,"count":5},{"degree":21,"count":5},{"degree":22,"count":1},{"degree":23,"count":1},{"degree":24,"count":1},{"degree":25,"count":8},{"degree":33,"count":5},{"degree":41,"count":1},{"degree":45,"count":1},{"degree":47,"count":1},{"degree":48,"count":1}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":755}]
Number of extensional constraints0
Number of intensional constraints755
Distribution of constraint types[{"type":"intension","count":755}]
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 -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4292424-1532448430.xml"  -tl '2400s' -p 1 -x 0
0.10/0.18	c Choco 493a269
0.10/0.18	c [HOME/instance-4292424-1532448430.xml, -tl, 2400s, -p, 1, -x, 0]
0.33/0.22	c simple solver
0.33/0.29	c parse instance...
1.48/0.71	c solve instance...
1.79/0.84	o 199 
1.79/0.86	o 198 
1.79/0.86	o 197 
1.79/0.89	o 196 
2.76/1.11	o 170 
2.76/1.11	o 168 
2.76/1.12	o 166 
2.76/1.12	o 164 
2.76/1.12	o 162 
2.76/1.13	o 160 
2.76/1.14	o 158 
3.64/1.53	o 142 
3.64/1.53	o 140 
3.64/1.54	o 137 
3.64/1.54	o 136 
8.52/5.82	o 134 
8.73/6.09	o 133 
30.53/27.59	o 130 
30.53/27.59	o 129 
30.53/27.59	o 128 
30.53/27.60	o 127 
30.63/27.61	o 126 
30.63/27.61	o 125 
96.57/93.41	o 123 
117.04/113.80	o 122 
602.47/597.84	o 121 
611.72/607.11	o 120 
1326.57/1318.91	o 119 
1326.57/1318.92	o 118 
1326.78/1319.20	o 117 
1326.87/1319.20	o 116 
2018.25/2005.40	o 115 
2018.25/2005.40	o 114 
2018.25/2005.40	o 113 
2018.25/2005.40	o 112 
2018.25/2005.48	o 111 
2018.25/2005.48	o 110 
2018.25/2005.48	o 109 
2018.25/2005.48	o 108 
2018.25/2005.48	o 107 
2400.06/2382.40	s SATISFIABLE
2400.06/2382.40	v <instantiation>
2400.06/2382.40	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] c[40] c[41] c[42] c[43] c[44] c[45] c[46] c[47] c[48] c[49] c[50] c[51] c[52] c[53] c[54] c[55] c[56] c[57] c[58] c[59] c[60] c[61] c[62] c[63] c[64] c[65] c[66] c[67] c[68] c[69] c[70] c[71] c[72] c[73] c[74] c[75] c[76] c[77] c[78] c[79] c[80] c[81] c[82] c[83] c[84] c[85] c[86] c[87] c[88] c[89] c[90] c[91] c[92] c[93] c[94] </list>
2400.06/2382.40	v 	<values>6 3 4 4 3 2 5 2 4 2 3 2 3 4 4 3 2 2 2 2 2 3 5 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 1 3 2 </values>
2400.06/2382.40	v </instantiation>
2400.06/2382.40	c Unexpected resolution interruption!

Verifier Data 

OK	107

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4292424-1532448430/watcher-4292424-1532448430 -o /tmp/evaluation-result-4292424-1532448430/solver-4292424-1532448430 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node103-1532448430-22096 --watchdog 2560 HOME/xcsp3-exec -seed 1726922005 -dir HOME -tl 2400 -ml 11000 -p 1 HOME/instance-4292424-1532448430.xml 

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

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

solver pid=22126, runsolver pid=22119

[startup+0.100167 s]*
/proc/loadavg: 1.00 1.03 1.05 4/217 22157
/proc/meminfo: memFree=20645672/32770624 swapFree=67108860/67108860
[pid=22126] ppid=22119 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/22126/stat : 22126 (xcsp3-exec) S 22119 22126 22065 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 62406203 115843072 363 33554432000 4194304 5098028 140729465838352 140729465836456 140428960490108 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 18833408 140729465844794 140729465844996 140729465844996 140729465847754 0
/proc/22126/statm: 28282 363 306 221 0 87 0
[pid=22129] ppid=22126 vsize=14082840 memory=31416 CPUtime=0.1 cores=0,2,4,6
/proc/22129/stat : 22129 (java) S 22126 22126 22065 0 -1 1077944320 5680 0 0 0 9 1 0 0 20 0 15 0 62406203 14420828160 7854 33554432000 4194304 4196468 140731936084496 140731936067040 140640513064695 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29216768 140731936089217 140731936089393 140731936089393 140731936092111 0
/proc/22129/statm: 3520710 7854 2994 1 0 3483008 0
[pid=22129/tid=22131] ppid=22126 vsize=14082840 memory=5852830839579967649 CPUtime=0.08 cores=0,2,4,6
/proc/22129/task/22131/stat : 22131 (java) R 22126 22126 22065 0 -1 4202560 3709 0 0 0 7 1 0 0 20 0 15 0 62406204 14420828160 7854 33554432000 4194304 4196468 140731936084496 140640517287696 140640513086621 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29216768 140731936089217 140731936089393 140731936089393 140731936092111 0
[pid=22129/tid=22134] ppid=22126 vsize=14082840 memory=3472468053154952400 CPUtime=0 cores=0,2,4,6
/proc/22129/task/22134/stat : 22134 (java) S 22126 22126 22065 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 62406204 14420828160 7854 33554432000 4194304 4196468 140731936084496 140640450665488 140640513074901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29216768 140731936089217 140731936089393 140731936089393 140731936092111 0
[pid=22129/tid=22136] ppid=22126 vsize=14082840 memory=139924259800704 CPUtime=0 cores=0,2,4,6
/proc/22129/task/22136/stat : 22136 (java) S 22126 22126 22065 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 62406204 14420828160 7854 33554432000 4194304 4196468 140731936084496 140640107633808 140640513074901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29216768 140731936089217 140731936089393 140731936089393 140731936092111 0
[pid=22129/tid=22138] ppid=22126 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22129/task/22138/stat : 22138 (java) S 22126 22126 22065 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 62406204 14420828160 7854 33554432000 4194304 4196468 140731936084496 140640106580752 140640513074901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29216768 140731936089217 140731936089393 140731936089393 140731936092111 0
[pid=22129/tid=22139] ppid=22126 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22129/task/22139/stat : 22139 (java) S 22126 22126 22065 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 62406204 14420828160 7854 33554432000 4194304 4196468 140731936084496 140640105528208 140640513074901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29216768 140731936089217 140731936089393 140731936089393 140731936092111 0
[pid=22129/tid=22140] ppid=22126 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22129/task/22140/stat : 22140 (java) S 22126 22126 22065 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 62406206 14420828160 7854 33554432000 4194304 4196468 140731936084496 140640054483184 140640513075842 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29216768 140731936089217 140731936089393 140731936089393 140731936092111 0
[pid=22129/tid=22143] ppid=22126 vsize=14082840 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22129/task/22143/stat : 22143 (java) S 22126 22126 22065 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 62406206 14420828160 7854 33554432000 4194304 4196468 140731936084496 140640053429408 140640513074901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29216768 140731936089217 140731936089393 140731936089393 140731936092111 0
[pid=22129/tid=22145] ppid=22126 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22129/task/22145/stat : 22145 (java) S 22126 22126 22065 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 62406206 14420828160 7854 33554432000 4194304 4196468 140731936084496 140640052376304 140640513074901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29216768 140731936089217 140731936089393 140731936089393 140731936092111 0
[pid=22129/tid=22146] ppid=22126 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22129/task/22146/stat : 22146 (java) S 22126 22126 22065 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62406209 14420828160 7854 33554432000 4194304 4196468 140731936084496 140640051324880 140640513083291 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29216768 140731936089217 140731936089393 140731936089393 140731936092111 0
[pid=22129/tid=22148] ppid=22126 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22129/task/22148/stat : 22148 (java) S 22126 22126 22065 0 -1 1077944384 422 0 0 0 0 0 0 0 20 0 15 0 62406209 14420828160 7854 33554432000 4194304 4196468 140731936084496 140640050273008 140640513075842 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29216768 140731936089217 140731936089393 140731936089393 140731936092111 0
[pid=22129/tid=22150] ppid=22126 vsize=14082840 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22129/task/22150/stat : 22150 (java) S 22126 22126 22065 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62406209 14420828160 7854 33554432000 4194304 4196468 140731936084496 140640049220464 140640513075842 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29216768 140731936089217 140731936089393 140731936089393 140731936092111 0
[pid=22129/tid=22152] ppid=22126 vsize=14082840 memory=139924259800704 CPUtime=0.01 cores=0,2,4,6
/proc/22129/task/22152/stat : 22152 (java) S 22126 22126 22065 0 -1 1077944384 243 0 0 0 1 0 0 0 20 0 15 0 62406209 14420828160 7854 33554432000 4194304 4196468 140731936084496 140640048167408 140640513075842 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29216768 140731936089217 140731936089393 140731936089393 140731936092111 0
[pid=22129/tid=22155] ppid=22126 vsize=14082840 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22129/task/22155/stat : 22155 (java) S 22126 22126 22065 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62406209 14420828160 7854 33554432000 4194304 4196468 140731936084496 140639484504928 140640513074901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29216768 140731936089217 140731936089393 140731936089393 140731936092111 0
[pid=22129/tid=22157] ppid=22126 vsize=14082840 memory=139924259800704 CPUtime=0 cores=0,2,4,6
/proc/22129/task/22157/stat : 22157 (java) S 22126 22126 22065 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 62406210 14420828160 7854 33554432000 4194304 4196468 140731936084496 140639483451952 140640513075842 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29216768 140731936089217 140731936089393 140731936089393 140731936092111 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 14195968 KiB
Current children cumulated memory: 32868 KiB

[startup+0.210403 s]*
/proc/loadavg: 1.00 1.03 1.05 4/217 22157
/proc/meminfo: memFree=20625800/32770624 swapFree=67108860/67108860
[pid=22126] ppid=22119 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/22126/stat : 22126 (xcsp3-exec) S 22119 22126 22065 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 62406203 115843072 363 33554432000 4194304 5098028 140729465838352 140729465836456 140428960490108 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 18833408 140729465844794 140729465844996 140729465844996 140729465847754 0
/proc/22126/statm: 28282 363 306 221 0 87 0
[pid=22129] ppid=22126 vsize=14082840 memory=42436 CPUtime=0.33 cores=0,2,4,6
/proc/22129/stat : 22129 (java) S 22126 22126 22065 0 -1 1077944320 8130 0 0 0 31 2 0 0 20 0 15 0 62406203 14420828160 10609 33554432000 4194304 4196468 140731936084496 140731936067040 140640513064695 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29216768 140731936089217 140731936089393 140731936089393 140731936092111 0
/proc/22129/statm: 3520710 10609 3154 1 0 3483008 0
[pid=22129/tid=22131] ppid=22126 vsize=14082840 memory=5852833021473685665 CPUtime=0.19 cores=0,2,4,6
/proc/22129/task/22131/stat : 22131 (java) R 22126 22126 22065 0 -1 4202560 5392 0 0 0 18 1 0 0 20 0 15 0 62406204 14420828160 10609 33554432000 4194304 4196468 140731936084496 140640517294416 140640130204369 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29216768 140731936089217 140731936089393 140731936089393 140731936092111 0
[pid=22129/tid=22134] ppid=22126 vsize=14082840 memory=3472468053154952400 CPUtime=0 cores=0,2,4,6
/proc/22129/task/22134/stat : 22134 (java) S 22126 22126 22065 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 62406204 14420828160 10609 33554432000 4194304 4196468 140731936084496 140640450665488 140640513074901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29216768 140731936089217 140731936089393 140731936089393 140731936092111 0
[pid=22129/tid=22136] ppid=22126 vsize=14082840 memory=139924259800704 CPUtime=0 cores=0,2,4,6
/proc/22129/task/22136/stat : 22136 (java) S 22126 22126 22065 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 62406204 14420828160 10609 33554432000 4194304 4196468 140731936084496 140640107633808 140640513074901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29216768 140731936089217 140731936089393 140731936089393 140731936092111 0
[pid=22129/tid=22138] ppid=22126 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22129/task/22138/stat : 22138 (java) S 22126 22126 22065 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 62406204 14420828160 10609 33554432000 4194304 4196468 140731936084496 140640106580752 140640513074901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29216768 140731936089217 140731936089393 140731936089393 140731936092111 0
[pid=22129/tid=22139] ppid=22126 vsize=14082840 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22129/task/22139/stat : 22139 (java) S 22126 22126 22065 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 62406204 14420828160 10609 33554432000 4194304 4196468 140731936084496 140640105528208 140640513074901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29216768 140731936089217 140731936089393 140731936089393 140731936092111 0
[pid=22129/tid=22140] ppid=22126 vsize=14082840 memory=139924259800704 CPUtime=0 cores=0,2,4,6
/proc/22129/task/22140/stat : 22140 (java) S 22126 22126 22065 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 62406206 14420828160 10609 33554432000 4194304 4196468 140731936084496 140640054483184 140640513075842 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29216768 140731936089217 140731936089393 140731936089393 140731936092111 0
[pid=22129/tid=22143] ppid=22126 vsize=14082840 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22129/task/22143/stat : 22143 (java) S 22126 22126 22065 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 62406206 14420828160 10609 33554432000 4194304 4196468 140731936084496 140640053429408 140640513074901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29216768 140731936089217 140731936089393 140731936089393 140731936092111 0
[pid=22129/tid=22145] ppid=22126 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22129/task/22145/stat : 22145 (java) S 22126 22126 22065 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 62406206 14420828160 10609 33554432000 4194304 4196468 140731936084496 140640052376304 140640513074901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29216768 140731936089217 140731936089393 140731936089393 140731936092111 0
[pid=22129/tid=22146] ppid=22126 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22129/task/22146/stat : 22146 (java) S 22126 22126 22065 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62406209 14420828160 10609 33554432000 4194304 4196468 140731936084496 140640051324880 140640513083291 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29216768 140731936089217 140731936089393 140731936089393 140731936092111 0
[pid=22129/tid=22148] ppid=22126 vsize=14082840 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/22129/task/22148/stat : 22148 (java) S 22126 22126 22065 0 -1 1077944384 572 0 0 0 3 0 0 0 20 0 15 0 62406209 14420828160 10609 33554432000 4194304 4196468 140731936084496 140640050273008 140640513075842 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29216768 140731936089217 140731936089393 140731936089393 140731936092111 0
[pid=22129/tid=22150] ppid=22126 vsize=14082840 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/22129/task/22150/stat : 22150 (java) R 22126 22126 22065 0 -1 1077944384 154 0 0 0 1 0 0 0 20 0 15 0 62406209 14420828160 10609 33554432000 4194304 4196468 140731936084496 140640049220464 140640513075842 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29216768 140731936089217 140731936089393 140731936089393 140731936092111 0
[pid=22129/tid=22152] ppid=22126 vsize=14082840 memory=139924259800704 CPUtime=0.07 cores=0,2,4,6
/proc/22129/task/22152/stat : 22152 (java) R 22126 22126 22065 0 -1 4202560 710 0 0 0 7 0 0 0 20 0 15 0 62406209 14420828160 10609 33554432000 4194304 4196468 140731936084496 140640048167408 140640505301822 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29216768 140731936089217 140731936089393 140731936089393 140731936092111 0
[pid=22129/tid=22155] ppid=22126 vsize=14082840 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22129/task/22155/stat : 22155 (java) S 22126 22126 22065 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62406209 14420828160 10609 33554432000 4194304 4196468 140731936084496 140639484504928 140640513074901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29216768 140731936089217 140731936089393 140731936089393 140731936092111 0
[pid=22129/tid=22157] ppid=22126 vsize=14082840 memory=139924259800704 CPUtime=0 cores=0,2,4,6
/proc/22129/task/22157/stat : 22157 (java) S 22126 22126 22065 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 62406210 14420828160 10609 33554432000 4194304 4196468 140731936084496 140639483451952 140640513075842 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29216768 140731936089217 140731936089393 140731936089393 140731936092111 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 14195968 KiB
Current children cumulated memory: 43888 KiB

[startup+0.310377 s]*
/proc/loadavg: 1.00 1.03 1.05 6/217 22157
/proc/meminfo: memFree=20613748/32770624 swapFree=67108860/67108860
[pid=22126] ppid=22119 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/22126/stat : 22126 (xcsp3-exec) S 22119 22126 22065 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 62406203 115843072 363 33554432000 4194304 5098028 140729465838352 140729465836456 140428960490108 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 18833408 140729465844794 140729465844996 140729465844996 140729465847754 0
/proc/22126/statm: 28282 363 306 221 0 87 0
[pid=22129] ppid=22126 vsize=14087096 memory=48744 CPUtime=0.49 cores=0,2,4,6
/proc/22129/stat : 22129 (java) S 22126 22126 22065 0 -1 1077944320 8866 0 0 0 46 3 0 0 20 0 15 0 62406203 14425186304 12186 33554432000 4194304 4196468 140731936084496 140731936067040 140640513064695 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29216768 140731936089217 140731936089393 140731936089393 140731936092111 0
/proc/22129/statm: 3521774 12186 3187 1 0 3483008 0
[pid=22129/tid=22131] ppid=22126 vsize=14087096 memory=5855080410389512353 CPUtime=0.28 cores=0,2,4,6
/proc/22129/task/22131/stat : 22131 (java) R 22126 22126 22065 0 -1 4202560 5961 0 0 0 26 2 0 0 20 0 15 0 62406204 14425186304 12186 33554432000 4194304 4196468 140731936084496 140640517295808 140640513088285 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29216768 140731936089217 140731936089393 140731936089393 140731936092111 0
[pid=22129/tid=22134] ppid=22126 vsize=14087096 memory=3472468220487481008 CPUtime=0 cores=0,2,4,6
/proc/22129/task/22134/stat : 22134 (java) S 22126 22126 22065 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 62406204 14425186304 12186 33554432000 4194304 4196468 140731936084496 140640450665488 140640513074901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29216768 140731936089217 140731936089393 140731936089393 140731936092111 0
[pid=22129/tid=22136] ppid=22126 vsize=14087096 memory=139924259800704 CPUtime=0 cores=0,2,4,6
/proc/22129/task/22136/stat : 22136 (java) S 22126 22126 22065 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 62406204 14425186304 12186 33554432000 4194304 4196468 140731936084496 140640107633808 140640513074901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29216768 140731936089217 140731936089393 140731936089393 140731936092111 0
[pid=22129/tid=22138] ppid=22126 vsize=14087096 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22129/task/22138/stat : 22138 (java) S 22126 22126 22065 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 62406204 14425186304 12186 33554432000 4194304 4196468 140731936084496 140640106580752 140640513074901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29216768 140731936089217 140731936089393 140731936089393 140731936092111 0
[pid=22129/tid=22139] ppid=22126 vsize=14087096 memory=139924129064991 CPUtime=0 cores=0,2,4,6
/proc/22129/task/22139/stat : 22139 (java) S 22126 22126 22065 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 62406204 14425186304 12186 33554432000 4194304 4196468 140731936084496 140640105528208 140640513074901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29216768 140731936089217 140731936089393 140731936089393 140731936092111 0
[pid=22129/tid=22140] ppid=22126 vsize=14087096 memory=279848258106912 CPUtime=0 cores=0,2,4,6
/proc/22129/task/22140/stat : 22140 (java) S 22126 22126 22065 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 62406206 14425186304 12186 33554432000 4194304 4196468 140731936084496 140640054483184 140640513075842 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29216768 140731936089217 140731936089393 140731936089393 140731936092111 0
[pid=22129/tid=22143] ppid=22126 vsize=14087096 memory=139924129039631 CPUtime=0 cores=0,2,4,6
/proc/22129/task/22143/stat : 22143 (java) S 22126 22126 22065 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 62406206 14425186304 12186 33554432000 4194304 4196468 140731936084496 140640053429408 140640513074901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29216768 140731936089217 140731936089393 140731936089393 140731936092111 0
[pid=22129/tid=22145] ppid=22126 vsize=14087096 memory=279848388847232 CPUtime=0 cores=0,2,4,6
/proc/22129/task/22145/stat : 22145 (java) S 22126 22126 22065 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 62406206 14425186304 12186 33554432000 4194304 4196468 140731936084496 140640052376304 140640513074901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29216768 140731936089217 140731936089393 140731936089393 140731936092111 0
[pid=22129/tid=22146] ppid=22126 vsize=14087096 memory=139924129044239 CPUtime=0 cores=0,2,4,6
/proc/22129/task/22146/stat : 22146 (java) S 22126 22126 22065 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62406209 14425186304 12186 33554432000 4194304 4196468 140731936084496 140640051324880 140640513083291 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29216768 140731936089217 140731936089393 140731936089393 140731936092111 0
[pid=22129/tid=22148] ppid=22126 vsize=14087096 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/22129/task/22148/stat : 22148 (java) S 22126 22126 22065 0 -1 1077944384 582 0 0 0 4 0 0 0 20 0 15 0 62406209 14425186304 12186 33554432000 4194304 4196468 140731936084496 140640050273008 140640513075842 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29216768 140731936089217 140731936089393 140731936089393 140731936092111 0
[pid=22129/tid=22150] ppid=22126 vsize=14087096 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/22129/task/22150/stat : 22150 (java) S 22126 22126 22065 0 -1 1077944384 162 0 0 0 3 0 0 0 20 0 15 0 62406209 14425186304 12186 33554432000 4194304 4196468 140731936084496 140640049220464 140640513075842 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29216768 140731936089217 140731936089393 140731936089393 140731936092111 0
[pid=22129/tid=22152] ppid=22126 vsize=14087096 memory=2072 CPUtime=0.12 cores=0,2,4,6
/proc/22129/task/22152/stat : 22152 (java) R 22126 22126 22065 0 -1 4202560 854 0 0 0 12 0 0 0 20 0 15 0 62406209 14425186304 12186 33554432000 4194304 4196468 140731936084496 140640048167408 140640513076630 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29216768 140731936089217 140731936089393 140731936089393 140731936092111 0
[pid=22129/tid=22155] ppid=22126 vsize=14087096 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/22129/task/22155/stat : 22155 (java) S 22126 22126 22065 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62406209 14425186304 12186 33554432000 4194304 4196468 140731936084496 140639484504928 140640513074901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29216768 140731936089217 140731936089393 140731936089393 140731936092111 0
[pid=22129/tid=22157] ppid=22126 vsize=14087096 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22129/task/22157/stat : 22157 (java) S 22126 22126 22065 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 62406210 14425186304 12186 33554432000 4194304 4196468 140731936084496 140639483451952 140640513075842 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29216768 140731936089217 140731936089393 140731936089393 140731936092111 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 14200224 KiB
Current children cumulated memory: 50196 KiB

[startup+0.70075 s]
/proc/loadavg: 1.00 1.03 1.05 7/217 22157
/proc/meminfo: memFree=20588392/32770624 swapFree=67108860/67108860
[pid=22126] ppid=22119 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/22126/stat : 22126 (xcsp3-exec) S 22119 22126 22065 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 62406203 115843072 363 33554432000 4194304 5098028 140729465838352 140729465836456 140428960490108 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 18833408 140729465844794 140729465844996 140729465844996 140729465847754 0
/proc/22126/statm: 28282 363 306 221 0 87 0
[pid=22129] ppid=22126 vsize=14089220 memory=85176 CPUtime=1.48 cores=0,2,4,6
/proc/22129/stat : 22129 (java) S 22126 22126 22065 0 -1 1077944320 12440 0 0 0 144 4 0 0 20 0 15 0 62406203 14427361280 21294 33554432000 4194304 4196468 140731936084496 140731936067040 140640513064695 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29216768 140731936089217 140731936089393 140731936089393 140731936092111 0
/proc/22129/statm: 3522305 21294 3337 1 0 3483520 0
[pid=22129/tid=22131] ppid=22126 vsize=14089220 memory=8320808402720142132 CPUtime=0.66 cores=0,2,4,6
/proc/22129/task/22131/stat : 22131 (java) R 22126 22126 22065 0 -1 4202560 6986 0 0 0 63 3 0 0 20 0 15 0 62406204 14427361280 21294 33554432000 4194304 4196468 140731936084496 140640517303680 140640497145182 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29216768 140731936089217 140731936089393 140731936089393 140731936092111 0
[pid=22129/tid=22134] ppid=22126 vsize=14089220 memory=7238798801035015221 CPUtime=0 cores=0,2,4,6
/proc/22129/task/22134/stat : 22134 (java) S 22126 22126 22065 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 62406204 14427361280 21294 33554432000 4194304 4196468 140731936084496 140640450665488 140640513074901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29216768 140731936089217 140731936089393 140731936089393 140731936092111 0
[pid=22129/tid=22136] ppid=22126 vsize=14089220 memory=7228647217510831462 CPUtime=0 cores=0,2,4,6
/proc/22129/task/22136/stat : 22136 (java) S 22126 22126 22065 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 62406204 14427361280 21294 33554432000 4194304 4196468 140731936084496 140640107633808 140640513074901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29216768 140731936089217 140731936089393 140731936089393 140731936092111 0
[pid=22129/tid=22138] ppid=22126 vsize=14089220 memory=7518034348396861520 CPUtime=0 cores=0,2,4,6
/proc/22129/task/22138/stat : 22138 (java) S 22126 22126 22065 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 62406204 14427361280 21294 33554432000 4194304 4196468 140731936084496 140640106580752 140640513074901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29216768 140731936089217 140731936089393 140731936089393 140731936092111 0
[pid=22129/tid=22139] ppid=22126 vsize=14089220 memory=667680 CPUtime=0 cores=0,2,4,6
/proc/22129/task/22139/stat : 22139 (java) S 22126 22126 22065 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 62406204 14427361280 21294 33554432000 4194304 4196468 140731936084496 140640105528208 140640513074901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29216768 140731936089217 140731936089393 140731936089393 140731936092111 0
[pid=22129/tid=22140] ppid=22126 vsize=14089220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22129/task/22140/stat : 22140 (java) S 22126 22126 22065 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 62406206 14427361280 21294 33554432000 4194304 4196468 140731936084496 140640054483184 140640513075842 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29216768 140731936089217 140731936089393 140731936089393 140731936092111 0
[pid=22129/tid=22143] ppid=22126 vsize=14089220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22129/task/22143/stat : 22143 (java) S 22126 22126 22065 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 62406206 14427361280 21294 33554432000 4194304 4196468 140731936084496 140640053429408 140640513074901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29216768 140731936089217 140731936089393 140731936089393 140731936092111 0
[pid=22129/tid=22145] ppid=22126 vsize=14089220 memory=12032 CPUtime=0 cores=0,2,4,6
/proc/22129/task/22145/stat : 22145 (java) S 22126 22126 22065 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 62406206 14427361280 21294 33554432000 4194304 4196468 140731936084496 140640052376304 140640513074901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29216768 140731936089217 140731936089393 140731936089393 140731936092111 0
[pid=22129/tid=22146] ppid=22126 vsize=14089220 memory=1008 CPUtime=0 cores=0,2,4,6
/proc/22129/task/22146/stat : 22146 (java) S 22126 22126 22065 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62406209 14427361280 21294 33554432000 4194304 4196468 140731936084496 140640051324880 140640513083291 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29216768 140731936089217 140731936089393 140731936089393 140731936092111 0
[pid=22129/tid=22148] ppid=22126 vsize=14089220 memory=792 CPUtime=0.2 cores=0,2,4,6
/proc/22129/task/22148/stat : 22148 (java) S 22126 22126 22065 0 -1 1077944384 1218 0 0 0 20 0 0 0 20 0 15 0 62406209 14427361280 21294 33554432000 4194304 4196468 140731936084496 140640050273008 140640513075842 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29216768 140731936089217 140731936089393 140731936089393 140731936092111 0
[pid=22129/tid=22150] ppid=22126 vsize=14089220 memory=1716 CPUtime=0.2 cores=0,2,4,6
/proc/22129/task/22150/stat : 22150 (java) R 22126 22126 22065 0 -1 1077944384 827 0 0 0 20 0 0 0 20 0 15 0 62406209 14427361280 21294 33554432000 4194304 4196468 140731936084496 140640049220464 140640513075842 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29216768 140731936089217 140731936089393 140731936089393 140731936092111 0
[pid=22129/tid=22152] ppid=22126 vsize=14089220 memory=1952 CPUtime=0.39 cores=0,2,4,6
/proc/22129/task/22152/stat : 22152 (java) R 22126 22126 22065 0 -1 4202560 2102 0 0 0 39 0 0 0 20 0 15 0 62406209 14427361280 21294 33554432000 4194304 4196468 140731936084496 140640048167408 140640491556750 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29216768 140731936089217 140731936089393 140731936089393 140731936092111 0
[pid=22129/tid=22155] ppid=22126 vsize=14089220 memory=8392 CPUtime=0 cores=0,2,4,6
/proc/22129/task/22155/stat : 22155 (java) S 22126 22126 22065 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62406209 14427361280 21294 33554432000 4194304 4196468 140731936084496 140639484504928 140640513074901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29216768 140731936089217 140731936089393 140731936089393 140731936092111 0
[pid=22129/tid=22157] ppid=22126 vsize=14089220 memory=15872 CPUtime=0 cores=0,2,4,6
/proc/22129/task/22157/stat : 22157 (java) S 22126 22126 22065 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 62406210 14427361280 21294 33554432000 4194304 4196468 140731936084496 140639483451952 140640513075842 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29216768 140731936089217 140731936089393 140731936089393 140731936092111 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 86628 KiB

[startup+1.50088 s]
/proc/loadavg: 1.00 1.03 1.05 8/217 22157
/proc/meminfo: memFree=20519380/32770624 swapFree=67108860/67108860
[pid=22126] ppid=22119 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/22126/stat : 22126 (xcsp3-exec) S 22119 22126 22065 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 62406203 115843072 363 33554432000 4194304 5098028 140729465838352 140729465836456 140428960490108 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 18833408 140729465844794 140729465844996 140729465844996 140729465847754 0
/proc/22126/statm: 28282 363 306 221 0 87 0

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

/proc/22129/task/22145/stat : 22145 (java) S 22126 22126 22065 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 62406206 14427361280 200135 33554432000 4194304 4196468 140731936084496 140640052376304 140640513074901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29216768 140731936089217 140731936089393 140731936089393 140731936092111 0
[pid=22129/tid=22146] ppid=22126 vsize=14089220 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/22129/task/22146/stat : 22146 (java) S 22126 22126 22065 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62406209 14427361280 200135 33554432000 4194304 4196468 140731936084496 140640051324880 140640513083291 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29216768 140731936089217 140731936089393 140731936089393 140731936092111 0
[pid=22129/tid=22148] ppid=22126 vsize=14089220 memory=1452 CPUtime=1.25 cores=0,2,4,6
/proc/22129/task/22148/stat : 22148 (java) S 22126 22126 22065 0 -1 1077944384 11110 0 0 0 124 1 0 0 20 0 15 0 62406209 14427361280 200135 33554432000 4194304 4196468 140731936084496 140640050273008 140640513075842 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 15 0 0 6293624 6294260 29216768 140731936089217 140731936089393 140731936089393 140731936092111 0
[pid=22129/tid=22150] ppid=22126 vsize=14089220 memory=800540 CPUtime=1.43 cores=0,2,4,6
/proc/22129/task/22150/stat : 22150 (java) S 22126 22126 22065 0 -1 1077944384 9624 0 0 0 141 2 0 0 20 0 15 0 62406209 14427361280 200135 33554432000 4194304 4196468 140731936084496 140640049220464 140640513075842 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29216768 140731936089217 140731936089393 140731936089393 140731936092111 0
[pid=22129/tid=22152] ppid=22126 vsize=14089220 memory=1452 CPUtime=0.64 cores=0,2,4,6
/proc/22129/task/22152/stat : 22152 (java) S 22126 22126 22065 0 -1 1077944384 10100 0 0 0 62 2 0 0 20 0 15 0 62406209 14427361280 200135 33554432000 4194304 4196468 140731936084496 140640048167408 140640513075842 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29216768 140731936089217 140731936089393 140731936089393 140731936092111 0
[pid=22129/tid=22155] ppid=22126 vsize=14089220 memory=4140 CPUtime=0 cores=0,2,4,6
/proc/22129/task/22155/stat : 22155 (java) S 22126 22126 22065 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62406209 14427361280 200135 33554432000 4194304 4196468 140731936084496 140639484504928 140640513074901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29216768 140731936089217 140731936089393 140731936089393 140731936092111 0
[pid=22129/tid=22157] ppid=22126 vsize=14089220 memory=800540 CPUtime=0.75 cores=0,2,4,6
/proc/22129/task/22157/stat : 22157 (java) S 22126 22126 22065 0 -1 1077944384 678 0 0 0 32 43 0 0 20 0 15 0 62406210 14427361280 200135 33554432000 4194304 4196468 140731936084496 140639483451952 140640513075842 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 27 0 0 6293624 6294260 29216768 140731936089217 140731936089393 140731936089393 140731936092111 0
Current children cumulated CPU time: 2278.35 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 801992 KiB

[startup+2322.3 s]
/proc/loadavg: 1.42 1.38 1.39 4/217 22230
/proc/meminfo: memFree=19160960/32770624 swapFree=67108860/67108860
[pid=22126] ppid=22119 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/22126/stat : 22126 (xcsp3-exec) S 22119 22126 22065 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 62406203 115843072 363 33554432000 4194304 5098028 140729465838352 140729465836456 140428960490108 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 18833408 140729465844794 140729465844996 140729465844996 140729465847754 0
/proc/22126/statm: 28282 363 306 221 0 87 0
[pid=22129] ppid=22126 vsize=14089220 memory=921976 CPUtime=2339.1 cores=0,2,4,6
/proc/22129/stat : 22129 (java) S 22126 22126 22065 0 -1 1077944320 93918 0 0 0 233730 180 0 0 20 0 15 0 62406203 14427361280 230494 33554432000 4194304 4196468 140731936084496 140731936067040 140640513064695 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29216768 140731936089217 140731936089393 140731936089393 140731936092111 0
/proc/22129/statm: 3522305 230494 3402 1 0 3483520 0
[pid=22129/tid=22131] ppid=22126 vsize=14089220 memory=792 CPUtime=2312.96 cores=0,2,4,6
/proc/22129/task/22131/stat : 22131 (java) R 22126 22126 22065 0 -1 4202560 32539 0 0 0 231246 50 0 0 20 0 15 0 62406204 14427361280 230494 33554432000 4194304 4196468 140731936084496 140640517304384 140640135695276 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29216768 140731936089217 140731936089393 140731936089393 140731936092111 0
[pid=22129/tid=22134] ppid=22126 vsize=14089220 memory=1452 CPUtime=4.76 cores=0,2,4,6
/proc/22129/task/22134/stat : 22134 (java) S 22126 22126 22065 0 -1 1077944384 4148 0 0 0 455 21 0 0 20 0 15 0 62406204 14427361280 230494 33554432000 4194304 4196468 140731936084496 140640450665488 140640513074901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29216768 140731936089217 140731936089393 140731936089393 140731936092111 0
[pid=22129/tid=22136] ppid=22126 vsize=14089220 memory=921976 CPUtime=4.77 cores=0,2,4,6
/proc/22129/task/22136/stat : 22136 (java) S 22126 22126 22065 0 -1 1077944384 4786 0 0 0 455 22 0 0 20 0 15 0 62406204 14427361280 230494 33554432000 4194304 4196468 140731936084496 140640107633808 140640513074901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29216768 140731936089217 140731936089393 140731936089393 140731936092111 0
[pid=22129/tid=22138] ppid=22126 vsize=14089220 memory=921916 CPUtime=4.78 cores=0,2,4,6
/proc/22129/task/22138/stat : 22138 (java) S 22126 22126 22065 0 -1 1077944384 4855 0 0 0 457 21 0 0 20 0 15 0 62406204 14427361280 230494 33554432000 4194304 4196468 140731936084496 140640106580752 140640513074901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29216768 140731936089217 140731936089393 140731936089393 140731936092111 0
[pid=22129/tid=22139] ppid=22126 vsize=14089220 memory=921976 CPUtime=4.77 cores=0,2,4,6
/proc/22129/task/22139/stat : 22139 (java) S 22126 22126 22065 0 -1 1077944384 6153 0 0 0 454 23 0 0 20 0 15 0 62406204 14427361280 230494 33554432000 4194304 4196468 140731936084496 140640105528208 140640513074901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29216768 140731936089217 140731936089393 140731936089393 140731936092111 0
[pid=22129/tid=22140] ppid=22126 vsize=14089220 memory=921976 CPUtime=2.85 cores=0,2,4,6
/proc/22129/task/22140/stat : 22140 (java) S 22126 22126 22065 0 -1 1077944384 8557 0 0 0 265 20 0 0 20 0 15 0 62406206 14427361280 230494 33554432000 4194304 4196468 140731936084496 140640054483184 140640513075842 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29216768 140731936089217 140731936089393 140731936089393 140731936092111 0
[pid=22129/tid=22143] ppid=22126 vsize=14089220 memory=921976 CPUtime=0 cores=0,2,4,6
/proc/22129/task/22143/stat : 22143 (java) S 22126 22126 22065 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 62406206 14427361280 230494 33554432000 4194304 4196468 140731936084496 140640053429408 140640513074901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29216768 140731936089217 140731936089393 140731936089393 140731936092111 0
[pid=22129/tid=22145] ppid=22126 vsize=14089220 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/22129/task/22145/stat : 22145 (java) S 22126 22126 22065 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 62406206 14427361280 230494 33554432000 4194304 4196468 140731936084496 140640052376304 140640513074901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29216768 140731936089217 140731936089393 140731936089393 140731936092111 0
[pid=22129/tid=22146] ppid=22126 vsize=14089220 memory=11572 CPUtime=0 cores=0,2,4,6
/proc/22129/task/22146/stat : 22146 (java) S 22126 22126 22065 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62406209 14427361280 230494 33554432000 4194304 4196468 140731936084496 140640051324880 140640513083291 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29216768 140731936089217 140731936089393 140731936089393 140731936092111 0
[pid=22129/tid=22148] ppid=22126 vsize=14089220 memory=1452 CPUtime=1.25 cores=0,2,4,6
/proc/22129/task/22148/stat : 22148 (java) S 22126 22126 22065 0 -1 1077944384 11111 0 0 0 124 1 0 0 20 0 15 0 62406209 14427361280 230494 33554432000 4194304 4196468 140731936084496 140640050273008 140640513075842 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 15 0 0 6293624 6294260 29216768 140731936089217 140731936089393 140731936089393 140731936092111 0
[pid=22129/tid=22150] ppid=22126 vsize=14089220 memory=833512 CPUtime=1.43 cores=0,2,4,6
/proc/22129/task/22150/stat : 22150 (java) S 22126 22126 22065 0 -1 1077944384 9624 0 0 0 141 2 0 0 20 0 15 0 62406209 14427361280 230494 33554432000 4194304 4196468 140731936084496 140640049220464 140640513075842 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29216768 140731936089217 140731936089393 140731936089393 140731936092111 0
[pid=22129/tid=22152] ppid=22126 vsize=14089220 memory=1452 CPUtime=0.64 cores=0,2,4,6
/proc/22129/task/22152/stat : 22152 (java) S 22126 22126 22065 0 -1 1077944384 10100 0 0 0 62 2 0 0 20 0 15 0 62406209 14427361280 230494 33554432000 4194304 4196468 140731936084496 140640048167408 140640513075842 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29216768 140731936089217 140731936089393 140731936089393 140731936092111 0
[pid=22129/tid=22155] ppid=22126 vsize=14089220 memory=921976 CPUtime=0 cores=0,2,4,6
/proc/22129/task/22155/stat : 22155 (java) S 22126 22126 22065 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62406209 14427361280 230494 33554432000 4194304 4196468 140731936084496 140639484504928 140640513074901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29216768 140731936089217 140731936089393 140731936089393 140731936092111 0
[pid=22129/tid=22157] ppid=22126 vsize=14089220 memory=1452 CPUtime=0.77 cores=0,2,4,6
/proc/22129/task/22157/stat : 22157 (java) S 22126 22126 22065 0 -1 1077944384 684 0 0 0 33 44 0 0 20 0 15 0 62406210 14427361280 230494 33554432000 4194304 4196468 140731936084496 140639483451952 140640513075842 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 27 0 0 6293624 6294260 29216768 140731936089217 140731936089393 140731936089393 140731936092111 0
Current children cumulated CPU time: 2339.1 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 923428 KiB

[startup+2382.3 s]
/proc/loadavg: 1.47 1.41 1.40 3/217 22309
/proc/meminfo: memFree=19560016/32770624 swapFree=67108860/67108860
[pid=22126] ppid=22119 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/22126/stat : 22126 (xcsp3-exec) S 22119 22126 22065 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 62406203 115843072 363 33554432000 4194304 5098028 140729465838352 140729465836456 140428960490108 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 18833408 140729465844794 140729465844996 140729465844996 140729465847754 0
/proc/22126/statm: 28282 363 306 221 0 87 0
[pid=22129] ppid=22126 vsize=14089220 memory=932600 CPUtime=2399.95 cores=0,2,4,6
/proc/22129/stat : 22129 (java) S 22126 22126 22065 0 -1 1077944320 95308 0 0 0 239811 184 0 0 20 0 15 0 62406203 14427361280 233150 33554432000 4194304 4196468 140731936084496 140731936067040 140640513064695 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29216768 140731936089217 140731936089393 140731936089393 140731936092111 0
/proc/22129/statm: 3522305 233150 3402 1 0 3483520 0
[pid=22129/tid=22131] ppid=22126 vsize=14089220 memory=932600 CPUtime=2372.57 cores=0,2,4,6
/proc/22129/task/22131/stat : 22131 (java) R 22126 22126 22065 0 -1 4202560 32946 0 0 0 237206 51 0 0 20 0 15 0 62406204 14427361280 233150 33554432000 4194304 4196468 140731936084496 140640517304016 140640135695661 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29216768 140731936089217 140731936089393 140731936089393 140731936092111 0
[pid=22129/tid=22134] ppid=22126 vsize=14089220 memory=932600 CPUtime=5.05 cores=0,2,4,6
/proc/22129/task/22134/stat : 22134 (java) S 22126 22126 22065 0 -1 1077944384 4269 0 0 0 483 22 0 0 20 0 15 0 62406204 14427361280 233150 33554432000 4194304 4196468 140731936084496 140640450665488 140640513074901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29216768 140731936089217 140731936089393 140731936089393 140731936092111 0
[pid=22129/tid=22136] ppid=22126 vsize=14089220 memory=926108 CPUtime=5.07 cores=0,2,4,6
/proc/22129/task/22136/stat : 22136 (java) S 22126 22126 22065 0 -1 1077944384 4864 0 0 0 485 22 0 0 20 0 15 0 62406204 14427361280 233150 33554432000 4194304 4196468 140731936084496 140640107633808 140640513074901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29216768 140731936089217 140731936089393 140731936089393 140731936092111 0
[pid=22129/tid=22138] ppid=22126 vsize=14089220 memory=1452 CPUtime=5.08 cores=0,2,4,6
/proc/22129/task/22138/stat : 22138 (java) S 22126 22126 22065 0 -1 1077944384 5266 0 0 0 486 22 0 0 20 0 15 0 62406204 14427361280 233150 33554432000 4194304 4196468 140731936084496 140640106580752 140640513074901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29216768 140731936089217 140731936089393 140731936089393 140731936092111 0
[pid=22129/tid=22139] ppid=22126 vsize=14089220 memory=1452 CPUtime=5.07 cores=0,2,4,6
/proc/22129/task/22139/stat : 22139 (java) S 22126 22126 22065 0 -1 1077944384 6338 0 0 0 483 24 0 0 20 0 15 0 62406204 14427361280 233150 33554432000 4194304 4196468 140731936084496 140640105528208 140640513074901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29216768 140731936089217 140731936089393 140731936089393 140731936092111 0
[pid=22129/tid=22140] ppid=22126 vsize=14089220 memory=1452 CPUtime=2.9 cores=0,2,4,6
/proc/22129/task/22140/stat : 22140 (java) S 22126 22126 22065 0 -1 1077944384 8725 0 0 0 270 20 0 0 20 0 15 0 62406206 14427361280 233150 33554432000 4194304 4196468 140731936084496 140640054483184 140640513075842 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29216768 140731936089217 140731936089393 140731936089393 140731936092111 0
[pid=22129/tid=22143] ppid=22126 vsize=14089220 memory=926108 CPUtime=0 cores=0,2,4,6
/proc/22129/task/22143/stat : 22143 (java) S 22126 22126 22065 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 62406206 14427361280 233150 33554432000 4194304 4196468 140731936084496 140640053429408 140640513074901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29216768 140731936089217 140731936089393 140731936089393 140731936092111 0
[pid=22129/tid=22145] ppid=22126 vsize=14089220 memory=928156 CPUtime=0 cores=0,2,4,6
/proc/22129/task/22145/stat : 22145 (java) S 22126 22126 22065 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 62406206 14427361280 233150 33554432000 4194304 4196468 140731936084496 140640052376304 140640513074901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29216768 140731936089217 140731936089393 140731936089393 140731936092111 0
[pid=22129/tid=22146] ppid=22126 vsize=14089220 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/22129/task/22146/stat : 22146 (java) S 22126 22126 22065 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62406209 14427361280 233150 33554432000 4194304 4196468 140731936084496 140640051324880 140640513083291 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29216768 140731936089217 140731936089393 140731936089393 140731936092111 0
[pid=22129/tid=22148] ppid=22126 vsize=14089220 memory=1452 CPUtime=1.25 cores=0,2,4,6
/proc/22129/task/22148/stat : 22148 (java) S 22126 22126 22065 0 -1 1077944384 11114 0 0 0 124 1 0 0 20 0 15 0 62406209 14427361280 233150 33554432000 4194304 4196468 140731936084496 140640050273008 140640513075842 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 15 0 0 6293624 6294260 29216768 140731936089217 140731936089393 140731936089393 140731936092111 0
[pid=22129/tid=22150] ppid=22126 vsize=14089220 memory=1452 CPUtime=1.43 cores=0,2,4,6
/proc/22129/task/22150/stat : 22150 (java) S 22126 22126 22065 0 -1 1077944384 9626 0 0 0 141 2 0 0 20 0 15 0 62406209 14427361280 233150 33554432000 4194304 4196468 140731936084496 140640049220464 140640513075842 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29216768 140731936089217 140731936089393 140731936089393 140731936092111 0
[pid=22129/tid=22152] ppid=22126 vsize=14089220 memory=1240 CPUtime=0.64 cores=0,2,4,6
/proc/22129/task/22152/stat : 22152 (java) S 22126 22126 22065 0 -1 1077944384 10102 0 0 0 62 2 0 0 20 0 15 0 62406209 14427361280 233150 33554432000 4194304 4196468 140731936084496 140640048167408 140640513075842 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29216768 140731936089217 140731936089393 140731936089393 140731936092111 0
[pid=22129/tid=22155] ppid=22126 vsize=14089220 memory=2340 CPUtime=0 cores=0,2,4,6
/proc/22129/task/22155/stat : 22155 (java) S 22126 22126 22065 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62406209 14427361280 233150 33554432000 4194304 4196468 140731936084496 140639484504928 140640513074901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29216768 140731936089217 140731936089393 140731936089393 140731936092111 0
[pid=22129/tid=22157] ppid=22126 vsize=14089220 memory=1568 CPUtime=0.79 cores=0,2,4,6
/proc/22129/task/22157/stat : 22157 (java) S 22126 22126 22065 0 -1 1077944384 697 0 0 0 34 45 0 0 20 0 15 0 62406210 14427361280 233150 33554432000 4194304 4196468 140731936084496 140639483451952 140640513075842 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 27 0 0 6293624 6294260 29216768 140731936089217 140731936089393 140731936089393 140731936092111 0
Current children cumulated CPU time: 2399.95 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 934052 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2382.4 s]
/proc/loadavg: 1.47 1.41 1.40 3/217 22309
/proc/meminfo: memFree=19560016/32770624 swapFree=67108860/67108860
[pid=22126] ppid=22119 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/22126/stat : 22126 (xcsp3-exec) S 22119 22126 22065 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 62406203 115843072 363 33554432000 4194304 5098028 140729465838352 140729465836456 140428960490108 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 18833408 140729465844794 140729465844996 140729465844996 140729465847754 0
/proc/22126/statm: 28282 363 306 221 0 87 0
[pid=22129] ppid=22126 vsize=14089220 memory=932600 CPUtime=2400.06 cores=0,2,4,6
/proc/22129/stat : 22129 (java) S 22126 22126 22065 0 -1 1077944320 95309 0 0 0 239822 184 0 0 20 0 15 0 62406203 14427361280 233150 33554432000 4194304 4196468 140731936084496 140731936067040 140640513064695 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29216768 140731936089217 140731936089393 140731936089393 140731936092111 0
/proc/22129/statm: 3522305 233150 3402 1 0 3483520 0
[pid=22129/tid=22131] ppid=22126 vsize=14089220 memory=1716 CPUtime=2372.67 cores=0,2,4,6
/proc/22129/task/22131/stat : 22131 (java) R 22126 22126 22065 0 -1 4202560 32947 0 0 0 237216 51 0 0 20 0 15 0 62406204 14427361280 233150 33554432000 4194304 4196468 140731936084496 140640517304352 140640135979311 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29216768 140731936089217 140731936089393 140731936089393 140731936092111 0
[pid=22129/tid=22134] ppid=22126 vsize=14089220 memory=4140 CPUtime=5.06 cores=0,2,4,6
/proc/22129/task/22134/stat : 22134 (java) S 22126 22126 22065 0 -1 1077944384 4269 0 0 0 484 22 0 0 20 0 15 0 62406204 14427361280 233150 33554432000 4194304 4196468 140731936084496 140640450665488 140640513074901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29216768 140731936089217 140731936089393 140731936089393 140731936092111 0
[pid=22129/tid=22136] ppid=22126 vsize=14089220 memory=19288 CPUtime=5.07 cores=0,2,4,6
/proc/22129/task/22136/stat : 22136 (java) S 22126 22126 22065 0 -1 1077944384 4864 0 0 0 485 22 0 0 20 0 15 0 62406204 14427361280 233150 33554432000 4194304 4196468 140731936084496 140640107633808 140640513074901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29216768 140731936089217 140731936089393 140731936089393 140731936092111 0
[pid=22129/tid=22138] ppid=22126 vsize=14089220 memory=1296 CPUtime=5.08 cores=0,2,4,6
/proc/22129/task/22138/stat : 22138 (java) S 22126 22126 22065 0 -1 1077944384 5266 0 0 0 486 22 0 0 20 0 15 0 62406204 14427361280 233150 33554432000 4194304 4196468 140731936084496 140640106580752 140640513074901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29216768 140731936089217 140731936089393 140731936089393 140731936092111 0
[pid=22129/tid=22139] ppid=22126 vsize=14089220 memory=6791534058613427641 CPUtime=5.07 cores=0,2,4,6
/proc/22129/task/22139/stat : 22139 (java) S 22126 22126 22065 0 -1 1077944384 6338 0 0 0 483 24 0 0 20 0 15 0 62406204 14427361280 233150 33554432000 4194304 4196468 140731936084496 140640105528208 140640513074901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29216768 140731936089217 140731936089393 140731936089393 140731936092111 0
[pid=22129/tid=22140] ppid=22126 vsize=14089220 memory=18484 CPUtime=2.9 cores=0,2,4,6
/proc/22129/task/22140/stat : 22140 (java) S 22126 22126 22065 0 -1 1077944384 8725 0 0 0 270 20 0 0 20 0 15 0 62406206 14427361280 233150 33554432000 4194304 4196468 140731936084496 140640054483184 140640513075842 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29216768 140731936089217 140731936089393 140731936089393 140731936092111 0
[pid=22129/tid=22143] ppid=22126 vsize=14089220 memory=644 CPUtime=0 cores=0,2,4,6
/proc/22129/task/22143/stat : 22143 (java) S 22126 22126 22065 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 62406206 14427361280 233150 33554432000 4194304 4196468 140731936084496 140640053429408 140640513074901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29216768 140731936089217 140731936089393 140731936089393 140731936092111 0
[pid=22129/tid=22145] ppid=22126 vsize=14089220 memory=1788 CPUtime=0 cores=0,2,4,6
/proc/22129/task/22145/stat : 22145 (java) S 22126 22126 22065 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 62406206 14427361280 233150 33554432000 4194304 4196468 140731936084496 140640052376304 140640513074901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29216768 140731936089217 140731936089393 140731936089393 140731936092111 0
[pid=22129/tid=22146] ppid=22126 vsize=14089220 memory=952 CPUtime=0 cores=0,2,4,6
/proc/22129/task/22146/stat : 22146 (java) S 22126 22126 22065 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62406209 14427361280 233150 33554432000 4194304 4196468 140731936084496 140640051324880 140640513083291 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29216768 140731936089217 140731936089393 140731936089393 140731936092111 0
[pid=22129/tid=22148] ppid=22126 vsize=14089220 memory=2412 CPUtime=1.25 cores=0,2,4,6
/proc/22129/task/22148/stat : 22148 (java) S 22126 22126 22065 0 -1 1077944384 11114 0 0 0 124 1 0 0 20 0 15 0 62406209 14427361280 233150 33554432000 4194304 4196468 140731936084496 140640050273008 140640513075842 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 15 0 0 6293624 6294260 29216768 140731936089217 140731936089393 140731936089393 140731936092111 0
[pid=22129/tid=22150] ppid=22126 vsize=14089220 memory=1724 CPUtime=1.43 cores=0,2,4,6
/proc/22129/task/22150/stat : 22150 (java) S 22126 22126 22065 0 -1 1077944384 9626 0 0 0 141 2 0 0 20 0 15 0 62406209 14427361280 233150 33554432000 4194304 4196468 140731936084496 140640049220464 140640513075842 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29216768 140731936089217 140731936089393 140731936089393 140731936092111 0
[pid=22129/tid=22152] ppid=22126 vsize=14089220 memory=1228 CPUtime=0.64 cores=0,2,4,6
/proc/22129/task/22152/stat : 22152 (java) S 22126 22126 22065 0 -1 1077944384 10102 0 0 0 62 2 0 0 20 0 15 0 62406209 14427361280 233150 33554432000 4194304 4196468 140731936084496 140640048167408 140640513075842 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29216768 140731936089217 140731936089393 140731936089393 140731936092111 0
[pid=22129/tid=22155] ppid=22126 vsize=14089220 memory=1428 CPUtime=0 cores=0,2,4,6
/proc/22129/task/22155/stat : 22155 (java) S 22126 22126 22065 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62406209 14427361280 233150 33554432000 4194304 4196468 140731936084496 140639484504928 140640513074901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29216768 140731936089217 140731936089393 140731936089393 140731936092111 0
[pid=22129/tid=22157] ppid=22126 vsize=14089220 memory=1196 CPUtime=0.79 cores=0,2,4,6
/proc/22129/task/22157/stat : 22157 (java) S 22126 22126 22065 0 -1 1077944384 697 0 0 0 34 45 0 0 20 0 15 0 62406210 14427361280 233150 33554432000 4194304 4196468 140731936084496 140639483451952 140640513075842 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 27 0 0 6293624 6294260 29216768 140731936089217 140731936089393 140731936089393 140731936092111 0
Current children cumulated CPU time: 2400.06 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 934052 KiB

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

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

[startup+2382.41 s]
# the end of solver process 22129 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2398.24 s, system=1.85159 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): 2382.41
CPU time (s): 2400.09
CPU user time (s): 2398.24
CPU system time (s): 1.85159
CPU usage (%): 100.742
Max. virtual memory (cumulated for all children) (KiB): 14202348
Max. memory (cumulated for all children) (KiB): 934052

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.24
system time used= 1.85159
maximum resident set size= 933528
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 96130
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3160
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 130413
involuntary context switches= 5090


# summary of solver processes directly reported to runsolver:
#   pid: 22126,22129
#   total CPU time (s): 2400.09
#   total CPU user time (s): 2398.24
#   total CPU system time (s): 1.85159

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.8047 second user time and 21.0653 second system time

The end

Launcher Data 

Begin job on node103 at 2018-07-24 18:07:10
IDJOB=4292424
IDBENCH=141226
IDSOLVER=2747
FILE ID=node103/4292424-1532448430
RUNJOBID= node103-1532448430-22096
PBS_JOBID= 21021580
Free space on /tmp= 56728 MiB

SOLVER NAME= Choco-solver 4.0.7 seq (493a269)
BENCH NAME= XCSP18/SumColoring/SumColoring-myciel6_c18.xml
COMMAND LINE= HOME/xcsp3-exec -seed RANDOMSEED -dir DIR -tl TIMEOUT -ml 11000 -p 1 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4292424-1532448430/watcher-4292424-1532448430 -o /tmp/evaluation-result-4292424-1532448430/solver-4292424-1532448430 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node103-1532448430-22096 --watchdog 2560  HOME/xcsp3-exec -seed 1726922005 -dir HOME -tl 2400 -ml 11000 -p 1 HOME/instance-4292424-1532448430.xml

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

MD5SUM BENCH= 12e75aa9ea5684230fdaa5ddf97691cc
RANDOM SEED=1726922005

node103.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.48
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.48
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.48
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.48
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:        20686004 kB
MemAvailable:   31938780 kB
Buffers:          268216 kB
Cached:         11174824 kB
SwapCached:            0 kB
Active:          3498368 kB
Inactive:        7997444 kB
Active(anon):      55924 kB
Inactive(anon):    17160 kB
Active(file):    3442444 kB
Inactive(file):  7980284 kB
Unevictable:        7116 kB
Mlocked:            7116 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             41160 kB
Writeback:             8 kB
AnonPages:         59844 kB
Mapped:            38012 kB
Shmem:             17036 kB
Slab:             285148 kB
SReclaimable:     258508 kB
SUnreclaim:        26640 kB
KernelStack:        3040 kB
PageTables:         4808 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     318168 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      124288 kB
DirectMap2M:    33421312 kB

Free space on /tmp at the end= 56688 MiB
End job on node103 at 2018-07-24 18:46:53