Trace number 4088304

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/area_delay/normalized-fir07_area_delay.opb
MD5SUM654b3ba852cf335035821a9e288b621f
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark16
Best CPU time to get the best result obtained on this benchmark1.19382
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 16
Optimality of the best value was proved YES
Number of variables12615
Total number of constraints51713
Number of constraints which are clauses51713
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint255
Number of terms in the objective function 6096
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 6096
Number of bits of the sum of numbers in the objective function 13
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 6096
Number of bits of the biggest sum of numbers13
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c OPTIONS:
0.00/0.00	c - Resolve (`-resolve-always' or `-resolve-skip'): -resolve-skip
0.00/0.00	c * #variable= 12615 #constraint= 51713
6.39/6.40	c #Conflicts:       1000 | #Learnt:       1000 | 0.000
6.39/6.40	c total clause space: 206.656MB
6.39/6.40	c total #watches: 3584522
29.70/29.77	c total #propagations: 639065 / total #impl: 79940891 (eff. 0.008)
29.70/29.77	c #Conflicts:       2000 | #Learnt:       2000 | 0.000
29.70/29.77	c total clause space: 335.816MB
29.70/29.77	c total #watches: 6613626
70.88/70.99	c total #propagations: 1926244 / total #impl: 338662801 (eff. 0.006)
70.88/70.99	c GC COLLECT
70.88/70.99	c #Conflicts:       3000 | #Learnt:       2009 | 0.000
70.88/70.99	c total clause space: 335.816MB
70.88/70.99	c total #watches: 5395376
190.26/190.39	c total #propagations: 3449467 / total #impl: 633025528 (eff. 0.005)
190.26/190.39	c #Conflicts:       4000 | #Learnt:       3009 | 0.000
190.26/190.39	c total clause space: 335.816MB
190.26/190.39	c total #watches: 8319991
223.66/223.73	c total #propagations: 4775566 / total #impl: 799588505 (eff. 0.006)
223.66/223.73	c GC COLLECT
223.66/223.73	c #Conflicts:       5000 | #Learnt:       2358 | 0.000
223.66/223.73	c total clause space: 545.701MB
223.66/223.73	c total #watches: 7978946
290.35/290.47	c total #propagations: 5408946 / total #impl: 839022010 (eff. 0.006)
290.35/290.47	c #Conflicts:       6000 | #Learnt:       3358 | 0.000
290.35/290.47	c total clause space: 545.701MB
290.35/290.47	c total #watches: 8261257
385.73/385.86	c total #propagations: 5966189 / total #impl: 908230623 (eff. 0.007)
385.73/385.86	c #Conflicts:       7000 | #Learnt:       4358 | 0.000
385.73/385.86	c total clause space: 545.701MB
385.73/385.86	c total #watches: 9944992
435.63/435.73	c total #propagations: 6634736 / total #impl: 1286798474 (eff. 0.005)
435.63/435.73	c GC COLLECT
435.63/435.73	c #Conflicts:       8000 | #Learnt:       3114 | 0.000
435.63/435.73	c total clause space: 545.701MB
435.63/435.73	c total #watches: 6493322
529.61/529.75	c total #propagations: 7187155 / total #impl: 1485206484 (eff. 0.005)
529.61/529.75	c #Conflicts:       9000 | #Learnt:       4114 | 0.000
529.61/529.75	c total clause space: 545.701MB
529.61/529.75	c total #watches: 7108946
901.05/901.28	c total #propagations: 7795194 / total #impl: 1531520491 (eff. 0.005)
901.05/901.28	c #Conflicts:      10000 | #Learnt:       5114 | 0.000
901.05/901.28	c total clause space: 545.701MB
901.05/901.28	c total #watches: 8863580
1260.09/1260.31	c total #propagations: 10322287 / total #impl: 2152732891 (eff. 0.005)
1260.09/1260.31	c GC COLLECT
1260.09/1260.31	c #Conflicts:      11000 | #Learnt:       3542 | 0.000
1260.09/1260.31	c total clause space: 545.701MB
1260.09/1260.31	c total #watches: 5247127
1429.17/1429.46	c total #propagations: 13211783 / total #impl: 2179808437 (eff. 0.006)
1429.17/1429.46	c #Conflicts:      12000 | #Learnt:       4542 | 0.000
1429.17/1429.46	c total clause space: 545.701MB
1429.17/1429.46	c total #watches: 6985210
1580.75/1581.03	c total #propagations: 14329550 / total #impl: 2267733547 (eff. 0.006)
1580.75/1581.03	c #Conflicts:      13000 | #Learnt:       5541 | 0.000
1580.75/1581.03	c total clause space: 545.701MB
1580.75/1581.03	c total #watches: 7352492
1673.03/1673.32	c total #propagations: 15310932 / total #impl: 2422342475 (eff. 0.006)
1673.03/1673.32	c GC COLLECT
1673.03/1673.32	c #Conflicts:      14000 | #Learnt:       3623 | 0.000
1673.03/1673.32	c total clause space: 545.701MB
1673.03/1673.32	c total #watches: 6520363
1741.03/1741.35	c total #propagations: 16392654 / total #impl: 2592970739 (eff. 0.006)
1741.03/1741.35	c #Conflicts:      15000 | #Learnt:       4623 | 0.000
1741.03/1741.35	c total clause space: 545.701MB
1741.03/1741.35	c total #watches: 9932038

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-4088304-1465432460/watcher-4088304-1465432460 -o /tmp/evaluation-result-4088304-1465432460/solver-4088304-1465432460 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node128-1465427031-29727 --watchdog 1960 --input HOME/instance-4088304-1465432460.opb ./cdcl-cuttingplanes-opt-linearsearch-release 

pid=30370
running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.01 2.02 2.00 3/176 30373
/proc/meminfo: memFree=30801688/32872528 swapFree=11320/319964
[pid=30373] ppid=30370 vsize=29112 CPUtime=0 cores=0,2,4,6
/proc/30373/stat : 30373 (cdcl-cuttingpla) R 30370 30373 29711 0 -1 4202496 278 0 0 0 0 0 0 0 20 0 1 0 125179268 29810688 5269 33554432000 4194304 6201397 140736176448160 140734476398856 4211056 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/30373/statm: 7278 5269 130 491 0 6777 0

[startup+0.100168 s]
/proc/loadavg: 2.01 2.02 2.00 3/176 30373
/proc/meminfo: memFree=30801688/32872528 swapFree=11320/319964
[pid=30373] ppid=30370 vsize=34412 CPUtime=0.09 cores=0,2,4,6
/proc/30373/stat : 30373 (cdcl-cuttingpla) R 30370 30373 29711 0 -1 4202496 614 0 0 0 9 0 0 0 20 0 1 0 125179268 35237888 7619 33554432000 4194304 6201397 140736176448160 140736176446296 4224382 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/30373/statm: 8603 7619 142 491 0 8102 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 34412

[startup+0.20037 s]
/proc/loadavg: 2.01 2.02 2.00 3/176 30373
/proc/meminfo: memFree=30801688/32872528 swapFree=11320/319964
[pid=30373] ppid=30370 vsize=42624 CPUtime=0.19 cores=0,2,4,6
/proc/30373/stat : 30373 (cdcl-cuttingpla) R 30370 30373 29711 0 -1 4202496 2567 0 0 0 19 0 0 0 20 0 1 0 125179268 43646976 8782 33554432000 4194304 6201397 140736176448160 140736176446296 5300467 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/30373/statm: 10656 8783 146 491 0 10155 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 42624

[startup+0.300323 s]
/proc/loadavg: 2.01 2.02 2.00 3/176 30373
/proc/meminfo: memFree=30801688/32872528 swapFree=11320/319964
[pid=30373] ppid=30370 vsize=65620 CPUtime=0.29 cores=0,2,4,6
/proc/30373/stat : 30373 (cdcl-cuttingpla) R 30370 30373 29711 0 -1 4202496 3804 0 0 0 29 0 0 0 20 0 1 0 125179268 67194880 12562 33554432000 4194304 6201397 140736176448160 140736176446296 4214874 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/30373/statm: 16405 12562 147 491 0 15904 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 65620

[startup+0.700267 s]
/proc/loadavg: 2.01 2.02 2.00 3/176 30373
/proc/meminfo: memFree=30801688/32872528 swapFree=11320/319964
[pid=30373] ppid=30370 vsize=92508 CPUtime=0.69 cores=0,2,4,6
/proc/30373/stat : 30373 (cdcl-cuttingpla) R 30370 30373 29711 0 -1 4202496 5953 0 0 0 68 1 0 0 20 0 1 0 125179268 94728192 19807 33554432000 4194304 6201397 140736176448160 140736176446296 4216539 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/30373/statm: 23127 19807 147 491 0 22626 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 92508

[startup+1.50026 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 30374
/proc/meminfo: memFree=30707768/32872528 swapFree=11320/319964
[pid=30373] ppid=30370 vsize=135220 CPUtime=1.49 cores=0,2,4,6
/proc/30373/stat : 30373 (cdcl-cuttingpla) R 30370 30373 29711 0 -1 4202496 9548 0 0 0 147 2 0 0 20 0 1 0 125179268 138465280 28910 33554432000 4194304 6201397 140736176448160 140736176446440 4216519 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/30373/statm: 33805 28910 147 491 0 33304 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 135220

[startup+3.10026 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 30374
/proc/meminfo: memFree=30671972/32872528 swapFree=11320/319964
[pid=30373] ppid=30370 vsize=185460 CPUtime=3.09 cores=0,2,4,6
/proc/30373/stat : 30373 (cdcl-cuttingpla) R 30370 30373 29711 0 -1 4202496 9593 0 0 0 307 2 0 0 20 0 1 0 125179268 189911040 33043 33554432000 4194304 6201397 140736176448160 140736176447192 4213253 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/30373/statm: 46365 33043 147 491 0 45864 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 185460

[startup+6.30026 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 30374
/proc/meminfo: memFree=30601004/32872528 swapFree=11320/319964
[pid=30373] ppid=30370 vsize=289912 CPUtime=6.29 cores=0,2,4,6
/proc/30373/stat : 30373 (cdcl-cuttingpla) R 30370 30373 29711 0 -1 4202496 15604 0 0 0 625 4 0 0 20 0 1 0 125179268 296869888 50746 33554432000 4194304 6201397 140736176448160 140736176446440 4216747 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/30373/statm: 72478 50746 147 491 0 71977 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 289912

[startup+12.7003 s]
/proc/loadavg: 2.01 2.02 2.00 4/177 30374
/proc/meminfo: memFree=30534676/32872528 swapFree=11320/319964
[pid=30373] ppid=30370 vsize=290344 CPUtime=12.69 cores=0,2,4,6
/proc/30373/stat : 30373 (cdcl-cuttingpla) R 30370 30373 29711 0 -1 4202496 17251 0 0 0 1264 5 0 0 20 0 1 0 125179268 297312256 62620 33554432000 4194304 6201397 140736176448160 140736176446872 4213186 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/30373/statm: 72586 62620 160 491 0 72085 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 290344

[startup+25.5004 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 30374
/proc/meminfo: memFree=30426556/32872528 swapFree=11320/319964
[pid=30373] ppid=30370 vsize=458748 CPUtime=25.49 cores=0,2,4,6
/proc/30373/stat : 30373 (cdcl-cuttingpla) R 30370 30373 29711 0 -1 4202496 26081 0 0 0 2542 7 0 0 20 0 1 0 125179268 469757952 88295 33554432000 4194304 6201397 140736176448160 140736176446872 4213268 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/30373/statm: 114687 88295 160 491 0 114186 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 458748

[startup+51.1003 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 30375
/proc/meminfo: memFree=30395528/32872528 swapFree=11320/319964
[pid=30373] ppid=30370 vsize=460392 CPUtime=51.08 cores=0,2,4,6
/proc/30373/stat : 30373 (cdcl-cuttingpla) R 30370 30373 29711 0 -1 4202496 29926 0 0 0 5101 7 0 0 20 0 1 0 125179268 471441408 93824 33554432000 4194304 6201397 140736176448160 140736176446952 4213261 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/30373/statm: 115098 93824 160 491 0 114597 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 460392

[startup+102.3 s]
/proc/loadavg: 2.07 2.03 2.00 3/177 30422
/proc/meminfo: memFree=30389396/32872528 swapFree=11320/319964
[pid=30373] ppid=30370 vsize=460584 CPUtime=102.28 cores=0,2,4,6
/proc/30373/stat : 30373 (cdcl-cuttingpla) R 30370 30373 29711 0 -1 4202496 30462 0 0 0 10221 7 0 0 20 0 1 0 125179268 471638016 94025 33554432000 4194304 6201397 140736176448160 140736176447288 4213261 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/30373/statm: 115146 94025 160 491 0 114645 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 460584

[startup+162.3 s]
/proc/loadavg: 2.07 2.03 2.00 3/177 30423
/proc/meminfo: memFree=30302440/32872528 swapFree=11320/319964
[pid=30373] ppid=30370 vsize=462280 CPUtime=162.26 cores=0,2,4,6
/proc/30373/stat : 30373 (cdcl-cuttingpla) R 30370 30373 29711 0 -1 4202496 31140 0 0 0 16218 8 0 0 20 0 1 0 125179268 473374720 103625 33554432000 4194304 6201397 140736176448160 140736176446440 4213257 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/30373/statm: 115570 103625 166 491 0 115069 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 462280

[startup+222.307 s]
/proc/loadavg: 2.10 2.04 2.00 3/177 30424
/proc/meminfo: memFree=30210304/32872528 swapFree=11320/319964
[pid=30373] ppid=30370 vsize=706820 CPUtime=222.27 cores=0,2,4,6
/proc/30373/stat : 30373 (cdcl-cuttingpla) R 30370 30373 29711 0 -1 4202496 37442 0 0 0 22217 10 0 0 20 0 1 0 125179268 723783680 121212 33554432000 4194304 6201397 140736176448160 140736176446872 4213240 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/30373/statm: 176705 121212 166 491 0 176204 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 706820

[startup+282.3 s]
/proc/loadavg: 2.11 2.05 2.00 3/177 30425
/proc/meminfo: memFree=30196400/32872528 swapFree=11320/319964
[pid=30373] ppid=30370 vsize=706788 CPUtime=282.25 cores=0,2,4,6
/proc/30373/stat : 30373 (cdcl-cuttingpla) R 30370 30373 29711 0 -1 4202496 38151 0 0 0 28215 10 0 0 20 0 1 0 125179268 723750912 121259 33554432000 4194304 6201397 140736176448160 140736176446792 4213261 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/30373/statm: 176697 121259 166 491 0 176196 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 706788

[startup+342.3 s]
/proc/loadavg: 2.16 2.07 2.01 3/178 30429
/proc/meminfo: memFree=30160004/32872528 swapFree=11320/319964
[pid=30373] ppid=30370 vsize=707140 CPUtime=342.24 cores=0,2,4,6
/proc/30373/stat : 30373 (cdcl-cuttingpla) R 30370 30373 29711 0 -1 4202496 39081 0 0 0 34213 11 0 0 20 0 1 0 125179268 724111360 128672 33554432000 4194304 6201397 140736176448160 140736176447112 4213240 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/30373/statm: 176785 128672 166 491 0 176284 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 707140

[startup+402.3 s]
/proc/loadavg: 2.17 2.08 2.01 3/177 30431
/proc/meminfo: memFree=30036532/32872528 swapFree=11320/319964
[pid=30373] ppid=30370 vsize=707608 CPUtime=402.23 cores=0,2,4,6
/proc/30373/stat : 30373 (cdcl-cuttingpla) R 30370 30373 29711 0 -1 4202496 49556 0 0 0 40209 14 0 0 20 0 1 0 125179268 724590592 158320 33554432000 4194304 6201397 140736176448160 140736176447112 4213240 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/30373/statm: 176902 158320 166 491 0 176401 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 707608

[startup+462.3 s]
/proc/loadavg: 2.11 2.08 2.01 3/177 30432
/proc/meminfo: memFree=30024808/32872528 swapFree=11320/319964
[pid=30373] ppid=30370 vsize=707576 CPUtime=462.22 cores=0,2,4,6
/proc/30373/stat : 30373 (cdcl-cuttingpla) R 30370 30373 29711 0 -1 4202496 49651 0 0 0 46208 14 0 0 20 0 1 0 125179268 724557824 158402 33554432000 4194304 6201397 140736176448160 140736176447288 4213240 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/30373/statm: 176894 158402 166 491 0 176393 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 707576

[startup+522.3 s]
/proc/loadavg: 2.04 2.06 2.01 3/177 30433
/proc/meminfo: memFree=29997736/32872528 swapFree=11320/319964
[pid=30373] ppid=30370 vsize=707572 CPUtime=522.21 cores=0,2,4,6
/proc/30373/stat : 30373 (cdcl-cuttingpla) R 30370 30373 29711 0 -1 4202496 49683 0 0 0 52207 14 0 0 20 0 1 0 125179268 724553728 158401 33554432000 4194304 6201397 140736176448160 140736176446792 4213253 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/30373/statm: 176893 158401 166 491 0 176392 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 707572

[startup+582.3 s]
/proc/loadavg: 2.01 2.05 2.00 3/177 30434
/proc/meminfo: memFree=29983248/32872528 swapFree=11320/319964
[pid=30373] ppid=30370 vsize=708596 CPUtime=582.2 cores=0,2,4,6
/proc/30373/stat : 30373 (cdcl-cuttingpla) R 30370 30373 29711 0 -1 4202496 50465 0 0 0 58206 14 0 0 20 0 1 0 125179268 725602304 158767 33554432000 4194304 6201397 140736176448160 140736176446440 4213253 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/30373/statm: 177149 158767 166 491 0 176648 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 708596


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


[startup+942.3 s]
/proc/loadavg: 2.06 2.06 2.01 3/178 30444
/proc/meminfo: memFree=29938900/32872528 swapFree=11320/319964
[pid=30373] ppid=30370 vsize=709308 CPUtime=942.14 cores=0,2,4,6
/proc/30373/stat : 30373 (cdcl-cuttingpla) R 30370 30373 29711 0 -1 4202496 54242 0 0 0 94199 15 0 0 20 0 1 0 125179268 726331392 160447 33554432000 4194304 6201397 140736176448160 140736176446440 4213268 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/30373/statm: 177327 160447 166 491 0 176826 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 709308

[startup+1002.3 s]
/proc/loadavg: 2.11 2.07 2.01 3/177 30446
/proc/meminfo: memFree=29935116/32872528 swapFree=11320/319964
[pid=30373] ppid=30370 vsize=709440 CPUtime=1002.13 cores=0,2,4,6
/proc/30373/stat : 30373 (cdcl-cuttingpla) R 30370 30373 29711 0 -1 4202496 54256 0 0 0 100198 15 0 0 20 0 1 0 125179268 726466560 160461 33554432000 4194304 6201397 140736176448160 140736176446872 4213261 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/30373/statm: 177360 160461 166 491 0 176859 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 709440

[startup+1062.3 s]
/proc/loadavg: 2.08 2.07 2.01 3/178 30448
/proc/meminfo: memFree=29934748/32872528 swapFree=11320/319964
[pid=30373] ppid=30370 vsize=709440 CPUtime=1062.12 cores=0,2,4,6
/proc/30373/stat : 30373 (cdcl-cuttingpla) R 30370 30373 29711 0 -1 4202496 54258 0 0 0 106197 15 0 0 20 0 1 0 125179268 726466560 160463 33554432000 4194304 6201397 140736176448160 140736176446872 4213261 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/30373/statm: 177360 160463 166 491 0 176859 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 709440

[startup+1122.3 s]
/proc/loadavg: 2.09 2.07 2.01 3/177 30449
/proc/meminfo: memFree=29934504/32872528 swapFree=11320/319964
[pid=30373] ppid=30370 vsize=709440 CPUtime=1122.11 cores=0,2,4,6
/proc/30373/stat : 30373 (cdcl-cuttingpla) R 30370 30373 29711 0 -1 4202496 54258 0 0 0 112196 15 0 0 20 0 1 0 125179268 726466560 160463 33554432000 4194304 6201397 140736176448160 140736176446872 4213170 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/30373/statm: 177360 160463 166 491 0 176859 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 709440

[startup+1182.3 s]
/proc/loadavg: 2.03 2.06 2.00 3/177 30450
/proc/meminfo: memFree=29934252/32872528 swapFree=11320/319964
[pid=30373] ppid=30370 vsize=709440 CPUtime=1182.1 cores=0,2,4,6
/proc/30373/stat : 30373 (cdcl-cuttingpla) R 30370 30373 29711 0 -1 4202496 54278 0 0 0 118195 15 0 0 20 0 1 0 125179268 726466560 160483 33554432000 4194304 6201397 140736176448160 140736176446872 4213261 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/30373/statm: 177360 160483 166 491 0 176859 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 709440

[startup+1242.3 s]
/proc/loadavg: 2.10 2.07 2.01 3/177 30451
/proc/meminfo: memFree=29933876/32872528 swapFree=11320/319964
[pid=30373] ppid=30370 vsize=709720 CPUtime=1242.1 cores=0,2,4,6
/proc/30373/stat : 30373 (cdcl-cuttingpla) R 30370 30373 29711 0 -1 4202496 54321 0 0 0 124195 15 0 0 20 0 1 0 125179268 726753280 160526 33554432000 4194304 6201397 140736176448160 140736176446872 4213261 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/30373/statm: 177430 160526 166 491 0 176929 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 709720

[startup+1302.3 s]
/proc/loadavg: 2.03 2.06 2.00 3/177 30453
/proc/meminfo: memFree=29926620/32872528 swapFree=11320/319964
[pid=30373] ppid=30370 vsize=709720 CPUtime=1302.09 cores=0,2,4,6
/proc/30373/stat : 30373 (cdcl-cuttingpla) R 30370 30373 29711 0 -1 4202496 54344 0 0 0 130194 15 0 0 20 0 1 0 125179268 726753280 160549 33554432000 4194304 6201397 140736176448160 140736176447288 4213253 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/30373/statm: 177430 160549 166 491 0 176929 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 709720

[startup+1362.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/177 30454
/proc/meminfo: memFree=29919980/32872528 swapFree=11320/319964
[pid=30373] ppid=30370 vsize=709672 CPUtime=1362.08 cores=0,2,4,6
/proc/30373/stat : 30373 (cdcl-cuttingpla) R 30370 30373 29711 0 -1 4202496 54565 0 0 0 136193 15 0 0 20 0 1 0 125179268 726704128 160546 33554432000 4194304 6201397 140736176448160 140736176447112 4213261 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/30373/statm: 177418 160546 166 491 0 176917 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 709672

[startup+1422.3 s]
/proc/loadavg: 2.03 2.05 2.00 4/177 30455
/proc/meminfo: memFree=29920348/32872528 swapFree=11320/319964
[pid=30373] ppid=30370 vsize=709972 CPUtime=1422.08 cores=0,2,4,6
/proc/30373/stat : 30373 (cdcl-cuttingpla) R 30370 30373 29711 0 -1 4202496 54825 0 0 0 142192 16 0 0 20 0 1 0 125179268 727011328 160610 33554432000 4194304 6201397 140736176448160 140736176446440 4240276 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/30373/statm: 177493 160610 166 491 0 176992 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 709972

[startup+1482.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/177 30456
/proc/meminfo: memFree=29919860/32872528 swapFree=11320/319964
[pid=30373] ppid=30370 vsize=710092 CPUtime=1482.06 cores=0,2,4,6
/proc/30373/stat : 30373 (cdcl-cuttingpla) R 30370 30373 29711 0 -1 4202496 55668 0 0 0 148190 16 0 0 20 0 1 0 125179268 727134208 160622 33554432000 4194304 6201397 140736176448160 140736176446872 4213257 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/30373/statm: 177523 160622 166 491 0 177022 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 710092

[startup+1542.31 s]
/proc/loadavg: 2.12 2.06 2.01 3/178 30460
/proc/meminfo: memFree=29918596/32872528 swapFree=11320/319964
[pid=30373] ppid=30370 vsize=710084 CPUtime=1542.06 cores=0,2,4,6
/proc/30373/stat : 30373 (cdcl-cuttingpla) R 30370 30373 29711 0 -1 4202496 55699 0 0 0 154190 16 0 0 20 0 1 0 125179268 727126016 160647 33554432000 4194304 6201397 140736176448160 140736176447112 4213261 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/30373/statm: 177521 160647 166 491 0 177020 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 710084

[startup+1602.3 s]
/proc/loadavg: 2.04 2.05 2.00 3/179 30485
/proc/meminfo: memFree=29917152/32872528 swapFree=11320/319964
[pid=30373] ppid=30370 vsize=710084 CPUtime=1602.05 cores=0,2,4,6
/proc/30373/stat : 30373 (cdcl-cuttingpla) R 30370 30373 29711 0 -1 4202496 55700 0 0 0 160189 16 0 0 20 0 1 0 125179268 727126016 160648 33554432000 4194304 6201397 140736176448160 140736176447288 4213268 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/30373/statm: 177521 160648 166 491 0 177020 0
Current children cumulated CPU time (s) 1602.05
Current children cumulated vsize (KiB) 710084

[startup+1662.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/178 30486
/proc/meminfo: memFree=29918452/32872528 swapFree=11320/319964
[pid=30373] ppid=30370 vsize=710264 CPUtime=1662.04 cores=0,2,4,6
/proc/30373/stat : 30373 (cdcl-cuttingpla) R 30370 30373 29711 0 -1 4202496 56535 0 0 0 166188 16 0 0 20 0 1 0 125179268 727310336 160737 33554432000 4194304 6201397 140736176448160 140736176446440 4213168 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/30373/statm: 177566 160737 166 491 0 177065 0
Current children cumulated CPU time (s) 1662.04
Current children cumulated vsize (KiB) 710264

[startup+1722.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/178 30487
/proc/meminfo: memFree=29917576/32872528 swapFree=11320/319964
[pid=30373] ppid=30370 vsize=711036 CPUtime=1722.03 cores=0,2,4,6
/proc/30373/stat : 30373 (cdcl-cuttingpla) R 30370 30373 29711 0 -1 4202496 57279 0 0 0 172187 16 0 0 20 0 1 0 125179268 728100864 160921 33554432000 4194304 6201397 140736176448160 140736176446872 4213257 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/30373/statm: 177759 160921 166 491 0 177258 0
Current children cumulated CPU time (s) 1722.03
Current children cumulated vsize (KiB) 711036

[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/178 30488
/proc/meminfo: memFree=29883224/32872528 swapFree=11320/319964
[pid=30373] ppid=30370 vsize=763448 CPUtime=1782.02 cores=0,2,4,6
/proc/30373/stat : 30373 (cdcl-cuttingpla) R 30370 30373 29711 0 -1 4202496 65782 0 0 0 178185 17 0 0 20 0 1 0 125179268 781770752 169393 33554432000 4194304 6201397 140736176448160 140736176446872 4213192 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/30373/statm: 190862 169393 166 491 0 190361 0
Current children cumulated CPU time (s) 1782.02
Current children cumulated vsize (KiB) 763448



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/178 30488
/proc/meminfo: memFree=29882356/32872528 swapFree=11320/319964
[pid=30373] ppid=30370 vsize=764728 CPUtime=1800.01 cores=0,2,4,6
/proc/30373/stat : 30373 (cdcl-cuttingpla) R 30370 30373 29711 0 -1 4202496 66019 0 0 0 179984 17 0 0 20 0 1 0 125179268 783081472 169630 33554432000 4194304 6201397 140736176448160 140736176446872 4213168 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/30373/statm: 191182 169630 166 491 0 190681 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 764728

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

[startup+1800.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/178 30488
/proc/meminfo: memFree=29882356/32872528 swapFree=11320/319964
[pid=30373] ppid=30370 vsize=764728 CPUtime=1800.01 cores=0,2,4,6
/proc/30373/stat : 30373 (cdcl-cuttingpla) R 30370 30373 29711 0 -1 4202496 66019 0 0 0 179984 17 0 0 20 0 1 0 125179268 783081472 169630 33554432000 4194304 6201397 140736176448160 140736176446872 4213168 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/30373/statm: 191182 169630 166 491 0 190681 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 764728

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.3
CPU time (s): 1800.03
CPU user time (s): 1799.85
CPU system time (s): 0.182972
CPU usage (%): 99.9847
Max. virtual memory (cumulated for all children) (KiB): 764728

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.85
system time used= 0.182972
maximum resident set size= 678520
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 66019
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= 8
involuntary context switches= 1854

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.2156 second user time and 7.80281 second system time

The end

Launcher Data 

Begin job on node128 at 2016-06-09 02:34:20
IDJOB=4088304
IDBENCH=25008
IDSOLVER=2550
FILE ID=node128/4088304-1465432460
RUNJOBID= node128-1465427031-29727
PBS_JOBID= 19859784
Free space on /tmp= 71744 MiB

SOLVER NAME= cdcl-cuttingplanes OPT linear search 2016-05-01
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_delay/normalized-fir07_area_delay.opb
COMMAND LINE= ./cdcl-cuttingplanes-opt-linearsearch-release
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4088304-1465432460/watcher-4088304-1465432460 -o /tmp/evaluation-result-4088304-1465432460/solver-4088304-1465432460 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node128-1465427031-29727 --watchdog 1960 --input HOME/instance-4088304-1465432460.opb ./cdcl-cuttingplanes-opt-linearsearch-release

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

MD5SUM BENCH= 654b3ba852cf335035821a9e288b621f
RANDOM SEED=153522250

node128.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.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.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.56
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.54
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.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.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.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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30801844 kB
Buffers:          186600 kB
Cached:           755704 kB
SwapCached:         1660 kB
Active:           262192 kB
Inactive:         731364 kB
Active(anon):      51448 kB
Inactive(anon):     2136 kB
Active(file):     210744 kB
Inactive(file):   729228 kB
Unevictable:      319964 kB
Mlocked:           11320 kB
SwapTotal:      67108856 kB
SwapFree:       67098544 kB
Dirty:              6528 kB
Writeback:             0 kB
AnonPages:        421796 kB
Mapped:             8040 kB
Shmem:                 0 kB
Slab:             626200 kB
SReclaimable:      69164 kB
SUnreclaim:       557036 kB
KernelStack:        1472 kB
PageTables:         4696 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     490324 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    395264 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= 71740 MiB
End job on node128 at 2016-06-09 03:04:20