Trace number 4270682

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
choco-solver 4.0.5 par (2017-08-09)SAT (TO)9 19859.9 2520.1201

General information on the benchmark

NameQueenAttacking/QueenAttacking-m1-s1/
QueenAttacking-10.xml
MD5SUMd4423909be1c89335e37f95235f61406
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark9
Best CPU time to get the best result obtained on this benchmark2520.05
Satisfiable
(Un)Satisfiability was proved
Number of variables126
Number of constraints125
Number of domains2
Minimum domain size2
Maximum domain size100
Distribution of domain sizes[{"size":2,"count":25},{"size":100,"count":101}]
Minimum variable degree2
Maximum variable degree25
Distribution of variable degrees[{"degree":2,"count":27},{"degree":3,"count":73},{"degree":4,"count":25},{"degree":25,"count":1}]
Minimum constraint arity2
Maximum constraint arity100
Distribution of constraint arities[{"arity":2,"count":99},{"arity":3,"count":25},{"arity":100,"count":1}]
Number of extensional constraints0
Number of intensional constraints124
Distribution of constraint types[{"type":"intension","count":124},{"type":"allDifferent","count":1}]
Optimization problemYES
Type of objectivemin SUM

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4270682-1502750692.xml"  -tl '20160s' -p 8 -x 0
0.11/0.14	c [HOME/instance-4270682-1502750692.xml, -tl, 20160s, -p, 8, -x, 0]
0.11/0.20	c 8 solvers in parallel
0.33/0.26	c parse instance...
9.70/6.37	c solve instance...
51.92/11.74	o 16 
51.92/11.75	o 12 
69.09/13.93	o 11 
994.42/130.44	o 9 
19859.11/2520.09	s SATISFIABLE
19859.11/2520.09	v <instantiation>
19859.11/2520.09	v 	<list>q 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] b[0] b[1] b[2] b[3] b[4] b[5] b[6] b[7] b[8] b[9] b[10] b[11] b[12] b[13] b[14] b[15] b[16] b[17] b[18] b[19] b[20] b[21] b[22] b[23] b[24] </list>
19859.11/2520.09	v 	<values>44 2 21 0 12 4 16 8 27 19 38 46 25 33 45 64 56 48 29 37 58 39 47 35 43 51 30 42 34 26 18 6 14 22 10 31 23 11 3 15 7 28 9 17 5 13 1 20 32 24 36 44 52 40 61 53 41 60 72 80 92 71 50 62 54 66 74 55 63 75 67 59 78 99 87 79 98 77 96 88 69 57 49 68 89 97 85 93 81 73 94 86 65 84 76 95 83 91 70 82 90 1 0 0 0 0 0 0 1 0 0 1 0 1 0 1 0 0 0 0 1 0 0 1 1 1 </values>
19859.11/2520.09	v </instantiation>
19859.11/2520.09	c Unexpected resolution interruption!

Verifier Data 

OK	9

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4270682-1502750692/watcher-4270682-1502750692 -o /tmp/evaluation-result-4270682-1502750692/solver-4270682-1502750692 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node107-1502739680-32663 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 130953668 HOME/instance-4270682-1502750692.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=2126, runsolver pid=2123
Current StackSize limit: 8192 KiB


[startup+0.100135 s]*
/proc/loadavg: 0.50 0.64 1.28 2/200 2147
/proc/meminfo: memFree=29086372/32770624 swapFree=67108860/67108860
[pid=2126] ppid=2123 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/2126/stat : 2126 (xcsp3-exec) S 2123 2126 32636 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 108157233 9740288 346 33554432000 4194304 5098028 140720637593728 140720637591832 140448715690620 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29323264 140720637600869 140720637601079 140720637601079 140720637603819 0
/proc/2126/statm: 2378 346 289 221 0 87 0
[pid=2128] ppid=2126 vsize=25999808 memory=26692 CPUtime=0.11 cores=0-7
/proc/2128/stat : 2128 (java) S 2126 2126 32636 0 -1 1077944320 5524 0 0 0 10 1 0 0 20 0 20 0 108157233 26623803392 6673 33554432000 4194304 4196468 140727985431152 140727985413696 139989737324279 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36724736 140727985439890 140727985440067 140727985440067 140727985442767 0
/proc/2128/statm: 6499952 6673 2878 1 0 6488269 0
[pid=2128/tid=2129] ppid=2126 vsize=25999808 memory=6935054825532540783 CPUtime=0.08 cores=0-7
/proc/2128/task/2129/stat : 2129 (java) R 2126 2126 32636 0 -1 4202560 3548 0 0 0 8 0 0 0 20 0 20 0 108157233 26623803392 6673 33554432000 4194304 4196468 140727985431152 139989741557552 139989737336214 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36724736 140727985439890 140727985440067 140727985440067 140727985442767 0
[pid=2128/tid=2130] ppid=2126 vsize=25999808 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/2128/task/2130/stat : 2130 (java) S 2126 2126 32636 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 108157234 26623803392 6673 33554432000 4194304 4196468 140727985431152 139989696085136 139989737334485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36724736 140727985439890 140727985440067 140727985440067 140727985442767 0
[pid=2128/tid=2131] ppid=2126 vsize=25999808 memory=140196587349632 CPUtime=0 cores=0-7
/proc/2128/task/2131/stat : 2131 (java) S 2126 2126 32636 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 108157234 26623803392 6673 33554432000 4194304 4196468 140727985431152 139989294271504 139989737334485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36724736 140727985439890 140727985440067 140727985440067 140727985442767 0
[pid=2128/tid=2132] ppid=2126 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/2128/task/2132/stat : 2132 (java) S 2126 2126 32636 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 108157234 26623803392 6673 33554432000 4194304 4196468 140727985431152 139989293218704 139989737334485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36724736 140727985439890 140727985440067 140727985440067 140727985442767 0
[pid=2128/tid=2133] ppid=2126 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/2128/task/2133/stat : 2133 (java) S 2126 2126 32636 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 108157234 26623803392 6673 33554432000 4194304 4196468 140727985431152 139989292165904 139989737334485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36724736 140727985439890 140727985440067 140727985440067 140727985442767 0
[pid=2128/tid=2134] ppid=2126 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/2128/task/2134/stat : 2134 (java) S 2126 2126 32636 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 108157234 26623803392 6673 33554432000 4194304 4196468 140727985431152 139989291113104 139989737334485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36724736 140727985439890 140727985440067 140727985440067 140727985442767 0
[pid=2128/tid=2135] ppid=2126 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/2128/task/2135/stat : 2135 (java) S 2126 2126 32636 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 108157234 26623803392 6673 33554432000 4194304 4196468 140727985431152 139989290060304 139989737334485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36724736 140727985439890 140727985440067 140727985440067 140727985442767 0
[pid=2128/tid=2136] ppid=2126 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/2128/task/2136/stat : 2136 (java) S 2126 2126 32636 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 108157234 26623803392 6673 33554432000 4194304 4196468 140727985431152 139989289007504 139989737334485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36724736 140727985439890 140727985440067 140727985440067 140727985442767 0
[pid=2128/tid=2137] ppid=2126 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/2128/task/2137/stat : 2137 (java) S 2126 2126 32636 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 108157234 26623803392 6673 33554432000 4194304 4196468 140727985431152 139989287954704 139989737334485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36724736 140727985439890 140727985440067 140727985440067 140727985442767 0
[pid=2128/tid=2138] ppid=2126 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/2128/task/2138/stat : 2138 (java) S 2126 2126 32636 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 108157236 26623803392 6673 33554432000 4194304 4196468 140727985431152 139989133196144 139989737335426 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36724736 140727985439890 140727985440067 140727985440067 140727985442767 0
[pid=2128/tid=2139] ppid=2126 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/2128/task/2139/stat : 2139 (java) S 2126 2126 32636 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 108157236 26623803392 6673 33554432000 4194304 4196468 140727985431152 139989132142112 139989737334485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36724736 140727985439890 140727985440067 140727985440067 140727985442767 0
[pid=2128/tid=2140] ppid=2126 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/2128/task/2140/stat : 2140 (java) S 2126 2126 32636 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 108157236 26623803392 6673 33554432000 4194304 4196468 140727985431152 139989131089264 139989737334485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36724736 140727985439890 140727985440067 140727985440067 140727985442767 0
[pid=2128/tid=2141] ppid=2126 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/2128/task/2141/stat : 2141 (java) S 2126 2126 32636 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 108157239 26623803392 6673 33554432000 4194304 4196468 140727985431152 139989130037584 139989737342875 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36724736 140727985439890 140727985440067 140727985440067 140727985442767 0
[pid=2128/tid=2142] ppid=2126 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/2128/task/2142/stat : 2142 (java) S 2126 2126 32636 0 -1 1077944384 420 0 0 0 0 0 0 0 20 0 20 0 108157239 26623803392 6673 33554432000 4194304 4196468 140727985431152 139989128984944 139989737335426 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36724736 140727985439890 140727985440067 140727985440067 140727985442767 0
[pid=2128/tid=2143] ppid=2126 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/2128/task/2143/stat : 2143 (java) R 2126 2126 32636 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 108157239 26623803392 6673 33554432000 4194304 4196468 140727985431152 139989127932144 139989737335426 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36724736 140727985439890 140727985440067 140727985440067 140727985442767 0
[pid=2128/tid=2144] ppid=2126 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/2128/task/2144/stat : 2144 (java) S 2126 2126 32636 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 108157239 26623803392 6673 33554432000 4194304 4196468 140727985431152 139989126879344 139989737335426 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36724736 140727985439890 140727985440067 140727985440067 140727985442767 0
[pid=2128/tid=2145] ppid=2126 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/2128/task/2145/stat : 2145 (java) R 2126 2126 32636 0 -1 4202560 253 0 0 0 1 0 0 0 20 0 20 0 108157239 26623803392 6673 33554432000 4194304 4196468 140727985431152 139989125826544 139989737336214 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36724736 140727985439890 140727985440067 140727985440067 140727985442767 0
[pid=2128/tid=2146] ppid=2126 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/2128/task/2146/stat : 2146 (java) S 2126 2126 32636 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 108157239 26623803392 6673 33554432000 4194304 4196468 140727985431152 139989124775008 139989737334485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36724736 140727985439890 140727985440067 140727985440067 140727985442767 0
[pid=2128/tid=2147] ppid=2126 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/2128/task/2147/stat : 2147 (java) S 2126 2126 32636 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 108157239 26623803392 6673 33554432000 4194304 4196468 140727985431152 139989123722288 139989737335426 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36724736 140727985439890 140727985440067 140727985440067 140727985442767 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 28076 KiB

[startup+0.209733 s]*
/proc/loadavg: 0.50 0.64 1.28 2/200 2147
/proc/meminfo: memFree=29074728/32770624 swapFree=67108860/67108860
[pid=2126] ppid=2123 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/2126/stat : 2126 (xcsp3-exec) S 2123 2126 32636 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 108157233 9740288 346 33554432000 4194304 5098028 140720637593728 140720637591832 140448715690620 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29323264 140720637600869 140720637601079 140720637601079 140720637603819 0
/proc/2126/statm: 2378 346 289 221 0 87 0
[pid=2128] ppid=2126 vsize=26004064 memory=39044 CPUtime=0.33 cores=0-7
/proc/2128/stat : 2128 (java) S 2126 2126 32636 0 -1 1077944320 8309 0 0 0 30 3 0 0 20 0 20 0 108157233 26628161536 9761 33554432000 4194304 4196468 140727985431152 140727985413696 139989737324279 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36724736 140727985439890 140727985440067 140727985440067 140727985442767 0
/proc/2128/statm: 6501016 9761 3055 1 0 6488269 0
[pid=2128/tid=2129] ppid=2126 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/2128/task/2129/stat : 2129 (java) R 2126 2126 32636 0 -1 4202560 5439 0 0 0 18 1 0 0 20 0 20 0 108157233 26628161536 9761 33554432000 4194304 4196468 140727985431152 139989741545272 139989737346205 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36724736 140727985439890 140727985440067 140727985440067 140727985442767 0
[pid=2128/tid=2130] ppid=2126 vsize=26004064 memory=327 CPUtime=0 cores=0-7
/proc/2128/task/2130/stat : 2130 (java) S 2126 2126 32636 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 108157234 26628161536 9761 33554432000 4194304 4196468 140727985431152 139989696085136 139989737334485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36724736 140727985439890 140727985440067 140727985440067 140727985442767 0
[pid=2128/tid=2131] ppid=2126 vsize=26004064 memory=140196587363857 CPUtime=0 cores=0-7
/proc/2128/task/2131/stat : 2131 (java) S 2126 2126 32636 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 108157234 26628161536 9761 33554432000 4194304 4196468 140727985431152 139989294271504 139989737334485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36724736 140727985439890 140727985440067 140727985440067 140727985442767 0
[pid=2128/tid=2132] ppid=2126 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/2128/task/2132/stat : 2132 (java) S 2126 2126 32636 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 108157234 26628161536 9761 33554432000 4194304 4196468 140727985431152 139989293218704 139989737334485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36724736 140727985439890 140727985440067 140727985440067 140727985442767 0
[pid=2128/tid=2133] ppid=2126 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/2128/task/2133/stat : 2133 (java) S 2126 2126 32636 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 108157234 26628161536 9761 33554432000 4194304 4196468 140727985431152 139989292165904 139989737334485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36724736 140727985439890 140727985440067 140727985440067 140727985442767 0
[pid=2128/tid=2134] ppid=2126 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/2128/task/2134/stat : 2134 (java) S 2126 2126 32636 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 108157234 26628161536 9761 33554432000 4194304 4196468 140727985431152 139989291113104 139989737334485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36724736 140727985439890 140727985440067 140727985440067 140727985442767 0
[pid=2128/tid=2135] ppid=2126 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/2128/task/2135/stat : 2135 (java) S 2126 2126 32636 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 108157234 26628161536 9761 33554432000 4194304 4196468 140727985431152 139989290060304 139989737334485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36724736 140727985439890 140727985440067 140727985440067 140727985442767 0
[pid=2128/tid=2136] ppid=2126 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/2128/task/2136/stat : 2136 (java) S 2126 2126 32636 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 108157234 26628161536 9761 33554432000 4194304 4196468 140727985431152 139989289007504 139989737334485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36724736 140727985439890 140727985440067 140727985440067 140727985442767 0
[pid=2128/tid=2137] ppid=2126 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/2128/task/2137/stat : 2137 (java) S 2126 2126 32636 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 108157234 26628161536 9761 33554432000 4194304 4196468 140727985431152 139989287954704 139989737334485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36724736 140727985439890 140727985440067 140727985440067 140727985442767 0
[pid=2128/tid=2138] ppid=2126 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/2128/task/2138/stat : 2138 (java) S 2126 2126 32636 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 108157236 26628161536 9761 33554432000 4194304 4196468 140727985431152 139989133196144 139989737335426 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36724736 140727985439890 140727985440067 140727985440067 140727985442767 0
[pid=2128/tid=2139] ppid=2126 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/2128/task/2139/stat : 2139 (java) S 2126 2126 32636 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 108157236 26628161536 9761 33554432000 4194304 4196468 140727985431152 139989132142112 139989737334485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36724736 140727985439890 140727985440067 140727985440067 140727985442767 0
[pid=2128/tid=2140] ppid=2126 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/2128/task/2140/stat : 2140 (java) S 2126 2126 32636 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 108157236 26628161536 9761 33554432000 4194304 4196468 140727985431152 139989131089264 139989737334485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36724736 140727985439890 140727985440067 140727985440067 140727985442767 0
[pid=2128/tid=2141] ppid=2126 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/2128/task/2141/stat : 2141 (java) S 2126 2126 32636 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 108157239 26628161536 9761 33554432000 4194304 4196468 140727985431152 139989130037584 139989737342875 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36724736 140727985439890 140727985440067 140727985440067 140727985442767 0
[pid=2128/tid=2142] ppid=2126 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/2128/task/2142/stat : 2142 (java) S 2126 2126 32636 0 -1 1077944384 633 0 0 0 1 0 0 0 20 0 20 0 108157239 26628161536 9761 33554432000 4194304 4196468 140727985431152 139989128984944 139989737335426 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36724736 140727985439890 140727985440067 140727985440067 140727985442767 0
[pid=2128/tid=2143] ppid=2126 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/2128/task/2143/stat : 2143 (java) R 2126 2126 32636 0 -1 1077944384 46 0 0 0 1 0 0 0 20 0 20 0 108157239 26628161536 9761 33554432000 4194304 4196468 140727985431152 139989127932144 139989737335426 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36724736 140727985439890 140727985440067 140727985440067 140727985442767 0
[pid=2128/tid=2144] ppid=2126 vsize=26004064 memory=-1 CPUtime=0.01 cores=0-7
/proc/2128/task/2144/stat : 2144 (java) S 2126 2126 32636 0 -1 1077944384 138 0 0 0 1 0 0 0 20 0 20 0 108157239 26628161536 9761 33554432000 4194304 4196468 140727985431152 139989126879344 139989737335426 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36724736 140727985439890 140727985440067 140727985440067 140727985442767 0
[pid=2128/tid=2145] ppid=2126 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7
/proc/2128/task/2145/stat : 2145 (java) S 2126 2126 32636 0 -1 1077944384 745 0 0 0 7 0 0 0 20 0 20 0 108157239 26628161536 9761 33554432000 4194304 4196468 140727985431152 139989125826544 139989737335426 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36724736 140727985439890 140727985440067 140727985440067 140727985442767 0
[pid=2128/tid=2146] ppid=2126 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/2128/task/2146/stat : 2146 (java) S 2126 2126 32636 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 108157239 26628161536 9761 33554432000 4194304 4196468 140727985431152 139989124775008 139989737334485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36724736 140727985439890 140727985440067 140727985440067 140727985442767 0
[pid=2128/tid=2147] ppid=2126 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/2128/task/2147/stat : 2147 (java) S 2126 2126 32636 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 108157239 26628161536 9761 33554432000 4194304 4196468 140727985431152 139989123722288 139989737335426 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36724736 140727985439890 140727985440067 140727985440067 140727985442767 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40428 KiB

[startup+0.309565 s]*
/proc/loadavg: 0.50 0.64 1.28 3/200 2147
/proc/meminfo: memFree=29068152/32770624 swapFree=67108860/67108860
[pid=2126] ppid=2123 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/2126/stat : 2126 (xcsp3-exec) S 2123 2126 32636 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 108157233 9740288 346 33554432000 4194304 5098028 140720637593728 140720637591832 140448715690620 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29323264 140720637600869 140720637601079 140720637601079 140720637603819 0
/proc/2126/statm: 2378 346 289 221 0 87 0
[pid=2128] ppid=2126 vsize=26004064 memory=45744 CPUtime=0.5 cores=0-7
/proc/2128/stat : 2128 (java) S 2126 2126 32636 0 -1 1077944320 9201 0 0 0 46 4 0 0 20 0 20 0 108157233 26628161536 11436 33554432000 4194304 4196468 140727985431152 140727985413696 139989737324279 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36724736 140727985439890 140727985440067 140727985440067 140727985442767 0
/proc/2128/statm: 6501016 11436 3081 1 0 6488269 0
[pid=2128/tid=2129] ppid=2126 vsize=26004064 memory=6935054825532540783 CPUtime=0.29 cores=0-7
/proc/2128/task/2129/stat : 2129 (java) R 2126 2126 32636 0 -1 4202560 6174 0 0 0 27 2 0 0 20 0 20 0 108157233 26628161536 11436 33554432000 4194304 4196468 140727985431152 139989741556704 139989721404766 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36724736 140727985439890 140727985440067 140727985440067 140727985442767 0
[pid=2128/tid=2130] ppid=2126 vsize=26004064 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/2128/task/2130/stat : 2130 (java) S 2126 2126 32636 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 108157234 26628161536 11436 33554432000 4194304 4196468 140727985431152 139989696085136 139989737334485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36724736 140727985439890 140727985440067 140727985440067 140727985442767 0
[pid=2128/tid=2131] ppid=2126 vsize=26004064 memory=1196 CPUtime=0 cores=0-7
/proc/2128/task/2131/stat : 2131 (java) S 2126 2126 32636 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 108157234 26628161536 11436 33554432000 4194304 4196468 140727985431152 139989294271504 139989737334485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36724736 140727985439890 140727985440067 140727985440067 140727985442767 0
[pid=2128/tid=2132] ppid=2126 vsize=26004064 memory=4612 CPUtime=0 cores=0-7
/proc/2128/task/2132/stat : 2132 (java) S 2126 2126 32636 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 108157234 26628161536 11499 33554432000 4194304 4196468 140727985431152 139989293218704 139989737334485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36724736 140727985439890 140727985440067 140727985440067 140727985442767 0
[pid=2128/tid=2133] ppid=2126 vsize=26004064 memory=15872 CPUtime=0 cores=0-7
/proc/2128/task/2133/stat : 2133 (java) S 2126 2126 32636 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 108157234 26628161536 11499 33554432000 4194304 4196468 140727985431152 139989292165904 139989737334485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36724736 140727985439890 140727985440067 140727985440067 140727985442767 0
[pid=2128/tid=2134] ppid=2126 vsize=26004064 memory=18448 CPUtime=0 cores=0-7
/proc/2128/task/2134/stat : 2134 (java) S 2126 2126 32636 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 108157234 26628161536 11499 33554432000 4194304 4196468 140727985431152 139989291113104 139989737334485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36724736 140727985439890 140727985440067 140727985440067 140727985442767 0
[pid=2128/tid=2135] ppid=2126 vsize=26004064 memory=17236 CPUtime=0 cores=0-7
/proc/2128/task/2135/stat : 2135 (java) S 2126 2126 32636 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 108157234 26628161536 11499 33554432000 4194304 4196468 140727985431152 139989290060304 139989737334485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36724736 140727985439890 140727985440067 140727985440067 140727985442767 0
[pid=2128/tid=2136] ppid=2126 vsize=26004064 memory=4044 CPUtime=0 cores=0-7
/proc/2128/task/2136/stat : 2136 (java) S 2126 2126 32636 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 108157234 26628161536 11499 33554432000 4194304 4196468 140727985431152 139989289007504 139989737334485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36724736 140727985439890 140727985440067 140727985440067 140727985442767 0
[pid=2128/tid=2137] ppid=2126 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/2128/task/2137/stat : 2137 (java) S 2126 2126 32636 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 108157234 26628161536 11499 33554432000 4194304 4196468 140727985431152 139989287954704 139989737334485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36724736 140727985439890 140727985440067 140727985440067 140727985442767 0
[pid=2128/tid=2138] ppid=2126 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/2128/task/2138/stat : 2138 (java) S 2126 2126 32636 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 108157236 26628161536 11499 33554432000 4194304 4196468 140727985431152 139989133196144 139989737335426 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36724736 140727985439890 140727985440067 140727985440067 140727985442767 0
[pid=2128/tid=2139] ppid=2126 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/2128/task/2139/stat : 2139 (java) S 2126 2126 32636 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 108157236 26628161536 11499 33554432000 4194304 4196468 140727985431152 139989132142112 139989737334485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36724736 140727985439890 140727985440067 140727985440067 140727985442767 0
[pid=2128/tid=2140] ppid=2126 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/2128/task/2140/stat : 2140 (java) S 2126 2126 32636 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 108157236 26628161536 11499 33554432000 4194304 4196468 140727985431152 139989131089264 139989737334485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36724736 140727985439890 140727985440067 140727985440067 140727985442767 0
[pid=2128/tid=2141] ppid=2126 vsize=26004064 memory=140196456793551 CPUtime=0 cores=0-7
/proc/2128/task/2141/stat : 2141 (java) S 2126 2126 32636 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 108157239 26628161536 11499 33554432000 4194304 4196468 140727985431152 139989130037584 139989737342875 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36724736 140727985439890 140727985440067 140727985440067 140727985442767 0
[pid=2128/tid=2142] ppid=2126 vsize=26004064 memory=67 CPUtime=0.02 cores=0-7
/proc/2128/task/2142/stat : 2142 (java) S 2126 2126 32636 0 -1 1077944384 635 0 0 0 2 0 0 0 20 0 20 0 108157239 26628161536 11499 33554432000 4194304 4196468 140727985431152 139989128984944 139989737335426 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36724736 140727985439890 140727985440067 140727985440067 140727985442767 0
[pid=2128/tid=2143] ppid=2126 vsize=26004064 memory=51172 CPUtime=0.02 cores=0-7
/proc/2128/task/2143/stat : 2143 (java) S 2126 2126 32636 0 -1 1077944384 113 0 0 0 2 0 0 0 20 0 20 0 108157239 26628161536 11499 33554432000 4194304 4196468 140727985431152 139989127932144 139989737335426 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36724736 140727985439890 140727985440067 140727985440067 140727985442767 0
[pid=2128/tid=2144] ppid=2126 vsize=26004064 memory=53476 CPUtime=0.01 cores=0-7
/proc/2128/task/2144/stat : 2144 (java) S 2126 2126 32636 0 -1 1077944384 144 0 0 0 1 0 0 0 20 0 20 0 108157239 26628161536 11499 33554432000 4194304 4196468 140727985431152 139989126879344 139989737335426 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36724736 140727985439890 140727985440067 140727985440067 140727985442767 0
[pid=2128/tid=2145] ppid=2126 vsize=26004064 memory=55780 CPUtime=0.12 cores=0-7
/proc/2128/task/2145/stat : 2145 (java) S 2126 2126 32636 0 -1 1077944384 847 0 0 0 12 0 0 0 20 0 20 0 108157239 26628161536 11499 33554432000 4194304 4196468 140727985431152 139989125826544 139989737335426 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36724736 140727985439890 140727985440067 140727985440067 140727985442767 0
[pid=2128/tid=2146] ppid=2126 vsize=26004064 memory=110297088 CPUtime=0 cores=0-7
/proc/2128/task/2146/stat : 2146 (java) S 2126 2126 32636 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 108157239 26628161536 11499 33554432000 4194304 4196468 140727985431152 139989124775008 139989737334485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36724736 140727985439890 140727985440067 140727985440067 140727985442767 0
[pid=2128/tid=2147] ppid=2126 vsize=26004064 memory=9740287 CPUtime=0 cores=0-7
/proc/2128/task/2147/stat : 2147 (java) S 2126 2126 32636 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 108157239 26628161536 11499 33554432000 4194304 4196468 140727985431152 139989123722288 139989737335426 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36724736 140727985439890 140727985440067 140727985440067 140727985442767 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 47128 KiB

[startup+0.700969 s]
/proc/loadavg: 0.50 0.64 1.28 6/200 2147
/proc/meminfo: memFree=29052032/32770624 swapFree=67108860/67108860
[pid=2126] ppid=2123 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/2126/stat : 2126 (xcsp3-exec) S 2123 2126 32636 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 108157233 9740288 346 33554432000 4194304 5098028 140720637593728 140720637591832 140448715690620 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29323264 140720637600869 140720637601079 140720637601079 140720637603819 0
/proc/2126/statm: 2378 346 289 221 0 87 0
[pid=2128] ppid=2126 vsize=26006188 memory=96696 CPUtime=1.81 cores=0-7
/proc/2128/stat : 2128 (java) S 2126 2126 32636 0 -1 1077944320 19902 0 0 0 174 7 0 0 20 0 20 0 108157233 26630336512 24174 33554432000 4194304 4196468 140727985431152 140727985413696 139989737324279 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36724736 140727985439890 140727985440067 140727985440067 140727985442767 0
/proc/2128/statm: 6501547 24174 3203 1 0 6488781 0
[pid=2128/tid=2129] ppid=2126 vsize=26006188 memory=280392913637760 CPUtime=0.67 cores=0-7
/proc/2128/task/2129/stat : 2129 (java) R 2126 2126 32636 0 -1 4202560 6727 0 0 0 64 3 0 0 20 0 20 0 108157233 26630336512 24174 33554432000 4194304 4196468 140727985431152 139989741557904 139989376127939 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36724736 140727985439890 140727985440067 140727985440067 140727985442767 0
[pid=2128/tid=2130] ppid=2126 vsize=26006188 memory=140196456997744 CPUtime=0 cores=0-7
/proc/2128/task/2130/stat : 2130 (java) S 2126 2126 32636 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 108157234 26630336512 24174 33554432000 4194304 4196468 140727985431152 139989696085136 139989737334485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36724736 140727985439890 140727985440067 140727985440067 140727985442767 0
[pid=2128/tid=2131] ppid=2126 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/2128/task/2131/stat : 2131 (java) S 2126 2126 32636 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 108157234 26630336512 24174 33554432000 4194304 4196468 140727985431152 139989294271504 139989737334485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36724736 140727985439890 140727985440067 140727985440067 140727985442767 0
[pid=2128/tid=2132] ppid=2126 vsize=26006188 memory=2428 CPUtime=0 cores=0-7
/proc/2128/task/2132/stat : 2132 (java) S 2126 2126 32636 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 108157234 26630336512 24174 33554432000 4194304 4196468 140727985431152 139989293218704 139989737334485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36724736 140727985439890 140727985440067 140727985440067 140727985442767 0

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

[pid=2128/tid=2189] ppid=2126 vsize=26538700 memory=1499884 CPUtime=2271.99 cores=0-7
/proc/2128/task/2189/stat : 2189 (java) R 2126 2126 32636 0 -1 4202560 34551 0 0 0 227166 33 0 0 20 0 28 0 108170278 27175628800 374971 33554432000 4194304 4196468 140727985431152 139989111504240 139989379833414 0 4 0 16800975 0 0 0 -1 7 0 0 25 0 0 6293624 6294260 36724736 140727985439890 140727985440067 140727985440067 140727985442767 0
Current children cumulated CPU time: 19245.2 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 1501268 KiB

[startup+2502.3 s]
/proc/loadavg: 8.28 8.39 7.87 9/207 2247
/proc/meminfo: memFree=27610308/32770624 swapFree=67108860/67108860
[pid=2126] ppid=2123 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/2126/stat : 2126 (xcsp3-exec) S 2123 2126 32636 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 108157233 9740288 346 33554432000 4194304 5098028 140720637593728 140720637591832 140448715690620 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29323264 140720637600869 140720637601079 140720637601079 140720637603819 0
/proc/2126/statm: 2378 346 289 221 0 87 0
[pid=2128] ppid=2126 vsize=26538700 memory=1499952 CPUtime=19719.4 cores=0-7
/proc/2128/stat : 2128 (java) S 2126 2126 32636 0 -1 1077944320 1055800 0 0 0 1971050 889 0 0 20 0 28 0 108157233 27175628800 374988 33554432000 4194304 4196468 140727985431152 140727985413696 139989737324279 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36724736 140727985439890 140727985440067 140727985440067 140727985442767 0
/proc/2128/statm: 6634675 374988 3314 1 0 6621909 0
[pid=2128/tid=2129] ppid=2126 vsize=26538700 memory=1384 CPUtime=6.22 cores=0-7
/proc/2128/task/2129/stat : 2129 (java) S 2126 2126 32636 0 -1 1077944384 9729 0 0 0 617 5 0 0 20 0 28 0 108157233 27175628800 374988 33554432000 4194304 4196468 140727985431152 139989741565056 139989737334485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36724736 140727985439890 140727985440067 140727985440067 140727985442767 0
[pid=2128/tid=2130] ppid=2126 vsize=26538700 memory=1499952 CPUtime=11.79 cores=0-7
/proc/2128/task/2130/stat : 2130 (java) S 2126 2126 32636 0 -1 1077944384 46238 0 0 0 1136 43 0 0 20 0 28 0 108157234 27175628800 374988 33554432000 4194304 4196468 140727985431152 139989696085136 139989737334485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 5 0 0 6293624 6294260 36724736 140727985439890 140727985440067 140727985440067 140727985442767 0
[pid=2128/tid=2131] ppid=2126 vsize=26538700 memory=1499952 CPUtime=11.66 cores=0-7
/proc/2128/task/2131/stat : 2131 (java) S 2126 2126 32636 0 -1 1077944384 52406 0 0 0 1122 44 0 0 20 0 28 0 108157234 27175628800 374988 33554432000 4194304 4196468 140727985431152 139989294271504 139989737334485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 6 0 0 6293624 6294260 36724736 140727985439890 140727985440067 140727985440067 140727985442767 0
[pid=2128/tid=2132] ppid=2126 vsize=26538700 memory=1384 CPUtime=11.6 cores=0-7
/proc/2128/task/2132/stat : 2132 (java) S 2126 2126 32636 0 -1 1077944384 47872 0 0 0 1117 43 0 0 20 0 28 0 108157234 27175628800 374988 33554432000 4194304 4196468 140727985431152 139989293218704 139989737334485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 5 0 0 6293624 6294260 36724736 140727985439890 140727985440067 140727985440067 140727985442767 0
[pid=2128/tid=2133] ppid=2126 vsize=26538700 memory=18769007087888 CPUtime=11.61 cores=0-7
/proc/2128/task/2133/stat : 2133 (java) S 2126 2126 32636 0 -1 1077944384 47646 0 0 0 1118 43 0 0 20 0 28 0 108157234 27175628800 374988 33554432000 4194304 4196468 140727985431152 139989292165904 139989737334485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 6 0 0 6293624 6294260 36724736 140727985439890 140727985440067 140727985440067 140727985442767 0
[pid=2128/tid=2134] ppid=2126 vsize=26538700 memory=1499932 CPUtime=11.6 cores=0-7
/proc/2128/task/2134/stat : 2134 (java) S 2126 2126 32636 0 -1 1077944384 55107 0 0 0 1119 41 0 0 20 0 28 0 108157234 27175628800 374988 33554432000 4194304 4196468 140727985431152 139989291113104 139989737334485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 6 0 0 6293624 6294260 36724736 140727985439890 140727985440067 140727985440067 140727985442767 0
[pid=2128/tid=2135] ppid=2126 vsize=26538700 memory=8112282956445269571 CPUtime=11.67 cores=0-7
/proc/2128/task/2135/stat : 2135 (java) S 2126 2126 32636 0 -1 1077944384 50116 0 0 0 1125 42 0 0 20 0 28 0 108157234 27175628800 374988 33554432000 4194304 4196468 140727985431152 139989290060304 139989737334485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 5 0 0 6293624 6294260 36724736 140727985439890 140727985440067 140727985440067 140727985442767 0
[pid=2128/tid=2136] ppid=2126 vsize=26538700 memory=1236 CPUtime=11.68 cores=0-7
/proc/2128/task/2136/stat : 2136 (java) S 2126 2126 32636 0 -1 1077944384 54345 0 0 0 1124 44 0 0 20 0 28 0 108157234 27175628800 374988 33554432000 4194304 4196468 140727985431152 139989289007504 139989737334485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 5 0 0 6293624 6294260 36724736 140727985439890 140727985440067 140727985440067 140727985442767 0
[pid=2128/tid=2137] ppid=2126 vsize=26538700 memory=932 CPUtime=11.62 cores=0-7
/proc/2128/task/2137/stat : 2137 (java) S 2126 2126 32636 0 -1 1077944384 46397 0 0 0 1120 42 0 0 20 0 28 0 108157234 27175628800 374988 33554432000 4194304 4196468 140727985431152 139989287954704 139989737334485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 7 0 0 6293624 6294260 36724736 140727985439890 140727985440067 140727985440067 140727985442767 0
[pid=2128/tid=2138] ppid=2126 vsize=26538700 memory=4044 CPUtime=9.85 cores=0-7
/proc/2128/task/2138/stat : 2138 (java) S 2126 2126 32636 0 -1 1077944384 141207 0 0 0 788 197 0 0 20 0 28 0 108157236 27175628800 374988 33554432000 4194304 4196468 140727985431152 139989133196144 139989737335426 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36724736 140727985439890 140727985440067 140727985440067 140727985442767 0
[pid=2128/tid=2139] ppid=2126 vsize=26538700 memory=1384 CPUtime=0 cores=0-7
/proc/2128/task/2139/stat : 2139 (java) S 2126 2126 32636 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 28 0 108157236 27175628800 374988 33554432000 4194304 4196468 140727985431152 139989132142176 139989737334485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36724736 140727985439890 140727985440067 140727985440067 140727985442767 0
[pid=2128/tid=2140] ppid=2126 vsize=26538700 memory=8112282956445269571 CPUtime=0 cores=0-7
/proc/2128/task/2140/stat : 2140 (java) S 2126 2126 32636 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 28 0 108157236 27175628800 374988 33554432000 4194304 4196468 140727985431152 139989131089280 139989737334485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36724736 140727985439890 140727985440067 140727985440067 140727985442767 0
[pid=2128/tid=2141] ppid=2126 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/2128/task/2141/stat : 2141 (java) S 2126 2126 32636 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 108157239 27175628800 374988 33554432000 4194304 4196468 140727985431152 139989130037584 139989737342875 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36724736 140727985439890 140727985440067 140727985440067 140727985442767 0
[pid=2128/tid=2142] ppid=2126 vsize=26538700 memory=7228936453124866146 CPUtime=2.72 cores=0-7
/proc/2128/task/2142/stat : 2142 (java) S 2126 2126 32636 0 -1 1077944384 20070 0 0 0 268 4 0 0 20 0 28 0 108157239 27175628800 374988 33554432000 4194304 4196468 140727985431152 139989128984944 139989737335426 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 6 0 0 6293624 6294260 36724736 140727985439890 140727985440067 140727985440067 140727985442767 0
[pid=2128/tid=2143] ppid=2126 vsize=26538700 memory=1384 CPUtime=2.93 cores=0-7
/proc/2128/task/2143/stat : 2143 (java) S 2126 2126 32636 0 -1 1077944384 23192 0 0 0 290 3 0 0 20 0 28 0 108157239 27175628800 374988 33554432000 4194304 4196468 140727985431152 139989127932144 139989737335426 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36724736 140727985439890 140727985440067 140727985440067 140727985442767 0
[pid=2128/tid=2144] ppid=2126 vsize=26538700 memory=1384 CPUtime=2.81 cores=0-7
/proc/2128/task/2144/stat : 2144 (java) S 2126 2126 32636 0 -1 1077944384 20983 0 0 0 276 5 0 0 20 0 28 0 108157239 27175628800 374988 33554432000 4194304 4196468 140727985431152 139989126879344 139989737335426 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36724736 140727985439890 140727985440067 140727985440067 140727985442767 0
[pid=2128/tid=2145] ppid=2126 vsize=26538700 memory=1499944 CPUtime=0.92 cores=0-7
/proc/2128/task/2145/stat : 2145 (java) S 2126 2126 32636 0 -1 1077944384 20236 0 0 0 89 3 0 0 20 0 28 0 108157239 27175628800 374988 33554432000 4194304 4196468 140727985431152 139989125826544 139989737335426 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 9 0 0 6293624 6294260 36724736 140727985439890 140727985440067 140727985440067 140727985442767 0
[pid=2128/tid=2146] ppid=2126 vsize=26538700 memory=1384 CPUtime=0 cores=0-7
/proc/2128/task/2146/stat : 2146 (java) S 2126 2126 32636 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 108157239 27175628800 374988 33554432000 4194304 4196468 140727985431152 139989124775008 139989737334485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36724736 140727985439890 140727985440067 140727985440067 140727985442767 0
[pid=2128/tid=2147] ppid=2126 vsize=26538700 memory=1384 CPUtime=0.92 cores=0-7
/proc/2128/task/2147/stat : 2147 (java) S 2126 2126 32636 0 -1 1077944384 7809 0 0 0 46 46 0 0 20 0 28 0 108157239 27175628800 374988 33554432000 4194304 4196468 140727985431152 139989123722288 139989737335426 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 8 0 0 6293624 6294260 36724736 140727985439890 140727985440067 140727985440067 140727985442767 0
[pid=2128/tid=2182] ppid=2126 vsize=26538700 memory=1499952 CPUtime=2331.77 cores=0-7
/proc/2128/task/2182/stat : 2182 (java) R 2126 2126 32636 0 -1 4202560 35029 0 0 0 233145 32 0 0 20 0 28 0 108170278 27175628800 374988 33554432000 4194304 4196468 140727985431152 139989108341624 139989380885101 0 4 0 16800975 0 0 0 -1 3 0 0 22 0 0 6293624 6294260 36724736 140727985439890 140727985440067 140727985440067 140727985442767 0
[pid=2128/tid=2183] ppid=2126 vsize=26538700 memory=1384 CPUtime=2325.42 cores=0-7
/proc/2128/task/2183/stat : 2183 (java) R 2126 2126 32636 0 -1 4202560 42028 0 0 0 232507 35 0 0 20 0 28 0 108170278 27175628800 374988 33554432000 4194304 4196468 140727985431152 139989109395264 139989381017202 0 4 0 16800975 0 0 0 -1 0 0 0 22 0 0 6293624 6294260 36724736 140727985439890 140727985440067 140727985440067 140727985442767 0
[pid=2128/tid=2184] ppid=2126 vsize=26538700 memory=1499944 CPUtime=2328.18 cores=0-7
/proc/2128/task/2184/stat : 2184 (java) R 2126 2126 32636 0 -1 4202560 46791 0 0 0 232781 37 0 0 20 0 28 0 108170278 27175628800 374988 33554432000 4194304 4196468 140727985431152 139989112555920 139989382029887 0 4 0 16800975 0 0 0 -1 5 0 0 25 0 0 6293624 6294260 36724736 140727985439890 140727985440067 140727985440067 140727985442767 0
[pid=2128/tid=2185] ppid=2126 vsize=26538700 memory=13855157297350490 CPUtime=2325.5 cores=0-7
/proc/2128/task/2185/stat : 2185 (java) R 2126 2126 32636 0 -1 4202560 40518 0 0 0 232508 42 0 0 20 0 28 0 108170278 27175628800 374988 33554432000 4194304 4196468 140727985431152 139989115714528 139989381014264 0 4 0 16800975 0 0 0 -1 1 0 0 26 0 0 6293624 6294260 36724736 140727985439890 140727985440067 140727985440067 140727985442767 0
[pid=2128/tid=2186] ppid=2126 vsize=26538700 memory=1156 CPUtime=2331.91 cores=0-7
/proc/2128/task/2186/stat : 2186 (java) R 2126 2126 32636 0 -1 4202560 57269 0 0 0 233155 36 0 0 20 0 28 0 108170278 27175628800 374988 33554432000 4194304 4196468 140727985431152 139989113605896 139989381314654 0 4 0 16800975 0 0 0 -1 7 0 0 20 0 0 6293624 6294260 36724736 140727985439890 140727985440067 140727985440067 140727985442767 0
[pid=2128/tid=2187] ppid=2126 vsize=26538700 memory=8112282956445269571 CPUtime=2326.16 cores=0-7
/proc/2128/task/2187/stat : 2187 (java) R 2126 2126 32636 0 -1 4202560 70641 0 0 0 232559 57 0 0 20 0 28 0 108170278 27175628800 374988 33554432000 4194304 4196468 140727985431152 139989114658792 139989379833178 0 4 0 16800975 0 0 0 -1 6 0 0 20 0 0 6293624 6294260 36724736 140727985439890 140727985440067 140727985440067 140727985442767 0
[pid=2128/tid=2188] ppid=2126 vsize=26538700 memory=1499940 CPUtime=2324.23 cores=0-7
/proc/2128/task/2188/stat : 2188 (java) R 2126 2126 32636 0 -1 4202560 42778 0 0 0 232385 38 0 0 20 0 28 0 108170278 27175628800 374988 33554432000 4194304 4196468 140727985431152 139989110448320 139989382029887 0 4 0 16800975 0 0 0 -1 2 0 0 23 0 0 6293624 6294260 36724736 140727985439890 140727985440067 140727985440067 140727985442767 0
[pid=2128/tid=2189] ppid=2126 vsize=26538700 memory=1384 CPUtime=2330.88 cores=0-7
/proc/2128/task/2189/stat : 2189 (java) R 2126 2126 32636 0 -1 4202560 35801 0 0 0 233054 34 0 0 20 0 28 0 108170278 27175628800 374988 33554432000 4194304 4196468 140727985431152 139989111500896 139989376452278 0 4 0 16800975 0 0 0 -1 4 0 0 26 0 0 6293624 6294260 36724736 140727985439890 140727985440067 140727985440067 140727985442767 0
Current children cumulated CPU time: 19719.4 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 1501336 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.20 8.37 7.87 9/207 2247
/proc/meminfo: memFree=27611132/32770624 swapFree=67108860/67108860
[pid=2126] ppid=2123 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/2126/stat : 2126 (xcsp3-exec) S 2123 2126 32636 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 108157233 9740288 346 33554432000 4194304 5098028 140720637593728 140720637591832 140448715690620 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29323264 140720637600869 140720637601079 140720637601079 140720637603819 0
/proc/2126/statm: 2378 346 289 221 0 87 0
[pid=2128] ppid=2126 vsize=26538700 memory=1499960 CPUtime=19859.1 cores=0-7
/proc/2128/stat : 2128 (java) S 2126 2126 32636 0 -1 1077944320 1065396 0 0 0 1985015 896 0 0 20 0 28 0 108157233 27175628800 374990 33554432000 4194304 4196468 140727985431152 140727985413696 139989737324279 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36724736 140727985439890 140727985440067 140727985440067 140727985442767 0
/proc/2128/statm: 6634675 374990 3314 1 0 6621909 0
[pid=2128/tid=2129] ppid=2126 vsize=26538700 memory=6935054825532540783 CPUtime=6.22 cores=0-7
/proc/2128/task/2129/stat : 2129 (java) S 2126 2126 32636 0 -1 1077944384 9729 0 0 0 617 5 0 0 20 0 28 0 108157233 27175628800 374990 33554432000 4194304 4196468 140727985431152 139989741565056 139989737334485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36724736 140727985439890 140727985440067 140727985440067 140727985442767 0
[pid=2128/tid=2130] ppid=2126 vsize=26538700 memory=4126316290023845779 CPUtime=11.86 cores=0-7
/proc/2128/task/2130/stat : 2130 (java) S 2126 2126 32636 0 -1 1077944384 47034 0 0 0 1143 43 0 0 20 0 28 0 108157234 27175628800 374990 33554432000 4194304 4196468 140727985431152 139989696085136 139989737334485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 5 0 0 6293624 6294260 36724736 140727985439890 140727985440067 140727985440067 140727985442767 0
[pid=2128/tid=2131] ppid=2126 vsize=26538700 memory=4612 CPUtime=11.72 cores=0-7
/proc/2128/task/2131/stat : 2131 (java) S 2126 2126 32636 0 -1 1077944384 52713 0 0 0 1128 44 0 0 20 0 28 0 108157234 27175628800 374990 33554432000 4194304 4196468 140727985431152 139989294271504 139989737334485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 6 0 0 6293624 6294260 36724736 140727985439890 140727985440067 140727985440067 140727985442767 0
[pid=2128/tid=2132] ppid=2126 vsize=26538700 memory=15872 CPUtime=11.67 cores=0-7
/proc/2128/task/2132/stat : 2132 (java) S 2126 2126 32636 0 -1 1077944384 48392 0 0 0 1124 43 0 0 20 0 28 0 108157234 27175628800 374990 33554432000 4194304 4196468 140727985431152 139989293218704 139989737334485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 5 0 0 6293624 6294260 36724736 140727985439890 140727985440067 140727985440067 140727985442767 0
[pid=2128/tid=2133] ppid=2126 vsize=26538700 memory=18448 CPUtime=11.67 cores=0-7
/proc/2128/task/2133/stat : 2133 (java) S 2126 2126 32636 0 -1 1077944384 48233 0 0 0 1124 43 0 0 20 0 28 0 108157234 27175628800 374990 33554432000 4194304 4196468 140727985431152 139989292165904 139989737334485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 6 0 0 6293624 6294260 36724736 140727985439890 140727985440067 140727985440067 140727985442767 0
[pid=2128/tid=2134] ppid=2126 vsize=26538700 memory=17268 CPUtime=11.66 cores=0-7
/proc/2128/task/2134/stat : 2134 (java) S 2126 2126 32636 0 -1 1077944384 55413 0 0 0 1125 41 0 0 20 0 28 0 108157234 27175628800 374990 33554432000 4194304 4196468 140727985431152 139989291113104 139989737334485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 6 0 0 6293624 6294260 36724736 140727985439890 140727985440067 140727985440067 140727985442767 0
[pid=2128/tid=2135] ppid=2126 vsize=26538700 memory=4044 CPUtime=11.74 cores=0-7
/proc/2128/task/2135/stat : 2135 (java) S 2126 2126 32636 0 -1 1077944384 50421 0 0 0 1131 43 0 0 20 0 28 0 108157234 27175628800 374990 33554432000 4194304 4196468 140727985431152 139989290060304 139989737334485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 5 0 0 6293624 6294260 36724736 140727985439890 140727985440067 140727985440067 140727985442767 0
[pid=2128/tid=2136] ppid=2126 vsize=26538700 memory=1792 CPUtime=11.75 cores=0-7
/proc/2128/task/2136/stat : 2136 (java) S 2126 2126 32636 0 -1 1077944384 54789 0 0 0 1131 44 0 0 20 0 28 0 108157234 27175628800 374990 33554432000 4194304 4196468 140727985431152 139989289007504 139989737334485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 5 0 0 6293624 6294260 36724736 140727985439890 140727985440067 140727985440067 140727985442767 0
[pid=2128/tid=2137] ppid=2126 vsize=26538700 memory=636 CPUtime=11.69 cores=0-7
/proc/2128/task/2137/stat : 2137 (java) S 2126 2126 32636 0 -1 1077944384 46914 0 0 0 1126 43 0 0 20 0 28 0 108157234 27175628800 374990 33554432000 4194304 4196468 140727985431152 139989287954704 139989737334485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 7 0 0 6293624 6294260 36724736 140727985439890 140727985440067 140727985440067 140727985442767 0
[pid=2128/tid=2138] ppid=2126 vsize=26538700 memory=8112282956445269571 CPUtime=9.91 cores=0-7
/proc/2128/task/2138/stat : 2138 (java) S 2126 2126 32636 0 -1 1077944384 142261 0 0 0 793 198 0 0 20 0 28 0 108157236 27175628800 374990 33554432000 4194304 4196468 140727985431152 139989133196144 139989737335426 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36724736 140727985439890 140727985440067 140727985440067 140727985442767 0
[pid=2128/tid=2139] ppid=2126 vsize=26538700 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/2128/task/2139/stat : 2139 (java) S 2126 2126 32636 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 28 0 108157236 27175628800 374990 33554432000 4194304 4196468 140727985431152 139989132142176 139989737334485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36724736 140727985439890 140727985440067 140727985440067 140727985442767 0
[pid=2128/tid=2140] ppid=2126 vsize=26538700 memory=920 CPUtime=0 cores=0-7
/proc/2128/task/2140/stat : 2140 (java) S 2126 2126 32636 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 28 0 108157236 27175628800 374990 33554432000 4194304 4196468 140727985431152 139989131089280 139989737334485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36724736 140727985439890 140727985440067 140727985440067 140727985442767 0
[pid=2128/tid=2141] ppid=2126 vsize=26538700 memory=4124 CPUtime=0 cores=0-7
/proc/2128/task/2141/stat : 2141 (java) S 2126 2126 32636 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 108157239 27175628800 374990 33554432000 4194304 4196468 140727985431152 139989130037584 139989737342875 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36724736 140727985439890 140727985440067 140727985440067 140727985442767 0
[pid=2128/tid=2142] ppid=2126 vsize=26538700 memory=6935054825532540783 CPUtime=2.72 cores=0-7
/proc/2128/task/2142/stat : 2142 (java) S 2126 2126 32636 0 -1 1077944384 20074 0 0 0 268 4 0 0 20 0 28 0 108157239 27175628800 374990 33554432000 4194304 4196468 140727985431152 139989128984944 139989737335426 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 6 0 0 6293624 6294260 36724736 140727985439890 140727985440067 140727985440067 140727985442767 0
[pid=2128/tid=2143] ppid=2126 vsize=26538700 memory=4126316290023845779 CPUtime=2.93 cores=0-7
/proc/2128/task/2143/stat : 2143 (java) S 2126 2126 32636 0 -1 1077944384 23196 0 0 0 290 3 0 0 20 0 28 0 108157239 27175628800 374990 33554432000 4194304 4196468 140727985431152 139989127932144 139989737335426 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36724736 140727985439890 140727985440067 140727985440067 140727985442767 0
[pid=2128/tid=2144] ppid=2126 vsize=26538700 memory=932 CPUtime=2.81 cores=0-7
/proc/2128/task/2144/stat : 2144 (java) S 2126 2126 32636 0 -1 1077944384 20987 0 0 0 276 5 0 0 20 0 28 0 108157239 27175628800 374990 33554432000 4194304 4196468 140727985431152 139989126879344 139989737335426 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36724736 140727985439890 140727985440067 140727985440067 140727985442767 0
[pid=2128/tid=2145] ppid=2126 vsize=26538700 memory=2200 CPUtime=0.92 cores=0-7
/proc/2128/task/2145/stat : 2145 (java) S 2126 2126 32636 0 -1 1077944384 20240 0 0 0 89 3 0 0 20 0 28 0 108157239 27175628800 374990 33554432000 4194304 4196468 140727985431152 139989125826544 139989737335426 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 9 0 0 6293624 6294260 36724736 140727985439890 140727985440067 140727985440067 140727985442767 0
[pid=2128/tid=2146] ppid=2126 vsize=26538700 memory=6504 CPUtime=0 cores=0-7
/proc/2128/task/2146/stat : 2146 (java) S 2126 2126 32636 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 108157239 27175628800 374990 33554432000 4194304 4196468 140727985431152 139989124775008 139989737334485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36724736 140727985439890 140727985440067 140727985440067 140727985442767 0
[pid=2128/tid=2147] ppid=2126 vsize=26538700 memory=956 CPUtime=0.94 cores=0-7
/proc/2128/task/2147/stat : 2147 (java) S 2126 2126 32636 0 -1 1077944384 7852 0 0 0 47 47 0 0 20 0 28 0 108157239 27175628800 374990 33554432000 4194304 4196468 140727985431152 139989123722288 139989737335426 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 8 0 0 6293624 6294260 36724736 140727985439890 140727985440067 140727985440067 140727985442767 0
[pid=2128/tid=2182] ppid=2126 vsize=26538700 memory=2340 CPUtime=2349.2 cores=0-7
/proc/2128/task/2182/stat : 2182 (java) R 2126 2126 32636 0 -1 4202560 35497 0 0 0 234888 32 0 0 20 0 28 0 108170278 27175628800 374990 33554432000 4194304 4196468 140727985431152 139989108344352 139989380883434 0 4 0 16800975 0 0 0 -1 3 0 0 22 0 0 6293624 6294260 36724736 140727985439890 140727985440067 140727985440067 140727985442767 0
[pid=2128/tid=2183] ppid=2126 vsize=26538700 memory=1236 CPUtime=2342.89 cores=0-7
/proc/2128/task/2183/stat : 2183 (java) R 2126 2126 32636 0 -1 4202560 42667 0 0 0 234253 36 0 0 20 0 28 0 108170278 27175628800 374990 33554432000 4194304 4196468 140727985431152 139989109395408 139989381315214 0 4 0 16800975 0 0 0 -1 0 0 0 22 0 0 6293624 6294260 36724736 140727985439890 140727985440067 140727985440067 140727985442767 0
[pid=2128/tid=2184] ppid=2126 vsize=26538700 memory=4100 CPUtime=2345.64 cores=0-7
/proc/2128/task/2184/stat : 2184 (java) R 2126 2126 32636 0 -1 4202560 47351 0 0 0 234526 38 0 0 20 0 28 0 108170278 27175628800 374990 33554432000 4194304 4196468 140727985431152 139989112553344 139989380885107 0 4 0 16800975 0 0 0 -1 1 0 0 26 0 0 6293624 6294260 36724736 140727985439890 140727985440067 140727985440067 140727985442767 0
[pid=2128/tid=2185] ppid=2126 vsize=26538700 memory=2240 CPUtime=2342.87 cores=0-7
/proc/2128/task/2185/stat : 2185 (java) R 2126 2126 32636 0 -1 4202560 40937 0 0 0 234244 43 0 0 20 0 28 0 108170278 27175628800 374990 33554432000 4194304 4196468 140727985431152 139989115711232 139989381253651 0 4 0 16800975 0 0 0 -1 6 0 0 26 0 0 6293624 6294260 36724736 140727985439890 140727985440067 140727985440067 140727985442767 0
[pid=2128/tid=2186] ppid=2126 vsize=26538700 memory=4128 CPUtime=2349.18 cores=0-7
/proc/2128/task/2186/stat : 2186 (java) R 2126 2126 32636 0 -1 4202560 57966 0 0 0 234881 37 0 0 20 0 28 0 108170278 27175628800 374990 33554432000 4194304 4196468 140727985431152 139989113605896 139989381111551 0 4 0 16800975 0 0 0 -1 7 0 0 21 0 0 6293624 6294260 36724736 140727985439890 140727985440067 140727985440067 140727985442767 0
[pid=2128/tid=2187] ppid=2126 vsize=26538700 memory=8112282956445269571 CPUtime=2343.45 cores=0-7
/proc/2128/task/2187/stat : 2187 (java) R 2126 2126 32636 0 -1 4202560 71397 0 0 0 234288 57 0 0 20 0 28 0 108170278 27175628800 374990 33554432000 4194304 4196468 140727985431152 139989114658192 139989379832851 0 4 0 16800975 0 0 0 -1 4 0 0 22 0 0 6293624 6294260 36724736 140727985439890 140727985440067 140727985440067 140727985442767 0
[pid=2128/tid=2188] ppid=2126 vsize=26538700 memory=1499952 CPUtime=2341.64 cores=0-7
/proc/2128/task/2188/stat : 2188 (java) R 2126 2126 32636 0 -1 4202560 43432 0 0 0 234125 39 0 0 20 0 28 0 108170278 27175628800 374990 33554432000 4194304 4196468 140727985431152 139989110448560 139989381315231 0 4 0 16800975 0 0 0 -1 2 0 0 23 0 0 6293624 6294260 36724736 140727985439890 140727985440067 140727985440067 140727985442767 0
[pid=2128/tid=2189] ppid=2126 vsize=26538700 memory=4128 CPUtime=2348.33 cores=0-7
/proc/2128/task/2189/stat : 2189 (java) R 2126 2126 32636 0 -1 4202560 36309 0 0 0 234798 35 0 0 20 0 28 0 108170278 27175628800 374990 33554432000 4194304 4196468 140727985431152 139989111501008 139989381013912 0 4 0 16800975 0 0 0 -1 5 0 0 26 0 0 6293624 6294260 36724736 140727985439890 140727985440067 140727985440067 140727985442767 0
Current children cumulated CPU time: 19859.1 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 1501344 KiB

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

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

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

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

Child status: 143
Real time (s): 2520.12
CPU time (s): 19859.9
CPU user time (s): 19850.9
CPU system time (s): 8.97047
CPU usage (%): 788.055
Max. virtual memory (cumulated for all children) (KiB): 26548212
Max. memory (cumulated for all children) (KiB): 1587952

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19850.9
system time used= 8.97047
maximum resident set size= 1586568
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1066589
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3720
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 739338
involuntary context switches= 244648


# summary of solver processes directly reported to runsolver:
#   pid: 2126,2128
#   total CPU time (s): 19859.9
#   total CPU user time (s): 19850.9
#   total CPU system time (s): 8.97047

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.5497 second user time and 31.7116 second system time

The end

Launcher Data 

Begin job on node107 at 2017-08-15 00:30:33
IDJOB=4270682
IDBENCH=130623
IDSOLVER=2662
FILE ID=node107/4270682-1502750692
RUNJOBID= node107-1502739680-32663
PBS_JOBID= 20629059
Free space on /tmp= 61660 MiB

SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/QueenAttacking/QueenAttacking-m1-s1/QueenAttacking-10.xml
COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 22000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4270682-1502750692/watcher-4270682-1502750692 -o /tmp/evaluation-result-4270682-1502750692/solver-4270682-1502750692 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node107-1502739680-32663 --watchdog 2580  ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 130953668 HOME/instance-4270682-1502750692.xml

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

MD5SUM BENCH= d4423909be1c89335e37f95235f61406
RANDOM SEED=130953668

node107.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.84
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.84
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.84
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.84
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:        29102304 kB
MemAvailable:   31989768 kB
Buffers:          207792 kB
Cached:          2967056 kB
SwapCached:            0 kB
Active:           550652 kB
Inactive:        2676612 kB
Active(anon):      55320 kB
Inactive(anon):    24972 kB
Active(file):     495332 kB
Inactive(file):  2651640 kB
Unevictable:        6328 kB
Mlocked:            6328 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7844 kB
Writeback:             0 kB
AnonPages:         82800 kB
Mapped:            45356 kB
Shmem:             25228 kB
Slab:             138084 kB
SReclaimable:     112656 kB
SUnreclaim:        25428 kB
KernelStack:        3328 kB
PageTables:         5208 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     323060 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     30720 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:       91520 kB
DirectMap2M:    33454080 kB

Free space on /tmp at the end= 61652 MiB
End job on node107 at 2017-08-15 01:12:33