Trace number 4087900

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 binary search 2016-05-01? (TO) 1800.03 1800.31

General information on the benchmark

Name/OPT-SMALLINT-LIN/sroussel/BA/
normalized-BA_RDC4.dot_luby_50null0mast_rapportOE1.0_TMAX300_K67_cod2.opb
MD5SUMb363732a49ff55c5c06709720571fcad
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-592
Best CPU time to get the best result obtained on this benchmark1800.09
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables40937
Total number of constraints41436
Number of constraints which are clauses40882
Number of constraints which are cardinality constraints (but not clauses)67
Number of constraints which are nor clauses,nor cardinality constraints487
Minimum length of a constraint1
Maximum length of a constraint8416
Number of terms in the objective function 243
Biggest coefficient in the objective function 64
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 829
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 300
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 12582
Number of bits of the biggest sum of numbers14
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.08/0.10	c * #variable= 40937 #constraint= 41436
0.19/0.26	c * #variable= 40937 #constraint= 41436
5.09/5.14	c S1->S2
5.09/5.14	c #Conflicts:       1000 | #Learnt:        997 | 0.903
5.09/5.14	c total clause space: 29.637MB
5.09/5.14	c total #watches: 536427
15.60/15.68	c total #propagations: 1132809 / total #impl: 12553874 (eff. 0.090)
15.60/15.68	c #Conflicts:       2000 | #Learnt:       1996 | 0.489
15.60/15.68	c total clause space: 48.1602MB
15.60/15.68	c total #watches: 750604
27.98/28.09	c total #propagations: 3095883 / total #impl: 25719947 (eff. 0.120)
27.98/28.09	c GC COLLECT
27.98/28.09	c #Conflicts:       3000 | #Learnt:       2024 | 0.326
27.98/28.09	c total clause space: 78.2603MB
27.98/28.09	c total #watches: 750225
46.78/46.86	c total #propagations: 5200817 / total #impl: 46044096 (eff. 0.113)
46.78/46.86	c #Conflicts:       4000 | #Learnt:       3024 | 0.245
46.78/46.86	c total clause space: 78.2603MB
46.78/46.86	c total #watches: 885346
58.18/58.20	c total #propagations: 7188801 / total #impl: 69652547 (eff. 0.103)
58.18/58.20	c GC COLLECT
58.18/58.20	c #Conflicts:       5000 | #Learnt:       2385 | 0.196
58.18/58.20	c total clause space: 78.2603MB
58.18/58.20	c total #watches: 660794
70.38/70.40	c total #propagations: 9223221 / total #impl: 98207094 (eff. 0.094)
70.38/70.40	c #Conflicts:       6000 | #Learnt:       3385 | 0.163
70.38/70.40	c total clause space: 78.2603MB
70.38/70.40	c total #watches: 752377
86.88/86.97	c total #propagations: 10900367 / total #impl: 125067647 (eff. 0.087)
86.88/86.97	c GC COLLECT
86.88/86.97	c #Conflicts:       7000 | #Learnt:       2268 | 0.140
86.88/86.97	c total clause space: 78.2603MB
86.88/86.97	c total #watches: 514140
101.38/101.42	c total #propagations: 12525493 / total #impl: 170254972 (eff. 0.074)
101.38/101.42	c S1->S2
101.38/101.42	c #Conflicts:       8000 | #Learnt:       3268 | 0.284
101.38/101.42	c total clause space: 78.2603MB
101.38/101.42	c total #watches: 665852
117.57/117.63	c total #propagations: 14199430 / total #impl: 217673047 (eff. 0.065)
117.57/117.63	c #Conflicts:       9000 | #Learnt:       4268 | 0.278
117.57/117.63	c total clause space: 78.2603MB
117.57/117.63	c total #watches: 828970
126.97/127.01	c total #propagations: 16692701 / total #impl: 238259436 (eff. 0.070)
126.97/127.01	c S2->S1
126.97/127.01	c GC COLLECT
126.97/127.01	c #Conflicts:      10000 | #Learnt:        446 | 0.274
126.97/127.01	c total clause space: 127.173MB
126.97/127.01	c total #watches: 225418
132.57/132.69	c total #propagations: 20018803 / total #impl: 252036471 (eff. 0.079)
132.57/132.69	c #Conflicts:      11000 | #Learnt:       1446 | 0.249
132.57/132.69	c total clause space: 127.173MB
132.57/132.69	c total #watches: 290299
138.27/138.31	c total #propagations: 25577913 / total #impl: 267120127 (eff. 0.096)
138.27/138.31	c #Conflicts:      12000 | #Learnt:       2445 | 0.229
138.27/138.31	c total clause space: 127.173MB
138.27/138.31	c total #watches: 407450
143.27/143.39	c total #propagations: 30127299 / total #impl: 279143567 (eff. 0.108)
143.27/143.39	c #Conflicts:      13000 | #Learnt:       3445 | 0.218
143.27/143.39	c total clause space: 127.173MB
143.27/143.39	c total #watches: 488297
147.37/147.50	c total #propagations: 32966469 / total #impl: 288918418 (eff. 0.114)
147.37/147.50	c GC COLLECT
147.37/147.50	c #Conflicts:      14000 | #Learnt:       2753 | 0.243
147.37/147.50	c total clause space: 127.173MB
147.37/147.50	c total #watches: 556968
153.27/153.38	c total #propagations: 34315474 / total #impl: 297963125 (eff. 0.115)
153.27/153.38	c #Conflicts:      15000 | #Learnt:       3753 | 0.239
153.27/153.38	c total clause space: 127.173MB
153.27/153.38	c total #watches: 698996
162.37/162.42	c total #propagations: 35163811 / total #impl: 309612195 (eff. 0.114)
162.37/162.42	c #Conflicts:      16000 | #Learnt:       4753 | 0.224
162.37/162.42	c total clause space: 127.173MB
162.37/162.43	c total #watches: 834692
177.96/178.03	c total #propagations: 35976975 / total #impl: 333711554 (eff. 0.108)
177.96/178.03	c GC COLLECT
177.96/178.03	c #Conflicts:      17000 | #Learnt:       3144 | 0.222
177.96/178.03	c total clause space: 127.173MB
177.96/178.03	c total #watches: 821126
207.56/207.65	c total #propagations: 36697029 / total #impl: 358576201 (eff. 0.102)
207.56/207.65	c #Conflicts:      18000 | #Learnt:       4144 | 0.212
207.56/207.65	c total clause space: 127.173MB
207.56/207.65	c total #watches: 1060864
268.65/268.72	c total #propagations: 37785223 / total #impl: 391682276 (eff. 0.096)
268.65/268.72	c #Conflicts:      19000 | #Learnt:       5144 | 0.212
268.65/268.72	c total clause space: 206.656MB
268.65/268.72	c total #watches: 1285702
401.63/401.77	c total #propagations: 38768691 / total #impl: 477356882 (eff. 0.081)
401.63/401.77	c #Conflicts:      20000 | #Learnt:       6144 | 0.208
401.63/401.77	c total clause space: 206.656MB
401.63/401.77	c total #watches: 1532263
473.61/473.74	c total #propagations: 40320951 / total #impl: 610621532 (eff. 0.066)
473.61/473.74	c GC COLLECT
473.61/473.74	c #Conflicts:      21000 | #Learnt:       3951 | 0.198
473.61/473.74	c total clause space: 206.656MB
473.61/473.74	c total #watches: 1085031
535.11/535.24	c total #propagations: 41894309 / total #impl: 686417798 (eff. 0.061)
535.11/535.24	c #Conflicts:      22000 | #Learnt:       4951 | 0.189
535.11/535.24	c total clause space: 206.656MB
535.11/535.24	c total #watches: 1236993
610.80/610.97	c total #propagations: 43252136 / total #impl: 747125010 (eff. 0.058)
610.80/610.97	c #Conflicts:      23000 | #Learnt:       5951 | 0.189
610.80/610.97	c total clause space: 206.656MB
610.80/610.97	c total #watches: 1432331
690.39/690.58	c total #propagations: 44336994 / total #impl: 812622339 (eff. 0.055)
690.39/690.58	c #Conflicts:      24000 | #Learnt:       6951 | 0.219
690.39/690.58	c total clause space: 206.656MB
690.39/690.58	c total #watches: 1646467
750.08/750.25	c total #propagations: 45381358 / total #impl: 897618631 (eff. 0.051)
750.08/750.25	c GC COLLECT
750.08/750.25	c #Conflicts:      25000 | #Learnt:       4320 | 0.210
750.08/750.25	c total clause space: 206.656MB
750.08/750.25	c total #watches: 1002920
787.17/787.36	c total #propagations: 46781191 / total #impl: 957769933 (eff. 0.049)
787.17/787.36	c #Conflicts:      26000 | #Learnt:       5320 | 0.202
787.17/787.36	c total clause space: 206.656MB
787.17/787.36	c total #watches: 1103561
831.77/831.93	c total #propagations: 48191882 / total #impl: 1035125024 (eff. 0.047)
831.77/831.93	c #Conflicts:      27000 | #Learnt:       6320 | 0.195
831.77/831.93	c total clause space: 206.656MB
831.77/831.93	c total #watches: 1187025
896.06/896.28	c total #propagations: 49539277 / total #impl: 1137493982 (eff. 0.044)
896.06/896.28	c #Conflicts:      28000 | #Learnt:       7320 | 0.188
896.06/896.28	c total clause space: 206.656MB
896.06/896.28	c total #watches: 1315965
965.95/966.17	c total #propagations: 51175494 / total #impl: 1224835698 (eff. 0.042)
965.95/966.17	c GC COLLECT
965.95/966.17	c #Conflicts:      29000 | #Learnt:       4286 | 0.181
965.95/966.17	c total clause space: 206.656MB
965.95/966.17	c total #watches: 964748
1012.74/1012.97	c total #propagations: 52727479 / total #impl: 1397593253 (eff. 0.038)
1012.74/1012.97	c #Conflicts:      30000 | #Learnt:       5286 | 0.175
1012.74/1012.97	c total clause space: 206.656MB
1012.74/1012.97	c total #watches: 1154015
1082.13/1082.31	c total #propagations: 54300690 / total #impl: 1511769886 (eff. 0.036)
1082.13/1082.31	c #Conflicts:      31000 | #Learnt:       6286 | 0.169
1082.13/1082.31	c total clause space: 206.656MB
1082.13/1082.31	c total #watches: 1326806
1150.72/1150.90	c total #propagations: 56265102 / total #impl: 1655170204 (eff. 0.034)
1150.72/1150.90	c #Conflicts:      32000 | #Learnt:       7286 | 0.167
1150.72/1150.90	c total clause space: 206.656MB
1150.72/1150.90	c total #watches: 1566599
1195.60/1195.89	c total #propagations: 57887976 / total #impl: 1730004261 (eff. 0.033)
1195.60/1195.89	c #Conflicts:      33000 | #Learnt:       8286 | 0.162
1195.60/1195.89	c total clause space: 206.656MB
1195.60/1195.89	c total #watches: 1673002
1231.39/1231.66	c total #propagations: 59701567 / total #impl: 1766183197 (eff. 0.034)
1231.39/1231.66	c GC COLLECT
1231.39/1231.66	c #Conflicts:      34000 | #Learnt:       4901 | 0.157
1231.39/1231.66	c total clause space: 206.656MB
1231.39/1231.66	c total #watches: 1069035
1256.39/1256.63	c total #propagations: 61392184 / total #impl: 1798463452 (eff. 0.034)
1256.39/1256.63	c #Conflicts:      35000 | #Learnt:       5901 | 0.153
1256.39/1256.63	c total clause space: 206.656MB
1256.39/1256.63	c total #watches: 1137385
1284.98/1285.21	c total #propagations: 62822019 / total #impl: 1836384521 (eff. 0.034)
1284.98/1285.21	c #Conflicts:      36000 | #Learnt:       6901 | 0.149
1284.98/1285.21	c total clause space: 206.656MB
1284.98/1285.21	c total #watches: 1253581
1328.87/1329.15	c total #propagations: 64280157 / total #impl: 1871753445 (eff. 0.034)
1328.87/1329.15	c #Conflicts:      37000 | #Learnt:       7901 | 0.145
1328.87/1329.15	c total clause space: 206.656MB
1328.87/1329.15	c total #watches: 1656225
1451.86/1452.17	c total #propagations: 65143883 / total #impl: 2043339732 (eff. 0.032)
1451.86/1452.17	c #Conflicts:      38000 | #Learnt:       8901 | 0.141
1451.86/1452.17	c total clause space: 335.816MB
1451.86/1452.18	c total #watches: 1960280
1555.35/1555.62	c total #propagations: 66274758 / total #impl: 2241456179 (eff. 0.030)
1555.35/1555.62	c GC COLLECT
1555.35/1555.62	c #Conflicts:      39000 | #Learnt:       5273 | 0.137
1555.35/1555.62	c total clause space: 335.816MB
1555.35/1555.62	c total #watches: 1245672
1731.41/1731.73	c total #propagations: 67282288 / total #impl: 2361316057 (eff. 0.028)
1731.41/1731.73	c #Conflicts:      40000 | #Learnt:       6273 | 0.134
1731.41/1731.73	c total clause space: 335.816MB
1731.41/1731.73	c total #watches: 1404565

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

pid=1382
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: 1.73 2.07 2.14 4/175 1388
/proc/meminfo: memFree=29739632/32872528 swapFree=16252/1391864
[pid=1388] ppid=1382 vsize=55976 CPUtime=0 cores=1,3,5,7
/proc/1388/stat : 1388 (cdcl-cuttingpla) R 1382 1388 31665 0 -1 4202496 253 0 0 0 0 0 0 0 20 0 1 0 126268621 57319424 5244 33554432000 4194304 6211289 140733526612096 140736297898248 4206563 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/1388/statm: 13994 5244 98 493 0 13491 0

[startup+0.100173 s]
/proc/loadavg: 1.73 2.07 2.14 4/175 1388
/proc/meminfo: memFree=29739632/32872528 swapFree=16252/1391864
[pid=1388] ppid=1382 vsize=58720 CPUtime=0.08 cores=1,3,5,7
/proc/1388/stat : 1388 (cdcl-cuttingpla) R 1382 1388 31665 0 -1 4202496 1526 0 0 0 8 0 0 0 20 0 1 0 126268621 60129280 11507 33554432000 4194304 6211289 140733526612096 140736297898248 5252520 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/1388/statm: 14680 11507 121 493 0 14177 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 58720

[startup+0.200345 s]
/proc/loadavg: 1.73 2.07 2.14 4/175 1388
/proc/meminfo: memFree=29739632/32872528 swapFree=16252/1391864
[pid=1388] ppid=1382 vsize=69568 CPUtime=0.19 cores=1,3,5,7
/proc/1388/stat : 1388 (cdcl-cuttingpla) R 1382 1388 31665 0 -1 4202496 3348 0 0 0 18 1 0 0 20 0 1 0 126268621 71237632 15373 33554432000 4194304 6211289 140733526612096 140736297898248 5161098 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/1388/statm: 17392 15373 144 493 0 16889 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 69568

[startup+0.30025 s]
/proc/loadavg: 1.73 2.07 2.14 4/175 1388
/proc/meminfo: memFree=29739632/32872528 swapFree=16252/1391864
[pid=1388] ppid=1382 vsize=79912 CPUtime=0.29 cores=1,3,5,7
/proc/1388/stat : 1388 (cdcl-cuttingpla) R 1382 1388 31665 0 -1 4202496 5086 0 0 0 28 1 0 0 20 0 1 0 126268621 81829888 18035 33554432000 4194304 6211289 140733526612096 140736297898248 4367062 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/1388/statm: 19978 18035 144 493 0 19475 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 79912

[startup+0.700191 s]
/proc/loadavg: 1.73 2.07 2.14 4/175 1388
/proc/meminfo: memFree=29739632/32872528 swapFree=16252/1391864
[pid=1388] ppid=1382 vsize=96336 CPUtime=0.69 cores=1,3,5,7
/proc/1388/stat : 1388 (cdcl-cuttingpla) R 1382 1388 31665 0 -1 4202496 6537 0 0 0 67 2 0 0 20 0 1 0 126268621 98648064 20904 33554432000 4194304 6211289 140733526612096 140733526609560 4209376 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/1388/statm: 24084 20904 204 493 0 23581 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 96336

[startup+1.50022 s]
/proc/loadavg: 1.73 2.07 2.14 4/177 1390
/proc/meminfo: memFree=29568500/32872528 swapFree=16252/1391864
[pid=1388] ppid=1382 vsize=97220 CPUtime=1.49 cores=1,3,5,7
/proc/1388/stat : 1388 (cdcl-cuttingpla) R 1382 1388 31665 0 -1 4202496 6735 0 0 0 147 2 0 0 20 0 1 0 126268621 99553280 22124 33554432000 4194304 6211289 140733526612096 140733526610088 4209396 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/1388/statm: 24305 22124 204 493 0 23802 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 97220

[startup+3.10023 s]
/proc/loadavg: 1.75 2.06 2.14 4/177 1390
/proc/meminfo: memFree=29556704/32872528 swapFree=16252/1391864
[pid=1388] ppid=1382 vsize=110880 CPUtime=3.09 cores=1,3,5,7
/proc/1388/stat : 1388 (cdcl-cuttingpla) R 1382 1388 31665 0 -1 4202496 7326 0 0 0 307 2 0 0 20 0 1 0 126268621 113541120 24222 33554432000 4194304 6211289 140733526612096 140733526610088 4201983 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/1388/statm: 27720 24222 204 493 0 27217 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 110880

[startup+6.30024 s]
/proc/loadavg: 1.75 2.06 2.14 4/177 1390
/proc/meminfo: memFree=29546224/32872528 swapFree=16252/1391864
[pid=1388] ppid=1382 vsize=132116 CPUtime=6.28 cores=1,3,5,7
/proc/1388/stat : 1388 (cdcl-cuttingpla) R 1382 1388 31665 0 -1 4202496 8224 0 0 0 626 2 0 0 20 0 1 0 126268621 135286784 26056 33554432000 4194304 6211289 140733526612096 140733526610088 4241789 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/1388/statm: 33029 26056 214 493 0 32526 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 132116

[startup+12.7003 s]
/proc/loadavg: 1.79 2.06 2.14 4/177 1390
/proc/meminfo: memFree=29518148/32872528 swapFree=16252/1391864
[pid=1388] ppid=1382 vsize=133524 CPUtime=12.69 cores=1,3,5,7
/proc/1388/stat : 1388 (cdcl-cuttingpla) R 1382 1388 31665 0 -1 4202496 8657 0 0 0 1266 3 0 0 20 0 1 0 126268621 136728576 29515 33554432000 4194304 6211289 140733526612096 140733526610088 4202033 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/1388/statm: 33381 29515 214 493 0 32878 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 133524

[startup+25.5073 s]
/proc/loadavg: 1.90 2.07 2.14 4/177 1390
/proc/meminfo: memFree=29484240/32872528 swapFree=16252/1391864
[pid=1388] ppid=1382 vsize=165884 CPUtime=25.49 cores=1,3,5,7
/proc/1388/stat : 1388 (cdcl-cuttingpla) R 1382 1388 31665 0 -1 4202496 10564 0 0 0 2546 3 0 0 20 0 1 0 126268621 169865216 32392 33554432000 4194304 6211289 140733526612096 140733526610328 4209501 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/1388/statm: 41471 32392 219 493 0 40968 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 165884

[startup+51.1003 s]
/proc/loadavg: 1.93 2.07 2.13 6/177 1390
/proc/meminfo: memFree=29456012/32872528 swapFree=16252/1391864
[pid=1388] ppid=1382 vsize=168860 CPUtime=51.08 cores=1,3,5,7
/proc/1388/stat : 1388 (cdcl-cuttingpla) R 1382 1388 31665 0 -1 4202496 11528 0 0 0 5105 3 0 0 20 0 1 0 126268621 172912640 37186 33554432000 4194304 6211289 140733526612096 140733526610088 4209396 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/1388/statm: 42215 37186 219 493 0 41712 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 168860

[startup+102.3 s]
/proc/loadavg: 2.01 2.07 2.13 4/177 1392
/proc/meminfo: memFree=29321128/32872528 swapFree=16252/1391864
[pid=1388] ppid=1382 vsize=244840 CPUtime=102.27 cores=1,3,5,7
/proc/1388/stat : 1388 (cdcl-cuttingpla) R 1382 1388 31665 0 -1 4202496 15047 0 0 0 10223 4 0 0 20 0 1 0 126268621 250716160 48901 33554432000 4194304 6211289 140733526612096 140733526610440 4209388 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/1388/statm: 61210 48901 219 493 0 60707 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 244840

[startup+162.3 s]
/proc/loadavg: 2.00 2.05 2.12 4/177 1401
/proc/meminfo: memFree=29268140/32872528 swapFree=16252/1391864
[pid=1388] ppid=1382 vsize=302552 CPUtime=162.27 cores=1,3,5,7
/proc/1388/stat : 1388 (cdcl-cuttingpla) R 1382 1388 31665 0 -1 4202496 17228 0 0 0 16221 6 0 0 20 0 1 0 126268621 309813248 61236 33554432000 4194304 6211289 140733526612096 140733526610008 4209388 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/1388/statm: 75638 61236 219 493 0 75135 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 302552

[startup+222.3 s]
/proc/loadavg: 2.07 2.06 2.11 4/177 1402
/proc/meminfo: memFree=29199820/32872528 swapFree=16252/1391864
[pid=1388] ppid=1382 vsize=388448 CPUtime=222.26 cores=1,3,5,7
/proc/1388/stat : 1388 (cdcl-cuttingpla) R 1382 1388 31665 0 -1 4202496 18741 0 0 0 22219 7 0 0 20 0 1 0 126268621 397770752 72841 33554432000 4194304 6211289 140733526612096 140733526610008 4209396 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/1388/statm: 97112 72841 219 493 0 96609 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 388448

[startup+282.3 s]
/proc/loadavg: 2.16 2.09 2.11 4/178 1406
/proc/meminfo: memFree=29148256/32872528 swapFree=16252/1391864
[pid=1388] ppid=1382 vsize=390712 CPUtime=282.25 cores=1,3,5,7
/proc/1388/stat : 1388 (cdcl-cuttingpla) R 1382 1388 31665 0 -1 4202496 19312 0 0 0 28217 8 0 0 20 0 1 0 126268621 400089088 83121 33554432000 4194304 6211289 140733526612096 140733526610008 4209304 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/1388/statm: 97678 83121 219 493 0 97175 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 390712

[startup+342.307 s]
/proc/loadavg: 2.19 2.11 2.12 4/177 1408
/proc/meminfo: memFree=29069636/32872528 swapFree=16252/1391864
[pid=1388] ppid=1382 vsize=393904 CPUtime=342.24 cores=1,3,5,7
/proc/1388/stat : 1388 (cdcl-cuttingpla) R 1382 1388 31665 0 -1 4202496 20121 0 0 0 34216 8 0 0 20 0 1 0 126268621 403357696 86485 33554432000 4194304 6211289 140733526612096 140733526609960 4209396 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/1388/statm: 98476 86485 219 493 0 97973 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 393904

[startup+402.3 s]
/proc/loadavg: 2.14 2.12 2.12 4/177 1410
/proc/meminfo: memFree=29037880/32872528 swapFree=16252/1391864
[pid=1388] ppid=1382 vsize=394944 CPUtime=402.23 cores=1,3,5,7
/proc/1388/stat : 1388 (cdcl-cuttingpla) R 1382 1388 31665 0 -1 4202496 20364 0 0 0 40215 8 0 0 20 0 1 0 126268621 404422656 88261 33554432000 4194304 6211289 140733526612096 140733526610088 4209388 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/1388/statm: 98736 88261 219 493 0 98233 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 394944

[startup+462.3 s]
/proc/loadavg: 2.15 2.12 2.12 4/177 1411
/proc/meminfo: memFree=29032984/32872528 swapFree=16252/1391864
[pid=1388] ppid=1382 vsize=395224 CPUtime=462.21 cores=1,3,5,7
/proc/1388/stat : 1388 (cdcl-cuttingpla) R 1382 1388 31665 0 -1 4202496 20929 0 0 0 46213 8 0 0 20 0 1 0 126268621 404709376 88957 33554432000 4194304 6211289 140733526612096 140733526610088 4209384 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/1388/statm: 98806 88957 219 493 0 98303 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 395224

[startup+522.3 s]
/proc/loadavg: 2.11 2.11 2.11 4/177 1412
/proc/meminfo: memFree=29028408/32872528 swapFree=16252/1391864
[pid=1388] ppid=1382 vsize=395888 CPUtime=522.21 cores=1,3,5,7
/proc/1388/stat : 1388 (cdcl-cuttingpla) R 1382 1388 31665 0 -1 4202496 21336 0 0 0 52212 9 0 0 20 0 1 0 126268621 405389312 89364 33554432000 4194304 6211289 140733526612096 140733526610008 4209388 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/1388/statm: 98972 89364 219 493 0 98469 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 395888

[startup+582.3 s]
/proc/loadavg: 2.15 2.12 2.11 4/177 1413
/proc/meminfo: memFree=29025940/32872528 swapFree=16252/1391864
[pid=1388] ppid=1382 vsize=396436 CPUtime=582.21 cores=1,3,5,7
/proc/1388/stat : 1388 (cdcl-cuttingpla) R 1382 1388 31665 0 -1 4202496 21463 0 0 0 58212 9 0 0 20 0 1 0 126268621 405950464 89491 33554432000 4194304 6211289 140733526612096 140733526610008 4209396 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/1388/statm: 99109 89491 219 493 0 98606 0
Current children cumulated CPU time (s) 582.21
Current children cumulated vsize (KiB) 396436


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


[startup+882.3 s]
/proc/loadavg: 2.08 2.14 2.11 4/178 1422
/proc/meminfo: memFree=29008692/32872528 swapFree=16252/1391864
[pid=1388] ppid=1382 vsize=399400 CPUtime=882.16 cores=1,3,5,7
/proc/1388/stat : 1388 (cdcl-cuttingpla) R 1382 1388 31665 0 -1 4202496 22242 0 0 0 88207 9 0 0 20 0 1 0 126268621 408985600 90270 33554432000 4194304 6211289 140733526612096 140733526610088 4209322 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/1388/statm: 99850 90270 219 493 0 99347 0
Current children cumulated CPU time (s) 882.16
Current children cumulated vsize (KiB) 399400

[startup+942.3 s]
/proc/loadavg: 2.07 2.13 2.10 4/177 1423
/proc/meminfo: memFree=29006148/32872528 swapFree=16252/1391864
[pid=1388] ppid=1382 vsize=400308 CPUtime=942.15 cores=1,3,5,7
/proc/1388/stat : 1388 (cdcl-cuttingpla) R 1382 1388 31665 0 -1 4202496 22500 0 0 0 94206 9 0 0 20 0 1 0 126268621 409915392 90528 33554432000 4194304 6211289 140733526612096 140733526610088 4209304 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/1388/statm: 100077 90528 219 493 0 99574 0
Current children cumulated CPU time (s) 942.15
Current children cumulated vsize (KiB) 400308

[startup+1002.31 s]
/proc/loadavg: 2.12 2.13 2.10 4/177 1425
/proc/meminfo: memFree=29003436/32872528 swapFree=16252/1391864
[pid=1388] ppid=1382 vsize=400884 CPUtime=1002.15 cores=1,3,5,7
/proc/1388/stat : 1388 (cdcl-cuttingpla) R 1382 1388 31665 0 -1 4202496 22626 0 0 0 100206 9 0 0 20 0 1 0 126268621 410505216 90654 33554432000 4194304 6211289 140733526612096 140733526610440 4209497 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/1388/statm: 100221 90654 219 493 0 99718 0
Current children cumulated CPU time (s) 1002.15
Current children cumulated vsize (KiB) 400884

[startup+1062.3 s]
/proc/loadavg: 2.23 2.16 2.11 4/177 1426
/proc/meminfo: memFree=28999844/32872528 swapFree=16252/1391864
[pid=1388] ppid=1382 vsize=401192 CPUtime=1062.13 cores=1,3,5,7
/proc/1388/stat : 1388 (cdcl-cuttingpla) R 1382 1388 31665 0 -1 4202496 22699 0 0 0 106204 9 0 0 20 0 1 0 126268621 410820608 90727 33554432000 4194304 6211289 140733526612096 140733526610088 4209396 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/1388/statm: 100298 90727 219 493 0 99795 0
Current children cumulated CPU time (s) 1062.13
Current children cumulated vsize (KiB) 401192

[startup+1122.3 s]
/proc/loadavg: 2.27 2.18 2.12 4/177 1427
/proc/meminfo: memFree=28997244/32872528 swapFree=16252/1391864
[pid=1388] ppid=1382 vsize=401832 CPUtime=1122.12 cores=1,3,5,7
/proc/1388/stat : 1388 (cdcl-cuttingpla) R 1382 1388 31665 0 -1 4202496 22905 0 0 0 112203 9 0 0 20 0 1 0 126268621 411475968 90933 33554432000 4194304 6211289 140733526612096 140733526610088 4209392 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/1388/statm: 100458 90933 219 493 0 99955 0
Current children cumulated CPU time (s) 1122.12
Current children cumulated vsize (KiB) 401832

[startup+1182.3 s]
/proc/loadavg: 2.41 2.23 2.14 5/177 1428
/proc/meminfo: memFree=28993660/32872528 swapFree=16252/1391864
[pid=1388] ppid=1382 vsize=402552 CPUtime=1182.11 cores=1,3,5,7
/proc/1388/stat : 1388 (cdcl-cuttingpla) R 1382 1388 31665 0 -1 4202496 23096 0 0 0 118202 9 0 0 20 0 1 0 126268621 412213248 91203 33554432000 4194304 6211289 140733526612096 140733526610088 4209403 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/1388/statm: 100638 91203 219 493 0 100135 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 402552

[startup+1242.3 s]
/proc/loadavg: 2.23 2.22 2.14 5/177 1429
/proc/meminfo: memFree=28991316/32872528 swapFree=16252/1391864
[pid=1388] ppid=1382 vsize=402692 CPUtime=1242.09 cores=1,3,5,7
/proc/1388/stat : 1388 (cdcl-cuttingpla) R 1382 1388 31665 0 -1 4202496 23151 0 0 0 124200 9 0 0 20 0 1 0 126268621 412356608 91242 33554432000 4194304 6211289 140733526612096 140733526610440 4209376 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/1388/statm: 100673 91242 219 493 0 100170 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 402692

[startup+1302.3 s]
/proc/loadavg: 2.21 2.21 2.14 4/177 1431
/proc/meminfo: memFree=28988208/32872528 swapFree=16252/1391864
[pid=1388] ppid=1382 vsize=403988 CPUtime=1302.08 cores=1,3,5,7
/proc/1388/stat : 1388 (cdcl-cuttingpla) R 1382 1388 31665 0 -1 4202496 23487 0 0 0 130199 9 0 0 20 0 1 0 126268621 413683712 91578 33554432000 4194304 6211289 140733526612096 140733526610008 4209388 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/1388/statm: 100997 91578 219 493 0 100494 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 403988

[startup+1362.3 s]
/proc/loadavg: 2.32 2.24 2.15 4/177 1432
/proc/meminfo: memFree=28974536/32872528 swapFree=16252/1391864
[pid=1388] ppid=1382 vsize=538360 CPUtime=1362.07 cores=1,3,5,7
/proc/1388/stat : 1388 (cdcl-cuttingpla) R 1382 1388 31665 0 -1 4202496 24206 0 0 0 136196 11 0 0 20 0 1 0 126268621 551280640 94850 33554432000 4194304 6211289 140733526612096 140733526610008 4209388 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/1388/statm: 134590 94850 219 493 0 134087 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 538360

[startup+1422.3 s]
/proc/loadavg: 2.18 2.21 2.15 4/177 1433
/proc/meminfo: memFree=28959580/32872528 swapFree=16252/1391864
[pid=1388] ppid=1382 vsize=538944 CPUtime=1422.06 cores=1,3,5,7
/proc/1388/stat : 1388 (cdcl-cuttingpla) R 1382 1388 31665 0 -1 4202496 24351 0 0 0 142195 11 0 0 20 0 1 0 126268621 551878656 98572 33554432000 4194304 6211289 140733526612096 140733526610088 4209314 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/1388/statm: 134736 98572 219 493 0 134233 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 538944

[startup+1482.3 s]
/proc/loadavg: 2.15 2.20 2.14 4/178 1437
/proc/meminfo: memFree=28945624/32872528 swapFree=16252/1391864
[pid=1388] ppid=1382 vsize=539716 CPUtime=1482.05 cores=1,3,5,7
/proc/1388/stat : 1388 (cdcl-cuttingpla) R 1382 1388 31665 0 -1 4202496 24546 0 0 0 148194 11 0 0 20 0 1 0 126268621 552669184 102344 33554432000 4194304 6211289 140733526612096 140733526610008 4209322 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/1388/statm: 134929 102344 219 493 0 134426 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 539716

[startup+1542.3 s]
/proc/loadavg: 2.30 2.23 2.16 4/178 1461
/proc/meminfo: memFree=28933516/32872528 swapFree=16252/1391864
[pid=1388] ppid=1382 vsize=539956 CPUtime=1542.05 cores=1,3,5,7
/proc/1388/stat : 1388 (cdcl-cuttingpla) R 1382 1388 31665 0 -1 4202496 24837 0 0 0 154194 11 0 0 20 0 1 0 126268621 552914944 104473 33554432000 4194304 6211289 140733526612096 140733526610008 4209322 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/1388/statm: 134989 104473 219 493 0 134486 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 539956

[startup+1602.3 s]
/proc/loadavg: 2.21 2.22 2.16 5/177 1463
/proc/meminfo: memFree=28926516/32872528 swapFree=16252/1391864
[pid=1388] ppid=1382 vsize=540204 CPUtime=1602.03 cores=1,3,5,7
/proc/1388/stat : 1388 (cdcl-cuttingpla) R 1382 1388 31665 0 -1 4202496 24905 0 0 0 160192 11 0 0 20 0 1 0 126268621 553168896 104541 33554432000 4194304 6211289 140733526612096 140733526610440 4209396 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/1388/statm: 135051 104541 219 493 0 134548 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 540204

[startup+1662.31 s]
/proc/loadavg: 2.25 2.23 2.17 5/177 1464
/proc/meminfo: memFree=28902312/32872528 swapFree=16252/1391864
[pid=1388] ppid=1382 vsize=540204 CPUtime=1662.03 cores=1,3,5,7
/proc/1388/stat : 1388 (cdcl-cuttingpla) R 1382 1388 31665 0 -1 4202496 25017 0 0 0 166192 11 0 0 20 0 1 0 126268621 553168896 104642 33554432000 4194304 6211289 140733526612096 140733526610440 4209396 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/1388/statm: 135051 104642 219 493 0 134548 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 540204

[startup+1722.3 s]
/proc/loadavg: 2.33 2.25 2.18 4/177 1465
/proc/meminfo: memFree=28902276/32872528 swapFree=16252/1391864
[pid=1388] ppid=1382 vsize=540348 CPUtime=1722.01 cores=1,3,5,7
/proc/1388/stat : 1388 (cdcl-cuttingpla) R 1382 1388 31665 0 -1 4202496 25053 0 0 0 172190 11 0 0 20 0 1 0 126268621 553316352 104678 33554432000 4194304 6211289 140733526612096 140733526610008 4209314 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/1388/statm: 135087 104678 219 493 0 134584 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 540348

[startup+1782.3 s]
/proc/loadavg: 2.21 2.23 2.18 4/177 1466
/proc/meminfo: memFree=28879068/32872528 swapFree=16252/1391864
[pid=1388] ppid=1382 vsize=540348 CPUtime=1782.01 cores=1,3,5,7
/proc/1388/stat : 1388 (cdcl-cuttingpla) R 1382 1388 31665 0 -1 4202496 25087 0 0 0 178189 12 0 0 20 0 1 0 126268621 553316352 109822 33554432000 4194304 6211289 140733526612096 140733526610440 4209376 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/1388/statm: 135087 109822 219 493 0 134584 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 540348



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.23 2.24 2.18 5/177 1466
/proc/meminfo: memFree=28876896/32872528 swapFree=16252/1391864
[pid=1388] ppid=1382 vsize=540508 CPUtime=1800.01 cores=1,3,5,7
/proc/1388/stat : 1388 (cdcl-cuttingpla) R 1382 1388 31665 0 -1 4202496 25094 0 0 0 179989 12 0 0 20 0 1 0 126268621 553480192 110340 33554432000 4194304 6211289 140733526612096 140733526610008 4209304 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/1388/statm: 135127 110340 219 493 0 134624 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 540508

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.31
CPU time (s): 1800.03
CPU user time (s): 1799.89
CPU system time (s): 0.133979
CPU usage (%): 99.984
Max. virtual memory (cumulated for all children) (KiB): 540508

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.89
system time used= 0.133979
maximum resident set size= 441360
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25094
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= 30
involuntary context switches= 1852

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.42633 second user time and 7.03293 second system time

The end

Launcher Data 

Begin job on node119 at 2016-06-09 05:35:55
IDJOB=4087900
IDBENCH=90820
IDSOLVER=2549
FILE ID=node119/4087900-1465443355
RUNJOBID= node119-1465443354-1359
PBS_JOBID= 19859789
Free space on /tmp= 71732 MiB

SOLVER NAME= cdcl-cuttingplanes OPT binary search 2016-05-01
BENCH NAME= PB12/normalized-PB12/OPT-SMALLINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_luby_50null0mast_rapportOE1.0_TMAX300_K67_cod2.opb
COMMAND LINE= ./cdcl-cuttingplanes-opt-binarysearch-release
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4087900-1465443355/watcher-4087900-1465443355 -o /tmp/evaluation-result-4087900-1465443355/solver-4087900-1465443355 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node119-1465443354-1359 --watchdog 1960 --input HOME/instance-4087900-1465443355.opb ./cdcl-cuttingplanes-opt-binarysearch-release

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

MD5SUM BENCH= b363732a49ff55c5c06709720571fcad
RANDOM SEED=1067925786

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:        29740276 kB
Buffers:          156396 kB
Cached:           839360 kB
SwapCached:          844 kB
Active:           459848 kB
Inactive:         538476 kB
Active(anon):       2872 kB
Inactive(anon):     2744 kB
Active(file):     456976 kB
Inactive(file):   535732 kB
Unevictable:     1391864 kB
Mlocked:           16252 kB
SwapTotal:      67108856 kB
SwapFree:       67100212 kB
Dirty:              9328 kB
Writeback:             0 kB
AnonPages:       1393856 kB
Mapped:             7028 kB
Shmem:                 0 kB
Slab:             609300 kB
SReclaimable:      53240 kB
SUnreclaim:       556060 kB
KernelStack:        1424 kB
PageTables:         6824 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1487756 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1378304 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71728 MiB
End job on node119 at 2016-06-09 06:05:55