Trace number 4281278

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)3 1999.9 252.119

General information on the benchmark

NameBinPacking/
BinPacking-tab-ft/BinPacking-tab-ft060-06.xml
MD5SUM765e7641190fc685f39512b7809eb6f8
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark3
Best CPU time to get the best result obtained on this benchmark243.576
Satisfiable
(Un)Satisfiability was proved
Number of variables73
Number of constraints27
Number of domains2
Minimum domain size25
Maximum domain size52
Distribution of domain sizes[{"size":25,"count":1},{"size":52,"count":72}]
Minimum variable degree2
Maximum variable degree4
Distribution of variable degrees[{"degree":2,"count":1},{"degree":3,"count":48},{"degree":4,"count":24}]
Minimum constraint arity3
Maximum constraint arity72
Distribution of constraint arities[{"arity":3,"count":24},{"arity":25,"count":1},{"arity":72,"count":2}]
Number of extensional constraints24
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":24},{"type":"lex","count":1},{"type":"count","count":1},{"type":"cardinality","count":1}]
Optimization problemYES
Type of objectivemax 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-4281278-1503187584.xml"  -tl '2016s' -p 8 -x 0
0.11/0.14	c [HOME/instance-4281278-1503187584.xml, -tl, 2016s, -p, 8, -x, 0]
0.11/0.19	c 8 solvers in parallel
0.33/0.26	c parse instance...
3.11/1.29	c solve instance...
15.07/2.86	o 0 
23.46/4.19	o 1 
80.11/11.33	o 2 
346.24/44.88	o 3 
1999.16/252.08	s SATISFIABLE
1999.16/252.08	v <instantiation>
1999.16/252.08	v 	<list>x b[0][0] b[0][1] b[0][2] b[1][0] b[1][1] b[1][2] b[2][0] b[2][1] b[2][2] b[3][0] b[3][1] b[3][2] b[4][0] b[4][1] b[4][2] b[5][0] b[5][1] b[5][2] b[6][0] b[6][1] b[6][2] b[7][0] b[7][1] b[7][2] b[8][0] b[8][1] b[8][2] b[9][0] b[9][1] b[9][2] b[10][0] b[10][1] b[10][2] b[11][0] b[11][1] b[11][2] b[12][0] b[12][1] b[12][2] b[13][0] b[13][1] b[13][2] b[14][0] b[14][1] b[14][2] b[15][0] b[15][1] b[15][2] b[16][0] b[16][1] b[16][2] b[17][0] b[17][1] b[17][2] b[18][0] b[18][1] b[18][2] b[19][0] b[19][1] b[19][2] b[20][0] b[20][1] b[20][2] b[21][0] b[21][1] b[21][2] b[22][0] b[22][1] b[22][2] b[23][0] b[23][1] b[23][2] </list>
1999.16/252.08	v 	<values>3 498 252 250 485 355 0 471 276 252 464 284 250 451 279 269 450 281 265 449 278 253 427 310 259 424 300 276 405 273 261 403 322 275 400 276 274 394 317 275 388 344 250 380 321 297 375 339 284 374 322 304 374 262 0 369 328 292 368 357 0 365 337 287 0 0 0 0 0 0 0 0 0 </values>
1999.16/252.08	v </instantiation>
1999.16/252.08	c Unexpected resolution interruption!

Verifier Data 

OK	3

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4281278-1503187584/watcher-4281278-1503187584 -o /tmp/evaluation-result-4281278-1503187584/solver-4281278-1503187584 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node151-1503184165-7735 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 844394912 HOME/instance-4281278-1503187584.xml 

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

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

[startup+0.100144 s]*
/proc/loadavg: 8.42 8.15 7.89 3/199 10620
/proc/meminfo: memFree=24638008/32770624 swapFree=67108860/67108860
[pid=10599] ppid=10596 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/10599/stat : 10599 (xcsp3-exec) S 10596 10599 7708 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 151839094 9740288 346 33554432000 4194304 5098028 140730660791824 140730660789928 140719697195644 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34742272 140730660795499 140730660795708 140730660795708 140730660798443 0
/proc/10599/statm: 2378 346 289 221 0 87 0
[pid=10601] ppid=10599 vsize=25999808 memory=27204 CPUtime=0.11 cores=0-7
/proc/10601/stat : 10601 (java) S 10599 10599 7708 0 -1 1077944320 5229 0 0 0 11 0 0 0 20 0 20 0 151839094 26623803392 6801 33554432000 4194304 4196468 140730113437904 140730113420448 140398335209207 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9842688 140730113447064 140730113447240 140730113447240 140730113449935 0
/proc/10601/statm: 6499952 6801 2846 1 0 6488269 0
[pid=10601/tid=10602] ppid=10599 vsize=25999808 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/10601/task/10602/stat : 10602 (java) R 10599 10599 7708 0 -1 4202560 3236 0 0 0 9 0 0 0 20 0 20 0 151839095 26623803392 6801 33554432000 4194304 4196468 140730113437904 140398339438384 140398335221142 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9842688 140730113447064 140730113447240 140730113447240 140730113449935 0
[pid=10601/tid=10603] ppid=10599 vsize=25999808 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/10601/task/10603/stat : 10603 (java) S 10599 10599 7708 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151839095 26623803392 6801 33554432000 4194304 4196468 140730113437904 140398257789968 140398335219413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9842688 140730113447064 140730113447240 140730113447240 140730113449935 0
[pid=10601/tid=10604] ppid=10599 vsize=25999808 memory=140432159016576 CPUtime=0 cores=0-7
/proc/10601/task/10604/stat : 10604 (java) S 10599 10599 7708 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151839095 26623803392 6801 33554432000 4194304 4196468 140730113437904 140398256737424 140398335219413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9842688 140730113447064 140730113447240 140730113447240 140730113449935 0
[pid=10601/tid=10605] ppid=10599 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/10601/task/10605/stat : 10605 (java) S 10599 10599 7708 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151839095 26623803392 6801 33554432000 4194304 4196468 140730113437904 140398255684368 140398335219413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9842688 140730113447064 140730113447240 140730113447240 140730113449935 0
[pid=10601/tid=10606] ppid=10599 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/10601/task/10606/stat : 10606 (java) S 10599 10599 7708 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151839095 26623803392 6801 33554432000 4194304 4196468 140730113437904 140398254631824 140398335219413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9842688 140730113447064 140730113447240 140730113447240 140730113449935 0
[pid=10601/tid=10607] ppid=10599 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/10601/task/10607/stat : 10607 (java) S 10599 10599 7708 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151839095 26623803392 6801 33554432000 4194304 4196468 140730113437904 140397889214992 140398335219413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9842688 140730113447064 140730113447240 140730113447240 140730113449935 0
[pid=10601/tid=10608] ppid=10599 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/10601/task/10608/stat : 10608 (java) S 10599 10599 7708 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151839095 26623803392 6801 33554432000 4194304 4196468 140730113437904 140397888162448 140398335219413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9842688 140730113447064 140730113447240 140730113447240 140730113449935 0
[pid=10601/tid=10609] ppid=10599 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/10601/task/10609/stat : 10609 (java) S 10599 10599 7708 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151839095 26623803392 6801 33554432000 4194304 4196468 140730113437904 140397887109392 140398335219413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9842688 140730113447064 140730113447240 140730113447240 140730113449935 0
[pid=10601/tid=10610] ppid=10599 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/10601/task/10610/stat : 10610 (java) S 10599 10599 7708 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151839095 26623803392 6801 33554432000 4194304 4196468 140730113437904 140397886056848 140398335219413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9842688 140730113447064 140730113447240 140730113447240 140730113449935 0
[pid=10601/tid=10611] ppid=10599 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/10601/task/10611/stat : 10611 (java) S 10599 10599 7708 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151839097 26623803392 6801 33554432000 4194304 4196468 140730113437904 140396875995888 140398335220354 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9842688 140730113447064 140730113447240 140730113447240 140730113449935 0
[pid=10601/tid=10612] ppid=10599 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/10601/task/10612/stat : 10612 (java) S 10599 10599 7708 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 151839097 26623803392 6801 33554432000 4194304 4196468 140730113437904 140396874942112 140398335219413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9842688 140730113447064 140730113447240 140730113447240 140730113449935 0
[pid=10601/tid=10613] ppid=10599 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/10601/task/10613/stat : 10613 (java) S 10599 10599 7708 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 151839097 26623803392 6801 33554432000 4194304 4196468 140730113437904 140396873889008 140398335219413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9842688 140730113447064 140730113447240 140730113447240 140730113449935 0
[pid=10601/tid=10614] ppid=10599 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/10601/task/10614/stat : 10614 (java) S 10599 10599 7708 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151839100 26623803392 6801 33554432000 4194304 4196468 140730113437904 140396872837584 140398335227803 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9842688 140730113447064 140730113447240 140730113447240 140730113449935 0
[pid=10601/tid=10615] ppid=10599 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/10601/task/10615/stat : 10615 (java) S 10599 10599 7708 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 20 0 151839100 26623803392 6801 33554432000 4194304 4196468 140730113437904 140396871784688 140398335220354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9842688 140730113447064 140730113447240 140730113447240 140730113449935 0
[pid=10601/tid=10616] ppid=10599 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/10601/task/10616/stat : 10616 (java) S 10599 10599 7708 0 -1 1077944384 126 0 0 0 0 0 0 0 20 0 20 0 151839100 26623803392 6801 33554432000 4194304 4196468 140730113437904 140396870732144 140398335220354 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9842688 140730113447064 140730113447240 140730113447240 140730113449935 0
[pid=10601/tid=10617] ppid=10599 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/10601/task/10617/stat : 10617 (java) S 10599 10599 7708 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151839100 26623803392 6801 33554432000 4194304 4196468 140730113437904 140396869679088 140398335220354 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9842688 140730113447064 140730113447240 140730113447240 140730113449935 0
[pid=10601/tid=10618] ppid=10599 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/10601/task/10618/stat : 10618 (java) R 10599 10599 7708 0 -1 4202560 262 0 0 0 1 0 0 0 20 0 20 0 151839100 26623803392 6801 33554432000 4194304 4196468 140730113437904 140396868626544 140398320578015 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9842688 140730113447064 140730113447240 140730113447240 140730113449935 0
[pid=10601/tid=10619] ppid=10599 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/10601/task/10619/stat : 10619 (java) S 10599 10599 7708 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151839100 26623803392 6801 33554432000 4194304 4196468 140730113437904 140396867574752 140398335219413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9842688 140730113447064 140730113447240 140730113447240 140730113449935 0
[pid=10601/tid=10620] ppid=10599 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/10601/task/10620/stat : 10620 (java) S 10599 10599 7708 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151839100 26623803392 6801 33554432000 4194304 4196468 140730113437904 140396866522288 140398335220354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9842688 140730113447064 140730113447240 140730113447240 140730113449935 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 28588 KiB

[startup+0.210118 s]*
/proc/loadavg: 8.42 8.15 7.89 2/199 10620
/proc/meminfo: memFree=24627352/32770624 swapFree=67108860/67108860
[pid=10599] ppid=10596 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/10599/stat : 10599 (xcsp3-exec) S 10596 10599 7708 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 151839094 9740288 346 33554432000 4194304 5098028 140730660791824 140730660789928 140719697195644 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34742272 140730660795499 140730660795708 140730660795708 140730660798443 0
/proc/10599/statm: 2378 346 289 221 0 87 0
[pid=10601] ppid=10599 vsize=26004064 memory=39092 CPUtime=0.33 cores=0-7
/proc/10601/stat : 10601 (java) S 10599 10599 7708 0 -1 1077944320 7852 0 0 0 31 2 0 0 20 0 20 0 151839094 26628161536 9773 33554432000 4194304 4196468 140730113437904 140730113420448 140398335209207 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9842688 140730113447064 140730113447240 140730113447240 140730113449935 0
/proc/10601/statm: 6501016 9773 3068 1 0 6488269 0
[pid=10601/tid=10602] ppid=10599 vsize=26004064 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/10601/task/10602/stat : 10602 (java) D 10599 10599 7708 0 -1 1077944384 4976 0 0 0 19 1 0 0 20 0 20 0 151839095 26628161536 9794 33554432000 4194304 4196468 140730113437904 140398339420016 140398327888429 0 4 0 16800975 18446744072101629476 0 0 -1 6 0 0 0 0 0 6293624 6294260 9842688 140730113447064 140730113447240 140730113447240 140730113449935 0
[pid=10601/tid=10603] ppid=10599 vsize=26004064 memory=340 CPUtime=0 cores=0-7
/proc/10601/task/10603/stat : 10603 (java) S 10599 10599 7708 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151839095 26628161536 9794 33554432000 4194304 4196468 140730113437904 140398257789968 140398335219413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9842688 140730113447064 140730113447240 140730113447240 140730113449935 0
[pid=10601/tid=10604] ppid=10599 vsize=26004064 memory=140432159029073 CPUtime=0 cores=0-7
/proc/10601/task/10604/stat : 10604 (java) S 10599 10599 7708 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151839095 26628161536 9794 33554432000 4194304 4196468 140730113437904 140398256737424 140398335219413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9842688 140730113447064 140730113447240 140730113447240 140730113449935 0
[pid=10601/tid=10605] ppid=10599 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/10601/task/10605/stat : 10605 (java) S 10599 10599 7708 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151839095 26628161536 9794 33554432000 4194304 4196468 140730113437904 140398255684368 140398335219413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9842688 140730113447064 140730113447240 140730113447240 140730113449935 0
[pid=10601/tid=10606] ppid=10599 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/10601/task/10606/stat : 10606 (java) S 10599 10599 7708 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151839095 26628161536 9794 33554432000 4194304 4196468 140730113437904 140398254631824 140398335219413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9842688 140730113447064 140730113447240 140730113447240 140730113449935 0
[pid=10601/tid=10607] ppid=10599 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/10601/task/10607/stat : 10607 (java) S 10599 10599 7708 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151839095 26628161536 9794 33554432000 4194304 4196468 140730113437904 140397889214992 140398335219413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9842688 140730113447064 140730113447240 140730113447240 140730113449935 0
[pid=10601/tid=10608] ppid=10599 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/10601/task/10608/stat : 10608 (java) S 10599 10599 7708 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151839095 26628161536 9794 33554432000 4194304 4196468 140730113437904 140397888162448 140398335219413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9842688 140730113447064 140730113447240 140730113447240 140730113449935 0
[pid=10601/tid=10609] ppid=10599 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/10601/task/10609/stat : 10609 (java) S 10599 10599 7708 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151839095 26628194304 9794 33554432000 4194304 4196468 140730113437904 140397887109392 140398335219413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9842688 140730113447064 140730113447240 140730113447240 140730113449935 0
[pid=10601/tid=10610] ppid=10599 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/10601/task/10610/stat : 10610 (java) S 10599 10599 7708 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151839095 26628194304 9794 33554432000 4194304 4196468 140730113437904 140397886056848 140398335219413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9842688 140730113447064 140730113447240 140730113447240 140730113449935 0
[pid=10601/tid=10611] ppid=10599 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/10601/task/10611/stat : 10611 (java) S 10599 10599 7708 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151839097 26628194304 9794 33554432000 4194304 4196468 140730113437904 140396875995888 140398335220354 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9842688 140730113447064 140730113447240 140730113447240 140730113449935 0
[pid=10601/tid=10612] ppid=10599 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/10601/task/10612/stat : 10612 (java) S 10599 10599 7708 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 151839097 26628161536 9794 33554432000 4194304 4196468 140730113437904 140396874942112 140398335219413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9842688 140730113447064 140730113447240 140730113447240 140730113449935 0
[pid=10601/tid=10613] ppid=10599 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/10601/task/10613/stat : 10613 (java) S 10599 10599 7708 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 151839097 26628161536 9794 33554432000 4194304 4196468 140730113437904 140396873889008 140398335219413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9842688 140730113447064 140730113447240 140730113447240 140730113449935 0
[pid=10601/tid=10614] ppid=10599 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/10601/task/10614/stat : 10614 (java) S 10599 10599 7708 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151839100 26628161536 9794 33554432000 4194304 4196468 140730113437904 140396872837584 140398335227803 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9842688 140730113447064 140730113447240 140730113447240 140730113449935 0
[pid=10601/tid=10615] ppid=10599 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/10601/task/10615/stat : 10615 (java) S 10599 10599 7708 0 -1 1077944384 442 0 0 0 1 0 0 0 20 0 20 0 151839100 26628161536 9794 33554432000 4194304 4196468 140730113437904 140396871784688 140398335220354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9842688 140730113447064 140730113447240 140730113447240 140730113449935 0
[pid=10601/tid=10616] ppid=10599 vsize=26004064 memory=0 CPUtime=0.02 cores=0-7
/proc/10601/task/10616/stat : 10616 (java) S 10599 10599 7708 0 -1 1077944384 224 0 0 0 2 0 0 0 20 0 20 0 151839100 26628161536 9794 33554432000 4194304 4196468 140730113437904 140396870732144 140398335220354 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9842688 140730113447064 140730113447240 140730113447240 140730113449935 0
[pid=10601/tid=10617] ppid=10599 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/10601/task/10617/stat : 10617 (java) S 10599 10599 7708 0 -1 1077944384 230 0 0 0 0 0 0 0 20 0 20 0 151839100 26628161536 9794 33554432000 4194304 4196468 140730113437904 140396869679088 140398335220354 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9842688 140730113447064 140730113447240 140730113447240 140730113449935 0
[pid=10601/tid=10618] ppid=10599 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7
/proc/10601/task/10618/stat : 10618 (java) S 10599 10599 7708 0 -1 1077944384 695 0 0 0 7 0 0 0 20 0 20 0 151839100 26628161536 9794 33554432000 4194304 4196468 140730113437904 140396868626544 140398335220354 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9842688 140730113447064 140730113447240 140730113447240 140730113449935 0
[pid=10601/tid=10619] ppid=10599 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/10601/task/10619/stat : 10619 (java) S 10599 10599 7708 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151839100 26628161536 9794 33554432000 4194304 4196468 140730113437904 140396867574752 140398335219413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9842688 140730113447064 140730113447240 140730113447240 140730113449935 0
[pid=10601/tid=10620] ppid=10599 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/10601/task/10620/stat : 10620 (java) S 10599 10599 7708 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151839100 26628161536 9794 33554432000 4194304 4196468 140730113437904 140396866522288 140398335220354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9842688 140730113447064 140730113447240 140730113447240 140730113449935 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40476 KiB

[startup+0.309444 s]*
/proc/loadavg: 8.42 8.15 7.89 3/199 10620
/proc/meminfo: memFree=24620976/32770624 swapFree=67108860/67108860
[pid=10599] ppid=10596 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/10599/stat : 10599 (xcsp3-exec) S 10596 10599 7708 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 151839094 9740288 346 33554432000 4194304 5098028 140730660791824 140730660789928 140719697195644 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34742272 140730660795499 140730660795708 140730660795708 140730660798443 0
/proc/10599/statm: 2378 346 289 221 0 87 0
[pid=10601] ppid=10599 vsize=26004064 memory=45508 CPUtime=0.49 cores=0-7
/proc/10601/stat : 10601 (java) S 10599 10599 7708 0 -1 1077944320 8624 0 0 0 47 2 0 0 20 0 20 0 151839094 26628161536 11377 33554432000 4194304 4196468 140730113437904 140730113420448 140398335209207 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9842688 140730113447064 140730113447240 140730113447240 140730113449935 0
/proc/10601/statm: 6501016 11377 3084 1 0 6488269 0
[pid=10601/tid=10602] ppid=10599 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/10601/task/10602/stat : 10602 (java) R 10599 10599 7708 0 -1 4202560 5628 0 0 0 28 1 0 0 20 0 20 0 151839095 26628161536 11377 33554432000 4194304 4196468 140730113437904 140398339438784 140398335231133 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9842688 140730113447064 140730113447240 140730113447240 140730113449935 0
[pid=10601/tid=10603] ppid=10599 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/10601/task/10603/stat : 10603 (java) S 10599 10599 7708 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151839095 26628161536 11377 33554432000 4194304 4196468 140730113437904 140398257789968 140398335219413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9842688 140730113447064 140730113447240 140730113447240 140730113449935 0
[pid=10601/tid=10604] ppid=10599 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/10601/task/10604/stat : 10604 (java) S 10599 10599 7708 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151839095 26628161536 11377 33554432000 4194304 4196468 140730113437904 140398256737424 140398335219413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9842688 140730113447064 140730113447240 140730113447240 140730113449935 0
[pid=10601/tid=10605] ppid=10599 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/10601/task/10605/stat : 10605 (java) S 10599 10599 7708 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151839095 26628161536 11377 33554432000 4194304 4196468 140730113437904 140398255684368 140398335219413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9842688 140730113447064 140730113447240 140730113447240 140730113449935 0
[pid=10601/tid=10606] ppid=10599 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/10601/task/10606/stat : 10606 (java) S 10599 10599 7708 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151839095 26628161536 11377 33554432000 4194304 4196468 140730113437904 140398254631824 140398335219413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9842688 140730113447064 140730113447240 140730113447240 140730113449935 0
[pid=10601/tid=10607] ppid=10599 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/10601/task/10607/stat : 10607 (java) S 10599 10599 7708 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151839095 26628161536 11377 33554432000 4194304 4196468 140730113437904 140397889214992 140398335219413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9842688 140730113447064 140730113447240 140730113447240 140730113449935 0
[pid=10601/tid=10608] ppid=10599 vsize=26004064 memory=140432008901551 CPUtime=0 cores=0-7
/proc/10601/task/10608/stat : 10608 (java) S 10599 10599 7708 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151839095 26628161536 11377 33554432000 4194304 4196468 140730113437904 140397888162448 140398335219413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9842688 140730113447064 140730113447240 140730113447240 140730113449935 0
[pid=10601/tid=10609] ppid=10599 vsize=26004064 memory=140432008903856 CPUtime=0 cores=0-7
/proc/10601/task/10609/stat : 10609 (java) S 10599 10599 7708 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151839095 26628161536 11377 33554432000 4194304 4196468 140730113437904 140397887109392 140398335219413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9842688 140730113447064 140730113447240 140730113447240 140730113449935 0
[pid=10601/tid=10610] ppid=10599 vsize=26004064 memory=140432008906160 CPUtime=0 cores=0-7
/proc/10601/task/10610/stat : 10610 (java) S 10599 10599 7708 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151839095 26628161536 11377 33554432000 4194304 4196468 140730113437904 140397886056848 140398335219413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9842688 140730113447064 140730113447240 140730113447240 140730113449935 0
[pid=10601/tid=10611] ppid=10599 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/10601/task/10611/stat : 10611 (java) S 10599 10599 7708 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151839097 26628161536 11377 33554432000 4194304 4196468 140730113437904 140396875995888 140398335220354 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9842688 140730113447064 140730113447240 140730113447240 140730113449935 0
[pid=10601/tid=10612] ppid=10599 vsize=26004064 memory=280864017819280 CPUtime=0 cores=0-7
/proc/10601/task/10612/stat : 10612 (java) S 10599 10599 7708 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 151839097 26628161536 11377 33554432000 4194304 4196468 140730113437904 140396874942112 140398335219413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9842688 140730113447064 140730113447240 140730113447240 140730113449935 0
[pid=10601/tid=10613] ppid=10599 vsize=26004064 memory=280864017826192 CPUtime=0 cores=0-7
/proc/10601/task/10613/stat : 10613 (java) S 10599 10599 7708 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 151839097 26628161536 11377 33554432000 4194304 4196468 140730113437904 140396873889008 140398335219413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9842688 140730113447064 140730113447240 140730113447240 140730113449935 0
[pid=10601/tid=10614] ppid=10599 vsize=26004064 memory=280864017767472 CPUtime=0 cores=0-7
/proc/10601/task/10614/stat : 10614 (java) S 10599 10599 7708 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151839100 26628161536 11377 33554432000 4194304 4196468 140730113437904 140396872837584 140398335227803 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9842688 140730113447064 140730113447240 140730113447240 140730113449935 0
[pid=10601/tid=10615] ppid=10599 vsize=26004064 memory=280864017840016 CPUtime=0.02 cores=0-7
/proc/10601/task/10615/stat : 10615 (java) S 10599 10599 7708 0 -1 1077944384 450 0 0 0 2 0 0 0 20 0 20 0 151839100 26628161536 11377 33554432000 4194304 4196468 140730113437904 140396871784688 140398335220354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9842688 140730113447064 140730113447240 140730113447240 140730113449935 0
[pid=10601/tid=10616] ppid=10599 vsize=26004064 memory=280864017846928 CPUtime=0.03 cores=0-7
/proc/10601/task/10616/stat : 10616 (java) S 10599 10599 7708 0 -1 1077944384 236 0 0 0 3 0 0 0 20 0 20 0 151839100 26628161536 11377 33554432000 4194304 4196468 140730113437904 140396870732144 140398335220354 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9842688 140730113447064 140730113447240 140730113447240 140730113449935 0
[pid=10601/tid=10617] ppid=10599 vsize=26004064 memory=280864017844624 CPUtime=0.01 cores=0-7
/proc/10601/task/10617/stat : 10617 (java) S 10599 10599 7708 0 -1 1077944384 231 0 0 0 1 0 0 0 20 0 20 0 151839100 26628161536 11377 33554432000 4194304 4196468 140730113437904 140396869679088 140398335220354 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9842688 140730113447064 140730113447240 140730113447240 140730113449935 0
[pid=10601/tid=10618] ppid=10599 vsize=26004064 memory=280864017860784 CPUtime=0.12 cores=0-7
/proc/10601/task/10618/stat : 10618 (java) S 10599 10599 7708 0 -1 1077944384 771 0 0 0 12 0 0 0 20 0 20 0 151839100 26628161536 11377 33554432000 4194304 4196468 140730113437904 140396868626544 140398335220354 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9842688 140730113447064 140730113447240 140730113447240 140730113449935 0
[pid=10601/tid=10619] ppid=10599 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/10601/task/10619/stat : 10619 (java) S 10599 10599 7708 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151839100 26628161536 11377 33554432000 4194304 4196468 140730113437904 140396867574752 140398335219413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9842688 140730113447064 140730113447240 140730113447240 140730113449935 0
[pid=10601/tid=10620] ppid=10599 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/10601/task/10620/stat : 10620 (java) S 10599 10599 7708 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151839100 26628161536 11377 33554432000 4194304 4196468 140730113437904 140396866522288 140398335220354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9842688 140730113447064 140730113447240 140730113447240 140730113449935 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 46892 KiB

[startup+0.701594 s]
/proc/loadavg: 8.42 8.15 7.89 4/199 10620
/proc/meminfo: memFree=24596284/32770624 swapFree=67108860/67108860
[pid=10599] ppid=10596 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/10599/stat : 10599 (xcsp3-exec) S 10596 10599 7708 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 151839094 9740288 346 33554432000 4194304 5098028 140730660791824 140730660789928 140719697195644 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34742272 140730660795499 140730660795708 140730660795708 140730660798443 0
/proc/10599/statm: 2378 346 289 221 0 87 0
[pid=10601] ppid=10599 vsize=26006188 memory=107656 CPUtime=1.95 cores=0-7
/proc/10601/stat : 10601 (java) S 10599 10599 7708 0 -1 1077944320 12442 0 0 0 191 4 0 0 20 0 20 0 151839094 26630336512 26914 33554432000 4194304 4196468 140730113437904 140730113420448 140398335209207 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9842688 140730113447064 140730113447240 140730113447240 140730113449935 0
/proc/10601/statm: 6501547 26914 3204 1 0 6488781 0
[pid=10601/tid=10602] ppid=10599 vsize=26006188 memory=280864018218672 CPUtime=0.67 cores=0-7
/proc/10601/task/10602/stat : 10602 (java) R 10599 10599 7708 0 -1 4202560 6322 0 0 0 65 2 0 0 20 0 20 0 151839095 26630336512 26914 33554432000 4194304 4196468 140730113437904 140398339447280 140397937599504 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9842688 140730113447064 140730113447240 140730113447240 140730113449935 0
[pid=10601/tid=10603] ppid=10599 vsize=26006188 memory=140432009110384 CPUtime=0 cores=0-7
/proc/10601/task/10603/stat : 10603 (java) S 10599 10599 7708 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151839095 26630336512 26914 33554432000 4194304 4196468 140730113437904 140398257789968 140398335219413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9842688 140730113447064 140730113447240 140730113447240 140730113449935 0
[pid=10601/tid=10604] ppid=10599 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/10601/task/10604/stat : 10604 (java) S 10599 10599 7708 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151839095 26630336512 26914 33554432000 4194304 4196468 140730113437904 140398256737424 140398335219413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9842688 140730113447064 140730113447240 140730113447240 140730113449935 0
[pid=10601/tid=10605] ppid=10599 vsize=26006188 memory=1200 CPUtime=0 cores=0-7
/proc/10601/task/10605/stat : 10605 (java) S 10599 10599 7708 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151839095 26630336512 26914 33554432000 4194304 4196468 140730113437904 140398255684368 140398335219413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9842688 140730113447064 140730113447240 140730113447240 140730113449935 0

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

[pid=10601/tid=10660] ppid=10599 vsize=26538700 memory=1384 CPUtime=116.73 cores=0-7
/proc/10601/task/10660/stat : 10660 (java) R 10599 10599 7708 0 -1 4202560 447 0 0 0 11673 0 0 0 20 0 28 0 151843583 27175628800 98612 33554432000 4194304 4196468 140730113437904 140396857458984 140397939974006 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9842688 140730113447064 140730113447240 140730113447240 140730113449935 0
Current children cumulated CPU time: 1283.27 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 395832 KiB

[startup+222.302 s]
/proc/loadavg: 8.64 8.29 7.99 9/207 10661
/proc/meminfo: memFree=24269568/32770624 swapFree=67108860/67108860
[pid=10599] ppid=10596 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/10599/stat : 10599 (xcsp3-exec) S 10596 10599 7708 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 151839094 9740288 346 33554432000 4194304 5098028 140730660791824 140730660789928 140719697195644 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34742272 140730660795499 140730660795708 140730660795708 140730660798443 0
/proc/10599/statm: 2378 346 289 221 0 87 0
[pid=10601] ppid=10599 vsize=26538700 memory=399704 CPUtime=1762.09 cores=0-7
/proc/10601/stat : 10601 (java) S 10599 10599 7708 0 -1 1077944320 89491 0 0 0 176149 60 0 0 20 0 28 0 151839094 27175628800 99926 33554432000 4194304 4196468 140730113437904 140730113420448 140398335209207 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9842688 140730113447064 140730113447240 140730113447240 140730113449935 0
/proc/10601/statm: 6634675 99926 3278 1 0 6621909 0
[pid=10601/tid=10602] ppid=10599 vsize=26538700 memory=399704 CPUtime=1.25 cores=0-7
/proc/10601/task/10602/stat : 10602 (java) S 10599 10599 7708 0 -1 1077944384 6919 0 0 0 122 3 0 0 20 0 28 0 151839095 27175628800 99926 33554432000 4194304 4196468 140730113437904 140398339449984 140398335219413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9842688 140730113447064 140730113447240 140730113447240 140730113449935 0
[pid=10601/tid=10603] ppid=10599 vsize=26538700 memory=399704 CPUtime=0.07 cores=0-7
/proc/10601/task/10603/stat : 10603 (java) S 10599 10599 7708 0 -1 1077944384 470 0 0 0 5 2 0 0 20 0 28 0 151839095 27175628800 99926 33554432000 4194304 4196468 140730113437904 140398257789968 140398335219413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9842688 140730113447064 140730113447240 140730113447240 140730113449935 0
[pid=10601/tid=10604] ppid=10599 vsize=26538700 memory=399704 CPUtime=0.06 cores=0-7
/proc/10601/task/10604/stat : 10604 (java) S 10599 10599 7708 0 -1 1077944384 168 0 0 0 4 2 0 0 20 0 28 0 151839095 27175628800 99926 33554432000 4194304 4196468 140730113437904 140398256737424 140398335219413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9842688 140730113447064 140730113447240 140730113447240 140730113449935 0
[pid=10601/tid=10605] ppid=10599 vsize=26538700 memory=1384 CPUtime=0.07 cores=0-7
/proc/10601/task/10605/stat : 10605 (java) S 10599 10599 7708 0 -1 1077944384 905 0 0 0 4 3 0 0 20 0 28 0 151839095 27175628800 99926 33554432000 4194304 4196468 140730113437904 140398255684368 140398335219413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9842688 140730113447064 140730113447240 140730113447240 140730113449935 0
[pid=10601/tid=10606] ppid=10599 vsize=26538700 memory=792 CPUtime=0.06 cores=0-7
/proc/10601/task/10606/stat : 10606 (java) S 10599 10599 7708 0 -1 1077944384 1690 0 0 0 3 3 0 0 20 0 28 0 151839095 27175628800 99926 33554432000 4194304 4196468 140730113437904 140398254631824 140398335219413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9842688 140730113447064 140730113447240 140730113447240 140730113449935 0
[pid=10601/tid=10607] ppid=10599 vsize=26538700 memory=10096 CPUtime=0.06 cores=0-7
/proc/10601/task/10607/stat : 10607 (java) S 10599 10599 7708 0 -1 1077944384 585 0 0 0 4 2 0 0 20 0 28 0 151839095 27175628800 99926 33554432000 4194304 4196468 140730113437904 140397889214992 140398335219413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9842688 140730113447064 140730113447240 140730113447240 140730113449935 0
[pid=10601/tid=10608] ppid=10599 vsize=26538700 memory=0 CPUtime=0.06 cores=0-7
/proc/10601/task/10608/stat : 10608 (java) S 10599 10599 7708 0 -1 1077944384 262 0 0 0 4 2 0 0 20 0 28 0 151839095 27175628800 99926 33554432000 4194304 4196468 140730113437904 140397888162448 140398335219413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9842688 140730113447064 140730113447240 140730113447240 140730113449935 0
[pid=10601/tid=10609] ppid=10599 vsize=26538700 memory=7597132098393106257 CPUtime=0.07 cores=0-7
/proc/10601/task/10609/stat : 10609 (java) S 10599 10599 7708 0 -1 1077944384 1101 0 0 0 5 2 0 0 20 0 28 0 151839095 27175628800 99926 33554432000 4194304 4196468 140730113437904 140397887109392 140398335219413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9842688 140730113447064 140730113447240 140730113447240 140730113449935 0
[pid=10601/tid=10610] ppid=10599 vsize=26538700 memory=6791534058613427641 CPUtime=0.07 cores=0-7
/proc/10601/task/10610/stat : 10610 (java) S 10599 10599 7708 0 -1 1077944384 545 0 0 0 5 2 0 0 20 0 28 0 151839095 27175628800 99926 33554432000 4194304 4196468 140730113437904 140397886056848 140398335219413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9842688 140730113447064 140730113447240 140730113447240 140730113449935 0
[pid=10601/tid=10611] ppid=10599 vsize=26538700 memory=1696 CPUtime=0.03 cores=0-7
/proc/10601/task/10611/stat : 10611 (java) S 10599 10599 7708 0 -1 1077944384 2537 0 0 0 2 1 0 0 20 0 28 0 151839097 27175628800 99926 33554432000 4194304 4196468 140730113437904 140396875995888 140398335220354 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9842688 140730113447064 140730113447240 140730113447240 140730113449935 0
[pid=10601/tid=10612] ppid=10599 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/10601/task/10612/stat : 10612 (java) S 10599 10599 7708 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 28 0 151839097 27175628800 99926 33554432000 4194304 4196468 140730113437904 140396874942176 140398335219413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9842688 140730113447064 140730113447240 140730113447240 140730113449935 0
[pid=10601/tid=10613] ppid=10599 vsize=26538700 memory=8016517736310469220 CPUtime=0 cores=0-7
/proc/10601/task/10613/stat : 10613 (java) S 10599 10599 7708 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 28 0 151839097 27175628800 99926 33554432000 4194304 4196468 140730113437904 140396873889024 140398335219413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9842688 140730113447064 140730113447240 140730113447240 140730113449935 0
[pid=10601/tid=10614] ppid=10599 vsize=26538700 memory=1224 CPUtime=0 cores=0-7
/proc/10601/task/10614/stat : 10614 (java) S 10599 10599 7708 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 151839100 27175628800 99926 33554432000 4194304 4196468 140730113437904 140396872837584 140398335227803 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9842688 140730113447064 140730113447240 140730113447240 140730113449935 0
[pid=10601/tid=10615] ppid=10599 vsize=26538700 memory=5784 CPUtime=2.22 cores=0-7
/proc/10601/task/10615/stat : 10615 (java) S 10599 10599 7708 0 -1 1077944384 17377 0 0 0 218 4 0 0 20 0 28 0 151839100 27175628800 99926 33554432000 4194304 4196468 140730113437904 140396871784688 140398335220354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9842688 140730113447064 140730113447240 140730113447240 140730113449935 0
[pid=10601/tid=10616] ppid=10599 vsize=26538700 memory=1720 CPUtime=2.17 cores=0-7
/proc/10601/task/10616/stat : 10616 (java) S 10599 10599 7708 0 -1 1077944384 14074 0 0 0 215 2 0 0 20 0 28 0 151839100 27175628800 99926 33554432000 4194304 4196468 140730113437904 140396870732144 140398335220354 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9842688 140730113447064 140730113447240 140730113447240 140730113449935 0
[pid=10601/tid=10617] ppid=10599 vsize=26538700 memory=4144 CPUtime=2.21 cores=0-7
/proc/10601/task/10617/stat : 10617 (java) S 10599 10599 7708 0 -1 1077944384 9672 0 0 0 218 3 0 0 20 0 28 0 151839100 27175628800 99926 33554432000 4194304 4196468 140730113437904 140396869679088 140398335220354 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9842688 140730113447064 140730113447240 140730113447240 140730113449935 0
[pid=10601/tid=10618] ppid=10599 vsize=26538700 memory=42256 CPUtime=0.69 cores=0-7
/proc/10601/task/10618/stat : 10618 (java) S 10599 10599 7708 0 -1 1077944384 8709 0 0 0 68 1 0 0 20 0 28 0 151839100 27175628800 99926 33554432000 4194304 4196468 140730113437904 140396868626544 140398335220354 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9842688 140730113447064 140730113447240 140730113447240 140730113449935 0
[pid=10601/tid=10619] ppid=10599 vsize=26538700 memory=4144 CPUtime=0 cores=0-7
/proc/10601/task/10619/stat : 10619 (java) S 10599 10599 7708 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 151839100 27175628800 99926 33554432000 4194304 4196468 140730113437904 140396867574752 140398335219413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9842688 140730113447064 140730113447240 140730113447240 140730113449935 0
[pid=10601/tid=10620] ppid=10599 vsize=26538700 memory=1384 CPUtime=0.04 cores=0-7
/proc/10601/task/10620/stat : 10620 (java) S 10599 10599 7708 0 -1 1077944384 1494 0 0 0 0 4 0 0 20 0 28 0 151839100 27175628800 99926 33554432000 4194304 4196468 140730113437904 140396866522288 140398335220354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9842688 140730113447064 140730113447240 140730113447240 140730113449935 0
[pid=10601/tid=10653] ppid=10599 vsize=26538700 memory=1384 CPUtime=177.31 cores=0-7
/proc/10601/task/10653/stat : 10653 (java) R 10599 10599 7708 0 -1 4202560 945 0 0 0 17731 0 0 0 20 0 28 0 151843583 27175628800 99926 33554432000 4194304 4196468 140730113437904 140396851141512 140397939973432 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9842688 140730113447064 140730113447240 140730113447240 140730113449935 0
[pid=10601/tid=10654] ppid=10599 vsize=26538700 memory=4144 CPUtime=177.2 cores=0-7
/proc/10601/task/10654/stat : 10654 (java) R 10599 10599 7708 0 -1 4202560 806 0 0 0 17720 0 0 0 20 0 28 0 151843583 27175628800 99926 33554432000 4194304 4196468 140730113437904 140396858511480 140397939973713 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9842688 140730113447064 140730113447240 140730113447240 140730113449935 0
[pid=10601/tid=10655] ppid=10599 vsize=26538700 memory=0 CPUtime=175.8 cores=0-7
/proc/10601/task/10655/stat : 10655 (java) R 10599 10599 7708 0 -1 4202560 796 0 0 0 17579 1 0 0 20 0 28 0 151843583 27175628800 99926 33554432000 4194304 4196468 140730113437904 140396856405736 140397939951264 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9842688 140730113447064 140730113447240 140730113447240 140730113449935 0
[pid=10601/tid=10656] ppid=10599 vsize=26538700 memory=7505928880668315508 CPUtime=177.33 cores=0-7
/proc/10601/task/10656/stat : 10656 (java) R 10599 10599 7708 0 -1 4202560 4242 0 0 0 17727 6 0 0 20 0 28 0 151843583 27175628800 99926 33554432000 4194304 4196468 140730113437904 140396855352528 140397939973966 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9842688 140730113447064 140730113447240 140730113447240 140730113449935 0
[pid=10601/tid=10657] ppid=10599 vsize=26538700 memory=6944652177228980320 CPUtime=176.14 cores=0-7
/proc/10601/task/10657/stat : 10657 (java) R 10599 10599 7708 0 -1 4202560 1647 0 0 0 17612 2 0 0 20 0 28 0 151843583 27175628800 99926 33554432000 4194304 4196468 140730113437904 140396853247480 140397939974097 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9842688 140730113447064 140730113447240 140730113447240 140730113449935 0
[pid=10601/tid=10658] ppid=10599 vsize=26538700 memory=399704 CPUtime=177.27 cores=0-7
/proc/10601/task/10658/stat : 10658 (java) R 10599 10599 7708 0 -1 4202560 643 0 0 0 17727 0 0 0 20 0 28 0 151843583 27175628800 99926 33554432000 4194304 4196468 140730113437904 140396854300280 140397939974157 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9842688 140730113447064 140730113447240 140730113447240 140730113449935 0
[pid=10601/tid=10659] ppid=10599 vsize=26538700 memory=1384 CPUtime=177.3 cores=0-7
/proc/10601/task/10659/stat : 10659 (java) R 10599 10599 7708 0 -1 4202560 905 0 0 0 17730 0 0 0 20 0 28 0 151843583 27175628800 99926 33554432000 4194304 4196468 140730113437904 140396852195560 140397939950899 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9842688 140730113447064 140730113447240 140730113447240 140730113449935 0
[pid=10601/tid=10660] ppid=10599 vsize=26538700 memory=399704 CPUtime=176.54 cores=0-7
/proc/10601/task/10660/stat : 10660 (java) R 10599 10599 7708 0 -1 4202560 667 0 0 0 17654 0 0 0 20 0 28 0 151843583 27175628800 99926 33554432000 4194304 4196468 140730113437904 140396857461568 140397939974012 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9842688 140730113447064 140730113447240 140730113447240 140730113449935 0
Current children cumulated CPU time: 1762.09 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 401088 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+252.002 s]*
/proc/loadavg: 8.61 8.31 8.01 9/207 10661
/proc/meminfo: memFree=24260168/32770624 swapFree=67108860/67108860
[pid=10599] ppid=10596 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/10599/stat : 10599 (xcsp3-exec) S 10596 10599 7708 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 151839094 9740288 346 33554432000 4194304 5098028 140730660791824 140730660789928 140719697195644 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34742272 140730660795499 140730660795708 140730660795708 140730660798443 0
/proc/10599/statm: 2378 346 289 221 0 87 0
[pid=10601] ppid=10599 vsize=26538700 memory=408496 CPUtime=1999.16 cores=0-7
/proc/10601/stat : 10601 (java) S 10599 10599 7708 0 -1 1077944320 92232 0 0 0 199851 65 0 0 20 0 28 0 151839094 27175628800 102124 33554432000 4194304 4196468 140730113437904 140730113420448 140398335209207 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9842688 140730113447064 140730113447240 140730113447240 140730113449935 0
/proc/10601/statm: 6634675 102124 3278 1 0 6621909 0
[pid=10601/tid=10602] ppid=10599 vsize=26538700 memory=6791534058613427641 CPUtime=1.25 cores=0-7
/proc/10601/task/10602/stat : 10602 (java) S 10599 10599 7708 0 -1 1077944384 6919 0 0 0 122 3 0 0 20 0 28 0 151839095 27175628800 102124 33554432000 4194304 4196468 140730113437904 140398339449984 140398335219413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9842688 140730113447064 140730113447240 140730113447240 140730113449935 0
[pid=10601/tid=10603] ppid=10599 vsize=26538700 memory=4126316290023845779 CPUtime=0.09 cores=0-7
/proc/10601/task/10603/stat : 10603 (java) S 10599 10599 7708 0 -1 1077944384 501 0 0 0 6 3 0 0 20 0 28 0 151839095 27175628800 102124 33554432000 4194304 4196468 140730113437904 140398257789968 140398335219413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9842688 140730113447064 140730113447240 140730113447240 140730113449935 0
[pid=10601/tid=10604] ppid=10599 vsize=26538700 memory=10096 CPUtime=0.06 cores=0-7
/proc/10601/task/10604/stat : 10604 (java) S 10599 10599 7708 0 -1 1077944384 206 0 0 0 4 2 0 0 20 0 28 0 151839095 27175628800 102124 33554432000 4194304 4196468 140730113437904 140398256737424 140398335219413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9842688 140730113447064 140730113447240 140730113447240 140730113449935 0
[pid=10601/tid=10605] ppid=10599 vsize=26538700 memory=1224 CPUtime=0.08 cores=0-7
/proc/10601/task/10605/stat : 10605 (java) S 10599 10599 7708 0 -1 1077944384 1515 0 0 0 5 3 0 0 20 0 28 0 151839095 27175628800 102124 33554432000 4194304 4196468 140730113437904 140398255684368 140398335219413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9842688 140730113447064 140730113447240 140730113447240 140730113449935 0
[pid=10601/tid=10606] ppid=10599 vsize=26538700 memory=5784 CPUtime=0.07 cores=0-7
/proc/10601/task/10606/stat : 10606 (java) S 10599 10599 7708 0 -1 1077944384 1729 0 0 0 4 3 0 0 20 0 28 0 151839095 27175628800 102124 33554432000 4194304 4196468 140730113437904 140398254631824 140398335219413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9842688 140730113447064 140730113447240 140730113447240 140730113449935 0
[pid=10601/tid=10607] ppid=10599 vsize=26538700 memory=1720 CPUtime=0.07 cores=0-7
/proc/10601/task/10607/stat : 10607 (java) S 10599 10599 7708 0 -1 1077944384 643 0 0 0 5 2 0 0 20 0 28 0 151839095 27175628800 102124 33554432000 4194304 4196468 140730113437904 140397889214992 140398335219413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9842688 140730113447064 140730113447240 140730113447240 140730113449935 0
[pid=10601/tid=10608] ppid=10599 vsize=26538700 memory=4612 CPUtime=0.06 cores=0-7
/proc/10601/task/10608/stat : 10608 (java) S 10599 10599 7708 0 -1 1077944384 610 0 0 0 4 2 0 0 20 0 28 0 151839095 27175628800 102124 33554432000 4194304 4196468 140730113437904 140397888162448 140398335219413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9842688 140730113447064 140730113447240 140730113447240 140730113449935 0
[pid=10601/tid=10609] ppid=10599 vsize=26538700 memory=1008 CPUtime=0.07 cores=0-7
/proc/10601/task/10609/stat : 10609 (java) S 10599 10599 7708 0 -1 1077944384 1230 0 0 0 5 2 0 0 20 0 28 0 151839095 27175628800 102124 33554432000 4194304 4196468 140730113437904 140397887109392 140398335219413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9842688 140730113447064 140730113447240 140730113447240 140730113449935 0
[pid=10601/tid=10610] ppid=10599 vsize=26538700 memory=4126316290023845779 CPUtime=0.08 cores=0-7
/proc/10601/task/10610/stat : 10610 (java) S 10599 10599 7708 0 -1 1077944384 573 0 0 0 5 3 0 0 20 0 28 0 151839095 27175628800 102124 33554432000 4194304 4196468 140730113437904 140397886056848 140398335219413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9842688 140730113447064 140730113447240 140730113447240 140730113449935 0
[pid=10601/tid=10611] ppid=10599 vsize=26538700 memory=399704 CPUtime=0.03 cores=0-7
/proc/10601/task/10611/stat : 10611 (java) S 10599 10599 7708 0 -1 1077944384 2809 0 0 0 2 1 0 0 20 0 28 0 151839097 27175628800 102124 33554432000 4194304 4196468 140730113437904 140396875995888 140398335220354 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9842688 140730113447064 140730113447240 140730113447240 140730113449935 0
[pid=10601/tid=10612] ppid=10599 vsize=26538700 memory=1384 CPUtime=0 cores=0-7
/proc/10601/task/10612/stat : 10612 (java) S 10599 10599 7708 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 28 0 151839097 27175628800 102124 33554432000 4194304 4196468 140730113437904 140396874942176 140398335219413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9842688 140730113447064 140730113447240 140730113447240 140730113449935 0
[pid=10601/tid=10613] ppid=10599 vsize=26538700 memory=399704 CPUtime=0 cores=0-7
/proc/10601/task/10613/stat : 10613 (java) S 10599 10599 7708 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 28 0 151839097 27175628800 102124 33554432000 4194304 4196468 140730113437904 140396873889024 140398335219413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9842688 140730113447064 140730113447240 140730113447240 140730113449935 0
[pid=10601/tid=10614] ppid=10599 vsize=26538700 memory=280864019547232 CPUtime=0 cores=0-7
/proc/10601/task/10614/stat : 10614 (java) S 10599 10599 7708 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 151839100 27175628800 102124 33554432000 4194304 4196468 140730113437904 140396872837584 140398335227803 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9842688 140730113447064 140730113447240 140730113447240 140730113449935 0
[pid=10601/tid=10615] ppid=10599 vsize=26538700 memory=6791534058613427641 CPUtime=2.22 cores=0-7
/proc/10601/task/10615/stat : 10615 (java) S 10599 10599 7708 0 -1 1077944384 17380 0 0 0 218 4 0 0 20 0 28 0 151839100 27175628800 102124 33554432000 4194304 4196468 140730113437904 140396871784688 140398335220354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9842688 140730113447064 140730113447240 140730113447240 140730113449935 0
[pid=10601/tid=10616] ppid=10599 vsize=26538700 memory=6791534058613427641 CPUtime=2.17 cores=0-7
/proc/10601/task/10616/stat : 10616 (java) S 10599 10599 7708 0 -1 1077944384 14082 0 0 0 215 2 0 0 20 0 28 0 151839100 27175628800 102124 33554432000 4194304 4196468 140730113437904 140396870732144 140398335220354 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9842688 140730113447064 140730113447240 140730113447240 140730113449935 0
[pid=10601/tid=10617] ppid=10599 vsize=26538700 memory=1384 CPUtime=2.21 cores=0-7
/proc/10601/task/10617/stat : 10617 (java) S 10599 10599 7708 0 -1 1077944384 9675 0 0 0 218 3 0 0 20 0 28 0 151839100 27175628800 102124 33554432000 4194304 4196468 140730113437904 140396869679088 140398335220354 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9842688 140730113447064 140730113447240 140730113447240 140730113449935 0
[pid=10601/tid=10618] ppid=10599 vsize=26538700 memory=1384 CPUtime=0.69 cores=0-7
/proc/10601/task/10618/stat : 10618 (java) S 10599 10599 7708 0 -1 1077944384 8713 0 0 0 68 1 0 0 20 0 28 0 151839100 27175628800 102124 33554432000 4194304 4196468 140730113437904 140396868626544 140398335220354 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9842688 140730113447064 140730113447240 140730113447240 140730113449935 0
[pid=10601/tid=10619] ppid=10599 vsize=26538700 memory=1384 CPUtime=0 cores=0-7
/proc/10601/task/10619/stat : 10619 (java) S 10599 10599 7708 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 151839100 27175628800 102124 33554432000 4194304 4196468 140730113437904 140396867574752 140398335219413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9842688 140730113447064 140730113447240 140730113447240 140730113449935 0
[pid=10601/tid=10620] ppid=10599 vsize=26538700 memory=1728 CPUtime=0.04 cores=0-7
/proc/10601/task/10620/stat : 10620 (java) S 10599 10599 7708 0 -1 1077944384 1518 0 0 0 0 4 0 0 20 0 28 0 151839100 27175628800 102124 33554432000 4194304 4196468 140730113437904 140396866522288 140398335220354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9842688 140730113447064 140730113447240 140730113447240 140730113449935 0
[pid=10601/tid=10653] ppid=10599 vsize=26538700 memory=792 CPUtime=207.01 cores=0-7
/proc/10601/task/10653/stat : 10653 (java) R 10599 10599 7708 0 -1 4202560 981 0 0 0 20701 0 0 0 20 0 28 0 151843583 27175628800 102124 33554432000 4194304 4196468 140730113437904 140396851141264 140397941467347 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9842688 140730113447064 140730113447240 140730113447240 140730113449935 0
[pid=10601/tid=10654] ppid=10599 vsize=26538700 memory=10096 CPUtime=206.9 cores=0-7
/proc/10601/task/10654/stat : 10654 (java) R 10599 10599 7708 0 -1 4202560 870 0 0 0 20690 0 0 0 20 0 28 0 151843583 27175628800 102124 33554432000 4194304 4196468 140730113437904 140396858511592 140397939951000 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9842688 140730113447064 140730113447240 140730113447240 140730113449935 0
[pid=10601/tid=10655] ppid=10599 vsize=26538700 memory=1224 CPUtime=205.16 cores=0-7
/proc/10601/task/10655/stat : 10655 (java) R 10599 10599 7708 0 -1 4202560 895 0 0 0 20515 1 0 0 20 0 28 0 151843583 27175628800 102124 33554432000 4194304 4196468 140730113437904 140396856405736 140397941470893 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9842688 140730113447064 140730113447240 140730113447240 140730113449935 0
[pid=10601/tid=10656] ppid=10599 vsize=26538700 memory=960 CPUtime=206.77 cores=0-7
/proc/10601/task/10656/stat : 10656 (java) R 10599 10599 7708 0 -1 4202560 4648 0 0 0 20671 6 0 0 20 0 28 0 151843583 27175628800 102124 33554432000 4194304 4196468 140730113437904 140396855353208 140397939951000 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9842688 140730113447064 140730113447240 140730113447240 140730113449935 0
[pid=10601/tid=10657] ppid=10599 vsize=26538700 memory=1232 CPUtime=205.84 cores=0-7
/proc/10601/task/10657/stat : 10657 (java) R 10599 10599 7708 0 -1 4202560 2025 0 0 0 20581 3 0 0 20 0 28 0 151843583 27175628800 102124 33554432000 4194304 4196468 140730113437904 140396853250112 140397939951028 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9842688 140730113447064 140730113447240 140730113447240 140730113449935 0
[pid=10601/tid=10658] ppid=10599 vsize=26538700 memory=2428 CPUtime=206.97 cores=0-7
/proc/10601/task/10658/stat : 10658 (java) R 10599 10599 7708 0 -1 4202560 675 0 0 0 20697 0 0 0 20 0 28 0 151843583 27175628800 102124 33554432000 4194304 4196468 140730113437904 140396854300776 140397939974065 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9842688 140730113447064 140730113447240 140730113447240 140730113449935 0
[pid=10601/tid=10659] ppid=10599 vsize=26538700 memory=932 CPUtime=206.99 cores=0-7
/proc/10601/task/10659/stat : 10659 (java) R 10599 10599 7708 0 -1 4202560 1013 0 0 0 20699 0 0 0 20 0 28 0 151843583 27175628800 102124 33554432000 4194304 4196468 140730113437904 140396852195576 140397941266906 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9842688 140730113447064 140730113447240 140730113447240 140730113449935 0
[pid=10601/tid=10660] ppid=10599 vsize=26538700 memory=1580 CPUtime=206.23 cores=0-7
/proc/10601/task/10660/stat : 10660 (java) R 10599 10599 7708 0 -1 4202560 690 0 0 0 20623 0 0 0 20 0 28 0 151843583 27175628800 102124 33554432000 4194304 4196468 140730113437904 140396857458936 140397939951175 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9842688 140730113447064 140730113447240 140730113447240 140730113449935 0
Current children cumulated CPU time: 1999.16 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 409880 KiB

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

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

[startup+252.119 s]
# the end of solver process 10601 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1999.24 s, system=0.669442 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): 252.119
CPU time (s): 1999.9
CPU user time (s): 1999.24
CPU system time (s): 0.669442
CPU usage (%): 793.237
Max. virtual memory (cumulated for all children) (KiB): 26548212
Max. memory (cumulated for all children) (KiB): 409880

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1999.24
system time used= 0.669442
maximum resident set size= 412088
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 94033
page faults= 0
swaps= 0
block input operations= 0
block output operations= 464
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11362
involuntary context switches= 21130


# summary of solver processes directly reported to runsolver:
#   pid: 10599,10601
#   total CPU time (s): 1999.9
#   total CPU user time (s): 1999.24
#   total CPU system time (s): 0.669442

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.42344 second user time and 2.49742 second system time

The end

Launcher Data 

Begin job on node151 at 2017-08-20 01:52:03
IDJOB=4281278
IDBENCH=136037
IDSOLVER=2676
FILE ID=node151/4281278-1503187584
RUNJOBID= node151-1503184165-7735
PBS_JOBID= 20630854
Free space on /tmp= 61804 MiB

SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/BinPacking/BinPacking-tab-ft/BinPacking-tab-ft060-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-4281278-1503187584/watcher-4281278-1503187584 -o /tmp/evaluation-result-4281278-1503187584/solver-4281278-1503187584 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node151-1503184165-7735 --watchdog 312  ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 844394912 HOME/instance-4281278-1503187584.xml

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

MD5SUM BENCH= 765e7641190fc685f39512b7809eb6f8
RANDOM SEED=844394912

node151.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.95
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.95
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.95
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.95
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:        24655128 kB
MemAvailable:   31975664 kB
Buffers:          327312 kB
Cached:          7284808 kB
SwapCached:            0 kB
Active:          1801808 kB
Inactive:        5862652 kB
Active(anon):      44120 kB
Inactive(anon):    44328 kB
Active(file):    1757688 kB
Inactive(file):  5818324 kB
Unevictable:        7576 kB
Mlocked:            7576 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7828 kB
Writeback:             8 kB
AnonPages:         59640 kB
Mapped:            51580 kB
Shmem:             33416 kB
Slab:             147248 kB
SReclaimable:     120720 kB
SUnreclaim:        26528 kB
KernelStack:        3280 kB
PageTables:         5052 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     332764 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:      114048 kB
DirectMap2M:    33431552 kB

Free space on /tmp at the end= 61796 MiB
End job on node151 at 2017-08-20 01:56:16