Trace number 4088114

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
cdcl-cuttingplanes OPT linear search 2016-05-01? (TO) 1800.03 1800.31

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_4.opb.PB06.opb
MD5SUMca3282cf347faf21ba3550ec87dd7af4
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark323
Best CPU time to get the best result obtained on this benchmark1800.07
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 466
Optimality of the best value was proved NO
Number of variables10000
Total number of constraints656900
Number of constraints which are clauses656900
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint100
Number of terms in the objective function 10000
Biggest coefficient in the objective function 99
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 494728
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 99
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 494728
Number of bits of the biggest sum of numbers19
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 OPTIONS:
0.00/0.00	c - Resolve (`-resolve-always' or `-resolve-skip'): -resolve-skip
0.00/0.00	c * #variable= 10000 #constraint= 656900
3.19/3.28	c #Conflicts:       1000 | #Learnt:       1018 | 0.000
3.19/3.28	c total clause space: 127.173MB
3.19/3.28	c total #watches: 1617163
13.29/13.37	c total #propagations: 312292 / total #impl: 7872828 (eff. 0.040)
13.29/13.37	c #Conflicts:       2000 | #Learnt:       2047 | 0.004
13.29/13.37	c total clause space: 206.656MB
13.29/13.37	c total #watches: 2311545
33.49/33.53	c total #propagations: 791697 / total #impl: 94663621 (eff. 0.008)
33.49/33.53	c #Conflicts:       3000 | #Learnt:       2061 | 0.003
33.49/33.53	c total clause space: 335.816MB
33.49/33.53	c total #watches: 3178326
48.08/48.18	c total #propagations: 1255391 / total #impl: 179375406 (eff. 0.007)
48.08/48.18	c #Conflicts:       4000 | #Learnt:       3063 | 0.004
48.08/48.18	c total clause space: 335.816MB
48.08/48.18	c total #watches: 3602157
65.98/66.07	c total #propagations: 1487657 / total #impl: 248766543 (eff. 0.006)
65.98/66.07	c GC COLLECT
65.98/66.07	c #Conflicts:       5000 | #Learnt:       2401 | 0.003
65.98/66.07	c total clause space: 335.816MB
65.98/66.07	c total #watches: 3547529
82.97/83.03	c total #propagations: 1764287 / total #impl: 316674467 (eff. 0.006)
82.97/83.03	c #Conflicts:       6000 | #Learnt:       3401 | 0.033
82.97/83.03	c total clause space: 335.816MB
82.97/83.03	c total #watches: 3865631
100.27/100.33	c total #propagations: 1998233 / total #impl: 359030687 (eff. 0.006)
100.27/100.33	c GC COLLECT
100.27/100.33	c #Conflicts:       7000 | #Learnt:       2322 | 0.028
100.27/100.33	c total clause space: 335.816MB
100.27/100.33	c total #watches: 3533414
113.77/113.84	c total #propagations: 2218725 / total #impl: 413662624 (eff. 0.005)
113.77/113.84	c #Conflicts:       8000 | #Learnt:       3322 | 0.024
113.77/113.84	c total clause space: 335.816MB
113.77/113.84	c total #watches: 3847429
142.66/142.74	c total #propagations: 2406991 / total #impl: 473093630 (eff. 0.005)
142.66/142.74	c #Conflicts:       9000 | #Learnt:       4326 | 0.022
142.66/142.74	c total clause space: 335.816MB
142.66/142.74	c total #watches: 4317619
177.96/178.05	c total #propagations: 2684891 / total #impl: 554189248 (eff. 0.005)
177.96/178.05	c GC COLLECT
177.96/178.05	c #Conflicts:      10000 | #Learnt:       2848 | 0.020
177.96/178.05	c total clause space: 545.701MB
177.96/178.05	c total #watches: 3995185
231.55/231.67	c total #propagations: 2965075 / total #impl: 624995165 (eff. 0.005)
231.55/231.67	c #Conflicts:      11000 | #Learnt:       3866 | 0.018
231.55/231.67	c total clause space: 545.701MB
231.55/231.67	c total #watches: 4524910
273.85/273.93	c total #propagations: 3309678 / total #impl: 666840448 (eff. 0.005)
273.85/273.93	c #Conflicts:      12000 | #Learnt:       4866 | 0.016
273.85/273.93	c total clause space: 545.701MB
273.85/273.93	c total #watches: 4889253
314.04/314.13	c total #propagations: 3532843 / total #impl: 694626765 (eff. 0.005)
314.04/314.13	c #Conflicts:      13000 | #Learnt:       5867 | 0.018
314.04/314.13	c total clause space: 545.701MB
314.04/314.13	c total #watches: 5290941
343.14/343.29	c total #propagations: 3744804 / total #impl: 740284550 (eff. 0.005)
343.14/343.29	c GC COLLECT
343.14/343.29	c #Conflicts:      14000 | #Learnt:       4022 | 0.017
343.14/343.29	c total clause space: 545.701MB
343.14/343.29	c total #watches: 4677550
372.13/372.22	c total #propagations: 3939935 / total #impl: 850403826 (eff. 0.005)
372.13/372.22	c #Conflicts:      15000 | #Learnt:       5024 | 0.016
372.13/372.22	c total clause space: 545.701MB
372.13/372.22	c total #watches: 5082073
412.33/412.40	c total #propagations: 4102332 / total #impl: 992379559 (eff. 0.004)
412.33/412.40	c #Conflicts:      16000 | #Learnt:       6033 | 0.015
412.33/412.40	c total clause space: 545.701MB
412.33/412.40	c total #watches: 5541043
453.42/453.54	c total #propagations: 4313784 / total #impl: 1112872853 (eff. 0.004)
453.42/453.54	c GC COLLECT
453.42/453.54	c #Conflicts:      17000 | #Learnt:       3873 | 0.014
453.42/453.54	c total clause space: 545.701MB
453.42/453.54	c total #watches: 4991346
480.72/480.81	c total #propagations: 4545474 / total #impl: 1192380576 (eff. 0.004)
480.72/480.81	c #Conflicts:      18000 | #Learnt:       4873 | 0.013
480.72/480.81	c total clause space: 545.701MB
480.72/480.81	c total #watches: 5653551
513.61/513.77	c total #propagations: 4713319 / total #impl: 1319208469 (eff. 0.004)
513.61/513.77	c #Conflicts:      19000 | #Learnt:       5874 | 0.012
513.61/513.77	c total clause space: 545.701MB
513.61/513.77	c total #watches: 6183033
586.09/586.20	c total #propagations: 4891368 / total #impl: 1493806126 (eff. 0.003)
586.09/586.20	c #Conflicts:      20000 | #Learnt:       6886 | 0.012
586.09/586.20	c total clause space: 545.701MB
586.09/586.20	c total #watches: 7101769
643.99/644.14	c total #propagations: 5213870 / total #impl: 1800748175 (eff. 0.003)
643.99/644.14	c GC COLLECT
643.99/644.14	c #Conflicts:      21000 | #Learnt:       4411 | 0.011
643.99/644.14	c total clause space: 545.701MB
643.99/644.14	c total #watches: 6677016
697.29/697.50	c total #propagations: 5497963 / total #impl: 2022509932 (eff. 0.003)
697.29/697.50	c #Conflicts:      22000 | #Learnt:       5419 | 0.011
697.29/697.50	c total clause space: 545.701MB
697.29/697.50	c total #watches: 7592611
743.17/743.32	c total #propagations: 5777943 / total #impl: 2194137036 (eff. 0.003)
743.17/743.32	c #Conflicts:      23000 | #Learnt:       6419 | 0.011
743.17/743.32	c total clause space: 545.701MB
743.17/743.32	c total #watches: 8633461
799.37/799.52	c total #propagations: 5974130 / total #impl: 2485848037 (eff. 0.002)
799.37/799.52	c #Conflicts:      24000 | #Learnt:       7420 | 0.011
799.37/799.52	c total clause space: 545.701MB
799.37/799.52	c total #watches: 9380073
850.65/850.84	c total #propagations: 6192410 / total #impl: 2887530618 (eff. 0.002)
850.65/850.84	c GC COLLECT
850.65/850.84	c #Conflicts:      25000 | #Learnt:       4637 | 0.010
850.65/850.84	c total clause space: 545.701MB
850.65/850.84	c total #watches: 8062413
887.66/887.82	c total #propagations: 6394863 / total #impl: 3418561590 (eff. 0.002)
887.66/887.82	c #Conflicts:      26000 | #Learnt:       5637 | 0.010
887.66/887.82	c total clause space: 545.701MB
887.66/887.82	c total #watches: 8933628
943.55/943.76	c total #propagations: 6541358 / total #impl: 3946854867 (eff. 0.002)
943.55/943.76	c #Conflicts:      27000 | #Learnt:       6641 | 0.010
943.55/943.76	c total clause space: 545.701MB
943.55/943.76	c total #watches: 9929843
1004.43/1004.62	c total #propagations: 6721309 / total #impl: 4654366614 (eff. 0.001)
1004.43/1004.62	c #Conflicts:      28000 | #Learnt:       7641 | 0.009
1004.43/1004.62	c total clause space: 886.764MB
1004.43/1004.62	c total #watches: 10405859
1067.52/1067.76	c total #propagations: 6959671 / total #impl: 5101437253 (eff. 0.001)
1067.52/1067.76	c GC COLLECT
1067.52/1067.76	c #Conflicts:      29000 | #Learnt:       4571 | 0.009
1067.52/1067.76	c total clause space: 886.764MB
1067.52/1067.76	c total #watches: 7663821
1113.82/1114.07	c total #propagations: 7215734 / total #impl: 5544640556 (eff. 0.001)
1113.82/1114.07	c #Conflicts:      30000 | #Learnt:       5572 | 0.009
1113.82/1114.07	c total clause space: 886.764MB
1113.82/1114.07	c total #watches: 8218574
1163.01/1163.22	c total #propagations: 7459837 / total #impl: 6062654421 (eff. 0.001)
1163.01/1163.22	c #Conflicts:      31000 | #Learnt:       6572 | 0.009
1163.01/1163.22	c total clause space: 886.764MB
1163.01/1163.22	c total #watches: 8990557
1225.60/1225.80	c total #propagations: 7655242 / total #impl: 6675218409 (eff. 0.001)
1225.60/1225.80	c #Conflicts:      32000 | #Learnt:       7572 | 0.009
1225.60/1225.80	c total clause space: 886.764MB
1225.60/1225.80	c total #watches: 9627669
1306.29/1306.50	c total #propagations: 7848644 / total #impl: 7214175635 (eff. 0.001)
1306.29/1306.50	c #Conflicts:      33000 | #Learnt:       8576 | 0.008
1306.29/1306.50	c total clause space: 886.764MB
1306.29/1306.50	c total #watches: 10339889
1370.57/1370.89	c total #propagations: 8110970 / total #impl: 7690917921 (eff. 0.001)
1370.57/1370.89	c GC COLLECT
1370.57/1370.89	c #Conflicts:      34000 | #Learnt:       5193 | 0.008
1370.57/1370.89	c total clause space: 886.764MB
1370.57/1370.89	c total #watches: 7557158
1434.46/1434.76	c total #propagations: 8329048 / total #impl: 8245579630 (eff. 0.001)
1434.46/1434.76	c #Conflicts:      35000 | #Learnt:       6206 | 0.008
1434.46/1434.76	c total clause space: 886.764MB
1434.46/1434.76	c total #watches: 8343259
1518.45/1518.76	c total #propagations: 8618795 / total #impl: 8556734439 (eff. 0.001)
1518.45/1518.76	c #Conflicts:      36000 | #Learnt:       7224 | 0.008
1518.45/1518.76	c total clause space: 886.764MB
1518.45/1518.76	c total #watches: 9302049
1587.64/1587.98	c total #propagations: 8929830 / total #impl: 8727396462 (eff. 0.001)
1587.64/1587.98	c #Conflicts:      37000 | #Learnt:       8233 | 0.008
1587.64/1587.98	c total clause space: 886.764MB
1587.64/1587.98	c total #watches: 10266064
1649.53/1649.88	c total #propagations: 9148878 / total #impl: 8933109707 (eff. 0.001)
1649.53/1649.88	c #Conflicts:      38000 | #Learnt:       9237 | 0.008
1649.53/1649.88	c total clause space: 886.764MB
1649.53/1649.88	c total #watches: 10752189
1709.72/1710.06	c total #propagations: 9319512 / total #impl: 9220603366 (eff. 0.001)
1709.72/1710.06	c GC COLLECT
1709.72/1710.06	c #Conflicts:      39000 | #Learnt:       5521 | 0.008
1709.72/1710.06	c total clause space: 886.764MB
1709.72/1710.06	c total #watches: 8110228
1749.32/1749.67	c total #propagations: 9529545 / total #impl: 9602123390 (eff. 0.001)
1749.32/1749.67	c #Conflicts:      40000 | #Learnt:       6522 | 0.008
1749.32/1749.67	c total clause space: 886.764MB
1749.32/1749.67	c total #watches: 8800207

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-4088114-1465393294/watcher-4088114-1465393294 -o /tmp/evaluation-result-4088114-1465393294/solver-4088114-1465393294 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node122-1465387891-23359 --watchdog 1960 --input HOME/instance-4088114-1465393294.opb ./cdcl-cuttingplanes-opt-linearsearch-release 

pid=23805
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.36 2.28 2.20 3/172 23808
/proc/meminfo: memFree=30001904/32872528 swapFree=16080/1655368
[pid=23808] ppid=23805 vsize=29112 CPUtime=0 cores=0,2,4,6
/proc/23808/stat : 23808 (cdcl-cuttingpla) R 23805 23808 23343 0 -1 4202496 276 0 0 0 0 0 0 0 20 0 1 0 121263005 29810688 5268 33554432000 4194304 6201397 140736105623424 140733495391064 4211064 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/23808/statm: 7278 5268 130 491 0 6777 0

[startup+0.100165 s]
/proc/loadavg: 2.36 2.28 2.20 3/172 23808
/proc/meminfo: memFree=30001904/32872528 swapFree=16080/1655368
[pid=23808] ppid=23805 vsize=34516 CPUtime=0.09 cores=0,2,4,6
/proc/23808/stat : 23808 (cdcl-cuttingpla) R 23805 23808 23343 0 -1 4202496 1400 0 0 0 9 0 0 0 20 0 1 0 121263005 35344384 7553 33554432000 4194304 6201397 140736105623424 140733495391064 4207513 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/23808/statm: 8629 7554 142 491 0 8128 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 34516

[startup+0.200352 s]
/proc/loadavg: 2.36 2.28 2.20 3/172 23808
/proc/meminfo: memFree=30001904/32872528 swapFree=16080/1655368
[pid=23808] ppid=23805 vsize=42444 CPUtime=0.18 cores=0,2,4,6
/proc/23808/stat : 23808 (cdcl-cuttingpla) R 23805 23808 23343 0 -1 4202496 2794 0 0 0 18 0 0 0 20 0 1 0 121263005 43462656 8914 33554432000 4194304 6201397 140736105623424 140733495391064 4207438 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/23808/statm: 10611 8914 143 491 0 10110 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 42444

[startup+0.30031 s]
/proc/loadavg: 2.36 2.28 2.20 3/172 23808
/proc/meminfo: memFree=30001904/32872528 swapFree=16080/1655368
[pid=23808] ppid=23805 vsize=50936 CPUtime=0.29 cores=0,2,4,6
/proc/23808/stat : 23808 (cdcl-cuttingpla) R 23805 23808 23343 0 -1 4202496 4288 0 0 0 28 1 0 0 20 0 1 0 121263005 52158464 10864 33554432000 4194304 6201397 140736105623424 140733495391064 5408672 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/23808/statm: 12734 10864 143 491 0 12233 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 50936

[startup+0.700277 s]
/proc/loadavg: 2.36 2.28 2.20 3/172 23808
/proc/meminfo: memFree=30001904/32872528 swapFree=16080/1655368
[pid=23808] ppid=23805 vsize=85128 CPUtime=0.68 cores=0,2,4,6
/proc/23808/stat : 23808 (cdcl-cuttingpla) R 23805 23808 23343 0 -1 4202496 7139 0 0 0 67 1 0 0 20 0 1 0 121263005 87171072 16367 33554432000 4194304 6201397 140736105623424 140736105621560 5150858 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/23808/statm: 21282 16369 143 491 0 20781 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 85128

[startup+1.50027 s]
/proc/loadavg: 2.36 2.28 2.20 3/177 23820
/proc/meminfo: memFree=29832532/32872528 swapFree=16080/1655368
[pid=23808] ppid=23805 vsize=123176 CPUtime=1.48 cores=0,2,4,6
/proc/23808/stat : 23808 (cdcl-cuttingpla) R 23805 23808 23343 0 -1 4202496 10146 0 0 0 146 2 0 0 20 0 1 0 121263005 126132224 27407 33554432000 4194304 6201397 140736105623424 140736105621560 5150858 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/23808/statm: 30794 27407 143 491 0 30293 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 123176

[startup+3.10026 s]
/proc/loadavg: 2.36 2.28 2.20 3/177 23820
/proc/meminfo: memFree=29700240/32872528 swapFree=16080/1655368
[pid=23808] ppid=23805 vsize=185032 CPUtime=3.09 cores=0,2,4,6
/proc/23808/stat : 23808 (cdcl-cuttingpla) R 23805 23808 23343 0 -1 4202496 13700 0 0 0 305 4 0 0 20 0 1 0 121263005 189472768 44867 33554432000 4194304 6201397 140736105623424 140736105621704 4213240 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/23808/statm: 46258 44867 147 491 0 45757 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 185032

[startup+6.30028 s]
/proc/loadavg: 2.33 2.28 2.20 4/177 23820
/proc/meminfo: memFree=29616888/32872528 swapFree=16080/1655368
[pid=23808] ppid=23805 vsize=268492 CPUtime=6.29 cores=0,2,4,6
/proc/23808/stat : 23808 (cdcl-cuttingpla) R 23805 23808 23343 0 -1 4202496 14439 0 0 0 625 4 0 0 20 0 1 0 121263005 274935808 48629 33554432000 4194304 6201397 140736105623424 140736105621704 4213253 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/23808/statm: 67123 48629 160 491 0 66622 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 268492

[startup+12.7003 s]
/proc/loadavg: 2.31 2.27 2.19 3/177 23820
/proc/meminfo: memFree=29553460/32872528 swapFree=16080/1655368
[pid=23808] ppid=23805 vsize=275516 CPUtime=12.68 cores=0,2,4,6
/proc/23808/stat : 23808 (cdcl-cuttingpla) R 23805 23808 23343 0 -1 4202496 16251 0 0 0 1264 4 0 0 20 0 1 0 121263005 282128384 56573 33554432000 4194304 6201397 140736105623424 140736105621704 4213268 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/23808/statm: 68879 56573 160 491 0 68378 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 275516

[startup+25.5004 s]
/proc/loadavg: 2.24 2.26 2.19 3/177 23820
/proc/meminfo: memFree=29460400/32872528 swapFree=16080/1655368
[pid=23808] ppid=23805 vsize=284180 CPUtime=25.48 cores=0,2,4,6
/proc/23808/stat : 23808 (cdcl-cuttingpla) R 23805 23808 23343 0 -1 4202496 18406 0 0 0 2543 5 0 0 20 0 1 0 121263005 291000320 67924 33554432000 4194304 6201397 140736105623424 140736105622136 4213261 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/23808/statm: 71045 67924 166 491 0 70544 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 284180

[startup+51.1003 s]
/proc/loadavg: 2.29 2.27 2.19 4/177 23821
/proc/meminfo: memFree=29324476/32872528 swapFree=16080/1655368
[pid=23808] ppid=23805 vsize=427124 CPUtime=51.08 cores=0,2,4,6
/proc/23808/stat : 23808 (cdcl-cuttingpla) R 23805 23808 23343 0 -1 4202496 21283 0 0 0 5101 7 0 0 20 0 1 0 121263005 437374976 85600 33554432000 4194304 6201397 140736105623424 140736105621704 4213257 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/23808/statm: 106781 85600 166 491 0 106280 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 427124

[startup+102.3 s]
/proc/loadavg: 2.35 2.29 2.20 3/177 23822
/proc/meminfo: memFree=29235492/32872528 swapFree=16080/1655368
[pid=23808] ppid=23805 vsize=435696 CPUtime=102.28 cores=0,2,4,6
/proc/23808/stat : 23808 (cdcl-cuttingpla) R 23805 23808 23343 0 -1 4202496 24777 0 0 0 10220 8 0 0 20 0 1 0 121263005 446152704 97706 33554432000 4194304 6201397 140736105623424 140736105622552 4213186 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/23808/statm: 108924 97706 166 491 0 108423 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 435696

[startup+162.3 s]
/proc/loadavg: 2.30 2.28 2.20 4/176 23823
/proc/meminfo: memFree=29138944/32872528 swapFree=16080/1655368
[pid=23808] ppid=23805 vsize=658456 CPUtime=162.26 cores=0,2,4,6
/proc/23808/stat : 23808 (cdcl-cuttingpla) R 23805 23808 23343 0 -1 4202496 26965 0 0 0 16217 9 0 0 20 0 1 0 121263005 674258944 113647 33554432000 4194304 6201397 140736105623424 140736105621704 4213253 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/23808/statm: 164614 113647 166 491 0 164113 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 658456

[startup+222.307 s]
/proc/loadavg: 2.19 2.25 2.19 3/177 23825
/proc/meminfo: memFree=29095188/32872528 swapFree=16080/1655368
[pid=23808] ppid=23805 vsize=659312 CPUtime=222.26 cores=0,2,4,6
/proc/23808/stat : 23808 (cdcl-cuttingpla) R 23805 23808 23343 0 -1 4202496 27500 0 0 0 22217 9 0 0 20 0 1 0 121263005 675135488 115401 33554432000 4194304 6201397 140736105623424 140736105622552 4213261 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/23808/statm: 164828 115401 166 491 0 164327 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 659312

[startup+282.3 s]
/proc/loadavg: 2.42 2.31 2.21 3/177 23826
/proc/meminfo: memFree=29072540/32872528 swapFree=16080/1655368
[pid=23808] ppid=23805 vsize=662524 CPUtime=282.24 cores=0,2,4,6
/proc/23808/stat : 23808 (cdcl-cuttingpla) R 23805 23808 23343 0 -1 4202496 28375 0 0 0 28215 9 0 0 20 0 1 0 121263005 678424576 116274 33554432000 4194304 6201397 140736105623424 140736105621704 4213261 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/23808/statm: 165631 116274 166 491 0 165130 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 662524

[startup+342.3 s]
/proc/loadavg: 2.27 2.28 2.21 3/177 23827
/proc/meminfo: memFree=28984728/32872528 swapFree=16080/1655368
[pid=23808] ppid=23805 vsize=665080 CPUtime=342.24 cores=0,2,4,6
/proc/23808/stat : 23808 (cdcl-cuttingpla) R 23805 23808 23343 0 -1 4202496 29035 0 0 0 34214 10 0 0 20 0 1 0 121263005 681041920 122543 33554432000 4194304 6201397 140736105623424 140736105622136 4213261 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/23808/statm: 166270 122543 166 491 0 165769 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 665080

[startup+402.3 s]
/proc/loadavg: 2.19 2.26 2.20 3/177 23829
/proc/meminfo: memFree=28930312/32872528 swapFree=16080/1655368
[pid=23808] ppid=23805 vsize=666696 CPUtime=402.23 cores=0,2,4,6
/proc/23808/stat : 23808 (cdcl-cuttingpla) R 23805 23808 23343 0 -1 4202496 29551 0 0 0 40213 10 0 0 20 0 1 0 121263005 682696704 123059 33554432000 4194304 6201397 140736105623424 140736105621704 4213253 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/23808/statm: 166674 123059 166 491 0 166173 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 666696

[startup+462.3 s]
/proc/loadavg: 2.39 2.30 2.21 3/177 23830
/proc/meminfo: memFree=28858204/32872528 swapFree=16080/1655368
[pid=23808] ppid=23805 vsize=670728 CPUtime=462.22 cores=0,2,4,6
/proc/23808/stat : 23808 (cdcl-cuttingpla) R 23805 23808 23343 0 -1 4202496 30539 0 0 0 46212 10 0 0 20 0 1 0 121263005 686825472 130688 33554432000 4194304 6201397 140736105623424 140736105622552 4213240 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/23808/statm: 167682 130688 166 491 0 167181 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 670728

[startup+522.3 s]
/proc/loadavg: 2.25 2.27 2.21 3/178 23834
/proc/meminfo: memFree=28841080/32872528 swapFree=16080/1655368
[pid=23808] ppid=23805 vsize=679244 CPUtime=522.21 cores=0,2,4,6
/proc/23808/stat : 23808 (cdcl-cuttingpla) R 23805 23808 23343 0 -1 4202496 32652 0 0 0 52210 11 0 0 20 0 1 0 121263005 695545856 134844 33554432000 4194304 6201397 140736105623424 140736105622136 4218639 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/23808/statm: 169811 134844 166 491 0 169310 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 679244

[startup+582.3 s]
/proc/loadavg: 2.35 2.30 2.22 3/177 23835
/proc/meminfo: memFree=28767496/32872528 swapFree=16080/1655368
[pid=23808] ppid=23805 vsize=697220 CPUtime=582.2 cores=0,2,4,6
/proc/23808/stat : 23808 (cdcl-cuttingpla) R 23805 23808 23343 0 -1 4202496 36931 0 0 0 58208 12 0 0 20 0 1 0 121263005 713953280 149854 33554432000 4194304 6201397 140736105623424 140736105621704 4213257 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/23808/statm: 174305 149854 166 491 0 173804 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 697220


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


[startup+942.3 s]
/proc/loadavg: 2.32 2.31 2.23 3/177 23842
/proc/meminfo: memFree=28591096/32872528 swapFree=16080/1655368
[pid=23808] ppid=23805 vsize=738820 CPUtime=942.15 cores=0,2,4,6
/proc/23808/stat : 23808 (cdcl-cuttingpla) R 23805 23808 23343 0 -1 4202496 47343 0 0 0 94199 16 0 0 20 0 1 0 121263005 756551680 182747 33554432000 4194304 6201397 140736105623424 140736105621704 4213261 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/23808/statm: 184705 182747 166 491 0 184204 0
Current children cumulated CPU time (s) 942.15
Current children cumulated vsize (KiB) 738820

[startup+1002.3 s]
/proc/loadavg: 2.27 2.30 2.23 4/177 23844
/proc/meminfo: memFree=28538284/32872528 swapFree=16080/1655368
[pid=23808] ppid=23805 vsize=1092436 CPUtime=1002.13 cores=0,2,4,6
/proc/23808/stat : 23808 (cdcl-cuttingpla) R 23805 23808 23343 0 -1 4202496 48541 0 0 0 100197 16 0 0 20 0 1 0 121263005 1118654464 189533 33554432000 4194304 6201397 140736105623424 140736105621704 4213186 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/23808/statm: 273109 189533 166 491 0 272608 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 1092436

[startup+1062.3 s]
/proc/loadavg: 2.36 2.33 2.25 3/177 23845
/proc/meminfo: memFree=28493976/32872528 swapFree=16080/1655368
[pid=23808] ppid=23805 vsize=1094996 CPUtime=1062.13 cores=0,2,4,6
/proc/23808/stat : 23808 (cdcl-cuttingpla) R 23805 23808 23343 0 -1 4202496 49610 0 0 0 106196 17 0 0 20 0 1 0 121263005 1121275904 200491 33554432000 4194304 6201397 140736105623424 140736105621704 4213261 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/23808/statm: 273749 200491 166 491 0 273248 0
Current children cumulated CPU time (s) 1062.13
Current children cumulated vsize (KiB) 1094996

[startup+1122.3 s]
/proc/loadavg: 2.31 2.32 2.25 4/178 23849
/proc/meminfo: memFree=28374732/32872528 swapFree=16080/1655368
[pid=23808] ppid=23805 vsize=1094996 CPUtime=1122.12 cores=0,2,4,6
/proc/23808/stat : 23808 (cdcl-cuttingpla) R 23805 23808 23343 0 -1 4202496 49624 0 0 0 112195 17 0 0 20 0 1 0 121263005 1121275904 200505 33554432000 4194304 6201397 140736105623424 140736105622552 4213261 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/23808/statm: 273749 200505 166 491 0 273248 0
Current children cumulated CPU time (s) 1122.12
Current children cumulated vsize (KiB) 1094996

[startup+1182.3 s]
/proc/loadavg: 2.31 2.32 2.25 3/178 23873
/proc/meminfo: memFree=28373580/32872528 swapFree=16080/1655368
[pid=23808] ppid=23805 vsize=1094996 CPUtime=1182.11 cores=0,2,4,6
/proc/23808/stat : 23808 (cdcl-cuttingpla) R 23805 23808 23343 0 -1 4202496 49649 0 0 0 118194 17 0 0 20 0 1 0 121263005 1121275904 200530 33554432000 4194304 6201397 140736105623424 140736105622552 4213261 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/23808/statm: 273749 200530 166 491 0 273248 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 1094996

[startup+1242.3 s]
/proc/loadavg: 2.32 2.32 2.26 4/177 23874
/proc/meminfo: memFree=28373500/32872528 swapFree=16080/1655368
[pid=23808] ppid=23805 vsize=1094996 CPUtime=1242.1 cores=0,2,4,6
/proc/23808/stat : 23808 (cdcl-cuttingpla) R 23805 23808 23343 0 -1 4202496 49759 0 0 0 124193 17 0 0 20 0 1 0 121263005 1121275904 200639 33554432000 4194304 6201397 140736105623424 140736105622552 4213240 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/23808/statm: 273749 200639 166 491 0 273248 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 1094996

[startup+1302.3 s]
/proc/loadavg: 2.27 2.31 2.26 4/177 23876
/proc/meminfo: memFree=28314660/32872528 swapFree=16080/1655368
[pid=23808] ppid=23805 vsize=1095140 CPUtime=1302.09 cores=0,2,4,6
/proc/23808/stat : 23808 (cdcl-cuttingpla) R 23805 23808 23343 0 -1 4202496 49785 0 0 0 130192 17 0 0 20 0 1 0 121263005 1121423360 200665 33554432000 4194304 6201397 140736105623424 140736105622136 4213261 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/23808/statm: 273785 200665 166 491 0 273284 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 1095140

[startup+1362.3 s]
/proc/loadavg: 2.29 2.31 2.26 3/177 23877
/proc/meminfo: memFree=28245592/32872528 swapFree=16080/1655368
[pid=23808] ppid=23805 vsize=1095464 CPUtime=1362.08 cores=0,2,4,6
/proc/23808/stat : 23808 (cdcl-cuttingpla) R 23805 23808 23343 0 -1 4202496 49896 0 0 0 136191 17 0 0 20 0 1 0 121263005 1121755136 205868 33554432000 4194304 6201397 140736105623424 140736105622136 4213186 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/23808/statm: 273866 205868 166 491 0 273365 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 1095464

[startup+1422.3 s]
/proc/loadavg: 2.39 2.33 2.27 3/177 23878
/proc/meminfo: memFree=28245216/32872528 swapFree=16080/1655368
[pid=23808] ppid=23805 vsize=1095464 CPUtime=1422.07 cores=0,2,4,6
/proc/23808/stat : 23808 (cdcl-cuttingpla) R 23805 23808 23343 0 -1 4202496 49901 0 0 0 142190 17 0 0 20 0 1 0 121263005 1121755136 205873 33554432000 4194304 6201397 140736105623424 140736105622552 4213332 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/23808/statm: 273866 205873 166 491 0 273365 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 1095464

[startup+1482.3 s]
/proc/loadavg: 2.37 2.34 2.27 3/177 23879
/proc/meminfo: memFree=28245096/32872528 swapFree=16080/1655368
[pid=23808] ppid=23805 vsize=1095464 CPUtime=1482.06 cores=0,2,4,6
/proc/23808/stat : 23808 (cdcl-cuttingpla) R 23805 23808 23343 0 -1 4202496 49905 0 0 0 148189 17 0 0 20 0 1 0 121263005 1121755136 205877 33554432000 4194304 6201397 140736105623424 140736105622552 4213261 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/23808/statm: 273866 205877 166 491 0 273365 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 1095464

[startup+1542.31 s]
/proc/loadavg: 2.29 2.32 2.27 3/177 23880
/proc/meminfo: memFree=28244464/32872528 swapFree=16080/1655368
[pid=23808] ppid=23805 vsize=1095464 CPUtime=1542.06 cores=0,2,4,6
/proc/23808/stat : 23808 (cdcl-cuttingpla) R 23805 23808 23343 0 -1 4202496 49906 0 0 0 154189 17 0 0 20 0 1 0 121263005 1121755136 205878 33554432000 4194304 6201397 140736105623424 140736105622552 4215783 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/23808/statm: 273866 205878 166 491 0 273365 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 1095464

[startup+1602.3 s]
/proc/loadavg: 2.36 2.33 2.28 3/177 23882
/proc/meminfo: memFree=28241484/32872528 swapFree=16080/1655368
[pid=23808] ppid=23805 vsize=1095464 CPUtime=1602.04 cores=0,2,4,6
/proc/23808/stat : 23808 (cdcl-cuttingpla) R 23805 23808 23343 0 -1 4202496 50000 0 0 0 160187 17 0 0 20 0 1 0 121263005 1121755136 205972 33554432000 4194304 6201397 140736105623424 140736105622552 4214872 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/23808/statm: 273866 205972 166 491 0 273365 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 1095464

[startup+1662.3 s]
/proc/loadavg: 2.24 2.30 2.27 3/177 23883
/proc/meminfo: memFree=28238508/32872528 swapFree=16080/1655368
[pid=23808] ppid=23805 vsize=1095940 CPUtime=1662.03 cores=0,2,4,6
/proc/23808/stat : 23808 (cdcl-cuttingpla) R 23805 23808 23343 0 -1 4202496 50118 0 0 0 166186 17 0 0 20 0 1 0 121263005 1122242560 206090 33554432000 4194304 6201397 140736105623424 140736105621704 4213257 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/23808/statm: 273985 206090 166 491 0 273484 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 1095940

[startup+1722.3 s]
/proc/loadavg: 2.36 2.32 2.28 4/178 23887
/proc/meminfo: memFree=28237160/32872528 swapFree=16080/1655368
[pid=23808] ppid=23805 vsize=1096780 CPUtime=1722.02 cores=0,2,4,6
/proc/23808/stat : 23808 (cdcl-cuttingpla) R 23805 23808 23343 0 -1 4202496 50346 0 0 0 172185 17 0 0 20 0 1 0 121263005 1123102720 206318 33554432000 4194304 6201397 140736105623424 140736105622552 4213261 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/23808/statm: 274195 206318 166 491 0 273694 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 1096780

[startup+1782.3 s]
/proc/loadavg: 2.37 2.33 2.28 4/178 23888
/proc/meminfo: memFree=28236296/32872528 swapFree=16080/1655368
[pid=23808] ppid=23805 vsize=1096944 CPUtime=1782.01 cores=0,2,4,6
/proc/23808/stat : 23808 (cdcl-cuttingpla) R 23805 23808 23343 0 -1 4202496 50369 0 0 0 178184 17 0 0 20 0 1 0 121263005 1123270656 206341 33554432000 4194304 6201397 140736105623424 140736105621992 4213240 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/23808/statm: 274236 206341 166 491 0 273735 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 1096944



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.34 2.33 2.28 3/178 23888
/proc/meminfo: memFree=28236544/32872528 swapFree=16080/1655368
[pid=23808] ppid=23805 vsize=1097084 CPUtime=1800.01 cores=0,2,4,6
/proc/23808/stat : 23808 (cdcl-cuttingpla) R 23805 23808 23343 0 -1 4202496 50414 0 0 0 179984 17 0 0 20 0 1 0 121263005 1123414016 206386 33554432000 4194304 6201397 140736105623424 140736105622136 4213261 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/23808/statm: 274271 206386 166 491 0 273770 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1097084

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

[startup+1800.3 s]
/proc/loadavg: 2.34 2.33 2.28 3/178 23888
/proc/meminfo: memFree=28236544/32872528 swapFree=16080/1655368
[pid=23808] ppid=23805 vsize=1097084 CPUtime=1800.01 cores=0,2,4,6
/proc/23808/stat : 23808 (cdcl-cuttingpla) R 23805 23808 23343 0 -1 4202496 50414 0 0 0 179984 17 0 0 20 0 1 0 121263005 1123414016 206386 33554432000 4194304 6201397 140736105623424 140736105622136 4213261 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/23808/statm: 274271 206386 166 491 0 273770 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1097084

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.31
CPU time (s): 1800.03
CPU user time (s): 1799.84
CPU system time (s): 0.188971
CPU usage (%): 99.9846
Max. virtual memory (cumulated for all children) (KiB): 1097084

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.84
system time used= 0.188971
maximum resident set size= 825544
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 50414
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= 14
involuntary context switches= 1851

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.17537 second user time and 7.28789 second system time

The end

Launcher Data 

Begin job on node122 at 2016-06-08 15:41:34
IDJOB=4088114
IDBENCH=1968
IDSOLVER=2550
FILE ID=node122/4088114-1465393294
RUNJOBID= node122-1465387891-23359
PBS_JOBID= 19853859
Free space on /tmp= 71716 MiB

SOLVER NAME= cdcl-cuttingplanes OPT linear search 2016-05-01
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_4.opb.PB06.opb
COMMAND LINE= ./cdcl-cuttingplanes-opt-linearsearch-release
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4088114-1465393294/watcher-4088114-1465393294 -o /tmp/evaluation-result-4088114-1465393294/solver-4088114-1465393294 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node122-1465387891-23359 --watchdog 1960 --input HOME/instance-4088114-1465393294.opb ./cdcl-cuttingplanes-opt-linearsearch-release

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

MD5SUM BENCH= ca3282cf347faf21ba3550ec87dd7af4
RANDOM SEED=957056114

node122.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.898
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	: 5333.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.898
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.898
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.54
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.898
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.898
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.898
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.898
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.898
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:        30003292 kB
Buffers:          115004 kB
Cached:           351236 kB
SwapCached:          780 kB
Active:           152788 kB
Inactive:         318176 kB
Active(anon):       4424 kB
Inactive(anon):     2812 kB
Active(file):     148364 kB
Inactive(file):   315364 kB
Unevictable:     1655368 kB
Mlocked:           16080 kB
SwapTotal:      67108856 kB
SwapFree:       67099520 kB
Dirty:             32152 kB
Writeback:            88 kB
AnonPages:       1662268 kB
Mapped:             7088 kB
Shmem:                 0 kB
Slab:             606836 kB
SReclaimable:      49236 kB
SUnreclaim:       557600 kB
KernelStack:        1408 kB
PageTables:         7128 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1757728 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1644544 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= 71708 MiB
End job on node122 at 2016-06-08 16:11:35