Trace number 4087686

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.12 1800.42

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_005_area_delay.opb
MD5SUM1a8b297a620c2a2aaf0a7beca79ff945
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark26
Best CPU time to get the best result obtained on this benchmark0.707891
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 33
Optimality of the best value was proved NO
Number of variables17114
Total number of constraints123451
Number of constraints which are clauses123451
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint254
Number of terms in the objective function 8405
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 8405
Number of bits of the sum of numbers in the objective function 14
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 8405
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.09/0.18	c * #variable= 17114 #constraint= 123451
0.49/0.50	c * #variable= 17114 #constraint= 123451
2.79/2.88	c S1->S2
2.79/2.88	c S1->S2
2.79/2.88	c S1->S2
2.79/2.88	c S2->S1
2.79/2.88	c S1->S2
2.79/2.88	c S1->S2
2.79/2.88	c #Conflicts:       1000 | #Learnt:        624 | 0.000
2.79/2.88	c total clause space: 206.656MB
2.79/2.88	c total #watches: 5856569
7.89/7.98	c total #propagations: 1214558 / total #impl: 14367096 (eff. 0.085)
7.89/7.98	c #Conflicts:       2000 | #Learnt:       1624 | 0.000
7.89/7.98	c total clause space: 545.701MB
7.89/7.98	c total #watches: 10544941
26.59/26.69	c total #propagations: 2780283 / total #impl: 60747090 (eff. 0.046)
26.59/26.69	c GC COLLECT
26.59/26.69	c #Conflicts:       3000 | #Learnt:       1816 | 0.000
26.59/26.69	c total clause space: 545.701MB
26.59/26.69	c total #watches: 5975392
46.78/46.88	c total #propagations: 6174224 / total #impl: 89467730 (eff. 0.069)
46.78/46.88	c #Conflicts:       4000 | #Learnt:       2816 | 0.000
46.78/46.88	c total clause space: 545.701MB
46.78/46.88	c total #watches: 6414049
81.78/81.90	c total #propagations: 7456150 / total #impl: 164469215 (eff. 0.045)
81.78/81.90	c GC COLLECT
81.78/81.90	c #Conflicts:       5000 | #Learnt:       2291 | 0.000
81.78/81.90	c total clause space: 545.701MB
81.78/81.90	c total #watches: 2447522
127.58/127.64	c total #propagations: 8306019 / total #impl: 205513896 (eff. 0.040)
127.58/127.64	c #Conflicts:       6000 | #Learnt:       3291 | 0.000
127.58/127.64	c total clause space: 545.701MB
127.58/127.64	c total #watches: 2713103
172.06/172.10	c total #propagations: 9486807 / total #impl: 282052191 (eff. 0.034)
172.06/172.10	c GC COLLECT
172.06/172.10	c #Conflicts:       7000 | #Learnt:       2280 | 0.000
172.06/172.10	c total clause space: 545.701MB
172.06/172.10	c total #watches: 1156890
214.25/214.33	c total #propagations: 10968356 / total #impl: 414334118 (eff. 0.026)
214.25/214.33	c #Conflicts:       8000 | #Learnt:       3280 | 0.000
214.25/214.33	c total clause space: 545.701MB
214.25/214.33	c total #watches: 1389637
266.64/266.73	c total #propagations: 12178013 / total #impl: 534231648 (eff. 0.023)
266.64/266.73	c #Conflicts:       9000 | #Learnt:       4280 | 0.000
266.64/266.73	c total clause space: 545.701MB
266.64/266.73	c total #watches: 1537930
448.39/448.56	c total #propagations: 13742269 / total #impl: 615782279 (eff. 0.022)
448.39/448.56	c GC COLLECT
448.39/448.56	c #Conflicts:      10000 | #Learnt:       2767 | 0.000
448.39/448.56	c total clause space: 545.701MB
448.39/448.56	c total #watches: 1323553
484.88/485.11	c total #propagations: 16126797 / total #impl: 742201226 (eff. 0.022)
484.88/485.11	c #Conflicts:      11000 | #Learnt:       3767 | 0.000
484.88/485.11	c total clause space: 545.701MB
484.88/485.11	c total #watches: 2024174
509.88/510.09	c total #propagations: 17165375 / total #impl: 813219396 (eff. 0.021)
509.88/510.09	c #Conflicts:      12000 | #Learnt:       4767 | 0.000
509.88/510.09	c total clause space: 545.701MB
509.88/510.09	c total #watches: 2788809
546.17/546.32	c total #propagations: 17826824 / total #impl: 927357880 (eff. 0.019)
546.17/546.32	c #Conflicts:      13000 | #Learnt:       5767 | 0.000
546.17/546.32	c total clause space: 545.701MB
546.17/546.32	c total #watches: 5031310
574.37/574.59	c total #propagations: 18752164 / total #impl: 1066709478 (eff. 0.018)
574.37/574.59	c GC COLLECT
574.37/574.59	c #Conflicts:      14000 | #Learnt:       3890 | 0.000
574.37/574.59	c total clause space: 545.701MB
574.37/574.59	c total #watches: 6109729
613.77/613.91	c total #propagations: 20549800 / total #impl: 1291516881 (eff. 0.016)
613.77/613.91	c #Conflicts:      15000 | #Learnt:       4890 | 0.000
613.77/613.91	c total clause space: 545.701MB
613.77/613.91	c total #watches: 7563023
657.16/657.35	c total #propagations: 21141141 / total #impl: 1673951760 (eff. 0.013)
657.16/657.35	c #Conflicts:      16000 | #Learnt:       5890 | 0.000
657.16/657.35	c total clause space: 545.701MB
657.16/657.35	c total #watches: 9199262
696.85/697.09	c total #propagations: 22077937 / total #impl: 2050274211 (eff. 0.011)
696.85/697.09	c GC COLLECT
696.85/697.09	c #Conflicts:      17000 | #Learnt:       3712 | 0.000
696.85/697.09	c total clause space: 545.701MB
696.85/697.09	c total #watches: 7924461
734.05/734.26	c total #propagations: 22616506 / total #impl: 2479086986 (eff. 0.009)
734.05/734.26	c #Conflicts:      18000 | #Learnt:       4712 | 0.000
734.05/734.26	c total clause space: 545.701MB
734.05/734.26	c total #watches: 9136181
768.04/768.26	c total #propagations: 23096309 / total #impl: 3086382472 (eff. 0.007)
768.04/768.26	c #Conflicts:      19000 | #Learnt:       5712 | 0.000
768.04/768.26	c total clause space: 545.701MB
768.04/768.26	c total #watches: 10390185
827.63/827.81	c total #propagations: 23388215 / total #impl: 4043976690 (eff. 0.006)
827.63/827.81	c #Conflicts:      20000 | #Learnt:       6712 | 0.000
827.63/827.81	c total clause space: 545.701MB
827.63/827.81	c total #watches: 12437171
896.03/896.22	c total #propagations: 24124927 / total #impl: 4819632769 (eff. 0.005)
896.03/896.22	c GC COLLECT
896.03/896.22	c #Conflicts:      21000 | #Learnt:       4229 | 0.000
896.03/896.22	c total clause space: 545.701MB
896.03/896.22	c total #watches: 9806919
992.81/993.04	c total #propagations: 24993177 / total #impl: 5624274116 (eff. 0.004)
992.81/993.04	c #Conflicts:      22000 | #Learnt:       5229 | 0.000
992.81/993.04	c total clause space: 545.701MB
992.81/993.04	c total #watches: 11201578
1069.70/1069.99	c total #propagations: 25826959 / total #impl: 6691183158 (eff. 0.004)
1069.70/1069.99	c #Conflicts:      23000 | #Learnt:       6229 | 0.000
1069.70/1069.99	c total clause space: 545.701MB
1069.70/1069.99	c total #watches: 11852258
1183.39/1183.64	c total #propagations: 26359602 / total #impl: 7236439862 (eff. 0.004)
1183.39/1183.64	c #Conflicts:      24000 | #Learnt:       7229 | 0.000
1183.39/1183.64	c total clause space: 545.701MB
1183.39/1183.64	c total #watches: 12736392
1300.97/1301.26	c total #propagations: 27334997 / total #impl: 8221729526 (eff. 0.003)
1300.97/1301.26	c GC COLLECT
1300.97/1301.26	c #Conflicts:      25000 | #Learnt:       4442 | 0.000
1300.97/1301.26	c total clause space: 886.764MB
1300.97/1301.26	c total #watches: 7862212
1381.46/1381.79	c total #propagations: 28043862 / total #impl: 9091680421 (eff. 0.003)
1381.46/1381.79	c #Conflicts:      26000 | #Learnt:       5441 | 0.000
1381.46/1381.79	c total clause space: 886.764MB
1381.46/1381.79	c total #watches: 9877317
1401.44/1401.77	c total #propagations: 30328244 / total #impl: 9649601838 (eff. 0.003)
1401.44/1401.77	c #Conflicts:      27000 | #Learnt:       6441 | 0.000
1401.44/1401.77	c total clause space: 886.764MB
1401.44/1401.77	c total #watches: 14274299
1444.44/1444.77	c total #propagations: 30944486 / total #impl: 9686920462 (eff. 0.003)
1444.44/1444.77	c #Conflicts:      28000 | #Learnt:       7441 | 0.000
1444.44/1444.77	c total clause space: 886.764MB
1444.44/1444.77	c total #watches: 17188409
1482.43/1482.73	c total #propagations: 31307379 / total #impl: 9822792736 (eff. 0.003)
1482.43/1482.73	c GC COLLECT
1482.43/1482.73	c #Conflicts:      29000 | #Learnt:       4341 | 0.000
1482.43/1482.73	c total clause space: 886.764MB
1482.43/1482.73	c total #watches: 13194923
1516.64/1516.97	c total #propagations: 31684612 / total #impl: 9992737635 (eff. 0.003)
1516.64/1516.97	c #Conflicts:      30000 | #Learnt:       5341 | 0.000
1516.64/1516.97	c total clause space: 886.764MB
1516.64/1516.97	c total #watches: 15257838
1585.62/1585.95	c total #propagations: 32392385 / total #impl: 10132845140 (eff. 0.003)
1585.62/1585.95	c #Conflicts:      31000 | #Learnt:       6341 | 0.000
1585.62/1585.95	c total clause space: 886.764MB
1585.62/1585.95	c total #watches: 17155939
1637.51/1637.80	c total #propagations: 33897549 / total #impl: 10199730516 (eff. 0.003)
1637.51/1637.80	c #Conflicts:      32000 | #Learnt:       7341 | 0.000
1637.51/1637.80	c total clause space: 886.764MB
1637.51/1637.80	c total #watches: 20289577
1659.30/1659.62	c total #propagations: 35133474 / total #impl: 10257461864 (eff. 0.003)
1659.30/1659.62	c #Conflicts:      33000 | #Learnt:       8341 | 0.000
1659.30/1659.62	c total clause space: 886.764MB
1659.30/1659.62	c total #watches: 22458305
1681.91/1682.23	c total #propagations: 36636340 / total #impl: 10318443462 (eff. 0.004)
1681.91/1682.23	c GC COLLECT
1681.91/1682.23	c #Conflicts:      34000 | #Learnt:       4945 | 0.000
1681.91/1682.23	c total clause space: 886.764MB
1681.91/1682.23	c total #watches: 13495401
1714.80/1715.17	c total #propagations: 38459633 / total #impl: 10374882717 (eff. 0.004)
1714.80/1715.17	c #Conflicts:      35000 | #Learnt:       5944 | 0.000
1714.80/1715.17	c total clause space: 886.764MB
1714.80/1715.17	c total #watches: 14815649
1744.31/1744.69	c total #propagations: 40013067 / total #impl: 10457386581 (eff. 0.004)
1744.31/1744.69	c #Conflicts:      36000 | #Learnt:       6944 | 0.000
1744.31/1744.69	c total clause space: 886.764MB
1744.31/1744.69	c total #watches: 16213017
1782.09/1782.49	c total #propagations: 40951034 / total #impl: 10504408994 (eff. 0.004)
1782.09/1782.49	c #Conflicts:      37000 | #Learnt:       7944 | 0.000
1782.09/1782.49	c total clause space: 886.764MB
1782.09/1782.49	c total #watches: 17650980

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-4087686-1465429196/watcher-4087686-1465429196 -o /tmp/evaluation-result-4087686-1465429196/solver-4087686-1465429196 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node132-1465427020-23744 --watchdog 1960 --input HOME/instance-4087686-1465429196.opb ./cdcl-cuttingplanes-opt-binarysearch-release 

pid=24004
running on 8 cores: 4-7,12-15

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.00 2.01 2.00 3/258 24007
/proc/meminfo: memFree=30567412/32872528 swapFree=9196/9196
[pid=24007] ppid=24004 vsize=56116 CPUtime=0 cores=4-7,12-15
/proc/24007/stat : 24007 (cdcl-cuttingpla) R 24004 24007 23727 0 -1 4202496 314 0 0 0 0 0 0 0 20 0 1 0 124761168 57462784 10926 33554432000 4194304 6211289 140733500507152 140736543642072 4261036 0 0 4096 8388610 0 0 0 17 14 0 0 0 0 0
/proc/24007/statm: 14029 10926 120 493 0 13526 0

[startup+0.100171 s]
/proc/loadavg: 2.00 2.01 2.00 3/258 24007
/proc/meminfo: memFree=30567412/32872528 swapFree=9196/9196
[pid=24007] ppid=24004 vsize=58924 CPUtime=0.09 cores=4-7,12-15
/proc/24007/stat : 24007 (cdcl-cuttingpla) R 24004 24007 23727 0 -1 4202496 1480 0 0 0 9 0 0 0 20 0 1 0 124761168 60338176 11530 33554432000 4194304 6211289 140733500507152 140736543642072 5418912 0 0 4096 8388610 0 0 0 17 14 0 0 0 0 0
/proc/24007/statm: 14731 11530 121 493 0 14228 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 58924

[startup+0.200273 s]
/proc/loadavg: 2.00 2.01 2.00 3/258 24007
/proc/meminfo: memFree=30567412/32872528 swapFree=9196/9196
[pid=24007] ppid=24004 vsize=69856 CPUtime=0.19 cores=4-7,12-15
/proc/24007/stat : 24007 (cdcl-cuttingpla) R 24004 24007 23727 0 -1 4202496 2935 0 0 0 18 1 0 0 20 0 1 0 124761168 71532544 14411 33554432000 4194304 6211289 140733500507152 140736543642072 4228081 0 0 4096 8388610 0 0 0 17 14 0 0 0 0 0
/proc/24007/statm: 17464 14412 144 493 0 16961 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 69856

[startup+0.300326 s]
/proc/loadavg: 2.00 2.01 2.00 3/258 24007
/proc/meminfo: memFree=30567412/32872528 swapFree=9196/9196
[pid=24007] ppid=24004 vsize=78232 CPUtime=0.29 cores=4-7,12-15
/proc/24007/stat : 24007 (cdcl-cuttingpla) R 24004 24007 23727 0 -1 4202496 3829 0 0 0 28 1 0 0 20 0 1 0 124761168 80109568 16327 33554432000 4194304 6211289 140733500507152 140736543642072 5161098 0 0 4096 8388610 0 0 0 17 14 0 0 0 0 0
/proc/24007/statm: 19558 16328 144 493 0 19055 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 78232

[startup+0.700289 s]
/proc/loadavg: 2.00 2.01 2.00 3/258 24007
/proc/meminfo: memFree=30567412/32872528 swapFree=9196/9196
[pid=24007] ppid=24004 vsize=120540 CPUtime=0.69 cores=4-7,12-15
/proc/24007/stat : 24007 (cdcl-cuttingpla) R 24004 24007 23727 0 -1 4202496 8253 0 0 0 66 3 0 0 20 0 1 0 124761168 123432960 24835 33554432000 4194304 6211289 140733500507152 140736543642072 4235110 0 0 4096 8388610 0 0 0 17 14 0 0 0 0 0
/proc/24007/statm: 30135 24836 144 493 0 29632 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 120540

[startup+1.50032 s]
/proc/loadavg: 2.00 2.01 2.00 3/259 24008
/proc/meminfo: memFree=30429084/32872528 swapFree=9196/9196
[pid=24007] ppid=24004 vsize=262620 CPUtime=1.49 cores=4-7,12-15
/proc/24007/stat : 24007 (cdcl-cuttingpla) R 24004 24007 23727 0 -1 4202496 17045 0 0 0 144 5 0 0 20 0 1 0 124761168 268922880 50973 33554432000 4194304 6211289 140733500507152 140733500505144 4243125 0 0 4096 8388610 0 0 0 17 14 0 0 0 0 0
/proc/24007/statm: 65655 50973 204 493 0 65152 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 262620

[startup+3.1003 s]
/proc/loadavg: 2.00 2.01 2.00 3/259 24008
/proc/meminfo: memFree=30274292/32872528 swapFree=9196/9196
[pid=24007] ppid=24004 vsize=511964 CPUtime=3.09 cores=4-7,12-15
/proc/24007/stat : 24007 (cdcl-cuttingpla) R 24004 24007 23727 0 -1 4202496 26371 0 0 0 299 10 0 0 20 0 1 0 124761168 524251136 94002 33554432000 4194304 6211289 140733500507152 140733500505064 4202005 0 0 4096 8388610 0 0 0 17 14 0 0 0 0 0
/proc/24007/statm: 127991 94002 214 493 0 127488 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 511964

[startup+6.30032 s]
/proc/loadavg: 2.00 2.01 2.00 3/260 24011
/proc/meminfo: memFree=30120928/32872528 swapFree=9196/9196
[pid=24007] ppid=24004 vsize=575800 CPUtime=6.29 cores=4-7,12-15
/proc/24007/stat : 24007 (cdcl-cuttingpla) R 24004 24007 23727 0 -1 4202496 38985 0 0 0 616 13 0 0 20 0 1 0 124761168 589619200 127056 33554432000 4194304 6211289 140733500507152 140733500505064 4216601 0 0 4096 8388610 0 0 0 17 14 0 0 0 0 0
/proc/24007/statm: 143950 127056 214 493 0 143447 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 575800

[startup+12.7002 s]
/proc/loadavg: 2.00 2.01 2.00 3/260 24011
/proc/meminfo: memFree=29972832/32872528 swapFree=9196/9196
[pid=24007] ppid=24004 vsize=793240 CPUtime=12.69 cores=4-7,12-15
/proc/24007/stat : 24007 (cdcl-cuttingpla) R 24004 24007 23727 0 -1 4202496 43668 0 0 0 1252 17 0 0 20 0 1 0 124761168 812277760 147650 33554432000 4194304 6211289 140733500507152 140733500505496 4240859 0 0 4096 8388610 0 0 0 17 14 0 0 0 0 0
/proc/24007/statm: 198310 147650 214 493 0 197807 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 793240

[startup+25.5004 s]
/proc/loadavg: 2.00 2.01 2.00 3/260 24011
/proc/meminfo: memFree=29974072/32872528 swapFree=9196/9196
[pid=24007] ppid=24004 vsize=793240 CPUtime=25.49 cores=4-7,12-15
/proc/24007/stat : 24007 (cdcl-cuttingpla) R 24004 24007 23727 0 -1 4202496 43673 0 0 0 2532 17 0 0 20 0 1 0 124761168 812277760 147655 33554432000 4194304 6211289 140733500507152 140733500505496 4202062 0 0 4096 8388610 0 0 0 17 14 0 0 0 0 0
/proc/24007/statm: 198310 147655 219 493 0 197807 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 793240

[startup+51.1004 s]
/proc/loadavg: 2.06 2.02 2.00 3/260 24011
/proc/meminfo: memFree=29971272/32872528 swapFree=9196/9196
[pid=24007] ppid=24004 vsize=793240 CPUtime=51.08 cores=4-7,12-15
/proc/24007/stat : 24007 (cdcl-cuttingpla) R 24004 24007 23727 0 -1 4202496 43849 0 0 0 5091 17 0 0 20 0 1 0 124761168 812277760 147789 33554432000 4194304 6211289 140733500507152 140733500505496 4209358 0 0 4096 8388610 0 0 0 17 14 0 0 0 0 0
/proc/24007/statm: 198310 147789 219 493 0 197807 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 793240

[startup+102.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/259 24012
/proc/meminfo: memFree=29966504/32872528 swapFree=9196/9196
[pid=24007] ppid=24004 vsize=793240 CPUtime=102.28 cores=4-7,12-15
/proc/24007/stat : 24007 (cdcl-cuttingpla) R 24004 24007 23727 0 -1 4202496 44043 0 0 0 10211 17 0 0 20 0 1 0 124761168 812277760 147789 33554432000 4194304 6211289 140733500507152 140733500505496 4241570 0 0 4096 8388610 0 0 0 17 14 0 0 0 0 0
/proc/24007/statm: 198310 147789 219 493 0 197807 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 793240

[startup+162.3 s]
/proc/loadavg: 2.13 2.04 2.01 3/259 24014
/proc/meminfo: memFree=29957564/32872528 swapFree=9196/9196
[pid=24007] ppid=24004 vsize=793852 CPUtime=162.27 cores=4-7,12-15
/proc/24007/stat : 24007 (cdcl-cuttingpla) R 24004 24007 23727 0 -1 4202496 44211 0 0 0 16210 17 0 0 20 0 1 0 124761168 812904448 147957 33554432000 4194304 6211289 140733500507152 140733500505144 4209328 0 0 4096 8388610 0 0 0 17 14 0 0 0 0 0
/proc/24007/statm: 198463 147957 219 493 0 197960 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 793852

[startup+222.311 s]
/proc/loadavg: 2.12 2.06 2.01 3/259 24015
/proc/meminfo: memFree=29951972/32872528 swapFree=9196/9196
[pid=24007] ppid=24004 vsize=794284 CPUtime=222.26 cores=4-7,12-15
/proc/24007/stat : 24007 (cdcl-cuttingpla) R 24004 24007 23727 0 -1 4202496 44496 0 0 0 22209 17 0 0 20 0 1 0 124761168 813346816 148239 33554432000 4194304 6211289 140733500507152 140733500505496 4209304 0 0 4096 8388610 0 0 0 17 14 0 0 0 0 0
/proc/24007/statm: 198571 148239 219 493 0 198068 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 794284

[startup+282.3 s]
/proc/loadavg: 2.18 2.08 2.02 3/259 24016
/proc/meminfo: memFree=29935932/32872528 swapFree=9196/9196
[pid=24007] ppid=24004 vsize=796252 CPUtime=282.24 cores=4-7,12-15
/proc/24007/stat : 24007 (cdcl-cuttingpla) R 24004 24007 23727 0 -1 4202496 45070 0 0 0 28207 17 0 0 20 0 1 0 124761168 815362048 150347 33554432000 4194304 6211289 140733500507152 140733500505064 4209304 0 0 4096 8388610 0 0 0 17 14 0 0 0 0 0
/proc/24007/statm: 199063 150347 219 493 0 198560 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 796252

[startup+342.3 s]
/proc/loadavg: 2.14 2.09 2.02 3/259 24017
/proc/meminfo: memFree=29922928/32872528 swapFree=9196/9196
[pid=24007] ppid=24004 vsize=796252 CPUtime=342.22 cores=4-7,12-15
/proc/24007/stat : 24007 (cdcl-cuttingpla) R 24004 24007 23727 0 -1 4202496 45097 0 0 0 34205 17 0 0 20 0 1 0 124761168 815362048 150353 33554432000 4194304 6211289 140733500507152 140733500505064 4209306 0 0 4096 8388610 0 0 0 17 14 0 0 0 0 0
/proc/24007/statm: 199063 150353 219 493 0 198560 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 796252

[startup+402.3 s]
/proc/loadavg: 2.19 2.12 2.03 3/259 24018
/proc/meminfo: memFree=29921588/32872528 swapFree=9196/9196
[pid=24007] ppid=24004 vsize=796556 CPUtime=402.2 cores=4-7,12-15
/proc/24007/stat : 24007 (cdcl-cuttingpla) R 24004 24007 23727 0 -1 4202496 45188 0 0 0 40203 17 0 0 20 0 1 0 124761168 815673344 150425 33554432000 4194304 6211289 140733500507152 140733500505144 4209322 0 0 4096 8388610 0 0 0 17 14 0 0 0 0 0
/proc/24007/statm: 199139 150425 219 493 0 198636 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 796556

[startup+462.3 s]
/proc/loadavg: 2.13 2.11 2.03 3/259 24020
/proc/meminfo: memFree=29921116/32872528 swapFree=9196/9196
[pid=24007] ppid=24004 vsize=797032 CPUtime=462.19 cores=4-7,12-15
/proc/24007/stat : 24007 (cdcl-cuttingpla) R 24004 24007 23727 0 -1 4202496 45289 0 0 0 46202 17 0 0 20 0 1 0 124761168 816160768 150518 33554432000 4194304 6211289 140733500507152 140733500505496 4209322 0 0 4096 8388610 0 0 0 17 14 0 0 0 0 0
/proc/24007/statm: 199258 150518 219 493 0 198755 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 797032

[startup+522.3 s]
/proc/loadavg: 2.16 2.12 2.04 3/259 24021
/proc/meminfo: memFree=29916596/32872528 swapFree=9196/9196
[pid=24007] ppid=24004 vsize=799792 CPUtime=522.18 cores=4-7,12-15
/proc/24007/stat : 24007 (cdcl-cuttingpla) R 24004 24007 23727 0 -1 4202496 46014 0 0 0 52201 17 0 0 20 0 1 0 124761168 818987008 151243 33554432000 4194304 6211289 140733500507152 140733500505144 4209314 0 0 4096 8388610 0 0 0 17 14 0 0 0 0 0
/proc/24007/statm: 199948 151243 219 493 0 199445 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 799792

[startup+582.3 s]
/proc/loadavg: 2.19 2.14 2.05 3/259 24022
/proc/meminfo: memFree=29916340/32872528 swapFree=9196/9196
[pid=24007] ppid=24004 vsize=799952 CPUtime=582.17 cores=4-7,12-15
/proc/24007/stat : 24007 (cdcl-cuttingpla) R 24004 24007 23727 0 -1 4202496 46040 0 0 0 58200 17 0 0 20 0 1 0 124761168 819150848 151269 33554432000 4194304 6211289 140733500507152 140733500505496 4209396 0 0 4096 8388610 0 0 0 17 14 0 0 0 0 0
/proc/24007/statm: 199988 151269 219 493 0 199485 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 799952


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


[startup+882.311 s]
/proc/loadavg: 2.03 2.08 2.04 3/259 24031
/proc/meminfo: memFree=29728824/32872528 swapFree=9196/9196
[pid=24007] ppid=24004 vsize=801288 CPUtime=882.14 cores=4-7,12-15
/proc/24007/stat : 24007 (cdcl-cuttingpla) R 24004 24007 23727 0 -1 4202496 46752 0 0 0 88194 20 0 0 20 0 1 0 124761168 820518912 193369 33554432000 4194304 6211289 140733500507152 140733500505144 4209396 0 0 4096 8388610 0 0 0 17 14 0 0 0 0 0
/proc/24007/statm: 200322 193369 219 493 0 199819 0
Current children cumulated CPU time (s) 882.14
Current children cumulated vsize (KiB) 801288

[startup+942.3 s]
/proc/loadavg: 2.08 2.09 2.04 3/259 24032
/proc/meminfo: memFree=29729056/32872528 swapFree=9196/9196
[pid=24007] ppid=24004 vsize=801288 CPUtime=942.12 cores=4-7,12-15
/proc/24007/stat : 24007 (cdcl-cuttingpla) R 24004 24007 23727 0 -1 4202496 46752 0 0 0 94192 20 0 0 20 0 1 0 124761168 820518912 193369 33554432000 4194304 6211289 140733500507152 140733500505496 4209376 0 0 4096 8388610 0 0 0 17 14 0 0 0 0 0
/proc/24007/statm: 200322 193369 219 493 0 199819 0
Current children cumulated CPU time (s) 942.12
Current children cumulated vsize (KiB) 801288

[startup+1002.3 s]
/proc/loadavg: 2.14 2.11 2.05 3/259 24033
/proc/meminfo: memFree=29728116/32872528 swapFree=9196/9196
[pid=24007] ppid=24004 vsize=801480 CPUtime=1002.11 cores=4-7,12-15
/proc/24007/stat : 24007 (cdcl-cuttingpla) R 24004 24007 23727 0 -1 4202496 46788 0 0 0 100191 20 0 0 20 0 1 0 124761168 820715520 193406 33554432000 4194304 6211289 140733500507152 140733500505496 4209392 0 0 4096 8388610 0 0 0 17 14 0 0 0 0 0
/proc/24007/statm: 200370 193406 219 493 0 199867 0
Current children cumulated CPU time (s) 1002.11
Current children cumulated vsize (KiB) 801480

[startup+1062.3 s]
/proc/loadavg: 2.13 2.12 2.06 3/259 24035
/proc/meminfo: memFree=29716028/32872528 swapFree=9196/9196
[pid=24007] ppid=24004 vsize=801640 CPUtime=1062.1 cores=4-7,12-15
/proc/24007/stat : 24007 (cdcl-cuttingpla) R 24004 24007 23727 0 -1 4202496 46836 0 0 0 106190 20 0 0 20 0 1 0 124761168 820879360 193454 33554432000 4194304 6211289 140733500507152 140733500505064 4209396 0 0 4096 8388610 0 0 0 17 14 0 0 0 0 0
/proc/24007/statm: 200410 193454 219 493 0 199907 0
Current children cumulated CPU time (s) 1062.1
Current children cumulated vsize (KiB) 801640

[startup+1122.3 s]
/proc/loadavg: 2.10 2.11 2.06 3/259 24036
/proc/meminfo: memFree=29715400/32872528 swapFree=9196/9196
[pid=24007] ppid=24004 vsize=802064 CPUtime=1122.09 cores=4-7,12-15
/proc/24007/stat : 24007 (cdcl-cuttingpla) R 24004 24007 23727 0 -1 4202496 46933 0 0 0 112189 20 0 0 20 0 1 0 124761168 821313536 193551 33554432000 4194304 6211289 140733500507152 140733500505144 4209392 0 0 4096 8388610 0 0 0 17 14 0 0 0 0 0
/proc/24007/statm: 200516 193551 219 493 0 200013 0
Current children cumulated CPU time (s) 1122.09
Current children cumulated vsize (KiB) 802064

[startup+1182.3 s]
/proc/loadavg: 2.12 2.12 2.06 3/259 24037
/proc/meminfo: memFree=29715392/32872528 swapFree=9196/9196
[pid=24007] ppid=24004 vsize=802352 CPUtime=1182.08 cores=4-7,12-15
/proc/24007/stat : 24007 (cdcl-cuttingpla) R 24004 24007 23727 0 -1 4202496 46987 0 0 0 118188 20 0 0 20 0 1 0 124761168 821608448 193605 33554432000 4194304 6211289 140733500507152 140733500505144 4209507 0 0 4096 8388610 0 0 0 17 14 0 0 0 0 0
/proc/24007/statm: 200588 193605 219 493 0 200085 0
Current children cumulated CPU time (s) 1182.08
Current children cumulated vsize (KiB) 802352

[startup+1242.3 s]
/proc/loadavg: 2.08 2.11 2.06 3/260 24041
/proc/meminfo: memFree=29682332/32872528 swapFree=9196/9196
[pid=24007] ppid=24004 vsize=1151600 CPUtime=1242.08 cores=4-7,12-15
/proc/24007/stat : 24007 (cdcl-cuttingpla) R 24004 24007 23727 0 -1 4202496 47749 0 0 0 124184 24 0 0 20 0 1 0 124761168 1179238400 197437 33554432000 4194304 6211289 140733500507152 140733500505384 4209484 0 0 4096 8388610 0 0 0 17 14 0 0 0 0 0
/proc/24007/statm: 287900 197437 219 493 0 287397 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 1151600

[startup+1302.3 s]
/proc/loadavg: 2.03 2.08 2.06 3/260 24065
/proc/meminfo: memFree=29679696/32872528 swapFree=9196/9196
[pid=24007] ppid=24004 vsize=1151600 CPUtime=1302.07 cores=4-7,12-15
/proc/24007/stat : 24007 (cdcl-cuttingpla) R 24004 24007 23727 0 -1 4202496 47752 0 0 0 130183 24 0 0 20 0 1 0 124761168 1179238400 197440 33554432000 4194304 6211289 140733500507152 140733500505496 4209392 0 0 4096 8388610 0 0 0 17 14 0 0 0 0 0
/proc/24007/statm: 287900 197440 219 493 0 287397 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 1151600

[startup+1362.3 s]
/proc/loadavg: 2.01 2.07 2.05 3/259 24067
/proc/meminfo: memFree=29679452/32872528 swapFree=9196/9196
[pid=24007] ppid=24004 vsize=1151760 CPUtime=1362.06 cores=4-7,12-15
/proc/24007/stat : 24007 (cdcl-cuttingpla) R 24004 24007 23727 0 -1 4202496 47804 0 0 0 136182 24 0 0 20 0 1 0 124761168 1179402240 197492 33554432000 4194304 6211289 140733500507152 140733500505144 4209396 0 0 4096 8388610 0 0 0 17 14 0 0 0 0 0
/proc/24007/statm: 287940 197492 219 493 0 287437 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 1151760

[startup+1422.3 s]
/proc/loadavg: 2.00 2.05 2.04 3/259 24068
/proc/meminfo: memFree=29526364/32872528 swapFree=9196/9196
[pid=24007] ppid=24004 vsize=1269368 CPUtime=1422.06 cores=4-7,12-15
/proc/24007/stat : 24007 (cdcl-cuttingpla) R 24004 24007 23727 0 -1 4202496 68718 0 0 0 142178 28 0 0 20 0 1 0 124761168 1299832832 235779 33554432000 4194304 6211289 140733500507152 140733500505064 4209388 0 0 4096 8388610 0 0 0 17 14 0 0 0 0 0
/proc/24007/statm: 317342 235779 219 493 0 316839 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 1269368

[startup+1482.3 s]
/proc/loadavg: 2.03 2.05 2.04 3/260 24070
/proc/meminfo: memFree=29399768/32872528 swapFree=9196/9196
[pid=24007] ppid=24004 vsize=1276508 CPUtime=1482.03 cores=4-7,12-15
/proc/24007/stat : 24007 (cdcl-cuttingpla) R 24004 24007 23727 0 -1 4202496 73034 0 0 0 148172 31 0 0 20 0 1 0 124761168 1307144192 266647 33554432000 4194304 6211289 140733500507152 140733500505144 4209403 0 0 4096 8388610 0 0 0 17 14 0 0 0 0 0
/proc/24007/statm: 319127 266647 219 493 0 318624 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 1276508

[startup+1542.31 s]
/proc/loadavg: 2.06 2.06 2.04 3/259 24117
/proc/meminfo: memFree=29097016/32872528 swapFree=9196/9196
[pid=24007] ppid=24004 vsize=1276800 CPUtime=1542.03 cores=4-7,12-15
/proc/24007/stat : 24007 (cdcl-cuttingpla) R 24004 24007 23727 0 -1 4202496 73190 0 0 0 154172 31 0 0 20 0 1 0 124761168 1307443200 266803 33554432000 4194304 6211289 140733500507152 140733500505496 4209396 0 0 4096 8388610 0 0 0 17 14 0 0 0 0 0
/proc/24007/statm: 319200 266803 219 493 0 318697 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 1276800

[startup+1602.3 s]
/proc/loadavg: 2.02 2.04 2.04 3/259 24118
/proc/meminfo: memFree=29078768/32872528 swapFree=9196/9196
[pid=24007] ppid=24004 vsize=1276800 CPUtime=1602.01 cores=4-7,12-15
/proc/24007/stat : 24007 (cdcl-cuttingpla) R 24004 24007 23727 0 -1 4202496 73207 0 0 0 160170 31 0 0 20 0 1 0 124761168 1307443200 266820 33554432000 4194304 6211289 140733500507152 140733500505496 4209396 0 0 4096 8388610 0 0 0 17 14 0 0 0 0 0
/proc/24007/statm: 319200 266820 219 493 0 318697 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 1276800

[startup+1662.3 s]
/proc/loadavg: 2.09 2.06 2.04 3/259 24120
/proc/meminfo: memFree=28950856/32872528 swapFree=9196/9196
[pid=24007] ppid=24004 vsize=1276800 CPUtime=1662 cores=4-7,12-15
/proc/24007/stat : 24007 (cdcl-cuttingpla) R 24004 24007 23727 0 -1 4202496 75975 0 0 0 166167 33 0 0 20 0 1 0 124761168 1307443200 298575 33554432000 4194304 6211289 140733500507152 140733500505496 4209403 0 0 4096 8388610 0 0 0 17 14 0 0 0 0 0
/proc/24007/statm: 319200 298575 219 493 0 318697 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 1276800

[startup+1722.3 s]
/proc/loadavg: 2.16 2.09 2.05 3/259 24121
/proc/meminfo: memFree=28914460/32872528 swapFree=9196/9196
[pid=24007] ppid=24004 vsize=1276800 CPUtime=1722 cores=4-7,12-15
/proc/24007/stat : 24007 (cdcl-cuttingpla) R 24004 24007 23727 0 -1 4202496 76200 0 0 0 172166 34 0 0 20 0 1 0 124761168 1307443200 307828 33554432000 4194304 6211289 140733500507152 140733500505496 4209396 0 0 4096 8388610 0 0 0 17 14 0 0 0 0 0
/proc/24007/statm: 319200 307828 219 493 0 318697 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 1276800

[startup+1782.3 s]
/proc/loadavg: 2.14 2.10 2.06 3/259 24122
/proc/meminfo: memFree=28913492/32872528 swapFree=9196/9196
[pid=24007] ppid=24004 vsize=1276800 CPUtime=1781.99 cores=4-7,12-15
/proc/24007/stat : 24007 (cdcl-cuttingpla) R 24004 24007 23727 0 -1 4202496 76268 0 0 0 178165 34 0 0 20 0 1 0 124761168 1307443200 307892 33554432000 4194304 6211289 140733500507152 140733500505496 4209392 0 0 4096 8388610 0 0 0 17 14 0 0 0 0 0
/proc/24007/statm: 319200 307892 219 493 0 318697 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 1276800



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.18 2.11 2.06 3/259 24122
/proc/meminfo: memFree=28913476/32872528 swapFree=9196/9196
[pid=24007] ppid=24004 vsize=1276800 CPUtime=1800.08 cores=4-7,12-15
/proc/24007/stat : 24007 (cdcl-cuttingpla) R 24004 24007 23727 0 -1 4202496 76278 0 0 0 179974 34 0 0 20 0 1 0 124761168 1307443200 307900 33554432000 4194304 6211289 140733500507152 140733500505496 4209380 0 0 4096 8388610 0 0 0 17 14 0 0 0 0 0
/proc/24007/statm: 319200 307900 219 493 0 318697 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1276800

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 24007 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.42
CPU time (s): 1800.12
CPU user time (s): 1799.75
CPU system time (s): 0.366944
CPU usage (%): 99.9829
Max. virtual memory (cumulated for all children) (KiB): 1276800

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.75
system time used= 0.366944
maximum resident set size= 1231600
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 76278
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= 80
involuntary context switches= 1845

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.62984 second user time and 10.7204 second system time

The end

Launcher Data 

Begin job on node132 at 2016-06-09 01:39:56
IDJOB=4087686
IDBENCH=24980
IDSOLVER=2549
FILE ID=node132/4087686-1465429196
RUNJOBID= node132-1465427020-23744
PBS_JOBID= 19859780
Free space on /tmp= 71740 MiB

SOLVER NAME= cdcl-cuttingplanes OPT binary search 2016-05-01
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_005_area_delay.opb
COMMAND LINE= ./cdcl-cuttingplanes-opt-binarysearch-release
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4087686-1465429196/watcher-4087686-1465429196 -o /tmp/evaluation-result-4087686-1465429196/solver-4087686-1465429196 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node132-1465427020-23744 --watchdog 1960 --input HOME/instance-4087686-1465429196.opb ./cdcl-cuttingplanes-opt-binarysearch-release

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

MD5SUM BENCH= 1a8b297a620c2a2aaf0a7beca79ff945
RANDOM SEED=1604128391

node132.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.209
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.41
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.209
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.51
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.209
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.51
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.209
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.51
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.209
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.209
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.209
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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.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		: 2667.209
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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:

processor	: 8
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.209
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 1
initial apicid	: 1
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	: 9
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.209
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 3
initial apicid	: 3
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	: 10
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.209
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 5
initial apicid	: 5
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	: 11
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.209
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 7
initial apicid	: 7
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	: 12
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.209
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 17
initial apicid	: 17
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	: 13
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.209
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 19
initial apicid	: 19
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	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.209
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 21
initial apicid	: 21
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	: 15
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.209
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 23
initial apicid	: 23
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:        30567452 kB
Buffers:          104480 kB
Cached:          1201776 kB
SwapCached:         1420 kB
Active:           684556 kB
Inactive:         846296 kB
Active(anon):     223748 kB
Inactive(anon):     3084 kB
Active(file):     460808 kB
Inactive(file):   843212 kB
Unevictable:        9196 kB
Mlocked:            9196 kB
SwapTotal:      67108856 kB
SwapFree:       67096368 kB
Dirty:              6548 kB
Writeback:             0 kB
AnonPages:        231904 kB
Mapped:             8128 kB
Shmem:                 0 kB
Slab:             628880 kB
SReclaimable:      69136 kB
SUnreclaim:       559744 kB
KernelStack:        2176 kB
PageTables:         4664 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     380516 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987140 kB
HardwareCorrupted:     0 kB
AnonHugePages:    118784 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= 71736 MiB
End job on node132 at 2016-06-09 02:09:56