Trace number 4283409

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)3524895 2520.0601 2392.9399

General information on the benchmark

NameQuadraticAssignment/QuadraticAssignment-m1-s1/
QuadraticAssignment-bur26g.xml
MD5SUMe15ea9448d462545754e2532d86d3e94
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark3138098
Best CPU time to get the best result obtained on this benchmark2400.12
Satisfiable
(Un)Satisfiability was proved
Number of variables702
Number of constraints326
Number of domains2
Minimum domain size26
Maximum domain size280
Distribution of domain sizes[{"size":26,"count":26},{"size":280,"count":325}]
Minimum variable degree0
Maximum variable degree26
Distribution of variable degrees[{"degree":0,"count":351},{"degree":2,"count":325},{"degree":26,"count":26}]
Minimum constraint arity3
Maximum constraint arity26
Distribution of constraint arities[{"arity":3,"count":325},{"arity":26,"count":1}]
Number of extensional constraints325
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":325},{"type":"allDifferent","count":1}]
Optimization problemYES
Type of objectivemin SUM

Quality of the solution as a function of time


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

Solver Data 

0.00/0.08	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4283409-1503191042.xml"  -tl '2520s' -p 1 -x 3
0.10/0.27	c [HOME/instance-4283409-1503191042.xml, -tl, 2520s, -p, 1, -x, 3]
0.29/0.33	c simple solver
0.29/0.39	c parse instance...
1.50/0.81	c solve instance...
5.50/3.05	o 4930481 
6.47/3.38	o 4861612 
8.26/3.94	o 4838447 
9.01/4.28	o 4838162 
15.81/8.30	o 4837770 
18.56/10.87	o 4768858 
18.56/10.88	o 4573826 
18.69/10.91	o 4566164 
18.69/10.92	o 4374366 
18.69/10.95	o 4267776 
19.18/11.24	o 4252484 
19.69/11.73	o 4184941 
20.15/11.91	o 4166386 
20.86/12.41	o 4116361 
62.40/50.04	o 4063492 
62.40/50.08	o 3772520 
62.59/50.25	o 3732138 
62.59/50.27	o 3675732 
68.44/55.44	o 3543976 
69.84/56.86	o 3524895 
2520.01/2392.90	s SATISFIABLE
2520.01/2392.90	v <instantiation>
2520.01/2392.90	v 	<list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] d[0][1] d[0][2] d[0][3] d[0][4] d[0][5] d[0][6] d[0][7] d[0][8] d[0][9] d[0][10] d[0][11] d[0][12] d[0][13] d[0][14] d[0][15] d[0][16] d[0][17] d[0][18] d[0][19] d[0][20] d[0][21] d[0][22] d[0][23] d[0][24] d[0][25] d[1][2] d[1][3] d[1][4] d[1][5] d[1][6] d[1][7] d[1][8] d[1][9] d[1][10] d[1][11] d[1][12] d[1][13] d[1][14] d[1][15] d[1][16] d[1][17] d[1][18] d[1][19] d[1][20] d[1][21] d[1][22] d[1][23] d[1][24] d[1][25] d[2][3] d[2][4] d[2][5] d[2][6] d[2][7] d[2][8] d[2][9] d[2][10] d[2][11] d[2][12] d[2][13] d[2][14] d[2][15] d[2][16] d[2][17] d[2][18] d[2][19] d[2][20] d[2][21] d[2][22] d[2][23] d[2][24] d[2][25] d[3][4] d[3][5] d[3][6] d[3][7] d[3][8] d[3][9] d[3][10] d[3][11] d[3][12] d[3][13] d[3][14] d[3][15] d[3][16] d[3][17] d[3][18] d[3][19] d[3][20] d[3][21] d[3][22] d[3][23] d[3][24] d[3][25] d[4][5] d[4][6] d[4][7] d[4][8] d[4][9] d[4][10] d[4][11] d[4][12] d[4][13] d[4][14] d[4][15] d[4][16] d[4][17] d[4][18] d[4][19] d[4][20] d[4][21] d[4][22] d[4][23] d[4][24] d[4][25] d[5][6] d[5][7] d[5][8] d[5][9] d[5][10] d[5][11] d[5][12] d[5][13] d[5][14] d[5][15] d[5][16] d[5][17] d[5][18] d[5][19] d[5][20] d[5][21] d[5][22] d[5][23] d[5][24] d[5][25] d[6][7] d[6][8] d[6][9] d[6][10] d[6][11] d[6][12] d[6][13] d[6][14] d[6][15] d[6][16] d[6][17] d[6][18] d[6][19] d[6][20] d[6][21] d[6][22] d[6][23] d[6][24] d[6][25] d[7][8] d[7][9] d[7][10] d[7][11] d[7][12] d[7][13] d[7][14] d[7][15] d[7][16] d[7][17] d[7][18] d[7][19] d[7][20] d[7][21] d[7][22] d[7][23] d[7][24] d[7][25] d[8][9] d[8][10] d[8][11] d[8][12] d[8][13] d[8][14] d[8][15] d[8][16] d[8][17] d[8][18] d[8][19] d[8][20] d[8][21] d[8][22] d[8][23] d[8][24] d[8][25] d[9][10] d[9][11] d[9][12] d[9][13] d[9][14] d[9][15] d[9][16] d[9][17] d[9][18] d[9][19] d[9][20] d[9][21] d[9][22] d[9][23] d[9][24] d[9][25] d[10][11] d[10][12] d[10][13] d[10][14] d[10][15] d[10][16] d[10][17] d[10][18] d[10][19] d[10][20] d[10][21] d[10][22] d[10][23] d[10][24] d[10][25] d[11][12] d[11][13] d[11][14] d[11][15] d[11][16] d[11][17] d[11][18] d[11][19] d[11][20] d[11][21] d[11][22] d[11][23] d[11][24] d[11][25] d[12][13] d[12][14] d[12][15] d[12][16] d[12][17] d[12][18] d[12][19] d[12][20] d[12][21] d[12][22] d[12][23] d[12][24] d[12][25] d[13][14] d[13][15] d[13][16] d[13][17] d[13][18] d[13][19] d[13][20] d[13][21] d[13][22] d[13][23] d[13][24] d[13][25] d[14][15] d[14][16] d[14][17] d[14][18] d[14][19] d[14][20] d[14][21] d[14][22] d[14][23] d[14][24] d[14][25] d[15][16] d[15][17] d[15][18] d[15][19] d[15][20] d[15][21] d[15][22] d[15][23] d[15][24] d[15][25] d[16][17] d[16][18] d[16][19] d[16][20] d[16][21] d[16][22] d[16][23] d[16][24] d[16][25] d[17][18] d[17][19] d[17][20] d[17][21] d[17][22] d[17][23] d[17][24] d[17][25] d[18][19] d[18][20] d[18][21] d[18][22] d[18][23] d[18][24] d[18][25] d[19][20] d[19][21] d[19][22] d[19][23] d[19][24] d[19][25] d[20][21] d[20][22] d[20][23] d[20][24] d[20][25] d[21][22] d[21][23] d[21][24] d[21][25] d[22][23] d[22][24] d[22][25] d[23][24] d[23][25] d[24][25] </list>
2520.01/2392.90	v 	<values>2 5 19 18 13 0 23 17 4 20 8 11 15 7 12 6 14 21 10 25 3 1 22 16 24 9 1 200 5 2 83 0 36 166 61 148 23 3 2151 2 0 470 1 35 8 3 3 0 1 32 0 362 92 0 57 0 119 245 20 110 39 5 12 4 53 135 4 21 15 91 11 16 0 1 4 595 5 770 0 622 3844 280 1256 46 12 160 34 139 811 88 22 30 60 48 197 0 24 52 31 154 0 24 943 62 301 336 339 51 89 26 232 61 90 16 70 70 36 2 48 93 768 2 31 1012 154 1212 187 20 107 64 1949 533 131 318 140 2401 116 75 8 9 14 3 1977 5 163 94 1531 247 15 576 610 1 120 507 11 516 57 10 0 16 6 0 5 0 10 0 20 0 0 0 0 0 0 0 0 0 0 0 0 0 2129 340 1035 427 86 165 234 301 1095 187 476 167 1434 190 175 1 23 9 407 1061 2717 284 222 688 926 46 660 777 518 1114 331 266 11 21 9 977 228 14 8 80 69 0 11 136 25 224 83 350 0 10 1 375 75 1 118 896 142 88 355 33 735 21 0 10 0 0 43 22 69 177 448 28 169 4 512 23 12 0 15 34 33 13 55 334 30 3 17 11 13 6 0 4 11 8 0 623 3 0 7 1 3 0 0 5 1 17 481 16 3 13 109 55 4 0 2 0 134 19 4 3 216 17 5 0 10 2 454 270 35 239 62 74 0 5 5 0 0 7 1 0 0 1 10 7 3 35 85 0 2 21 0 0 81 0 0 0 28 30 1 1 16 0 0 2 2 0 2 40 0 0 1 </values>
2520.01/2392.90	v </instantiation>
2520.01/2392.90	c Unexpected resolution interruption!

Verifier Data 

OK	3524895

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4283409-1503191042/watcher-4283409-1503191042 -o /tmp/evaluation-result-4283409-1503191042/solver-4283409-1503191042 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node130-1503172050-30420 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 641548371 HOME/instance-4283409-1503191042.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
Current StackSize limit: 8192 KiB

solver pid=1404, runsolver pid=1401

[startup+0.100126 s]*
/proc/loadavg: 1.27 1.49 1.61 3/206 1411
/proc/meminfo: memFree=31489292/32770624 swapFree=67108860/67108860
[pid=1404] ppid=1401 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/1404/stat : 1404 (xcsp3-exec) S 1401 1404 15523 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 17512206 9740288 345 18446744073709551615 4194304 5098028 140724804728928 140724804727032 139779068781180 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 17174528 140724804731258 140724804731462 140724804731462 140724804734955 0
/proc/1404/statm: 2378 345 289 221 0 87 0
[pid=1406] ppid=1404 vsize=13358712 memory=16944 CPUtime=0.01 cores=1,3,5,7
/proc/1406/stat : 1406 (java) S 1404 1404 15523 0 -1 1077944320 3475 0 0 0 1 0 0 0 20 0 6 0 17512214 13679321088 4236 18446744073709551615 4194304 4196468 140728023953456 140728023936000 139883354320631 0 0 1 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24371200 140728023957938 140728023958114 140728023958114 140728023961551 0
/proc/1406/statm: 3339678 4236 1905 1 0 3329175 0
[pid=1406/tid=1407] ppid=1404 vsize=13374792 memory=-6739615476349292588 CPUtime=0.01 cores=1,3,5,7
/proc/1406/task/1407/stat : 1407 (java) R 1404 1404 15523 0 -1 4202560 2325 0 0 0 1 0 0 0 20 0 6 0 17512215 13695787008 4301 18446744073709551615 4194304 4196468 140728023953456 139883358556752 139883339833341 0 4 1 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24371200 140728023957938 140728023958114 140728023958114 140728023961551 0
[pid=1406/tid=1408] ppid=1404 vsize=13374792 memory=5118961333147690361 CPUtime=0 cores=1,3,5,7
/proc/1406/task/1408/stat : 1408 (java) S 1404 1404 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 17512215 13695787008 4301 18446744073709551615 4194304 4196468 140728023953456 139883273734544 139883354330837 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24371200 140728023957938 140728023958114 140728023958114 140728023961551 0
[pid=1406/tid=1409] ppid=1404 vsize=13374792 memory=140586732775040 CPUtime=0 cores=1,3,5,7
/proc/1406/task/1409/stat : 1409 (java) S 1404 1404 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 17512215 13695787008 4301 18446744073709551615 4194304 4196468 140728023953456 139883272681744 139883354330837 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24371200 140728023957938 140728023958114 140728023958114 140728023961551 0
[pid=1406/tid=1410] ppid=1404 vsize=13375820 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1406/task/1410/stat : 1410 (java) S 1404 1404 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 7 0 17512215 13696839680 4301 18446744073709551615 4194304 4196468 140728023953456 139883271629456 139883354330837 0 4 1 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24371200 140728023957938 140728023958114 140728023958114 140728023961551 0
[pid=1406/tid=1411] ppid=1404 vsize=13375820 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/1406/task/1411/stat : 1411 (java) S 1404 1404 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 7 0 17512215 13696839680 4301 18446744073709551615 4194304 4196468 140728023953456 139883270576656 139883354330837 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24371200 140728023957938 140728023958114 140728023958114 140728023961551 0
[pid=1406/tid=1412] ppid=1404 vsize=13441356 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1406/task/1412/stat : 1412 (java) S 1404 1404 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 7 0 17512217 13763948544 4301 18446744073709551615 4194304 4196468 140728023953456 139882832333424 139883354331778 0 0 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24371200 140728023957938 140728023958114 140728023958114 140728023961551 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 13368224 KiB
Current children cumulated memory: 18324 KiB

[startup+0.21024 s]*
/proc/loadavg: 1.27 1.49 1.61 5/215 1420
/proc/meminfo: memFree=31478760/32770624 swapFree=67108860/67108860
[pid=1404] ppid=1401 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/1404/stat : 1404 (xcsp3-exec) S 1401 1404 15523 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 17512206 9740288 345 18446744073709551615 4194304 5098028 140724804728928 140724804727032 139779068781180 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 17174528 140724804731258 140724804731462 140724804731462 140724804734955 0
/proc/1404/statm: 2378 345 289 221 0 87 0
[pid=1406] ppid=1404 vsize=13974352 memory=26688 CPUtime=0.1 cores=1,3,5,7
/proc/1406/stat : 1406 (java) S 1404 1404 15523 0 -1 1077944320 5115 0 0 0 9 1 0 0 20 0 15 0 17512214 14309736448 6672 18446744073709551615 4194304 4196468 140728023953456 140728023936000 139883354320631 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24371200 140728023957938 140728023958114 140728023958114 140728023961551 0
/proc/1406/statm: 3493588 6672 2752 1 0 3482964 0
[pid=1406/tid=1407] ppid=1404 vsize=13974352 memory=7311146985107750967 CPUtime=0.07 cores=1,3,5,7
/proc/1406/task/1407/stat : 1407 (java) R 1404 1404 15523 0 -1 4202560 3284 0 0 0 7 0 0 0 20 0 15 0 17512215 14309736448 6738 18446744073709551615 4194304 4196468 140728023953456 139883358542880 139883338660775 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 24371200 140728023957938 140728023958114 140728023958114 140728023961551 0
[pid=1406/tid=1408] ppid=1404 vsize=13974352 memory=8942 CPUtime=0 cores=1,3,5,7
/proc/1406/task/1408/stat : 1408 (java) S 1404 1404 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 17512215 14309736448 6738 18446744073709551615 4194304 4196468 140728023953456 139883273734544 139883354330837 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24371200 140728023957938 140728023958114 140728023958114 140728023961551 0
[pid=1406/tid=1409] ppid=1404 vsize=13974352 memory=288370962884486784 CPUtime=0 cores=1,3,5,7
/proc/1406/task/1409/stat : 1409 (java) S 1404 1404 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 17512215 14309736448 6738 18446744073709551615 4194304 4196468 140728023953456 139883272681744 139883354330837 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24371200 140728023957938 140728023958114 140728023958114 140728023961551 0
[pid=1406/tid=1410] ppid=1404 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1406/task/1410/stat : 1410 (java) S 1404 1404 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 17512215 14309736448 6738 18446744073709551615 4194304 4196468 140728023953456 139883271629456 139883354330837 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24371200 140728023957938 140728023958114 140728023958114 140728023961551 0
[pid=1406/tid=1411] ppid=1404 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1406/task/1411/stat : 1411 (java) S 1404 1404 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 17512215 14309736448 6738 18446744073709551615 4194304 4196468 140728023953456 139883270576656 139883354330837 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24371200 140728023957938 140728023958114 140728023958114 140728023961551 0
[pid=1406/tid=1412] ppid=1404 vsize=13974352 memory=140586732775040 CPUtime=0 cores=1,3,5,7
/proc/1406/task/1412/stat : 1412 (java) S 1404 1404 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 17512217 14309736448 6738 18446744073709551615 4194304 4196468 140728023953456 139882832333424 139883354331778 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24371200 140728023957938 140728023958114 140728023958114 140728023961551 0
[pid=1406/tid=1413] ppid=1404 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1406/task/1413/stat : 1413 (java) S 1404 1404 15523 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 17512217 14309736448 6738 18446744073709551615 4194304 4196468 140728023953456 139882831279392 139883354330837 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24371200 140728023957938 140728023958114 140728023958114 140728023961551 0
[pid=1406/tid=1414] ppid=1404 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1406/task/1414/stat : 1414 (java) S 1404 1404 15523 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 17512217 14309736448 6738 18446744073709551615 4194304 4196468 140728023953456 139882830227056 139883354330837 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24371200 140728023957938 140728023958114 140728023958114 140728023961551 0
[pid=1406/tid=1415] ppid=1404 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1406/task/1415/stat : 1415 (java) S 1404 1404 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 17512220 14309736448 6738 18446744073709551615 4194304 4196468 140728023953456 139882829175376 139883354339227 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24371200 140728023957938 140728023958114 140728023958114 140728023961551 0
[pid=1406/tid=1416] ppid=1404 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1406/task/1416/stat : 1416 (java) R 1404 1404 15523 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 15 0 17512220 14309736448 6738 18446744073709551615 4194304 4196468 140728023953456 139882828122224 139883354331778 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24371200 140728023957938 140728023958114 140728023958114 140728023961551 0
[pid=1406/tid=1417] ppid=1404 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1406/task/1417/stat : 1417 (java) S 1404 1404 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 17512220 14309736448 6738 18446744073709551615 4194304 4196468 140728023953456 139882827069424 139883354331778 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24371200 140728023957938 140728023958114 140728023958114 140728023961551 0
[pid=1406/tid=1418] ppid=1404 vsize=13974352 memory=140586732775040 CPUtime=0.01 cores=1,3,5,7
/proc/1406/task/1418/stat : 1418 (java) S 1404 1404 15523 0 -1 1077944384 248 0 0 0 1 0 0 0 20 0 15 0 17512220 14309736448 6738 18446744073709551615 4194304 4196468 140728023953456 139882826017136 139883354331778 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24371200 140728023957938 140728023958114 140728023958114 140728023961551 0
[pid=1406/tid=1419] ppid=1404 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1406/task/1419/stat : 1419 (java) S 1404 1404 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 17512220 14309736448 6738 18446744073709551615 4194304 4196468 140728023953456 139882824964576 139883354330837 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24371200 140728023957938 140728023958114 140728023958114 140728023961551 0
[pid=1406/tid=1420] ppid=1404 vsize=13974352 memory=140586732775040 CPUtime=0 cores=1,3,5,7
/proc/1406/task/1420/stat : 1420 (java) S 1404 1404 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 17512224 14309736448 6738 18446744073709551615 4194304 4196468 140728023953456 139882823912368 139883354331778 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24371200 140728023957938 140728023958114 140728023958114 140728023961551 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 28068 KiB

[startup+0.310548 s]*
/proc/loadavg: 1.27 1.49 1.61 5/215 1420
/proc/meminfo: memFree=31467480/32770624 swapFree=67108860/67108860
[pid=1404] ppid=1401 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/1404/stat : 1404 (xcsp3-exec) S 1401 1404 15523 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 17512206 9740288 345 18446744073709551615 4194304 5098028 140724804728928 140724804727032 139779068781180 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 17174528 140724804731258 140724804731462 140724804731462 140724804734955 0
/proc/1404/statm: 2378 345 289 221 0 87 0
[pid=1406] ppid=1404 vsize=13974352 memory=39440 CPUtime=0.29 cores=1,3,5,7
/proc/1406/stat : 1406 (java) S 1404 1404 15523 0 -1 1077944320 8931 0 0 0 27 2 0 0 20 0 15 0 17512214 14309736448 9860 18446744073709551615 4194304 4196468 140728023953456 140728023936000 139883354320631 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24371200 140728023957938 140728023958114 140728023958114 140728023961551 0
/proc/1406/statm: 3493588 9860 2994 1 0 3482964 0
[pid=1406/tid=1407] ppid=1404 vsize=13974352 memory=6933928925625698159 CPUtime=0.17 cores=1,3,5,7
/proc/1406/task/1407/stat : 1407 (java) R 1404 1404 15523 0 -1 4202560 6110 0 0 0 16 1 0 0 20 0 15 0 17512215 14309736448 9860 18446744073709551615 4194304 4196468 140728023953456 139883358556800 139883354342557 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 24371200 140728023957938 140728023958114 140728023958114 140728023961551 0
[pid=1406/tid=1408] ppid=1404 vsize=13974352 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/1406/task/1408/stat : 1408 (java) S 1404 1404 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 17512215 14309736448 9860 18446744073709551615 4194304 4196468 140728023953456 139883273734544 139883354330837 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24371200 140728023957938 140728023958114 140728023958114 140728023961551 0
[pid=1406/tid=1409] ppid=1404 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1406/task/1409/stat : 1409 (java) S 1404 1404 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 17512215 14309736448 9860 18446744073709551615 4194304 4196468 140728023953456 139883272681744 139883354330837 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24371200 140728023957938 140728023958114 140728023958114 140728023961551 0
[pid=1406/tid=1410] ppid=1404 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1406/task/1410/stat : 1410 (java) S 1404 1404 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 17512215 14309736448 9860 18446744073709551615 4194304 4196468 140728023953456 139883271629456 139883354330837 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24371200 140728023957938 140728023958114 140728023958114 140728023961551 0
[pid=1406/tid=1411] ppid=1404 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1406/task/1411/stat : 1411 (java) S 1404 1404 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 17512215 14309736448 9860 18446744073709551615 4194304 4196468 140728023953456 139883270576656 139883354330837 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24371200 140728023957938 140728023958114 140728023958114 140728023961551 0
[pid=1406/tid=1412] ppid=1404 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1406/task/1412/stat : 1412 (java) S 1404 1404 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 17512217 14309736448 9860 18446744073709551615 4194304 4196468 140728023953456 139882832333424 139883354331778 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24371200 140728023957938 140728023958114 140728023958114 140728023961551 0
[pid=1406/tid=1413] ppid=1404 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1406/task/1413/stat : 1413 (java) S 1404 1404 15523 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 17512217 14309736448 9860 18446744073709551615 4194304 4196468 140728023953456 139882831279392 139883354330837 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24371200 140728023957938 140728023958114 140728023958114 140728023961551 0
[pid=1406/tid=1414] ppid=1404 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1406/task/1414/stat : 1414 (java) S 1404 1404 15523 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 17512217 14309736448 9860 18446744073709551615 4194304 4196468 140728023953456 139882830227056 139883354330837 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24371200 140728023957938 140728023958114 140728023958114 140728023961551 0
[pid=1406/tid=1415] ppid=1404 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1406/task/1415/stat : 1415 (java) S 1404 1404 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 17512220 14309736448 9860 18446744073709551615 4194304 4196468 140728023953456 139882829175376 139883354339227 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24371200 140728023957938 140728023958114 140728023958114 140728023961551 0
[pid=1406/tid=1416] ppid=1404 vsize=13974352 memory=140586627926464 CPUtime=0.02 cores=1,3,5,7
/proc/1406/task/1416/stat : 1416 (java) S 1404 1404 15523 0 -1 1077944384 598 0 0 0 2 0 0 0 20 0 15 0 17512220 14309736448 9860 18446744073709551615 4194304 4196468 140728023953456 139882828122224 139883354331778 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24371200 140728023957938 140728023958114 140728023958114 140728023961551 0
[pid=1406/tid=1417] ppid=1404 vsize=13974352 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/1406/task/1417/stat : 1417 (java) R 1404 1404 15523 0 -1 4202560 188 0 0 0 2 0 0 0 20 0 15 0 17512220 14309736448 9860 18446744073709551615 4194304 4196468 140728023953456 139882827069424 139883335864348 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24371200 140728023957938 140728023958114 140728023958114 140728023961551 0
[pid=1406/tid=1418] ppid=1404 vsize=13974352 memory=140586732775040 CPUtime=0.06 cores=1,3,5,7
/proc/1406/task/1418/stat : 1418 (java) S 1404 1404 15523 0 -1 1077944384 781 0 0 0 6 0 0 0 20 0 15 0 17512220 14309736448 9860 18446744073709551615 4194304 4196468 140728023953456 139882826017136 139883354331778 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24371200 140728023957938 140728023958114 140728023958114 140728023961551 0
[pid=1406/tid=1419] ppid=1404 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1406/task/1419/stat : 1419 (java) S 1404 1404 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 17512220 14309736448 9860 18446744073709551615 4194304 4196468 140728023953456 139882824964576 139883354330837 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24371200 140728023957938 140728023958114 140728023958114 140728023961551 0
[pid=1406/tid=1420] ppid=1404 vsize=13974352 memory=140586732775040 CPUtime=0 cores=1,3,5,7
/proc/1406/task/1420/stat : 1420 (java) S 1404 1404 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 17512224 14309736448 9860 18446744073709551615 4194304 4196468 140728023953456 139882823912368 139883354331778 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24371200 140728023957938 140728023958114 140728023958114 140728023961551 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 40820 KiB

[startup+0.700792 s]
/proc/loadavg: 1.27 1.49 1.61 5/215 1420
/proc/meminfo: memFree=31457460/32770624 swapFree=67108860/67108860
[pid=1404] ppid=1401 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/1404/stat : 1404 (xcsp3-exec) S 1401 1404 15523 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 17512206 9740288 345 18446744073709551615 4194304 5098028 140724804728928 140724804727032 139779068781180 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 17174528 140724804731258 140724804731462 140724804731462 140724804734955 0
/proc/1404/statm: 2378 345 289 221 0 87 0
[pid=1406] ppid=1404 vsize=13980732 memory=64292 CPUtime=1.17 cores=1,3,5,7
/proc/1406/stat : 1406 (java) S 1404 1404 15523 0 -1 1077944320 12130 0 0 0 113 4 0 0 20 0 15 0 17512214 14316269568 16073 18446744073709551615 4194304 4196468 140728023953456 140728023936000 139883354320631 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24371200 140728023957938 140728023958114 140728023958114 140728023961551 0
/proc/1406/statm: 3495183 16073 3160 1 0 3483476 0
[pid=1406/tid=1407] ppid=1404 vsize=13980732 memory=2756 CPUtime=0.55 cores=1,3,5,7
/proc/1406/task/1407/stat : 1407 (java) R 1404 1404 15523 0 -1 4202560 8385 0 0 0 52 3 0 0 20 0 15 0 17512215 14316269568 16073 18446744073709551615 4194304 4196468 140728023953456 139883358554432 139883336783839 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 24371200 140728023957938 140728023958114 140728023958114 140728023961551 0
[pid=1406/tid=1408] ppid=1404 vsize=13980732 memory=6933928925625698159 CPUtime=0 cores=1,3,5,7
/proc/1406/task/1408/stat : 1408 (java) S 1404 1404 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 17512215 14316269568 16073 18446744073709551615 4194304 4196468 140728023953456 139883273734544 139883354330837 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24371200 140728023957938 140728023958114 140728023958114 140728023961551 0
[pid=1406/tid=1409] ppid=1404 vsize=13980732 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/1406/task/1409/stat : 1409 (java) S 1404 1404 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 17512215 14316269568 16073 18446744073709551615 4194304 4196468 140728023953456 139883272681744 139883354330837 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24371200 140728023957938 140728023958114 140728023958114 140728023961551 0
[pid=1406/tid=1410] ppid=1404 vsize=13980732 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/1406/task/1410/stat : 1410 (java) S 1404 1404 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 17512215 14316269568 16073 18446744073709551615 4194304 4196468 140728023953456 139883271629456 139883354330837 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24371200 140728023957938 140728023958114 140728023958114 140728023961551 0
[pid=1406/tid=1411] ppid=1404 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1406/task/1411/stat : 1411 (java) S 1404 1404 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 17512215 14316269568 16073 18446744073709551615 4194304 4196468 140728023953456 139883270576656 139883354330837 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24371200 140728023957938 140728023958114 140728023958114 140728023961551 0
[pid=1406/tid=1412] ppid=1404 vsize=13980732 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/1406/task/1412/stat : 1412 (java) S 1404 1404 15523 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 17512217 14316269568 16073 18446744073709551615 4194304 4196468 140728023953456 139882832333424 139883354331778 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24371200 140728023957938 140728023958114 140728023958114 140728023961551 0
[pid=1406/tid=1413] ppid=1404 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1406/task/1413/stat : 1413 (java) S 1404 1404 15523 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 17512217 14316269568 16073 18446744073709551615 4194304 4196468 140728023953456 139882831279392 139883354330837 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24371200 140728023957938 140728023958114 140728023958114 140728023961551 0
[pid=1406/tid=1414] ppid=1404 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1406/task/1414/stat : 1414 (java) S 1404 1404 15523 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 17512217 14316269568 16073 18446744073709551615 4194304 4196468 140728023953456 139882830227056 139883354330837 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24371200 140728023957938 140728023958114 140728023958114 140728023961551 0
[pid=1406/tid=1415] ppid=1404 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1406/task/1415/stat : 1415 (java) S 1404 1404 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 17512220 14316269568 16073 18446744073709551615 4194304 4196468 140728023953456 139882829175376 139883354339227 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24371200 140728023957938 140728023958114 140728023958114 140728023961551 0
[pid=1406/tid=1416] ppid=1404 vsize=13980732 memory=0 CPUtime=0.15 cores=1,3,5,7
/proc/1406/task/1416/stat : 1416 (java) R 1404 1404 15523 0 -1 4202560 767 0 0 0 15 0 0 0 20 0 15 0 17512220 14316269568 16073 18446744073709551615 4194304 4196468 140728023953456 139882828122224 139883333559089 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24371200 140728023957938 140728023958114 140728023958114 140728023961551 0
[pid=1406/tid=1417] ppid=1404 vsize=13980732 memory=0 CPUtime=0.15 cores=1,3,5,7
/proc/1406/task/1417/stat : 1417 (java) R 1404 1404 15523 0 -1 1077944384 376 0 0 0 15 0 0 0 20 0 15 0 17512220 14316269568 16073 18446744073709551615 4194304 4196468 140728023953456 139882827069424 139883354331778 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24371200 140728023957938 140728023958114 140728023958114 140728023961551 0
[pid=1406/tid=1418] ppid=1404 vsize=13980732 memory=0 CPUtime=0.29 cores=1,3,5,7
/proc/1406/task/1418/stat : 1418 (java) R 1404 1404 15523 0 -1 4202560 1294 0 0 0 29 0 0 0 20 0 15 0 17512220 14316269568 16073 18446744073709551615 4194304 4196468 140728023953456 139882826017136 139883354332566 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24371200 140728023957938 140728023958114 140728023958114 140728023961551 0
[pid=1406/tid=1419] ppid=1404 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1406/task/1419/stat : 1419 (java) S 1404 1404 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 17512220 14316269568 16073 18446744073709551615 4194304 4196468 140728023953456 139882824964576 139883354330837 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24371200 140728023957938 140728023958114 140728023958114 140728023961551 0
[pid=1406/tid=1420] ppid=1404 vsize=13980732 memory=6442213876356703838 CPUtime=0 cores=1,3,5,7
/proc/1406/task/1420/stat : 1420 (java) S 1404 1404 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 17512224 14316269568 16073 18446744073709551615 4194304 4196468 140728023953456 139882823912368 139883354331778 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24371200 140728023957938 140728023958114 140728023958114 140728023961551 0
Current children cumulated CPU time: 1.17 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 65672 KiB

[startup+1.50075 s]
/proc/loadavg: 1.27 1.49 1.61 5/215 1420
/proc/meminfo: memFree=31423072/32770624 swapFree=67108860/67108860
[pid=1404] ppid=1401 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/1404/stat : 1404 (xcsp3-exec) S 1401 1404 15523 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 17512206 9740288 345 18446744073709551615 4194304 5098028 140724804728928 140724804727032 139779068781180 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 17174528 140724804731258 140724804731462 140724804731462 140724804734955 0
/proc/1404/statm: 2378 345 289 221 0 87 0
[pid=1406] ppid=1404 vsize=13980732 memory=91784 CPUtime=3.11 cores=1,3,5,7
/proc/1406/stat : 1406 (java) S 1404 1404 15523 0 -1 1077944320 18457 0 0 0 306 5 0 0 20 0 15 0 17512214 14316269568 22946 18446744073709551615 4194304 4196468 140728023953456 140728023936000 139883354320631 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24371200 140728023957938 140728023958114 140728023958114 140728023961551 0
/proc/1406/statm: 3495183 22946 3191 1 0 3483476 0
[pid=1406/tid=1407] ppid=1404 vsize=13980732 memory=7680170660397595203 CPUtime=1.35 cores=1,3,5,7
/proc/1406/task/1407/stat : 1407 (java) R 1404 1404 15523 0 -1 4202560 9145 0 0 0 132 3 0 0 20 0 15 0 17512215 14316269568 22946 18446744073709551615 4194304 4196468 140728023953456 139883358555072 139882945897289 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 24371200 140728023957938 140728023958114 140728023958114 140728023961551 0
[pid=1406/tid=1408] ppid=1404 vsize=13980732 memory=7955159511413908800 CPUtime=0 cores=1,3,5,7
/proc/1406/task/1408/stat : 1408 (java) S 1404 1404 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 17512215 14316269568 22946 18446744073709551615 4194304 4196468 140728023953456 139883273734544 139883354330837 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24371200 140728023957938 140728023958114 140728023958114 140728023961551 0
[pid=1406/tid=1409] ppid=1404 vsize=13980732 memory=7956567955458969961 CPUtime=0 cores=1,3,5,7
/proc/1406/task/1409/stat : 1409 (java) S 1404 1404 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 17512215 14316269568 22946 18446744073709551615 4194304 4196468 140728023953456 139883272681744 139883354330837 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24371200 140728023957938 140728023958114 140728023958114 140728023961551 0
[pid=1406/tid=1410] ppid=1404 vsize=13980732 memory=7165623305143214419 CPUtime=0 cores=1,3,5,7
/proc/1406/task/1410/stat : 1410 (java) S 1404 1404 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 17512215 14316269568 22946 18446744073709551615 4194304 4196468 140728023953456 139883271629456 139883354330837 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24371200 140728023957938 140728023958114 140728023958114 140728023961551 0
[pid=1406/tid=1411] ppid=1404 vsize=13980732 memory=7013343152680227946 CPUtime=0 cores=1,3,5,7
/proc/1406/task/1411/stat : 1411 (java) S 1404 1404 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 17512215 14316269568 22946 18446744073709551615 4194304 4196468 140728023953456 139883270576656 139883354330837 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24371200 140728023957938 140728023958114 140728023958114 140728023961551 0
[pid=1406/tid=1412] ppid=1404 vsize=13980732 memory=5795969337309816933 CPUtime=0 cores=1,3,5,7
/proc/1406/task/1412/stat : 1412 (java) S 1404 1404 15523 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 17512217 14316269568 22946 18446744073709551615 4194304 4196468 140728023953456 139882832333424 139883354331778 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24371200 140728023957938 140728023958114 140728023958114 140728023961551 0
[pid=1406/tid=1413] ppid=1404 vsize=13980732 memory=7305794545313409365 CPUtime=0 cores=1,3,5,7

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

/proc/1406/task/1414/stat : 1414 (java) S 1404 1404 15523 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 15 0 17512217 14316269568 1594014 18446744073709551615 4194304 4196468 140728023953456 139882830227072 139883354330837 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24371200 140728023957938 140728023958114 140728023958114 140728023961551 0
[pid=1406/tid=1415] ppid=1404 vsize=13980732 memory=6363800 CPUtime=0 cores=1,3,5,7
/proc/1406/task/1415/stat : 1415 (java) S 1404 1404 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 17512220 14316269568 1594014 18446744073709551615 4194304 4196468 140728023953456 139882829175376 139883354339227 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24371200 140728023957938 140728023958114 140728023958114 140728023961551 0
[pid=1406/tid=1416] ppid=1404 vsize=13980732 memory=1380 CPUtime=5.32 cores=1,3,5,7
/proc/1406/task/1416/stat : 1416 (java) S 1404 1404 15523 0 -1 1077944384 26429 0 0 0 529 3 0 0 20 0 15 0 17512220 14316269568 1594014 18446744073709551615 4194304 4196468 140728023953456 139882828122224 139883354331778 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24371200 140728023957938 140728023958114 140728023958114 140728023961551 0
[pid=1406/tid=1417] ppid=1404 vsize=13980732 memory=6376056 CPUtime=5.53 cores=1,3,5,7
/proc/1406/task/1417/stat : 1417 (java) S 1404 1404 15523 0 -1 1077944384 30351 0 0 0 550 3 0 0 20 0 15 0 17512220 14316269568 1594014 18446744073709551615 4194304 4196468 140728023953456 139882827069424 139883354331778 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24371200 140728023957938 140728023958114 140728023958114 140728023961551 0
[pid=1406/tid=1418] ppid=1404 vsize=13980732 memory=4124 CPUtime=0.94 cores=1,3,5,7
/proc/1406/task/1418/stat : 1418 (java) S 1404 1404 15523 0 -1 1077944384 16409 0 0 0 91 3 0 0 20 0 15 0 17512220 14316269568 1594014 18446744073709551615 4194304 4196468 140728023953456 139882826017136 139883354331778 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24371200 140728023957938 140728023958114 140728023958114 140728023961551 0
[pid=1406/tid=1419] ppid=1404 vsize=13980732 memory=13104 CPUtime=0 cores=1,3,5,7
/proc/1406/task/1419/stat : 1419 (java) S 1404 1404 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 17512220 14316269568 1594014 18446744073709551615 4194304 4196468 140728023953456 139882824964576 139883354330837 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24371200 140728023957938 140728023958114 140728023958114 140728023961551 0
[pid=1406/tid=1420] ppid=1404 vsize=13980732 memory=302022848351043610 CPUtime=1.29 cores=1,3,5,7
/proc/1406/task/1420/stat : 1420 (java) S 1404 1404 15523 0 -1 1077944384 1508 0 0 0 62 67 0 0 20 0 15 0 17512224 14316269568 1594014 18446744073709551615 4194304 4196468 140728023953456 139882823912368 139883354331778 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24371200 140728023957938 140728023958114 140728023958114 140728023961551 0
Current children cumulated CPU time: 2445.93 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 6377436 KiB

[startup+2382.3 s]
/proc/loadavg: 2.19 1.96 1.82 3/215 1675
/proc/meminfo: memFree=22558996/32770624 swapFree=67108860/67108860
[pid=1404] ppid=1401 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/1404/stat : 1404 (xcsp3-exec) S 1401 1404 15523 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 17512206 9740288 345 18446744073709551615 4194304 5098028 140724804728928 140724804727032 139779068781180 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 17174528 140724804731258 140724804731462 140724804731462 140724804734955 0
/proc/1404/statm: 2378 345 289 221 0 87 0
[pid=1406] ppid=1404 vsize=13980732 memory=6366324 CPUtime=2508.69 cores=1,3,5,7
/proc/1406/stat : 1406 (java) S 1404 1404 15523 0 -1 1077944320 592616 0 0 0 250120 749 0 0 20 0 15 0 17512214 14316269568 1591581 18446744073709551615 4194304 4196468 140728023953456 140728023936000 139883354320631 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24371200 140728023957938 140728023958114 140728023958114 140728023961551 0
/proc/1406/statm: 3495183 1591581 3264 1 0 3483476 0
[pid=1406/tid=1407] ppid=1404 vsize=13980732 memory=6366324 CPUtime=2342.75 cores=1,3,5,7
/proc/1406/task/1407/stat : 1407 (java) R 1404 1404 15523 0 -1 4202560 230137 0 0 0 234228 47 0 0 20 0 15 0 17512215 14316269568 1591581 18446744073709551615 4194304 4196468 140728023953456 139883358560048 139882947126720 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 24371200 140728023957938 140728023958114 140728023958114 140728023961551 0
[pid=1406/tid=1408] ppid=1404 vsize=13980732 memory=6366324 CPUtime=38.05 cores=1,3,5,7
/proc/1406/task/1408/stat : 1408 (java) S 1404 1404 15523 0 -1 1077944384 47385 0 0 0 3651 154 0 0 20 0 15 0 17512215 14316269568 1591581 18446744073709551615 4194304 4196468 140728023953456 139883273734544 139883354330837 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24371200 140728023957938 140728023958114 140728023958114 140728023961551 0
[pid=1406/tid=1409] ppid=1404 vsize=13980732 memory=1380 CPUtime=37.9 cores=1,3,5,7
/proc/1406/task/1409/stat : 1409 (java) S 1404 1404 15523 0 -1 1077944384 58585 0 0 0 3633 157 0 0 20 0 15 0 17512215 14316269568 1591581 18446744073709551615 4194304 4196468 140728023953456 139883272681744 139883354330837 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24371200 140728023957938 140728023958114 140728023958114 140728023961551 0
[pid=1406/tid=1410] ppid=1404 vsize=13980732 memory=1380 CPUtime=37.95 cores=1,3,5,7
/proc/1406/task/1410/stat : 1410 (java) S 1404 1404 15523 0 -1 1077944384 44182 0 0 0 3637 158 0 0 20 0 15 0 17512215 14316269568 1591581 18446744073709551615 4194304 4196468 140728023953456 139883271629456 139883354330837 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24371200 140728023957938 140728023958114 140728023958114 140728023961551 0
[pid=1406/tid=1411] ppid=1404 vsize=13980732 memory=0 CPUtime=37.99 cores=1,3,5,7
/proc/1406/task/1411/stat : 1411 (java) S 1404 1404 15523 0 -1 1077944384 39669 0 0 0 3641 158 0 0 20 0 15 0 17512215 14316269568 1591581 18446744073709551615 4194304 4196468 140728023953456 139883270576656 139883354330837 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24371200 140728023957938 140728023958114 140728023958114 140728023961551 0
[pid=1406/tid=1412] ppid=1404 vsize=13980732 memory=6366324 CPUtime=0.84 cores=1,3,5,7
/proc/1406/task/1412/stat : 1412 (java) S 1404 1404 15523 0 -1 1077944384 96541 0 0 0 74 10 0 0 20 0 15 0 17512217 14316269568 1591581 18446744073709551615 4194304 4196468 140728023953456 139882832333424 139883354331778 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24371200 140728023957938 140728023958114 140728023958114 140728023961551 0
[pid=1406/tid=1413] ppid=1404 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/1406/task/1413/stat : 1413 (java) S 1404 1404 15523 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 17512217 14316269568 1591581 18446744073709551615 4194304 4196468 140728023953456 139882831279456 139883354330837 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24371200 140728023957938 140728023958114 140728023958114 140728023961551 0
[pid=1406/tid=1414] ppid=1404 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/1406/task/1414/stat : 1414 (java) S 1404 1404 15523 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 15 0 17512217 14316269568 1591581 18446744073709551615 4194304 4196468 140728023953456 139882830227072 139883354330837 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24371200 140728023957938 140728023958114 140728023958114 140728023961551 0
[pid=1406/tid=1415] ppid=1404 vsize=13980732 memory=6376076 CPUtime=0 cores=1,3,5,7
/proc/1406/task/1415/stat : 1415 (java) S 1404 1404 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 17512220 14316269568 1591581 18446744073709551615 4194304 4196468 140728023953456 139882829175376 139883354339227 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24371200 140728023957938 140728023958114 140728023958114 140728023961551 0
[pid=1406/tid=1416] ppid=1404 vsize=13980732 memory=1380 CPUtime=5.32 cores=1,3,5,7
/proc/1406/task/1416/stat : 1416 (java) S 1404 1404 15523 0 -1 1077944384 26431 0 0 0 529 3 0 0 20 0 15 0 17512220 14316269568 1591581 18446744073709551615 4194304 4196468 140728023953456 139882828122224 139883354331778 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24371200 140728023957938 140728023958114 140728023958114 140728023961551 0
[pid=1406/tid=1417] ppid=1404 vsize=13980732 memory=4124 CPUtime=5.53 cores=1,3,5,7
/proc/1406/task/1417/stat : 1417 (java) S 1404 1404 15523 0 -1 1077944384 30354 0 0 0 550 3 0 0 20 0 15 0 17512220 14316269568 1591581 18446744073709551615 4194304 4196468 140728023953456 139882827069424 139883354331778 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24371200 140728023957938 140728023958114 140728023958114 140728023961551 0
[pid=1406/tid=1418] ppid=1404 vsize=13980732 memory=13116 CPUtime=0.94 cores=1,3,5,7
/proc/1406/task/1418/stat : 1418 (java) S 1404 1404 15523 0 -1 1077944384 16411 0 0 0 91 3 0 0 20 0 15 0 17512220 14316269568 1591581 18446744073709551615 4194304 4196468 140728023953456 139882826017136 139883354331778 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24371200 140728023957938 140728023958114 140728023958114 140728023961551 0
[pid=1406/tid=1419] ppid=1404 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/1406/task/1419/stat : 1419 (java) S 1404 1404 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 17512220 14316269568 1591581 18446744073709551615 4194304 4196468 140728023953456 139882824964576 139883354330837 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24371200 140728023957938 140728023958114 140728023958114 140728023961551 0
[pid=1406/tid=1420] ppid=1404 vsize=13980732 memory=6366324 CPUtime=1.33 cores=1,3,5,7
/proc/1406/task/1420/stat : 1420 (java) S 1404 1404 15523 0 -1 1077944384 1536 0 0 0 64 69 0 0 20 0 15 0 17512224 14316269568 1591581 18446744073709551615 4194304 4196468 140728023953456 139882823912368 139883354331778 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24371200 140728023957938 140728023958114 140728023958114 140728023961551 0
Current children cumulated CPU time: 2508.69 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 6367704 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2392.9 s]
/proc/loadavg: 2.16 1.96 1.83 3/215 1675
/proc/meminfo: memFree=22559128/32770624 swapFree=67108860/67108860
[pid=1404] ppid=1401 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/1404/stat : 1404 (xcsp3-exec) S 1401 1404 15523 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 17512206 9740288 345 18446744073709551615 4194304 5098028 140724804728928 140724804727032 139779068781180 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 17174528 140724804731258 140724804731462 140724804731462 140724804734955 0
/proc/1404/statm: 2378 345 289 221 0 87 0
[pid=1406] ppid=1404 vsize=13980732 memory=6366324 CPUtime=2520.01 cores=1,3,5,7
/proc/1406/stat : 1406 (java) S 1404 1404 15523 0 -1 1077944320 593815 0 0 0 251252 749 0 0 20 0 15 0 17512214 14316269568 1591581 18446744073709551615 4194304 4196468 140728023953456 140728023936000 139883354320631 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24371200 140728023957938 140728023958114 140728023958114 140728023961551 0
/proc/1406/statm: 3495183 1591581 3264 1 0 3483476 0
[pid=1406/tid=1407] ppid=1404 vsize=13980732 memory=6366324 CPUtime=2353.12 cores=1,3,5,7
/proc/1406/task/1407/stat : 1407 (java) R 1404 1404 15523 0 -1 4202560 230828 0 0 0 235264 48 0 0 20 0 15 0 17512215 14316269568 1591581 18446744073709551615 4194304 4196468 140728023953456 139883358560096 139882948703118 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 24371200 140728023957938 140728023958114 140728023958114 140728023961551 0
[pid=1406/tid=1408] ppid=1404 vsize=13980732 memory=6366324 CPUtime=38.29 cores=1,3,5,7
/proc/1406/task/1408/stat : 1408 (java) S 1404 1404 15523 0 -1 1077944384 47489 0 0 0 3675 154 0 0 20 0 15 0 17512215 14316269568 1591581 18446744073709551615 4194304 4196468 140728023953456 139883273734544 139883354330837 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24371200 140728023957938 140728023958114 140728023958114 140728023961551 0
[pid=1406/tid=1409] ppid=1404 vsize=13980732 memory=6366324 CPUtime=38.14 cores=1,3,5,7
/proc/1406/task/1409/stat : 1409 (java) S 1404 1404 15523 0 -1 1077944384 58681 0 0 0 3657 157 0 0 20 0 15 0 17512215 14316269568 1591581 18446744073709551615 4194304 4196468 140728023953456 139883272681744 139883354330837 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24371200 140728023957938 140728023958114 140728023958114 140728023961551 0
[pid=1406/tid=1410] ppid=1404 vsize=13980732 memory=6366324 CPUtime=38.19 cores=1,3,5,7
/proc/1406/task/1410/stat : 1410 (java) S 1404 1404 15523 0 -1 1077944384 44287 0 0 0 3661 158 0 0 20 0 15 0 17512215 14316269568 1591581 18446744073709551615 4194304 4196468 140728023953456 139883271629456 139883354330837 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24371200 140728023957938 140728023958114 140728023958114 140728023961551 0
[pid=1406/tid=1411] ppid=1404 vsize=13980732 memory=1380 CPUtime=38.23 cores=1,3,5,7
/proc/1406/task/1411/stat : 1411 (java) S 1404 1404 15523 0 -1 1077944384 39865 0 0 0 3665 158 0 0 20 0 15 0 17512215 14316269568 1591581 18446744073709551615 4194304 4196468 140728023953456 139883270576656 139883354330837 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24371200 140728023957938 140728023958114 140728023958114 140728023961551 0
[pid=1406/tid=1412] ppid=1404 vsize=13980732 memory=0 CPUtime=0.84 cores=1,3,5,7
/proc/1406/task/1412/stat : 1412 (java) S 1404 1404 15523 0 -1 1077944384 96546 0 0 0 74 10 0 0 20 0 15 0 17512217 14316269568 1591581 18446744073709551615 4194304 4196468 140728023953456 139882832333424 139883354331778 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24371200 140728023957938 140728023958114 140728023958114 140728023961551 0
[pid=1406/tid=1413] ppid=1404 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/1406/task/1413/stat : 1413 (java) S 1404 1404 15523 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 17512217 14316269568 1591581 18446744073709551615 4194304 4196468 140728023953456 139882831279456 139883354330837 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24371200 140728023957938 140728023958114 140728023958114 140728023961551 0
[pid=1406/tid=1414] ppid=1404 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/1406/task/1414/stat : 1414 (java) S 1404 1404 15523 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 15 0 17512217 14316269568 1591581 18446744073709551615 4194304 4196468 140728023953456 139882830227072 139883354330837 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24371200 140728023957938 140728023958114 140728023958114 140728023961551 0
[pid=1406/tid=1415] ppid=1404 vsize=13980732 memory=6366324 CPUtime=0 cores=1,3,5,7
/proc/1406/task/1415/stat : 1415 (java) S 1404 1404 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 17512220 14316269568 1591581 18446744073709551615 4194304 4196468 140728023953456 139882829175376 139883354339227 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24371200 140728023957938 140728023958114 140728023958114 140728023961551 0
[pid=1406/tid=1416] ppid=1404 vsize=13980732 memory=1380 CPUtime=5.32 cores=1,3,5,7
/proc/1406/task/1416/stat : 1416 (java) S 1404 1404 15523 0 -1 1077944384 26431 0 0 0 529 3 0 0 20 0 15 0 17512220 14316269568 1591581 18446744073709551615 4194304 4196468 140728023953456 139882828122224 139883354331778 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24371200 140728023957938 140728023958114 140728023958114 140728023961551 0
[pid=1406/tid=1417] ppid=1404 vsize=13980732 memory=2850636 CPUtime=5.53 cores=1,3,5,7
/proc/1406/task/1417/stat : 1417 (java) S 1404 1404 15523 0 -1 1077944384 30354 0 0 0 550 3 0 0 20 0 15 0 17512220 14316269568 1591581 18446744073709551615 4194304 4196468 140728023953456 139882827069424 139883354331778 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24371200 140728023957938 140728023958114 140728023958114 140728023961551 0
[pid=1406/tid=1418] ppid=1404 vsize=13980732 memory=4064 CPUtime=0.94 cores=1,3,5,7
/proc/1406/task/1418/stat : 1418 (java) S 1404 1404 15523 0 -1 1077944384 16411 0 0 0 91 3 0 0 20 0 15 0 17512220 14316269568 1591581 18446744073709551615 4194304 4196468 140728023953456 139882826017136 139883354331778 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24371200 140728023957938 140728023958114 140728023958114 140728023961551 0
[pid=1406/tid=1419] ppid=1404 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/1406/task/1419/stat : 1419 (java) S 1404 1404 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 17512220 14316269568 1591581 18446744073709551615 4194304 4196468 140728023953456 139882824964576 139883354330837 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24371200 140728023957938 140728023958114 140728023958114 140728023961551 0
[pid=1406/tid=1420] ppid=1404 vsize=13980732 memory=2850636 CPUtime=1.34 cores=1,3,5,7
/proc/1406/task/1420/stat : 1420 (java) S 1404 1404 15523 0 -1 1077944384 1538 0 0 0 64 70 0 0 20 0 15 0 17512224 14316269568 1591581 18446744073709551615 4194304 4196468 140728023953456 139882823912368 139883354331778 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24371200 140728023957938 140728023958114 140728023958114 140728023961551 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 6367704 KiB

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

[startup+2392.91 s]
# the end of solver process 1404 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.001227 s, system=0.000613 s

[startup+2392.94 s]
# the end of solver process 1406 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2512.53 s, system=7.5256 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+2392.9 s]
/proc/loadavg: 2.16 1.96 1.83 3/215 1675
/proc/meminfo: memFree=22559128/32770624 swapFree=67108860/67108860
[pid=1404] ppid=1401 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/1404/stat : 1404 (xcsp3-exec) S 1401 1404 15523 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 17512206 9740288 345 18446744073709551615 4194304 5098028 140724804728928 140724804727032 139779068781180 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 17174528 140724804731258 140724804731462 140724804731462 140724804734955 0
/proc/1404/statm: 2378 345 289 221 0 87 0
[pid=1406] ppid=1404 vsize=13980732 memory=6366324 CPUtime=2520.01 cores=1,3,5,7
/proc/1406/stat : 1406 (java) S 1404 1404 15523 0 -1 1077944320 593815 0 0 0 251252 749 0 0 20 0 15 0 17512214 14316269568 1591581 18446744073709551615 4194304 4196468 140728023953456 140728023936000 139883354320631 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24371200 140728023957938 140728023958114 140728023958114 140728023961551 0
/proc/1406/statm: 3495183 1591581 3264 1 0 3483476 0
[pid=1406/tid=1407] ppid=1404 vsize=13980732 memory=6366324 CPUtime=2353.12 cores=1,3,5,7
/proc/1406/task/1407/stat : 1407 (java) R 1404 1404 15523 0 -1 4202560 230828 0 0 0 235264 48 0 0 20 0 15 0 17512215 14316269568 1591581 18446744073709551615 4194304 4196468 140728023953456 139883358560096 139882948703118 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 24371200 140728023957938 140728023958114 140728023958114 140728023961551 0
[pid=1406/tid=1408] ppid=1404 vsize=13980732 memory=6366324 CPUtime=38.29 cores=1,3,5,7
/proc/1406/task/1408/stat : 1408 (java) S 1404 1404 15523 0 -1 1077944384 47489 0 0 0 3675 154 0 0 20 0 15 0 17512215 14316269568 1591581 18446744073709551615 4194304 4196468 140728023953456 139883273734544 139883354330837 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24371200 140728023957938 140728023958114 140728023958114 140728023961551 0
[pid=1406/tid=1409] ppid=1404 vsize=13980732 memory=6366324 CPUtime=38.14 cores=1,3,5,7
/proc/1406/task/1409/stat : 1409 (java) S 1404 1404 15523 0 -1 1077944384 58681 0 0 0 3657 157 0 0 20 0 15 0 17512215 14316269568 1591581 18446744073709551615 4194304 4196468 140728023953456 139883272681744 139883354330837 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24371200 140728023957938 140728023958114 140728023958114 140728023961551 0
[pid=1406/tid=1410] ppid=1404 vsize=13980732 memory=6366324 CPUtime=38.19 cores=1,3,5,7
/proc/1406/task/1410/stat : 1410 (java) S 1404 1404 15523 0 -1 1077944384 44287 0 0 0 3661 158 0 0 20 0 15 0 17512215 14316269568 1591581 18446744073709551615 4194304 4196468 140728023953456 139883271629456 139883354330837 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24371200 140728023957938 140728023958114 140728023958114 140728023961551 0
[pid=1406/tid=1411] ppid=1404 vsize=13980732 memory=1380 CPUtime=38.23 cores=1,3,5,7
/proc/1406/task/1411/stat : 1411 (java) S 1404 1404 15523 0 -1 1077944384 39865 0 0 0 3665 158 0 0 20 0 15 0 17512215 14316269568 1591581 18446744073709551615 4194304 4196468 140728023953456 139883270576656 139883354330837 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24371200 140728023957938 140728023958114 140728023958114 140728023961551 0
[pid=1406/tid=1412] ppid=1404 vsize=13980732 memory=0 CPUtime=0.84 cores=1,3,5,7
/proc/1406/task/1412/stat : 1412 (java) S 1404 1404 15523 0 -1 1077944384 96546 0 0 0 74 10 0 0 20 0 15 0 17512217 14316269568 1591581 18446744073709551615 4194304 4196468 140728023953456 139882832333424 139883354331778 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24371200 140728023957938 140728023958114 140728023958114 140728023961551 0
[pid=1406/tid=1413] ppid=1404 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/1406/task/1413/stat : 1413 (java) S 1404 1404 15523 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 17512217 14316269568 1591581 18446744073709551615 4194304 4196468 140728023953456 139882831279456 139883354330837 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24371200 140728023957938 140728023958114 140728023958114 140728023961551 0
[pid=1406/tid=1414] ppid=1404 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/1406/task/1414/stat : 1414 (java) S 1404 1404 15523 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 15 0 17512217 14316269568 1591581 18446744073709551615 4194304 4196468 140728023953456 139882830227072 139883354330837 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24371200 140728023957938 140728023958114 140728023958114 140728023961551 0
[pid=1406/tid=1415] ppid=1404 vsize=13980732 memory=6366324 CPUtime=0 cores=1,3,5,7
/proc/1406/task/1415/stat : 1415 (java) S 1404 1404 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 17512220 14316269568 1591581 18446744073709551615 4194304 4196468 140728023953456 139882829175376 139883354339227 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24371200 140728023957938 140728023958114 140728023958114 140728023961551 0
[pid=1406/tid=1416] ppid=1404 vsize=13980732 memory=1380 CPUtime=5.32 cores=1,3,5,7
/proc/1406/task/1416/stat : 1416 (java) S 1404 1404 15523 0 -1 1077944384 26431 0 0 0 529 3 0 0 20 0 15 0 17512220 14316269568 1591581 18446744073709551615 4194304 4196468 140728023953456 139882828122224 139883354331778 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24371200 140728023957938 140728023958114 140728023958114 140728023961551 0
[pid=1406/tid=1417] ppid=1404 vsize=13980732 memory=2850636 CPUtime=5.53 cores=1,3,5,7
/proc/1406/task/1417/stat : 1417 (java) S 1404 1404 15523 0 -1 1077944384 30354 0 0 0 550 3 0 0 20 0 15 0 17512220 14316269568 1591581 18446744073709551615 4194304 4196468 140728023953456 139882827069424 139883354331778 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24371200 140728023957938 140728023958114 140728023958114 140728023961551 0
[pid=1406/tid=1418] ppid=1404 vsize=13980732 memory=4064 CPUtime=0.94 cores=1,3,5,7
/proc/1406/task/1418/stat : 1418 (java) S 1404 1404 15523 0 -1 1077944384 16411 0 0 0 91 3 0 0 20 0 15 0 17512220 14316269568 1591581 18446744073709551615 4194304 4196468 140728023953456 139882826017136 139883354331778 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24371200 140728023957938 140728023958114 140728023958114 140728023961551 0
[pid=1406/tid=1419] ppid=1404 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/1406/task/1419/stat : 1419 (java) S 1404 1404 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 17512220 14316269568 1591581 18446744073709551615 4194304 4196468 140728023953456 139882824964576 139883354330837 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24371200 140728023957938 140728023958114 140728023958114 140728023961551 0
[pid=1406/tid=1420] ppid=1404 vsize=13980732 memory=2850636 CPUtime=1.34 cores=1,3,5,7
/proc/1406/task/1420/stat : 1420 (java) S 1404 1404 15523 0 -1 1077944384 1538 0 0 0 64 70 0 0 20 0 15 0 17512224 14316269568 1591581 18446744073709551615 4194304 4196468 140728023953456 139882823912368 139883354331778 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24371200 140728023957938 140728023958114 140728023958114 140728023961551 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 6367704 KiB

Child status: 143
Real time (s): 2392.94
CPU time (s): 2520.06
CPU user time (s): 2512.53
CPU system time (s): 7.5256
CPU usage (%): 105.313
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 6377476

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2512.53
system time used= 7.5256
maximum resident set size= 6376096
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 594891
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2952
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 59197
involuntary context switches= 2800


# summary of solver processes directly reported to runsolver:
#   pid: 1404,1406
#   total CPU time (s): 2520.06
#   total CPU user time (s): 2512.53
#   total CPU system time (s): 7.5256

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.3734 second user time and 23.5965 second system time

The end

Launcher Data 

Begin job on node130 at 2017-08-20 02:50:32
IDJOB=4283409
IDBENCH=123075
IDSOLVER=2679
FILE ID=node130/4283409-1503191042
RUNJOBID= node130-1503172050-30420
PBS_JOBID= 
Free space on /tmp= 62024 MiB

SOLVER NAME= choco-solver 5a
BENCH NAME= XCSP17/QuadraticAssignment/QuadraticAssignment-m1-s1/QuadraticAssignment-bur26g.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-4283409-1503191042/watcher-4283409-1503191042 -o /tmp/evaluation-result-4283409-1503191042/solver-4283409-1503191042 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node130-1503172050-30420 --watchdog 2580  ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 641548371 HOME/instance-4283409-1503191042.xml

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

MD5SUM BENCH= e15ea9448d462545754e2532d86d3e94
RANDOM SEED=641548371

node130.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.77
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.77
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.77
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.77
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:        31495336 kB
MemAvailable:   31726528 kB
Buffers:          192764 kB
Cached:           327720 kB
SwapCached:            0 kB
Active:           541760 kB
Inactive:         326828 kB
Active(anon):     348280 kB
Inactive(anon):    16748 kB
Active(file):     193480 kB
Inactive(file):   310080 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7904 kB
Writeback:             0 kB
AnonPages:        352024 kB
Mapped:            46412 kB
Shmem:             17060 kB
Slab:             111400 kB
SReclaimable:      86936 kB
SUnreclaim:        24464 kB
KernelStack:        3728 kB
PageTables:         6608 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1156324 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    231424 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= 62004 MiB
End job on node130 at 2017-08-20 03:30:25