Trace number 4097841

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
cdcl-cuttingplanes DEC 2016-05-01? (TO) 1800.03 1800.3

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/
d-equals-n_k/normalized-compression64_20.opb
MD5SUM24327f960e0621fad359171eb566677f
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables7140
Total number of constraints34949
Number of constraints which are clauses34944
Number of constraints which are cardinality constraints (but not clauses)5
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint84
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 20
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 104
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= 7140 #constraint= 34949
2.39/2.42	c #Conflicts:       1000 | #Learnt:        999 | 0.000
2.39/2.42	c total clause space: 48.1602MB
2.39/2.42	c total #watches: 138253
7.19/7.27	c total #propagations: 508178 / total #impl: 2320967 (eff. 0.219)
7.19/7.27	c #Conflicts:       2000 | #Learnt:       1999 | 0.000
7.19/7.27	c total clause space: 78.2603MB
7.19/7.27	c total #watches: 192154
11.89/11.99	c total #propagations: 2511324 / total #impl: 8584747 (eff. 0.293)
11.89/11.99	c GARBAGE COLLECT
11.89/11.99	c #Conflicts:       3000 | #Learnt:       2001 | 0.000
11.89/11.99	c total clause space: 78.2603MB
11.89/11.99	c total #watches: 194638
19.79/19.84	c total #propagations: 5053321 / total #impl: 15447013 (eff. 0.327)
19.79/19.84	c #Conflicts:       4000 | #Learnt:       3001 | 0.000
19.79/19.84	c total clause space: 127.173MB
19.79/19.84	c total #watches: 238983
27.38/27.48	c total #propagations: 7835822 / total #impl: 23497836 (eff. 0.333)
27.38/27.48	c GARBAGE COLLECT
27.38/27.48	c #Conflicts:       5000 | #Learnt:       2346 | 0.001
27.38/27.48	c total clause space: 127.173MB
27.38/27.48	c total #watches: 219415
37.89/37.98	c total #propagations: 10072190 / total #impl: 30948066 (eff. 0.325)
37.89/37.98	c #Conflicts:       6000 | #Learnt:       3346 | 0.001
37.89/37.98	c total clause space: 127.173MB
37.89/37.98	c total #watches: 293647
49.28/49.39	c total #propagations: 11961137 / total #impl: 39275523 (eff. 0.305)
49.28/49.39	c GARBAGE COLLECT
49.28/49.39	c #Conflicts:       7000 | #Learnt:       2221 | 0.000
49.28/49.39	c total clause space: 206.656MB
49.28/49.39	c total #watches: 237486
59.48/59.59	c total #propagations: 14202640 / total #impl: 46090367 (eff. 0.308)
59.48/59.59	c #Conflicts:       8000 | #Learnt:       3221 | 0.000
59.48/59.59	c total clause space: 206.656MB
59.48/59.59	c total #watches: 254900
72.08/72.10	c total #propagations: 16906957 / total #impl: 51904339 (eff. 0.326)
72.08/72.10	c #Conflicts:       9000 | #Learnt:       4221 | 0.000
72.08/72.10	c total clause space: 206.656MB
72.08/72.10	c total #watches: 269587
91.17/91.20	c total #propagations: 19001647 / total #impl: 58683894 (eff. 0.324)
91.17/91.20	c GARBAGE COLLECT
91.17/91.20	c #Conflicts:      10000 | #Learnt:       2692 | 0.000
91.17/91.20	c total clause space: 206.656MB
91.17/91.20	c total #watches: 228373
104.67/104.78	c total #propagations: 20792773 / total #impl: 80377350 (eff. 0.259)
104.67/104.78	c #Conflicts:      11000 | #Learnt:       3692 | 0.000
104.67/104.78	c total clause space: 206.656MB
104.67/104.78	c total #watches: 272679
125.97/126.04	c total #propagations: 22444648 / total #impl: 93450709 (eff. 0.240)
125.97/126.04	c #Conflicts:      12000 | #Learnt:       4692 | 0.000
125.97/126.04	c total clause space: 335.816MB
125.97/126.04	c total #watches: 311436
152.16/152.25	c total #propagations: 24599587 / total #impl: 108028923 (eff. 0.228)
152.16/152.25	c #Conflicts:      13000 | #Learnt:       5692 | 0.000
152.16/152.25	c total clause space: 335.816MB
152.16/152.25	c total #watches: 350170
184.56/184.69	c total #propagations: 26601580 / total #impl: 121301709 (eff. 0.219)
184.56/184.69	c GARBAGE COLLECT
184.56/184.69	c #Conflicts:      14000 | #Learnt:       3828 | 0.000
184.56/184.69	c total clause space: 335.816MB
184.56/184.69	c total #watches: 305138
213.05/213.14	c total #propagations: 28452226 / total #impl: 130582490 (eff. 0.218)
213.05/213.14	c #Conflicts:      15000 | #Learnt:       4828 | 0.000
213.05/213.14	c total clause space: 335.816MB
213.05/213.14	c total #watches: 351562
235.66/235.76	c total #propagations: 30683766 / total #impl: 138620586 (eff. 0.221)
235.66/235.76	c #Conflicts:      16000 | #Learnt:       5828 | 0.000
235.66/235.76	c total clause space: 335.816MB
235.66/235.76	c total #watches: 394266
256.26/256.37	c total #propagations: 32184456 / total #impl: 144519656 (eff. 0.223)
256.26/256.37	c GARBAGE COLLECT
256.26/256.37	c #Conflicts:      17000 | #Learnt:       3645 | 0.000
256.26/256.37	c total clause space: 335.816MB
256.26/256.37	c total #watches: 319877
278.15/278.27	c total #propagations: 33820698 / total #impl: 152022824 (eff. 0.222)
278.15/278.27	c #Conflicts:      18000 | #Learnt:       4645 | 0.000
278.15/278.27	c total clause space: 335.816MB
278.15/278.27	c total #watches: 372691
304.85/304.95	c total #propagations: 35242407 / total #impl: 159267115 (eff. 0.221)
304.85/304.95	c #Conflicts:      19000 | #Learnt:       5645 | 0.000
304.85/304.95	c total clause space: 335.816MB
304.85/304.95	c total #watches: 411040
367.13/367.29	c total #propagations: 37473594 / total #impl: 166947489 (eff. 0.224)
367.13/367.29	c #Conflicts:      20000 | #Learnt:       6645 | 0.000
367.13/367.29	c total clause space: 335.816MB
367.13/367.29	c total #watches: 482206
410.73/410.88	c total #propagations: 39642688 / total #impl: 178833810 (eff. 0.222)
410.73/410.88	c GARBAGE COLLECT
410.73/410.88	c #Conflicts:      21000 | #Learnt:       4145 | 0.000
410.73/410.88	c total clause space: 545.701MB
410.73/410.88	c total #watches: 411950
459.93/460.08	c total #propagations: 41935164 / total #impl: 194821231 (eff. 0.215)
459.93/460.08	c #Conflicts:      22000 | #Learnt:       5145 | 0.000
459.93/460.08	c total clause space: 545.701MB
459.93/460.08	c total #watches: 510125
516.31/516.48	c total #propagations: 44013888 / total #impl: 206569282 (eff. 0.213)
516.31/516.48	c #Conflicts:      23000 | #Learnt:       6145 | 0.000
516.31/516.48	c total clause space: 545.701MB
516.31/516.48	c total #watches: 602861
589.70/589.81	c total #propagations: 46475625 / total #impl: 217756818 (eff. 0.213)
589.70/589.81	c #Conflicts:      24000 | #Learnt:       7145 | 0.000
589.70/589.81	c total clause space: 545.701MB
589.70/589.81	c total #watches: 688188
647.59/647.78	c total #propagations: 48922318 / total #impl: 227694652 (eff. 0.215)
647.59/647.78	c GARBAGE COLLECT
647.59/647.78	c #Conflicts:      25000 | #Learnt:       4344 | 0.000
647.59/647.78	c total clause space: 545.701MB
647.59/647.78	c total #watches: 578278
729.48/729.69	c total #propagations: 50529598 / total #impl: 236484958 (eff. 0.214)
729.48/729.69	c #Conflicts:      26000 | #Learnt:       5344 | 0.000
729.48/729.69	c total clause space: 545.701MB
729.48/729.69	c total #watches: 706439
884.76/884.96	c total #propagations: 52775020 / total #impl: 247085531 (eff. 0.214)
884.76/884.96	c #Conflicts:      27000 | #Learnt:       6344 | 0.000
884.76/884.96	c total clause space: 545.701MB
884.76/884.96	c total #watches: 787580
991.64/991.84	c total #propagations: 54749263 / total #impl: 258341871 (eff. 0.212)
991.64/991.84	c #Conflicts:      28000 | #Learnt:       7344 | 0.000
991.64/991.84	c total clause space: 545.701MB
991.64/991.84	c total #watches: 902293
1146.91/1147.20	c total #propagations: 56221674 / total #impl: 265955930 (eff. 0.211)
1146.91/1147.20	c GARBAGE COLLECT
1146.91/1147.20	c #Conflicts:      29000 | #Learnt:       4241 | 0.000
1146.91/1147.20	c total clause space: 545.701MB
1146.91/1147.20	c total #watches: 709594
1301.99/1302.21	c total #propagations: 57694932 / total #impl: 277470665 (eff. 0.208)
1301.99/1302.21	c #Conflicts:      30000 | #Learnt:       5241 | 0.000
1301.99/1302.21	c total clause space: 545.701MB
1301.99/1302.21	c total #watches: 825607
1434.37/1434.66	c total #propagations: 59233452 / total #impl: 288029844 (eff. 0.206)
1434.37/1434.66	c #Conflicts:      31000 | #Learnt:       6241 | 0.000
1434.37/1434.66	c total clause space: 545.701MB
1434.37/1434.66	c total #watches: 966341
1665.73/1666.09	c total #propagations: 60449051 / total #impl: 299000946 (eff. 0.202)
1665.73/1666.09	c #Conflicts:      32000 | #Learnt:       7241 | 0.000
1665.73/1666.09	c total clause space: 545.701MB
1665.73/1666.09	c total #watches: 1103415

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-4097841-1466115824/watcher-4097841-1466115824 -o /tmp/evaluation-result-4097841-1466115824/solver-4097841-1466115824 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node134-1466112621-22083 --watchdog 1960 --input HOME/instance-4097841-1466115824.opb ./cdcl-cuttingplanes-release 

pid=22955
running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.35 2.30 2.25 5/178 22958
/proc/meminfo: memFree=30087288/32872528 swapFree=1481856/1661728
[pid=22958] ppid=22955 vsize=29104 CPUtime=0 cores=0,2,4,6
/proc/22958/stat : 22958 (cdcl-cuttingpla) R 22955 22958 20832 0 -1 4202496 269 0 0 0 0 0 0 0 20 0 1 0 13628858 29802496 5261 33554432000 4194304 6199737 140733315043904 140733789615992 5193012 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/22958/statm: 7276 5261 122 490 0 6777 0

[startup+0.100156 s]
/proc/loadavg: 2.35 2.30 2.25 5/178 22958
/proc/meminfo: memFree=30087288/32872528 swapFree=1481856/1661728
[pid=22958] ppid=22955 vsize=36312 CPUtime=0.09 cores=0,2,4,6
/proc/22958/stat : 22958 (cdcl-cuttingpla) R 22955 22958 20832 0 -1 4202496 1380 0 0 0 9 0 0 0 20 0 1 0 13628858 37183488 7452 33554432000 4194304 6199737 140733315043904 140733789615992 4207822 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/22958/statm: 9078 7453 135 490 0 8579 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 36312

[startup+0.200312 s]
/proc/loadavg: 2.35 2.30 2.25 5/178 22958
/proc/meminfo: memFree=30087288/32872528 swapFree=1481856/1661728
[pid=22958] ppid=22955 vsize=40864 CPUtime=0.19 cores=0,2,4,6
/proc/22958/stat : 22958 (cdcl-cuttingpla) R 22955 22958 20832 0 -1 4202496 2525 0 0 0 18 1 0 0 20 0 1 0 13628858 41844736 9138 33554432000 4194304 6199737 140733315043904 140733315042136 5407536 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/22958/statm: 10216 9138 135 490 0 9717 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 40864

[startup+0.300282 s]
/proc/loadavg: 2.35 2.30 2.25 5/178 22958
/proc/meminfo: memFree=30087288/32872528 swapFree=1481856/1661728
[pid=22958] ppid=22955 vsize=48044 CPUtime=0.29 cores=0,2,4,6
/proc/22958/stat : 22958 (cdcl-cuttingpla) R 22955 22958 20832 0 -1 4202496 3443 0 0 0 28 1 0 0 20 0 1 0 13628858 49197056 10183 33554432000 4194304 6199737 140733315043904 140733315042136 5407536 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/22958/statm: 12011 10183 135 490 0 11512 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 48044

[startup+0.700238 s]
/proc/loadavg: 2.35 2.30 2.25 5/178 22958
/proc/meminfo: memFree=30087288/32872528 swapFree=1481856/1661728
[pid=22958] ppid=22955 vsize=62548 CPUtime=0.69 cores=0,2,4,6
/proc/22958/stat : 22958 (cdcl-cuttingpla) R 22955 22958 20832 0 -1 4202496 4980 0 0 0 68 1 0 0 20 0 1 0 13628858 64049152 14399 33554432000 4194304 6199737 140733315043904 140733315042136 5149722 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/22958/statm: 15637 14399 139 490 0 15138 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 62548

[startup+1.50024 s]
/proc/loadavg: 2.35 2.30 2.25 5/179 22959
/proc/meminfo: memFree=30026380/32872528 swapFree=1481856/1661728
[pid=22958] ppid=22955 vsize=82576 CPUtime=1.49 cores=0,2,4,6
/proc/22958/stat : 22958 (cdcl-cuttingpla) R 22955 22958 20832 0 -1 4202496 5600 0 0 0 148 1 0 0 20 0 1 0 13628858 84557824 15919 33554432000 4194304 6199737 140733315043904 140733315042200 4213208 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/22958/statm: 20644 15919 139 490 0 20145 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 82576

[startup+3.10023 s]
/proc/loadavg: 2.35 2.30 2.25 5/179 22959
/proc/meminfo: memFree=30020912/32872528 swapFree=1481856/1661728
[pid=22958] ppid=22955 vsize=82976 CPUtime=3.09 cores=0,2,4,6
/proc/22958/stat : 22958 (cdcl-cuttingpla) R 22955 22958 20832 0 -1 4202496 5722 0 0 0 308 1 0 0 20 0 1 0 13628858 84967424 17574 33554432000 4194304 6199737 140733315043904 140733315042600 4213296 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/22958/statm: 20744 17574 155 490 0 20245 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 82976

[startup+6.30025 s]
/proc/loadavg: 2.40 2.31 2.25 4/179 22959
/proc/meminfo: memFree=30009060/32872528 swapFree=1481856/1661728
[pid=22958] ppid=22955 vsize=114900 CPUtime=6.29 cores=0,2,4,6
/proc/22958/stat : 22958 (cdcl-cuttingpla) R 22955 22958 20832 0 -1 4202496 6321 0 0 0 627 2 0 0 20 0 1 0 13628858 117657600 21152 33554432000 4194304 6199737 140733315043904 140733315042600 4213385 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/22958/statm: 28725 21152 155 490 0 28226 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 114900

[startup+12.7002 s]
/proc/loadavg: 2.45 2.32 2.26 4/179 22959
/proc/meminfo: memFree=29990116/32872528 swapFree=1481856/1661728
[pid=22958] ppid=22955 vsize=115580 CPUtime=12.69 cores=0,2,4,6
/proc/22958/stat : 22958 (cdcl-cuttingpla) R 22955 22958 20832 0 -1 4202496 7242 0 0 0 1267 2 0 0 20 0 1 0 13628858 118353920 25318 33554432000 4194304 6199737 140733315043904 140733315043016 4213368 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/22958/statm: 28895 25318 161 490 0 28396 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 115580

[startup+25.5003 s]
/proc/loadavg: 2.35 2.31 2.25 4/179 22959
/proc/meminfo: memFree=29953100/32872528 swapFree=1481856/1661728
[pid=22958] ppid=22955 vsize=166616 CPUtime=25.48 cores=0,2,4,6
/proc/22958/stat : 22958 (cdcl-cuttingpla) R 22955 22958 20832 0 -1 4202496 8244 0 0 0 2546 2 0 0 20 0 1 0 13628858 170614784 33637 33554432000 4194304 6199737 140733315043904 140733315042600 4213389 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/22958/statm: 41654 33637 161 490 0 41155 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 166616

[startup+51.1003 s]
/proc/loadavg: 2.31 2.30 2.25 4/179 22959
/proc/meminfo: memFree=29895764/32872528 swapFree=1481856/1661728
[pid=22958] ppid=22955 vsize=249820 CPUtime=51.08 cores=0,2,4,6
/proc/22958/stat : 22958 (cdcl-cuttingpla) R 22955 22958 20832 0 -1 4202496 9561 0 0 0 5105 3 0 0 20 0 1 0 13628858 255815680 47882 33554432000 4194304 6199737 140733315043904 140733315043016 4213314 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/22958/statm: 62455 47882 161 490 0 61956 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 249820

[startup+102.3 s]
/proc/loadavg: 2.39 2.31 2.26 4/179 22960
/proc/meminfo: memFree=29843416/32872528 swapFree=1481856/1661728
[pid=22958] ppid=22955 vsize=250352 CPUtime=102.28 cores=0,2,4,6
/proc/22958/stat : 22958 (cdcl-cuttingpla) R 22955 22958 20832 0 -1 4202496 9944 0 0 0 10224 4 0 0 20 0 1 0 13628858 256360448 61013 33554432000 4194304 6199737 140733315043904 140733315043016 4213389 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/22958/statm: 62588 61013 161 490 0 62089 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 250352

[startup+162.3 s]
/proc/loadavg: 2.33 2.31 2.26 4/179 22962
/proc/meminfo: memFree=29788716/32872528 swapFree=1481856/1661728
[pid=22958] ppid=22955 vsize=383724 CPUtime=162.26 cores=0,2,4,6
/proc/22958/stat : 22958 (cdcl-cuttingpla) R 22955 22958 20832 0 -1 4202496 10898 0 0 0 16221 5 0 0 20 0 1 0 13628858 392933376 74397 33554432000 4194304 6199737 140733315043904 140733315042600 4213368 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/22958/statm: 95931 74397 161 490 0 95432 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 383724

[startup+222.307 s]
/proc/loadavg: 2.33 2.31 2.27 4/179 22963
/proc/meminfo: memFree=29782520/32872528 swapFree=1481856/1661728
[pid=22958] ppid=22955 vsize=384408 CPUtime=222.26 cores=0,2,4,6
/proc/22958/stat : 22958 (cdcl-cuttingpla) R 22955 22958 20832 0 -1 4202496 11207 0 0 0 22221 5 0 0 20 0 1 0 13628858 393633792 74702 33554432000 4194304 6199737 140733315043904 140733315042520 4213296 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/22958/statm: 96102 74702 161 490 0 95603 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 384408

[startup+282.3 s]
/proc/loadavg: 2.27 2.30 2.27 4/179 22964
/proc/meminfo: memFree=29731852/32872528 swapFree=1481856/1661728
[pid=22958] ppid=22955 vsize=385348 CPUtime=282.25 cores=0,2,4,6
/proc/22958/stat : 22958 (cdcl-cuttingpla) R 22955 22958 20832 0 -1 4202496 11564 0 0 0 28219 6 0 0 20 0 1 0 13628858 394596352 87303 33554432000 4194304 6199737 140733315043904 140733315042600 4213381 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/22958/statm: 96337 87303 161 490 0 95838 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 385348

[startup+342.3 s]
/proc/loadavg: 2.30 2.30 2.27 4/179 22965
/proc/meminfo: memFree=29730464/32872528 swapFree=1481856/1661728
[pid=22958] ppid=22955 vsize=386292 CPUtime=342.24 cores=0,2,4,6
/proc/22958/stat : 22958 (cdcl-cuttingpla) R 22955 22958 20832 0 -1 4202496 11815 0 0 0 34218 6 0 0 20 0 1 0 13628858 395563008 87554 33554432000 4194304 6199737 140733315043904 140733315042200 4213389 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/22958/statm: 96573 87554 161 490 0 96074 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 386292

[startup+402.3 s]
/proc/loadavg: 2.33 2.30 2.27 4/180 22969
/proc/meminfo: memFree=29689812/32872528 swapFree=1481856/1661728
[pid=22958] ppid=22955 vsize=602240 CPUtime=402.22 cores=0,2,4,6
/proc/22958/stat : 22958 (cdcl-cuttingpla) R 22955 22958 20832 0 -1 4202496 12569 0 0 0 40216 6 0 0 20 0 1 0 13628858 616693760 97688 33554432000 4194304 6199737 140733315043904 140733315042920 4213389 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/22958/statm: 150560 97688 161 490 0 150061 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 602240

[startup+462.3 s]
/proc/loadavg: 2.38 2.32 2.28 3/179 23109
/proc/meminfo: memFree=29836728/32872528 swapFree=1481856/1661728
[pid=22958] ppid=22955 vsize=602680 CPUtime=462.22 cores=0,2,4,6
/proc/22958/stat : 22958 (cdcl-cuttingpla) R 22955 22958 20832 0 -1 4202496 12705 0 0 0 46215 7 0 0 20 0 1 0 13628858 617144320 97824 33554432000 4194304 6199737 140733315043904 140733315043016 4213396 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/22958/statm: 150670 97824 161 490 0 150171 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 602680

[startup+522.3 s]
/proc/loadavg: 2.23 2.29 2.27 3/179 23110
/proc/meminfo: memFree=29768000/32872528 swapFree=1481856/1661728
[pid=22958] ppid=22955 vsize=603768 CPUtime=522.21 cores=0,2,4,6
/proc/22958/stat : 22958 (cdcl-cuttingpla) R 22955 22958 20832 0 -1 4202496 12978 0 0 0 52214 7 0 0 20 0 1 0 13628858 618258432 98092 33554432000 4194304 6199737 140733315043904 140733315042600 4213368 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/22958/statm: 150942 98092 161 490 0 150443 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 603768

[startup+582.3 s]
/proc/loadavg: 2.21 2.28 2.27 4/179 23111
/proc/meminfo: memFree=29741364/32872528 swapFree=1481856/1661728
[pid=22958] ppid=22955 vsize=604468 CPUtime=582.2 cores=0,2,4,6
/proc/22958/stat : 22958 (cdcl-cuttingpla) R 22955 22958 20832 0 -1 4202496 13277 0 0 0 58213 7 0 0 20 0 1 0 13628858 618975232 100431 33554432000 4194304 6199737 140733315043904 140733315042600 4213385 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/22958/statm: 151117 100431 161 490 0 150618 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 604468


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


[startup+942.3 s]
/proc/loadavg: 2.24 2.25 2.26 3/179 23118
/proc/meminfo: memFree=29598500/32872528 swapFree=1481856/1661728
[pid=22958] ppid=22955 vsize=607256 CPUtime=942.15 cores=0,2,4,6
/proc/22958/stat : 22958 (cdcl-cuttingpla) R 22955 22958 20832 0 -1 4202496 14155 0 0 0 94207 8 0 0 20 0 1 0 13628858 621830144 108433 33554432000 4194304 6199737 140733315043904 140733315042600 4213389 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/22958/statm: 151814 108433 161 490 0 151315 0
Current children cumulated CPU time (s) 942.15
Current children cumulated vsize (KiB) 607256

[startup+1002.3 s]
/proc/loadavg: 2.32 2.27 2.26 3/180 23122
/proc/meminfo: memFree=29596404/32872528 swapFree=1481856/1661728
[pid=22958] ppid=22955 vsize=608384 CPUtime=1002.14 cores=0,2,4,6
/proc/22958/stat : 22958 (cdcl-cuttingpla) R 22955 22958 20832 0 -1 4202496 14418 0 0 0 100206 8 0 0 20 0 1 0 13628858 622985216 108696 33554432000 4194304 6199737 140733315043904 140733315042488 4213389 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/22958/statm: 152096 108696 161 490 0 151597 0
Current children cumulated CPU time (s) 1002.14
Current children cumulated vsize (KiB) 608384

[startup+1062.3 s]
/proc/loadavg: 2.47 2.31 2.28 3/179 23124
/proc/meminfo: memFree=29576296/32872528 swapFree=1481856/1661728
[pid=22958] ppid=22955 vsize=609216 CPUtime=1062.12 cores=0,2,4,6
/proc/22958/stat : 22958 (cdcl-cuttingpla) R 22955 22958 20832 0 -1 4202496 14630 0 0 0 106204 8 0 0 20 0 1 0 13628858 623837184 113507 33554432000 4194304 6199737 140733315043904 140733315042600 4213296 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/22958/statm: 152304 113507 161 490 0 151805 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 609216

[startup+1122.3 s]
/proc/loadavg: 2.30 2.29 2.27 3/179 23125
/proc/meminfo: memFree=29541268/32872528 swapFree=1481856/1661728
[pid=22958] ppid=22955 vsize=609920 CPUtime=1122.12 cores=0,2,4,6
/proc/22958/stat : 22958 (cdcl-cuttingpla) R 22955 22958 20832 0 -1 4202496 14886 0 0 0 112203 9 0 0 20 0 1 0 13628858 624558080 121930 33554432000 4194304 6199737 140733315043904 140733315042648 4211071 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/22958/statm: 152480 121930 161 490 0 151981 0
Current children cumulated CPU time (s) 1122.12
Current children cumulated vsize (KiB) 609920

[startup+1182.3 s]
/proc/loadavg: 2.36 2.31 2.28 3/179 23126
/proc/meminfo: memFree=29516296/32872528 swapFree=1481856/1661728
[pid=22958] ppid=22955 vsize=609920 CPUtime=1182.11 cores=0,2,4,6
/proc/22958/stat : 22958 (cdcl-cuttingpla) R 22955 22958 20832 0 -1 4202496 14886 0 0 0 118202 9 0 0 20 0 1 0 13628858 624558080 121930 33554432000 4194304 6199737 140733315043904 140733315043016 4213385 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/22958/statm: 152480 121930 161 490 0 151981 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 609920

[startup+1242.3 s]
/proc/loadavg: 2.28 2.30 2.27 3/179 23127
/proc/meminfo: memFree=29515920/32872528 swapFree=1481856/1661728
[pid=22958] ppid=22955 vsize=609920 CPUtime=1242.1 cores=0,2,4,6
/proc/22958/stat : 22958 (cdcl-cuttingpla) R 22955 22958 20832 0 -1 4202496 14898 0 0 0 124201 9 0 0 20 0 1 0 13628858 624558080 121942 33554432000 4194304 6199737 140733315043904 140733315043016 4213385 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/22958/statm: 152480 121942 161 490 0 151981 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 609920

[startup+1302.3 s]
/proc/loadavg: 2.36 2.32 2.28 3/179 23128
/proc/meminfo: memFree=29481880/32872528 swapFree=1481856/1661728
[pid=22958] ppid=22955 vsize=610060 CPUtime=1302.09 cores=0,2,4,6
/proc/22958/stat : 22958 (cdcl-cuttingpla) R 22955 22958 20832 0 -1 4202496 14940 0 0 0 130200 9 0 0 20 0 1 0 13628858 624701440 121984 33554432000 4194304 6199737 140733315043904 140733315042200 4213389 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/22958/statm: 152515 121984 161 490 0 152016 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 610060

[startup+1362.3 s]
/proc/loadavg: 2.36 2.32 2.28 3/179 23130
/proc/meminfo: memFree=29461004/32872528 swapFree=1481856/1661728
[pid=22958] ppid=22955 vsize=610480 CPUtime=1362.08 cores=0,2,4,6
/proc/22958/stat : 22958 (cdcl-cuttingpla) R 22955 22958 20832 0 -1 4202496 15016 0 0 0 136199 9 0 0 20 0 1 0 13628858 625131520 122060 33554432000 4194304 6199737 140733315043904 140733315042600 4213368 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/22958/statm: 152620 122060 161 490 0 152121 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 610480

[startup+1422.3 s]
/proc/loadavg: 2.32 2.31 2.27 3/179 23131
/proc/meminfo: memFree=29460500/32872528 swapFree=1481856/1661728
[pid=22958] ppid=22955 vsize=610624 CPUtime=1422.08 cores=0,2,4,6
/proc/22958/stat : 22958 (cdcl-cuttingpla) R 22955 22958 20832 0 -1 4202496 15069 0 0 0 142199 9 0 0 20 0 1 0 13628858 625278976 122113 33554432000 4194304 6199737 140733315043904 140733315042600 4213368 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/22958/statm: 152656 122113 161 490 0 152157 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 610624

[startup+1482.3 s]
/proc/loadavg: 2.31 2.30 2.27 3/179 23132
/proc/meminfo: memFree=29445024/32872528 swapFree=1481856/1661728
[pid=22958] ppid=22955 vsize=610928 CPUtime=1482.06 cores=0,2,4,6
/proc/22958/stat : 22958 (cdcl-cuttingpla) R 22955 22958 20832 0 -1 4202496 15189 0 0 0 148197 9 0 0 20 0 1 0 13628858 625590272 122233 33554432000 4194304 6199737 140733315043904 140733315042600 4213306 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/22958/statm: 152732 122233 161 490 0 152233 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 610928

[startup+1542.31 s]
/proc/loadavg: 2.30 2.29 2.27 3/179 23133
/proc/meminfo: memFree=29425704/32872528 swapFree=1481856/1661728
[pid=22958] ppid=22955 vsize=611520 CPUtime=1542.06 cores=0,2,4,6
/proc/22958/stat : 22958 (cdcl-cuttingpla) R 22955 22958 20832 0 -1 4202496 15331 0 0 0 154197 9 0 0 20 0 1 0 13628858 626196480 122375 33554432000 4194304 6199737 140733315043904 140733315042600 4213296 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/22958/statm: 152880 122375 161 490 0 152381 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 611520

[startup+1602.3 s]
/proc/loadavg: 2.26 2.28 2.27 3/180 23137
/proc/meminfo: memFree=29424476/32872528 swapFree=1481856/1661728
[pid=22958] ppid=22955 vsize=612088 CPUtime=1602.04 cores=0,2,4,6
/proc/22958/stat : 22958 (cdcl-cuttingpla) R 22955 22958 20832 0 -1 4202496 15505 0 0 0 160195 9 0 0 20 0 1 0 13628858 626778112 122549 33554432000 4194304 6199737 140733315043904 140733315042520 4213381 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/22958/statm: 153022 122549 161 490 0 152523 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 612088

[startup+1662.3 s]
/proc/loadavg: 2.28 2.27 2.27 3/179 23139
/proc/meminfo: memFree=29422724/32872528 swapFree=1481856/1661728
[pid=22958] ppid=22955 vsize=612792 CPUtime=1662.03 cores=0,2,4,6
/proc/22958/stat : 22958 (cdcl-cuttingpla) R 22955 22958 20832 0 -1 4202496 15681 0 0 0 166194 9 0 0 20 0 1 0 13628858 627499008 122725 33554432000 4194304 6199737 140733315043904 140733315042520 4213296 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/22958/statm: 153198 122725 161 490 0 152699 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 612792

[startup+1722.3 s]
/proc/loadavg: 2.22 2.25 2.26 3/179 23140
/proc/meminfo: memFree=29411220/32872528 swapFree=1481856/1661728
[pid=22958] ppid=22955 vsize=613356 CPUtime=1722.02 cores=0,2,4,6
/proc/22958/stat : 22958 (cdcl-cuttingpla) R 22955 22958 20832 0 -1 4202496 15803 0 0 0 172193 9 0 0 20 0 1 0 13628858 628076544 122847 33554432000 4194304 6199737 140733315043904 140733315042520 4213368 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/22958/statm: 153339 122847 161 490 0 152840 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 613356

[startup+1782.3 s]
/proc/loadavg: 2.14 2.22 2.25 3/178 23141
/proc/meminfo: memFree=29411472/32872528 swapFree=1481856/1661728
[pid=22958] ppid=22955 vsize=613636 CPUtime=1782.01 cores=0,2,4,6
/proc/22958/stat : 22958 (cdcl-cuttingpla) R 22955 22958 20832 0 -1 4202496 15873 0 0 0 178192 9 0 0 20 0 1 0 13628858 628363264 122917 33554432000 4194304 6199737 140733315043904 140733315042600 4213389 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/22958/statm: 153409 122917 161 490 0 152910 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 613636



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.10 2.20 2.24 3/178 23141
/proc/meminfo: memFree=29411688/32872528 swapFree=1481856/1661728
[pid=22958] ppid=22955 vsize=613788 CPUtime=1800.01 cores=0,2,4,6
/proc/22958/stat : 22958 (cdcl-cuttingpla) R 22955 22958 20832 0 -1 4202496 15906 0 0 0 179992 9 0 0 20 0 1 0 13628858 628518912 122950 33554432000 4194304 6199737 140733315043904 140733315042600 4213385 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/22958/statm: 153447 122950 161 490 0 152948 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 613788

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

[startup+1800.3 s]
/proc/loadavg: 2.10 2.20 2.24 3/178 23141
/proc/meminfo: memFree=29411688/32872528 swapFree=1481856/1661728
[pid=22958] ppid=22955 vsize=613788 CPUtime=1800.01 cores=0,2,4,6
/proc/22958/stat : 22958 (cdcl-cuttingpla) R 22955 22958 20832 0 -1 4202496 15906 0 0 0 179992 9 0 0 20 0 1 0 13628858 628518912 122950 33554432000 4194304 6199737 140733315043904 140733315042600 4213385 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/22958/statm: 153447 122950 161 490 0 152948 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 613788

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

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.92
system time used= 0.101984
maximum resident set size= 491800
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15906
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= 10
involuntary context switches= 1980

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.5983 second user time and 6.86396 second system time

The end

Launcher Data 

Begin job on node134 at 2016-06-17 00:23:44
IDJOB=4097841
IDBENCH=107814
IDSOLVER=2548
FILE ID=node134/4097841-1466115824
RUNJOBID= node134-1466112621-22083
PBS_JOBID= 19904059
Free space on /tmp= 71712 MiB

SOLVER NAME= cdcl-cuttingplanes DEC 2016-05-01
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression64_20.opb
COMMAND LINE= ./cdcl-cuttingplanes-release
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4097841-1466115824/watcher-4097841-1466115824 -o /tmp/evaluation-result-4097841-1466115824/solver-4097841-1466115824 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node134-1466112621-22083 --watchdog 1960 --input HOME/instance-4097841-1466115824.opb ./cdcl-cuttingplanes-release

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

MD5SUM BENCH= 24327f960e0621fad359171eb566677f
RANDOM SEED=56100509

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.020
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:        30087668 kB
Buffers:           52692 kB
Cached:           133388 kB
SwapCached:         8900 kB
Active:           327124 kB
Inactive:          92352 kB
Active(anon):     227160 kB
Inactive(anon):     8200 kB
Active(file):      99964 kB
Inactive(file):    84152 kB
Unevictable:     1661728 kB
Mlocked:         1481856 kB
SwapTotal:      67108856 kB
SwapFree:       67092052 kB
Dirty:              7032 kB
Writeback:             0 kB
AnonPages:       1880932 kB
Mapped:             7584 kB
Shmem:                 0 kB
Slab:             568996 kB
SReclaimable:      13088 kB
SUnreclaim:       555908 kB
KernelStack:        1488 kB
PageTables:         7552 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2038944 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987908 kB
HardwareCorrupted:     0 kB
AnonHugePages:    385024 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= 71708 MiB
End job on node134 at 2016-06-17 00:53:45