Trace number 4087226

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 NameAnswerCPU timeWall clock time
cdcl-cuttingplanes DEC 2016-05-01? (TO) 1800.01 1800.3

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/
ShortestPathNG/normalized-NG_K132.opb
MD5SUM88bbbc51beb841161685a00fb4d24f63
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables15708
Total number of constraints15974
Number of constraints which are clauses15842
Number of constraints which are cardinality constraints (but not clauses)132
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint132
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 133
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c * #variable= 15708 #constraint= 15974
1.68/1.74	c #Conflicts:       1000 | #Learnt:        998 | 0.023
1.68/1.74	c total clause space: 18.2382MB
1.68/1.74	c total #watches: 156416
5.89/5.94	c total #propagations: 1152334 / total #impl: 23051185 (eff. 0.050)
5.89/5.94	c #Conflicts:       2000 | #Learnt:       1998 | 0.012
5.89/5.94	c total clause space: 18.2382MB
5.89/5.94	c total #watches: 265555
9.28/9.35	c total #propagations: 2255732 / total #impl: 69786428 (eff. 0.032)
9.28/9.35	c GARBAGE COLLECT
9.28/9.35	c #Conflicts:       3000 | #Learnt:       2069 | 0.008
9.28/9.35	c total clause space: 48.1602MB
9.28/9.35	c total #watches: 302537
24.38/24.48	c total #propagations: 2901050 / total #impl: 106847856 (eff. 0.027)
24.38/24.48	c #Conflicts:       4000 | #Learnt:       3069 | 0.006
24.38/24.48	c total clause space: 48.1602MB
24.38/24.48	c total #watches: 435897
35.78/35.85	c total #propagations: 3797629 / total #impl: 184664769 (eff. 0.021)
35.78/35.85	c GARBAGE COLLECT
35.78/35.85	c #Conflicts:       5000 | #Learnt:       2438 | 0.005
35.78/35.85	c total clause space: 48.1602MB
35.78/35.85	c total #watches: 348520
51.27/51.32	c total #propagations: 4541164 / total #impl: 244951660 (eff. 0.019)
51.27/51.32	c #Conflicts:       6000 | #Learnt:       3438 | 0.007
51.27/51.32	c total clause space: 48.1602MB
51.27/51.32	c total #watches: 468986
73.98/74.00	c total #propagations: 5436160 / total #impl: 341425187 (eff. 0.016)
73.98/74.00	c GARBAGE COLLECT
73.98/74.00	c #Conflicts:       7000 | #Learnt:       2328 | 0.007
73.98/74.00	c total clause space: 78.2603MB
73.98/74.00	c total #watches: 372051
85.27/85.34	c total #propagations: 6463626 / total #impl: 490726931 (eff. 0.013)
85.27/85.34	c #Conflicts:       8000 | #Learnt:       3328 | 0.007
85.27/85.34	c total clause space: 78.2603MB
85.27/85.34	c total #watches: 504124
108.87/108.95	c total #propagations: 7139078 / total #impl: 593498336 (eff. 0.012)
108.87/108.95	c #Conflicts:       9000 | #Learnt:       4328 | 0.006
108.87/108.95	c total clause space: 78.2603MB
108.87/108.95	c total #watches: 641929
123.67/123.70	c total #propagations: 8052113 / total #impl: 716563451 (eff. 0.011)
123.67/123.70	c GARBAGE COLLECT
123.67/123.70	c #Conflicts:      10000 | #Learnt:       2810 | 0.007
123.67/123.70	c total clause space: 78.2603MB
123.67/123.70	c total #watches: 433692
140.27/140.33	c total #propagations: 8673963 / total #impl: 783411038 (eff. 0.011)
140.27/140.33	c #Conflicts:      11000 | #Learnt:       3810 | 0.006
140.27/140.33	c total clause space: 78.2603MB
140.27/140.33	c total #watches: 608222
174.16/174.24	c total #propagations: 9421111 / total #impl: 868615222 (eff. 0.011)
174.16/174.24	c #Conflicts:      12000 | #Learnt:       4810 | 0.006
174.16/174.24	c total clause space: 78.2603MB
174.16/174.24	c total #watches: 806541
215.45/215.51	c total #propagations: 10300350 / total #impl: 1014778526 (eff. 0.010)
215.45/215.51	c #Conflicts:      13000 | #Learnt:       5810 | 0.005
215.45/215.51	c total clause space: 78.2603MB
215.45/215.51	c total #watches: 1039660
255.05/255.19	c total #propagations: 11022585 / total #impl: 1205296434 (eff. 0.009)
255.05/255.19	c GARBAGE COLLECT
255.05/255.19	c #Conflicts:      14000 | #Learnt:       3977 | 0.009
255.05/255.19	c total clause space: 78.2603MB
255.05/255.19	c total #watches: 777990
287.44/287.50	c total #propagations: 11841553 / total #impl: 1407954000 (eff. 0.008)
287.44/287.50	c #Conflicts:      15000 | #Learnt:       4977 | 0.009
287.44/287.50	c total clause space: 78.2603MB
287.44/287.50	c total #watches: 947316
324.54/324.67	c total #propagations: 12440741 / total #impl: 1564375155 (eff. 0.008)
324.54/324.67	c #Conflicts:      16000 | #Learnt:       5977 | 0.008
324.54/324.67	c total clause space: 78.2603MB
324.54/324.67	c total #watches: 1094033
364.42/364.54	c total #propagations: 13048469 / total #impl: 1751253285 (eff. 0.007)
364.42/364.54	c GARBAGE COLLECT
364.42/364.54	c #Conflicts:      17000 | #Learnt:       3851 | 0.008
364.42/364.54	c total clause space: 127.173MB
364.42/364.54	c total #watches: 657336
393.92/394.00	c total #propagations: 13881109 / total #impl: 1902750017 (eff. 0.007)
393.92/394.00	c #Conflicts:      18000 | #Learnt:       4851 | 0.007
393.92/394.00	c total clause space: 127.173MB
393.92/394.00	c total #watches: 797550
433.01/433.12	c total #propagations: 14578327 / total #impl: 2080587136 (eff. 0.007)
433.01/433.12	c #Conflicts:      19000 | #Learnt:       5851 | 0.007
433.01/433.12	c total clause space: 127.173MB
433.01/433.12	c total #watches: 917850
493.20/493.38	c total #propagations: 15298067 / total #impl: 2237394654 (eff. 0.007)
493.20/493.38	c #Conflicts:      20000 | #Learnt:       6851 | 0.008
493.20/493.38	c total clause space: 127.173MB
493.20/493.38	c total #watches: 1046645
530.11/530.30	c total #propagations: 16234758 / total #impl: 2455568797 (eff. 0.007)
530.11/530.30	c GARBAGE COLLECT
530.11/530.30	c #Conflicts:      21000 | #Learnt:       4345 | 0.007
530.11/530.30	c total clause space: 127.173MB
530.11/530.30	c total #watches: 678218
564.90/565.09	c total #propagations: 17047830 / total #impl: 2603481580 (eff. 0.007)
564.90/565.09	c #Conflicts:      22000 | #Learnt:       5345 | 0.007
564.90/565.09	c total clause space: 127.173MB
564.90/565.09	c total #watches: 889258
620.19/620.39	c total #propagations: 17868430 / total #impl: 2784630874 (eff. 0.006)
620.19/620.39	c #Conflicts:      23000 | #Learnt:       6345 | 0.007
620.19/620.39	c total clause space: 127.173MB
620.19/620.39	c total #watches: 1131563
718.67/718.86	c total #propagations: 18514860 / total #impl: 2995379307 (eff. 0.006)
718.67/718.86	c #Conflicts:      24000 | #Learnt:       7345 | 0.007
718.67/718.86	c total clause space: 127.173MB
718.67/718.86	c total #watches: 1276259
780.66/780.87	c total #propagations: 19342511 / total #impl: 3272757281 (eff. 0.006)
780.66/780.87	c GARBAGE COLLECT
780.66/780.87	c #Conflicts:      25000 | #Learnt:       4528 | 0.007
780.66/780.87	c total clause space: 127.173MB
780.66/780.87	c total #watches: 824260
828.86/829.08	c total #propagations: 19991067 / total #impl: 3448661780 (eff. 0.006)
828.86/829.08	c #Conflicts:      26000 | #Learnt:       5528 | 0.007
828.86/829.08	c total clause space: 127.173MB
828.86/829.08	c total #watches: 946363
897.74/897.93	c total #propagations: 20588726 / total #impl: 3641988697 (eff. 0.006)
897.74/897.93	c #Conflicts:      27000 | #Learnt:       6528 | 0.006
897.74/897.93	c total clause space: 127.173MB
897.74/897.93	c total #watches: 1133691
995.43/995.62	c total #propagations: 21245493 / total #impl: 3915404906 (eff. 0.005)
995.43/995.62	c #Conflicts:      28000 | #Learnt:       7528 | 0.006
995.43/995.62	c total clause space: 206.656MB
995.43/995.62	c total #watches: 1295080
1101.30/1101.56	c total #propagations: 22029699 / total #impl: 4192403264 (eff. 0.005)
1101.30/1101.56	c GARBAGE COLLECT
1101.30/1101.56	c #Conflicts:      29000 | #Learnt:       4468 | 0.006
1101.30/1101.56	c total clause space: 206.656MB
1101.30/1101.56	c total #watches: 764772
1154.50/1154.76	c total #propagations: 22798269 / total #impl: 4466448433 (eff. 0.005)
1154.50/1154.76	c #Conflicts:      30000 | #Learnt:       5468 | 0.006
1154.50/1154.76	c total clause space: 206.656MB
1154.50/1154.76	c total #watches: 1015260
1255.28/1255.54	c total #propagations: 23481384 / total #impl: 4593447015 (eff. 0.005)
1255.28/1255.54	c #Conflicts:      31000 | #Learnt:       6468 | 0.006
1255.28/1255.54	c total clause space: 206.656MB
1255.28/1255.54	c total #watches: 1212393
1367.77/1368.01	c total #propagations: 24346429 / total #impl: 4821087139 (eff. 0.005)
1367.77/1368.01	c #Conflicts:      32000 | #Learnt:       7468 | 0.006
1367.77/1368.01	c total clause space: 206.656MB
1367.77/1368.01	c total #watches: 1445255
1533.14/1533.44	c total #propagations: 25128464 / total #impl: 5051912025 (eff. 0.005)
1533.14/1533.44	c #Conflicts:      33000 | #Learnt:       8468 | 0.005
1533.14/1533.44	c total clause space: 206.656MB
1533.14/1533.44	c total #watches: 1719238
1629.22/1629.59	c total #propagations: 26024129 / total #impl: 5541069798 (eff. 0.005)
1629.22/1629.59	c GARBAGE COLLECT
1629.22/1629.59	c #Conflicts:      34000 | #Learnt:       5044 | 0.005
1629.22/1629.59	c total clause space: 206.656MB
1629.22/1629.59	c total #watches: 1090041
1703.71/1704.03	c total #propagations: 26654925 / total #impl: 5843678923 (eff. 0.005)
1703.71/1704.03	c #Conflicts:      35000 | #Learnt:       6044 | 0.005
1703.71/1704.03	c total clause space: 206.656MB
1703.71/1704.03	c total #watches: 1383907
1788.31/1788.61	c total #propagations: 27164795 / total #impl: 6177504610 (eff. 0.004)
1788.31/1788.61	c #Conflicts:      36000 | #Learnt:       7044 | 0.005
1788.31/1788.61	c total clause space: 206.656MB
1788.31/1788.61	c total #watches: 1486890

Verifier Data 

ERROR: no interpretation found !

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-4087226-1465432435/watcher-4087226-1465432435 -o /tmp/evaluation-result-4087226-1465432435/solver-4087226-1465432435 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1465427032-23762 --watchdog 1960 --input HOME/instance-4087226-1465432435.opb ./cdcl-cuttingplanes-release 

pid=24220
running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 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: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.19 2.25 2.22 3/176 24223
/proc/meminfo: memFree=29845080/32872528 swapFree=16384/1696552
[pid=24223] ppid=24220 vsize=29104 CPUtime=0 cores=0,2,4,6
/proc/24223/stat : 24223 (cdcl-cuttingpla) R 24220 24223 23746 0 -1 4202496 233 0 0 0 0 0 0 0 20 0 1 0 125176603 29802496 3692 33554432000 4194304 6199737 140737136714592 140736771093416 4202467 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/24223/statm: 7276 3692 93 490 0 6777 0

[startup+0.100114 s]
/proc/loadavg: 2.19 2.25 2.22 3/176 24223
/proc/meminfo: memFree=29845080/32872528 swapFree=16384/1696552
[pid=24223] ppid=24220 vsize=34384 CPUtime=0.09 cores=0,2,4,6
/proc/24223/stat : 24223 (cdcl-cuttingpla) R 24220 24223 23746 0 -1 4202496 1246 0 0 0 9 0 0 0 20 0 1 0 125176603 35209216 7454 33554432000 4194304 6199737 140737136714592 140737136712824 4207822 0 0 4096 8388610 0 0 0 17 0 0 0 0 0 0
/proc/24223/statm: 8596 7454 134 490 0 8097 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 34384

[startup+0.200292 s]
/proc/loadavg: 2.19 2.25 2.22 3/176 24223
/proc/meminfo: memFree=29845080/32872528 swapFree=16384/1696552
[pid=24223] ppid=24220 vsize=37760 CPUtime=0.18 cores=0,2,4,6
/proc/24223/stat : 24223 (cdcl-cuttingpla) R 24220 24223 23746 0 -1 4202496 2091 0 0 0 18 0 0 0 20 0 1 0 125176603 38666240 8014 33554432000 4194304 6199737 140737136714592 140737136712824 4213389 0 0 4096 8388610 0 0 0 17 0 0 0 0 0 0
/proc/24223/statm: 9440 8014 139 490 0 8941 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 37760

[startup+0.300269 s]
/proc/loadavg: 2.19 2.25 2.22 3/176 24223
/proc/meminfo: memFree=29845080/32872528 swapFree=16384/1696552
[pid=24223] ppid=24220 vsize=38008 CPUtime=0.28 cores=0,2,4,6
/proc/24223/stat : 24223 (cdcl-cuttingpla) R 24220 24223 23746 0 -1 4202496 2570 0 0 0 28 0 0 0 20 0 1 0 125176603 38920192 8333 33554432000 4194304 6199737 140737136714592 140737136712824 4213476 0 0 4096 8388610 0 0 0 17 0 0 0 0 0 0
/proc/24223/statm: 9502 8333 139 490 0 9003 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 38008

[startup+0.700197 s]
/proc/loadavg: 2.19 2.25 2.22 3/176 24223
/proc/meminfo: memFree=29845080/32872528 swapFree=16384/1696552
[pid=24223] ppid=24220 vsize=42780 CPUtime=0.68 cores=0,2,4,6
/proc/24223/stat : 24223 (cdcl-cuttingpla) R 24220 24223 23746 0 -1 4202496 2903 0 0 0 68 0 0 0 20 0 1 0 125176603 43806720 9074 33554432000 4194304 6199737 140737136714592 140737136713528 4213495 0 0 4096 8388610 0 0 0 17 0 0 0 0 0 0
/proc/24223/statm: 10695 9074 139 490 0 10196 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 42780

[startup+1.5002 s]
/proc/loadavg: 2.19 2.25 2.22 3/177 24224
/proc/meminfo: memFree=29800888/32872528 swapFree=16384/1696552
[pid=24223] ppid=24220 vsize=43424 CPUtime=1.48 cores=0,2,4,6
/proc/24223/stat : 24223 (cdcl-cuttingpla) R 24220 24223 23746 0 -1 4202496 3169 0 0 0 148 0 0 0 20 0 1 0 125176603 44466176 9293 33554432000 4194304 6199737 140737136714592 140737136713528 4213489 0 0 4096 8388610 0 0 0 17 0 0 0 0 0 0
/proc/24223/statm: 10856 9293 139 490 0 10357 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 43424

[startup+3.10022 s]
/proc/loadavg: 2.19 2.25 2.22 3/177 24224
/proc/meminfo: memFree=29792016/32872528 swapFree=16384/1696552
[pid=24223] ppid=24220 vsize=51204 CPUtime=3.09 cores=0,2,4,6
/proc/24223/stat : 24223 (cdcl-cuttingpla) R 24220 24223 23746 0 -1 4202496 3703 0 0 0 308 1 0 0 20 0 1 0 125176603 52432896 10211 33554432000 4194304 6199737 140737136714592 140737136713528 4213306 0 0 4096 8388610 0 0 0 17 0 0 0 0 0 0
/proc/24223/statm: 12801 10211 155 490 0 12302 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 51204

[startup+6.30021 s]
/proc/loadavg: 2.17 2.25 2.22 3/177 24224
/proc/meminfo: memFree=29783884/32872528 swapFree=16384/1696552
[pid=24223] ppid=24220 vsize=52188 CPUtime=6.29 cores=0,2,4,6
/proc/24223/stat : 24223 (cdcl-cuttingpla) R 24220 24223 23746 0 -1 4202496 4738 0 0 0 628 1 0 0 20 0 1 0 125176603 53440512 11959 33554432000 4194304 6199737 140737136714592 140737136713528 4213381 0 0 4096 8388610 0 0 0 17 0 0 0 0 0 0
/proc/24223/statm: 13047 11959 155 490 0 12548 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 52188

[startup+12.7002 s]
/proc/loadavg: 2.16 2.24 2.22 3/177 24224
/proc/meminfo: memFree=29757620/32872528 swapFree=16384/1696552
[pid=24223] ppid=24220 vsize=84560 CPUtime=12.68 cores=0,2,4,6
/proc/24223/stat : 24223 (cdcl-cuttingpla) R 24220 24223 23746 0 -1 4202496 5706 0 0 0 1267 1 0 0 20 0 1 0 125176603 86589440 16359 33554432000 4194304 6199737 140737136714592 140737136713528 4213331 0 0 4096 8388610 0 0 0 17 0 0 0 0 0 0
/proc/24223/statm: 21140 16359 161 490 0 20641 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 84560

[startup+25.5003 s]
/proc/loadavg: 2.19 2.24 2.22 3/177 24224
/proc/meminfo: memFree=29737084/32872528 swapFree=16384/1696552
[pid=24223] ppid=24220 vsize=85808 CPUtime=25.48 cores=0,2,4,6
/proc/24223/stat : 24223 (cdcl-cuttingpla) R 24220 24223 23746 0 -1 4202496 6034 0 0 0 2547 1 0 0 20 0 1 0 125176603 87867392 18731 33554432000 4194304 6199737 140737136714592 140737136713704 4213368 0 0 4096 8388610 0 0 0 17 0 0 0 0 0 0
/proc/24223/statm: 21452 18731 161 490 0 20953 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 85808

[startup+51.1003 s]
/proc/loadavg: 2.26 2.26 2.22 3/177 24224
/proc/meminfo: memFree=29698804/32872528 swapFree=16384/1696552
[pid=24223] ppid=24220 vsize=87196 CPUtime=51.07 cores=0,2,4,6
/proc/24223/stat : 24223 (cdcl-cuttingpla) R 24220 24223 23746 0 -1 4202496 7084 0 0 0 5106 1 0 0 20 0 1 0 125176603 89288704 20523 33554432000 4194304 6199737 140737136714592 140737136713528 4213389 0 0 4096 8388610 0 0 0 17 0 0 0 0 0 0
/proc/24223/statm: 21799 20523 161 490 0 21300 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 87196

[startup+102.3 s]
/proc/loadavg: 2.15 2.23 2.21 3/177 24225
/proc/meminfo: memFree=29693424/32872528 swapFree=16384/1696552
[pid=24223] ppid=24220 vsize=120376 CPUtime=102.28 cores=0,2,4,6
/proc/24223/stat : 24223 (cdcl-cuttingpla) R 24220 24223 23746 0 -1 4202496 8129 0 0 0 10226 2 0 0 20 0 1 0 125176603 123265024 21373 33554432000 4194304 6199737 140737136714592 140737136713240 4213377 0 0 4096 8388610 0 0 0 17 0 0 0 0 0 0
/proc/24223/statm: 30094 21373 161 490 0 29595 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 120376

[startup+162.3 s]
/proc/loadavg: 2.26 2.24 2.21 4/177 24226
/proc/meminfo: memFree=29663200/32872528 swapFree=16384/1696552
[pid=24223] ppid=24220 vsize=123312 CPUtime=162.26 cores=0,2,4,6
/proc/24223/stat : 24223 (cdcl-cuttingpla) R 24220 24223 23746 0 -1 4202496 9316 0 0 0 16223 3 0 0 20 0 1 0 125176603 126271488 26465 33554432000 4194304 6199737 140737136714592 140737136713240 4213298 0 0 4096 8388610 0 0 0 17 0 0 0 0 0 0
/proc/24223/statm: 30828 26465 161 490 0 30329 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 123312

[startup+222.307 s]
/proc/loadavg: 2.26 2.24 2.21 4/176 24228
/proc/meminfo: memFree=29650700/32872528 swapFree=16384/1696552
[pid=24223] ppid=24220 vsize=126176 CPUtime=222.26 cores=0,2,4,6
/proc/24223/stat : 24223 (cdcl-cuttingpla) R 24220 24223 23746 0 -1 4202496 10088 0 0 0 22223 3 0 0 20 0 1 0 125176603 129204224 29269 33554432000 4194304 6199737 140737136714592 140737136713704 4213389 0 0 4096 8388610 0 0 0 17 0 0 0 0 0 0
/proc/24223/statm: 31544 29269 161 490 0 31045 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 126176

[startup+282.3 s]
/proc/loadavg: 2.21 2.23 2.21 3/177 24230
/proc/meminfo: memFree=29648060/32872528 swapFree=16384/1696552
[pid=24223] ppid=24220 vsize=127216 CPUtime=282.24 cores=0,2,4,6
/proc/24223/stat : 24223 (cdcl-cuttingpla) R 24220 24223 23746 0 -1 4202496 10379 0 0 0 28221 3 0 0 20 0 1 0 125176603 130269184 29558 33554432000 4194304 6199737 140737136714592 140737136713528 4213381 0 0 4096 8388610 0 0 0 17 0 0 0 0 0 0
/proc/24223/statm: 31804 29558 161 490 0 31305 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 127216

[startup+342.3 s]
/proc/loadavg: 2.21 2.23 2.20 3/177 24231
/proc/meminfo: memFree=29626284/32872528 swapFree=16384/1696552
[pid=24223] ppid=24220 vsize=178592 CPUtime=342.23 cores=0,2,4,6
/proc/24223/stat : 24223 (cdcl-cuttingpla) R 24220 24223 23746 0 -1 4202496 11040 0 0 0 34220 3 0 0 20 0 1 0 125176603 182878208 31653 33554432000 4194304 6199737 140737136714592 140737136713528 4213377 0 0 4096 8388610 0 0 0 17 0 0 0 0 0 0
/proc/24223/statm: 44648 31653 161 490 0 44149 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 178592

[startup+402.3 s]
/proc/loadavg: 2.25 2.23 2.20 3/178 24235
/proc/meminfo: memFree=29564332/32872528 swapFree=16384/1696552
[pid=24223] ppid=24220 vsize=179080 CPUtime=402.22 cores=0,2,4,6
/proc/24223/stat : 24223 (cdcl-cuttingpla) R 24220 24223 23746 0 -1 4202496 11394 0 0 0 40219 3 0 0 20 0 1 0 125176603 183377920 32292 33554432000 4194304 6199737 140737136714592 140737136713528 4213385 0 0 4096 8388610 0 0 0 17 0 0 0 0 0 0
/proc/24223/statm: 44770 32292 161 490 0 44271 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 179080

[startup+462.3 s]
/proc/loadavg: 2.24 2.23 2.20 3/177 24236
/proc/meminfo: memFree=29554360/32872528 swapFree=16384/1696552
[pid=24223] ppid=24220 vsize=179552 CPUtime=462.21 cores=0,2,4,6
/proc/24223/stat : 24223 (cdcl-cuttingpla) R 24220 24223 23746 0 -1 4202496 11611 0 0 0 46218 3 0 0 20 0 1 0 125176603 183861248 32506 33554432000 4194304 6199737 140737136714592 140737136713528 4213396 0 0 4096 8388610 0 0 0 17 0 0 0 0 0 0
/proc/24223/statm: 44888 32506 161 490 0 44389 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 179552

[startup+522.3 s]
/proc/loadavg: 2.32 2.26 2.21 3/177 24238
/proc/meminfo: memFree=29548584/32872528 swapFree=16384/1696552
[pid=24223] ppid=24220 vsize=180248 CPUtime=522.21 cores=0,2,4,6
/proc/24223/stat : 24223 (cdcl-cuttingpla) R 24220 24223 23746 0 -1 4202496 11922 0 0 0 52217 4 0 0 20 0 1 0 125176603 184573952 33801 33554432000 4194304 6199737 140737136714592 140737136713528 4213385 0 0 4096 8388610 0 0 0 17 0 0 0 0 0 0
/proc/24223/statm: 45062 33801 161 490 0 44563 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 180248

[startup+582.3 s]
/proc/loadavg: 2.23 2.24 2.20 3/177 24239
/proc/meminfo: memFree=29546364/32872528 swapFree=16384/1696552
[pid=24223] ppid=24220 vsize=181396 CPUtime=582.2 cores=0,2,4,6
/proc/24223/stat : 24223 (cdcl-cuttingpla) R 24220 24223 23746 0 -1 4202496 12933 0 0 0 58216 4 0 0 20 0 1 0 125176603 185749504 34118 33554432000 4194304 6199737 140737136714592 140737136713240 4213296 0 0 4096 8388610 0 0 0 17 0 0 0 0 0 0
/proc/24223/statm: 45349 34118 161 490 0 44850 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 181396


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


[startup+942.3 s]
/proc/loadavg: 2.26 2.24 2.20 3/177 24246
/proc/meminfo: memFree=29499444/32872528 swapFree=16384/1696552
[pid=24223] ppid=24220 vsize=185288 CPUtime=942.13 cores=0,2,4,6
/proc/24223/stat : 24223 (cdcl-cuttingpla) R 24220 24223 23746 0 -1 4202496 14142 0 0 0 94209 4 0 0 20 0 1 0 125176603 189734912 44358 33554432000 4194304 6199737 140737136714592 140737136713240 4213389 0 0 4096 8388610 0 0 0 17 0 0 0 0 0 0
/proc/24223/statm: 46322 44358 161 490 0 45823 0
Current children cumulated CPU time (s) 942.13
Current children cumulated vsize (KiB) 185288

[startup+1002.3 s]
/proc/loadavg: 2.29 2.25 2.20 3/178 24250
/proc/meminfo: memFree=29490292/32872528 swapFree=16384/1696552
[pid=24223] ppid=24220 vsize=267188 CPUtime=1002.12 cores=0,2,4,6
/proc/24223/stat : 24223 (cdcl-cuttingpla) R 24220 24223 23746 0 -1 4202496 14508 0 0 0 100208 4 0 0 20 0 1 0 125176603 273600512 46210 33554432000 4194304 6199737 140737136714592 140737136713704 4213385 0 0 4096 8388610 0 0 0 17 0 0 0 0 0 0
/proc/24223/statm: 66797 46210 161 490 0 66298 0
Current children cumulated CPU time (s) 1002.12
Current children cumulated vsize (KiB) 267188

[startup+1062.3 s]
/proc/loadavg: 2.20 2.23 2.19 3/177 24251
/proc/meminfo: memFree=29481164/32872528 swapFree=16384/1696552
[pid=24223] ppid=24220 vsize=267764 CPUtime=1062.11 cores=0,2,4,6
/proc/24223/stat : 24223 (cdcl-cuttingpla) R 24220 24223 23746 0 -1 4202496 14633 0 0 0 106207 4 0 0 20 0 1 0 125176603 274190336 48379 33554432000 4194304 6199737 140737136714592 140737136713240 4213298 0 0 4096 8388610 0 0 0 17 0 0 0 0 0 0
/proc/24223/statm: 66941 48379 161 490 0 66442 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 267764

[startup+1122.3 s]
/proc/loadavg: 2.16 2.22 2.19 3/177 24253
/proc/meminfo: memFree=29476204/32872528 swapFree=16384/1696552
[pid=24223] ppid=24220 vsize=268356 CPUtime=1122.1 cores=0,2,4,6
/proc/24223/stat : 24223 (cdcl-cuttingpla) R 24220 24223 23746 0 -1 4202496 15078 0 0 0 112206 4 0 0 20 0 1 0 125176603 274796544 49575 33554432000 4194304 6199737 140737136714592 140737136713240 4213381 0 0 4096 8388610 0 0 0 17 0 0 0 0 0 0
/proc/24223/statm: 67089 49575 161 490 0 66590 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 268356

[startup+1182.3 s]
/proc/loadavg: 2.29 2.25 2.20 3/177 24254
/proc/meminfo: memFree=29475160/32872528 swapFree=16384/1696552
[pid=24223] ppid=24220 vsize=268672 CPUtime=1182.1 cores=0,2,4,6
/proc/24223/stat : 24223 (cdcl-cuttingpla) R 24220 24223 23746 0 -1 4202496 15177 0 0 0 118205 5 0 0 20 0 1 0 125176603 275120128 49674 33554432000 4194304 6199737 140737136714592 140737136713528 4213368 0 0 4096 8388610 0 0 0 17 0 0 0 0 0 0
/proc/24223/statm: 67168 49674 161 490 0 66669 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 268672

[startup+1242.3 s]
/proc/loadavg: 2.20 2.23 2.19 3/177 24255
/proc/meminfo: memFree=29472168/32872528 swapFree=16384/1696552
[pid=24223] ppid=24220 vsize=268800 CPUtime=1242.09 cores=0,2,4,6
/proc/24223/stat : 24223 (cdcl-cuttingpla) R 24220 24223 23746 0 -1 4202496 15208 0 0 0 124204 5 0 0 20 0 1 0 125176603 275251200 49705 33554432000 4194304 6199737 140737136714592 140737136713384 4213476 0 0 4096 8388610 0 0 0 17 0 0 0 0 0 0
/proc/24223/statm: 67200 49705 161 490 0 66701 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 268800

[startup+1302.3 s]
/proc/loadavg: 2.18 2.22 2.18 3/177 24256
/proc/meminfo: memFree=29467208/32872528 swapFree=16384/1696552
[pid=24223] ppid=24220 vsize=268956 CPUtime=1302.08 cores=0,2,4,6
/proc/24223/stat : 24223 (cdcl-cuttingpla) R 24220 24223 23746 0 -1 4202496 15248 0 0 0 130203 5 0 0 20 0 1 0 125176603 275410944 49745 33554432000 4194304 6199737 140737136714592 140737136713528 4213314 0 0 4096 8388610 0 0 0 17 0 0 0 0 0 0
/proc/24223/statm: 67239 49745 161 490 0 66740 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 268956

[startup+1362.3 s]
/proc/loadavg: 2.14 2.20 2.18 3/177 24257
/proc/meminfo: memFree=29460016/32872528 swapFree=16384/1696552
[pid=24223] ppid=24220 vsize=269752 CPUtime=1362.07 cores=0,2,4,6
/proc/24223/stat : 24223 (cdcl-cuttingpla) R 24220 24223 23746 0 -1 4202496 15440 0 0 0 136202 5 0 0 20 0 1 0 125176603 276226048 49937 33554432000 4194304 6199737 140737136714592 140737136713528 4213381 0 0 4096 8388610 0 0 0 17 0 0 0 0 0 0
/proc/24223/statm: 67438 49937 161 490 0 66939 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 269752

[startup+1422.3 s]
/proc/loadavg: 2.23 2.21 2.18 3/177 24259
/proc/meminfo: memFree=29453568/32872528 swapFree=16384/1696552
[pid=24223] ppid=24220 vsize=270928 CPUtime=1422.06 cores=0,2,4,6
/proc/24223/stat : 24223 (cdcl-cuttingpla) R 24220 24223 23746 0 -1 4202496 15794 0 0 0 142201 5 0 0 20 0 1 0 125176603 277430272 50291 33554432000 4194304 6199737 140737136714592 140737136713528 4213381 0 0 4096 8388610 0 0 0 17 0 0 0 0 0 0
/proc/24223/statm: 67732 50291 161 490 0 67233 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 270928

[startup+1482.3 s]
/proc/loadavg: 2.17 2.20 2.18 3/177 24260
/proc/meminfo: memFree=29442352/32872528 swapFree=16384/1696552
[pid=24223] ppid=24220 vsize=271500 CPUtime=1482.04 cores=0,2,4,6
/proc/24223/stat : 24223 (cdcl-cuttingpla) R 24220 24223 23746 0 -1 4202496 16074 0 0 0 148199 5 0 0 20 0 1 0 125176603 278016000 50555 33554432000 4194304 6199737 140737136714592 140737136713528 4213381 0 0 4096 8388610 0 0 0 17 0 0 0 0 0 0
/proc/24223/statm: 67875 50555 161 490 0 67376 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 271500

[startup+1542.31 s]
/proc/loadavg: 2.21 2.20 2.18 3/177 24261
/proc/meminfo: memFree=29441564/32872528 swapFree=16384/1696552
[pid=24223] ppid=24220 vsize=272020 CPUtime=1542.04 cores=0,2,4,6
/proc/24223/stat : 24223 (cdcl-cuttingpla) R 24220 24223 23746 0 -1 4202496 16220 0 0 0 154199 5 0 0 20 0 1 0 125176603 278548480 50701 33554432000 4194304 6199737 140737136714592 140737136713528 4213306 0 0 4096 8388610 0 0 0 17 0 0 0 0 0 0
/proc/24223/statm: 68005 50701 161 490 0 67506 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 272020

[startup+1602.3 s]
/proc/loadavg: 2.25 2.22 2.18 3/178 24265
/proc/meminfo: memFree=29439964/32872528 swapFree=16384/1696552
[pid=24223] ppid=24220 vsize=272500 CPUtime=1602.02 cores=0,2,4,6
/proc/24223/stat : 24223 (cdcl-cuttingpla) R 24220 24223 23746 0 -1 4202496 16351 0 0 0 160197 5 0 0 20 0 1 0 125176603 279040000 50817 33554432000 4194304 6199737 140737136714592 140737136713528 4213389 0 0 4096 8388610 0 0 0 17 0 0 0 0 0 0
/proc/24223/statm: 68125 50817 161 490 0 67626 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 272500

[startup+1662.3 s]
/proc/loadavg: 2.22 2.21 2.18 3/179 24289
/proc/meminfo: memFree=29437240/32872528 swapFree=16384/1696552
[pid=24223] ppid=24220 vsize=272864 CPUtime=1662.01 cores=0,2,4,6
/proc/24223/stat : 24223 (cdcl-cuttingpla) R 24220 24223 23746 0 -1 4202496 16459 0 0 0 166196 5 0 0 20 0 1 0 125176603 279412736 50910 33554432000 4194304 6199737 140737136714592 140737136713528 4213476 0 0 4096 8388610 0 0 0 17 0 0 0 0 0 0
/proc/24223/statm: 68216 50910 161 490 0 67717 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 272864

[startup+1722.3 s]
/proc/loadavg: 2.20 2.20 2.18 4/177 24290
/proc/meminfo: memFree=29412596/32872528 swapFree=16384/1696552
[pid=24223] ppid=24220 vsize=272948 CPUtime=1722.01 cores=0,2,4,6
/proc/24223/stat : 24223 (cdcl-cuttingpla) R 24220 24223 23746 0 -1 4202496 16480 0 0 0 172195 6 0 0 20 0 1 0 125176603 279498752 50930 33554432000 4194304 6199737 140737136714592 140737136713704 4213368 0 0 4096 8388610 0 0 0 17 0 0 0 0 0 0
/proc/24223/statm: 68237 50930 161 490 0 67738 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 272948

[startup+1782.3 s]
/proc/loadavg: 2.39 2.25 2.20 3/178 24292
/proc/meminfo: memFree=29381696/32872528 swapFree=16384/1696552
[pid=24223] ppid=24220 vsize=273044 CPUtime=1782 cores=0,2,4,6
/proc/24223/stat : 24223 (cdcl-cuttingpla) R 24220 24223 23746 0 -1 4202496 16514 0 0 0 178194 6 0 0 20 0 1 0 125176603 279597056 50964 33554432000 4194304 6199737 140737136714592 140737136713528 4213385 0 0 4096 8388610 0 0 0 17 0 0 0 0 0 0
/proc/24223/statm: 68261 50964 161 490 0 67762 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 273044



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.30 2.24 2.19 3/178 24292
/proc/meminfo: memFree=29365560/32872528 swapFree=16384/1696552
[pid=24223] ppid=24220 vsize=273112 CPUtime=1800 cores=0,2,4,6
/proc/24223/stat : 24223 (cdcl-cuttingpla) R 24220 24223 23746 0 -1 4202496 16528 0 0 0 179994 6 0 0 20 0 1 0 125176603 279666688 50978 33554432000 4194304 6199737 140737136714592 140737136713528 4213306 0 0 4096 8388610 0 0 0 17 0 0 0 0 0 0
/proc/24223/statm: 68278 50978 161 490 0 67779 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 273112

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

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

[startup+1800.3 s]
/proc/loadavg: 2.30 2.24 2.19 3/178 24292
/proc/meminfo: memFree=29365560/32872528 swapFree=16384/1696552
[pid=24223] ppid=24220 vsize=273112 CPUtime=1800 cores=0,2,4,6
/proc/24223/stat : 24223 (cdcl-cuttingpla) R 24220 24223 23746 0 -1 4202496 16528 0 0 0 179994 6 0 0 20 0 1 0 125176603 279666688 50978 33554432000 4194304 6199737 140737136714592 140737136713528 4213306 0 0 4096 8388610 0 0 0 17 0 0 0 0 0 0
/proc/24223/statm: 68278 50978 161 490 0 67779 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 273112

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.3
CPU time (s): 1800.01
CPU user time (s): 1799.94
CPU system time (s): 0.06299
CPU usage (%): 99.9834
Max. virtual memory (cumulated for all children) (KiB): 273112

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.94
system time used= 0.06299
maximum resident set size= 203912
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16528
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 17
involuntary context switches= 2249

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.96225 second user time and 8.62569 second system time

The end

Launcher Data 

Begin job on node125 at 2016-06-09 02:33:55
IDJOB=4087226
IDBENCH=90214
IDSOLVER=2548
FILE ID=node125/4087226-1465432435
RUNJOBID= node125-1465427032-23762
PBS_JOBID= 19859786
Free space on /tmp= 71740 MiB

SOLVER NAME= cdcl-cuttingplanes DEC 2016-05-01
BENCH NAME= PB12/normalized-PB12/DEC-SMALLINT-LIN/sroussel/ShortestPathNG/normalized-NG_K132.opb
COMMAND LINE= ./cdcl-cuttingplanes-release
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4087226-1465432435/watcher-4087226-1465432435 -o /tmp/evaluation-result-4087226-1465432435/solver-4087226-1465432435 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1465427032-23762 --watchdog 1960 --input HOME/instance-4087226-1465432435.opb ./cdcl-cuttingplanes-release

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

MD5SUM BENCH= 88bbbc51beb841161685a00fb4d24f63
RANDOM SEED=1710989010

node125.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.456
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 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 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 tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.91
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
cpu MHz		: 2666.456
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 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 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 tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
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
cpu MHz		: 2666.456
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 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 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 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	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.456
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 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 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 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
cpu MHz		: 2666.456
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 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 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 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	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.456
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 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 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 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
cpu MHz		: 2666.456
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 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 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 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	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.456
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 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 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 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:       32872528 kB
MemFree:        29846716 kB
Buffers:          129764 kB
Cached:           415896 kB
SwapCached:         1700 kB
Active:           138444 kB
Inactive:         442560 kB
Active(anon):      34712 kB
Inactive(anon):     2960 kB
Active(file):     103732 kB
Inactive(file):   439600 kB
Unevictable:     1696552 kB
Mlocked:           16384 kB
SwapTotal:      67108856 kB
SwapFree:       67098584 kB
Dirty:              7016 kB
Writeback:             0 kB
AnonPages:       1705428 kB
Mapped:             7516 kB
Shmem:                 0 kB
Slab:             614504 kB
SReclaimable:      58280 kB
SUnreclaim:       556224 kB
KernelStack:        1424 kB
PageTables:         7632 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1851540 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1683456 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71740 MiB
End job on node125 at 2016-06-09 03:03:56