Trace number 4249777

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
R1: choco-solver 5a (2017-07-05)OPT644 22.6226 3.57985

General information on the benchmark

NameFastfood/Fastfood-m1-s1/
Fastfood-ff37.xml
MD5SUMdbb927e38b62f74060b1eb924850c2da
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark644
Best CPU time to get the best result obtained on this benchmark1.33527
Satisfiable
(Un)Satisfiability was proved
Number of variables223
Number of constraints218
Number of domains23
Minimum domain size21
Maximum domain size22
Distribution of domain sizes[{"size":21,"count":28},{"size":22,"count":195}]
Minimum variable degree2
Maximum variable degree32
Distribution of variable degrees[{"degree":2,"count":217},{"degree":32,"count":6}]
Minimum constraint arity2
Maximum constraint arity7
Distribution of constraint arities[{"arity":2,"count":186},{"arity":6,"count":1},{"arity":7,"count":31}]
Number of extensional constraints186
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":186},{"type":"ordered","count":1},{"type":"minimum","count":31}]
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 -Xmx10000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4249777-1500695961.xml"  -tl '2400s' -p 8 -x 3
0.00/0.17	c [HOME/instance-4249777-1500695961.xml, -tl, 2400s, -p, 8, -x, 3]
0.00/0.22	c 8 solvers in parallel
0.00/0.29	c parse instance...
4.61/1.15	c solve instance...
5.78/1.30	o 3796 
5.78/1.32	o 3229 
5.78/1.32	o 3180 
5.78/1.33	o 2749 
5.78/1.34	o 2700 
5.78/1.34	o 2696 
5.78/1.35	o 2688 
5.78/1.35	o 2654 
5.78/1.38	o 1284 
9.41/1.84	o 1196 
9.41/1.84	o 1192 
9.41/1.86	o 1120 
9.41/1.86	o 1106 
9.41/1.87	o 1074 
9.41/1.89	o 1070 
9.41/1.89	o 1060 
10.07/1.93	o 1056 
10.07/1.93	o 1036 
10.07/1.95	o 1032 
10.07/1.96	o 1024 
10.07/1.96	o 1022 
10.07/1.97	o 1016 
10.07/1.97	o 1008 
10.07/1.99	o 934 
10.77/2.05	o 915 
10.77/2.07	o 901 
10.77/2.08	o 871 
11.44/2.14	o 866 
11.44/2.16	o 838 
11.44/2.16	o 830 
11.44/2.19	o 825 
12.23/2.28	o 821 
12.23/2.29	o 809 
12.23/2.29	o 807 
13.05/2.36	o 795 
13.62/2.47	o 773 
14.38/2.52	o 759 
14.38/2.52	o 753 
14.38/2.54	o 717 
17.49/3.00	o 709 
19.07/3.12	o 691 
19.07/3.15	o 685 
19.07/3.16	o 681 
19.07/3.17	o 660 
19.07/3.18	o 644 
22.15/3.55	s OPTIMUM FOUND
22.15/3.55	v <instantiation>
22.15/3.55	v 	<list>x[0] x[1] x[2] x[3] x[4] x[5] drd[0][0] drd[0][1] drd[0][2] drd[0][3] drd[0][4] drd[0][5] drd[1][0] drd[1][1] drd[1][2] drd[1][3] drd[1][4] drd[1][5] drd[2][0] drd[2][1] drd[2][2] drd[2][3] drd[2][4] drd[2][5] drd[3][0] drd[3][1] drd[3][2] drd[3][3] drd[3][4] drd[3][5] drd[4][0] drd[4][1] drd[4][2] drd[4][3] drd[4][4] drd[4][5] drd[5][0] drd[5][1] drd[5][2] drd[5][3] drd[5][4] drd[5][5] drd[6][0] drd[6][1] drd[6][2] drd[6][3] drd[6][4] drd[6][5] drd[7][0] drd[7][1] drd[7][2] drd[7][3] drd[7][4] drd[7][5] drd[8][0] drd[8][1] drd[8][2] drd[8][3] drd[8][4] drd[8][5] drd[9][0] drd[9][1] drd[9][2] drd[9][3] drd[9][4] drd[9][5] drd[10][0] drd[10][1] drd[10][2] drd[10][3] drd[10][4] drd[10][5] drd[11][0] drd[11][1] drd[11][2] drd[11][3] drd[11][4] drd[11][5] drd[12][0] drd[12][1] drd[12][2] drd[12][3] drd[12][4] drd[12][5] drd[13][0] drd[13][1] drd[13][2] drd[13][3] drd[13][4] drd[13][5] drd[14][0] drd[14][1] drd[14][2] drd[14][3] drd[14][4] drd[14][5] drd[15][0] drd[15][1] drd[15][2] drd[15][3] drd[15][4] drd[15][5] drd[16][0] drd[16][1] drd[16][2] drd[16][3] drd[16][4] drd[16][5] drd[17][0] drd[17][1] drd[17][2] drd[17][3] drd[17][4] drd[17][5] drd[18][0] drd[18][1] drd[18][2] drd[18][3] drd[18][4] drd[18][5] drd[19][0] drd[19][1] drd[19][2] drd[19][3] drd[19][4] drd[19][5] drd[20][0] drd[20][1] drd[20][2] drd[20][3] drd[20][4] drd[20][5] drd[21][0] drd[21][1] drd[21][2] drd[21][3] drd[21][4] drd[21][5] drd[22][0] drd[22][1] drd[22][2] drd[22][3] drd[22][4] drd[22][5] drd[23][0] drd[23][1] drd[23][2] drd[23][3] drd[23][4] drd[23][5] drd[24][0] drd[24][1] drd[24][2] drd[24][3] drd[24][4] drd[24][5] drd[25][0] drd[25][1] drd[25][2] drd[25][3] drd[25][4] drd[25][5] drd[26][0] drd[26][1] drd[26][2] drd[26][3] drd[26][4] drd[26][5] drd[27][0] drd[27][1] drd[27][2] drd[27][3] drd[27][4] drd[27][5] drd[28][0] drd[28][1] drd[28][2] drd[28][3] drd[28][4] drd[28][5] drd[29][0] drd[29][1] drd[29][2] drd[29][3] drd[29][4] drd[29][5] drd[30][0] drd[30][1] drd[30][2] drd[30][3] drd[30][4] drd[30][5] 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] </list>
22.15/3.55	v 	<values>76 426 511 604 687 761 459 109 24 69 152 226 718 368 283 190 107 33 579 229 144 51 32 106 310 40 125 218 301 375 466 116 31 62 145 219 685 335 250 157 74 0 528 178 93 0 83 157 528 178 93 0 83 157 559 209 124 31 52 126 44 394 479 572 655 729 44 394 479 572 655 729 366 16 69 162 245 319 0 350 435 528 611 685 0 350 435 528 611 685 435 85 0 93 176 250 435 85 0 93 176 250 504 154 69 24 107 181 506 156 71 22 105 179 644 294 209 116 33 41 644 294 209 116 33 41 27 323 408 501 584 658 27 323 408 501 584 658 350 0 85 178 261 335 350 0 85 178 261 335 611 261 176 83 0 74 611 261 176 83 0 74 301 49 134 227 310 384 674 324 239 146 63 11 386 36 49 142 225 299 386 36 49 142 225 299 736 386 301 208 125 51 24 33 32 40 31 0 0 0 31 44 44 16 0 0 0 0 24 22 33 33 27 27 0 0 0 0 49 11 36 36 51 </values>
22.15/3.55	v </instantiation>

Verifier Data 

OK	644

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4249777-1500695961/watcher-4249777-1500695961 -o /tmp/evaluation-result-4249777-1500695961/solver-4249777-1500695961 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node130-1500684118-8560 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 242533087 HOME/instance-4249777-1500695961.xml 

pid=17570
running on 8 cores: 1,3,5,7,9,11,13,15

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
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 11.20 13.87 14.13 3/262 17573
/proc/meminfo: memFree=24510764/32770624 swapFree=5656/334884
[pid=17573] ppid=17570 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17573/stat : 17573 (xcsp3-exec) S 17570 17573 7102 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4863581 9740288 346 33554432000 4194304 5098028 140732337394016 140732337392120 140336671191676 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 12496896 140732337403023 140732337403232 140732337403232 140732337405931 0
/proc/17573/statm: 2378 346 289 221 0 87 0

[startup+0.100061 s]
/proc/loadavg: 11.20 13.87 14.13 3/262 17573
/proc/meminfo: memFree=24510764/32770624 swapFree=5656/334884
[pid=17573] ppid=17570 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17573/stat : 17573 (xcsp3-exec) S 17570 17573 7102 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4863581 9740288 346 33554432000 4194304 5098028 140732337394016 140732337392120 140336671191676 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 12496896 140732337403023 140732337403232 140732337403232 140732337405931 0
/proc/17573/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.200343 s]
/proc/loadavg: 11.20 13.87 14.13 3/262 17573
/proc/meminfo: memFree=24510764/32770624 swapFree=5656/334884
[pid=17573] ppid=17570 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17573/stat : 17573 (xcsp3-exec) S 17570 17573 7102 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4863581 9740288 346 33554432000 4194304 5098028 140732337394016 140732337392120 140336671191676 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 12496896 140732337403023 140732337403232 140732337403232 140732337405931 0
/proc/17573/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.300267 s]
/proc/loadavg: 11.20 13.87 14.13 3/262 17573
/proc/meminfo: memFree=24510764/32770624 swapFree=5656/334884
[pid=17573] ppid=17570 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17573/stat : 17573 (xcsp3-exec) S 17570 17573 7102 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4863581 9740288 346 33554432000 4194304 5098028 140732337394016 140732337392120 140336671191676 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 12496896 140732337403023 140732337403232 140732337403232 140732337405931 0
/proc/17573/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.700192 s]
/proc/loadavg: 11.20 13.87 14.13 3/262 17573
/proc/meminfo: memFree=24510764/32770624 swapFree=5656/334884
[pid=17573] ppid=17570 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17573/stat : 17573 (xcsp3-exec) S 17570 17573 7102 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4863581 9740288 346 33554432000 4194304 5098028 140732337394016 140732337392120 140336671191676 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 12496896 140732337403023 140732337403232 140732337403232 140732337405931 0
/proc/17573/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+1.5024 s]
/proc/loadavg: 11.20 13.87 14.13 8/283 17594
/proc/meminfo: memFree=24086048/32770624 swapFree=5656/334884
[pid=17573] ppid=17570 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17573/stat : 17573 (xcsp3-exec) S 17570 17573 7102 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4863581 9740288 346 33554432000 4194304 5098028 140732337394016 140732337392120 140336671191676 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 12496896 140732337403023 140732337403232 140732337403232 140732337405931 0
/proc/17573/statm: 2378 346 289 221 0 87 0
[pid=17574] ppid=17573 vsize=13935924 CPUtime=7.13 cores=1,3,5,7,9,11,13,15
/proc/17574/stat : 17574 (java) S 17573 17573 7102 0 -1 1077944320 20473 0 0 0 527 186 0 0 20 0 25 0 4863581 14270386176 156493 33554432000 4194304 4196468 140723148451920 140723148434464 140487979671287 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 36974592 140723148453052 140723148453228 140723148453228 140723148455887 0
/proc/17574/statm: 3483981 156493 3250 1 0 3471214 0
[pid=17574/tid=17575] ppid=17573 vsize=13935924 CPUtime=0.87 cores=1,3,5,7,9,11,13,15
/proc/17574/task/17575/stat : 17575 (java) S 17573 17573 7102 0 -1 1077944384 6966 0 0 0 82 5 0 0 20 0 25 0 4863581 14270386176 156493 33554432000 4194304 4196468 140723148451920 140487983912064 140487979681493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36974592 140723148453052 140723148453228 140723148453228 140723148455887 0
[pid=17574/tid=17577] ppid=17573 vsize=13935924 CPUtime=0.36 cores=1,3,5,7,9,11,13,15
/proc/17574/task/17577/stat : 17577 (java) R 17573 17573 7102 0 -1 4202560 175 0 0 0 12 24 0 0 20 0 25 0 4863582 14270386176 156493 33554432000 4194304 4196468 140723148451920 140487911807576 140487964368845 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 36974592 140723148453052 140723148453228 140723148453228 140723148455887 0
[pid=17574/tid=17578] ppid=17573 vsize=13935924 CPUtime=0.34 cores=1,3,5,7,9,11,13,15
/proc/17574/task/17578/stat : 17578 (java) R 17573 17573 7102 0 -1 4202560 156 0 0 0 12 22 0 0 20 0 25 0 4863582 14270386176 156493 33554432000 4194304 4196468 140723148451920 140487578061272 140487964369112 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 36974592 140723148453052 140723148453228 140723148453228 140723148455887 0
[pid=17574/tid=17579] ppid=17573 vsize=13935924 CPUtime=0.3 cores=1,3,5,7,9,11,13,15
/proc/17574/task/17579/stat : 17579 (java) R 17573 17573 7102 0 -1 4202560 257 0 0 0 10 20 0 0 20 0 25 0 4863582 14270386176 156493 33554432000 4194304 4196468 140723148451920 140487577008672 140487964369039 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36974592 140723148453052 140723148453228 140723148453228 140723148455887 0
[pid=17574/tid=17580] ppid=17573 vsize=13935924 CPUtime=0.33 cores=1,3,5,7,9,11,13,15
/proc/17574/task/17580/stat : 17580 (java) R 17573 17573 7102 0 -1 4202560 166 0 0 0 13 20 0 0 20 0 25 0 4863582 14270386176 156493 33554432000 4194304 4196468 140723148451920 140487575956184 140487964368926 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 36974592 140723148453052 140723148453228 140723148453228 140723148455887 0
[pid=17574/tid=17581] ppid=17573 vsize=13935924 CPUtime=0.35 cores=1,3,5,7,9,11,13,15
/proc/17574/task/17581/stat : 17581 (java) R 17573 17573 7102 0 -1 4202560 246 0 0 0 12 23 0 0 20 0 25 0 4863582 14270386176 156493 33554432000 4194304 4196468 140723148451920 140487574903896 140487961268035 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36974592 140723148453052 140723148453228 140723148453228 140723148455887 0
[pid=17574/tid=17582] ppid=17573 vsize=13935924 CPUtime=0.35 cores=1,3,5,7,9,11,13,15
/proc/17574/task/17582/stat : 17582 (java) R 17573 17573 7102 0 -1 4202560 209 0 0 0 15 20 0 0 20 0 25 0 4863582 14270386176 156493 33554432000 4194304 4196468 140723148451920 140487573851096 140487964369079 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 36974592 140723148453052 140723148453228 140723148453228 140723148455887 0
[pid=17574/tid=17583] ppid=17573 vsize=13935924 CPUtime=0.3 cores=1,3,5,7,9,11,13,15
/proc/17574/task/17583/stat : 17583 (java) R 17573 17573 7102 0 -1 4202560 149 0 0 0 11 19 0 0 20 0 25 0 4863582 14270386176 156493 33554432000 4194304 4196468 140723148451920 140487572798808 140487964126044 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36974592 140723148453052 140723148453228 140723148453228 140723148455887 0
[pid=17574/tid=17584] ppid=17573 vsize=13935924 CPUtime=0.33 cores=1,3,5,7,9,11,13,15
/proc/17574/task/17584/stat : 17584 (java) R 17573 17573 7102 0 -1 4202560 165 0 0 0 12 21 0 0 20 0 25 0 4863582 14270386176 156493 33554432000 4194304 4196468 140723148451920 140487571746008 140487964125390 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36974592 140723148453052 140723148453228 140723148453228 140723148455887 0
[pid=17574/tid=17585] ppid=17573 vsize=13935924 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17574/task/17585/stat : 17585 (java) S 17573 17573 7102 0 -1 1077944384 212 0 0 0 0 0 0 0 20 0 25 0 4863584 14270386176 156493 33554432000 4194304 4196468 140723148451920 140487509066208 140487979681493 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36974592 140723148453052 140723148453228 140723148453228 140723148455887 0
[pid=17574/tid=17586] ppid=17573 vsize=13935924 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17574/task/17586/stat : 17586 (java) S 17573 17573 7102 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 25 0 4863585 14270386176 156493 33554432000 4194304 4196468 140723148451920 140487306503008 140487979681493 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 36974592 140723148453052 140723148453228 140723148453228 140723148455887 0
[pid=17574/tid=17587] ppid=17573 vsize=13935924 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17574/task/17587/stat : 17587 (java) S 17573 17573 7102 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 25 0 4863585 14270386176 156493 33554432000 4194304 4196468 140723148451920 140487305450624 140487979681493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36974592 140723148453052 140723148453228 140723148453228 140723148455887 0
[pid=17574/tid=17588] ppid=17573 vsize=13935924 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17574/task/17588/stat : 17588 (java) S 17573 17573 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 25 0 4863588 14270386176 156493 33554432000 4194304 4196468 140723148451920 140487304398928 140487979689883 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 36974592 140723148453052 140723148453228 140723148453228 140723148455887 0
[pid=17574/tid=17589] ppid=17573 vsize=13935924 CPUtime=0.67 cores=1,3,5,7,9,11,13,15
/proc/17574/task/17589/stat : 17589 (java) S 17573 17573 7102 0 -1 1077944384 1681 0 0 0 67 0 0 0 20 0 25 0 4863588 14270386176 156493 33554432000 4194304 4196468 140723148451920 140487303338080 140487979681493 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 36974592 140723148453052 140723148453228 140723148453228 140723148455887 0
[pid=17574/tid=17590] ppid=17573 vsize=13935924 CPUtime=0.7 cores=1,3,5,7,9,11,13,15
/proc/17574/task/17590/stat : 17590 (java) S 17573 17573 7102 0 -1 1077944384 2015 0 0 0 69 1 0 0 20 0 25 0 4863588 14270386176 156493 33554432000 4194304 4196468 140723148451920 140487302273040 140487979681493 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 36974592 140723148453052 140723148453228 140723148453228 140723148455887 0
[pid=17574/tid=17591] ppid=17573 vsize=13935924 CPUtime=0.72 cores=1,3,5,7,9,11,13,15
/proc/17574/task/17591/stat : 17591 (java) S 17573 17573 7102 0 -1 1077944384 2051 0 0 0 71 1 0 0 20 0 25 0 4863588 14270386176 156493 33554432000 4194304 4196468 140723148451920 140487301231232 140487979681493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36974592 140723148453052 140723148453228 140723148453228 140723148455887 0
[pid=17574/tid=17592] ppid=17573 vsize=13935924 CPUtime=0.63 cores=1,3,5,7,9,11,13,15
/proc/17574/task/17592/stat : 17592 (java) S 17573 17573 7102 0 -1 1077944384 3157 0 0 0 62 1 0 0 20 0 25 0 4863588 14270386176 156493 33554432000 4194304 4196468 140723148451920 140487300188912 140487979682434 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36974592 140723148453052 140723148453228 140723148453228 140723148455887 0
[pid=17574/tid=17593] ppid=17573 vsize=13935924 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17574/task/17593/stat : 17593 (java) S 17573 17573 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 25 0 4863589 14270386176 156493 33554432000 4194304 4196468 140723148451920 140487299135840 140487979681493 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 36974592 140723148453052 140723148453228 140723148453228 140723148455887 0
[pid=17574/tid=17594] ppid=17573 vsize=13935924 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17574/task/17594/stat : 17594 (java) S 17573 17573 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 25 0 4863589 14270386176 156493 33554432000 4194304 4196468 140723148451920 140487298083120 140487979682434 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36974592 140723148453052 140723148453228 140723148453228 140723148455887 0
Current children cumulated CPU time (s) 7.13
Current children cumulated vsize (KiB) 13945436

[startup+3.10096 s]
/proc/loadavg: 11.20 13.87 14.13 13/291 17849
/proc/meminfo: memFree=23840220/32770624 swapFree=5656/334884
[pid=17573] ppid=17570 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17573/stat : 17573 (xcsp3-exec) S 17570 17573 7102 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4863581 9740288 346 33554432000 4194304 5098028 140732337394016 140732337392120 140336671191676 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 12496896 140732337403023 140732337403232 140732337403232 140732337405931 0
/proc/17573/statm: 2378 346 289 221 0 87 0
[pid=17574] ppid=17573 vsize=13935924 CPUtime=19.07 cores=1,3,5,7,9,11,13,15
/proc/17574/stat : 17574 (java) S 17573 17573 7102 0 -1 1077944320 31305 0 0 0 1713 194 0 0 20 0 28 0 4863581 14270386176 170362 33554432000 4194304 4196468 140723148451920 140723148434464 140487979671287 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 36974592 140723148453052 140723148453228 140723148453228 140723148455887 0
/proc/17574/statm: 3483981 170362 3274 1 0 3471214 0
[pid=17574/tid=17575] ppid=17573 vsize=13935924 CPUtime=0.89 cores=1,3,5,7,9,11,13,15
/proc/17574/task/17575/stat : 17575 (java) S 17573 17573 7102 0 -1 1077944384 6967 0 0 0 84 5 0 0 20 0 28 0 4863581 14270386176 170362 33554432000 4194304 4196468 140723148451920 140487983912064 140487979681493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36974592 140723148453052 140723148453228 140723148453228 140723148455887 0
[pid=17574/tid=17577] ppid=17573 vsize=13935924 CPUtime=0.67 cores=1,3,5,7,9,11,13,15
/proc/17574/task/17577/stat : 17577 (java) S 17573 17573 7102 0 -1 1077944384 186 0 0 0 43 24 0 0 20 0 28 0 4863582 14270386176 170362 33554432000 4194304 4196468 140723148451920 140487911807376 140487979681493 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 36974592 140723148453052 140723148453228 140723148453228 140723148455887 0
[pid=17574/tid=17578] ppid=17573 vsize=13935924 CPUtime=0.66 cores=1,3,5,7,9,11,13,15
/proc/17574/task/17578/stat : 17578 (java) S 17573 17573 7102 0 -1 1077944384 171 0 0 0 44 22 0 0 20 0 28 0 4863582 14270386176 170362 33554432000 4194304 4196468 140723148451920 140487578061072 140487979681493 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 36974592 140723148453052 140723148453228 140723148453228 140723148455887 0
[pid=17574/tid=17579] ppid=17573 vsize=13935924 CPUtime=0.62 cores=1,3,5,7,9,11,13,15
/proc/17574/task/17579/stat : 17579 (java) S 17573 17573 7102 0 -1 1077944384 309 0 0 0 42 20 0 0 20 0 28 0 4863582 14270386176 170362 33554432000 4194304 4196468 140723148451920 140487577008784 140487979681493 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 36974592 140723148453052 140723148453228 140723148453228 140723148455887 0
[pid=17574/tid=17580] ppid=17573 vsize=13935924 CPUtime=0.65 cores=1,3,5,7,9,11,13,15
/proc/17574/task/17580/stat : 17580 (java) S 17573 17573 7102 0 -1 1077944384 179 0 0 0 44 21 0 0 20 0 28 0 4863582 14270386176 170362 33554432000 4194304 4196468 140723148451920 140487575955984 140487979681493 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 36974592 140723148453052 140723148453228 140723148453228 140723148455887 0
[pid=17574/tid=17581] ppid=17573 vsize=13935924 CPUtime=0.67 cores=1,3,5,7,9,11,13,15
/proc/17574/task/17581/stat : 17581 (java) S 17573 17573 7102 0 -1 1077944384 257 0 0 0 44 23 0 0 20 0 28 0 4863582 14270386176 170362 33554432000 4194304 4196468 140723148451920 140487574903696 140487979681493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36974592 140723148453052 140723148453228 140723148453228 140723148455887 0
[pid=17574/tid=17582] ppid=17573 vsize=13935924 CPUtime=0.67 cores=1,3,5,7,9,11,13,15
/proc/17574/task/17582/stat : 17582 (java) S 17573 17573 7102 0 -1 1077944384 234 0 0 0 47 20 0 0 20 0 28 0 4863582 14270386176 170362 33554432000 4194304 4196468 140723148451920 140487573850896 140487979681493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36974592 140723148453052 140723148453228 140723148453228 140723148455887 0
[pid=17574/tid=17583] ppid=17573 vsize=13935924 CPUtime=0.62 cores=1,3,5,7,9,11,13,15
/proc/17574/task/17583/stat : 17583 (java) S 17573 17573 7102 0 -1 1077944384 164 0 0 0 43 19 0 0 20 0 28 0 4863582 14270386176 170362 33554432000 4194304 4196468 140723148451920 140487572798608 140487979681493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36974592 140723148453052 140723148453228 140723148453228 140723148455887 0
[pid=17574/tid=17584] ppid=17573 vsize=13935924 CPUtime=0.65 cores=1,3,5,7,9,11,13,15
/proc/17574/task/17584/stat : 17584 (java) S 17573 17573 7102 0 -1 1077944384 170 0 0 0 44 21 0 0 20 0 28 0 4863582 14270386176 170362 33554432000 4194304 4196468 140723148451920 140487571745808 140487979681493 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 36974592 140723148453052 140723148453228 140723148453228 140723148455887 0
[pid=17574/tid=17585] ppid=17573 vsize=13935924 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/17574/task/17585/stat : 17585 (java) S 17573 17573 7102 0 -1 1077944384 472 0 0 0 2 0 0 0 20 0 28 0 4863584 14270386176 170362 33554432000 4194304 4196468 140723148451920 140487509067888 140487979682434 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36974592 140723148453052 140723148453228 140723148453228 140723148455887 0
[pid=17574/tid=17586] ppid=17573 vsize=13935924 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17574/task/17586/stat : 17586 (java) S 17573 17573 7102 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 28 0 4863585 14270386176 170362 33554432000 4194304 4196468 140723148451920 140487306503008 140487979681493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36974592 140723148453052 140723148453228 140723148453228 140723148455887 0
[pid=17574/tid=17587] ppid=17573 vsize=13935924 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17574/task/17587/stat : 17587 (java) S 17573 17573 7102 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 4863585 14270386176 170362 33554432000 4194304 4196468 140723148451920 140487305450624 140487979681493 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 36974592 140723148453052 140723148453228 140723148453228 140723148455887 0
[pid=17574/tid=17588] ppid=17573 vsize=13935924 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17574/task/17588/stat : 17588 (java) S 17573 17573 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4863588 14270386176 170362 33554432000 4194304 4196468 140723148451920 140487304398928 140487979689883 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 36974592 140723148453052 140723148453228 140723148453228 140723148455887 0
[pid=17574/tid=17589] ppid=17573 vsize=13935924 CPUtime=1.75 cores=1,3,5,7,9,11,13,15
/proc/17574/task/17589/stat : 17589 (java) R 17573 17573 7102 0 -1 4202560 2733 0 0 0 175 0 0 0 20 0 28 0 4863588 14270386176 170362 33554432000 4194304 4196468 140723148451920 140487303332896 140487961189175 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36974592 140723148453052 140723148453228 140723148453228 140723148455887 0
[pid=17574/tid=17590] ppid=17573 vsize=13935924 CPUtime=1.81 cores=1,3,5,7,9,11,13,15
/proc/17574/task/17590/stat : 17590 (java) R 17573 17573 7102 0 -1 4202560 3392 0 0 0 180 1 0 0 20 0 28 0 4863588 14270386176 170362 33554432000 4194304 4196468 140723148451920 140487302280544 140487957837612 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 36974592 140723148453052 140723148453228 140723148453228 140723148455887 0
[pid=17574/tid=17591] ppid=17573 vsize=13935924 CPUtime=1.74 cores=1,3,5,7,9,11,13,15
/proc/17574/task/17591/stat : 17591 (java) R 17573 17573 7102 0 -1 4202560 4905 0 0 0 173 1 0 0 20 0 28 0 4863588 14270386176 170362 33554432000 4194304 4196468 140723148451920 140487301228256 140487965699753 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36974592 140723148453052 140723148453228 140723148453228 140723148455887 0
[pid=17574/tid=17592] ppid=17573 vsize=13935924 CPUtime=0.89 cores=1,3,5,7,9,11,13,15
/proc/17574/task/17592/stat : 17592 (java) S 17573 17573 7102 0 -1 1077944384 3857 0 0 0 88 1 0 0 20 0 28 0 4863588 14270386176 170362 33554432000 4194304 4196468 140723148451920 140487300188912 140487979682434 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 36974592 140723148453052 140723148453228 140723148453228 140723148455887 0
[pid=17574/tid=17593] ppid=17573 vsize=13935924 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17574/task/17593/stat : 17593 (java) S 17573 17573 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4863589 14270386176 170362 33554432000 4194304 4196468 140723148451920 140487299135840 140487979681493 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 36974592 140723148453052 140723148453228 140723148453228 140723148455887 0
[pid=17574/tid=17594] ppid=17573 vsize=13935924 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17574/task/17594/stat : 17594 (java) S 17573 17573 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4863589 14270386176 170362 33554432000 4194304 4196468 140723148451920 140487298083120 140487979682434 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36974592 140723148453052 140723148453228 140723148453228 140723148455887 0
Current children cumulated CPU time (s) 19.07
Current children cumulated vsize (KiB) 13945436

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 17574 sig 9
??? kill 17573 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+3.20162 s]
/proc/loadavg: 11.20 13.87 14.13 13/291 17849
/proc/meminfo: memFree=23840220/32770624 swapFree=5656/334884
[pid=17573] ppid=17570 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17573/stat : 17573 (xcsp3-exec) S 17570 17573 7102 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4863581 9740288 346 33554432000 4194304 5098028 140732337394016 140732337392120 140336671191676 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 12496896 140732337403023 140732337403232 140732337403232 140732337405931 0
/proc/17573/statm: 2378 346 289 221 0 87 0
[pid=17574] ppid=17573 vsize=13935924 CPUtime=19.77 cores=1,3,5,7,9,11,13,15
/proc/17574/stat : 17574 (java) S 17573 17573 7102 0 -1 1077944320 32275 0 0 0 1780 197 0 0 20 0 28 0 4863581 14270386176 189986 33554432000 4194304 4196468 140723148451920 140723148434464 140487979671287 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 36974592 140723148453052 140723148453228 140723148453228 140723148455887 0
/proc/17574/statm: 3483981 189986 3276 1 0 3471214 0
[pid=17574/tid=17575] ppid=17573 vsize=13935924 CPUtime=0.89 cores=1,3,5,7,9,11,13,15
/proc/17574/task/17575/stat : 17575 (java) S 17573 17573 7102 0 -1 1077944384 6968 0 0 0 84 5 0 0 20 0 28 0 4863581 14270386176 189986 33554432000 4194304 4196468 140723148451920 140487983912064 140487979681493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36974592 140723148453052 140723148453228 140723148453228 140723148455887 0
[pid=17574/tid=17577] ppid=17573 vsize=13935924 CPUtime=0.68 cores=1,3,5,7,9,11,13,15
/proc/17574/task/17577/stat : 17577 (java) S 17573 17573 7102 0 -1 1077944384 189 0 0 0 44 24 0 0 20 0 28 0 4863582 14270386176 189986 33554432000 4194304 4196468 140723148451920 140487911807376 140487979681493 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 36974592 140723148453052 140723148453228 140723148453228 140723148455887 0
[pid=17574/tid=17578] ppid=17573 vsize=13935924 CPUtime=0.66 cores=1,3,5,7,9,11,13,15
/proc/17574/task/17578/stat : 17578 (java) S 17573 17573 7102 0 -1 1077944384 173 0 0 0 44 22 0 0 20 0 28 0 4863582 14270386176 189986 33554432000 4194304 4196468 140723148451920 140487578061072 140487979681493 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 36974592 140723148453052 140723148453228 140723148453228 140723148455887 0
[pid=17574/tid=17579] ppid=17573 vsize=13935924 CPUtime=0.62 cores=1,3,5,7,9,11,13,15
/proc/17574/task/17579/stat : 17579 (java) S 17573 17573 7102 0 -1 1077944384 311 0 0 0 42 20 0 0 20 0 28 0 4863582 14270386176 189986 33554432000 4194304 4196468 140723148451920 140487577008784 140487979681493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36974592 140723148453052 140723148453228 140723148453228 140723148455887 0
[pid=17574/tid=17580] ppid=17573 vsize=13935924 CPUtime=0.65 cores=1,3,5,7,9,11,13,15
/proc/17574/task/17580/stat : 17580 (java) S 17573 17573 7102 0 -1 1077944384 181 0 0 0 44 21 0 0 20 0 28 0 4863582 14270386176 189986 33554432000 4194304 4196468 140723148451920 140487575955984 140487979681493 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 36974592 140723148453052 140723148453228 140723148453228 140723148455887 0
[pid=17574/tid=17581] ppid=17573 vsize=13935924 CPUtime=0.67 cores=1,3,5,7,9,11,13,15
/proc/17574/task/17581/stat : 17581 (java) S 17573 17573 7102 0 -1 1077944384 258 0 0 0 44 23 0 0 20 0 28 0 4863582 14270386176 189986 33554432000 4194304 4196468 140723148451920 140487574903696 140487979681493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36974592 140723148453052 140723148453228 140723148453228 140723148455887 0
[pid=17574/tid=17582] ppid=17573 vsize=13935924 CPUtime=0.67 cores=1,3,5,7,9,11,13,15
/proc/17574/task/17582/stat : 17582 (java) S 17573 17573 7102 0 -1 1077944384 235 0 0 0 47 20 0 0 20 0 28 0 4863582 14270386176 189986 33554432000 4194304 4196468 140723148451920 140487573850896 140487979681493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36974592 140723148453052 140723148453228 140723148453228 140723148455887 0
[pid=17574/tid=17583] ppid=17573 vsize=13935924 CPUtime=0.62 cores=1,3,5,7,9,11,13,15
/proc/17574/task/17583/stat : 17583 (java) S 17573 17573 7102 0 -1 1077944384 164 0 0 0 43 19 0 0 20 0 28 0 4863582 14270386176 189986 33554432000 4194304 4196468 140723148451920 140487572798608 140487979681493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36974592 140723148453052 140723148453228 140723148453228 140723148455887 0
[pid=17574/tid=17584] ppid=17573 vsize=13935924 CPUtime=0.65 cores=1,3,5,7,9,11,13,15
/proc/17574/task/17584/stat : 17584 (java) S 17573 17573 7102 0 -1 1077944384 171 0 0 0 44 21 0 0 20 0 28 0 4863582 14270386176 189986 33554432000 4194304 4196468 140723148451920 140487571745808 140487979681493 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 36974592 140723148453052 140723148453228 140723148453228 140723148455887 0
[pid=17574/tid=17585] ppid=17573 vsize=13935924 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/17574/task/17585/stat : 17585 (java) S 17573 17573 7102 0 -1 1077944384 666 0 0 0 2 0 0 0 20 0 28 0 4863584 14270386176 189986 33554432000 4194304 4196468 140723148451920 140487509067888 140487979682434 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36974592 140723148453052 140723148453228 140723148453228 140723148455887 0
[pid=17574/tid=17586] ppid=17573 vsize=13935924 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17574/task/17586/stat : 17586 (java) S 17573 17573 7102 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 28 0 4863585 14270386176 189986 33554432000 4194304 4196468 140723148451920 140487306503008 140487979681493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36974592 140723148453052 140723148453228 140723148453228 140723148455887 0
[pid=17574/tid=17587] ppid=17573 vsize=13935924 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17574/task/17587/stat : 17587 (java) S 17573 17573 7102 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 4863585 14270386176 189986 33554432000 4194304 4196468 140723148451920 140487305450624 140487979681493 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 36974592 140723148453052 140723148453228 140723148453228 140723148455887 0
[pid=17574/tid=17588] ppid=17573 vsize=13935924 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17574/task/17588/stat : 17588 (java) S 17573 17573 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4863588 14270386176 189986 33554432000 4194304 4196468 140723148451920 140487304398928 140487979689883 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 36974592 140723148453052 140723148453228 140723148453228 140723148455887 0
[pid=17574/tid=17589] ppid=17573 vsize=13935924 CPUtime=1.83 cores=1,3,5,7,9,11,13,15
/proc/17574/task/17589/stat : 17589 (java) R 17573 17573 7102 0 -1 4202560 2743 0 0 0 183 0 0 0 20 0 28 0 4863588 14270386176 189986 33554432000 4194304 4196468 140723148451920 140487303333400 140487961215521 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 36974592 140723148453052 140723148453228 140723148453228 140723148455887 0
[pid=17574/tid=17590] ppid=17573 vsize=13935924 CPUtime=1.9 cores=1,3,5,7,9,11,13,15
/proc/17574/task/17590/stat : 17590 (java) R 17573 17573 7102 0 -1 4202560 3411 0 0 0 189 1 0 0 20 0 28 0 4863588 14270386176 189986 33554432000 4194304 4196468 140723148451920 140487302291200 140487979683222 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36974592 140723148453052 140723148453228 140723148453228 140723148455887 0
[pid=17574/tid=17591] ppid=17573 vsize=13935924 CPUtime=1.83 cores=1,3,5,7,9,11,13,15
/proc/17574/task/17591/stat : 17591 (java) R 17573 17573 7102 0 -1 4202560 4914 0 0 0 182 1 0 0 20 0 28 0 4863588 14270386176 189986 33554432000 4194304 4196468 140723148451920 140487301227808 140487958087710 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36974592 140723148453052 140723148453228 140723148453228 140723148455887 0
[pid=17574/tid=17592] ppid=17573 vsize=13935924 CPUtime=0.9 cores=1,3,5,7,9,11,13,15
/proc/17574/task/17592/stat : 17592 (java) R 17573 17573 7102 0 -1 1077944384 3870 0 0 0 89 1 0 0 20 0 28 0 4863588 14270386176 189986 33554432000 4194304 4196468 140723148451920 140487300188912 140487979682434 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 36974592 140723148453052 140723148453228 140723148453228 140723148455887 0
[pid=17574/tid=17593] ppid=17573 vsize=13935924 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17574/task/17593/stat : 17593 (java) S 17573 17573 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4863589 14270386176 189986 33554432000 4194304 4196468 140723148451920 140487299135840 140487979681493 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 36974592 140723148453052 140723148453228 140723148453228 140723148455887 0
[pid=17574/tid=17594] ppid=17573 vsize=13935924 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17574/task/17594/stat : 17594 (java) S 17573 17573 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4863589 14270386176 189986 33554432000 4194304 4196468 140723148451920 140487298083120 140487979682434 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36974592 140723148453052 140723148453228 140723148453228 140723148455887 0
Current children cumulated CPU time (s) 19.77
Current children cumulated vsize (KiB) 13945436

[startup+3.41516 s]
/proc/loadavg: 11.20 13.87 14.13 13/291 17961
/proc/meminfo: memFree=23759276/32770624 swapFree=5656/334884
[pid=17573] ppid=17570 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17573/stat : 17573 (xcsp3-exec) S 17570 17573 7102 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4863581 9740288 346 33554432000 4194304 5098028 140732337394016 140732337392120 140336671191676 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 12496896 140732337403023 140732337403232 140732337403232 140732337405931 0
/proc/17573/statm: 2378 346 289 221 0 87 0
[pid=17574] ppid=17573 vsize=13935924 CPUtime=21.46 cores=1,3,5,7,9,11,13,15
/proc/17574/stat : 17574 (java) S 17573 17573 7102 0 -1 1077944320 32504 0 0 0 1949 197 0 0 20 0 28 0 4863581 14270386176 190044 33554432000 4194304 4196468 140723148451920 140723148434464 140487979671287 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 36974592 140723148453052 140723148453228 140723148453228 140723148455887 0
/proc/17574/statm: 3483981 190044 3278 1 0 3471214 0
[pid=17574/tid=17575] ppid=17573 vsize=13935924 CPUtime=0.89 cores=1,3,5,7,9,11,13,15
/proc/17574/task/17575/stat : 17575 (java) S 17573 17573 7102 0 -1 1077944384 6968 0 0 0 84 5 0 0 20 0 28 0 4863581 14270386176 190044 33554432000 4194304 4196468 140723148451920 140487983912064 140487979681493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36974592 140723148453052 140723148453228 140723148453228 140723148455887 0
[pid=17574/tid=17577] ppid=17573 vsize=13935924 CPUtime=0.68 cores=1,3,5,7,9,11,13,15
/proc/17574/task/17577/stat : 17577 (java) S 17573 17573 7102 0 -1 1077944384 189 0 0 0 44 24 0 0 20 0 28 0 4863582 14270386176 190044 33554432000 4194304 4196468 140723148451920 140487911807376 140487979681493 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 36974592 140723148453052 140723148453228 140723148453228 140723148455887 0
[pid=17574/tid=17578] ppid=17573 vsize=13935924 CPUtime=0.66 cores=1,3,5,7,9,11,13,15
/proc/17574/task/17578/stat : 17578 (java) S 17573 17573 7102 0 -1 1077944384 173 0 0 0 44 22 0 0 20 0 28 0 4863582 14270386176 190044 33554432000 4194304 4196468 140723148451920 140487578061072 140487979681493 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 36974592 140723148453052 140723148453228 140723148453228 140723148455887 0
[pid=17574/tid=17579] ppid=17573 vsize=13935924 CPUtime=0.62 cores=1,3,5,7,9,11,13,15
/proc/17574/task/17579/stat : 17579 (java) S 17573 17573 7102 0 -1 1077944384 311 0 0 0 42 20 0 0 20 0 28 0 4863582 14270386176 190044 33554432000 4194304 4196468 140723148451920 140487577008784 140487979681493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36974592 140723148453052 140723148453228 140723148453228 140723148455887 0
[pid=17574/tid=17580] ppid=17573 vsize=13935924 CPUtime=0.65 cores=1,3,5,7,9,11,13,15
/proc/17574/task/17580/stat : 17580 (java) S 17573 17573 7102 0 -1 1077944384 181 0 0 0 44 21 0 0 20 0 28 0 4863582 14270386176 190044 33554432000 4194304 4196468 140723148451920 140487575955984 140487979681493 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 36974592 140723148453052 140723148453228 140723148453228 140723148455887 0
[pid=17574/tid=17581] ppid=17573 vsize=13935924 CPUtime=0.67 cores=1,3,5,7,9,11,13,15
/proc/17574/task/17581/stat : 17581 (java) S 17573 17573 7102 0 -1 1077944384 258 0 0 0 44 23 0 0 20 0 28 0 4863582 14270386176 190044 33554432000 4194304 4196468 140723148451920 140487574903696 140487979681493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36974592 140723148453052 140723148453228 140723148453228 140723148455887 0
[pid=17574/tid=17582] ppid=17573 vsize=13935924 CPUtime=0.67 cores=1,3,5,7,9,11,13,15
/proc/17574/task/17582/stat : 17582 (java) S 17573 17573 7102 0 -1 1077944384 235 0 0 0 47 20 0 0 20 0 28 0 4863582 14270386176 190044 33554432000 4194304 4196468 140723148451920 140487573850896 140487979681493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36974592 140723148453052 140723148453228 140723148453228 140723148455887 0
[pid=17574/tid=17583] ppid=17573 vsize=13935924 CPUtime=0.62 cores=1,3,5,7,9,11,13,15
/proc/17574/task/17583/stat : 17583 (java) S 17573 17573 7102 0 -1 1077944384 164 0 0 0 43 19 0 0 20 0 28 0 4863582 14270386176 190044 33554432000 4194304 4196468 140723148451920 140487572798608 140487979681493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36974592 140723148453052 140723148453228 140723148453228 140723148455887 0
[pid=17574/tid=17584] ppid=17573 vsize=13935924 CPUtime=0.65 cores=1,3,5,7,9,11,13,15
/proc/17574/task/17584/stat : 17584 (java) S 17573 17573 7102 0 -1 1077944384 171 0 0 0 44 21 0 0 20 0 28 0 4863582 14270386176 190044 33554432000 4194304 4196468 140723148451920 140487571745808 140487979681493 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 36974592 140723148453052 140723148453228 140723148453228 140723148455887 0
[pid=17574/tid=17585] ppid=17573 vsize=13935924 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/17574/task/17585/stat : 17585 (java) S 17573 17573 7102 0 -1 1077944384 666 0 0 0 2 0 0 0 20 0 28 0 4863584 14270386176 190044 33554432000 4194304 4196468 140723148451920 140487509067888 140487979682434 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36974592 140723148453052 140723148453228 140723148453228 140723148455887 0
[pid=17574/tid=17586] ppid=17573 vsize=13935924 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17574/task/17586/stat : 17586 (java) S 17573 17573 7102 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 28 0 4863585 14270386176 190044 33554432000 4194304 4196468 140723148451920 140487306503008 140487979681493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36974592 140723148453052 140723148453228 140723148453228 140723148455887 0
[pid=17574/tid=17587] ppid=17573 vsize=13935924 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17574/task/17587/stat : 17587 (java) S 17573 17573 7102 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 4863585 14270386176 190044 33554432000 4194304 4196468 140723148451920 140487305450624 140487979681493 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 36974592 140723148453052 140723148453228 140723148453228 140723148455887 0
[pid=17574/tid=17588] ppid=17573 vsize=13935924 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17574/task/17588/stat : 17588 (java) S 17573 17573 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4863588 14270386176 190044 33554432000 4194304 4196468 140723148451920 140487304398928 140487979689883 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 36974592 140723148453052 140723148453228 140723148453228 140723148455887 0
[pid=17574/tid=17589] ppid=17573 vsize=13935924 CPUtime=1.98 cores=1,3,5,7,9,11,13,15
/proc/17574/task/17589/stat : 17589 (java) R 17573 17573 7102 0 -1 4202560 2748 0 0 0 198 0 0 0 20 0 28 0 4863588 14270386176 190044 33554432000 4194304 4196468 140723148451920 140487303335120 140487963058091 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 36974592 140723148453052 140723148453228 140723148453228 140723148455887 0
[pid=17574/tid=17590] ppid=17573 vsize=13935924 CPUtime=2 cores=1,3,5,7,9,11,13,15
/proc/17574/task/17590/stat : 17590 (java) R 17573 17573 7102 0 -1 4202560 3431 0 0 0 199 1 0 0 20 0 28 0 4863588 14270386176 190044 33554432000 4194304 4196468 140723148451920 140487302275200 140487972768123 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36974592 140723148453052 140723148453228 140723148453228 140723148455887 0
[pid=17574/tid=17591] ppid=17573 vsize=13935924 CPUtime=1.93 cores=1,3,5,7,9,11,13,15
/proc/17574/task/17591/stat : 17591 (java) R 17573 17573 7102 0 -1 4202560 4941 0 0 0 192 1 0 0 20 0 28 0 4863588 14270386176 190044 33554432000 4194304 4196468 140723148451920 140487301230552 140487957266065 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 36974592 140723148453052 140723148453228 140723148453228 140723148455887 0
[pid=17574/tid=17592] ppid=17573 vsize=13935924 CPUtime=0.95 cores=1,3,5,7,9,11,13,15
/proc/17574/task/17592/stat : 17592 (java) S 17573 17573 7102 0 -1 1077944384 3910 0 0 0 94 1 0 0 20 0 28 0 4863588 14270386176 190044 33554432000 4194304 4196468 140723148451920 140487300188912 140487979682434 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36974592 140723148453052 140723148453228 140723148453228 140723148455887 0
[pid=17574/tid=17593] ppid=17573 vsize=13935924 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17574/task/17593/stat : 17593 (java) S 17573 17573 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4863589 14270386176 190044 33554432000 4194304 4196468 140723148451920 140487299135840 140487979681493 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 36974592 140723148453052 140723148453228 140723148453228 140723148455887 0
[pid=17574/tid=17594] ppid=17573 vsize=13935924 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17574/task/17594/stat : 17594 (java) S 17573 17573 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4863589 14270386176 190044 33554432000 4194304 4196468 140723148451920 140487298083120 140487979682434 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36974592 140723148453052 140723148453228 140723148453228 140723148455887 0
[pid=17574/tid=17954] ppid=17573 vsize=13935924 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/17574/task/17954/stat : 17954 (java) R 17573 17573 7102 0 -1 4202560 18 0 0 0 14 0 0 0 20 0 28 0 4863899 14270386176 190044 33554432000 4194304 4196468 140723148451920 140487285856144 140487597600965 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 36974592 140723148453052 140723148453228 140723148453228 140723148455887 0
[pid=17574/tid=17955] ppid=17573 vsize=13935924 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/17574/task/17955/stat : 17955 (java) R 17573 17573 7102 0 -1 4202560 19 0 0 0 11 0 0 0 20 0 28 0 4863899 14270386176 190044 33554432000 4194304 4196468 140723148451920 140487282700856 140487597601640 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36974592 140723148453052 140723148453228 140723148453228 140723148455887 0
[pid=17574/tid=17956] ppid=17573 vsize=13935924 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/17574/task/17956/stat : 17956 (java) R 17573 17573 7102 0 -1 4202560 143 0 0 0 14 0 0 0 20 0 28 0 4863899 14270386176 190044 33554432000 4194304 4196468 140723148451920 140487283751176 140487599019076 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 36974592 140723148453052 140723148453228 140723148453228 140723148455887 0
[pid=17574/tid=17957] ppid=17573 vsize=13935924 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/17574/task/17957/stat : 17957 (java) R 17573 17573 7102 0 -1 4202560 19 0 0 0 15 0 0 0 20 0 28 0 4863899 14270386176 190044 33554432000 4194304 4196468 140723148451920 140487287964072 140487598945866 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 36974592 140723148453052 140723148453228 140723148453228 140723148455887 0
[pid=17574/tid=17958] ppid=17573 vsize=13935924 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/17574/task/17958/stat : 17958 (java) R 17573 17573 7102 0 -1 4202560 26 0 0 0 22 0 0 0 20 0 28 0 4863899 14270386176 190044 33554432000 4194304 4196468 140723148451920 140487284805192 140487979683222 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 36974592 140723148453052 140723148453228 140723148453228 140723148455887 0
[pid=17574/tid=17959] ppid=17573 vsize=13935924 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/17574/task/17959/stat : 17959 (java) R 17573 17573 7102 0 -1 4202560 17 0 0 0 20 0 0 0 20 0 28 0 4863899 14270386176 190044 33554432000 4194304 4196468 140723148451920 140487280595872 140487597601215 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36974592 140723148453052 140723148453228 140723148453228 140723148455887 0
[pid=17574/tid=17960] ppid=17573 vsize=13935924 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/17574/task/17960/stat : 17960 (java) R 17573 17573 7102 0 -1 4202560 19 0 0 0 15 0 0 0 20 0 28 0 4863900 14270386176 190044 33554432000 4194304 4196468 140723148451920 140487279542440 140487599018405 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36974592 140723148453052 140723148453228 140723148453228 140723148455887 0
[pid=17574/tid=17961] ppid=17573 vsize=13935924 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/17574/task/17961/stat : 17961 (java) R 17573 17573 7102 0 -1 4202560 18 0 0 0 22 0 0 0 20 0 28 0 4863900 14270386176 190044 33554432000 4194304 4196468 140723148451920 140487281647736 140487597686126 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36974592 140723148453052 140723148453228 140723148453228 140723148455887 0
Current children cumulated CPU time (s) 21.46
Current children cumulated vsize (KiB) 13945436

[startup+3.50177 s]
/proc/loadavg: 11.20 13.87 14.13 13/291 17961
/proc/meminfo: memFree=23759276/32770624 swapFree=5656/334884
[pid=17573] ppid=17570 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17573/stat : 17573 (xcsp3-exec) S 17570 17573 7102 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4863581 9740288 346 33554432000 4194304 5098028 140732337394016 140732337392120 140336671191676 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 12496896 140732337403023 140732337403232 140732337403232 140732337405931 0
/proc/17573/statm: 2378 346 289 221 0 87 0
[pid=17574] ppid=17573 vsize=13935924 CPUtime=22.15 cores=1,3,5,7,9,11,13,15
/proc/17574/stat : 17574 (java) S 17573 17573 7102 0 -1 1077944320 32588 0 0 0 2018 197 0 0 20 0 28 0 4863581 14270386176 190067 33554432000 4194304 4196468 140723148451920 140723148434464 140487979671287 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 36974592 140723148453052 140723148453228 140723148453228 140723148455887 0
/proc/17574/statm: 3483981 190067 3279 1 0 3471214 0
[pid=17574/tid=17575] ppid=17573 vsize=13935924 CPUtime=0.89 cores=1,3,5,7,9,11,13,15
/proc/17574/task/17575/stat : 17575 (java) S 17573 17573 7102 0 -1 1077944384 6968 0 0 0 84 5 0 0 20 0 28 0 4863581 14270386176 190067 33554432000 4194304 4196468 140723148451920 140487983912064 140487979681493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36974592 140723148453052 140723148453228 140723148453228 140723148455887 0
[pid=17574/tid=17577] ppid=17573 vsize=13935924 CPUtime=0.68 cores=1,3,5,7,9,11,13,15
/proc/17574/task/17577/stat : 17577 (java) S 17573 17573 7102 0 -1 1077944384 189 0 0 0 44 24 0 0 20 0 28 0 4863582 14270386176 190067 33554432000 4194304 4196468 140723148451920 140487911807376 140487979681493 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 36974592 140723148453052 140723148453228 140723148453228 140723148455887 0
[pid=17574/tid=17578] ppid=17573 vsize=13935924 CPUtime=0.66 cores=1,3,5,7,9,11,13,15
/proc/17574/task/17578/stat : 17578 (java) S 17573 17573 7102 0 -1 1077944384 173 0 0 0 44 22 0 0 20 0 28 0 4863582 14270386176 190067 33554432000 4194304 4196468 140723148451920 140487578061072 140487979681493 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 36974592 140723148453052 140723148453228 140723148453228 140723148455887 0
[pid=17574/tid=17579] ppid=17573 vsize=13935924 CPUtime=0.62 cores=1,3,5,7,9,11,13,15
/proc/17574/task/17579/stat : 17579 (java) S 17573 17573 7102 0 -1 1077944384 311 0 0 0 42 20 0 0 20 0 28 0 4863582 14270386176 190067 33554432000 4194304 4196468 140723148451920 140487577008784 140487979681493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36974592 140723148453052 140723148453228 140723148453228 140723148455887 0
[pid=17574/tid=17580] ppid=17573 vsize=13935924 CPUtime=0.65 cores=1,3,5,7,9,11,13,15
/proc/17574/task/17580/stat : 17580 (java) S 17573 17573 7102 0 -1 1077944384 181 0 0 0 44 21 0 0 20 0 28 0 4863582 14270386176 190067 33554432000 4194304 4196468 140723148451920 140487575955984 140487979681493 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 36974592 140723148453052 140723148453228 140723148453228 140723148455887 0
[pid=17574/tid=17581] ppid=17573 vsize=13935924 CPUtime=0.67 cores=1,3,5,7,9,11,13,15
/proc/17574/task/17581/stat : 17581 (java) S 17573 17573 7102 0 -1 1077944384 258 0 0 0 44 23 0 0 20 0 28 0 4863582 14270386176 190067 33554432000 4194304 4196468 140723148451920 140487574903696 140487979681493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36974592 140723148453052 140723148453228 140723148453228 140723148455887 0
[pid=17574/tid=17582] ppid=17573 vsize=13935924 CPUtime=0.67 cores=1,3,5,7,9,11,13,15
/proc/17574/task/17582/stat : 17582 (java) S 17573 17573 7102 0 -1 1077944384 235 0 0 0 47 20 0 0 20 0 28 0 4863582 14270386176 190067 33554432000 4194304 4196468 140723148451920 140487573850896 140487979681493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36974592 140723148453052 140723148453228 140723148453228 140723148455887 0
[pid=17574/tid=17583] ppid=17573 vsize=13935924 CPUtime=0.62 cores=1,3,5,7,9,11,13,15
/proc/17574/task/17583/stat : 17583 (java) S 17573 17573 7102 0 -1 1077944384 164 0 0 0 43 19 0 0 20 0 28 0 4863582 14270386176 190067 33554432000 4194304 4196468 140723148451920 140487572798608 140487979681493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36974592 140723148453052 140723148453228 140723148453228 140723148455887 0
[pid=17574/tid=17584] ppid=17573 vsize=13935924 CPUtime=0.65 cores=1,3,5,7,9,11,13,15
/proc/17574/task/17584/stat : 17584 (java) S 17573 17573 7102 0 -1 1077944384 171 0 0 0 44 21 0 0 20 0 28 0 4863582 14270386176 190067 33554432000 4194304 4196468 140723148451920 140487571745808 140487979681493 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 36974592 140723148453052 140723148453228 140723148453228 140723148455887 0
[pid=17574/tid=17585] ppid=17573 vsize=13935924 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/17574/task/17585/stat : 17585 (java) S 17573 17573 7102 0 -1 1077944384 666 0 0 0 2 0 0 0 20 0 28 0 4863584 14270386176 190067 33554432000 4194304 4196468 140723148451920 140487509067888 140487979682434 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36974592 140723148453052 140723148453228 140723148453228 140723148455887 0
[pid=17574/tid=17586] ppid=17573 vsize=13935924 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17574/task/17586/stat : 17586 (java) S 17573 17573 7102 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 28 0 4863585 14270386176 190067 33554432000 4194304 4196468 140723148451920 140487306503008 140487979681493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36974592 140723148453052 140723148453228 140723148453228 140723148455887 0
[pid=17574/tid=17587] ppid=17573 vsize=13935924 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17574/task/17587/stat : 17587 (java) S 17573 17573 7102 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 4863585 14270386176 190067 33554432000 4194304 4196468 140723148451920 140487305450624 140487979681493 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 36974592 140723148453052 140723148453228 140723148453228 140723148455887 0
[pid=17574/tid=17588] ppid=17573 vsize=13935924 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17574/task/17588/stat : 17588 (java) S 17573 17573 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4863588 14270386176 190067 33554432000 4194304 4196468 140723148451920 140487304398928 140487979689883 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 36974592 140723148453052 140723148453228 140723148453228 140723148455887 0
[pid=17574/tid=17589] ppid=17573 vsize=13935924 CPUtime=2.04 cores=1,3,5,7,9,11,13,15
/proc/17574/task/17589/stat : 17589 (java) R 17573 17573 7102 0 -1 4202560 2748 0 0 0 204 0 0 0 20 0 28 0 4863588 14270386176 190067 33554432000 4194304 4196468 140723148451920 140487303335120 140487959357955 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36974592 140723148453052 140723148453228 140723148453228 140723148455887 0
[pid=17574/tid=17590] ppid=17573 vsize=13935924 CPUtime=2.07 cores=1,3,5,7,9,11,13,15
/proc/17574/task/17590/stat : 17590 (java) R 17573 17573 7102 0 -1 4202560 3440 0 0 0 206 1 0 0 20 0 28 0 4863588 14270386176 190067 33554432000 4194304 4196468 140723148451920 140487302280568 140487964063268 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 36974592 140723148453052 140723148453228 140723148453228 140723148455887 0
[pid=17574/tid=17591] ppid=17573 vsize=13935924 CPUtime=1.97 cores=1,3,5,7,9,11,13,15
/proc/17574/task/17591/stat : 17591 (java) R 17573 17573 7102 0 -1 4202560 4941 0 0 0 196 1 0 0 20 0 28 0 4863588 14270386176 190067 33554432000 4194304 4196468 140723148451920 140487301228256 140487964796677 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 36974592 140723148453052 140723148453228 140723148453228 140723148455887 0
[pid=17574/tid=17592] ppid=17573 vsize=13935924 CPUtime=0.96 cores=1,3,5,7,9,11,13,15
/proc/17574/task/17592/stat : 17592 (java) R 17573 17573 7102 0 -1 4202560 3914 0 0 0 95 1 0 0 20 0 28 0 4863588 14270386176 190067 33554432000 4194304 4196468 140723148451920 140487300188752 140487979692634 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36974592 140723148453052 140723148453228 140723148453228 140723148455887 0
[pid=17574/tid=17593] ppid=17573 vsize=13935924 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17574/task/17593/stat : 17593 (java) S 17573 17573 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4863589 14270386176 190067 33554432000 4194304 4196468 140723148451920 140487299135840 140487979681493 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 36974592 140723148453052 140723148453228 140723148453228 140723148455887 0
[pid=17574/tid=17594] ppid=17573 vsize=13935924 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17574/task/17594/stat : 17594 (java) S 17573 17573 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4863589 14270386176 190067 33554432000 4194304 4196468 140723148451920 140487298083120 140487979682434 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36974592 140723148453052 140723148453228 140723148453228 140723148455887 0
[pid=17574/tid=17954] ppid=17573 vsize=13935924 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/17574/task/17954/stat : 17954 (java) R 17573 17573 7102 0 -1 4202560 18 0 0 0 21 0 0 0 20 0 28 0 4863899 14270386176 190067 33554432000 4194304 4196468 140723148451920 140487285858864 140487979692634 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36974592 140723148453052 140723148453228 140723148453228 140723148455887 0
[pid=17574/tid=17955] ppid=17573 vsize=13935924 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/17574/task/17955/stat : 17955 (java) R 17573 17573 7102 0 -1 4202560 19 0 0 0 15 0 0 0 20 0 28 0 4863899 14270386176 190067 33554432000 4194304 4196468 140723148451920 140487282700856 140487597601609 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36974592 140723148453052 140723148453228 140723148453228 140723148455887 0
[pid=17574/tid=17956] ppid=17573 vsize=13935924 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/17574/task/17956/stat : 17956 (java) R 17573 17573 7102 0 -1 4202560 214 0 0 0 21 0 0 0 20 0 28 0 4863899 14270386176 190067 33554432000 4194304 4196468 140723148451920 140487283753144 140487597685920 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 36974592 140723148453052 140723148453228 140723148453228 140723148455887 0
[pid=17574/tid=17957] ppid=17573 vsize=13935924 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/17574/task/17957/stat : 17957 (java) R 17573 17573 7102 0 -1 4202560 19 0 0 0 18 0 0 0 20 0 28 0 4863899 14270386176 190067 33554432000 4194304 4196468 140723148451920 140487287963656 140487598941477 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36974592 140723148453052 140723148453228 140723148453228 140723148455887 0
[pid=17574/tid=17958] ppid=17573 vsize=13935924 CPUtime=0.31 cores=1,3,5,7,9,11,13,15
/proc/17574/task/17958/stat : 17958 (java) R 17573 17573 7102 0 -1 4202560 26 0 0 0 31 0 0 0 20 0 28 0 4863899 14270386176 190067 33554432000 4194304 4196468 140723148451920 140487284806408 140487597601258 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 36974592 140723148453052 140723148453228 140723148453228 140723148455887 0
[pid=17574/tid=17959] ppid=17573 vsize=13935924 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/17574/task/17959/stat : 17959 (java) R 17573 17573 7102 0 -1 4202560 17 0 0 0 25 0 0 0 20 0 28 0 4863899 14270386176 190067 33554432000 4194304 4196468 140723148451920 140487280595976 140487599181431 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 36974592 140723148453052 140723148453228 140723148453228 140723148455887 0
[pid=17574/tid=17960] ppid=17573 vsize=13935924 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/17574/task/17960/stat : 17960 (java) R 17573 17573 7102 0 -1 4202560 19 0 0 0 21 0 0 0 20 0 28 0 4863900 14270386176 190067 33554432000 4194304 4196468 140723148451920 140487279542808 140487598390028 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36974592 140723148453052 140723148453228 140723148453228 140723148455887 0
[pid=17574/tid=17961] ppid=17573 vsize=13935924 CPUtime=0.31 cores=1,3,5,7,9,11,13,15
/proc/17574/task/17961/stat : 17961 (java) R 17573 17573 7102 0 -1 4202560 18 0 0 0 31 0 0 0 20 0 28 0 4863900 14270386176 190067 33554432000 4194304 4196468 140723148451920 140487281647240 140487600019974 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36974592 140723148453052 140723148453228 140723148453228 140723148455887 0
Current children cumulated CPU time (s) 22.15
Current children cumulated vsize (KiB) 13945436

Child status: 0
Real time (s): 3.57985
CPU time (s): 22.6226
CPU user time (s): 20.6438
CPU system time (s): 1.97886
CPU usage (%): 631.943
Max. virtual memory (cumulated for all children) (KiB): 13947356

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20.6438
system time used= 1.97886
maximum resident set size= 762080
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33195
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= 6413
involuntary context switches= 2659

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.038389 second user time and 0.048946 second system time

The end

Launcher Data 

Begin job on node130 at 2017-07-22 05:59:21
IDJOB=4249777
IDBENCH=138327
IDSOLVER=2626
FILE ID=node130/4249777-1500695961
RUNJOBID= node130-1500684118-8560
PBS_JOBID= 20623029
Free space on /tmp= 61880 MiB

SOLVER NAME= choco-solver 5a
BENCH NAME= XCSP17/Fastfood/Fastfood-m1-s1/Fastfood-ff37.xml
COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 10000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4249777-1500695961/watcher-4249777-1500695961 -o /tmp/evaluation-result-4249777-1500695961/solver-4249777-1500695961 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node130-1500684118-8560 --watchdog 2560  ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 242533087 HOME/instance-4249777-1500695961.xml

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

MD5SUM BENCH= dbb927e38b62f74060b1eb924850c2da
RANDOM SEED=242533087

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

/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		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.34
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		: 2533.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.34
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		: 2533.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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	: 8
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.34
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		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.34
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		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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:

processor	: 8
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	: 8
core id		: 0
cpu cores	: 4
apicid		: 1
initial apicid	: 1
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.34
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 9
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2667.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 17
initial apicid	: 17
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	: 10
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	: 8
core id		: 1
cpu cores	: 4
apicid		: 3
initial apicid	: 3
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.34
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 11
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1867.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 19
initial apicid	: 19
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	: 12
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	: 8
core id		: 2
cpu cores	: 4
apicid		: 5
initial apicid	: 5
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.34
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 13
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2667.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 21
initial apicid	: 21
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	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 7
initial apicid	: 7
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.34
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 15
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1867.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 23
initial apicid	: 23
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:        24511120 kB
MemAvailable:   24803200 kB
Buffers:          122656 kB
Cached:           449888 kB
SwapCached:            0 kB
Active:          7472932 kB
Inactive:         343772 kB
Active(anon):    7246324 kB
Inactive(anon):     8888 kB
Active(file):     226608 kB
Inactive(file):   334884 kB
Unevictable:        5656 kB
Mlocked:            5656 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              8068 kB
Writeback:             4 kB
AnonPages:       7173332 kB
Mapped:            42652 kB
Shmem:              8844 kB
Slab:             127156 kB
SReclaimable:      92848 kB
SUnreclaim:        34308 kB
KernelStack:        5216 kB
PageTables:        18696 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    9918380 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   6557696 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      128384 kB
DirectMap2M:    33417216 kB

Free space on /tmp at the end= 61872 MiB
End job on node130 at 2017-07-22 05:59:24