Trace number 4306995

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.7b seq (e747e1e)SAT (TO)20 2520.08 2510.81

General information on the benchmark

NameRlfap/Rlfap-opt/
Rlfap-graph-01-opt_c18.xml
MD5SUM19ea5b9da6c92ab0a6dd9deb2e409c18
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark18
Best CPU time to get the best result obtained on this benchmark2520.16
Satisfiable
(Un)Satisfiability was proved
Number of variables200
Number of constraints1134
Number of domains7
Minimum domain size6
Maximum domain size44
Distribution of domain sizes[{"size":6,"count":18},{"size":22,"count":28},{"size":24,"count":16},{"size":36,"count":24},{"size":42,"count":34},{"size":44,"count":80}]
Minimum variable degree2
Maximum variable degree23
Distribution of variable degrees[{"degree":2,"count":1},{"degree":3,"count":1},{"degree":4,"count":4},{"degree":5,"count":11},{"degree":6,"count":22},{"degree":7,"count":22},{"degree":8,"count":19},{"degree":9,"count":21},{"degree":10,"count":12},{"degree":11,"count":11},{"degree":13,"count":1},{"degree":14,"count":1},{"degree":15,"count":1},{"degree":16,"count":1},{"degree":18,"count":8},{"degree":19,"count":13},{"degree":20,"count":16},{"degree":21,"count":18},{"degree":22,"count":14},{"degree":23,"count":3}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":1134}]
Number of extensional constraints0
Number of intensional constraints1134
Distribution of constraint types[{"type":"intension","count":1134}]
Optimization problemYES
Type of objectivemin NVALUES

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-4306995-1534057731.xml"  -tl '2520s' -p 1
0.12/0.17	c Choco e747e1e
0.12/0.18	c [HOME/instance-4306995-1534057731.xml, -tl, 2520s, -p, 1]
0.12/0.21	c simple solver
0.33/0.28	c parse instance...
2.04/0.87	c solve instance...
6.28/2.60	o 28 
6.88/2.86	o 26 
13.18/6.78	o 24 
14.20/7.71	o 22 
113.54/105.40	o 20 
2520.05/2510.80	s SATISFIABLE
2520.05/2510.80	v <instantiation>
2520.05/2510.80	v 	<list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] x[100] x[101] x[102] x[103] x[104] x[105] x[106] x[107] x[108] x[109] x[110] x[111] x[112] x[113] x[114] x[115] x[116] x[117] x[118] x[119] x[120] x[121] x[122] x[123] x[124] x[125] x[126] x[127] x[128] x[129] x[130] x[131] x[132] x[133] x[134] x[135] x[136] x[137] x[138] x[139] x[140] x[141] x[142] x[143] x[144] x[145] x[146] x[147] x[148] x[149] x[150] x[151] x[152] x[153] x[154] x[155] x[156] x[157] x[158] x[159] x[160] x[161] x[162] x[163] x[164] x[165] x[166] x[167] x[168] x[169] x[170] x[171] x[172] x[173] x[174] x[175] x[176] x[177] x[178] x[179] x[180] x[181] x[182] x[183] x[184] x[185] x[186] x[187] x[188] x[189] x[190] x[191] x[192] x[193] x[194] x[195] x[196] x[197] x[198] x[199] </list>
2520.05/2510.80	v 	<values>296 58 254 16 86 324 142 380 380 142 470 708 30 268 380 142 380 142 254 16 352 114 380 142 268 30 680 442 58 296 142 380 58 296 58 296 324 86 254 16 114 352 30 268 254 16 352 114 296 58 16 254 352 114 58 296 254 16 86 324 114 352 16 254 58 296 708 470 58 296 380 142 380 142 296 58 442 680 268 30 16 254 114 352 324 86 16 254 142 380 324 86 16 254 324 86 408 170 296 58 380 142 324 86 680 442 352 114 58 296 296 58 30 268 30 268 16 254 254 16 170 408 142 380 16 254 324 86 324 86 268 30 352 114 142 380 30 268 254 16 380 142 268 30 652 414 114 352 652 414 30 268 268 30 86 324 30 268 352 114 708 470 652 414 470 708 442 680 16 254 58 296 114 352 254 16 16 254 324 86 652 414 114 352 296 58 30 268 268 30 652 414 380 142 114 352 296 58 16 254 </values>
2520.05/2510.80	v </instantiation>
2520.05/2510.80	c Unexpected resolution interruption!

Verifier Data 

OK	20

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4306995-1534057731/watcher-4306995-1534057731 -o /tmp/evaluation-result-4306995-1534057731/solver-4306995-1534057731 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1534040134-26256 --watchdog 2580 HOME/xcsp3-exec -seed 1443973247 -dir HOME -tl 2520 -ml 11000 -p 1 HOME/instance-4306995-1534057731.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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
solver pid=28916, runsolver pid=28913
Current StackSize limit: 8192 KiB


[startup+0.10006 s]*
/proc/loadavg: 1.91 1.62 1.52 3/217 28932
/proc/meminfo: memFree=15204996/32770624 swapFree=67108792/67108860
[pid=28916] ppid=28913 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/28916/stat : 28916 (xcsp3-exec) S 28913 28916 24759 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 223336332 115843072 364 33554432000 4194304 5098028 140721414407488 140721414405592 140407698354812 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 24395776 140721414411322 140721414411524 140721414411524 140721414414282 0
/proc/28916/statm: 28282 364 306 221 0 87 0
[pid=28918] ppid=28916 vsize=14082940 memory=28564 CPUtime=0.12 cores=0,2,4,6
/proc/28918/stat : 28918 (java) S 28916 28916 24759 0 -1 1077944320 5495 0 0 0 11 1 0 0 20 0 15 0 223336332 14420930560 7141 33554432000 4194304 4196468 140733518933040 140733518915584 140676975288055 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15527936 140733518935174 140733518935345 140733518935345 140733518938063 0
/proc/28918/statm: 3520735 7141 3036 1 0 3483012 0
[pid=28918/tid=28919] ppid=28916 vsize=14082940 memory=8514701219880730790 CPUtime=0.09 cores=0,2,4,6
/proc/28918/task/28919/stat : 28919 (java) R 28916 28916 24759 0 -1 4202560 3517 0 0 0 8 1 0 0 20 0 15 0 223336332 14420930560 7141 33554432000 4194304 4196468 140733518933040 140676979521328 140676570411365 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15527936 140733518935174 140733518935345 140733518935345 140733518938063 0
[pid=28918/tid=28920] ppid=28916 vsize=14082940 memory=3472467863686644944 CPUtime=0 cores=0,2,4,6
/proc/28918/task/28920/stat : 28920 (java) S 28916 28916 24759 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223336333 14420930560 7141 33554432000 4194304 4196468 140733518933040 140676890356112 140676975298261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15527936 140733518935174 140733518935345 140733518935345 140733518938063 0
[pid=28918/tid=28921] ppid=28916 vsize=14082940 memory=139734791493248 CPUtime=0 cores=0,2,4,6
/proc/28918/task/28921/stat : 28921 (java) S 28916 28916 24759 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223336333 14420930560 7141 33554432000 4194304 4196468 140733518933040 140676570278160 140676975298261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15527936 140733518935174 140733518935345 140733518935345 140733518938063 0
[pid=28918/tid=28922] ppid=28916 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28918/task/28922/stat : 28922 (java) S 28916 28916 24759 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223336333 14420930560 7141 33554432000 4194304 4196468 140733518933040 140676569225872 140676975298261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15527936 140733518935174 140733518935345 140733518935345 140733518938063 0
[pid=28918/tid=28923] ppid=28916 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28918/task/28923/stat : 28923 (java) S 28916 28916 24759 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 223336333 14420930560 7141 33554432000 4194304 4196468 140733518933040 140676568173072 140676975298261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15527936 140733518935174 140733518935345 140733518935345 140733518938063 0
[pid=28918/tid=28924] ppid=28916 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28918/task/28924/stat : 28924 (java) S 28916 28916 24759 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 223336335 14420930560 7141 33554432000 4194304 4196468 140733518933040 140675954838128 140676975299202 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15527936 140733518935174 140733518935345 140733518935345 140733518938063 0
[pid=28918/tid=28925] ppid=28916 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28918/task/28925/stat : 28925 (java) S 28916 28916 24759 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 223336335 14420930560 7141 33554432000 4194304 4196468 140733518933040 140675953784096 140676975298261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15527936 140733518935174 140733518935345 140733518935345 140733518938063 0
[pid=28918/tid=28926] ppid=28916 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28918/task/28926/stat : 28926 (java) S 28916 28916 24759 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 223336335 14420930560 7141 33554432000 4194304 4196468 140733518933040 140675952731760 140676975298261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15527936 140733518935174 140733518935345 140733518935345 140733518938063 0
[pid=28918/tid=28927] ppid=28916 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28918/task/28927/stat : 28927 (java) S 28916 28916 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223336338 14420930560 7141 33554432000 4194304 4196468 140733518933040 140675951680080 140676975306651 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15527936 140733518935174 140733518935345 140733518935345 140733518938063 0
[pid=28918/tid=28928] ppid=28916 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28918/task/28928/stat : 28928 (java) S 28916 28916 24759 0 -1 1077944384 414 0 0 0 0 0 0 0 20 0 15 0 223336338 14420930560 7141 33554432000 4194304 4196468 140733518933040 140675950626928 140676975299202 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15527936 140733518935174 140733518935345 140733518935345 140733518938063 0
[pid=28918/tid=28929] ppid=28916 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28918/task/28929/stat : 28929 (java) R 28916 28916 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223336338 14420930560 7141 33554432000 4194304 4196468 140733518933040 140675507902448 140676975299202 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15527936 140733518935174 140733518935345 140733518935345 140733518938063 0
[pid=28918/tid=28930] ppid=28916 vsize=14082940 memory=139734791493248 CPUtime=0.01 cores=0,2,4,6
/proc/28918/task/28930/stat : 28930 (java) S 28916 28916 24759 0 -1 1077944384 258 0 0 0 1 0 0 0 20 0 15 0 223336338 14420930560 7141 33554432000 4194304 4196468 140733518933040 140675506850160 140676975299202 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15527936 140733518935174 140733518935345 140733518935345 140733518938063 0
[pid=28918/tid=28931] ppid=28916 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28918/task/28931/stat : 28931 (java) S 28916 28916 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223336338 14420930560 7141 33554432000 4194304 4196468 140733518933040 140675505797600 140676975298261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15527936 140733518935174 140733518935345 140733518935345 140733518938063 0
[pid=28918/tid=28932] ppid=28916 vsize=14082940 memory=139734791493248 CPUtime=0 cores=0,2,4,6
/proc/28918/task/28932/stat : 28932 (java) S 28916 28916 24759 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223336338 14420930560 7141 33554432000 4194304 4196468 140733518933040 140675504745392 140676975299202 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15527936 140733518935174 140733518935345 140733518935345 140733518938063 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 30020 KiB

[startup+0.210705 s]*
/proc/loadavg: 1.91 1.62 1.52 4/217 28932
/proc/meminfo: memFree=15193336/32770624 swapFree=67108792/67108860
[pid=28916] ppid=28913 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/28916/stat : 28916 (xcsp3-exec) S 28913 28916 24759 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 223336332 115843072 364 33554432000 4194304 5098028 140721414407488 140721414405592 140407698354812 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 24395776 140721414411322 140721414411524 140721414411524 140721414414282 0
/proc/28916/statm: 28282 364 306 221 0 87 0
[pid=28918] ppid=28916 vsize=14082940 memory=40900 CPUtime=0.33 cores=0,2,4,6
/proc/28918/stat : 28918 (java) S 28916 28916 24759 0 -1 1077944320 8304 0 0 0 32 1 0 0 20 0 15 0 223336332 14420930560 10225 33554432000 4194304 4196468 140733518933040 140733518915584 140676975288055 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15527936 140733518935174 140733518935345 140733518935345 140733518938063 0
/proc/28918/statm: 3520735 10225 3188 1 0 3483012 0
[pid=28918/tid=28919] ppid=28916 vsize=14082940 memory=5852833025768652961 CPUtime=0.19 cores=0,2,4,6
/proc/28918/task/28919/stat : 28919 (java) R 28916 28916 24759 0 -1 4202560 5434 0 0 0 18 1 0 0 20 0 15 0 223336332 14420930560 10225 33554432000 4194304 4196468 140733518933040 140676979523040 140676959368542 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15527936 140733518935174 140733518935345 140733518935345 140733518938063 0
[pid=28918/tid=28920] ppid=28916 vsize=14082940 memory=3472467863686644944 CPUtime=0 cores=0,2,4,6
/proc/28918/task/28920/stat : 28920 (java) S 28916 28916 24759 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223336333 14420930560 10225 33554432000 4194304 4196468 140733518933040 140676890356112 140676975298261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15527936 140733518935174 140733518935345 140733518935345 140733518938063 0
[pid=28918/tid=28921] ppid=28916 vsize=14082940 memory=139734791493248 CPUtime=0 cores=0,2,4,6
/proc/28918/task/28921/stat : 28921 (java) S 28916 28916 24759 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223336333 14420930560 10225 33554432000 4194304 4196468 140733518933040 140676570278160 140676975298261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15527936 140733518935174 140733518935345 140733518935345 140733518938063 0
[pid=28918/tid=28922] ppid=28916 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28918/task/28922/stat : 28922 (java) S 28916 28916 24759 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223336333 14420930560 10225 33554432000 4194304 4196468 140733518933040 140676569225872 140676975298261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15527936 140733518935174 140733518935345 140733518935345 140733518938063 0
[pid=28918/tid=28923] ppid=28916 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28918/task/28923/stat : 28923 (java) S 28916 28916 24759 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 223336333 14420930560 10225 33554432000 4194304 4196468 140733518933040 140676568173072 140676975298261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15527936 140733518935174 140733518935345 140733518935345 140733518938063 0
[pid=28918/tid=28924] ppid=28916 vsize=14082940 memory=139734791493248 CPUtime=0 cores=0,2,4,6
/proc/28918/task/28924/stat : 28924 (java) S 28916 28916 24759 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 223336335 14420930560 10225 33554432000 4194304 4196468 140733518933040 140675954838128 140676975299202 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15527936 140733518935174 140733518935345 140733518935345 140733518938063 0
[pid=28918/tid=28925] ppid=28916 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28918/task/28925/stat : 28925 (java) S 28916 28916 24759 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 223336335 14420930560 10225 33554432000 4194304 4196468 140733518933040 140675953784096 140676975298261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15527936 140733518935174 140733518935345 140733518935345 140733518938063 0
[pid=28918/tid=28926] ppid=28916 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28918/task/28926/stat : 28926 (java) S 28916 28916 24759 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 223336335 14420930560 10225 33554432000 4194304 4196468 140733518933040 140675952731760 140676975298261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15527936 140733518935174 140733518935345 140733518935345 140733518938063 0
[pid=28918/tid=28927] ppid=28916 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28918/task/28927/stat : 28927 (java) S 28916 28916 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223336338 14420930560 10225 33554432000 4194304 4196468 140733518933040 140675951680080 140676975306651 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15527936 140733518935174 140733518935345 140733518935345 140733518938063 0
[pid=28918/tid=28928] ppid=28916 vsize=14082940 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/28918/task/28928/stat : 28928 (java) S 28916 28916 24759 0 -1 1077944384 680 0 0 0 2 0 0 0 20 0 15 0 223336338 14420930560 10225 33554432000 4194304 4196468 140733518933040 140675950626928 140676975299202 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15527936 140733518935174 140733518935345 140733518935345 140733518938063 0
[pid=28918/tid=28929] ppid=28916 vsize=14082940 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/28918/task/28929/stat : 28929 (java) S 28916 28916 24759 0 -1 1077944384 110 0 0 0 2 0 0 0 20 0 15 0 223336338 14420930560 10225 33554432000 4194304 4196468 140733518933040 140675507902448 140676975299202 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15527936 140733518935174 140733518935345 140733518935345 140733518938063 0
[pid=28918/tid=28930] ppid=28916 vsize=14082940 memory=139734791493248 CPUtime=0.08 cores=0,2,4,6
/proc/28918/task/28930/stat : 28930 (java) S 28916 28916 24759 0 -1 1077944384 776 0 0 0 8 0 0 0 20 0 15 0 223336338 14420930560 10225 33554432000 4194304 4196468 140733518933040 140675506850160 140676975299202 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15527936 140733518935174 140733518935345 140733518935345 140733518938063 0
[pid=28918/tid=28931] ppid=28916 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28918/task/28931/stat : 28931 (java) S 28916 28916 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223336338 14420930560 10225 33554432000 4194304 4196468 140733518933040 140675505797600 140676975298261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15527936 140733518935174 140733518935345 140733518935345 140733518938063 0
[pid=28918/tid=28932] ppid=28916 vsize=14082940 memory=139734791493248 CPUtime=0 cores=0,2,4,6
/proc/28918/task/28932/stat : 28932 (java) S 28916 28916 24759 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223336338 14420930560 10225 33554432000 4194304 4196468 140733518933040 140675504745392 140676975299202 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15527936 140733518935174 140733518935345 140733518935345 140733518938063 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 42356 KiB

[startup+0.31054 s]*
/proc/loadavg: 1.91 1.62 1.52 4/217 28932
/proc/meminfo: memFree=15186776/32770624 swapFree=67108792/67108860
[pid=28916] ppid=28913 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/28916/stat : 28916 (xcsp3-exec) S 28913 28916 24759 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 223336332 115843072 364 33554432000 4194304 5098028 140721414407488 140721414405592 140407698354812 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 24395776 140721414411322 140721414411524 140721414411524 140721414414282 0
/proc/28916/statm: 28282 364 306 221 0 87 0
[pid=28918] ppid=28916 vsize=14087196 memory=48180 CPUtime=0.52 cores=0,2,4,6
/proc/28918/stat : 28918 (java) S 28916 28916 24759 0 -1 1077944320 9218 0 0 0 50 2 0 0 20 0 15 0 223336332 14425288704 12045 33554432000 4194304 4196468 140733518933040 140733518915584 140676975288055 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15527936 140733518935174 140733518935345 140733518935345 140733518938063 0
/proc/28918/statm: 3521799 12045 3263 1 0 3483012 0
[pid=28918/tid=28919] ppid=28916 vsize=14087196 memory=8514701219881125278 CPUtime=0.29 cores=0,2,4,6
/proc/28918/task/28919/stat : 28919 (java) R 28916 28916 24759 0 -1 4202560 6157 0 0 0 27 2 0 0 20 0 15 0 223336332 14425288704 12045 33554432000 4194304 4196468 140733518933040 140676979521840 140676975311645 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15527936 140733518935174 140733518935345 140733518935345 140733518938063 0
[pid=28918/tid=28920] ppid=28916 vsize=14087196 memory=3472467863686644944 CPUtime=0 cores=0,2,4,6
/proc/28918/task/28920/stat : 28920 (java) S 28916 28916 24759 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223336333 14425288704 12045 33554432000 4194304 4196468 140733518933040 140676890356112 140676975298261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15527936 140733518935174 140733518935345 140733518935345 140733518938063 0
[pid=28918/tid=28921] ppid=28916 vsize=14087196 memory=139734791493248 CPUtime=0 cores=0,2,4,6
/proc/28918/task/28921/stat : 28921 (java) S 28916 28916 24759 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223336333 14425288704 12110 33554432000 4194304 4196468 140733518933040 140676570278160 140676975298261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15527936 140733518935174 140733518935345 140733518935345 140733518938063 0
[pid=28918/tid=28922] ppid=28916 vsize=14087196 memory=16 CPUtime=0 cores=0,2,4,6
/proc/28918/task/28922/stat : 28922 (java) S 28916 28916 24759 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223336333 14425288704 12110 33554432000 4194304 4196468 140733518933040 140676569225872 140676975298261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15527936 140733518935174 140733518935345 140733518935345 140733518938063 0
[pid=28918/tid=28923] ppid=28916 vsize=14087196 memory=139734680741919 CPUtime=0 cores=0,2,4,6
/proc/28918/task/28923/stat : 28923 (java) S 28916 28916 24759 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 223336333 14425288704 12110 33554432000 4194304 4196468 140733518933040 140676568173072 140676975298261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15527936 140733518935174 140733518935345 140733518935345 140733518938063 0
[pid=28918/tid=28924] ppid=28916 vsize=14087196 memory=279469361444608 CPUtime=0 cores=0,2,4,6
/proc/28918/task/28924/stat : 28924 (java) S 28916 28916 24759 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 223336335 14425288704 12110 33554432000 4194304 4196468 140733518933040 140675954838128 140676975299202 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15527936 140733518935174 140733518935345 140733518935345 140733518938063 0
[pid=28918/tid=28925] ppid=28916 vsize=14087196 memory=139734680718863 CPUtime=0 cores=0,2,4,6
/proc/28918/task/28925/stat : 28925 (java) S 28916 28916 24759 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 223336335 14425288704 12110 33554432000 4194304 4196468 140733518933040 140675953784096 140676975298261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15527936 140733518935174 140733518935345 140733518935345 140733518938063 0
[pid=28918/tid=28926] ppid=28916 vsize=14087196 memory=279469472221280 CPUtime=0 cores=0,2,4,6
/proc/28918/task/28926/stat : 28926 (java) S 28916 28916 24759 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 223336335 14425288704 12110 33554432000 4194304 4196468 140733518933040 140675952731760 140676975298261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15527936 140733518935174 140733518935345 140733518935345 140733518938063 0
[pid=28918/tid=28927] ppid=28916 vsize=14087196 memory=139734680723471 CPUtime=0 cores=0,2,4,6
/proc/28918/task/28927/stat : 28927 (java) S 28916 28916 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223336338 14425288704 12110 33554432000 4194304 4196468 140733518933040 140675951680080 140676975306651 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15527936 140733518935174 140733518935345 140733518935345 140733518938063 0
[pid=28918/tid=28928] ppid=28916 vsize=14087196 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/28918/task/28928/stat : 28928 (java) S 28916 28916 24759 0 -1 1077944384 696 0 0 0 4 0 0 0 20 0 15 0 223336338 14425288704 12110 33554432000 4194304 4196468 140733518933040 140675950626928 140676975299202 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15527936 140733518935174 140733518935345 140733518935345 140733518938063 0
[pid=28918/tid=28929] ppid=28916 vsize=14087196 memory=-1 CPUtime=0.05 cores=0,2,4,6
/proc/28918/task/28929/stat : 28929 (java) S 28916 28916 24759 0 -1 1077944384 203 0 0 0 5 0 0 0 20 0 15 0 223336338 14425288704 12110 33554432000 4194304 4196468 140733518933040 140675507902448 140676975299202 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15527936 140733518935174 140733518935345 140733518935345 140733518938063 0
[pid=28918/tid=28930] ppid=28916 vsize=14087196 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/28918/task/28930/stat : 28930 (java) S 28916 28916 24759 0 -1 1077944384 855 0 0 0 12 0 0 0 20 0 15 0 223336338 14425288704 12110 33554432000 4194304 4196468 140733518933040 140675506850160 140676975299202 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15527936 140733518935174 140733518935345 140733518935345 140733518938063 0
[pid=28918/tid=28931] ppid=28916 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28918/task/28931/stat : 28931 (java) S 28916 28916 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223336338 14425288704 12110 33554432000 4194304 4196468 140733518933040 140675505797600 140676975298261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15527936 140733518935174 140733518935345 140733518935345 140733518938063 0
[pid=28918/tid=28932] ppid=28916 vsize=14087196 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/28918/task/28932/stat : 28932 (java) S 28916 28916 24759 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223336338 14425288704 12110 33554432000 4194304 4196468 140733518933040 140675504745392 140676975299202 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15527936 140733518935174 140733518935345 140733518935345 140733518938063 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 49636 KiB

[startup+0.701014 s]
/proc/loadavg: 1.91 1.62 1.52 6/217 28932
/proc/meminfo: memFree=15168188/32770624 swapFree=67108792/67108860
[pid=28916] ppid=28913 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/28916/stat : 28916 (xcsp3-exec) S 28913 28916 24759 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 223336332 115843072 364 33554432000 4194304 5098028 140721414407488 140721414405592 140407698354812 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 24395776 140721414411322 140721414411524 140721414411524 140721414414282 0
/proc/28916/statm: 28282 364 306 221 0 87 0
[pid=28918] ppid=28916 vsize=14089320 memory=87984 CPUtime=1.68 cores=0,2,4,6
/proc/28918/stat : 28918 (java) S 28916 28916 24759 0 -1 1077944320 12600 0 0 0 164 4 0 0 20 0 15 0 223336332 14427463680 21996 33554432000 4194304 4196468 140733518933040 140733518915584 140676975288055 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15527936 140733518935174 140733518935345 140733518935345 140733518938063 0
/proc/28918/statm: 3522330 21996 3362 1 0 3483524 0
[pid=28918/tid=28919] ppid=28916 vsize=14089320 memory=7372786582024121444 CPUtime=0.65 cores=0,2,4,6
/proc/28918/task/28919/stat : 28919 (java) R 28916 28916 24759 0 -1 4202560 6973 0 0 0 62 3 0 0 20 0 15 0 223336332 14427463680 21996 33554432000 4194304 4196468 140733518933040 140676979524320 140676959811265 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15527936 140733518935174 140733518935345 140733518935345 140733518938063 0
[pid=28918/tid=28920] ppid=28916 vsize=14089320 memory=7007712420471858773 CPUtime=0 cores=0,2,4,6
/proc/28918/task/28920/stat : 28920 (java) S 28916 28916 24759 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223336333 14427463680 21996 33554432000 4194304 4196468 140733518933040 140676890356112 140676975298261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15527936 140733518935174 140733518935345 140733518935345 140733518938063 0
[pid=28918/tid=28921] ppid=28916 vsize=14089320 memory=5859271421084521832 CPUtime=0 cores=0,2,4,6
/proc/28918/task/28921/stat : 28921 (java) S 28916 28916 24759 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223336333 14427463680 21996 33554432000 4194304 4196468 140733518933040 140676570278160 140676975298261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15527936 140733518935174 140733518935345 140733518935345 140733518938063 0
[pid=28918/tid=28922] ppid=28916 vsize=14089320 memory=-6168368575958768251 CPUtime=0 cores=0,2,4,6
/proc/28918/task/28922/stat : 28922 (java) S 28916 28916 24759 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223336333 14427463680 21996 33554432000 4194304 4196468 140733518933040 140676569225872 140676975298261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15527936 140733518935174 140733518935345 140733518935345 140733518938063 0
[pid=28918/tid=28923] ppid=28916 vsize=14089320 memory=8326441112149131689 CPUtime=0 cores=0,2,4,6
/proc/28918/task/28923/stat : 28923 (java) S 28916 28916 24759 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 223336333 14427463680 21996 33554432000 4194304 4196468 140733518933040 140676568173072 140676975298261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15527936 140733518935174 140733518935345 140733518935345 140733518938063 0
[pid=28918/tid=28924] ppid=28916 vsize=14089320 memory=6944656592455360569 CPUtime=0 cores=0,2,4,6
/proc/28918/task/28924/stat : 28924 (java) S 28916 28916 24759 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 223336335 14427463680 21996 33554432000 4194304 4196468 140733518933040 140675954838128 140676975299202 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15527936 140733518935174 140733518935345 140733518935345 140733518938063 0
[pid=28918/tid=28925] ppid=28916 vsize=14089320 memory=4612 CPUtime=0 cores=0,2,4,6
/proc/28918/task/28925/stat : 28925 (java) S 28916 28916 24759 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 223336335 14427463680 21996 33554432000 4194304 4196468 140733518933040 140675953784096 140676975298261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15527936 140733518935174 140733518935345 140733518935345 140733518938063 0
[pid=28918/tid=28926] ppid=28916 vsize=14089320 memory=6884 CPUtime=0 cores=0,2,4,6
/proc/28918/task/28926/stat : 28926 (java) S 28916 28916 24759 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 223336335 14427463680 21996 33554432000 4194304 4196468 140733518933040 140675952731760 140676975298261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15527936 140733518935174 140733518935345 140733518935345 140733518938063 0
[pid=28918/tid=28927] ppid=28916 vsize=14089320 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/28918/task/28927/stat : 28927 (java) S 28916 28916 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223336338 14427463680 21996 33554432000 4194304 4196468 140733518933040 140675951680080 140676975306651 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15527936 140733518935174 140733518935345 140733518935345 140733518938063 0
[pid=28918/tid=28928] ppid=28916 vsize=14089320 memory=60760 CPUtime=0.3 cores=0,2,4,6
/proc/28918/task/28928/stat : 28928 (java) R 28916 28916 24759 0 -1 4202560 1438 0 0 0 30 0 0 0 20 0 15 0 223336338 14427463680 21996 33554432000 4194304 4196468 140733518933040 140675950609008 140676954505560 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15527936 140733518935174 140733518935345 140733518935345 140733518938063 0
[pid=28918/tid=28929] ppid=28916 vsize=14089320 memory=1220 CPUtime=0.27 cores=0,2,4,6
/proc/28918/task/28929/stat : 28929 (java) R 28916 28916 24759 0 -1 4202560 908 0 0 0 27 0 0 0 20 0 15 0 223336338 14427463680 21996 33554432000 4194304 4196468 140733518933040 140675507883464 140676958786794 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15527936 140733518935174 140733518935345 140733518935345 140733518938063 0
[pid=28918/tid=28930] ppid=28916 vsize=14089320 memory=2380 CPUtime=0.43 cores=0,2,4,6
/proc/28918/task/28930/stat : 28930 (java) R 28916 28916 24759 0 -1 4202560 1973 0 0 0 43 0 0 0 20 0 15 0 223336338 14427463680 21996 33554432000 4194304 4196468 140733518933040 140675506850160 140676975309402 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15527936 140733518935174 140733518935345 140733518935345 140733518938063 0
[pid=28918/tid=28931] ppid=28916 vsize=14089320 memory=7091832833820811856 CPUtime=0 cores=0,2,4,6
/proc/28918/task/28931/stat : 28931 (java) S 28916 28916 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223336338 14427463680 21996 33554432000 4194304 4196468 140733518933040 140675505797600 140676975298261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15527936 140733518935174 140733518935345 140733518935345 140733518938063 0
[pid=28918/tid=28932] ppid=28916 vsize=14089320 memory=7595156207412209490 CPUtime=0 cores=0,2,4,6
/proc/28918/task/28932/stat : 28932 (java) S 28916 28916 24759 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223336338 14427463680 21996 33554432000 4194304 4196468 140733518933040 140675504745392 140676975299202 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15527936 140733518935174 140733518935345 140733518935345 140733518938063 0
Current children cumulated CPU time: 1.68 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 89440 KiB

[startup+1.50082 s]
/proc/loadavg: 1.91 1.62 1.52 5/217 28932
/proc/meminfo: memFree=15110236/32770624 swapFree=67108792/67108860
[pid=28916] ppid=28913 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/28916/stat : 28916 (xcsp3-exec) S 28913 28916 24759 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 223336332 115843072 364 33554432000 4194304 5098028 140721414407488 140721414405592 140407698354812 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 24395776 140721414411322 140721414411524 140721414411524 140721414414282 0
/proc/28916/statm: 28282 364 306 221 0 87 0

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

/proc/28918/task/28926/stat : 28926 (java) S 28916 28916 24759 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 223336335 14429560832 61944 33554432000 4194304 4196468 140733518933040 140675952731760 140676975298261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15527936 140733518935174 140733518935345 140733518935345 140733518938063 0
[pid=28918/tid=28927] ppid=28916 vsize=14091368 memory=7892 CPUtime=0 cores=0,2,4,6
/proc/28918/task/28927/stat : 28927 (java) S 28916 28916 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223336338 14429560832 61944 33554432000 4194304 4196468 140733518933040 140675951680080 140676975306651 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15527936 140733518935174 140733518935345 140733518935345 140733518938063 0
[pid=28918/tid=28928] ppid=28916 vsize=14091368 memory=808 CPUtime=3.94 cores=0,2,4,6
/proc/28918/task/28928/stat : 28928 (java) S 28916 28916 24759 0 -1 1077944384 21353 0 0 0 392 2 0 0 20 0 15 0 223336338 14429560832 61944 33554432000 4194304 4196468 140733518933040 140675950626928 140676975299202 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15527936 140733518935174 140733518935345 140733518935345 140733518938063 0
[pid=28918/tid=28929] ppid=28916 vsize=14091368 memory=1800 CPUtime=4.44 cores=0,2,4,6
/proc/28918/task/28929/stat : 28929 (java) S 28916 28916 24759 0 -1 1077944384 33377 0 0 0 441 3 0 0 20 0 15 0 223336338 14429560832 61944 33554432000 4194304 4196468 140733518933040 140675507902448 140676975299202 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15527936 140733518935174 140733518935345 140733518935345 140733518938063 0
[pid=28918/tid=28930] ppid=28916 vsize=14091368 memory=920 CPUtime=0.81 cores=0,2,4,6
/proc/28918/task/28930/stat : 28930 (java) S 28916 28916 24759 0 -1 1077944384 12691 0 0 0 80 1 0 0 20 0 15 0 223336338 14429560832 61944 33554432000 4194304 4196468 140733518933040 140675506850160 140676975299202 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 34 0 0 6293624 6294260 15527936 140733518935174 140733518935345 140733518935345 140733518938063 0
[pid=28918/tid=28931] ppid=28916 vsize=14091368 memory=1192 CPUtime=0 cores=0,2,4,6
/proc/28918/task/28931/stat : 28931 (java) S 28916 28916 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223336338 14429560832 61944 33554432000 4194304 4196468 140733518933040 140675505797600 140676975298261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15527936 140733518935174 140733518935345 140733518935345 140733518938063 0
[pid=28918/tid=28932] ppid=28916 vsize=14091368 memory=197648 CPUtime=0.55 cores=0,2,4,6
/proc/28918/task/28932/stat : 28932 (java) S 28916 28916 24759 0 -1 1077944384 936 0 0 0 23 32 0 0 20 0 15 0 223336338 14429560832 61944 33554432000 4194304 4196468 140733518933040 140675504745392 140676975299202 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15527936 140733518935174 140733518935345 140733518935345 140733518938063 0
Current children cumulated CPU time: 2451.54 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 249232 KiB

[startup+2502.3 s]
/proc/loadavg: 2.39 2.10 1.99 3/217 29092
/proc/meminfo: memFree=15123376/32770624 swapFree=67108792/67108860
[pid=28916] ppid=28913 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/28916/stat : 28916 (xcsp3-exec) S 28913 28916 24759 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 223336332 115843072 364 33554432000 4194304 5098028 140721414407488 140721414405592 140407698354812 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 24395776 140721414411322 140721414411524 140721414411524 140721414414282 0
/proc/28916/statm: 28282 364 306 221 0 87 0
[pid=28918] ppid=28916 vsize=14091368 memory=247776 CPUtime=2511.55 cores=0,2,4,6
/proc/28918/stat : 28918 (java) S 28916 28916 24759 0 -1 1077944320 96897 0 0 0 251110 45 0 0 20 0 15 0 223336332 14429560832 61944 33554432000 4194304 4196468 140733518933040 140733518915584 140676975288055 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15527936 140733518935174 140733518935345 140733518935345 140733518938063 0
/proc/28918/statm: 3522842 61944 3427 1 0 3484036 0
[pid=28918/tid=28919] ppid=28916 vsize=14091368 memory=14133342345892558 CPUtime=2501.51 cores=0,2,4,6
/proc/28918/task/28919/stat : 28919 (java) R 28916 28916 24759 0 -1 4202560 19750 0 0 0 250144 7 0 0 20 0 15 0 223336332 14429560832 61944 33554432000 4194304 4196468 140733518933040 140676979527600 140676577831197 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15527936 140733518935174 140733518935345 140733518935345 140733518938063 0
[pid=28918/tid=28920] ppid=28916 vsize=14091368 memory=1168 CPUtime=0.03 cores=0,2,4,6
/proc/28918/task/28920/stat : 28920 (java) S 28916 28916 24759 0 -1 1077944384 2390 0 0 0 3 0 0 0 20 0 15 0 223336333 14429560832 61944 33554432000 4194304 4196468 140733518933040 140676890356112 140676975298261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15527936 140733518935174 140733518935345 140733518935345 140733518938063 0
[pid=28918/tid=28921] ppid=28916 vsize=14091368 memory=928 CPUtime=0.04 cores=0,2,4,6
/proc/28918/task/28921/stat : 28921 (java) S 28916 28916 24759 0 -1 1077944384 1594 0 0 0 3 1 0 0 20 0 15 0 223336333 14429560832 61944 33554432000 4194304 4196468 140733518933040 140676570278160 140676975298261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15527936 140733518935174 140733518935345 140733518935345 140733518938063 0
[pid=28918/tid=28922] ppid=28916 vsize=14091368 memory=2420 CPUtime=0.03 cores=0,2,4,6
/proc/28918/task/28922/stat : 28922 (java) S 28916 28916 24759 0 -1 1077944384 537 0 0 0 3 0 0 0 20 0 15 0 223336333 14429560832 61944 33554432000 4194304 4196468 140733518933040 140676569225872 140676975298261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15527936 140733518935174 140733518935345 140733518935345 140733518938063 0
[pid=28918/tid=28923] ppid=28916 vsize=14091368 memory=1572 CPUtime=0.03 cores=0,2,4,6
/proc/28918/task/28923/stat : 28923 (java) S 28916 28916 24759 0 -1 1077944384 1117 0 0 0 3 0 0 0 20 0 15 0 223336333 14429560832 61944 33554432000 4194304 4196468 140733518933040 140676568173072 140676975298261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15527936 140733518935174 140733518935345 140733518935345 140733518938063 0
[pid=28918/tid=28924] ppid=28916 vsize=14091368 memory=924 CPUtime=0.04 cores=0,2,4,6
/proc/28918/task/28924/stat : 28924 (java) S 28916 28916 24759 0 -1 1077944384 1749 0 0 0 3 1 0 0 20 0 15 0 223336335 14429560832 61944 33554432000 4194304 4196468 140733518933040 140675954838128 140676975299202 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15527936 140733518935174 140733518935345 140733518935345 140733518938063 0
[pid=28918/tid=28925] ppid=28916 vsize=14091368 memory=2192 CPUtime=0 cores=0,2,4,6
/proc/28918/task/28925/stat : 28925 (java) S 28916 28916 24759 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 15 0 223336335 14429560832 61944 33554432000 4194304 4196468 140733518933040 140675953784096 140676975298261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15527936 140733518935174 140733518935345 140733518935345 140733518938063 0
[pid=28918/tid=28926] ppid=28916 vsize=14091368 memory=3984 CPUtime=0 cores=0,2,4,6
/proc/28918/task/28926/stat : 28926 (java) S 28916 28916 24759 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 223336335 14429560832 61944 33554432000 4194304 4196468 140733518933040 140675952731760 140676975298261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15527936 140733518935174 140733518935345 140733518935345 140733518938063 0
[pid=28918/tid=28927] ppid=28916 vsize=14091368 memory=1920 CPUtime=0 cores=0,2,4,6
/proc/28918/task/28927/stat : 28927 (java) S 28916 28916 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223336338 14429560832 61944 33554432000 4194304 4196468 140733518933040 140675951680080 140676975306651 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15527936 140733518935174 140733518935345 140733518935345 140733518938063 0
[pid=28918/tid=28928] ppid=28916 vsize=14091368 memory=7892 CPUtime=3.94 cores=0,2,4,6
/proc/28918/task/28928/stat : 28928 (java) S 28916 28916 24759 0 -1 1077944384 21353 0 0 0 392 2 0 0 20 0 15 0 223336338 14429560832 61944 33554432000 4194304 4196468 140733518933040 140675950626928 140676975299202 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15527936 140733518935174 140733518935345 140733518935345 140733518938063 0
[pid=28918/tid=28929] ppid=28916 vsize=14091368 memory=808 CPUtime=4.44 cores=0,2,4,6
/proc/28918/task/28929/stat : 28929 (java) S 28916 28916 24759 0 -1 1077944384 33378 0 0 0 441 3 0 0 20 0 15 0 223336338 14429560832 61944 33554432000 4194304 4196468 140733518933040 140675507902448 140676975299202 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15527936 140733518935174 140733518935345 140733518935345 140733518938063 0
[pid=28918/tid=28930] ppid=28916 vsize=14091368 memory=1800 CPUtime=0.81 cores=0,2,4,6
/proc/28918/task/28930/stat : 28930 (java) S 28916 28916 24759 0 -1 1077944384 12691 0 0 0 80 1 0 0 20 0 15 0 223336338 14429560832 61944 33554432000 4194304 4196468 140733518933040 140675506850160 140676975299202 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 34 0 0 6293624 6294260 15527936 140733518935174 140733518935345 140733518935345 140733518938063 0
[pid=28918/tid=28931] ppid=28916 vsize=14091368 memory=2192 CPUtime=0 cores=0,2,4,6
/proc/28918/task/28931/stat : 28931 (java) S 28916 28916 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223336338 14429560832 61944 33554432000 4194304 4196468 140733518933040 140675505797600 140676975298261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15527936 140733518935174 140733518935345 140733518935345 140733518938063 0
[pid=28918/tid=28932] ppid=28916 vsize=14091368 memory=3984 CPUtime=0.56 cores=0,2,4,6
/proc/28918/task/28932/stat : 28932 (java) S 28916 28916 24759 0 -1 1077944384 956 0 0 0 23 33 0 0 20 0 15 0 223336338 14429560832 61944 33554432000 4194304 4196468 140733518933040 140675504745392 140676975299202 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15527936 140733518935174 140733518935345 140733518935345 140733518938063 0
Current children cumulated CPU time: 2511.55 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 249232 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2510.8 s]
/proc/loadavg: 2.49 2.13 2.00 3/217 29092
/proc/meminfo: memFree=14981464/32770624 swapFree=67108792/67108860
[pid=28916] ppid=28913 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/28916/stat : 28916 (xcsp3-exec) S 28913 28916 24759 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 223336332 115843072 364 33554432000 4194304 5098028 140721414407488 140721414405592 140407698354812 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 24395776 140721414411322 140721414411524 140721414411524 140721414414282 0
/proc/28916/statm: 28282 364 306 221 0 87 0
[pid=28918] ppid=28916 vsize=14091368 memory=247776 CPUtime=2520.05 cores=0,2,4,6
/proc/28918/stat : 28918 (java) S 28916 28916 24759 0 -1 1077944320 96901 0 0 0 251960 45 0 0 20 0 15 0 223336332 14429560832 61944 33554432000 4194304 4196468 140733518933040 140733518915584 140676975288055 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15527936 140733518935174 140733518935345 140733518935345 140733518938063 0
/proc/28918/statm: 3522842 61944 3427 1 0 3484036 0
[pid=28918/tid=28919] ppid=28916 vsize=14091368 memory=247776 CPUtime=2510.01 cores=0,2,4,6
/proc/28918/task/28919/stat : 28919 (java) R 28916 28916 24759 0 -1 4202560 19754 0 0 0 250994 7 0 0 20 0 15 0 223336332 14429560832 61944 33554432000 4194304 4196468 140733518933040 140676979527600 140676579994572 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15527936 140733518935174 140733518935345 140733518935345 140733518938063 0
[pid=28918/tid=28920] ppid=28916 vsize=14091368 memory=247776 CPUtime=0.03 cores=0,2,4,6
/proc/28918/task/28920/stat : 28920 (java) S 28916 28916 24759 0 -1 1077944384 2390 0 0 0 3 0 0 0 20 0 15 0 223336333 14429560832 61944 33554432000 4194304 4196468 140733518933040 140676890356112 140676975298261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15527936 140733518935174 140733518935345 140733518935345 140733518938063 0
[pid=28918/tid=28921] ppid=28916 vsize=14091368 memory=247776 CPUtime=0.04 cores=0,2,4,6
/proc/28918/task/28921/stat : 28921 (java) S 28916 28916 24759 0 -1 1077944384 1594 0 0 0 3 1 0 0 20 0 15 0 223336333 14429560832 61944 33554432000 4194304 4196468 140733518933040 140676570278160 140676975298261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15527936 140733518935174 140733518935345 140733518935345 140733518938063 0
[pid=28918/tid=28922] ppid=28916 vsize=14091368 memory=1456 CPUtime=0.03 cores=0,2,4,6
/proc/28918/task/28922/stat : 28922 (java) S 28916 28916 24759 0 -1 1077944384 537 0 0 0 3 0 0 0 20 0 15 0 223336333 14429560832 61944 33554432000 4194304 4196468 140733518933040 140676569225872 140676975298261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15527936 140733518935174 140733518935345 140733518935345 140733518938063 0
[pid=28918/tid=28923] ppid=28916 vsize=14091368 memory=164 CPUtime=0.03 cores=0,2,4,6
/proc/28918/task/28923/stat : 28923 (java) S 28916 28916 24759 0 -1 1077944384 1117 0 0 0 3 0 0 0 20 0 15 0 223336333 14429560832 61944 33554432000 4194304 4196468 140733518933040 140676568173072 140676975298261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15527936 140733518935174 140733518935345 140733518935345 140733518938063 0
[pid=28918/tid=28924] ppid=28916 vsize=14091368 memory=1752 CPUtime=0.04 cores=0,2,4,6
/proc/28918/task/28924/stat : 28924 (java) S 28916 28916 24759 0 -1 1077944384 1749 0 0 0 3 1 0 0 20 0 15 0 223336335 14429560832 61944 33554432000 4194304 4196468 140733518933040 140675954838128 140676975299202 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15527936 140733518935174 140733518935345 140733518935345 140733518938063 0
[pid=28918/tid=28925] ppid=28916 vsize=14091368 memory=1620 CPUtime=0 cores=0,2,4,6
/proc/28918/task/28925/stat : 28925 (java) S 28916 28916 24759 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 15 0 223336335 14429560832 61944 33554432000 4194304 4196468 140733518933040 140675953784096 140676975298261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15527936 140733518935174 140733518935345 140733518935345 140733518938063 0
[pid=28918/tid=28926] ppid=28916 vsize=14091368 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/28918/task/28926/stat : 28926 (java) S 28916 28916 24759 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 223336335 14429560832 61944 33554432000 4194304 4196468 140733518933040 140675952731760 140676975298261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15527936 140733518935174 140733518935345 140733518935345 140733518938063 0
[pid=28918/tid=28927] ppid=28916 vsize=14091368 memory=247776 CPUtime=0 cores=0,2,4,6
/proc/28918/task/28927/stat : 28927 (java) S 28916 28916 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223336338 14429560832 61944 33554432000 4194304 4196468 140733518933040 140675951680080 140676975306651 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15527936 140733518935174 140733518935345 140733518935345 140733518938063 0
[pid=28918/tid=28928] ppid=28916 vsize=14091368 memory=1456 CPUtime=3.94 cores=0,2,4,6
/proc/28918/task/28928/stat : 28928 (java) S 28916 28916 24759 0 -1 1077944384 21353 0 0 0 392 2 0 0 20 0 15 0 223336338 14429560832 61944 33554432000 4194304 4196468 140733518933040 140675950626928 140676975299202 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15527936 140733518935174 140733518935345 140733518935345 140733518938063 0
[pid=28918/tid=28929] ppid=28916 vsize=14091368 memory=3892 CPUtime=4.44 cores=0,2,4,6
/proc/28918/task/28929/stat : 28929 (java) S 28916 28916 24759 0 -1 1077944384 33378 0 0 0 441 3 0 0 20 0 15 0 223336338 14429560832 61944 33554432000 4194304 4196468 140733518933040 140675507902448 140676975299202 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15527936 140733518935174 140733518935345 140733518935345 140733518938063 0
[pid=28918/tid=28930] ppid=28916 vsize=14091368 memory=3892 CPUtime=0.81 cores=0,2,4,6
/proc/28918/task/28930/stat : 28930 (java) S 28916 28916 24759 0 -1 1077944384 12691 0 0 0 80 1 0 0 20 0 15 0 223336338 14429560832 61944 33554432000 4194304 4196468 140733518933040 140675506850160 140676975299202 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 34 0 0 6293624 6294260 15527936 140733518935174 140733518935345 140733518935345 140733518938063 0
[pid=28918/tid=28931] ppid=28916 vsize=14091368 memory=60816 CPUtime=0 cores=0,2,4,6
/proc/28918/task/28931/stat : 28931 (java) S 28916 28916 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223336338 14429560832 61944 33554432000 4194304 4196468 140733518933040 140675505797600 140676975298261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15527936 140733518935174 140733518935345 140733518935345 140733518938063 0
[pid=28918/tid=28932] ppid=28916 vsize=14091368 memory=1220 CPUtime=0.56 cores=0,2,4,6
/proc/28918/task/28932/stat : 28932 (java) S 28916 28916 24759 0 -1 1077944384 956 0 0 0 23 33 0 0 20 0 15 0 223336338 14429560832 61944 33554432000 4194304 4196468 140733518933040 140675504745392 140676975299202 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15527936 140733518935174 140733518935345 140733518935345 140733518938063 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 249232 KiB

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

[startup+2510.81 s]
# the end of solver process 28916 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.002185 s, system=0 s

[startup+2510.81 s]
# the end of solver process 28918 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.61 s, system=0.462984 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

[startup+2510.8 s]
/proc/loadavg: 2.49 2.13 2.00 3/217 29092
/proc/meminfo: memFree=14981464/32770624 swapFree=67108792/67108860
[pid=28916] ppid=28913 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/28916/stat : 28916 (xcsp3-exec) S 28913 28916 24759 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 223336332 115843072 364 33554432000 4194304 5098028 140721414407488 140721414405592 140407698354812 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 24395776 140721414411322 140721414411524 140721414411524 140721414414282 0
/proc/28916/statm: 28282 364 306 221 0 87 0
[pid=28918] ppid=28916 vsize=14091368 memory=247776 CPUtime=2520.05 cores=0,2,4,6
/proc/28918/stat : 28918 (java) S 28916 28916 24759 0 -1 1077944320 96901 0 0 0 251960 45 0 0 20 0 15 0 223336332 14429560832 61944 33554432000 4194304 4196468 140733518933040 140733518915584 140676975288055 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15527936 140733518935174 140733518935345 140733518935345 140733518938063 0
/proc/28918/statm: 3522842 61944 3427 1 0 3484036 0
[pid=28918/tid=28919] ppid=28916 vsize=14091368 memory=247776 CPUtime=2510.01 cores=0,2,4,6
/proc/28918/task/28919/stat : 28919 (java) R 28916 28916 24759 0 -1 4202560 19754 0 0 0 250994 7 0 0 20 0 15 0 223336332 14429560832 61944 33554432000 4194304 4196468 140733518933040 140676979527600 140676579994572 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15527936 140733518935174 140733518935345 140733518935345 140733518938063 0
[pid=28918/tid=28920] ppid=28916 vsize=14091368 memory=247776 CPUtime=0.03 cores=0,2,4,6
/proc/28918/task/28920/stat : 28920 (java) S 28916 28916 24759 0 -1 1077944384 2390 0 0 0 3 0 0 0 20 0 15 0 223336333 14429560832 61944 33554432000 4194304 4196468 140733518933040 140676890356112 140676975298261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15527936 140733518935174 140733518935345 140733518935345 140733518938063 0
[pid=28918/tid=28921] ppid=28916 vsize=14091368 memory=247776 CPUtime=0.04 cores=0,2,4,6
/proc/28918/task/28921/stat : 28921 (java) S 28916 28916 24759 0 -1 1077944384 1594 0 0 0 3 1 0 0 20 0 15 0 223336333 14429560832 61944 33554432000 4194304 4196468 140733518933040 140676570278160 140676975298261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15527936 140733518935174 140733518935345 140733518935345 140733518938063 0
[pid=28918/tid=28922] ppid=28916 vsize=14091368 memory=1456 CPUtime=0.03 cores=0,2,4,6
/proc/28918/task/28922/stat : 28922 (java) S 28916 28916 24759 0 -1 1077944384 537 0 0 0 3 0 0 0 20 0 15 0 223336333 14429560832 61944 33554432000 4194304 4196468 140733518933040 140676569225872 140676975298261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15527936 140733518935174 140733518935345 140733518935345 140733518938063 0
[pid=28918/tid=28923] ppid=28916 vsize=14091368 memory=164 CPUtime=0.03 cores=0,2,4,6
/proc/28918/task/28923/stat : 28923 (java) S 28916 28916 24759 0 -1 1077944384 1117 0 0 0 3 0 0 0 20 0 15 0 223336333 14429560832 61944 33554432000 4194304 4196468 140733518933040 140676568173072 140676975298261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15527936 140733518935174 140733518935345 140733518935345 140733518938063 0
[pid=28918/tid=28924] ppid=28916 vsize=14091368 memory=1752 CPUtime=0.04 cores=0,2,4,6
/proc/28918/task/28924/stat : 28924 (java) S 28916 28916 24759 0 -1 1077944384 1749 0 0 0 3 1 0 0 20 0 15 0 223336335 14429560832 61944 33554432000 4194304 4196468 140733518933040 140675954838128 140676975299202 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15527936 140733518935174 140733518935345 140733518935345 140733518938063 0
[pid=28918/tid=28925] ppid=28916 vsize=14091368 memory=1620 CPUtime=0 cores=0,2,4,6
/proc/28918/task/28925/stat : 28925 (java) S 28916 28916 24759 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 15 0 223336335 14429560832 61944 33554432000 4194304 4196468 140733518933040 140675953784096 140676975298261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15527936 140733518935174 140733518935345 140733518935345 140733518938063 0
[pid=28918/tid=28926] ppid=28916 vsize=14091368 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/28918/task/28926/stat : 28926 (java) S 28916 28916 24759 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 223336335 14429560832 61944 33554432000 4194304 4196468 140733518933040 140675952731760 140676975298261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15527936 140733518935174 140733518935345 140733518935345 140733518938063 0
[pid=28918/tid=28927] ppid=28916 vsize=14091368 memory=247776 CPUtime=0 cores=0,2,4,6
/proc/28918/task/28927/stat : 28927 (java) S 28916 28916 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223336338 14429560832 61944 33554432000 4194304 4196468 140733518933040 140675951680080 140676975306651 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15527936 140733518935174 140733518935345 140733518935345 140733518938063 0
[pid=28918/tid=28928] ppid=28916 vsize=14091368 memory=1456 CPUtime=3.94 cores=0,2,4,6
/proc/28918/task/28928/stat : 28928 (java) S 28916 28916 24759 0 -1 1077944384 21353 0 0 0 392 2 0 0 20 0 15 0 223336338 14429560832 61944 33554432000 4194304 4196468 140733518933040 140675950626928 140676975299202 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15527936 140733518935174 140733518935345 140733518935345 140733518938063 0
[pid=28918/tid=28929] ppid=28916 vsize=14091368 memory=3892 CPUtime=4.44 cores=0,2,4,6
/proc/28918/task/28929/stat : 28929 (java) S 28916 28916 24759 0 -1 1077944384 33378 0 0 0 441 3 0 0 20 0 15 0 223336338 14429560832 61944 33554432000 4194304 4196468 140733518933040 140675507902448 140676975299202 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15527936 140733518935174 140733518935345 140733518935345 140733518938063 0
[pid=28918/tid=28930] ppid=28916 vsize=14091368 memory=3892 CPUtime=0.81 cores=0,2,4,6
/proc/28918/task/28930/stat : 28930 (java) S 28916 28916 24759 0 -1 1077944384 12691 0 0 0 80 1 0 0 20 0 15 0 223336338 14429560832 61944 33554432000 4194304 4196468 140733518933040 140675506850160 140676975299202 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 34 0 0 6293624 6294260 15527936 140733518935174 140733518935345 140733518935345 140733518938063 0
[pid=28918/tid=28931] ppid=28916 vsize=14091368 memory=60816 CPUtime=0 cores=0,2,4,6
/proc/28918/task/28931/stat : 28931 (java) S 28916 28916 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223336338 14429560832 61944 33554432000 4194304 4196468 140733518933040 140675505797600 140676975298261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15527936 140733518935174 140733518935345 140733518935345 140733518938063 0
[pid=28918/tid=28932] ppid=28916 vsize=14091368 memory=1220 CPUtime=0.56 cores=0,2,4,6
/proc/28918/task/28932/stat : 28932 (java) S 28916 28916 24759 0 -1 1077944384 956 0 0 0 23 33 0 0 20 0 15 0 223336338 14429560832 61944 33554432000 4194304 4196468 140733518933040 140675504745392 140676975299202 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15527936 140733518935174 140733518935345 140733518935345 140733518938063 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 249232 KiB

Child status: 143
Real time (s): 2510.81
CPU time (s): 2520.08
CPU user time (s): 2519.61
CPU system time (s): 0.462984
CPU usage (%): 100.369
Max. virtual memory (cumulated for all children) (KiB): 14204496
Max. memory (cumulated for all children) (KiB): 251824

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.61
system time used= 0.462984
maximum resident set size= 250368
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 97879
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1856
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 57687
involuntary context switches= 2784


# summary of solver processes directly reported to runsolver:
#   pid: 28916,28918
#   total CPU time (s): 2520.08
#   total CPU user time (s): 2519.61
#   total CPU system time (s): 0.462984

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.2799 second user time and 22.7783 second system time

The end

Launcher Data 

Begin job on node150 at 2018-08-12 09:08:51
IDJOB=4306995
IDBENCH=141197
IDSOLVER=2787
FILE ID=node150/4306995-1534057731
RUNJOBID= node150-1534040134-26256
PBS_JOBID= 21036968
Free space on /tmp= 34680 MiB

SOLVER NAME= Choco-solver 4.0.7b seq (e747e1e)
BENCH NAME= XCSP18/Rlfap/Rlfap-opt/Rlfap-graph-01-opt_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-4306995-1534057731/watcher-4306995-1534057731 -o /tmp/evaluation-result-4306995-1534057731/solver-4306995-1534057731 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1534040134-26256 --watchdog 2580  HOME/xcsp3-exec -seed 1443973247 -dir HOME -tl 2520 -ml 11000 -p 1 HOME/instance-4306995-1534057731.xml

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

MD5SUM BENCH= 19ea5b9da6c92ab0a6dd9deb2e409c18
RANDOM SEED=1443973247

node150.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.76
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.76
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.76
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.76
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:        15221788 kB
MemAvailable:   31264188 kB
Buffers:          202988 kB
Cached:         15899872 kB
SwapCached:           32 kB
Active:          8669096 kB
Inactive:        8128896 kB
Active(anon):     644812 kB
Inactive(anon):   103136 kB
Active(file):    8024284 kB
Inactive(file):  8025760 kB
Unevictable:        7736 kB
Mlocked:            7736 kB
SwapTotal:      67108860 kB
SwapFree:       67108792 kB
Dirty:             22084 kB
Writeback:             0 kB
AnonPages:        743468 kB
Mapped:            65516 kB
Shmem:             49732 kB
Slab:             448648 kB
SReclaimable:     420816 kB
SUnreclaim:        27832 kB
KernelStack:        3808 kB
PageTables:         6968 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1934284 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    628736 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      126336 kB
DirectMap2M:    33419264 kB

Free space on /tmp at the end= 34656 MiB
End job on node150 at 2018-08-12 09:50:42