Trace number 4118779

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.02 1800.3

General information on the benchmark

NamePB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/
minlplib2-pb-0.1.0/opb/normalized-edgecross24-115.lin.opb
MD5SUM6e10896707ba1f61ee1eeed9b67b775a
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark2102
Best CPU time to get the best result obtained on this benchmark1800.27
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6291
Total number of constraints19573
Number of constraints which are clauses13834
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints5738
Minimum length of a constraint1
Maximum length of a constraint3
Number of terms in the objective function 6235
Biggest coefficient in the objective function 3269
Number of bits for the biggest coefficient in the objective function 12
Sum of the numbers in the objective function 18647
Number of bits of the sum of numbers in the objective function 15
Biggest number in a constraint 3269
Number of bits of the biggest number in a constraint 12
Biggest sum of numbers in a constraint 18647
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= 6291 #constraint= 19573
5.69/5.72	c #Conflicts:       1000 | #Learnt:       1001 | 0.000
5.69/5.72	c total clause space: 127.173MB
5.69/5.72	c total #watches: 178588
15.69/15.74	c total #propagations: 153912 / total #impl: 2300121 (eff. 0.067)
15.69/15.74	c #Conflicts:       2000 | #Learnt:       2001 | 0.000
15.69/15.74	c total clause space: 206.656MB
15.69/15.74	c total #watches: 231937
25.59/25.61	c total #propagations: 345423 / total #impl: 5774261 (eff. 0.060)
25.59/25.61	c GC COLLECT
25.59/25.61	c #Conflicts:       3000 | #Learnt:       2005 | 0.000
25.59/25.61	c total clause space: 206.656MB
25.59/25.61	c total #watches: 263531
35.98/36.07	c total #propagations: 529261 / total #impl: 9389918 (eff. 0.056)
35.98/36.07	c #Conflicts:       4000 | #Learnt:       3005 | 0.000
35.98/36.07	c total clause space: 335.816MB
35.98/36.07	c total #watches: 315893
47.99/48.04	c total #propagations: 727088 / total #impl: 12712696 (eff. 0.057)
47.99/48.04	c GC COLLECT
47.99/48.04	c #Conflicts:       5000 | #Learnt:       2357 | 0.000
47.99/48.04	c total clause space: 335.816MB
47.99/48.04	c total #watches: 315525
58.99/59.02	c total #propagations: 886730 / total #impl: 15217278 (eff. 0.058)
58.99/59.02	c #Conflicts:       6000 | #Learnt:       3357 | 0.001
58.99/59.02	c total clause space: 335.816MB
58.99/59.02	c total #watches: 345056
70.08/70.12	c total #propagations: 1038300 / total #impl: 18001225 (eff. 0.058)
70.08/70.12	c GC COLLECT
70.08/70.12	c #Conflicts:       7000 | #Learnt:       2232 | 0.000
70.08/70.12	c total clause space: 545.701MB
70.08/70.12	c total #watches: 343140
81.88/81.96	c total #propagations: 1125055 / total #impl: 22782826 (eff. 0.049)
81.88/81.96	c #Conflicts:       8000 | #Learnt:       3232 | 0.000
81.88/81.96	c total clause space: 545.701MB
81.88/81.96	c total #watches: 430104
102.67/102.75	c total #propagations: 1200859 / total #impl: 30706123 (eff. 0.039)
102.67/102.75	c #Conflicts:       9000 | #Learnt:       4236 | 0.000
102.67/102.75	c total clause space: 545.701MB
102.67/102.75	c total #watches: 576899
127.47/127.51	c total #propagations: 1336866 / total #impl: 39553393 (eff. 0.034)
127.47/127.51	c GC COLLECT
127.47/127.51	c #Conflicts:      10000 | #Learnt:       2724 | 0.001
127.47/127.51	c total clause space: 545.701MB
127.47/127.51	c total #watches: 523954
154.77/154.83	c total #propagations: 1470838 / total #impl: 47055565 (eff. 0.031)
154.77/154.83	c #Conflicts:      11000 | #Learnt:       3734 | 0.000
154.77/154.83	c total clause space: 545.701MB
154.77/154.83	c total #watches: 693986
191.56/191.63	c total #propagations: 1586946 / total #impl: 54717904 (eff. 0.029)
191.56/191.63	c #Conflicts:      12000 | #Learnt:       4738 | 0.000
191.56/191.63	c total clause space: 545.701MB
191.56/191.63	c total #watches: 839568
237.05/237.19	c total #propagations: 1741824 / total #impl: 60125476 (eff. 0.029)
237.05/237.19	c #Conflicts:      13000 | #Learnt:       5738 | 0.000
237.05/237.19	c total clause space: 545.701MB
237.05/237.19	c total #watches: 902701
265.55/265.66	c total #propagations: 1895123 / total #impl: 64730995 (eff. 0.029)
265.55/265.66	c GC COLLECT
265.55/265.66	c #Conflicts:      14000 | #Learnt:       3876 | 0.000
265.55/265.66	c total clause space: 545.701MB
265.55/265.66	c total #watches: 688325
290.25/290.39	c total #propagations: 2061582 / total #impl: 69173234 (eff. 0.030)
290.25/290.39	c #Conflicts:      15000 | #Learnt:       4876 | 0.000
290.25/290.39	c total clause space: 545.701MB
290.25/290.39	c total #watches: 759435
316.14/316.28	c total #propagations: 2205268 / total #impl: 74251878 (eff. 0.030)
316.14/316.28	c #Conflicts:      16000 | #Learnt:       5876 | 0.000
316.14/316.28	c total clause space: 545.701MB
316.14/316.28	c total #watches: 843588
341.05/341.16	c total #propagations: 2340347 / total #impl: 78104007 (eff. 0.030)
341.05/341.16	c GC COLLECT
341.05/341.16	c #Conflicts:      17000 | #Learnt:       3713 | 0.000
341.05/341.16	c total clause space: 886.764MB
341.05/341.16	c total #watches: 557794
361.85/361.98	c total #propagations: 2478326 / total #impl: 83044983 (eff. 0.030)
361.85/361.98	c #Conflicts:      18000 | #Learnt:       4713 | 0.000
361.85/361.98	c total clause space: 886.764MB
361.85/361.98	c total #watches: 618127
385.23/385.38	c total #propagations: 2612645 / total #impl: 87866693 (eff. 0.030)
385.23/385.38	c #Conflicts:      19000 | #Learnt:       5713 | 0.000
385.23/385.38	c total clause space: 886.764MB
385.23/385.38	c total #watches: 649567
422.53/422.65	c total #propagations: 2760569 / total #impl: 92851692 (eff. 0.030)
422.53/422.65	c #Conflicts:      20000 | #Learnt:       6713 | 0.000
422.53/422.65	c total clause space: 886.764MB
422.53/422.65	c total #watches: 727246
443.42/443.58	c total #propagations: 2937055 / total #impl: 99778155 (eff. 0.029)
443.42/443.58	c GC COLLECT
443.42/443.58	c #Conflicts:      21000 | #Learnt:       4228 | 0.000
443.42/443.58	c total clause space: 886.764MB
443.42/443.58	c total #watches: 552015
463.91/464.09	c total #propagations: 3076698 / total #impl: 106378580 (eff. 0.029)
463.91/464.09	c #Conflicts:      22000 | #Learnt:       5228 | 0.000
463.91/464.09	c total clause space: 886.764MB
463.91/464.09	c total #watches: 615761
486.61/486.75	c total #propagations: 3181621 / total #impl: 110916106 (eff. 0.029)
486.61/486.75	c #Conflicts:      23000 | #Learnt:       6228 | 0.000
486.61/486.75	c total clause space: 886.764MB
486.61/486.75	c total #watches: 758425
519.61/519.79	c total #propagations: 3270206 / total #impl: 118107326 (eff. 0.028)
519.61/519.79	c #Conflicts:      24000 | #Learnt:       7228 | 0.000
519.61/519.79	c total clause space: 886.764MB
519.61/519.79	c total #watches: 889121
553.80/553.93	c total #propagations: 3367381 / total #impl: 129092297 (eff. 0.026)
553.80/553.93	c GC COLLECT
553.80/553.93	c #Conflicts:      25000 | #Learnt:       4435 | 0.000
553.80/553.93	c total clause space: 886.764MB
553.80/553.93	c total #watches: 810588
590.20/590.32	c total #propagations: 3466925 / total #impl: 137709577 (eff. 0.025)
590.20/590.32	c #Conflicts:      26000 | #Learnt:       5435 | 0.000
590.20/590.32	c total clause space: 886.764MB
590.20/590.32	c total #watches: 964617
638.70/638.80	c total #propagations: 3545276 / total #impl: 145800768 (eff. 0.024)
638.70/638.80	c #Conflicts:      27000 | #Learnt:       6435 | 0.000
638.70/638.80	c total clause space: 886.764MB
638.70/638.80	c total #watches: 1085018
704.28/704.40	c total #propagations: 3616733 / total #impl: 153833053 (eff. 0.024)
704.28/704.40	c #Conflicts:      28000 | #Learnt:       7445 | 0.000
704.28/704.40	c total clause space: 886.764MB
704.28/704.40	c total #watches: 1251256
752.58/752.79	c total #propagations: 3771876 / total #impl: 160661660 (eff. 0.023)
752.58/752.79	c GC COLLECT
752.58/752.79	c #Conflicts:      29000 | #Learnt:       4349 | 0.000
752.58/752.79	c total clause space: 886.764MB
752.58/752.79	c total #watches: 1057451
825.76/825.96	c total #propagations: 3883337 / total #impl: 170854278 (eff. 0.023)
825.76/825.96	c #Conflicts:      30000 | #Learnt:       5349 | 0.000
825.76/825.96	c total clause space: 886.764MB
825.76/825.96	c total #watches: 1140405
975.94/976.10	c total #propagations: 4031315 / total #impl: 176552128 (eff. 0.023)
975.94/976.10	c #Conflicts:      31000 | #Learnt:       6404 | 0.000
975.94/976.10	c total clause space: 886.764MB
975.94/976.10	c total #watches: 1573554
1135.02/1135.28	c total #propagations: 4467023 / total #impl: 183860937 (eff. 0.024)
1135.02/1135.28	c #Conflicts:      32000 | #Learnt:       7462 | 0.000
1135.02/1135.28	c total clause space: 886.764MB
1135.02/1135.28	c total #watches: 2092515
1228.20/1228.49	c total #propagations: 4888356 / total #impl: 192877604 (eff. 0.025)
1228.20/1228.49	c #Conflicts:      33000 | #Learnt:       8462 | 0.000
1228.20/1228.49	c total clause space: 886.764MB
1228.20/1228.49	c total #watches: 2240197
1317.39/1317.68	c total #propagations: 5073232 / total #impl: 196870553 (eff. 0.026)
1317.39/1317.68	c GC COLLECT
1317.39/1317.68	c #Conflicts:      34000 | #Learnt:       5051 | 0.000
1317.39/1317.68	c total clause space: 886.764MB
1317.39/1317.68	c total #watches: 1626685
1401.78/1402.01	c total #propagations: 5297461 / total #impl: 199860693 (eff. 0.027)
1401.78/1402.01	c #Conflicts:      35000 | #Learnt:       6051 | 0.000
1401.78/1402.01	c total clause space: 886.764MB
1401.78/1402.01	c total #watches: 1668591
1478.17/1478.49	c total #propagations: 5530282 / total #impl: 203734794 (eff. 0.027)
1478.17/1478.49	c #Conflicts:      36000 | #Learnt:       7051 | 0.000
1478.17/1478.49	c total clause space: 886.764MB
1478.17/1478.49	c total #watches: 1710504
1549.66/1550.00	c total #propagations: 5738378 / total #impl: 207419385 (eff. 0.028)
1549.66/1550.00	c #Conflicts:      37000 | #Learnt:       8051 | 0.000
1549.66/1550.00	c total clause space: 886.764MB
1549.66/1550.00	c total #watches: 1728712
1611.64/1611.91	c total #propagations: 5937979 / total #impl: 214126872 (eff. 0.028)
1611.64/1611.91	c #Conflicts:      38000 | #Learnt:       9051 | 0.000
1611.64/1611.91	c total clause space: 886.764MB
1611.64/1611.91	c total #watches: 1742365
1675.43/1675.76	c total #propagations: 6150214 / total #impl: 217158009 (eff. 0.028)
1675.43/1675.76	c GC COLLECT
1675.43/1675.76	c #Conflicts:      39000 | #Learnt:       5417 | 0.000
1675.43/1675.76	c total clause space: 886.764MB
1675.43/1675.76	c total #watches: 966901
1717.33/1717.64	c total #propagations: 6388725 / total #impl: 220638079 (eff. 0.029)
1717.33/1717.64	c #Conflicts:      40000 | #Learnt:       6417 | 0.000
1717.33/1717.64	c total clause space: 886.764MB
1717.33/1717.64	c total #watches: 988843
1763.22/1763.52	c total #propagations: 6645347 / total #impl: 224154677 (eff. 0.030)
1763.22/1763.52	c #Conflicts:      41000 | #Learnt:       7417 | 0.000
1763.22/1763.52	c total clause space: 886.764MB
1763.22/1763.52	c total #watches: 1015596

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-4118779-1467226923/watcher-4118779-1467226923 -o /tmp/evaluation-result-4118779-1467226923/solver-4118779-1467226923 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1467210288-1999 --watchdog 1960 --input HOME/instance-4118779-1467226923.opb ./cdcl-cuttingplanes-opt-linearsearch-release 

pid=3881
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.06 2.07 2.07 3/176 3884
/proc/meminfo: memFree=30706692/32872528 swapFree=478180/527236
[pid=3884] ppid=3881 vsize=29112 CPUtime=0 cores=1,3,5,7
/proc/3884/stat : 3884 (cdcl-cuttingpla) R 3881 3884 1982 0 -1 4202496 276 0 0 0 0 0 0 0 20 0 1 0 1712281 29810688 5268 33554432000 4194304 6201397 140735162072560 140733899561448 4211056 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/3884/statm: 7278 5268 130 491 0 6777 0

[startup+0.100208 s]
/proc/loadavg: 2.06 2.07 2.07 3/176 3884
/proc/meminfo: memFree=30706692/32872528 swapFree=478180/527236
[pid=3884] ppid=3881 vsize=34852 CPUtime=0.09 cores=1,3,5,7
/proc/3884/stat : 3884 (cdcl-cuttingpla) R 3881 3884 1982 0 -1 4202496 1252 0 0 0 9 0 0 0 20 0 1 0 1712281 35688448 7508 33554432000 4194304 6201397 140735162072560 140733899561448 4217661 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/3884/statm: 8713 7508 146 491 0 8212 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 34852

[startup+0.20035 s]
/proc/loadavg: 2.06 2.07 2.07 3/176 3884
/proc/meminfo: memFree=30706692/32872528 swapFree=478180/527236
[pid=3884] ppid=3881 vsize=42312 CPUtime=0.19 cores=1,3,5,7
/proc/3884/stat : 3884 (cdcl-cuttingpla) R 3881 3884 1982 0 -1 4202496 1624 0 0 0 19 0 0 0 20 0 1 0 1712281 43327488 8866 33554432000 4194304 6201397 140735162072560 140733899561448 4214509 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/3884/statm: 10578 8866 147 491 0 10077 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 42312

[startup+0.300297 s]
/proc/loadavg: 2.06 2.07 2.07 3/176 3884
/proc/meminfo: memFree=30706692/32872528 swapFree=478180/527236
[pid=3884] ppid=3881 vsize=49620 CPUtime=0.29 cores=1,3,5,7
/proc/3884/stat : 3884 (cdcl-cuttingpla) R 3881 3884 1982 0 -1 4202496 1814 0 0 0 29 0 0 0 20 0 1 0 1712281 50810880 9545 33554432000 4194304 6201397 140735162072560 140733899561448 4213168 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/3884/statm: 12405 9545 147 491 0 11904 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 49620

[startup+0.700298 s]
/proc/loadavg: 2.06 2.07 2.07 3/176 3884
/proc/meminfo: memFree=30706692/32872528 swapFree=478180/527236
[pid=3884] ppid=3881 vsize=61388 CPUtime=0.69 cores=1,3,5,7
/proc/3884/stat : 3884 (cdcl-cuttingpla) R 3881 3884 1982 0 -1 4202496 2027 0 0 0 69 0 0 0 20 0 1 0 1712281 62861312 12289 33554432000 4194304 6201397 140735162072560 140733899561448 4213186 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/3884/statm: 15347 12289 147 491 0 14846 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 61388

[startup+1.50028 s]
/proc/loadavg: 2.06 2.07 2.07 3/177 3885
/proc/meminfo: memFree=30650820/32872528 swapFree=478180/527236
[pid=3884] ppid=3881 vsize=81164 CPUtime=1.49 cores=1,3,5,7
/proc/3884/stat : 3884 (cdcl-cuttingpla) R 3881 3884 1982 0 -1 4202496 2415 0 0 0 148 1 0 0 20 0 1 0 1712281 83111936 16231 33554432000 4194304 6201397 140735162072560 140735162071272 4213261 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/3884/statm: 20291 16231 147 491 0 19790 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 81164

[startup+3.10023 s]
/proc/loadavg: 2.06 2.07 2.07 3/177 3885
/proc/meminfo: memFree=30632576/32872528 swapFree=478180/527236
[pid=3884] ppid=3881 vsize=112396 CPUtime=3.09 cores=1,3,5,7
/proc/3884/stat : 3884 (cdcl-cuttingpla) R 3881 3884 1982 0 -1 4202496 2687 0 0 0 308 1 0 0 20 0 1 0 1712281 115093504 22101 33554432000 4194304 6201397 140735162072560 140735162071400 4213186 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/3884/statm: 28099 22101 147 491 0 27598 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 112396

[startup+6.30028 s]
/proc/loadavg: 2.06 2.07 2.07 4/177 3885
/proc/meminfo: memFree=30598972/32872528 swapFree=478180/527236
[pid=3884] ppid=3881 vsize=162600 CPUtime=6.29 cores=1,3,5,7
/proc/3884/stat : 3884 (cdcl-cuttingpla) R 3881 3884 1982 0 -1 4202496 3002 0 0 0 628 1 0 0 20 0 1 0 1712281 166502400 28964 33554432000 4194304 6201397 140735162072560 140735162071512 4213186 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/3884/statm: 40650 28964 160 491 0 40149 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 162600

[startup+12.7003 s]
/proc/loadavg: 2.05 2.06 2.07 3/177 3885
/proc/meminfo: memFree=30541828/32872528 swapFree=478180/527236
[pid=3884] ppid=3881 vsize=245216 CPUtime=12.69 cores=1,3,5,7
/proc/3884/stat : 3884 (cdcl-cuttingpla) R 3881 3884 1982 0 -1 4202496 3528 0 0 0 1267 2 0 0 20 0 1 0 1712281 251101184 42219 33554432000 4194304 6201397 140735162072560 140735162071400 4213257 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/3884/statm: 61304 42219 160 491 0 60803 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 245216

[startup+25.5003 s]
/proc/loadavg: 2.04 2.06 2.06 3/177 3885
/proc/meminfo: memFree=30497684/32872528 swapFree=478180/527236
[pid=3884] ppid=3881 vsize=245496 CPUtime=25.49 cores=1,3,5,7
/proc/3884/stat : 3884 (cdcl-cuttingpla) R 3881 3884 1982 0 -1 4202496 6747 0 0 0 2546 3 0 0 20 0 1 0 1712281 251387904 50918 33554432000 4194304 6201397 140735162072560 140735162071176 4213178 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/3884/statm: 61374 50918 166 491 0 60873 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 245496

[startup+51.1003 s]
/proc/loadavg: 2.03 2.05 2.06 3/177 3885
/proc/meminfo: memFree=30391316/32872528 swapFree=478180/527236
[pid=3884] ppid=3881 vsize=380740 CPUtime=51.09 cores=1,3,5,7
/proc/3884/stat : 3884 (cdcl-cuttingpla) R 3881 3884 1982 0 -1 4202496 7848 0 0 0 5104 5 0 0 20 0 1 0 1712281 389877760 77505 33554432000 4194304 6201397 140735162072560 140735162071688 4213268 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/3884/statm: 95185 77505 166 491 0 94684 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 380740

[startup+102.3 s]
/proc/loadavg: 2.05 2.06 2.06 3/177 3886
/proc/meminfo: memFree=30288648/32872528 swapFree=478180/527236
[pid=3884] ppid=3881 vsize=600500 CPUtime=102.28 cores=1,3,5,7
/proc/3884/stat : 3884 (cdcl-cuttingpla) R 3881 3884 1982 0 -1 4202496 10126 0 0 0 10222 6 0 0 20 0 1 0 1712281 614912000 99947 33554432000 4194304 6201397 140735162072560 140735162071512 4213168 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/3884/statm: 150125 99947 166 491 0 149624 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 600500

[startup+162.3 s]
/proc/loadavg: 2.08 2.06 2.06 3/177 3888
/proc/meminfo: memFree=30191528/32872528 swapFree=478180/527236
[pid=3884] ppid=3881 vsize=606688 CPUtime=162.27 cores=1,3,5,7
/proc/3884/stat : 3884 (cdcl-cuttingpla) R 3881 3884 1982 0 -1 4202496 12400 0 0 0 16219 8 0 0 20 0 1 0 1712281 621248512 118928 33554432000 4194304 6201397 140735162072560 140735162071400 4213168 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/3884/statm: 151672 118928 166 491 0 151171 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 606688

[startup+222.307 s]
/proc/loadavg: 2.06 2.06 2.06 3/177 3889
/proc/meminfo: memFree=30143504/32872528 swapFree=478180/527236
[pid=3884] ppid=3881 vsize=608860 CPUtime=222.27 cores=1,3,5,7
/proc/3884/stat : 3884 (cdcl-cuttingpla) R 3881 3884 1982 0 -1 4202496 13187 0 0 0 22218 9 0 0 20 0 1 0 1712281 623472640 127638 33554432000 4194304 6201397 140735162072560 140735162071400 4213253 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/3884/statm: 152215 127638 166 491 0 151714 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 608860

[startup+282.3 s]
/proc/loadavg: 2.02 2.05 2.06 3/177 3890
/proc/meminfo: memFree=30090756/32872528 swapFree=478180/527236
[pid=3884] ppid=3881 vsize=609496 CPUtime=282.25 cores=1,3,5,7
/proc/3884/stat : 3884 (cdcl-cuttingpla) R 3881 3884 1982 0 -1 4202496 13667 0 0 0 28215 10 0 0 20 0 1 0 1712281 624123904 136626 33554432000 4194304 6201397 140735162072560 140735162071512 4213240 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/3884/statm: 152374 136626 166 491 0 151873 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 609496

[startup+342.3 s]
/proc/loadavg: 2.04 2.05 2.06 3/177 3891
/proc/meminfo: memFree=30029128/32872528 swapFree=478180/527236
[pid=3884] ppid=3881 vsize=959896 CPUtime=342.24 cores=1,3,5,7
/proc/3884/stat : 3884 (cdcl-cuttingpla) R 3881 3884 1982 0 -1 4202496 14735 0 0 0 34213 11 0 0 20 0 1 0 1712281 982933504 151913 33554432000 4194304 6201397 140735162072560 140735162071688 4213186 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/3884/statm: 239974 151913 166 491 0 239473 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 959896

[startup+402.3 s]
/proc/loadavg: 2.08 2.06 2.05 3/177 3892
/proc/meminfo: memFree=30010908/32872528 swapFree=478180/527236
[pid=3884] ppid=3881 vsize=962684 CPUtime=402.22 cores=1,3,5,7
/proc/3884/stat : 3884 (cdcl-cuttingpla) R 3881 3884 1982 0 -1 4202496 15617 0 0 0 40211 11 0 0 20 0 1 0 1712281 985788416 152692 33554432000 4194304 6201397 140735162072560 140735162071512 4213240 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/3884/statm: 240671 152692 166 491 0 240170 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 962684

[startup+462.3 s]
/proc/loadavg: 2.13 2.07 2.06 3/176 3893
/proc/meminfo: memFree=29955688/32872528 swapFree=478180/527236
[pid=3884] ppid=3881 vsize=963812 CPUtime=462.21 cores=1,3,5,7
/proc/3884/stat : 3884 (cdcl-cuttingpla) R 3881 3884 1982 0 -1 4202496 16160 0 0 0 46209 12 0 0 20 0 1 0 1712281 986943488 165897 33554432000 4194304 6201397 140735162072560 140735162071688 4213365 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/3884/statm: 240953 165897 166 491 0 240452 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 963812

[startup+522.3 s]
/proc/loadavg: 2.05 2.06 2.05 3/178 3898
/proc/meminfo: memFree=29917004/32872528 swapFree=478180/527236
[pid=3884] ppid=3881 vsize=964904 CPUtime=522.21 cores=1,3,5,7
/proc/3884/stat : 3884 (cdcl-cuttingpla) R 3881 3884 1982 0 -1 4202496 16652 0 0 0 52208 13 0 0 20 0 1 0 1712281 988061696 173908 33554432000 4194304 6201397 140735162072560 140735162071400 4213192 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/3884/statm: 241226 173908 166 491 0 240725 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 964904

[startup+582.3 s]
/proc/loadavg: 2.02 2.05 2.05 3/177 3899
/proc/meminfo: memFree=29879904/32872528 swapFree=478180/527236
[pid=3884] ppid=3881 vsize=966260 CPUtime=582.2 cores=1,3,5,7
/proc/3884/stat : 3884 (cdcl-cuttingpla) R 3881 3884 1982 0 -1 4202496 17601 0 0 0 58207 13 0 0 20 0 1 0 1712281 989450240 182002 33554432000 4194304 6201397 140735162072560 140735162071512 4213168 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/3884/statm: 241565 182002 166 491 0 241064 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 966260


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


[startup+942.3 s]
/proc/loadavg: 2.10 2.08 2.06 3/178 3908
/proc/meminfo: memFree=29753752/32872528 swapFree=478180/527236
[pid=3884] ppid=3881 vsize=978124 CPUtime=942.15 cores=1,3,5,7
/proc/3884/stat : 3884 (cdcl-cuttingpla) R 3881 3884 1982 0 -1 4202496 22819 0 0 0 94198 17 0 0 20 0 1 0 1712281 1001598976 201722 33554432000 4194304 6201397 140735162072560 140735162071512 4213257 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/3884/statm: 244531 201722 166 491 0 244030 0
Current children cumulated CPU time (s) 942.15
Current children cumulated vsize (KiB) 978124

[startup+1002.3 s]
/proc/loadavg: 2.20 2.11 2.07 3/177 3909
/proc/meminfo: memFree=29737620/32872528 swapFree=478180/527236
[pid=3884] ppid=3881 vsize=981668 CPUtime=1002.14 cores=1,3,5,7
/proc/3884/stat : 3884 (cdcl-cuttingpla) R 3881 3884 1982 0 -1 4202496 23948 0 0 0 100197 17 0 0 20 0 1 0 1712281 1005228032 202633 33554432000 4194304 6201397 140735162072560 140735162071512 4213186 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/3884/statm: 245417 202633 166 491 0 244916 0
Current children cumulated CPU time (s) 1002.14
Current children cumulated vsize (KiB) 981668

[startup+1062.3 s]
/proc/loadavg: 2.07 2.09 2.06 3/177 3910
/proc/meminfo: memFree=29731668/32872528 swapFree=478180/527236
[pid=3884] ppid=3881 vsize=982864 CPUtime=1062.13 cores=1,3,5,7
/proc/3884/stat : 3884 (cdcl-cuttingpla) R 3881 3884 1982 0 -1 4202496 24712 0 0 0 106196 17 0 0 20 0 1 0 1712281 1006452736 202934 33554432000 4194304 6201397 140735162072560 140735162071256 4213186 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/3884/statm: 245716 202934 166 491 0 245215 0
Current children cumulated CPU time (s) 1062.13
Current children cumulated vsize (KiB) 982864

[startup+1122.3 s]
/proc/loadavg: 2.09 2.08 2.06 3/178 3915
/proc/meminfo: memFree=29730492/32872528 swapFree=478180/527236
[pid=3884] ppid=3881 vsize=983604 CPUtime=1122.12 cores=1,3,5,7
/proc/3884/stat : 3884 (cdcl-cuttingpla) R 3881 3884 1982 0 -1 4202496 24928 0 0 0 112195 17 0 0 20 0 1 0 1712281 1007210496 203108 33554432000 4194304 6201397 140735162072560 140735162071224 4213168 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/3884/statm: 245901 203108 166 491 0 245400 0
Current children cumulated CPU time (s) 1122.12
Current children cumulated vsize (KiB) 983604

[startup+1182.3 s]
/proc/loadavg: 2.03 2.07 2.05 4/177 3916
/proc/meminfo: memFree=29709476/32872528 swapFree=478180/527236
[pid=3884] ppid=3881 vsize=985964 CPUtime=1182.11 cores=1,3,5,7
/proc/3884/stat : 3884 (cdcl-cuttingpla) R 3881 3884 1982 0 -1 4202496 25617 0 0 0 118194 17 0 0 20 0 1 0 1712281 1009627136 203703 33554432000 4194304 6201397 140735162072560 140735162071512 4213168 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/3884/statm: 246491 203703 166 491 0 245990 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 985964

[startup+1242.3 s]
/proc/loadavg: 2.01 2.05 2.05 3/177 3917
/proc/meminfo: memFree=29669560/32872528 swapFree=478180/527236
[pid=3884] ppid=3881 vsize=986332 CPUtime=1242.1 cores=1,3,5,7
/proc/3884/stat : 3884 (cdcl-cuttingpla) R 3881 3884 1982 0 -1 4202496 25796 0 0 0 124192 18 0 0 20 0 1 0 1712281 1010003968 213529 33554432000 4194304 6201397 140735162072560 140735162071688 4233590 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/3884/statm: 246583 213529 166 491 0 246082 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 986332

[startup+1302.3 s]
/proc/loadavg: 2.05 2.06 2.05 3/177 3918
/proc/meminfo: memFree=29644580/32872528 swapFree=478180/527236
[pid=3884] ppid=3881 vsize=986508 CPUtime=1302.1 cores=1,3,5,7
/proc/3884/stat : 3884 (cdcl-cuttingpla) R 3881 3884 1982 0 -1 4202496 25961 0 0 0 130191 19 0 0 20 0 1 0 1712281 1010184192 219721 33554432000 4194304 6201397 140735162072560 140735162071512 4213261 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/3884/statm: 246627 219721 166 491 0 246126 0
Current children cumulated CPU time (s) 1302.1
Current children cumulated vsize (KiB) 986508

[startup+1362.3 s]
/proc/loadavg: 2.12 2.07 2.05 3/177 3919
/proc/meminfo: memFree=29631668/32872528 swapFree=478180/527236
[pid=3884] ppid=3881 vsize=986508 CPUtime=1362.09 cores=1,3,5,7
/proc/3884/stat : 3884 (cdcl-cuttingpla) R 3881 3884 1982 0 -1 4202496 26047 0 0 0 136190 19 0 0 20 0 1 0 1712281 1010184192 219722 33554432000 4194304 6201397 140735162072560 140735162071512 4213261 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/3884/statm: 246627 219722 166 491 0 246126 0
Current children cumulated CPU time (s) 1362.09
Current children cumulated vsize (KiB) 986508

[startup+1422.3 s]
/proc/loadavg: 2.08 2.07 2.05 3/177 3966
/proc/meminfo: memFree=29905356/32872528 swapFree=478180/527236
[pid=3884] ppid=3881 vsize=986508 CPUtime=1422.08 cores=1,3,5,7
/proc/3884/stat : 3884 (cdcl-cuttingpla) R 3881 3884 1982 0 -1 4202496 26139 0 0 0 142189 19 0 0 20 0 1 0 1712281 1010184192 219886 33554432000 4194304 6201397 140735162072560 140735162071512 4213240 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/3884/statm: 246627 219886 166 491 0 246126 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 986508

[startup+1482.3 s]
/proc/loadavg: 2.10 2.09 2.06 3/177 3967
/proc/meminfo: memFree=29838932/32872528 swapFree=478180/527236
[pid=3884] ppid=3881 vsize=986508 CPUtime=1482.06 cores=1,3,5,7
/proc/3884/stat : 3884 (cdcl-cuttingpla) R 3881 3884 1982 0 -1 4202496 26260 0 0 0 148187 19 0 0 20 0 1 0 1712281 1010184192 219958 33554432000 4194304 6201397 140735162072560 140735162071688 4213186 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/3884/statm: 246627 219958 166 491 0 246126 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 986508

[startup+1542.31 s]
/proc/loadavg: 2.17 2.10 2.06 3/177 3968
/proc/meminfo: memFree=29784140/32872528 swapFree=478180/527236
[pid=3884] ppid=3881 vsize=986508 CPUtime=1542.06 cores=1,3,5,7
/proc/3884/stat : 3884 (cdcl-cuttingpla) R 3881 3884 1982 0 -1 4202496 26277 0 0 0 154187 19 0 0 20 0 1 0 1712281 1010184192 219958 33554432000 4194304 6201397 140735162072560 140735162071512 4213178 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/3884/statm: 246627 219958 166 491 0 246126 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 986508

[startup+1602.3 s]
/proc/loadavg: 2.06 2.08 2.06 3/177 3969
/proc/meminfo: memFree=29745912/32872528 swapFree=478180/527236
[pid=3884] ppid=3881 vsize=986548 CPUtime=1602.04 cores=1,3,5,7
/proc/3884/stat : 3884 (cdcl-cuttingpla) R 3881 3884 1982 0 -1 4202496 26305 0 0 0 160185 19 0 0 20 0 1 0 1712281 1010225152 219968 33554432000 4194304 6201397 140735162072560 140735162071512 4213240 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/3884/statm: 246637 219968 166 491 0 246136 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 986548

[startup+1662.3 s]
/proc/loadavg: 2.02 2.06 2.05 3/177 3970
/proc/meminfo: memFree=29726680/32872528 swapFree=478180/527236
[pid=3884] ppid=3881 vsize=986652 CPUtime=1662.04 cores=1,3,5,7
/proc/3884/stat : 3884 (cdcl-cuttingpla) R 3881 3884 1982 0 -1 4202496 26377 0 0 0 166185 19 0 0 20 0 1 0 1712281 1010331648 219994 33554432000 4194304 6201397 140735162072560 140735162071512 4213192 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/3884/statm: 246663 219994 166 491 0 246162 0
Current children cumulated CPU time (s) 1662.04
Current children cumulated vsize (KiB) 986652

[startup+1722.3 s]
/proc/loadavg: 2.08 2.06 2.05 3/178 3975
/proc/meminfo: memFree=29703332/32872528 swapFree=478180/527236
[pid=3884] ppid=3881 vsize=986652 CPUtime=1722.03 cores=1,3,5,7
/proc/3884/stat : 3884 (cdcl-cuttingpla) R 3881 3884 1982 0 -1 4202496 26441 0 0 0 172184 19 0 0 20 0 1 0 1712281 1010331648 219994 33554432000 4194304 6201397 140735162072560 140735162071688 4213261 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/3884/statm: 246663 219994 166 491 0 246162 0
Current children cumulated CPU time (s) 1722.03
Current children cumulated vsize (KiB) 986652

[startup+1782.3 s]
/proc/loadavg: 2.03 2.05 2.04 3/177 3976
/proc/meminfo: memFree=29660136/32872528 swapFree=478180/527236
[pid=3884] ppid=3881 vsize=986652 CPUtime=1782.02 cores=1,3,5,7
/proc/3884/stat : 3884 (cdcl-cuttingpla) R 3881 3884 1982 0 -1 4202496 26559 0 0 0 178183 19 0 0 20 0 1 0 1712281 1010331648 220016 33554432000 4194304 6201397 140735162072560 140735162071512 4213261 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/3884/statm: 246663 220016 166 491 0 246162 0
Current children cumulated CPU time (s) 1782.02
Current children cumulated vsize (KiB) 986652



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.02 2.05 2.04 3/177 3977
/proc/meminfo: memFree=29659756/32872528 swapFree=478180/527236
[pid=3884] ppid=3881 vsize=986652 CPUtime=1800.01 cores=1,3,5,7
/proc/3884/stat : 3884 (cdcl-cuttingpla) R 3881 3884 1982 0 -1 4202496 26559 0 0 0 179982 19 0 0 20 0 1 0 1712281 1010331648 220016 33554432000 4194304 6201397 140735162072560 140735162071512 4213253 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/3884/statm: 246663 220016 166 491 0 246162 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 986652

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

[startup+1800.3 s]
/proc/loadavg: 2.02 2.05 2.04 3/177 3977
/proc/meminfo: memFree=29659756/32872528 swapFree=478180/527236
[pid=3884] ppid=3881 vsize=986652 CPUtime=1800.01 cores=1,3,5,7
/proc/3884/stat : 3884 (cdcl-cuttingpla) R 3881 3884 1982 0 -1 4202496 26559 0 0 0 179982 19 0 0 20 0 1 0 1712281 1010331648 220016 33554432000 4194304 6201397 140735162072560 140735162071512 4213253 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/3884/statm: 246663 220016 166 491 0 246162 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 986652

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.3
CPU time (s): 1800.02
CPU user time (s): 1799.83
CPU system time (s): 0.19497
CPU usage (%): 99.9845
Max. virtual memory (cumulated for all children) (KiB): 986652

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.83
system time used= 0.19497
maximum resident set size= 880128
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26559
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= 1990

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.2582 second user time and 7.03793 second system time

The end

Launcher Data 

Begin job on node141 at 2016-06-29 21:02:04
IDJOB=4118779
IDBENCH=111531
IDSOLVER=2550
FILE ID=node141/4118779-1467226923
RUNJOBID= node141-1467210288-1999
PBS_JOBID= 19997592
Free space on /tmp= 71744 MiB

SOLVER NAME= cdcl-cuttingplanes OPT linear search 2016-05-01
BENCH NAME= PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-edgecross24-115.lin.opb
COMMAND LINE= ./cdcl-cuttingplanes-opt-linearsearch-release
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4118779-1467226923/watcher-4118779-1467226923 -o /tmp/evaluation-result-4118779-1467226923/solver-4118779-1467226923 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1467210288-1999 --watchdog 1960 --input HOME/instance-4118779-1467226923.opb ./cdcl-cuttingplanes-opt-linearsearch-release

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

MD5SUM BENCH= 6e10896707ba1f61ee1eeed9b67b775a
RANDOM SEED=1361180855

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30707220 kB
Buffers:           68064 kB
Cached:           606016 kB
SwapCached:            0 kB
Active:           339768 kB
Inactive:         592092 kB
Active(anon):     260320 kB
Inactive(anon):        4 kB
Active(file):      79448 kB
Inactive(file):   592088 kB
Unevictable:      527236 kB
Mlocked:          478180 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              3112 kB
Writeback:             0 kB
AnonPages:        784624 kB
Mapped:            14532 kB
Shmem:               204 kB
Slab:             576020 kB
SReclaimable:      20112 kB
SUnreclaim:       555908 kB
KernelStack:        1448 kB
PageTables:         5720 kB
NFS_Unstable:          4 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     897720 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    278528 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= 71744 MiB
End job on node141 at 2016-06-29 21:32:04