Trace number 4087347

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.11 1800.44

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/logic-synthesis/normalized-test4.pi.opb
MD5SUMcca57c347e264f92fb70010109aa24c5
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark175
Best CPU time to get the best result obtained on this benchmark1800.02
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 104
Optimality of the best value was proved NO
Number of variables6139
Total number of constraints1437
Number of constraints which are clauses1437
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 constraint5
Maximum length of a constraint172
Number of terms in the objective function 6139
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 6139
Number of bits of the sum of numbers in the objective function 13
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 6139
Number of bits of the biggest sum of numbers13
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c OPTIONS:
0.00/0.00	c - Resolve (`-resolve-always' or `-resolve-skip'): -resolve-skip
0.00/0.04	c * #variable= 6139 #constraint= 1437
0.00/0.09	c * #variable= 6139 #constraint= 1437
9.68/9.70	c S1->S2
9.68/9.70	c S1->S2
9.68/9.70	c S1->S2
9.68/9.70	c S1->S2
9.68/9.70	c S1->S2
9.68/9.70	c #Conflicts:       1000 | #Learnt:       1004 | 0.090
9.68/9.70	c total clause space: 127.173MB
9.68/9.70	c total #watches: 2595788
18.38/18.43	c total #propagations: 496713 / total #impl: 181240971 (eff. 0.003)
18.38/18.43	c #Conflicts:       2000 | #Learnt:       2004 | 0.064
18.38/18.43	c total clause space: 206.656MB
18.38/18.43	c total #watches: 4959696
31.48/31.58	c total #propagations: 1077634 / total #impl: 254699453 (eff. 0.004)
31.48/31.58	c GC COLLECT
31.48/31.58	c #Conflicts:       3000 | #Learnt:       2010 | 0.194
31.48/31.58	c total clause space: 206.656MB
31.48/31.58	c total #watches: 6089126
51.87/51.93	c total #propagations: 1350185 / total #impl: 499178146 (eff. 0.003)
51.87/51.93	c #Conflicts:       4000 | #Learnt:       3010 | 0.177
51.87/51.93	c total clause space: 335.816MB
51.87/51.93	c total #watches: 9004009
67.45/67.56	c total #propagations: 1715305 / total #impl: 935225740 (eff. 0.002)
67.45/67.56	c GC COLLECT
67.45/67.56	c #Conflicts:       5000 | #Learnt:       2363 | 0.142
67.45/67.56	c total clause space: 335.816MB
67.45/67.56	c total #watches: 5978558
86.23/86.36	c total #propagations: 2812301 / total #impl: 1177837302 (eff. 0.002)
86.23/86.36	c #Conflicts:       6000 | #Learnt:       3363 | 0.124
86.23/86.36	c total clause space: 335.816MB
86.23/86.36	c total #watches: 8825401
105.83/105.99	c total #propagations: 3190026 / total #impl: 1523022931 (eff. 0.002)
105.83/105.99	c GC COLLECT
105.83/105.99	c #Conflicts:       7000 | #Learnt:       2245 | 0.106
105.83/105.99	c total clause space: 545.701MB
105.83/105.99	c total #watches: 6554517
131.63/131.73	c total #propagations: 3311421 / total #impl: 1858448202 (eff. 0.002)
131.63/131.73	c #Conflicts:       8000 | #Learnt:       3245 | 0.098
131.63/131.73	c total clause space: 545.701MB
131.63/131.73	c total #watches: 8244128
177.82/177.98	c total #propagations: 3465247 / total #impl: 2313151939 (eff. 0.001)
177.82/177.98	c #Conflicts:       9000 | #Learnt:       4245 | 0.088
177.82/177.98	c total clause space: 545.701MB
177.82/177.98	c total #watches: 10848408
225.10/225.27	c total #propagations: 4037132 / total #impl: 2715908544 (eff. 0.001)
225.10/225.27	c GC COLLECT
225.10/225.27	c #Conflicts:      10000 | #Learnt:       2732 | 0.081
225.10/225.27	c total clause space: 545.701MB
225.10/225.27	c total #watches: 6917870
253.40/253.52	c total #propagations: 4749221 / total #impl: 2992200260 (eff. 0.002)
253.40/253.52	c #Conflicts:      11000 | #Learnt:       3732 | 0.091
253.40/253.52	c total clause space: 545.701MB
253.40/253.52	c total #watches: 8891608
295.59/295.74	c total #propagations: 5573983 / total #impl: 3290118946 (eff. 0.002)
295.59/295.74	c #Conflicts:      12000 | #Learnt:       4732 | 0.083
295.59/295.74	c total clause space: 545.701MB
295.59/295.74	c total #watches: 9523799
334.29/334.45	c total #propagations: 7392826 / total #impl: 3398326118 (eff. 0.002)
334.29/334.45	c #Conflicts:      13000 | #Learnt:       5732 | 0.078
334.29/334.45	c total clause space: 545.701MB
334.29/334.45	c total #watches: 10802321
348.18/348.39	c total #propagations: 7939216 / total #impl: 3506131695 (eff. 0.002)
348.18/348.39	c GC COLLECT
348.18/348.39	c #Conflicts:      14000 | #Learnt:       3873 | 0.078
348.18/348.39	c total clause space: 545.701MB
348.18/348.39	c total #watches: 6469670
365.68/365.84	c total #propagations: 8285241 / total #impl: 3703178350 (eff. 0.002)
365.68/365.84	c #Conflicts:      15000 | #Learnt:       4873 | 0.086
365.68/365.84	c total clause space: 545.701MB
365.68/365.84	c total #watches: 8981433
384.47/384.66	c total #propagations: 8577892 / total #impl: 3916384222 (eff. 0.002)
384.47/384.66	c #Conflicts:      16000 | #Learnt:       5873 | 0.083
384.47/384.66	c total clause space: 545.701MB
384.47/384.66	c total #watches: 11837050
426.27/426.49	c total #propagations: 8632084 / total #impl: 4141071432 (eff. 0.002)
426.27/426.49	c GC COLLECT
426.27/426.49	c #Conflicts:      17000 | #Learnt:       3699 | 0.082
426.27/426.49	c total clause space: 545.701MB
426.27/426.49	c total #watches: 9655824
476.56/476.71	c total #propagations: 8774120 / total #impl: 4737260882 (eff. 0.002)
476.56/476.71	c #Conflicts:      18000 | #Learnt:       4699 | 0.077
476.56/476.71	c total clause space: 545.701MB
476.56/476.71	c total #watches: 11551288
568.45/568.63	c total #propagations: 8998195 / total #impl: 5520289412 (eff. 0.002)
568.45/568.63	c #Conflicts:      19000 | #Learnt:       5699 | 0.079
568.45/568.63	c total clause space: 545.701MB
568.45/568.63	c total #watches: 13739440
645.84/646.09	c total #propagations: 9450484 / total #impl: 6031889477 (eff. 0.002)
645.84/646.09	c #Conflicts:      20000 | #Learnt:       6699 | 0.080
645.84/646.09	c total clause space: 545.701MB
645.84/646.09	c total #watches: 16404090
709.13/709.30	c total #propagations: 9670650 / total #impl: 6517818906 (eff. 0.001)
709.13/709.30	c GC COLLECT
709.13/709.30	c #Conflicts:      21000 | #Learnt:       4204 | 0.076
709.13/709.30	c total clause space: 886.764MB
709.13/709.30	c total #watches: 10045637
763.02/763.29	c total #propagations: 10617242 / total #impl: 7071139205 (eff. 0.002)
763.02/763.29	c #Conflicts:      22000 | #Learnt:       5204 | 0.072
763.02/763.29	c total clause space: 886.764MB
763.02/763.29	c total #watches: 11278479
823.91/824.11	c total #propagations: 11162388 / total #impl: 7338173554 (eff. 0.002)
823.91/824.11	c #Conflicts:      23000 | #Learnt:       6204 | 0.089
823.91/824.11	c total clause space: 886.764MB
823.91/824.11	c total #watches: 12972776
899.90/900.13	c total #propagations: 11592029 / total #impl: 7682304505 (eff. 0.002)
899.90/900.13	c #Conflicts:      24000 | #Learnt:       7204 | 0.086
899.90/900.13	c total clause space: 886.764MB
899.90/900.13	c total #watches: 15766542
949.59/949.80	c total #propagations: 11833409 / total #impl: 8306152744 (eff. 0.001)
949.59/949.80	c GC COLLECT
949.59/949.80	c #Conflicts:      25000 | #Learnt:       4411 | 0.085
949.59/949.80	c total clause space: 886.764MB
949.59/949.80	c total #watches: 11344225
992.99/993.29	c total #propagations: 12012432 / total #impl: 9059041615 (eff. 0.001)
992.99/993.29	c #Conflicts:      26000 | #Learnt:       5411 | 0.082
992.99/993.29	c total clause space: 886.764MB
992.99/993.29	c total #watches: 14577930
1047.48/1047.75	c total #propagations: 12155211 / total #impl: 9941240214 (eff. 0.001)
1047.48/1047.75	c #Conflicts:      27000 | #Learnt:       6411 | 0.082
1047.48/1047.75	c total clause space: 886.764MB
1047.48/1047.75	c total #watches: 17888628
1120.26/1120.51	c total #propagations: 12291090 / total #impl: 10800530670 (eff. 0.001)
1120.26/1120.51	c #Conflicts:      28000 | #Learnt:       7411 | 0.079
1120.26/1120.51	c total clause space: 886.764MB
1120.26/1120.51	c total #watches: 20381604
1178.36/1178.68	c total #propagations: 12641834 / total #impl: 11343603947 (eff. 0.001)
1178.36/1178.68	c GC COLLECT
1178.36/1178.68	c #Conflicts:      29000 | #Learnt:       4318 | 0.078
1178.36/1178.68	c total clause space: 886.764MB
1178.36/1178.68	c total #watches: 12916051
1225.45/1225.76	c total #propagations: 13212773 / total #impl: 11395629640 (eff. 0.001)
1225.45/1225.76	c #Conflicts:      30000 | #Learnt:       5318 | 0.075
1225.45/1225.76	c total clause space: 886.764MB
1225.45/1225.76	c total #watches: 13727630
1284.55/1284.84	c total #propagations: 13836508 / total #impl: 11464726891 (eff. 0.001)
1284.55/1284.84	c #Conflicts:      31000 | #Learnt:       6318 | 0.073
1284.55/1284.84	c total clause space: 886.764MB
1284.55/1284.84	c total #watches: 15886986
1341.24/1341.53	c total #propagations: 14426965 / total #impl: 11580255292 (eff. 0.001)
1341.24/1341.53	c #Conflicts:      32000 | #Learnt:       7318 | 0.070
1341.24/1341.53	c total clause space: 886.764MB
1341.24/1341.53	c total #watches: 16886611
1399.53/1399.83	c total #propagations: 16100351 / total #impl: 11667922503 (eff. 0.001)
1399.53/1399.83	c #Conflicts:      33000 | #Learnt:       8318 | 0.068
1399.53/1399.83	c total clause space: 886.764MB
1399.53/1399.83	c total #watches: 18776351
1470.52/1470.88	c total #propagations: 17049753 / total #impl: 11826796266 (eff. 0.001)
1470.52/1470.88	c GC COLLECT
1470.52/1470.88	c #Conflicts:      34000 | #Learnt:       4914 | 0.066
1470.52/1470.88	c total clause space: 886.764MB
1470.52/1470.88	c total #watches: 8344651
1506.81/1507.17	c total #propagations: 18101732 / total #impl: 12226705357 (eff. 0.001)
1506.81/1507.17	c #Conflicts:      35000 | #Learnt:       5914 | 0.072
1506.81/1507.17	c total clause space: 886.764MB
1506.81/1507.17	c total #watches: 9569642
1561.90/1562.23	c total #propagations: 18885266 / total #impl: 12326781258 (eff. 0.002)
1561.90/1562.23	c #Conflicts:      36000 | #Learnt:       6914 | 0.070
1561.90/1562.23	c total clause space: 886.764MB
1561.90/1562.23	c total #watches: 10746963
1630.79/1631.18	c total #propagations: 20083937 / total #impl: 12535035039 (eff. 0.002)
1630.79/1631.18	c #Conflicts:      37000 | #Learnt:       7914 | 0.068
1630.79/1631.18	c total clause space: 886.764MB
1630.79/1631.18	c total #watches: 11645828
1738.57/1738.95	c total #propagations: 21442138 / total #impl: 12953639611 (eff. 0.002)
1738.57/1738.95	c #Conflicts:      38000 | #Learnt:       8914 | 0.070
1738.57/1738.95	c total clause space: 886.764MB
1738.57/1738.95	c total #watches: 13202119
1799.46/1799.88	c total #propagations: 22842590 / total #impl: 13721263284 (eff. 0.002)
1799.46/1799.88	c GC COLLECT
1799.46/1799.88	c #Conflicts:      39000 | #Learnt:       5215 | 0.068
1799.46/1799.88	c total clause space: 886.764MB
1799.46/1799.88	c total #watches: 7510938

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-4087347-1465400476/watcher-4087347-1465400476 -o /tmp/evaluation-result-4087347-1465400476/solver-4087347-1465400476 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node124-1465387868-27983 --watchdog 1960 --input HOME/instance-4087347-1465400476.opb ./cdcl-cuttingplanes-opt-binarysearch-release 

pid=29092
running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 2.18 2.23 2.24 2/173 29095
/proc/meminfo: memFree=29729372/32872528 swapFree=16700/1645768
[pid=29095] ppid=29092 vsize=55976 CPUtime=0 cores=1,3,5,7
/proc/29095/stat : 29095 (cdcl-cuttingpla) R 29092 29095 27966 0 -1 4202496 257 0 0 0 0 0 0 0 20 0 1 0 121981111 57319424 7804 33554432000 4194304 6211289 140733226567232 140735336515448 4206544 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/29095/statm: 13994 7804 98 493 0 13491 0

[startup+0.100128 s]
/proc/loadavg: 2.18 2.23 2.24 2/173 29095
/proc/meminfo: memFree=29729372/32872528 swapFree=16700/1645768
[pid=29095] ppid=29092 vsize=67724 CPUtime=0.09 cores=1,3,5,7
/proc/29095/stat : 29095 (cdcl-cuttingpla) R 29092 29095 27966 0 -1 4202496 1781 0 0 0 9 0 0 0 20 0 1 0 121981111 69349376 14326 33554432000 4194304 6211289 140733226567232 140735336515448 4228605 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/29095/statm: 16931 14326 144 493 0 16428 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 67724

[startup+0.200367 s]
/proc/loadavg: 2.18 2.23 2.24 2/173 29095
/proc/meminfo: memFree=29729372/32872528 swapFree=16700/1645768
[pid=29095] ppid=29092 vsize=80736 CPUtime=0.19 cores=1,3,5,7
/proc/29095/stat : 29095 (cdcl-cuttingpla) R 29092 29095 27966 0 -1 4202496 3132 0 0 0 18 1 0 0 20 0 1 0 121981111 82673664 17192 33554432000 4194304 6211289 140733226567232 140735336515448 5161098 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/29095/statm: 20184 17192 204 493 0 19681 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 80736

[startup+0.300376 s]
/proc/loadavg: 2.18 2.23 2.24 2/173 29095
/proc/meminfo: memFree=29729372/32872528 swapFree=16700/1645768
[pid=29095] ppid=29092 vsize=102412 CPUtime=0.29 cores=1,3,5,7
/proc/29095/stat : 29095 (cdcl-cuttingpla) R 29092 29095 27966 0 -1 4202496 4067 0 0 0 28 1 0 0 20 0 1 0 121981111 104869888 19638 33554432000 4194304 6211289 140733226567232 140735336515448 4243125 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/29095/statm: 25603 19638 204 493 0 25100 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 102412

[startup+0.700206 s]
/proc/loadavg: 2.18 2.23 2.24 2/173 29095
/proc/meminfo: memFree=29729372/32872528 swapFree=16700/1645768
[pid=29095] ppid=29092 vsize=126612 CPUtime=0.69 cores=1,3,5,7
/proc/29095/stat : 29095 (cdcl-cuttingpla) R 29092 29095 27966 0 -1 4202496 5691 0 0 0 68 1 0 0 20 0 1 0 121981111 129650688 24302 33554432000 4194304 6211289 140733226567232 140733226565144 4205288 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/29095/statm: 31653 24302 204 493 0 31150 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 126612

[startup+1.50031 s]
/proc/loadavg: 2.18 2.23 2.24 3/177 29128
/proc/meminfo: memFree=29554040/32872528 swapFree=16700/1645768
[pid=29095] ppid=29092 vsize=135228 CPUtime=1.49 cores=1,3,5,7
/proc/29095/stat : 29095 (cdcl-cuttingpla) R 29092 29095 27966 0 -1 4202496 7841 0 0 0 147 2 0 0 20 0 1 0 121981111 138473472 29518 33554432000 4194304 6211289 140733226567232 140733226565144 4209388 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/29095/statm: 33807 29518 204 493 0 33304 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 135228

[startup+3.10031 s]
/proc/loadavg: 2.18 2.23 2.24 4/177 29128
/proc/meminfo: memFree=29511796/32872528 swapFree=16700/1645768
[pid=29095] ppid=29092 vsize=166780 CPUtime=3.09 cores=1,3,5,7
/proc/29095/stat : 29095 (cdcl-cuttingpla) R 29092 29095 27966 0 -1 4202496 8201 0 0 0 307 2 0 0 20 0 1 0 121981111 170782720 33440 33554432000 4194304 6211289 140733226567232 140733226565144 4202205 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/29095/statm: 41695 33440 204 493 0 41192 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 166780

[startup+6.30035 s]
/proc/loadavg: 2.17 2.23 2.24 4/177 29128
/proc/meminfo: memFree=29463300/32872528 swapFree=16700/1645768
[pid=29095] ppid=29092 vsize=232608 CPUtime=6.29 cores=1,3,5,7
/proc/29095/stat : 29095 (cdcl-cuttingpla) R 29092 29095 27966 0 -1 4202496 12226 0 0 0 626 3 0 0 20 0 1 0 121981111 238190592 42041 33554432000 4194304 6211289 140733226567232 140733226565224 4240863 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/29095/statm: 58152 42041 204 493 0 57649 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 232608

[startup+12.7004 s]
/proc/loadavg: 2.15 2.23 2.24 3/177 29128
/proc/meminfo: memFree=29446748/32872528 swapFree=16700/1645768
[pid=29095] ppid=29092 vsize=234756 CPUtime=12.68 cores=1,3,5,7
/proc/29095/stat : 29095 (cdcl-cuttingpla) R 29092 29095 27966 0 -1 4202496 12772 0 0 0 1265 3 0 0 20 0 1 0 121981111 240390144 45653 33554432000 4194304 6211289 140733226567232 140733226565224 4209388 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/29095/statm: 58689 45653 214 493 0 58186 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 234756

[startup+25.5004 s]
/proc/loadavg: 2.12 2.22 2.23 3/177 29128
/proc/meminfo: memFree=29324756/32872528 swapFree=16700/1645768
[pid=29095] ppid=29092 vsize=350440 CPUtime=25.49 cores=1,3,5,7
/proc/29095/stat : 29095 (cdcl-cuttingpla) R 29092 29095 27966 0 -1 4202496 22885 0 0 0 2543 6 0 0 20 0 1 0 121981111 358850560 72933 33554432000 4194304 6211289 140733226567232 140733226565576 4202005 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/29095/statm: 87610 72933 219 493 0 87107 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 350440

[startup+51.1004 s]
/proc/loadavg: 2.30 2.25 2.24 4/177 29128
/proc/meminfo: memFree=29160752/32872528 swapFree=16700/1645768
[pid=29095] ppid=29092 vsize=504264 CPUtime=51.07 cores=1,3,5,7
/proc/29095/stat : 29095 (cdcl-cuttingpla) R 29092 29095 27966 0 -1 4202496 29591 0 0 0 5096 11 0 0 20 0 1 0 121981111 516366336 110794 33554432000 4194304 6211289 140733226567232 140733226565144 4209376 0 0 4096 8388610 0 0 0 17 1 0 0 0 0 0
/proc/29095/statm: 126066 110794 219 493 0 125563 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 504264

[startup+102.3 s]
/proc/loadavg: 2.28 2.25 2.25 4/177 29129
/proc/meminfo: memFree=28989728/32872528 swapFree=16700/1645768
[pid=29095] ppid=29092 vsize=793544 CPUtime=102.24 cores=1,3,5,7
/proc/29095/stat : 29095 (cdcl-cuttingpla) R 29092 29095 27966 0 -1 4202496 44352 0 0 0 10209 15 0 0 20 0 1 0 121981111 812589056 143690 33554432000 4194304 6211289 140733226567232 140733226565144 4209388 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/29095/statm: 198386 143690 219 493 0 197883 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 793544

[startup+162.3 s]
/proc/loadavg: 2.25 2.25 2.24 3/177 29130
/proc/meminfo: memFree=28963692/32872528 swapFree=16700/1645768
[pid=29095] ppid=29092 vsize=793704 CPUtime=162.22 cores=1,3,5,7
/proc/29095/stat : 29095 (cdcl-cuttingpla) R 29092 29095 27966 0 -1 4202496 44853 0 0 0 16207 15 0 0 20 0 1 0 121981111 812752896 149781 33554432000 4194304 6211289 140733226567232 140733226565576 4209388 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/29095/statm: 198426 149781 219 493 0 197923 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 793704

[startup+222.307 s]
/proc/loadavg: 2.27 2.25 2.24 3/177 29131
/proc/meminfo: memFree=28899456/32872528 swapFree=16700/1645768
[pid=29095] ppid=29092 vsize=793704 CPUtime=222.21 cores=1,3,5,7
/proc/29095/stat : 29095 (cdcl-cuttingpla) R 29092 29095 27966 0 -1 4202496 45285 0 0 0 22206 15 0 0 20 0 1 0 121981111 812752896 159376 33554432000 4194304 6211289 140733226567232 140733226565576 4209388 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/29095/statm: 198426 159376 219 493 0 197923 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 793704

[startup+282.3 s]
/proc/loadavg: 2.27 2.25 2.24 3/177 29133
/proc/meminfo: memFree=28869096/32872528 swapFree=16700/1645768
[pid=29095] ppid=29092 vsize=793704 CPUtime=282.19 cores=1,3,5,7
/proc/29095/stat : 29095 (cdcl-cuttingpla) R 29092 29095 27966 0 -1 4202496 45292 0 0 0 28204 15 0 0 20 0 1 0 121981111 812752896 159376 33554432000 4194304 6211289 140733226567232 140733226565576 4209306 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/29095/statm: 198426 159376 219 493 0 197923 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 793704

[startup+342.3 s]
/proc/loadavg: 2.24 2.24 2.24 3/177 29134
/proc/meminfo: memFree=28861228/32872528 swapFree=16700/1645768
[pid=29095] ppid=29092 vsize=793704 CPUtime=342.18 cores=1,3,5,7
/proc/29095/stat : 29095 (cdcl-cuttingpla) R 29092 29095 27966 0 -1 4202496 45354 0 0 0 34203 15 0 0 20 0 1 0 121981111 812752896 159438 33554432000 4194304 6211289 140733226567232 140733226565576 4209322 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/29095/statm: 198426 159438 219 493 0 197923 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 793704

[startup+402.3 s]
/proc/loadavg: 2.31 2.26 2.24 3/177 29135
/proc/meminfo: memFree=28812588/32872528 swapFree=16700/1645768
[pid=29095] ppid=29092 vsize=794504 CPUtime=402.18 cores=1,3,5,7
/proc/29095/stat : 29095 (cdcl-cuttingpla) R 29092 29095 27966 0 -1 4202496 45583 0 0 0 40202 16 0 0 20 0 1 0 121981111 813572096 165799 33554432000 4194304 6211289 140733226567232 140733226565576 4209388 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/29095/statm: 198626 165799 219 493 0 198123 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 794504

[startup+462.3 s]
/proc/loadavg: 2.34 2.27 2.25 3/177 29136
/proc/meminfo: memFree=28803528/32872528 swapFree=16700/1645768
[pid=29095] ppid=29092 vsize=795304 CPUtime=462.17 cores=1,3,5,7
/proc/29095/stat : 29095 (cdcl-cuttingpla) R 29092 29095 27966 0 -1 4202496 45759 0 0 0 46201 16 0 0 20 0 1 0 121981111 814391296 167508 33554432000 4194304 6211289 140733226567232 140733226565144 4241818 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/29095/statm: 198826 167508 219 493 0 198323 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 795304

[startup+522.3 s]
/proc/loadavg: 2.25 2.26 2.25 3/177 29137
/proc/meminfo: memFree=28770888/32872528 swapFree=16700/1645768
[pid=29095] ppid=29092 vsize=795944 CPUtime=522.16 cores=1,3,5,7
/proc/29095/stat : 29095 (cdcl-cuttingpla) R 29092 29095 27966 0 -1 4202496 45909 0 0 0 52200 16 0 0 20 0 1 0 121981111 815046656 168028 33554432000 4194304 6211289 140733226567232 140733226565224 4209380 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/29095/statm: 198986 168028 219 493 0 198483 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 795944

[startup+582.3 s]
/proc/loadavg: 2.36 2.29 2.25 3/178 29142
/proc/meminfo: memFree=28714320/32872528 swapFree=16700/1645768
[pid=29095] ppid=29092 vsize=796744 CPUtime=582.15 cores=1,3,5,7
/proc/29095/stat : 29095 (cdcl-cuttingpla) R 29092 29095 27966 0 -1 4202496 46099 0 0 0 58198 17 0 0 20 0 1 0 121981111 815865856 176394 33554432000 4194304 6211289 140733226567232 140733226565576 4209376 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/29095/statm: 199186 176394 219 493 0 198683 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 796744


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


[startup+882.308 s]
/proc/loadavg: 2.25 2.26 2.25 4/177 29148
/proc/meminfo: memFree=28586044/32872528 swapFree=16700/1645768
[pid=29095] ppid=29092 vsize=1155244 CPUtime=882.11 cores=1,3,5,7
/proc/29095/stat : 29095 (cdcl-cuttingpla) R 29092 29095 27966 0 -1 4202496 48669 0 0 0 88188 23 0 0 20 0 1 0 121981111 1182969856 203531 33554432000 4194304 6211289 140733226567232 140733226565576 4209388 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/29095/statm: 288811 203531 219 493 0 288308 0
Current children cumulated CPU time (s) 882.11
Current children cumulated vsize (KiB) 1155244

[startup+942.3 s]
/proc/loadavg: 2.27 2.27 2.25 4/177 29149
/proc/meminfo: memFree=28583816/32872528 swapFree=16700/1645768
[pid=29095] ppid=29092 vsize=1156684 CPUtime=942.09 cores=1,3,5,7
/proc/29095/stat : 29095 (cdcl-cuttingpla) R 29092 29095 27966 0 -1 4202496 49227 0 0 0 94186 23 0 0 20 0 1 0 121981111 1184444416 204040 33554432000 4194304 6211289 140733226567232 140733226565144 4209403 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/29095/statm: 289171 204040 219 493 0 288668 0
Current children cumulated CPU time (s) 942.09
Current children cumulated vsize (KiB) 1156684

[startup+1002.3 s]
/proc/loadavg: 2.34 2.29 2.26 3/177 29150
/proc/meminfo: memFree=28579608/32872528 swapFree=16700/1645768
[pid=29095] ppid=29092 vsize=1156844 CPUtime=1002.09 cores=1,3,5,7
/proc/29095/stat : 29095 (cdcl-cuttingpla) R 29092 29095 27966 0 -1 4202496 49251 0 0 0 100186 23 0 0 20 0 1 0 121981111 1184608256 204064 33554432000 4194304 6211289 140733226567232 140733226565576 4209403 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/29095/statm: 289211 204064 219 493 0 288708 0
Current children cumulated CPU time (s) 1002.09
Current children cumulated vsize (KiB) 1156844

[startup+1062.3 s]
/proc/loadavg: 2.31 2.28 2.26 3/177 29151
/proc/meminfo: memFree=28477208/32872528 swapFree=16700/1645768
[pid=29095] ppid=29092 vsize=1256776 CPUtime=1062.08 cores=1,3,5,7
/proc/29095/stat : 29095 (cdcl-cuttingpla) R 29092 29095 27966 0 -1 4202496 64074 0 0 0 106183 25 0 0 20 0 1 0 121981111 1286938624 229618 33554432000 4194304 6211289 140733226567232 140733226565144 4209388 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/29095/statm: 314194 229618 219 493 0 313691 0
Current children cumulated CPU time (s) 1062.08
Current children cumulated vsize (KiB) 1256776

[startup+1122.3 s]
/proc/loadavg: 2.27 2.28 2.26 4/177 29152
/proc/meminfo: memFree=28394660/32872528 swapFree=16700/1645768
[pid=29095] ppid=29092 vsize=1278476 CPUtime=1122.06 cores=1,3,5,7
/proc/29095/stat : 29095 (cdcl-cuttingpla) R 29092 29095 27966 0 -1 4202496 68649 0 0 0 112180 26 0 0 20 0 1 0 121981111 1309159424 247479 33554432000 4194304 6211289 140733226567232 140733226565576 4209396 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/29095/statm: 319619 247479 219 493 0 319116 0
Current children cumulated CPU time (s) 1122.06
Current children cumulated vsize (KiB) 1278476

[startup+1182.3 s]
/proc/loadavg: 2.21 2.25 2.25 3/178 29157
/proc/meminfo: memFree=28359464/32872528 swapFree=16700/1645768
[pid=29095] ppid=29092 vsize=1279628 CPUtime=1182.06 cores=1,3,5,7
/proc/29095/stat : 29095 (cdcl-cuttingpla) R 29092 29095 27966 0 -1 4202496 69630 0 0 0 118178 28 0 0 20 0 1 0 121981111 1310339072 256125 33554432000 4194304 6211289 140733226567232 140733226565576 4209396 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/29095/statm: 319907 256125 219 493 0 319404 0
Current children cumulated CPU time (s) 1182.06
Current children cumulated vsize (KiB) 1279628

[startup+1242.3 s]
/proc/loadavg: 2.18 2.23 2.24 3/178 29181
/proc/meminfo: memFree=28358212/32872528 swapFree=16700/1645768
[pid=29095] ppid=29092 vsize=1279628 CPUtime=1242.05 cores=1,3,5,7
/proc/29095/stat : 29095 (cdcl-cuttingpla) R 29092 29095 27966 0 -1 4202496 69630 0 0 0 124177 28 0 0 20 0 1 0 121981111 1310339072 256125 33554432000 4194304 6211289 140733226567232 140733226565576 4209388 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/29095/statm: 319907 256125 219 493 0 319404 0
Current children cumulated CPU time (s) 1242.05
Current children cumulated vsize (KiB) 1279628

[startup+1302.3 s]
/proc/loadavg: 2.34 2.27 2.25 4/177 29182
/proc/meminfo: memFree=28340344/32872528 swapFree=16700/1645768
[pid=29095] ppid=29092 vsize=1279628 CPUtime=1302.04 cores=1,3,5,7
/proc/29095/stat : 29095 (cdcl-cuttingpla) R 29092 29095 27966 0 -1 4202496 69630 0 0 0 130176 28 0 0 20 0 1 0 121981111 1310339072 256125 33554432000 4194304 6211289 140733226567232 140733226565576 4209396 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/29095/statm: 319907 256125 219 493 0 319404 0
Current children cumulated CPU time (s) 1302.04
Current children cumulated vsize (KiB) 1279628

[startup+1362.3 s]
/proc/loadavg: 2.22 2.24 2.25 4/177 29183
/proc/meminfo: memFree=28326600/32872528 swapFree=16700/1645768
[pid=29095] ppid=29092 vsize=1279628 CPUtime=1362.03 cores=1,3,5,7
/proc/29095/stat : 29095 (cdcl-cuttingpla) R 29092 29095 27966 0 -1 4202496 69733 0 0 0 136175 28 0 0 20 0 1 0 121981111 1310339072 256228 33554432000 4194304 6211289 140733226567232 140733226565576 4209388 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/29095/statm: 319907 256228 219 493 0 319404 0
Current children cumulated CPU time (s) 1362.03
Current children cumulated vsize (KiB) 1279628

[startup+1422.3 s]
/proc/loadavg: 2.17 2.23 2.24 3/177 29184
/proc/meminfo: memFree=28325372/32872528 swapFree=16700/1645768
[pid=29095] ppid=29092 vsize=1281740 CPUtime=1422.03 cores=1,3,5,7
/proc/29095/stat : 29095 (cdcl-cuttingpla) R 29092 29095 27966 0 -1 4202496 70127 0 0 0 142175 28 0 0 20 0 1 0 121981111 1312501760 256622 33554432000 4194304 6211289 140733226567232 140733226565224 4209388 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/29095/statm: 320435 256622 219 493 0 319932 0
Current children cumulated CPU time (s) 1422.03
Current children cumulated vsize (KiB) 1281740

[startup+1482.3 s]
/proc/loadavg: 2.25 2.24 2.24 4/176 29185
/proc/meminfo: memFree=28323400/32872528 swapFree=16700/1645768
[pid=29095] ppid=29092 vsize=1283276 CPUtime=1482.01 cores=1,3,5,7
/proc/29095/stat : 29095 (cdcl-cuttingpla) R 29092 29095 27966 0 -1 4202496 70488 0 0 0 148173 28 0 0 20 0 1 0 121981111 1314074624 256983 33554432000 4194304 6211289 140733226567232 140733226565576 4209392 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/29095/statm: 320819 256983 219 493 0 320316 0
Current children cumulated CPU time (s) 1482.01
Current children cumulated vsize (KiB) 1283276

[startup+1542.31 s]
/proc/loadavg: 2.45 2.29 2.26 3/177 29187
/proc/meminfo: memFree=28323160/32872528 swapFree=16700/1645768
[pid=29095] ppid=29092 vsize=1283276 CPUtime=1542.01 cores=1,3,5,7
/proc/29095/stat : 29095 (cdcl-cuttingpla) R 29092 29095 27966 0 -1 4202496 70488 0 0 0 154173 28 0 0 20 0 1 0 121981111 1314074624 256983 33554432000 4194304 6211289 140733226567232 140733226565576 4209376 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/29095/statm: 320819 256983 219 493 0 320316 0
Current children cumulated CPU time (s) 1542.01
Current children cumulated vsize (KiB) 1283276

[startup+1602.3 s]
/proc/loadavg: 2.35 2.29 2.26 3/177 29188
/proc/meminfo: memFree=28317956/32872528 swapFree=16700/1645768
[pid=29095] ppid=29092 vsize=1283276 CPUtime=1601.99 cores=1,3,5,7
/proc/29095/stat : 29095 (cdcl-cuttingpla) R 29092 29095 27966 0 -1 4202496 70488 0 0 0 160171 28 0 0 20 0 1 0 121981111 1314074624 256983 33554432000 4194304 6211289 140733226567232 140733226565576 4209403 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/29095/statm: 320819 256983 219 493 0 320316 0
Current children cumulated CPU time (s) 1601.99
Current children cumulated vsize (KiB) 1283276

[startup+1662.3 s]
/proc/loadavg: 2.33 2.30 2.27 4/177 29189
/proc/meminfo: memFree=28317720/32872528 swapFree=16700/1645768
[pid=29095] ppid=29092 vsize=1283276 CPUtime=1661.98 cores=1,3,5,7
/proc/29095/stat : 29095 (cdcl-cuttingpla) R 29092 29095 27966 0 -1 4202496 70488 0 0 0 166170 28 0 0 20 0 1 0 121981111 1314074624 256983 33554432000 4194304 6211289 140733226567232 140733226565576 4209392 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/29095/statm: 320819 256983 219 493 0 320316 0
Current children cumulated CPU time (s) 1661.98
Current children cumulated vsize (KiB) 1283276

[startup+1722.3 s]
/proc/loadavg: 2.35 2.30 2.27 4/177 29190
/proc/meminfo: memFree=28317356/32872528 swapFree=16700/1645768
[pid=29095] ppid=29092 vsize=1283276 CPUtime=1721.97 cores=1,3,5,7
/proc/29095/stat : 29095 (cdcl-cuttingpla) R 29092 29095 27966 0 -1 4202496 70488 0 0 0 172169 28 0 0 20 0 1 0 121981111 1314074624 256983 33554432000 4194304 6211289 140733226567232 140733226565576 4209396 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/29095/statm: 320819 256983 219 493 0 320316 0
Current children cumulated CPU time (s) 1721.97
Current children cumulated vsize (KiB) 1283276

[startup+1782.3 s]
/proc/loadavg: 2.27 2.29 2.27 3/178 29194
/proc/meminfo: memFree=28316280/32872528 swapFree=16700/1645768
[pid=29095] ppid=29092 vsize=1283468 CPUtime=1781.96 cores=1,3,5,7
/proc/29095/stat : 29095 (cdcl-cuttingpla) R 29092 29095 27966 0 -1 4202496 70531 0 0 0 178168 28 0 0 20 0 1 0 121981111 1314271232 257026 33554432000 4194304 6211289 140733226567232 140733226565224 4209392 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/29095/statm: 320867 257026 219 493 0 320364 0
Current children cumulated CPU time (s) 1781.96
Current children cumulated vsize (KiB) 1283468



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.27 2.29 2.27 4/177 29195
/proc/meminfo: memFree=28316536/32872528 swapFree=16700/1645768
[pid=29095] ppid=29092 vsize=1283468 CPUtime=1800.06 cores=1,3,5,7
/proc/29095/stat : 29095 (cdcl-cuttingpla) R 29092 29095 27966 0 -1 4202496 70531 0 0 0 179978 28 0 0 20 0 1 0 121981111 1314271232 257026 33554432000 4194304 6211289 140733226567232 140733226565224 4209388 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/29095/statm: 320867 257026 219 493 0 320364 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1283468

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 29095 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.44
CPU time (s): 1800.11
CPU user time (s): 1799.79
CPU system time (s): 0.32495
CPU usage (%): 99.9818
Max. virtual memory (cumulated for all children) (KiB): 1283468

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.79
system time used= 0.32495
maximum resident set size= 1028104
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 70531
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= 38
involuntary context switches= 1983

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.54985 second user time and 8.85365 second system time

The end

Launcher Data 

Begin job on node124 at 2016-06-08 17:41:17
IDJOB=4087347
IDBENCH=2042
IDSOLVER=2549
FILE ID=node124/4087347-1465400476
RUNJOBID= node124-1465387868-27983
PBS_JOBID= 19853797
Free space on /tmp= 71724 MiB

SOLVER NAME= cdcl-cuttingplanes OPT binary search 2016-05-01
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-test4.pi.opb
COMMAND LINE= ./cdcl-cuttingplanes-opt-binarysearch-release
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4087347-1465400476/watcher-4087347-1465400476 -o /tmp/evaluation-result-4087347-1465400476/solver-4087347-1465400476 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node124-1465387868-27983 --watchdog 1960 --input HOME/instance-4087347-1465400476.opb ./cdcl-cuttingplanes-opt-binarysearch-release

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

MD5SUM BENCH= cca57c347e264f92fb70010109aa24c5
RANDOM SEED=637182899

node124.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.707
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	: 5333.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		: 2666.707
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.707
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.707
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.707
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.707
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.707
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		: 2666.707
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:        29729536 kB
Buffers:          158336 kB
Cached:           593932 kB
SwapCached:          752 kB
Active:           273284 kB
Inactive:         483464 kB
Active(anon):       5376 kB
Inactive(anon):     1568 kB
Active(file):     267908 kB
Inactive(file):   481896 kB
Unevictable:     1645768 kB
Mlocked:           16700 kB
SwapTotal:      67108856 kB
SwapFree:       67097732 kB
Dirty:              3152 kB
Writeback:             0 kB
AnonPages:       1664268 kB
Mapped:             7224 kB
Shmem:                 0 kB
Slab:             608480 kB
SReclaimable:      52344 kB
SUnreclaim:       556136 kB
KernelStack:        1432 kB
PageTables:         6900 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1754988 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1646592 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= 71720 MiB
End job on node124 at 2016-06-08 18:11:17