Trace number 4087207

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_K67.opb
MD5SUM9e951304b89652b8f827a6527d1495c5
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark206.45
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables3685
Total number of constraints3821
Number of constraints which are clauses3754
Number of constraints which are cardinality constraints (but not clauses)67
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint67
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 68
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= 3685 #constraint= 3821
0.59/0.61	c #Conflicts:       1000 | #Learnt:        997 | 0.003
0.59/0.61	c total clause space: 6.90675MB
0.59/0.61	c total #watches: 64666
3.09/3.12	c total #propagations: 259692 / total #impl: 3581158 (eff. 0.073)
3.09/3.12	c #Conflicts:       2000 | #Learnt:       1997 | 0.004
3.09/3.12	c total clause space: 18.2382MB
3.09/3.12	c total #watches: 139542
8.09/8.19	c total #propagations: 496618 / total #impl: 12620732 (eff. 0.039)
8.09/8.19	c GARBAGE COLLECT
8.09/8.19	c #Conflicts:       3000 | #Learnt:       2014 | 0.002
8.09/8.19	c total clause space: 18.2382MB
8.09/8.19	c total #watches: 239207
26.29/26.36	c total #propagations: 740333 / total #impl: 52014210 (eff. 0.014)
26.29/26.36	c #Conflicts:       4000 | #Learnt:       3014 | 0.003
26.29/26.36	c total clause space: 29.637MB
26.29/26.36	c total #watches: 322646
36.69/36.76	c total #propagations: 1017952 / total #impl: 103711049 (eff. 0.010)
36.69/36.76	c GARBAGE COLLECT
36.69/36.76	c #Conflicts:       5000 | #Learnt:       2382 | 0.002
36.69/36.76	c total clause space: 29.637MB
36.69/36.76	c total #watches: 208830
46.29/46.32	c total #propagations: 1269585 / total #impl: 130933601 (eff. 0.010)
46.29/46.32	c #Conflicts:       6000 | #Learnt:       3382 | 0.002
46.29/46.32	c total clause space: 29.637MB
46.29/46.32	c total #watches: 274734
57.08/57.14	c total #propagations: 1543328 / total #impl: 160567846 (eff. 0.010)
57.08/57.14	c GARBAGE COLLECT
57.08/57.14	c #Conflicts:       7000 | #Learnt:       2264 | 0.002
57.08/57.14	c total clause space: 48.1602MB
57.08/57.14	c total #watches: 183952
64.68/64.74	c total #propagations: 1787433 / total #impl: 190876247 (eff. 0.009)
64.68/64.74	c #Conflicts:       8000 | #Learnt:       3264 | 0.002
64.68/64.74	c total clause space: 48.1602MB
64.68/64.74	c total #watches: 259672
78.68/78.75	c total #propagations: 2063753 / total #impl: 216084642 (eff. 0.010)
78.68/78.75	c #Conflicts:       9000 | #Learnt:       4264 | 0.002
78.68/78.75	c total clause space: 48.1602MB
78.68/78.75	c total #watches: 335082
95.78/95.87	c total #propagations: 2331886 / total #impl: 249728728 (eff. 0.009)
95.78/95.87	c GARBAGE COLLECT
95.78/95.87	c #Conflicts:      10000 | #Learnt:       2755 | 0.002
95.78/95.87	c total clause space: 78.2603MB
95.78/95.87	c total #watches: 261449
112.18/112.30	c total #propagations: 2604551 / total #impl: 288446040 (eff. 0.009)
112.18/112.30	c #Conflicts:      11000 | #Learnt:       3755 | 0.001
112.18/112.30	c total clause space: 78.2603MB
112.18/112.30	c total #watches: 345415
134.28/134.34	c total #propagations: 2857091 / total #impl: 331675025 (eff. 0.009)
134.28/134.34	c #Conflicts:      12000 | #Learnt:       4755 | 0.002
134.28/134.34	c total clause space: 78.2603MB
134.28/134.34	c total #watches: 457838
169.26/169.35	c total #propagations: 3100143 / total #impl: 370898103 (eff. 0.008)
169.26/169.35	c #Conflicts:      13000 | #Learnt:       5755 | 0.002
169.26/169.35	c total clause space: 78.2603MB
169.26/169.35	c total #watches: 551142
186.36/186.49	c total #propagations: 3399565 / total #impl: 421373674 (eff. 0.008)
186.36/186.49	c GARBAGE COLLECT
186.36/186.49	c #Conflicts:      14000 | #Learnt:       3886 | 0.002
186.36/186.49	c total clause space: 78.2603MB
186.36/186.49	c total #watches: 353990
209.66/209.75	c total #propagations: 3660275 / total #impl: 460004856 (eff. 0.008)
209.66/209.75	c #Conflicts:      15000 | #Learnt:       4886 | 0.001
209.66/209.75	c total clause space: 78.2603MB
209.66/209.75	c total #watches: 459058
242.36/242.46	c total #propagations: 3917580 / total #impl: 511046845 (eff. 0.008)
242.36/242.46	c #Conflicts:      16000 | #Learnt:       5886 | 0.001
242.36/242.46	c total clause space: 127.173MB
242.36/242.46	c total #watches: 606079
285.55/285.69	c total #propagations: 4197567 / total #impl: 600550146 (eff. 0.007)
285.55/285.69	c GARBAGE COLLECT
285.55/285.69	c #Conflicts:      17000 | #Learnt:       3714 | 0.001
285.55/285.69	c total clause space: 127.173MB
285.55/285.69	c total #watches: 397923
319.84/319.92	c total #propagations: 4517858 / total #impl: 690780037 (eff. 0.007)
319.84/319.92	c #Conflicts:      18000 | #Learnt:       4714 | 0.001
319.84/319.92	c total clause space: 127.173MB
319.84/319.92	c total #watches: 543954
371.03/371.12	c total #propagations: 4779567 / total #impl: 788832704 (eff. 0.006)
371.03/371.12	c #Conflicts:      19000 | #Learnt:       5714 | 0.001
371.03/371.12	c total clause space: 127.173MB
371.03/371.12	c total #watches: 676278
451.81/451.93	c total #propagations: 5051817 / total #impl: 938891572 (eff. 0.005)
451.81/451.93	c #Conflicts:      20000 | #Learnt:       6714 | 0.001
451.81/451.93	c total clause space: 127.173MB
451.81/451.93	c total #watches: 771391
500.91/501.09	c total #propagations: 5345077 / total #impl: 1103450122 (eff. 0.005)
500.91/501.09	c GARBAGE COLLECT
500.91/501.09	c #Conflicts:      21000 | #Learnt:       4227 | 0.001
500.91/501.09	c total clause space: 206.656MB
500.91/501.09	c total #watches: 435147
538.51/538.64	c total #propagations: 5631161 / total #impl: 1164415647 (eff. 0.005)
538.51/538.64	c #Conflicts:      22000 | #Learnt:       5227 | 0.001
538.51/538.64	c total clause space: 206.656MB
538.51/538.64	c total #watches: 556687
589.10/589.27	c total #propagations: 5937988 / total #impl: 1223184671 (eff. 0.005)
589.10/589.27	c #Conflicts:      23000 | #Learnt:       6227 | 0.001
589.10/589.27	c total clause space: 206.656MB
589.10/589.27	c total #watches: 685669
666.79/666.90	c total #propagations: 6194144 / total #impl: 1288662467 (eff. 0.005)
666.79/666.90	c #Conflicts:      24000 | #Learnt:       7227 | 0.001
666.79/666.90	c total clause space: 206.656MB
666.79/666.90	c total #watches: 816103
727.28/727.49	c total #propagations: 6465917 / total #impl: 1381267879 (eff. 0.005)
727.28/727.49	c GARBAGE COLLECT
727.28/727.49	c #Conflicts:      25000 | #Learnt:       4421 | 0.001
727.28/727.49	c total clause space: 206.656MB
727.28/727.49	c total #watches: 533767
776.87/777.07	c total #propagations: 6770252 / total #impl: 1466449822 (eff. 0.005)
776.87/777.07	c #Conflicts:      26000 | #Learnt:       5421 | 0.001
776.87/777.07	c total clause space: 206.656MB
776.87/777.07	c total #watches: 714043
851.96/852.12	c total #propagations: 7005679 / total #impl: 1599040677 (eff. 0.004)
851.96/852.12	c #Conflicts:      27000 | #Learnt:       6421 | 0.001
851.96/852.12	c total clause space: 206.656MB
851.96/852.12	c total #watches: 863752
947.44/947.63	c total #propagations: 7278841 / total #impl: 1700681619 (eff. 0.004)
947.44/947.63	c #Conflicts:      28000 | #Learnt:       7421 | 0.001
947.44/947.63	c total clause space: 206.656MB
947.44/947.63	c total #watches: 963746
1059.03/1059.29	c total #propagations: 7553656 / total #impl: 1790922891 (eff. 0.004)
1059.03/1059.29	c GARBAGE COLLECT
1059.03/1059.29	c #Conflicts:      29000 | #Learnt:       4327 | 0.001
1059.03/1059.29	c total clause space: 206.656MB
1059.03/1059.29	c total #watches: 592722
1134.02/1134.23	c total #propagations: 7830926 / total #impl: 1894375974 (eff. 0.004)
1134.02/1134.23	c #Conflicts:      30000 | #Learnt:       5327 | 0.001
1134.02/1134.23	c total clause space: 206.656MB
1134.02/1134.23	c total #watches: 740744
1250.80/1251.01	c total #propagations: 8104996 / total #impl: 1982877621 (eff. 0.004)
1250.80/1251.01	c #Conflicts:      31000 | #Learnt:       6327 | 0.001
1250.80/1251.01	c total clause space: 206.656MB
1250.80/1251.01	c total #watches: 872720
1371.18/1371.47	c total #propagations: 8401018 / total #impl: 2106770634 (eff. 0.004)
1371.18/1371.47	c #Conflicts:      32000 | #Learnt:       7327 | 0.001
1371.18/1371.47	c total clause space: 206.656MB
1371.18/1371.47	c total #watches: 1012199
1503.57/1503.89	c total #propagations: 8686664 / total #impl: 2211967973 (eff. 0.004)
1503.57/1503.89	c #Conflicts:      33000 | #Learnt:       8327 | 0.001
1503.57/1503.89	c total clause space: 206.656MB
1503.57/1503.89	c total #watches: 1202557
1641.14/1641.43	c total #propagations: 8937500 / total #impl: 2355100045 (eff. 0.004)
1641.14/1641.43	c GARBAGE COLLECT
1641.14/1641.43	c #Conflicts:      34000 | #Learnt:       4932 | 0.001
1641.14/1641.43	c total clause space: 206.656MB
1641.14/1641.43	c total #watches: 638921
1710.23/1710.52	c total #propagations: 9302080 / total #impl: 2499168856 (eff. 0.004)
1710.23/1710.52	c #Conflicts:      35000 | #Learnt:       5932 | 0.001
1710.23/1710.52	c total clause space: 206.656MB
1710.23/1710.52	c total #watches: 725036
1786.42/1786.76	c total #propagations: 9596103 / total #impl: 2571450395 (eff. 0.004)
1786.42/1786.76	c #Conflicts:      36000 | #Learnt:       6932 | 0.001
1786.42/1786.76	c total clause space: 206.656MB
1786.42/1786.76	c total #watches: 844970

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-4087207-1465434225/watcher-4087207-1465434225 -o /tmp/evaluation-result-4087207-1465434225/solver-4087207-1465434225 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node131-1465427021-32173 --watchdog 1960 --input HOME/instance-4087207-1465434225.opb ./cdcl-cuttingplanes-release 

pid=322
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.20 2.17 2.10 4/177 325
/proc/meminfo: memFree=29897328/32872528 swapFree=14956/1314940
[pid=325] ppid=322 vsize=29104 CPUtime=0 cores=0,2,4,6
/proc/325/stat : 325 (cdcl-cuttingpla) R 322 325 32157 0 -1 4202496 235 0 0 0 0 0 0 0 20 0 1 0 125355426 29802496 4204 33554432000 4194304 6199737 140735598883200 140736279985064 4202597 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/325/statm: 7276 4204 93 490 0 6777 0

[startup+0.100165 s]
/proc/loadavg: 2.20 2.17 2.10 4/177 325
/proc/meminfo: memFree=29897328/32872528 swapFree=14956/1314940
[pid=325] ppid=322 vsize=33972 CPUtime=0.09 cores=0,2,4,6
/proc/325/stat : 325 (cdcl-cuttingpla) R 322 325 32157 0 -1 4202496 681 0 0 0 9 0 0 0 20 0 1 0 125355426 34787328 7100 33554432000 4194304 6199737 140735598883200 140736279985064 4216095 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/325/statm: 8493 7100 139 490 0 7994 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 33972

[startup+0.200318 s]
/proc/loadavg: 2.20 2.17 2.10 4/177 325
/proc/meminfo: memFree=29897328/32872528 swapFree=14956/1314940
[pid=325] ppid=322 vsize=34356 CPUtime=0.19 cores=0,2,4,6
/proc/325/stat : 325 (cdcl-cuttingpla) R 322 325 32157 0 -1 4202496 950 0 0 0 19 0 0 0 20 0 1 0 125355426 35180544 7299 33554432000 4194304 6199737 140735598883200 140736279985064 4213296 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/325/statm: 8589 7299 139 490 0 8090 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 34356

[startup+0.300304 s]
/proc/loadavg: 2.20 2.17 2.10 4/177 325
/proc/meminfo: memFree=29897328/32872528 swapFree=14956/1314940
[pid=325] ppid=322 vsize=34356 CPUtime=0.29 cores=0,2,4,6
/proc/325/stat : 325 (cdcl-cuttingpla) R 322 325 32157 0 -1 4202496 1184 0 0 0 29 0 0 0 20 0 1 0 125355426 35180544 7446 33554432000 4194304 6199737 140735598883200 140736279985064 4207822 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/325/statm: 8589 7446 139 490 0 8090 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 34356

[startup+0.700221 s]
/proc/loadavg: 2.20 2.17 2.10 4/177 325
/proc/meminfo: memFree=29897328/32872528 swapFree=14956/1314940
[pid=325] ppid=322 vsize=37444 CPUtime=0.69 cores=0,2,4,6
/proc/325/stat : 325 (cdcl-cuttingpla) R 322 325 32157 0 -1 4202496 1468 0 0 0 69 0 0 0 20 0 1 0 125355426 38342656 8168 33554432000 4194304 6199737 140735598883200 140735598882216 4213389 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/325/statm: 9361 8168 155 490 0 8862 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 37444

[startup+1.50022 s]
/proc/loadavg: 2.20 2.17 2.10 3/178 326
/proc/meminfo: memFree=29855004/32872528 swapFree=14956/1314940
[pid=325] ppid=322 vsize=42356 CPUtime=1.49 cores=0,2,4,6
/proc/325/stat : 325 (cdcl-cuttingpla) R 322 325 32157 0 -1 4202496 2154 0 0 0 149 0 0 0 20 0 1 0 125355426 43372544 8631 33554432000 4194304 6199737 140735598883200 140735598882136 4213238 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/325/statm: 10589 8631 155 490 0 10090 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 42356

[startup+3.10027 s]
/proc/loadavg: 2.18 2.17 2.10 4/178 326
/proc/meminfo: memFree=29846816/32872528 swapFree=14956/1314940
[pid=325] ppid=322 vsize=50060 CPUtime=3.09 cores=0,2,4,6
/proc/325/stat : 325 (cdcl-cuttingpla) R 322 325 32157 0 -1 4202496 2609 0 0 0 309 0 0 0 20 0 1 0 125355426 51261440 9471 33554432000 4194304 6199737 140735598883200 140735598881848 4213296 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/325/statm: 12515 9471 155 490 0 12016 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 50060

[startup+6.30023 s]
/proc/loadavg: 2.18 2.17 2.10 4/178 326
/proc/meminfo: memFree=29838212/32872528 swapFree=14956/1314940
[pid=325] ppid=322 vsize=50716 CPUtime=6.29 cores=0,2,4,6
/proc/325/stat : 325 (cdcl-cuttingpla) R 322 325 32157 0 -1 4202496 3367 0 0 0 629 0 0 0 20 0 1 0 125355426 51933184 10024 33554432000 4194304 6199737 140735598883200 140735598882024 4213381 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/325/statm: 12679 10024 161 490 0 12180 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 50716

[startup+12.7003 s]
/proc/loadavg: 2.15 2.17 2.10 3/178 326
/proc/meminfo: memFree=29819812/32872528 swapFree=14956/1314940
[pid=325] ppid=322 vsize=64104 CPUtime=12.69 cores=0,2,4,6
/proc/325/stat : 325 (cdcl-cuttingpla) R 322 325 32157 0 -1 4202496 4225 0 0 0 1268 1 0 0 20 0 1 0 125355426 65642496 12252 33554432000 4194304 6199737 140735598883200 140735598881848 4213389 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/325/statm: 16026 12252 161 490 0 15527 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 64104

[startup+25.5003 s]
/proc/loadavg: 2.20 2.18 2.10 3/178 326
/proc/meminfo: memFree=29806620/32872528 swapFree=14956/1314940
[pid=325] ppid=322 vsize=64660 CPUtime=25.49 cores=0,2,4,6
/proc/325/stat : 325 (cdcl-cuttingpla) R 322 325 32157 0 -1 4202496 4373 0 0 0 2548 1 0 0 20 0 1 0 125355426 66211840 13933 33554432000 4194304 6199737 140735598883200 140735598882136 4213396 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/325/statm: 16165 13933 161 490 0 15666 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 64660

[startup+51.1003 s]
/proc/loadavg: 2.13 2.16 2.10 3/178 326
/proc/meminfo: memFree=29784784/32872528 swapFree=14956/1314940
[pid=325] ppid=322 vsize=84192 CPUtime=51.08 cores=0,2,4,6
/proc/325/stat : 325 (cdcl-cuttingpla) R 322 325 32157 0 -1 4202496 5388 0 0 0 5107 1 0 0 20 0 1 0 125355426 86212608 16166 33554432000 4194304 6199737 140735598883200 140735598882136 4213381 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/325/statm: 21048 16166 161 490 0 20549 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 84192

[startup+102.3 s]
/proc/loadavg: 1.75 2.07 2.07 3/170 358
/proc/meminfo: memFree=29845624/32872528 swapFree=14956/1314940
[pid=325] ppid=322 vsize=116556 CPUtime=102.28 cores=0,2,4,6
/proc/325/stat : 325 (cdcl-cuttingpla) R 322 325 32157 0 -1 4202496 6885 0 0 0 10226 2 0 0 20 0 1 0 125355426 119353344 20713 33554432000 4194304 6199737 140735598883200 140735598882312 4213385 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/325/statm: 29139 20713 161 490 0 28640 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 116556

[startup+162.3 s]
/proc/loadavg: 1.35 1.89 2.00 2/171 362
/proc/meminfo: memFree=29837516/32872528 swapFree=14956/1314940
[pid=325] ppid=322 vsize=118192 CPUtime=162.26 cores=0,2,4,6
/proc/325/stat : 325 (cdcl-cuttingpla) R 322 325 32157 0 -1 4202496 7540 0 0 0 16224 2 0 0 20 0 1 0 125355426 121028608 23378 33554432000 4194304 6199737 140735598883200 140735598882136 4213493 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/325/statm: 29548 23378 161 490 0 29049 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 118192

[startup+222.307 s]
/proc/loadavg: 1.13 1.72 1.94 2/171 365
/proc/meminfo: memFree=29824520/32872528 swapFree=14956/1314940
[pid=325] ppid=322 vsize=118664 CPUtime=222.26 cores=0,2,4,6
/proc/325/stat : 325 (cdcl-cuttingpla) R 322 325 32157 0 -1 4202496 7783 0 0 0 22224 2 0 0 20 0 1 0 125355426 121511936 26649 33554432000 4194304 6199737 140735598883200 140735598882136 4213368 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/325/statm: 29666 26649 161 490 0 29167 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 118664

[startup+282.3 s]
/proc/loadavg: 1.05 1.59 1.88 2/171 366
/proc/meminfo: memFree=29797492/32872528 swapFree=14956/1314940
[pid=325] ppid=322 vsize=170344 CPUtime=282.25 cores=0,2,4,6
/proc/325/stat : 325 (cdcl-cuttingpla) R 322 325 32157 0 -1 4202496 8766 0 0 0 28222 3 0 0 20 0 1 0 125355426 174432256 32900 33554432000 4194304 6199737 140735598883200 140735598882136 4213385 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/325/statm: 42586 32900 161 490 0 42087 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 170344

[startup+342.3 s]
/proc/loadavg: 1.11 1.51 1.83 2/171 367
/proc/meminfo: memFree=29796164/32872528 swapFree=14956/1314940
[pid=325] ppid=322 vsize=170764 CPUtime=342.24 cores=0,2,4,6
/proc/325/stat : 325 (cdcl-cuttingpla) R 322 325 32157 0 -1 4202496 9000 0 0 0 34221 3 0 0 20 0 1 0 125355426 174862336 33131 33554432000 4194304 6199737 140735598883200 140735598882136 4213314 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/325/statm: 42691 33131 161 490 0 42192 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 170764

[startup+402.3 s]
/proc/loadavg: 1.13 1.44 1.79 2/172 371
/proc/meminfo: memFree=29771912/32872528 swapFree=14956/1314940
[pid=325] ppid=322 vsize=172364 CPUtime=402.22 cores=0,2,4,6
/proc/325/stat : 325 (cdcl-cuttingpla) R 322 325 32157 0 -1 4202496 9416 0 0 0 40219 3 0 0 20 0 1 0 125355426 176500736 39161 33554432000 4194304 6199737 140735598883200 140735598882136 4213381 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/325/statm: 43091 39161 161 490 0 42592 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 172364

[startup+462.3 s]
/proc/loadavg: 1.25 1.41 1.75 2/171 373
/proc/meminfo: memFree=29759840/32872528 swapFree=14956/1314940
[pid=325] ppid=322 vsize=173916 CPUtime=462.22 cores=0,2,4,6
/proc/325/stat : 325 (cdcl-cuttingpla) R 322 325 32157 0 -1 4202496 9872 0 0 0 46218 4 0 0 20 0 1 0 125355426 178089984 42143 33554432000 4194304 6199737 140735598883200 140735598881848 4213320 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/325/statm: 43479 42143 161 490 0 42980 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 173916

[startup+522.3 s]
/proc/loadavg: 1.24 1.37 1.71 2/171 374
/proc/meminfo: memFree=29756840/32872528 swapFree=14956/1314940
[pid=325] ppid=322 vsize=255616 CPUtime=522.21 cores=0,2,4,6
/proc/325/stat : 325 (cdcl-cuttingpla) R 322 325 32157 0 -1 4202496 10417 0 0 0 52217 4 0 0 20 0 1 0 125355426 261750784 42932 33554432000 4194304 6199737 140735598883200 140735598882312 4213314 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/325/statm: 63904 42932 161 490 0 63405 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 255616

[startup+582.3 s]
/proc/loadavg: 1.25 1.34 1.68 2/171 375
/proc/meminfo: memFree=29756632/32872528 swapFree=14956/1314940
[pid=325] ppid=322 vsize=255712 CPUtime=582.2 cores=0,2,4,6
/proc/325/stat : 325 (cdcl-cuttingpla) R 322 325 32157 0 -1 4202496 10520 0 0 0 58216 4 0 0 20 0 1 0 125355426 261849088 43033 33554432000 4194304 6199737 140735598883200 140735598882136 4213381 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/325/statm: 63928 43033 161 490 0 63429 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 255712


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


[startup+942.3 s]
/proc/loadavg: 1.02 1.14 1.47 2/171 382
/proc/meminfo: memFree=29754456/32872528 swapFree=14956/1314940
[pid=325] ppid=322 vsize=257436 CPUtime=942.14 cores=0,2,4,6
/proc/325/stat : 325 (cdcl-cuttingpla) R 322 325 32157 0 -1 4202496 11011 0 0 0 94210 4 0 0 20 0 1 0 125355426 263614464 43524 33554432000 4194304 6199737 140735598883200 140735598882136 4213389 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/325/statm: 64359 43524 161 490 0 63860 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 257436

[startup+1002.3 s]
/proc/loadavg: 1.12 1.14 1.45 2/172 386
/proc/meminfo: memFree=29740392/32872528 swapFree=14956/1314940
[pid=325] ppid=322 vsize=258816 CPUtime=1002.13 cores=0,2,4,6
/proc/325/stat : 325 (cdcl-cuttingpla) R 322 325 32157 0 -1 4202496 11435 0 0 0 100209 4 0 0 20 0 1 0 125355426 265027584 47002 33554432000 4194304 6199737 140735598883200 140735598881848 4213381 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/325/statm: 64704 47002 161 490 0 64205 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 258816

[startup+1062.3 s]
/proc/loadavg: 1.13 1.13 1.43 2/171 388
/proc/meminfo: memFree=29734848/32872528 swapFree=14956/1314940
[pid=325] ppid=322 vsize=260316 CPUtime=1062.13 cores=0,2,4,6
/proc/325/stat : 325 (cdcl-cuttingpla) R 322 325 32157 0 -1 4202496 11828 0 0 0 106208 5 0 0 20 0 1 0 125355426 266563584 48378 33554432000 4194304 6199737 140735598883200 140735598882312 4213385 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/325/statm: 65079 48378 161 490 0 64580 0
Current children cumulated CPU time (s) 1062.13
Current children cumulated vsize (KiB) 260316

[startup+1122.3 s]
/proc/loadavg: 1.10 1.12 1.40 2/171 389
/proc/meminfo: memFree=29735020/32872528 swapFree=14956/1314940
[pid=325] ppid=322 vsize=260396 CPUtime=1122.12 cores=0,2,4,6
/proc/325/stat : 325 (cdcl-cuttingpla) R 322 325 32157 0 -1 4202496 11840 0 0 0 112207 5 0 0 20 0 1 0 125355426 266645504 48390 33554432000 4194304 6199737 140735598883200 140735598882136 4213456 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/325/statm: 65099 48390 161 490 0 64600 0
Current children cumulated CPU time (s) 1122.12
Current children cumulated vsize (KiB) 260396

[startup+1182.3 s]
/proc/loadavg: 1.19 1.14 1.39 2/171 390
/proc/meminfo: memFree=29734812/32872528 swapFree=14956/1314940
[pid=325] ppid=322 vsize=260396 CPUtime=1182.11 cores=0,2,4,6
/proc/325/stat : 325 (cdcl-cuttingpla) R 322 325 32157 0 -1 4202496 11873 0 0 0 118206 5 0 0 20 0 1 0 125355426 266645504 48422 33554432000 4194304 6199737 140735598883200 140735598882312 4213879 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/325/statm: 65099 48422 161 490 0 64600 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 260396

[startup+1242.3 s]
/proc/loadavg: 1.17 1.14 1.37 2/171 391
/proc/meminfo: memFree=29734592/32872528 swapFree=14956/1314940
[pid=325] ppid=322 vsize=260396 CPUtime=1242.1 cores=0,2,4,6
/proc/325/stat : 325 (cdcl-cuttingpla) R 322 325 32157 0 -1 4202496 11873 0 0 0 124205 5 0 0 20 0 1 0 125355426 266645504 48422 33554432000 4194304 6199737 140735598883200 140735598882312 4213314 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/325/statm: 65099 48422 161 490 0 64600 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 260396

[startup+1302.3 s]
/proc/loadavg: 1.23 1.16 1.36 2/171 392
/proc/meminfo: memFree=29733764/32872528 swapFree=14956/1314940
[pid=325] ppid=322 vsize=260396 CPUtime=1302.09 cores=0,2,4,6
/proc/325/stat : 325 (cdcl-cuttingpla) R 322 325 32157 0 -1 4202496 11874 0 0 0 130204 5 0 0 20 0 1 0 125355426 266645504 48471 33554432000 4194304 6199737 140735598883200 140735598882312 4213368 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/325/statm: 65099 48471 161 490 0 64600 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 260396

[startup+1362.3 s]
/proc/loadavg: 1.08 1.13 1.34 2/171 394
/proc/meminfo: memFree=29734300/32872528 swapFree=14956/1314940
[pid=325] ppid=322 vsize=260396 CPUtime=1362.08 cores=0,2,4,6
/proc/325/stat : 325 (cdcl-cuttingpla) R 322 325 32157 0 -1 4202496 11875 0 0 0 136203 5 0 0 20 0 1 0 125355426 266645504 48472 33554432000 4194304 6199737 140735598883200 140735598882312 4213381 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/325/statm: 65099 48472 161 490 0 64600 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 260396

[startup+1422.3 s]
/proc/loadavg: 1.13 1.13 1.32 2/171 395
/proc/meminfo: memFree=29734204/32872528 swapFree=14956/1314940
[pid=325] ppid=322 vsize=260632 CPUtime=1422.08 cores=0,2,4,6
/proc/325/stat : 325 (cdcl-cuttingpla) R 322 325 32157 0 -1 4202496 12008 0 0 0 142203 5 0 0 20 0 1 0 125355426 266887168 48603 33554432000 4194304 6199737 140735598883200 140735598882136 4213389 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/325/statm: 65158 48603 161 490 0 64659 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 260632

[startup+1482.3 s]
/proc/loadavg: 1.16 1.14 1.31 2/171 396
/proc/meminfo: memFree=29727476/32872528 swapFree=14956/1314940
[pid=325] ppid=322 vsize=260968 CPUtime=1482.06 cores=0,2,4,6
/proc/325/stat : 325 (cdcl-cuttingpla) R 322 325 32157 0 -1 4202496 12103 0 0 0 148201 5 0 0 20 0 1 0 125355426 267231232 50231 33554432000 4194304 6199737 140735598883200 140735598882136 4213381 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/325/statm: 65242 50231 161 490 0 64743 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 260968

[startup+1542.31 s]
/proc/loadavg: 1.15 1.14 1.30 2/171 397
/proc/meminfo: memFree=29720760/32872528 swapFree=14956/1314940
[pid=325] ppid=322 vsize=261656 CPUtime=1542.06 cores=0,2,4,6
/proc/325/stat : 325 (cdcl-cuttingpla) R 322 325 32157 0 -1 4202496 12262 0 0 0 154201 5 0 0 20 0 1 0 125355426 267935744 51923 33554432000 4194304 6199737 140735598883200 140735598882136 4213320 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/325/statm: 65414 51923 161 490 0 64915 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 261656

[startup+1602.3 s]
/proc/loadavg: 1.23 1.16 1.29 2/172 401
/proc/meminfo: memFree=29711976/32872528 swapFree=14956/1314940
[pid=325] ppid=322 vsize=261944 CPUtime=1602.04 cores=0,2,4,6
/proc/325/stat : 325 (cdcl-cuttingpla) R 322 325 32157 0 -1 4202496 12361 0 0 0 160199 5 0 0 20 0 1 0 125355426 268230656 54065 33554432000 4194304 6199737 140735598883200 140735598882136 4211315 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/325/statm: 65486 54065 161 490 0 64987 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 261944

[startup+1662.3 s]
/proc/loadavg: 1.29 1.19 1.29 2/171 403
/proc/meminfo: memFree=29712136/32872528 swapFree=14956/1314940
[pid=325] ppid=322 vsize=261944 CPUtime=1662.03 cores=0,2,4,6
/proc/325/stat : 325 (cdcl-cuttingpla) R 322 325 32157 0 -1 4202496 12361 0 0 0 166198 5 0 0 20 0 1 0 125355426 268230656 54065 33554432000 4194304 6199737 140735598883200 140735598882312 4213389 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/325/statm: 65486 54065 161 490 0 64987 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 261944

[startup+1722.3 s]
/proc/loadavg: 1.32 1.20 1.28 3/171 404
/proc/meminfo: memFree=29711920/32872528 swapFree=14956/1314940
[pid=325] ppid=322 vsize=261944 CPUtime=1722.03 cores=0,2,4,6
/proc/325/stat : 325 (cdcl-cuttingpla) R 322 325 32157 0 -1 4202496 12381 0 0 0 172198 5 0 0 20 0 1 0 125355426 268230656 54084 33554432000 4194304 6199737 140735598883200 140735598882312 4213381 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/325/statm: 65486 54084 161 490 0 64987 0
Current children cumulated CPU time (s) 1722.03
Current children cumulated vsize (KiB) 261944

[startup+1782.3 s]
/proc/loadavg: 1.22 1.19 1.27 2/171 405
/proc/meminfo: memFree=29711580/32872528 swapFree=14956/1314940
[pid=325] ppid=322 vsize=261944 CPUtime=1782.02 cores=0,2,4,6
/proc/325/stat : 325 (cdcl-cuttingpla) R 322 325 32157 0 -1 4202496 12381 0 0 0 178197 5 0 0 20 0 1 0 125355426 268230656 54084 33554432000 4194304 6199737 140735598883200 140735598882312 4213385 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/325/statm: 65486 54084 161 490 0 64987 0
Current children cumulated CPU time (s) 1782.02
Current children cumulated vsize (KiB) 261944



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 1.24 1.20 1.27 2/171 405
/proc/meminfo: memFree=29711952/32872528 swapFree=14956/1314940
[pid=325] ppid=322 vsize=261944 CPUtime=1800.01 cores=0,2,4,6
/proc/325/stat : 325 (cdcl-cuttingpla) R 322 325 32157 0 -1 4202496 12381 0 0 0 179996 5 0 0 20 0 1 0 125355426 268230656 54084 33554432000 4194304 6199737 140735598883200 140735598882312 4213456 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/325/statm: 65486 54084 161 490 0 64987 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 261944

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

[startup+1800.3 s]
/proc/loadavg: 1.24 1.20 1.27 2/171 405
/proc/meminfo: memFree=29711952/32872528 swapFree=14956/1314940
[pid=325] ppid=322 vsize=261944 CPUtime=1800.01 cores=0,2,4,6
/proc/325/stat : 325 (cdcl-cuttingpla) R 322 325 32157 0 -1 4202496 12381 0 0 0 179996 5 0 0 20 0 1 0 125355426 268230656 54084 33554432000 4194304 6199737 140735598883200 140735598882312 4213456 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/325/statm: 65486 54084 161 490 0 64987 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 261944

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.3
CPU time (s): 1800.02
CPU user time (s): 1799.97
CPU system time (s): 0.055991
CPU usage (%): 99.9846
Max. virtual memory (cumulated for all children) (KiB): 261944

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.97
system time used= 0.055991
maximum resident set size= 216336
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12381
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= 1859

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.77966 second user time and 7.2209 second system time

The end

Launcher Data 

Begin job on node131 at 2016-06-09 03:03:45
IDJOB=4087207
IDBENCH=90223
IDSOLVER=2548
FILE ID=node131/4087207-1465434225
RUNJOBID= node131-1465427021-32173
PBS_JOBID= 19859781
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_K67.opb
COMMAND LINE= ./cdcl-cuttingplanes-release
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4087207-1465434225/watcher-4087207-1465434225 -o /tmp/evaluation-result-4087207-1465434225/solver-4087207-1465434225 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node131-1465427021-32173 --watchdog 1960 --input HOME/instance-4087207-1465434225.opb ./cdcl-cuttingplanes-release

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

MD5SUM BENCH= 9e951304b89652b8f827a6527d1495c5
RANDOM SEED=1732157375

node131.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.395
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.79
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.395
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.395
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.395
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.395
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.395
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.56
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.395
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.395
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:        29897228 kB
Buffers:          212688 kB
Cached:           638720 kB
SwapCached:         4716 kB
Active:           298640 kB
Inactive:         587540 kB
Active(anon):      31700 kB
Inactive(anon):     5604 kB
Active(file):     266940 kB
Inactive(file):   581936 kB
Unevictable:     1314940 kB
Mlocked:           14956 kB
SwapTotal:      67108856 kB
SwapFree:       67096232 kB
Dirty:              5068 kB
Writeback:             0 kB
AnonPages:       1372868 kB
Mapped:             9104 kB
Shmem:                 0 kB
Slab:             640352 kB
SReclaimable:      84344 kB
SUnreclaim:       556008 kB
KernelStack:        1480 kB
PageTables:         6620 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1465524 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1355776 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 node131 at 2016-06-09 03:33:45