Trace number 4393192

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 2019-06-14OPT624 20.203 5.59504

General information on the benchmark

NameFastfood/Fastfood-m1-s1/
Fastfood-ff50.xml
MD5SUMf7819cc540e1493da1332403e09ec21d
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark624
Best CPU time to get the best result obtained on this benchmark11.7284
Satisfiable
(Un)Satisfiability was proved
Number of variables319
Number of constraints313
Number of domains26
Minimum domain size24
Maximum domain size25
Distribution of domain sizes[{"size":24,"count":32},{"size":25,"count":287}]
Minimum variable degree2
Maximum variable degree40
Distribution of variable degrees[{"degree":2,"count":312},{"degree":40,"count":7}]
Minimum constraint arity2
Maximum constraint arity8
Distribution of constraint arities[{"arity":2,"count":273},{"arity":7,"count":1},{"arity":8,"count":39}]
Number of extensional constraints273
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":273},{"type":"ordered","count":1},{"type":"minimum","count":39}]
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 -Xmx12000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4393192-1568348261.xml"  -tl '2520s' -p 4
0.13/0.18	c Choco e747e1e
0.13/0.19	c [HOME/instance-4393192-1568348261.xml, -tl, 2520s, -p, 4]
0.34/0.23	c 4 solvers in parallel
0.34/0.29	c parse instance...
2.84/1.02	c solve instance...
3.57/1.22	o 10022 
3.57/1.22	o 8996 
3.57/1.22	o 8214 
3.57/1.23	o 7594 
3.57/1.23	o 2166 
3.57/1.26	o 2068 
3.57/1.26	o 2052 
3.57/1.26	o 2034 
3.57/1.27	o 2019 
3.57/1.28	o 2003 
3.57/1.29	o 1868 
3.57/1.29	o 1852 
3.57/1.30	o 1837 
3.92/1.30	o 1821 
3.92/1.36	o 1817 
3.92/1.39	o 1734 
3.92/1.39	o 1719 
4.30/1.40	o 1703 
4.30/1.40	o 1702 
4.30/1.41	o 1690 
4.30/1.41	o 1687 
4.30/1.41	o 1671 
4.30/1.42	o 1659 
4.30/1.43	o 1614 
5.44/1.71	o 1582 
5.44/1.71	o 1567 
5.44/1.72	o 1551 
5.44/1.73	o 1514 
5.44/1.73	o 1499 
5.44/1.74	o 1483 
5.44/1.75	o 1080 
7.05/2.14	o 1000 
7.81/2.34	o 933 
8.17/2.46	o 929 
8.17/2.47	o 919 
8.57/2.57	o 911 
8.96/2.67	o 859 
8.96/2.68	o 849 
10.57/3.07	o 844 
11.32/3.28	o 841 
12.10/3.46	o 802 
12.10/3.49	o 792 
12.37/3.52	o 782 
12.71/3.65	o 778 
13.03/3.74	o 768 
13.03/3.77	o 766 
13.03/3.77	o 702 
13.03/3.78	o 692 
13.33/3.84	o 684 
15.66/4.47	o 648 
15.66/4.47	o 638 
16.04/4.53	o 630 
17.17/4.90	o 626 
18.36/5.13	o 624 
19.91/5.57	s OPTIMUM FOUND
19.91/5.57	v <instantiation>
19.91/5.57	v 	<list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] drd[0][0] drd[0][1] drd[0][2] drd[0][3] drd[0][4] drd[0][5] drd[0][6] drd[1][0] drd[1][1] drd[1][2] drd[1][3] drd[1][4] drd[1][5] drd[1][6] drd[2][0] drd[2][1] drd[2][2] drd[2][3] drd[2][4] drd[2][5] drd[2][6] drd[3][0] drd[3][1] drd[3][2] drd[3][3] drd[3][4] drd[3][5] drd[3][6] drd[4][0] drd[4][1] drd[4][2] drd[4][3] drd[4][4] drd[4][5] drd[4][6] drd[5][0] drd[5][1] drd[5][2] drd[5][3] drd[5][4] drd[5][5] drd[5][6] drd[6][0] drd[6][1] drd[6][2] drd[6][3] drd[6][4] drd[6][5] drd[6][6] drd[7][0] drd[7][1] drd[7][2] drd[7][3] drd[7][4] drd[7][5] drd[7][6] drd[8][0] drd[8][1] drd[8][2] drd[8][3] drd[8][4] drd[8][5] drd[8][6] drd[9][0] drd[9][1] drd[9][2] drd[9][3] drd[9][4] drd[9][5] drd[9][6] drd[10][0] drd[10][1] drd[10][2] drd[10][3] drd[10][4] drd[10][5] drd[10][6] drd[11][0] drd[11][1] drd[11][2] drd[11][3] drd[11][4] drd[11][5] drd[11][6] drd[12][0] drd[12][1] drd[12][2] drd[12][3] drd[12][4] drd[12][5] drd[12][6] drd[13][0] drd[13][1] drd[13][2] drd[13][3] drd[13][4] drd[13][5] drd[13][6] drd[14][0] drd[14][1] drd[14][2] drd[14][3] drd[14][4] drd[14][5] drd[14][6] drd[15][0] drd[15][1] drd[15][2] drd[15][3] drd[15][4] drd[15][5] drd[15][6] drd[16][0] drd[16][1] drd[16][2] drd[16][3] drd[16][4] drd[16][5] drd[16][6] drd[17][0] drd[17][1] drd[17][2] drd[17][3] drd[17][4] drd[17][5] drd[17][6] drd[18][0] drd[18][1] drd[18][2] drd[18][3] drd[18][4] drd[18][5] drd[18][6] drd[19][0] drd[19][1] drd[19][2] drd[19][3] drd[19][4] drd[19][5] drd[19][6] drd[20][0] drd[20][1] drd[20][2] drd[20][3] drd[20][4] drd[20][5] drd[20][6] drd[21][0] drd[21][1] drd[21][2] drd[21][3] drd[21][4] drd[21][5] drd[21][6] drd[22][0] drd[22][1] drd[22][2] drd[22][3] drd[22][4] drd[22][5] drd[22][6] drd[23][0] drd[23][1] drd[23][2] drd[23][3] drd[23][4] drd[23][5] drd[23][6] drd[24][0] drd[24][1] drd[24][2] drd[24][3] drd[24][4] drd[24][5] drd[24][6] drd[25][0] drd[25][1] drd[25][2] drd[25][3] drd[25][4] drd[25][5] drd[25][6] drd[26][0] drd[26][1] drd[26][2] drd[26][3] drd[26][4] drd[26][5] drd[26][6] drd[27][0] drd[27][1] drd[27][2] drd[27][3] drd[27][4] drd[27][5] drd[27][6] drd[28][0] drd[28][1] drd[28][2] drd[28][3] drd[28][4] drd[28][5] drd[28][6] drd[29][0] drd[29][1] drd[29][2] drd[29][3] drd[29][4] drd[29][5] drd[29][6] drd[30][0] drd[30][1] drd[30][2] drd[30][3] drd[30][4] drd[30][5] drd[30][6] drd[31][0] drd[31][1] drd[31][2] drd[31][3] drd[31][4] drd[31][5] drd[31][6] drd[32][0] drd[32][1] drd[32][2] drd[32][3] drd[32][4] drd[32][5] drd[32][6] drd[33][0] drd[33][1] drd[33][2] drd[33][3] drd[33][4] drd[33][5] drd[33][6] drd[34][0] drd[34][1] drd[34][2] drd[34][3] drd[34][4] drd[34][5] drd[34][6] drd[35][0] drd[35][1] drd[35][2] drd[35][3] drd[35][4] drd[35][5] drd[35][6] drd[36][0] drd[36][1] drd[36][2] drd[36][3] drd[36][4] drd[36][5] drd[36][6] drd[37][0] drd[37][1] drd[37][2] drd[37][3] drd[37][4] drd[37][5] drd[37][6] drd[38][0] drd[38][1] drd[38][2] drd[38][3] drd[38][4] drd[38][5] drd[38][6] 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] </list>
19.91/5.57	v 	<values>30 166 238 340 592 669 831 552 416 344 242 10 87 249 552 416 344 242 10 87 249 21 115 187 289 541 618 780 21 115 187 289 541 618 780 170 34 38 140 392 469 631 170 34 38 140 392 469 631 11 147 219 321 573 650 812 337 201 129 27 225 302 464 337 201 129 27 225 302 464 694 558 486 384 132 55 107 695 559 487 385 133 56 106 656 520 448 346 94 17 145 656 520 448 346 94 17 145 2 138 210 312 564 641 803 639 503 431 329 77 0 162 639 503 431 329 77 0 162 623 487 415 313 61 16 178 250 114 42 60 312 389 551 248 112 40 62 314 391 553 578 442 370 268 16 61 223 578 442 370 268 16 61 223 19 117 189 291 543 620 782 19 117 189 291 543 620 782 208 72 0 102 354 431 593 208 72 0 102 354 431 593 801 665 593 491 239 162 0 801 665 593 491 239 162 0 136 0 72 174 426 503 665 136 0 72 174 426 503 665 98 38 110 212 464 541 703 98 38 110 212 464 541 703 0 136 208 310 562 639 801 1 137 209 311 563 640 802 618 482 410 308 56 21 183 562 426 354 252 0 77 239 310 174 102 0 252 329 491 310 174 102 0 252 329 491 200 64 8 110 362 439 601 200 64 8 110 362 439 601 10 10 21 21 34 34 11 27 27 55 56 17 17 2 0 0 16 42 40 16 16 19 19 0 0 0 0 0 0 38 38 0 1 21 0 0 0 8 8 </values>
19.91/5.57	v </instantiation>

Verifier Data 

OK	624

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393192-1568348261/watcher-4393192-1568348261 -o /tmp/evaluation-result-4393192-1568348261/solver-4393192-1568348261 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1568343408-4478 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1242136948 HOME/instance-4393192-1568348261.xml 

running on 4 cores: 0,2,4,6

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=8018, runsolver pid=8015


[startup+0.10006 s]*
/proc/loadavg: 8.96 8.50 8.10 7/233 8034
/proc/meminfo: memFree=17620664/32770624 swapFree=66959216/67108860
[pid=8018] ppid=8015 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8018/stat : 8018 (xcsp3-exec) S 8015 8018 3331 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 410766313 115843072 363 33554432000 4194304 5098028 140733779011584 140733779009688 140578398917244 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 30846976 140733779018618 140733779018861 140733779018861 140733779021770 0
/proc/8018/statm: 28282 363 304 221 0 87 0
[pid=8020] ppid=8018 vsize=15144768 memory=27624 CPUtime=0.13 cores=0,2,4,6
/proc/8020/stat : 8020 (java) S 8018 8018 3331 0 -1 1077944320 5869 0 0 0 11 2 0 0 20 0 15 0 410766313 15508242432 6906 33554432000 4194304 4196468 140721155148800 140721155131344 139739478847223 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27779072 140721155154927 140721155155098 140721155155098 140721155157967 0
/proc/8020/statm: 3786192 6906 3142 1 0 3748377 0
[pid=8020/tid=8021] ppid=8018 vsize=15144768 memory=-8976644418600983157 CPUtime=0.09 cores=0,2,4,6
/proc/8020/task/8021/stat : 8021 (java) R 8018 8018 3331 0 -1 4202560 3745 0 0 0 8 1 0 0 20 0 15 0 410766314 15508242432 6906 33554432000 4194304 4196468 140721155148800 139739483080000 139739478859158 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27779072 140721155154927 140721155155098 140721155155098 140721155157967 0
[pid=8020/tid=8022] ppid=8018 vsize=15144768 memory=3472468028636955856 CPUtime=0 cores=0,2,4,6
/proc/8020/task/8022/stat : 8022 (java) S 8018 8018 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410766314 15508242432 6906 33554432000 4194304 4196468 140721155148800 139739446405776 139739478857429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27779072 140721155154927 140721155155098 140721155155098 140721155157967 0
[pid=8020/tid=8023] ppid=8018 vsize=15144768 memory=139899741804160 CPUtime=0 cores=0,2,4,6
/proc/8020/task/8023/stat : 8023 (java) S 8018 8018 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410766314 15508242432 6906 33554432000 4194304 4196468 140721155148800 139739070654992 139739478857429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27779072 140721155154927 140721155155098 140721155155098 140721155157967 0
[pid=8020/tid=8024] ppid=8018 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8020/task/8024/stat : 8024 (java) S 8018 8018 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410766314 15508242432 6906 33554432000 4194304 4196468 140721155148800 139739069602192 139739478857429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27779072 140721155154927 140721155155098 140721155155098 140721155157967 0
[pid=8020/tid=8025] ppid=8018 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8020/task/8025/stat : 8025 (java) S 8018 8018 3331 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410766314 15508242432 6906 33554432000 4194304 4196468 140721155148800 139739068549392 139739478857429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27779072 140721155154927 140721155155098 140721155155098 140721155157967 0
[pid=8020/tid=8026] ppid=8018 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8020/task/8026/stat : 8026 (java) S 8018 8018 3331 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410766316 15508242432 6906 33554432000 4194304 4196468 140721155148800 139738946775920 139739478858370 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27779072 140721155154927 140721155155098 140721155155098 140721155157967 0
[pid=8020/tid=8027] ppid=8018 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8020/task/8027/stat : 8027 (java) S 8018 8018 3331 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 410766316 15508242432 6906 33554432000 4194304 4196468 140721155148800 139738945721888 139739478857429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27779072 140721155154927 140721155155098 140721155155098 140721155157967 0
[pid=8020/tid=8028] ppid=8018 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8020/task/8028/stat : 8028 (java) S 8018 8018 3331 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 410766316 15508242432 6906 33554432000 4194304 4196468 140721155148800 139738944669040 139739478857429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27779072 140721155154927 140721155155098 140721155155098 140721155157967 0
[pid=8020/tid=8029] ppid=8018 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8020/task/8029/stat : 8029 (java) S 8018 8018 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410766319 15508242432 6906 33554432000 4194304 4196468 140721155148800 139738943617360 139739478865819 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27779072 140721155154927 140721155155098 140721155155098 140721155157967 0
[pid=8020/tid=8030] ppid=8018 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8020/task/8030/stat : 8030 (java) S 8018 8018 3331 0 -1 1077944384 428 0 0 0 0 0 0 0 20 0 15 0 410766319 15508242432 6906 33554432000 4194304 4196468 140721155148800 139738942564720 139739478858370 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27779072 140721155154927 140721155155098 140721155155098 140721155157967 0
[pid=8020/tid=8031] ppid=8018 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8020/task/8031/stat : 8031 (java) R 8018 8018 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410766319 15508242432 6906 33554432000 4194304 4196468 140721155148800 139738941511920 139739478858370 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27779072 140721155154927 140721155155098 140721155155098 140721155157967 0
[pid=8020/tid=8032] ppid=8018 vsize=15144768 memory=139899741804160 CPUtime=0.02 cores=0,2,4,6
/proc/8020/task/8032/stat : 8032 (java) R 8018 8018 3331 0 -1 4202560 392 0 0 0 2 0 0 0 20 0 15 0 410766319 15508242432 6906 33554432000 4194304 4196468 140721155148800 139738940459120 139739471944059 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27779072 140721155154927 140721155155098 140721155155098 140721155157967 0
[pid=8020/tid=8033] ppid=8018 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8020/task/8033/stat : 8033 (java) S 8018 8018 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410766319 15508242432 6906 33554432000 4194304 4196468 140721155148800 139738939406560 139739478857429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27779072 140721155154927 140721155155098 140721155155098 140721155157967 0
[pid=8020/tid=8034] ppid=8018 vsize=15144768 memory=139899741804160 CPUtime=0 cores=0,2,4,6
/proc/8020/task/8034/stat : 8034 (java) S 8018 8018 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410766319 15508242432 6906 33554432000 4194304 4196468 140721155148800 139738938354864 139739478858370 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27779072 140721155154927 140721155155098 140721155155098 140721155157967 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 29076 KiB

[startup+0.211059 s]*
/proc/loadavg: 8.96 8.50 8.10 7/233 8034
/proc/meminfo: memFree=17607544/32770624 swapFree=66959216/67108860
[pid=8018] ppid=8015 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8018/stat : 8018 (xcsp3-exec) S 8015 8018 3331 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 410766313 115843072 363 33554432000 4194304 5098028 140733779011584 140733779009688 140578398917244 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 30846976 140733779018618 140733779018861 140733779018861 140733779021770 0
/proc/8018/statm: 28282 363 304 221 0 87 0
[pid=8020] ppid=8018 vsize=15144768 memory=39884 CPUtime=0.34 cores=0,2,4,6
/proc/8020/stat : 8020 (java) S 8018 8018 3331 0 -1 1077944320 9664 0 0 0 31 3 0 0 20 0 15 0 410766313 15508242432 9971 33554432000 4194304 4196468 140721155148800 140721155131344 139739478847223 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27779072 140721155154927 140721155155098 140721155155098 140721155157967 0
/proc/8020/statm: 3786192 9971 3312 1 0 3748377 0
[pid=8020/tid=8021] ppid=8018 vsize=15144768 memory=4212167822348820889 CPUtime=0.19 cores=0,2,4,6
/proc/8020/task/8021/stat : 8021 (java) R 8018 8018 3331 0 -1 4202560 6690 0 0 0 17 2 0 0 20 0 15 0 410766314 15508242432 9971 33554432000 4194304 4196468 140721155148800 139739483079136 139739478869149 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27779072 140721155154927 140721155155098 140721155155098 140721155157967 0
[pid=8020/tid=8022] ppid=8018 vsize=15144768 memory=3472468028636955856 CPUtime=0 cores=0,2,4,6
/proc/8020/task/8022/stat : 8022 (java) S 8018 8018 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410766314 15508242432 9971 33554432000 4194304 4196468 140721155148800 139739446405776 139739478857429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27779072 140721155154927 140721155155098 140721155155098 140721155157967 0
[pid=8020/tid=8023] ppid=8018 vsize=15144768 memory=139899741804160 CPUtime=0 cores=0,2,4,6
/proc/8020/task/8023/stat : 8023 (java) S 8018 8018 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410766314 15508242432 9971 33554432000 4194304 4196468 140721155148800 139739070654992 139739478857429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27779072 140721155154927 140721155155098 140721155155098 140721155157967 0
[pid=8020/tid=8024] ppid=8018 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8020/task/8024/stat : 8024 (java) S 8018 8018 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410766314 15508242432 9971 33554432000 4194304 4196468 140721155148800 139739069602192 139739478857429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27779072 140721155154927 140721155155098 140721155155098 140721155157967 0
[pid=8020/tid=8025] ppid=8018 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8020/task/8025/stat : 8025 (java) S 8018 8018 3331 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410766314 15508242432 9971 33554432000 4194304 4196468 140721155148800 139739068549392 139739478857429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27779072 140721155154927 140721155155098 140721155155098 140721155157967 0
[pid=8020/tid=8026] ppid=8018 vsize=15144768 memory=139899741804160 CPUtime=0 cores=0,2,4,6
/proc/8020/task/8026/stat : 8026 (java) S 8018 8018 3331 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 410766316 15508242432 9971 33554432000 4194304 4196468 140721155148800 139738946775920 139739478858370 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27779072 140721155154927 140721155155098 140721155155098 140721155157967 0
[pid=8020/tid=8027] ppid=8018 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8020/task/8027/stat : 8027 (java) S 8018 8018 3331 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 410766316 15508242432 9971 33554432000 4194304 4196468 140721155148800 139738945721888 139739478857429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27779072 140721155154927 140721155155098 140721155155098 140721155157967 0
[pid=8020/tid=8028] ppid=8018 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8020/task/8028/stat : 8028 (java) S 8018 8018 3331 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 410766316 15508242432 9971 33554432000 4194304 4196468 140721155148800 139738944669040 139739478857429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27779072 140721155154927 140721155155098 140721155155098 140721155157967 0
[pid=8020/tid=8029] ppid=8018 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8020/task/8029/stat : 8029 (java) S 8018 8018 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410766319 15508242432 9971 33554432000 4194304 4196468 140721155148800 139738943617360 139739478865819 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27779072 140721155154927 140721155155098 140721155155098 140721155157967 0
[pid=8020/tid=8030] ppid=8018 vsize=15144768 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/8020/task/8030/stat : 8030 (java) S 8018 8018 3331 0 -1 1077944384 635 0 0 0 3 0 0 0 20 0 15 0 410766319 15508242432 9971 33554432000 4194304 4196468 140721155148800 139738942564720 139739478858370 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27779072 140721155154927 140721155155098 140721155155098 140721155157967 0
[pid=8020/tid=8031] ppid=8018 vsize=15144768 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/8020/task/8031/stat : 8031 (java) S 8018 8018 3331 0 -1 1077944384 165 0 0 0 2 0 0 0 20 0 15 0 410766319 15508242432 9971 33554432000 4194304 4196468 140721155148800 139738941511920 139739478858370 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27779072 140721155154927 140721155155098 140721155155098 140721155157967 0
[pid=8020/tid=8032] ppid=8018 vsize=15144768 memory=139899741804160 CPUtime=0.08 cores=0,2,4,6
/proc/8020/task/8032/stat : 8032 (java) S 8018 8018 3331 0 -1 1077944384 874 0 0 0 8 0 0 0 20 0 15 0 410766319 15508242432 9971 33554432000 4194304 4196468 140721155148800 139738940459120 139739478858370 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27779072 140721155154927 140721155155098 140721155155098 140721155157967 0
[pid=8020/tid=8033] ppid=8018 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8020/task/8033/stat : 8033 (java) S 8018 8018 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410766319 15508242432 9971 33554432000 4194304 4196468 140721155148800 139738939406560 139739478857429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27779072 140721155154927 140721155155098 140721155155098 140721155157967 0
[pid=8020/tid=8034] ppid=8018 vsize=15144768 memory=139899741804160 CPUtime=0 cores=0,2,4,6
/proc/8020/task/8034/stat : 8034 (java) S 8018 8018 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410766319 15508242432 9971 33554432000 4194304 4196468 140721155148800 139738938354864 139739478858370 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27779072 140721155154927 140721155155098 140721155155098 140721155157967 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 41336 KiB

[startup+0.310942 s]*
/proc/loadavg: 8.96 8.50 8.10 8/233 8034
/proc/meminfo: memFree=17602292/32770624 swapFree=66959216/67108860
[pid=8018] ppid=8015 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8018/stat : 8018 (xcsp3-exec) S 8015 8018 3331 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 410766313 115843072 363 33554432000 4194304 5098028 140733779011584 140733779009688 140578398917244 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 30846976 140733779018618 140733779018861 140733779018861 140733779021770 0
/proc/8018/statm: 28282 363 304 221 0 87 0
[pid=8020] ppid=8018 vsize=15149024 memory=48528 CPUtime=0.52 cores=0,2,4,6
/proc/8020/stat : 8020 (java) S 8018 8018 3331 0 -1 1077944320 10974 0 0 0 48 4 0 0 20 0 15 0 410766313 15512600576 12132 33554432000 4194304 4196468 140721155148800 140721155131344 139739478847223 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27779072 140721155154927 140721155155098 140721155155098 140721155157967 0
/proc/8020/statm: 3787256 12132 3355 1 0 3748377 0
[pid=8020/tid=8021] ppid=8018 vsize=15149024 memory=-8976644418600983157 CPUtime=0.3 cores=0,2,4,6
/proc/8020/task/8021/stat : 8021 (java) R 8018 8018 3331 0 -1 4202560 7762 0 0 0 27 3 0 0 20 0 15 0 410766314 15512600576 12132 33554432000 4194304 4196468 140721155148800 139739483078336 139739462927710 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27779072 140721155154927 140721155155098 140721155155098 140721155157967 0
[pid=8020/tid=8022] ppid=8018 vsize=15149024 memory=3472468028636955856 CPUtime=0 cores=0,2,4,6
/proc/8020/task/8022/stat : 8022 (java) S 8018 8018 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410766314 15512600576 12132 33554432000 4194304 4196468 140721155148800 139739446405776 139739478857429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27779072 140721155154927 140721155155098 140721155155098 140721155157967 0
[pid=8020/tid=8023] ppid=8018 vsize=15149024 memory=139899741804160 CPUtime=0 cores=0,2,4,6
/proc/8020/task/8023/stat : 8023 (java) S 8018 8018 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410766314 15512600576 12132 33554432000 4194304 4196468 140721155148800 139739070654992 139739478857429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27779072 140721155154927 140721155155098 140721155155098 140721155157967 0
[pid=8020/tid=8024] ppid=8018 vsize=15149024 memory=6 CPUtime=0 cores=0,2,4,6
/proc/8020/task/8024/stat : 8024 (java) S 8018 8018 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410766314 15512600576 12132 33554432000 4194304 4196468 140721155148800 139739069602192 139739478857429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27779072 140721155154927 140721155155098 140721155155098 140721155157967 0
[pid=8020/tid=8025] ppid=8018 vsize=15149024 memory=139899634329631 CPUtime=0 cores=0,2,4,6
/proc/8020/task/8025/stat : 8025 (java) S 8018 8018 3331 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410766314 15512600576 12132 33554432000 4194304 4196468 140721155148800 139739068549392 139739478857429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27779072 140721155154927 140721155155098 140721155155098 140721155157967 0
[pid=8020/tid=8026] ppid=8018 vsize=15149024 memory=279799268638496 CPUtime=0 cores=0,2,4,6
/proc/8020/task/8026/stat : 8026 (java) S 8018 8018 3331 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 410766316 15512600576 12132 33554432000 4194304 4196468 140721155148800 139738946775920 139739478858370 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27779072 140721155154927 140721155155098 140721155155098 140721155157967 0
[pid=8020/tid=8027] ppid=8018 vsize=15149024 memory=139899634306575 CPUtime=0 cores=0,2,4,6
/proc/8020/task/8027/stat : 8027 (java) S 8018 8018 3331 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 410766316 15512600576 12132 33554432000 4194304 4196468 140721155148800 139738945721888 139739478857429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27779072 140721155154927 140721155155098 140721155155098 140721155157967 0
[pid=8020/tid=8028] ppid=8018 vsize=15149024 memory=279799375993864 CPUtime=0 cores=0,2,4,6
/proc/8020/task/8028/stat : 8028 (java) S 8018 8018 3331 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 410766316 15512600576 12132 33554432000 4194304 4196468 140721155148800 139738944669040 139739478857429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27779072 140721155154927 140721155155098 140721155155098 140721155157967 0
[pid=8020/tid=8029] ppid=8018 vsize=15149024 memory=139899634329631 CPUtime=0 cores=0,2,4,6
/proc/8020/task/8029/stat : 8029 (java) S 8018 8018 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410766319 15512600576 12132 33554432000 4194304 4196468 140721155148800 139738943617360 139739478865819 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27779072 140721155154927 140721155155098 140721155155098 140721155157967 0
[pid=8020/tid=8030] ppid=8018 vsize=15149024 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/8020/task/8030/stat : 8030 (java) R 8018 8018 3331 0 -1 1077944384 645 0 0 0 4 0 0 0 20 0 15 0 410766319 15512600576 12132 33554432000 4194304 4196468 140721155148800 139738942564720 139739478858370 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27779072 140721155154927 140721155155098 140721155155098 140721155157967 0
[pid=8020/tid=8031] ppid=8018 vsize=15149024 memory=-1 CPUtime=0.04 cores=0,2,4,6
/proc/8020/task/8031/stat : 8031 (java) R 8018 8018 3331 0 -1 4202560 242 0 0 0 4 0 0 0 20 0 15 0 410766319 15512600576 12132 33554432000 4194304 4196468 140721155148800 139738941511920 139739478868570 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27779072 140721155154927 140721155155098 140721155155098 140721155157967 0
[pid=8020/tid=8032] ppid=8018 vsize=15149024 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/8020/task/8032/stat : 8032 (java) R 8018 8018 3331 0 -1 4202560 1031 0 0 0 13 0 0 0 20 0 15 0 410766319 15512600576 12132 33554432000 4194304 4196468 140721155148800 139738940459120 139739471088613 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27779072 140721155154927 140721155155098 140721155155098 140721155157967 0
[pid=8020/tid=8033] ppid=8018 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8020/task/8033/stat : 8033 (java) S 8018 8018 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410766319 15512600576 12132 33554432000 4194304 4196468 140721155148800 139738939406560 139739478857429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27779072 140721155154927 140721155155098 140721155155098 140721155157967 0
[pid=8020/tid=8034] ppid=8018 vsize=15149024 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8020/task/8034/stat : 8034 (java) S 8018 8018 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410766319 15512600576 12132 33554432000 4194304 4196468 140721155148800 139738938354864 139739478858370 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27779072 140721155154927 140721155155098 140721155155098 140721155157967 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 49980 KiB

[startup+0.700937 s]
/proc/loadavg: 8.96 8.50 8.10 7/233 8034
/proc/meminfo: memFree=17586072/32770624 swapFree=66959216/67108860
[pid=8018] ppid=8015 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8018/stat : 8018 (xcsp3-exec) S 8015 8018 3331 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 410766313 115843072 363 33554432000 4194304 5098028 140733779011584 140733779009688 140578398917244 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 30846976 140733779018618 140733779018861 140733779018861 140733779021770 0
/proc/8018/statm: 28282 363 304 221 0 87 0
[pid=8020] ppid=8018 vsize=15151148 memory=157900 CPUtime=1.67 cores=0,2,4,6
/proc/8020/stat : 8020 (java) S 8018 8018 3331 0 -1 1077944320 15295 0 0 0 160 7 0 0 20 0 15 0 410766313 15514775552 39475 33554432000 4194304 4196468 140721155148800 140721155131344 139739478847223 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27779072 140721155154927 140721155155098 140721155155098 140721155157967 0
/proc/8020/statm: 3787787 39475 3454 1 0 3748889 0
[pid=8020/tid=8021] ppid=8018 vsize=15151148 memory=4639059877604708710 CPUtime=0.68 cores=0,2,4,6
/proc/8020/task/8021/stat : 8021 (java) R 8018 8018 3331 0 -1 4202560 9260 0 0 0 62 6 0 0 20 0 15 0 410766314 15514775552 39475 33554432000 4194304 4196468 140721155148800 139739483079928 139739119331206 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27779072 140721155154927 140721155155098 140721155155098 140721155157967 0
[pid=8020/tid=8022] ppid=8018 vsize=15151148 memory=6935650355287975249 CPUtime=0 cores=0,2,4,6
/proc/8020/task/8022/stat : 8022 (java) S 8018 8018 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410766314 15514775552 39475 33554432000 4194304 4196468 140721155148800 139739446405776 139739478857429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27779072 140721155154927 140721155155098 140721155155098 140721155157967 0
[pid=8020/tid=8023] ppid=8018 vsize=15151148 memory=6935649255962144081 CPUtime=0 cores=0,2,4,6
/proc/8020/task/8023/stat : 8023 (java) S 8018 8018 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410766314 15514775552 39475 33554432000 4194304 4196468 140721155148800 139739070654992 139739478857429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27779072 140721155154927 140721155155098 140721155155098 140721155157967 0
[pid=8020/tid=8024] ppid=8018 vsize=15151148 memory=7825734864442108491 CPUtime=0 cores=0,2,4,6
/proc/8020/task/8024/stat : 8024 (java) S 8018 8018 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410766314 15514775552 39475 33554432000 4194304 4196468 140721155148800 139739069602192 139739478857429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27779072 140721155154927 140721155155098 140721155155098 140721155157967 0
[pid=8020/tid=8025] ppid=8018 vsize=15151148 memory=7100839870140027543 CPUtime=0 cores=0,2,4,6
/proc/8020/task/8025/stat : 8025 (java) S 8018 8018 3331 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410766314 15514775552 39475 33554432000 4194304 4196468 140721155148800 139739068549392 139739478857429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27779072 140721155154927 140721155155098 140721155155098 140721155157967 0
[pid=8020/tid=8026] ppid=8018 vsize=15151148 memory=6944613755328037012 CPUtime=0 cores=0,2,4,6
/proc/8020/task/8026/stat : 8026 (java) S 8018 8018 3331 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 410766316 15514775552 39475 33554432000 4194304 4196468 140721155148800 139738946775920 139739478858370 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27779072 140721155154927 140721155155098 140721155155098 140721155157967 0
[pid=8020/tid=8027] ppid=8018 vsize=15151148 memory=4612 CPUtime=0 cores=0,2,4,6
/proc/8020/task/8027/stat : 8027 (java) S 8018 8018 3331 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 410766316 15514775552 39475 33554432000 4194304 4196468 140721155148800 139738945721888 139739478857429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27779072 140721155154927 140721155155098 140721155155098 140721155157967 0
[pid=8020/tid=8028] ppid=8018 vsize=15151148 memory=6884 CPUtime=0 cores=0,2,4,6
/proc/8020/task/8028/stat : 8028 (java) S 8018 8018 3331 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 410766316 15514775552 39475 33554432000 4194304 4196468 140721155148800 139738944669040 139739478857429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27779072 140721155154927 140721155155098 140721155155098 140721155157967 0
[pid=8020/tid=8029] ppid=8018 vsize=15151148 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/8020/task/8029/stat : 8029 (java) S 8018 8018 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410766319 15514775552 39475 33554432000 4194304 4196468 140721155148800 139738943617360 139739478865819 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27779072 140721155154927 140721155155098 140721155155098 140721155157967 0
[pid=8020/tid=8030] ppid=8018 vsize=15151148 memory=1660 CPUtime=0.27 cores=0,2,4,6
/proc/8020/task/8030/stat : 8030 (java) R 8018 8018 3331 0 -1 4202560 1622 0 0 0 27 0 0 0 20 0 15 0 410766319 15514775552 39475 33554432000 4194304 4196468 140721155148800 139738942551264 139739462232012 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27779072 140721155154927 140721155155098 140721155155098 140721155157967 0
[pid=8020/tid=8031] ppid=8018 vsize=15151148 memory=38740 CPUtime=0.29 cores=0,2,4,6
/proc/8020/task/8031/stat : 8031 (java) R 8018 8018 3331 0 -1 4202560 1113 0 0 0 29 0 0 0 20 0 15 0 410766319 15514775552 39475 33554432000 4194304 4196468 140721155148800 139738941492936 139739462050724 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27779072 140721155154927 140721155155098 140721155155098 140721155157967 0
[pid=8020/tid=8032] ppid=8018 vsize=15151148 memory=988 CPUtime=0.41 cores=0,2,4,6
/proc/8020/task/8032/stat : 8032 (java) R 8018 8018 3331 0 -1 4202560 1994 0 0 0 41 0 0 0 20 0 15 0 410766319 15514775552 39475 33554432000 4194304 4196468 140721155148800 139738940456056 139739471944059 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27779072 140721155154927 140721155155098 140721155155098 140721155157967 0
[pid=8020/tid=8033] ppid=8018 vsize=15151148 memory=5793994532452520804 CPUtime=0 cores=0,2,4,6
/proc/8020/task/8033/stat : 8033 (java) S 8018 8018 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410766319 15514775552 39475 33554432000 4194304 4196468 140721155148800 139738939406560 139739478857429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27779072 140721155154927 140721155155098 140721155155098 140721155157967 0
[pid=8020/tid=8034] ppid=8018 vsize=15151148 memory=8099279071866868836 CPUtime=0 cores=0,2,4,6
/proc/8020/task/8034/stat : 8034 (java) S 8018 8018 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410766319 15514775552 39475 33554432000 4194304 4196468 140721155148800 139738938354864 139739478858370 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27779072 140721155154927 140721155155098 140721155155098 140721155157967 0
Current children cumulated CPU time: 1.67 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 159352 KiB

[startup+1.50094 s]
/proc/loadavg: 8.96 8.50 8.10 10/233 8034
/proc/meminfo: memFree=17214508/32770624 swapFree=66959216/67108860
[pid=8018] ppid=8015 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8018/stat : 8018 (xcsp3-exec) S 8015 8018 3331 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 410766313 115843072 363 33554432000 4194304 5098028 140733779011584 140733779009688 140578398917244 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 30846976 140733779018618 140733779018861 140733779018861 140733779021770 0
/proc/8018/statm: 28282 363 304 221 0 87 0

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

/proc/8018/stat : 8018 (xcsp3-exec) S 8015 8018 3331 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 410766313 115843072 363 33554432000 4194304 5098028 140733779011584 140733779009688 140578398917244 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 30846976 140733779018618 140733779018861 140733779018861 140733779021770 0
/proc/8018/statm: 28282 363 304 221 0 87 0
[pid=8020] ppid=8018 vsize=15620172 memory=606172 CPUtime=17.17 cores=0,2,4,6
/proc/8020/stat : 8020 (java) S 8018 8018 3331 0 -1 1077944320 25557 0 0 0 1667 50 0 0 20 0 19 0 410766313 15995056128 151543 33554432000 4194304 4196468 140721155148800 140721155131344 139739478847223 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27779072 140721155154927 140721155155098 140721155155098 140721155157967 0
/proc/8020/statm: 3905043 151543 3539 1 0 3866145 0
[pid=8020/tid=8021] ppid=8018 vsize=15620172 memory=8112282956445269571 CPUtime=0.85 cores=0,2,4,6
/proc/8020/task/8021/stat : 8021 (java) S 8018 8018 3331 0 -1 1077944384 9368 0 0 0 79 6 0 0 20 0 19 0 410766314 15995056128 151543 33554432000 4194304 4196468 140721155148800 139739483088000 139739478857429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27779072 140721155154927 140721155155098 140721155155098 140721155157967 0
[pid=8020/tid=8022] ppid=8018 vsize=15620172 memory=591188 CPUtime=0.43 cores=0,2,4,6
/proc/8020/task/8022/stat : 8022 (java) S 8018 8018 3331 0 -1 1077944384 162 0 0 0 34 9 0 0 20 0 19 0 410766314 15995056128 151543 33554432000 4194304 4196468 140721155148800 139739446405776 139739478857429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27779072 140721155154927 140721155155098 140721155155098 140721155157967 0
[pid=8020/tid=8023] ppid=8018 vsize=15620172 memory=1216 CPUtime=0.42 cores=0,2,4,6
/proc/8020/task/8023/stat : 8023 (java) S 8018 8018 3331 0 -1 1077944384 387 0 0 0 33 9 0 0 20 0 19 0 410766314 15995056128 151543 33554432000 4194304 4196468 140721155148800 139739070654992 139739478857429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27779072 140721155154927 140721155155098 140721155155098 140721155157967 0
[pid=8020/tid=8024] ppid=8018 vsize=15620172 memory=984 CPUtime=0.39 cores=0,2,4,6
/proc/8020/task/8024/stat : 8024 (java) S 8018 8018 3331 0 -1 1077944384 225 0 0 0 30 9 0 0 20 0 19 0 410766314 15995056128 151543 33554432000 4194304 4196468 140721155148800 139739069602192 139739478857429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27779072 140721155154927 140721155155098 140721155155098 140721155157967 0
[pid=8020/tid=8025] ppid=8018 vsize=15620172 memory=14004 CPUtime=0.4 cores=0,2,4,6
/proc/8020/task/8025/stat : 8025 (java) S 8018 8018 3331 0 -1 1077944384 592 0 0 0 31 9 0 0 20 0 19 0 410766314 15995056128 151543 33554432000 4194304 4196468 140721155148800 139739068549392 139739478857429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27779072 140721155154927 140721155155098 140721155155098 140721155157967 0
[pid=8020/tid=8026] ppid=8018 vsize=15620172 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/8020/task/8026/stat : 8026 (java) S 8018 8018 3331 0 -1 1077944384 431 0 0 0 2 0 0 0 20 0 19 0 410766316 15995056128 151543 33554432000 4194304 4196468 140721155148800 139738946775920 139739478858370 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27779072 140721155154927 140721155155098 140721155155098 140721155157967 0
[pid=8020/tid=8027] ppid=8018 vsize=15620172 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8020/task/8027/stat : 8027 (java) S 8018 8018 3331 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 410766316 15995056128 151543 33554432000 4194304 4196468 140721155148800 139738945721952 139739478857429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27779072 140721155154927 140721155155098 140721155155098 140721155157967 0
[pid=8020/tid=8028] ppid=8018 vsize=15620172 memory=8112282956445269571 CPUtime=0 cores=0,2,4,6
/proc/8020/task/8028/stat : 8028 (java) S 8018 8018 3331 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 410766316 15995056128 151543 33554432000 4194304 4196468 140721155148800 139738944669056 139739478857429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27779072 140721155154927 140721155155098 140721155155098 140721155157967 0
[pid=8020/tid=8029] ppid=8018 vsize=15620172 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8020/task/8029/stat : 8029 (java) S 8018 8018 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410766319 15995056128 151543 33554432000 4194304 4196468 140721155148800 139738943617360 139739478865819 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27779072 140721155154927 140721155155098 140721155155098 140721155157967 0
[pid=8020/tid=8030] ppid=8018 vsize=15620172 memory=2321383752300051301 CPUtime=1.79 cores=0,2,4,6
/proc/8020/task/8030/stat : 8030 (java) S 8018 8018 3331 0 -1 1077944384 2921 0 0 0 179 0 0 0 20 0 19 0 410766319 15995056128 151543 33554432000 4194304 4196468 140721155148800 139738942564720 139739478858370 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27779072 140721155154927 140721155155098 140721155155098 140721155157967 0
[pid=8020/tid=8031] ppid=8018 vsize=15620172 memory=5937503940875796577 CPUtime=1.89 cores=0,2,4,6
/proc/8020/task/8031/stat : 8031 (java) S 8018 8018 3331 0 -1 1077944384 2982 0 0 0 188 1 0 0 20 0 19 0 410766319 15995056128 151543 33554432000 4194304 4196468 140721155148800 139738941511920 139739478858370 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27779072 140721155154927 140721155155098 140721155155098 140721155157967 0
[pid=8020/tid=8032] ppid=8018 vsize=15620172 memory=4638778437256298592 CPUtime=0.81 cores=0,2,4,6
/proc/8020/task/8032/stat : 8032 (java) S 8018 8018 3331 0 -1 1077944384 3148 0 0 0 80 1 0 0 20 0 19 0 410766319 15995056128 151543 33554432000 4194304 4196468 140721155148800 139738940459120 139739478858370 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27779072 140721155154927 140721155155098 140721155155098 140721155157967 0
[pid=8020/tid=8033] ppid=8018 vsize=15620172 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8020/task/8033/stat : 8033 (java) S 8018 8018 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410766319 15995056128 151543 33554432000 4194304 4196468 140721155148800 139738939406560 139739478857429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27779072 140721155154927 140721155155098 140721155155098 140721155157967 0
[pid=8020/tid=8034] ppid=8018 vsize=15620172 memory=139899634639775 CPUtime=0 cores=0,2,4,6
/proc/8020/task/8034/stat : 8034 (java) S 8018 8018 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410766319 15995056128 151543 33554432000 4194304 4196468 140721155148800 139738938354864 139739478858370 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27779072 140721155154927 140721155155098 140721155155098 140721155157967 0
Current children cumulated CPU time: 17.17 s
Current children cumulated vsize: 15733300 KiB
Current children cumulated memory: 607624 KiB

[startup+5.20094 s]
/proc/loadavg: 9.05 8.52 8.11 10/237 8250
/proc/meminfo: memFree=17041004/32770624 swapFree=66959216/67108860
[pid=8018] ppid=8015 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8018/stat : 8018 (xcsp3-exec) S 8015 8018 3331 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 410766313 115843072 363 33554432000 4194304 5098028 140733779011584 140733779009688 140578398917244 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 30846976 140733779018618 140733779018861 140733779018861 140733779021770 0
/proc/8018/statm: 28282 363 304 221 0 87 0
[pid=8020] ppid=8018 vsize=15620172 memory=608244 CPUtime=18.71 cores=0,2,4,6
/proc/8020/stat : 8020 (java) S 8018 8018 3331 0 -1 1077944320 25721 0 0 0 1820 51 0 0 20 0 19 0 410766313 15995056128 152061 33554432000 4194304 4196468 140721155148800 140721155131344 139739478847223 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27779072 140721155154927 140721155155098 140721155155098 140721155157967 0
/proc/8020/statm: 3905043 152061 3539 1 0 3866145 0
[pid=8020/tid=8021] ppid=8018 vsize=15620172 memory=-6520478321162704286 CPUtime=0.85 cores=0,2,4,6
/proc/8020/task/8021/stat : 8021 (java) S 8018 8018 3331 0 -1 1077944384 9370 0 0 0 79 6 0 0 20 0 19 0 410766314 15995056128 152061 33554432000 4194304 4196468 140721155148800 139739483088000 139739478857429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27779072 140721155154927 140721155155098 140721155155098 140721155157967 0
[pid=8020/tid=8022] ppid=8018 vsize=15620172 memory=-7521736447810188379 CPUtime=0.43 cores=0,2,4,6
/proc/8020/task/8022/stat : 8022 (java) S 8018 8018 3331 0 -1 1077944384 162 0 0 0 34 9 0 0 20 0 19 0 410766314 15995056128 152061 33554432000 4194304 4196468 140721155148800 139739446405776 139739478857429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27779072 140721155154927 140721155155098 140721155155098 140721155157967 0
[pid=8020/tid=8023] ppid=8018 vsize=15620172 memory=-8412652160765825907 CPUtime=0.42 cores=0,2,4,6
/proc/8020/task/8023/stat : 8023 (java) S 8018 8018 3331 0 -1 1077944384 387 0 0 0 33 9 0 0 20 0 19 0 410766314 15995056128 152061 33554432000 4194304 4196468 140721155148800 139739070654992 139739478857429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27779072 140721155154927 140721155155098 140721155155098 140721155157967 0
[pid=8020/tid=8024] ppid=8018 vsize=15620172 memory=-8634980985311628903 CPUtime=0.39 cores=0,2,4,6
/proc/8020/task/8024/stat : 8024 (java) S 8018 8018 3331 0 -1 1077944384 225 0 0 0 30 9 0 0 20 0 19 0 410766314 15995056128 152061 33554432000 4194304 4196468 140721155148800 139739069602192 139739478857429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27779072 140721155154927 140721155155098 140721155155098 140721155157967 0
[pid=8020/tid=8025] ppid=8018 vsize=15620172 memory=7100839878645619564 CPUtime=0.4 cores=0,2,4,6
/proc/8020/task/8025/stat : 8025 (java) S 8018 8018 3331 0 -1 1077944384 592 0 0 0 31 9 0 0 20 0 19 0 410766314 15995056128 152061 33554432000 4194304 4196468 140721155148800 139739068549392 139739478857429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27779072 140721155154927 140721155155098 140721155155098 140721155157967 0
[pid=8020/tid=8026] ppid=8018 vsize=15620172 memory=-8918990855134196790 CPUtime=0.02 cores=0,2,4,6
/proc/8020/task/8026/stat : 8026 (java) S 8018 8018 3331 0 -1 1077944384 431 0 0 0 2 0 0 0 20 0 19 0 410766316 15995056128 152061 33554432000 4194304 4196468 140721155148800 139738946775920 139739478858370 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27779072 140721155154927 140721155155098 140721155155098 140721155157967 0
[pid=8020/tid=8027] ppid=8018 vsize=15620172 memory=6944656591801717918 CPUtime=0 cores=0,2,4,6
/proc/8020/task/8027/stat : 8027 (java) S 8018 8018 3331 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 410766316 15995056128 152061 33554432000 4194304 4196468 140721155148800 139738945721952 139739478857429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27779072 140721155154927 140721155155098 140721155155098 140721155157967 0
[pid=8020/tid=8028] ppid=8018 vsize=15620172 memory=4209357772117481859 CPUtime=0 cores=0,2,4,6
/proc/8020/task/8028/stat : 8028 (java) S 8018 8018 3331 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 410766316 15995056128 152061 33554432000 4194304 4196468 140721155148800 139738944669056 139739478857429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27779072 140721155154927 140721155155098 140721155155098 140721155157967 0
[pid=8020/tid=8029] ppid=8018 vsize=15620172 memory=-7966001734536614954 CPUtime=0 cores=0,2,4,6
/proc/8020/task/8029/stat : 8029 (java) S 8018 8018 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410766319 15995056128 152061 33554432000 4194304 4196468 140721155148800 139738943617360 139739478865819 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27779072 140721155154927 140721155155098 140721155155098 140721155157967 0
[pid=8020/tid=8030] ppid=8018 vsize=15620172 memory=1400242874264906928 CPUtime=1.79 cores=0,2,4,6
/proc/8020/task/8030/stat : 8030 (java) S 8018 8018 3331 0 -1 1077944384 2923 0 0 0 179 0 0 0 20 0 19 0 410766319 15995056128 152061 33554432000 4194304 4196468 140721155148800 139738942564720 139739478858370 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27779072 140721155154927 140721155155098 140721155155098 140721155157967 0
[pid=8020/tid=8031] ppid=8018 vsize=15620172 memory=417 CPUtime=1.89 cores=0,2,4,6
/proc/8020/task/8031/stat : 8031 (java) S 8018 8018 3331 0 -1 1077944384 2987 0 0 0 188 1 0 0 20 0 19 0 410766319 15995056128 152061 33554432000 4194304 4196468 140721155148800 139738941511920 139739478858370 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27779072 140721155154927 140721155155098 140721155155098 140721155157967 0
[pid=8020/tid=8032] ppid=8018 vsize=15620172 memory=7233736994252652628 CPUtime=0.82 cores=0,2,4,6
/proc/8020/task/8032/stat : 8032 (java) S 8018 8018 3331 0 -1 1077944384 3155 0 0 0 81 1 0 0 20 0 19 0 410766319 15995056128 152061 33554432000 4194304 4196468 140721155148800 139738940459120 139739478858370 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27779072 140721155154927 140721155155098 140721155155098 140721155157967 0
[pid=8020/tid=8033] ppid=8018 vsize=15620172 memory=288286688357385047 CPUtime=0 cores=0,2,4,6
/proc/8020/task/8033/stat : 8033 (java) S 8018 8018 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410766319 15995056128 152061 33554432000 4194304 4196468 140721155148800 139738939406560 139739478857429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27779072 140721155154927 140721155155098 140721155155098 140721155157967 0
[pid=8020/tid=8034] ppid=8018 vsize=15620172 memory=3047711566422646390 CPUtime=0 cores=0,2,4,6
/proc/8020/task/8034/stat : 8034 (java) S 8018 8018 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410766319 15995056128 152061 33554432000 4194304 4196468 140721155148800 139738938354864 139739478858370 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27779072 140721155154927 140721155155098 140721155155098 140721155157967 0
Current children cumulated CPU time: 18.71 s
Current children cumulated vsize: 15733300 KiB
Current children cumulated memory: 609696 KiB

[startup+5.40072 s]
/proc/loadavg: 9.05 8.52 8.11 10/237 8250
/proc/meminfo: memFree=17041004/32770624 swapFree=66959216/67108860
[pid=8018] ppid=8015 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8018/stat : 8018 (xcsp3-exec) S 8015 8018 3331 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 410766313 115843072 363 33554432000 4194304 5098028 140733779011584 140733779009688 140578398917244 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 30846976 140733779018618 140733779018861 140733779018861 140733779021770 0
/proc/8018/statm: 28282 363 304 221 0 87 0
[pid=8020] ppid=8018 vsize=15620172 memory=608244 CPUtime=19.51 cores=0,2,4,6
/proc/8020/stat : 8020 (java) S 8018 8018 3331 0 -1 1077944320 25729 0 0 0 1900 51 0 0 20 0 19 0 410766313 15995056128 152061 33554432000 4194304 4196468 140721155148800 140721155131344 139739478847223 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27779072 140721155154927 140721155155098 140721155155098 140721155157967 0
/proc/8020/statm: 3905043 152061 3539 1 0 3866145 0
[pid=8020/tid=8021] ppid=8018 vsize=15620172 memory=6655300316396806240 CPUtime=0.85 cores=0,2,4,6
/proc/8020/task/8021/stat : 8021 (java) S 8018 8018 3331 0 -1 1077944384 9370 0 0 0 79 6 0 0 20 0 19 0 410766314 15995056128 152061 33554432000 4194304 4196468 140721155148800 139739483088000 139739478857429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27779072 140721155154927 140721155155098 140721155155098 140721155157967 0
[pid=8020/tid=8022] ppid=8018 vsize=15620172 memory=0 CPUtime=0.43 cores=0,2,4,6
/proc/8020/task/8022/stat : 8022 (java) S 8018 8018 3331 0 -1 1077944384 162 0 0 0 34 9 0 0 20 0 19 0 410766314 15995056128 152061 33554432000 4194304 4196468 140721155148800 139739446405776 139739478857429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27779072 140721155154927 140721155155098 140721155155098 140721155157967 0
[pid=8020/tid=8023] ppid=8018 vsize=15620172 memory=7681421203011431829 CPUtime=0.42 cores=0,2,4,6
/proc/8020/task/8023/stat : 8023 (java) S 8018 8018 3331 0 -1 1077944384 387 0 0 0 33 9 0 0 20 0 19 0 410766314 15995056128 152061 33554432000 4194304 4196468 140721155148800 139739070654992 139739478857429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27779072 140721155154927 140721155155098 140721155155098 140721155157967 0
[pid=8020/tid=8024] ppid=8018 vsize=15620172 memory=7682475212697334547 CPUtime=0.39 cores=0,2,4,6
/proc/8020/task/8024/stat : 8024 (java) S 8018 8018 3331 0 -1 1077944384 225 0 0 0 30 9 0 0 20 0 19 0 410766314 15995056128 152061 33554432000 4194304 4196468 140721155148800 139739069602192 139739478857429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27779072 140721155154927 140721155155098 140721155155098 140721155157967 0
[pid=8020/tid=8025] ppid=8018 vsize=15620172 memory=8257237230052613020 CPUtime=0.4 cores=0,2,4,6
/proc/8020/task/8025/stat : 8025 (java) S 8018 8018 3331 0 -1 1077944384 592 0 0 0 31 9 0 0 20 0 19 0 410766314 15995056128 152061 33554432000 4194304 4196468 140721155148800 139739068549392 139739478857429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27779072 140721155154927 140721155155098 140721155155098 140721155157967 0
[pid=8020/tid=8026] ppid=8018 vsize=15620172 memory=-7017870212350184252 CPUtime=0.02 cores=0,2,4,6
/proc/8020/task/8026/stat : 8026 (java) S 8018 8018 3331 0 -1 1077944384 431 0 0 0 2 0 0 0 20 0 19 0 410766316 15995056128 152061 33554432000 4194304 4196468 140721155148800 139738946775920 139739478858370 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27779072 140721155154927 140721155155098 140721155155098 140721155157967 0
[pid=8020/tid=8027] ppid=8018 vsize=15620172 memory=8029184101353349482 CPUtime=0 cores=0,2,4,6
/proc/8020/task/8027/stat : 8027 (java) S 8018 8018 3331 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 410766316 15995056128 152061 33554432000 4194304 4196468 140721155148800 139738945721952 139739478857429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27779072 140721155154927 140721155155098 140721155155098 140721155157967 0
[pid=8020/tid=8028] ppid=8018 vsize=15620172 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8020/task/8028/stat : 8028 (java) S 8018 8018 3331 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 410766316 15995056128 152061 33554432000 4194304 4196468 140721155148800 139738944669056 139739478857429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27779072 140721155154927 140721155155098 140721155155098 140721155157967 0
[pid=8020/tid=8029] ppid=8018 vsize=15620172 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8020/task/8029/stat : 8029 (java) S 8018 8018 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410766319 15995056128 152061 33554432000 4194304 4196468 140721155148800 139738943617360 139739478865819 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27779072 140721155154927 140721155155098 140721155155098 140721155157967 0
[pid=8020/tid=8030] ppid=8018 vsize=15620172 memory=0 CPUtime=1.82 cores=0,2,4,6
/proc/8020/task/8030/stat : 8030 (java) R 8018 8018 3331 0 -1 4202560 2923 0 0 0 182 0 0 0 20 0 19 0 410766319 15995056128 152061 33554432000 4194304 4196468 140721155148800 139738942565016 139739459548304 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27779072 140721155154927 140721155155098 140721155155098 140721155157967 0
[pid=8020/tid=8031] ppid=8018 vsize=15620172 memory=0 CPUtime=1.92 cores=0,2,4,6
/proc/8020/task/8031/stat : 8031 (java) R 8018 8018 3331 0 -1 4202560 2990 0 0 0 191 1 0 0 20 0 19 0 410766319 15995056128 152061 33554432000 4194304 4196468 140721155148800 139738941511840 139739463236650 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27779072 140721155154927 140721155155098 140721155155098 140721155157967 0
[pid=8020/tid=8032] ppid=8018 vsize=15620172 memory=0 CPUtime=0.82 cores=0,2,4,6
/proc/8020/task/8032/stat : 8032 (java) S 8018 8018 3331 0 -1 1077944384 3158 0 0 0 81 1 0 0 20 0 19 0 410766319 15995056128 152061 33554432000 4194304 4196468 140721155148800 139738940459120 139739478858370 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27779072 140721155154927 140721155155098 140721155155098 140721155157967 0
[pid=8020/tid=8033] ppid=8018 vsize=15620172 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8020/task/8033/stat : 8033 (java) S 8018 8018 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410766319 15995056128 152061 33554432000 4194304 4196468 140721155148800 139738939406560 139739478857429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27779072 140721155154927 140721155155098 140721155155098 140721155157967 0
[pid=8020/tid=8034] ppid=8018 vsize=15620172 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8020/task/8034/stat : 8034 (java) S 8018 8018 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410766319 15995056128 152061 33554432000 4194304 4196468 140721155148800 139738938354864 139739478858370 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27779072 140721155154927 140721155155098 140721155155098 140721155157967 0
Current children cumulated CPU time: 19.51 s
Current children cumulated vsize: 15733300 KiB
Current children cumulated memory: 609696 KiB

[startup+5.50094 s]
/proc/loadavg: 9.05 8.52 8.11 10/237 8250
/proc/meminfo: memFree=17041004/32770624 swapFree=66959216/67108860
[pid=8018] ppid=8015 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8018/stat : 8018 (xcsp3-exec) S 8015 8018 3331 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 410766313 115843072 363 33554432000 4194304 5098028 140733779011584 140733779009688 140578398917244 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 30846976 140733779018618 140733779018861 140733779018861 140733779021770 0
/proc/8018/statm: 28282 363 304 221 0 87 0
[pid=8020] ppid=8018 vsize=15620172 memory=608280 CPUtime=19.91 cores=0,2,4,6
/proc/8020/stat : 8020 (java) S 8018 8018 3331 0 -1 1077944320 25739 0 0 0 1940 51 0 0 20 0 19 0 410766313 15995056128 152070 33554432000 4194304 4196468 140721155148800 140721155131344 139739478847223 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27779072 140721155154927 140721155155098 140721155155098 140721155157967 0
/proc/8020/statm: 3905043 152070 3539 1 0 3866145 0
[pid=8020/tid=8021] ppid=8018 vsize=15620172 memory=1452 CPUtime=0.85 cores=0,2,4,6
/proc/8020/task/8021/stat : 8021 (java) S 8018 8018 3331 0 -1 1077944384 9370 0 0 0 79 6 0 0 20 0 19 0 410766314 15995056128 152070 33554432000 4194304 4196468 140721155148800 139739483088000 139739478857429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27779072 140721155154927 140721155155098 140721155155098 140721155157967 0
[pid=8020/tid=8022] ppid=8018 vsize=15620172 memory=606172 CPUtime=0.43 cores=0,2,4,6
/proc/8020/task/8022/stat : 8022 (java) S 8018 8018 3331 0 -1 1077944384 162 0 0 0 34 9 0 0 20 0 19 0 410766314 15995056128 152070 33554432000 4194304 4196468 140721155148800 139739446405776 139739478857429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27779072 140721155154927 140721155155098 140721155155098 140721155157967 0
[pid=8020/tid=8023] ppid=8018 vsize=15620172 memory=599832 CPUtime=0.42 cores=0,2,4,6
/proc/8020/task/8023/stat : 8023 (java) S 8018 8018 3331 0 -1 1077944384 387 0 0 0 33 9 0 0 20 0 19 0 410766314 15995056128 152070 33554432000 4194304 4196468 140721155148800 139739070654992 139739478857429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27779072 140721155154927 140721155155098 140721155155098 140721155157967 0
[pid=8020/tid=8024] ppid=8018 vsize=15620172 memory=1966185 CPUtime=0.39 cores=0,2,4,6
/proc/8020/task/8024/stat : 8024 (java) S 8018 8018 3331 0 -1 1077944384 225 0 0 0 30 9 0 0 20 0 19 0 410766314 15995056128 152070 33554432000 4194304 4196468 140721155148800 139739069602192 139739478857429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27779072 140721155154927 140721155155098 140721155155098 140721155157967 0
[pid=8020/tid=8025] ppid=8018 vsize=15620172 memory=1452 CPUtime=0.4 cores=0,2,4,6
/proc/8020/task/8025/stat : 8025 (java) S 8018 8018 3331 0 -1 1077944384 592 0 0 0 31 9 0 0 20 0 19 0 410766314 15995056128 152070 33554432000 4194304 4196468 140721155148800 139739068549392 139739478857429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27779072 140721155154927 140721155155098 140721155155098 140721155157967 0
[pid=8020/tid=8026] ppid=8018 vsize=15620172 memory=593604 CPUtime=0.02 cores=0,2,4,6
/proc/8020/task/8026/stat : 8026 (java) S 8018 8018 3331 0 -1 1077944384 431 0 0 0 2 0 0 0 20 0 19 0 410766316 15995056128 152070 33554432000 4194304 4196468 140721155148800 139738946775920 139739478858370 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27779072 140721155154927 140721155155098 140721155155098 140721155157967 0
[pid=8020/tid=8027] ppid=8018 vsize=15620172 memory=1933 CPUtime=0 cores=0,2,4,6
/proc/8020/task/8027/stat : 8027 (java) S 8018 8018 3331 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 410766316 15995056128 152070 33554432000 4194304 4196468 140721155148800 139738945721952 139739478857429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27779072 140721155154927 140721155155098 140721155155098 140721155157967 0
[pid=8020/tid=8028] ppid=8018 vsize=15620172 memory=56 CPUtime=0 cores=0,2,4,6
/proc/8020/task/8028/stat : 8028 (java) S 8018 8018 3331 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 410766316 15995056128 152070 33554432000 4194304 4196468 140721155148800 139738944669056 139739478857429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27779072 140721155154927 140721155155098 140721155155098 140721155157967 0
[pid=8020/tid=8029] ppid=8018 vsize=15620172 memory=6944656592455088490 CPUtime=0 cores=0,2,4,6
/proc/8020/task/8029/stat : 8029 (java) S 8018 8018 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410766319 15995056128 152070 33554432000 4194304 4196468 140721155148800 139738943617360 139739478865819 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27779072 140721155154927 140721155155098 140721155155098 140721155157967 0
[pid=8020/tid=8030] ppid=8018 vsize=15620172 memory=0 CPUtime=1.86 cores=0,2,4,6
/proc/8020/task/8030/stat : 8030 (java) R 8018 8018 3331 0 -1 4202560 2923 0 0 0 186 0 0 0 20 0 19 0 410766319 15995056128 152070 33554432000 4194304 4196468 140721155148800 139738942565016 139739459547776 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27779072 140721155154927 140721155155098 140721155155098 140721155157967 0
[pid=8020/tid=8031] ppid=8018 vsize=15620172 memory=1452 CPUtime=1.96 cores=0,2,4,6
/proc/8020/task/8031/stat : 8031 (java) S 8018 8018 3331 0 -1 1077944384 2999 0 0 0 195 1 0 0 20 0 19 0 410766319 15995056128 152070 33554432000 4194304 4196468 140721155148800 139738941511920 139739478858370 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27779072 140721155154927 140721155155098 140721155155098 140721155157967 0
[pid=8020/tid=8032] ppid=8018 vsize=15620172 memory=8112282956445269571 CPUtime=0.83 cores=0,2,4,6
/proc/8020/task/8032/stat : 8032 (java) S 8018 8018 3331 0 -1 1077944384 3159 0 0 0 82 1 0 0 20 0 19 0 410766319 15995056128 152070 33554432000 4194304 4196468 140721155148800 139738940459120 139739478858370 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27779072 140721155154927 140721155155098 140721155155098 140721155157967 0
[pid=8020/tid=8033] ppid=8018 vsize=15620172 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8020/task/8033/stat : 8033 (java) S 8018 8018 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410766319 15995056128 152070 33554432000 4194304 4196468 140721155148800 139738939406560 139739478857429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27779072 140721155154927 140721155155098 140721155155098 140721155157967 0
[pid=8020/tid=8034] ppid=8018 vsize=15620172 memory=9047017150487036571 CPUtime=0 cores=0,2,4,6
/proc/8020/task/8034/stat : 8034 (java) S 8018 8018 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410766319 15995056128 152070 33554432000 4194304 4196468 140721155148800 139738938354864 139739478858370 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27779072 140721155154927 140721155155098 140721155155098 140721155157967 0
Current children cumulated CPU time: 19.91 s
Current children cumulated vsize: 15733300 KiB
Current children cumulated memory: 609732 KiB

Child status: 0
Real time (s): 5.59504
CPU time (s): 20.203
CPU user time (s): 19.6822
CPU system time (s): 0.520802
CPU usage (%): 361.088
Max. virtual memory (cumulated for all children) (KiB): 15733300
Max. memory (cumulated for all children) (KiB): 609732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19.6822
system time used= 0.520802
maximum resident set size= 609440
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26328
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3764
involuntary context switches= 818


# summary of solver processes directly reported to runsolver:
#   pid: 8018
#   total CPU time (s): 20.203
#   total CPU user time (s): 19.6822
#   total CPU system time (s): 0.520802

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.060774 second user time and 0.105495 second system time

The end

Launcher Data 

Begin job on node124 at 2019-09-13 06:17:01
IDJOB=4393192
IDBENCH=138308
IDSOLVER=2840
FILE ID=node124/4393192-1568348261
RUNJOBID= node124-1568343408-4478
PBS_JOBID= 21701165
Free space on /tmp= 55340 MiB

SOLVER NAME= choco-solver 2019-06-14
BENCH NAME= XCSP17/Fastfood/Fastfood-m1-s1/Fastfood-ff50.xml
COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 12000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4393192-1568348261/watcher-4393192-1568348261 -o /tmp/evaluation-result-4393192-1568348261/solver-4393192-1568348261 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1568343408-4478 --watchdog 2580  xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1242136948 HOME/instance-4393192-1568348261.xml

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

MD5SUM BENCH= f7819cc540e1493da1332403e09ec21d
RANDOM SEED=1242136948

node124.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.47
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.47
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.47
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.47
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:        17634592 kB
MemAvailable:   29573872 kB
Buffers:          174392 kB
Cached:         11926728 kB
SwapCached:        45864 kB
Active:          3273980 kB
Inactive:       11118380 kB
Active(anon):    2245176 kB
Inactive(anon):    86808 kB
Active(file):    1028804 kB
Inactive(file): 11031572 kB
Unevictable:      107908 kB
Mlocked:          107908 kB
SwapTotal:      67108860 kB
SwapFree:       66959216 kB
Dirty:             25928 kB
Writeback:             0 kB
AnonPages:       2382512 kB
Mapped:            56424 kB
Shmem:             32744 kB
Slab:             336032 kB
SReclaimable:     307364 kB
SUnreclaim:        28668 kB
KernelStack:        4064 kB
PageTables:        10328 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    3610900 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2271232 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      112000 kB
DirectMap2M:    33433600 kB

Free space on /tmp at the end= 55316 MiB
End job on node124 at 2019-09-13 06:17:07