Trace number 4088335

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/decomp/normalized-matrix_5x3_8.opb
MD5SUMa6271c60ac3da107dd19024b50d39967
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark18
Best CPU time to get the best result obtained on this benchmark4.24335
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 18
Optimality of the best value was proved YES
Number of variables4318
Total number of constraints15120
Number of constraints which are clauses15112
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints7
Minimum length of a constraint1
Maximum length of a constraint490
Number of terms in the objective function 490
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 490
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 28
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 518
Number of bits of the biggest sum of numbers10
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= 4318 #constraint= 15120
0.69/0.70	c #Conflicts:       1000 | #Learnt:        999 | 0.000
0.69/0.70	c total clause space: 18.2382MB
0.69/0.70	c total #watches: 178515
3.30/3.38	c total #propagations: 428974 / total #impl: 21618194 (eff. 0.020)
3.30/3.38	c #Conflicts:       2000 | #Learnt:       1999 | 0.000
3.30/3.38	c total clause space: 29.637MB
3.30/3.38	c total #watches: 282166
6.99/7.05	c total #propagations: 1092672 / total #impl: 61166492 (eff. 0.018)
6.99/7.05	c GC COLLECT
6.99/7.05	c #Conflicts:       3000 | #Learnt:       2004 | 0.000
6.99/7.05	c total clause space: 29.637MB
6.99/7.05	c total #watches: 274210
13.38/13.42	c total #propagations: 1458434 / total #impl: 107324994 (eff. 0.014)
13.38/13.42	c #Conflicts:       4000 | #Learnt:       3004 | 0.000
13.38/13.42	c total clause space: 48.1602MB
13.38/13.42	c total #watches: 359661
21.08/21.17	c total #propagations: 1979633 / total #impl: 167235905 (eff. 0.012)
21.08/21.17	c GC COLLECT
21.08/21.17	c #Conflicts:       5000 | #Learnt:       2361 | 0.000
21.08/21.17	c total clause space: 48.1602MB
21.08/21.17	c total #watches: 307939
27.18/27.26	c total #propagations: 2529432 / total #impl: 268910143 (eff. 0.009)
27.18/27.26	c #Conflicts:       6000 | #Learnt:       3361 | 0.000
27.18/27.26	c total clause space: 48.1602MB
27.18/27.26	c total #watches: 399317
37.40/37.46	c total #propagations: 3084846 / total #impl: 320433811 (eff. 0.010)
37.40/37.46	c GC COLLECT
37.40/37.46	c #Conflicts:       7000 | #Learnt:       2239 | 0.000
37.40/37.46	c total clause space: 48.1602MB
37.40/37.46	c total #watches: 352586
47.29/47.36	c total #propagations: 3555286 / total #impl: 443900132 (eff. 0.008)
47.29/47.36	c #Conflicts:       8000 | #Learnt:       3239 | 0.000
47.29/47.36	c total clause space: 48.1602MB
47.29/47.36	c total #watches: 453907
65.28/65.30	c total #propagations: 4007994 / total #impl: 519263392 (eff. 0.008)
65.28/65.30	c #Conflicts:       9000 | #Learnt:       4239 | 0.000
65.28/65.30	c total clause space: 78.2603MB
65.28/65.30	c total #watches: 554740
85.48/85.53	c total #propagations: 4545835 / total #impl: 637736735 (eff. 0.007)
85.48/85.53	c GC COLLECT
85.48/85.53	c #Conflicts:      10000 | #Learnt:       2723 | 0.000
85.48/85.53	c total clause space: 127.173MB
85.48/85.53	c total #watches: 486732
114.27/114.38	c total #propagations: 5058537 / total #impl: 693862826 (eff. 0.007)
114.27/114.38	c #Conflicts:      11000 | #Learnt:       3723 | 0.000
114.27/114.38	c total clause space: 127.173MB
114.27/114.38	c total #watches: 567337
133.77/133.86	c total #propagations: 5709962 / total #impl: 768714544 (eff. 0.007)
133.77/133.86	c #Conflicts:      12000 | #Learnt:       4723 | 0.000
133.77/133.86	c total clause space: 127.173MB
133.77/133.86	c total #watches: 679770
157.38/157.42	c total #propagations: 6134607 / total #impl: 815912672 (eff. 0.008)
157.38/157.42	c #Conflicts:      13000 | #Learnt:       5723 | 0.000
157.38/157.42	c total clause space: 127.173MB
157.38/157.42	c total #watches: 827810
187.77/187.81	c total #propagations: 6482729 / total #impl: 871364564 (eff. 0.007)
187.77/187.81	c GC COLLECT
187.77/187.81	c #Conflicts:      14000 | #Learnt:       3865 | 0.000
187.77/187.81	c total clause space: 127.173MB
187.77/187.81	c total #watches: 693434
251.25/251.34	c total #propagations: 6980105 / total #impl: 920350003 (eff. 0.008)
251.25/251.34	c #Conflicts:      15000 | #Learnt:       4865 | 0.000
251.25/251.34	c total clause space: 127.173MB
251.25/251.34	c total #watches: 860561
291.46/291.56	c total #propagations: 7688688 / total #impl: 1072981149 (eff. 0.007)
291.46/291.56	c #Conflicts:      16000 | #Learnt:       5865 | 0.000
291.46/291.56	c total clause space: 127.173MB
291.46/291.56	c total #watches: 905430
335.45/335.59	c total #propagations: 8207287 / total #impl: 1134383185 (eff. 0.007)
335.45/335.59	c GC COLLECT
335.45/335.59	c #Conflicts:      17000 | #Learnt:       3687 | 0.000
335.45/335.59	c total clause space: 127.173MB
335.45/335.59	c total #watches: 597666
374.04/374.15	c total #propagations: 8781367 / total #impl: 1256961914 (eff. 0.007)
374.04/374.15	c #Conflicts:      18000 | #Learnt:       4687 | 0.000
374.04/374.15	c total clause space: 127.173MB
374.04/374.15	c total #watches: 666141
403.13/403.25	c total #propagations: 9407301 / total #impl: 1294904091 (eff. 0.007)
403.13/403.25	c #Conflicts:      19000 | #Learnt:       5687 | 0.000
403.13/403.25	c total clause space: 127.173MB
403.13/403.25	c total #watches: 785720
451.42/451.55	c total #propagations: 9897322 / total #impl: 1358982428 (eff. 0.007)
451.42/451.55	c #Conflicts:      20000 | #Learnt:       6687 | 0.000
451.42/451.55	c total clause space: 206.656MB
451.42/451.55	c total #watches: 888627
489.01/489.18	c total #propagations: 10405796 / total #impl: 1453415886 (eff. 0.007)
489.01/489.18	c GC COLLECT
489.01/489.18	c #Conflicts:      21000 | #Learnt:       4197 | 0.000
489.01/489.18	c total clause space: 206.656MB
489.01/489.18	c total #watches: 622938
518.91/519.04	c total #propagations: 10915224 / total #impl: 1595380353 (eff. 0.007)
518.91/519.04	c #Conflicts:      22000 | #Learnt:       5197 | 0.000
518.91/519.04	c total clause space: 206.656MB
518.91/519.04	c total #watches: 733884
569.20/569.31	c total #propagations: 11334992 / total #impl: 1635871706 (eff. 0.007)
569.20/569.31	c #Conflicts:      23000 | #Learnt:       6197 | 0.000
569.20/569.31	c total clause space: 206.656MB
569.20/569.31	c total #watches: 830057
646.89/647.04	c total #propagations: 11894438 / total #impl: 1704090144 (eff. 0.007)
646.89/647.04	c #Conflicts:      24000 | #Learnt:       7197 | 0.000
646.89/647.04	c total clause space: 206.656MB
646.89/647.04	c total #watches: 899604
691.28/691.43	c total #propagations: 12714187 / total #impl: 1737745232 (eff. 0.007)
691.28/691.43	c GC COLLECT
691.28/691.43	c #Conflicts:      25000 | #Learnt:       4395 | 0.000
691.28/691.43	c total clause space: 206.656MB
691.28/691.43	c total #watches: 664334
719.19/719.36	c total #propagations: 13344461 / total #impl: 1806631058 (eff. 0.007)
719.19/719.36	c #Conflicts:      26000 | #Learnt:       5395 | 0.000
719.19/719.36	c total clause space: 206.656MB
719.19/719.36	c total #watches: 749332
765.59/765.74	c total #propagations: 13827573 / total #impl: 1863711999 (eff. 0.007)
765.59/765.74	c #Conflicts:      27000 | #Learnt:       6395 | 0.000
765.59/765.74	c total clause space: 206.656MB
765.59/765.74	c total #watches: 882624
859.96/860.13	c total #propagations: 14385348 / total #impl: 1931110654 (eff. 0.007)
859.96/860.13	c #Conflicts:      28000 | #Learnt:       7395 | 0.000
859.96/860.13	c total clause space: 206.656MB
859.96/860.13	c total #watches: 1007136
977.74/977.95	c total #propagations: 15078792 / total #impl: 2050969266 (eff. 0.007)
977.74/977.95	c GC COLLECT
977.74/977.95	c #Conflicts:      29000 | #Learnt:       4309 | 0.000
977.74/977.95	c total clause space: 206.656MB
977.74/977.95	c total #watches: 631149
1039.63/1039.89	c total #propagations: 15939623 / total #impl: 2227446786 (eff. 0.007)
1039.63/1039.89	c #Conflicts:      30000 | #Learnt:       5309 | 0.000
1039.63/1039.89	c total clause space: 206.656MB
1039.63/1039.89	c total #watches: 698751
1079.42/1079.68	c total #propagations: 16595220 / total #impl: 2320986629 (eff. 0.007)
1079.42/1079.68	c #Conflicts:      31000 | #Learnt:       6309 | 0.000
1079.42/1079.68	c total clause space: 206.656MB
1079.42/1079.68	c total #watches: 838763
1135.81/1136.05	c total #propagations: 17053865 / total #impl: 2437994375 (eff. 0.007)
1135.81/1136.05	c #Conflicts:      32000 | #Learnt:       7309 | 0.000
1135.81/1136.05	c total clause space: 206.656MB
1135.81/1136.05	c total #watches: 972888
1247.70/1247.92	c total #propagations: 17485444 / total #impl: 2526698480 (eff. 0.007)
1247.70/1247.92	c #Conflicts:      33000 | #Learnt:       8309 | 0.000
1247.70/1247.92	c total clause space: 206.656MB
1247.70/1247.92	c total #watches: 1064475
1409.97/1410.23	c total #propagations: 18217821 / total #impl: 2651550100 (eff. 0.007)
1409.97/1410.23	c GC COLLECT
1409.97/1410.23	c #Conflicts:      34000 | #Learnt:       4904 | 0.000
1409.97/1410.23	c total clause space: 335.816MB
1409.97/1410.23	c total #watches: 762956
1465.36/1465.62	c total #propagations: 18870685 / total #impl: 2853886919 (eff. 0.007)
1465.36/1465.62	c #Conflicts:      35000 | #Learnt:       5904 | 0.000
1465.36/1465.62	c total clause space: 335.816MB
1465.36/1465.62	c total #watches: 867724
1607.65/1607.92	c total #propagations: 19378489 / total #impl: 2892854041 (eff. 0.007)
1607.65/1607.92	c #Conflicts:      36000 | #Learnt:       6904 | 0.000
1607.65/1607.92	c total clause space: 335.816MB
1607.65/1607.92	c total #watches: 1014361
1758.02/1758.38	c total #propagations: 19987850 / total #impl: 3029579559 (eff. 0.007)
1758.02/1758.38	c #Conflicts:      37000 | #Learnt:       7904 | 0.000
1758.02/1758.38	c total clause space: 335.816MB
1758.02/1758.38	c total #watches: 1165032

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-4088335-1465434212/watcher-4088335-1465434212 -o /tmp/evaluation-result-4088335-1465434212/solver-4088335-1465434212 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node140-1465427006-30427 --watchdog 1960 --input HOME/instance-4088335-1465434212.opb ./cdcl-cuttingplanes-opt-linearsearch-release 

pid=31029
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: 1.98 2.18 2.17 2/171 31032
/proc/meminfo: memFree=29840908/32872528 swapFree=16636/1570076
[pid=31032] ppid=31029 vsize=29112 CPUtime=0 cores=0,2,4,6
/proc/31032/stat : 31032 (cdcl-cuttingpla) R 31029 31032 30411 0 -1 4202496 277 0 0 0 0 0 0 0 20 0 1 0 125353576 29810688 5268 33554432000 4194304 6201397 140733323998672 140733562421704 4211056 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/31032/statm: 7278 5268 130 491 0 6777 0

[startup+0.100169 s]
/proc/loadavg: 1.98 2.18 2.17 2/171 31032
/proc/meminfo: memFree=29840908/32872528 swapFree=16636/1570076
[pid=31032] ppid=31029 vsize=37652 CPUtime=0.09 cores=0,2,4,6
/proc/31032/stat : 31032 (cdcl-cuttingpla) R 31029 31032 30411 0 -1 4202496 1235 0 0 0 9 0 0 0 20 0 1 0 125353576 38555648 8056 33554432000 4194304 6201397 140733323998672 140733562421704 4213240 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/31032/statm: 9413 8056 146 491 0 8912 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 37652

[startup+0.200351 s]
/proc/loadavg: 1.98 2.18 2.17 2/171 31032
/proc/meminfo: memFree=29840908/32872528 swapFree=16636/1570076
[pid=31032] ppid=31029 vsize=37784 CPUtime=0.19 cores=0,2,4,6
/proc/31032/stat : 31032 (cdcl-cuttingpla) R 31029 31032 30411 0 -1 4202496 1407 0 0 0 19 0 0 0 20 0 1 0 125353576 38690816 8172 33554432000 4194304 6201397 140733323998672 140733562421704 4213604 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/31032/statm: 9446 8172 146 491 0 8945 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 37784

[startup+0.300276 s]
/proc/loadavg: 1.98 2.18 2.17 2/171 31032
/proc/meminfo: memFree=29840908/32872528 swapFree=16636/1570076
[pid=31032] ppid=31029 vsize=42980 CPUtime=0.29 cores=0,2,4,6
/proc/31032/stat : 31032 (cdcl-cuttingpla) R 31029 31032 30411 0 -1 4202496 1950 0 0 0 29 0 0 0 20 0 1 0 125353576 44011520 9101 33554432000 4194304 6201397 140733323998672 140733562421704 4217930 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/31032/statm: 10745 9101 146 491 0 10244 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 42980

[startup+0.700253 s]
/proc/loadavg: 1.98 2.18 2.17 2/171 31032
/proc/meminfo: memFree=29840908/32872528 swapFree=16636/1570076
[pid=31032] ppid=31029 vsize=50276 CPUtime=0.69 cores=0,2,4,6
/proc/31032/stat : 31032 (cdcl-cuttingpla) R 31029 31032 30411 0 -1 4202496 2400 0 0 0 69 0 0 0 20 0 1 0 125353576 51482624 9399 33554432000 4194304 6201397 140733323998672 140733562421704 4207987 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/31032/statm: 12569 9399 146 491 0 12068 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 50276

[startup+1.50023 s]
/proc/loadavg: 1.98 2.18 2.17 3/178 31048
/proc/meminfo: memFree=29756824/32872528 swapFree=16636/1570076
[pid=31032] ppid=31029 vsize=50656 CPUtime=1.49 cores=0,2,4,6
/proc/31032/stat : 31032 (cdcl-cuttingpla) R 31029 31032 30411 0 -1 4202496 2577 0 0 0 148 1 0 0 20 0 1 0 125353576 51871744 10569 33554432000 4194304 6201397 140733323998672 140733323997512 4213186 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/31032/statm: 12664 10569 159 491 0 12163 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 50656

[startup+3.10026 s]
/proc/loadavg: 1.98 2.18 2.17 4/178 31048
/proc/meminfo: memFree=29750248/32872528 swapFree=16636/1570076
[pid=31032] ppid=31029 vsize=63676 CPUtime=3.09 cores=0,2,4,6
/proc/31032/stat : 31032 (cdcl-cuttingpla) R 31029 31032 30411 0 -1 4202496 3502 0 0 0 308 1 0 0 20 0 1 0 125353576 65204224 11785 33554432000 4194304 6201397 140733323998672 140733323997512 4213253 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/31032/statm: 15919 11785 159 491 0 15418 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 63676

[startup+6.30027 s]
/proc/loadavg: 2.06 2.19 2.18 4/178 31048
/proc/meminfo: memFree=29733724/32872528 swapFree=16636/1570076
[pid=31032] ppid=31029 vsize=63952 CPUtime=6.29 cores=0,2,4,6
/proc/31032/stat : 31032 (cdcl-cuttingpla) R 31029 31032 30411 0 -1 4202496 4595 0 0 0 628 1 0 0 20 0 1 0 125353576 65486848 13086 33554432000 4194304 6201397 140733323998672 140733323997800 4213206 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/31032/statm: 15988 13086 165 491 0 15487 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 63952

[startup+12.7003 s]
/proc/loadavg: 2.14 2.21 2.18 3/178 31048
/proc/meminfo: memFree=29711524/32872528 swapFree=16636/1570076
[pid=31032] ppid=31029 vsize=64420 CPUtime=12.69 cores=0,2,4,6
/proc/31032/stat : 31032 (cdcl-cuttingpla) R 31029 31032 30411 0 -1 4202496 4731 0 0 0 1268 1 0 0 20 0 1 0 125353576 65966080 14754 33554432000 4194304 6201397 140733323998672 140733323997624 4213268 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/31032/statm: 16105 14754 165 491 0 15604 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 64420

[startup+25.5003 s]
/proc/loadavg: 2.25 2.23 2.19 3/178 31048
/proc/meminfo: memFree=29696660/32872528 swapFree=16636/1570076
[pid=31032] ppid=31029 vsize=83888 CPUtime=25.48 cores=0,2,4,6
/proc/31032/stat : 31032 (cdcl-cuttingpla) R 31029 31032 30411 0 -1 4202496 5682 0 0 0 2547 1 0 0 20 0 1 0 125353576 85901312 16380 33554432000 4194304 6201397 140733323998672 140733323997624 4213261 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/31032/statm: 20972 16380 165 491 0 20471 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 83888

[startup+51.1003 s]
/proc/loadavg: 2.25 2.22 2.19 4/178 31048
/proc/meminfo: memFree=29672032/32872528 swapFree=16636/1570076
[pid=31032] ppid=31029 vsize=117364 CPUtime=51.09 cores=0,2,4,6
/proc/31032/stat : 31032 (cdcl-cuttingpla) R 31029 31032 30411 0 -1 4202496 6588 0 0 0 5107 2 0 0 20 0 1 0 125353576 120180736 20756 33554432000 4194304 6201397 140733323998672 140733323997336 4213257 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/31032/statm: 29341 20756 165 491 0 28840 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 117364

[startup+102.3 s]
/proc/loadavg: 2.30 2.24 2.19 3/178 31049
/proc/meminfo: memFree=29595380/32872528 swapFree=16636/1570076
[pid=31032] ppid=31029 vsize=169144 CPUtime=102.28 cores=0,2,4,6
/proc/31032/stat : 31032 (cdcl-cuttingpla) R 31029 31032 30411 0 -1 4202496 8159 0 0 0 10226 2 0 0 20 0 1 0 125353576 173203456 29989 33554432000 4194304 6201397 140733323998672 140733323997800 4213168 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/31032/statm: 42286 29989 165 491 0 41785 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 169144

[startup+162.3 s]
/proc/loadavg: 2.22 2.22 2.18 3/178 31050
/proc/meminfo: memFree=29561468/32872528 swapFree=16636/1570076
[pid=31032] ppid=31029 vsize=170896 CPUtime=162.27 cores=0,2,4,6
/proc/31032/stat : 31032 (cdcl-cuttingpla) R 31029 31032 30411 0 -1 4202496 8817 0 0 0 16224 3 0 0 20 0 1 0 125353576 174997504 37727 33554432000 4194304 6201397 140733323998672 140733323997800 4213261 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/31032/statm: 42724 37727 165 491 0 42223 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 170896

[startup+222.307 s]
/proc/loadavg: 2.18 2.21 2.18 3/178 31051
/proc/meminfo: memFree=29553876/32872528 swapFree=16636/1570076
[pid=31032] ppid=31029 vsize=172700 CPUtime=222.27 cores=0,2,4,6
/proc/31032/stat : 31032 (cdcl-cuttingpla) R 31029 31032 30411 0 -1 4202496 9329 0 0 0 22224 3 0 0 20 0 1 0 125353576 176844800 38238 33554432000 4194304 6201397 140733323998672 140733323997336 4213186 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/31032/statm: 43175 38238 165 491 0 42674 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 172700

[startup+282.3 s]
/proc/loadavg: 2.29 2.24 2.19 3/177 31052
/proc/meminfo: memFree=29544664/32872528 swapFree=16636/1570076
[pid=31032] ppid=31029 vsize=173056 CPUtime=282.25 cores=0,2,4,6
/proc/31032/stat : 31032 (cdcl-cuttingpla) R 31029 31032 30411 0 -1 4202496 9415 0 0 0 28222 3 0 0 20 0 1 0 125353576 177209344 38835 33554432000 4194304 6201397 140733323998672 140733323997800 4213240 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/31032/statm: 43264 38835 165 491 0 42763 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 173056

[startup+342.3 s]
/proc/loadavg: 2.24 2.23 2.18 3/178 31054
/proc/meminfo: memFree=29533800/32872528 swapFree=16636/1570076
[pid=31032] ppid=31029 vsize=173240 CPUtime=342.24 cores=0,2,4,6
/proc/31032/stat : 31032 (cdcl-cuttingpla) R 31029 31032 30411 0 -1 4202496 9466 0 0 0 34221 3 0 0 20 0 1 0 125353576 177397760 40924 33554432000 4194304 6201397 140733323998672 140733323997800 4213170 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/31032/statm: 43310 40924 165 491 0 42809 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 173240

[startup+402.3 s]
/proc/loadavg: 2.19 2.21 2.18 3/179 31058
/proc/meminfo: memFree=29520404/32872528 swapFree=16636/1570076
[pid=31032] ppid=31029 vsize=173460 CPUtime=402.23 cores=0,2,4,6
/proc/31032/stat : 31032 (cdcl-cuttingpla) R 31029 31032 30411 0 -1 4202496 9585 0 0 0 40220 3 0 0 20 0 1 0 125353576 177623040 41043 33554432000 4194304 6201397 140733323998672 140733323997336 4213257 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/31032/statm: 43365 41043 165 491 0 42864 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 173460

[startup+462.3 s]
/proc/loadavg: 2.28 2.23 2.19 3/178 31059
/proc/meminfo: memFree=29500556/32872528 swapFree=16636/1570076
[pid=31032] ppid=31029 vsize=255320 CPUtime=462.22 cores=0,2,4,6
/proc/31032/stat : 31032 (cdcl-cuttingpla) R 31029 31032 30411 0 -1 4202496 10060 0 0 0 46219 3 0 0 20 0 1 0 125353576 261447680 46006 33554432000 4194304 6201397 140733323998672 140733323997624 4213186 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/31032/statm: 63830 46006 165 491 0 63329 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 255320

[startup+522.3 s]
/proc/loadavg: 2.39 2.28 2.20 3/178 31060
/proc/meminfo: memFree=29498104/32872528 swapFree=16636/1570076
[pid=31032] ppid=31029 vsize=255448 CPUtime=522.21 cores=0,2,4,6
/proc/31032/stat : 31032 (cdcl-cuttingpla) R 31029 31032 30411 0 -1 4202496 10297 0 0 0 52218 3 0 0 20 0 1 0 125353576 261578752 46572 33554432000 4194304 6201397 140733323998672 140733323997800 4213240 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/31032/statm: 63862 46572 165 491 0 63361 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 255448

[startup+582.3 s]
/proc/loadavg: 2.39 2.29 2.20 3/178 31061
/proc/meminfo: memFree=29490068/32872528 swapFree=16636/1570076
[pid=31032] ppid=31029 vsize=255504 CPUtime=582.2 cores=0,2,4,6
/proc/31032/stat : 31032 (cdcl-cuttingpla) R 31029 31032 30411 0 -1 4202496 10478 0 0 0 58217 3 0 0 20 0 1 0 125353576 261636096 46728 33554432000 4194304 6201397 140733323998672 140733323997800 4213253 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/31032/statm: 63876 46728 165 491 0 63375 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 255504


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


[startup+942.3 s]
/proc/loadavg: 2.16 2.22 2.18 4/178 31069
/proc/meminfo: memFree=29387428/32872528 swapFree=16636/1570076
[pid=31032] ppid=31029 vsize=259944 CPUtime=942.14 cores=0,2,4,6
/proc/31032/stat : 31032 (cdcl-cuttingpla) R 31029 31032 30411 0 -1 4202496 11701 0 0 0 94210 4 0 0 20 0 1 0 125353576 266182656 58210 33554432000 4194304 6201397 140733323998672 140733323997624 4213253 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/31032/statm: 64986 58210 165 491 0 64485 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 259944

[startup+1002.3 s]
/proc/loadavg: 2.25 2.24 2.19 3/179 31073
/proc/meminfo: memFree=29384440/32872528 swapFree=16636/1570076
[pid=31032] ppid=31029 vsize=260152 CPUtime=1002.13 cores=0,2,4,6
/proc/31032/stat : 31032 (cdcl-cuttingpla) R 31029 31032 30411 0 -1 4202496 11777 0 0 0 100209 4 0 0 20 0 1 0 125353576 266395648 58790 33554432000 4194304 6201397 140733323998672 140733323997800 4213253 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/31032/statm: 65038 58790 165 491 0 64537 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 260152

[startup+1062.3 s]
/proc/loadavg: 2.30 2.25 2.19 3/178 31074
/proc/meminfo: memFree=29384076/32872528 swapFree=16636/1570076
[pid=31032] ppid=31029 vsize=260536 CPUtime=1062.12 cores=0,2,4,6
/proc/31032/stat : 31032 (cdcl-cuttingpla) R 31029 31032 30411 0 -1 4202496 11918 0 0 0 106208 4 0 0 20 0 1 0 125353576 266788864 58931 33554432000 4194304 6201397 140733323998672 140733323997624 4213240 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/31032/statm: 65134 58931 165 491 0 64633 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 260536

[startup+1122.3 s]
/proc/loadavg: 2.19 2.23 2.19 3/178 31075
/proc/meminfo: memFree=29381988/32872528 swapFree=16636/1570076
[pid=31032] ppid=31029 vsize=261088 CPUtime=1122.12 cores=0,2,4,6
/proc/31032/stat : 31032 (cdcl-cuttingpla) R 31029 31032 30411 0 -1 4202496 12053 0 0 0 112208 4 0 0 20 0 1 0 125353576 267354112 59066 33554432000 4194304 6201397 140733323998672 140733323997624 4213261 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/31032/statm: 65272 59066 165 491 0 64771 0
Current children cumulated CPU time (s) 1122.12
Current children cumulated vsize (KiB) 261088

[startup+1182.3 s]
/proc/loadavg: 2.44 2.29 2.21 3/178 31076
/proc/meminfo: memFree=29360128/32872528 swapFree=16636/1570076
[pid=31032] ppid=31029 vsize=261968 CPUtime=1182.11 cores=0,2,4,6
/proc/31032/stat : 31032 (cdcl-cuttingpla) R 31029 31032 30411 0 -1 4202496 12262 0 0 0 118207 4 0 0 20 0 1 0 125353576 268255232 59275 33554432000 4194304 6201397 140733323998672 140733323997336 4213253 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/31032/statm: 65492 59275 165 491 0 64991 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 261968

[startup+1242.3 s]
/proc/loadavg: 2.29 2.28 2.20 3/178 31078
/proc/meminfo: memFree=29336204/32872528 swapFree=16636/1570076
[pid=31032] ppid=31029 vsize=262604 CPUtime=1242.09 cores=0,2,4,6
/proc/31032/stat : 31032 (cdcl-cuttingpla) R 31029 31032 30411 0 -1 4202496 12431 0 0 0 124205 4 0 0 20 0 1 0 125353576 268906496 63532 33554432000 4194304 6201397 140733323998672 140733323997624 4213261 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/31032/statm: 65651 63532 165 491 0 65150 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 262604

[startup+1302.3 s]
/proc/loadavg: 2.27 2.27 2.20 3/178 31079
/proc/meminfo: memFree=29315000/32872528 swapFree=16636/1570076
[pid=31032] ppid=31029 vsize=396272 CPUtime=1302.09 cores=0,2,4,6
/proc/31032/stat : 31032 (cdcl-cuttingpla) R 31029 31032 30411 0 -1 4202496 13023 0 0 0 130204 5 0 0 20 0 1 0 125353576 405782528 68664 33554432000 4194304 6201397 140733323998672 140733323997624 4213261 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/31032/statm: 99068 68664 165 491 0 98567 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 396272

[startup+1362.3 s]
/proc/loadavg: 2.28 2.28 2.21 3/178 31080
/proc/meminfo: memFree=29312060/32872528 swapFree=16636/1570076
[pid=31032] ppid=31029 vsize=396504 CPUtime=1362.08 cores=0,2,4,6
/proc/31032/stat : 31032 (cdcl-cuttingpla) R 31029 31032 30411 0 -1 4202496 13301 0 0 0 136203 5 0 0 20 0 1 0 125353576 406020096 69226 33554432000 4194304 6201397 140733323998672 140733323997512 4213261 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/31032/statm: 99126 69226 165 491 0 98625 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 396504

[startup+1422.3 s]
/proc/loadavg: 2.25 2.27 2.21 3/178 31081
/proc/meminfo: memFree=29311404/32872528 swapFree=16636/1570076
[pid=31032] ppid=31029 vsize=396624 CPUtime=1422.07 cores=0,2,4,6
/proc/31032/stat : 31032 (cdcl-cuttingpla) R 31029 31032 30411 0 -1 4202496 13330 0 0 0 142202 5 0 0 20 0 1 0 125353576 406142976 69255 33554432000 4194304 6201397 140733323998672 140733323997800 4213257 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/31032/statm: 99156 69255 165 491 0 98655 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 396624

[startup+1482.3 s]
/proc/loadavg: 2.19 2.25 2.20 3/178 31082
/proc/meminfo: memFree=29308724/32872528 swapFree=16636/1570076
[pid=31032] ppid=31029 vsize=396624 CPUtime=1482.06 cores=0,2,4,6
/proc/31032/stat : 31032 (cdcl-cuttingpla) R 31029 31032 30411 0 -1 4202496 13362 0 0 0 148201 5 0 0 20 0 1 0 125353576 406142976 69287 33554432000 4194304 6201397 140733323998672 140733323997800 4213186 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/31032/statm: 99156 69287 165 491 0 98655 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 396624

[startup+1542.31 s]
/proc/loadavg: 2.29 2.26 2.20 4/178 31084
/proc/meminfo: memFree=29308940/32872528 swapFree=16636/1570076
[pid=31032] ppid=31029 vsize=396816 CPUtime=1542.06 cores=0,2,4,6
/proc/31032/stat : 31032 (cdcl-cuttingpla) R 31029 31032 30411 0 -1 4202496 13401 0 0 0 154200 6 0 0 20 0 1 0 125353576 406339584 69326 33554432000 4194304 6201397 140733323998672 140733323997624 4213261 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/31032/statm: 99204 69326 165 491 0 98703 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 396816

[startup+1602.3 s]
/proc/loadavg: 2.21 2.24 2.20 3/178 31097
/proc/meminfo: memFree=29308252/32872528 swapFree=16636/1570076
[pid=31032] ppid=31029 vsize=397048 CPUtime=1602.05 cores=0,2,4,6
/proc/31032/stat : 31032 (cdcl-cuttingpla) R 31029 31032 30411 0 -1 4202496 13447 0 0 0 160199 6 0 0 20 0 1 0 125353576 406577152 69372 33554432000 4194304 6201397 140733323998672 140733323997624 4213240 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/31032/statm: 99262 69372 165 491 0 98761 0
Current children cumulated CPU time (s) 1602.05
Current children cumulated vsize (KiB) 397048

[startup+1662.3 s]
/proc/loadavg: 2.24 2.24 2.19 3/177 31098
/proc/meminfo: memFree=29308028/32872528 swapFree=16636/1570076
[pid=31032] ppid=31029 vsize=397420 CPUtime=1662.04 cores=0,2,4,6
/proc/31032/stat : 31032 (cdcl-cuttingpla) R 31029 31032 30411 0 -1 4202496 13550 0 0 0 166198 6 0 0 20 0 1 0 125353576 406958080 69475 33554432000 4194304 6201397 140733323998672 140733323997624 4213257 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/31032/statm: 99355 69475 165 491 0 98854 0
Current children cumulated CPU time (s) 1662.04
Current children cumulated vsize (KiB) 397420

[startup+1722.3 s]
/proc/loadavg: 2.41 2.29 2.21 3/177 31099
/proc/meminfo: memFree=29307260/32872528 swapFree=16636/1570076
[pid=31032] ppid=31029 vsize=397996 CPUtime=1722.03 cores=0,2,4,6
/proc/31032/stat : 31032 (cdcl-cuttingpla) R 31029 31032 30411 0 -1 4202496 13692 0 0 0 172197 6 0 0 20 0 1 0 125353576 407547904 69617 33554432000 4194304 6201397 140733323998672 140733323997512 4213261 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/31032/statm: 99499 69617 165 491 0 98998 0
Current children cumulated CPU time (s) 1722.03
Current children cumulated vsize (KiB) 397996

[startup+1782.3 s]
/proc/loadavg: 2.27 2.26 2.20 3/177 31100
/proc/meminfo: memFree=29292836/32872528 swapFree=16636/1570076
[pid=31032] ppid=31029 vsize=398340 CPUtime=1782.02 cores=0,2,4,6
/proc/31032/stat : 31032 (cdcl-cuttingpla) R 31029 31032 30411 0 -1 4202496 13902 0 0 0 178196 6 0 0 20 0 1 0 125353576 407900160 69815 33554432000 4194304 6201397 140733323998672 140733323997336 4213253 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/31032/statm: 99585 69815 165 491 0 99084 0
Current children cumulated CPU time (s) 1782.02
Current children cumulated vsize (KiB) 398340



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.21 2.25 2.20 3/177 31100
/proc/meminfo: memFree=29290044/32872528 swapFree=16636/1570076
[pid=31032] ppid=31029 vsize=398468 CPUtime=1800.02 cores=0,2,4,6
/proc/31032/stat : 31032 (cdcl-cuttingpla) R 31029 31032 30411 0 -1 4202496 13933 0 0 0 179996 6 0 0 20 0 1 0 125353576 408031232 69846 33554432000 4194304 6201397 140733323998672 140733323997512 4213186 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/31032/statm: 99617 69846 165 491 0 99116 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 398468

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

[startup+1800.3 s]
/proc/loadavg: 2.21 2.25 2.20 3/177 31100
/proc/meminfo: memFree=29290044/32872528 swapFree=16636/1570076
[pid=31032] ppid=31029 vsize=398468 CPUtime=1800.02 cores=0,2,4,6
/proc/31032/stat : 31032 (cdcl-cuttingpla) R 31029 31032 30411 0 -1 4202496 13933 0 0 0 179996 6 0 0 20 0 1 0 125353576 408031232 69846 33554432000 4194304 6201397 140733323998672 140733323997512 4213186 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/31032/statm: 99617 69846 165 491 0 99116 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 398468

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.3
CPU time (s): 1800.03
CPU user time (s): 1799.96
CPU system time (s): 0.06499
CPU usage (%): 99.9846
Max. virtual memory (cumulated for all children) (KiB): 398468

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.96
system time used= 0.06499
maximum resident set size= 279384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13933
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= 13
involuntary context switches= 1857

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.52131 second user time and 6.95594 second system time

The end

Launcher Data 

Begin job on node140 at 2016-06-09 03:03:32
IDJOB=4088335
IDBENCH=25017
IDSOLVER=2550
FILE ID=node140/4088335-1465434212
RUNJOBID= node140-1465427006-30427
PBS_JOBID= 19859776
Free space on /tmp= 71740 MiB

SOLVER NAME= cdcl-cuttingplanes OPT linear search 2016-05-01
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_8.opb
COMMAND LINE= ./cdcl-cuttingplanes-opt-linearsearch-release
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4088335-1465434212/watcher-4088335-1465434212 -o /tmp/evaluation-result-4088335-1465434212/solver-4088335-1465434212 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node140-1465427006-30427 --watchdog 1960 --input HOME/instance-4088335-1465434212.opb ./cdcl-cuttingplanes-opt-linearsearch-release

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

MD5SUM BENCH= a6271c60ac3da107dd19024b50d39967
RANDOM SEED=1723546829

node140.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29841288 kB
Buffers:          152692 kB
Cached:           555860 kB
SwapCached:         1664 kB
Active:           163272 kB
Inactive:         549112 kB
Active(anon):       3088 kB
Inactive(anon):     2932 kB
Active(file):     160184 kB
Inactive(file):   546180 kB
Unevictable:     1570076 kB
Mlocked:           16636 kB
SwapTotal:      67108856 kB
SwapFree:       67098768 kB
Dirty:              2728 kB
Writeback:             0 kB
AnonPages:       1669200 kB
Mapped:             6920 kB
Shmem:                 0 kB
Slab:             615644 kB
SReclaimable:      59352 kB
SUnreclaim:       556292 kB
KernelStack:        1416 kB
PageTables:         6960 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1667600 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1652736 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= 71736 MiB
End job on node140 at 2016-06-09 03:33:33