Trace number 4301549

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)15018 252.084 244.319

General information on the benchmark

NameSumColoring/
SumColoring-dsjc-250-9_c18.xml
MD5SUM15c7aefb85365a32de6dc875f5012851
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark10090
Best CPU time to get the best result obtained on this benchmark251.968
Satisfiable
(Un)Satisfiability was proved
Number of variables250
Number of constraints27897
Number of domains1
Minimum domain size250
Maximum domain size250
Distribution of domain sizes[{"size":250,"count":250}]
Minimum variable degree208
Maximum variable degree235
Distribution of variable degrees[{"degree":208,"count":1},{"degree":213,"count":1},{"degree":214,"count":3},{"degree":215,"count":5},{"degree":216,"count":4},{"degree":217,"count":8},{"degree":218,"count":9},{"degree":219,"count":11},{"degree":220,"count":9},{"degree":221,"count":15},{"degree":222,"count":19},{"degree":223,"count":19},{"degree":224,"count":26},{"degree":225,"count":23},{"degree":226,"count":10},{"degree":227,"count":22},{"degree":228,"count":17},{"degree":229,"count":21},{"degree":230,"count":10},{"degree":231,"count":6},{"degree":232,"count":7},{"degree":233,"count":1},{"degree":234,"count":1},{"degree":235,"count":2}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":27897}]
Number of extensional constraints0
Number of intensional constraints27897
Distribution of constraint types[{"type":"intension","count":27897}]
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-4301549-1532882795.xml"  -tl '252s' -p 1
0.11/0.17	c Choco e747e1e
0.11/0.18	c [HOME/instance-4301549-1532882795.xml, -tl, 252s, -p, 1]
0.11/0.22	c simple solver
0.34/0.28	c parse instance...
6.25/2.20	c solve instance...
7.82/2.78	o 19789 
7.82/2.79	o 19750 
8.14/2.80	o 19727 
8.14/2.82	o 19720 
8.14/2.83	o 19566 
8.45/3.00	o 19563 
8.45/3.00	o 19562 
8.78/3.01	o 19560 
8.78/3.09	o 19559 
8.96/3.13	o 19558 
15.48/8.78	o 19551 
15.81/9.08	o 19446 
15.81/9.08	o 19438 
21.15/14.15	o 19077 
21.15/14.15	o 19071 
21.15/14.15	o 19069 
21.15/14.15	o 19063 
21.15/14.16	o 19062 
21.15/14.16	o 19061 
21.15/14.16	o 19060 
21.15/14.16	o 19059 
21.15/14.19	o 19058 
21.24/14.21	o 19057 
21.24/14.21	o 19056 
21.24/14.21	o 19055 
21.24/14.21	o 19054 
21.24/14.22	o 19053 
21.24/14.24	o 19052 
21.24/14.25	o 19051 
21.24/14.28	o 19050 
21.24/14.30	o 19049 
21.34/14.32	o 19048 
21.34/14.34	o 19047 
21.34/14.36	o 19046 
22.65/15.69	o 15764 
22.65/15.69	o 15751 
22.65/15.69	o 15743 
75.40/67.98	o 15071 
75.40/67.99	o 15067 
75.40/68.00	o 15062 
75.51/68.06	o 15061 
75.51/68.10	o 15043 
75.61/68.15	o 15040 
75.70/68.20	o 15038 
75.70/68.20	o 15028 
75.70/68.21	o 15027 
75.70/68.21	o 15026 
75.70/68.21	o 15025 
75.70/68.21	o 15024 
75.70/68.22	o 15023 
75.70/68.22	o 15022 
75.70/68.22	o 15021 
75.70/68.23	o 15020 
75.70/68.23	o 15019 
75.70/68.23	o 15018 
252.05/244.30	s SATISFIABLE
252.05/244.30	v <instantiation>
252.05/244.30	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] c[95] c[96] c[97] c[98] c[99] c[100] c[101] c[102] c[103] c[104] c[105] c[106] c[107] c[108] c[109] c[110] c[111] c[112] c[113] c[114] c[115] c[116] c[117] c[118] c[119] c[120] c[121] c[122] c[123] c[124] c[125] c[126] c[127] c[128] c[129] c[130] c[131] c[132] c[133] c[134] c[135] c[136] c[137] c[138] c[139] c[140] c[141] c[142] c[143] c[144] c[145] c[146] c[147] c[148] c[149] c[150] c[151] c[152] c[153] c[154] c[155] c[156] c[157] c[158] c[159] c[160] c[161] c[162] c[163] c[164] c[165] c[166] c[167] c[168] c[169] c[170] c[171] c[172] c[173] c[174] c[175] c[176] c[177] c[178] c[179] c[180] c[181] c[182] c[183] c[184] c[185] c[186] c[187] c[188] c[189] c[190] c[191] c[192] c[193] c[194] c[195] c[196] c[197] c[198] c[199] c[200] c[201] c[202] c[203] c[204] c[205] c[206] c[207] c[208] c[209] c[210] c[211] c[212] c[213] c[214] c[215] c[216] c[217] c[218] c[219] c[220] c[221] c[222] c[223] c[224] c[225] c[226] c[227] c[228] c[229] c[230] c[231] c[232] c[233] c[234] c[235] c[236] c[237] c[238] c[239] c[240] c[241] c[242] c[243] c[244] c[245] c[246] c[247] c[248] c[249] </list>
252.05/244.30	v 	<values>235 243 4 72 11 5 54 249 3 12 67 82 81 44 76 7 249 9 64 71 79 75 39 53 35 43 45 2 248 75 14 56 50 236 42 239 24 30 78 36 9 244 77 1 0 12 74 11 246 16 17 52 22 40 20 39 30 33 44 52 24 65 84 17 31 64 32 10 50 78 241 0 243 49 32 45 33 233 26 34 63 77 74 29 58 47 8 18 35 239 70 72 21 5 41 19 56 60 7 43 73 13 67 244 29 9 68 41 7 46 222 18 36 11 59 22 37 15 61 50 55 6 51 54 71 50 65 27 3 58 4 19 57 53 58 20 47 82 26 28 55 80 76 59 2 49 48 57 27 46 63 40 41 59 62 8 5 51 245 28 12 37 18 49 30 36 15 238 31 38 69 68 16 70 6 22 52 53 65 19 247 51 64 16 42 44 23 247 80 237 61 23 62 8 6 234 14 38 241 14 40 26 57 27 38 1 39 48 17 61 15 35 14 76 0 25 28 2 60 66 246 242 48 32 66 34 37 13 11 20 29 69 73 10 245 13 8 15 240 23 21 3 25 4 83 54 1 60 240 10 </values>
252.05/244.30	v </instantiation>
252.05/244.30	c Unexpected resolution interruption!

Verifier Data 

OK	15018

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4301549-1532882795/watcher-4301549-1532882795 -o /tmp/evaluation-result-4301549-1532882795/solver-4301549-1532882795 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node139-1532878307-6428 --watchdog 312 HOME/xcsp3-exec -seed 898984650 -dir HOME -tl 252 -ml 11000 -p 1 HOME/instance-4301549-1532882795.xml 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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=10118, runsolver pid=10115

[startup+0.100118 s]*
/proc/loadavg: 2.06 2.08 2.05 4/217 10134
/proc/meminfo: memFree=23715824/32770624 swapFree=67108860/67108860
[pid=10118] ppid=10115 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/10118/stat : 10118 (xcsp3-exec) S 10115 10118 6396 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 105842640 115843072 363 33554432000 4194304 5098028 140731041550480 140731041548584 140684118880892 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 11599872 140731041559617 140731041559817 140731041559817 140731041562570 0
/proc/10118/statm: 28282 363 305 221 0 87 0
[pid=10120] ppid=10118 vsize=14082940 memory=31156 CPUtime=0.11 cores=1,3,5,7
/proc/10120/stat : 10120 (java) S 10118 10118 6396 0 -1 1077944320 5606 0 0 0 10 1 0 0 20 0 15 0 105842640 14420930560 7789 33554432000 4194304 4196468 140731529861792 140731529844336 140642790022903 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37576704 140731529868428 140731529868598 140731529868598 140731529871311 0
/proc/10120/statm: 3520735 7789 3031 1 0 3483012 0
[pid=10120/tid=10121] ppid=10118 vsize=14082940 memory=-6962121287837372198 CPUtime=0.09 cores=1,3,5,7
/proc/10120/task/10121/stat : 10121 (java) R 10118 10118 6396 0 -1 4202560 3649 0 0 0 8 1 0 0 20 0 15 0 105842641 14420930560 7789 33554432000 4194304 4196468 140731529861792 140642794254816 140642790034838 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37576704 140731529868428 140731529868598 140731529868598 140731529871311 0
[pid=10120/tid=10122] ppid=10118 vsize=14082940 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/10120/task/10122/stat : 10122 (java) S 10118 10118 6396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105842642 14420930560 7789 33554432000 4194304 4196468 140731529861792 140642742643856 140642790033109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37576704 140731529868428 140731529868598 140731529868598 140731529871311 0
[pid=10120/tid=10123] ppid=10118 vsize=14082940 memory=140531892627072 CPUtime=0 cores=1,3,5,7
/proc/10120/task/10123/stat : 10123 (java) S 10118 10118 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105842642 14420930560 7789 33554432000 4194304 4196468 140731529861792 140642741591056 140642790033109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37576704 140731529868428 140731529868598 140731529868598 140731529871311 0
[pid=10120/tid=10124] ppid=10118 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10120/task/10124/stat : 10124 (java) S 10118 10118 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105842642 14420930560 7789 33554432000 4194304 4196468 140731529861792 140642740538256 140642790033109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37576704 140731529868428 140731529868598 140731529868598 140731529871311 0
[pid=10120/tid=10125] ppid=10118 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10120/task/10125/stat : 10125 (java) S 10118 10118 6396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105842642 14420930560 7789 33554432000 4194304 4196468 140731529861792 140642739485456 140642790033109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37576704 140731529868428 140731529868598 140731529868598 140731529871311 0
[pid=10120/tid=10126] ppid=10118 vsize=14082940 memory=140531892627072 CPUtime=0 cores=1,3,5,7
/proc/10120/task/10126/stat : 10126 (java) S 10118 10118 6396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105842643 14420930560 7789 33554432000 4194304 4196468 140731529861792 140641993492848 140642790034050 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37576704 140731529868428 140731529868598 140731529868598 140731529871311 0
[pid=10120/tid=10127] ppid=10118 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10120/task/10127/stat : 10127 (java) S 10118 10118 6396 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 105842643 14420930560 7789 33554432000 4194304 4196468 140731529861792 140641902797856 140642790033109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37576704 140731529868428 140731529868598 140731529868598 140731529871311 0
[pid=10120/tid=10128] ppid=10118 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10120/task/10128/stat : 10128 (java) S 10118 10118 6396 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105842644 14420930560 7789 33554432000 4194304 4196468 140731529861792 140641901745008 140642790033109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37576704 140731529868428 140731529868598 140731529868598 140731529871311 0
[pid=10120/tid=10129] ppid=10118 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10120/task/10129/stat : 10129 (java) S 10118 10118 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105842646 14420930560 7789 33554432000 4194304 4196468 140731529861792 140641900693328 140642790041499 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37576704 140731529868428 140731529868598 140731529868598 140731529871311 0
[pid=10120/tid=10130] ppid=10118 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10120/task/10130/stat : 10130 (java) S 10118 10118 6396 0 -1 1077944384 411 0 0 0 0 0 0 0 20 0 15 0 105842646 14420930560 7789 33554432000 4194304 4196468 140731529861792 140641899641712 140642790034050 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37576704 140731529868428 140731529868598 140731529868598 140731529871311 0
[pid=10120/tid=10131] ppid=10118 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10120/task/10131/stat : 10131 (java) S 10118 10118 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105842646 14420930560 7789 33554432000 4194304 4196468 140731529861792 140641898588912 140642790034050 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37576704 140731529868428 140731529868598 140731529868598 140731529871311 0
[pid=10120/tid=10132] ppid=10118 vsize=14082940 memory=140531892627072 CPUtime=0.01 cores=1,3,5,7
/proc/10120/task/10132/stat : 10132 (java) R 10118 10118 6396 0 -1 4202560 260 0 0 0 1 0 0 0 20 0 15 0 105842646 14420930560 7789 33554432000 4194304 4196468 140731529861792 140641897536112 140642790034838 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37576704 140731529868428 140731529868598 140731529868598 140731529871311 0
[pid=10120/tid=10133] ppid=10118 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10120/task/10133/stat : 10133 (java) S 10118 10118 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105842646 14420930560 7789 33554432000 4194304 4196468 140731529861792 140641896483552 140642790033109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37576704 140731529868428 140731529868598 140731529868598 140731529871311 0
[pid=10120/tid=10134] ppid=10118 vsize=14082940 memory=140531892627072 CPUtime=0 cores=1,3,5,7
/proc/10120/task/10134/stat : 10134 (java) S 10118 10118 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105842646 14420930560 7789 33554432000 4194304 4196468 140731529861792 140641895430832 140642790034050 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37576704 140731529868428 140731529868598 140731529868598 140731529871311 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 32608 KiB

[startup+0.210513 s]*
/proc/loadavg: 2.06 2.08 2.05 4/217 10134
/proc/meminfo: memFree=23704040/32770624 swapFree=67108860/67108860
[pid=10118] ppid=10115 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/10118/stat : 10118 (xcsp3-exec) S 10115 10118 6396 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 105842640 115843072 363 33554432000 4194304 5098028 140731041550480 140731041548584 140684118880892 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 11599872 140731041559617 140731041559817 140731041559817 140731041562570 0
/proc/10118/statm: 28282 363 305 221 0 87 0
[pid=10120] ppid=10118 vsize=14082940 memory=43072 CPUtime=0.34 cores=1,3,5,7
/proc/10120/stat : 10120 (java) S 10118 10118 6396 0 -1 1077944320 8264 0 0 0 31 3 0 0 20 0 15 0 105842640 14420930560 10768 33554432000 4194304 4196468 140731529861792 140731529844336 140642790022903 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37576704 140731529868428 140731529868598 140731529868598 140731529871311 0
/proc/10120/statm: 3520735 10768 3192 1 0 3483012 0
[pid=10120/tid=10121] ppid=10118 vsize=14082940 memory=7883960649037381690 CPUtime=0.19 cores=1,3,5,7
/proc/10120/task/10121/stat : 10121 (java) R 10118 10118 6396 0 -1 4202560 5451 0 0 0 18 1 0 0 20 0 15 0 105842641 14420930560 10768 33554432000 4194304 4196468 140731529861792 140642794260848 140642774103390 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37576704 140731529868428 140731529868598 140731529868598 140731529871311 0
[pid=10120/tid=10122] ppid=10118 vsize=14082940 memory=12591 CPUtime=0 cores=1,3,5,7
/proc/10120/task/10122/stat : 10122 (java) S 10118 10118 6396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105842642 14420930560 10768 33554432000 4194304 4196468 140731529861792 140642742643856 140642790033109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37576704 140731529868428 140731529868598 140731529868598 140731529871311 0
[pid=10120/tid=10123] ppid=10118 vsize=14082940 memory=3760981778774238880 CPUtime=0 cores=1,3,5,7
/proc/10120/task/10123/stat : 10123 (java) S 10118 10118 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105842642 14420930560 10768 33554432000 4194304 4196468 140731529861792 140642741591056 140642790033109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37576704 140731529868428 140731529868598 140731529868598 140731529871311 0
[pid=10120/tid=10124] ppid=10118 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10120/task/10124/stat : 10124 (java) S 10118 10118 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105842642 14420930560 10768 33554432000 4194304 4196468 140731529861792 140642740538256 140642790033109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37576704 140731529868428 140731529868598 140731529868598 140731529871311 0
[pid=10120/tid=10125] ppid=10118 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10120/task/10125/stat : 10125 (java) S 10118 10118 6396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105842642 14420930560 10768 33554432000 4194304 4196468 140731529861792 140642739485456 140642790033109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37576704 140731529868428 140731529868598 140731529868598 140731529871311 0
[pid=10120/tid=10126] ppid=10118 vsize=14082940 memory=140531892627072 CPUtime=0 cores=1,3,5,7
/proc/10120/task/10126/stat : 10126 (java) S 10118 10118 6396 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 105842643 14420930560 10768 33554432000 4194304 4196468 140731529861792 140641993492848 140642790034050 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37576704 140731529868428 140731529868598 140731529868598 140731529871311 0
[pid=10120/tid=10127] ppid=10118 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10120/task/10127/stat : 10127 (java) S 10118 10118 6396 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 105842643 14420930560 10768 33554432000 4194304 4196468 140731529861792 140641902797856 140642790033109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37576704 140731529868428 140731529868598 140731529868598 140731529871311 0
[pid=10120/tid=10128] ppid=10118 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10120/task/10128/stat : 10128 (java) S 10118 10118 6396 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105842644 14420930560 10768 33554432000 4194304 4196468 140731529861792 140641901745008 140642790033109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37576704 140731529868428 140731529868598 140731529868598 140731529871311 0
[pid=10120/tid=10129] ppid=10118 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10120/task/10129/stat : 10129 (java) S 10118 10118 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105842646 14420930560 10768 33554432000 4194304 4196468 140731529861792 140641900693328 140642790041499 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37576704 140731529868428 140731529868598 140731529868598 140731529871311 0
[pid=10120/tid=10130] ppid=10118 vsize=14082940 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/10120/task/10130/stat : 10130 (java) S 10118 10118 6396 0 -1 1077944384 517 0 0 0 2 0 0 0 20 0 15 0 105842646 14420930560 10768 33554432000 4194304 4196468 140731529861792 140641899641712 140642790034050 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37576704 140731529868428 140731529868598 140731529868598 140731529871311 0
[pid=10120/tid=10131] ppid=10118 vsize=14082940 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/10120/task/10131/stat : 10131 (java) S 10118 10118 6396 0 -1 1077944384 213 0 0 0 2 0 0 0 20 0 15 0 105842646 14420930560 10768 33554432000 4194304 4196468 140731529861792 140641898588912 140642790034050 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37576704 140731529868428 140731529868598 140731529868598 140731529871311 0
[pid=10120/tid=10132] ppid=10118 vsize=14082940 memory=140531892627072 CPUtime=0.07 cores=1,3,5,7
/proc/10120/task/10132/stat : 10132 (java) S 10118 10118 6396 0 -1 1077944384 800 0 0 0 7 0 0 0 20 0 15 0 105842646 14420930560 10768 33554432000 4194304 4196468 140731529861792 140641897536112 140642790034050 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37576704 140731529868428 140731529868598 140731529868598 140731529871311 0
[pid=10120/tid=10133] ppid=10118 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10120/task/10133/stat : 10133 (java) S 10118 10118 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105842646 14420930560 10768 33554432000 4194304 4196468 140731529861792 140641896483552 140642790033109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37576704 140731529868428 140731529868598 140731529868598 140731529871311 0
[pid=10120/tid=10134] ppid=10118 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10120/task/10134/stat : 10134 (java) S 10118 10118 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105842646 14420930560 10768 33554432000 4194304 4196468 140731529861792 140641895430832 140642790034050 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37576704 140731529868428 140731529868598 140731529868598 140731529871311 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 44524 KiB

[startup+0.318421 s]*
/proc/loadavg: 2.06 2.08 2.05 4/217 10134
/proc/meminfo: memFree=23697088/32770624 swapFree=67108860/67108860
[pid=10118] ppid=10115 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/10118/stat : 10118 (xcsp3-exec) S 10115 10118 6396 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 105842640 115843072 363 33554432000 4194304 5098028 140731041550480 140731041548584 140684118880892 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 11599872 140731041559617 140731041559817 140731041559817 140731041562570 0
/proc/10118/statm: 28282 363 305 221 0 87 0
[pid=10120] ppid=10118 vsize=14087196 memory=50488 CPUtime=0.53 cores=1,3,5,7
/proc/10120/stat : 10120 (java) S 10118 10118 6396 0 -1 1077944320 9277 0 0 0 50 3 0 0 20 0 15 0 105842640 14425288704 12622 33554432000 4194304 4196468 140731529861792 140731529844336 140642790022903 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37576704 140731529868428 140731529868598 140731529868598 140731529871311 0
/proc/10120/statm: 3521799 12622 3255 1 0 3483012 0
[pid=10120/tid=10121] ppid=10118 vsize=14087196 memory=6791534058613427641 CPUtime=0.3 cores=1,3,5,7
/proc/10120/task/10121/stat : 10121 (java) R 10118 10118 6396 0 -1 4202560 6261 0 0 0 28 2 0 0 20 0 15 0 105842641 14425288704 12687 33554432000 4194304 4196468 140731529861792 140642794256960 140642774103390 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37576704 140731529868428 140731529868598 140731529868598 140731529871311 0
[pid=10120/tid=10122] ppid=10118 vsize=14087196 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/10120/task/10122/stat : 10122 (java) S 10118 10118 6396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105842642 14425288704 12687 33554432000 4194304 4196468 140731529861792 140642742643856 140642790033109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37576704 140731529868428 140731529868598 140731529868598 140731529871311 0
[pid=10120/tid=10123] ppid=10118 vsize=14087196 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/10120/task/10123/stat : 10123 (java) S 10118 10118 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105842642 14425288704 12687 33554432000 4194304 4196468 140731529861792 140642741591056 140642790033109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37576704 140731529868428 140731529868598 140731529868598 140731529871311 0
[pid=10120/tid=10124] ppid=10118 vsize=14087196 memory=-5587046532246807594 CPUtime=0 cores=1,3,5,7
/proc/10120/task/10124/stat : 10124 (java) S 10118 10118 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105842642 14425288704 12687 33554432000 4194304 4196468 140731529861792 140642740538256 140642790033109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37576704 140731529868428 140731529868598 140731529868598 140731529871311 0
[pid=10120/tid=10125] ppid=10118 vsize=14087196 memory=7379517710693473142 CPUtime=0 cores=1,3,5,7
/proc/10120/task/10125/stat : 10125 (java) S 10118 10118 6396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105842642 14425288704 12693 33554432000 4194304 4196468 140731529861792 140642739485456 140642790033109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37576704 140731529868428 140731529868598 140731529868598 140731529871311 0
[pid=10120/tid=10126] ppid=10118 vsize=14087196 memory=7016714186490735262 CPUtime=0 cores=1,3,5,7
/proc/10120/task/10126/stat : 10126 (java) S 10118 10118 6396 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 105842643 14425288704 12693 33554432000 4194304 4196468 140731529861792 140641993492848 140642790034050 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37576704 140731529868428 140731529868598 140731529868598 140731529871311 0
[pid=10120/tid=10127] ppid=10118 vsize=14087196 memory=-9062862659931694204 CPUtime=0 cores=1,3,5,7
/proc/10120/task/10127/stat : 10127 (java) S 10118 10118 6396 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 105842643 14425288704 12693 33554432000 4194304 4196468 140731529861792 140641902797856 140642790033109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37576704 140731529868428 140731529868598 140731529868598 140731529871311 0
[pid=10120/tid=10128] ppid=10118 vsize=14087196 memory=3047711566422646390 CPUtime=0 cores=1,3,5,7
/proc/10120/task/10128/stat : 10128 (java) S 10118 10118 6396 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105842644 14425288704 12693 33554432000 4194304 4196468 140731529861792 140641901745008 140642790033109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37576704 140731529868428 140731529868598 140731529868598 140731529871311 0
[pid=10120/tid=10129] ppid=10118 vsize=14087196 memory=8693815914432465728 CPUtime=0 cores=1,3,5,7
/proc/10120/task/10129/stat : 10129 (java) S 10118 10118 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105842646 14425288704 12693 33554432000 4194304 4196468 140731529861792 140641900693328 140642790041499 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37576704 140731529868428 140731529868598 140731529868598 140731529871311 0
[pid=10120/tid=10130] ppid=10118 vsize=14087196 memory=4628975386420216973 CPUtime=0.05 cores=1,3,5,7
/proc/10120/task/10130/stat : 10130 (java) S 10118 10118 6396 0 -1 1077944384 618 0 0 0 5 0 0 0 20 0 15 0 105842646 14425288704 12693 33554432000 4194304 4196468 140731529861792 140641899641712 140642790034050 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37576704 140731529868428 140731529868598 140731529868598 140731529871311 0
[pid=10120/tid=10131] ppid=10118 vsize=14087196 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/10120/task/10131/stat : 10131 (java) S 10118 10118 6396 0 -1 1077944384 222 0 0 0 4 0 0 0 20 0 15 0 105842646 14425288704 12693 33554432000 4194304 4196468 140731529861792 140641898588912 140642790034050 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37576704 140731529868428 140731529868598 140731529868598 140731529871311 0
[pid=10120/tid=10132] ppid=10118 vsize=14087196 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/10120/task/10132/stat : 10132 (java) S 10118 10118 6396 0 -1 1077944384 894 0 0 0 12 0 0 0 20 0 15 0 105842646 14425288704 12693 33554432000 4194304 4196468 140731529861792 140641897536112 140642790034050 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37576704 140731529868428 140731529868598 140731529868598 140731529871311 0
[pid=10120/tid=10133] ppid=10118 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10120/task/10133/stat : 10133 (java) S 10118 10118 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105842646 14425288704 12693 33554432000 4194304 4196468 140731529861792 140641896483552 140642790033109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37576704 140731529868428 140731529868598 140731529868598 140731529871311 0
[pid=10120/tid=10134] ppid=10118 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10120/task/10134/stat : 10134 (java) S 10118 10118 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105842646 14425288704 12693 33554432000 4194304 4196468 140731529861792 140641895430832 140642790034050 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37576704 140731529868428 140731529868598 140731529868598 140731529871311 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 51940 KiB

[startup+0.701414 s]
/proc/loadavg: 2.06 2.08 2.05 6/217 10134
/proc/meminfo: memFree=23671280/32770624 swapFree=67108860/67108860
[pid=10118] ppid=10115 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/10118/stat : 10118 (xcsp3-exec) S 10115 10118 6396 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 105842640 115843072 363 33554432000 4194304 5098028 140731041550480 140731041548584 140684118880892 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 11599872 140731041559617 140731041559817 140731041559817 140731041562570 0
/proc/10118/statm: 28282 363 305 221 0 87 0
[pid=10120] ppid=10118 vsize=14089320 memory=111288 CPUtime=1.7 cores=1,3,5,7
/proc/10120/stat : 10120 (java) S 10118 10118 6396 0 -1 1077944320 12220 0 0 0 165 5 0 0 20 0 15 0 105842640 14427463680 27822 33554432000 4194304 4196468 140731529861792 140731529844336 140642790022903 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37576704 140731529868428 140731529868598 140731529868598 140731529871311 0
/proc/10120/statm: 3522330 27822 3348 1 0 3483524 0
[pid=10120/tid=10121] ppid=10118 vsize=14089320 memory=33 CPUtime=0.68 cores=1,3,5,7
/proc/10120/task/10121/stat : 10121 (java) R 10118 10118 6396 0 -1 4202560 6594 0 0 0 65 3 0 0 20 0 15 0 105842641 14427463680 27822 33554432000 4194304 4196468 140731529861792 140642794257776 140642415084631 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37576704 140731529868428 140731529868598 140731529868598 140731529871311 0
[pid=10120/tid=10122] ppid=10118 vsize=14089320 memory=-7816663703405220396 CPUtime=0 cores=1,3,5,7
/proc/10120/task/10122/stat : 10122 (java) S 10118 10118 6396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105842642 14427463680 27822 33554432000 4194304 4196468 140731529861792 140642742643856 140642790033109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37576704 140731529868428 140731529868598 140731529868598 140731529871311 0
[pid=10120/tid=10123] ppid=10118 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10120/task/10123/stat : 10123 (java) S 10118 10118 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105842642 14427463680 27822 33554432000 4194304 4196468 140731529861792 140642741591056 140642790033109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37576704 140731529868428 140731529868598 140731529868598 140731529871311 0
[pid=10120/tid=10124] ppid=10118 vsize=14089320 memory=30124 CPUtime=0 cores=1,3,5,7
/proc/10120/task/10124/stat : 10124 (java) S 10118 10118 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105842642 14427463680 27822 33554432000 4194304 4196468 140731529861792 140642740538256 140642790033109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37576704 140731529868428 140731529868598 140731529868598 140731529871311 0
[pid=10120/tid=10125] ppid=10118 vsize=14089320 memory=1292 CPUtime=0 cores=1,3,5,7
/proc/10120/task/10125/stat : 10125 (java) S 10118 10118 6396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105842642 14427463680 27822 33554432000 4194304 4196468 140731529861792 140642739485456 140642790033109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37576704 140731529868428 140731529868598 140731529868598 140731529871311 0
[pid=10120/tid=10126] ppid=10118 vsize=14089320 memory=2416 CPUtime=0 cores=1,3,5,7
/proc/10120/task/10126/stat : 10126 (java) S 10118 10118 6396 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 105842643 14427463680 27822 33554432000 4194304 4196468 140731529861792 140641993492848 140642790034050 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37576704 140731529868428 140731529868598 140731529868598 140731529871311 0
[pid=10120/tid=10127] ppid=10118 vsize=14089320 memory=1728 CPUtime=0 cores=1,3,5,7
/proc/10120/task/10127/stat : 10127 (java) S 10118 10118 6396 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 105842643 14427463680 27822 33554432000 4194304 4196468 140731529861792 140641902797856 140642790033109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37576704 140731529868428 140731529868598 140731529868598 140731529871311 0
[pid=10120/tid=10128] ppid=10118 vsize=14089320 memory=1704 CPUtime=0 cores=1,3,5,7
/proc/10120/task/10128/stat : 10128 (java) S 10118 10118 6396 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105842644 14427463680 27822 33554432000 4194304 4196468 140731529861792 140641901745008 140642790033109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37576704 140731529868428 140731529868598 140731529868598 140731529871311 0
[pid=10120/tid=10129] ppid=10118 vsize=14089320 memory=796 CPUtime=0 cores=1,3,5,7
/proc/10120/task/10129/stat : 10129 (java) S 10118 10118 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105842646 14427463680 27822 33554432000 4194304 4196468 140731529861792 140641900693328 140642790041499 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37576704 140731529868428 140731529868598 140731529868598 140731529871311 0
[pid=10120/tid=10130] ppid=10118 vsize=14089320 memory=5408 CPUtime=0.36 cores=1,3,5,7
/proc/10120/task/10130/stat : 10130 (java) R 10118 10118 6396 0 -1 4202560 1534 0 0 0 36 0 0 0 20 0 15 0 105842646 14427463680 27822 33554432000 4194304 4196468 140731529861792 140641899629520 140642771544099 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37576704 140731529868428 140731529868598 140731529868598 140731529871311 0
[pid=10120/tid=10131] ppid=10118 vsize=14089320 memory=1008 CPUtime=0.35 cores=1,3,5,7
/proc/10120/task/10131/stat : 10131 (java) R 10118 10118 6396 0 -1 4202560 1200 0 0 0 35 0 0 0 20 0 15 0 105842646 14427463680 27822 33554432000 4194304 4196468 140731529861792 140641898575760 140642773410219 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37576704 140731529868428 140731529868598 140731529868598 140731529871311 0
[pid=10120/tid=10132] ppid=10118 vsize=14089320 memory=9992 CPUtime=0.29 cores=1,3,5,7
/proc/10120/task/10132/stat : 10132 (java) S 10118 10118 6396 0 -1 1077944384 1603 0 0 0 28 1 0 0 20 0 15 0 105842646 14427463680 27822 33554432000 4194304 4196468 140731529861792 140641897536112 140642790034050 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37576704 140731529868428 140731529868598 140731529868598 140731529871311 0
[pid=10120/tid=10133] ppid=10118 vsize=14089320 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/10120/task/10133/stat : 10133 (java) S 10118 10118 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105842646 14427463680 27822 33554432000 4194304 4196468 140731529861792 140641896483552 140642790033109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37576704 140731529868428 140731529868598 140731529868598 140731529871311 0
[pid=10120/tid=10134] ppid=10118 vsize=14089320 memory=1952 CPUtime=0 cores=1,3,5,7
/proc/10120/task/10134/stat : 10134 (java) S 10118 10118 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105842646 14427463680 27822 33554432000 4194304 4196468 140731529861792 140641895430832 140642790034050 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37576704 140731529868428 140731529868598 140731529868598 140731529871311 0
Current children cumulated CPU time: 1.7 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 112740 KiB

[startup+1.50137 s]
/proc/loadavg: 2.06 2.08 2.05 6/217 10134
/proc/meminfo: memFree=23547908/32770624 swapFree=67108860/67108860
[pid=10118] ppid=10115 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/10118/stat : 10118 (xcsp3-exec) S 10115 10118 6396 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 105842640 115843072 363 33554432000 4194304 5098028 140731041550480 140731041548584 140684118880892 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 11599872 140731041559617 140731041559817 140731041559817 140731041562570 0
/proc/10118/statm: 28282 363 305 221 0 87 0

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

/proc/10120/task/10128/stat : 10128 (java) S 10118 10118 6396 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 15 0 105842644 14427463680 294876 33554432000 4194304 4196468 140731529861792 140641901745024 140642790033109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37576704 140731529868428 140731529868598 140731529868598 140731529871311 0
[pid=10120/tid=10129] ppid=10118 vsize=14089320 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/10120/task/10129/stat : 10129 (java) S 10118 10118 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105842646 14427463680 294876 33554432000 4194304 4196468 140731529861792 140641900693328 140642790041499 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37576704 140731529868428 140731529868598 140731529868598 140731529871311 0
[pid=10120/tid=10130] ppid=10118 vsize=14089320 memory=1054784 CPUtime=3.26 cores=1,3,5,7
/proc/10120/task/10130/stat : 10130 (java) S 10118 10118 6396 0 -1 1077944384 12012 0 0 0 325 1 0 0 20 0 15 0 105842646 14427463680 294876 33554432000 4194304 4196468 140731529861792 140641899641712 140642790034050 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37576704 140731529868428 140731529868598 140731529868598 140731529871311 0
[pid=10120/tid=10131] ppid=10118 vsize=14089320 memory=1452 CPUtime=3.26 cores=1,3,5,7
/proc/10120/task/10131/stat : 10131 (java) S 10118 10118 6396 0 -1 1077944384 11231 0 0 0 325 1 0 0 20 0 15 0 105842646 14427463680 294876 33554432000 4194304 4196468 140731529861792 140641898588912 140642790034050 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37576704 140731529868428 140731529868598 140731529868598 140731529871311 0
[pid=10120/tid=10132] ppid=10118 vsize=14089320 memory=1179504 CPUtime=0.75 cores=1,3,5,7
/proc/10120/task/10132/stat : 10132 (java) S 10118 10118 6396 0 -1 1077944384 6872 0 0 0 73 2 0 0 20 0 15 0 105842646 14427463680 294876 33554432000 4194304 4196468 140731529861792 140641897536112 140642790034050 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37576704 140731529868428 140731529868598 140731529868598 140731529871311 0
[pid=10120/tid=10133] ppid=10118 vsize=14089320 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/10120/task/10133/stat : 10133 (java) S 10118 10118 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105842646 14427463680 294876 33554432000 4194304 4196468 140731529861792 140641896483552 140642790033109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37576704 140731529868428 140731529868598 140731529868598 140731529871311 0
[pid=10120/tid=10134] ppid=10118 vsize=14089320 memory=1179504 CPUtime=0.03 cores=1,3,5,7
/proc/10120/task/10134/stat : 10134 (java) S 10118 10118 6396 0 -1 1077944384 856 0 0 0 1 2 0 0 20 0 15 0 105842646 14427463680 294876 33554432000 4194304 4196468 140731529861792 140641895430832 140642790034050 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 15 0 0 6293624 6294260 37576704 140731529868428 140731529868598 140731529868598 140731529871311 0
Current children cumulated CPU time: 169.97 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 1180956 KiB

[startup+222.301 s]
/proc/loadavg: 1.86 1.91 1.98 6/217 10222
/proc/meminfo: memFree=22530280/32770624 swapFree=67108860/67108860
[pid=10118] ppid=10115 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/10118/stat : 10118 (xcsp3-exec) S 10115 10118 6396 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 105842640 115843072 363 33554432000 4194304 5098028 140731041550480 140731041548584 140684118880892 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 11599872 140731041559617 140731041559817 140731041559817 140731041562570 0
/proc/10118/statm: 28282 363 305 221 0 87 0
[pid=10120] ppid=10118 vsize=14089320 memory=1198208 CPUtime=230.05 cores=1,3,5,7
/proc/10120/stat : 10120 (java) S 10118 10118 6396 0 -1 1077944320 52937 0 0 0 22960 45 0 0 20 0 15 0 105842640 14427463680 299552 33554432000 4194304 4196468 140731529861792 140731529844336 140642790022903 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37576704 140731529868428 140731529868598 140731529868598 140731529871311 0
/proc/10120/statm: 3522330 299552 3426 1 0 3483524 0
[pid=10120/tid=10121] ppid=10118 vsize=14089320 memory=1195508 CPUtime=222.08 cores=1,3,5,7
/proc/10120/task/10121/stat : 10121 (java) R 10118 10118 6396 0 -1 4202560 13646 0 0 0 22191 17 0 0 20 0 15 0 105842641 14427463680 299552 33554432000 4194304 4196468 140731529861792 140642794262496 140642420096977 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37576704 140731529868428 140731529868598 140731529868598 140731529871311 0
[pid=10120/tid=10122] ppid=10118 vsize=14089320 memory=1195508 CPUtime=0.13 cores=1,3,5,7
/proc/10120/task/10122/stat : 10122 (java) S 10118 10118 6396 0 -1 1077944384 927 0 0 0 9 4 0 0 20 0 15 0 105842642 14427463680 299552 33554432000 4194304 4196468 140731529861792 140642742643856 140642790033109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37576704 140731529868428 140731529868598 140731529868598 140731529871311 0
[pid=10120/tid=10123] ppid=10118 vsize=14089320 memory=960 CPUtime=0.15 cores=1,3,5,7
/proc/10120/task/10123/stat : 10123 (java) S 10118 10118 6396 0 -1 1077944384 1898 0 0 0 11 4 0 0 20 0 15 0 105842642 14427463680 299552 33554432000 4194304 4196468 140731529861792 140642741591056 140642790033109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37576704 140731529868428 140731529868598 140731529868598 140731529871311 0
[pid=10120/tid=10124] ppid=10118 vsize=14089320 memory=1198208 CPUtime=0.13 cores=1,3,5,7
/proc/10120/task/10124/stat : 10124 (java) S 10118 10118 6396 0 -1 1077944384 775 0 0 0 9 4 0 0 20 0 15 0 105842642 14427463680 299552 33554432000 4194304 4196468 140731529861792 140642740538256 140642790033109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37576704 140731529868428 140731529868598 140731529868598 140731529871311 0
[pid=10120/tid=10125] ppid=10118 vsize=14089320 memory=1198208 CPUtime=0.12 cores=1,3,5,7
/proc/10120/task/10125/stat : 10125 (java) S 10118 10118 6396 0 -1 1077944384 905 0 0 0 8 4 0 0 20 0 15 0 105842642 14427463680 299552 33554432000 4194304 4196468 140731529861792 140642739485456 140642790033109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37576704 140731529868428 140731529868598 140731529868598 140731529871311 0
[pid=10120/tid=10126] ppid=10118 vsize=14089320 memory=1195508 CPUtime=0.01 cores=1,3,5,7
/proc/10120/task/10126/stat : 10126 (java) S 10118 10118 6396 0 -1 1077944384 1888 0 0 0 1 0 0 0 20 0 15 0 105842643 14427463680 299552 33554432000 4194304 4196468 140731529861792 140641993492848 140642790034050 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37576704 140731529868428 140731529868598 140731529868598 140731529871311 0
[pid=10120/tid=10127] ppid=10118 vsize=14089320 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/10120/task/10127/stat : 10127 (java) S 10118 10118 6396 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 15 0 105842643 14427463680 299552 33554432000 4194304 4196468 140731529861792 140641902797920 140642790033109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37576704 140731529868428 140731529868598 140731529868598 140731529871311 0
[pid=10120/tid=10128] ppid=10118 vsize=14089320 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/10120/task/10128/stat : 10128 (java) S 10118 10118 6396 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 15 0 105842644 14427463680 299552 33554432000 4194304 4196468 140731529861792 140641901745024 140642790033109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37576704 140731529868428 140731529868598 140731529868598 140731529871311 0
[pid=10120/tid=10129] ppid=10118 vsize=14089320 memory=1195508 CPUtime=0 cores=1,3,5,7
/proc/10120/task/10129/stat : 10129 (java) S 10118 10118 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105842646 14427463680 299552 33554432000 4194304 4196468 140731529861792 140641900693328 140642790041499 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37576704 140731529868428 140731529868598 140731529868598 140731529871311 0
[pid=10120/tid=10130] ppid=10118 vsize=14089320 memory=1452 CPUtime=3.27 cores=1,3,5,7
/proc/10120/task/10130/stat : 10130 (java) S 10118 10118 6396 0 -1 1077944384 12632 0 0 0 326 1 0 0 20 0 15 0 105842646 14427463680 299552 33554432000 4194304 4196468 140731529861792 140641899641712 140642790034050 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37576704 140731529868428 140731529868598 140731529868598 140731529871311 0
[pid=10120/tid=10131] ppid=10118 vsize=14089320 memory=4128 CPUtime=3.26 cores=1,3,5,7
/proc/10120/task/10131/stat : 10131 (java) S 10118 10118 6396 0 -1 1077944384 11231 0 0 0 325 1 0 0 20 0 15 0 105842646 14427463680 299552 33554432000 4194304 4196468 140731529861792 140641898588912 140642790034050 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37576704 140731529868428 140731529868598 140731529868598 140731529871311 0
[pid=10120/tid=10132] ppid=10118 vsize=14089320 memory=1452 CPUtime=0.75 cores=1,3,5,7
/proc/10120/task/10132/stat : 10132 (java) S 10118 10118 6396 0 -1 1077944384 6872 0 0 0 73 2 0 0 20 0 15 0 105842646 14427463680 299552 33554432000 4194304 4196468 140731529861792 140641897536112 140642790034050 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37576704 140731529868428 140731529868598 140731529868598 140731529871311 0
[pid=10120/tid=10133] ppid=10118 vsize=14089320 memory=4128 CPUtime=0 cores=1,3,5,7
/proc/10120/task/10133/stat : 10133 (java) S 10118 10118 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105842646 14427463680 299552 33554432000 4194304 4196468 140731529861792 140641896483552 140642790033109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37576704 140731529868428 140731529868598 140731529868598 140731529871311 0
[pid=10120/tid=10134] ppid=10118 vsize=14089320 memory=1292 CPUtime=0.05 cores=1,3,5,7
/proc/10120/task/10134/stat : 10134 (java) S 10118 10118 6396 0 -1 1077944384 866 0 0 0 1 4 0 0 20 0 15 0 105842646 14427463680 299552 33554432000 4194304 4196468 140731529861792 140641895430832 140642790034050 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 15 0 0 6293624 6294260 37576704 140731529868428 140731529868598 140731529868598 140731529871311 0
Current children cumulated CPU time: 230.05 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 1199660 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+244.301 s]
/proc/loadavg: 2.02 1.94 1.99 4/217 10222
/proc/meminfo: memFree=22396484/32770624 swapFree=67108860/67108860
[pid=10118] ppid=10115 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/10118/stat : 10118 (xcsp3-exec) S 10115 10118 6396 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 105842640 115843072 363 33554432000 4194304 5098028 140731041550480 140731041548584 140684118880892 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 11599872 140731041559617 140731041559817 140731041559817 140731041562570 0
/proc/10118/statm: 28282 363 305 221 0 87 0
[pid=10120] ppid=10118 vsize=14089320 memory=1198208 CPUtime=252.05 cores=1,3,5,7
/proc/10120/stat : 10120 (java) S 10118 10118 6396 0 -1 1077944320 53615 0 0 0 25160 45 0 0 20 0 15 0 105842640 14427463680 299552 33554432000 4194304 4196468 140731529861792 140731529844336 140642790022903 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37576704 140731529868428 140731529868598 140731529868598 140731529871311 0
/proc/10120/statm: 3522330 299552 3426 1 0 3483524 0
[pid=10120/tid=10121] ppid=10118 vsize=14089320 memory=1452 CPUtime=244.08 cores=1,3,5,7
/proc/10120/task/10121/stat : 10121 (java) R 10118 10118 6396 0 -1 4202560 14320 0 0 0 24391 17 0 0 20 0 15 0 105842641 14427463680 299552 33554432000 4194304 4196468 140731529861792 140642794262496 140642420183233 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37576704 140731529868428 140731529868598 140731529868598 140731529871311 0
[pid=10120/tid=10122] ppid=10118 vsize=14089320 memory=1198208 CPUtime=0.13 cores=1,3,5,7
/proc/10120/task/10122/stat : 10122 (java) S 10118 10118 6396 0 -1 1077944384 927 0 0 0 9 4 0 0 20 0 15 0 105842642 14427463680 299552 33554432000 4194304 4196468 140731529861792 140642742643856 140642790033109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37576704 140731529868428 140731529868598 140731529868598 140731529871311 0
[pid=10120/tid=10123] ppid=10118 vsize=14089320 memory=1452 CPUtime=0.15 cores=1,3,5,7
/proc/10120/task/10123/stat : 10123 (java) S 10118 10118 6396 0 -1 1077944384 1898 0 0 0 11 4 0 0 20 0 15 0 105842642 14427463680 299552 33554432000 4194304 4196468 140731529861792 140642741591056 140642790033109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37576704 140731529868428 140731529868598 140731529868598 140731529871311 0
[pid=10120/tid=10124] ppid=10118 vsize=14089320 memory=1198208 CPUtime=0.13 cores=1,3,5,7
/proc/10120/task/10124/stat : 10124 (java) S 10118 10118 6396 0 -1 1077944384 775 0 0 0 9 4 0 0 20 0 15 0 105842642 14427463680 299552 33554432000 4194304 4196468 140731529861792 140642740538256 140642790033109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37576704 140731529868428 140731529868598 140731529868598 140731529871311 0
[pid=10120/tid=10125] ppid=10118 vsize=14089320 memory=1452 CPUtime=0.12 cores=1,3,5,7
/proc/10120/task/10125/stat : 10125 (java) S 10118 10118 6396 0 -1 1077944384 905 0 0 0 8 4 0 0 20 0 15 0 105842642 14427463680 299552 33554432000 4194304 4196468 140731529861792 140642739485456 140642790033109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37576704 140731529868428 140731529868598 140731529868598 140731529871311 0
[pid=10120/tid=10126] ppid=10118 vsize=14089320 memory=1198208 CPUtime=0.01 cores=1,3,5,7
/proc/10120/task/10126/stat : 10126 (java) S 10118 10118 6396 0 -1 1077944384 1890 0 0 0 1 0 0 0 20 0 15 0 105842643 14427463680 299552 33554432000 4194304 4196468 140731529861792 140641993492848 140642790034050 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37576704 140731529868428 140731529868598 140731529868598 140731529871311 0
[pid=10120/tid=10127] ppid=10118 vsize=14089320 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/10120/task/10127/stat : 10127 (java) S 10118 10118 6396 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 15 0 105842643 14427463680 299552 33554432000 4194304 4196468 140731529861792 140641902797920 140642790033109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37576704 140731529868428 140731529868598 140731529868598 140731529871311 0
[pid=10120/tid=10128] ppid=10118 vsize=14089320 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/10120/task/10128/stat : 10128 (java) S 10118 10118 6396 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 15 0 105842644 14427463680 299552 33554432000 4194304 4196468 140731529861792 140641901745024 140642790033109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37576704 140731529868428 140731529868598 140731529868598 140731529871311 0
[pid=10120/tid=10129] ppid=10118 vsize=14089320 memory=1195508 CPUtime=0 cores=1,3,5,7
/proc/10120/task/10129/stat : 10129 (java) S 10118 10118 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105842646 14427463680 299552 33554432000 4194304 4196468 140731529861792 140641900693328 140642790041499 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37576704 140731529868428 140731529868598 140731529868598 140731529871311 0
[pid=10120/tid=10130] ppid=10118 vsize=14089320 memory=1 CPUtime=3.27 cores=1,3,5,7
/proc/10120/task/10130/stat : 10130 (java) S 10118 10118 6396 0 -1 1077944384 12632 0 0 0 326 1 0 0 20 0 15 0 105842646 14427463680 299552 33554432000 4194304 4196468 140731529861792 140641899641712 140642790034050 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37576704 140731529868428 140731529868598 140731529868598 140731529871311 0
[pid=10120/tid=10131] ppid=10118 vsize=14089320 memory=4128 CPUtime=3.26 cores=1,3,5,7
/proc/10120/task/10131/stat : 10131 (java) S 10118 10118 6396 0 -1 1077944384 11231 0 0 0 325 1 0 0 20 0 15 0 105842646 14427463680 299552 33554432000 4194304 4196468 140731529861792 140641898588912 140642790034050 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37576704 140731529868428 140731529868598 140731529868598 140731529871311 0
[pid=10120/tid=10132] ppid=10118 vsize=14089320 memory=1292 CPUtime=0.75 cores=1,3,5,7
/proc/10120/task/10132/stat : 10132 (java) S 10118 10118 6396 0 -1 1077944384 6872 0 0 0 73 2 0 0 20 0 15 0 105842646 14427463680 299552 33554432000 4194304 4196468 140731529861792 140641897536112 140642790034050 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37576704 140731529868428 140731529868598 140731529868598 140731529871311 0
[pid=10120/tid=10133] ppid=10118 vsize=14089320 memory=2416 CPUtime=0 cores=1,3,5,7
/proc/10120/task/10133/stat : 10133 (java) S 10118 10118 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105842646 14427463680 299552 33554432000 4194304 4196468 140731529861792 140641896483552 140642790033109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37576704 140731529868428 140731529868598 140731529868598 140731529871311 0
[pid=10120/tid=10134] ppid=10118 vsize=14089320 memory=1452 CPUtime=0.05 cores=1,3,5,7
/proc/10120/task/10134/stat : 10134 (java) S 10118 10118 6396 0 -1 1077944384 868 0 0 0 1 4 0 0 20 0 15 0 105842646 14427463680 299552 33554432000 4194304 4196468 140731529861792 140641895430832 140642790034050 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 15 0 0 6293624 6294260 37576704 140731529868428 140731529868598 140731529868598 140731529871311 0
Current children cumulated CPU time: 252.05 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 1199660 KiB

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

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

[startup+244.319 s]
# the end of solver process 10120 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=251.616 s, system=0.468337 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+244.301 s]
/proc/loadavg: 2.02 1.94 1.99 4/217 10222
/proc/meminfo: memFree=22396484/32770624 swapFree=67108860/67108860
[pid=10118] ppid=10115 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/10118/stat : 10118 (xcsp3-exec) S 10115 10118 6396 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 105842640 115843072 363 33554432000 4194304 5098028 140731041550480 140731041548584 140684118880892 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 11599872 140731041559617 140731041559817 140731041559817 140731041562570 0
/proc/10118/statm: 28282 363 305 221 0 87 0
[pid=10120] ppid=10118 vsize=14089320 memory=1198208 CPUtime=252.05 cores=1,3,5,7
/proc/10120/stat : 10120 (java) S 10118 10118 6396 0 -1 1077944320 53615 0 0 0 25160 45 0 0 20 0 15 0 105842640 14427463680 299552 33554432000 4194304 4196468 140731529861792 140731529844336 140642790022903 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37576704 140731529868428 140731529868598 140731529868598 140731529871311 0
/proc/10120/statm: 3522330 299552 3426 1 0 3483524 0
[pid=10120/tid=10121] ppid=10118 vsize=14089320 memory=1452 CPUtime=244.08 cores=1,3,5,7
/proc/10120/task/10121/stat : 10121 (java) R 10118 10118 6396 0 -1 4202560 14320 0 0 0 24391 17 0 0 20 0 15 0 105842641 14427463680 299552 33554432000 4194304 4196468 140731529861792 140642794262496 140642420183233 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37576704 140731529868428 140731529868598 140731529868598 140731529871311 0
[pid=10120/tid=10122] ppid=10118 vsize=14089320 memory=1198208 CPUtime=0.13 cores=1,3,5,7
/proc/10120/task/10122/stat : 10122 (java) S 10118 10118 6396 0 -1 1077944384 927 0 0 0 9 4 0 0 20 0 15 0 105842642 14427463680 299552 33554432000 4194304 4196468 140731529861792 140642742643856 140642790033109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37576704 140731529868428 140731529868598 140731529868598 140731529871311 0
[pid=10120/tid=10123] ppid=10118 vsize=14089320 memory=1452 CPUtime=0.15 cores=1,3,5,7
/proc/10120/task/10123/stat : 10123 (java) S 10118 10118 6396 0 -1 1077944384 1898 0 0 0 11 4 0 0 20 0 15 0 105842642 14427463680 299552 33554432000 4194304 4196468 140731529861792 140642741591056 140642790033109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37576704 140731529868428 140731529868598 140731529868598 140731529871311 0
[pid=10120/tid=10124] ppid=10118 vsize=14089320 memory=1198208 CPUtime=0.13 cores=1,3,5,7
/proc/10120/task/10124/stat : 10124 (java) S 10118 10118 6396 0 -1 1077944384 775 0 0 0 9 4 0 0 20 0 15 0 105842642 14427463680 299552 33554432000 4194304 4196468 140731529861792 140642740538256 140642790033109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37576704 140731529868428 140731529868598 140731529868598 140731529871311 0
[pid=10120/tid=10125] ppid=10118 vsize=14089320 memory=1452 CPUtime=0.12 cores=1,3,5,7
/proc/10120/task/10125/stat : 10125 (java) S 10118 10118 6396 0 -1 1077944384 905 0 0 0 8 4 0 0 20 0 15 0 105842642 14427463680 299552 33554432000 4194304 4196468 140731529861792 140642739485456 140642790033109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37576704 140731529868428 140731529868598 140731529868598 140731529871311 0
[pid=10120/tid=10126] ppid=10118 vsize=14089320 memory=1198208 CPUtime=0.01 cores=1,3,5,7
/proc/10120/task/10126/stat : 10126 (java) S 10118 10118 6396 0 -1 1077944384 1890 0 0 0 1 0 0 0 20 0 15 0 105842643 14427463680 299552 33554432000 4194304 4196468 140731529861792 140641993492848 140642790034050 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37576704 140731529868428 140731529868598 140731529868598 140731529871311 0
[pid=10120/tid=10127] ppid=10118 vsize=14089320 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/10120/task/10127/stat : 10127 (java) S 10118 10118 6396 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 15 0 105842643 14427463680 299552 33554432000 4194304 4196468 140731529861792 140641902797920 140642790033109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37576704 140731529868428 140731529868598 140731529868598 140731529871311 0
[pid=10120/tid=10128] ppid=10118 vsize=14089320 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/10120/task/10128/stat : 10128 (java) S 10118 10118 6396 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 15 0 105842644 14427463680 299552 33554432000 4194304 4196468 140731529861792 140641901745024 140642790033109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37576704 140731529868428 140731529868598 140731529868598 140731529871311 0
[pid=10120/tid=10129] ppid=10118 vsize=14089320 memory=1195508 CPUtime=0 cores=1,3,5,7
/proc/10120/task/10129/stat : 10129 (java) S 10118 10118 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105842646 14427463680 299552 33554432000 4194304 4196468 140731529861792 140641900693328 140642790041499 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37576704 140731529868428 140731529868598 140731529868598 140731529871311 0
[pid=10120/tid=10130] ppid=10118 vsize=14089320 memory=1 CPUtime=3.27 cores=1,3,5,7
/proc/10120/task/10130/stat : 10130 (java) S 10118 10118 6396 0 -1 1077944384 12632 0 0 0 326 1 0 0 20 0 15 0 105842646 14427463680 299552 33554432000 4194304 4196468 140731529861792 140641899641712 140642790034050 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37576704 140731529868428 140731529868598 140731529868598 140731529871311 0
[pid=10120/tid=10131] ppid=10118 vsize=14089320 memory=4128 CPUtime=3.26 cores=1,3,5,7
/proc/10120/task/10131/stat : 10131 (java) S 10118 10118 6396 0 -1 1077944384 11231 0 0 0 325 1 0 0 20 0 15 0 105842646 14427463680 299552 33554432000 4194304 4196468 140731529861792 140641898588912 140642790034050 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37576704 140731529868428 140731529868598 140731529868598 140731529871311 0
[pid=10120/tid=10132] ppid=10118 vsize=14089320 memory=1292 CPUtime=0.75 cores=1,3,5,7
/proc/10120/task/10132/stat : 10132 (java) S 10118 10118 6396 0 -1 1077944384 6872 0 0 0 73 2 0 0 20 0 15 0 105842646 14427463680 299552 33554432000 4194304 4196468 140731529861792 140641897536112 140642790034050 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37576704 140731529868428 140731529868598 140731529868598 140731529871311 0
[pid=10120/tid=10133] ppid=10118 vsize=14089320 memory=2416 CPUtime=0 cores=1,3,5,7
/proc/10120/task/10133/stat : 10133 (java) S 10118 10118 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105842646 14427463680 299552 33554432000 4194304 4196468 140731529861792 140641896483552 140642790033109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37576704 140731529868428 140731529868598 140731529868598 140731529871311 0
[pid=10120/tid=10134] ppid=10118 vsize=14089320 memory=1452 CPUtime=0.05 cores=1,3,5,7
/proc/10120/task/10134/stat : 10134 (java) S 10118 10118 6396 0 -1 1077944384 868 0 0 0 1 4 0 0 20 0 15 0 105842646 14427463680 299552 33554432000 4194304 4196468 140731529861792 140641895430832 140642790034050 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 15 0 0 6293624 6294260 37576704 140731529868428 140731529868598 140731529868598 140731529871311 0
Current children cumulated CPU time: 252.05 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 1199660 KiB

Child status: 143
Real time (s): 244.319
CPU time (s): 252.084
CPU user time (s): 251.616
CPU system time (s): 0.468337
CPU usage (%): 103.178
Max. virtual memory (cumulated for all children) (KiB): 14202448
Max. memory (cumulated for all children) (KiB): 1199660

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.616
system time used= 0.468337
maximum resident set size= 1201800
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 54787
page faults= 0
swaps= 0
block input operations= 0
block output operations= 336
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8113
involuntary context switches= 169


# summary of solver processes directly reported to runsolver:
#   pid: 10118,10120
#   total CPU time (s): 252.084
#   total CPU user time (s): 251.616
#   total CPU system time (s): 0.468337

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.57857 second user time and 2.13879 second system time

The end

Launcher Data 

Begin job on node139 at 2018-07-29 18:46:35
IDJOB=4301549
IDBENCH=141214
IDSOLVER=2772
FILE ID=node139/4301549-1532882795
RUNJOBID= node139-1532878307-6428
PBS_JOBID= 21022510
Free space on /tmp= 45024 MiB

SOLVER NAME= Choco-solver 4.0.7b seq (e747e1e)
BENCH NAME= XCSP18/SumColoring/SumColoring-dsjc-250-9_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-4301549-1532882795/watcher-4301549-1532882795 -o /tmp/evaluation-result-4301549-1532882795/solver-4301549-1532882795 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node139-1532878307-6428 --watchdog 312  HOME/xcsp3-exec -seed 898984650 -dir HOME -tl 252 -ml 11000 -p 1 HOME/instance-4301549-1532882795.xml

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

MD5SUM BENCH= 15c7aefb85365a32de6dc875f5012851
RANDOM SEED=898984650

node139.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.80
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.80
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.80
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.80
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:        23734652 kB
MemAvailable:   31733108 kB
Buffers:          249712 kB
Cached:          7863228 kB
SwapCached:            0 kB
Active:          3234688 kB
Inactive:        5127608 kB
Active(anon):     203612 kB
Inactive(anon):    73544 kB
Active(file):    3031076 kB
Inactive(file):  5054064 kB
Unevictable:        7308 kB
Mlocked:            7308 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             22784 kB
Writeback:             0 kB
AnonPages:        243684 kB
Mapped:            57592 kB
Shmem:             25228 kB
Slab:             371480 kB
SReclaimable:     341776 kB
SUnreclaim:        29704 kB
KernelStack:        3840 kB
PageTables:         5520 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1264860 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    141312 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      107904 kB
DirectMap2M:    33437696 kB

Free space on /tmp at the end= 45004 MiB
End job on node139 at 2018-07-29 18:50:39