Trace number 4087276

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

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/
normalized-TateBritain_K95.opb
MD5SUMf5b402df79463ae0743ac9fe7c0d237d
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 benchmark762.18
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6460
Total number of constraints6652
Number of constraints which are clauses6557
Number of constraints which are cardinality constraints (but not clauses)95
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint95
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 96
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= 6460 #constraint= 6652
0.79/0.85	c #Conflicts:       1000 | #Learnt:        998 | 0.003
0.79/0.85	c total clause space: 11.2235MB
0.79/0.85	c total #watches: 81517
4.79/4.88	c total #propagations: 358893 / total #impl: 3450316 (eff. 0.104)
4.79/4.88	c #Conflicts:       2000 | #Learnt:       1998 | 0.006
4.79/4.88	c total clause space: 29.637MB
4.79/4.88	c total #watches: 160896
9.79/9.84	c total #propagations: 729880 / total #impl: 13345178 (eff. 0.055)
9.79/9.84	c GARBAGE COLLECT
9.79/9.84	c #Conflicts:       3000 | #Learnt:       2023 | 0.007
9.79/9.84	c total clause space: 29.637MB
9.79/9.84	c total #watches: 182331
15.78/15.89	c total #propagations: 1148004 / total #impl: 28551311 (eff. 0.040)
15.78/15.89	c #Conflicts:       4000 | #Learnt:       3023 | 0.040
15.78/15.89	c total clause space: 29.637MB
15.78/15.89	c total #watches: 270998
25.09/25.11	c total #propagations: 1480858 / total #impl: 45970754 (eff. 0.032)
25.09/25.11	c GARBAGE COLLECT
25.09/25.11	c #Conflicts:       5000 | #Learnt:       2385 | 0.046
25.09/25.11	c total clause space: 48.1602MB
25.09/25.11	c total #watches: 255867
34.29/34.37	c total #propagations: 1915276 / total #impl: 69117116 (eff. 0.028)
34.29/34.37	c #Conflicts:       6000 | #Learnt:       3385 | 0.039
34.29/34.37	c total clause space: 48.1602MB
34.29/34.37	c total #watches: 351429
48.28/48.39	c total #propagations: 2241887 / total #impl: 95425724 (eff. 0.023)
48.28/48.39	c GARBAGE COLLECT
48.28/48.39	c #Conflicts:       7000 | #Learnt:       2269 | 0.038
48.28/48.39	c total clause space: 78.2603MB
48.28/48.39	c total #watches: 296749
63.17/63.21	c total #propagations: 2586291 / total #impl: 129914052 (eff. 0.020)
63.17/63.21	c #Conflicts:       8000 | #Learnt:       3269 | 0.034
63.17/63.21	c total clause space: 78.2603MB
63.17/63.21	c total #watches: 415951
97.18/97.23	c total #propagations: 2893008 / total #impl: 160040500 (eff. 0.018)
97.18/97.23	c #Conflicts:       9000 | #Learnt:       4269 | 0.033
97.18/97.23	c total clause space: 78.2603MB
97.18/97.23	c total #watches: 498773
127.07/127.13	c total #propagations: 3261174 / total #impl: 192193194 (eff. 0.017)
127.07/127.13	c GARBAGE COLLECT
127.07/127.13	c #Conflicts:      10000 | #Learnt:       2745 | 0.029
127.07/127.13	c total clause space: 127.173MB
127.07/127.13	c total #watches: 290291
141.97/142.08	c total #propagations: 3586256 / total #impl: 229010213 (eff. 0.016)
141.97/142.08	c #Conflicts:      11000 | #Learnt:       3745 | 0.027
141.97/142.08	c total clause space: 127.173MB
141.97/142.08	c total #watches: 371619
161.87/161.94	c total #propagations: 3917996 / total #impl: 268874021 (eff. 0.015)
161.87/161.94	c #Conflicts:      12000 | #Learnt:       4745 | 0.026
161.87/161.94	c total clause space: 127.173MB
161.87/161.94	c total #watches: 506089
194.67/194.75	c total #propagations: 4240049 / total #impl: 310417101 (eff. 0.014)
194.67/194.75	c #Conflicts:      13000 | #Learnt:       5745 | 0.024
194.67/194.75	c total clause space: 127.173MB
194.67/194.75	c total #watches: 642465
214.96/215.02	c total #propagations: 4582955 / total #impl: 393529021 (eff. 0.012)
214.96/215.02	c GARBAGE COLLECT
214.96/215.02	c #Conflicts:      14000 | #Learnt:       3890 | 0.023
214.96/215.02	c total clause space: 127.173MB
214.96/215.02	c total #watches: 456148
240.65/240.72	c total #propagations: 4901418 / total #impl: 431360124 (eff. 0.011)
240.65/240.72	c #Conflicts:      15000 | #Learnt:       4890 | 0.021
240.65/240.72	c total clause space: 127.173MB
240.65/240.72	c total #watches: 551337
266.26/266.37	c total #propagations: 5241446 / total #impl: 471293873 (eff. 0.011)
266.26/266.37	c #Conflicts:      16000 | #Learnt:       5890 | 0.020
266.26/266.37	c total clause space: 127.173MB
266.26/266.37	c total #watches: 735168
296.44/296.57	c total #propagations: 5520175 / total #impl: 527080997 (eff. 0.010)
296.44/296.57	c GARBAGE COLLECT
296.44/296.57	c #Conflicts:      17000 | #Learnt:       3732 | 0.019
296.44/296.57	c total clause space: 127.173MB
296.44/296.57	c total #watches: 430030
324.45/324.55	c total #propagations: 5829176 / total #impl: 575512093 (eff. 0.010)
324.45/324.55	c #Conflicts:      18000 | #Learnt:       4732 | 0.018
324.45/324.55	c total clause space: 127.173MB
324.45/324.55	c total #watches: 562752
364.33/364.46	c total #propagations: 6177705 / total #impl: 625721138 (eff. 0.010)
364.33/364.46	c #Conflicts:      19000 | #Learnt:       5732 | 0.017
364.33/364.46	c total clause space: 127.173MB
364.33/364.46	c total #watches: 633961
411.93/412.03	c total #propagations: 6508362 / total #impl: 676828544 (eff. 0.010)
411.93/412.03	c #Conflicts:      20000 | #Learnt:       6732 | 0.016
411.93/412.03	c total clause space: 127.173MB
411.93/412.03	c total #watches: 725724
442.02/442.17	c total #propagations: 6850789 / total #impl: 728422163 (eff. 0.009)
442.02/442.17	c GARBAGE COLLECT
442.02/442.17	c #Conflicts:      21000 | #Learnt:       4250 | 0.016
442.02/442.17	c total clause space: 127.173MB
442.02/442.17	c total #watches: 426948
469.02/469.14	c total #propagations: 7208562 / total #impl: 768533800 (eff. 0.009)
469.02/469.14	c #Conflicts:      22000 | #Learnt:       5250 | 0.015
469.02/469.14	c total clause space: 127.173MB
469.02/469.14	c total #watches: 569022
504.82/504.97	c total #propagations: 7566204 / total #impl: 815751858 (eff. 0.009)
504.82/504.97	c #Conflicts:      23000 | #Learnt:       6250 | 0.015
504.82/504.97	c total clause space: 127.173MB
504.82/504.97	c total #watches: 725173
562.70/562.89	c total #propagations: 7895616 / total #impl: 888369053 (eff. 0.009)
562.70/562.89	c #Conflicts:      24000 | #Learnt:       7250 | 0.014
562.70/562.89	c total clause space: 127.173MB
562.70/562.89	c total #watches: 858932
603.49/603.61	c total #propagations: 8273152 / total #impl: 967396884 (eff. 0.009)
603.49/603.61	c GARBAGE COLLECT
603.49/603.61	c #Conflicts:      25000 | #Learnt:       4462 | 0.014
603.49/603.61	c total clause space: 127.173MB
603.49/603.61	c total #watches: 567344
641.29/641.41	c total #propagations: 8620792 / total #impl: 1032449906 (eff. 0.008)
641.29/641.41	c #Conflicts:      26000 | #Learnt:       5462 | 0.013
641.29/641.41	c total clause space: 127.173MB
641.29/641.41	c total #watches: 713075
691.58/691.72	c total #propagations: 8949726 / total #impl: 1092307378 (eff. 0.008)
691.58/691.72	c #Conflicts:      27000 | #Learnt:       6462 | 0.013
691.58/691.72	c total clause space: 127.173MB
691.58/691.72	c total #watches: 856790
764.06/764.28	c total #propagations: 9261657 / total #impl: 1145673801 (eff. 0.008)
764.06/764.28	c #Conflicts:      28000 | #Learnt:       7462 | 0.013
764.06/764.28	c total clause space: 127.173MB
764.06/764.28	c total #watches: 963884
848.35/848.55	c total #propagations: 9627330 / total #impl: 1226733362 (eff. 0.008)
848.35/848.55	c GARBAGE COLLECT
848.35/848.55	c #Conflicts:      29000 | #Learnt:       4373 | 0.013
848.35/848.55	c total clause space: 127.173MB
848.35/848.55	c total #watches: 564845
897.94/898.10	c total #propagations: 10019772 / total #impl: 1315403996 (eff. 0.008)
897.94/898.10	c #Conflicts:      30000 | #Learnt:       5373 | 0.012
897.94/898.10	c total clause space: 127.173MB
897.94/898.10	c total #watches: 716656
969.73/969.91	c total #propagations: 10415056 / total #impl: 1398539994 (eff. 0.007)
969.73/969.91	c #Conflicts:      31000 | #Learnt:       6373 | 0.012
969.73/969.91	c total clause space: 127.173MB
969.73/969.91	c total #watches: 921141
1061.33/1061.52	c total #propagations: 10815407 / total #impl: 1505547313 (eff. 0.007)
1061.33/1061.52	c #Conflicts:      32000 | #Learnt:       7373 | 0.012
1061.33/1061.52	c total clause space: 127.173MB
1061.33/1061.52	c total #watches: 1067601
1178.02/1178.23	c total #propagations: 11196890 / total #impl: 1605809418 (eff. 0.007)
1178.02/1178.23	c #Conflicts:      33000 | #Learnt:       8373 | 0.011
1178.02/1178.23	c total clause space: 127.173MB
1178.02/1178.23	c total #watches: 1215799
1263.19/1263.47	c total #propagations: 11584827 / total #impl: 1736259904 (eff. 0.007)
1263.19/1263.47	c GARBAGE COLLECT
1263.19/1263.47	c #Conflicts:      34000 | #Learnt:       4966 | 0.011
1263.19/1263.47	c total clause space: 127.173MB
1263.19/1263.47	c total #watches: 742550
1338.98/1339.27	c total #propagations: 11935844 / total #impl: 1863797507 (eff. 0.006)
1338.98/1339.27	c #Conflicts:      35000 | #Learnt:       5966 | 0.011
1338.98/1339.27	c total clause space: 127.173MB
1338.98/1339.27	c total #watches: 968168
1433.07/1433.37	c total #propagations: 12258031 / total #impl: 2058065067 (eff. 0.006)
1433.07/1433.37	c #Conflicts:      36000 | #Learnt:       6966 | 0.010
1433.07/1433.37	c total clause space: 206.656MB
1433.07/1433.37	c total #watches: 1216673
1556.45/1556.78	c total #propagations: 12539384 / total #impl: 2230626501 (eff. 0.006)
1556.45/1556.78	c #Conflicts:      37000 | #Learnt:       7966 | 0.010
1556.45/1556.78	c total clause space: 206.656MB
1556.45/1556.78	c total #watches: 1393157
1675.04/1675.31	c total #propagations: 12788146 / total #impl: 2412556360 (eff. 0.005)
1675.04/1675.31	c #Conflicts:      38000 | #Learnt:       8966 | 0.010
1675.04/1675.31	c total clause space: 335.816MB
1675.04/1675.31	c total #watches: 1504799
1788.32/1788.64	c total #propagations: 13018876 / total #impl: 2573673320 (eff. 0.005)
1788.32/1788.64	c GARBAGE COLLECT
1788.32/1788.64	c #Conflicts:      39000 | #Learnt:       5355 | 0.010
1788.32/1788.64	c total clause space: 335.816MB
1788.32/1788.64	c total #watches: 879639

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-4087276-1465427044/watcher-4087276-1465427044 -o /tmp/evaluation-result-4087276-1465427044/solver-4087276-1465427044 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node119-1465427044-31682 --watchdog 1960 --input HOME/instance-4087276-1465427044.opb ./cdcl-cuttingplanes-release 

pid=31697
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: 0.44 1.38 1.68 4/170 31700
/proc/meminfo: memFree=29785296/32872528 swapFree=16252/1391864
[pid=31700] ppid=31697 vsize=29104 CPUtime=0 cores=1,3,5,7
/proc/31700/stat : 31700 (cdcl-cuttingpla) R 31697 31700 31665 0 -1 4202496 269 0 0 0 0 0 0 0 20 0 1 0 124637507 29802496 5261 33554432000 4194304 6199737 140733376475936 140734571643784 4209416 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/31700/statm: 7276 5261 122 490 0 6777 0

[startup+0.100166 s]
/proc/loadavg: 0.44 1.38 1.68 4/170 31700
/proc/meminfo: memFree=29785296/32872528 swapFree=16252/1391864
[pid=31700] ppid=31697 vsize=34240 CPUtime=0.09 cores=1,3,5,7
/proc/31700/stat : 31700 (cdcl-cuttingpla) R 31697 31700 31665 0 -1 4202496 1286 0 0 0 9 0 0 0 20 0 1 0 124637507 35061760 7462 33554432000 4194304 6199737 140733376475936 140734571643784 5149722 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/31700/statm: 8560 7463 139 490 0 8061 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 34240

[startup+0.200337 s]
/proc/loadavg: 0.44 1.38 1.68 4/170 31700
/proc/meminfo: memFree=29785296/32872528 swapFree=16252/1391864
[pid=31700] ppid=31697 vsize=37172 CPUtime=0.19 cores=1,3,5,7
/proc/31700/stat : 31700 (cdcl-cuttingpla) R 31697 31700 31665 0 -1 4202496 1618 0 0 0 19 0 0 0 20 0 1 0 124637507 38064128 7723 33554432000 4194304 6199737 140733376475936 140734571643784 4213314 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/31700/statm: 9293 7723 139 490 0 8794 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 37172

[startup+0.300264 s]
/proc/loadavg: 0.44 1.38 1.68 4/170 31700
/proc/meminfo: memFree=29785296/32872528 swapFree=16252/1391864
[pid=31700] ppid=31697 vsize=41720 CPUtime=0.29 cores=1,3,5,7
/proc/31700/stat : 31700 (cdcl-cuttingpla) R 31697 31700 31665 0 -1 4202496 1931 0 0 0 29 0 0 0 20 0 1 0 124637507 42721280 7936 33554432000 4194304 6199737 140733376475936 140734571643784 4213372 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/31700/statm: 10430 7936 139 490 0 9931 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 41720

[startup+0.700239 s]
/proc/loadavg: 0.44 1.38 1.68 4/170 31700
/proc/meminfo: memFree=29785296/32872528 swapFree=16252/1391864
[pid=31700] ppid=31697 vsize=42096 CPUtime=0.69 cores=1,3,5,7
/proc/31700/stat : 31700 (cdcl-cuttingpla) R 31697 31700 31665 0 -1 4202496 2215 0 0 0 69 0 0 0 20 0 1 0 124637507 43106304 8655 33554432000 4194304 6199737 140733376475936 140733376474872 4213368 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/31700/statm: 10524 8655 139 490 0 10025 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 42096

[startup+1.50023 s]
/proc/loadavg: 0.44 1.38 1.68 4/177 31712
/proc/meminfo: memFree=29709336/32872528 swapFree=16252/1391864
[pid=31700] ppid=31697 vsize=50024 CPUtime=1.49 cores=1,3,5,7
/proc/31700/stat : 31700 (cdcl-cuttingpla) R 31697 31700 31665 0 -1 4202496 2818 0 0 0 148 1 0 0 20 0 1 0 124637507 51224576 10154 33554432000 4194304 6199737 140733376475936 140733376474872 4213389 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/31700/statm: 12506 10154 155 490 0 12007 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 50024

[startup+3.1003 s]
/proc/loadavg: 0.44 1.38 1.68 4/177 31712
/proc/meminfo: memFree=29702636/32872528 swapFree=16252/1391864
[pid=31700] ppid=31697 vsize=62304 CPUtime=3.09 cores=1,3,5,7
/proc/31700/stat : 31700 (cdcl-cuttingpla) R 31697 31700 31665 0 -1 4202496 3191 0 0 0 308 1 0 0 20 0 1 0 124637507 63799296 10949 33554432000 4194304 6199737 140733376475936 140733376474872 4208371 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/31700/statm: 15576 10949 155 490 0 15077 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 62304

[startup+6.30019 s]
/proc/loadavg: 0.65 1.41 1.68 4/177 31712
/proc/meminfo: memFree=29686308/32872528 swapFree=16252/1391864
[pid=31700] ppid=31697 vsize=62836 CPUtime=6.29 cores=1,3,5,7
/proc/31700/stat : 31700 (cdcl-cuttingpla) R 31697 31700 31665 0 -1 4202496 4679 0 0 0 628 1 0 0 20 0 1 0 124637507 64344064 13068 33554432000 4194304 6199737 140733376475936 140733376475048 4213381 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/31700/statm: 15709 13068 155 490 0 15210 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 62836

[startup+12.7002 s]
/proc/loadavg: 0.76 1.42 1.68 3/177 31712
/proc/meminfo: memFree=29680352/32872528 swapFree=16252/1391864
[pid=31700] ppid=31697 vsize=63764 CPUtime=12.69 cores=1,3,5,7
/proc/31700/stat : 31700 (cdcl-cuttingpla) R 31697 31700 31665 0 -1 4202496 5029 0 0 0 1268 1 0 0 20 0 1 0 124637507 65294336 13397 33554432000 4194304 6199737 140733376475936 140733376474584 4213296 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/31700/statm: 15941 13397 161 490 0 15442 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 63764

[startup+25.5003 s]
/proc/loadavg: 1.11 1.46 1.69 3/177 31712
/proc/meminfo: memFree=29658712/32872528 swapFree=16252/1391864
[pid=31700] ppid=31697 vsize=83764 CPUtime=25.49 cores=1,3,5,7
/proc/31700/stat : 31700 (cdcl-cuttingpla) R 31697 31700 31665 0 -1 4202496 5934 0 0 0 2547 2 0 0 20 0 1 0 124637507 85774336 16531 33554432000 4194304 6199737 140733376475936 140733376474872 4213389 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/31700/statm: 20941 16531 161 490 0 20442 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 83764

[startup+51.1003 s]
/proc/loadavg: 1.61 1.55 1.72 4/177 31712
/proc/meminfo: memFree=29634536/32872528 swapFree=16252/1391864
[pid=31700] ppid=31697 vsize=117112 CPUtime=51.08 cores=1,3,5,7
/proc/31700/stat : 31700 (cdcl-cuttingpla) R 31697 31700 31665 0 -1 4202496 7087 0 0 0 5106 2 0 0 20 0 1 0 124637507 119922688 20536 33554432000 4194304 6199737 140733376475936 140733376474872 4235295 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/31700/statm: 29278 20536 161 490 0 28779 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 117112

[startup+102.3 s]
/proc/loadavg: 2.08 1.68 1.75 3/177 31713
/proc/meminfo: memFree=29587524/32872528 swapFree=16252/1391864
[pid=31700] ppid=31697 vsize=119720 CPUtime=102.28 cores=1,3,5,7
/proc/31700/stat : 31700 (cdcl-cuttingpla) R 31697 31700 31665 0 -1 4202496 7873 0 0 0 10225 3 0 0 20 0 1 0 124637507 122593280 27948 33554432000 4194304 6199737 140733376475936 140733376474584 4213389 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/31700/statm: 29930 27948 161 490 0 29431 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 119720

[startup+162.3 s]
/proc/loadavg: 2.13 1.77 1.77 3/177 31714
/proc/meminfo: memFree=29556380/32872528 swapFree=16252/1391864
[pid=31700] ppid=31697 vsize=170848 CPUtime=162.27 cores=1,3,5,7
/proc/31700/stat : 31700 (cdcl-cuttingpla) R 31697 31700 31665 0 -1 4202496 8956 0 0 0 16223 4 0 0 20 0 1 0 124637507 174948352 30228 33554432000 4194304 6199737 140733376475936 140733376474872 4213385 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/31700/statm: 42712 30228 161 490 0 42213 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 170848

[startup+222.307 s]
/proc/loadavg: 2.29 1.87 1.81 3/177 31716
/proc/meminfo: memFree=29527348/32872528 swapFree=16252/1391864
[pid=31700] ppid=31697 vsize=171552 CPUtime=222.27 cores=1,3,5,7
/proc/31700/stat : 31700 (cdcl-cuttingpla) R 31697 31700 31665 0 -1 4202496 9243 0 0 0 22223 4 0 0 20 0 1 0 124637507 175669248 30471 33554432000 4194304 6199737 140733376475936 140733376475048 4213385 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/31700/statm: 42888 30471 161 490 0 42389 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 171552

[startup+282.3 s]
/proc/loadavg: 2.18 1.92 1.83 3/177 31717
/proc/meminfo: memFree=29513024/32872528 swapFree=16252/1391864
[pid=31700] ppid=31697 vsize=172952 CPUtime=282.25 cores=1,3,5,7
/proc/31700/stat : 31700 (cdcl-cuttingpla) R 31697 31700 31665 0 -1 4202496 9809 0 0 0 28221 4 0 0 20 0 1 0 124637507 177102848 31004 33554432000 4194304 6199737 140733376475936 140733376474872 4213385 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/31700/statm: 43238 31004 161 490 0 42739 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 172952

[startup+342.3 s]
/proc/loadavg: 2.10 1.94 1.84 3/177 31718
/proc/meminfo: memFree=29505388/32872528 swapFree=16252/1391864
[pid=31700] ppid=31697 vsize=173628 CPUtime=342.24 cores=1,3,5,7
/proc/31700/stat : 31700 (cdcl-cuttingpla) R 31697 31700 31665 0 -1 4202496 10100 0 0 0 34220 4 0 0 20 0 1 0 124637507 177795072 32776 33554432000 4194304 6199737 140733376475936 140733376474760 4213331 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/31700/statm: 43407 32776 161 490 0 42908 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 173628

[startup+402.3 s]
/proc/loadavg: 2.11 1.98 1.85 3/178 31722
/proc/meminfo: memFree=29477572/32872528 swapFree=16252/1391864
[pid=31700] ppid=31697 vsize=175176 CPUtime=402.23 cores=1,3,5,7
/proc/31700/stat : 31700 (cdcl-cuttingpla) R 31697 31700 31665 0 -1 4202496 10502 0 0 0 40218 5 0 0 20 0 1 0 124637507 179380224 39310 33554432000 4194304 6199737 140733376475936 140733376474872 4213381 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/31700/statm: 43794 39310 161 490 0 43295 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 175176

[startup+462.3 s]
/proc/loadavg: 2.12 2.00 1.86 3/177 31723
/proc/meminfo: memFree=29468004/32872528 swapFree=16252/1391864
[pid=31700] ppid=31697 vsize=175424 CPUtime=462.22 cores=1,3,5,7
/proc/31700/stat : 31700 (cdcl-cuttingpla) R 31697 31700 31665 0 -1 4202496 10603 0 0 0 46217 5 0 0 20 0 1 0 124637507 179634176 41438 33554432000 4194304 6199737 140733376475936 140733376475048 4213296 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/31700/statm: 43856 41438 161 490 0 43357 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 175424

[startup+522.3 s]
/proc/loadavg: 2.04 2.00 1.87 3/177 31725
/proc/meminfo: memFree=29466648/32872528 swapFree=16252/1391864
[pid=31700] ppid=31697 vsize=175856 CPUtime=522.21 cores=1,3,5,7
/proc/31700/stat : 31700 (cdcl-cuttingpla) R 31697 31700 31665 0 -1 4202496 10754 0 0 0 52216 5 0 0 20 0 1 0 124637507 180076544 41587 33554432000 4194304 6199737 140733376475936 140733376474872 4213385 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/31700/statm: 43964 41587 161 490 0 43465 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 175856

[startup+582.3 s]
/proc/loadavg: 2.06 2.01 1.88 3/177 31726
/proc/meminfo: memFree=29464672/32872528 swapFree=16252/1391864
[pid=31700] ppid=31697 vsize=177164 CPUtime=582.19 cores=1,3,5,7
/proc/31700/stat : 31700 (cdcl-cuttingpla) R 31697 31700 31665 0 -1 4202496 11079 0 0 0 58214 5 0 0 20 0 1 0 124637507 181415936 41912 33554432000 4194304 6199737 140733376475936 140733376474872 4213385 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/31700/statm: 44291 41912 161 490 0 43792 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 177164


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


[startup+942.3 s]
/proc/loadavg: 2.10 2.09 1.95 3/177 31733
/proc/meminfo: memFree=29448984/32872528 swapFree=16252/1391864
[pid=31700] ppid=31697 vsize=179396 CPUtime=942.14 cores=1,3,5,7
/proc/31700/stat : 31700 (cdcl-cuttingpla) R 31697 31700 31665 0 -1 4202496 11664 0 0 0 94209 5 0 0 20 0 1 0 124637507 183701504 42492 33554432000 4194304 6199737 140733376475936 140733376474872 4213368 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/31700/statm: 44849 42492 161 490 0 44350 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 179396

[startup+1002.3 s]
/proc/loadavg: 2.24 2.13 1.97 4/178 31737
/proc/meminfo: memFree=29426988/32872528 swapFree=16252/1391864
[pid=31700] ppid=31697 vsize=179468 CPUtime=1002.13 cores=1,3,5,7
/proc/31700/stat : 31700 (cdcl-cuttingpla) R 31697 31700 31665 0 -1 4202496 11703 0 0 0 100208 5 0 0 20 0 1 0 124637507 183775232 42531 33554432000 4194304 6199737 140733376475936 140733376474872 4213306 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/31700/statm: 44867 42531 161 490 0 44368 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 179468

[startup+1062.3 s]
/proc/loadavg: 2.18 2.13 1.98 4/177 31738
/proc/meminfo: memFree=29401312/32872528 swapFree=16252/1391864
[pid=31700] ppid=31697 vsize=179884 CPUtime=1062.13 cores=1,3,5,7
/proc/31700/stat : 31700 (cdcl-cuttingpla) R 31697 31700 31665 0 -1 4202496 11803 0 0 0 106207 6 0 0 20 0 1 0 124637507 184201216 42631 33554432000 4194304 6199737 140733376475936 140733376475048 4213385 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/31700/statm: 44971 42631 161 490 0 44472 0
Current children cumulated CPU time (s) 1062.13
Current children cumulated vsize (KiB) 179884

[startup+1122.3 s]
/proc/loadavg: 2.18 2.14 1.99 3/177 31740
/proc/meminfo: memFree=29400200/32872528 swapFree=16252/1391864
[pid=31700] ppid=31697 vsize=180300 CPUtime=1122.12 cores=1,3,5,7
/proc/31700/stat : 31700 (cdcl-cuttingpla) R 31697 31700 31665 0 -1 4202496 11902 0 0 0 112206 6 0 0 20 0 1 0 124637507 184627200 42730 33554432000 4194304 6199737 140733376475936 140733376474872 4213381 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/31700/statm: 45075 42730 161 490 0 44576 0
Current children cumulated CPU time (s) 1122.12
Current children cumulated vsize (KiB) 180300

[startup+1182.3 s]
/proc/loadavg: 2.18 2.14 2.00 3/177 31741
/proc/meminfo: memFree=29399216/32872528 swapFree=16252/1391864
[pid=31700] ppid=31697 vsize=180760 CPUtime=1182.11 cores=1,3,5,7
/proc/31700/stat : 31700 (cdcl-cuttingpla) R 31697 31700 31665 0 -1 4202496 12024 0 0 0 118205 6 0 0 20 0 1 0 124637507 185098240 42852 33554432000 4194304 6199737 140733376475936 140733376474872 4213306 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/31700/statm: 45190 42852 161 490 0 44691 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 180760

[startup+1242.3 s]
/proc/loadavg: 2.30 2.18 2.02 3/177 31742
/proc/meminfo: memFree=29377368/32872528 swapFree=16252/1391864
[pid=31700] ppid=31697 vsize=181156 CPUtime=1242.1 cores=1,3,5,7
/proc/31700/stat : 31700 (cdcl-cuttingpla) R 31697 31700 31665 0 -1 4202496 12128 0 0 0 124204 6 0 0 20 0 1 0 124637507 185503744 43977 33554432000 4194304 6199737 140733376475936 140733376474872 4213389 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/31700/statm: 45289 43977 161 490 0 44790 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 181156

[startup+1302.3 s]
/proc/loadavg: 2.23 2.17 2.02 3/177 31743
/proc/meminfo: memFree=29362280/32872528 swapFree=16252/1391864
[pid=31700] ppid=31697 vsize=181156 CPUtime=1302.09 cores=1,3,5,7
/proc/31700/stat : 31700 (cdcl-cuttingpla) R 31697 31700 31665 0 -1 4202496 12132 0 0 0 130203 6 0 0 20 0 1 0 124637507 185503744 43981 33554432000 4194304 6199737 140733376475936 140733376475048 4213476 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/31700/statm: 45289 43981 161 490 0 44790 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 181156

[startup+1362.3 s]
/proc/loadavg: 2.25 2.18 2.03 4/177 31744
/proc/meminfo: memFree=29347452/32872528 swapFree=16252/1391864
[pid=31700] ppid=31697 vsize=181348 CPUtime=1362.07 cores=1,3,5,7
/proc/31700/stat : 31700 (cdcl-cuttingpla) R 31697 31700 31665 0 -1 4202496 13314 0 0 0 136201 6 0 0 20 0 1 0 124637507 185700352 44034 33554432000 4194304 6199737 140733376475936 140733376474872 4213389 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/31700/statm: 45337 44034 161 490 0 44838 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 181348

[startup+1422.3 s]
/proc/loadavg: 2.36 2.22 2.05 3/176 31745
/proc/meminfo: memFree=29315444/32872528 swapFree=16252/1391864
[pid=31700] ppid=31697 vsize=263608 CPUtime=1422.07 cores=1,3,5,7
/proc/31700/stat : 31700 (cdcl-cuttingpla) R 31697 31700 31665 0 -1 4202496 14091 0 0 0 142200 7 0 0 20 0 1 0 124637507 269934592 50037 33554432000 4194304 6199737 140733376475936 140733376474872 4213381 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/31700/statm: 65902 50037 161 490 0 65403 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 263608

[startup+1482.3 s]
/proc/loadavg: 2.17 2.20 2.05 3/177 31747
/proc/meminfo: memFree=29291800/32872528 swapFree=16252/1391864
[pid=31700] ppid=31697 vsize=264308 CPUtime=1482.05 cores=1,3,5,7
/proc/31700/stat : 31700 (cdcl-cuttingpla) R 31697 31700 31665 0 -1 4202496 14277 0 0 0 148198 7 0 0 20 0 1 0 124637507 270651392 54311 33554432000 4194304 6199737 140733376475936 140733376474872 4213396 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/31700/statm: 66077 54311 161 490 0 65578 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 264308

[startup+1542.31 s]
/proc/loadavg: 2.19 2.19 2.06 4/177 31748
/proc/meminfo: memFree=29271136/32872528 swapFree=16252/1391864
[pid=31700] ppid=31697 vsize=264604 CPUtime=1542.06 cores=1,3,5,7
/proc/31700/stat : 31700 (cdcl-cuttingpla) R 31697 31700 31665 0 -1 4202496 14363 0 0 0 154198 8 0 0 20 0 1 0 124637507 270954496 59511 33554432000 4194304 6199737 140733376475936 140733376474872 4213314 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/31700/statm: 66151 59511 161 490 0 65652 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 264604

[startup+1602.3 s]
/proc/loadavg: 2.18 2.18 2.06 4/178 31752
/proc/meminfo: memFree=29248148/32872528 swapFree=16252/1391864
[pid=31700] ppid=31697 vsize=397140 CPUtime=1602.04 cores=1,3,5,7
/proc/31700/stat : 31700 (cdcl-cuttingpla) R 31697 31700 31665 0 -1 4202496 15376 0 0 0 160196 8 0 0 20 0 1 0 124637507 406671360 65726 33554432000 4194304 6199737 140733376475936 140733376474872 4213381 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/31700/statm: 99285 65726 161 490 0 98786 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 397140

[startup+1662.3 s]
/proc/loadavg: 2.19 2.18 2.07 3/177 31753
/proc/meminfo: memFree=29215396/32872528 swapFree=16252/1391864
[pid=31700] ppid=31697 vsize=397436 CPUtime=1662.03 cores=1,3,5,7
/proc/31700/stat : 31700 (cdcl-cuttingpla) R 31697 31700 31665 0 -1 4202496 16676 0 0 0 166194 9 0 0 20 0 1 0 124637507 406974464 73319 33554432000 4194304 6199737 140733376475936 140733376474872 4213296 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/31700/statm: 99359 73319 161 490 0 98860 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 397436

[startup+1722.3 s]
/proc/loadavg: 2.19 2.17 2.07 3/177 31754
/proc/meminfo: memFree=29179580/32872528 swapFree=16252/1391864
[pid=31700] ppid=31697 vsize=397836 CPUtime=1722.02 cores=1,3,5,7
/proc/31700/stat : 31700 (cdcl-cuttingpla) R 31697 31700 31665 0 -1 4202496 19242 0 0 0 172192 10 0 0 20 0 1 0 124637507 407384064 82121 33554432000 4194304 6199737 140733376475936 140733376474872 4213381 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/31700/statm: 99459 82121 161 490 0 98960 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 397836

[startup+1782.3 s]
/proc/loadavg: 2.07 2.14 2.07 3/176 31756
/proc/meminfo: memFree=29174564/32872528 swapFree=16252/1391864
[pid=31700] ppid=31697 vsize=397992 CPUtime=1782.01 cores=1,3,5,7
/proc/31700/stat : 31700 (cdcl-cuttingpla) R 31697 31700 31665 0 -1 4202496 19377 0 0 0 178191 10 0 0 20 0 1 0 124637507 407543808 83196 33554432000 4194304 6199737 140733376475936 140733376474872 4213368 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/31700/statm: 99498 83196 161 490 0 98999 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 397992



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.12 2.15 2.07 3/177 31757
/proc/meminfo: memFree=29174008/32872528 swapFree=16252/1391864
[pid=31700] ppid=31697 vsize=398052 CPUtime=1800.01 cores=1,3,5,7
/proc/31700/stat : 31700 (cdcl-cuttingpla) R 31697 31700 31665 0 -1 4202496 19391 0 0 0 179991 10 0 0 20 0 1 0 124637507 407605248 83210 33554432000 4194304 6199737 140733376475936 140733376474872 4213296 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/31700/statm: 99513 83210 161 490 0 99014 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 398052

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

[startup+1800.3 s]
/proc/loadavg: 2.12 2.15 2.07 3/177 31757
/proc/meminfo: memFree=29174008/32872528 swapFree=16252/1391864
[pid=31700] ppid=31697 vsize=398052 CPUtime=1800.01 cores=1,3,5,7
/proc/31700/stat : 31700 (cdcl-cuttingpla) R 31697 31700 31665 0 -1 4202496 19391 0 0 0 179991 10 0 0 20 0 1 0 124637507 407605248 83210 33554432000 4194304 6199737 140733376475936 140733376474872 4213296 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/31700/statm: 99513 83210 161 490 0 99014 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 398052

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

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.91
system time used= 0.107983
maximum resident set size= 332840
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19391
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= 1870

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.34034 second user time and 7.17491 second system time

The end

Launcher Data 

Begin job on node119 at 2016-06-09 01:04:04
IDJOB=4087276
IDBENCH=90134
IDSOLVER=2548
FILE ID=node119/4087276-1465427044
RUNJOBID= node119-1465427044-31682
PBS_JOBID= 19859789
Free space on /tmp= 71740 MiB

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

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

MD5SUM BENCH= f5b402df79463ae0743ac9fe7c0d237d
RANDOM SEED=1764700082

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.410
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.56
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.410
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:        29786212 kB
Buffers:          144740 kB
Cached:           805880 kB
SwapCached:          816 kB
Active:           441596 kB
Inactive:         512200 kB
Active(anon):       2688 kB
Inactive(anon):     2712 kB
Active(file):     438908 kB
Inactive(file):   509488 kB
Unevictable:     1391864 kB
Mlocked:           16252 kB
SwapTotal:      67108856 kB
SwapFree:       67100208 kB
Dirty:              2732 kB
Writeback:             0 kB
AnonPages:       1393904 kB
Mapped:             6800 kB
Shmem:                 0 kB
Slab:             608092 kB
SReclaimable:      52680 kB
SUnreclaim:       555412 kB
KernelStack:        1344 kB
PageTables:         6644 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1488368 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1378304 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71732 MiB
End job on node119 at 2016-06-09 01:34:04