Trace number 4282993

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 seq (2017-08-18)SAT (TO)136 246.12801 240.02299

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 benchmark126
Best CPU time to get the best result obtained on this benchmark251.89999
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 -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4282993-1503212926.xml"  -tl '264s' -p 1 -x 0
0.13/0.14	c [HOME/instance-4282993-1503212926.xml, -tl, 264s, -p, 1, -x, 0]
0.13/0.19	c simple solver
0.33/0.26	c parse instance...
0.73/0.51	c solve instance...
2.21/0.95	o 506 
3.12/1.25	o 505 
3.72/1.45	o 504 
4.32/1.69	o 503 
5.23/1.91	o 502 
5.56/2.08	o 501 
6.14/2.23	o 500 
6.14/2.27	o 499 
6.40/2.30	o 498 
6.40/2.34	o 497 
6.40/2.37	o 496 
6.52/2.41	o 495 
6.67/2.53	o 494 
6.88/2.72	o 493 
7.17/2.87	o 492 
7.55/3.05	o 491 
7.66/3.19	o 490 
7.95/3.32	o 489 
8.07/3.48	o 488 
8.31/3.61	o 487 
8.45/3.77	o 486 
8.65/3.92	o 485 
8.81/4.04	o 484 
8.91/4.14	o 483 
9.00/4.25	o 482 
9.10/4.37	o 481 
9.21/4.46	o 480 
9.31/4.52	o 479 
9.41/4.60	o 478 
9.41/4.68	o 477 
9.52/4.74	o 476 
9.62/4.82	o 475 
9.62/4.89	o 474 
9.72/4.96	o 473 
9.83/5.03	o 472 
9.93/5.11	o 471 
9.93/5.19	o 470 
10.03/5.26	o 469 
10.13/5.35	o 468 
10.23/5.43	o 467 
10.23/5.49	o 466 
10.33/5.56	o 465 
10.44/5.63	o 464 
10.54/5.71	o 463 
10.54/5.79	o 462 
10.90/5.94	o 461 
11.07/6.08	o 460 
11.26/6.21	o 459 
11.26/6.27	o 458 
11.36/6.33	o 457 
11.36/6.39	o 456 
11.46/6.46	o 455 
11.57/6.51	o 454 
11.57/6.57	o 453 
11.67/6.63	o 452 
11.67/6.68	o 451 
11.87/6.84	o 450 
11.97/6.97	o 449 
12.08/7.02	o 448 
12.08/7.08	o 447 
12.18/7.14	o 446 
12.18/7.19	o 445 
12.27/7.24	o 444 
12.37/7.32	o 443 
12.37/7.37	o 442 
12.47/7.44	o 441 
12.47/7.48	o 440 
12.68/7.62	o 439 
12.82/7.75	o 438 
12.92/7.83	o 437 
13.02/7.91	o 436 
13.02/7.97	o 435 
13.13/8.04	o 434 
13.26/8.12	o 433 
13.35/8.21	o 432 
13.35/8.29	o 431 
13.45/8.37	o 430 
13.62/8.44	o 429 
13.73/8.51	o 428 
13.73/8.58	o 427 
13.83/8.66	o 426 
13.94/8.74	o 425 
14.04/8.83	o 424 
14.15/8.90	o 423 
14.15/8.98	o 422 
14.26/9.05	o 421 
14.36/9.14	o 420 
14.45/9.21	o 419 
14.45/9.29	o 418 
14.55/9.37	o 417 
14.65/9.42	o 416 
14.75/9.59	o 415 
14.85/9.66	o 414 
14.96/9.70	o 413 
14.96/9.74	o 412 
14.96/9.78	o 411 
15.06/9.81	o 410 
15.06/9.84	o 409 
15.06/9.88	o 408 
15.16/9.92	o 407 
15.16/9.95	o 406 
15.16/9.98	o 405 
15.27/10.02	o 404 
15.27/10.05	o 403 
15.27/10.08	o 402 
15.38/10.12	o 401 
15.38/10.18	o 400 
15.38/10.19	o 399 
15.47/10.20	o 398 
15.47/10.21	o 151 
15.47/10.21	o 150 
15.47/10.22	o 143 
15.47/10.23	o 142 
15.47/10.23	o 140 
16.65/11.31	o 139 
19.07/13.58	o 138 
19.19/13.67	o 137 
19.49/13.95	o 136 
246.10/240.01	s SATISFIABLE
246.10/240.01	v <instantiation>
246.10/240.01	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>
246.10/240.01	v 	<values>0 0 0 0 7 13 18 30 8 18 51 8 42 30 71 35 13 20 23 44 7 58 25 53 11 25 26 37 37 48 62 70 78 103 34 79 13 42 25 52 89 45 54 42 89 66 78 46 75 58 84 52 82 14 61 38 39 63 53 16 62 63 95 45 70 67 98 89 82 71 45 68 110 23 113 97 77 68 95 113 82 106 122 108 120 121 99 123 123 129 128 136 </values>
246.10/240.01	v </instantiation>
246.10/240.01	c Unexpected resolution interruption!

Verifier Data 

OK	136

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4282993-1503212926/watcher-4282993-1503212926 -o /tmp/evaluation-result-4282993-1503212926/solver-4282993-1503212926 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node149-1503210552-7328 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 261450228 HOME/instance-4282993-1503212926.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=8663, runsolver pid=8660

[startup+0.103586 s]*
/proc/loadavg: 2.06 2.06 1.87 4/218 8679
/proc/meminfo: memFree=21162992/32770624 swapFree=67108860/67108860
[pid=8663] ppid=8660 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/8663/stat : 8663 (xcsp3-exec) S 8660 8663 7296 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154373293 9740288 346 33554432000 4194304 5098028 140736870988832 140736870986936 139700298732156 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33320960 140736870995061 140736870995264 140736870995264 140736870997995 0
/proc/8663/statm: 2378 346 289 221 0 87 0
[pid=8665] ppid=8663 vsize=13978596 memory=28456 CPUtime=0.13 cores=1,3,5,7
/proc/8665/stat : 8665 (java) S 8663 8663 7296 0 -1 1077944320 5404 0 0 0 12 1 0 0 20 0 15 0 154373293 14314082304 7114 33554432000 4194304 4196468 140736802743248 140736802725792 139733824794359 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 39608320 140736802747549 140736802747724 140736802747724 140736802750415 0
/proc/8665/statm: 3494649 7114 2916 1 0 3482966 0
[pid=8665/tid=8666] ppid=8663 vsize=13978596 memory=8333248789474415451 CPUtime=0.09 cores=1,3,5,7
/proc/8665/task/8666/stat : 8666 (java) R 8663 8663 7296 0 -1 4202560 3340 0 0 0 9 0 0 0 20 0 15 0 154373293 14314082304 7114 33554432000 4194304 4196468 140736802743248 139733829030784 139733808874846 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39608320 140736802747549 140736802747724 140736802747724 140736802750415 0
[pid=8665/tid=8667] ppid=8663 vsize=13978596 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/8665/task/8667/stat : 8667 (java) S 8663 8663 7296 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154373294 14314082304 7114 33554432000 4194304 4196468 140736802743248 139733754883088 139733824804565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39608320 140736802747549 140736802747724 140736802747724 140736802750415 0
[pid=8665/tid=8668] ppid=8663 vsize=13978596 memory=139798333466240 CPUtime=0 cores=1,3,5,7
/proc/8665/task/8668/stat : 8668 (java) S 8663 8663 7296 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154373294 14314082304 7114 33554432000 4194304 4196468 140736802743248 139733753830544 139733824804565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39608320 140736802747549 140736802747724 140736802747724 140736802750415 0
[pid=8665/tid=8669] ppid=8663 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8665/task/8669/stat : 8669 (java) S 8663 8663 7296 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154373294 14314082304 7114 33554432000 4194304 4196468 140736802743248 139733752777488 139733824804565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39608320 140736802747549 140736802747724 140736802747724 140736802750415 0
[pid=8665/tid=8670] ppid=8663 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8665/task/8670/stat : 8670 (java) S 8663 8663 7296 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154373294 14314082304 7114 33554432000 4194304 4196468 140736802743248 139733751724944 139733824804565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39608320 140736802747549 140736802747724 140736802747724 140736802750415 0
[pid=8665/tid=8671] ppid=8663 vsize=13978596 memory=139798333466240 CPUtime=0 cores=1,3,5,7
/proc/8665/task/8671/stat : 8671 (java) S 8663 8663 7296 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154373295 14314082304 7114 33554432000 4194304 4196468 140736802743248 139732737169648 139733824805506 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39608320 140736802747549 140736802747724 140736802747724 140736802750415 0
[pid=8665/tid=8672] ppid=8663 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8665/task/8672/stat : 8672 (java) S 8663 8663 7296 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154373296 14314082304 7114 33554432000 4194304 4196468 140736802743248 139732736115872 139733824804565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39608320 140736802747549 140736802747724 140736802747724 140736802750415 0
[pid=8665/tid=8673] ppid=8663 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8665/task/8673/stat : 8673 (java) S 8663 8663 7296 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154373296 14314082304 7114 33554432000 4194304 4196468 140736802743248 139732667327216 139733824804565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39608320 140736802747549 140736802747724 140736802747724 140736802750415 0
[pid=8665/tid=8674] ppid=8663 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8665/task/8674/stat : 8674 (java) S 8663 8663 7296 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154373298 14314082304 7114 33554432000 4194304 4196468 140736802743248 139732666275792 139733824812955 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39608320 140736802747549 140736802747724 140736802747724 140736802750415 0
[pid=8665/tid=8675] ppid=8663 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8665/task/8675/stat : 8675 (java) S 8663 8663 7296 0 -1 1077944384 410 0 0 0 0 0 0 0 20 0 15 0 154373298 14314082304 7114 33554432000 4194304 4196468 140736802743248 139732665223920 139733824805506 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39608320 140736802747549 140736802747724 140736802747724 140736802750415 0
[pid=8665/tid=8676] ppid=8663 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8665/task/8676/stat : 8676 (java) S 8663 8663 7296 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154373298 14314082304 7114 33554432000 4194304 4196468 140736802743248 139732664171376 139733824805506 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39608320 140736802747549 140736802747724 140736802747724 140736802750415 0
[pid=8665/tid=8677] ppid=8663 vsize=13978596 memory=139798333466240 CPUtime=0.02 cores=1,3,5,7
/proc/8665/task/8677/stat : 8677 (java) R 8663 8663 7296 0 -1 4202560 351 0 0 0 2 0 0 0 20 0 15 0 154373298 14314082304 7114 33554432000 4194304 4196468 140736802743248 139732663118320 139733808874846 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39608320 140736802747549 140736802747724 140736802747724 140736802750415 0
[pid=8665/tid=8678] ppid=8663 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8665/task/8678/stat : 8678 (java) S 8663 8663 7296 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154373299 14314082304 7114 33554432000 4194304 4196468 140736802743248 139732662066016 139733824804565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39608320 140736802747549 140736802747724 140736802747724 140736802750415 0
[pid=8665/tid=8679] ppid=8663 vsize=13978596 memory=139798333466240 CPUtime=0 cores=1,3,5,7
/proc/8665/task/8679/stat : 8679 (java) S 8663 8663 7296 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154373299 14314082304 7114 33554432000 4194304 4196468 140736802743248 139732661013040 139733824805506 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39608320 140736802747549 140736802747724 140736802747724 140736802750415 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 29840 KiB

[startup+0.210807 s]*
/proc/loadavg: 2.06 2.06 1.87 3/218 8679
/proc/meminfo: memFree=21151396/32770624 swapFree=67108860/67108860
[pid=8663] ppid=8660 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/8663/stat : 8663 (xcsp3-exec) S 8660 8663 7296 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154373293 9740288 346 33554432000 4194304 5098028 140736870988832 140736870986936 139700298732156 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33320960 140736870995061 140736870995264 140736870995264 140736870997995 0
/proc/8663/statm: 2378 346 289 221 0 87 0
[pid=8665] ppid=8663 vsize=13982852 memory=40500 CPUtime=0.33 cores=1,3,5,7
/proc/8665/stat : 8665 (java) S 8663 8663 7296 0 -1 1077944320 8135 0 0 0 31 2 0 0 20 0 15 0 154373293 14318440448 10125 33554432000 4194304 4196468 140736802743248 140736802725792 139733824794359 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 39608320 140736802747549 140736802747724 140736802747724 140736802750415 0
/proc/8665/statm: 3495713 10125 3083 1 0 3482966 0
[pid=8665/tid=8666] ppid=8663 vsize=13982852 memory=7883960649037381690 CPUtime=0.19 cores=1,3,5,7
/proc/8665/task/8666/stat : 8666 (java) R 8663 8663 7296 0 -1 4202560 5249 0 0 0 18 1 0 0 20 0 15 0 154373293 14318440448 10125 33554432000 4194304 4196468 140736802743248 139733829004176 139733824816285 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39608320 140736802747549 140736802747724 140736802747724 140736802750415 0
[pid=8665/tid=8667] ppid=8663 vsize=13982852 memory=8911 CPUtime=0 cores=1,3,5,7
/proc/8665/task/8667/stat : 8667 (java) S 8663 8663 7296 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154373294 14318440448 10125 33554432000 4194304 4196468 140736802743248 139733754883088 139733824804565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39608320 140736802747549 140736802747724 140736802747724 140736802750415 0
[pid=8665/tid=8668] ppid=8663 vsize=13982852 memory=139798334508981 CPUtime=0 cores=1,3,5,7
/proc/8665/task/8668/stat : 8668 (java) S 8663 8663 7296 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154373294 14318440448 10125 33554432000 4194304 4196468 140736802743248 139733753830544 139733824804565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39608320 140736802747549 140736802747724 140736802747724 140736802750415 0
[pid=8665/tid=8669] ppid=8663 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8665/task/8669/stat : 8669 (java) S 8663 8663 7296 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154373294 14318440448 10125 33554432000 4194304 4196468 140736802743248 139733752777488 139733824804565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39608320 140736802747549 140736802747724 140736802747724 140736802750415 0
[pid=8665/tid=8670] ppid=8663 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8665/task/8670/stat : 8670 (java) S 8663 8663 7296 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154373294 14318440448 10125 33554432000 4194304 4196468 140736802743248 139733751724944 139733824804565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39608320 140736802747549 140736802747724 140736802747724 140736802750415 0
[pid=8665/tid=8671] ppid=8663 vsize=13982852 memory=139798333466240 CPUtime=0 cores=1,3,5,7
/proc/8665/task/8671/stat : 8671 (java) S 8663 8663 7296 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154373295 14318440448 10125 33554432000 4194304 4196468 140736802743248 139732737169648 139733824805506 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39608320 140736802747549 140736802747724 140736802747724 140736802750415 0
[pid=8665/tid=8672] ppid=8663 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8665/task/8672/stat : 8672 (java) S 8663 8663 7296 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154373296 14318440448 10125 33554432000 4194304 4196468 140736802743248 139732736115872 139733824804565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39608320 140736802747549 140736802747724 140736802747724 140736802750415 0
[pid=8665/tid=8673] ppid=8663 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8665/task/8673/stat : 8673 (java) S 8663 8663 7296 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154373296 14318440448 10125 33554432000 4194304 4196468 140736802743248 139732667327216 139733824804565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39608320 140736802747549 140736802747724 140736802747724 140736802750415 0
[pid=8665/tid=8674] ppid=8663 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8665/task/8674/stat : 8674 (java) S 8663 8663 7296 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154373298 14318440448 10125 33554432000 4194304 4196468 140736802743248 139732666275792 139733824812955 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39608320 140736802747549 140736802747724 140736802747724 140736802750415 0
[pid=8665/tid=8675] ppid=8663 vsize=13982852 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/8665/task/8675/stat : 8675 (java) S 8663 8663 7296 0 -1 1077944384 747 0 0 0 3 0 0 0 20 0 15 0 154373298 14318440448 10125 33554432000 4194304 4196468 140736802743248 139732665223920 139733824805506 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39608320 140736802747549 140736802747724 140736802747724 140736802750415 0
[pid=8665/tid=8676] ppid=8663 vsize=13982852 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/8665/task/8676/stat : 8676 (java) S 8663 8663 7296 0 -1 1077944384 76 0 0 0 1 0 0 0 20 0 15 0 154373298 14318440448 10125 33554432000 4194304 4196468 140736802743248 139732664171376 139733824805506 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39608320 140736802747549 140736802747724 140736802747724 140736802750415 0
[pid=8665/tid=8677] ppid=8663 vsize=13982852 memory=139798333466240 CPUtime=0.08 cores=1,3,5,7
/proc/8665/task/8677/stat : 8677 (java) S 8663 8663 7296 0 -1 1077944384 762 0 0 0 8 0 0 0 20 0 15 0 154373298 14318440448 10125 33554432000 4194304 4196468 140736802743248 139732663118320 139733824805506 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39608320 140736802747549 140736802747724 140736802747724 140736802750415 0
[pid=8665/tid=8678] ppid=8663 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8665/task/8678/stat : 8678 (java) S 8663 8663 7296 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154373299 14318440448 10125 33554432000 4194304 4196468 140736802743248 139732662066016 139733824804565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39608320 140736802747549 140736802747724 140736802747724 140736802750415 0
[pid=8665/tid=8679] ppid=8663 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8665/task/8679/stat : 8679 (java) S 8663 8663 7296 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154373299 14318440448 10125 33554432000 4194304 4196468 140736802743248 139732661013040 139733824805506 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39608320 140736802747549 140736802747724 140736802747724 140736802750415 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 41884 KiB

[startup+0.31055 s]*
/proc/loadavg: 2.06 2.06 1.87 4/218 8679
/proc/meminfo: memFree=21144324/32770624 swapFree=67108860/67108860
[pid=8663] ppid=8660 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/8663/stat : 8663 (xcsp3-exec) S 8660 8663 7296 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154373293 9740288 346 33554432000 4194304 5098028 140736870988832 140736870986936 139700298732156 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33320960 140736870995061 140736870995264 140736870995264 140736870997995 0
/proc/8663/statm: 2378 346 289 221 0 87 0
[pid=8665] ppid=8663 vsize=13982852 memory=47776 CPUtime=0.5 cores=1,3,5,7
/proc/8665/stat : 8665 (java) S 8663 8663 7296 0 -1 1077944320 9109 0 0 0 48 2 0 0 20 0 15 0 154373293 14318440448 11944 33554432000 4194304 4196468 140736802743248 140736802725792 139733824794359 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 39608320 140736802747549 140736802747724 140736802747724 140736802750415 0
/proc/8665/statm: 3495713 11944 3101 1 0 3482966 0
[pid=8665/tid=8666] ppid=8663 vsize=13982852 memory=8112282956445269571 CPUtime=0.3 cores=1,3,5,7
/proc/8665/task/8666/stat : 8666 (java) R 8663 8663 7296 0 -1 4202560 5989 0 0 0 28 2 0 0 20 0 15 0 154373293 14318440448 11944 33554432000 4194304 4196468 140736802743248 139733829022544 139733824806294 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39608320 140736802747549 140736802747724 140736802747724 140736802750415 0
[pid=8665/tid=8667] ppid=8663 vsize=13982852 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/8665/task/8667/stat : 8667 (java) S 8663 8663 7296 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154373294 14318440448 11944 33554432000 4194304 4196468 140736802743248 139733754883088 139733824804565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39608320 140736802747549 140736802747724 140736802747724 140736802750415 0
[pid=8665/tid=8668] ppid=8663 vsize=13982852 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/8665/task/8668/stat : 8668 (java) S 8663 8663 7296 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154373294 14318440448 11944 33554432000 4194304 4196468 140736802743248 139733753830544 139733824804565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39608320 140736802747549 140736802747724 140736802747724 140736802750415 0
[pid=8665/tid=8669] ppid=8663 vsize=13982852 memory=-5587046532246807594 CPUtime=0 cores=1,3,5,7
/proc/8665/task/8669/stat : 8669 (java) S 8663 8663 7296 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154373294 14318440448 11944 33554432000 4194304 4196468 140736802743248 139733752777488 139733824804565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39608320 140736802747549 140736802747724 140736802747724 140736802750415 0
[pid=8665/tid=8670] ppid=8663 vsize=13982852 memory=7307460116655545206 CPUtime=0 cores=1,3,5,7
/proc/8665/task/8670/stat : 8670 (java) S 8663 8663 7296 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154373294 14318440448 11944 33554432000 4194304 4196468 140736802743248 139733751724944 139733824804565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39608320 140736802747549 140736802747724 140736802747724 140736802750415 0
[pid=8665/tid=8671] ppid=8663 vsize=13982852 memory=7016714186490735262 CPUtime=0 cores=1,3,5,7
/proc/8665/task/8671/stat : 8671 (java) S 8663 8663 7296 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154373295 14318440448 11944 33554432000 4194304 4196468 140736802743248 139732737169648 139733824805506 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39608320 140736802747549 140736802747724 140736802747724 140736802750415 0
[pid=8665/tid=8672] ppid=8663 vsize=13982852 memory=-9062862659931694204 CPUtime=0 cores=1,3,5,7
/proc/8665/task/8672/stat : 8672 (java) S 8663 8663 7296 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154373296 14318440448 11944 33554432000 4194304 4196468 140736802743248 139732736115872 139733824804565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39608320 140736802747549 140736802747724 140736802747724 140736802750415 0
[pid=8665/tid=8673] ppid=8663 vsize=13982852 memory=3047711566422646390 CPUtime=0 cores=1,3,5,7
/proc/8665/task/8673/stat : 8673 (java) S 8663 8663 7296 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154373296 14318440448 11944 33554432000 4194304 4196468 140736802743248 139732667327216 139733824804565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39608320 140736802747549 140736802747724 140736802747724 140736802750415 0
[pid=8665/tid=8674] ppid=8663 vsize=13982852 memory=8982046290584177472 CPUtime=0 cores=1,3,5,7
/proc/8665/task/8674/stat : 8674 (java) S 8663 8663 7296 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154373298 14318440448 11944 33554432000 4194304 4196468 140736802743248 139732666275792 139733824812955 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39608320 140736802747549 140736802747724 140736802747724 140736802750415 0
[pid=8665/tid=8675] ppid=8663 vsize=13982852 memory=7100839887185294217 CPUtime=0.04 cores=1,3,5,7
/proc/8665/task/8675/stat : 8675 (java) S 8663 8663 7296 0 -1 1077944384 791 0 0 0 4 0 0 0 20 0 15 0 154373298 14318440448 11944 33554432000 4194304 4196468 140736802743248 139732665223920 139733824805506 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39608320 140736802747549 140736802747724 140736802747724 140736802750415 0
[pid=8665/tid=8676] ppid=8663 vsize=13982852 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/8665/task/8676/stat : 8676 (java) S 8663 8663 7296 0 -1 1077944384 151 0 0 0 2 0 0 0 20 0 15 0 154373298 14318440448 11944 33554432000 4194304 4196468 140736802743248 139732664171376 139733824805506 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39608320 140736802747549 140736802747724 140736802747724 140736802750415 0
[pid=8665/tid=8677] ppid=8663 vsize=13982852 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/8665/task/8677/stat : 8677 (java) S 8663 8663 7296 0 -1 1077944384 878 0 0 0 13 0 0 0 20 0 15 0 154373298 14318440448 11944 33554432000 4194304 4196468 140736802743248 139732663118320 139733824805506 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39608320 140736802747549 140736802747724 140736802747724 140736802750415 0
[pid=8665/tid=8678] ppid=8663 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8665/task/8678/stat : 8678 (java) S 8663 8663 7296 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154373299 14318440448 11944 33554432000 4194304 4196468 140736802743248 139732662066016 139733824804565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39608320 140736802747549 140736802747724 140736802747724 140736802750415 0
[pid=8665/tid=8679] ppid=8663 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8665/task/8679/stat : 8679 (java) S 8663 8663 7296 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154373299 14318440448 11944 33554432000 4194304 4196468 140736802743248 139732661013040 139733824805506 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39608320 140736802747549 140736802747724 140736802747724 140736802750415 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 49160 KiB

[startup+0.701767 s]
/proc/loadavg: 2.06 2.06 1.87 6/218 8679
/proc/meminfo: memFree=21128568/32770624 swapFree=67108860/67108860
[pid=8663] ppid=8660 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/8663/stat : 8663 (xcsp3-exec) S 8660 8663 7296 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154373293 9740288 346 33554432000 4194304 5098028 140736870988832 140736870986936 139700298732156 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33320960 140736870995061 140736870995264 140736870995264 140736870997995 0
/proc/8663/statm: 2378 346 289 221 0 87 0
[pid=8665] ppid=8663 vsize=13984976 memory=77980 CPUtime=1.59 cores=1,3,5,7
/proc/8665/stat : 8665 (java) S 8663 8663 7296 0 -1 1077944320 14247 0 0 0 154 5 0 0 20 0 15 0 154373293 14320615424 19495 33554432000 4194304 4196468 140736802743248 140736802725792 139733824794359 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 39608320 140736802747549 140736802747724 140736802747724 140736802750415 0
/proc/8665/statm: 3496244 19495 3214 1 0 3483478 0
[pid=8665/tid=8666] ppid=8663 vsize=13984976 memory=33 CPUtime=0.67 cores=1,3,5,7
/proc/8665/task/8666/stat : 8666 (java) R 8663 8663 7296 0 -1 4202560 6726 0 0 0 64 3 0 0 20 0 15 0 154373293 14320615424 19495 33554432000 4194304 4196468 140736802743248 139733829030080 139733422448528 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39608320 140736802747549 140736802747724 140736802747724 140736802750415 0
[pid=8665/tid=8667] ppid=8663 vsize=13984976 memory=-7816663703405220396 CPUtime=0 cores=1,3,5,7
/proc/8665/task/8667/stat : 8667 (java) S 8663 8663 7296 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154373294 14320615424 19495 33554432000 4194304 4196468 140736802743248 139733754883088 139733824804565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39608320 140736802747549 140736802747724 140736802747724 140736802750415 0
[pid=8665/tid=8668] ppid=8663 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8665/task/8668/stat : 8668 (java) S 8663 8663 7296 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154373294 14320615424 19495 33554432000 4194304 4196468 140736802743248 139733753830544 139733824804565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39608320 140736802747549 140736802747724 140736802747724 140736802750415 0
[pid=8665/tid=8669] ppid=8663 vsize=13984976 memory=43092 CPUtime=0 cores=1,3,5,7
/proc/8665/task/8669/stat : 8669 (java) S 8663 8663 7296 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154373294 14320615424 19495 33554432000 4194304 4196468 140736802743248 139733752777488 139733824804565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39608320 140736802747549 140736802747724 140736802747724 140736802750415 0
[pid=8665/tid=8670] ppid=8663 vsize=13984976 memory=1296 CPUtime=0 cores=1,3,5,7
/proc/8665/task/8670/stat : 8670 (java) S 8663 8663 7296 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154373294 14320615424 19495 33554432000 4194304 4196468 140736802743248 139733751724944 139733824804565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39608320 140736802747549 140736802747724 140736802747724 140736802750415 0
[pid=8665/tid=8671] ppid=8663 vsize=13984976 memory=2408 CPUtime=0 cores=1,3,5,7
/proc/8665/task/8671/stat : 8671 (java) S 8663 8663 7296 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 154373295 14320615424 19495 33554432000 4194304 4196468 140736802743248 139732737169648 139733824805506 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39608320 140736802747549 140736802747724 140736802747724 140736802750415 0
[pid=8665/tid=8672] ppid=8663 vsize=13984976 memory=1732 CPUtime=0 cores=1,3,5,7
/proc/8665/task/8672/stat : 8672 (java) S 8663 8663 7296 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154373296 14320615424 19495 33554432000 4194304 4196468 140736802743248 139732736115872 139733824804565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39608320 140736802747549 140736802747724 140736802747724 140736802750415 0
[pid=8665/tid=8673] ppid=8663 vsize=13984976 memory=1224 CPUtime=0 cores=1,3,5,7
/proc/8665/task/8673/stat : 8673 (java) S 8663 8663 7296 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154373296 14320615424 19495 33554432000 4194304 4196468 140736802743248 139732667327216 139733824804565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39608320 140736802747549 140736802747724 140736802747724 140736802750415 0
[pid=8665/tid=8674] ppid=8663 vsize=13984976 memory=12136 CPUtime=0 cores=1,3,5,7
/proc/8665/task/8674/stat : 8674 (java) S 8663 8663 7296 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154373298 14320615424 19495 33554432000 4194304 4196468 140736802743248 139732666275792 139733824812955 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39608320 140736802747549 140736802747724 140736802747724 140736802750415 0
[pid=8665/tid=8675] ppid=8663 vsize=13984976 memory=5792 CPUtime=0.29 cores=1,3,5,7
/proc/8665/task/8675/stat : 8675 (java) R 8663 8663 7296 0 -1 4202560 2244 0 0 0 29 0 0 0 20 0 15 0 154373298 14320615424 19495 33554432000 4194304 4196468 140736802743248 139732665211472 139733824815706 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39608320 140736802747549 140736802747724 140736802747724 140736802750415 0
[pid=8665/tid=8676] ppid=8663 vsize=13984976 memory=796 CPUtime=0.26 cores=1,3,5,7
/proc/8665/task/8676/stat : 8676 (java) R 8663 8663 7296 0 -1 4202560 2131 0 0 0 26 0 0 0 20 0 15 0 154373298 14320615424 19495 33554432000 4194304 4196468 140736802743248 139732664157400 139733804487463 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 39608320 140736802747549 140736802747724 140736802747724 140736802750415 0
[pid=8665/tid=8677] ppid=8663 vsize=13984976 memory=1436 CPUtime=0.33 cores=1,3,5,7
/proc/8665/task/8677/stat : 8677 (java) R 8663 8663 7296 0 -1 4202560 1841 0 0 0 33 0 0 0 20 0 15 0 154373298 14320615424 19495 33554432000 4194304 4196468 140736802743248 139732663118320 139733802782715 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39608320 140736802747549 140736802747724 140736802747724 140736802750415 0
[pid=8665/tid=8678] ppid=8663 vsize=13984976 memory=1012 CPUtime=0 cores=1,3,5,7
/proc/8665/task/8678/stat : 8678 (java) S 8663 8663 7296 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154373299 14320615424 19495 33554432000 4194304 4196468 140736802743248 139732662066016 139733824804565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39608320 140736802747549 140736802747724 140736802747724 140736802750415 0
[pid=8665/tid=8679] ppid=8663 vsize=13984976 memory=1716 CPUtime=0 cores=1,3,5,7
/proc/8665/task/8679/stat : 8679 (java) S 8663 8663 7296 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154373299 14320615424 19495 33554432000 4194304 4196468 140736802743248 139732661013040 139733824805506 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39608320 140736802747549 140736802747724 140736802747724 140736802750415 0
Current children cumulated CPU time: 1.59 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 79364 KiB

[startup+1.50087 s]
/proc/loadavg: 2.30 2.11 1.89 5/218 8679
/proc/meminfo: memFree=21096052/32770624 swapFree=67108860/67108860
[pid=8663] ppid=8660 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/8663/stat : 8663 (xcsp3-exec) S 8660 8663 7296 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154373293 9740288 346 33554432000 4194304 5098028 140736870988832 140736870986936 139700298732156 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33320960 140736870995061 140736870995264 140736870995264 140736870997995 0
/proc/8663/statm: 2378 346 289 221 0 87 0

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

/proc/8665/task/8673/stat : 8673 (java) S 8663 8663 7296 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154373296 14320615424 46570 33554432000 4194304 4196468 140736802743248 139732667327216 139733824804565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39608320 140736802747549 140736802747724 140736802747724 140736802750415 0
[pid=8665/tid=8674] ppid=8663 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/8665/task/8674/stat : 8674 (java) S 8663 8663 7296 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154373298 14320615424 46570 33554432000 4194304 4196468 140736802743248 139732666275792 139733824812955 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39608320 140736802747549 140736802747724 140736802747724 140736802750415 0
[pid=8665/tid=8675] ppid=8663 vsize=13984976 memory=186280 CPUtime=2.75 cores=1,3,5,7
/proc/8665/task/8675/stat : 8675 (java) S 8663 8663 7296 0 -1 1077944384 21902 0 0 0 273 2 0 0 20 0 15 0 154373298 14320615424 46570 33554432000 4194304 4196468 140736802743248 139732665223920 139733824805506 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39608320 140736802747549 140736802747724 140736802747724 140736802750415 0
[pid=8665/tid=8676] ppid=8663 vsize=13984976 memory=1384 CPUtime=2.72 cores=1,3,5,7
/proc/8665/task/8676/stat : 8676 (java) S 8663 8663 7296 0 -1 1077944384 16585 0 0 0 271 1 0 0 20 0 15 0 154373298 14320615424 46570 33554432000 4194304 4196468 140736802743248 139732664171376 139733824805506 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39608320 140736802747549 140736802747724 140736802747724 140736802750415 0
[pid=8665/tid=8677] ppid=8663 vsize=13984976 memory=1384 CPUtime=0.51 cores=1,3,5,7
/proc/8665/task/8677/stat : 8677 (java) S 8663 8663 7296 0 -1 1077944384 5572 0 0 0 51 0 0 0 20 0 15 0 154373298 14320615424 46570 33554432000 4194304 4196468 140736802743248 139732663118320 139733824805506 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39608320 140736802747549 140736802747724 140736802747724 140736802750415 0
[pid=8665/tid=8678] ppid=8663 vsize=13984976 memory=186280 CPUtime=0 cores=1,3,5,7
/proc/8665/task/8678/stat : 8678 (java) S 8663 8663 7296 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154373299 14320615424 46570 33554432000 4194304 4196468 140736802743248 139732662066016 139733824804565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39608320 140736802747549 140736802747724 140736802747724 140736802750415 0
[pid=8665/tid=8679] ppid=8663 vsize=13984976 memory=139798232837336 CPUtime=0.02 cores=1,3,5,7
/proc/8665/task/8679/stat : 8679 (java) S 8663 8663 7296 0 -1 1077944384 1482 0 0 0 1 1 0 0 20 0 15 0 154373299 14320615424 46570 33554432000 4194304 4196468 140736802743248 139732661013040 139733824805506 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39608320 140736802747549 140736802747724 140736802747724 140736802750415 0
Current children cumulated CPU time: 108.32 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 187664 KiB

[startup+162.301 s]
/proc/loadavg: 2.11 2.10 1.92 3/217 8682
/proc/meminfo: memFree=20934444/32770624 swapFree=67108860/67108860
[pid=8663] ppid=8660 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/8663/stat : 8663 (xcsp3-exec) S 8660 8663 7296 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154373293 9740288 346 33554432000 4194304 5098028 140736870988832 140736870986936 139700298732156 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33320960 140736870995061 140736870995264 140736870995264 140736870997995 0
/proc/8663/statm: 2378 346 289 221 0 87 0
[pid=8665] ppid=8663 vsize=13984976 memory=225492 CPUtime=168.36 cores=1,3,5,7
/proc/8665/stat : 8665 (java) S 8663 8663 7296 0 -1 1077944320 62728 0 0 0 16824 12 0 0 20 0 15 0 154373293 14320615424 56373 33554432000 4194304 4196468 140736802743248 140736802725792 139733824794359 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 39608320 140736802747549 140736802747724 140736802747724 140736802750415 0
/proc/8665/statm: 3496244 56373 3264 1 0 3483478 0
[pid=8665/tid=8666] ppid=8663 vsize=13984976 memory=225492 CPUtime=162.26 cores=1,3,5,7
/proc/8665/task/8666/stat : 8666 (java) R 8663 8663 7296 0 -1 4202560 12552 0 0 0 16222 4 0 0 20 0 15 0 154373293 14320615424 56373 33554432000 4194304 4196468 140736802743248 139733829033880 139733426583018 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39608320 140736802747549 140736802747724 140736802747724 140736802750415 0
[pid=8665/tid=8667] ppid=8663 vsize=13984976 memory=225492 CPUtime=0 cores=1,3,5,7
/proc/8665/task/8667/stat : 8667 (java) S 8663 8663 7296 0 -1 1077944384 90 0 0 0 0 0 0 0 20 0 15 0 154373294 14320615424 56373 33554432000 4194304 4196468 140736802743248 139733754883088 139733824804565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39608320 140736802747549 140736802747724 140736802747724 140736802750415 0
[pid=8665/tid=8668] ppid=8663 vsize=13984976 memory=225492 CPUtime=0 cores=1,3,5,7
/proc/8665/task/8668/stat : 8668 (java) S 8663 8663 7296 0 -1 1077944384 92 0 0 0 0 0 0 0 20 0 15 0 154373294 14320615424 56373 33554432000 4194304 4196468 140736802743248 139733753830544 139733824804565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39608320 140736802747549 140736802747724 140736802747724 140736802750415 0
[pid=8665/tid=8669] ppid=8663 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/8665/task/8669/stat : 8669 (java) S 8663 8663 7296 0 -1 1077944384 636 0 0 0 0 0 0 0 20 0 15 0 154373294 14320615424 56373 33554432000 4194304 4196468 140736802743248 139733752777488 139733824804565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39608320 140736802747549 140736802747724 140736802747724 140736802750415 0
[pid=8665/tid=8670] ppid=8663 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/8665/task/8670/stat : 8670 (java) S 8663 8663 7296 0 -1 1077944384 405 0 0 0 0 0 0 0 20 0 15 0 154373294 14320615424 56373 33554432000 4194304 4196468 140736802743248 139733751724944 139733824804565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39608320 140736802747549 140736802747724 140736802747724 140736802750415 0
[pid=8665/tid=8671] ppid=8663 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8665/task/8671/stat : 8671 (java) S 8663 8663 7296 0 -1 1077944384 721 0 0 0 0 0 0 0 20 0 15 0 154373295 14320615424 56373 33554432000 4194304 4196468 140736802743248 139732737169648 139733824805506 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39608320 140736802747549 140736802747724 140736802747724 140736802750415 0
[pid=8665/tid=8672] ppid=8663 vsize=13984976 memory=194496 CPUtime=0 cores=1,3,5,7
/proc/8665/task/8672/stat : 8672 (java) S 8663 8663 7296 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 15 0 154373296 14320615424 56373 33554432000 4194304 4196468 140736802743248 139732736115872 139733824804565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39608320 140736802747549 140736802747724 140736802747724 140736802750415 0
[pid=8665/tid=8673] ppid=8663 vsize=13984976 memory=4144 CPUtime=0 cores=1,3,5,7
/proc/8665/task/8673/stat : 8673 (java) S 8663 8663 7296 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 154373296 14320615424 56373 33554432000 4194304 4196468 140736802743248 139732667327216 139733824804565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39608320 140736802747549 140736802747724 140736802747724 140736802750415 0
[pid=8665/tid=8674] ppid=8663 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/8665/task/8674/stat : 8674 (java) S 8663 8663 7296 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154373298 14320615424 56373 33554432000 4194304 4196468 140736802743248 139732666275792 139733824812955 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39608320 140736802747549 140736802747724 140736802747724 140736802750415 0
[pid=8665/tid=8675] ppid=8663 vsize=13984976 memory=1384 CPUtime=2.75 cores=1,3,5,7
/proc/8665/task/8675/stat : 8675 (java) S 8663 8663 7296 0 -1 1077944384 21981 0 0 0 273 2 0 0 20 0 15 0 154373298 14320615424 56373 33554432000 4194304 4196468 140736802743248 139732665223920 139733824805506 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39608320 140736802747549 140736802747724 140736802747724 140736802750415 0
[pid=8665/tid=8676] ppid=8663 vsize=13984976 memory=225492 CPUtime=2.72 cores=1,3,5,7
/proc/8665/task/8676/stat : 8676 (java) S 8663 8663 7296 0 -1 1077944384 16695 0 0 0 271 1 0 0 20 0 15 0 154373298 14320615424 56373 33554432000 4194304 4196468 140736802743248 139732664171376 139733824805506 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39608320 140736802747549 140736802747724 140736802747724 140736802750415 0
[pid=8665/tid=8677] ppid=8663 vsize=13984976 memory=1384 CPUtime=0.53 cores=1,3,5,7
/proc/8665/task/8677/stat : 8677 (java) S 8663 8663 7296 0 -1 1077944384 6669 0 0 0 52 1 0 0 20 0 15 0 154373298 14320615424 56373 33554432000 4194304 4196468 140736802743248 139732663118320 139733824805506 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39608320 140736802747549 140736802747724 140736802747724 140736802750415 0
[pid=8665/tid=8678] ppid=8663 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/8665/task/8678/stat : 8678 (java) S 8663 8663 7296 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154373299 14320615424 56373 33554432000 4194304 4196468 140736802743248 139732662066016 139733824804565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39608320 140736802747549 140736802747724 140736802747724 140736802750415 0
[pid=8665/tid=8679] ppid=8663 vsize=13984976 memory=225492 CPUtime=0.02 cores=1,3,5,7
/proc/8665/task/8679/stat : 8679 (java) S 8663 8663 7296 0 -1 1077944384 1516 0 0 0 1 1 0 0 20 0 15 0 154373299 14320615424 56373 33554432000 4194304 4196468 140736802743248 139732661013040 139733824805506 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39608320 140736802747549 140736802747724 140736802747724 140736802750415 0
Current children cumulated CPU time: 168.36 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 226876 KiB

[startup+222.301 s]
/proc/loadavg: 2.12 2.10 1.93 3/217 8761
/proc/meminfo: memFree=20578624/32770624 swapFree=67108860/67108860
[pid=8663] ppid=8660 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/8663/stat : 8663 (xcsp3-exec) S 8660 8663 7296 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154373293 9740288 346 33554432000 4194304 5098028 140736870988832 140736870986936 139700298732156 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33320960 140736870995061 140736870995264 140736870995264 140736870997995 0
/proc/8663/statm: 2378 346 289 221 0 87 0
[pid=8665] ppid=8663 vsize=13984976 memory=225540 CPUtime=228.38 cores=1,3,5,7
/proc/8665/stat : 8665 (java) S 8663 8663 7296 0 -1 1077944320 63270 0 0 0 22826 12 0 0 20 0 15 0 154373293 14320615424 56385 33554432000 4194304 4196468 140736802743248 140736802725792 139733824794359 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 39608320 140736802747549 140736802747724 140736802747724 140736802750415 0
/proc/8665/statm: 3496244 56385 3269 1 0 3483478 0
[pid=8665/tid=8666] ppid=8663 vsize=13984976 memory=225540 CPUtime=222.27 cores=1,3,5,7
/proc/8665/task/8666/stat : 8666 (java) R 8663 8663 7296 0 -1 4202560 12573 0 0 0 22223 4 0 0 20 0 15 0 154373293 14320615424 56385 33554432000 4194304 4196468 140736802743248 139733829029952 139733429076250 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39608320 140736802747549 140736802747724 140736802747724 140736802750415 0
[pid=8665/tid=8667] ppid=8663 vsize=13984976 memory=225540 CPUtime=0 cores=1,3,5,7
/proc/8665/task/8667/stat : 8667 (java) S 8663 8663 7296 0 -1 1077944384 90 0 0 0 0 0 0 0 20 0 15 0 154373294 14320615424 56385 33554432000 4194304 4196468 140736802743248 139733754883088 139733824804565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39608320 140736802747549 140736802747724 140736802747724 140736802750415 0
[pid=8665/tid=8668] ppid=8663 vsize=13984976 memory=225540 CPUtime=0 cores=1,3,5,7
/proc/8665/task/8668/stat : 8668 (java) S 8663 8663 7296 0 -1 1077944384 92 0 0 0 0 0 0 0 20 0 15 0 154373294 14320615424 56385 33554432000 4194304 4196468 140736802743248 139733753830544 139733824804565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39608320 140736802747549 140736802747724 140736802747724 140736802750415 0
[pid=8665/tid=8669] ppid=8663 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/8665/task/8669/stat : 8669 (java) S 8663 8663 7296 0 -1 1077944384 636 0 0 0 0 0 0 0 20 0 15 0 154373294 14320615424 56385 33554432000 4194304 4196468 140736802743248 139733752777488 139733824804565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39608320 140736802747549 140736802747724 140736802747724 140736802750415 0
[pid=8665/tid=8670] ppid=8663 vsize=13984976 memory=6154282490091891024 CPUtime=0 cores=1,3,5,7
/proc/8665/task/8670/stat : 8670 (java) S 8663 8663 7296 0 -1 1077944384 405 0 0 0 0 0 0 0 20 0 15 0 154373294 14320615424 56385 33554432000 4194304 4196468 140736802743248 139733751724944 139733824804565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39608320 140736802747549 140736802747724 140736802747724 140736802750415 0
[pid=8665/tid=8671] ppid=8663 vsize=13984976 memory=225540 CPUtime=0 cores=1,3,5,7
/proc/8665/task/8671/stat : 8671 (java) S 8663 8663 7296 0 -1 1077944384 728 0 0 0 0 0 0 0 20 0 15 0 154373295 14320615424 56385 33554432000 4194304 4196468 140736802743248 139732737169648 139733824805506 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39608320 140736802747549 140736802747724 140736802747724 140736802750415 0
[pid=8665/tid=8672] ppid=8663 vsize=13984976 memory=4144 CPUtime=0 cores=1,3,5,7
/proc/8665/task/8672/stat : 8672 (java) S 8663 8663 7296 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 15 0 154373296 14320615424 56385 33554432000 4194304 4196468 140736802743248 139732736115872 139733824804565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39608320 140736802747549 140736802747724 140736802747724 140736802750415 0
[pid=8665/tid=8673] ppid=8663 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/8665/task/8673/stat : 8673 (java) S 8663 8663 7296 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 154373296 14320615424 56385 33554432000 4194304 4196468 140736802743248 139732667327216 139733824804565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39608320 140736802747549 140736802747724 140736802747724 140736802750415 0
[pid=8665/tid=8674] ppid=8663 vsize=13984976 memory=4144 CPUtime=0 cores=1,3,5,7
/proc/8665/task/8674/stat : 8674 (java) S 8663 8663 7296 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154373298 14320615424 56385 33554432000 4194304 4196468 140736802743248 139732666275792 139733824812955 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39608320 140736802747549 140736802747724 140736802747724 140736802750415 0
[pid=8665/tid=8675] ppid=8663 vsize=13984976 memory=43096 CPUtime=2.75 cores=1,3,5,7
/proc/8665/task/8675/stat : 8675 (java) S 8663 8663 7296 0 -1 1077944384 22070 0 0 0 273 2 0 0 20 0 15 0 154373298 14320615424 56385 33554432000 4194304 4196468 140736802743248 139732665223920 139733824805506 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39608320 140736802747549 140736802747724 140736802747724 140736802750415 0
[pid=8665/tid=8676] ppid=8663 vsize=13984976 memory=4144 CPUtime=2.73 cores=1,3,5,7
/proc/8665/task/8676/stat : 8676 (java) S 8663 8663 7296 0 -1 1077944384 16808 0 0 0 272 1 0 0 20 0 15 0 154373298 14320615424 56385 33554432000 4194304 4196468 140736802743248 139732664171376 139733824805506 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39608320 140736802747549 140736802747724 140736802747724 140736802750415 0
[pid=8665/tid=8677] ppid=8663 vsize=13984976 memory=43096 CPUtime=0.53 cores=1,3,5,7
/proc/8665/task/8677/stat : 8677 (java) S 8663 8663 7296 0 -1 1077944384 6972 0 0 0 52 1 0 0 20 0 15 0 154373298 14320615424 56385 33554432000 4194304 4196468 140736802743248 139732663118320 139733824805506 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39608320 140736802747549 140736802747724 140736802747724 140736802750415 0
[pid=8665/tid=8678] ppid=8663 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/8665/task/8678/stat : 8678 (java) S 8663 8663 7296 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154373299 14320615424 56385 33554432000 4194304 4196468 140736802743248 139732662066016 139733824804565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39608320 140736802747549 140736802747724 140736802747724 140736802750415 0
[pid=8665/tid=8679] ppid=8663 vsize=13984976 memory=1384 CPUtime=0.04 cores=1,3,5,7
/proc/8665/task/8679/stat : 8679 (java) S 8663 8663 7296 0 -1 1077944384 1525 0 0 0 2 2 0 0 20 0 15 0 154373299 14320615424 56385 33554432000 4194304 4196468 140736802743248 139732661013040 139733824805506 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39608320 140736802747549 140736802747724 140736802747724 140736802750415 0
Current children cumulated CPU time: 228.38 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 226924 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+240.001 s]*
/proc/loadavg: 2.17 2.11 1.93 3/217 8762
/proc/meminfo: memFree=20524384/32770624 swapFree=67108860/67108860
[pid=8663] ppid=8660 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/8663/stat : 8663 (xcsp3-exec) S 8660 8663 7296 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154373293 9740288 346 33554432000 4194304 5098028 140736870988832 140736870986936 139700298732156 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33320960 140736870995061 140736870995264 140736870995264 140736870997995 0
/proc/8663/statm: 2378 346 289 221 0 87 0
[pid=8665] ppid=8663 vsize=13984976 memory=225540 CPUtime=246.1 cores=1,3,5,7
/proc/8665/stat : 8665 (java) S 8663 8663 7296 0 -1 1077944320 63276 0 0 0 24598 12 0 0 20 0 15 0 154373293 14320615424 56385 33554432000 4194304 4196468 140736802743248 140736802725792 139733824794359 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 39608320 140736802747549 140736802747724 140736802747724 140736802750415 0
/proc/8665/statm: 3496244 56385 3269 1 0 3483478 0
[pid=8665/tid=8666] ppid=8663 vsize=13984976 memory=8112282956445269571 CPUtime=239.98 cores=1,3,5,7
/proc/8665/task/8666/stat : 8666 (java) R 8663 8663 7296 0 -1 4202560 12578 0 0 0 23994 4 0 0 20 0 15 0 154373293 14320615424 56385 33554432000 4194304 4196468 140736802743248 139733829030752 139733426586979 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39608320 140736802747549 140736802747724 140736802747724 140736802750415 0
[pid=8665/tid=8667] ppid=8663 vsize=13984976 memory=24784 CPUtime=0 cores=1,3,5,7
/proc/8665/task/8667/stat : 8667 (java) S 8663 8663 7296 0 -1 1077944384 90 0 0 0 0 0 0 0 20 0 15 0 154373294 14320615424 56385 33554432000 4194304 4196468 140736802743248 139733754883088 139733824804565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39608320 140736802747549 140736802747724 140736802747724 140736802750415 0
[pid=8665/tid=8668] ppid=8663 vsize=13984976 memory=4048 CPUtime=0 cores=1,3,5,7
/proc/8665/task/8668/stat : 8668 (java) S 8663 8663 7296 0 -1 1077944384 92 0 0 0 0 0 0 0 20 0 15 0 154373294 14320615424 56385 33554432000 4194304 4196468 140736802743248 139733753830544 139733824804565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39608320 140736802747549 140736802747724 140736802747724 140736802750415 0
[pid=8665/tid=8669] ppid=8663 vsize=13984976 memory=1792 CPUtime=0 cores=1,3,5,7
/proc/8665/task/8669/stat : 8669 (java) S 8663 8663 7296 0 -1 1077944384 636 0 0 0 0 0 0 0 20 0 15 0 154373294 14320615424 56385 33554432000 4194304 4196468 140736802743248 139733752777488 139733824804565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39608320 140736802747549 140736802747724 140736802747724 140736802750415 0
[pid=8665/tid=8670] ppid=8663 vsize=13984976 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/8665/task/8670/stat : 8670 (java) S 8663 8663 7296 0 -1 1077944384 405 0 0 0 0 0 0 0 20 0 15 0 154373294 14320615424 56385 33554432000 4194304 4196468 140736802743248 139733751724944 139733824804565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39608320 140736802747549 140736802747724 140736802747724 140736802750415 0
[pid=8665/tid=8671] ppid=8663 vsize=13984976 memory=225540 CPUtime=0 cores=1,3,5,7
/proc/8665/task/8671/stat : 8671 (java) S 8663 8663 7296 0 -1 1077944384 729 0 0 0 0 0 0 0 20 0 15 0 154373295 14320615424 56385 33554432000 4194304 4196468 140736802743248 139732737169648 139733824805506 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39608320 140736802747549 140736802747724 140736802747724 140736802750415 0
[pid=8665/tid=8672] ppid=8663 vsize=13984976 memory=1012 CPUtime=0 cores=1,3,5,7
/proc/8665/task/8672/stat : 8672 (java) S 8663 8663 7296 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 15 0 154373296 14320615424 56385 33554432000 4194304 4196468 140736802743248 139732736115872 139733824804565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39608320 140736802747549 140736802747724 140736802747724 140736802750415 0
[pid=8665/tid=8673] ppid=8663 vsize=13984976 memory=225540 CPUtime=0 cores=1,3,5,7
/proc/8665/task/8673/stat : 8673 (java) S 8663 8663 7296 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 154373296 14320615424 56385 33554432000 4194304 4196468 140736802743248 139732667327216 139733824804565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39608320 140736802747549 140736802747724 140736802747724 140736802750415 0
[pid=8665/tid=8674] ppid=8663 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/8665/task/8674/stat : 8674 (java) S 8663 8663 7296 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154373298 14320615424 56385 33554432000 4194304 4196468 140736802743248 139732666275792 139733824812955 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39608320 140736802747549 140736802747724 140736802747724 140736802750415 0
[pid=8665/tid=8675] ppid=8663 vsize=13984976 memory=1384 CPUtime=2.75 cores=1,3,5,7
/proc/8665/task/8675/stat : 8675 (java) S 8663 8663 7296 0 -1 1077944384 22070 0 0 0 273 2 0 0 20 0 15 0 154373298 14320615424 56385 33554432000 4194304 4196468 140736802743248 139732665223920 139733824805506 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39608320 140736802747549 140736802747724 140736802747724 140736802750415 0
[pid=8665/tid=8676] ppid=8663 vsize=13984976 memory=225512 CPUtime=2.73 cores=1,3,5,7
/proc/8665/task/8676/stat : 8676 (java) S 8663 8663 7296 0 -1 1077944384 16808 0 0 0 272 1 0 0 20 0 15 0 154373298 14320615424 56385 33554432000 4194304 4196468 140736802743248 139732664171376 139733824805506 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39608320 140736802747549 140736802747724 140736802747724 140736802750415 0
[pid=8665/tid=8677] ppid=8663 vsize=13984976 memory=2408 CPUtime=0.53 cores=1,3,5,7
/proc/8665/task/8677/stat : 8677 (java) S 8663 8663 7296 0 -1 1077944384 6972 0 0 0 52 1 0 0 20 0 15 0 154373298 14320615424 56385 33554432000 4194304 4196468 140736802743248 139732663118320 139733824805506 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39608320 140736802747549 140736802747724 140736802747724 140736802750415 0
[pid=8665/tid=8678] ppid=8663 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/8665/task/8678/stat : 8678 (java) S 8663 8663 7296 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154373299 14320615424 56385 33554432000 4194304 4196468 140736802743248 139732662066016 139733824804565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39608320 140736802747549 140736802747724 140736802747724 140736802750415 0
[pid=8665/tid=8679] ppid=8663 vsize=13984976 memory=225540 CPUtime=0.04 cores=1,3,5,7
/proc/8665/task/8679/stat : 8679 (java) S 8663 8663 7296 0 -1 1077944384 1525 0 0 0 2 2 0 0 20 0 15 0 154373299 14320615424 56385 33554432000 4194304 4196468 140736802743248 139732661013040 139733824805506 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39608320 140736802747549 140736802747724 140736802747724 140736802750415 0
Current children cumulated CPU time: 246.1 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 226924 KiB

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

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

[startup+240.023 s]
# the end of solver process 8665 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=245.99 s, system=0.137975 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): 240.023
CPU time (s): 246.128
CPU user time (s): 245.99
CPU system time (s): 0.137975
CPU usage (%): 102.543
Max. virtual memory (cumulated for all children) (KiB): 13997012
Max. memory (cumulated for all children) (KiB): 226924

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 245.99
system time used= 0.137975
maximum resident set size= 226020
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 64132
page faults= 0
swaps= 0
block input operations= 0
block output operations= 344
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8091
involuntary context switches= 142


# summary of solver processes directly reported to runsolver:
#   pid: 8663,8665
#   total CPU time (s): 246.128
#   total CPU user time (s): 245.99
#   total CPU system time (s): 0.137975

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.22953 second user time and 2.25004 second system time

The end

Launcher Data 

Begin job on node149 at 2017-08-20 08:54:25
IDJOB=4282993
IDBENCH=128676
IDSOLVER=2678
FILE ID=node149/4282993-1503212926
RUNJOBID= node149-1503210552-7328
PBS_JOBID= 20630877
Free space on /tmp= 61704 MiB

SOLVER NAME= choco-solver 4.0.5 seq
BENCH NAME= XCSP17/Rcpsp/Rcpsp-m1-j90/Rcpsp-j90-09-06.xml
COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -ml 11000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4282993-1503212926/watcher-4282993-1503212926 -o /tmp/evaluation-result-4282993-1503212926/solver-4282993-1503212926 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node149-1503210552-7328 --watchdog 300  ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 261450228 HOME/instance-4282993-1503212926.xml

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

MD5SUM BENCH= 6fbeb4485160aba6959a0a0fc5f330c5
RANDOM SEED=261450228

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

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.43
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.43
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.43
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.43
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:        21180220 kB
MemAvailable:   31736872 kB
Buffers:          286980 kB
Cached:         10538884 kB
SwapCached:            0 kB
Active:          2383396 kB
Inactive:        8712248 kB
Active(anon):     219448 kB
Inactive(anon):    86576 kB
Active(file):    2163948 kB
Inactive(file):  8625672 kB
Unevictable:        7904 kB
Mlocked:            7904 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7928 kB
Writeback:             0 kB
AnonPages:        226548 kB
Mapped:            64344 kB
Shmem:             33416 kB
Slab:             192872 kB
SReclaimable:     165732 kB
SUnreclaim:        27140 kB
KernelStack:        3824 kB
PageTables:         5792 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1434928 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    112640 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:       97664 kB
DirectMap2M:    33447936 kB

Free space on /tmp at the end= 61696 MiB
End job on node149 at 2017-08-20 08:58:26