Trace number 4283282

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 5a (2017-08-18)SAT (TO)1474 2520.04 2478.71

General information on the benchmark

NameFastfood/Fastfood-m1-s1/
Fastfood-ff57.xml
MD5SUM9601f9fdcfec45ff7e2268abb15a55d6
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark1334
Best CPU time to get the best result obtained on this benchmark19.431299
Satisfiable
(Un)Satisfiability was proved
Number of variables349
Number of constraints344
Number of domains36
Minimum domain size34
Maximum domain size36
Distribution of domain sizes[{"size":34,"count":7},{"size":35,"count":133},{"size":36,"count":209}]
Minimum variable degree2
Maximum variable degree50
Distribution of variable degrees[{"degree":2,"count":343},{"degree":50,"count":6}]
Minimum constraint arity2
Maximum constraint arity7
Distribution of constraint arities[{"arity":2,"count":294},{"arity":6,"count":1},{"arity":7,"count":49}]
Number of extensional constraints294
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":294},{"type":"ordered","count":1},{"type":"minimum","count":49}]
Optimization problemYES
Type of objectivemin SUM

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4283282-1503221542.xml"  -tl '2520s' -p 1 -x 3
0.12/0.14	c [HOME/instance-4283282-1503221542.xml, -tl, 2520s, -p, 1, -x, 3]
0.12/0.20	c simple solver
0.33/0.27	c parse instance...
1.39/0.64	c solve instance...
2.28/0.92	o 3624 
2.28/0.97	o 3610 
2.28/1.00	o 3564 
3.29/1.20	o 3225 
3.29/1.23	o 3165 
3.92/1.40	o 3160 
4.23/1.54	o 2952 
4.91/1.75	o 2928 
8.19/3.55	o 2566 
9.81/4.86	o 2372 
10.12/5.02	o 2360 
10.56/5.23	o 2300 
10.90/5.45	o 2252 
11.30/5.62	o 2231 
11.30/5.69	o 2226 
11.40/5.78	o 2094 
11.51/5.83	o 2092 
80.06/71.88	o 2087 
80.06/71.88	o 2066 
81.78/73.53	o 1888 
81.78/73.53	o 1871 
81.78/73.53	o 1850 
81.89/73.65	o 1836 
81.89/73.65	o 1819 
81.89/73.65	o 1798 
511.48/501.11	o 1760 
611.40/600.28	o 1530 
1462.28/1442.67	o 1476 
1487.79/1467.44	o 1474 
2520.01/2478.70	s SATISFIABLE
2520.01/2478.70	v <instantiation>
2520.01/2478.70	v 	<list>x[0] x[1] x[2] x[3] x[4] x[5] drd[0][0] drd[0][1] drd[0][2] drd[0][3] drd[0][4] drd[0][5] drd[1][0] drd[1][1] drd[1][2] drd[1][3] drd[1][4] drd[1][5] drd[2][0] drd[2][1] drd[2][2] drd[2][3] drd[2][4] drd[2][5] drd[3][0] drd[3][1] drd[3][2] drd[3][3] drd[3][4] drd[3][5] drd[4][0] drd[4][1] drd[4][2] drd[4][3] drd[4][4] drd[4][5] drd[5][0] drd[5][1] drd[5][2] drd[5][3] drd[5][4] drd[5][5] drd[6][0] drd[6][1] drd[6][2] drd[6][3] drd[6][4] drd[6][5] drd[7][0] drd[7][1] drd[7][2] drd[7][3] drd[7][4] drd[7][5] drd[8][0] drd[8][1] drd[8][2] drd[8][3] drd[8][4] drd[8][5] drd[9][0] drd[9][1] drd[9][2] drd[9][3] drd[9][4] drd[9][5] drd[10][0] drd[10][1] drd[10][2] drd[10][3] drd[10][4] drd[10][5] drd[11][0] drd[11][1] drd[11][2] drd[11][3] drd[11][4] drd[11][5] drd[12][0] drd[12][1] drd[12][2] drd[12][3] drd[12][4] drd[12][5] drd[13][0] drd[13][1] drd[13][2] drd[13][3] drd[13][4] drd[13][5] drd[14][0] drd[14][1] drd[14][2] drd[14][3] drd[14][4] drd[14][5] drd[15][0] drd[15][1] drd[15][2] drd[15][3] drd[15][4] drd[15][5] drd[16][0] drd[16][1] drd[16][2] drd[16][3] drd[16][4] drd[16][5] drd[17][0] drd[17][1] drd[17][2] drd[17][3] drd[17][4] drd[17][5] drd[18][0] drd[18][1] drd[18][2] drd[18][3] drd[18][4] drd[18][5] drd[19][0] drd[19][1] drd[19][2] drd[19][3] drd[19][4] drd[19][5] drd[20][0] drd[20][1] drd[20][2] drd[20][3] drd[20][4] drd[20][5] drd[21][0] drd[21][1] drd[21][2] drd[21][3] drd[21][4] drd[21][5] drd[22][0] drd[22][1] drd[22][2] drd[22][3] drd[22][4] drd[22][5] drd[23][0] drd[23][1] drd[23][2] drd[23][3] drd[23][4] drd[23][5] drd[24][0] drd[24][1] drd[24][2] drd[24][3] drd[24][4] drd[24][5] drd[25][0] drd[25][1] drd[25][2] drd[25][3] drd[25][4] drd[25][5] drd[26][0] drd[26][1] drd[26][2] drd[26][3] drd[26][4] drd[26][5] drd[27][0] drd[27][1] drd[27][2] drd[27][3] drd[27][4] drd[27][5] drd[28][0] drd[28][1] drd[28][2] drd[28][3] drd[28][4] drd[28][5] drd[29][0] drd[29][1] drd[29][2] drd[29][3] drd[29][4] drd[29][5] drd[30][0] drd[30][1] drd[30][2] drd[30][3] drd[30][4] drd[30][5] drd[31][0] drd[31][1] drd[31][2] drd[31][3] drd[31][4] drd[31][5] drd[32][0] drd[32][1] drd[32][2] drd[32][3] drd[32][4] drd[32][5] drd[33][0] drd[33][1] drd[33][2] drd[33][3] drd[33][4] drd[33][5] drd[34][0] drd[34][1] drd[34][2] drd[34][3] drd[34][4] drd[34][5] drd[35][0] drd[35][1] drd[35][2] drd[35][3] drd[35][4] drd[35][5] drd[36][0] drd[36][1] drd[36][2] drd[36][3] drd[36][4] drd[36][5] drd[37][0] drd[37][1] drd[37][2] drd[37][3] drd[37][4] drd[37][5] drd[38][0] drd[38][1] drd[38][2] drd[38][3] drd[38][4] drd[38][5] drd[39][0] drd[39][1] drd[39][2] drd[39][3] drd[39][4] drd[39][5] drd[40][0] drd[40][1] drd[40][2] drd[40][3] drd[40][4] drd[40][5] drd[41][0] drd[41][1] drd[41][2] drd[41][3] drd[41][4] drd[41][5] drd[42][0] drd[42][1] drd[42][2] drd[42][3] drd[42][4] drd[42][5] drd[43][0] drd[43][1] drd[43][2] drd[43][3] drd[43][4] drd[43][5] drd[44][0] drd[44][1] drd[44][2] drd[44][3] drd[44][4] drd[44][5] drd[45][0] drd[45][1] drd[45][2] drd[45][3] drd[45][4] drd[45][5] drd[46][0] drd[46][1] drd[46][2] drd[46][3] drd[46][4] drd[46][5] drd[47][0] drd[47][1] drd[47][2] drd[47][3] drd[47][4] drd[47][5] drd[48][0] drd[48][1] drd[48][2] drd[48][3] drd[48][4] drd[48][5] dr[0] dr[1] dr[2] dr[3] dr[4] dr[5] dr[6] dr[7] dr[8] dr[9] dr[10] dr[11] dr[12] dr[13] dr[14] dr[15] dr[16] dr[17] dr[18] dr[19] dr[20] dr[21] dr[22] dr[23] dr[24] dr[25] dr[26] dr[27] dr[28] dr[29] dr[30] dr[31] dr[32] dr[33] dr[34] dr[35] dr[36] dr[37] dr[38] dr[39] dr[40] dr[41] dr[42] dr[43] dr[44] dr[45] dr[46] dr[47] dr[48] </list>
2520.01/2478.70	v 	<values>55 173 314 579 818 910 38 80 221 486 725 817 51 67 208 473 712 804 51 67 208 473 712 804 855 737 596 331 92 0 855 737 596 331 92 0 47 71 212 477 716 808 4 122 263 528 767 859 4 122 263 528 767 859 55 173 314 579 818 910 714 596 455 190 49 141 714 596 455 190 49 141 216 98 43 308 547 639 217 99 42 307 546 638 488 370 229 36 275 367 487 369 228 37 276 368 105 13 154 419 658 750 100 18 159 424 663 755 119 1 140 405 644 736 118 0 141 406 645 737 285 167 26 239 478 570 285 167 26 239 478 570 33 151 292 557 796 888 102 16 157 422 661 753 102 16 157 422 661 753 81 37 178 443 682 774 81 37 178 443 682 774 0 118 259 524 763 855 0 118 259 524 763 855 819 701 560 295 56 36 819 701 560 295 56 36 259 141 0 265 504 596 257 139 2 267 506 598 469 351 210 55 294 386 763 645 504 239 0 92 763 645 504 239 0 92 650 532 391 126 113 205 650 532 391 126 113 205 548 430 289 24 215 307 548 430 289 24 215 307 593 475 334 69 170 262 592 474 333 68 171 263 168 50 91 356 595 687 177 59 82 347 586 678 34 152 293 558 797 889 524 406 265 0 239 331 524 406 265 0 239 331 21 139 280 545 784 876 27 145 286 551 790 882 14 104 245 510 749 841 38 51 51 0 0 47 4 4 55 49 49 43 42 36 37 13 18 1 0 26 26 33 16 16 37 37 0 0 36 36 0 2 55 0 0 113 113 24 24 69 68 50 59 34 0 0 21 27 14 </values>
2520.01/2478.70	v </instantiation>
2520.01/2478.70	c Unexpected resolution interruption!

Verifier Data 

OK	1474

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4283282-1503221542/watcher-4283282-1503221542 -o /tmp/evaluation-result-4283282-1503221542/solver-4283282-1503221542 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node113-1503215438-13002 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1141298161 HOME/instance-4283282-1503221542.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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
solver pid=13877, runsolver pid=13874
Current StackSize limit: 8192 KiB


[startup+0.100141 s]*
/proc/loadavg: 2.09 1.82 1.70 4/217 13893
/proc/meminfo: memFree=25869644/32770624 swapFree=67108860/67108860
[pid=13877] ppid=13874 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/13877/stat : 13877 (xcsp3-exec) S 13874 13877 8036 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 155241623 9740288 346 33554432000 4194304 5098028 140730845070912 140730845069016 140361063350908 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 18997248 140730845078638 140730845078843 140730845078843 140730845081579 0
/proc/13877/statm: 2378 346 289 221 0 87 0
[pid=13879] ppid=13877 vsize=13978596 memory=26560 CPUtime=0.12 cores=1,3,5,7
/proc/13879/stat : 13879 (java) S 13877 13877 8036 0 -1 1077944320 5492 0 0 0 11 1 0 0 20 0 15 0 155241623 14314082304 6640 33554432000 4194304 4196468 140737357106432 140737357088976 140444322848503 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 33288192 140737357108375 140737357108551 140737357108551 140737357111247 0
/proc/13879/statm: 3494649 6640 2894 1 0 3482966 0
[pid=13879/tid=13880] ppid=13877 vsize=13978596 memory=8514701219881125282 CPUtime=0.09 cores=1,3,5,7
/proc/13879/task/13880/stat : 13880 (java) R 13877 13877 8036 0 -1 4202560 3464 0 0 0 8 1 0 0 20 0 15 0 155241623 14314082304 6640 33554432000 4194304 4196468 140737357106432 140444327072304 140444322860438 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33288192 140737357108375 140737357108551 140737357108551 140737357111247 0
[pid=13879/tid=13881] ppid=13877 vsize=13978596 memory=3472468793141355728 CPUtime=0 cores=1,3,5,7
/proc/13879/task/13881/stat : 13881 (java) S 13877 13877 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155241624 14314082304 6640 33554432000 4194304 4196468 140737357106432 140443918465296 140444322858709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33288192 140737357108375 140737357108551 140737357108551 140737357111247 0
[pid=13879/tid=13882] ppid=13877 vsize=13978596 memory=140664246204032 CPUtime=0 cores=1,3,5,7
/proc/13879/task/13882/stat : 13882 (java) S 13877 13877 8036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 155241624 14314082304 6640 33554432000 4194304 4196468 140737357106432 140443917412752 140444322858709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33288192 140737357108375 140737357108551 140737357108551 140737357111247 0
[pid=13879/tid=13883] ppid=13877 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13879/task/13883/stat : 13883 (java) S 13877 13877 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155241624 14314082304 6640 33554432000 4194304 4196468 140737357106432 140443916360208 140444322858709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33288192 140737357108375 140737357108551 140737357108551 140737357111247 0
[pid=13879/tid=13884] ppid=13877 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13879/task/13884/stat : 13884 (java) S 13877 13877 8036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 155241624 14314082304 6640 33554432000 4194304 4196468 140737357106432 140443915307664 140444322858709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33288192 140737357108375 140737357108551 140737357108551 140737357111247 0
[pid=13879/tid=13885] ppid=13877 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13879/task/13885/stat : 13885 (java) S 13877 13877 8036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 155241625 14314082304 6640 33554432000 4194304 4196468 140737357106432 140443503815152 140444322859650 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33288192 140737357108375 140737357108551 140737357108551 140737357111247 0
[pid=13879/tid=13886] ppid=13877 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13879/task/13886/stat : 13886 (java) S 13877 13877 8036 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 155241626 14314082304 6640 33554432000 4194304 4196468 140737357106432 140443502761376 140444322858709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33288192 140737357108375 140737357108551 140737357108551 140737357111247 0
[pid=13879/tid=13887] ppid=13877 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13879/task/13887/stat : 13887 (java) S 13877 13877 8036 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 155241626 14314082304 6640 33554432000 4194304 4196468 140737357106432 140443501708784 140444322858709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33288192 140737357108375 140737357108551 140737357108551 140737357111247 0
[pid=13879/tid=13888] ppid=13877 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13879/task/13888/stat : 13888 (java) S 13877 13877 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155241628 14314082304 6640 33554432000 4194304 4196468 140737357106432 140443500657360 140444322867099 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33288192 140737357108375 140737357108551 140737357108551 140737357111247 0
[pid=13879/tid=13889] ppid=13877 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13879/task/13889/stat : 13889 (java) S 13877 13877 8036 0 -1 1077944384 156 0 0 0 0 0 0 0 20 0 15 0 155241628 14314082304 6640 33554432000 4194304 4196468 140737357106432 140443499603952 140444322859650 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33288192 140737357108375 140737357108551 140737357108551 140737357111247 0
[pid=13879/tid=13890] ppid=13877 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13879/task/13890/stat : 13890 (java) S 13877 13877 8036 0 -1 1077944384 290 0 0 0 0 0 0 0 20 0 15 0 155241628 14314082304 6640 33554432000 4194304 4196468 140737357106432 140443498551408 140444322859650 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33288192 140737357108375 140737357108551 140737357108551 140737357111247 0
[pid=13879/tid=13891] ppid=13877 vsize=13978596 memory=140664246204032 CPUtime=0.01 cores=1,3,5,7
/proc/13879/task/13891/stat : 13891 (java) R 13877 13877 8036 0 -1 4202560 285 0 0 0 1 0 0 0 20 0 15 0 155241628 14314082304 6640 33554432000 4194304 4196468 140737357106432 140443497498864 140444315945339 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33288192 140737357108375 140737357108551 140737357108551 140737357111247 0
[pid=13879/tid=13892] ppid=13877 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13879/task/13892/stat : 13892 (java) S 13877 13877 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155241629 14314082304 6640 33554432000 4194304 4196468 140737357106432 140443496446560 140444322858709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33288192 140737357108375 140737357108551 140737357108551 140737357111247 0
[pid=13879/tid=13893] ppid=13877 vsize=13978596 memory=140664246204032 CPUtime=0 cores=1,3,5,7
/proc/13879/task/13893/stat : 13893 (java) S 13877 13877 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155241629 14314082304 6640 33554432000 4194304 4196468 140737357106432 140443495394096 140444322859650 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33288192 140737357108375 140737357108551 140737357108551 140737357111247 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 27944 KiB

[startup+0.210639 s]*
/proc/loadavg: 2.09 1.82 1.70 5/217 13893
/proc/meminfo: memFree=25857224/32770624 swapFree=67108860/67108860
[pid=13877] ppid=13874 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/13877/stat : 13877 (xcsp3-exec) S 13874 13877 8036 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 155241623 9740288 346 33554432000 4194304 5098028 140730845070912 140730845069016 140361063350908 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 18997248 140730845078638 140730845078843 140730845078843 140730845081579 0
/proc/13877/statm: 2378 346 289 221 0 87 0
[pid=13879] ppid=13877 vsize=13982852 memory=39104 CPUtime=0.33 cores=1,3,5,7
/proc/13879/stat : 13879 (java) S 13877 13877 8036 0 -1 1077944320 8298 0 0 0 31 2 0 0 20 0 15 0 155241623 14318440448 9776 33554432000 4194304 4196468 140737357106432 140737357088976 140444322848503 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 33288192 140737357108375 140737357108551 140737357108551 140737357111247 0
/proc/13879/statm: 3495713 9776 3081 1 0 3482966 0
[pid=13879/tid=13880] ppid=13877 vsize=13982852 memory=5853394889045019040 CPUtime=0.19 cores=1,3,5,7
/proc/13879/task/13880/stat : 13880 (java) R 13877 13877 8036 0 -1 4202560 5327 0 0 0 18 1 0 0 20 0 15 0 155241623 14318440448 9776 33554432000 4194304 4196468 140737357106432 140444327069312 140444322870429 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33288192 140737357108375 140737357108551 140737357108551 140737357111247 0
[pid=13879/tid=13881] ppid=13877 vsize=13982852 memory=3472468793141355728 CPUtime=0 cores=1,3,5,7
/proc/13879/task/13881/stat : 13881 (java) S 13877 13877 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155241624 14318440448 9776 33554432000 4194304 4196468 140737357106432 140443918465296 140444322858709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33288192 140737357108375 140737357108551 140737357108551 140737357111247 0
[pid=13879/tid=13882] ppid=13877 vsize=13982852 memory=140664246204032 CPUtime=0 cores=1,3,5,7
/proc/13879/task/13882/stat : 13882 (java) S 13877 13877 8036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 155241624 14318440448 9776 33554432000 4194304 4196468 140737357106432 140443917412752 140444322858709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33288192 140737357108375 140737357108551 140737357108551 140737357111247 0
[pid=13879/tid=13883] ppid=13877 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13879/task/13883/stat : 13883 (java) S 13877 13877 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155241624 14318440448 9776 33554432000 4194304 4196468 140737357106432 140443916360208 140444322858709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33288192 140737357108375 140737357108551 140737357108551 140737357111247 0
[pid=13879/tid=13884] ppid=13877 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13879/task/13884/stat : 13884 (java) S 13877 13877 8036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 155241624 14318440448 9776 33554432000 4194304 4196468 140737357106432 140443915307664 140444322858709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33288192 140737357108375 140737357108551 140737357108551 140737357111247 0
[pid=13879/tid=13885] ppid=13877 vsize=13982852 memory=140664246204032 CPUtime=0 cores=1,3,5,7
/proc/13879/task/13885/stat : 13885 (java) S 13877 13877 8036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 155241625 14318440448 9776 33554432000 4194304 4196468 140737357106432 140443503815152 140444322859650 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33288192 140737357108375 140737357108551 140737357108551 140737357111247 0
[pid=13879/tid=13886] ppid=13877 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13879/task/13886/stat : 13886 (java) S 13877 13877 8036 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 155241626 14318440448 9776 33554432000 4194304 4196468 140737357106432 140443502761376 140444322858709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33288192 140737357108375 140737357108551 140737357108551 140737357111247 0
[pid=13879/tid=13887] ppid=13877 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13879/task/13887/stat : 13887 (java) S 13877 13877 8036 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 155241626 14318440448 9776 33554432000 4194304 4196468 140737357106432 140443501708784 140444322858709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33288192 140737357108375 140737357108551 140737357108551 140737357111247 0
[pid=13879/tid=13888] ppid=13877 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13879/task/13888/stat : 13888 (java) S 13877 13877 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155241628 14318440448 9776 33554432000 4194304 4196468 140737357106432 140443500657360 140444322867099 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33288192 140737357108375 140737357108551 140737357108551 140737357111247 0
[pid=13879/tid=13889] ppid=13877 vsize=13982852 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/13879/task/13889/stat : 13889 (java) S 13877 13877 8036 0 -1 1077944384 305 0 0 0 1 0 0 0 20 0 15 0 155241628 14318440448 9776 33554432000 4194304 4196468 140737357106432 140443499603952 140444322859650 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33288192 140737357108375 140737357108551 140737357108551 140737357111247 0
[pid=13879/tid=13890] ppid=13877 vsize=13982852 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/13879/task/13890/stat : 13890 (java) S 13877 13877 8036 0 -1 1077944384 490 0 0 0 3 0 0 0 20 0 15 0 155241628 14318440448 9776 33554432000 4194304 4196468 140737357106432 140443498551408 140444322859650 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33288192 140737357108375 140737357108551 140737357108551 140737357111247 0
[pid=13879/tid=13891] ppid=13877 vsize=13982852 memory=140664246204032 CPUtime=0.08 cores=1,3,5,7
/proc/13879/task/13891/stat : 13891 (java) R 13877 13877 8036 0 -1 4202560 874 0 0 0 8 0 0 0 20 0 15 0 155241628 14318440448 9776 33554432000 4194304 4196468 140737357106432 140443497498864 140444315945339 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33288192 140737357108375 140737357108551 140737357108551 140737357111247 0
[pid=13879/tid=13892] ppid=13877 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13879/task/13892/stat : 13892 (java) S 13877 13877 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155241629 14318440448 9776 33554432000 4194304 4196468 140737357106432 140443496446560 140444322858709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33288192 140737357108375 140737357108551 140737357108551 140737357111247 0
[pid=13879/tid=13893] ppid=13877 vsize=13982852 memory=140664246204032 CPUtime=0 cores=1,3,5,7
/proc/13879/task/13893/stat : 13893 (java) S 13877 13877 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155241629 14318440448 9776 33554432000 4194304 4196468 140737357106432 140443495394096 140444322859650 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33288192 140737357108375 140737357108551 140737357108551 140737357111247 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 40488 KiB

[startup+0.310597 s]*
/proc/loadavg: 2.09 1.82 1.70 4/217 13893
/proc/meminfo: memFree=25850884/32770624 swapFree=67108860/67108860
[pid=13877] ppid=13874 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/13877/stat : 13877 (xcsp3-exec) S 13874 13877 8036 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 155241623 9740288 346 33554432000 4194304 5098028 140730845070912 140730845069016 140361063350908 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 18997248 140730845078638 140730845078843 140730845078843 140730845081579 0
/proc/13877/statm: 2378 346 289 221 0 87 0
[pid=13879] ppid=13877 vsize=13982852 memory=46316 CPUtime=0.51 cores=1,3,5,7
/proc/13879/stat : 13879 (java) S 13877 13877 8036 0 -1 1077944320 9300 0 0 0 48 3 0 0 20 0 15 0 155241623 14318440448 11579 33554432000 4194304 4196468 140737357106432 140737357088976 140444322848503 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 33288192 140737357108375 140737357108551 140737357108551 140737357111247 0
/proc/13879/statm: 3495713 11579 3105 1 0 3482966 0
[pid=13879/tid=13880] ppid=13877 vsize=13982852 memory=8514701219880862117 CPUtime=0.29 cores=1,3,5,7
/proc/13879/task/13880/stat : 13880 (java) R 13877 13877 8036 0 -1 4202560 5996 0 0 0 27 2 0 0 20 0 15 0 155241623 14318440448 11579 33554432000 4194304 4196468 140737357106432 140444327086560 140444322860438 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33288192 140737357108375 140737357108551 140737357108551 140737357111247 0
[pid=13879/tid=13881] ppid=13877 vsize=13982852 memory=3472468793141355728 CPUtime=0 cores=1,3,5,7
/proc/13879/task/13881/stat : 13881 (java) S 13877 13877 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155241624 14318440448 11579 33554432000 4194304 4196468 140737357106432 140443918465296 140444322858709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33288192 140737357108375 140737357108551 140737357108551 140737357111247 0
[pid=13879/tid=13882] ppid=13877 vsize=13982852 memory=140664246204032 CPUtime=0 cores=1,3,5,7
/proc/13879/task/13882/stat : 13882 (java) S 13877 13877 8036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 155241624 14318440448 11579 33554432000 4194304 4196468 140737357106432 140443917412752 140444322858709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33288192 140737357108375 140737357108551 140737357108551 140737357111247 0
[pid=13879/tid=13883] ppid=13877 vsize=13982852 memory=8 CPUtime=0 cores=1,3,5,7
/proc/13879/task/13883/stat : 13883 (java) S 13877 13877 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155241624 14318440448 11579 33554432000 4194304 4196468 140737357106432 140443916360208 140444322858709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33288192 140737357108375 140737357108551 140737357108551 140737357111247 0
[pid=13879/tid=13884] ppid=13877 vsize=13982852 memory=140664138508319 CPUtime=0 cores=1,3,5,7
/proc/13879/task/13884/stat : 13884 (java) S 13877 13877 8036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 155241624 14318440448 11579 33554432000 4194304 4196468 140737357106432 140443915307664 140444322858709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33288192 140737357108375 140737357108551 140737357108551 140737357111247 0
[pid=13879/tid=13885] ppid=13877 vsize=13982852 memory=281328276977408 CPUtime=0 cores=1,3,5,7
/proc/13879/task/13885/stat : 13885 (java) S 13877 13877 8036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 155241625 14318440448 11579 33554432000 4194304 4196468 140737357106432 140443503815152 140444322859650 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33288192 140737357108375 140737357108551 140737357108551 140737357111247 0
[pid=13879/tid=13886] ppid=13877 vsize=13982852 memory=140664138485263 CPUtime=0 cores=1,3,5,7
/proc/13879/task/13886/stat : 13886 (java) S 13877 13877 8036 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 155241626 14318440448 11579 33554432000 4194304 4196468 140737357106432 140443502761376 140444322858709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33288192 140737357108375 140737357108551 140737357108551 140737357111247 0
[pid=13879/tid=13887] ppid=13877 vsize=13982852 memory=281328384698464 CPUtime=0 cores=1,3,5,7
/proc/13879/task/13887/stat : 13887 (java) S 13877 13877 8036 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 155241626 14318440448 11579 33554432000 4194304 4196468 140737357106432 140443501708784 140444322858709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33288192 140737357108375 140737357108551 140737357108551 140737357111247 0
[pid=13879/tid=13888] ppid=13877 vsize=13982852 memory=140664138489871 CPUtime=0 cores=1,3,5,7
/proc/13879/task/13888/stat : 13888 (java) S 13877 13877 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155241628 14318440448 11579 33554432000 4194304 4196468 140737357106432 140443500657360 140444322867099 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33288192 140737357108375 140737357108551 140737357108551 140737357111247 0
[pid=13879/tid=13889] ppid=13877 vsize=13982852 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/13879/task/13889/stat : 13889 (java) R 13877 13877 8036 0 -1 1077944384 461 0 0 0 3 0 0 0 20 0 15 0 155241628 14318440448 11579 33554432000 4194304 4196468 140737357106432 140443499603952 140444322859650 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33288192 140737357108375 140737357108551 140737357108551 140737357111247 0
[pid=13879/tid=13890] ppid=13877 vsize=13982852 memory=-1 CPUtime=0.04 cores=1,3,5,7
/proc/13879/task/13890/stat : 13890 (java) S 13877 13877 8036 0 -1 1077944384 499 0 0 0 4 0 0 0 20 0 15 0 155241628 14318440448 11579 33554432000 4194304 4196468 140737357106432 140443498551408 140444322859650 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33288192 140737357108375 140737357108551 140737357108551 140737357111247 0
[pid=13879/tid=13891] ppid=13877 vsize=13982852 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/13879/task/13891/stat : 13891 (java) R 13877 13877 8036 0 -1 4202560 1045 0 0 0 13 0 0 0 20 0 15 0 155241628 14318440448 11579 33554432000 4194304 4196468 140737357106432 140443497496672 140444302120657 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33288192 140737357108375 140737357108551 140737357108551 140737357111247 0
[pid=13879/tid=13892] ppid=13877 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13879/task/13892/stat : 13892 (java) S 13877 13877 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155241629 14318440448 11579 33554432000 4194304 4196468 140737357106432 140443496446560 140444322858709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33288192 140737357108375 140737357108551 140737357108551 140737357111247 0
[pid=13879/tid=13893] ppid=13877 vsize=13982852 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/13879/task/13893/stat : 13893 (java) S 13877 13877 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155241629 14318440448 11579 33554432000 4194304 4196468 140737357106432 140443495394096 140444322859650 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33288192 140737357108375 140737357108551 140737357108551 140737357111247 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 47700 KiB

[startup+0.700842 s]
/proc/loadavg: 2.09 1.82 1.70 5/217 13893
/proc/meminfo: memFree=25832276/32770624 swapFree=67108860/67108860
[pid=13877] ppid=13874 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/13877/stat : 13877 (xcsp3-exec) S 13874 13877 8036 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 155241623 9740288 346 33554432000 4194304 5098028 140730845070912 140730845069016 140361063350908 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 18997248 140730845078638 140730845078843 140730845078843 140730845081579 0
/proc/13877/statm: 2378 346 289 221 0 87 0
[pid=13879] ppid=13877 vsize=13984976 memory=144948 CPUtime=1.67 cores=1,3,5,7
/proc/13879/stat : 13879 (java) S 13877 13877 8036 0 -1 1077944320 12534 0 0 0 162 5 0 0 20 0 15 0 155241623 14320615424 36237 33554432000 4194304 4196468 140737357106432 140737357088976 140444322848503 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 33288192 140737357108375 140737357108551 140737357108551 140737357111247 0
/proc/13879/statm: 3496244 36237 3205 1 0 3483478 0
[pid=13879/tid=13880] ppid=13877 vsize=13984976 memory=281328276803440 CPUtime=0.66 cores=1,3,5,7
/proc/13879/task/13880/stat : 13880 (java) R 13877 13877 8036 0 -1 4202560 6812 0 0 0 63 3 0 0 20 0 15 0 155241623 14320615424 36237 33554432000 4194304 4196468 140737357106432 140444327087280 140443964245600 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33288192 140737357108375 140737357108551 140737357108551 140737357111247 0
[pid=13879/tid=13881] ppid=13877 vsize=13984976 memory=3835163037842756688 CPUtime=0 cores=1,3,5,7
/proc/13879/task/13881/stat : 13881 (java) S 13877 13877 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155241624 14320615424 36237 33554432000 4194304 4196468 140737357106432 140443918465296 140444322858709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33288192 140737357108375 140737357108551 140737357108551 140737357111247 0
[pid=13879/tid=13882] ppid=13877 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13879/task/13882/stat : 13882 (java) S 13877 13877 8036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 155241624 14320615424 36237 33554432000 4194304 4196468 140737357106432 140443917412752 140444322858709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33288192 140737357108375 140737357108551 140737357108551 140737357111247 0
[pid=13879/tid=13883] ppid=13877 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13879/task/13883/stat : 13883 (java) S 13877 13877 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155241624 14320615424 36237 33554432000 4194304 4196468 140737357106432 140443916360208 140444322858709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33288192 140737357108375 140737357108551 140737357108551 140737357111247 0
[pid=13879/tid=13884] ppid=13877 vsize=13984976 memory=5796 CPUtime=0 cores=1,3,5,7
/proc/13879/task/13884/stat : 13884 (java) S 13877 13877 8036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 155241624 14320615424 36237 33554432000 4194304 4196468 140737357106432 140443915307664 140444322858709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33288192 140737357108375 140737357108551 140737357108551 140737357111247 0
[pid=13879/tid=13885] ppid=13877 vsize=13984976 memory=1224 CPUtime=0 cores=1,3,5,7
/proc/13879/task/13885/stat : 13885 (java) S 13877 13877 8036 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 155241625 14320615424 36237 33554432000 4194304 4196468 140737357106432 140443503815152 140444322859650 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33288192 140737357108375 140737357108551 140737357108551 140737357111247 0
[pid=13879/tid=13886] ppid=13877 vsize=13984976 memory=8716 CPUtime=0 cores=1,3,5,7
/proc/13879/task/13886/stat : 13886 (java) S 13877 13877 8036 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 155241626 14320615424 36237 33554432000 4194304 4196468 140737357106432 140443502761376 140444322858709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33288192 140737357108375 140737357108551 140737357108551 140737357111247 0
[pid=13879/tid=13887] ppid=13877 vsize=13984976 memory=1712 CPUtime=0 cores=1,3,5,7
/proc/13879/task/13887/stat : 13887 (java) S 13877 13877 8036 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 155241626 14320615424 36237 33554432000 4194304 4196468 140737357106432 140443501708784 140444322858709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33288192 140737357108375 140737357108551 140737357108551 140737357111247 0
[pid=13879/tid=13888] ppid=13877 vsize=13984976 memory=7452706766398776640 CPUtime=0 cores=1,3,5,7
/proc/13879/task/13888/stat : 13888 (java) S 13877 13877 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155241628 14320615424 36237 33554432000 4194304 4196468 140737357106432 140443500657360 140444322867099 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33288192 140737357108375 140737357108551 140737357108551 140737357111247 0
[pid=13879/tid=13889] ppid=13877 vsize=13984976 memory=7881696724453321575 CPUtime=0.3 cores=1,3,5,7
/proc/13879/task/13889/stat : 13889 (java) S 13877 13877 8036 0 -1 1077944384 1207 0 0 0 30 0 0 0 20 0 15 0 155241628 14320615424 36237 33554432000 4194304 4196468 140737357106432 140443499603952 140444322859650 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33288192 140737357108375 140737357108551 140737357108551 140737357111247 0
[pid=13879/tid=13890] ppid=13877 vsize=13984976 memory=7223892898797867088 CPUtime=0.31 cores=1,3,5,7
/proc/13879/task/13890/stat : 13890 (java) R 13877 13877 8036 0 -1 4202560 1274 0 0 0 31 0 0 0 20 0 15 0 155241628 14320615424 36237 33554432000 4194304 4196468 140737357106432 140443498539168 140444302503713 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33288192 140737357108375 140737357108551 140737357108551 140737357111247 0
[pid=13879/tid=13891] ppid=13877 vsize=13984976 memory=0 CPUtime=0.36 cores=1,3,5,7
/proc/13879/task/13891/stat : 13891 (java) S 13877 13877 8036 0 -1 1077944384 1932 0 0 0 36 0 0 0 20 0 15 0 155241628 14320615424 36237 33554432000 4194304 4196468 140737357106432 140443497498864 140444322859650 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33288192 140737357108375 140737357108551 140737357108551 140737357111247 0
[pid=13879/tid=13892] ppid=13877 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13879/task/13892/stat : 13892 (java) S 13877 13877 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155241629 14320615424 36237 33554432000 4194304 4196468 140737357106432 140443496446560 140444322858709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33288192 140737357108375 140737357108551 140737357108551 140737357111247 0
[pid=13879/tid=13893] ppid=13877 vsize=13984976 memory=42804 CPUtime=0 cores=1,3,5,7
/proc/13879/task/13893/stat : 13893 (java) S 13877 13877 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155241629 14320615424 36237 33554432000 4194304 4196468 140737357106432 140443495394096 140444322859650 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33288192 140737357108375 140737357108551 140737357108551 140737357111247 0
Current children cumulated CPU time: 1.67 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 146332 KiB

[startup+1.50086 s]
/proc/loadavg: 2.09 1.82 1.70 6/217 13893
/proc/meminfo: memFree=25735320/32770624 swapFree=67108860/67108860
[pid=13877] ppid=13874 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/13877/stat : 13877 (xcsp3-exec) S 13874 13877 8036 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 155241623 9740288 346 33554432000 4194304 5098028 140730845070912 140730845069016 140361063350908 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 18997248 140730845078638 140730845078843 140730845078843 140730845081579 0
/proc/13877/statm: 2378 346 289 221 0 87 0

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

/proc/13879/task/13887/stat : 13887 (java) S 13877 13877 8036 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 15 0 155241626 14320615424 197414 33554432000 4194304 4196468 140737357106432 140443501708800 140444322858709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33288192 140737357108375 140737357108551 140737357108551 140737357111247 0
[pid=13879/tid=13888] ppid=13877 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/13879/task/13888/stat : 13888 (java) S 13877 13877 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155241628 14320615424 197414 33554432000 4194304 4196468 140737357106432 140443500657360 140444322867099 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33288192 140737357108375 140737357108551 140737357108551 140737357111247 0
[pid=13879/tid=13889] ppid=13877 vsize=13984976 memory=1384 CPUtime=4.58 cores=1,3,5,7
/proc/13879/task/13889/stat : 13889 (java) S 13877 13877 8036 0 -1 1077944384 34531 0 0 0 455 3 0 0 20 0 15 0 155241628 14320615424 197414 33554432000 4194304 4196468 140737357106432 140443499603952 140444322859650 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33288192 140737357108375 140737357108551 140737357108551 140737357111247 0
[pid=13879/tid=13890] ppid=13877 vsize=13984976 memory=1384 CPUtime=4.42 cores=1,3,5,7
/proc/13879/task/13890/stat : 13890 (java) S 13877 13877 8036 0 -1 1077944384 33295 0 0 0 438 4 0 0 20 0 15 0 155241628 14320615424 197414 33554432000 4194304 4196468 140737357106432 140443498551408 140444322859650 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33288192 140737357108375 140737357108551 140737357108551 140737357111247 0
[pid=13879/tid=13891] ppid=13877 vsize=13984976 memory=2792 CPUtime=0.88 cores=1,3,5,7
/proc/13879/task/13891/stat : 13891 (java) S 13877 13877 8036 0 -1 1077944384 14361 0 0 0 86 2 0 0 20 0 15 0 155241628 14320615424 197414 33554432000 4194304 4196468 140737357106432 140443497498864 140444322859650 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33288192 140737357108375 140737357108551 140737357108551 140737357111247 0
[pid=13879/tid=13892] ppid=13877 vsize=13984976 memory=4108 CPUtime=0 cores=1,3,5,7
/proc/13879/task/13892/stat : 13892 (java) S 13877 13877 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155241629 14320615424 197414 33554432000 4194304 4196468 140737357106432 140443496446560 140444322858709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33288192 140737357108375 140737357108551 140737357108551 140737357111247 0
[pid=13879/tid=13893] ppid=13877 vsize=13984976 memory=1384 CPUtime=0.69 cores=1,3,5,7
/proc/13879/task/13893/stat : 13893 (java) S 13877 13877 8036 0 -1 1077944384 1123 0 0 0 31 38 0 0 20 0 15 0 155241629 14320615424 197414 33554432000 4194304 4196468 140737357106432 140443495394096 140444322859650 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33288192 140737357108375 140737357108551 140737357108551 140737357111247 0
Current children cumulated CPU time: 2422.48 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 791040 KiB

[startup+2442.3 s]
/proc/loadavg: 1.94 1.80 1.72 3/217 14046
/proc/meminfo: memFree=21682080/32770624 swapFree=67108860/67108860
[pid=13877] ppid=13874 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/13877/stat : 13877 (xcsp3-exec) S 13874 13877 8036 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 155241623 9740288 346 33554432000 4194304 5098028 140730845070912 140730845069016 140361063350908 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 18997248 140730845078638 140730845078843 140730845078843 140730845081579 0
/proc/13877/statm: 2378 346 289 221 0 87 0
[pid=13879] ppid=13877 vsize=13984976 memory=766052 CPUtime=2483.19 cores=1,3,5,7
/proc/13879/stat : 13879 (java) S 13877 13877 8036 0 -1 1077944320 202565 0 0 0 248105 214 0 0 20 0 15 0 155241623 14320615424 191513 33554432000 4194304 4196468 140737357106432 140737357088976 140444322848503 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 33288192 140737357108375 140737357108551 140737357108551 140737357111247 0
/proc/13879/statm: 3496244 191513 3281 1 0 3483478 0
[pid=13879/tid=13880] ppid=13877 vsize=13984976 memory=766052 CPUtime=2431.02 cores=1,3,5,7
/proc/13879/task/13880/stat : 13880 (java) R 13877 13877 8036 0 -1 4202560 48320 0 0 0 243087 15 0 0 20 0 15 0 155241623 14320615424 191513 33554432000 4194304 4196468 140737357106432 140444327088048 140443965298491 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33288192 140737357108375 140737357108551 140737357108551 140737357111247 0
[pid=13879/tid=13881] ppid=13877 vsize=13984976 memory=766052 CPUtime=10.23 cores=1,3,5,7
/proc/13879/task/13881/stat : 13881 (java) S 13877 13877 8036 0 -1 1077944384 10319 0 0 0 988 35 0 0 20 0 15 0 155241624 14320615424 191513 33554432000 4194304 4196468 140737357106432 140443918465296 140444322858709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33288192 140737357108375 140737357108551 140737357108551 140737357111247 0
[pid=13879/tid=13882] ppid=13877 vsize=13984976 memory=766052 CPUtime=10.2 cores=1,3,5,7
/proc/13879/task/13882/stat : 13882 (java) S 13877 13877 8036 0 -1 1077944384 9291 0 0 0 983 37 0 0 20 0 15 0 155241624 14320615424 191513 33554432000 4194304 4196468 140737357106432 140443917412752 140444322858709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33288192 140737357108375 140737357108551 140737357108551 140737357111247 0
[pid=13879/tid=13883] ppid=13877 vsize=13984976 memory=766052 CPUtime=10.2 cores=1,3,5,7
/proc/13879/task/13883/stat : 13883 (java) S 13877 13877 8036 0 -1 1077944384 10025 0 0 0 984 36 0 0 20 0 15 0 155241624 14320615424 191513 33554432000 4194304 4196468 140737357106432 140443916360208 140444322858709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33288192 140737357108375 140737357108551 140737357108551 140737357111247 0
[pid=13879/tid=13884] ppid=13877 vsize=13984976 memory=766052 CPUtime=10.2 cores=1,3,5,7
/proc/13879/task/13884/stat : 13884 (java) S 13877 13877 8036 0 -1 1077944384 9741 0 0 0 985 35 0 0 20 0 15 0 155241624 14320615424 191513 33554432000 4194304 4196468 140737357106432 140443915307664 140444322858709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33288192 140737357108375 140737357108551 140737357108551 140737357111247 0
[pid=13879/tid=13885] ppid=13877 vsize=13984976 memory=1384 CPUtime=0.63 cores=1,3,5,7
/proc/13879/task/13885/stat : 13885 (java) S 13877 13877 8036 0 -1 1077944384 30152 0 0 0 53 10 0 0 20 0 15 0 155241625 14320615424 191513 33554432000 4194304 4196468 140737357106432 140443503815152 140444322859650 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33288192 140737357108375 140737357108551 140737357108551 140737357111247 0
[pid=13879/tid=13886] ppid=13877 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/13879/task/13886/stat : 13886 (java) S 13877 13877 8036 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 155241626 14320615424 191513 33554432000 4194304 4196468 140737357106432 140443502761440 140444322858709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33288192 140737357108375 140737357108551 140737357108551 140737357111247 0
[pid=13879/tid=13887] ppid=13877 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/13879/task/13887/stat : 13887 (java) S 13877 13877 8036 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 15 0 155241626 14320615424 191513 33554432000 4194304 4196468 140737357106432 140443501708800 140444322858709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33288192 140737357108375 140737357108551 140737357108551 140737357111247 0
[pid=13879/tid=13888] ppid=13877 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/13879/task/13888/stat : 13888 (java) S 13877 13877 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155241628 14320615424 191513 33554432000 4194304 4196468 140737357106432 140443500657360 140444322867099 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33288192 140737357108375 140737357108551 140737357108551 140737357111247 0
[pid=13879/tid=13889] ppid=13877 vsize=13984976 memory=1384 CPUtime=4.58 cores=1,3,5,7
/proc/13879/task/13889/stat : 13889 (java) S 13877 13877 8036 0 -1 1077944384 34533 0 0 0 455 3 0 0 20 0 15 0 155241628 14320615424 191513 33554432000 4194304 4196468 140737357106432 140443499603952 140444322859650 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33288192 140737357108375 140737357108551 140737357108551 140737357111247 0
[pid=13879/tid=13890] ppid=13877 vsize=13984976 memory=1384 CPUtime=4.42 cores=1,3,5,7
/proc/13879/task/13890/stat : 13890 (java) S 13877 13877 8036 0 -1 1077944384 33298 0 0 0 438 4 0 0 20 0 15 0 155241628 14320615424 191513 33554432000 4194304 4196468 140737357106432 140443498551408 140444322859650 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33288192 140737357108375 140737357108551 140737357108551 140737357111247 0
[pid=13879/tid=13891] ppid=13877 vsize=13984976 memory=1384 CPUtime=0.88 cores=1,3,5,7
/proc/13879/task/13891/stat : 13891 (java) S 13877 13877 8036 0 -1 1077944384 14363 0 0 0 86 2 0 0 20 0 15 0 155241628 14320615424 191513 33554432000 4194304 4196468 140737357106432 140443497498864 140444322859650 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33288192 140737357108375 140737357108551 140737357108551 140737357111247 0
[pid=13879/tid=13892] ppid=13877 vsize=13984976 memory=766052 CPUtime=0 cores=1,3,5,7
/proc/13879/task/13892/stat : 13892 (java) S 13877 13877 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155241629 14320615424 191513 33554432000 4194304 4196468 140737357106432 140443496446560 140444322858709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33288192 140737357108375 140737357108551 140737357108551 140737357111247 0
[pid=13879/tid=13893] ppid=13877 vsize=13984976 memory=4100 CPUtime=0.71 cores=1,3,5,7
/proc/13879/task/13893/stat : 13893 (java) S 13877 13877 8036 0 -1 1077944384 1144 0 0 0 32 39 0 0 20 0 15 0 155241629 14320615424 191513 33554432000 4194304 4196468 140737357106432 140443495394096 140444322859650 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33288192 140737357108375 140737357108551 140737357108551 140737357111247 0
Current children cumulated CPU time: 2483.19 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 767436 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2478.7 s]
/proc/loadavg: 1.91 1.80 1.72 3/217 14047
/proc/meminfo: memFree=21671268/32770624 swapFree=67108860/67108860
[pid=13877] ppid=13874 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/13877/stat : 13877 (xcsp3-exec) S 13874 13877 8036 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 155241623 9740288 346 33554432000 4194304 5098028 140730845070912 140730845069016 140361063350908 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 18997248 140730845078638 140730845078843 140730845078843 140730845081579 0
/proc/13877/statm: 2378 346 289 221 0 87 0
[pid=13879] ppid=13877 vsize=13984976 memory=777364 CPUtime=2520.01 cores=1,3,5,7
/proc/13879/stat : 13879 (java) S 13877 13877 8036 0 -1 1077944320 204508 0 0 0 251785 216 0 0 20 0 15 0 155241623 14320615424 194341 33554432000 4194304 4196468 140737357106432 140737357088976 140444322848503 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 33288192 140737357108375 140737357108551 140737357108551 140737357111247 0
/proc/13879/statm: 3496244 194341 3281 1 0 3483478 0
[pid=13879/tid=13880] ppid=13877 vsize=13984976 memory=1384 CPUtime=2467.27 cores=1,3,5,7
/proc/13879/task/13880/stat : 13880 (java) R 13877 13877 8036 0 -1 4202560 48503 0 0 0 246712 15 0 0 20 0 15 0 155241623 14320615424 194341 33554432000 4194304 4196468 140737357106432 140444327087920 140443965506995 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33288192 140737357108375 140737357108551 140737357108551 140737357111247 0
[pid=13879/tid=13881] ppid=13877 vsize=13984976 memory=777364 CPUtime=10.38 cores=1,3,5,7
/proc/13879/task/13881/stat : 13881 (java) S 13877 13877 8036 0 -1 1077944384 10672 0 0 0 1002 36 0 0 20 0 15 0 155241624 14320615424 194341 33554432000 4194304 4196468 140737357106432 140443918465296 140444322858709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33288192 140737357108375 140737357108551 140737357108551 140737357111247 0
[pid=13879/tid=13882] ppid=13877 vsize=13984976 memory=776908 CPUtime=10.34 cores=1,3,5,7
/proc/13879/task/13882/stat : 13882 (java) S 13877 13877 8036 0 -1 1077944384 9636 0 0 0 997 37 0 0 20 0 15 0 155241624 14320615424 194341 33554432000 4194304 4196468 140737357106432 140443917412752 140444322858709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33288192 140737357108375 140737357108551 140737357108551 140737357111247 0
[pid=13879/tid=13883] ppid=13877 vsize=13984976 memory=776924 CPUtime=10.35 cores=1,3,5,7
/proc/13879/task/13883/stat : 13883 (java) S 13877 13877 8036 0 -1 1077944384 10591 0 0 0 998 37 0 0 20 0 15 0 155241624 14320615424 194341 33554432000 4194304 4196468 140737357106432 140443916360208 140444322858709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33288192 140737357108375 140737357108551 140737357108551 140737357111247 0
[pid=13879/tid=13884] ppid=13877 vsize=13984976 memory=776924 CPUtime=10.34 cores=1,3,5,7
/proc/13879/task/13884/stat : 13884 (java) S 13877 13877 8036 0 -1 1077944384 10076 0 0 0 998 36 0 0 20 0 15 0 155241624 14320615424 194341 33554432000 4194304 4196468 140737357106432 140443915307664 140444322858709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33288192 140737357108375 140737357108551 140737357108551 140737357111247 0
[pid=13879/tid=13885] ppid=13877 vsize=13984976 memory=777364 CPUtime=0.63 cores=1,3,5,7
/proc/13879/task/13885/stat : 13885 (java) S 13877 13877 8036 0 -1 1077944384 30303 0 0 0 53 10 0 0 20 0 15 0 155241625 14320615424 194341 33554432000 4194304 4196468 140737357106432 140443503815152 140444322859650 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33288192 140737357108375 140737357108551 140737357108551 140737357111247 0
[pid=13879/tid=13886] ppid=13877 vsize=13984976 memory=777364 CPUtime=0 cores=1,3,5,7
/proc/13879/task/13886/stat : 13886 (java) S 13877 13877 8036 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 155241626 14320615424 194341 33554432000 4194304 4196468 140737357106432 140443502761440 140444322858709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33288192 140737357108375 140737357108551 140737357108551 140737357111247 0
[pid=13879/tid=13887] ppid=13877 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/13879/task/13887/stat : 13887 (java) S 13877 13877 8036 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 15 0 155241626 14320615424 194341 33554432000 4194304 4196468 140737357106432 140443501708800 140444322858709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33288192 140737357108375 140737357108551 140737357108551 140737357111247 0
[pid=13879/tid=13888] ppid=13877 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/13879/task/13888/stat : 13888 (java) S 13877 13877 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155241628 14320615424 194341 33554432000 4194304 4196468 140737357106432 140443500657360 140444322867099 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33288192 140737357108375 140737357108551 140737357108551 140737357111247 0
[pid=13879/tid=13889] ppid=13877 vsize=13984976 memory=1440 CPUtime=4.58 cores=1,3,5,7
/proc/13879/task/13889/stat : 13889 (java) S 13877 13877 8036 0 -1 1077944384 34535 0 0 0 455 3 0 0 20 0 15 0 155241628 14320615424 194341 33554432000 4194304 4196468 140737357106432 140443499603952 140444322859650 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33288192 140737357108375 140737357108551 140737357108551 140737357111247 0
[pid=13879/tid=13890] ppid=13877 vsize=13984976 memory=1384 CPUtime=4.42 cores=1,3,5,7
/proc/13879/task/13890/stat : 13890 (java) S 13877 13877 8036 0 -1 1077944384 33300 0 0 0 438 4 0 0 20 0 15 0 155241628 14320615424 194341 33554432000 4194304 4196468 140737357106432 140443498551408 140444322859650 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33288192 140737357108375 140737357108551 140737357108551 140737357111247 0
[pid=13879/tid=13891] ppid=13877 vsize=13984976 memory=777364 CPUtime=0.88 cores=1,3,5,7
/proc/13879/task/13891/stat : 13891 (java) S 13877 13877 8036 0 -1 1077944384 14365 0 0 0 86 2 0 0 20 0 15 0 155241628 14320615424 194341 33554432000 4194304 4196468 140737357106432 140443497498864 140444322859650 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33288192 140737357108375 140737357108551 140737357108551 140737357111247 0
[pid=13879/tid=13892] ppid=13877 vsize=13984976 memory=281328278340480 CPUtime=0 cores=1,3,5,7
/proc/13879/task/13892/stat : 13892 (java) S 13877 13877 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155241629 14320615424 194341 33554432000 4194304 4196468 140737357106432 140443496446560 140444322858709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33288192 140737357108375 140737357108551 140737357108551 140737357111247 0
[pid=13879/tid=13893] ppid=13877 vsize=13984976 memory=1384 CPUtime=0.72 cores=1,3,5,7
/proc/13879/task/13893/stat : 13893 (java) S 13877 13877 8036 0 -1 1077944384 1148 0 0 0 32 40 0 0 20 0 15 0 155241629 14320615424 194341 33554432000 4194304 4196468 140737357106432 140443495394096 140444322859650 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33288192 140737357108375 140737357108551 140737357108551 140737357111247 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 778748 KiB

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

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

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

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

[startup+2478.7 s]
/proc/loadavg: 1.91 1.80 1.72 3/217 14047
/proc/meminfo: memFree=21671268/32770624 swapFree=67108860/67108860
[pid=13877] ppid=13874 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/13877/stat : 13877 (xcsp3-exec) S 13874 13877 8036 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 155241623 9740288 346 33554432000 4194304 5098028 140730845070912 140730845069016 140361063350908 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 18997248 140730845078638 140730845078843 140730845078843 140730845081579 0
/proc/13877/statm: 2378 346 289 221 0 87 0
[pid=13879] ppid=13877 vsize=13984976 memory=777364 CPUtime=2520.01 cores=1,3,5,7
/proc/13879/stat : 13879 (java) S 13877 13877 8036 0 -1 1077944320 204508 0 0 0 251785 216 0 0 20 0 15 0 155241623 14320615424 194341 33554432000 4194304 4196468 140737357106432 140737357088976 140444322848503 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 33288192 140737357108375 140737357108551 140737357108551 140737357111247 0
/proc/13879/statm: 3496244 194341 3281 1 0 3483478 0
[pid=13879/tid=13880] ppid=13877 vsize=13984976 memory=1384 CPUtime=2467.27 cores=1,3,5,7
/proc/13879/task/13880/stat : 13880 (java) R 13877 13877 8036 0 -1 4202560 48503 0 0 0 246712 15 0 0 20 0 15 0 155241623 14320615424 194341 33554432000 4194304 4196468 140737357106432 140444327087920 140443965506995 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33288192 140737357108375 140737357108551 140737357108551 140737357111247 0
[pid=13879/tid=13881] ppid=13877 vsize=13984976 memory=777364 CPUtime=10.38 cores=1,3,5,7
/proc/13879/task/13881/stat : 13881 (java) S 13877 13877 8036 0 -1 1077944384 10672 0 0 0 1002 36 0 0 20 0 15 0 155241624 14320615424 194341 33554432000 4194304 4196468 140737357106432 140443918465296 140444322858709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33288192 140737357108375 140737357108551 140737357108551 140737357111247 0
[pid=13879/tid=13882] ppid=13877 vsize=13984976 memory=776908 CPUtime=10.34 cores=1,3,5,7
/proc/13879/task/13882/stat : 13882 (java) S 13877 13877 8036 0 -1 1077944384 9636 0 0 0 997 37 0 0 20 0 15 0 155241624 14320615424 194341 33554432000 4194304 4196468 140737357106432 140443917412752 140444322858709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33288192 140737357108375 140737357108551 140737357108551 140737357111247 0
[pid=13879/tid=13883] ppid=13877 vsize=13984976 memory=776924 CPUtime=10.35 cores=1,3,5,7
/proc/13879/task/13883/stat : 13883 (java) S 13877 13877 8036 0 -1 1077944384 10591 0 0 0 998 37 0 0 20 0 15 0 155241624 14320615424 194341 33554432000 4194304 4196468 140737357106432 140443916360208 140444322858709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33288192 140737357108375 140737357108551 140737357108551 140737357111247 0
[pid=13879/tid=13884] ppid=13877 vsize=13984976 memory=776924 CPUtime=10.34 cores=1,3,5,7
/proc/13879/task/13884/stat : 13884 (java) S 13877 13877 8036 0 -1 1077944384 10076 0 0 0 998 36 0 0 20 0 15 0 155241624 14320615424 194341 33554432000 4194304 4196468 140737357106432 140443915307664 140444322858709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33288192 140737357108375 140737357108551 140737357108551 140737357111247 0
[pid=13879/tid=13885] ppid=13877 vsize=13984976 memory=777364 CPUtime=0.63 cores=1,3,5,7
/proc/13879/task/13885/stat : 13885 (java) S 13877 13877 8036 0 -1 1077944384 30303 0 0 0 53 10 0 0 20 0 15 0 155241625 14320615424 194341 33554432000 4194304 4196468 140737357106432 140443503815152 140444322859650 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33288192 140737357108375 140737357108551 140737357108551 140737357111247 0
[pid=13879/tid=13886] ppid=13877 vsize=13984976 memory=777364 CPUtime=0 cores=1,3,5,7
/proc/13879/task/13886/stat : 13886 (java) S 13877 13877 8036 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 155241626 14320615424 194341 33554432000 4194304 4196468 140737357106432 140443502761440 140444322858709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33288192 140737357108375 140737357108551 140737357108551 140737357111247 0
[pid=13879/tid=13887] ppid=13877 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/13879/task/13887/stat : 13887 (java) S 13877 13877 8036 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 15 0 155241626 14320615424 194341 33554432000 4194304 4196468 140737357106432 140443501708800 140444322858709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33288192 140737357108375 140737357108551 140737357108551 140737357111247 0
[pid=13879/tid=13888] ppid=13877 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/13879/task/13888/stat : 13888 (java) S 13877 13877 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155241628 14320615424 194341 33554432000 4194304 4196468 140737357106432 140443500657360 140444322867099 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33288192 140737357108375 140737357108551 140737357108551 140737357111247 0
[pid=13879/tid=13889] ppid=13877 vsize=13984976 memory=1440 CPUtime=4.58 cores=1,3,5,7
/proc/13879/task/13889/stat : 13889 (java) S 13877 13877 8036 0 -1 1077944384 34535 0 0 0 455 3 0 0 20 0 15 0 155241628 14320615424 194341 33554432000 4194304 4196468 140737357106432 140443499603952 140444322859650 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33288192 140737357108375 140737357108551 140737357108551 140737357111247 0
[pid=13879/tid=13890] ppid=13877 vsize=13984976 memory=1384 CPUtime=4.42 cores=1,3,5,7
/proc/13879/task/13890/stat : 13890 (java) S 13877 13877 8036 0 -1 1077944384 33300 0 0 0 438 4 0 0 20 0 15 0 155241628 14320615424 194341 33554432000 4194304 4196468 140737357106432 140443498551408 140444322859650 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33288192 140737357108375 140737357108551 140737357108551 140737357111247 0
[pid=13879/tid=13891] ppid=13877 vsize=13984976 memory=777364 CPUtime=0.88 cores=1,3,5,7
/proc/13879/task/13891/stat : 13891 (java) S 13877 13877 8036 0 -1 1077944384 14365 0 0 0 86 2 0 0 20 0 15 0 155241628 14320615424 194341 33554432000 4194304 4196468 140737357106432 140443497498864 140444322859650 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33288192 140737357108375 140737357108551 140737357108551 140737357111247 0
[pid=13879/tid=13892] ppid=13877 vsize=13984976 memory=281328278340480 CPUtime=0 cores=1,3,5,7
/proc/13879/task/13892/stat : 13892 (java) S 13877 13877 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155241629 14320615424 194341 33554432000 4194304 4196468 140737357106432 140443496446560 140444322858709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33288192 140737357108375 140737357108551 140737357108551 140737357111247 0
[pid=13879/tid=13893] ppid=13877 vsize=13984976 memory=1384 CPUtime=0.72 cores=1,3,5,7
/proc/13879/task/13893/stat : 13893 (java) S 13877 13877 8036 0 -1 1077944384 1148 0 0 0 32 40 0 0 20 0 15 0 155241629 14320615424 194341 33554432000 4194304 4196468 140737357106432 140443495394096 140444322859650 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33288192 140737357108375 140737357108551 140737357108551 140737357111247 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 778748 KiB

Child status: 143
Real time (s): 2478.71
CPU time (s): 2520.04
CPU user time (s): 2517.87
CPU system time (s): 2.17212
CPU usage (%): 101.667
Max. virtual memory (cumulated for all children) (KiB): 13996548
Max. memory (cumulated for all children) (KiB): 957000

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.87
system time used= 2.17212
maximum resident set size= 955804
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 205270
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2888
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 63362
involuntary context switches= 1869


# summary of solver processes directly reported to runsolver:
#   pid: 13877,13879
#   total CPU time (s): 2520.04
#   total CPU user time (s): 2517.87
#   total CPU system time (s): 2.17212

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.2612 second user time and 23.8272 second system time

The end

Launcher Data 

Begin job on node113 at 2017-08-20 11:18:01
IDJOB=4283282
IDBENCH=138319
IDSOLVER=2679
FILE ID=node113/4283282-1503221542
RUNJOBID= node113-1503215438-13002
PBS_JOBID= 20630874
Free space on /tmp= 61588 MiB

SOLVER NAME= choco-solver 5a
BENCH NAME= XCSP17/Fastfood/Fastfood-m1-s1/Fastfood-ff57.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-4283282-1503221542/watcher-4283282-1503221542 -o /tmp/evaluation-result-4283282-1503221542/solver-4283282-1503221542 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node113-1503215438-13002 --watchdog 2580  ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1141298161 HOME/instance-4283282-1503221542.xml

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

MD5SUM BENCH= 9601f9fdcfec45ff7e2268abb15a55d6
RANDOM SEED=1141298161

node113.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.89
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        25884904 kB
MemAvailable:   31259436 kB
Buffers:          259180 kB
Cached:          5404712 kB
SwapCached:            0 kB
Active:          2025068 kB
Inactive:        4404052 kB
Active(anon):     715356 kB
Inactive(anon):    85940 kB
Active(file):    1309712 kB
Inactive(file):  4318112 kB
Unevictable:        7460 kB
Mlocked:            7460 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7808 kB
Writeback:             4 kB
AnonPages:        774504 kB
Mapped:            64092 kB
Shmem:             33416 kB
Slab:             152752 kB
SReclaimable:     125084 kB
SUnreclaim:        27668 kB
KernelStack:        3536 kB
PageTables:         6680 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1491740 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    653312 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116096 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 61580 MiB
End job on node113 at 2017-08-20 11:59:20