Trace number 4280533

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-18)SAT (TO)129 20093.6 2520.1201

General information on the benchmark

NameRcpsp/Rcpsp-m1-j90/
Rcpsp-j90-09-06.xml
MD5SUM6fbeb4485160aba6959a0a0fc5f330c5
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark125
Best CPU time to get the best result obtained on this benchmark2400.01
Satisfiable
(Un)Satisfiability was proved
Number of variables92
Number of constraints142
Number of domains2
Minimum domain size1
Maximum domain size507
Distribution of domain sizes[{"size":1,"count":1},{"size":507,"count":91}]
Minimum variable degree3
Maximum variable degree8
Distribution of variable degrees[{"degree":3,"count":3},{"degree":4,"count":9},{"degree":5,"count":16},{"degree":6,"count":36},{"degree":7,"count":17},{"degree":8,"count":11}]
Minimum constraint arity2
Maximum constraint arity72
Distribution of constraint arities[{"arity":2,"count":138},{"arity":63,"count":1},{"arity":67,"count":1},{"arity":69,"count":1},{"arity":72,"count":1}]
Number of extensional constraints0
Number of intensional constraints138
Distribution of constraint types[{"type":"intension","count":138},{"type":"cumulative","count":4}]
Optimization problemYES
Type of objectivemin VAR

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-4280533-1503145805.xml"  -tl '20160s' -p 8 -x 0
0.12/0.14	c [HOME/instance-4280533-1503145805.xml, -tl, 20160s, -p, 8, -x, 0]
0.12/0.20	c 8 solvers in parallel
0.33/0.26	c parse instance...
1.80/0.71	c solve instance...
5.34/1.24	o 478 
6.67/1.44	o 149 
6.67/1.45	o 148 
6.67/1.48	o 147 
7.76/1.61	o 146 
7.76/1.64	o 145 
8.47/1.74	o 144 
11.65/2.16	o 141 
13.95/2.44	o 140 
14.77/2.52	o 139 
14.77/2.53	o 138 
14.77/2.58	o 137 
15.52/2.60	o 136 
63.14/8.67	o 135 
86.99/11.61	o 134 
86.99/11.61	o 133 
126.76/16.68	o 132 
368.41/46.92	o 131 
892.52/112.60	o 130 
7168.72/899.54	o 129 
20092.81/2520.09	s SATISFIABLE
20092.81/2520.09	v <instantiation>
20092.81/2520.09	v 	<list>s[0] s[1] s[2] s[3] s[4] s[5] s[6] s[7] s[8] s[9] s[10] s[11] s[12] s[13] s[14] s[15] s[16] s[17] s[18] s[19] s[20] s[21] s[22] s[23] s[24] s[25] s[26] s[27] s[28] s[29] s[30] s[31] s[32] s[33] s[34] s[35] s[36] s[37] s[38] s[39] s[40] s[41] s[42] s[43] s[44] s[45] s[46] s[47] s[48] s[49] s[50] s[51] s[52] s[53] s[54] s[55] s[56] s[57] s[58] s[59] s[60] s[61] s[62] s[63] s[64] s[65] s[66] s[67] s[68] s[69] s[70] s[71] s[72] s[73] s[74] s[75] s[76] s[77] s[78] s[79] s[80] s[81] s[82] s[83] s[84] s[85] s[86] s[87] s[88] s[89] s[90] s[91] </list>
20092.81/2520.09	v 	<values>0 2 0 0 11 19 45 17 8 25 49 8 27 16 45 52 21 40 31 58 33 72 35 64 7 52 36 24 54 59 37 63 96 9 61 83 13 26 38 89 54 27 61 74 95 80 72 36 104 86 82 76 76 91 69 41 69 54 65 26 73 74 93 52 81 75 103 95 50 82 60 86 86 14 25 32 95 101 100 107 100 106 100 16 113 39 106 116 116 122 121 129 </values>
20092.81/2520.09	v </instantiation>
20092.81/2520.09	c Unexpected resolution interruption!

Verifier Data 

OK	129

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4280533-1503145805/watcher-4280533-1503145805 -o /tmp/evaluation-result-4280533-1503145805/solver-4280533-1503145805 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node150-1503138858-23389 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1909616043 HOME/instance-4280533-1503145805.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
Current StackSize limit: 8192 KiB

solver pid=24508, runsolver pid=24505

[startup+0.100144 s]*
/proc/loadavg: 7.54 8.07 8.10 3/199 24529
/proc/meminfo: memFree=22743268/32770624 swapFree=67108860/67108860
[pid=24508] ppid=24505 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/24508/stat : 24508 (xcsp3-exec) S 24505 24508 23362 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 147661473 9740288 345 33554432000 4194304 5098028 140722912165776 140722912163880 140209749324412 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 15175680 140722912167012 140722912167223 140722912167223 140722912169963 0
/proc/24508/statm: 2378 345 289 221 0 87 0
[pid=24510] ppid=24508 vsize=25999808 memory=26816 CPUtime=0.12 cores=0-7
/proc/24510/stat : 24510 (java) S 24508 24508 23362 0 -1 1077944320 5640 0 0 0 10 2 0 0 20 0 20 0 147661473 26623803392 6704 33554432000 4194304 4196468 140726887874656 140726887857200 140626218004215 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30273536 140726887879826 140726887880003 140726887880003 140726887882703 0
/proc/24510/statm: 6499952 6704 2846 1 0 6488269 0
[pid=24510/tid=24511] ppid=24508 vsize=25999808 memory=8041348042297612696 CPUtime=0.09 cores=0-7
/proc/24510/task/24511/stat : 24511 (java) R 24508 24508 23362 0 -1 4202560 3647 0 0 0 8 1 0 0 20 0 20 0 147661474 26623803392 6704 33554432000 4194304 4196468 140726887874656 140626222237488 140626218016150 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30273536 140726887879826 140726887880003 140726887880003 140726887882703 0
[pid=24510/tid=24512] ppid=24508 vsize=25999808 memory=732369936671689701 CPUtime=0 cores=0-7
/proc/24510/task/24512/stat : 24512 (java) S 24508 24508 23362 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147661474 26623803392 6704 33554432000 4194304 4196468 140726887874656 140626170624400 140626218014421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30273536 140726887879826 140726887880003 140726887880003 140726887882703 0
[pid=24510/tid=24513] ppid=24508 vsize=25999808 memory=139798334236288 CPUtime=0 cores=0-7
/proc/24510/task/24513/stat : 24513 (java) S 24508 24508 23362 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147661474 26623803392 6704 33554432000 4194304 4196468 140726887874656 140626169571600 140626218014421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30273536 140726887879826 140726887880003 140726887880003 140726887882703 0
[pid=24510/tid=24514] ppid=24508 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/24510/task/24514/stat : 24514 (java) S 24508 24508 23362 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147661474 26623803392 6704 33554432000 4194304 4196468 140726887874656 140626168519312 140626218014421 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30273536 140726887879826 140726887880003 140726887880003 140726887882703 0
[pid=24510/tid=24515] ppid=24508 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/24510/task/24515/stat : 24515 (java) S 24508 24508 23362 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147661474 26623803392 6704 33554432000 4194304 4196468 140726887874656 140626167466512 140626218014421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30273536 140726887879826 140726887880003 140726887880003 140726887882703 0
[pid=24510/tid=24516] ppid=24508 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/24510/task/24516/stat : 24516 (java) S 24508 24508 23362 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147661474 26623803392 6704 33554432000 4194304 4196468 140726887874656 140626166414224 140626218014421 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30273536 140726887879826 140726887880003 140726887880003 140726887882703 0
[pid=24510/tid=24517] ppid=24508 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/24510/task/24517/stat : 24517 (java) S 24508 24508 23362 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147661474 26623803392 6704 33554432000 4194304 4196468 140726887874656 140626165361424 140626218014421 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30273536 140726887879826 140726887880003 140726887880003 140726887882703 0
[pid=24510/tid=24518] ppid=24508 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/24510/task/24518/stat : 24518 (java) S 24508 24508 23362 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 147661474 26623803392 6704 33554432000 4194304 4196468 140726887874656 140626164309136 140626218014421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30273536 140726887879826 140726887880003 140726887880003 140726887882703 0
[pid=24510/tid=24519] ppid=24508 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/24510/task/24519/stat : 24519 (java) S 24508 24508 23362 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147661474 26623803392 6704 33554432000 4194304 4196468 140726887874656 140626163256336 140626218014421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30273536 140726887879826 140726887880003 140726887880003 140726887882703 0
[pid=24510/tid=24520] ppid=24508 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/24510/task/24520/stat : 24520 (java) S 24508 24508 23362 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147661476 26623803392 6704 33554432000 4194304 4196468 140726887874656 140625278118000 140626218015362 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30273536 140726887879826 140726887880003 140726887880003 140726887882703 0
[pid=24510/tid=24521] ppid=24508 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/24510/task/24521/stat : 24521 (java) S 24508 24508 23362 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 147661476 26623803392 6704 33554432000 4194304 4196468 140726887874656 140625277063968 140626218014421 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30273536 140726887879826 140726887880003 140726887880003 140726887882703 0
[pid=24510/tid=24522] ppid=24508 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/24510/task/24522/stat : 24522 (java) S 24508 24508 23362 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 147661477 26623803392 6704 33554432000 4194304 4196468 140726887874656 140625276011632 140626218014421 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30273536 140726887879826 140726887880003 140726887880003 140726887882703 0
[pid=24510/tid=24523] ppid=24508 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/24510/task/24523/stat : 24523 (java) S 24508 24508 23362 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147661479 26623803392 6704 33554432000 4194304 4196468 140726887874656 140625274959952 140626218022811 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30273536 140726887879826 140726887880003 140726887880003 140726887882703 0
[pid=24510/tid=24524] ppid=24508 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/24510/task/24524/stat : 24524 (java) S 24508 24508 23362 0 -1 1077944384 295 0 0 0 0 0 0 0 20 0 20 0 147661479 26623803392 6704 33554432000 4194304 4196468 140726887874656 140625273907824 140626218015362 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30273536 140726887879826 140726887880003 140726887880003 140726887882703 0
[pid=24510/tid=24525] ppid=24508 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/24510/task/24525/stat : 24525 (java) S 24508 24508 23362 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 147661479 26623803392 6704 33554432000 4194304 4196468 140726887874656 140625272855024 140626218015362 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30273536 140726887879826 140726887880003 140726887880003 140726887882703 0
[pid=24510/tid=24526] ppid=24508 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/24510/task/24526/stat : 24526 (java) S 24508 24508 23362 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 147661479 26623803392 6704 33554432000 4194304 4196468 140726887874656 140625271802736 140626218015362 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30273536 140726887879826 140726887880003 140726887880003 140726887882703 0
[pid=24510/tid=24527] ppid=24508 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/24510/task/24527/stat : 24527 (java) S 24508 24508 23362 0 -1 1077944384 261 0 0 0 1 0 0 0 20 0 20 0 147661479 26623803392 6704 33554432000 4194304 4196468 140726887874656 140625270749936 140626218015362 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30273536 140726887879826 140726887880003 140726887880003 140726887882703 0
[pid=24510/tid=24528] ppid=24508 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/24510/task/24528/stat : 24528 (java) S 24508 24508 23362 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 147661479 26623803392 6704 33554432000 4194304 4196468 140726887874656 140625269696864 140626218014421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30273536 140726887879826 140726887880003 140726887880003 140726887882703 0
[pid=24510/tid=24529] ppid=24508 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/24510/task/24529/stat : 24529 (java) S 24508 24508 23362 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147661480 26623803392 6704 33554432000 4194304 4196468 140726887874656 140625268644144 140626218015362 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30273536 140726887879826 140726887880003 140726887880003 140726887882703 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 28196 KiB

[startup+0.210425 s]*
/proc/loadavg: 7.54 8.07 8.10 2/199 24529
/proc/meminfo: memFree=22732104/32770624 swapFree=67108860/67108860
[pid=24508] ppid=24505 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/24508/stat : 24508 (xcsp3-exec) S 24505 24508 23362 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 147661473 9740288 345 33554432000 4194304 5098028 140722912165776 140722912163880 140209749324412 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 15175680 140722912167012 140722912167223 140722912167223 140722912169963 0
/proc/24508/statm: 2378 345 289 221 0 87 0
[pid=24510] ppid=24508 vsize=26004064 memory=38744 CPUtime=0.33 cores=0-7
/proc/24510/stat : 24510 (java) S 24508 24508 23362 0 -1 1077944320 8325 0 0 0 30 3 0 0 20 0 20 0 147661473 26628161536 9686 33554432000 4194304 4196468 140726887874656 140726887857200 140626218004215 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30273536 140726887879826 140726887880003 140726887880003 140726887882703 0
/proc/24510/statm: 6501016 9686 3020 1 0 6488269 0
[pid=24510/tid=24511] ppid=24508 vsize=26004064 memory=0 CPUtime=0.19 cores=0-7
/proc/24510/task/24511/stat : 24511 (java) R 24508 24508 23362 0 -1 4202560 5441 0 0 0 17 2 0 0 20 0 20 0 147661474 26628161536 9686 33554432000 4194304 4196468 140726887874656 140626222226256 140626218026141 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30273536 140726887879826 140726887880003 140726887880003 140726887882703 0
[pid=24510/tid=24512] ppid=24508 vsize=26004064 memory=279596566931192 CPUtime=0 cores=0-7
/proc/24510/task/24512/stat : 24512 (java) S 24508 24508 23362 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147661474 26628161536 9686 33554432000 4194304 4196468 140726887874656 140626170624400 140626218014421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30273536 140726887879826 140726887880003 140726887880003 140726887882703 0
[pid=24510/tid=24513] ppid=24508 vsize=26004064 memory=139798334236288 CPUtime=0 cores=0-7
/proc/24510/task/24513/stat : 24513 (java) S 24508 24508 23362 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147661474 26628161536 9686 33554432000 4194304 4196468 140726887874656 140626169571600 140626218014421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30273536 140726887879826 140726887880003 140726887880003 140726887882703 0
[pid=24510/tid=24514] ppid=24508 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/24510/task/24514/stat : 24514 (java) S 24508 24508 23362 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147661474 26628161536 9686 33554432000 4194304 4196468 140726887874656 140626168519312 140626218014421 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30273536 140726887879826 140726887880003 140726887880003 140726887882703 0
[pid=24510/tid=24515] ppid=24508 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/24510/task/24515/stat : 24515 (java) S 24508 24508 23362 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147661474 26628161536 9686 33554432000 4194304 4196468 140726887874656 140626167466512 140626218014421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30273536 140726887879826 140726887880003 140726887880003 140726887882703 0
[pid=24510/tid=24516] ppid=24508 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/24510/task/24516/stat : 24516 (java) S 24508 24508 23362 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147661474 26628161536 9686 33554432000 4194304 4196468 140726887874656 140626166414224 140626218014421 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30273536 140726887879826 140726887880003 140726887880003 140726887882703 0
[pid=24510/tid=24517] ppid=24508 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/24510/task/24517/stat : 24517 (java) S 24508 24508 23362 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147661474 26628161536 9686 33554432000 4194304 4196468 140726887874656 140626165361424 140626218014421 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30273536 140726887879826 140726887880003 140726887880003 140726887882703 0
[pid=24510/tid=24518] ppid=24508 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/24510/task/24518/stat : 24518 (java) S 24508 24508 23362 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 147661474 26628161536 9686 33554432000 4194304 4196468 140726887874656 140626164309136 140626218014421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30273536 140726887879826 140726887880003 140726887880003 140726887882703 0
[pid=24510/tid=24519] ppid=24508 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/24510/task/24519/stat : 24519 (java) S 24508 24508 23362 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147661474 26628161536 9686 33554432000 4194304 4196468 140726887874656 140626163256336 140626218014421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30273536 140726887879826 140726887880003 140726887880003 140726887882703 0
[pid=24510/tid=24520] ppid=24508 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/24510/task/24520/stat : 24520 (java) S 24508 24508 23362 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147661476 26628161536 9686 33554432000 4194304 4196468 140726887874656 140625278118000 140626218015362 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30273536 140726887879826 140726887880003 140726887880003 140726887882703 0
[pid=24510/tid=24521] ppid=24508 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/24510/task/24521/stat : 24521 (java) S 24508 24508 23362 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 147661476 26628161536 9686 33554432000 4194304 4196468 140726887874656 140625277063968 140626218014421 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30273536 140726887879826 140726887880003 140726887880003 140726887882703 0
[pid=24510/tid=24522] ppid=24508 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/24510/task/24522/stat : 24522 (java) S 24508 24508 23362 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 147661477 26628161536 9686 33554432000 4194304 4196468 140726887874656 140625276011632 140626218014421 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30273536 140726887879826 140726887880003 140726887880003 140726887882703 0
[pid=24510/tid=24523] ppid=24508 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/24510/task/24523/stat : 24523 (java) S 24508 24508 23362 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147661479 26628161536 9686 33554432000 4194304 4196468 140726887874656 140625274959952 140626218022811 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30273536 140726887879826 140726887880003 140726887880003 140726887882703 0
[pid=24510/tid=24524] ppid=24508 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/24510/task/24524/stat : 24524 (java) S 24508 24508 23362 0 -1 1077944384 315 0 0 0 1 0 0 0 20 0 20 0 147661479 26628161536 9686 33554432000 4194304 4196468 140726887874656 140625273907824 140626218015362 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30273536 140726887879826 140726887880003 140726887880003 140726887882703 0
[pid=24510/tid=24525] ppid=24508 vsize=26004064 memory=0 CPUtime=0.02 cores=0-7
/proc/24510/task/24525/stat : 24525 (java) S 24508 24508 23362 0 -1 1077944384 410 0 0 0 2 0 0 0 20 0 20 0 147661479 26628161536 9686 33554432000 4194304 4196468 140726887874656 140625272855024 140626218015362 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30273536 140726887879826 140726887880003 140726887880003 140726887882703 0
[pid=24510/tid=24526] ppid=24508 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/24510/task/24526/stat : 24526 (java) S 24508 24508 23362 0 -1 1077944384 127 0 0 0 0 0 0 0 20 0 20 0 147661479 26628161536 9686 33554432000 4194304 4196468 140726887874656 140625271802736 140626218015362 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30273536 140726887879826 140726887880003 140726887880003 140726887882703 0
[pid=24510/tid=24527] ppid=24508 vsize=26004064 memory=0 CPUtime=0.07 cores=0-7
/proc/24510/task/24527/stat : 24527 (java) R 24508 24508 23362 0 -1 4202560 721 0 0 0 7 0 0 0 20 0 20 0 147661479 26628161536 9686 33554432000 4194304 4196468 140726887874656 140625270749120 140626195228368 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30273536 140726887879826 140726887880003 140726887880003 140726887882703 0
[pid=24510/tid=24528] ppid=24508 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/24510/task/24528/stat : 24528 (java) S 24508 24508 23362 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 147661479 26628161536 9686 33554432000 4194304 4196468 140726887874656 140625269696864 140626218014421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30273536 140726887879826 140726887880003 140726887880003 140726887882703 0
[pid=24510/tid=24529] ppid=24508 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/24510/task/24529/stat : 24529 (java) S 24508 24508 23362 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147661480 26628161536 9686 33554432000 4194304 4196468 140726887874656 140625268644144 140626218015362 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30273536 140726887879826 140726887880003 140726887880003 140726887882703 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40124 KiB

[startup+0.310209 s]*
/proc/loadavg: 7.54 8.07 8.10 3/199 24529
/proc/meminfo: memFree=22725528/32770624 swapFree=67108860/67108860
[pid=24508] ppid=24505 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/24508/stat : 24508 (xcsp3-exec) S 24505 24508 23362 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 147661473 9740288 345 33554432000 4194304 5098028 140722912165776 140722912163880 140209749324412 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 15175680 140722912167012 140722912167223 140722912167223 140722912169963 0
/proc/24508/statm: 2378 345 289 221 0 87 0
[pid=24510] ppid=24508 vsize=26004064 memory=45948 CPUtime=0.5 cores=0-7
/proc/24510/stat : 24510 (java) S 24508 24508 23362 0 -1 1077944320 9239 0 0 0 46 4 0 0 20 0 20 0 147661473 26628161536 11487 33554432000 4194304 4196468 140726887874656 140726887857200 140626218004215 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30273536 140726887879826 140726887880003 140726887880003 140726887882703 0
/proc/24510/statm: 6501016 11487 3093 1 0 6488269 0
[pid=24510/tid=24511] ppid=24508 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/24510/task/24511/stat : 24511 (java) R 24508 24508 23362 0 -1 4202560 6173 0 0 0 27 2 0 0 20 0 20 0 147661474 26628161536 11487 33554432000 4194304 4196468 140726887874656 140626222233872 140626218016150 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30273536 140726887879826 140726887880003 140726887880003 140726887882703 0
[pid=24510/tid=24512] ppid=24508 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/24510/task/24512/stat : 24512 (java) S 24508 24508 23362 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147661474 26628161536 11487 33554432000 4194304 4196468 140726887874656 140626170624400 140626218014421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30273536 140726887879826 140726887880003 140726887880003 140726887882703 0
[pid=24510/tid=24513] ppid=24508 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/24510/task/24513/stat : 24513 (java) S 24508 24508 23362 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147661474 26628161536 11487 33554432000 4194304 4196468 140726887874656 140626169571600 140626218014421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30273536 140726887879826 140726887880003 140726887880003 140726887882703 0
[pid=24510/tid=24514] ppid=24508 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/24510/task/24514/stat : 24514 (java) S 24508 24508 23362 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147661474 26628161536 11487 33554432000 4194304 4196468 140726887874656 140626168519312 140626218014421 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30273536 140726887879826 140726887880003 140726887880003 140726887882703 0
[pid=24510/tid=24515] ppid=24508 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/24510/task/24515/stat : 24515 (java) S 24508 24508 23362 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147661474 26628161536 11487 33554432000 4194304 4196468 140726887874656 140626167466512 140626218014421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30273536 140726887879826 140726887880003 140726887880003 140726887882703 0
[pid=24510/tid=24516] ppid=24508 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/24510/task/24516/stat : 24516 (java) S 24508 24508 23362 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147661474 26628161536 11487 33554432000 4194304 4196468 140726887874656 140626166414224 140626218014421 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30273536 140726887879826 140726887880003 140726887880003 140726887882703 0
[pid=24510/tid=24517] ppid=24508 vsize=26004064 memory=139798232789935 CPUtime=0 cores=0-7
/proc/24510/task/24517/stat : 24517 (java) S 24508 24508 23362 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147661474 26628161536 11487 33554432000 4194304 4196468 140726887874656 140626165361424 140626218014421 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30273536 140726887879826 140726887880003 140726887880003 140726887882703 0
[pid=24510/tid=24518] ppid=24508 vsize=26004064 memory=139798232792240 CPUtime=0 cores=0-7
/proc/24510/task/24518/stat : 24518 (java) S 24508 24508 23362 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 147661474 26628161536 11487 33554432000 4194304 4196468 140726887874656 140626164309136 140626218014421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30273536 140726887879826 140726887880003 140726887880003 140726887882703 0
[pid=24510/tid=24519] ppid=24508 vsize=26004064 memory=139798232794544 CPUtime=0 cores=0-7
/proc/24510/task/24519/stat : 24519 (java) S 24508 24508 23362 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147661474 26628161536 11487 33554432000 4194304 4196468 140726887874656 140626163256336 140626218014421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30273536 140726887879826 140726887880003 140726887880003 140726887882703 0
[pid=24510/tid=24520] ppid=24508 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/24510/task/24520/stat : 24520 (java) S 24508 24508 23362 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147661476 26628161536 11487 33554432000 4194304 4196468 140726887874656 140625278118000 140626218015362 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30273536 140726887879826 140726887880003 140726887880003 140726887882703 0
[pid=24510/tid=24521] ppid=24508 vsize=26004064 memory=279596465596048 CPUtime=0 cores=0-7
/proc/24510/task/24521/stat : 24521 (java) S 24508 24508 23362 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 147661476 26628161536 11487 33554432000 4194304 4196468 140726887874656 140625277063968 140626218014421 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30273536 140726887879826 140726887880003 140726887880003 140726887882703 0
[pid=24510/tid=24522] ppid=24508 vsize=26004064 memory=279596465602960 CPUtime=0 cores=0-7
/proc/24510/task/24522/stat : 24522 (java) S 24508 24508 23362 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 147661477 26628161536 11487 33554432000 4194304 4196468 140726887874656 140625276011632 140626218014421 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30273536 140726887879826 140726887880003 140726887880003 140726887882703 0
[pid=24510/tid=24523] ppid=24508 vsize=26004064 memory=279596465544240 CPUtime=0 cores=0-7
/proc/24510/task/24523/stat : 24523 (java) S 24508 24508 23362 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147661479 26628161536 11487 33554432000 4194304 4196468 140726887874656 140625274959952 140626218022811 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30273536 140726887879826 140726887880003 140726887880003 140726887882703 0
[pid=24510/tid=24524] ppid=24508 vsize=26004064 memory=279596465616784 CPUtime=0.01 cores=0-7
/proc/24510/task/24524/stat : 24524 (java) S 24508 24508 23362 0 -1 1077944384 321 0 0 0 1 0 0 0 20 0 20 0 147661479 26628161536 11487 33554432000 4194304 4196468 140726887874656 140625273907824 140626218015362 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30273536 140726887879826 140726887880003 140726887880003 140726887882703 0
[pid=24510/tid=24525] ppid=24508 vsize=26004064 memory=279596465623696 CPUtime=0.04 cores=0-7
/proc/24510/task/24525/stat : 24525 (java) R 24508 24508 23362 0 -1 1077944384 454 0 0 0 4 0 0 0 20 0 20 0 147661479 26628161536 11487 33554432000 4194304 4196468 140726887874656 140625272855024 140626218015362 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30273536 140726887879826 140726887880003 140726887880003 140726887882703 0
[pid=24510/tid=24526] ppid=24508 vsize=26004064 memory=279596465621392 CPUtime=0.01 cores=0-7
/proc/24510/task/24526/stat : 24526 (java) R 24508 24508 23362 0 -1 1077944384 140 0 0 0 1 0 0 0 20 0 20 0 147661479 26628161536 11487 33554432000 4194304 4196468 140726887874656 140625271802736 140626218015362 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30273536 140726887879826 140726887880003 140726887880003 140726887882703 0
[pid=24510/tid=24527] ppid=24508 vsize=26004064 memory=279596465637552 CPUtime=0.12 cores=0-7
/proc/24510/task/24527/stat : 24527 (java) R 24508 24508 23362 0 -1 1077944384 840 0 0 0 12 0 0 0 20 0 20 0 147661479 26628161536 11487 33554432000 4194304 4196468 140726887874656 140625270749936 140626218015362 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30273536 140726887879826 140726887880003 140726887880003 140726887882703 0
[pid=24510/tid=24528] ppid=24508 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/24510/task/24528/stat : 24528 (java) S 24508 24508 23362 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 147661479 26628161536 11487 33554432000 4194304 4196468 140726887874656 140625269696864 140626218014421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30273536 140726887879826 140726887880003 140726887880003 140726887882703 0
[pid=24510/tid=24529] ppid=24508 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/24510/task/24529/stat : 24529 (java) S 24508 24508 23362 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147661480 26628161536 11487 33554432000 4194304 4196468 140726887874656 140625268644144 140626218015362 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30273536 140726887879826 140726887880003 140726887880003 140726887882703 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 47328 KiB

[startup+0.700986 s]
/proc/loadavg: 7.54 8.07 8.10 6/199 24529
/proc/meminfo: memFree=22709276/32770624 swapFree=67108860/67108860
[pid=24508] ppid=24505 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/24508/stat : 24508 (xcsp3-exec) S 24505 24508 23362 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 147661473 9740288 345 33554432000 4194304 5098028 140722912165776 140722912163880 140209749324412 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 15175680 140722912167012 140722912167223 140722912167223 140722912169963 0
/proc/24508/statm: 2378 345 289 221 0 87 0
[pid=24510] ppid=24508 vsize=26006188 memory=96408 CPUtime=1.8 cores=0-7
/proc/24510/stat : 24510 (java) S 24508 24508 23362 0 -1 1077944320 14239 0 0 0 174 6 0 0 20 0 20 0 147661473 26630336512 24102 33554432000 4194304 4196468 140726887874656 140726887857200 140626218004215 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30273536 140726887879826 140726887880003 140726887880003 140726887882703 0
/proc/24510/statm: 6501547 24102 3206 1 0 6488781 0
[pid=24510/tid=24511] ppid=24508 vsize=26006188 memory=279596465932416 CPUtime=0.67 cores=0-7
/proc/24510/task/24511/stat : 24511 (java) R 24508 24508 23362 0 -1 4202560 6901 0 0 0 64 3 0 0 20 0 20 0 147661474 26630336512 24102 33554432000 4194304 4196468 140726887874656 140626222241536 140625836118861 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30273536 140726887879826 140726887880003 140726887880003 140726887882703 0
[pid=24510/tid=24512] ppid=24508 vsize=26006188 memory=1004 CPUtime=0 cores=0-7
/proc/24510/task/24512/stat : 24512 (java) S 24508 24508 23362 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147661474 26630336512 24102 33554432000 4194304 4196468 140726887874656 140626170624400 140626218014421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30273536 140726887879826 140726887880003 140726887880003 140726887882703 0
[pid=24510/tid=24513] ppid=24508 vsize=26006188 memory=11112 CPUtime=0 cores=0-7
/proc/24510/task/24513/stat : 24513 (java) S 24508 24508 23362 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147661474 26630336512 24102 33554432000 4194304 4196468 140726887874656 140626169571600 140626218014421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30273536 140726887879826 140726887880003 140726887880003 140726887882703 0
[pid=24510/tid=24514] ppid=24508 vsize=26006188 memory=5776 CPUtime=0 cores=0-7
/proc/24510/task/24514/stat : 24514 (java) S 24508 24508 23362 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147661474 26630336512 24102 33554432000 4194304 4196468 140726887874656 140626168519312 140626218014421 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30273536 140726887879826 140726887880003 140726887880003 140726887882703 0

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

[pid=24510/tid=24716] ppid=24508 vsize=26605264 memory=1380 CPUtime=1536.25 cores=0-7
/proc/24510/task/24716/stat : 24716 (java) R 24508 24508 23362 0 -1 4202560 7664 0 0 0 153621 4 0 0 20 0 28 0 147751428 27243790336 78928 33554432000 4194304 4196468 140726887874656 140625260633416 140625843681361 0 4 0 16800975 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 30273536 140726887879826 140726887880003 140726887880003 140726887882703 0
Current children cumulated CPU time: 19473.2 s
Current children cumulated vsize: 26614776 KiB
Current children cumulated memory: 317092 KiB

[startup+2502.3 s]
/proc/loadavg: 9.05 8.60 8.37 9/207 24735
/proc/meminfo: memFree=22457848/32770624 swapFree=67108860/67108860
[pid=24508] ppid=24505 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/24508/stat : 24508 (xcsp3-exec) S 24505 24508 23362 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 147661473 9740288 345 33554432000 4194304 5098028 140722912165776 140722912163880 140209749324412 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 15175680 140722912167012 140722912167223 140722912167223 140722912169963 0
/proc/24508/statm: 2378 345 289 221 0 87 0
[pid=24510] ppid=24508 vsize=26605264 memory=317780 CPUtime=19951.6 cores=0-7
/proc/24510/stat : 24510 (java) S 24508 24508 23362 0 -1 1077944320 351682 0 0 0 1994967 188 0 0 20 0 28 0 147661473 27243790336 79445 33554432000 4194304 4196468 140726887874656 140726887857200 140626218004215 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30273536 140726887879826 140726887880003 140726887880003 140726887882703 0
/proc/24510/statm: 6651316 79445 3283 1 0 6638550 0
[pid=24510/tid=24511] ppid=24508 vsize=26605264 memory=317780 CPUtime=0.71 cores=0-7
/proc/24510/task/24511/stat : 24511 (java) S 24508 24508 23362 0 -1 1077944384 8030 0 0 0 68 3 0 0 20 0 28 0 147661474 27243790336 79445 33554432000 4194304 4196468 140726887874656 140626222244992 140626218014421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30273536 140726887879826 140726887880003 140726887880003 140726887882703 0
[pid=24510/tid=24512] ppid=24508 vsize=26605264 memory=1380 CPUtime=0.81 cores=0-7
/proc/24510/task/24512/stat : 24512 (java) S 24508 24508 23362 0 -1 1077944384 11067 0 0 0 75 6 0 0 20 0 28 0 147661474 27243790336 79445 33554432000 4194304 4196468 140726887874656 140626170624400 140626218014421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30273536 140726887879826 140726887880003 140726887880003 140726887882703 0
[pid=24510/tid=24513] ppid=24508 vsize=26605264 memory=315712 CPUtime=0.8 cores=0-7
/proc/24510/task/24513/stat : 24513 (java) S 24508 24508 23362 0 -1 1077944384 12921 0 0 0 73 7 0 0 20 0 28 0 147661474 27243790336 79445 33554432000 4194304 4196468 140726887874656 140626169571600 140626218014421 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30273536 140726887879826 140726887880003 140726887880003 140726887882703 0
[pid=24510/tid=24514] ppid=24508 vsize=26605264 memory=1380 CPUtime=0.8 cores=0-7
/proc/24510/task/24514/stat : 24514 (java) S 24508 24508 23362 0 -1 1077944384 10084 0 0 0 74 6 0 0 20 0 28 0 147661474 27243790336 79445 33554432000 4194304 4196468 140726887874656 140626168519312 140626218014421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30273536 140726887879826 140726887880003 140726887880003 140726887882703 0
[pid=24510/tid=24515] ppid=24508 vsize=26605264 memory=1380 CPUtime=0.81 cores=0-7
/proc/24510/task/24515/stat : 24515 (java) S 24508 24508 23362 0 -1 1077944384 10620 0 0 0 74 7 0 0 20 0 28 0 147661474 27243790336 79445 33554432000 4194304 4196468 140726887874656 140626167466512 140626218014421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30273536 140726887879826 140726887880003 140726887880003 140726887882703 0
[pid=24510/tid=24516] ppid=24508 vsize=26605264 memory=317780 CPUtime=0.78 cores=0-7
/proc/24510/task/24516/stat : 24516 (java) S 24508 24508 23362 0 -1 1077944384 9419 0 0 0 72 6 0 0 20 0 28 0 147661474 27243790336 79445 33554432000 4194304 4196468 140726887874656 140626166414224 140626218014421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30273536 140726887879826 140726887880003 140726887880003 140726887882703 0
[pid=24510/tid=24517] ppid=24508 vsize=26605264 memory=1200 CPUtime=0.83 cores=0-7
/proc/24510/task/24517/stat : 24517 (java) S 24508 24508 23362 0 -1 1077944384 10750 0 0 0 77 6 0 0 20 0 28 0 147661474 27243790336 79445 33554432000 4194304 4196468 140726887874656 140626165361424 140626218014421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30273536 140726887879826 140726887880003 140726887880003 140726887882703 0
[pid=24510/tid=24518] ppid=24508 vsize=26605264 memory=15876 CPUtime=0.82 cores=0-7
/proc/24510/task/24518/stat : 24518 (java) S 24508 24508 23362 0 -1 1077944384 10480 0 0 0 76 6 0 0 20 0 28 0 147661474 27243790336 79445 33554432000 4194304 4196468 140726887874656 140626164309136 140626218014421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30273536 140726887879826 140726887880003 140726887880003 140726887882703 0
[pid=24510/tid=24519] ppid=24508 vsize=26605264 memory=4044 CPUtime=0.82 cores=0-7
/proc/24510/task/24519/stat : 24519 (java) S 24508 24508 23362 0 -1 1077944384 10863 0 0 0 77 5 0 0 20 0 28 0 147661474 27243790336 79445 33554432000 4194304 4196468 140726887874656 140626163256336 140626218014421 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30273536 140726887879826 140726887880003 140726887880003 140726887882703 0
[pid=24510/tid=24520] ppid=24508 vsize=26605264 memory=16444 CPUtime=0.92 cores=0-7
/proc/24510/task/24520/stat : 24520 (java) S 24508 24508 23362 0 -1 1077944384 32892 0 0 0 54 38 0 0 20 0 28 0 147661476 27243790336 79445 33554432000 4194304 4196468 140726887874656 140625278118000 140626218015362 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30273536 140726887879826 140726887880003 140726887880003 140726887882703 0
[pid=24510/tid=24521] ppid=24508 vsize=26605264 memory=1380 CPUtime=0 cores=0-7
/proc/24510/task/24521/stat : 24521 (java) S 24508 24508 23362 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 28 0 147661476 27243790336 79445 33554432000 4194304 4196468 140726887874656 140625277064032 140626218014421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30273536 140726887879826 140726887880003 140726887880003 140726887882703 0
[pid=24510/tid=24522] ppid=24508 vsize=26605264 memory=317780 CPUtime=0 cores=0-7
/proc/24510/task/24522/stat : 24522 (java) S 24508 24508 23362 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 28 0 147661477 27243790336 79445 33554432000 4194304 4196468 140726887874656 140625276011648 140626218014421 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30273536 140726887879826 140726887880003 140726887880003 140726887882703 0
[pid=24510/tid=24523] ppid=24508 vsize=26605264 memory=1580 CPUtime=0 cores=0-7
/proc/24510/task/24523/stat : 24523 (java) S 24508 24508 23362 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 147661479 27243790336 79445 33554432000 4194304 4196468 140726887874656 140625274959952 140626218022811 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30273536 140726887879826 140726887880003 140726887880003 140726887882703 0
[pid=24510/tid=24524] ppid=24508 vsize=26605264 memory=315712 CPUtime=2.76 cores=0-7
/proc/24510/task/24524/stat : 24524 (java) S 24508 24508 23362 0 -1 1077944384 16284 0 0 0 274 2 0 0 20 0 28 0 147661479 27243790336 79445 33554432000 4194304 4196468 140726887874656 140625273907824 140626218015362 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30273536 140726887879826 140726887880003 140726887880003 140726887882703 0
[pid=24510/tid=24525] ppid=24508 vsize=26605264 memory=1380 CPUtime=3.04 cores=0-7
/proc/24510/task/24525/stat : 24525 (java) S 24508 24508 23362 0 -1 1077944384 24518 0 0 0 300 4 0 0 20 0 28 0 147661479 27243790336 79445 33554432000 4194304 4196468 140726887874656 140625272855024 140626218015362 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30273536 140726887879826 140726887880003 140726887880003 140726887882703 0
[pid=24510/tid=24526] ppid=24508 vsize=26605264 memory=1380 CPUtime=2.64 cores=0-7
/proc/24510/task/24526/stat : 24526 (java) S 24508 24508 23362 0 -1 1077944384 23302 0 0 0 259 5 0 0 20 0 28 0 147661479 27243790336 79445 33554432000 4194304 4196468 140726887874656 140625271802736 140626218015362 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30273536 140726887879826 140726887880003 140726887880003 140726887882703 0
[pid=24510/tid=24527] ppid=24508 vsize=26605264 memory=1380 CPUtime=0.91 cores=0-7
/proc/24510/task/24527/stat : 24527 (java) S 24508 24508 23362 0 -1 1077944384 15157 0 0 0 89 2 0 0 20 0 28 0 147661479 27243790336 79445 33554432000 4194304 4196468 140726887874656 140625270749936 140626218015362 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30273536 140726887879826 140726887880003 140726887880003 140726887882703 0
[pid=24510/tid=24528] ppid=24508 vsize=26605264 memory=1380 CPUtime=0 cores=0-7
/proc/24510/task/24528/stat : 24528 (java) S 24508 24508 23362 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 147661479 27243790336 79445 33554432000 4194304 4196468 140726887874656 140625269696864 140626218014421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30273536 140726887879826 140726887880003 140726887880003 140726887882703 0
[pid=24510/tid=24529] ppid=24508 vsize=26605264 memory=317780 CPUtime=0.31 cores=0-7
/proc/24510/task/24529/stat : 24529 (java) S 24508 24508 23362 0 -1 1077944384 5630 0 0 0 0 31 0 0 20 0 28 0 147661480 27243790336 79445 33554432000 4194304 4196468 140726887874656 140625268644144 140626218015362 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 7 0 0 6293624 6294260 30273536 140726887879826 140726887880003 140726887880003 140726887882703 0
[pid=24510/tid=24709] ppid=24508 vsize=26605264 memory=288230574492221466 CPUtime=1600.5 cores=0-7
/proc/24510/task/24709/stat : 24709 (java) R 24508 24508 23362 0 -1 4202560 3805 0 0 0 160047 3 0 0 20 0 28 0 147751428 27243790336 79445 33554432000 4194304 4196468 140726887874656 140625252211032 140625843642614 0 4 0 16800975 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 30273536 140726887879826 140726887880003 140726887880003 140726887882703 0
[pid=24510/tid=24710] ppid=24508 vsize=26605264 memory=288230596050944315 CPUtime=1596.21 cores=0-7
/proc/24510/task/24710/stat : 24710 (java) R 24508 24508 23362 0 -1 4202560 3827 0 0 0 159618 3 0 0 20 0 28 0 147751428 27243790336 79445 33554432000 4194304 4196468 140726887874656 140625259581008 140625842464154 0 4 0 16800975 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 30273536 140726887879826 140726887880003 140726887880003 140726887882703 0
[pid=24510/tid=24711] ppid=24508 vsize=26605264 memory=1380 CPUtime=1598.03 cores=0-7
/proc/24510/task/24711/stat : 24711 (java) R 24508 24508 23362 0 -1 4202560 12195 0 0 0 159798 5 0 0 20 0 28 0 147751428 27243790336 79445 33554432000 4194304 4196468 140726887874656 140625255373280 140625843679299 0 4 0 16800975 0 0 0 -1 6 0 0 4 0 0 6293624 6294260 30273536 140726887879826 140726887880003 140726887880003 140726887882703 0
[pid=24510/tid=24712] ppid=24508 vsize=26605264 memory=4140 CPUtime=1594.07 cores=0-7
/proc/24510/task/24712/stat : 24712 (java) R 24508 24508 23362 0 -1 4202560 16819 0 0 0 159400 7 0 0 20 0 28 0 147751428 27243790336 79445 33554432000 4194304 4196468 140726887874656 140625257476056 140625843914165 0 4 0 16800975 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 30273536 140726887879826 140726887880003 140726887880003 140726887882703 0
[pid=24510/tid=24713] ppid=24508 vsize=26605264 memory=41356 CPUtime=1599.79 cores=0-7
/proc/24510/task/24713/stat : 24713 (java) R 24508 24508 23362 0 -1 4202560 9157 0 0 0 159973 6 0 0 20 0 28 0 147751428 27243790336 79445 33554432000 4194304 4196468 140726887874656 140625258529112 140625843784839 0 4 0 16800975 0 0 0 -1 7 0 0 4 0 0 6293624 6294260 30273536 140726887879826 140726887880003 140726887880003 140726887882703 0
[pid=24510/tid=24714] ppid=24508 vsize=26605264 memory=1296 CPUtime=1596.47 cores=0-7
/proc/24510/task/24714/stat : 24714 (java) R 24508 24508 23362 0 -1 4202560 2927 0 0 0 159645 2 0 0 20 0 28 0 147751428 27243790336 79445 33554432000 4194304 4196468 140726887874656 140625254318304 140625843681493 0 4 0 16800975 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 30273536 140726887879826 140726887880003 140726887880003 140726887882703 0
[pid=24510/tid=24715] ppid=24508 vsize=26605264 memory=2396 CPUtime=1596.16 cores=0-7
/proc/24510/task/24715/stat : 24715 (java) R 24508 24508 23362 0 -1 4202560 3709 0 0 0 159613 3 0 0 20 0 28 0 147751428 27243790336 79445 33554432000 4194304 4196468 140726887874656 140625253264984 140625843678571 0 4 0 16800975 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 30273536 140726887879826 140726887880003 140726887880003 140726887882703 0
[pid=24510/tid=24716] ppid=24508 vsize=26605264 memory=1380 CPUtime=1595.95 cores=0-7
/proc/24510/task/24716/stat : 24716 (java) R 24508 24508 23362 0 -1 4202560 7886 0 0 0 159591 4 0 0 20 0 28 0 147751428 27243790336 79445 33554432000 4194304 4196468 140726887874656 140625260633096 140625843642614 0 4 0 16800975 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 30273536 140726887879826 140726887880003 140726887880003 140726887882703 0
Current children cumulated CPU time: 19951.6 s
Current children cumulated vsize: 26614776 KiB
Current children cumulated memory: 319160 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 9.19 8.66 8.39 9/207 24735
/proc/meminfo: memFree=22457936/32770624 swapFree=67108860/67108860
[pid=24508] ppid=24505 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/24508/stat : 24508 (xcsp3-exec) S 24505 24508 23362 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 147661473 9740288 345 33554432000 4194304 5098028 140722912165776 140722912163880 140209749324412 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 15175680 140722912167012 140722912167223 140722912167223 140722912169963 0
/proc/24508/statm: 2378 345 289 221 0 87 0
[pid=24510] ppid=24508 vsize=26605264 memory=317780 CPUtime=20092.8 cores=0-7
/proc/24510/stat : 24510 (java) S 24508 24508 23362 0 -1 1077944320 351735 0 0 0 2009093 188 0 0 20 0 28 0 147661473 27243790336 79445 33554432000 4194304 4196468 140726887874656 140726887857200 140626218004215 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30273536 140726887879826 140726887880003 140726887880003 140726887882703 0
/proc/24510/statm: 6651316 79445 3283 1 0 6638550 0
[pid=24510/tid=24511] ppid=24508 vsize=26605264 memory=1398720917958146503 CPUtime=0.71 cores=0-7
/proc/24510/task/24511/stat : 24511 (java) S 24508 24508 23362 0 -1 1077944384 8030 0 0 0 68 3 0 0 20 0 28 0 147661474 27243790336 79445 33554432000 4194304 4196468 140726887874656 140626222244992 140626218014421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30273536 140726887879826 140726887880003 140726887880003 140726887882703 0
[pid=24510/tid=24512] ppid=24508 vsize=26605264 memory=-7003737579269690708 CPUtime=0.82 cores=0-7
/proc/24510/task/24512/stat : 24512 (java) S 24508 24508 23362 0 -1 1077944384 11068 0 0 0 76 6 0 0 20 0 28 0 147661474 27243790336 79445 33554432000 4194304 4196468 140726887874656 140626170624400 140626218014421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30273536 140726887879826 140726887880003 140726887880003 140726887882703 0
[pid=24510/tid=24513] ppid=24508 vsize=26605264 memory=23864 CPUtime=0.81 cores=0-7
/proc/24510/task/24513/stat : 24513 (java) S 24508 24508 23362 0 -1 1077944384 12921 0 0 0 74 7 0 0 20 0 28 0 147661474 27243790336 79445 33554432000 4194304 4196468 140726887874656 140626169571600 140626218014421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30273536 140726887879826 140726887880003 140726887880003 140726887882703 0
[pid=24510/tid=24514] ppid=24508 vsize=26605264 memory=1796 CPUtime=0.81 cores=0-7
/proc/24510/task/24514/stat : 24514 (java) S 24508 24508 23362 0 -1 1077944384 10086 0 0 0 75 6 0 0 20 0 28 0 147661474 27243790336 79445 33554432000 4194304 4196468 140726887874656 140626168519312 140626218014421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30273536 140726887879826 140726887880003 140726887880003 140726887882703 0
[pid=24510/tid=24515] ppid=24508 vsize=26605264 memory=636 CPUtime=0.82 cores=0-7
/proc/24510/task/24515/stat : 24515 (java) S 24508 24508 23362 0 -1 1077944384 10621 0 0 0 75 7 0 0 20 0 28 0 147661474 27243790336 79445 33554432000 4194304 4196468 140726887874656 140626167466512 140626218014421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30273536 140726887879826 140726887880003 140726887880003 140726887882703 0
[pid=24510/tid=24516] ppid=24508 vsize=26605264 memory=960 CPUtime=0.78 cores=0-7
/proc/24510/task/24516/stat : 24516 (java) S 24508 24508 23362 0 -1 1077944384 9420 0 0 0 72 6 0 0 20 0 28 0 147661474 27243790336 79445 33554432000 4194304 4196468 140726887874656 140626166414224 140626218014421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30273536 140726887879826 140726887880003 140726887880003 140726887882703 0
[pid=24510/tid=24517] ppid=24508 vsize=26605264 memory=1236 CPUtime=0.83 cores=0-7
/proc/24510/task/24517/stat : 24517 (java) S 24508 24508 23362 0 -1 1077944384 10750 0 0 0 77 6 0 0 20 0 28 0 147661474 27243790336 79445 33554432000 4194304 4196468 140726887874656 140626165361424 140626218014421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30273536 140726887879826 140726887880003 140726887880003 140726887882703 0
[pid=24510/tid=24518] ppid=24508 vsize=26605264 memory=2464 CPUtime=0.83 cores=0-7
/proc/24510/task/24518/stat : 24518 (java) S 24508 24508 23362 0 -1 1077944384 10480 0 0 0 77 6 0 0 20 0 28 0 147661474 27243790336 79445 33554432000 4194304 4196468 140726887874656 140626164309136 140626218014421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30273536 140726887879826 140726887880003 140726887880003 140726887882703 0
[pid=24510/tid=24519] ppid=24508 vsize=26605264 memory=1580 CPUtime=0.82 cores=0-7
/proc/24510/task/24519/stat : 24519 (java) S 24508 24508 23362 0 -1 1077944384 10863 0 0 0 77 5 0 0 20 0 28 0 147661474 27243790336 79445 33554432000 4194304 4196468 140726887874656 140626163256336 140626218014421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30273536 140726887879826 140726887880003 140726887880003 140726887882703 0
[pid=24510/tid=24520] ppid=24508 vsize=26605264 memory=-7452431979323206951 CPUtime=0.93 cores=0-7
/proc/24510/task/24520/stat : 24520 (java) S 24508 24508 23362 0 -1 1077944384 32898 0 0 0 54 39 0 0 20 0 28 0 147661476 27243790336 79445 33554432000 4194304 4196468 140726887874656 140625278118000 140626218015362 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30273536 140726887879826 140726887880003 140726887880003 140726887882703 0
[pid=24510/tid=24521] ppid=24508 vsize=26605264 memory=0 CPUtime=0 cores=0-7
/proc/24510/task/24521/stat : 24521 (java) S 24508 24508 23362 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 28 0 147661476 27243790336 79445 33554432000 4194304 4196468 140726887874656 140625277064032 140626218014421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30273536 140726887879826 140726887880003 140726887880003 140726887882703 0
[pid=24510/tid=24522] ppid=24508 vsize=26605264 memory=0 CPUtime=0 cores=0-7
/proc/24510/task/24522/stat : 24522 (java) S 24508 24508 23362 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 28 0 147661477 27243790336 79445 33554432000 4194304 4196468 140726887874656 140625276011648 140626218014421 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30273536 140726887879826 140726887880003 140726887880003 140726887882703 0
[pid=24510/tid=24523] ppid=24508 vsize=26605264 memory=0 CPUtime=0 cores=0-7
/proc/24510/task/24523/stat : 24523 (java) S 24508 24508 23362 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 147661479 27243790336 79445 33554432000 4194304 4196468 140726887874656 140625274959952 140626218022811 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30273536 140726887879826 140726887880003 140726887880003 140726887882703 0
[pid=24510/tid=24524] ppid=24508 vsize=26605264 memory=0 CPUtime=2.76 cores=0-7
/proc/24510/task/24524/stat : 24524 (java) S 24508 24508 23362 0 -1 1077944384 16284 0 0 0 274 2 0 0 20 0 28 0 147661479 27243790336 79445 33554432000 4194304 4196468 140726887874656 140625273907824 140626218015362 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30273536 140726887879826 140726887880003 140726887880003 140726887882703 0
[pid=24510/tid=24525] ppid=24508 vsize=26605264 memory=0 CPUtime=3.04 cores=0-7
/proc/24510/task/24525/stat : 24525 (java) S 24508 24508 23362 0 -1 1077944384 24518 0 0 0 300 4 0 0 20 0 28 0 147661479 27243790336 79445 33554432000 4194304 4196468 140726887874656 140625272855024 140626218015362 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30273536 140726887879826 140726887880003 140726887880003 140726887882703 0
[pid=24510/tid=24526] ppid=24508 vsize=26605264 memory=0 CPUtime=2.64 cores=0-7
/proc/24510/task/24526/stat : 24526 (java) S 24508 24508 23362 0 -1 1077944384 23302 0 0 0 259 5 0 0 20 0 28 0 147661479 27243790336 79445 33554432000 4194304 4196468 140726887874656 140625271802736 140626218015362 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30273536 140726887879826 140726887880003 140726887880003 140726887882703 0
[pid=24510/tid=24527] ppid=24508 vsize=26605264 memory=0 CPUtime=0.91 cores=0-7
/proc/24510/task/24527/stat : 24527 (java) S 24508 24508 23362 0 -1 1077944384 15157 0 0 0 89 2 0 0 20 0 28 0 147661479 27243790336 79445 33554432000 4194304 4196468 140726887874656 140625270749936 140626218015362 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30273536 140726887879826 140726887880003 140726887880003 140726887882703 0
[pid=24510/tid=24528] ppid=24508 vsize=26605264 memory=0 CPUtime=0 cores=0-7
/proc/24510/task/24528/stat : 24528 (java) S 24508 24508 23362 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 147661479 27243790336 79445 33554432000 4194304 4196468 140726887874656 140625269696864 140626218014421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30273536 140726887879826 140726887880003 140726887880003 140726887882703 0
[pid=24510/tid=24529] ppid=24508 vsize=26605264 memory=0 CPUtime=0.32 cores=0-7
/proc/24510/task/24529/stat : 24529 (java) S 24508 24508 23362 0 -1 1077944384 5632 0 0 0 0 32 0 0 20 0 28 0 147661480 27243790336 79445 33554432000 4194304 4196468 140726887874656 140625268644144 140626218015362 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 7 0 0 6293624 6294260 30273536 140726887879826 140726887880003 140726887880003 140726887882703 0
[pid=24510/tid=24709] ppid=24508 vsize=26605264 memory=0 CPUtime=1618.19 cores=0-7
/proc/24510/task/24709/stat : 24709 (java) R 24508 24508 23362 0 -1 4202560 3807 0 0 0 161816 3 0 0 20 0 28 0 147751428 27243790336 79445 33554432000 4194304 4196468 140726887874656 140625252211488 140625843035218 0 4 0 16800975 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 30273536 140726887879826 140726887880003 140726887880003 140726887882703 0
[pid=24510/tid=24710] ppid=24508 vsize=26605264 memory=0 CPUtime=1613.9 cores=0-7
/proc/24510/task/24710/stat : 24710 (java) R 24508 24508 23362 0 -1 4202560 3828 0 0 0 161387 3 0 0 20 0 28 0 147751428 27243790336 79445 33554432000 4194304 4196468 140726887874656 140625259581144 140625843037679 0 4 0 16800975 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 30273536 140726887879826 140726887880003 140726887880003 140726887882703 0
[pid=24510/tid=24711] ppid=24508 vsize=26605264 memory=792 CPUtime=1615.72 cores=0-7
/proc/24510/task/24711/stat : 24711 (java) R 24508 24508 23362 0 -1 4202560 12221 0 0 0 161567 5 0 0 20 0 28 0 147751428 27243790336 79445 33554432000 4194304 4196468 140726887874656 140625255370696 140625842549329 0 4 0 16800975 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 30273536 140726887879826 140726887880003 140726887880003 140726887882703 0
[pid=24510/tid=24712] ppid=24508 vsize=26605264 memory=1424 CPUtime=1611.55 cores=0-7
/proc/24510/task/24712/stat : 24712 (java) R 24508 24508 23362 0 -1 4202560 16819 0 0 0 161148 7 0 0 20 0 28 0 147751428 27243790336 79445 33554432000 4194304 4196468 140726887874656 140625257476056 140625843642802 0 4 0 16800975 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 30273536 140726887879826 140726887880003 140726887880003 140726887882703 0
[pid=24510/tid=24713] ppid=24508 vsize=26605264 memory=1936 CPUtime=1617.47 cores=0-7
/proc/24510/task/24713/stat : 24713 (java) R 24508 24508 23362 0 -1 4202560 9159 0 0 0 161741 6 0 0 20 0 28 0 147751428 27243790336 79445 33554432000 4194304 4196468 140726887874656 140625258532048 140625843037686 0 4 0 16800975 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 30273536 140726887879826 140726887880003 140726887880003 140726887882703 0
[pid=24510/tid=24714] ppid=24508 vsize=26605264 memory=1224 CPUtime=1614.17 cores=0-7
/proc/24510/task/24714/stat : 24714 (java) R 24508 24508 23362 0 -1 4202560 2929 0 0 0 161415 2 0 0 20 0 28 0 147751428 27243790336 79445 33554432000 4194304 4196468 140726887874656 140625254318440 140625843450008 0 4 0 16800975 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 30273536 140726887879826 140726887880003 140726887880003 140726887882703 0
[pid=24510/tid=24715] ppid=24508 vsize=26605264 memory=1716 CPUtime=1613.85 cores=0-7
/proc/24510/task/24715/stat : 24715 (java) R 24508 24508 23362 0 -1 4202560 3712 0 0 0 161382 3 0 0 20 0 28 0 147751428 27243790336 79445 33554432000 4194304 4196468 140726887874656 140625253264312 140625843787615 0 4 0 16800975 0 0 0 -1 6 0 0 4 0 0 6293624 6294260 30273536 140726887879826 140726887880003 140726887880003 140726887882703 0
[pid=24510/tid=24716] ppid=24508 vsize=26605264 memory=10636 CPUtime=1613.54 cores=0-7
/proc/24510/task/24716/stat : 24716 (java) R 24508 24508 23362 0 -1 4202560 7890 0 0 0 161350 4 0 0 20 0 28 0 147751428 27243790336 79445 33554432000 4194304 4196468 140726887874656 140625260632616 140625843642575 0 4 0 16800975 0 0 0 -1 7 0 0 3 0 0 6293624 6294260 30273536 140726887879826 140726887880003 140726887880003 140726887882703 0
Current children cumulated CPU time: 20092.8 s
Current children cumulated vsize: 26614776 KiB
Current children cumulated memory: 319160 KiB

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

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

[startup+2520.12 s]
# the end of solver process 24510 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=20091.7 s, system=1.88894 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): 20093.6
CPU user time (s): 20091.7
CPU system time (s): 1.88894
CPU usage (%): 797.33
Max. virtual memory (cumulated for all children) (KiB): 26616536
Max. memory (cumulated for all children) (KiB): 319160

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20091.7
system time used= 1.88894
maximum resident set size= 318272
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 352582
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3120
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 117184
involuntary context switches= 205649


# summary of solver processes directly reported to runsolver:
#   pid: 24508,24510
#   total CPU time (s): 20093.6
#   total CPU user time (s): 20091.7
#   total CPU system time (s): 1.88894

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.5056 second user time and 28.9969 second system time

The end

Launcher Data 

Begin job on node150 at 2017-08-19 14:15:45
IDJOB=4280533
IDBENCH=128676
IDSOLVER=2675
FILE ID=node150/4280533-1503145805
RUNJOBID= node150-1503138858-23389
PBS_JOBID= 20630794
Free space on /tmp= 61904 MiB

SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/Rcpsp/Rcpsp-m1-j90/Rcpsp-j90-09-06.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-4280533-1503145805/watcher-4280533-1503145805 -o /tmp/evaluation-result-4280533-1503145805/solver-4280533-1503145805 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node150-1503138858-23389 --watchdog 2580  ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1909616043 HOME/instance-4280533-1503145805.xml

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

MD5SUM BENCH= 6fbeb4485160aba6959a0a0fc5f330c5
RANDOM SEED=1909616043

node150.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.89
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	: 5332.89
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	: 5332.89
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	: 5332.89
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:        22760280 kB
MemAvailable:   31961208 kB
Buffers:          332256 kB
Cached:          9148164 kB
SwapCached:            0 kB
Active:          2740948 kB
Inactive:        6792436 kB
Active(anon):      54884 kB
Inactive(anon):    34240 kB
Active(file):    2686064 kB
Inactive(file):  6758196 kB
Unevictable:        7288 kB
Mlocked:            7288 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7840 kB
Writeback:             0 kB
AnonPages:         60308 kB
Mapped:            51228 kB
Shmem:             33416 kB
Slab:             170784 kB
SReclaimable:     145004 kB
SUnreclaim:        25780 kB
KernelStack:        3168 kB
PageTables:         4668 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     332560 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 61896 MiB
End job on node150 at 2017-08-19 14:57:45