Trace number 4100167

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.1 1800.4

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-reduced-mps-v2-20-10-qap10.opb
MD5SUMcba28129e4f6f6eef01b4dc927adb1b9
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark29
Best CPU time to get the best result obtained on this benchmark1800.06
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 29
Optimality of the best value was proved NO
Number of variables83000
Total number of constraints1820
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1820
Minimum length of a constraint200
Maximum length of a constraint200
Number of terms in the objective function 52200
Biggest coefficient in the objective function 570
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 564062
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 26215
Number of bits of the biggest number in a constraint 15
Biggest sum of numbers in a constraint 564062
Number of bits of the biggest sum of numbers20
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.01	c OPTIONS:
0.00/0.01	c - Resolve (`-resolve-always' or `-resolve-skip'): -resolve-skip
0.08/0.18	c * #variable= 83000 #constraint= 1820
0.59/0.60	c * #variable= 83000 #constraint= 1820
65.27/65.38	c S1->S2
65.27/65.38	c S1->S2
65.27/65.38	c S1->S2
65.27/65.38	c S1->S2
65.27/65.38	c S1->S2
65.27/65.38	c S1->S2
65.27/65.38	c S1->S2
65.27/65.38	c S1->S2
65.27/65.38	c #Conflicts:       1000 | #Learnt:        996 | 0.785
65.27/65.38	c total clause space: 78.2603MB
65.27/65.38	c total #watches: 1875564
97.57/97.66	c total #propagations: 3766738 / total #impl: 125450458 (eff. 0.030)
97.57/97.66	c #Conflicts:       2000 | #Learnt:       1979 | 1.721
97.57/97.66	c total clause space: 127.173MB
97.57/97.66	c total #watches: 2738835
119.17/119.27	c total #propagations: 5353353 / total #impl: 313284435 (eff. 0.017)
119.17/119.27	c GC COLLECT
119.17/119.27	c #Conflicts:       3000 | #Learnt:       2016 | 1.176
119.17/119.27	c total clause space: 127.173MB
119.17/119.27	c total #watches: 2477341
156.86/156.92	c total #propagations: 5666825 / total #impl: 367276528 (eff. 0.015)
156.86/156.92	c #Conflicts:       4000 | #Learnt:       3006 | 0.989
156.86/156.92	c total clause space: 127.173MB
156.86/156.92	c total #watches: 3049670
205.66/205.72	c total #propagations: 6921839 / total #impl: 509990774 (eff. 0.014)
205.66/205.72	c GC COLLECT
205.66/205.72	c #Conflicts:       5000 | #Learnt:       2379 | 0.793
205.66/205.72	c total clause space: 127.173MB
205.66/205.72	c total #watches: 2658639
231.35/231.49	c total #propagations: 7520697 / total #impl: 595636201 (eff. 0.013)
231.35/231.49	c #Conflicts:       6000 | #Learnt:       3375 | 0.715
231.35/231.49	c total clause space: 206.656MB
231.35/231.49	c total #watches: 3259692
264.13/264.27	c total #propagations: 7992815 / total #impl: 669331837 (eff. 0.012)
264.13/264.27	c GC COLLECT
264.13/264.27	c #Conflicts:       7000 | #Learnt:       2263 | 0.700
264.13/264.27	c total clause space: 206.656MB
264.13/264.27	c total #watches: 2794869
281.83/281.94	c total #propagations: 8431371 / total #impl: 756647072 (eff. 0.011)
281.83/281.94	c #Conflicts:       8000 | #Learnt:       3263 | 0.613
281.83/281.94	c total clause space: 206.656MB
281.83/281.94	c total #watches: 2981300
320.03/320.18	c total #propagations: 8521034 / total #impl: 876032245 (eff. 0.010)
320.03/320.18	c #Conflicts:       9000 | #Learnt:       4255 | 0.582
320.03/320.18	c total clause space: 206.656MB
320.03/320.18	c total #watches: 3309441
389.01/389.15	c total #propagations: 9963826 / total #impl: 1023592916 (eff. 0.010)
389.01/389.15	c GC COLLECT
389.01/389.15	c #Conflicts:      10000 | #Learnt:       2748 | 0.570
389.01/389.15	c total clause space: 206.656MB
389.01/389.15	c total #watches: 2493574
413.12/413.21	c total #propagations: 13080457 / total #impl: 1114817018 (eff. 0.012)
413.12/413.21	c #Conflicts:      11000 | #Learnt:       3745 | 0.537
413.12/413.21	c total clause space: 206.656MB
413.12/413.21	c total #watches: 3023706
480.30/480.48	c total #propagations: 13422393 / total #impl: 1170870501 (eff. 0.011)
480.30/480.48	c #Conflicts:      12000 | #Learnt:       4739 | 0.543
480.30/480.48	c total clause space: 206.656MB
480.30/480.48	c total #watches: 3520481
551.00/551.16	c total #propagations: 14280047 / total #impl: 1271849135 (eff. 0.011)
551.00/551.16	c #Conflicts:      13000 | #Learnt:       5723 | 0.568
551.00/551.16	c total clause space: 206.656MB
551.00/551.16	c total #watches: 4719502
589.18/589.30	c total #propagations: 15400017 / total #impl: 1401368720 (eff. 0.011)
589.18/589.30	c GC COLLECT
589.18/589.30	c #Conflicts:      14000 | #Learnt:       3876 | 0.534
589.18/589.30	c total clause space: 206.656MB
589.18/589.30	c total #watches: 4152108
657.57/657.72	c total #propagations: 15670496 / total #impl: 1447677945 (eff. 0.011)
657.57/657.72	c #Conflicts:      15000 | #Learnt:       4874 | 0.574
657.57/657.72	c total clause space: 206.656MB
657.57/657.72	c total #watches: 4422510
685.18/685.33	c total #propagations: 17721640 / total #impl: 1493983069 (eff. 0.012)
685.18/685.33	c #Conflicts:      16000 | #Learnt:       5874 | 0.538
685.18/685.33	c total clause space: 206.656MB
685.18/685.33	c total #watches: 4680948
729.17/729.31	c total #propagations: 17834312 / total #impl: 1527386789 (eff. 0.012)
729.17/729.31	c GC COLLECT
729.17/729.31	c #Conflicts:      17000 | #Learnt:       3705 | 0.507
729.17/729.31	c total clause space: 206.656MB
729.17/729.31	c total #watches: 3238769
796.15/796.36	c total #propagations: 19096944 / total #impl: 1628604128 (eff. 0.012)
796.15/796.36	c #Conflicts:      18000 | #Learnt:       4697 | 0.533
796.15/796.36	c total clause space: 206.656MB
796.15/796.36	c total #watches: 3709905
856.54/856.74	c total #propagations: 21812933 / total #impl: 1714451387 (eff. 0.013)
856.54/856.74	c #Conflicts:      19000 | #Learnt:       5688 | 0.537
856.54/856.74	c total clause space: 206.656MB
856.54/856.74	c total #watches: 4298970
916.14/916.32	c total #propagations: 23127433 / total #impl: 1794832951 (eff. 0.013)
916.14/916.32	c #Conflicts:      20000 | #Learnt:       6678 | 0.531
916.14/916.32	c total clause space: 206.656MB
916.14/916.32	c total #watches: 4949017
980.03/980.20	c total #propagations: 23877616 / total #impl: 1910239583 (eff. 0.012)
980.03/980.20	c GC COLLECT
980.03/980.20	c #Conflicts:      21000 | #Learnt:       4217 | 0.517
980.03/980.20	c total clause space: 206.656MB
980.03/980.21	c total #watches: 3856937
1021.83/1022.05	c total #propagations: 24996447 / total #impl: 2032196311 (eff. 0.012)
1021.83/1022.05	c #Conflicts:      22000 | #Learnt:       5214 | 0.511
1021.83/1022.05	c total clause space: 206.656MB
1021.83/1022.05	c total #watches: 4253751
1067.71/1067.94	c total #propagations: 25559272 / total #impl: 2107475889 (eff. 0.012)
1067.71/1067.94	c #Conflicts:      23000 | #Learnt:       6207 | 0.494
1067.71/1067.94	c total clause space: 335.816MB
1067.71/1067.94	c total #watches: 4635403
1235.28/1235.50	c total #propagations: 25993042 / total #impl: 2179843658 (eff. 0.012)
1235.28/1235.50	c #Conflicts:      24000 | #Learnt:       7205 | 0.477
1235.28/1235.50	c total clause space: 335.816MB
1235.28/1235.50	c total #watches: 4865501
1283.97/1284.28	c total #propagations: 27442303 / total #impl: 2307453991 (eff. 0.012)
1283.97/1284.28	c GC COLLECT
1283.97/1284.28	c #Conflicts:      25000 | #Learnt:       4439 | 0.461
1283.97/1284.28	c total clause space: 335.816MB
1283.97/1284.28	c total #watches: 3421756
1318.07/1318.35	c total #propagations: 27844232 / total #impl: 2372710580 (eff. 0.012)
1318.07/1318.35	c #Conflicts:      26000 | #Learnt:       5433 | 0.458
1318.07/1318.35	c total clause space: 335.816MB
1318.07/1318.35	c total #watches: 3557280
1330.16/1330.48	c total #propagations: 28210595 / total #impl: 2451018250 (eff. 0.012)
1330.16/1330.48	c #Conflicts:      27000 | #Learnt:       6433 | 0.441
1330.16/1330.48	c total clause space: 335.816MB
1330.16/1330.48	c total #watches: 3577422
1400.96/1401.27	c total #propagations: 28224741 / total #impl: 2458854863 (eff. 0.011)
1400.96/1401.27	c #Conflicts:      28000 | #Learnt:       7431 | 0.439
1400.96/1401.27	c total clause space: 335.816MB
1400.96/1401.27	c total #watches: 3690300
1479.85/1480.10	c total #propagations: 30602736 / total #impl: 2551993898 (eff. 0.012)
1479.85/1480.10	c GC COLLECT
1479.85/1480.10	c #Conflicts:      29000 | #Learnt:       4349 | 0.450
1479.85/1480.10	c total clause space: 335.816MB
1479.85/1480.10	c total #watches: 2794500
1508.25/1508.52	c total #propagations: 31593225 / total #impl: 2668029314 (eff. 0.012)
1508.25/1508.52	c #Conflicts:      30000 | #Learnt:       5345 | 0.442
1508.25/1508.52	c total clause space: 335.816MB
1508.25/1508.52	c total #watches: 3090209
1656.12/1656.43	c total #propagations: 32256742 / total #impl: 2754854931 (eff. 0.012)
1656.12/1656.43	c #Conflicts:      31000 | #Learnt:       6344 | 0.431
1656.12/1656.43	c total clause space: 335.816MB
1656.12/1656.43	c total #watches: 3474235
1703.51/1703.81	c total #propagations: 34927920 / total #impl: 2894595926 (eff. 0.012)
1703.51/1703.81	c #Conflicts:      32000 | #Learnt:       7341 | 0.442
1703.51/1703.81	c total clause space: 335.816MB
1703.51/1703.81	c total #watches: 3601938
1760.19/1760.56	c total #propagations: 35441648 / total #impl: 2968384475 (eff. 0.012)
1760.19/1760.56	c #Conflicts:      33000 | #Learnt:       8339 | 0.440
1760.19/1760.56	c total clause space: 335.816MB
1760.19/1760.56	c total #watches: 3784603
1792.58/1792.97	c total #propagations: 36154711 / total #impl: 3058985460 (eff. 0.012)
1792.58/1792.97	c GC COLLECT
1792.58/1792.97	c #Conflicts:      34000 | #Learnt:       4946 | 0.448
1792.58/1792.97	c total clause space: 335.816MB
1792.58/1792.97	c total #watches: 3916610

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-4100167-1466234715/watcher-4100167-1466234715 -o /tmp/evaluation-result-4100167-1466234715/solver-4100167-1466234715 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node137-1466229299-21096 --watchdog 1960 --input HOME/instance-4100167-1466234715.opb ./cdcl-cuttingplanes-opt-binarysearch-release 

pid=21899
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.35 2.28 2.25 3/176 21902
/proc/meminfo: memFree=29603704/32872528 swapFree=1499884/1696108
[pid=21902] ppid=21899 vsize=55976 CPUtime=0 cores=1,3,5,7
/proc/21902/stat : 21902 (cdcl-cuttingpla) R 21899 21902 21079 0 -1 4202496 237 0 0 0 0 0 0 0 20 0 1 0 25517294 57319424 2673 33554432000 4194304 6211289 140734809710624 140734612943320 4206551 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/21902/statm: 13994 2673 97 493 0 13491 0

[startup+0.100166 s]
/proc/loadavg: 2.35 2.28 2.25 3/176 21902
/proc/meminfo: memFree=29603704/32872528 swapFree=1499884/1696108
[pid=21902] ppid=21899 vsize=61652 CPUtime=0.08 cores=1,3,5,7
/proc/21902/stat : 21902 (cdcl-cuttingpla) R 21899 21902 21079 0 -1 4202496 2232 0 0 0 8 0 0 0 20 0 1 0 25517294 63131648 12117 33554432000 4194304 6211289 140734809710624 140734612943320 5418912 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/21902/statm: 15413 12117 121 493 0 14910 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 61652

[startup+0.200355 s]
/proc/loadavg: 2.35 2.28 2.25 3/176 21902
/proc/meminfo: memFree=29603704/32872528 swapFree=1499884/1696108
[pid=21902] ppid=21899 vsize=75332 CPUtime=0.19 cores=1,3,5,7
/proc/21902/stat : 21902 (cdcl-cuttingpla) R 21899 21902 21079 0 -1 4202496 3979 0 0 0 18 1 0 0 20 0 1 0 25517294 77139968 15262 33554432000 4194304 6211289 140734809710624 140734612943320 4228081 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/21902/statm: 18833 15264 144 493 0 18330 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 75332

[startup+0.300374 s]
/proc/loadavg: 2.35 2.28 2.25 3/176 21902
/proc/meminfo: memFree=29603704/32872528 swapFree=1499884/1696108
[pid=21902] ppid=21899 vsize=94008 CPUtime=0.28 cores=1,3,5,7
/proc/21902/stat : 21902 (cdcl-cuttingpla) R 21899 21902 21079 0 -1 4202496 6312 0 0 0 27 1 0 0 20 0 1 0 25517294 96264192 19128 33554432000 4194304 6211289 140734809710624 140734612943320 4231888 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/21902/statm: 23502 19129 144 493 0 22999 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 94008

[startup+0.700304 s]
/proc/loadavg: 2.35 2.28 2.25 3/176 21902
/proc/meminfo: memFree=29603704/32872528 swapFree=1499884/1696108
[pid=21902] ppid=21899 vsize=128068 CPUtime=0.69 cores=1,3,5,7
/proc/21902/stat : 21902 (cdcl-cuttingpla) R 21899 21902 21079 0 -1 4202496 10683 0 0 0 66 3 0 0 20 0 1 0 25517294 131141632 27928 33554432000 4194304 6211289 140734809710624 140734612943320 4259648 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/21902/statm: 32017 27928 144 493 0 31514 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 128068

[startup+1.50032 s]
/proc/loadavg: 2.35 2.28 2.25 3/177 21903
/proc/meminfo: memFree=29476748/32872528 swapFree=1499884/1696108
[pid=21902] ppid=21899 vsize=149076 CPUtime=1.48 cores=1,3,5,7
/proc/21902/stat : 21902 (cdcl-cuttingpla) R 21899 21902 21079 0 -1 4202496 12198 0 0 0 145 3 0 0 20 0 1 0 25517294 152653824 32509 33554432000 4194304 6211289 140734809710624 140734809708504 4201577 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/21902/statm: 37269 32509 203 493 0 36766 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 149076

[startup+3.1003 s]
/proc/loadavg: 2.35 2.28 2.25 3/177 21903
/proc/meminfo: memFree=29449696/32872528 swapFree=1499884/1696108
[pid=21902] ppid=21899 vsize=196532 CPUtime=3.08 cores=1,3,5,7
/proc/21902/stat : 21902 (cdcl-cuttingpla) R 21899 21902 21079 0 -1 4202496 14994 0 0 0 304 4 0 0 20 0 1 0 25517294 201248768 41923 33554432000 4194304 6211289 140734809710624 140734809708616 4202033 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/21902/statm: 49133 41923 204 493 0 48630 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 196532

[startup+6.30023 s]
/proc/loadavg: 2.32 2.28 2.25 3/177 21903
/proc/meminfo: memFree=29433504/32872528 swapFree=1499884/1696108
[pid=21902] ppid=21899 vsize=227352 CPUtime=6.28 cores=1,3,5,7
/proc/21902/stat : 21902 (cdcl-cuttingpla) R 21899 21902 21079 0 -1 4202496 15113 0 0 0 624 4 0 0 20 0 1 0 25517294 232808448 42521 33554432000 4194304 6211289 140734809710624 140734809708856 4215210 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/21902/statm: 56838 42521 204 493 0 56335 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 227352

[startup+12.7002 s]
/proc/loadavg: 2.29 2.27 2.25 4/177 21903
/proc/meminfo: memFree=29433688/32872528 swapFree=1499884/1696108
[pid=21902] ppid=21899 vsize=227352 CPUtime=12.68 cores=1,3,5,7
/proc/21902/stat : 21902 (cdcl-cuttingpla) R 21899 21902 21079 0 -1 4202496 15113 0 0 0 1264 4 0 0 20 0 1 0 25517294 232808448 42521 33554432000 4194304 6211289 140734809710624 140734809708856 4201983 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/21902/statm: 56838 42521 204 493 0 56335 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 227352

[startup+25.5003 s]
/proc/loadavg: 2.31 2.27 2.25 3/177 21903
/proc/meminfo: memFree=29434184/32872528 swapFree=1499884/1696108
[pid=21902] ppid=21899 vsize=227352 CPUtime=25.48 cores=1,3,5,7
/proc/21902/stat : 21902 (cdcl-cuttingpla) R 21899 21902 21079 0 -1 4202496 15113 0 0 0 2544 4 0 0 20 0 1 0 25517294 232808448 42521 33554432000 4194304 6211289 140734809710624 140734809708856 4215210 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/21902/statm: 56838 42521 204 493 0 56335 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 227352

[startup+51.1003 s]
/proc/loadavg: 2.35 2.28 2.25 3/177 21949
/proc/meminfo: memFree=29864864/32872528 swapFree=1499884/1696108
[pid=21902] ppid=21899 vsize=227352 CPUtime=51.07 cores=1,3,5,7
/proc/21902/stat : 21902 (cdcl-cuttingpla) R 21899 21902 21079 0 -1 4202496 15113 0 0 0 5103 4 0 0 20 0 1 0 25517294 232808448 42521 33554432000 4194304 6211289 140734809710624 140734809708856 4202003 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/21902/statm: 56838 42521 204 493 0 56335 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 227352

[startup+102.3 s]
/proc/loadavg: 2.26 2.27 2.25 3/177 21950
/proc/meminfo: memFree=29765396/32872528 swapFree=1499884/1696108
[pid=21902] ppid=21899 vsize=290444 CPUtime=102.28 cores=1,3,5,7
/proc/21902/stat : 21902 (cdcl-cuttingpla) R 21899 21902 21079 0 -1 4202496 20778 0 0 0 10221 7 0 0 20 0 1 0 25517294 297414656 58958 33554432000 4194304 6211289 140734809710624 140734809708616 4209403 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/21902/statm: 72611 58958 214 493 0 72108 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 290444

[startup+162.3 s]
/proc/loadavg: 2.21 2.25 2.24 4/177 21951
/proc/meminfo: memFree=29733344/32872528 swapFree=1499884/1696108
[pid=21902] ppid=21899 vsize=297276 CPUtime=162.26 cores=1,3,5,7
/proc/21902/stat : 21902 (cdcl-cuttingpla) R 21899 21902 21079 0 -1 4202496 22509 0 0 0 16219 7 0 0 20 0 1 0 25517294 304410624 65795 33554432000 4194304 6211289 140734809710624 140734809708616 4209507 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/21902/statm: 74319 65795 219 493 0 73816 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 297276

[startup+222.308 s]
/proc/loadavg: 2.24 2.24 2.24 3/177 21952
/proc/meminfo: memFree=29724040/32872528 swapFree=1499884/1696108
[pid=21902] ppid=21899 vsize=299896 CPUtime=222.26 cores=1,3,5,7
/proc/21902/stat : 21902 (cdcl-cuttingpla) R 21899 21902 21079 0 -1 4202496 23258 0 0 0 22218 8 0 0 20 0 1 0 25517294 307093504 67291 33554432000 4194304 6211289 140734809710624 140734809708536 4209396 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/21902/statm: 74974 67291 219 493 0 74471 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 299896

[startup+282.3 s]
/proc/loadavg: 2.22 2.24 2.24 3/177 21954
/proc/meminfo: memFree=29671492/32872528 swapFree=1499884/1696108
[pid=21902] ppid=21899 vsize=403192 CPUtime=282.23 cores=1,3,5,7
/proc/21902/stat : 21902 (cdcl-cuttingpla) R 21899 21902 21079 0 -1 4202496 29322 0 0 0 28214 9 0 0 20 0 1 0 25517294 412868608 80133 33554432000 4194304 6211289 140734809710624 140734809708536 4209388 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/21902/statm: 100798 80133 219 493 0 100295 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 403192

[startup+342.3 s]
/proc/loadavg: 2.40 2.29 2.25 3/178 21958
/proc/meminfo: memFree=29665056/32872528 swapFree=1499884/1696108
[pid=21902] ppid=21899 vsize=407100 CPUtime=342.22 cores=1,3,5,7
/proc/21902/stat : 21902 (cdcl-cuttingpla) R 21899 21902 21079 0 -1 4202496 30337 0 0 0 34213 9 0 0 20 0 1 0 25517294 416870400 81329 33554432000 4194304 6211289 140734809710624 140734809708968 4215223 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/21902/statm: 101775 81329 219 493 0 101272 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 407100

[startup+402.3 s]
/proc/loadavg: 2.40 2.29 2.26 3/177 21959
/proc/meminfo: memFree=29660116/32872528 swapFree=1499884/1696108
[pid=21902] ppid=21899 vsize=408308 CPUtime=402.22 cores=1,3,5,7
/proc/21902/stat : 21902 (cdcl-cuttingpla) R 21899 21902 21079 0 -1 4202496 30755 0 0 0 40212 10 0 0 20 0 1 0 25517294 418107392 82097 33554432000 4194304 6211289 140734809710624 140734809708616 4202009 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/21902/statm: 102077 82097 219 493 0 101574 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 408308

[startup+462.3 s]
/proc/loadavg: 2.34 2.30 2.26 3/177 21960
/proc/meminfo: memFree=29649324/32872528 swapFree=1499884/1696108
[pid=21902] ppid=21899 vsize=410776 CPUtime=462.21 cores=1,3,5,7
/proc/21902/stat : 21902 (cdcl-cuttingpla) R 21899 21902 21079 0 -1 4202496 31399 0 0 0 46211 10 0 0 20 0 1 0 25517294 420634624 82740 33554432000 4194304 6211289 140734809710624 140734809708536 4215188 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/21902/statm: 102694 82740 219 493 0 102191 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 410776

[startup+522.3 s]
/proc/loadavg: 2.34 2.30 2.26 4/177 21961
/proc/meminfo: memFree=29617724/32872528 swapFree=1499884/1696108
[pid=21902] ppid=21899 vsize=413944 CPUtime=522.2 cores=1,3,5,7
/proc/21902/stat : 21902 (cdcl-cuttingpla) R 21899 21902 21079 0 -1 4202496 32204 0 0 0 52210 10 0 0 20 0 1 0 25517294 423878656 90699 33554432000 4194304 6211289 140734809710624 140734809708616 4209396 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/21902/statm: 103486 90699 219 493 0 102983 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 413944

[startup+582.3 s]
/proc/loadavg: 2.27 2.29 2.26 3/177 21963
/proc/meminfo: memFree=29596028/32872528 swapFree=1499884/1696108
[pid=21902] ppid=21899 vsize=415676 CPUtime=582.18 cores=1,3,5,7
/proc/21902/stat : 21902 (cdcl-cuttingpla) R 21899 21902 21079 0 -1 4202496 32782 0 0 0 58208 10 0 0 20 0 1 0 25517294 425652224 95365 33554432000 4194304 6211289 140734809710624 140734809708536 4215223 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/21902/statm: 103919 95365 219 493 0 103416 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 415676


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


[startup+882.307 s]
/proc/loadavg: 2.21 2.26 2.26 4/177 21969
/proc/meminfo: memFree=29566704/32872528 swapFree=1499884/1696108
[pid=21902] ppid=21899 vsize=427436 CPUtime=882.15 cores=1,3,5,7
/proc/21902/stat : 21902 (cdcl-cuttingpla) R 21899 21902 21079 0 -1 4202496 35743 0 0 0 88203 12 0 0 20 0 1 0 25517294 437694464 98326 33554432000 4194304 6211289 140734809710624 140734809708616 4209376 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/21902/statm: 106859 98326 219 493 0 106356 0
Current children cumulated CPU time (s) 882.15
Current children cumulated vsize (KiB) 427436

[startup+942.3 s]
/proc/loadavg: 2.41 2.30 2.27 3/178 21973
/proc/meminfo: memFree=29557604/32872528 swapFree=1499884/1696108
[pid=21902] ppid=21899 vsize=429836 CPUtime=942.13 cores=1,3,5,7
/proc/21902/stat : 21902 (cdcl-cuttingpla) R 21899 21902 21079 0 -1 4202496 36279 0 0 0 94201 12 0 0 20 0 1 0 25517294 440152064 100395 33554432000 4194304 6211289 140734809710624 140734809708616 4202005 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/21902/statm: 107459 100395 219 493 0 106956 0
Current children cumulated CPU time (s) 942.13
Current children cumulated vsize (KiB) 429836

[startup+1002.3 s]
/proc/loadavg: 2.33 2.30 2.27 3/177 21974
/proc/meminfo: memFree=29547772/32872528 swapFree=1499884/1696108
[pid=21902] ppid=21899 vsize=430172 CPUtime=1002.12 cores=1,3,5,7
/proc/21902/stat : 21902 (cdcl-cuttingpla) R 21899 21902 21079 0 -1 4202496 36385 0 0 0 100200 12 0 0 20 0 1 0 25517294 440496128 100501 33554432000 4194304 6211289 140734809710624 140734809708616 4209396 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/21902/statm: 107543 100501 219 493 0 107040 0
Current children cumulated CPU time (s) 1002.12
Current children cumulated vsize (KiB) 430172

[startup+1062.3 s]
/proc/loadavg: 2.20 2.27 2.26 4/177 21975
/proc/meminfo: memFree=29527948/32872528 swapFree=1499884/1696108
[pid=21902] ppid=21899 vsize=431280 CPUtime=1062.11 cores=1,3,5,7
/proc/21902/stat : 21902 (cdcl-cuttingpla) R 21899 21902 21079 0 -1 4202496 36683 0 0 0 106199 12 0 0 20 0 1 0 25517294 441630720 101821 33554432000 4194304 6211289 140734809710624 140734809708488 4209392 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/21902/statm: 107820 101821 219 493 0 107317 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 431280

[startup+1122.3 s]
/proc/loadavg: 2.22 2.27 2.26 3/177 21976
/proc/meminfo: memFree=29495588/32872528 swapFree=1499884/1696108
[pid=21902] ppid=21899 vsize=565328 CPUtime=1122.1 cores=1,3,5,7
/proc/21902/stat : 21902 (cdcl-cuttingpla) R 21899 21902 21079 0 -1 4202496 37380 0 0 0 112196 14 0 0 20 0 1 0 25517294 578895872 105483 33554432000 4194304 6211289 140734809710624 140734809708616 4240816 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/21902/statm: 141332 105483 219 493 0 140829 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 565328

[startup+1182.3 s]
/proc/loadavg: 2.21 2.25 2.26 3/177 21978
/proc/meminfo: memFree=29481108/32872528 swapFree=1499884/1696108
[pid=21902] ppid=21899 vsize=565328 CPUtime=1182.09 cores=1,3,5,7
/proc/21902/stat : 21902 (cdcl-cuttingpla) R 21899 21902 21079 0 -1 4202496 37390 0 0 0 118195 14 0 0 20 0 1 0 25517294 578895872 107026 33554432000 4194304 6211289 140734809710624 140734809708616 4202024 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/21902/statm: 141332 107026 219 493 0 140829 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 565328

[startup+1242.3 s]
/proc/loadavg: 2.25 2.24 2.25 4/177 21979
/proc/meminfo: memFree=29470532/32872528 swapFree=1499884/1696108
[pid=21902] ppid=21899 vsize=566944 CPUtime=1242.08 cores=1,3,5,7
/proc/21902/stat : 21902 (cdcl-cuttingpla) R 21899 21902 21079 0 -1 4202496 37808 0 0 0 124194 14 0 0 20 0 1 0 25517294 580550656 109488 33554432000 4194304 6211289 140734809710624 140734809708616 4209396 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/21902/statm: 141736 109488 219 493 0 141233 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 566944

[startup+1302.3 s]
/proc/loadavg: 2.23 2.24 2.25 3/177 21980
/proc/meminfo: memFree=29461676/32872528 swapFree=1499884/1696108
[pid=21902] ppid=21899 vsize=569232 CPUtime=1302.07 cores=1,3,5,7
/proc/21902/stat : 21902 (cdcl-cuttingpla) R 21899 21902 21079 0 -1 4202496 38639 0 0 0 130193 14 0 0 20 0 1 0 25517294 582893568 111644 33554432000 4194304 6211289 140734809710624 140734809708616 4209396 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/21902/statm: 142308 111644 219 493 0 141805 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 569232

[startup+1362.3 s]
/proc/loadavg: 2.23 2.24 2.25 3/177 21981
/proc/meminfo: memFree=29459536/32872528 swapFree=1499884/1696108
[pid=21902] ppid=21899 vsize=570748 CPUtime=1362.07 cores=1,3,5,7
/proc/21902/stat : 21902 (cdcl-cuttingpla) R 21899 21902 21079 0 -1 4202496 38981 0 0 0 136192 15 0 0 20 0 1 0 25517294 584445952 111986 33554432000 4194304 6211289 140734809710624 140734809708616 4241789 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/21902/statm: 142687 111986 219 493 0 142184 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 570748

[startup+1422.3 s]
/proc/loadavg: 2.20 2.22 2.24 4/177 21982
/proc/meminfo: memFree=29459508/32872528 swapFree=1499884/1696108
[pid=21902] ppid=21899 vsize=570748 CPUtime=1422.07 cores=1,3,5,7
/proc/21902/stat : 21902 (cdcl-cuttingpla) R 21899 21902 21079 0 -1 4202496 39019 0 0 0 142192 15 0 0 20 0 1 0 25517294 584445952 112024 33554432000 4194304 6211289 140734809710624 140734809708968 4209392 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/21902/statm: 142687 112024 219 493 0 142184 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 570748

[startup+1482.3 s]
/proc/loadavg: 2.21 2.23 2.24 3/177 21984
/proc/meminfo: memFree=29458656/32872528 swapFree=1499884/1696108
[pid=21902] ppid=21899 vsize=571120 CPUtime=1482.05 cores=1,3,5,7
/proc/21902/stat : 21902 (cdcl-cuttingpla) R 21899 21902 21079 0 -1 4202496 39204 0 0 0 148190 15 0 0 20 0 1 0 25517294 584826880 112177 33554432000 4194304 6211289 140734809710624 140734809708968 4209376 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/21902/statm: 142780 112177 219 493 0 142277 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 571120

[startup+1542.31 s]
/proc/loadavg: 2.20 2.21 2.24 4/178 21988
/proc/meminfo: memFree=29457288/32872528 swapFree=1499884/1696108
[pid=21902] ppid=21899 vsize=572368 CPUtime=1542.05 cores=1,3,5,7
/proc/21902/stat : 21902 (cdcl-cuttingpla) R 21899 21902 21079 0 -1 4202496 39502 0 0 0 154190 15 0 0 20 0 1 0 25517294 586104832 112475 33554432000 4194304 6211289 140734809710624 140734809708616 4209304 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/21902/statm: 143092 112475 219 493 0 142589 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 572368

[startup+1602.3 s]
/proc/loadavg: 2.22 2.22 2.23 3/177 21989
/proc/meminfo: memFree=29456224/32872528 swapFree=1499884/1696108
[pid=21902] ppid=21899 vsize=572512 CPUtime=1602.03 cores=1,3,5,7
/proc/21902/stat : 21902 (cdcl-cuttingpla) R 21899 21902 21079 0 -1 4202496 39565 0 0 0 160188 15 0 0 20 0 1 0 25517294 586252288 112601 33554432000 4194304 6211289 140734809710624 140734809708616 4209342 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/21902/statm: 143128 112601 219 493 0 142625 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 572512

[startup+1662.3 s]
/proc/loadavg: 2.29 2.23 2.24 3/177 21990
/proc/meminfo: memFree=29454652/32872528 swapFree=1499884/1696108
[pid=21902] ppid=21899 vsize=573172 CPUtime=1662.02 cores=1,3,5,7
/proc/21902/stat : 21902 (cdcl-cuttingpla) R 21899 21902 21079 0 -1 4202496 39728 0 0 0 166187 15 0 0 20 0 1 0 25517294 586928128 112768 33554432000 4194304 6211289 140734809710624 140734809708968 4209314 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/21902/statm: 143293 112768 219 493 0 142790 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 573172

[startup+1722.3 s]
/proc/loadavg: 2.32 2.25 2.24 3/177 21991
/proc/meminfo: memFree=29453032/32872528 swapFree=1499884/1696108
[pid=21902] ppid=21899 vsize=575844 CPUtime=1722 cores=1,3,5,7
/proc/21902/stat : 21902 (cdcl-cuttingpla) R 21899 21902 21079 0 -1 4202496 40314 0 0 0 172185 15 0 0 20 0 1 0 25517294 589664256 113336 33554432000 4194304 6211289 140734809710624 140734809708616 4215176 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/21902/statm: 143961 113336 219 493 0 143458 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 575844

[startup+1782.3 s]
/proc/loadavg: 2.37 2.28 2.25 3/177 21993
/proc/meminfo: memFree=29450008/32872528 swapFree=1499884/1696108
[pid=21902] ppid=21899 vsize=578232 CPUtime=1781.99 cores=1,3,5,7
/proc/21902/stat : 21902 (cdcl-cuttingpla) R 21899 21902 21079 0 -1 4202496 40913 0 0 0 178184 15 0 0 20 0 1 0 25517294 592109568 113935 33554432000 4194304 6211289 140734809710624 140734809708616 4201983 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/21902/statm: 144558 113935 219 493 0 144055 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 578232



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.39 2.29 2.26 3/177 21993
/proc/meminfo: memFree=29449264/32872528 swapFree=1499884/1696108
[pid=21902] ppid=21899 vsize=578860 CPUtime=1800.08 cores=1,3,5,7
/proc/21902/stat : 21902 (cdcl-cuttingpla) R 21899 21902 21079 0 -1 4202496 41079 0 0 0 179993 15 0 0 20 0 1 0 25517294 592752640 114101 33554432000 4194304 6211289 140734809710624 140734809708616 4248560 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/21902/statm: 144715 114101 219 493 0 144212 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 578860

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 21902 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.4
CPU time (s): 1800.1
CPU user time (s): 1799.94
CPU system time (s): 0.161975
CPU usage (%): 99.9832
Max. virtual memory (cumulated for all children) (KiB): 578860

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.94
system time used= 0.161975
maximum resident set size= 456404
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 41079
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= 41
involuntary context switches= 1979

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.1813 second user time and 13.158 second system time

The end

Launcher Data 

Begin job on node137 at 2016-06-18 09:25:16
IDJOB=4100167
IDBENCH=1581
IDSOLVER=2549
FILE ID=node137/4100167-1466234715
RUNJOBID= node137-1466229299-21096
PBS_JOBID= 19918171
Free space on /tmp= 71696 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/milp/normalized-reduced-mps-v2-20-10-qap10.opb
COMMAND LINE= ./cdcl-cuttingplanes-opt-binarysearch-release
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4100167-1466234715/watcher-4100167-1466234715 -o /tmp/evaluation-result-4100167-1466234715/solver-4100167-1466234715 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node137-1466229299-21096 --watchdog 1960 --input HOME/instance-4100167-1466234715.opb ./cdcl-cuttingplanes-opt-binarysearch-release

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

MD5SUM BENCH= cba28129e4f6f6eef01b4dc927adb1b9
RANDOM SEED=1905757710

node137.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.486
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.97
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.486
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.486
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		: 2666.486
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.486
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.486
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.38
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.486
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.486
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:        29604612 kB
Buffers:          113768 kB
Cached:           185032 kB
SwapCached:         1268 kB
Active:           628756 kB
Inactive:         205908 kB
Active(anon):     537000 kB
Inactive(anon):     1024 kB
Active(file):      91756 kB
Inactive(file):   204884 kB
Unevictable:     1696108 kB
Mlocked:         1499884 kB
SwapTotal:      67108856 kB
SwapFree:       67100004 kB
Dirty:              6620 kB
Writeback:             0 kB
AnonPages:       2230980 kB
Mapped:             8004 kB
Shmem:                 0 kB
Slab:             604360 kB
SReclaimable:      48320 kB
SUnreclaim:       556040 kB
KernelStack:        1464 kB
PageTables:         8112 kB
NFS_Unstable:          4 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2500836 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    569344 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= 71692 MiB
End job on node137 at 2016-06-18 09:55:16