Trace number 4087205

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.02 1800.3

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/ShortestPathBA/
normalized-BeauxArts_K65.opb
MD5SUMa4b90b74bc3d4958439bc17b9ac2ee03
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark1039.78
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables3575
Total number of constraints3707
Number of constraints which are clauses3642
Number of constraints which are cardinality constraints (but not clauses)65
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint65
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 66
Number of bits of the biggest sum of numbers7
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= 3575 #constraint= 3707
0.49/0.59	c #Conflicts:       1000 | #Learnt:        995 | 0.000
0.49/0.59	c total clause space: 6.90675MB
0.49/0.59	c total #watches: 54125
2.09/2.12	c total #propagations: 281726 / total #impl: 3935463 (eff. 0.072)
2.09/2.12	c #Conflicts:       2000 | #Learnt:       1994 | 0.008
2.09/2.12	c total clause space: 18.2382MB
2.09/2.12	c total #watches: 105643
4.29/4.37	c total #propagations: 534836 / total #impl: 12075607 (eff. 0.044)
4.29/4.37	c GARBAGE COLLECT
4.29/4.37	c #Conflicts:       3000 | #Learnt:       2017 | 0.005
4.29/4.37	c total clause space: 18.2382MB
4.29/4.37	c total #watches: 130689
9.39/9.42	c total #propagations: 792805 / total #impl: 21754509 (eff. 0.036)
9.39/9.42	c #Conflicts:       4000 | #Learnt:       3017 | 0.004
9.39/9.42	c total clause space: 29.637MB
9.39/9.42	c total #watches: 198630
15.29/15.32	c total #propagations: 1068095 / total #impl: 36813335 (eff. 0.029)
15.29/15.32	c GARBAGE COLLECT
15.29/15.32	c #Conflicts:       5000 | #Learnt:       2378 | 0.003
15.29/15.32	c total clause space: 29.637MB
15.29/15.32	c total #watches: 185222
23.39/23.49	c total #propagations: 1354463 / total #impl: 59502465 (eff. 0.023)
23.39/23.49	c #Conflicts:       6000 | #Learnt:       3378 | 0.003
23.39/23.49	c total clause space: 29.637MB
23.39/23.49	c total #watches: 270460
37.28/37.30	c total #propagations: 1606517 / total #impl: 81933186 (eff. 0.020)
37.28/37.30	c GARBAGE COLLECT
37.28/37.30	c #Conflicts:       7000 | #Learnt:       2267 | 0.002
37.28/37.30	c total clause space: 48.1602MB
37.28/37.30	c total #watches: 196511
45.98/46.05	c total #propagations: 1864773 / total #impl: 114498290 (eff. 0.016)
45.98/46.05	c #Conflicts:       8000 | #Learnt:       3267 | 0.002
45.98/46.05	c total clause space: 48.1602MB
45.98/46.05	c total #watches: 262705
66.57/66.61	c total #propagations: 2073628 / total #impl: 134470181 (eff. 0.015)
66.57/66.61	c #Conflicts:       9000 | #Learnt:       4267 | 0.002
66.57/66.61	c total clause space: 78.2603MB
66.57/66.61	c total #watches: 344199
94.28/94.35	c total #propagations: 2349617 / total #impl: 167912958 (eff. 0.014)
94.28/94.35	c GARBAGE COLLECT
94.28/94.35	c #Conflicts:      10000 | #Learnt:       2756 | 0.002
94.28/94.35	c total clause space: 78.2603MB
94.28/94.35	c total #watches: 261786
115.67/115.71	c total #propagations: 2629666 / total #impl: 210119020 (eff. 0.013)
115.67/115.71	c #Conflicts:      11000 | #Learnt:       3756 | 0.002
115.67/115.71	c total clause space: 78.2603MB
115.67/115.71	c total #watches: 339043
141.17/141.28	c total #propagations: 2940860 / total #impl: 246630404 (eff. 0.012)
141.17/141.28	c #Conflicts:      12000 | #Learnt:       4756 | 0.002
141.17/141.28	c total clause space: 78.2603MB
141.17/141.28	c total #watches: 412966
172.67/172.75	c total #propagations: 3244427 / total #impl: 294931452 (eff. 0.011)
172.67/172.75	c #Conflicts:      13000 | #Learnt:       5756 | 0.001
172.67/172.75	c total clause space: 78.2603MB
172.67/172.75	c total #watches: 479690
189.56/189.65	c total #propagations: 3521369 / total #impl: 350307454 (eff. 0.010)
189.56/189.65	c GARBAGE COLLECT
189.56/189.65	c #Conflicts:      14000 | #Learnt:       3896 | 0.001
189.56/189.65	c total clause space: 78.2603MB
189.56/189.65	c total #watches: 347237
216.86/216.91	c total #propagations: 3813565 / total #impl: 395676080 (eff. 0.010)
216.86/216.91	c #Conflicts:      15000 | #Learnt:       4896 | 0.001
216.86/216.91	c total clause space: 78.2603MB
216.86/216.91	c total #watches: 456584
255.65/255.71	c total #propagations: 4073979 / total #impl: 447964485 (eff. 0.009)
255.65/255.71	c #Conflicts:      16000 | #Learnt:       5896 | 0.001
255.65/255.71	c total clause space: 127.173MB
255.65/255.71	c total #watches: 600079
297.45/297.58	c total #propagations: 4323535 / total #impl: 529795750 (eff. 0.008)
297.45/297.58	c GARBAGE COLLECT
297.45/297.58	c #Conflicts:      17000 | #Learnt:       3722 | 0.001
297.45/297.58	c total clause space: 127.173MB
297.45/297.58	c total #watches: 391588
336.34/336.42	c total #propagations: 4594213 / total #impl: 624265274 (eff. 0.007)
336.34/336.42	c #Conflicts:      18000 | #Learnt:       4722 | 0.001
336.34/336.42	c total clause space: 127.173MB
336.34/336.42	c total #watches: 450646
382.33/382.40	c total #propagations: 4885305 / total #impl: 699520971 (eff. 0.007)
382.33/382.40	c #Conflicts:      19000 | #Learnt:       5722 | 0.001
382.33/382.40	c total clause space: 127.173MB
382.33/382.40	c total #watches: 545060
450.93/451.07	c total #propagations: 5175748 / total #impl: 794228759 (eff. 0.007)
450.93/451.07	c #Conflicts:      20000 | #Learnt:       6722 | 0.001
450.93/451.07	c total clause space: 127.173MB
450.93/451.07	c total #watches: 640289
493.31/493.47	c total #propagations: 5502835 / total #impl: 895263323 (eff. 0.006)
493.31/493.47	c GARBAGE COLLECT
493.31/493.47	c #Conflicts:      21000 | #Learnt:       4223 | 0.001
493.31/493.47	c total clause space: 127.173MB
493.31/493.47	c total #watches: 441251
541.90/542.03	c total #propagations: 5752932 / total #impl: 976257400 (eff. 0.006)
541.90/542.03	c #Conflicts:      22000 | #Learnt:       5223 | 0.001
541.90/542.03	c total clause space: 127.173MB
541.90/542.03	c total #watches: 519685
591.00/591.10	c total #propagations: 6076405 / total #impl: 1028096461 (eff. 0.006)
591.00/591.10	c #Conflicts:      23000 | #Learnt:       6223 | 0.001
591.00/591.10	c total clause space: 127.173MB
591.00/591.10	c total #watches: 612805
647.39/647.59	c total #propagations: 6381765 / total #impl: 1094258338 (eff. 0.006)
647.39/647.59	c #Conflicts:      24000 | #Learnt:       7223 | 0.001
647.39/647.59	c total clause space: 127.173MB
647.39/647.59	c total #watches: 705122
702.78/702.97	c total #propagations: 6637378 / total #impl: 1154363788 (eff. 0.006)
702.78/702.97	c GARBAGE COLLECT
702.78/702.97	c #Conflicts:      25000 | #Learnt:       4426 | 0.002
702.78/702.97	c total clause space: 127.173MB
702.78/702.97	c total #watches: 511862
768.07/768.26	c total #propagations: 6912315 / total #impl: 1221333297 (eff. 0.006)
768.07/768.26	c #Conflicts:      26000 | #Learnt:       5426 | 0.002
768.07/768.26	c total clause space: 127.173MB
768.07/768.26	c total #watches: 585501
849.06/849.21	c total #propagations: 7199466 / total #impl: 1310242810 (eff. 0.005)
849.06/849.21	c #Conflicts:      27000 | #Learnt:       6426 | 0.001
849.06/849.21	c total clause space: 127.173MB
849.06/849.21	c total #watches: 684382
934.14/934.39	c total #propagations: 7537444 / total #impl: 1406368126 (eff. 0.005)
934.14/934.39	c #Conflicts:      28000 | #Learnt:       7426 | 0.001
934.14/934.39	c total clause space: 127.173MB
934.14/934.39	c total #watches: 791538
1059.52/1059.72	c total #propagations: 7853205 / total #impl: 1481853246 (eff. 0.005)
1059.52/1059.72	c GARBAGE COLLECT
1059.52/1059.72	c #Conflicts:      29000 | #Learnt:       4317 | 0.001
1059.52/1059.72	c total clause space: 206.656MB
1059.52/1059.72	c total #watches: 490665
1115.71/1115.90	c total #propagations: 8256109 / total #impl: 1579332558 (eff. 0.005)
1115.71/1115.90	c #Conflicts:      30000 | #Learnt:       5317 | 0.001
1115.71/1115.90	c total clause space: 206.656MB
1115.71/1115.90	c total #watches: 629802
1186.81/1187.02	c total #propagations: 8544138 / total #impl: 1637797431 (eff. 0.005)
1186.81/1187.02	c #Conflicts:      31000 | #Learnt:       6317 | 0.001
1186.81/1187.02	c total clause space: 206.656MB
1186.81/1187.02	c total #watches: 779041
1295.08/1295.32	c total #propagations: 8800170 / total #impl: 1708751332 (eff. 0.005)
1295.08/1295.32	c #Conflicts:      32000 | #Learnt:       7317 | 0.001
1295.08/1295.32	c total clause space: 206.656MB
1295.08/1295.32	c total #watches: 967554
1455.27/1455.57	c total #propagations: 9061273 / total #impl: 1805018594 (eff. 0.005)
1455.27/1455.57	c #Conflicts:      33000 | #Learnt:       8317 | 0.001
1455.27/1455.57	c total clause space: 206.656MB
1455.27/1455.57	c total #watches: 1127517
1546.35/1546.63	c total #propagations: 9389975 / total #impl: 1907291374 (eff. 0.005)
1546.35/1546.63	c GARBAGE COLLECT
1546.35/1546.63	c #Conflicts:      34000 | #Learnt:       4924 | 0.001
1546.35/1546.63	c total clause space: 206.656MB
1546.35/1546.63	c total #watches: 688267
1635.03/1635.39	c total #propagations: 9614472 / total #impl: 1981726679 (eff. 0.005)
1635.03/1635.39	c #Conflicts:      35000 | #Learnt:       5924 | 0.001
1635.03/1635.39	c total clause space: 206.656MB
1635.03/1635.39	c total #watches: 801697
1767.71/1768.06	c total #propagations: 9880187 / total #impl: 2075094256 (eff. 0.005)
1767.71/1768.06	c #Conflicts:      36000 | #Learnt:       6924 | 0.001
1767.71/1768.06	c total clause space: 206.656MB
1767.71/1768.06	c total #watches: 1078015

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-4087205-1465432446/watcher-4087205-1465432446 -o /tmp/evaluation-result-4087205-1465432446/solver-4087205-1465432446 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node119-1465427044-31681 --watchdog 1960 --input HOME/instance-4087205-1465432446.opb ./cdcl-cuttingplanes-release 

pid=32140
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.05 2.12 2.11 3/176 32143
/proc/meminfo: memFree=29749500/32872528 swapFree=16252/1391864
[pid=32143] ppid=32140 vsize=29104 CPUtime=0 cores=0,2,4,6
/proc/32143/stat : 32143 (cdcl-cuttingpla) R 32140 32143 31665 0 -1 4202496 269 0 0 0 0 0 0 0 20 0 1 0 125177748 29802496 5260 33554432000 4194304 6199737 140733364157760 140734437181960 4209408 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/32143/statm: 7276 5260 122 490 0 6777 0

[startup+0.100155 s]
/proc/loadavg: 2.05 2.12 2.11 3/176 32143
/proc/meminfo: memFree=29749500/32872528 swapFree=16252/1391864
[pid=32143] ppid=32140 vsize=34088 CPUtime=0.09 cores=0,2,4,6
/proc/32143/stat : 32143 (cdcl-cuttingpla) R 32140 32143 31665 0 -1 4202496 876 0 0 0 9 0 0 0 20 0 1 0 125177748 34906112 7210 33554432000 4194304 6199737 140733364157760 140734437181960 4213495 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/32143/statm: 8522 7210 139 490 0 8023 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 34088

[startup+0.200338 s]
/proc/loadavg: 2.05 2.12 2.11 3/176 32143
/proc/meminfo: memFree=29749500/32872528 swapFree=16252/1391864
[pid=32143] ppid=32140 vsize=34088 CPUtime=0.19 cores=0,2,4,6
/proc/32143/stat : 32143 (cdcl-cuttingpla) R 32140 32143 31665 0 -1 4202496 1057 0 0 0 19 0 0 0 20 0 1 0 125177748 34906112 7325 33554432000 4194304 6199737 140733364157760 140734437181960 4213314 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/32143/statm: 8522 7325 139 490 0 8023 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 34088

[startup+0.300262 s]
/proc/loadavg: 2.05 2.12 2.11 3/176 32143
/proc/meminfo: memFree=29749500/32872528 swapFree=16252/1391864
[pid=32143] ppid=32140 vsize=34216 CPUtime=0.29 cores=0,2,4,6
/proc/32143/stat : 32143 (cdcl-cuttingpla) R 32140 32143 31665 0 -1 4202496 1285 0 0 0 29 0 0 0 20 0 1 0 125177748 35037184 7473 33554432000 4194304 6199737 140733364157760 140733364156552 4213389 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/32143/statm: 8554 7474 139 490 0 8055 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 34216

[startup+0.700232 s]
/proc/loadavg: 2.05 2.12 2.11 3/176 32143
/proc/meminfo: memFree=29749500/32872528 swapFree=16252/1391864
[pid=32143] ppid=32140 vsize=37304 CPUtime=0.68 cores=0,2,4,6
/proc/32143/stat : 32143 (cdcl-cuttingpla) R 32140 32143 31665 0 -1 4202496 2211 0 0 0 68 0 0 0 20 0 1 0 125177748 38199296 8077 33554432000 4194304 6199737 140733364157760 140733364156552 4207822 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/32143/statm: 9326 8077 155 490 0 8827 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 37304

[startup+1.50023 s]
/proc/loadavg: 2.05 2.12 2.11 3/177 32144
/proc/meminfo: memFree=29706812/32872528 swapFree=16252/1391864
[pid=32143] ppid=32140 vsize=42228 CPUtime=1.49 cores=0,2,4,6
/proc/32143/stat : 32143 (cdcl-cuttingpla) R 32140 32143 31665 0 -1 4202496 2456 0 0 0 148 1 0 0 20 0 1 0 125177748 43241472 9295 33554432000 4194304 6199737 140733364157760 140733364156584 4213385 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/32143/statm: 10557 9295 155 490 0 10058 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 42228

[startup+3.10023 s]
/proc/loadavg: 2.05 2.12 2.11 3/177 32144
/proc/meminfo: memFree=29700672/32872528 swapFree=16252/1391864
[pid=32143] ppid=32140 vsize=49908 CPUtime=3.09 cores=0,2,4,6
/proc/32143/stat : 32143 (cdcl-cuttingpla) R 32140 32143 31665 0 -1 4202496 3084 0 0 0 308 1 0 0 20 0 1 0 125177748 51105792 9746 33554432000 4194304 6199737 140733364157760 140733364156872 4213381 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/32143/statm: 12477 9746 161 490 0 11978 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 49908

[startup+6.30024 s]
/proc/loadavg: 2.04 2.12 2.10 3/177 32144
/proc/meminfo: memFree=29687684/32872528 swapFree=16252/1391864
[pid=32143] ppid=32140 vsize=50676 CPUtime=6.29 cores=0,2,4,6
/proc/32143/stat : 32143 (cdcl-cuttingpla) R 32140 32143 31665 0 -1 4202496 3657 0 0 0 628 1 0 0 20 0 1 0 125177748 51892224 11206 33554432000 4194304 6199737 140733364157760 140733364156408 4213368 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/32143/statm: 12669 11206 161 490 0 12170 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 50676

[startup+12.7002 s]
/proc/loadavg: 2.04 2.12 2.10 3/177 32144
/proc/meminfo: memFree=29669040/32872528 swapFree=16252/1391864
[pid=32143] ppid=32140 vsize=63028 CPUtime=12.69 cores=0,2,4,6
/proc/32143/stat : 32143 (cdcl-cuttingpla) R 32140 32143 31665 0 -1 4202496 4560 0 0 0 1268 1 0 0 20 0 1 0 125177748 64540672 12798 33554432000 4194304 6199737 140733364157760 140733364156696 4213314 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/32143/statm: 15757 12798 161 490 0 15258 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 63028

[startup+25.5003 s]
/proc/loadavg: 2.10 2.13 2.11 3/177 32144
/proc/meminfo: memFree=29659940/32872528 swapFree=16252/1391864
[pid=32143] ppid=32140 vsize=83088 CPUtime=25.49 cores=0,2,4,6
/proc/32143/stat : 32143 (cdcl-cuttingpla) R 32140 32143 31665 0 -1 4202496 5151 0 0 0 2548 1 0 0 20 0 1 0 125177748 85082112 14856 33554432000 4194304 6199737 140733364157760 140733364156696 4213238 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/32143/statm: 20772 14856 161 490 0 20273 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 83088

[startup+51.1003 s]
/proc/loadavg: 2.14 2.13 2.11 3/177 32144
/proc/meminfo: memFree=29630964/32872528 swapFree=16252/1391864
[pid=32143] ppid=32140 vsize=84876 CPUtime=51.08 cores=0,2,4,6
/proc/32143/stat : 32143 (cdcl-cuttingpla) R 32140 32143 31665 0 -1 4202496 6232 0 0 0 5107 1 0 0 20 0 1 0 125177748 86913024 18690 33554432000 4194304 6199737 140733364157760 140733364156552 4213320 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/32143/statm: 21219 18690 161 490 0 20720 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 84876

[startup+102.3 s]
/proc/loadavg: 2.19 2.14 2.11 3/177 32145
/proc/meminfo: memFree=29590416/32872528 swapFree=16252/1391864
[pid=32143] ppid=32140 vsize=116956 CPUtime=102.28 cores=0,2,4,6
/proc/32143/stat : 32143 (cdcl-cuttingpla) R 32140 32143 31665 0 -1 4202496 7115 0 0 0 10226 2 0 0 20 0 1 0 125177748 119762944 23367 33554432000 4194304 6199737 140733364157760 140733364156872 4213389 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/32143/statm: 29239 23367 161 490 0 28740 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 116956

[startup+162.3 s]
/proc/loadavg: 2.16 2.14 2.11 3/177 32146
/proc/meminfo: memFree=29585456/32872528 swapFree=16252/1391864
[pid=32143] ppid=32140 vsize=117744 CPUtime=162.27 cores=0,2,4,6
/proc/32143/stat : 32143 (cdcl-cuttingpla) R 32140 32143 31665 0 -1 4202496 7571 0 0 0 16225 2 0 0 20 0 1 0 125177748 120569856 23798 33554432000 4194304 6199737 140733364157760 140733364156696 4213381 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/32143/statm: 29436 23798 161 490 0 28937 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 117744

[startup+222.307 s]
/proc/loadavg: 2.18 2.15 2.11 3/177 32147
/proc/meminfo: memFree=29571388/32872528 swapFree=16252/1391864
[pid=32143] ppid=32140 vsize=118380 CPUtime=222.26 cores=0,2,4,6
/proc/32143/stat : 32143 (cdcl-cuttingpla) R 32140 32143 31665 0 -1 4202496 7873 0 0 0 22224 2 0 0 20 0 1 0 125177748 121221120 25603 33554432000 4194304 6199737 140733364157760 140733364156696 4213381 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/32143/statm: 29595 25603 161 490 0 29096 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 118380

[startup+282.3 s]
/proc/loadavg: 2.12 2.13 2.10 4/177 32148
/proc/meminfo: memFree=29513732/32872528 swapFree=16252/1391864
[pid=32143] ppid=32140 vsize=170424 CPUtime=282.25 cores=0,2,4,6
/proc/32143/stat : 32143 (cdcl-cuttingpla) R 32140 32143 31665 0 -1 4202496 8955 0 0 0 28222 3 0 0 20 0 1 0 125177748 174514176 32993 33554432000 4194304 6199737 140733364157760 140733364156696 4213381 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/32143/statm: 42606 32993 161 490 0 42107 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 170424

[startup+342.3 s]
/proc/loadavg: 2.18 2.14 2.10 3/177 32150
/proc/meminfo: memFree=29512704/32872528 swapFree=16252/1391864
[pid=32143] ppid=32140 vsize=170424 CPUtime=342.24 cores=0,2,4,6
/proc/32143/stat : 32143 (cdcl-cuttingpla) R 32140 32143 31665 0 -1 4202496 9008 0 0 0 34221 3 0 0 20 0 1 0 125177748 174514176 33040 33554432000 4194304 6199737 140733364157760 140733364156872 4213381 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/32143/statm: 42606 33040 161 490 0 42107 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 170424

[startup+402.3 s]
/proc/loadavg: 2.18 2.14 2.10 4/178 32154
/proc/meminfo: memFree=29495876/32872528 swapFree=16252/1391864
[pid=32143] ppid=32140 vsize=170808 CPUtime=402.23 cores=0,2,4,6
/proc/32143/stat : 32143 (cdcl-cuttingpla) R 32140 32143 31665 0 -1 4202496 9276 0 0 0 40220 3 0 0 20 0 1 0 125177748 174907392 33288 33554432000 4194304 6199737 140733364157760 140733364156696 4213314 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/32143/statm: 42702 33288 161 490 0 42203 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 170808

[startup+462.3 s]
/proc/loadavg: 2.06 2.11 2.09 3/177 32155
/proc/meminfo: memFree=29471932/32872528 swapFree=16252/1391864
[pid=32143] ppid=32140 vsize=171896 CPUtime=462.22 cores=0,2,4,6
/proc/32143/stat : 32143 (cdcl-cuttingpla) R 32140 32143 31665 0 -1 4202496 9555 0 0 0 46219 3 0 0 20 0 1 0 125177748 176021504 35611 33554432000 4194304 6199737 140733364157760 140733364156696 4213314 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/32143/statm: 42974 35611 161 490 0 42475 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 171896

[startup+522.3 s]
/proc/loadavg: 2.12 2.12 2.09 3/177 32156
/proc/meminfo: memFree=29459956/32872528 swapFree=16252/1391864
[pid=32143] ppid=32140 vsize=172020 CPUtime=522.21 cores=0,2,4,6
/proc/32143/stat : 32143 (cdcl-cuttingpla) R 32140 32143 31665 0 -1 4202496 9609 0 0 0 52218 3 0 0 20 0 1 0 125177748 176148480 36684 33554432000 4194304 6199737 140733364157760 140733364156872 4213385 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/32143/statm: 43005 36684 161 490 0 42506 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 172020

[startup+582.3 s]
/proc/loadavg: 2.04 2.10 2.08 3/177 32157
/proc/meminfo: memFree=29454988/32872528 swapFree=16252/1391864
[pid=32143] ppid=32140 vsize=172100 CPUtime=582.2 cores=0,2,4,6
/proc/32143/stat : 32143 (cdcl-cuttingpla) R 32140 32143 31665 0 -1 4202496 9623 0 0 0 58217 3 0 0 20 0 1 0 125177748 176230400 36698 33554432000 4194304 6199737 140733364157760 140733364156696 4213314 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/32143/statm: 43025 36698 161 490 0 42526 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 172100


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


[startup+942.3 s]
/proc/loadavg: 2.10 2.09 2.09 4/177 32165
/proc/meminfo: memFree=29439352/32872528 swapFree=16252/1391864
[pid=32143] ppid=32140 vsize=173924 CPUtime=942.14 cores=0,2,4,6
/proc/32143/stat : 32143 (cdcl-cuttingpla) R 32140 32143 31665 0 -1 4202496 10234 0 0 0 94210 4 0 0 20 0 1 0 125177748 178098176 39843 33554432000 4194304 6199737 140733364157760 140733364156696 4213368 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/32143/statm: 43481 39843 161 490 0 42982 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 173924

[startup+1002.3 s]
/proc/loadavg: 2.08 2.09 2.09 4/178 32169
/proc/meminfo: memFree=29428980/32872528 swapFree=16252/1391864
[pid=32143] ppid=32140 vsize=174384 CPUtime=1002.13 cores=0,2,4,6
/proc/32143/stat : 32143 (cdcl-cuttingpla) R 32140 32143 31665 0 -1 4202496 10356 0 0 0 100209 4 0 0 20 0 1 0 125177748 178569216 42520 33554432000 4194304 6199737 140733364157760 140733364156696 4213306 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/32143/statm: 43596 42520 161 490 0 43097 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 174384

[startup+1062.3 s]
/proc/loadavg: 2.03 2.07 2.08 4/177 32170
/proc/meminfo: memFree=29423156/32872528 swapFree=16252/1391864
[pid=32143] ppid=32140 vsize=256080 CPUtime=1062.12 cores=0,2,4,6
/proc/32143/stat : 32143 (cdcl-cuttingpla) R 32140 32143 31665 0 -1 4202496 10938 0 0 0 106208 4 0 0 20 0 1 0 125177748 262225920 43806 33554432000 4194304 6199737 140733364157760 140733364156872 4213389 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/32143/statm: 64020 43806 161 490 0 63521 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 256080

[startup+1122.3 s]
/proc/loadavg: 2.12 2.08 2.08 3/177 32171
/proc/meminfo: memFree=29423284/32872528 swapFree=16252/1391864
[pid=32143] ppid=32140 vsize=256080 CPUtime=1122.11 cores=0,2,4,6
/proc/32143/stat : 32143 (cdcl-cuttingpla) R 32140 32143 31665 0 -1 4202496 10952 0 0 0 112207 4 0 0 20 0 1 0 125177748 262225920 43819 33554432000 4194304 6199737 140733364157760 140733364156872 4213368 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/32143/statm: 64020 43819 161 490 0 63521 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 256080

[startup+1182.3 s]
/proc/loadavg: 2.04 2.07 2.08 4/177 32172
/proc/meminfo: memFree=29422544/32872528 swapFree=16252/1391864
[pid=32143] ppid=32140 vsize=256220 CPUtime=1182.1 cores=0,2,4,6
/proc/32143/stat : 32143 (cdcl-cuttingpla) R 32140 32143 31665 0 -1 4202496 11014 0 0 0 118206 4 0 0 20 0 1 0 125177748 262369280 43880 33554432000 4194304 6199737 140733364157760 140733364156696 4213381 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/32143/statm: 64055 43880 161 490 0 63556 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 256220

[startup+1242.3 s]
/proc/loadavg: 2.12 2.08 2.08 4/177 32174
/proc/meminfo: memFree=29421680/32872528 swapFree=16252/1391864
[pid=32143] ppid=32140 vsize=256648 CPUtime=1242.09 cores=0,2,4,6
/proc/32143/stat : 32143 (cdcl-cuttingpla) R 32140 32143 31665 0 -1 4202496 11116 0 0 0 124205 4 0 0 20 0 1 0 125177748 262807552 43982 33554432000 4194304 6199737 140733364157760 140733364156696 4213368 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/32143/statm: 64162 43982 161 490 0 63663 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 256648

[startup+1302.3 s]
/proc/loadavg: 2.18 2.10 2.09 3/177 32175
/proc/meminfo: memFree=29419200/32872528 swapFree=16252/1391864
[pid=32143] ppid=32140 vsize=257504 CPUtime=1302.08 cores=0,2,4,6
/proc/32143/stat : 32143 (cdcl-cuttingpla) R 32140 32143 31665 0 -1 4202496 11325 0 0 0 130204 4 0 0 20 0 1 0 125177748 263684096 44191 33554432000 4194304 6199737 140733364157760 140733364156872 4213389 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/32143/statm: 64376 44191 161 490 0 63877 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 257504

[startup+1362.3 s]
/proc/loadavg: 2.13 2.09 2.09 4/177 32176
/proc/meminfo: memFree=29413492/32872528 swapFree=16252/1391864
[pid=32143] ppid=32140 vsize=258200 CPUtime=1362.08 cores=0,2,4,6
/proc/32143/stat : 32143 (cdcl-cuttingpla) R 32140 32143 31665 0 -1 4202496 11498 0 0 0 136203 5 0 0 20 0 1 0 125177748 264396800 44364 33554432000 4194304 6199737 140733364157760 140733364156696 4213368 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/32143/statm: 64550 44364 161 490 0 64051 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 258200

[startup+1422.3 s]
/proc/loadavg: 2.11 2.10 2.09 3/177 32177
/proc/meminfo: memFree=29401336/32872528 swapFree=16252/1391864
[pid=32143] ppid=32140 vsize=258996 CPUtime=1422.08 cores=0,2,4,6
/proc/32143/stat : 32143 (cdcl-cuttingpla) R 32140 32143 31665 0 -1 4202496 11804 0 0 0 142203 5 0 0 20 0 1 0 125177748 265211904 45681 33554432000 4194304 6199737 140733364157760 140733364156696 4213298 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/32143/statm: 64749 45681 161 490 0 64250 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 258996

[startup+1482.3 s]
/proc/loadavg: 2.04 2.08 2.08 3/177 32178
/proc/meminfo: memFree=29380676/32872528 swapFree=16252/1391864
[pid=32143] ppid=32140 vsize=259540 CPUtime=1482.06 cores=0,2,4,6
/proc/32143/stat : 32143 (cdcl-cuttingpla) R 32140 32143 31665 0 -1 4202496 11943 0 0 0 148201 5 0 0 20 0 1 0 125177748 265768960 48886 33554432000 4194304 6199737 140733364157760 140733364156696 4213389 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/32143/statm: 64885 48886 161 490 0 64386 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 259540

[startup+1542.31 s]
/proc/loadavg: 2.10 2.09 2.09 4/177 32180
/proc/meminfo: memFree=29369696/32872528 swapFree=16252/1391864
[pid=32143] ppid=32140 vsize=260300 CPUtime=1542.05 cores=0,2,4,6
/proc/32143/stat : 32143 (cdcl-cuttingpla) R 32140 32143 31665 0 -1 4202496 12166 0 0 0 154200 5 0 0 20 0 1 0 125177748 266547200 51119 33554432000 4194304 6199737 140733364157760 140733364156696 4213368 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/32143/statm: 65075 51119 161 490 0 64576 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 260300

[startup+1602.3 s]
/proc/loadavg: 2.19 2.11 2.09 3/178 32184
/proc/meminfo: memFree=29369560/32872528 swapFree=16252/1391864
[pid=32143] ppid=32140 vsize=260300 CPUtime=1602.04 cores=0,2,4,6
/proc/32143/stat : 32143 (cdcl-cuttingpla) R 32140 32143 31665 0 -1 4202496 12181 0 0 0 160199 5 0 0 20 0 1 0 125177748 266547200 51134 33554432000 4194304 6199737 140733364157760 140733364156872 4213499 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/32143/statm: 65075 51134 161 490 0 64576 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 260300

[startup+1662.3 s]
/proc/loadavg: 2.13 2.10 2.09 3/179 32208
/proc/meminfo: memFree=29369056/32872528 swapFree=16252/1391864
[pid=32143] ppid=32140 vsize=260300 CPUtime=1662.03 cores=0,2,4,6
/proc/32143/stat : 32143 (cdcl-cuttingpla) R 32140 32143 31665 0 -1 4202496 12181 0 0 0 166198 5 0 0 20 0 1 0 125177748 266547200 51134 33554432000 4194304 6199737 140733364157760 140733364156872 4213389 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/32143/statm: 65075 51134 161 490 0 64576 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 260300

[startup+1722.3 s]
/proc/loadavg: 2.05 2.08 2.08 4/178 32209
/proc/meminfo: memFree=29369184/32872528 swapFree=16252/1391864
[pid=32143] ppid=32140 vsize=260324 CPUtime=1722.02 cores=0,2,4,6
/proc/32143/stat : 32143 (cdcl-cuttingpla) R 32140 32143 31665 0 -1 4202496 12188 0 0 0 172197 5 0 0 20 0 1 0 125177748 266571776 51141 33554432000 4194304 6199737 140733364157760 140733364156696 4213396 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/32143/statm: 65081 51141 161 490 0 64582 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 260324

[startup+1782.3 s]
/proc/loadavg: 2.08 2.09 2.09 4/178 32210
/proc/meminfo: memFree=29367876/32872528 swapFree=16252/1391864
[pid=32143] ppid=32140 vsize=260396 CPUtime=1782.01 cores=0,2,4,6
/proc/32143/stat : 32143 (cdcl-cuttingpla) R 32140 32143 31665 0 -1 4202496 12295 0 0 0 178196 5 0 0 20 0 1 0 125177748 266645504 51247 33554432000 4194304 6199737 140733364157760 140733364156696 4213368 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/32143/statm: 65099 51247 161 490 0 64600 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 260396



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.06 2.08 2.09 4/178 32210
/proc/meminfo: memFree=29368252/32872528 swapFree=16252/1391864
[pid=32143] ppid=32140 vsize=260548 CPUtime=1800.01 cores=0,2,4,6
/proc/32143/stat : 32143 (cdcl-cuttingpla) R 32140 32143 31665 0 -1 4202496 12328 0 0 0 179996 5 0 0 20 0 1 0 125177748 266801152 51280 33554432000 4194304 6199737 140733364157760 140733364156696 4213381 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/32143/statm: 65137 51280 161 490 0 64638 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 260548

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 32143 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1800.3 s]
/proc/loadavg: 2.06 2.08 2.09 4/178 32210
/proc/meminfo: memFree=29368252/32872528 swapFree=16252/1391864
[pid=32143] ppid=32140 vsize=260548 CPUtime=1800.01 cores=0,2,4,6
/proc/32143/stat : 32143 (cdcl-cuttingpla) R 32140 32143 31665 0 -1 4202496 12328 0 0 0 179996 5 0 0 20 0 1 0 125177748 266801152 51280 33554432000 4194304 6199737 140733364157760 140733364156696 4213381 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/32143/statm: 65137 51280 161 490 0 64638 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 260548

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.3
CPU time (s): 1800.02
CPU user time (s): 1799.96
CPU system time (s): 0.06099
CPU usage (%): 99.9845
Max. virtual memory (cumulated for all children) (KiB): 260548

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.96
system time used= 0.06099
maximum resident set size= 205120
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12328
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= 13
involuntary context switches= 1854

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.70328 second user time and 6.75597 second system time

The end

Launcher Data 

Begin job on node119 at 2016-06-09 02:34:06
IDJOB=4087205
IDBENCH=90217
IDSOLVER=2548
FILE ID=node119/4087205-1465432446
RUNJOBID= node119-1465427044-31681
PBS_JOBID= 19859789
Free space on /tmp= 71736 MiB

SOLVER NAME= cdcl-cuttingplanes DEC 2016-05-01
BENCH NAME= PB12/normalized-PB12/DEC-SMALLINT-LIN/sroussel/ShortestPathBA/normalized-BeauxArts_K65.opb
COMMAND LINE= ./cdcl-cuttingplanes-release
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4087205-1465432446/watcher-4087205-1465432446 -o /tmp/evaluation-result-4087205-1465432446/solver-4087205-1465432446 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node119-1465427044-31681 --watchdog 1960 --input HOME/instance-4087205-1465432446.opb ./cdcl-cuttingplanes-release

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

MD5SUM BENCH= a4b90b74bc3d4958439bc17b9ac2ee03
RANDOM SEED=1369498682

node119.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.410
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.82
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.410
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.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
cpu MHz		: 2666.410
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.410
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.410
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.410
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.410
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.56
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.410
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:        29750044 kB
Buffers:          147348 kB
Cached:           810364 kB
SwapCached:          816 kB
Active:           474756 kB
Inactive:         515468 kB
Active(anon):      31776 kB
Inactive(anon):     2712 kB
Active(file):     442980 kB
Inactive(file):   512756 kB
Unevictable:     1391864 kB
Mlocked:           16252 kB
SwapTotal:      67108856 kB
SwapFree:       67100208 kB
Dirty:              5056 kB
Writeback:             4 kB
AnonPages:       1351944 kB
Mapped:             8020 kB
Shmem:                 0 kB
Slab:             608476 kB
SReclaimable:      52720 kB
SUnreclaim:       555756 kB
KernelStack:        1480 kB
PageTables:         6896 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1541860 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1333248 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= 71736 MiB
End job on node119 at 2016-06-09 03:04:06