Trace number 4100311

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 binary search 2016-05-01? (TO) 1800.09 1800.41

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-reduced-mps-v2-20-10-core4284-1064.opb
MD5SUMeb3ec27dc8137302430c8b48ccd8a471
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark899
Best CPU time to get the best result obtained on this benchmark1800.1
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 907
Optimality of the best value was proved NO
Number of variables21705
Total number of constraints4285
Number of constraints which are clauses4284
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint15760
Number of terms in the objective function 21705
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 21705
Number of bits of the sum of numbers in the objective function 15
Biggest number in a constraint 9256
Number of bits of the biggest number in a constraint 14
Biggest sum of numbers in a constraint 25016
Number of bits of the biggest sum of numbers15
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.09	c * #variable= 21705 #constraint= 4285
0.08/0.19	c * #variable= 21705 #constraint= 4285
5.28/5.34	c S1->S2
5.28/5.34	c S1->S2
5.28/5.34	c S1->S2
5.28/5.34	c S2->S1
5.28/5.34	c #Conflicts:       1000 | #Learnt:        815 | 0.000
5.28/5.34	c total clause space: 545.701MB
5.28/5.34	c total #watches: 16711414
16.39/16.41	c total #propagations: 88102 / total #impl: 7245411 (eff. 0.012)
16.39/16.41	c #Conflicts:       2000 | #Learnt:       1815 | 0.004
16.39/16.41	c total clause space: 886.764MB
16.39/16.41	c total #watches: 25253097
24.59/24.68	c total #propagations: 139690 / total #impl: 68693534 (eff. 0.002)
24.59/24.68	c GC COLLECT
24.59/24.68	c #Conflicts:       3000 | #Learnt:       1905 | 0.004
24.59/24.68	c total clause space: 886.764MB
24.59/24.68	c total #watches: 20493915
43.18/43.27	c total #propagations: 359307 / total #impl: 199168014 (eff. 0.002)
43.18/43.27	c #Conflicts:       4000 | #Learnt:       2905 | 0.016
43.18/43.27	c total clause space: 1440.99MB
43.18/43.27	c total #watches: 34975552
103.68/103.74	c total #propagations: 630812 / total #impl: 569715264 (eff. 0.001)
103.68/103.74	c GC COLLECT
103.68/103.74	c #Conflicts:       5000 | #Learnt:       2309 | 0.013
103.68/103.74	c total clause space: 1440.99MB
103.68/103.74	c total #watches: 26503639
148.58/148.61	c total #propagations: 1813393 / total #impl: 1186808371 (eff. 0.002)
148.58/148.61	c #Conflicts:       6000 | #Learnt:       3309 | 0.011
148.58/148.61	c total clause space: 1440.99MB
148.58/148.61	c total #watches: 39064575
156.07/156.19	c total #propagations: 3347846 / total #impl: 1563128166 (eff. 0.002)
156.07/156.19	c GC COLLECT
156.07/156.19	c #Conflicts:       7000 | #Learnt:       2186 | 0.009
156.07/156.19	c total clause space: 2341.61MB
156.07/156.19	c total #watches: 27400276
160.58/160.63	c total #propagations: 3360194 / total #impl: 1585900191 (eff. 0.002)
160.58/160.63	c #Conflicts:       8000 | #Learnt:       3186 | 0.008
160.58/160.63	c total clause space: 2341.61MB
160.58/160.63	c total #watches: 41808966
165.47/165.50	c total #propagations: 3371290 / total #impl: 1632119172 (eff. 0.002)
165.47/165.50	c #Conflicts:       9000 | #Learnt:       4186 | 0.053
165.47/165.50	c total clause space: 2341.61MB
165.47/165.50	c total #watches: 56617365
180.86/180.92	c total #propagations: 3392099 / total #impl: 1674930911 (eff. 0.002)
180.86/180.92	c GC COLLECT
180.86/180.92	c #Conflicts:      10000 | #Learnt:       2681 | 0.060
180.86/180.92	c total clause space: 2341.61MB
180.86/180.92	c total #watches: 37433233
213.05/213.16	c total #propagations: 4441153 / total #impl: 2048828324 (eff. 0.002)
213.05/213.16	c #Conflicts:      11000 | #Learnt:       3681 | 0.054
213.05/213.16	c total clause space: 2341.61MB
213.05/213.16	c total #watches: 46771104
239.14/239.20	c total #propagations: 6794744 / total #impl: 3059587850 (eff. 0.002)
239.14/239.20	c #Conflicts:      12000 | #Learnt:       4681 | 0.050
239.14/239.20	c total clause space: 2341.61MB
239.14/239.20	c total #watches: 54386921
288.34/288.48	c total #propagations: 8473778 / total #impl: 3414215044 (eff. 0.002)
288.34/288.48	c #Conflicts:      13000 | #Learnt:       5681 | 0.046
288.34/288.48	c total clause space: 2341.61MB
288.34/288.48	c total #watches: 64498495
370.92/371.01	c total #propagations: 12862985 / total #impl: 3870894065 (eff. 0.003)
370.92/371.01	c GC COLLECT
370.92/371.01	c #Conflicts:      14000 | #Learnt:       3831 | 0.057
370.92/371.01	c total clause space: 2341.61MB
370.92/371.01	c total #watches: 34715267
449.31/449.50	c total #propagations: 16545959 / total #impl: 4449874540 (eff. 0.004)
449.31/449.50	c #Conflicts:      15000 | #Learnt:       4831 | 0.150
449.31/449.50	c total clause space: 2341.61MB
449.41/449.50	c total #watches: 45979798
526.19/526.32	c total #propagations: 17273319 / total #impl: 5218991146 (eff. 0.003)
526.19/526.32	c #Conflicts:      16000 | #Learnt:       5831 | 0.275
526.19/526.32	c total clause space: 2341.61MB
526.19/526.32	c total #watches: 57902392
571.08/571.27	c total #propagations: 18280467 / total #impl: 5524271459 (eff. 0.003)
571.08/571.27	c GC COLLECT
571.08/571.27	c #Conflicts:      17000 | #Learnt:       3651 | 0.267
571.08/571.27	c total clause space: 2341.61MB
571.08/571.27	c total #watches: 42172476
652.56/652.75	c total #propagations: 18344438 / total #impl: 6100018804 (eff. 0.003)
652.56/652.75	c #Conflicts:      18000 | #Learnt:       4651 | 0.253
652.56/652.75	c total clause space: 2341.61MB
652.56/652.75	c total #watches: 46412954
790.54/790.75	c total #propagations: 18432248 / total #impl: 6774382952 (eff. 0.003)
790.54/790.75	c #Conflicts:      19000 | #Learnt:       5651 | 0.240
790.54/790.75	c total clause space: 2341.61MB
790.54/790.75	c total #watches: 47659381
979.92/980.14	c total #propagations: 18492247 / total #impl: 7380697143 (eff. 0.003)
979.92/980.14	c #Conflicts:      20000 | #Learnt:       6651 | 0.230
979.92/980.14	c total clause space: 2341.61MB
979.92/980.14	c total #watches: 49503442
1123.28/1123.58	c total #propagations: 18716641 / total #impl: 8048543490 (eff. 0.002)
1123.28/1123.58	c GC COLLECT
1123.28/1123.58	c #Conflicts:      21000 | #Learnt:       4160 | 0.226
1123.28/1123.58	c total clause space: 2341.61MB
1123.28/1123.58	c total #watches: 18930350
1162.78/1163.01	c total #propagations: 21390035 / total #impl: 8444366613 (eff. 0.003)
1162.78/1163.01	c #Conflicts:      22000 | #Learnt:       5160 | 0.338
1162.78/1163.01	c total clause space: 2341.61MB
1162.78/1163.01	c total #watches: 23368327
1256.65/1256.91	c total #propagations: 22337563 / total #impl: 8801659373 (eff. 0.003)
1256.65/1256.91	c #Conflicts:      23000 | #Learnt:       6160 | 0.323
1256.65/1256.91	c total clause space: 2341.61MB
1256.65/1256.91	c total #watches: 30508626
1647.28/1647.67	c total #propagations: 24308806 / total #impl: 12391606196 (eff. 0.002)
1647.28/1647.67	c #Conflicts:      24000 | #Learnt:       7160 | 0.310
1647.28/1647.67	c total clause space: 2341.61MB
1647.28/1647.67	c total #watches: 41925296
1781.36/1781.72	c total #propagations: 26753925 / total #impl: 13890292489 (eff. 0.002)
1781.36/1781.72	c GC COLLECT
1781.36/1781.72	c #Conflicts:      25000 | #Learnt:       4359 | 0.325
1781.36/1781.72	c total clause space: 2341.61MB
1781.36/1781.72	c total #watches: 30804815

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-4100311-1466238540/watcher-4100311-1466238540 -o /tmp/evaluation-result-4100311-1466238540/solver-4100311-1466238540 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node132-1466229528-27533 --watchdog 1960 --input HOME/instance-4100311-1466238540.opb ./cdcl-cuttingplanes-opt-binarysearch-release 

pid=28909
running on 8 cores: 0-3,8-11

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.09 2.10 2.04 3/258 28912
/proc/meminfo: memFree=31089312/32872528 swapFree=7804/7804
[pid=28912] ppid=28909 vsize=56116 CPUtime=0 cores=0-3,8-11
/proc/28912/stat : 28912 (cdcl-cuttingpla) R 28909 28912 27517 0 -1 4202496 319 0 0 0 0 0 0 0 20 0 1 0 25898572 57462784 10931 33554432000 4194304 6211289 140733620671040 140733620670344 4261036 0 0 4096 8388610 0 0 0 17 10 0 0 0 0 0
/proc/28912/statm: 14029 10931 120 493 0 13526 0

[startup+0.100163 s]
/proc/loadavg: 2.09 2.10 2.04 3/258 28912
/proc/meminfo: memFree=31089312/32872528 swapFree=7804/7804
[pid=28912] ppid=28909 vsize=66540 CPUtime=0.08 cores=0-3,8-11
/proc/28912/stat : 28912 (cdcl-cuttingpla) R 28909 28912 27517 0 -1 4202496 2500 0 0 0 8 0 0 0 20 0 1 0 25898572 68136960 13349 33554432000 4194304 6211289 140733620671040 140733620669880 5320928 0 0 4096 8388610 0 0 0 17 10 0 0 0 0 0
/proc/28912/statm: 16635 13349 138 493 0 16132 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 66540

[startup+0.200361 s]
/proc/loadavg: 2.09 2.10 2.04 3/258 28912
/proc/meminfo: memFree=31089312/32872528 swapFree=7804/7804
[pid=28912] ppid=28909 vsize=79064 CPUtime=0.19 cores=0-3,8-11
/proc/28912/stat : 28912 (cdcl-cuttingpla) R 28909 28912 27517 0 -1 4202496 4035 0 0 0 18 1 0 0 20 0 1 0 25898572 80961536 15843 33554432000 4194304 6211289 140733620671040 140733620669880 4228081 0 0 4096 8388610 0 0 0 17 10 0 0 0 0 0
/proc/28912/statm: 19766 15843 144 493 0 19263 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 79064

[startup+0.300351 s]
/proc/loadavg: 2.09 2.10 2.04 3/258 28912
/proc/meminfo: memFree=31089312/32872528 swapFree=7804/7804
[pid=28912] ppid=28909 vsize=86444 CPUtime=0.29 cores=0-3,8-11
/proc/28912/stat : 28912 (cdcl-cuttingpla) R 28909 28912 27517 0 -1 4202496 4859 0 0 0 28 1 0 0 20 0 1 0 25898572 88518656 17689 33554432000 4194304 6211289 140733620671040 140733620669880 4973264 0 0 4096 8388610 0 0 0 17 10 0 0 0 0 0
/proc/28912/statm: 21611 17689 200 493 0 21108 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 86444

[startup+0.700217 s]
/proc/loadavg: 2.09 2.10 2.04 3/258 28912
/proc/meminfo: memFree=31089312/32872528 swapFree=7804/7804
[pid=28912] ppid=28909 vsize=176236 CPUtime=0.69 cores=0-3,8-11
/proc/28912/stat : 28912 (cdcl-cuttingpla) R 28909 28912 27517 0 -1 4202496 10680 0 0 0 66 3 0 0 20 0 1 0 25898572 180465664 32698 33554432000 4194304 6211289 140733620671040 140733620669880 5316936 0 0 4096 8388610 0 0 0 17 10 0 0 0 0 0
/proc/28912/statm: 44059 32698 204 493 0 43556 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 176236

[startup+1.50027 s]
/proc/loadavg: 2.08 2.10 2.04 3/259 28913
/proc/meminfo: memFree=30894728/32872528 swapFree=7804/7804
[pid=28912] ppid=28909 vsize=327028 CPUtime=1.49 cores=0-3,8-11
/proc/28912/stat : 28912 (cdcl-cuttingpla) R 28909 28912 27517 0 -1 4202496 15951 0 0 0 143 6 0 0 20 0 1 0 25898572 334876672 59934 33554432000 4194304 6211289 140733620671040 140733620669272 4215216 0 0 4096 8388610 0 0 0 17 10 0 0 0 0 0
/proc/28912/statm: 81757 59934 204 493 0 81254 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 327028

[startup+3.10028 s]
/proc/loadavg: 2.08 2.10 2.04 3/259 28913
/proc/meminfo: memFree=30740256/32872528 swapFree=7804/7804
[pid=28912] ppid=28909 vsize=536056 CPUtime=3.09 cores=0-3,8-11
/proc/28912/stat : 28912 (cdcl-cuttingpla) R 28909 28912 27517 0 -1 4202496 35309 0 0 0 298 11 0 0 20 0 1 0 25898572 548921344 117612 33554432000 4194304 6211289 140733620671040 140733620668952 4215893 0 0 4096 8388610 0 0 0 17 10 0 0 0 0 0
/proc/28912/statm: 134014 117612 204 493 0 133511 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 536056

[startup+6.30023 s]
/proc/loadavg: 2.08 2.10 2.04 3/259 28913
/proc/meminfo: memFree=30247888/32872528 swapFree=7804/7804
[pid=28912] ppid=28909 vsize=1247584 CPUtime=6.29 cores=0-3,8-11
/proc/28912/stat : 28912 (cdcl-cuttingpla) R 28909 28912 27517 0 -1 4202496 68061 0 0 0 608 21 0 0 20 0 1 0 25898572 1277526016 227517 33554432000 4194304 6211289 140733620671040 140733620669032 4215234 0 0 4096 8388610 0 0 0 17 10 0 0 0 0 0
/proc/28912/statm: 311896 227517 214 493 0 311393 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1247584

[startup+12.7002 s]
/proc/loadavg: 2.07 2.10 2.04 3/259 28913
/proc/meminfo: memFree=30141528/32872528 swapFree=7804/7804
[pid=28912] ppid=28909 vsize=1255688 CPUtime=12.69 cores=0-3,8-11
/proc/28912/stat : 28912 (cdcl-cuttingpla) R 28909 28912 27517 0 -1 4202496 70174 0 0 0 1247 22 0 0 20 0 1 0 25898572 1285824512 236273 33554432000 4194304 6211289 140733620671040 140733620669032 4215355 0 0 4096 8388610 0 0 0 17 10 0 0 0 0 0
/proc/28912/statm: 313922 236273 214 493 0 313419 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1255688

[startup+25.5004 s]
/proc/loadavg: 2.06 2.09 2.04 3/259 28913
/proc/meminfo: memFree=29870072/32872528 swapFree=7804/7804
[pid=28912] ppid=28909 vsize=1297224 CPUtime=25.49 cores=0-3,8-11
/proc/28912/stat : 28912 (cdcl-cuttingpla) R 28909 28912 27517 0 -1 4202496 87575 0 0 0 2522 27 0 0 20 0 1 0 25898572 1328357376 304250 33554432000 4194304 6211289 140733620671040 140733620668952 4243181 0 0 4096 8388610 0 0 0 17 10 0 0 0 0 0
/proc/28912/statm: 324306 304250 219 493 0 323803 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1297224

[startup+51.1004 s]
/proc/loadavg: 2.04 2.08 2.03 3/259 28913
/proc/meminfo: memFree=29248488/32872528 swapFree=7804/7804
[pid=28912] ppid=28909 vsize=2124204 CPUtime=51.08 cores=0-3,8-11
/proc/28912/stat : 28912 (cdcl-cuttingpla) R 28909 28912 27517 0 -1 4202496 137779 0 0 0 5062 46 0 0 20 0 1 0 25898572 2175184896 459207 33554432000 4194304 6211289 140733620671040 140733620669032 4201944 0 0 4096 8388610 0 0 0 17 10 0 0 0 0 0
/proc/28912/statm: 531051 459207 219 493 0 530548 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 2124204

[startup+102.3 s]
/proc/loadavg: 2.20 2.13 2.05 3/260 28917
/proc/meminfo: memFree=29228100/32872528 swapFree=7804/7804
[pid=28912] ppid=28909 vsize=2124524 CPUtime=102.29 cores=0-3,8-11
/proc/28912/stat : 28912 (cdcl-cuttingpla) R 28909 28912 27517 0 -1 4202496 139233 0 0 0 10182 47 0 0 20 0 1 0 25898572 2175512576 464341 33554432000 4194304 6211289 140733620671040 140733620669032 4216604 0 0 4096 8388610 0 0 0 17 10 0 0 0 0 0
/proc/28912/statm: 531131 464341 219 493 0 530628 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 2124524

[startup+162.3 s]
/proc/loadavg: 2.07 2.10 2.04 3/259 28964
/proc/meminfo: memFree=29434684/32872528 swapFree=7804/7804
[pid=28912] ppid=28909 vsize=3123740 CPUtime=162.26 cores=0-3,8-11
/proc/28912/stat : 28912 (cdcl-cuttingpla) R 28909 28912 27517 0 -1 4202496 164539 0 0 0 16169 57 0 0 20 0 1 0 25898572 3198709760 592469 33554432000 4194304 6211289 140733620671040 140733620668952 4209882 0 0 4096 8388610 0 0 0 17 10 0 0 0 0 0
/proc/28912/statm: 780935 592469 219 493 0 780432 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 3123740

[startup+222.311 s]
/proc/loadavg: 2.10 2.11 2.05 3/259 28966
/proc/meminfo: memFree=28615548/32872528 swapFree=7804/7804
[pid=28912] ppid=28909 vsize=3523708 CPUtime=222.26 cores=0-3,8-11
/proc/28912/stat : 28912 (cdcl-cuttingpla) R 28909 28912 27517 0 -1 4202496 235475 0 0 0 22153 73 0 0 20 0 1 0 25898572 3608276992 792678 33554432000 4194304 6211289 140733620671040 140733620669384 4209396 0 0 4096 8388610 0 0 0 17 10 0 0 0 0 0
/proc/28912/statm: 880927 792678 219 493 0 880424 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 3523708

[startup+282.3 s]
/proc/loadavg: 2.04 2.09 2.04 3/259 28967
/proc/meminfo: memFree=28550436/32872528 swapFree=7804/7804
[pid=28912] ppid=28909 vsize=3586248 CPUtime=282.24 cores=0-3,8-11
/proc/28912/stat : 28912 (cdcl-cuttingpla) R 28909 28912 27517 0 -1 4202496 250747 0 0 0 28148 76 0 0 20 0 1 0 25898572 3672317952 807942 33554432000 4194304 6211289 140733620671040 140733620669032 4209376 0 0 4096 8388610 0 0 0 17 10 0 0 0 0 0
/proc/28912/statm: 896562 807942 219 493 0 896059 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 3586248

[startup+342.3 s]
/proc/loadavg: 2.01 2.07 2.04 3/259 28968
/proc/meminfo: memFree=28539864/32872528 swapFree=7804/7804
[pid=28912] ppid=28909 vsize=3589192 CPUtime=342.23 cores=0-3,8-11
/proc/28912/stat : 28912 (cdcl-cuttingpla) R 28909 28912 27517 0 -1 4202496 252448 0 0 0 34147 76 0 0 20 0 1 0 25898572 3675332608 809654 33554432000 4194304 6211289 140733620671040 140733620668952 4209376 0 0 4096 8388610 0 0 0 17 10 0 0 0 0 0
/proc/28912/statm: 897298 809654 219 493 0 896795 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 3589192

[startup+402.3 s]
/proc/loadavg: 2.00 2.05 2.03 3/259 28969
/proc/meminfo: memFree=28533124/32872528 swapFree=7804/7804
[pid=28912] ppid=28909 vsize=3589192 CPUtime=402.21 cores=0-3,8-11
/proc/28912/stat : 28912 (cdcl-cuttingpla) R 28909 28912 27517 0 -1 4202496 252452 0 0 0 40145 76 0 0 20 0 1 0 25898572 3675332608 810161 33554432000 4194304 6211289 140733620671040 140733620669384 4209396 0 0 4096 8388610 0 0 0 17 10 0 0 0 0 0
/proc/28912/statm: 897298 810161 219 493 0 896795 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 3589192

[startup+462.3 s]
/proc/loadavg: 2.03 2.05 2.03 3/259 28970
/proc/meminfo: memFree=28491040/32872528 swapFree=7804/7804
[pid=28912] ppid=28909 vsize=3589192 CPUtime=462.21 cores=0-3,8-11
/proc/28912/stat : 28912 (cdcl-cuttingpla) R 28909 28912 27517 0 -1 4202496 252517 0 0 0 46145 76 0 0 20 0 1 0 25898572 3675332608 811323 33554432000 4194304 6211289 140733620671040 140733620669384 4209322 0 0 4096 8388610 0 0 0 17 10 0 0 0 0 0
/proc/28912/statm: 897298 811323 219 493 0 896795 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 3589192

[startup+522.3 s]
/proc/loadavg: 2.01 2.04 2.03 3/258 28971
/proc/meminfo: memFree=28470000/32872528 swapFree=7804/7804
[pid=28912] ppid=28909 vsize=3596764 CPUtime=522.19 cores=0-3,8-11
/proc/28912/stat : 28912 (cdcl-cuttingpla) R 28909 28912 27517 0 -1 4202496 254050 0 0 0 52143 76 0 0 20 0 1 0 25898572 3683086336 814122 33554432000 4194304 6211289 140733620671040 140733620668952 4209396 0 0 4096 8388610 0 0 0 17 10 0 0 0 0 0
/proc/28912/statm: 899191 814122 219 493 0 898688 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 3596764

[startup+582.3 s]
/proc/loadavg: 2.00 2.03 2.02 3/259 28973
/proc/meminfo: memFree=28435976/32872528 swapFree=7804/7804
[pid=28912] ppid=28909 vsize=3597732 CPUtime=582.17 cores=0-3,8-11
/proc/28912/stat : 28912 (cdcl-cuttingpla) R 28909 28912 27517 0 -1 4202496 258773 0 0 0 58140 77 0 0 20 0 1 0 25898572 3684077568 819424 33554432000 4194304 6211289 140733620671040 140733620669384 4209396 0 0 4096 8388610 0 0 0 17 10 0 0 0 0 0
/proc/28912/statm: 899433 819424 219 493 0 898930 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 3597732


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


[startup+882.311 s]
/proc/loadavg: 2.02 2.04 2.01 3/259 28982
/proc/meminfo: memFree=28282200/32872528 swapFree=7804/7804
[pid=28912] ppid=28909 vsize=3597732 CPUtime=882.14 cores=0-3,8-11
/proc/28912/stat : 28912 (cdcl-cuttingpla) R 28909 28912 27517 0 -1 4202496 258778 0 0 0 88137 77 0 0 20 0 1 0 25898572 3684077568 850787 33554432000 4194304 6211289 140733620671040 140733620669384 4209388 0 0 4096 8388610 0 0 0 17 10 0 0 0 0 0
/proc/28912/statm: 899433 850787 219 493 0 898930 0
Current children cumulated CPU time (s) 882.14
Current children cumulated vsize (KiB) 3597732

[startup+942.3 s]
/proc/loadavg: 2.01 2.03 2.01 3/259 28983
/proc/meminfo: memFree=28281492/32872528 swapFree=7804/7804
[pid=28912] ppid=28909 vsize=3597732 CPUtime=942.12 cores=0-3,8-11
/proc/28912/stat : 28912 (cdcl-cuttingpla) R 28909 28912 27517 0 -1 4202496 258779 0 0 0 94135 77 0 0 20 0 1 0 25898572 3684077568 850788 33554432000 4194304 6211289 140733620671040 140733620669384 4209328 0 0 4096 8388610 0 0 0 17 10 0 0 0 0 0
/proc/28912/statm: 899433 850788 219 493 0 898930 0
Current children cumulated CPU time (s) 942.12
Current children cumulated vsize (KiB) 3597732

[startup+1002.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/260 28985
/proc/meminfo: memFree=28274488/32872528 swapFree=7804/7804
[pid=28912] ppid=28909 vsize=3597732 CPUtime=1002.11 cores=0-3,8-11
/proc/28912/stat : 28912 (cdcl-cuttingpla) R 28909 28912 27517 0 -1 4202496 258782 0 0 0 100134 77 0 0 20 0 1 0 25898572 3684077568 850788 33554432000 4194304 6211289 140733620671040 140733620669384 4209392 0 0 4096 8388610 0 0 0 17 10 0 0 0 0 0
/proc/28912/statm: 899433 850788 219 493 0 898930 0
Current children cumulated CPU time (s) 1002.11
Current children cumulated vsize (KiB) 3597732

[startup+1062.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/259 28986
/proc/meminfo: memFree=28272472/32872528 swapFree=7804/7804
[pid=28912] ppid=28909 vsize=3597732 CPUtime=1062.1 cores=0-3,8-11
/proc/28912/stat : 28912 (cdcl-cuttingpla) R 28909 28912 27517 0 -1 4202496 258787 0 0 0 106133 77 0 0 20 0 1 0 25898572 3684077568 850788 33554432000 4194304 6211289 140733620671040 140733620669384 4209388 0 0 4096 8388610 0 0 0 17 10 0 0 0 0 0
/proc/28912/statm: 899433 850788 219 493 0 898930 0
Current children cumulated CPU time (s) 1062.1
Current children cumulated vsize (KiB) 3597732

[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/259 28987
/proc/meminfo: memFree=28271396/32872528 swapFree=7804/7804
[pid=28912] ppid=28909 vsize=3597732 CPUtime=1122.08 cores=0-3,8-11
/proc/28912/stat : 28912 (cdcl-cuttingpla) R 28909 28912 27517 0 -1 4202496 258791 0 0 0 112131 77 0 0 20 0 1 0 25898572 3684077568 850788 33554432000 4194304 6211289 140733620671040 140733620669384 4209396 0 0 4096 8388610 0 0 0 17 10 0 0 0 0 0
/proc/28912/statm: 899433 850788 219 493 0 898930 0
Current children cumulated CPU time (s) 1122.08
Current children cumulated vsize (KiB) 3597732

[startup+1182.3 s]
/proc/loadavg: 2.09 2.04 2.01 3/259 28989
/proc/meminfo: memFree=28270808/32872528 swapFree=7804/7804
[pid=28912] ppid=28909 vsize=3597732 CPUtime=1182.08 cores=0-3,8-11
/proc/28912/stat : 28912 (cdcl-cuttingpla) R 28909 28912 27517 0 -1 4202496 258791 0 0 0 118131 77 0 0 20 0 1 0 25898572 3684077568 850788 33554432000 4194304 6211289 140733620671040 140733620669384 4209388 0 0 4096 8388610 0 0 0 17 10 0 0 0 0 0
/proc/28912/statm: 899433 850788 219 493 0 898930 0
Current children cumulated CPU time (s) 1182.08
Current children cumulated vsize (KiB) 3597732

[startup+1242.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/259 28990
/proc/meminfo: memFree=28258124/32872528 swapFree=7804/7804
[pid=28912] ppid=28909 vsize=3597732 CPUtime=1242.06 cores=0-3,8-11
/proc/28912/stat : 28912 (cdcl-cuttingpla) R 28909 28912 27517 0 -1 4202496 258804 0 0 0 124129 77 0 0 20 0 1 0 25898572 3684077568 850788 33554432000 4194304 6211289 140733620671040 140733620669384 4209376 0 0 4096 8388610 0 0 0 17 10 0 0 0 0 0
/proc/28912/statm: 899433 850788 219 493 0 898930 0
Current children cumulated CPU time (s) 1242.06
Current children cumulated vsize (KiB) 3597732

[startup+1302.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/260 28994
/proc/meminfo: memFree=28257744/32872528 swapFree=7804/7804
[pid=28912] ppid=28909 vsize=3597732 CPUtime=1302.05 cores=0-3,8-11
/proc/28912/stat : 28912 (cdcl-cuttingpla) R 28909 28912 27517 0 -1 4202496 258805 0 0 0 130128 77 0 0 20 0 1 0 25898572 3684077568 850788 33554432000 4194304 6211289 140733620671040 140733620669384 4209484 0 0 4096 8388610 0 0 0 17 10 0 0 0 0 0
/proc/28912/statm: 899433 850788 219 493 0 898930 0
Current children cumulated CPU time (s) 1302.05
Current children cumulated vsize (KiB) 3597732

[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/259 28995
/proc/meminfo: memFree=28256012/32872528 swapFree=7804/7804
[pid=28912] ppid=28909 vsize=3597732 CPUtime=1362.03 cores=0-3,8-11
/proc/28912/stat : 28912 (cdcl-cuttingpla) R 28909 28912 27517 0 -1 4202496 258825 0 0 0 136126 77 0 0 20 0 1 0 25898572 3684077568 850788 33554432000 4194304 6211289 140733620671040 140733620669384 4209380 0 0 4096 8388610 0 0 0 17 10 0 0 0 0 0
/proc/28912/statm: 899433 850788 219 493 0 898930 0
Current children cumulated CPU time (s) 1362.03
Current children cumulated vsize (KiB) 3597732

[startup+1422.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/259 28996
/proc/meminfo: memFree=28250708/32872528 swapFree=7804/7804
[pid=28912] ppid=28909 vsize=3597732 CPUtime=1422.03 cores=0-3,8-11
/proc/28912/stat : 28912 (cdcl-cuttingpla) R 28909 28912 27517 0 -1 4202496 258826 0 0 0 142126 77 0 0 20 0 1 0 25898572 3684077568 850788 33554432000 4194304 6211289 140733620671040 140733620669384 4209314 0 0 4096 8388610 0 0 0 17 10 0 0 0 0 0
/proc/28912/statm: 899433 850788 219 493 0 898930 0
Current children cumulated CPU time (s) 1422.03
Current children cumulated vsize (KiB) 3597732

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/259 28998
/proc/meminfo: memFree=28247700/32872528 swapFree=7804/7804
[pid=28912] ppid=28909 vsize=3597732 CPUtime=1482.01 cores=0-3,8-11
/proc/28912/stat : 28912 (cdcl-cuttingpla) R 28909 28912 27517 0 -1 4202496 258826 0 0 0 148124 77 0 0 20 0 1 0 25898572 3684077568 850788 33554432000 4194304 6211289 140733620671040 140733620669384 4209396 0 0 4096 8388610 0 0 0 17 10 0 0 0 0 0
/proc/28912/statm: 899433 850788 219 493 0 898930 0
Current children cumulated CPU time (s) 1482.01
Current children cumulated vsize (KiB) 3597732

[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/259 28999
/proc/meminfo: memFree=28244172/32872528 swapFree=7804/7804
[pid=28912] ppid=28909 vsize=3597732 CPUtime=1542.01 cores=0-3,8-11
/proc/28912/stat : 28912 (cdcl-cuttingpla) R 28909 28912 27517 0 -1 4202496 258826 0 0 0 154124 77 0 0 20 0 1 0 25898572 3684077568 850788 33554432000 4194304 6211289 140733620671040 140733620669384 4209388 0 0 4096 8388610 0 0 0 17 10 0 0 0 0 0
/proc/28912/statm: 899433 850788 219 493 0 898930 0
Current children cumulated CPU time (s) 1542.01
Current children cumulated vsize (KiB) 3597732

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/259 29000
/proc/meminfo: memFree=28244176/32872528 swapFree=7804/7804
[pid=28912] ppid=28909 vsize=3597732 CPUtime=1601.99 cores=0-3,8-11
/proc/28912/stat : 28912 (cdcl-cuttingpla) R 28909 28912 27517 0 -1 4202496 258826 0 0 0 160122 77 0 0 20 0 1 0 25898572 3684077568 850788 33554432000 4194304 6211289 140733620671040 140733620669384 4209376 0 0 4096 8388610 0 0 0 17 10 0 0 0 0 0
/proc/28912/statm: 899433 850788 219 493 0 898930 0
Current children cumulated CPU time (s) 1601.99
Current children cumulated vsize (KiB) 3597732

[startup+1662.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/259 29001
/proc/meminfo: memFree=28243896/32872528 swapFree=7804/7804
[pid=28912] ppid=28909 vsize=3597732 CPUtime=1661.98 cores=0-3,8-11
/proc/28912/stat : 28912 (cdcl-cuttingpla) R 28909 28912 27517 0 -1 4202496 258826 0 0 0 166121 77 0 0 20 0 1 0 25898572 3684077568 850788 33554432000 4194304 6211289 140733620671040 140733620669384 4209396 0 0 4096 8388610 0 0 0 17 10 0 0 0 0 0
/proc/28912/statm: 899433 850788 219 493 0 898930 0
Current children cumulated CPU time (s) 1661.98
Current children cumulated vsize (KiB) 3597732

[startup+1722.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/259 29002
/proc/meminfo: memFree=28243160/32872528 swapFree=7804/7804
[pid=28912] ppid=28909 vsize=3597732 CPUtime=1721.97 cores=0-3,8-11
/proc/28912/stat : 28912 (cdcl-cuttingpla) R 28909 28912 27517 0 -1 4202496 258860 0 0 0 172120 77 0 0 20 0 1 0 25898572 3684077568 850822 33554432000 4194304 6211289 140733620671040 140733620669384 4252352 0 0 4096 8388610 0 0 0 17 10 0 0 0 0 0
/proc/28912/statm: 899433 850822 219 493 0 898930 0
Current children cumulated CPU time (s) 1721.97
Current children cumulated vsize (KiB) 3597732

[startup+1782.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/259 29004
/proc/meminfo: memFree=28242540/32872528 swapFree=7804/7804
[pid=28912] ppid=28909 vsize=3597732 CPUtime=1781.96 cores=0-3,8-11
/proc/28912/stat : 28912 (cdcl-cuttingpla) R 28909 28912 27517 0 -1 4202496 258860 0 0 0 178119 77 0 0 20 0 1 0 25898572 3684077568 850822 33554432000 4194304 6211289 140733620671040 140733620669384 4209376 0 0 4096 8388610 0 0 0 17 10 0 0 0 0 0
/proc/28912/statm: 899433 850822 219 493 0 898930 0
Current children cumulated CPU time (s) 1781.96
Current children cumulated vsize (KiB) 3597732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.02 2.02 2.00 3/259 29004
/proc/meminfo: memFree=28242292/32872528 swapFree=7804/7804
[pid=28912] ppid=28909 vsize=3597732 CPUtime=1800.06 cores=0-3,8-11
/proc/28912/stat : 28912 (cdcl-cuttingpla) R 28909 28912 27517 0 -1 4202496 258860 0 0 0 179929 77 0 0 20 0 1 0 25898572 3684077568 850822 33554432000 4194304 6211289 140733620671040 140733620669384 4209376 0 0 4096 8388610 0 0 0 17 10 0 0 0 0 0
/proc/28912/statm: 899433 850822 219 493 0 898930 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 3597732

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.41
CPU time (s): 1800.09
CPU user time (s): 1799.3
CPU system time (s): 0.790879
CPU usage (%): 99.982
Max. virtual memory (cumulated for all children) (KiB): 3597732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.3
system time used= 0.790879
maximum resident set size= 3403288
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 258860
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= 84
involuntary context switches= 1846

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.77197 second user time and 9.77051 second system time

The end

Launcher Data 

Begin job on node132 at 2016-06-18 10:29:00
IDJOB=4100311
IDBENCH=1600
IDSOLVER=2549
FILE ID=node132/4100311-1466238540
RUNJOBID= node132-1466229528-27533
PBS_JOBID= 19918175
Free space on /tmp= 71732 MiB

SOLVER NAME= cdcl-cuttingplanes OPT binary search 2016-05-01
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-reduced-mps-v2-20-10-core4284-1064.opb
COMMAND LINE= ./cdcl-cuttingplanes-opt-binarysearch-release
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4100311-1466238540/watcher-4100311-1466238540 -o /tmp/evaluation-result-4100311-1466238540/solver-4100311-1466238540 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node132-1466229528-27533 --watchdog 1960 --input HOME/instance-4100311-1466238540.opb ./cdcl-cuttingplanes-opt-binarysearch-release

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

MD5SUM BENCH= eb3ec27dc8137302430c8b48ccd8a471
RANDOM SEED=848483746

node132.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.768
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.53
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.768
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.51
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.768
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.51
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.768
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.51
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.768
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.768
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.768
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.768
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 8
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.768
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 1
initial apicid	: 1
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	: 9
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.768
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 3
initial apicid	: 3
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	: 10
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.768
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 5
initial apicid	: 5
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	: 11
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.768
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 7
initial apicid	: 7
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	: 12
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.768
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 17
initial apicid	: 17
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	: 13
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.768
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 19
initial apicid	: 19
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	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.768
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 21
initial apicid	: 21
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	: 15
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.768
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 23
initial apicid	: 23
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:        31089452 kB
Buffers:           83496 kB
Cached:           157824 kB
SwapCached:         1776 kB
Active:           848456 kB
Inactive:         180400 kB
Active(anon):     786364 kB
Inactive(anon):     3532 kB
Active(file):      62092 kB
Inactive(file):   176868 kB
Unevictable:        7804 kB
Mlocked:            7804 kB
SwapTotal:      67108856 kB
SwapFree:       67099332 kB
Dirty:              4836 kB
Writeback:             0 kB
AnonPages:        794764 kB
Mapped:             8036 kB
Shmem:                 0 kB
Slab:             607056 kB
SReclaimable:      47252 kB
SUnreclaim:       559804 kB
KernelStack:        2232 kB
PageTables:         5128 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1144924 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987140 kB
HardwareCorrupted:     0 kB
AnonHugePages:    772096 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= 71732 MiB
End job on node132 at 2016-06-18 10:59:00