Trace number 4087252

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 NameAnswerCPU timeWall clock time
cdcl-cuttingplanes DEC 2016-05-01? (TO) 1800.03 1800.3

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/
normalized-TateBritain_K101.opb
MD5SUMa3de6c6ee42f8b511357d3857e721bb4
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark426.046
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6868
Total number of constraints7072
Number of constraints which are clauses6971
Number of constraints which are cardinality constraints (but not clauses)101
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint101
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 102
Number of bits of the biggest sum of numbers7
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 * #variable= 6868 #constraint= 7072
0.69/0.71	c #Conflicts:       1000 | #Learnt:        998 | 0.001
0.69/0.71	c total clause space: 11.2235MB
0.69/0.71	c total #watches: 78415
2.49/2.54	c total #propagations: 454026 / total #impl: 4715962 (eff. 0.096)
2.49/2.54	c #Conflicts:       2000 | #Learnt:       1998 | 0.001
2.49/2.54	c total clause space: 18.2382MB
2.49/2.54	c total #watches: 148753
6.09/6.19	c total #propagations: 882995 / total #impl: 15457234 (eff. 0.057)
6.09/6.19	c GARBAGE COLLECT
6.09/6.19	c #Conflicts:       3000 | #Learnt:       2039 | 0.008
6.09/6.19	c total clause space: 18.2382MB
6.09/6.19	c total #watches: 186695
11.89/11.92	c total #propagations: 1286632 / total #impl: 34072983 (eff. 0.038)
11.89/11.92	c #Conflicts:       4000 | #Learnt:       3039 | 0.008
11.89/11.92	c total clause space: 29.637MB
11.89/11.92	c total #watches: 269611
18.58/18.70	c total #propagations: 1692730 / total #impl: 57761843 (eff. 0.029)
18.58/18.70	c GARBAGE COLLECT
18.58/18.70	c #Conflicts:       5000 | #Learnt:       2392 | 0.023
18.58/18.70	c total clause space: 29.637MB
18.58/18.70	c total #watches: 249434
27.19/27.28	c total #propagations: 2091113 / total #impl: 80185214 (eff. 0.026)
27.19/27.28	c #Conflicts:       6000 | #Learnt:       3392 | 0.019
27.19/27.28	c total clause space: 48.1602MB
27.19/27.28	c total #watches: 318574
40.38/40.40	c total #propagations: 2400142 / total #impl: 102555146 (eff. 0.023)
40.38/40.40	c GARBAGE COLLECT
40.38/40.40	c #Conflicts:       7000 | #Learnt:       2301 | 0.022
40.38/40.40	c total clause space: 78.2603MB
40.38/40.40	c total #watches: 262042
53.48/53.58	c total #propagations: 2714089 / total #impl: 138859454 (eff. 0.020)
53.48/53.58	c #Conflicts:       8000 | #Learnt:       3301 | 0.020
53.48/53.58	c total clause space: 78.2603MB
53.48/53.58	c total #watches: 349606
85.58/85.65	c total #propagations: 3008413 / total #impl: 174712845 (eff. 0.017)
85.58/85.65	c #Conflicts:       9000 | #Learnt:       4301 | 0.018
85.58/85.65	c total clause space: 78.2603MB
85.58/85.65	c total #watches: 449483
112.38/112.41	c total #propagations: 3468925 / total #impl: 204300382 (eff. 0.017)
112.38/112.41	c GARBAGE COLLECT
112.38/112.41	c #Conflicts:      10000 | #Learnt:       2789 | 0.016
112.38/112.41	c total clause space: 78.2603MB
112.38/112.41	c total #watches: 318698
125.38/125.50	c total #propagations: 3857887 / total #impl: 239419528 (eff. 0.016)
125.38/125.50	c #Conflicts:      11000 | #Learnt:       3789 | 0.015
125.38/125.50	c total clause space: 78.2603MB
125.38/125.50	c total #watches: 481264
146.17/146.27	c total #propagations: 4191295 / total #impl: 283447002 (eff. 0.015)
146.17/146.27	c #Conflicts:      12000 | #Learnt:       4789 | 0.014
146.17/146.27	c total clause space: 78.2603MB
146.17/146.27	c total #watches: 604654
184.46/184.55	c total #propagations: 4541298 / total #impl: 330362904 (eff. 0.014)
184.46/184.55	c #Conflicts:      13000 | #Learnt:       5789 | 0.013
184.46/184.55	c total clause space: 78.2603MB
184.46/184.55	c total #watches: 729528
202.76/202.81	c total #propagations: 4981274 / total #impl: 407784225 (eff. 0.012)
202.76/202.81	c GARBAGE COLLECT
202.76/202.81	c #Conflicts:      14000 | #Learnt:       3933 | 0.012
202.76/202.81	c total clause space: 78.2603MB
202.76/202.81	c total #watches: 552080
226.76/226.83	c total #propagations: 5326633 / total #impl: 503999594 (eff. 0.011)
226.76/226.83	c #Conflicts:      15000 | #Learnt:       4933 | 0.012
226.76/226.83	c total clause space: 78.2603MB
226.76/226.83	c total #watches: 642101
254.35/254.46	c total #propagations: 5673627 / total #impl: 585130572 (eff. 0.010)
254.35/254.46	c #Conflicts:      16000 | #Learnt:       5933 | 0.011
254.35/254.46	c total clause space: 78.2603MB
254.35/254.46	c total #watches: 815597
279.35/279.49	c total #propagations: 5997278 / total #impl: 738788631 (eff. 0.008)
279.35/279.49	c GARBAGE COLLECT
279.35/279.49	c #Conflicts:      17000 | #Learnt:       3746 | 0.011
279.35/279.49	c total clause space: 78.2603MB
279.35/279.49	c total #watches: 509158
307.14/307.27	c total #propagations: 6319305 / total #impl: 813250518 (eff. 0.008)
307.14/307.27	c #Conflicts:      18000 | #Learnt:       4746 | 0.010
307.14/307.27	c total clause space: 78.2603MB
307.14/307.27	c total #watches: 642105
358.65/358.73	c total #propagations: 6643195 / total #impl: 888126065 (eff. 0.007)
358.65/358.73	c #Conflicts:      19000 | #Learnt:       5746 | 0.010
358.65/358.73	c total clause space: 127.173MB
358.65/358.73	c total #watches: 748309
424.73/424.89	c total #propagations: 7116691 / total #impl: 973147963 (eff. 0.007)
424.73/424.89	c #Conflicts:      20000 | #Learnt:       6746 | 0.009
424.73/424.89	c total clause space: 206.656MB
424.73/424.89	c total #watches: 872080
480.12/480.24	c total #propagations: 7524410 / total #impl: 1074937136 (eff. 0.007)
480.12/480.24	c GARBAGE COLLECT
480.12/480.24	c #Conflicts:      21000 | #Learnt:       4268 | 0.010
480.12/480.24	c total clause space: 206.656MB
480.12/480.24	c total #watches: 525527
519.71/519.85	c total #propagations: 7955163 / total #impl: 1135133635 (eff. 0.007)
519.71/519.85	c #Conflicts:      22000 | #Learnt:       5268 | 0.009
519.71/519.85	c total clause space: 206.656MB
519.71/519.85	c total #watches: 639502
567.40/567.50	c total #propagations: 8362064 / total #impl: 1176059670 (eff. 0.007)
567.40/567.50	c #Conflicts:      23000 | #Learnt:       6268 | 0.009
567.40/567.50	c total clause space: 206.656MB
567.40/567.50	c total #watches: 763531
633.69/633.88	c total #propagations: 8766772 / total #impl: 1230273696 (eff. 0.007)
633.69/633.88	c #Conflicts:      24000 | #Learnt:       7268 | 0.008
633.69/633.88	c total clause space: 206.656MB
633.69/633.88	c total #watches: 919502
677.18/677.31	c total #propagations: 9206294 / total #impl: 1312187354 (eff. 0.007)
677.18/677.31	c GARBAGE COLLECT
677.18/677.31	c #Conflicts:      25000 | #Learnt:       4477 | 0.008
677.18/677.31	c total clause space: 206.656MB
677.18/677.31	c total #watches: 581306
718.28/718.43	c total #propagations: 9579923 / total #impl: 1386341407 (eff. 0.007)
718.28/718.43	c #Conflicts:      26000 | #Learnt:       5477 | 0.008
718.28/718.43	c total clause space: 206.656MB
718.28/718.43	c total #watches: 825045
751.97/752.12	c total #propagations: 9890727 / total #impl: 1523790479 (eff. 0.006)
751.97/752.12	c #Conflicts:      27000 | #Learnt:       6477 | 0.008
751.97/752.12	c total clause space: 206.656MB
751.97/752.12	c total #watches: 951544
832.46/832.68	c total #propagations: 10107485 / total #impl: 1609030793 (eff. 0.006)
832.46/832.68	c #Conflicts:      28000 | #Learnt:       7477 | 0.007
832.46/832.68	c total clause space: 206.656MB
832.46/832.68	c total #watches: 1068031
912.45/912.68	c total #propagations: 10506696 / total #impl: 1728695315 (eff. 0.006)
912.45/912.68	c GARBAGE COLLECT
912.45/912.68	c #Conflicts:      29000 | #Learnt:       4376 | 0.007
912.45/912.68	c total clause space: 206.656MB
912.45/912.68	c total #watches: 588641
956.14/956.34	c total #propagations: 10881926 / total #impl: 1844647409 (eff. 0.006)
956.14/956.34	c #Conflicts:      30000 | #Learnt:       5376 | 0.007
956.14/956.34	c total clause space: 206.656MB
956.14/956.34	c total #watches: 741450
1025.33/1025.56	c total #propagations: 11232585 / total #impl: 1916837178 (eff. 0.006)
1025.33/1025.56	c #Conflicts:      31000 | #Learnt:       6376 | 0.007
1025.33/1025.56	c total clause space: 206.656MB
1025.33/1025.56	c total #watches: 896020
1111.32/1111.59	c total #propagations: 11641128 / total #impl: 2002687534 (eff. 0.006)
1111.32/1111.59	c #Conflicts:      32000 | #Learnt:       7376 | 0.007
1111.32/1111.59	c total clause space: 206.656MB
1111.32/1111.59	c total #watches: 1084692
1216.60/1216.87	c total #propagations: 12006654 / total #impl: 2118997703 (eff. 0.006)
1216.60/1216.87	c #Conflicts:      33000 | #Learnt:       8376 | 0.010
1216.60/1216.87	c total clause space: 206.656MB
1216.60/1216.87	c total #watches: 1262195
1300.69/1300.95	c total #propagations: 12392892 / total #impl: 2228985284 (eff. 0.006)
1300.69/1300.95	c GARBAGE COLLECT
1300.69/1300.95	c #Conflicts:      34000 | #Learnt:       4976 | 0.009
1300.69/1300.95	c total clause space: 206.656MB
1300.69/1300.95	c total #watches: 818403
1374.68/1374.91	c total #propagations: 12748981 / total #impl: 2340387911 (eff. 0.005)
1374.68/1374.91	c #Conflicts:      35000 | #Learnt:       5976 | 0.009
1374.68/1374.91	c total clause space: 206.656MB
1374.68/1374.91	c total #watches: 983893
1472.67/1473.00	c total #propagations: 13113183 / total #impl: 2429282690 (eff. 0.005)
1472.67/1473.00	c #Conflicts:      36000 | #Learnt:       6976 | 0.009
1472.67/1473.00	c total clause space: 206.656MB
1472.67/1473.00	c total #watches: 1216084
1590.24/1590.50	c total #propagations: 13490321 / total #impl: 2560071060 (eff. 0.005)
1590.24/1590.50	c #Conflicts:      37000 | #Learnt:       7976 | 0.009
1590.24/1590.50	c total clause space: 206.656MB
1590.24/1590.50	c total #watches: 1503987
1749.23/1749.52	c total #propagations: 13826574 / total #impl: 2731147406 (eff. 0.005)
1749.23/1749.52	c #Conflicts:      38000 | #Learnt:       8976 | 0.008
1749.23/1749.52	c total clause space: 206.656MB
1749.23/1749.52	c total #watches: 1730310

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-4087252-1465428815/watcher-4087252-1465428815 -o /tmp/evaluation-result-4087252-1465428815/solver-4087252-1465428815 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node136-1465427013-30676 --watchdog 1960 --input HOME/instance-4087252-1465428815.opb ./cdcl-cuttingplanes-release 

pid=30838
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.21 2.20 2.07 3/176 30841
/proc/meminfo: memFree=29572252/32872528 swapFree=15272/1656604
[pid=30841] ppid=30838 vsize=33460 CPUtime=0 cores=1,3,5,7
/proc/30841/stat : 30841 (cdcl-cuttingpla) R 30838 30841 30659 0 -1 4202496 283 0 0 0 0 0 0 0 20 0 1 0 124814839 34263040 5786 33554432000 4194304 6199737 140736113146720 140734373726152 5193008 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/30841/statm: 8365 5786 122 490 0 7866 0

[startup+0.100167 s]
/proc/loadavg: 2.21 2.20 2.07 3/176 30841
/proc/meminfo: memFree=29572252/32872528 swapFree=15272/1656604
[pid=30841] ppid=30838 vsize=34236 CPUtime=0.09 cores=1,3,5,7
/proc/30841/stat : 30841 (cdcl-cuttingpla) R 30838 30841 30659 0 -1 4202496 1007 0 0 0 9 0 0 0 20 0 1 0 124814839 35057664 7317 33554432000 4194304 6199737 140736113146720 140734373726152 4208100 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/30841/statm: 8559 7317 139 490 0 8060 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 34236

[startup+0.200324 s]
/proc/loadavg: 2.21 2.20 2.07 3/176 30841
/proc/meminfo: memFree=29572252/32872528 swapFree=15272/1656604
[pid=30841] ppid=30838 vsize=37212 CPUtime=0.19 cores=1,3,5,7
/proc/30841/stat : 30841 (cdcl-cuttingpla) R 30838 30841 30659 0 -1 4202496 1393 0 0 0 19 0 0 0 20 0 1 0 124814839 38105088 7563 33554432000 4194304 6199737 140736113146720 140734373726152 4213489 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/30841/statm: 9303 7563 139 490 0 8804 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 37212

[startup+0.30025 s]
/proc/loadavg: 2.21 2.20 2.07 3/176 30841
/proc/meminfo: memFree=29572252/32872528 swapFree=15272/1656604
[pid=30841] ppid=30838 vsize=37336 CPUtime=0.29 cores=1,3,5,7
/proc/30841/stat : 30841 (cdcl-cuttingpla) R 30838 30841 30659 0 -1 4202496 1466 0 0 0 29 0 0 0 20 0 1 0 124814839 38232064 8137 33554432000 4194304 6199737 140736113146720 140734373726152 4213389 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/30841/statm: 9334 8137 139 490 0 8835 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 37336

[startup+0.700237 s]
/proc/loadavg: 2.21 2.20 2.07 3/176 30841
/proc/meminfo: memFree=29572252/32872528 swapFree=15272/1656604
[pid=30841] ppid=30838 vsize=42128 CPUtime=0.69 cores=1,3,5,7
/proc/30841/stat : 30841 (cdcl-cuttingpla) R 30838 30841 30659 0 -1 4202496 1738 0 0 0 69 0 0 0 20 0 1 0 124814839 43139072 8348 33554432000 4194304 6199737 140736113146720 140736113145368 4213396 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/30841/statm: 10532 8348 139 490 0 10033 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 42128

[startup+1.5002 s]
/proc/loadavg: 2.21 2.20 2.07 3/177 30842
/proc/meminfo: memFree=29526276/32872528 swapFree=15272/1656604
[pid=30841] ppid=30838 vsize=49928 CPUtime=1.49 cores=1,3,5,7
/proc/30841/stat : 30841 (cdcl-cuttingpla) R 30838 30841 30659 0 -1 4202496 2485 0 0 0 148 1 0 0 20 0 1 0 124814839 51126272 9376 33554432000 4194304 6199737 140736113146720 140736113145656 4208371 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/30841/statm: 12482 9376 155 490 0 11983 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 49928

[startup+3.1002 s]
/proc/loadavg: 2.20 2.19 2.07 3/177 30842
/proc/meminfo: memFree=29517716/32872528 swapFree=15272/1656604
[pid=30841] ppid=30838 vsize=50652 CPUtime=3.09 cores=1,3,5,7
/proc/30841/stat : 30841 (cdcl-cuttingpla) R 30838 30841 30659 0 -1 4202496 3580 0 0 0 308 1 0 0 20 0 1 0 124814839 51867648 10604 33554432000 4194304 6199737 140736113146720 140736113145656 4213389 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/30841/statm: 12663 10604 155 490 0 12164 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 50652

[startup+6.30024 s]
/proc/loadavg: 2.20 2.19 2.07 3/177 30842
/proc/meminfo: memFree=29508992/32872528 swapFree=15272/1656604
[pid=30841] ppid=30838 vsize=51140 CPUtime=6.29 cores=1,3,5,7
/proc/30841/stat : 30841 (cdcl-cuttingpla) R 30838 30841 30659 0 -1 4202496 3903 0 0 0 628 1 0 0 20 0 1 0 124814839 52367360 11379 33554432000 4194304 6199737 140736113146720 140736113145656 4213296 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/30841/statm: 12785 11379 161 490 0 12286 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 51140

[startup+12.7002 s]
/proc/loadavg: 2.17 2.19 2.07 3/177 30842
/proc/meminfo: memFree=29489380/32872528 swapFree=15272/1656604
[pid=30841] ppid=30838 vsize=64204 CPUtime=12.68 cores=1,3,5,7
/proc/30841/stat : 30841 (cdcl-cuttingpla) R 30838 30841 30659 0 -1 4202496 4734 0 0 0 1267 1 0 0 20 0 1 0 124814839 65744896 14074 33554432000 4194304 6199737 140736113146720 140736113145656 4213396 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/30841/statm: 16051 14074 161 490 0 15552 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 64204

[startup+25.5002 s]
/proc/loadavg: 2.14 2.18 2.07 3/177 30842
/proc/meminfo: memFree=29469068/32872528 swapFree=15272/1656604
[pid=30841] ppid=30838 vsize=84088 CPUtime=25.49 cores=1,3,5,7
/proc/30841/stat : 30841 (cdcl-cuttingpla) R 30838 30841 30659 0 -1 4202496 5511 0 0 0 2547 2 0 0 20 0 1 0 124814839 86106112 17743 33554432000 4194304 6199737 140736113146720 140736113145656 4213396 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/30841/statm: 21022 17743 161 490 0 20523 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 84088

[startup+51.1003 s]
/proc/loadavg: 2.16 2.18 2.07 3/177 30842
/proc/meminfo: memFree=29436556/32872528 swapFree=15272/1656604
[pid=30841] ppid=30838 vsize=117012 CPUtime=51.08 cores=1,3,5,7
/proc/30841/stat : 30841 (cdcl-cuttingpla) R 30838 30841 30659 0 -1 4202496 7119 0 0 0 5106 2 0 0 20 0 1 0 124814839 119820288 23572 33554432000 4194304 6199737 140736113146720 140736113145512 4213314 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/30841/statm: 29253 23572 161 490 0 28754 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 117012

[startup+102.3 s]
/proc/loadavg: 2.12 2.16 2.07 3/177 30844
/proc/meminfo: memFree=29406852/32872528 swapFree=15272/1656604
[pid=30841] ppid=30838 vsize=118840 CPUtime=102.29 cores=1,3,5,7
/proc/30841/stat : 30841 (cdcl-cuttingpla) R 30838 30841 30659 0 -1 4202496 7597 0 0 0 10226 3 0 0 20 0 1 0 124814839 121692160 28138 33554432000 4194304 6199737 140736113146720 140736113145368 4213381 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/30841/statm: 29710 28138 161 490 0 29211 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 118840

[startup+162.3 s]
/proc/loadavg: 2.17 2.16 2.07 3/177 30845
/proc/meminfo: memFree=29390032/32872528 swapFree=15272/1656604
[pid=30841] ppid=30838 vsize=121412 CPUtime=162.27 cores=1,3,5,7
/proc/30841/stat : 30841 (cdcl-cuttingpla) R 30838 30841 30659 0 -1 4202496 8400 0 0 0 16224 3 0 0 20 0 1 0 124814839 124325888 28897 33554432000 4194304 6199737 140736113146720 140736113145368 4213306 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/30841/statm: 30353 28897 161 490 0 29854 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 121412

[startup+222.307 s]
/proc/loadavg: 2.38 2.22 2.10 3/177 30846
/proc/meminfo: memFree=29368252/32872528 swapFree=15272/1656604
[pid=30841] ppid=30838 vsize=122060 CPUtime=222.27 cores=1,3,5,7
/proc/30841/stat : 30841 (cdcl-cuttingpla) R 30838 30841 30659 0 -1 4202496 8593 0 0 0 22224 3 0 0 20 0 1 0 124814839 124989440 29062 33554432000 4194304 6199737 140736113146720 140736113145656 4213381 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/30841/statm: 30515 29062 161 490 0 30016 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 122060

[startup+282.3 s]
/proc/loadavg: 2.30 2.22 2.10 3/177 30847
/proc/meminfo: memFree=29360180/32872528 swapFree=15272/1656604
[pid=30841] ppid=30838 vsize=124084 CPUtime=282.24 cores=1,3,5,7
/proc/30841/stat : 30841 (cdcl-cuttingpla) R 30838 30841 30659 0 -1 4202496 9196 0 0 0 28221 3 0 0 20 0 1 0 124814839 127062016 29651 33554432000 4194304 6199737 140736113146720 140736113145656 4213377 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/30841/statm: 31021 29651 161 490 0 30522 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 124084

[startup+342.3 s]
/proc/loadavg: 2.29 2.23 2.11 3/176 30848
/proc/meminfo: memFree=29338472/32872528 swapFree=15272/1656604
[pid=30841] ppid=30838 vsize=174736 CPUtime=342.24 cores=1,3,5,7
/proc/30841/stat : 30841 (cdcl-cuttingpla) R 30838 30841 30659 0 -1 4202496 9593 0 0 0 34220 4 0 0 20 0 1 0 124814839 178929664 35097 33554432000 4194304 6199737 140736113146720 140736113145656 4213368 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/30841/statm: 43684 35097 161 490 0 43185 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 174736

[startup+402.3 s]
/proc/loadavg: 2.34 2.25 2.12 3/178 30854
/proc/meminfo: memFree=29293624/32872528 swapFree=15272/1656604
[pid=30841] ppid=30838 vsize=258144 CPUtime=402.23 cores=1,3,5,7
/proc/30841/stat : 30841 (cdcl-cuttingpla) R 30838 30841 30659 0 -1 4202496 10300 0 0 0 40218 5 0 0 20 0 1 0 124814839 264339456 42890 33554432000 4194304 6199737 140736113146720 140736113145736 4213381 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/30841/statm: 64536 42890 161 490 0 64037 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 258144

[startup+462.3 s]
/proc/loadavg: 2.25 2.23 2.12 3/177 30855
/proc/meminfo: memFree=29284664/32872528 swapFree=15272/1656604
[pid=30841] ppid=30838 vsize=258928 CPUtime=462.22 cores=1,3,5,7
/proc/30841/stat : 30841 (cdcl-cuttingpla) R 30838 30841 30659 0 -1 4202496 10924 0 0 0 46217 5 0 0 20 0 1 0 124814839 265142272 44800 33554432000 4194304 6199737 140736113146720 140736113145656 4213314 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/30841/statm: 64732 44800 161 490 0 64233 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 258928

[startup+522.3 s]
/proc/loadavg: 2.17 2.21 2.12 3/177 30856
/proc/meminfo: memFree=29284116/32872528 swapFree=15272/1656604
[pid=30841] ppid=30838 vsize=258928 CPUtime=522.21 cores=1,3,5,7
/proc/30841/stat : 30841 (cdcl-cuttingpla) R 30838 30841 30659 0 -1 4202496 10927 0 0 0 52216 5 0 0 20 0 1 0 124814839 265142272 44803 33554432000 4194304 6199737 140736113146720 140736113145832 4213389 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/30841/statm: 64732 44803 161 490 0 64233 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 258928

[startup+582.3 s]
/proc/loadavg: 2.27 2.23 2.12 3/177 30857
/proc/meminfo: memFree=29281976/32872528 swapFree=15272/1656604
[pid=30841] ppid=30838 vsize=259064 CPUtime=582.2 cores=1,3,5,7
/proc/30841/stat : 30841 (cdcl-cuttingpla) R 30838 30841 30659 0 -1 4202496 11129 0 0 0 58215 5 0 0 20 0 1 0 124814839 265281536 44952 33554432000 4194304 6199737 140736113146720 140736113145832 4213389 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/30841/statm: 64766 44952 161 490 0 64267 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 259064


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


[startup+942.3 s]
/proc/loadavg: 2.30 2.23 2.15 3/177 30864
/proc/meminfo: memFree=29242924/32872528 swapFree=15272/1656604
[pid=30841] ppid=30838 vsize=263068 CPUtime=942.14 cores=1,3,5,7
/proc/30841/stat : 30841 (cdcl-cuttingpla) R 30838 30841 30659 0 -1 4202496 12453 0 0 0 94208 6 0 0 20 0 1 0 124814839 269381632 46608 33554432000 4194304 6199737 140736113146720 140736113145832 4213476 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/30841/statm: 65767 46608 161 490 0 65268 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 263068

[startup+1002.3 s]
/proc/loadavg: 2.24 2.23 2.15 3/178 30869
/proc/meminfo: memFree=29242304/32872528 swapFree=15272/1656604
[pid=30841] ppid=30838 vsize=263120 CPUtime=1002.13 cores=1,3,5,7
/proc/30841/stat : 30841 (cdcl-cuttingpla) R 30838 30841 30659 0 -1 4202496 12512 0 0 0 100207 6 0 0 20 0 1 0 124814839 269434880 46666 33554432000 4194304 6199737 140736113146720 140736113145656 4213296 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/30841/statm: 65780 46666 161 490 0 65281 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 263120

[startup+1062.3 s]
/proc/loadavg: 2.17 2.22 2.15 4/177 30870
/proc/meminfo: memFree=29241936/32872528 swapFree=15272/1656604
[pid=30841] ppid=30838 vsize=263248 CPUtime=1062.13 cores=1,3,5,7
/proc/30841/stat : 30841 (cdcl-cuttingpla) R 30838 30841 30659 0 -1 4202496 12546 0 0 0 106207 6 0 0 20 0 1 0 124814839 269565952 46700 33554432000 4194304 6199737 140736113146720 140736113145656 4213389 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/30841/statm: 65812 46700 161 490 0 65313 0
Current children cumulated CPU time (s) 1062.13
Current children cumulated vsize (KiB) 263248

[startup+1122.3 s]
/proc/loadavg: 2.29 2.23 2.16 3/177 30871
/proc/meminfo: memFree=29241304/32872528 swapFree=15272/1656604
[pid=30841] ppid=30838 vsize=263544 CPUtime=1122.12 cores=1,3,5,7
/proc/30841/stat : 30841 (cdcl-cuttingpla) R 30838 30841 30659 0 -1 4202496 12677 0 0 0 112206 6 0 0 20 0 1 0 124814839 269869056 46829 33554432000 4194304 6199737 140736113146720 140736113145656 4213385 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/30841/statm: 65886 46829 161 490 0 65387 0
Current children cumulated CPU time (s) 1122.12
Current children cumulated vsize (KiB) 263544

[startup+1182.3 s]
/proc/loadavg: 2.28 2.24 2.16 4/177 30872
/proc/meminfo: memFree=29236584/32872528 swapFree=15272/1656604
[pid=30841] ppid=30838 vsize=263944 CPUtime=1182.11 cores=1,3,5,7
/proc/30841/stat : 30841 (cdcl-cuttingpla) R 30838 30841 30659 0 -1 4202496 12786 0 0 0 118205 6 0 0 20 0 1 0 124814839 270278656 47960 33554432000 4194304 6199737 140736113146720 140736113145656 4213381 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/30841/statm: 65986 47960 161 490 0 65487 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 263944

[startup+1242.3 s]
/proc/loadavg: 2.14 2.20 2.16 3/177 30873
/proc/meminfo: memFree=29214236/32872528 swapFree=15272/1656604
[pid=30841] ppid=30838 vsize=264844 CPUtime=1242.1 cores=1,3,5,7
/proc/30841/stat : 30841 (cdcl-cuttingpla) R 30838 30841 30659 0 -1 4202496 13014 0 0 0 124204 6 0 0 20 0 1 0 124814839 271200256 52276 33554432000 4194304 6199737 140736113146720 140736113145656 4213389 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/30841/statm: 66211 52276 161 490 0 65712 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 264844

[startup+1302.3 s]
/proc/loadavg: 2.34 2.25 2.17 3/177 30875
/proc/meminfo: memFree=29193444/32872528 swapFree=15272/1656604
[pid=30841] ppid=30838 vsize=265252 CPUtime=1302.09 cores=1,3,5,7
/proc/30841/stat : 30841 (cdcl-cuttingpla) R 30838 30841 30659 0 -1 4202496 13135 0 0 0 130203 6 0 0 20 0 1 0 124814839 271618048 54430 33554432000 4194304 6199737 140736113146720 140736113145832 4213385 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/30841/statm: 66313 54430 161 490 0 65814 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 265252

[startup+1362.3 s]
/proc/loadavg: 2.26 2.24 2.18 3/177 30876
/proc/meminfo: memFree=29188596/32872528 swapFree=15272/1656604
[pid=30841] ppid=30838 vsize=265252 CPUtime=1362.08 cores=1,3,5,7
/proc/30841/stat : 30841 (cdcl-cuttingpla) R 30838 30841 30659 0 -1 4202496 13171 0 0 0 136202 6 0 0 20 0 1 0 124814839 271618048 54466 33554432000 4194304 6199737 140736113146720 140736113145832 4213381 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/30841/statm: 66313 54466 161 490 0 65814 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 265252

[startup+1422.3 s]
/proc/loadavg: 2.14 2.21 2.17 4/177 30877
/proc/meminfo: memFree=29188468/32872528 swapFree=15272/1656604
[pid=30841] ppid=30838 vsize=265316 CPUtime=1422.07 cores=1,3,5,7
/proc/30841/stat : 30841 (cdcl-cuttingpla) R 30838 30841 30659 0 -1 4202496 13185 0 0 0 142201 6 0 0 20 0 1 0 124814839 271683584 54480 33554432000 4194304 6199737 140736113146720 140736113145656 4213368 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/30841/statm: 66329 54480 161 490 0 65830 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 265316

[startup+1482.3 s]
/proc/loadavg: 2.16 2.20 2.17 4/177 30878
/proc/meminfo: memFree=29188716/32872528 swapFree=15272/1656604
[pid=30841] ppid=30838 vsize=265500 CPUtime=1482.06 cores=1,3,5,7
/proc/30841/stat : 30841 (cdcl-cuttingpla) R 30838 30841 30659 0 -1 4202496 13230 0 0 0 148200 6 0 0 20 0 1 0 124814839 271872000 54525 33554432000 4194304 6199737 140736113146720 140736113145656 4213381 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/30841/statm: 66375 54525 161 490 0 65876 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 265500

[startup+1542.31 s]
/proc/loadavg: 2.25 2.21 2.17 3/177 30879
/proc/meminfo: memFree=29187716/32872528 swapFree=15272/1656604
[pid=30841] ppid=30838 vsize=265948 CPUtime=1542.06 cores=1,3,5,7
/proc/30841/stat : 30841 (cdcl-cuttingpla) R 30838 30841 30659 0 -1 4202496 13374 0 0 0 154200 6 0 0 20 0 1 0 124814839 272330752 54667 33554432000 4194304 6199737 140736113146720 140736113145656 4213314 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/30841/statm: 66487 54667 161 490 0 65988 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 265948

[startup+1602.3 s]
/proc/loadavg: 2.28 2.21 2.18 3/178 30884
/proc/meminfo: memFree=29182884/32872528 swapFree=15272/1656604
[pid=30841] ppid=30838 vsize=266400 CPUtime=1602.04 cores=1,3,5,7
/proc/30841/stat : 30841 (cdcl-cuttingpla) R 30838 30841 30659 0 -1 4202496 13526 0 0 0 160198 6 0 0 20 0 1 0 124814839 272793600 54780 33554432000 4194304 6199737 140736113146720 140736113145832 4213298 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/30841/statm: 66600 54780 161 490 0 66101 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 266400

[startup+1662.3 s]
/proc/loadavg: 2.26 2.22 2.18 3/178 30908
/proc/meminfo: memFree=29167676/32872528 swapFree=15272/1656604
[pid=30841] ppid=30838 vsize=267896 CPUtime=1662.04 cores=1,3,5,7
/proc/30841/stat : 30841 (cdcl-cuttingpla) R 30838 30841 30659 0 -1 4202496 13898 0 0 0 166197 7 0 0 20 0 1 0 124814839 274325504 55146 33554432000 4194304 6199737 140736113146720 140736113145656 4213385 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/30841/statm: 66974 55146 161 490 0 66475 0
Current children cumulated CPU time (s) 1662.04
Current children cumulated vsize (KiB) 267896

[startup+1722.3 s]
/proc/loadavg: 2.20 2.21 2.18 4/177 30909
/proc/meminfo: memFree=29158640/32872528 swapFree=15272/1656604
[pid=30841] ppid=30838 vsize=268668 CPUtime=1722.03 cores=1,3,5,7
/proc/30841/stat : 30841 (cdcl-cuttingpla) R 30838 30841 30659 0 -1 4202496 14087 0 0 0 172196 7 0 0 20 0 1 0 124814839 275116032 55335 33554432000 4194304 6199737 140736113146720 140736113145656 4213396 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/30841/statm: 67167 55335 161 490 0 66668 0
Current children cumulated CPU time (s) 1722.03
Current children cumulated vsize (KiB) 268668

[startup+1782.3 s]
/proc/loadavg: 2.29 2.24 2.19 3/177 30910
/proc/meminfo: memFree=29121092/32872528 swapFree=15272/1656604
[pid=30841] ppid=30838 vsize=269048 CPUtime=1782.02 cores=1,3,5,7
/proc/30841/stat : 30841 (cdcl-cuttingpla) R 30838 30841 30659 0 -1 4202496 14189 0 0 0 178195 7 0 0 20 0 1 0 124814839 275505152 59525 33554432000 4194304 6199737 140736113146720 140736113145656 4213298 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/30841/statm: 67262 59525 161 490 0 66763 0
Current children cumulated CPU time (s) 1782.02
Current children cumulated vsize (KiB) 269048



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.30 2.24 2.19 3/177 30910
/proc/meminfo: memFree=29112404/32872528 swapFree=15272/1656604
[pid=30841] ppid=30838 vsize=269092 CPUtime=1800.01 cores=1,3,5,7
/proc/30841/stat : 30841 (cdcl-cuttingpla) R 30838 30841 30659 0 -1 4202496 14201 0 0 0 179994 7 0 0 20 0 1 0 124814839 275550208 61070 33554432000 4194304 6199737 140736113146720 140736113145656 4213385 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/30841/statm: 67273 61070 161 490 0 66774 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 269092

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

[startup+1800.3 s]
/proc/loadavg: 2.30 2.24 2.19 3/177 30910
/proc/meminfo: memFree=29112404/32872528 swapFree=15272/1656604
[pid=30841] ppid=30838 vsize=269092 CPUtime=1800.01 cores=1,3,5,7
/proc/30841/stat : 30841 (cdcl-cuttingpla) R 30838 30841 30659 0 -1 4202496 14201 0 0 0 179994 7 0 0 20 0 1 0 124814839 275550208 61070 33554432000 4194304 6199737 140736113146720 140736113145656 4213385 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/30841/statm: 67273 61070 161 490 0 66774 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 269092

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

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.95
system time used= 0.076988
maximum resident set size= 244280
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14201
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= 16
involuntary context switches= 1883

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.63129 second user time and 6.84096 second system time

The end

Launcher Data 

Begin job on node136 at 2016-06-09 01:33:35
IDJOB=4087252
IDBENCH=90139
IDSOLVER=2548
FILE ID=node136/4087252-1465428815
RUNJOBID= node136-1465427013-30676
PBS_JOBID= 19859778
Free space on /tmp= 71732 MiB

SOLVER NAME= cdcl-cuttingplanes DEC 2016-05-01
BENCH NAME= PB12/normalized-PB12/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K101.opb
COMMAND LINE= ./cdcl-cuttingplanes-release
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4087252-1465428815/watcher-4087252-1465428815 -o /tmp/evaluation-result-4087252-1465428815/solver-4087252-1465428815 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node136-1465427013-30676 --watchdog 1960 --input HOME/instance-4087252-1465428815.opb ./cdcl-cuttingplanes-release

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

MD5SUM BENCH= a3de6c6ee42f8b511357d3857e721bb4
RANDOM SEED=1653420386

node136.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.959
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.91
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.959
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.959
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.959
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.959
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.959
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.59
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.959
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.959
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:        29573904 kB
Buffers:           74892 kB
Cached:           800132 kB
SwapCached:          712 kB
Active:           438284 kB
Inactive:         465956 kB
Active(anon):      28388 kB
Inactive(anon):     2648 kB
Active(file):     409896 kB
Inactive(file):   463308 kB
Unevictable:     1656604 kB
Mlocked:           15272 kB
SwapTotal:      67108856 kB
SwapFree:       67099424 kB
Dirty:              5488 kB
Writeback:             0 kB
AnonPages:       1660220 kB
Mapped:             7376 kB
Shmem:                 0 kB
Slab:             604224 kB
SReclaimable:      47880 kB
SUnreclaim:       556344 kB
KernelStack:        1376 kB
PageTables:         7512 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1807564 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1644544 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71732 MiB
End job on node136 at 2016-06-09 02:03:36