Trace number 4088350

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

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_012_area_delay.opb
MD5SUM390f49d8db402e26df87629238cc1aa6
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark27
Best CPU time to get the best result obtained on this benchmark0.706892
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 27
Optimality of the best value was proved YES
Number of variables15284
Total number of constraints49839
Number of constraints which are clauses49839
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 constraint1
Maximum length of a constraint127
Number of terms in the objective function 7495
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 7495
Number of bits of the sum of numbers in the objective function 13
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 7495
Number of bits of the biggest sum of numbers13
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= 15284 #constraint= 49839
2.99/3.05	c #Conflicts:       1000 | #Learnt:       1000 | 0.000
2.99/3.05	c total clause space: 78.2603MB
2.99/3.05	c total #watches: 2056214
11.29/11.32	c total #propagations: 1109978 / total #impl: 46352666 (eff. 0.024)
11.29/11.32	c #Conflicts:       2000 | #Learnt:       2000 | 0.000
11.29/11.32	c total clause space: 127.173MB
11.29/11.32	c total #watches: 2768193
24.29/24.35	c total #propagations: 3103635 / total #impl: 297606347 (eff. 0.010)
24.29/24.35	c GC COLLECT
24.29/24.35	c #Conflicts:       3000 | #Learnt:       2011 | 0.000
24.29/24.35	c total clause space: 127.173MB
24.29/24.35	c total #watches: 2418947
39.38/39.45	c total #propagations: 4786196 / total #impl: 682281595 (eff. 0.007)
39.38/39.45	c #Conflicts:       4000 | #Learnt:       3011 | 0.000
39.38/39.45	c total clause space: 206.656MB
39.38/39.45	c total #watches: 3416430
56.88/56.95	c total #propagations: 5710687 / total #impl: 883209914 (eff. 0.006)
56.88/56.95	c GC COLLECT
56.88/56.95	c #Conflicts:       5000 | #Learnt:       2363 | 0.000
56.88/56.95	c total clause space: 206.656MB
56.88/56.95	c total #watches: 3421224
77.97/78.00	c total #propagations: 7233578 / total #impl: 988571322 (eff. 0.007)
77.97/78.00	c #Conflicts:       6000 | #Learnt:       3363 | 0.000
77.97/78.00	c total clause space: 206.656MB
77.97/78.01	c total #watches: 3989792
102.47/102.57	c total #propagations: 10380111 / total #impl: 1127801475 (eff. 0.009)
102.47/102.57	c GC COLLECT
102.47/102.57	c #Conflicts:       7000 | #Learnt:       2239 | 0.000
102.47/102.57	c total clause space: 206.656MB
102.47/102.57	c total #watches: 3563311
110.07/110.15	c total #propagations: 13338535 / total #impl: 1284151366 (eff. 0.010)
110.07/110.15	c #Conflicts:       8000 | #Learnt:       3239 | 0.000
110.07/110.15	c total clause space: 206.656MB
110.07/110.15	c total #watches: 5183741
125.86/126.00	c total #propagations: 15794890 / total #impl: 1364404493 (eff. 0.012)
125.86/126.00	c #Conflicts:       9000 | #Learnt:       4239 | 0.000
125.86/126.00	c total clause space: 335.816MB
125.86/126.00	c total #watches: 6810097
145.36/145.48	c total #propagations: 17345710 / total #impl: 1686628821 (eff. 0.010)
145.36/145.48	c GC COLLECT
145.36/145.48	c #Conflicts:      10000 | #Learnt:       2739 | 0.000
145.36/145.48	c total clause space: 335.816MB
145.36/145.48	c total #watches: 5335133
164.75/164.89	c total #propagations: 18604547 / total #impl: 1887324560 (eff. 0.010)
164.75/164.89	c #Conflicts:      11000 | #Learnt:       3739 | 0.000
164.75/164.89	c total clause space: 335.816MB
164.75/164.89	c total #watches: 6370973
196.75/196.88	c total #propagations: 19641725 / total #impl: 2075764527 (eff. 0.009)
196.75/196.88	c #Conflicts:      12000 | #Learnt:       4739 | 0.000
196.75/196.88	c total clause space: 335.816MB
196.75/196.88	c total #watches: 7220098
226.66/226.77	c total #propagations: 20972844 / total #impl: 2436844598 (eff. 0.009)
226.66/226.77	c #Conflicts:      13000 | #Learnt:       5739 | 0.000
226.66/226.77	c total clause space: 335.816MB
226.66/226.77	c total #watches: 9079451
264.24/264.30	c total #propagations: 23076347 / total #impl: 2555163181 (eff. 0.009)
264.24/264.30	c GC COLLECT
264.24/264.30	c #Conflicts:      14000 | #Learnt:       3869 | 0.000
264.24/264.30	c total clause space: 335.816MB
264.24/264.30	c total #watches: 6542467
322.14/322.22	c total #propagations: 24407076 / total #impl: 2763705002 (eff. 0.009)
322.14/322.22	c #Conflicts:      15000 | #Learnt:       4869 | 0.000
322.14/322.22	c total clause space: 335.816MB
322.14/322.22	c total #watches: 7831436
383.32/383.42	c total #propagations: 25115797 / total #impl: 3326460540 (eff. 0.008)
383.32/383.42	c #Conflicts:      16000 | #Learnt:       5869 | 0.000
383.32/383.42	c total clause space: 335.816MB
383.32/383.42	c total #watches: 9322658
442.72/442.89	c total #propagations: 26363153 / total #impl: 3641417793 (eff. 0.007)
442.72/442.89	c GC COLLECT
442.72/442.89	c #Conflicts:      17000 | #Learnt:       3696 | 0.000
442.72/442.89	c total clause space: 545.701MB
442.72/442.89	c total #watches: 7464478
491.62/491.73	c total #propagations: 27835308 / total #impl: 3873373149 (eff. 0.007)
491.62/491.73	c #Conflicts:      18000 | #Learnt:       4696 | 0.000
491.62/491.73	c total clause space: 545.701MB
491.62/491.73	c total #watches: 9378741
529.20/529.31	c total #propagations: 29643133 / total #impl: 3958338921 (eff. 0.007)
529.20/529.31	c #Conflicts:      19000 | #Learnt:       5696 | 0.000
529.20/529.31	c total clause space: 545.701MB
529.20/529.31	c total #watches: 10494343
627.28/627.44	c total #propagations: 29961885 / total #impl: 4098282012 (eff. 0.007)
627.28/627.44	c #Conflicts:      20000 | #Learnt:       6696 | 0.000
627.28/627.44	c total clause space: 545.701MB
627.28/627.44	c total #watches: 11744366
709.07/709.25	c total #propagations: 31033934 / total #impl: 5019055041 (eff. 0.006)
709.07/709.25	c GC COLLECT
709.07/709.25	c #Conflicts:      21000 | #Learnt:       4198 | 0.000
709.07/709.25	c total clause space: 545.701MB
709.07/709.25	c total #watches: 7311259
835.36/835.55	c total #propagations: 32092781 / total #impl: 6085909883 (eff. 0.005)
835.36/835.55	c #Conflicts:      22000 | #Learnt:       5198 | 0.000
835.36/835.55	c total clause space: 545.701MB
835.36/835.55	c total #watches: 8192646
931.74/931.92	c total #propagations: 32991160 / total #impl: 9034974900 (eff. 0.004)
931.74/931.92	c #Conflicts:      23000 | #Learnt:       6198 | 0.000
931.74/931.92	c total clause space: 545.701MB
931.74/931.92	c total #watches: 8884123
1130.62/1130.86	c total #propagations: 33842254 / total #impl: 10092967958 (eff. 0.003)
1130.62/1130.86	c #Conflicts:      24000 | #Learnt:       7198 | 0.000
1130.62/1130.86	c total clause space: 545.701MB
1130.62/1130.86	c total #watches: 9764285
1280.09/1280.36	c total #propagations: 35537205 / total #impl: 12896193897 (eff. 0.003)
1280.09/1280.36	c GC COLLECT
1280.09/1280.36	c #Conflicts:      25000 | #Learnt:       4396 | 0.000
1280.09/1280.36	c total clause space: 545.701MB
1280.09/1280.36	c total #watches: 5812724
1446.27/1446.57	c total #propagations: 36200257 / total #impl: 13597476328 (eff. 0.003)
1446.27/1446.57	c #Conflicts:      26000 | #Learnt:       5396 | 0.000
1446.27/1446.57	c total clause space: 545.701MB
1446.27/1446.57	c total #watches: 6786382
1582.44/1582.72	c total #propagations: 36901342 / total #impl: 15209391315 (eff. 0.002)
1582.44/1582.72	c #Conflicts:      27000 | #Learnt:       6396 | 0.000
1582.44/1582.72	c total clause space: 545.701MB
1582.44/1582.72	c total #watches: 7793297
1679.53/1679.87	c total #propagations: 37519798 / total #impl: 17001616406 (eff. 0.002)
1679.53/1679.87	c #Conflicts:      28000 | #Learnt:       7396 | 0.000
1679.53/1679.87	c total clause space: 545.701MB
1679.53/1679.87	c total #watches: 8758614

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-4088350-1465430656/watcher-4088350-1465430656 -o /tmp/evaluation-result-4088350-1465430656/solver-4088350-1465430656 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node123-1465427036-7741 --watchdog 1960 --input HOME/instance-4088350-1465430656.opb ./cdcl-cuttingplanes-opt-linearsearch-release 

pid=8293
running on 4 cores: 1,3,5,7

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.14 2.25 2.20 4/176 8296
/proc/meminfo: memFree=28626892/32872528 swapFree=16360/1798728
[pid=8296] ppid=8293 vsize=29112 CPUtime=0 cores=1,3,5,7
/proc/8296/stat : 8296 (cdcl-cuttingpla) R 8293 8296 7724 0 -1 4202496 277 0 0 0 0 0 0 0 20 0 1 0 124998738 29810688 5269 33554432000 4194304 6201397 140735678419536 140736205613048 4211056 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/8296/statm: 7278 5269 130 491 0 6777 0

[startup+0.100166 s]
/proc/loadavg: 2.14 2.25 2.20 4/176 8296
/proc/meminfo: memFree=28626892/32872528 swapFree=16360/1798728
[pid=8296] ppid=8293 vsize=34428 CPUtime=0.09 cores=1,3,5,7
/proc/8296/stat : 8296 (cdcl-cuttingpla) R 8293 8296 7724 0 -1 4202496 571 0 0 0 9 0 0 0 20 0 1 0 124998738 35254272 7597 33554432000 4194304 6201397 140735678419536 140736205613048 5408672 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/8296/statm: 8640 7598 142 491 0 8139 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 34428

[startup+0.200364 s]
/proc/loadavg: 2.14 2.25 2.20 4/176 8296
/proc/meminfo: memFree=28626892/32872528 swapFree=16360/1798728
[pid=8296] ppid=8293 vsize=43296 CPUtime=0.18 cores=1,3,5,7
/proc/8296/stat : 8296 (cdcl-cuttingpla) R 8293 8296 7724 0 -1 4202496 2499 0 0 0 18 0 0 0 20 0 1 0 124998738 44335104 8885 33554432000 4194304 6201397 140735678419536 140736205613048 5588841 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/8296/statm: 10824 8885 147 491 0 10323 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 43296

[startup+0.300354 s]
/proc/loadavg: 2.14 2.25 2.20 4/176 8296
/proc/meminfo: memFree=28626892/32872528 swapFree=16360/1798728
[pid=8296] ppid=8293 vsize=52852 CPUtime=0.29 cores=1,3,5,7
/proc/8296/stat : 8296 (cdcl-cuttingpla) R 8293 8296 7724 0 -1 4202496 3302 0 0 0 28 1 0 0 20 0 1 0 124998738 54120448 11684 33554432000 4194304 6201397 140735678419536 140736205613048 5588841 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/8296/statm: 13213 11684 147 491 0 12712 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 52852

[startup+0.700313 s]
/proc/loadavg: 2.14 2.25 2.20 4/176 8296
/proc/meminfo: memFree=28626892/32872528 swapFree=16360/1798728
[pid=8296] ppid=8293 vsize=92112 CPUtime=0.69 cores=1,3,5,7
/proc/8296/stat : 8296 (cdcl-cuttingpla) R 8293 8296 7724 0 -1 4202496 5987 0 0 0 68 1 0 0 20 0 1 0 124998738 94322688 19102 33554432000 4194304 6201397 140735678419536 140735678418248 4213261 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/8296/statm: 23028 19102 147 491 0 22527 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 92112

[startup+1.5003 s]
/proc/loadavg: 2.14 2.25 2.20 4/177 8297
/proc/meminfo: memFree=28519052/32872528 swapFree=16360/1798728
[pid=8296] ppid=8293 vsize=134088 CPUtime=1.48 cores=1,3,5,7
/proc/8296/stat : 8296 (cdcl-cuttingpla) R 8293 8296 7724 0 -1 4202496 9412 0 0 0 146 2 0 0 20 0 1 0 124998738 137306112 28038 33554432000 4194304 6201397 140735678419536 140735678418328 4213257 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/8296/statm: 33522 28038 147 491 0 33021 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 134088

[startup+3.10025 s]
/proc/loadavg: 2.14 2.25 2.20 4/177 8297
/proc/meminfo: memFree=28510240/32872528 swapFree=16360/1798728
[pid=8296] ppid=8293 vsize=134252 CPUtime=3.09 cores=1,3,5,7
/proc/8296/stat : 8296 (cdcl-cuttingpla) R 8293 8296 7724 0 -1 4202496 10855 0 0 0 306 3 0 0 20 0 1 0 124998738 137474048 31164 33554432000 4194304 6201397 140735678419536 140735678418328 4213240 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/8296/statm: 33563 31164 160 491 0 33062 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 134252

[startup+6.30026 s]
/proc/loadavg: 2.21 2.26 2.20 4/177 8297
/proc/meminfo: memFree=28490856/32872528 swapFree=16360/1798728
[pid=8296] ppid=8293 vsize=184608 CPUtime=6.28 cores=1,3,5,7
/proc/8296/stat : 8296 (cdcl-cuttingpla) R 8293 8296 7724 0 -1 4202496 12459 0 0 0 625 3 0 0 20 0 1 0 124998738 189038592 34485 33554432000 4194304 6201397 140735678419536 140735678418248 4213361 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/8296/statm: 46152 34485 160 491 0 45651 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 184608

[startup+12.7003 s]
/proc/loadavg: 2.27 2.27 2.21 3/177 8297
/proc/meminfo: memFree=28471476/32872528 swapFree=16360/1798728
[pid=8296] ppid=8293 vsize=185648 CPUtime=12.68 cores=1,3,5,7
/proc/8296/stat : 8296 (cdcl-cuttingpla) R 8293 8296 7724 0 -1 4202496 14940 0 0 0 1264 4 0 0 20 0 1 0 124998738 190103552 38667 33554432000 4194304 6201397 140735678419536 140735678418328 4213328 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/8296/statm: 46412 38667 160 491 0 45911 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 185648

[startup+25.5003 s]
/proc/loadavg: 2.28 2.27 2.21 3/177 8343
/proc/meminfo: memFree=29127280/32872528 swapFree=16360/1798728
[pid=8296] ppid=8293 vsize=185836 CPUtime=25.49 cores=1,3,5,7
/proc/8296/stat : 8296 (cdcl-cuttingpla) R 8293 8296 7724 0 -1 4202496 23310 0 0 0 2542 7 0 0 20 0 1 0 124998738 190296064 38799 33554432000 4194304 6201397 140735678419536 140735678418664 4213261 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/8296/statm: 46459 38799 166 491 0 45958 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 185836

[startup+51.1003 s]
/proc/loadavg: 2.33 2.28 2.21 4/177 8343
/proc/meminfo: memFree=28903216/32872528 swapFree=16360/1798728
[pid=8296] ppid=8293 vsize=289104 CPUtime=51.08 cores=1,3,5,7
/proc/8296/stat : 8296 (cdcl-cuttingpla) R 8293 8296 7724 0 -1 4202496 32873 0 0 0 5098 10 0 0 20 0 1 0 124998738 296042496 52928 33554432000 4194304 6201397 140735678419536 140735678418328 5588841 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/8296/statm: 72276 52928 166 491 0 71775 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 289104

[startup+102.3 s]
/proc/loadavg: 2.44 2.32 2.22 3/177 8344
/proc/meminfo: memFree=28701252/32872528 swapFree=16360/1798728
[pid=8296] ppid=8293 vsize=290804 CPUtime=102.27 cores=1,3,5,7
/proc/8296/stat : 8296 (cdcl-cuttingpla) R 8293 8296 7724 0 -1 4202496 49684 0 0 0 10208 19 0 0 20 0 1 0 124998738 297783296 67355 33554432000 4194304 6201397 140735678419536 140735678418168 4213365 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/8296/statm: 72701 67355 166 491 0 72200 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 290804

[startup+162.3 s]
/proc/loadavg: 2.28 2.29 2.22 4/177 8345
/proc/meminfo: memFree=28574880/32872528 swapFree=16360/1798728
[pid=8296] ppid=8293 vsize=468000 CPUtime=162.26 cores=1,3,5,7
/proc/8296/stat : 8296 (cdcl-cuttingpla) R 8293 8296 7724 0 -1 4202496 72156 0 0 0 16201 25 0 0 20 0 1 0 124998738 479232000 98424 33554432000 4194304 6201397 140735678419536 140735678418664 4214933 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/8296/statm: 117000 98424 166 491 0 116499 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 468000

[startup+222.308 s]
/proc/loadavg: 2.27 2.28 2.22 3/177 8347
/proc/meminfo: memFree=28459856/32872528 swapFree=16360/1798728
[pid=8296] ppid=8293 vsize=470076 CPUtime=222.25 cores=1,3,5,7
/proc/8296/stat : 8296 (cdcl-cuttingpla) R 8293 8296 7724 0 -1 4202496 80983 0 0 0 22195 30 0 0 20 0 1 0 124998738 481357824 110245 33554432000 4194304 6201397 140735678419536 140735678418168 4213240 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/8296/statm: 117519 110245 166 491 0 117018 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 470076

[startup+282.3 s]
/proc/loadavg: 2.35 2.30 2.22 3/177 8348
/proc/meminfo: memFree=28452096/32872528 swapFree=16360/1798728
[pid=8296] ppid=8293 vsize=470252 CPUtime=282.24 cores=1,3,5,7
/proc/8296/stat : 8296 (cdcl-cuttingpla) R 8293 8296 7724 0 -1 4202496 81663 0 0 0 28193 31 0 0 20 0 1 0 124998738 481538048 111411 33554432000 4194304 6201397 140735678419536 140735678418664 4213249 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/8296/statm: 117563 111411 166 491 0 117062 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 470252

[startup+342.3 s]
/proc/loadavg: 2.40 2.32 2.23 3/177 8349
/proc/meminfo: memFree=28451184/32872528 swapFree=16360/1798728
[pid=8296] ppid=8293 vsize=470428 CPUtime=342.23 cores=1,3,5,7
/proc/8296/stat : 8296 (cdcl-cuttingpla) R 8293 8296 7724 0 -1 4202496 82225 0 0 0 34192 31 0 0 20 0 1 0 124998738 481718272 111458 33554432000 4194304 6201397 140735678419536 140735678418328 4213261 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/8296/statm: 117607 111458 166 491 0 117106 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 470428

[startup+402.3 s]
/proc/loadavg: 2.38 2.32 2.24 3/178 8353
/proc/meminfo: memFree=28400580/32872528 swapFree=16360/1798728
[pid=8296] ppid=8293 vsize=685832 CPUtime=402.22 cores=1,3,5,7
/proc/8296/stat : 8296 (cdcl-cuttingpla) R 8293 8296 7724 0 -1 4202496 86335 0 0 0 40188 34 0 0 20 0 1 0 124998738 702291968 118392 33554432000 4194304 6201397 140735678419536 140735678418488 4213240 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/8296/statm: 171458 118392 166 491 0 170957 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 685832

[startup+462.3 s]
/proc/loadavg: 2.37 2.32 2.24 3/177 8354
/proc/meminfo: memFree=28389788/32872528 swapFree=16360/1798728
[pid=8296] ppid=8293 vsize=686120 CPUtime=462.21 cores=1,3,5,7
/proc/8296/stat : 8296 (cdcl-cuttingpla) R 8293 8296 7724 0 -1 4202496 87802 0 0 0 46186 35 0 0 20 0 1 0 124998738 702586880 121100 33554432000 4194304 6201397 140735678419536 140735678418664 4213253 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/8296/statm: 171530 121100 166 491 0 171029 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 686120

[startup+522.3 s]
/proc/loadavg: 2.25 2.29 2.23 3/176 8355
/proc/meminfo: memFree=28388932/32872528 swapFree=16360/1798728
[pid=8296] ppid=8293 vsize=686636 CPUtime=522.2 cores=1,3,5,7
/proc/8296/stat : 8296 (cdcl-cuttingpla) R 8293 8296 7724 0 -1 4202496 91271 0 0 0 52184 36 0 0 20 0 1 0 124998738 703115264 121816 33554432000 4194304 6201397 140735678419536 140735678418248 4213253 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/8296/statm: 171659 121816 166 491 0 171158 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 686636

[startup+582.3 s]
/proc/loadavg: 2.27 2.29 2.24 3/177 8357
/proc/meminfo: memFree=28299416/32872528 swapFree=16360/1798728
[pid=8296] ppid=8293 vsize=770164 CPUtime=582.19 cores=1,3,5,7
/proc/8296/stat : 8296 (cdcl-cuttingpla) R 8293 8296 7724 0 -1 4202496 104854 0 0 0 58181 38 0 0 20 0 1 0 124998738 788647936 143569 33554432000 4194304 6201397 140735678419536 140735678418248 4213261 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/8296/statm: 192541 143569 166 491 0 192040 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 770164


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


[startup+942.3 s]
/proc/loadavg: 2.25 2.28 2.25 3/177 8364
/proc/meminfo: memFree=28253904/32872528 swapFree=16360/1798728
[pid=8296] ppid=8293 vsize=771828 CPUtime=942.14 cores=1,3,5,7
/proc/8296/stat : 8296 (cdcl-cuttingpla) R 8293 8296 7724 0 -1 4202496 106823 0 0 0 94175 39 0 0 20 0 1 0 124998738 790351872 151763 33554432000 4194304 6201397 140735678419536 140735678418664 4213261 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/8296/statm: 192957 151763 166 491 0 192456 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 771828

[startup+1002.3 s]
/proc/loadavg: 2.36 2.31 2.26 3/178 8368
/proc/meminfo: memFree=28232844/32872528 swapFree=16360/1798728
[pid=8296] ppid=8293 vsize=771828 CPUtime=1002.13 cores=1,3,5,7
/proc/8296/stat : 8296 (cdcl-cuttingpla) R 8293 8296 7724 0 -1 4202496 106824 0 0 0 100174 39 0 0 20 0 1 0 124998738 790351872 151764 33554432000 4194304 6201397 140735678419536 140735678418664 4213240 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/8296/statm: 192957 151764 166 491 0 192456 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 771828

[startup+1062.3 s]
/proc/loadavg: 2.25 2.28 2.25 3/177 8369
/proc/meminfo: memFree=28232108/32872528 swapFree=16360/1798728
[pid=8296] ppid=8293 vsize=771828 CPUtime=1062.12 cores=1,3,5,7
/proc/8296/stat : 8296 (cdcl-cuttingpla) R 8293 8296 7724 0 -1 4202496 106975 0 0 0 106173 39 0 0 20 0 1 0 124998738 790351872 151915 33554432000 4194304 6201397 140735678419536 140735678418664 4213261 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/8296/statm: 192957 151915 166 491 0 192456 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 771828

[startup+1122.3 s]
/proc/loadavg: 2.26 2.28 2.26 3/177 8370
/proc/meminfo: memFree=28231984/32872528 swapFree=16360/1798728
[pid=8296] ppid=8293 vsize=771828 CPUtime=1122.11 cores=1,3,5,7
/proc/8296/stat : 8296 (cdcl-cuttingpla) R 8293 8296 7724 0 -1 4202496 106975 0 0 0 112172 39 0 0 20 0 1 0 124998738 790351872 151915 33554432000 4194304 6201397 140735678419536 140735678418664 4213261 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/8296/statm: 192957 151915 166 491 0 192456 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 771828

[startup+1182.3 s]
/proc/loadavg: 2.48 2.34 2.28 3/177 8372
/proc/meminfo: memFree=28231736/32872528 swapFree=16360/1798728
[pid=8296] ppid=8293 vsize=771828 CPUtime=1182.1 cores=1,3,5,7
/proc/8296/stat : 8296 (cdcl-cuttingpla) R 8293 8296 7724 0 -1 4202496 106987 0 0 0 118171 39 0 0 20 0 1 0 124998738 790351872 151927 33554432000 4194304 6201397 140735678419536 140735678418664 4213261 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/8296/statm: 192957 151927 166 491 0 192456 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 771828

[startup+1242.3 s]
/proc/loadavg: 2.35 2.32 2.27 3/177 8373
/proc/meminfo: memFree=28230864/32872528 swapFree=16360/1798728
[pid=8296] ppid=8293 vsize=771828 CPUtime=1242.09 cores=1,3,5,7
/proc/8296/stat : 8296 (cdcl-cuttingpla) R 8293 8296 7724 0 -1 4202496 106987 0 0 0 124170 39 0 0 20 0 1 0 124998738 790351872 151927 33554432000 4194304 6201397 140735678419536 140735678418664 4213170 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/8296/statm: 192957 151927 166 491 0 192456 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 771828

[startup+1302.3 s]
/proc/loadavg: 2.25 2.30 2.27 3/177 8374
/proc/meminfo: memFree=28231160/32872528 swapFree=16360/1798728
[pid=8296] ppid=8293 vsize=771828 CPUtime=1302.08 cores=1,3,5,7
/proc/8296/stat : 8296 (cdcl-cuttingpla) R 8293 8296 7724 0 -1 4202496 106987 0 0 0 130169 39 0 0 20 0 1 0 124998738 790351872 151927 33554432000 4194304 6201397 140735678419536 140735678418664 4213240 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/8296/statm: 192957 151927 166 491 0 192456 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 771828

[startup+1362.3 s]
/proc/loadavg: 2.45 2.35 2.28 3/177 8375
/proc/meminfo: memFree=28231036/32872528 swapFree=16360/1798728
[pid=8296] ppid=8293 vsize=771828 CPUtime=1362.07 cores=1,3,5,7
/proc/8296/stat : 8296 (cdcl-cuttingpla) R 8293 8296 7724 0 -1 4202496 106987 0 0 0 136168 39 0 0 20 0 1 0 124998738 790351872 151927 33554432000 4194304 6201397 140735678419536 140735678418664 4213361 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/8296/statm: 192957 151927 166 491 0 192456 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 771828

[startup+1422.3 s]
/proc/loadavg: 2.32 2.33 2.28 3/177 8376
/proc/meminfo: memFree=28209936/32872528 swapFree=16360/1798728
[pid=8296] ppid=8293 vsize=771828 CPUtime=1422.07 cores=1,3,5,7
/proc/8296/stat : 8296 (cdcl-cuttingpla) R 8293 8296 7724 0 -1 4202496 106987 0 0 0 142168 39 0 0 20 0 1 0 124998738 790351872 151927 33554432000 4194304 6201397 140735678419536 140735678418664 4213268 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/8296/statm: 192957 151927 166 491 0 192456 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 771828

[startup+1482.3 s]
/proc/loadavg: 2.27 2.31 2.27 3/177 8378
/proc/meminfo: memFree=28209808/32872528 swapFree=16360/1798728
[pid=8296] ppid=8293 vsize=771828 CPUtime=1482.05 cores=1,3,5,7
/proc/8296/stat : 8296 (cdcl-cuttingpla) R 8293 8296 7724 0 -1 4202496 106987 0 0 0 148166 39 0 0 20 0 1 0 124998738 790351872 151927 33554432000 4194304 6201397 140735678419536 140735678418664 4213261 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/8296/statm: 192957 151927 166 491 0 192456 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 771828

[startup+1542.31 s]
/proc/loadavg: 2.38 2.33 2.28 3/177 8379
/proc/meminfo: memFree=28209444/32872528 swapFree=16360/1798728
[pid=8296] ppid=8293 vsize=771828 CPUtime=1542.05 cores=1,3,5,7
/proc/8296/stat : 8296 (cdcl-cuttingpla) R 8293 8296 7724 0 -1 4202496 106995 0 0 0 154166 39 0 0 20 0 1 0 124998738 790351872 151935 33554432000 4194304 6201397 140735678419536 140735678418664 4213253 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/8296/statm: 192957 151935 166 491 0 192456 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 771828

[startup+1602.3 s]
/proc/loadavg: 2.32 2.31 2.27 3/178 8383
/proc/meminfo: memFree=28209800/32872528 swapFree=16360/1798728
[pid=8296] ppid=8293 vsize=771828 CPUtime=1602.04 cores=1,3,5,7
/proc/8296/stat : 8296 (cdcl-cuttingpla) R 8293 8296 7724 0 -1 4202496 106996 0 0 0 160165 39 0 0 20 0 1 0 124998738 790351872 151936 33554432000 4194304 6201397 140735678419536 140735678418664 4213087 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/8296/statm: 192957 151936 166 491 0 192456 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 771828

[startup+1662.3 s]
/proc/loadavg: 2.37 2.33 2.28 3/177 8384
/proc/meminfo: memFree=28207768/32872528 swapFree=16360/1798728
[pid=8296] ppid=8293 vsize=771828 CPUtime=1662.03 cores=1,3,5,7
/proc/8296/stat : 8296 (cdcl-cuttingpla) R 8293 8296 7724 0 -1 4202496 107679 0 0 0 166163 40 0 0 20 0 1 0 124998738 790351872 151937 33554432000 4194304 6201397 140735678419536 140735678418488 4213257 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/8296/statm: 192957 151937 166 491 0 192456 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 771828

[startup+1722.3 s]
/proc/loadavg: 2.36 2.33 2.28 4/177 8385
/proc/meminfo: memFree=28166872/32872528 swapFree=16360/1798728
[pid=8296] ppid=8293 vsize=771860 CPUtime=1722.01 cores=1,3,5,7
/proc/8296/stat : 8296 (cdcl-cuttingpla) R 8293 8296 7724 0 -1 4202496 108660 0 0 0 172161 40 0 0 20 0 1 0 124998738 790384640 152002 33554432000 4194304 6201397 140735678419536 140735678418328 4213240 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/8296/statm: 192965 152002 166 491 0 192464 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 771860

[startup+1782.3 s]
/proc/loadavg: 2.32 2.31 2.27 3/177 8387
/proc/meminfo: memFree=28163960/32872528 swapFree=16360/1798728
[pid=8296] ppid=8293 vsize=772020 CPUtime=1782.01 cores=1,3,5,7
/proc/8296/stat : 8296 (cdcl-cuttingpla) R 8293 8296 7724 0 -1 4202496 110162 0 0 0 178159 42 0 0 20 0 1 0 124998738 790548480 152434 33554432000 4194304 6201397 140735678419536 140735678418328 4213253 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/8296/statm: 193005 152434 166 491 0 192504 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 772020



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.37 2.32 2.28 3/177 8387
/proc/meminfo: memFree=28152892/32872528 swapFree=16360/1798728
[pid=8296] ppid=8293 vsize=772020 CPUtime=1800.01 cores=1,3,5,7
/proc/8296/stat : 8296 (cdcl-cuttingpla) R 8293 8296 7724 0 -1 4202496 110448 0 0 0 179959 42 0 0 20 0 1 0 124998738 790548480 155102 33554432000 4194304 6201397 140735678419536 140735678418328 4213268 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/8296/statm: 193005 155102 166 491 0 192504 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 772020

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

[startup+1800.3 s]
/proc/loadavg: 2.37 2.32 2.28 3/177 8387
/proc/meminfo: memFree=28152892/32872528 swapFree=16360/1798728
[pid=8296] ppid=8293 vsize=772020 CPUtime=1800.01 cores=1,3,5,7
/proc/8296/stat : 8296 (cdcl-cuttingpla) R 8293 8296 7724 0 -1 4202496 110448 0 0 0 179959 42 0 0 20 0 1 0 124998738 790548480 155102 33554432000 4194304 6201397 140735678419536 140735678418328 4213268 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/8296/statm: 193005 155102 166 491 0 192504 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 772020

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.3
CPU time (s): 1800.02
CPU user time (s): 1799.59
CPU system time (s): 0.427934
CPU usage (%): 99.9843
Max. virtual memory (cumulated for all children) (KiB): 772052

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.59
system time used= 0.427934
maximum resident set size= 620436
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 110448
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= 19
involuntary context switches= 1859

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.53231 second user time and 7.06293 second system time

The end

Launcher Data 

Begin job on node123 at 2016-06-09 02:04:16
IDJOB=4088350
IDBENCH=24988
IDSOLVER=2550
FILE ID=node123/4088350-1465430656
RUNJOBID= node123-1465427036-7741
PBS_JOBID= 19859787
Free space on /tmp= 71628 MiB

SOLVER NAME= cdcl-cuttingplanes OPT linear search 2016-05-01
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_012_area_delay.opb
COMMAND LINE= ./cdcl-cuttingplanes-opt-linearsearch-release
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4088350-1465430656/watcher-4088350-1465430656 -o /tmp/evaluation-result-4088350-1465430656/solver-4088350-1465430656 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node123-1465427036-7741 --watchdog 1960 --input HOME/instance-4088350-1465430656.opb ./cdcl-cuttingplanes-opt-linearsearch-release

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

MD5SUM BENCH= 390f49d8db402e26df87629238cc1aa6
RANDOM SEED=1127393044

node123.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		: 2667.117
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	: 5334.23
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		: 2667.117
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		: 2667.117
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.56
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		: 2667.117
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		: 2667.117
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		: 2667.117
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.57
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		: 2667.117
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		: 2667.117
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:        28627072 kB
Buffers:          189760 kB
Cached:           817660 kB
SwapCached:         1756 kB
Active:           989768 kB
Inactive:         697164 kB
Active(anon):     679192 kB
Inactive(anon):     2668 kB
Active(file):     310576 kB
Inactive(file):   694496 kB
Unevictable:     1798728 kB
Mlocked:           16360 kB
SwapTotal:      67108856 kB
SwapFree:       67098836 kB
Dirty:              3892 kB
Writeback:             0 kB
AnonPages:       2487784 kB
Mapped:             7792 kB
Shmem:                 0 kB
Slab:             614776 kB
SReclaimable:      58992 kB
SUnreclaim:       555784 kB
KernelStack:        1464 kB
PageTables:         9068 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2647392 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2398208 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= 71628 MiB
End job on node123 at 2016-06-09 02:34:16