Trace number 4400398

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-09-16OPT583 20.1885 5.68128

General information on the benchmark

NameFastfood/Fastfood-m1-s1/
Fastfood-ff21.xml
MD5SUM9ed96a9b02dc4e036934e9ef3088dc03
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark583
Best CPU time to get the best result obtained on this benchmark12.5948
Satisfiable
(Un)Satisfiability was proved
Number of variables323
Number of constraints319
Number of domains34
Minimum domain size31
Maximum domain size34
Distribution of domain sizes[{"size":31,"count":24},{"size":32,"count":48},{"size":33,"count":108},{"size":34,"count":143}]
Minimum variable degree2
Maximum variable degree54
Distribution of variable degrees[{"degree":2,"count":318},{"degree":54,"count":5}]
Minimum constraint arity2
Maximum constraint arity6
Distribution of constraint arities[{"arity":2,"count":265},{"arity":5,"count":1},{"arity":6,"count":53}]
Number of extensional constraints265
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":265},{"type":"ordered","count":1},{"type":"minimum","count":53}]
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-4400398-1568695964.xml"  -tl '2400s' -p 4
0.13/0.17	c Choco e747e1e
0.13/0.18	c [HOME/instance-4400398-1568695964.xml, -tl, 2400s, -p, 4]
0.13/0.22	c 4 solvers in parallel
0.34/0.28	c parse instance...
2.10/0.81	c solve instance...
3.23/1.11	o 4062 
3.23/1.12	o 4018 
3.23/1.13	o 3892 
3.23/1.19	o 3388 
3.23/1.19	o 3350 
3.23/1.19	o 3314 
3.57/1.22	o 3144 
3.57/1.22	o 3114 
3.57/1.23	o 3088 
3.57/1.23	o 2978 
3.57/1.24	o 2960 
3.57/1.24	o 2852 
3.57/1.25	o 2698 
3.57/1.25	o 2668 
3.57/1.26	o 2414 
3.57/1.27	o 2363 
3.57/1.28	o 2311 
3.57/1.28	o 2284 
3.57/1.29	o 2156 
3.57/1.30	o 2129 
3.91/1.30	o 2114 
3.91/1.32	o 1444 
4.34/1.41	o 1432 
4.34/1.42	o 1418 
4.34/1.42	o 1408 
4.34/1.42	o 1378 
4.34/1.45	o 1376 
4.34/1.46	o 1360 
4.34/1.48	o 1358 
4.67/1.50	o 1208 
5.05/1.62	o 1116 
5.05/1.69	o 1115 
5.45/1.74	o 1099 
5.45/1.74	o 1096 
5.45/1.76	o 1043 
5.45/1.77	o 1025 
5.45/1.77	o 1017 
5.45/1.77	o 982 
5.45/1.77	o 977 
5.45/1.78	o 976 
5.45/1.78	o 964 
5.45/1.79	o 959 
5.45/1.79	o 958 
5.82/1.80	o 956 
5.82/1.81	o 951 
5.82/1.81	o 950 
5.82/1.86	o 937 
5.82/1.87	o 932 
5.82/1.87	o 931 
5.82/1.88	o 916 
5.82/1.89	o 911 
6.18/1.91	o 910 
6.18/1.91	o 898 
6.18/1.92	o 893 
6.18/1.92	o 892 
6.18/1.92	o 890 
6.18/1.93	o 888 
6.18/1.94	o 877 
6.18/1.94	o 874 
6.18/1.97	o 864 
6.18/1.97	o 861 
6.18/1.99	o 853 
6.18/1.99	o 850 
6.18/2.00	o 836 
6.18/2.00	o 816 
6.18/2.00	o 813 
6.47/2.01	o 811 
6.47/2.02	o 808 
6.47/2.02	o 806 
6.47/2.08	o 797 
8.02/2.43	o 795 
8.02/2.43	o 790 
9.15/2.79	o 789 
9.15/2.79	o 787 
9.15/2.79	o 785 
9.15/2.79	o 784 
9.15/2.79	o 782 
9.55/2.87	o 774 
9.55/2.88	o 772 
9.55/2.88	o 763 
9.55/2.89	o 754 
9.95/2.90	o 747 
9.95/2.91	o 738 
9.95/2.91	o 729 
9.95/2.92	o 728 
10.37/3.05	o 727 
10.37/3.05	o 721 
10.37/3.09	o 719 
10.37/3.09	o 708 
10.37/3.09	o 706 
10.37/3.09	o 705 
10.37/3.10	o 703 
10.37/3.10	o 702 
10.73/3.15	o 697 
10.73/3.15	o 695 
10.73/3.16	o 694 
10.73/3.16	o 692 
10.73/3.17	o 691 
11.07/3.21	o 688 
11.07/3.21	o 686 
11.07/3.21	o 685 
11.07/3.21	o 683 
11.07/3.22	o 682 
11.07/3.29	o 676 
11.07/3.29	o 674 
11.07/3.29	o 663 
11.07/3.29	o 661 
11.28/3.30	o 660 
11.28/3.31	o 658 
11.28/3.31	o 657 
11.28/3.34	o 656 
13.22/3.88	o 649 
15.20/4.35	o 647 
15.20/4.36	o 646 
15.20/4.36	o 644 
15.20/4.37	o 643 
15.20/4.39	o 633 
15.20/4.40	o 631 
15.56/4.40	o 625 
15.56/4.40	o 623 
15.56/4.41	o 612 
15.56/4.41	o 610 
15.56/4.41	o 609 
15.56/4.41	o 607 
15.56/4.43	o 606 
15.56/4.46	o 605 
15.56/4.46	o 604 
15.56/4.46	o 602 
15.56/4.46	o 601 
15.56/4.48	o 600 
15.56/4.49	o 599 
17.50/4.97	o 597 
17.50/4.97	o 595 
17.50/4.98	o 594 
17.50/4.98	o 592 
17.50/4.99	o 591 
17.50/5.01	o 590 
17.50/5.01	o 589 
17.84/5.01	o 587 
17.84/5.02	o 586 
17.84/5.04	o 585 
17.84/5.04	o 584 
18.19/5.19	o 583 
20.10/5.67	s OPTIMUM FOUND
20.10/5.67	v <instantiation>
20.10/5.67	v 	<list>x[0] x[1] x[2] x[3] x[4] drd[0][0] drd[0][1] drd[0][2] drd[0][3] drd[0][4] drd[1][0] drd[1][1] drd[1][2] drd[1][3] drd[1][4] drd[2][0] drd[2][1] drd[2][2] drd[2][3] drd[2][4] drd[3][0] drd[3][1] drd[3][2] drd[3][3] drd[3][4] drd[4][0] drd[4][1] drd[4][2] drd[4][3] drd[4][4] drd[5][0] drd[5][1] drd[5][2] drd[5][3] drd[5][4] drd[6][0] drd[6][1] drd[6][2] drd[6][3] drd[6][4] drd[7][0] drd[7][1] drd[7][2] drd[7][3] drd[7][4] drd[8][0] drd[8][1] drd[8][2] drd[8][3] drd[8][4] drd[9][0] drd[9][1] drd[9][2] drd[9][3] drd[9][4] drd[10][0] drd[10][1] drd[10][2] drd[10][3] drd[10][4] drd[11][0] drd[11][1] drd[11][2] drd[11][3] drd[11][4] drd[12][0] drd[12][1] drd[12][2] drd[12][3] drd[12][4] drd[13][0] drd[13][1] drd[13][2] drd[13][3] drd[13][4] drd[14][0] drd[14][1] drd[14][2] drd[14][3] drd[14][4] drd[15][0] drd[15][1] drd[15][2] drd[15][3] drd[15][4] drd[16][0] drd[16][1] drd[16][2] drd[16][3] drd[16][4] drd[17][0] drd[17][1] drd[17][2] drd[17][3] drd[17][4] drd[18][0] drd[18][1] drd[18][2] drd[18][3] drd[18][4] drd[19][0] drd[19][1] drd[19][2] drd[19][3] drd[19][4] drd[20][0] drd[20][1] drd[20][2] drd[20][3] drd[20][4] drd[21][0] drd[21][1] drd[21][2] drd[21][3] drd[21][4] drd[22][0] drd[22][1] drd[22][2] drd[22][3] drd[22][4] drd[23][0] drd[23][1] drd[23][2] drd[23][3] drd[23][4] drd[24][0] drd[24][1] drd[24][2] drd[24][3] drd[24][4] drd[25][0] drd[25][1] drd[25][2] drd[25][3] drd[25][4] drd[26][0] drd[26][1] drd[26][2] drd[26][3] drd[26][4] drd[27][0] drd[27][1] drd[27][2] drd[27][3] drd[27][4] drd[28][0] drd[28][1] drd[28][2] drd[28][3] drd[28][4] drd[29][0] drd[29][1] drd[29][2] drd[29][3] drd[29][4] drd[30][0] drd[30][1] drd[30][2] drd[30][3] drd[30][4] drd[31][0] drd[31][1] drd[31][2] drd[31][3] drd[31][4] drd[32][0] drd[32][1] drd[32][2] drd[32][3] drd[32][4] drd[33][0] drd[33][1] drd[33][2] drd[33][3] drd[33][4] drd[34][0] drd[34][1] drd[34][2] drd[34][3] drd[34][4] drd[35][0] drd[35][1] drd[35][2] drd[35][3] drd[35][4] drd[36][0] drd[36][1] drd[36][2] drd[36][3] drd[36][4] drd[37][0] drd[37][1] drd[37][2] drd[37][3] drd[37][4] drd[38][0] drd[38][1] drd[38][2] drd[38][3] drd[38][4] drd[39][0] drd[39][1] drd[39][2] drd[39][3] drd[39][4] drd[40][0] drd[40][1] drd[40][2] drd[40][3] drd[40][4] drd[41][0] drd[41][1] drd[41][2] drd[41][3] drd[41][4] drd[42][0] drd[42][1] drd[42][2] drd[42][3] drd[42][4] drd[43][0] drd[43][1] drd[43][2] drd[43][3] drd[43][4] drd[44][0] drd[44][1] drd[44][2] drd[44][3] drd[44][4] drd[45][0] drd[45][1] drd[45][2] drd[45][3] drd[45][4] drd[46][0] drd[46][1] drd[46][2] drd[46][3] drd[46][4] drd[47][0] drd[47][1] drd[47][2] drd[47][3] drd[47][4] drd[48][0] drd[48][1] drd[48][2] drd[48][3] drd[48][4] drd[49][0] drd[49][1] drd[49][2] drd[49][3] drd[49][4] drd[50][0] drd[50][1] drd[50][2] drd[50][3] drd[50][4] drd[51][0] drd[51][1] drd[51][2] drd[51][3] drd[51][4] drd[52][0] drd[52][1] drd[52][2] drd[52][3] drd[52][4] dr[0] dr[1] dr[2] dr[3] dr[4] dr[5] dr[6] dr[7] dr[8] dr[9] dr[10] dr[11] dr[12] dr[13] dr[14] dr[15] dr[16] dr[17] dr[18] dr[19] dr[20] dr[21] dr[22] dr[23] dr[24] dr[25] dr[26] dr[27] dr[28] dr[29] dr[30] dr[31] dr[32] dr[33] dr[34] dr[35] dr[36] dr[37] dr[38] dr[39] dr[40] dr[41] dr[42] dr[43] dr[44] dr[45] dr[46] dr[47] dr[48] dr[49] dr[50] dr[51] dr[52] </list>
20.10/5.67	v 	<values>15 52 113 204 277 1 38 99 190 263 1 38 99 190 263 91 54 7 98 171 91 54 7 98 171 36 1 62 153 226 36 1 62 153 226 118 81 20 71 144 118 81 20 71 144 52 15 46 137 210 52 15 46 137 210 11 26 87 178 251 12 25 86 177 250 127 90 29 62 135 0 37 98 189 262 0 37 98 189 262 189 152 91 0 73 188 151 90 1 74 262 225 164 73 0 262 225 164 73 0 35 2 63 154 227 35 2 63 154 227 43 6 55 146 219 42 5 56 147 220 4 41 102 193 266 301 264 203 112 39 42 5 56 147 220 70 33 28 119 192 234 197 136 45 28 29 8 69 160 233 138 101 40 51 124 208 171 110 19 54 208 171 110 19 54 15 52 113 204 277 15 52 113 204 277 30 7 68 159 232 30 7 68 159 232 67 30 31 122 195 260 223 162 71 2 28 9 70 161 234 15 22 83 174 247 15 22 83 174 247 37 0 61 152 225 37 0 61 152 225 179 142 81 10 83 88 51 10 101 174 98 61 0 91 164 98 61 0 91 164 140 103 42 49 122 140 103 42 49 122 43 6 55 146 219 43 6 55 146 219 95 58 3 94 167 95 58 3 94 167 1 1 7 7 1 1 20 20 15 15 11 12 29 0 0 0 1 0 0 2 2 6 5 4 39 5 28 28 8 40 19 19 15 15 7 7 30 2 9 15 15 0 0 10 10 0 0 42 42 6 6 3 3 </values>
20.10/5.67	v </instantiation>

Verifier Data 

OK	583

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400398-1568695964/watcher-4400398-1568695964 -o /tmp/evaluation-result-4400398-1568695964/solver-4400398-1568695964 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node127-1568694277-30438 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 1401652185 HOME/instance-4400398-1568695964.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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=3952, runsolver pid=3949

[startup+0.100726 s]*
/proc/loadavg: 8.43 8.41 7.31 6/235 3968
/proc/meminfo: memFree=29699436/32770624 swapFree=66953076/67108860
[pid=3952] ppid=3949 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/3952/stat : 3952 (xcsp3-exec) S 3949 3952 30406 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445865247 115843072 362 33554432000 4194304 5098028 140723312558544 140723312556648 139856006365820 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 31109120 140723312567162 140723312567405 140723312567405 140723312570314 0
/proc/3952/statm: 28282 362 304 221 0 87 0
[pid=3954] ppid=3952 vsize=15144776 memory=28924 CPUtime=0.13 cores=1,3,5,7
/proc/3954/stat : 3954 (java) S 3952 3952 30406 0 -1 1077944320 5704 0 0 0 13 0 0 0 20 0 15 0 445865248 15508250624 7231 33554432000 4194304 4196468 140729990812432 140729990794976 139765002759927 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 12386304 140729990816751 140729990816922 140729990816922 140729990819791 0
/proc/3954/statm: 3786194 7231 3182 1 0 3748377 0
[pid=3954/tid=3955] ppid=3952 vsize=15144776 memory=576460756329985062 CPUtime=0.09 cores=1,3,5,7
/proc/3954/task/3955/stat : 3955 (java) R 3952 3952 30406 0 -1 4202560 3590 0 0 0 9 0 0 0 20 0 15 0 445865248 15508250624 7297 33554432000 4194304 4196468 140729990812432 139765006989568 139764986803557 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12386304 140729990816751 140729990816922 140729990816922 140729990819791 0
[pid=3954/tid=3956] ppid=3952 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3954/task/3956/stat : 3956 (java) S 3952 3952 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445865249 15508250624 7297 33554432000 4194304 4196468 140729990812432 139764955380624 139765002770133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12386304 140729990816751 140729990816922 140729990816922 140729990819791 0
[pid=3954/tid=3957] ppid=3952 vsize=15144776 memory=4338997459016744992 CPUtime=0 cores=1,3,5,7
/proc/3954/task/3957/stat : 3957 (java) S 3952 3952 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445865249 15508250624 7297 33554432000 4194304 4196468 140729990812432 139764954327824 139765002770133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12386304 140729990816751 140729990816922 140729990816922 140729990819791 0
[pid=3954/tid=3958] ppid=3952 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3954/task/3958/stat : 3958 (java) S 3952 3952 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445865249 15508250624 7297 33554432000 4194304 4196468 140729990812432 139764953275536 139765002770133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12386304 140729990816751 140729990816922 140729990816922 140729990819791 0
[pid=3954/tid=3959] ppid=3952 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3954/task/3959/stat : 3959 (java) S 3952 3952 30406 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445865249 15508250624 7297 33554432000 4194304 4196468 140729990812432 139764952222736 139765002770133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12386304 140729990816751 140729990816922 140729990816922 140729990819791 0
[pid=3954/tid=3960] ppid=3952 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3954/task/3960/stat : 3960 (java) S 3952 3952 30406 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445865250 15508250624 7297 33554432000 4194304 4196468 140729990812432 139764336396400 139765002771074 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12386304 140729990816751 140729990816922 140729990816922 140729990819791 0
[pid=3954/tid=3961] ppid=3952 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3954/task/3961/stat : 3961 (java) S 3952 3952 30406 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445865250 15508250624 7297 33554432000 4194304 4196468 140729990812432 139764335342368 139765002770133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12386304 140729990816751 140729990816922 140729990816922 140729990819791 0
[pid=3954/tid=3962] ppid=3952 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3954/task/3962/stat : 3962 (java) S 3952 3952 30406 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445865251 15508250624 7297 33554432000 4194304 4196468 140729990812432 139764334290032 139765002770133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12386304 140729990816751 140729990816922 140729990816922 140729990819791 0
[pid=3954/tid=3963] ppid=3952 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3954/task/3963/stat : 3963 (java) S 3952 3952 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445865253 15508250624 7297 33554432000 4194304 4196468 140729990812432 139764333238352 139765002778523 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12386304 140729990816751 140729990816922 140729990816922 140729990819791 0
[pid=3954/tid=3964] ppid=3952 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3954/task/3964/stat : 3964 (java) R 3952 3952 30406 0 -1 1077944384 293 0 0 0 0 0 0 0 20 0 15 0 445865253 15508250624 7297 33554432000 4194304 4196468 140729990812432 139764332186320 139765002770133 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12386304 140729990816751 140729990816922 140729990816922 140729990819791 0
[pid=3954/tid=3965] ppid=3952 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3954/task/3965/stat : 3965 (java) R 3952 3952 30406 0 -1 4202560 160 0 0 0 0 0 0 0 20 0 15 0 445865253 15508250624 7297 33554432000 4194304 4196468 140729990812432 139764331124928 139764995865624 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12386304 140729990816751 140729990816922 140729990816922 140729990819791 0
[pid=3954/tid=3966] ppid=3952 vsize=15144776 memory=140650049222272 CPUtime=0.02 cores=1,3,5,7
/proc/3954/task/3966/stat : 3966 (java) R 3952 3952 30406 0 -1 4202560 367 0 0 0 2 0 0 0 20 0 15 0 445865253 15508250624 7297 33554432000 4194304 4196468 140729990812432 139764330078672 139764987311161 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12386304 140729990816751 140729990816922 140729990816922 140729990819791 0
[pid=3954/tid=3967] ppid=3952 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3954/task/3967/stat : 3967 (java) S 3952 3952 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445865253 15508250624 7297 33554432000 4194304 4196468 140729990812432 139764329028576 139765002770133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12386304 140729990816751 140729990816922 140729990816922 140729990819791 0
[pid=3954/tid=3968] ppid=3952 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3954/task/3968/stat : 3968 (java) S 3952 3952 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445865253 15508250624 7297 33554432000 4194304 4196468 140729990812432 139764327975344 139765002771074 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12386304 140729990816751 140729990816922 140729990816922 140729990819791 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30372 KiB

[startup+0.210905 s]*
/proc/loadavg: 8.43 8.41 7.31 6/235 3968
/proc/meminfo: memFree=29686556/32770624 swapFree=66953076/67108860
[pid=3952] ppid=3949 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/3952/stat : 3952 (xcsp3-exec) S 3949 3952 30406 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445865247 115843072 362 33554432000 4194304 5098028 140723312558544 140723312556648 139856006365820 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 31109120 140723312567162 140723312567405 140723312567405 140723312570314 0
/proc/3952/statm: 28282 362 304 221 0 87 0
[pid=3954] ppid=3952 vsize=15144776 memory=40884 CPUtime=0.34 cores=1,3,5,7
/proc/3954/stat : 3954 (java) S 3952 3952 30406 0 -1 1077944320 9463 0 0 0 32 2 0 0 20 0 15 0 445865248 15508250624 10221 33554432000 4194304 4196468 140729990812432 140729990794976 139765002759927 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 12386304 140729990816751 140729990816922 140729990816922 140729990819791 0
/proc/3954/statm: 3786194 10221 3302 1 0 3748377 0
[pid=3954/tid=3955] ppid=3952 vsize=15144776 memory=7022364632946311227 CPUtime=0.2 cores=1,3,5,7
/proc/3954/task/3955/stat : 3955 (java) R 3952 3952 30406 0 -1 4202560 6642 0 0 0 18 2 0 0 20 0 15 0 445865248 15508250624 10284 33554432000 4194304 4196468 140729990812432 139765006997744 139764986840414 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12386304 140729990816751 140729990816922 140729990816922 140729990819791 0
[pid=3954/tid=3956] ppid=3952 vsize=15144776 memory=4296914231 CPUtime=0 cores=1,3,5,7
/proc/3954/task/3956/stat : 3956 (java) S 3952 3952 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445865249 15508250624 10284 33554432000 4194304 4196468 140729990812432 139764955380624 139765002770133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12386304 140729990816751 140729990816922 140729990816922 140729990819791 0
[pid=3954/tid=3957] ppid=3952 vsize=15144776 memory=140650052529184 CPUtime=0 cores=1,3,5,7
/proc/3954/task/3957/stat : 3957 (java) S 3952 3952 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445865249 15508250624 10284 33554432000 4194304 4196468 140729990812432 139764954327824 139765002770133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12386304 140729990816751 140729990816922 140729990816922 140729990819791 0
[pid=3954/tid=3958] ppid=3952 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3954/task/3958/stat : 3958 (java) S 3952 3952 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445865249 15508250624 10284 33554432000 4194304 4196468 140729990812432 139764953275536 139765002770133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12386304 140729990816751 140729990816922 140729990816922 140729990819791 0
[pid=3954/tid=3959] ppid=3952 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3954/task/3959/stat : 3959 (java) S 3952 3952 30406 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445865249 15508250624 10284 33554432000 4194304 4196468 140729990812432 139764952222736 139765002770133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12386304 140729990816751 140729990816922 140729990816922 140729990819791 0
[pid=3954/tid=3960] ppid=3952 vsize=15144776 memory=140650049222272 CPUtime=0 cores=1,3,5,7
/proc/3954/task/3960/stat : 3960 (java) S 3952 3952 30406 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445865250 15508250624 10284 33554432000 4194304 4196468 140729990812432 139764336396400 139765002771074 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12386304 140729990816751 140729990816922 140729990816922 140729990819791 0
[pid=3954/tid=3961] ppid=3952 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3954/task/3961/stat : 3961 (java) S 3952 3952 30406 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445865250 15508250624 10284 33554432000 4194304 4196468 140729990812432 139764335342368 139765002770133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12386304 140729990816751 140729990816922 140729990816922 140729990819791 0
[pid=3954/tid=3962] ppid=3952 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3954/task/3962/stat : 3962 (java) S 3952 3952 30406 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445865251 15508250624 10284 33554432000 4194304 4196468 140729990812432 139764334290032 139765002770133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12386304 140729990816751 140729990816922 140729990816922 140729990819791 0
[pid=3954/tid=3963] ppid=3952 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3954/task/3963/stat : 3963 (java) S 3952 3952 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445865253 15508250624 10284 33554432000 4194304 4196468 140729990812432 139764333238352 139765002778523 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12386304 140729990816751 140729990816922 140729990816922 140729990819791 0
[pid=3954/tid=3964] ppid=3952 vsize=15144776 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/3954/task/3964/stat : 3964 (java) S 3952 3952 30406 0 -1 1077944384 487 0 0 0 2 0 0 0 20 0 15 0 445865253 15508250624 10284 33554432000 4194304 4196468 140729990812432 139764332186224 139765002771074 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12386304 140729990816751 140729990816922 140729990816922 140729990819791 0
[pid=3954/tid=3965] ppid=3952 vsize=15144776 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/3954/task/3965/stat : 3965 (java) S 3952 3952 30406 0 -1 1077944384 266 0 0 0 3 0 0 0 20 0 15 0 445865253 15508250624 10284 33554432000 4194304 4196468 140729990812432 139764331133424 139765002771074 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12386304 140729990816751 140729990816922 140729990816922 140729990819791 0
[pid=3954/tid=3966] ppid=3952 vsize=15144776 memory=140650049222272 CPUtime=0.08 cores=1,3,5,7
/proc/3954/task/3966/stat : 3966 (java) S 3952 3952 30406 0 -1 1077944384 782 0 0 0 8 0 0 0 20 0 15 0 445865253 15508250624 10284 33554432000 4194304 4196468 140729990812432 139764330081136 139765002771074 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12386304 140729990816751 140729990816922 140729990816922 140729990819791 0
[pid=3954/tid=3967] ppid=3952 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3954/task/3967/stat : 3967 (java) S 3952 3952 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445865253 15508250624 10284 33554432000 4194304 4196468 140729990812432 139764329028576 139765002770133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12386304 140729990816751 140729990816922 140729990816922 140729990819791 0
[pid=3954/tid=3968] ppid=3952 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3954/task/3968/stat : 3968 (java) S 3952 3952 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445865253 15508250624 10284 33554432000 4194304 4196468 140729990812432 139764327975344 139765002771074 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12386304 140729990816751 140729990816922 140729990816922 140729990819791 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42332 KiB

[startup+0.310744 s]*
/proc/loadavg: 8.43 8.41 7.31 7/235 3968
/proc/meminfo: memFree=29679276/32770624 swapFree=66953076/67108860
[pid=3952] ppid=3949 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/3952/stat : 3952 (xcsp3-exec) S 3949 3952 30406 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445865247 115843072 362 33554432000 4194304 5098028 140723312558544 140723312556648 139856006365820 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 31109120 140723312567162 140723312567405 140723312567405 140723312570314 0
/proc/3952/statm: 28282 362 304 221 0 87 0
[pid=3954] ppid=3952 vsize=15149032 memory=50392 CPUtime=0.53 cores=1,3,5,7
/proc/3954/stat : 3954 (java) S 3952 3952 30406 0 -1 1077944320 10923 0 0 0 49 4 0 0 20 0 15 0 445865248 15512608768 12598 33554432000 4194304 4196468 140729990812432 140729990794976 139765002759927 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 12386304 140729990816751 140729990816922 140729990816922 140729990819791 0
/proc/3954/statm: 3787258 12598 3372 1 0 3748377 0
[pid=3954/tid=3955] ppid=3952 vsize=15149032 memory=8317482817917895235 CPUtime=0.3 cores=1,3,5,7
/proc/3954/task/3955/stat : 3955 (java) R 3952 3952 30406 0 -1 4202560 7855 0 0 0 28 2 0 0 20 0 15 0 445865248 15512608768 12598 33554432000 4194304 4196468 140729990812432 139765006991040 139765002781853 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12386304 140729990816751 140729990816922 140729990816922 140729990819791 0
[pid=3954/tid=3956] ppid=3952 vsize=15149032 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/3954/task/3956/stat : 3956 (java) S 3952 3952 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445865249 15512608768 12598 33554432000 4194304 4196468 140729990812432 139764955380624 139765002770133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12386304 140729990816751 140729990816922 140729990816922 140729990819791 0
[pid=3954/tid=3957] ppid=3952 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3954/task/3957/stat : 3957 (java) S 3952 3952 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445865249 15512608768 12598 33554432000 4194304 4196468 140729990812432 139764954327824 139765002770133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12386304 140729990816751 140729990816922 140729990816922 140729990819791 0
[pid=3954/tid=3958] ppid=3952 vsize=15149032 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/3954/task/3958/stat : 3958 (java) S 3952 3952 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445865249 15512608768 12598 33554432000 4194304 4196468 140729990812432 139764953275536 139765002770133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12386304 140729990816751 140729990816922 140729990816922 140729990819791 0
[pid=3954/tid=3959] ppid=3952 vsize=15149032 memory=35809 CPUtime=0 cores=1,3,5,7
/proc/3954/task/3959/stat : 3959 (java) S 3952 3952 30406 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445865249 15512608768 12598 33554432000 4194304 4196468 140729990812432 139764952222736 139765002770133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12386304 140729990816751 140729990816922 140729990816922 140729990819791 0
[pid=3954/tid=3960] ppid=3952 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3954/task/3960/stat : 3960 (java) S 3952 3952 30406 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445865250 15512608768 12598 33554432000 4194304 4196468 140729990812432 139764336396400 139765002771074 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12386304 140729990816751 140729990816922 140729990816922 140729990819791 0
[pid=3954/tid=3961] ppid=3952 vsize=15149032 memory=9122464004270842071 CPUtime=0 cores=1,3,5,7
/proc/3954/task/3961/stat : 3961 (java) S 3952 3952 30406 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445865250 15512608768 12598 33554432000 4194304 4196468 140729990812432 139764335342368 139765002770133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12386304 140729990816751 140729990816922 140729990816922 140729990819791 0
[pid=3954/tid=3962] ppid=3952 vsize=15149032 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/3954/task/3962/stat : 3962 (java) S 3952 3952 30406 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445865251 15512608768 12598 33554432000 4194304 4196468 140729990812432 139764334290032 139765002770133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12386304 140729990816751 140729990816922 140729990816922 140729990819791 0
[pid=3954/tid=3963] ppid=3952 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/3954/task/3963/stat : 3963 (java) S 3952 3952 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445865253 15512608768 12598 33554432000 4194304 4196468 140729990812432 139764333238352 139765002778523 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12386304 140729990816751 140729990816922 140729990816922 140729990819791 0
[pid=3954/tid=3964] ppid=3952 vsize=15149032 memory=6944652177228980320 CPUtime=0.03 cores=1,3,5,7
/proc/3954/task/3964/stat : 3964 (java) S 3952 3952 30406 0 -1 1077944384 532 0 0 0 3 0 0 0 20 0 15 0 445865253 15512608768 12598 33554432000 4194304 4196468 140729990812432 139764332186224 139765002771074 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12386304 140729990816751 140729990816922 140729990816922 140729990819791 0
[pid=3954/tid=3965] ppid=3952 vsize=15149032 memory=-6654736624941491801 CPUtime=0.05 cores=1,3,5,7
/proc/3954/task/3965/stat : 3965 (java) S 3952 3952 30406 0 -1 1077944384 374 0 0 0 5 0 0 0 20 0 15 0 445865253 15512608768 12598 33554432000 4194304 4196468 140729990812432 139764331133424 139765002771074 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12386304 140729990816751 140729990816922 140729990816922 140729990819791 0
[pid=3954/tid=3966] ppid=3952 vsize=15149032 memory=5792585022635482273 CPUtime=0.12 cores=1,3,5,7
/proc/3954/task/3966/stat : 3966 (java) S 3952 3952 30406 0 -1 1077944384 882 0 0 0 12 0 0 0 20 0 15 0 445865253 15512608768 12598 33554432000 4194304 4196468 140729990812432 139764330081136 139765002771074 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12386304 140729990816751 140729990816922 140729990816922 140729990819791 0
[pid=3954/tid=3967] ppid=3952 vsize=15149032 memory=6944656592455350634 CPUtime=0 cores=1,3,5,7
/proc/3954/task/3967/stat : 3967 (java) S 3952 3952 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445865253 15512608768 12598 33554432000 4194304 4196468 140729990812432 139764329028576 139765002770133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12386304 140729990816751 140729990816922 140729990816922 140729990819791 0
[pid=3954/tid=3968] ppid=3952 vsize=15149032 memory=-8675733323038954102 CPUtime=0 cores=1,3,5,7
/proc/3954/task/3968/stat : 3968 (java) S 3952 3952 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445865253 15512608768 12598 33554432000 4194304 4196468 140729990812432 139764327975344 139765002771074 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12386304 140729990816751 140729990816922 140729990816922 140729990819791 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51840 KiB

[startup+0.701201 s]
/proc/loadavg: 8.43 8.41 7.31 8/235 3968
/proc/meminfo: memFree=29664576/32770624 swapFree=66953076/67108860
[pid=3952] ppid=3949 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/3952/stat : 3952 (xcsp3-exec) S 3949 3952 30406 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445865247 115843072 362 33554432000 4194304 5098028 140723312558544 140723312556648 139856006365820 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 31109120 140723312567162 140723312567405 140723312567405 140723312570314 0
/proc/3952/statm: 28282 362 304 221 0 87 0
[pid=3954] ppid=3952 vsize=15151156 memory=107316 CPUtime=1.73 cores=1,3,5,7
/proc/3954/stat : 3954 (java) S 3952 3952 30406 0 -1 1077944320 14543 0 0 0 167 6 0 0 20 0 15 0 445865248 15514783744 26829 33554432000 4194304 4196468 140729990812432 140729990794976 139765002759927 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 12386304 140729990816751 140729990816922 140729990816922 140729990819791 0
/proc/3954/statm: 3787789 26829 3441 1 0 3748889 0
[pid=3954/tid=3955] ppid=3952 vsize=15151156 memory=4137303382726774134 CPUtime=0.67 cores=1,3,5,7
/proc/3954/task/3955/stat : 3955 (java) R 3952 3952 30406 0 -1 4202560 8769 0 0 0 64 3 0 0 20 0 15 0 445865248 15514783744 26829 33554432000 4194304 4196468 140729990812432 139765006997456 139764628066361 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12386304 140729990816751 140729990816922 140729990816922 140729990819791 0
[pid=3954/tid=3956] ppid=3952 vsize=15151156 memory=7019257425709197167 CPUtime=0 cores=1,3,5,7
/proc/3954/task/3956/stat : 3956 (java) S 3952 3952 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445865249 15514783744 26829 33554432000 4194304 4196468 140729990812432 139764955380624 139765002770133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12386304 140729990816751 140729990816922 140729990816922 140729990819791 0
[pid=3954/tid=3957] ppid=3952 vsize=15151156 memory=6940443203498692944 CPUtime=0 cores=1,3,5,7
/proc/3954/task/3957/stat : 3957 (java) S 3952 3952 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445865249 15514783744 26829 33554432000 4194304 4196468 140729990812432 139764954327824 139765002770133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12386304 140729990816751 140729990816922 140729990816922 140729990819791 0
[pid=3954/tid=3958] ppid=3952 vsize=15151156 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/3954/task/3958/stat : 3958 (java) S 3952 3952 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445865249 15514783744 26829 33554432000 4194304 4196468 140729990812432 139764953275536 139765002770133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12386304 140729990816751 140729990816922 140729990816922 140729990819791 0
[pid=3954/tid=3959] ppid=3952 vsize=15151156 memory=4156 CPUtime=0 cores=1,3,5,7
/proc/3954/task/3959/stat : 3959 (java) S 3952 3952 30406 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445865249 15514783744 26829 33554432000 4194304 4196468 140729990812432 139764952222736 139765002770133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12386304 140729990816751 140729990816922 140729990816922 140729990819791 0
[pid=3954/tid=3960] ppid=3952 vsize=15151156 memory=1056 CPUtime=0 cores=1,3,5,7
/proc/3954/task/3960/stat : 3960 (java) S 3952 3952 30406 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445865250 15514783744 26829 33554432000 4194304 4196468 140729990812432 139764336396400 139765002771074 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12386304 140729990816751 140729990816922 140729990816922 140729990819791 0
[pid=3954/tid=3961] ppid=3952 vsize=15151156 memory=1188 CPUtime=0 cores=1,3,5,7
/proc/3954/task/3961/stat : 3961 (java) S 3952 3952 30406 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445865250 15514783744 26829 33554432000 4194304 4196468 140729990812432 139764335342368 139765002770133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12386304 140729990816751 140729990816922 140729990816922 140729990819791 0
[pid=3954/tid=3962] ppid=3952 vsize=15151156 memory=1536 CPUtime=0 cores=1,3,5,7
/proc/3954/task/3962/stat : 3962 (java) S 3952 3952 30406 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445865251 15514783744 26829 33554432000 4194304 4196468 140729990812432 139764334290032 139765002770133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12386304 140729990816751 140729990816922 140729990816922 140729990819791 0
[pid=3954/tid=3963] ppid=3952 vsize=15151156 memory=9592 CPUtime=0 cores=1,3,5,7
/proc/3954/task/3963/stat : 3963 (java) S 3952 3952 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445865253 15514783744 26829 33554432000 4194304 4196468 140729990812432 139764333238352 139765002778523 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12386304 140729990816751 140729990816922 140729990816922 140729990819791 0
[pid=3954/tid=3964] ppid=3952 vsize=15151156 memory=2828 CPUtime=0.31 cores=1,3,5,7
/proc/3954/task/3964/stat : 3964 (java) R 3952 3952 30406 0 -1 4202560 1244 0 0 0 31 0 0 0 20 0 15 0 445865253 15514783744 26829 33554432000 4194304 4196468 140729990812432 139764332179248 139764981978855 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12386304 140729990816751 140729990816922 140729990816922 140729990819791 0
[pid=3954/tid=3965] ppid=3952 vsize=15151156 memory=780 CPUtime=0.27 cores=1,3,5,7
/proc/3954/task/3965/stat : 3965 (java) R 3952 3952 30406 0 -1 4202560 1035 0 0 0 27 0 0 0 20 0 15 0 445865253 15514783744 26829 33554432000 4194304 4196468 140729990812432 139764331120944 139764986251681 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12386304 140729990816751 140729990816922 140729990816922 140729990819791 0
[pid=3954/tid=3966] ppid=3952 vsize=15151156 memory=620 CPUtime=0.43 cores=1,3,5,7
/proc/3954/task/3966/stat : 3966 (java) R 3952 3952 30406 0 -1 4202560 2189 0 0 0 42 1 0 0 20 0 15 0 445865253 15514783744 26829 33554432000 4194304 4196468 140729990812432 139764330081136 139764995076462 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12386304 140729990816751 140729990816922 140729990816922 140729990819791 0
[pid=3954/tid=3967] ppid=3952 vsize=15151156 memory=1496 CPUtime=0 cores=1,3,5,7
/proc/3954/task/3967/stat : 3967 (java) S 3952 3952 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445865253 15514783744 26829 33554432000 4194304 4196468 140729990812432 139764329028576 139765002770133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12386304 140729990816751 140729990816922 140729990816922 140729990819791 0
[pid=3954/tid=3968] ppid=3952 vsize=15151156 memory=1016 CPUtime=0 cores=1,3,5,7
/proc/3954/task/3968/stat : 3968 (java) S 3952 3952 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445865253 15514783744 26829 33554432000 4194304 4196468 140729990812432 139764327975344 139765002771074 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12386304 140729990816751 140729990816922 140729990816922 140729990819791 0
Current children cumulated CPU time: 1.73 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 108764 KiB

[startup+1.50082 s]
/proc/loadavg: 8.43 8.41 7.31 11/239 3972
/proc/meminfo: memFree=29569508/32770624 swapFree=66953076/67108860
[pid=3952] ppid=3949 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/3952/stat : 3952 (xcsp3-exec) S 3949 3952 30406 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445865247 115843072 362 33554432000 4194304 5098028 140723312558544 140723312556648 139856006365820 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 31109120 140723312567162 140723312567405 140723312567405 140723312570314 0
/proc/3952/statm: 28282 362 304 221 0 87 0

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

/proc/3952/stat : 3952 (xcsp3-exec) S 3949 3952 30406 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445865247 115843072 362 33554432000 4194304 5098028 140723312558544 140723312556648 139856006365820 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 31109120 140723312567162 140723312567405 140723312567405 140723312570314 0
/proc/3952/statm: 28282 362 304 221 0 87 0
[pid=3954] ppid=3952 vsize=15552588 memory=432536 CPUtime=11.07 cores=1,3,5,7
/proc/3954/stat : 3954 (java) S 3952 3952 30406 0 -1 1077944320 29596 0 0 0 1080 27 0 0 20 0 19 0 445865248 15925850112 108134 33554432000 4194304 4196468 140729990812432 140729990794976 139765002759927 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 12386304 140729990816751 140729990816922 140729990816922 140729990819791 0
/proc/3954/statm: 3888147 108134 3520 1 0 3849247 0
[pid=3954/tid=3955] ppid=3952 vsize=15552588 memory=8594181552778814874 CPUtime=0.85 cores=1,3,5,7
/proc/3954/task/3955/stat : 3955 (java) S 3952 3952 30406 0 -1 1077944384 8874 0 0 0 80 5 0 0 20 0 19 0 445865248 15925850112 108134 33554432000 4194304 4196468 140729990812432 139765007000704 139765002770133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12386304 140729990816751 140729990816922 140729990816922 140729990819791 0
[pid=3954/tid=3956] ppid=3952 vsize=15552588 memory=-1664385933527490352 CPUtime=0.08 cores=1,3,5,7
/proc/3954/task/3956/stat : 3956 (java) S 3952 3952 30406 0 -1 1077944384 245 0 0 0 5 3 0 0 20 0 19 0 445865249 15925850112 108134 33554432000 4194304 4196468 140729990812432 139764955380624 139765002770133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12386304 140729990816751 140729990816922 140729990816922 140729990819791 0
[pid=3954/tid=3957] ppid=3952 vsize=15552588 memory=9122464004270842071 CPUtime=0.07 cores=1,3,5,7
/proc/3954/task/3957/stat : 3957 (java) S 3952 3952 30406 0 -1 1077944384 122 0 0 0 5 2 0 0 20 0 19 0 445865249 15925850112 108134 33554432000 4194304 4196468 140729990812432 139764954327824 139765002770133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12386304 140729990816751 140729990816922 140729990816922 140729990819791 0
[pid=3954/tid=3958] ppid=3952 vsize=15552588 memory=-6725936207509371738 CPUtime=0.08 cores=1,3,5,7
/proc/3954/task/3958/stat : 3958 (java) S 3952 3952 30406 0 -1 1077944384 128 0 0 0 5 3 0 0 20 0 19 0 445865249 15925850112 108134 33554432000 4194304 4196468 140729990812432 139764953275536 139765002770133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12386304 140729990816751 140729990816922 140729990816922 140729990819791 0
[pid=3954/tid=3959] ppid=3952 vsize=15552588 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3954/task/3959/stat : 3959 (java) S 3952 3952 30406 0 -1 1077944384 235 0 0 0 5 2 0 0 20 0 19 0 445865249 15925850112 108134 33554432000 4194304 4196468 140729990812432 139764952222736 139765002770133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12386304 140729990816751 140729990816922 140729990816922 140729990819791 0
[pid=3954/tid=3960] ppid=3952 vsize=15552588 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3954/task/3960/stat : 3960 (java) S 3952 3952 30406 0 -1 1077944384 209 0 0 0 0 0 0 0 20 0 19 0 445865250 15925850112 108134 33554432000 4194304 4196468 140729990812432 139764336396400 139765002771074 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12386304 140729990816751 140729990816922 140729990816922 140729990819791 0
[pid=3954/tid=3961] ppid=3952 vsize=15552588 memory=3467825834884673858 CPUtime=0 cores=1,3,5,7
/proc/3954/task/3961/stat : 3961 (java) S 3952 3952 30406 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 445865250 15925850112 108134 33554432000 4194304 4196468 140729990812432 139764335342432 139765002770133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12386304 140729990816751 140729990816922 140729990816922 140729990819791 0
[pid=3954/tid=3962] ppid=3952 vsize=15552588 memory=7734758982436808551 CPUtime=0 cores=1,3,5,7
/proc/3954/task/3962/stat : 3962 (java) S 3952 3952 30406 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 445865251 15925850112 108134 33554432000 4194304 4196468 140729990812432 139764334290048 139765002770133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12386304 140729990816751 140729990816922 140729990816922 140729990819791 0
[pid=3954/tid=3963] ppid=3952 vsize=15552588 memory=7012222642871624552 CPUtime=0 cores=1,3,5,7
/proc/3954/task/3963/stat : 3963 (java) S 3952 3952 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445865253 15925850112 108134 33554432000 4194304 4196468 140729990812432 139764333238352 139765002778523 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12386304 140729990816751 140729990816922 140729990816922 140729990819791 0
[pid=3954/tid=3964] ppid=3952 vsize=15552588 memory=6008171799846735971 CPUtime=2.08 cores=1,3,5,7
/proc/3954/task/3964/stat : 3964 (java) R 3952 3952 30406 0 -1 1077944384 5307 0 0 0 207 1 0 0 20 0 19 0 445865253 15925850112 108134 33554432000 4194304 4196468 140729990812432 139764332186224 139765002771074 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12386304 140729990816751 140729990816922 140729990816922 140729990819791 0
[pid=3954/tid=3965] ppid=3952 vsize=15552588 memory=7012222642871624552 CPUtime=2.06 cores=1,3,5,7
/proc/3954/task/3965/stat : 3965 (java) S 3952 3952 30406 0 -1 1077944384 2693 0 0 0 206 0 0 0 20 0 19 0 445865253 15925850112 108134 33554432000 4194304 4196468 140729990812432 139764331133424 139765002771074 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12386304 140729990816751 140729990816922 140729990816922 140729990819791 0
[pid=3954/tid=3966] ppid=3952 vsize=15552588 memory=288230574492221466 CPUtime=0.79 cores=1,3,5,7
/proc/3954/task/3966/stat : 3966 (java) S 3952 3952 30406 0 -1 1077944384 3502 0 0 0 77 2 0 0 20 0 19 0 445865253 15925850112 108134 33554432000 4194304 4196468 140729990812432 139764330081136 139765002771074 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12386304 140729990816751 140729990816922 140729990816922 140729990819791 0
[pid=3954/tid=3967] ppid=3952 vsize=15552588 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3954/task/3967/stat : 3967 (java) S 3952 3952 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445865253 15925850112 108134 33554432000 4194304 4196468 140729990812432 139764329028576 139765002770133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12386304 140729990816751 140729990816922 140729990816922 140729990819791 0
[pid=3954/tid=3968] ppid=3952 vsize=15552588 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3954/task/3968/stat : 3968 (java) S 3952 3952 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445865253 15925850112 108134 33554432000 4194304 4196468 140729990812432 139764327975344 139765002771074 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12386304 140729990816751 140729990816922 140729990816922 140729990819791 0
Current children cumulated CPU time: 11.07 s
Current children cumulated vsize: 15665716 KiB
Current children cumulated memory: 433984 KiB

[startup+4.8012 s]
/proc/loadavg: 8.43 8.41 7.31 11/238 4421
/proc/meminfo: memFree=29258440/32770624 swapFree=66953076/67108860
[pid=3952] ppid=3949 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/3952/stat : 3952 (xcsp3-exec) S 3949 3952 30406 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445865247 115843072 362 33554432000 4194304 5098028 140723312558544 140723312556648 139856006365820 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 31109120 140723312567162 140723312567405 140723312567405 140723312570314 0
/proc/3952/statm: 28282 362 304 221 0 87 0
[pid=3954] ppid=3952 vsize=15552588 memory=585360 CPUtime=17.06 cores=1,3,5,7
/proc/3954/stat : 3954 (java) S 3952 3952 30406 0 -1 1077944320 32249 0 0 0 1673 33 0 0 20 0 19 0 445865248 15925850112 146340 33554432000 4194304 4196468 140729990812432 140729990794976 139765002759927 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 12386304 140729990816751 140729990816922 140729990816922 140729990819791 0
/proc/3954/statm: 3888147 146340 3523 1 0 3849247 0
[pid=3954/tid=3955] ppid=3952 vsize=15552588 memory=8112282956445269571 CPUtime=0.86 cores=1,3,5,7
/proc/3954/task/3955/stat : 3955 (java) S 3952 3952 30406 0 -1 1077944384 8887 0 0 0 81 5 0 0 20 0 19 0 445865248 15925850112 146340 33554432000 4194304 4196468 140729990812432 139765007000704 139765002770133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12386304 140729990816751 140729990816922 140729990816922 140729990819791 0
[pid=3954/tid=3956] ppid=3952 vsize=15552588 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/3954/task/3956/stat : 3956 (java) S 3952 3952 30406 0 -1 1077944384 255 0 0 0 6 3 0 0 20 0 19 0 445865249 15925850112 146340 33554432000 4194304 4196468 140729990812432 139764955380624 139765002770133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12386304 140729990816751 140729990816922 140729990816922 140729990819791 0
[pid=3954/tid=3957] ppid=3952 vsize=15552588 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/3954/task/3957/stat : 3957 (java) S 3952 3952 30406 0 -1 1077944384 128 0 0 0 5 3 0 0 20 0 19 0 445865249 15925850112 146340 33554432000 4194304 4196468 140729990812432 139764954327824 139765002770133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12386304 140729990816751 140729990816922 140729990816922 140729990819791 0
[pid=3954/tid=3958] ppid=3952 vsize=15552588 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/3954/task/3958/stat : 3958 (java) S 3952 3952 30406 0 -1 1077944384 140 0 0 0 6 3 0 0 20 0 19 0 445865249 15925850112 146340 33554432000 4194304 4196468 140729990812432 139764953275536 139765002770133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12386304 140729990816751 140729990816922 140729990816922 140729990819791 0
[pid=3954/tid=3959] ppid=3952 vsize=15552588 memory=154 CPUtime=0.09 cores=1,3,5,7
/proc/3954/task/3959/stat : 3959 (java) S 3952 3952 30406 0 -1 1077944384 245 0 0 0 6 3 0 0 20 0 19 0 445865249 15925850112 146340 33554432000 4194304 4196468 140729990812432 139764952222736 139765002770133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12386304 140729990816751 140729990816922 140729990816922 140729990819791 0
[pid=3954/tid=3960] ppid=3952 vsize=15552588 memory=154 CPUtime=0.01 cores=1,3,5,7
/proc/3954/task/3960/stat : 3960 (java) S 3952 3952 30406 0 -1 1077944384 495 0 0 0 1 0 0 0 20 0 19 0 445865250 15925850112 146340 33554432000 4194304 4196468 140729990812432 139764336396400 139765002771074 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12386304 140729990816751 140729990816922 140729990816922 140729990819791 0
[pid=3954/tid=3961] ppid=3952 vsize=15552588 memory=140649911722637 CPUtime=0 cores=1,3,5,7
/proc/3954/task/3961/stat : 3961 (java) S 3952 3952 30406 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 445865250 15925850112 146340 33554432000 4194304 4196468 140729990812432 139764335342432 139765002770133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12386304 140729990816751 140729990816922 140729990816922 140729990819791 0
[pid=3954/tid=3962] ppid=3952 vsize=15552588 memory=281299823456464 CPUtime=0 cores=1,3,5,7
/proc/3954/task/3962/stat : 3962 (java) S 3952 3952 30406 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 445865251 15925850112 146340 33554432000 4194304 4196468 140729990812432 139764334290048 139765002770133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12386304 140729990816751 140729990816922 140729990816922 140729990819791 0
[pid=3954/tid=3963] ppid=3952 vsize=15552588 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3954/task/3963/stat : 3963 (java) S 3952 3952 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445865253 15925850112 146340 33554432000 4194304 4196468 140729990812432 139764333238352 139765002778523 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12386304 140729990816751 140729990816922 140729990816922 140729990819791 0
[pid=3954/tid=3964] ppid=3952 vsize=15552588 memory=0 CPUtime=2.41 cores=1,3,5,7
/proc/3954/task/3964/stat : 3964 (java) S 3952 3952 30406 0 -1 1077944384 5354 0 0 0 240 1 0 0 20 0 19 0 445865253 15925850112 146340 33554432000 4194304 4196468 140729990812432 139764332186224 139765002771074 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12386304 140729990816751 140729990816922 140729990816922 140729990819791 0
[pid=3954/tid=3965] ppid=3952 vsize=15552588 memory=6154820267226784105 CPUtime=2.49 cores=1,3,5,7
/proc/3954/task/3965/stat : 3965 (java) S 3952 3952 30406 0 -1 1077944384 3037 0 0 0 248 1 0 0 20 0 19 0 445865253 15925850112 146340 33554432000 4194304 4196468 140729990812432 139764331133424 139765002771074 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12386304 140729990816751 140729990816922 140729990816922 140729990819791 0
[pid=3954/tid=3966] ppid=3952 vsize=15552588 memory=7881696724453321575 CPUtime=0.82 cores=1,3,5,7
/proc/3954/task/3966/stat : 3966 (java) S 3952 3952 30406 0 -1 1077944384 3558 0 0 0 80 2 0 0 20 0 19 0 445865253 15925850112 146340 33554432000 4194304 4196468 140729990812432 139764330081136 139765002771074 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12386304 140729990816751 140729990816922 140729990816922 140729990819791 0
[pid=3954/tid=3967] ppid=3952 vsize=15552588 memory=4640204490969339242 CPUtime=0 cores=1,3,5,7
/proc/3954/task/3967/stat : 3967 (java) S 3952 3952 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445865253 15925850112 146340 33554432000 4194304 4196468 140729990812432 139764329028576 139765002770133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12386304 140729990816751 140729990816922 140729990816922 140729990819791 0
[pid=3954/tid=3968] ppid=3952 vsize=15552588 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3954/task/3968/stat : 3968 (java) S 3952 3952 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445865253 15925850112 146340 33554432000 4194304 4196468 140729990812432 139764327975344 139765002771074 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12386304 140729990816751 140729990816922 140729990816922 140729990819791 0
Current children cumulated CPU time: 17.06 s
Current children cumulated vsize: 15665716 KiB
Current children cumulated memory: 586808 KiB

[startup+5.2022 s]
/proc/loadavg: 8.63 8.45 7.33 9/238 4517
/proc/meminfo: memFree=29142140/32770624 swapFree=66953076/67108860
[pid=3952] ppid=3949 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/3952/stat : 3952 (xcsp3-exec) S 3949 3952 30406 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445865247 115843072 362 33554432000 4194304 5098028 140723312558544 140723312556648 139856006365820 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 31109120 140723312567162 140723312567405 140723312567405 140723312570314 0
/proc/3952/statm: 28282 362 304 221 0 87 0
[pid=3954] ppid=3952 vsize=15552588 memory=585360 CPUtime=18.54 cores=1,3,5,7
/proc/3954/stat : 3954 (java) S 3952 3952 30406 0 -1 1077944320 32990 0 0 0 1820 34 0 0 20 0 19 0 445865248 15925850112 146340 33554432000 4194304 4196468 140729990812432 140729990794976 139765002759927 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 12386304 140729990816751 140729990816922 140729990816922 140729990819791 0
/proc/3954/statm: 3888147 146340 3523 1 0 3849247 0
[pid=3954/tid=3955] ppid=3952 vsize=15552588 memory=1536 CPUtime=0.86 cores=1,3,5,7
/proc/3954/task/3955/stat : 3955 (java) S 3952 3952 30406 0 -1 1077944384 8888 0 0 0 81 5 0 0 20 0 19 0 445865248 15925850112 146340 33554432000 4194304 4196468 140729990812432 139765007000704 139765002770133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12386304 140729990816751 140729990816922 140729990816922 140729990819791 0
[pid=3954/tid=3956] ppid=3952 vsize=15552588 memory=8112282956445269571 CPUtime=0.09 cores=1,3,5,7
/proc/3954/task/3956/stat : 3956 (java) S 3952 3952 30406 0 -1 1077944384 255 0 0 0 6 3 0 0 20 0 19 0 445865249 15925850112 146340 33554432000 4194304 4196468 140729990812432 139764955380624 139765002770133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12386304 140729990816751 140729990816922 140729990816922 140729990819791 0
[pid=3954/tid=3957] ppid=3952 vsize=15552588 memory=1448 CPUtime=0.08 cores=1,3,5,7
/proc/3954/task/3957/stat : 3957 (java) S 3952 3952 30406 0 -1 1077944384 128 0 0 0 5 3 0 0 20 0 19 0 445865249 15925850112 146340 33554432000 4194304 4196468 140729990812432 139764954327824 139765002770133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12386304 140729990816751 140729990816922 140729990816922 140729990819791 0
[pid=3954/tid=3958] ppid=3952 vsize=15552588 memory=1764 CPUtime=0.09 cores=1,3,5,7
/proc/3954/task/3958/stat : 3958 (java) S 3952 3952 30406 0 -1 1077944384 140 0 0 0 6 3 0 0 20 0 19 0 445865249 15925850112 146340 33554432000 4194304 4196468 140729990812432 139764953275536 139765002770133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12386304 140729990816751 140729990816922 140729990816922 140729990819791 0
[pid=3954/tid=3959] ppid=3952 vsize=15552588 memory=111632 CPUtime=0.09 cores=1,3,5,7
/proc/3954/task/3959/stat : 3959 (java) S 3952 3952 30406 0 -1 1077944384 245 0 0 0 6 3 0 0 20 0 19 0 445865249 15925850112 146340 33554432000 4194304 4196468 140729990812432 139764952222736 139765002770133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12386304 140729990816751 140729990816922 140729990816922 140729990819791 0
[pid=3954/tid=3960] ppid=3952 vsize=15552588 memory=800 CPUtime=0.01 cores=1,3,5,7
/proc/3954/task/3960/stat : 3960 (java) S 3952 3952 30406 0 -1 1077944384 495 0 0 0 1 0 0 0 20 0 19 0 445865250 15925850112 146340 33554432000 4194304 4196468 140729990812432 139764336396400 139765002771074 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12386304 140729990816751 140729990816922 140729990816922 140729990819791 0
[pid=3954/tid=3961] ppid=3952 vsize=15552588 memory=1412 CPUtime=0 cores=1,3,5,7
/proc/3954/task/3961/stat : 3961 (java) S 3952 3952 30406 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 445865250 15925850112 146340 33554432000 4194304 4196468 140729990812432 139764335342432 139765002770133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12386304 140729990816751 140729990816922 140729990816922 140729990819791 0
[pid=3954/tid=3962] ppid=3952 vsize=15552588 memory=3276 CPUtime=0 cores=1,3,5,7
/proc/3954/task/3962/stat : 3962 (java) S 3952 3952 30406 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 445865251 15925850112 146340 33554432000 4194304 4196468 140729990812432 139764334290048 139765002770133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12386304 140729990816751 140729990816922 140729990816922 140729990819791 0
[pid=3954/tid=3963] ppid=3952 vsize=15552588 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/3954/task/3963/stat : 3963 (java) S 3952 3952 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445865253 15925850112 146340 33554432000 4194304 4196468 140729990812432 139764333238352 139765002778523 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12386304 140729990816751 140729990816922 140729990816922 140729990819791 0
[pid=3954/tid=3964] ppid=3952 vsize=15552588 memory=281299822948800 CPUtime=2.44 cores=1,3,5,7
/proc/3954/task/3964/stat : 3964 (java) S 3952 3952 30406 0 -1 1077944384 5360 0 0 0 243 1 0 0 20 0 19 0 445865253 15925850112 146340 33554432000 4194304 4196468 140729990812432 139764332186224 139765002771074 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12386304 140729990816751 140729990816922 140729990816922 140729990819791 0
[pid=3954/tid=3965] ppid=3952 vsize=15552588 memory=0 CPUtime=2.49 cores=1,3,5,7
/proc/3954/task/3965/stat : 3965 (java) S 3952 3952 30406 0 -1 1077944384 3039 0 0 0 248 1 0 0 20 0 19 0 445865253 15925850112 146340 33554432000 4194304 4196468 140729990812432 139764331133424 139765002771074 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12386304 140729990816751 140729990816922 140729990816922 140729990819791 0
[pid=3954/tid=3966] ppid=3952 vsize=15552588 memory=281299822957664 CPUtime=0.82 cores=1,3,5,7
/proc/3954/task/3966/stat : 3966 (java) S 3952 3952 30406 0 -1 1077944384 3558 0 0 0 80 2 0 0 20 0 19 0 445865253 15925850112 146340 33554432000 4194304 4196468 140729990812432 139764330081136 139765002771074 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12386304 140729990816751 140729990816922 140729990816922 140729990819791 0
[pid=3954/tid=3967] ppid=3952 vsize=15552588 memory=140649911483856 CPUtime=0 cores=1,3,5,7
/proc/3954/task/3967/stat : 3967 (java) S 3952 3952 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445865253 15925850112 146340 33554432000 4194304 4196468 140729990812432 139764329028576 139765002770133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12386304 140729990816751 140729990816922 140729990816922 140729990819791 0
[pid=3954/tid=3968] ppid=3952 vsize=15552588 memory=3343780 CPUtime=0 cores=1,3,5,7
/proc/3954/task/3968/stat : 3968 (java) S 3952 3952 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445865253 15925850112 146340 33554432000 4194304 4196468 140729990812432 139764327975344 139765002771074 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12386304 140729990816751 140729990816922 140729990816922 140729990819791 0
Current children cumulated CPU time: 18.54 s
Current children cumulated vsize: 15665716 KiB
Current children cumulated memory: 586808 KiB

[startup+5.60072 s]
/proc/loadavg: 8.63 8.45 7.33 9/238 4517
/proc/meminfo: memFree=29142140/32770624 swapFree=66953076/67108860
[pid=3952] ppid=3949 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/3952/stat : 3952 (xcsp3-exec) S 3949 3952 30406 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445865247 115843072 362 33554432000 4194304 5098028 140723312558544 140723312556648 139856006365820 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 31109120 140723312567162 140723312567405 140723312567405 140723312570314 0
/proc/3952/statm: 28282 362 304 221 0 87 0
[pid=3954] ppid=3952 vsize=15552588 memory=585508 CPUtime=20.1 cores=1,3,5,7
/proc/3954/stat : 3954 (java) S 3952 3952 30406 0 -1 1077944320 33053 0 0 0 1976 34 0 0 20 0 19 0 445865248 15925850112 146377 33554432000 4194304 4196468 140729990812432 140729990794976 139765002759927 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 12386304 140729990816751 140729990816922 140729990816922 140729990819791 0
/proc/3954/statm: 3888147 146377 3523 1 0 3849247 0
[pid=3954/tid=3955] ppid=3952 vsize=15552588 memory=1056 CPUtime=0.86 cores=1,3,5,7
/proc/3954/task/3955/stat : 3955 (java) S 3952 3952 30406 0 -1 1077944384 8888 0 0 0 81 5 0 0 20 0 19 0 445865248 15925850112 146377 33554432000 4194304 4196468 140729990812432 139765007000704 139765002770133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12386304 140729990816751 140729990816922 140729990816922 140729990819791 0
[pid=3954/tid=3956] ppid=3952 vsize=15552588 memory=8112282956445269571 CPUtime=0.09 cores=1,3,5,7
/proc/3954/task/3956/stat : 3956 (java) S 3952 3952 30406 0 -1 1077944384 255 0 0 0 6 3 0 0 20 0 19 0 445865249 15925850112 146377 33554432000 4194304 4196468 140729990812432 139764955380624 139765002770133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12386304 140729990816751 140729990816922 140729990816922 140729990819791 0
[pid=3954/tid=3957] ppid=3952 vsize=15552588 memory=304274669723451707 CPUtime=0.08 cores=1,3,5,7
/proc/3954/task/3957/stat : 3957 (java) S 3952 3952 30406 0 -1 1077944384 128 0 0 0 5 3 0 0 20 0 19 0 445865249 15925850112 146377 33554432000 4194304 4196468 140729990812432 139764954327824 139765002770133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12386304 140729990816751 140729990816922 140729990816922 140729990819791 0
[pid=3954/tid=3958] ppid=3952 vsize=15552588 memory=16100368647981698 CPUtime=0.09 cores=1,3,5,7
/proc/3954/task/3958/stat : 3958 (java) S 3952 3952 30406 0 -1 1077944384 140 0 0 0 6 3 0 0 20 0 19 0 445865249 15925850112 146377 33554432000 4194304 4196468 140729990812432 139764953275536 139765002770133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12386304 140729990816751 140729990816922 140729990816922 140729990819791 0
[pid=3954/tid=3959] ppid=3952 vsize=15552588 memory=6443922526185219939 CPUtime=0.09 cores=1,3,5,7
/proc/3954/task/3959/stat : 3959 (java) S 3952 3952 30406 0 -1 1077944384 245 0 0 0 6 3 0 0 20 0 19 0 445865249 15925850112 146377 33554432000 4194304 4196468 140729990812432 139764952222736 139765002770133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12386304 140729990816751 140729990816922 140729990816922 140729990819791 0
[pid=3954/tid=3960] ppid=3952 vsize=15552588 memory=1448 CPUtime=0.01 cores=1,3,5,7
/proc/3954/task/3960/stat : 3960 (java) S 3952 3952 30406 0 -1 1077944384 495 0 0 0 1 0 0 0 20 0 19 0 445865250 15925850112 146377 33554432000 4194304 4196468 140729990812432 139764336396400 139765002771074 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12386304 140729990816751 140729990816922 140729990816922 140729990819791 0
[pid=3954/tid=3961] ppid=3952 vsize=15552588 memory=458568 CPUtime=0 cores=1,3,5,7
/proc/3954/task/3961/stat : 3961 (java) S 3952 3952 30406 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 445865250 15925850112 146377 33554432000 4194304 4196468 140729990812432 139764335342432 139765002770133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12386304 140729990816751 140729990816922 140729990816922 140729990819791 0
[pid=3954/tid=3962] ppid=3952 vsize=15552588 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3954/task/3962/stat : 3962 (java) S 3952 3952 30406 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 445865251 15925850112 146377 33554432000 4194304 4196468 140729990812432 139764334290048 139765002770133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12386304 140729990816751 140729990816922 140729990816922 140729990819791 0
[pid=3954/tid=3963] ppid=3952 vsize=15552588 memory=157621004803812 CPUtime=0 cores=1,3,5,7
/proc/3954/task/3963/stat : 3963 (java) S 3952 3952 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445865253 15925850112 146377 33554432000 4194304 4196468 140729990812432 139764333238352 139765002778523 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12386304 140729990816751 140729990816922 140729990816922 140729990819791 0
[pid=3954/tid=3964] ppid=3952 vsize=15552588 memory=157621004803813 CPUtime=2.44 cores=1,3,5,7
/proc/3954/task/3964/stat : 3964 (java) S 3952 3952 30406 0 -1 1077944384 5363 0 0 0 243 1 0 0 20 0 19 0 445865253 15925850112 146377 33554432000 4194304 4196468 140729990812432 139764332186224 139765002771074 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12386304 140729990816751 140729990816922 140729990816922 140729990819791 0
[pid=3954/tid=3965] ppid=3952 vsize=15552588 memory=157621004803814 CPUtime=2.55 cores=1,3,5,7
/proc/3954/task/3965/stat : 3965 (java) S 3952 3952 30406 0 -1 1077944384 3051 0 0 0 254 1 0 0 20 0 19 0 445865253 15925850112 146377 33554432000 4194304 4196468 140729990812432 139764331133424 139765002771074 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12386304 140729990816751 140729990816922 140729990816922 140729990819791 0
[pid=3954/tid=3966] ppid=3952 vsize=15552588 memory=281299823460432 CPUtime=0.83 cores=1,3,5,7
/proc/3954/task/3966/stat : 3966 (java) S 3952 3952 30406 0 -1 1077944384 3568 0 0 0 81 2 0 0 20 0 19 0 445865253 15925850112 146377 33554432000 4194304 4196468 140729990812432 139764330081136 139765002771074 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12386304 140729990816751 140729990816922 140729990816922 140729990819791 0
[pid=3954/tid=3967] ppid=3952 vsize=15552588 memory=140649911768208 CPUtime=0 cores=1,3,5,7
/proc/3954/task/3967/stat : 3967 (java) S 3952 3952 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445865253 15925850112 146377 33554432000 4194304 4196468 140729990812432 139764329028576 139765002770133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12386304 140729990816751 140729990816922 140729990816922 140729990819791 0
[pid=3954/tid=3968] ppid=3952 vsize=15552588 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3954/task/3968/stat : 3968 (java) S 3952 3952 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445865253 15925850112 146377 33554432000 4194304 4196468 140729990812432 139764327975344 139765002771074 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12386304 140729990816751 140729990816922 140729990816922 140729990819791 0
Current children cumulated CPU time: 20.1 s
Current children cumulated vsize: 15665716 KiB
Current children cumulated memory: 586956 KiB

Child status: 0
Real time (s): 5.68128
CPU time (s): 20.1885
CPU user time (s): 19.8401
CPU system time (s): 0.348331
CPU usage (%): 355.351
Max. virtual memory (cumulated for all children) (KiB): 15667400
Max. memory (cumulated for all children) (KiB): 586956

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19.8401
system time used= 0.348331
maximum resident set size= 586604
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33621
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= 5919
involuntary context switches= 749


# summary of solver processes directly reported to runsolver:
#   pid: 3952
#   total CPU time (s): 20.1885
#   total CPU user time (s): 19.8401
#   total CPU system time (s): 0.348331

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.060325 second user time and 0.108131 second system time

The end

Launcher Data 

Begin job on node127 at 2019-09-17 06:52:04
IDJOB=4400398
IDBENCH=138353
IDSOLVER=2856
FILE ID=node127/4400398-1568695964
RUNJOBID= node127-1568694277-30438
PBS_JOBID= 21703804
Free space on /tmp= 61288 MiB

SOLVER NAME= choco-solver 2019-09-16
BENCH NAME= XCSP17/Fastfood/Fastfood-m1-s1/Fastfood-ff21.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-4400398-1568695964/watcher-4400398-1568695964 -o /tmp/evaluation-result-4400398-1568695964/solver-4400398-1568695964 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node127-1568694277-30438 --watchdog 2560  xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 1401652185 HOME/instance-4400398-1568695964.xml

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

MD5SUM BENCH= 9ed96a9b02dc4e036934e9ef3088dc03
RANDOM SEED=1401652185

node127.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.55
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.55
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.55
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.55
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:        29716596 kB
MemAvailable:   30874680 kB
Buffers:           88864 kB
Cached:          1353528 kB
SwapCached:        51464 kB
Active:          1481812 kB
Inactive:         972184 kB
Active(anon):     970688 kB
Inactive(anon):    89816 kB
Active(file):     511124 kB
Inactive(file):   882368 kB
Unevictable:      110656 kB
Mlocked:          110656 kB
SwapTotal:      67108860 kB
SwapFree:       66953076 kB
Dirty:             26120 kB
Writeback:             4 kB
AnonPages:       1071644 kB
Mapped:            61956 kB
Shmem:             40672 kB
Slab:             191356 kB
SReclaimable:     160852 kB
SUnreclaim:        30504 kB
KernelStack:        3840 kB
PageTables:         7552 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2465500 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    972800 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      138624 kB
DirectMap2M:    33406976 kB

Free space on /tmp at the end= 61260 MiB
End job on node127 at 2019-09-17 06:52:10