Trace number 4088544

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

General information on the benchmark

Name/OPT-SMALLINT-LIN/sroussel/BA/
normalized-BA_RDC4.dot_luby_0null20mast_rapportOE2.0_TMAX120_K67_cod2.opb
MD5SUM9437b3e9d1ce9c682b2f5f71866292ee
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-2832
Best CPU time to get the best result obtained on this benchmark1800.09
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables40937
Total number of constraints41436
Number of constraints which are clauses40882
Number of constraints which are cardinality constraints (but not clauses)67
Number of constraints which are nor clauses,nor cardinality constraints487
Minimum length of a constraint1
Maximum length of a constraint8416
Number of terms in the objective function 486
Biggest coefficient in the objective function 256
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 26273
Number of bits of the sum of numbers in the objective function 15
Biggest number in a constraint 256
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 26273
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.00	c * #variable= 40937 #constraint= 41436
4.40/4.43	c #Conflicts:       1000 | #Learnt:       1000 | 0.000
4.40/4.43	c total clause space: 48.1602MB
4.40/4.49	c total #watches: 815014
17.69/17.75	c total #propagations: 796340 / total #impl: 34822984 (eff. 0.023)
17.69/17.75	c #Conflicts:       2000 | #Learnt:       2013 | 0.009
17.69/17.75	c total clause space: 78.2603MB
17.69/17.75	c total #watches: 1468033
34.87/34.93	c total #propagations: 1833272 / total #impl: 98521159 (eff. 0.019)
34.87/34.93	c GC COLLECT
34.87/34.93	c #Conflicts:       3000 | #Learnt:       2041 | 0.010
34.87/34.93	c total clause space: 127.173MB
34.87/34.93	c total #watches: 2092489
71.26/71.35	c total #propagations: 2523625 / total #impl: 172599217 (eff. 0.015)
71.26/71.35	c #Conflicts:       4000 | #Learnt:       3054 | 0.020
71.26/71.35	c total clause space: 206.656MB
71.26/71.35	c total #watches: 3222002
104.26/104.32	c total #propagations: 3719070 / total #impl: 263293616 (eff. 0.014)
104.26/104.32	c GC COLLECT
104.26/104.32	c #Conflicts:       5000 | #Learnt:       2419 | 0.016
104.26/104.32	c total clause space: 206.656MB
104.26/104.32	c total #watches: 2755245
201.14/201.21	c total #propagations: 4758048 / total #impl: 325124677 (eff. 0.015)
201.14/201.21	c #Conflicts:       6000 | #Learnt:       3486 | 0.292
201.14/201.21	c total clause space: 206.656MB
201.14/201.21	c total #watches: 3773129
268.23/268.40	c total #propagations: 7877338 / total #impl: 470356920 (eff. 0.017)
268.23/268.40	c GC COLLECT
268.23/268.40	c #Conflicts:       7000 | #Learnt:       2401 | 2.689
268.23/268.40	c total clause space: 206.656MB
268.23/268.40	c total #watches: 2246803
329.51/329.64	c total #propagations: 7983117 / total #impl: 503903618 (eff. 0.016)
329.51/329.64	c #Conflicts:       8000 | #Learnt:       3401 | 5.816
329.51/329.64	c total clause space: 206.656MB
329.51/329.64	c total #watches: 2464368
359.11/359.20	c total #propagations: 8063014 / total #impl: 537944550 (eff. 0.015)
359.11/359.20	c #Conflicts:       9000 | #Learnt:       4401 | 5.695
359.11/359.20	c total clause space: 206.656MB
359.11/359.20	c total #watches: 2543546
384.10/384.26	c total #propagations: 8513499 / total #impl: 549270743 (eff. 0.015)
384.10/384.26	c GC COLLECT
384.10/384.26	c #Conflicts:      10000 | #Learnt:       2923 | 5.393
384.10/384.26	c total clause space: 206.656MB
384.10/384.26	c total #watches: 1319543
393.20/393.39	c total #propagations: 9017391 / total #impl: 562694893 (eff. 0.016)
393.20/393.39	c #Conflicts:      11000 | #Learnt:       3923 | 5.161
393.20/393.39	c total clause space: 206.656MB
393.20/393.39	c total #watches: 1417816
401.11/401.28	c total #propagations: 9224191 / total #impl: 569789974 (eff. 0.016)
401.11/401.28	c #Conflicts:      12000 | #Learnt:       4923 | 5.168
401.11/401.28	c total clause space: 206.656MB
401.11/401.28	c total #watches: 1554049
435.40/435.54	c total #propagations: 10524727 / total #impl: 574973563 (eff. 0.018)
435.40/435.54	c #Conflicts:      13000 | #Learnt:       5922 | 6.826
435.40/435.54	c total clause space: 206.656MB
435.40/435.54	c total #watches: 1943326
462.20/462.38	c total #propagations: 11070795 / total #impl: 604666876 (eff. 0.018)
462.20/462.38	c GC COLLECT
462.20/462.38	c #Conflicts:      14000 | #Learnt:       4088 | 8.783
462.20/462.38	c total clause space: 206.656MB
462.20/462.38	c total #watches: 1594156
491.89/492.01	c total #propagations: 11436727 / total #impl: 648230000 (eff. 0.018)
491.89/492.01	c #Conflicts:      15000 | #Learnt:       5088 | 10.093
491.89/492.01	c total clause space: 206.656MB
491.89/492.01	c total #watches: 2148972
522.39/522.60	c total #propagations: 11718356 / total #impl: 718500839 (eff. 0.016)
522.39/522.60	c #Conflicts:      16000 | #Learnt:       6088 | 10.860
522.39/522.60	c total clause space: 206.656MB
522.39/522.60	c total #watches: 2561932
551.49/551.60	c total #propagations: 11942010 / total #impl: 768490096 (eff. 0.016)
551.49/551.60	c GC COLLECT
551.49/551.60	c #Conflicts:      17000 | #Learnt:       3912 | 11.728
551.49/551.60	c total clause space: 206.656MB
551.49/551.60	c total #watches: 1986648
589.59/589.77	c total #propagations: 12272001 / total #impl: 813483445 (eff. 0.015)
589.59/589.77	c #Conflicts:      18000 | #Learnt:       4912 | 13.947
589.59/589.77	c total clause space: 206.656MB
589.59/589.77	c total #watches: 2362512
630.87/631.00	c total #propagations: 12544832 / total #impl: 879492071 (eff. 0.014)
630.87/631.00	c #Conflicts:      19000 | #Learnt:       5912 | 15.691
630.87/631.00	c total clause space: 206.656MB
630.87/631.00	c total #watches: 2526021
670.36/670.52	c total #propagations: 12803850 / total #impl: 930596500 (eff. 0.014)
670.36/670.52	c #Conflicts:      20000 | #Learnt:       6912 | 16.994
670.36/670.52	c total clause space: 206.656MB
670.36/670.52	c total #watches: 2603128
692.56/692.72	c total #propagations: 13283872 / total #impl: 964090386 (eff. 0.014)
692.56/692.72	c GC COLLECT
692.56/692.72	c #Conflicts:      21000 | #Learnt:       4433 | 17.135
692.56/692.72	c total clause space: 206.656MB
692.56/692.72	c total #watches: 1702554
713.25/713.41	c total #propagations: 13716584 / total #impl: 996281114 (eff. 0.014)
713.25/713.41	c #Conflicts:      22000 | #Learnt:       5434 | 17.151
713.25/713.41	c total clause space: 206.656MB
713.25/713.41	c total #watches: 2216589
739.85/740.09	c total #propagations: 14038478 / total #impl: 1035422035 (eff. 0.014)
739.85/740.09	c #Conflicts:      23000 | #Learnt:       6434 | 17.009
739.85/740.09	c total clause space: 206.656MB
739.85/740.09	c total #watches: 2869913
762.16/762.35	c total #propagations: 14438760 / total #impl: 1142544802 (eff. 0.013)
762.16/762.35	c #Conflicts:      24000 | #Learnt:       7434 | 16.766
762.16/762.35	c total clause space: 206.656MB
762.16/762.35	c total #watches: 3085061
785.94/786.12	c total #propagations: 14689515 / total #impl: 1296252810 (eff. 0.011)
785.94/786.12	c GC COLLECT
785.94/786.12	c #Conflicts:      25000 | #Learnt:       4640 | 16.222
785.94/786.12	c total clause space: 206.656MB
785.94/786.12	c total #watches: 2325589
822.94/823.14	c total #propagations: 15055759 / total #impl: 1436178682 (eff. 0.010)
822.94/823.14	c #Conflicts:      26000 | #Learnt:       5639 | 16.714
822.94/823.14	c total clause space: 206.656MB
822.94/823.14	c total #watches: 3369354
846.24/846.45	c total #propagations: 15347187 / total #impl: 1486892576 (eff. 0.010)
846.24/846.45	c #Conflicts:      27000 | #Learnt:       6639 | 17.071
846.24/846.45	c total clause space: 335.816MB
846.24/846.45	c total #watches: 6006567
951.52/951.74	c total #propagations: 15411135 / total #impl: 1641661087 (eff. 0.009)
951.52/951.74	c #Conflicts:      28000 | #Learnt:       7639 | 17.343
951.52/951.74	c total clause space: 545.701MB
951.52/951.74	c total #watches: 8284401
1082.90/1083.14	c total #propagations: 15719682 / total #impl: 2142850893 (eff. 0.007)
1082.90/1083.14	c GC COLLECT
1082.90/1083.14	c #Conflicts:      29000 | #Learnt:       4542 | 17.426
1082.90/1083.14	c total clause space: 545.701MB
1082.90/1083.14	c total #watches: 5602728
1202.48/1202.76	c total #propagations: 16105499 / total #impl: 2195901602 (eff. 0.007)
1202.48/1202.76	c #Conflicts:      30000 | #Learnt:       5542 | 17.892
1202.48/1202.76	c total clause space: 545.701MB
1202.48/1202.76	c total #watches: 6793714
1341.96/1342.26	c total #propagations: 16389939 / total #impl: 2229343228 (eff. 0.007)
1341.96/1342.26	c #Conflicts:      31000 | #Learnt:       6542 | 18.278
1341.96/1342.26	c total clause space: 545.701MB
1341.96/1342.26	c total #watches: 7007291
1492.24/1492.59	c total #propagations: 16644071 / total #impl: 2273780022 (eff. 0.007)
1492.24/1492.59	c #Conflicts:      32000 | #Learnt:       7543 | 18.398
1492.24/1492.59	c total clause space: 545.701MB
1492.24/1492.59	c total #watches: 7224094
1649.01/1649.35	c total #propagations: 17077227 / total #impl: 2304281199 (eff. 0.007)
1649.01/1649.35	c #Conflicts:      33000 | #Learnt:       8547 | 18.406
1649.01/1649.35	c total clause space: 545.701MB
1649.01/1649.35	c total #watches: 7768898

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-4088544-1465441005/watcher-4088544-1465441005 -o /tmp/evaluation-result-4088544-1465441005/solver-4088544-1465441005 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node114-1465427060-31327 --watchdog 1960 --input HOME/instance-4088544-1465441005.opb ./cdcl-cuttingplanes-opt-linearsearch-release 

pid=1574
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.11 2.11 2.09 3/176 1577
/proc/meminfo: memFree=29836708/32872528 swapFree=12208/1156848
[pid=1577] ppid=1574 vsize=29112 CPUtime=0 cores=1,3,5,7
/proc/1577/stat : 1577 (cdcl-cuttingpla) R 1574 1577 31310 0 -1 4202496 229 0 0 0 0 0 0 0 20 0 1 0 126035058 29810688 1644 33554432000 4194304 6201397 140736392891696 140735383471464 4202511 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/1577/statm: 7278 1644 92 491 0 6777 0

[startup+0.100116 s]
/proc/loadavg: 2.11 2.11 2.09 3/176 1577
/proc/meminfo: memFree=29836708/32872528 swapFree=12208/1156848
[pid=1577] ppid=1574 vsize=34440 CPUtime=0.08 cores=1,3,5,7
/proc/1577/stat : 1577 (cdcl-cuttingpla) R 1574 1577 31310 0 -1 4202496 1277 0 0 0 8 0 0 0 20 0 1 0 126035058 35266560 7469 33554432000 4194304 6201397 140736392891696 140735383471464 5408672 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/1577/statm: 8610 7470 141 491 0 8109 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 34440

[startup+0.200375 s]
/proc/loadavg: 2.11 2.11 2.09 3/176 1577
/proc/meminfo: memFree=29836708/32872528 swapFree=12208/1156848
[pid=1577] ppid=1574 vsize=42764 CPUtime=0.18 cores=1,3,5,7
/proc/1577/stat : 1577 (cdcl-cuttingpla) R 1574 1577 31310 0 -1 4202496 2592 0 0 0 18 0 0 0 20 0 1 0 126035058 43790336 8811 33554432000 4194304 6201397 140736392891696 140736392889832 4207438 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/1577/statm: 10691 8811 142 491 0 10190 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 42764

[startup+0.300347 s]
/proc/loadavg: 2.11 2.11 2.09 3/176 1577
/proc/meminfo: memFree=29836708/32872528 swapFree=12208/1156848
[pid=1577] ppid=1574 vsize=44904 CPUtime=0.29 cores=1,3,5,7
/proc/1577/stat : 1577 (cdcl-cuttingpla) R 1574 1577 31310 0 -1 4202496 3390 0 0 0 28 1 0 0 20 0 1 0 126035058 45981696 9975 33554432000 4194304 6201397 140736392891696 140736392889832 4215817 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/1577/statm: 11226 9975 147 491 0 10725 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 44904

[startup+0.700298 s]
/proc/loadavg: 2.11 2.11 2.09 3/176 1577
/proc/meminfo: memFree=29836708/32872528 swapFree=12208/1156848
[pid=1577] ppid=1574 vsize=52752 CPUtime=0.69 cores=1,3,5,7
/proc/1577/stat : 1577 (cdcl-cuttingpla) R 1574 1577 31310 0 -1 4202496 4189 0 0 0 68 1 0 0 20 0 1 0 126035058 54018048 10393 33554432000 4194304 6201397 140736392891696 140736392889832 4214919 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/1577/statm: 13188 10393 147 491 0 12687 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 52752

[startup+1.5003 s]
/proc/loadavg: 2.11 2.11 2.09 3/177 1578
/proc/meminfo: memFree=29792872/32872528 swapFree=12208/1156848
[pid=1577] ppid=1574 vsize=66764 CPUtime=1.48 cores=1,3,5,7
/proc/1577/stat : 1577 (cdcl-cuttingpla) R 1574 1577 31310 0 -1 4202496 6462 0 0 0 147 1 0 0 20 0 1 0 126035058 68366336 12715 33554432000 4194304 6201397 140736392891696 140736392889976 4215851 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/1577/statm: 16691 12715 147 491 0 16190 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 66764

[startup+3.10033 s]
/proc/loadavg: 2.10 2.11 2.09 3/177 1578
/proc/meminfo: memFree=29780836/32872528 swapFree=12208/1156848
[pid=1577] ppid=1574 vsize=70660 CPUtime=3.08 cores=1,3,5,7
/proc/1577/stat : 1577 (cdcl-cuttingpla) R 1574 1577 31310 0 -1 4202496 8500 0 0 0 306 2 0 0 20 0 1 0 126035058 72355840 15706 33554432000 4194304 6201397 140736392891696 140736392890488 4213186 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/1577/statm: 17665 15706 147 491 0 17164 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 70660

[startup+6.30031 s]
/proc/loadavg: 2.10 2.11 2.09 3/177 1578
/proc/meminfo: memFree=29764212/32872528 swapFree=12208/1156848
[pid=1577] ppid=1574 vsize=91100 CPUtime=6.28 cores=1,3,5,7
/proc/1577/stat : 1577 (cdcl-cuttingpla) R 1574 1577 31310 0 -1 4202496 11055 0 0 0 625 3 0 0 20 0 1 0 126035058 93286400 18847 33554432000 4194304 6201397 140736392891696 140736392889976 4213261 0 0 4096 8388610 0 0 0 17 1 0 0 0 0 0
/proc/1577/statm: 22775 18847 160 491 0 22274 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 91100

[startup+12.7003 s]
/proc/loadavg: 2.08 2.10 2.09 3/177 1578
/proc/meminfo: memFree=29741404/32872528 swapFree=12208/1156848
[pid=1577] ppid=1574 vsize=127024 CPUtime=12.68 cores=1,3,5,7
/proc/1577/stat : 1577 (cdcl-cuttingpla) R 1574 1577 31310 0 -1 4202496 12928 0 0 0 1265 3 0 0 20 0 1 0 126035058 130072576 23913 33554432000 4194304 6201397 140736392891696 140736392889976 4213253 0 0 4096 8388610 0 0 0 17 1 0 0 0 0 0
/proc/1577/statm: 31756 23913 160 491 0 31255 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 127024

[startup+25.5004 s]
/proc/loadavg: 2.07 2.10 2.09 4/177 1578
/proc/meminfo: memFree=29714972/32872528 swapFree=12208/1156848
[pid=1577] ppid=1574 vsize=134616 CPUtime=25.47 cores=1,3,5,7
/proc/1577/stat : 1577 (cdcl-cuttingpla) R 1574 1577 31310 0 -1 4202496 17261 0 0 0 2543 4 0 0 20 0 1 0 126035058 137846784 30617 33554432000 4194304 6201397 140736392891696 140736392890408 4213253 0 0 4096 8388610 0 0 0 17 1 0 0 0 0 0
/proc/1577/statm: 33654 30617 166 491 0 33153 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 134616

[startup+51.1004 s]
/proc/loadavg: 2.10 2.11 2.09 4/177 1578
/proc/meminfo: memFree=29660680/32872528 swapFree=12208/1156848
[pid=1577] ppid=1574 vsize=191268 CPUtime=51.07 cores=1,3,5,7
/proc/1577/stat : 1577 (cdcl-cuttingpla) R 1574 1577 31310 0 -1 4202496 19223 0 0 0 5102 5 0 0 20 0 1 0 126035058 195858432 44170 33554432000 4194304 6201397 140736392891696 140736392890408 4213261 0 0 4096 8388610 0 0 0 17 1 0 0 0 0 0
/proc/1577/statm: 47817 44170 166 491 0 47316 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 191268

[startup+102.3 s]
/proc/loadavg: 2.10 2.10 2.09 3/177 1579
/proc/meminfo: memFree=29623044/32872528 swapFree=12208/1156848
[pid=1577] ppid=1574 vsize=287164 CPUtime=102.26 cores=1,3,5,7
/proc/1577/stat : 1577 (cdcl-cuttingpla) R 1574 1577 31310 0 -1 4202496 23995 0 0 0 10220 6 0 0 20 0 1 0 126035058 294055936 53385 33554432000 4194304 6201397 140736392891696 140736392889976 4213240 0 0 4096 8388610 0 0 0 17 1 0 0 0 0 0
/proc/1577/statm: 71791 53385 166 491 0 71290 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 287164

[startup+162.3 s]
/proc/loadavg: 2.07 2.10 2.09 4/177 1580
/proc/meminfo: memFree=29616776/32872528 swapFree=12208/1156848
[pid=1577] ppid=1574 vsize=291872 CPUtime=162.25 cores=1,3,5,7
/proc/1577/stat : 1577 (cdcl-cuttingpla) R 1574 1577 31310 0 -1 4202496 26364 0 0 0 16218 7 0 0 20 0 1 0 126035058 298876928 54683 33554432000 4194304 6201397 140736392891696 140736392890328 4213253 0 0 4096 8388610 0 0 0 17 1 0 0 0 0 0
/proc/1577/statm: 72968 54683 166 491 0 72467 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 291872

[startup+222.308 s]
/proc/loadavg: 2.08 2.09 2.09 3/178 1585
/proc/meminfo: memFree=29593436/32872528 swapFree=12208/1156848
[pid=1577] ppid=1574 vsize=292448 CPUtime=222.24 cores=1,3,5,7
/proc/1577/stat : 1577 (cdcl-cuttingpla) R 1574 1577 31310 0 -1 4202496 26945 0 0 0 22217 7 0 0 20 0 1 0 126035058 299466752 60466 33554432000 4194304 6201397 140736392891696 140736392890648 4213253 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/1577/statm: 73112 60466 166 491 0 72611 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 292448

[startup+282.3 s]
/proc/loadavg: 2.16 2.12 2.09 3/178 1614
/proc/meminfo: memFree=29586380/32872528 swapFree=12208/1156848
[pid=1577] ppid=1574 vsize=293136 CPUtime=282.22 cores=1,3,5,7
/proc/1577/stat : 1577 (cdcl-cuttingpla) R 1574 1577 31310 0 -1 4202496 27419 0 0 0 28215 7 0 0 20 0 1 0 126035058 300171264 62179 33554432000 4194304 6201397 140736392891696 140736392890152 4213178 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/1577/statm: 73284 62179 166 491 0 72783 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 293136

[startup+342.3 s]
/proc/loadavg: 2.17 2.13 2.10 3/177 1615
/proc/meminfo: memFree=29584364/32872528 swapFree=12208/1156848
[pid=1577] ppid=1574 vsize=295140 CPUtime=342.21 cores=1,3,5,7
/proc/1577/stat : 1577 (cdcl-cuttingpla) R 1574 1577 31310 0 -1 4202496 28238 0 0 0 34214 7 0 0 20 0 1 0 126035058 302223360 62724 33554432000 4194304 6201397 140736392891696 140736392890312 4213268 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/1577/statm: 73785 62724 166 491 0 73284 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 295140

[startup+402.3 s]
/proc/loadavg: 2.18 2.14 2.10 3/177 1616
/proc/meminfo: memFree=29582288/32872528 swapFree=12208/1156848
[pid=1577] ppid=1574 vsize=296708 CPUtime=402.21 cores=1,3,5,7
/proc/1577/stat : 1577 (cdcl-cuttingpla) R 1574 1577 31310 0 -1 4202496 29075 0 0 0 40213 8 0 0 20 0 1 0 126035058 303828992 63236 33554432000 4194304 6201397 140736392891696 140736392890824 4213268 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/1577/statm: 74177 63236 166 491 0 73676 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 296708

[startup+462.3 s]
/proc/loadavg: 2.33 2.20 2.12 3/177 1617
/proc/meminfo: memFree=29581548/32872528 swapFree=12208/1156848
[pid=1577] ppid=1574 vsize=297024 CPUtime=462.2 cores=1,3,5,7
/proc/1577/stat : 1577 (cdcl-cuttingpla) R 1574 1577 31310 0 -1 4202496 29440 0 0 0 46212 8 0 0 20 0 1 0 126035058 304152576 63315 33554432000 4194304 6201397 140736392891696 140736392889976 4213186 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/1577/statm: 74256 63315 166 491 0 73755 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 297024

[startup+522.3 s]
/proc/loadavg: 2.18 2.18 2.11 3/177 1667
/proc/meminfo: memFree=29602800/32872528 swapFree=12208/1156848
[pid=1577] ppid=1574 vsize=297860 CPUtime=522.18 cores=1,3,5,7
/proc/1577/stat : 1577 (cdcl-cuttingpla) R 1574 1577 31310 0 -1 4202496 30143 0 0 0 52210 8 0 0 20 0 1 0 126035058 305008640 63571 33554432000 4194304 6201397 140736392891696 140736392890152 4213186 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/1577/statm: 74465 63571 166 491 0 73964 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 297860

[startup+582.3 s]
/proc/loadavg: 2.13 2.17 2.11 3/177 1668
/proc/meminfo: memFree=29508316/32872528 swapFree=12208/1156848
[pid=1577] ppid=1574 vsize=298856 CPUtime=582.18 cores=1,3,5,7
/proc/1577/stat : 1577 (cdcl-cuttingpla) R 1574 1577 31310 0 -1 4202496 30570 0 0 0 58209 9 0 0 20 0 1 0 126035058 306028544 63804 33554432000 4194304 6201397 140736392891696 140736392889976 4213186 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/1577/statm: 74714 63804 166 491 0 74213 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 298856


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


[startup+882.308 s]
/proc/loadavg: 2.17 2.15 2.10 4/177 1677
/proc/meminfo: memFree=28828380/32872528 swapFree=12208/1156848
[pid=1577] ppid=1574 vsize=489684 CPUtime=882.14 cores=1,3,5,7
/proc/1577/stat : 1577 (cdcl-cuttingpla) R 1574 1577 31310 0 -1 4202496 45329 0 0 0 88200 14 0 0 20 0 1 0 126035058 501436416 115300 33554432000 4194304 6201397 140736392891696 140736392889976 4213257 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/1577/statm: 122421 115300 166 491 0 121920 0
Current children cumulated CPU time (s) 882.14
Current children cumulated vsize (KiB) 489684

[startup+942.3 s]
/proc/loadavg: 2.28 2.18 2.11 3/177 1678
/proc/meminfo: memFree=28702452/32872528 swapFree=12208/1156848
[pid=1577] ppid=1574 vsize=705172 CPUtime=942.12 cores=1,3,5,7
/proc/1577/stat : 1577 (cdcl-cuttingpla) R 1574 1577 31310 0 -1 4202496 46094 0 0 0 94197 15 0 0 20 0 1 0 126035058 722096128 120588 33554432000 4194304 6201397 140736392891696 140736392890152 4213249 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/1577/statm: 176293 120588 166 491 0 175792 0
Current children cumulated CPU time (s) 942.12
Current children cumulated vsize (KiB) 705172

[startup+1002.3 s]
/proc/loadavg: 2.26 2.19 2.11 3/177 1679
/proc/meminfo: memFree=28685816/32872528 swapFree=12208/1156848
[pid=1577] ppid=1574 vsize=706160 CPUtime=1002.11 cores=1,3,5,7
/proc/1577/stat : 1577 (cdcl-cuttingpla) R 1574 1577 31310 0 -1 4202496 46529 0 0 0 100195 16 0 0 20 0 1 0 126035058 723107840 121855 33554432000 4194304 6201397 140736392891696 140736392890312 4213240 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/1577/statm: 176540 121855 166 491 0 176039 0
Current children cumulated CPU time (s) 1002.11
Current children cumulated vsize (KiB) 706160

[startup+1062.3 s]
/proc/loadavg: 2.23 2.19 2.11 3/177 1680
/proc/meminfo: memFree=28659864/32872528 swapFree=12208/1156848
[pid=1577] ppid=1574 vsize=706444 CPUtime=1062.1 cores=1,3,5,7
/proc/1577/stat : 1577 (cdcl-cuttingpla) R 1574 1577 31310 0 -1 4202496 46877 0 0 0 106194 16 0 0 20 0 1 0 126035058 723398656 126756 33554432000 4194304 6201397 140736392891696 140736392890152 4213257 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/1577/statm: 176611 126756 166 491 0 176110 0
Current children cumulated CPU time (s) 1062.1
Current children cumulated vsize (KiB) 706444

[startup+1122.3 s]
/proc/loadavg: 2.18 2.18 2.11 3/177 1682
/proc/meminfo: memFree=28644832/32872528 swapFree=12208/1156848
[pid=1577] ppid=1574 vsize=706764 CPUtime=1122.09 cores=1,3,5,7
/proc/1577/stat : 1577 (cdcl-cuttingpla) R 1574 1577 31310 0 -1 4202496 47752 0 0 0 112193 16 0 0 20 0 1 0 126035058 723726336 129834 33554432000 4194304 6201397 140736392891696 140736392890824 4213240 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/1577/statm: 176691 129834 166 491 0 176190 0
Current children cumulated CPU time (s) 1122.09
Current children cumulated vsize (KiB) 706764

[startup+1182.3 s]
/proc/loadavg: 2.24 2.19 2.12 3/177 1683
/proc/meminfo: memFree=28635780/32872528 swapFree=12208/1156848
[pid=1577] ppid=1574 vsize=706764 CPUtime=1182.08 cores=1,3,5,7
/proc/1577/stat : 1577 (cdcl-cuttingpla) R 1574 1577 31310 0 -1 4202496 47752 0 0 0 118192 16 0 0 20 0 1 0 126035058 723726336 129834 33554432000 4194304 6201397 140736392891696 140736392890824 4213268 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/1577/statm: 176691 129834 166 491 0 176190 0
Current children cumulated CPU time (s) 1182.08
Current children cumulated vsize (KiB) 706764

[startup+1242.3 s]
/proc/loadavg: 2.18 2.18 2.11 4/177 1684
/proc/meminfo: memFree=28581528/32872528 swapFree=12208/1156848
[pid=1577] ppid=1574 vsize=706764 CPUtime=1242.07 cores=1,3,5,7
/proc/1577/stat : 1577 (cdcl-cuttingpla) R 1574 1577 31310 0 -1 4202496 47760 0 0 0 124191 16 0 0 20 0 1 0 126035058 723726336 130304 33554432000 4194304 6201397 140736392891696 140736392890824 4213240 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/1577/statm: 176691 130304 166 491 0 176190 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 706764

[startup+1302.3 s]
/proc/loadavg: 2.19 2.18 2.11 3/177 1685
/proc/meminfo: memFree=28563808/32872528 swapFree=12208/1156848
[pid=1577] ppid=1574 vsize=706972 CPUtime=1302.07 cores=1,3,5,7
/proc/1577/stat : 1577 (cdcl-cuttingpla) R 1574 1577 31310 0 -1 4202496 47918 0 0 0 130190 17 0 0 20 0 1 0 126035058 723939328 130500 33554432000 4194304 6201397 140736392891696 140736392890152 4213186 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/1577/statm: 176743 130500 166 491 0 176242 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 706972

[startup+1362.3 s]
/proc/loadavg: 2.22 2.19 2.12 4/177 1686
/proc/meminfo: memFree=28506148/32872528 swapFree=12208/1156848
[pid=1577] ppid=1574 vsize=707356 CPUtime=1362.05 cores=1,3,5,7
/proc/1577/stat : 1577 (cdcl-cuttingpla) R 1574 1577 31310 0 -1 4202496 48082 0 0 0 136188 17 0 0 20 0 1 0 126035058 724332544 130596 33554432000 4194304 6201397 140736392891696 140736392890824 4213261 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/1577/statm: 176839 130596 166 491 0 176338 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 707356

[startup+1422.3 s]
/proc/loadavg: 2.12 2.16 2.11 3/178 1691
/proc/meminfo: memFree=28479880/32872528 swapFree=12208/1156848
[pid=1577] ppid=1574 vsize=707900 CPUtime=1422.06 cores=1,3,5,7
/proc/1577/stat : 1577 (cdcl-cuttingpla) R 1574 1577 31310 0 -1 4202496 48350 0 0 0 142188 18 0 0 20 0 1 0 126035058 724889600 130718 33554432000 4194304 6201397 140736392891696 140736392890152 4213257 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/1577/statm: 176975 130718 166 491 0 176474 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 707900

[startup+1482.3 s]
/proc/loadavg: 2.16 2.17 2.11 3/177 1692
/proc/meminfo: memFree=28432960/32872528 swapFree=12208/1156848
[pid=1577] ppid=1574 vsize=708028 CPUtime=1482.04 cores=1,3,5,7
/proc/1577/stat : 1577 (cdcl-cuttingpla) R 1574 1577 31310 0 -1 4202496 48667 0 0 0 148186 18 0 0 20 0 1 0 126035058 725020672 130750 33554432000 4194304 6201397 140736392891696 140736392890152 4213192 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/1577/statm: 177007 130750 166 491 0 176506 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 708028

[startup+1542.31 s]
/proc/loadavg: 2.15 2.16 2.11 3/177 1693
/proc/meminfo: memFree=28409148/32872528 swapFree=12208/1156848
[pid=1577] ppid=1574 vsize=709212 CPUtime=1542.04 cores=1,3,5,7
/proc/1577/stat : 1577 (cdcl-cuttingpla) R 1574 1577 31310 0 -1 4202496 48917 0 0 0 154186 18 0 0 20 0 1 0 126035058 726233088 130984 33554432000 4194304 6201397 140736392891696 140736392890408 4213240 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/1577/statm: 177303 130984 166 491 0 176802 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 709212

[startup+1602.3 s]
/proc/loadavg: 2.24 2.18 2.11 3/177 1694
/proc/meminfo: memFree=28396748/32872528 swapFree=12208/1156848
[pid=1577] ppid=1574 vsize=709212 CPUtime=1602.02 cores=1,3,5,7
/proc/1577/stat : 1577 (cdcl-cuttingpla) R 1574 1577 31310 0 -1 4202496 49183 0 0 0 160184 18 0 0 20 0 1 0 126035058 726233088 131010 33554432000 4194304 6201397 140736392891696 140736392890152 4213261 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/1577/statm: 177303 131010 166 491 0 176802 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 709212

[startup+1662.3 s]
/proc/loadavg: 2.33 2.20 2.12 3/177 1695
/proc/meminfo: memFree=28361956/32872528 swapFree=12208/1156848
[pid=1577] ppid=1574 vsize=709212 CPUtime=1662.01 cores=1,3,5,7
/proc/1577/stat : 1577 (cdcl-cuttingpla) R 1574 1577 31310 0 -1 4202496 49437 0 0 0 166182 19 0 0 20 0 1 0 126035058 726233088 131010 33554432000 4194304 6201397 140736392891696 140736392890152 4213240 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/1577/statm: 177303 131010 166 491 0 176802 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 709212

[startup+1722.3 s]
/proc/loadavg: 2.26 2.20 2.12 3/176 1696
/proc/meminfo: memFree=28336636/32872528 swapFree=12208/1156848
[pid=1577] ppid=1574 vsize=709212 CPUtime=1722 cores=1,3,5,7
/proc/1577/stat : 1577 (cdcl-cuttingpla) R 1574 1577 31310 0 -1 4202496 49653 0 0 0 172180 20 0 0 20 0 1 0 126035058 726233088 131010 33554432000 4194304 6201397 140736392891696 140736392890152 4213268 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/1577/statm: 177303 131010 166 491 0 176802 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 709212

[startup+1782.3 s]
/proc/loadavg: 2.13 2.17 2.12 4/177 1698
/proc/meminfo: memFree=28326012/32872528 swapFree=12208/1156848
[pid=1577] ppid=1574 vsize=709212 CPUtime=1782 cores=1,3,5,7
/proc/1577/stat : 1577 (cdcl-cuttingpla) R 1574 1577 31310 0 -1 4202496 49694 0 0 0 178180 20 0 0 20 0 1 0 126035058 726233088 131011 33554432000 4194304 6201397 140736392891696 140736392890152 4213261 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/1577/statm: 177303 131011 166 491 0 176802 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 709212



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.17 2.18 2.12 3/177 1699
/proc/meminfo: memFree=28325392/32872528 swapFree=12208/1156848
[pid=1577] ppid=1574 vsize=709276 CPUtime=1800.09 cores=1,3,5,7
/proc/1577/stat : 1577 (cdcl-cuttingpla) R 1574 1577 31310 0 -1 4202496 49790 0 0 0 179989 20 0 0 20 0 1 0 126035058 726298624 131027 33554432000 4194304 6201397 140736392891696 140736392890152 4213268 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/1577/statm: 177319 131027 166 491 0 176818 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 709276

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 1577 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.9
CPU system time (s): 0.204968
CPU usage (%): 99.9832
Max. virtual memory (cumulated for all children) (KiB): 709404

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.9
system time used= 0.204968
maximum resident set size= 524116
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49790
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= 10
involuntary context switches= 2522

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.00809 second user time and 8.90165 second system time

The end

Launcher Data 

Begin job on node114 at 2016-06-09 04:56:45
IDJOB=4088544
IDBENCH=90325
IDSOLVER=2550
FILE ID=node114/4088544-1465441005
RUNJOBID= node114-1465427060-31327
PBS_JOBID= 19859793
Free space on /tmp= 71732 MiB

SOLVER NAME= cdcl-cuttingplanes OPT linear search 2016-05-01
BENCH NAME= PB12/normalized-PB12/OPT-SMALLINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_luby_0null20mast_rapportOE2.0_TMAX120_K67_cod2.opb
COMMAND LINE= ./cdcl-cuttingplanes-opt-linearsearch-release
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4088544-1465441005/watcher-4088544-1465441005 -o /tmp/evaluation-result-4088544-1465441005/solver-4088544-1465441005 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node114-1465427060-31327 --watchdog 1960 --input HOME/instance-4088544-1465441005.opb ./cdcl-cuttingplanes-opt-linearsearch-release

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

MD5SUM BENCH= 9437b3e9d1ce9c682b2f5f71866292ee
RANDOM SEED=178122624

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.852
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.54
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.852
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:        29837352 kB
Buffers:          151388 kB
Cached:           790084 kB
SwapCached:         1644 kB
Active:           478024 kB
Inactive:         657028 kB
Active(anon):     193128 kB
Inactive(anon):     2920 kB
Active(file):     284896 kB
Inactive(file):   654108 kB
Unevictable:     1156848 kB
Mlocked:           12208 kB
SwapTotal:      67108856 kB
SwapFree:       67096776 kB
Dirty:              5100 kB
Writeback:             0 kB
AnonPages:       1403268 kB
Mapped:             7640 kB
Shmem:                 0 kB
Slab:             611332 kB
SReclaimable:      55092 kB
SUnreclaim:       556240 kB
KernelStack:        1472 kB
PageTables:         6212 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1530440 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1378304 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= 71728 MiB
End job on node114 at 2016-06-09 05:26:45