Trace number 4119804

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.44

General information on the benchmark

NamePB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/pbfvmc-formulae/
hw128/normalized-hw128-vm75p-opt.opb.negationfix.opb
MD5SUM5b0d3259e94309f2983f84185a6f768c
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark105
Best CPU time to get the best result obtained on this benchmark1800.69
Has Objective Function
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables
Total number of constraints
Number of constraints which are clauses
Number of constraints which are cardinality constraints (but not clauses)
Number of constraints which are nor clauses,nor cardinality constraints
Minimum length of a constraint
Maximum length of a constraint
Number of terms in the objective function
Biggest coefficient in the objective function
Number of bits for the biggest coefficient in the objective function
Sum of the numbers in the objective function
Number of bits of the sum of numbers in the objective function
Biggest number in a constraint
Number of bits of the biggest number in a constraint
Biggest sum of numbers in a constraint
Number of bits of the biggest sum of numbers
Number of products (including duplicates)
Sum of products size (including duplicates)
Number of different products
Sum of products size

Solver Data 

0.00/0.00	c OPTIONS:
0.00/0.00	c - Resolve (`-resolve-always' or `-resolve-skip'): -resolve-skip
0.18/0.22	c * #variable= 134272 #constraint= 2354
0.39/0.44	c * #variable= 134272 #constraint= 2354
1.39/1.45	c #Conflicts:       1000 | #Learnt:        999 | 0.000
1.39/1.45	c total clause space: 48.1602MB
1.39/1.45	c total #watches: 449695
4.40/4.47	c total #propagations: 353542 / total #impl: 1150063 (eff. 0.307)
4.40/4.47	c #Conflicts:       2000 | #Learnt:       1999 | 0.000
4.40/4.47	c total clause space: 127.173MB
4.40/4.47	c total #watches: 569734
5.79/5.86	c total #propagations: 911610 / total #impl: 3554671 (eff. 0.256)
5.79/5.86	c GC COLLECT
5.79/5.86	c #Conflicts:       3000 | #Learnt:       2017 | 0.000
5.79/5.86	c total clause space: 127.173MB
5.79/5.86	c total #watches: 725820
16.79/16.88	c total #propagations: 1313518 / total #impl: 5292246 (eff. 0.248)
16.79/16.88	c S1->S2
16.79/16.88	c S2->S1
16.79/16.88	c S2->S1
16.79/16.88	c #Conflicts:       4000 | #Learnt:       3017 | 9.728
16.79/16.88	c total clause space: 545.701MB
16.79/16.88	c total #watches: 1166111
19.39/19.47	c total #propagations: 2127824 / total #impl: 10934149 (eff. 0.195)
19.39/19.47	c GC COLLECT
19.39/19.47	c #Conflicts:       5000 | #Learnt:       1123 | 7.782
19.39/19.47	c total clause space: 545.701MB
19.39/19.47	c total #watches: 468429
21.59/21.67	c total #propagations: 2802241 / total #impl: 14931994 (eff. 0.188)
21.59/21.67	c #Conflicts:       6000 | #Learnt:       2123 | 6.485
21.59/21.67	c total clause space: 545.701MB
21.59/21.67	c total #watches: 571138
23.59/23.64	c total #propagations: 3343538 / total #impl: 18340480 (eff. 0.182)
23.59/23.64	c GC COLLECT
23.59/23.64	c #Conflicts:       7000 | #Learnt:       1622 | 5.559
23.59/23.64	c total clause space: 545.701MB
23.59/23.64	c total #watches: 562615
31.08/31.16	c total #propagations: 3766990 / total #impl: 20982919 (eff. 0.180)
31.08/31.16	c #Conflicts:       8000 | #Learnt:       2622 | 4.864
31.08/31.16	c total clause space: 545.701MB
31.08/31.16	c total #watches: 726838
40.48/40.56	c total #propagations: 4011541 / total #impl: 24504372 (eff. 0.164)
40.48/40.56	c #Conflicts:       9000 | #Learnt:       3622 | 4.324
40.48/40.56	c total clause space: 545.701MB
40.48/40.56	c total #watches: 817343
48.48/48.59	c total #propagations: 5039559 / total #impl: 30450778 (eff. 0.165)
48.48/48.59	c GC COLLECT
48.48/48.59	c #Conflicts:      10000 | #Learnt:       2410 | 3.892
48.48/48.59	c total clause space: 545.701MB
48.48/48.59	c total #watches: 658557
55.38/55.43	c total #propagations: 5761896 / total #impl: 34313878 (eff. 0.168)
55.38/55.43	c #Conflicts:      11000 | #Learnt:       3410 | 3.538
55.38/55.43	c total clause space: 545.701MB
55.38/55.44	c total #watches: 802119
65.99/66.09	c total #propagations: 6227317 / total #impl: 38268854 (eff. 0.163)
65.99/66.09	c #Conflicts:      12000 | #Learnt:       4410 | 3.243
65.99/66.09	c total clause space: 545.701MB
65.99/66.09	c total #watches: 896528
77.08/77.11	c total #propagations: 6979130 / total #impl: 44035418 (eff. 0.158)
77.08/77.11	c #Conflicts:      13000 | #Learnt:       5410 | 2.993
77.08/77.11	c total clause space: 545.701MB
77.08/77.11	c total #watches: 1003395
82.38/82.42	c total #propagations: 7864917 / total #impl: 49327952 (eff. 0.159)
82.38/82.42	c GC COLLECT
82.38/82.42	c #Conflicts:      14000 | #Learnt:       3701 | 2.780
82.38/82.42	c total clause space: 545.701MB
82.38/82.42	c total #watches: 851666
86.57/86.66	c total #propagations: 8358965 / total #impl: 53048627 (eff. 0.158)
86.57/86.66	c #Conflicts:      15000 | #Learnt:       4701 | 2.594
86.57/86.66	c total clause space: 545.701MB
86.57/86.66	c total #watches: 936115
89.97/90.09	c total #propagations: 8647480 / total #impl: 55900592 (eff. 0.155)
89.97/90.09	c #Conflicts:      16000 | #Learnt:       5701 | 2.432
89.97/90.09	c total clause space: 545.701MB
89.97/90.09	c total #watches: 1039129
93.48/93.58	c total #propagations: 8853403 / total #impl: 59985552 (eff. 0.148)
93.48/93.58	c GC COLLECT
93.48/93.58	c #Conflicts:      17000 | #Learnt:       3600 | 2.289
93.48/93.58	c total clause space: 545.701MB
93.48/93.58	c total #watches: 812519
97.67/97.71	c total #propagations: 9090764 / total #impl: 63384045 (eff. 0.143)
97.67/97.71	c #Conflicts:      18000 | #Learnt:       4600 | 2.162
97.67/97.71	c total clause space: 545.701MB
97.67/97.72	c total #watches: 922034
106.38/106.45	c total #propagations: 9217995 / total #impl: 65950239 (eff. 0.140)
106.38/106.45	c #Conflicts:      19000 | #Learnt:       5600 | 2.048
106.38/106.45	c total clause space: 545.701MB
106.38/106.45	c total #watches: 1040446
128.47/128.54	c total #propagations: 9353976 / total #impl: 69199313 (eff. 0.135)
128.47/128.54	c #Conflicts:      20000 | #Learnt:       6600 | 1.946
128.47/128.54	c total clause space: 545.701MB
128.47/128.54	c total #watches: 1133098
144.87/144.99	c total #propagations: 9893468 / total #impl: 73662145 (eff. 0.134)
144.87/144.99	c GC COLLECT
144.87/144.99	c #Conflicts:      21000 | #Learnt:       4152 | 1.853
144.87/144.99	c total clause space: 545.701MB
144.87/144.99	c total #watches: 831810
159.37/159.42	c total #propagations: 10608910 / total #impl: 77903268 (eff. 0.136)
159.37/159.42	c #Conflicts:      22000 | #Learnt:       5152 | 1.769
159.37/159.42	c total clause space: 545.701MB
159.37/159.42	c total #watches: 919589
183.16/183.22	c total #propagations: 11001427 / total #impl: 80799546 (eff. 0.136)
183.16/183.22	c #Conflicts:      23000 | #Learnt:       6152 | 1.692
183.16/183.22	c total clause space: 545.701MB
183.16/183.22	c total #watches: 1003109
205.56/205.69	c total #propagations: 11565027 / total #impl: 85174577 (eff. 0.136)
205.56/205.69	c #Conflicts:      24000 | #Learnt:       7152 | 1.621
205.56/205.69	c total clause space: 545.701MB
205.56/205.69	c total #watches: 1084987
220.65/220.74	c total #propagations: 12201190 / total #impl: 89955162 (eff. 0.136)
220.65/220.74	c GC COLLECT
220.65/220.74	c #Conflicts:      25000 | #Learnt:       4377 | 1.557
220.65/220.74	c total clause space: 545.701MB
220.65/220.74	c total #watches: 840229
223.55/223.69	c total #propagations: 12890271 / total #impl: 95703667 (eff. 0.135)
223.55/223.69	c #Conflicts:      26000 | #Learnt:       5377 | 1.497
223.55/223.69	c total clause space: 545.701MB
223.55/223.69	c total #watches: 930066
228.55/228.63	c total #propagations: 13125198 / total #impl: 99298524 (eff. 0.132)
228.55/228.63	c #Conflicts:      27000 | #Learnt:       6377 | 1.441
228.55/228.63	c total clause space: 545.701MB
228.55/228.63	c total #watches: 1048867
244.85/244.91	c total #propagations: 13330253 / total #impl: 103456152 (eff. 0.129)
244.85/244.91	c #Conflicts:      28000 | #Learnt:       7377 | 1.390
244.85/244.91	c total clause space: 545.701MB
244.85/244.92	c total #watches: 1126043
261.76/261.85	c total #propagations: 13996941 / total #impl: 110719225 (eff. 0.126)
261.76/261.85	c GC COLLECT
261.76/261.85	c #Conflicts:      29000 | #Learnt:       4285 | 1.342
261.76/261.85	c total clause space: 545.701MB
261.76/261.85	c total #watches: 851668
276.06/276.18	c total #propagations: 14724759 / total #impl: 115635404 (eff. 0.127)
276.06/276.18	c #Conflicts:      30000 | #Learnt:       5285 | 1.297
276.06/276.18	c total clause space: 545.701MB
276.06/276.18	c total #watches: 970916
289.54/289.67	c total #propagations: 15300081 / total #impl: 120368575 (eff. 0.127)
289.54/289.67	c #Conflicts:      31000 | #Learnt:       6285 | 1.255
289.54/289.67	c total clause space: 545.701MB
289.54/289.67	c total #watches: 1106438
305.14/305.25	c total #propagations: 15892942 / total #impl: 124962309 (eff. 0.127)
305.14/305.25	c #Conflicts:      32000 | #Learnt:       7285 | 1.216
305.14/305.25	c total clause space: 545.701MB
305.14/305.25	c total #watches: 1177424
321.74/321.83	c total #propagations: 16593428 / total #impl: 129296679 (eff. 0.128)
321.74/321.83	c #Conflicts:      33000 | #Learnt:       8285 | 1.179
321.74/321.83	c total clause space: 545.701MB
321.74/321.83	c total #watches: 1251191
327.75/327.84	c total #propagations: 17204671 / total #impl: 133148183 (eff. 0.129)
327.75/327.84	c GC COLLECT
327.75/327.84	c #Conflicts:      34000 | #Learnt:       4894 | 1.145
327.75/327.84	c total clause space: 545.701MB
327.75/327.84	c total #watches: 878927
332.84/332.91	c total #propagations: 17656784 / total #impl: 136562877 (eff. 0.129)
332.84/332.91	c #Conflicts:      35000 | #Learnt:       5894 | 1.112
332.84/332.91	c total clause space: 545.701MB
332.84/332.91	c total #watches: 955313
339.24/339.36	c total #propagations: 17872532 / total #impl: 140887043 (eff. 0.127)
339.24/339.36	c #Conflicts:      36000 | #Learnt:       6894 | 1.081
339.24/339.36	c total clause space: 545.701MB
339.24/339.36	c total #watches: 1056250
367.34/367.42	c total #propagations: 18101391 / total #impl: 144464675 (eff. 0.125)
367.34/367.42	c #Conflicts:      37000 | #Learnt:       7894 | 1.052
367.34/367.42	c total clause space: 545.701MB
367.34/367.42	c total #watches: 1218541
393.63/393.78	c total #propagations: 18724943 / total #impl: 158500300 (eff. 0.118)
393.63/393.78	c #Conflicts:      38000 | #Learnt:       8894 | 1.024
393.63/393.78	c total clause space: 545.701MB
393.63/393.78	c total #watches: 1538317
420.93/421.06	c total #propagations: 19030807 / total #impl: 173797015 (eff. 0.110)
420.93/421.06	c GC COLLECT
420.93/421.06	c #Conflicts:      39000 | #Learnt:       5193 | 0.998
420.93/421.06	c total clause space: 545.701MB
420.93/421.06	c total #watches: 1482529
427.62/427.71	c total #propagations: 19623911 / total #impl: 190387279 (eff. 0.103)
427.62/427.71	c #Conflicts:      40000 | #Learnt:       6193 | 0.973
427.62/427.71	c total clause space: 545.701MB
427.62/427.71	c total #watches: 1769640
435.92/436.02	c total #propagations: 20301003 / total #impl: 203642226 (eff. 0.100)
435.92/436.02	c #Conflicts:      41000 | #Learnt:       7193 | 0.949
435.92/436.02	c total clause space: 545.701MB
435.92/436.02	c total #watches: 1982746
448.62/448.75	c total #propagations: 20955228 / total #impl: 217133088 (eff. 0.097)
448.62/448.75	c #Conflicts:      42000 | #Learnt:       8193 | 0.926
448.62/448.75	c total clause space: 545.701MB
448.62/448.75	c total #watches: 2266224
465.22/465.38	c total #propagations: 21655801 / total #impl: 235442686 (eff. 0.092)
465.22/465.38	c #Conflicts:      43000 | #Learnt:       9193 | 0.905
465.22/465.38	c total clause space: 545.701MB
465.22/465.38	c total #watches: 2503016
480.32/480.41	c total #propagations: 22324167 / total #impl: 257762955 (eff. 0.087)
480.32/480.41	c GC COLLECT
480.32/480.41	c #Conflicts:      44000 | #Learnt:       5198 | 0.884
480.32/480.41	c total clause space: 545.701MB
480.32/480.41	c total #watches: 1434935
488.81/488.99	c total #propagations: 22929493 / total #impl: 279702695 (eff. 0.082)
488.81/488.99	c #Conflicts:      45000 | #Learnt:       6198 | 0.865
488.81/488.99	c total clause space: 545.701MB
488.81/488.99	c total #watches: 1728999
524.11/524.25	c total #propagations: 23520257 / total #impl: 292371012 (eff. 0.080)
524.11/524.25	c #Conflicts:      46000 | #Learnt:       7198 | 0.846
524.11/524.25	c total clause space: 545.701MB
524.11/524.25	c total #watches: 1829009
558.50/558.65	c total #propagations: 24085814 / total #impl: 299443734 (eff. 0.080)
558.50/558.65	c #Conflicts:      47000 | #Learnt:       8198 | 0.828
558.50/558.65	c total clause space: 545.701MB
558.50/558.65	c total #watches: 1933751
566.30/566.44	c total #propagations: 24801575 / total #impl: 304613281 (eff. 0.081)
566.30/566.44	c #Conflicts:      48000 | #Learnt:       9198 | 0.811
566.30/566.44	c total clause space: 545.701MB
566.30/566.44	c total #watches: 1990325
617.99/618.19	c total #propagations: 25021330 / total #impl: 306779213 (eff. 0.082)
617.99/618.19	c #Conflicts:      49000 | #Learnt:      10198 | 0.794
617.99/618.19	c total clause space: 545.701MB
617.99/618.19	c total #watches: 2095849
652.58/652.75	c total #propagations: 25878491 / total #impl: 314456166 (eff. 0.082)
652.58/652.75	c GC COLLECT
652.58/652.75	c #Conflicts:      50000 | #Learnt:       5900 | 0.778
652.58/652.75	c total clause space: 545.701MB
652.58/652.76	c total #watches: 1532841
669.47/669.64	c total #propagations: 26659739 / total #impl: 321339873 (eff. 0.083)
669.47/669.64	c #Conflicts:      51000 | #Learnt:       6900 | 0.763
669.47/669.64	c total clause space: 545.701MB
669.47/669.64	c total #watches: 1599333
683.47/683.67	c total #propagations: 27118562 / total #impl: 325425255 (eff. 0.083)
683.47/683.67	c #Conflicts:      52000 | #Learnt:       7900 | 0.749
683.47/683.67	c total clause space: 545.701MB
683.47/683.67	c total #watches: 1722252
702.06/702.28	c total #propagations: 27652204 / total #impl: 330820537 (eff. 0.084)
702.06/702.28	c #Conflicts:      53000 | #Learnt:       8900 | 0.734
702.06/702.28	c total clause space: 545.701MB
702.06/702.28	c total #watches: 1853632
740.34/740.52	c total #propagations: 28169399 / total #impl: 340007782 (eff. 0.083)
740.34/740.52	c #Conflicts:      54000 | #Learnt:       9900 | 0.721
740.34/740.52	c total clause space: 545.701MB
740.34/740.52	c total #watches: 1918418
787.23/787.42	c total #propagations: 28861894 / total #impl: 344006456 (eff. 0.084)
787.23/787.42	c #Conflicts:      55000 | #Learnt:      10900 | 0.708
787.23/787.42	c total clause space: 545.701MB
787.23/787.42	c total #watches: 2033518
801.73/801.91	c total #propagations: 29658076 / total #impl: 348631834 (eff. 0.085)
801.73/801.91	c GC COLLECT
801.73/801.91	c #Conflicts:      56000 | #Learnt:       6297 | 0.695
801.73/801.91	c total clause space: 545.701MB
801.73/801.92	c total #watches: 1539603
829.42/829.65	c total #propagations: 30051934 / total #impl: 352456550 (eff. 0.085)
829.42/829.65	c #Conflicts:      57000 | #Learnt:       7297 | 0.683
829.42/829.65	c total clause space: 545.701MB
829.42/829.66	c total #watches: 1659987
858.41/858.68	c total #propagations: 30827501 / total #impl: 357201097 (eff. 0.086)
858.41/858.68	c #Conflicts:      58000 | #Learnt:       8297 | 0.671
858.41/858.68	c total clause space: 545.701MB
858.41/858.68	c total #watches: 1767126
873.51/873.73	c total #propagations: 31722105 / total #impl: 361699127 (eff. 0.088)
873.51/873.73	c #Conflicts:      59000 | #Learnt:       9297 | 0.660
873.51/873.73	c total clause space: 545.701MB
873.51/873.73	c total #watches: 1871406
885.01/885.24	c total #propagations: 32102854 / total #impl: 364801532 (eff. 0.088)
885.01/885.24	c #Conflicts:      60000 | #Learnt:      10297 | 0.649
885.01/885.24	c total clause space: 545.701MB
885.01/885.24	c total #watches: 1988484
901.11/901.33	c total #propagations: 32346411 / total #impl: 367053353 (eff. 0.088)
901.11/901.33	c #Conflicts:      61000 | #Learnt:      11297 | 0.638
901.11/901.33	c total clause space: 545.701MB
901.11/901.33	c total #watches: 2080900
904.01/904.21	c total #propagations: 32657733 / total #impl: 370738461 (eff. 0.088)
904.01/904.21	c GC COLLECT
904.01/904.21	c #Conflicts:      62000 | #Learnt:       6396 | 0.628
904.01/904.21	c total clause space: 545.701MB
904.01/904.21	c total #watches: 1524001
907.41/907.61	c total #propagations: 32725017 / total #impl: 372591653 (eff. 0.088)
907.41/907.61	c #Conflicts:      63000 | #Learnt:       7396 | 0.618
907.41/907.61	c total clause space: 545.701MB
907.41/907.61	c total #watches: 1559150
911.90/912.15	c total #propagations: 32814505 / total #impl: 373767170 (eff. 0.088)
911.90/912.15	c #Conflicts:      64000 | #Learnt:       8396 | 0.608
911.90/912.15	c total clause space: 545.701MB
911.90/912.15	c total #watches: 1594292
947.50/947.74	c total #propagations: 32898679 / total #impl: 375097102 (eff. 0.088)
947.50/947.74	c #Conflicts:      65000 | #Learnt:       9396 | 0.599
947.50/947.74	c total clause space: 545.701MB
947.50/947.74	c total #watches: 1645786
990.80/991.01	c total #propagations: 33565540 / total #impl: 378721606 (eff. 0.089)
990.80/991.01	c #Conflicts:      66000 | #Learnt:      10396 | 0.590
990.80/991.01	c total clause space: 545.701MB
990.80/991.01	c total #watches: 1726501
1008.89/1009.16	c total #propagations: 34304618 / total #impl: 382236652 (eff. 0.090)
1008.89/1009.16	c #Conflicts:      67000 | #Learnt:      11396 | 0.581
1008.89/1009.16	c total clause space: 545.701MB
1008.89/1009.16	c total #watches: 1946852
1044.89/1045.15	c total #propagations: 34717430 / total #impl: 386519148 (eff. 0.090)
1044.89/1045.15	c #Conflicts:      68000 | #Learnt:      12396 | 0.572
1044.89/1045.15	c total clause space: 545.701MB
1044.89/1045.15	c total #watches: 2020487
1071.88/1072.14	c total #propagations: 35455881 / total #impl: 392412884 (eff. 0.090)
1071.88/1072.14	c GC COLLECT
1071.88/1072.14	c #Conflicts:      69000 | #Learnt:       7192 | 0.564
1071.88/1072.14	c total clause space: 545.701MB
1071.88/1072.14	c total #watches: 1690361
1097.28/1097.59	c total #propagations: 36044444 / total #impl: 396867518 (eff. 0.091)
1097.28/1097.59	c #Conflicts:      70000 | #Learnt:       8192 | 0.556
1097.28/1097.59	c total clause space: 545.701MB
1097.28/1097.59	c total #watches: 1766302
1110.78/1111.07	c total #propagations: 36552909 / total #impl: 400182299 (eff. 0.091)
1110.78/1111.07	c #Conflicts:      71000 | #Learnt:       9192 | 0.548
1110.78/1111.07	c total clause space: 545.701MB
1110.78/1111.07	c total #watches: 1834108
1126.97/1127.24	c total #propagations: 36821618 / total #impl: 402794477 (eff. 0.091)
1126.97/1127.24	c #Conflicts:      72000 | #Learnt:      10192 | 0.541
1126.97/1127.24	c total clause space: 545.701MB
1126.97/1127.24	c total #watches: 1895384
1165.66/1165.91	c total #propagations: 36995773 / total #impl: 405930435 (eff. 0.091)
1165.66/1165.91	c #Conflicts:      73000 | #Learnt:      11192 | 0.533
1165.66/1165.91	c total clause space: 545.701MB
1165.66/1165.91	c total #watches: 2007682
1203.46/1203.75	c total #propagations: 37677253 / total #impl: 411138140 (eff. 0.092)
1203.46/1203.75	c #Conflicts:      74000 | #Learnt:      12192 | 0.526
1203.46/1203.75	c total clause space: 545.701MB
1203.46/1203.75	c total #watches: 2078632
1227.56/1227.80	c total #propagations: 38315965 / total #impl: 415890217 (eff. 0.092)
1227.56/1227.80	c GC COLLECT
1227.56/1227.80	c #Conflicts:      75000 | #Learnt:       6695 | 0.519
1227.56/1227.80	c total clause space: 545.701MB
1227.56/1227.80	c total #watches: 1562586
1257.06/1257.34	c total #propagations: 38706946 / total #impl: 418902196 (eff. 0.092)
1257.06/1257.34	c #Conflicts:      76000 | #Learnt:       7695 | 0.512
1257.06/1257.34	c total clause space: 545.701MB
1257.06/1257.34	c total #watches: 1664214
1286.15/1286.44	c total #propagations: 39351650 / total #impl: 422868313 (eff. 0.093)
1286.15/1286.44	c #Conflicts:      77000 | #Learnt:       8695 | 0.506
1286.15/1286.44	c total clause space: 545.701MB
1286.15/1286.44	c total #watches: 1790694
1313.64/1313.97	c total #propagations: 40153529 / total #impl: 427964876 (eff. 0.094)
1313.64/1313.97	c #Conflicts:      78000 | #Learnt:       9695 | 0.499
1313.64/1313.97	c total clause space: 545.701MB
1313.64/1313.97	c total #watches: 1888202
1325.45/1325.79	c total #propagations: 40754850 / total #impl: 432517556 (eff. 0.094)
1325.45/1325.79	c #Conflicts:      79000 | #Learnt:      10695 | 0.493
1325.45/1325.79	c total clause space: 545.701MB
1325.45/1325.79	c total #watches: 1985458
1335.45/1335.74	c total #propagations: 41015413 / total #impl: 435260679 (eff. 0.094)
1335.45/1335.74	c #Conflicts:      80000 | #Learnt:      11695 | 0.487
1335.45/1335.74	c total clause space: 545.701MB
1335.45/1335.74	c total #watches: 2034295
1348.45/1348.73	c total #propagations: 41204655 / total #impl: 437656145 (eff. 0.094)
1348.45/1348.73	c #Conflicts:      81000 | #Learnt:      12695 | 0.481
1348.45/1348.73	c total clause space: 545.701MB
1348.45/1348.73	c total #watches: 2230503
1358.25/1358.60	c total #propagations: 41452136 / total #impl: 440779167 (eff. 0.094)
1358.25/1358.60	c GC COLLECT
1358.25/1358.60	c #Conflicts:      82000 | #Learnt:       6894 | 0.475
1358.25/1358.60	c total clause space: 886.764MB
1358.25/1358.60	c total #watches: 1595494
1365.14/1365.44	c total #propagations: 41630169 / total #impl: 444689166 (eff. 0.094)
1365.14/1365.44	c #Conflicts:      83000 | #Learnt:       7894 | 0.469
1365.14/1365.44	c total clause space: 886.764MB
1365.14/1365.44	c total #watches: 1847338
1386.34/1386.68	c total #propagations: 41816850 / total #impl: 448498029 (eff. 0.093)
1386.34/1386.68	c #Conflicts:      84000 | #Learnt:       8894 | 0.463
1386.34/1386.68	c total clause space: 886.764MB
1386.34/1386.68	c total #watches: 2165452
1407.53/1407.82	c total #propagations: 42101422 / total #impl: 455625738 (eff. 0.092)
1407.53/1407.82	c #Conflicts:      85000 | #Learnt:       9894 | 0.458
1407.53/1407.82	c total clause space: 886.764MB
1407.53/1407.82	c total #watches: 2691234
1428.83/1429.16	c total #propagations: 42541940 / total #impl: 476473426 (eff. 0.089)
1428.83/1429.16	c #Conflicts:      86000 | #Learnt:      10894 | 0.453
1428.83/1429.16	c total clause space: 886.764MB
1428.83/1429.16	c total #watches: 3230377
1451.03/1451.34	c total #propagations: 43053511 / total #impl: 515702258 (eff. 0.083)
1451.03/1451.34	c #Conflicts:      87000 | #Learnt:      11894 | 0.447
1451.03/1451.34	c total clause space: 886.764MB
1451.03/1451.34	c total #watches: 3789990
1478.82/1479.13	c total #propagations: 43579342 / total #impl: 561873608 (eff. 0.078)
1478.82/1479.13	c #Conflicts:      88000 | #Learnt:      12894 | 0.442
1478.82/1479.13	c total clause space: 886.764MB
1478.82/1479.13	c total #watches: 4291576
1511.41/1511.76	c total #propagations: 44216560 / total #impl: 622954830 (eff. 0.071)
1511.41/1511.76	c #Conflicts:      89000 | #Learnt:      13894 | 0.437
1511.41/1511.76	c total clause space: 886.764MB
1511.41/1511.76	c total #watches: 4743424
1533.52/1533.84	c total #propagations: 44900268 / total #impl: 696971469 (eff. 0.064)
1533.52/1533.84	c GC COLLECT
1533.52/1533.84	c #Conflicts:      90000 | #Learnt:       7789 | 0.433
1533.52/1533.84	c total clause space: 886.764MB
1533.52/1533.84	c total #watches: 1955702
1551.42/1551.75	c total #propagations: 45582706 / total #impl: 732393756 (eff. 0.062)
1551.42/1551.75	c #Conflicts:      91000 | #Learnt:       8789 | 0.428
1551.42/1551.75	c total clause space: 886.764MB
1551.42/1551.75	c total #watches: 2123997
1560.31/1560.67	c total #propagations: 45891800 / total #impl: 733638063 (eff. 0.063)
1560.31/1560.67	c #Conflicts:      92000 | #Learnt:       9789 | 0.423
1560.31/1560.67	c total clause space: 886.764MB
1560.31/1560.67	c total #watches: 2161858
1568.32/1568.61	c total #propagations: 45957323 / total #impl: 734126717 (eff. 0.063)
1568.32/1568.61	c #Conflicts:      93000 | #Learnt:      10789 | 0.419
1568.32/1568.61	c total clause space: 886.764MB
1568.32/1568.62	c total #watches: 2171781
1577.01/1577.31	c total #propagations: 45986223 / total #impl: 734500682 (eff. 0.063)
1577.01/1577.31	c #Conflicts:      94000 | #Learnt:      11789 | 0.414
1577.01/1577.31	c total clause space: 886.764MB
1577.01/1577.31	c total #watches: 2181613
1586.60/1586.96	c total #propagations: 46015396 / total #impl: 734877975 (eff. 0.063)
1586.60/1586.96	c #Conflicts:      95000 | #Learnt:      12789 | 0.410
1586.60/1586.96	c total clause space: 886.764MB
1586.60/1586.96	c total #watches: 2191523
1597.11/1597.42	c total #propagations: 46044245 / total #impl: 735250510 (eff. 0.063)
1597.11/1597.42	c #Conflicts:      96000 | #Learnt:      13789 | 0.405
1597.11/1597.42	c total clause space: 886.764MB
1597.11/1597.42	c total #watches: 2201440
1608.30/1608.65	c total #propagations: 46073232 / total #impl: 735624070 (eff. 0.063)
1608.30/1608.65	c #Conflicts:      97000 | #Learnt:      14789 | 0.401
1608.30/1608.65	c total clause space: 886.764MB
1608.30/1608.65	c total #watches: 2211517
1619.60/1619.97	c total #propagations: 46102225 / total #impl: 735999869 (eff. 0.063)
1619.60/1619.97	c GC COLLECT
1619.60/1619.97	c #Conflicts:      98000 | #Learnt:       8388 | 0.397
1619.60/1619.97	c total clause space: 886.764MB
1619.60/1619.97	c total #watches: 2057045
1633.60/1633.98	c total #propagations: 46277033 / total #impl: 736818821 (eff. 0.063)
1633.60/1633.98	c #Conflicts:      99000 | #Learnt:       9388 | 0.393
1633.60/1633.98	c total clause space: 886.764MB
1633.60/1633.98	c total #watches: 2306483
1650.90/1651.21	c total #propagations: 46470423 / total #impl: 737688348 (eff. 0.063)
1650.90/1651.21	c #Conflicts:     100000 | #Learnt:      10388 | 0.389
1650.90/1651.21	c total clause space: 886.764MB
1650.90/1651.21	c total #watches: 2589685
1670.09/1670.41	c total #propagations: 46669476 / total #impl: 738601270 (eff. 0.063)
1670.09/1670.41	c #Conflicts:     101000 | #Learnt:      11388 | 0.385
1670.09/1670.41	c total clause space: 886.764MB
1670.09/1670.41	c total #watches: 2704812
1690.59/1690.95	c total #propagations: 46868322 / total #impl: 739507520 (eff. 0.063)
1690.59/1690.95	c #Conflicts:     102000 | #Learnt:      12388 | 0.382
1690.59/1690.95	c total clause space: 886.764MB
1690.59/1690.95	c total #watches: 2776801
1743.19/1743.59	c total #propagations: 47067887 / total #impl: 740384967 (eff. 0.064)
1743.19/1743.59	c #Conflicts:     103000 | #Learnt:      13388 | 0.378
1743.19/1743.59	c total clause space: 886.764MB
1743.19/1743.59	c total #watches: 2855527

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

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

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


[startup+0 s]
/proc/loadavg: 1.89 1.98 1.85 3/240 9845
/proc/meminfo: memFree=31356488/32872528 swapFree=189444/189444
[pid=9845] ppid=9842 vsize=55976 CPUtime=0 cores=0,2,4,6
/proc/9845/stat : 9845 (cdcl-cuttingpla) R 9842 9845 9799 0 -1 4202496 258 0 0 0 0 0 0 0 20 0 1 0 7839927 57319424 7804 33554432000 4194304 6211289 140737104906112 140734101561032 4206544 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9845/statm: 13994 7804 98 493 0 13491 0

[startup+0.100161 s]
/proc/loadavg: 1.89 1.98 1.85 3/240 9845
/proc/meminfo: memFree=31356488/32872528 swapFree=189444/189444
[pid=9845] ppid=9842 vsize=59552 CPUtime=0.09 cores=0,2,4,6
/proc/9845/stat : 9845 (cdcl-cuttingpla) R 9842 9845 9799 0 -1 4202496 1776 0 0 0 9 0 0 0 20 0 1 0 7839927 60981248 11559 33554432000 4194304 6211289 140737104906112 140734101561032 5252635 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9845/statm: 14888 11559 121 493 0 14385 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 59552

[startup+0.200338 s]
/proc/loadavg: 1.89 1.98 1.85 3/240 9845
/proc/meminfo: memFree=31356488/32872528 swapFree=189444/189444
[pid=9845] ppid=9842 vsize=63008 CPUtime=0.18 cores=0,2,4,6
/proc/9845/stat : 9845 (cdcl-cuttingpla) R 9842 9845 9799 0 -1 4202496 2217 0 0 0 18 0 0 0 20 0 1 0 7839927 64520192 12669 33554432000 4194304 6211289 140737104906112 140734101561032 5418912 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9845/statm: 15752 12669 121 493 0 15249 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 63008

[startup+0.300325 s]
/proc/loadavg: 1.89 1.98 1.85 3/240 9845
/proc/meminfo: memFree=31356488/32872528 swapFree=189444/189444
[pid=9845] ppid=9842 vsize=80048 CPUtime=0.29 cores=0,2,4,6
/proc/9845/stat : 9845 (cdcl-cuttingpla) R 9842 9845 9799 0 -1 4202496 4124 0 0 0 28 1 0 0 20 0 1 0 7839927 81969152 17642 33554432000 4194304 6211289 140737104906112 140734101561032 4228605 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9845/statm: 20012 17642 144 493 0 19509 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 80048

[startup+0.70029 s]
/proc/loadavg: 1.89 1.98 1.85 3/240 9845
/proc/meminfo: memFree=31356488/32872528 swapFree=189444/189444
[pid=9845] ppid=9842 vsize=122056 CPUtime=0.68 cores=0,2,4,6
/proc/9845/stat : 9845 (cdcl-cuttingpla) R 9842 9845 9799 0 -1 4202496 8751 0 0 0 66 2 0 0 20 0 1 0 7839927 124985344 28625 33554432000 4194304 6211289 140737104906112 140737104903704 4238603 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9845/statm: 30514 28625 149 493 0 30011 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 122056

[startup+1.50027 s]
/proc/loadavg: 1.89 1.98 1.85 3/241 9846
/proc/meminfo: memFree=31170236/32872528 swapFree=189444/189444
[pid=9845] ppid=9842 vsize=152700 CPUtime=1.49 cores=0,2,4,6
/proc/9845/stat : 9845 (cdcl-cuttingpla) R 9842 9845 9799 0 -1 4202496 9520 0 0 0 146 3 0 0 20 0 1 0 7839927 156364800 34269 33554432000 4194304 6211289 140737104906112 140737104904344 4209322 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9845/statm: 38175 34269 160 493 0 37672 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 152700

[startup+3.10028 s]
/proc/loadavg: 1.89 1.98 1.85 3/241 9846
/proc/meminfo: memFree=31061516/32872528 swapFree=189444/189444
[pid=9845] ppid=9842 vsize=185464 CPUtime=3.08 cores=0,2,4,6
/proc/9845/stat : 9845 (cdcl-cuttingpla) R 9842 9845 9799 0 -1 4202496 10289 0 0 0 305 3 0 0 20 0 1 0 7839927 189915136 40596 33554432000 4194304 6211289 140737104906112 140737104904104 4209376 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9845/statm: 46366 40596 160 493 0 45863 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 185464

[startup+6.30028 s]
/proc/loadavg: 1.89 1.98 1.85 3/241 9846
/proc/meminfo: memFree=30952640/32872528 swapFree=189444/189444
[pid=9845] ppid=9842 vsize=240900 CPUtime=6.28 cores=0,2,4,6
/proc/9845/stat : 9845 (cdcl-cuttingpla) R 9842 9845 9799 0 -1 4202496 13465 0 0 0 624 4 0 0 20 0 1 0 7839927 246681600 51294 33554432000 4194304 6211289 140737104906112 140737104904024 4202031 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9845/statm: 60225 51294 165 493 0 59722 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 240900

[startup+12.7003 s]
/proc/loadavg: 1.91 1.98 1.85 3/241 9846
/proc/meminfo: memFree=30899108/32872528 swapFree=189444/189444
[pid=9845] ppid=9842 vsize=245412 CPUtime=12.68 cores=0,2,4,6
/proc/9845/stat : 9845 (cdcl-cuttingpla) R 9842 9845 9799 0 -1 4202496 14649 0 0 0 1263 5 0 0 20 0 1 0 7839927 251301888 59121 33554432000 4194304 6211289 140737104906112 140737104904104 4209304 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9845/statm: 61353 59121 165 493 0 60850 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 245412

[startup+25.5004 s]
/proc/loadavg: 1.92 1.98 1.85 3/241 9846
/proc/meminfo: memFree=30500096/32872528 swapFree=189444/189444
[pid=9845] ppid=9842 vsize=805540 CPUtime=25.49 cores=0,2,4,6
/proc/9845/stat : 9845 (cdcl-cuttingpla) R 9842 9845 9799 0 -1 4202496 21565 0 0 0 2535 14 0 0 20 0 1 0 7839927 824872960 148412 33554432000 4194304 6211289 140737104906112 140737104904024 4209314 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9845/statm: 201385 148412 219 493 0 200882 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 805540

[startup+51.1004 s]
/proc/loadavg: 2.03 2.00 1.86 3/241 9846
/proc/meminfo: memFree=30438064/32872528 swapFree=189444/189444
[pid=9845] ppid=9842 vsize=818636 CPUtime=51.08 cores=0,2,4,6
/proc/9845/stat : 9845 (cdcl-cuttingpla) R 9842 9845 9799 0 -1 4202496 25278 0 0 0 5094 14 0 0 20 0 1 0 7839927 838283264 151915 33554432000 4194304 6211289 140737104906112 140737104904104 4209403 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9845/statm: 204659 151915 219 493 0 204156 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 818636

[startup+102.3 s]
/proc/loadavg: 2.10 2.03 1.87 3/241 9847
/proc/meminfo: memFree=30381080/32872528 swapFree=189444/189444
[pid=9845] ppid=9842 vsize=836584 CPUtime=102.28 cores=0,2,4,6
/proc/9845/stat : 9845 (cdcl-cuttingpla) R 9842 9845 9799 0 -1 4202496 29913 0 0 0 10213 15 0 0 20 0 1 0 7839927 856662016 156540 33554432000 4194304 6211289 140737104906112 140737104904024 4209314 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9845/statm: 209146 156540 219 493 0 208643 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 836584

[startup+162.3 s]
/proc/loadavg: 2.15 2.05 1.89 3/241 9848
/proc/meminfo: memFree=30344656/32872528 swapFree=189444/189444
[pid=9845] ppid=9842 vsize=850748 CPUtime=162.27 cores=0,2,4,6
/proc/9845/stat : 9845 (cdcl-cuttingpla) R 9842 9845 9799 0 -1 4202496 34140 0 0 0 16210 17 0 0 20 0 1 0 7839927 871165952 160440 33554432000 4194304 6211289 140737104906112 140737104904456 4209322 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9845/statm: 212687 160440 219 493 0 212184 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 850748

[startup+222.307 s]
/proc/loadavg: 2.16 2.07 1.91 4/240 9849
/proc/meminfo: memFree=30301448/32872528 swapFree=189444/189444
[pid=9845] ppid=9842 vsize=857612 CPUtime=222.26 cores=0,2,4,6
/proc/9845/stat : 9845 (cdcl-cuttingpla) R 9842 9845 9799 0 -1 4202496 35856 0 0 0 22209 17 0 0 20 0 1 0 7839927 878194688 162156 33554432000 4194304 6211289 140737104906112 140737104904024 5161098 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9845/statm: 214403 162156 219 493 0 213900 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 857612

[startup+282.3 s]
/proc/loadavg: 2.13 2.08 1.92 3/242 9854
/proc/meminfo: memFree=30238660/32872528 swapFree=189444/189444
[pid=9845] ppid=9842 vsize=871512 CPUtime=282.25 cores=0,2,4,6
/proc/9845/stat : 9845 (cdcl-cuttingpla) R 9842 9845 9799 0 -1 4202496 39339 0 0 0 28207 18 0 0 20 0 1 0 7839927 892428288 165639 33554432000 4194304 6211289 140737104906112 140737104904024 4209322 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9845/statm: 217878 165639 219 493 0 217375 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 871512

[startup+342.3 s]
/proc/loadavg: 2.04 2.06 1.92 3/241 9855
/proc/meminfo: memFree=30197380/32872528 swapFree=189444/189444
[pid=9845] ppid=9842 vsize=880420 CPUtime=342.24 cores=0,2,4,6
/proc/9845/stat : 9845 (cdcl-cuttingpla) R 9842 9845 9799 0 -1 4202496 41562 0 0 0 34205 19 0 0 20 0 1 0 7839927 901550080 167862 33554432000 4194304 6211289 140737104906112 140737104904024 4209322 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9845/statm: 220105 167862 219 493 0 219602 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 880420

[startup+402.3 s]
/proc/loadavg: 2.01 2.05 1.92 3/241 9856
/proc/meminfo: memFree=30103108/32872528 swapFree=189444/189444
[pid=9845] ppid=9842 vsize=886252 CPUtime=402.22 cores=0,2,4,6
/proc/9845/stat : 9845 (cdcl-cuttingpla) R 9842 9845 9799 0 -1 4202496 43101 0 0 0 40203 19 0 0 20 0 1 0 7839927 907522048 173997 33554432000 4194304 6211289 140737104906112 140737104904024 4209322 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9845/statm: 221563 173997 219 493 0 221060 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 886252

[startup+462.3 s]
/proc/loadavg: 2.14 2.07 1.93 3/241 9857
/proc/meminfo: memFree=29916032/32872528 swapFree=189444/189444
[pid=9845] ppid=9842 vsize=903892 CPUtime=462.22 cores=0,2,4,6
/proc/9845/stat : 9845 (cdcl-cuttingpla) R 9842 9845 9799 0 -1 4202496 47564 0 0 0 46201 21 0 0 20 0 1 0 7839927 925585408 189681 33554432000 4194304 6211289 140737104906112 140737104904024 4209306 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9845/statm: 225973 189681 219 493 0 225470 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 903892

[startup+522.3 s]
/proc/loadavg: 2.05 2.06 1.93 3/241 9858
/proc/meminfo: memFree=29860740/32872528 swapFree=189444/189444
[pid=9845] ppid=9842 vsize=914172 CPUtime=522.21 cores=0,2,4,6
/proc/9845/stat : 9845 (cdcl-cuttingpla) R 9842 9845 9799 0 -1 4202496 50098 0 0 0 52199 22 0 0 20 0 1 0 7839927 936112128 201922 33554432000 4194304 6211289 140737104906112 140737104904024 4209403 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9845/statm: 228543 201922 219 493 0 228040 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 914172

[startup+582.3 s]
/proc/loadavg: 2.05 2.06 1.93 3/241 9860
/proc/meminfo: memFree=29850916/32872528 swapFree=189444/189444
[pid=9845] ppid=9842 vsize=918104 CPUtime=582.2 cores=0,2,4,6
/proc/9845/stat : 9845 (cdcl-cuttingpla) R 9842 9845 9799 0 -1 4202496 51095 0 0 0 58197 23 0 0 20 0 1 0 7839927 940138496 202915 33554432000 4194304 6211289 140737104906112 140737104904024 4209396 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9845/statm: 229526 202915 219 493 0 229023 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 918104


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


[startup+882.307 s]
/proc/loadavg: 2.00 2.01 1.93 3/242 9869
/proc/meminfo: memFree=29766296/32872528 swapFree=189444/189444
[pid=9845] ppid=9842 vsize=937460 CPUtime=882.11 cores=0,2,4,6
/proc/9845/stat : 9845 (cdcl-cuttingpla) R 9842 9845 9799 0 -1 4202496 55949 0 0 0 88187 24 0 0 20 0 1 0 7839927 959959040 210556 33554432000 4194304 6211289 140737104906112 140737104904104 4209396 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9845/statm: 234365 210556 219 493 0 233862 0
Current children cumulated CPU time (s) 882.11
Current children cumulated vsize (KiB) 937460

[startup+942.3 s]
/proc/loadavg: 2.08 2.02 1.94 3/241 9870
/proc/meminfo: memFree=29756888/32872528 swapFree=189444/189444
[pid=9845] ppid=9842 vsize=941776 CPUtime=942.1 cores=0,2,4,6
/proc/9845/stat : 9845 (cdcl-cuttingpla) R 9842 9845 9799 0 -1 4202496 57016 0 0 0 94186 24 0 0 20 0 1 0 7839927 964378624 211623 33554432000 4194304 6211289 140737104906112 140737104904104 4209306 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9845/statm: 235444 211623 219 493 0 234941 0
Current children cumulated CPU time (s) 942.1
Current children cumulated vsize (KiB) 941776

[startup+1002.3 s]
/proc/loadavg: 2.10 2.05 1.95 3/241 9871
/proc/meminfo: memFree=29746020/32872528 swapFree=189444/189444
[pid=9845] ppid=9842 vsize=944380 CPUtime=1002.1 cores=0,2,4,6
/proc/9845/stat : 9845 (cdcl-cuttingpla) R 9842 9845 9799 0 -1 4202496 57701 0 0 0 100185 25 0 0 20 0 1 0 7839927 967045120 213521 33554432000 4194304 6211289 140737104906112 140737104903976 4209314 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9845/statm: 236095 213521 219 493 0 235592 0
Current children cumulated CPU time (s) 1002.1
Current children cumulated vsize (KiB) 944380

[startup+1062.3 s]
/proc/loadavg: 2.10 2.05 1.95 3/241 9872
/proc/meminfo: memFree=29727164/32872528 swapFree=189444/189444
[pid=9845] ppid=9842 vsize=946552 CPUtime=1062.08 cores=0,2,4,6
/proc/9845/stat : 9845 (cdcl-cuttingpla) R 9842 9845 9799 0 -1 4202496 58226 0 0 0 106183 25 0 0 20 0 1 0 7839927 969269248 217827 33554432000 4194304 6211289 140737104906112 140737104904024 4209322 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9845/statm: 236638 217827 219 493 0 236135 0
Current children cumulated CPU time (s) 1062.08
Current children cumulated vsize (KiB) 946552

[startup+1122.3 s]
/proc/loadavg: 2.08 2.05 1.96 3/241 9873
/proc/meminfo: memFree=29693544/32872528 swapFree=189444/189444
[pid=9845] ppid=9842 vsize=949052 CPUtime=1122.07 cores=0,2,4,6
/proc/9845/stat : 9845 (cdcl-cuttingpla) R 9842 9845 9799 0 -1 4202496 58850 0 0 0 112182 25 0 0 20 0 1 0 7839927 971829248 218451 33554432000 4194304 6211289 140737104906112 140737104904024 4209392 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9845/statm: 237263 218451 219 493 0 236760 0
Current children cumulated CPU time (s) 1122.07
Current children cumulated vsize (KiB) 949052

[startup+1182.3 s]
/proc/loadavg: 2.08 2.06 1.97 3/241 9875
/proc/meminfo: memFree=29688596/32872528 swapFree=189444/189444
[pid=9845] ppid=9842 vsize=952420 CPUtime=1182.07 cores=0,2,4,6
/proc/9845/stat : 9845 (cdcl-cuttingpla) R 9842 9845 9799 0 -1 4202496 59710 0 0 0 118181 26 0 0 20 0 1 0 7839927 975278080 219311 33554432000 4194304 6211289 140737104906112 140737104903976 4209328 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9845/statm: 238105 219311 219 493 0 237602 0
Current children cumulated CPU time (s) 1182.07
Current children cumulated vsize (KiB) 952420

[startup+1242.3 s]
/proc/loadavg: 2.03 2.05 1.97 3/241 9876
/proc/meminfo: memFree=29549952/32872528 swapFree=189444/189444
[pid=9845] ppid=9842 vsize=955132 CPUtime=1242.06 cores=0,2,4,6
/proc/9845/stat : 9845 (cdcl-cuttingpla) R 9842 9845 9799 0 -1 4202496 60391 0 0 0 124179 27 0 0 20 0 1 0 7839927 978055168 229701 33554432000 4194304 6211289 140737104906112 140737104904104 4209314 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9845/statm: 238783 229701 219 493 0 238280 0
Current children cumulated CPU time (s) 1242.06
Current children cumulated vsize (KiB) 955132

[startup+1302.3 s]
/proc/loadavg: 2.01 2.03 1.97 3/241 9877
/proc/meminfo: memFree=29504852/32872528 swapFree=189444/189444
[pid=9845] ppid=9842 vsize=956484 CPUtime=1302.05 cores=0,2,4,6
/proc/9845/stat : 9845 (cdcl-cuttingpla) R 9842 9845 9799 0 -1 4202496 60720 0 0 0 130178 27 0 0 20 0 1 0 7839927 979439616 230030 33554432000 4194304 6211289 140737104906112 140737104904024 4209314 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9845/statm: 239121 230030 219 493 0 238618 0
Current children cumulated CPU time (s) 1302.05
Current children cumulated vsize (KiB) 956484

[startup+1362.3 s]
/proc/loadavg: 2.00 2.03 1.97 3/241 9878
/proc/meminfo: memFree=29459444/32872528 swapFree=189444/189444
[pid=9845] ppid=9842 vsize=1311964 CPUtime=1362.04 cores=0,2,4,6
/proc/9845/stat : 9845 (cdcl-cuttingpla) R 9842 9845 9799 0 -1 4202496 62606 0 0 0 136171 33 0 0 20 0 1 0 7839927 1343451136 241001 33554432000 4194304 6211289 140737104906112 140737104904456 4209322 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9845/statm: 327991 241001 219 493 0 327488 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 1311964

[startup+1422.3 s]
/proc/loadavg: 2.07 2.05 1.98 3/241 9879
/proc/meminfo: memFree=29443484/32872528 swapFree=189444/189444
[pid=9845] ppid=9842 vsize=1326568 CPUtime=1422.03 cores=0,2,4,6
/proc/9845/stat : 9845 (cdcl-cuttingpla) R 9842 9845 9799 0 -1 4202496 66292 0 0 0 142170 33 0 0 20 0 1 0 7839927 1358405632 244687 33554432000 4194304 6211289 140737104906112 140737104904104 4209376 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9845/statm: 331642 244687 219 493 0 331139 0
Current children cumulated CPU time (s) 1422.03
Current children cumulated vsize (KiB) 1326568

[startup+1482.3 s]
/proc/loadavg: 2.10 2.05 1.98 3/242 9884
/proc/meminfo: memFree=29367672/32872528 swapFree=189444/189444
[pid=9845] ppid=9842 vsize=1341220 CPUtime=1482.02 cores=0,2,4,6
/proc/9845/stat : 9845 (cdcl-cuttingpla) R 9842 9845 9799 0 -1 4202496 69858 0 0 0 148168 34 0 0 20 0 1 0 7839927 1373409280 248253 33554432000 4194304 6211289 140737104906112 140737104904104 4209464 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9845/statm: 335305 248253 219 493 0 334802 0
Current children cumulated CPU time (s) 1482.02
Current children cumulated vsize (KiB) 1341220

[startup+1542.31 s]
/proc/loadavg: 2.03 2.04 1.98 3/241 9885
/proc/meminfo: memFree=29331780/32872528 swapFree=189444/189444
[pid=9845] ppid=9842 vsize=1347160 CPUtime=1542.02 cores=0,2,4,6
/proc/9845/stat : 9845 (cdcl-cuttingpla) R 9842 9845 9799 0 -1 4202496 71449 0 0 0 154167 35 0 0 20 0 1 0 7839927 1379491840 255399 33554432000 4194304 6211289 140737104906112 140737104904104 4209304 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9845/statm: 336790 255399 219 493 0 336287 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 1347160

[startup+1602.3 s]
/proc/loadavg: 2.07 2.05 1.99 3/241 9886
/proc/meminfo: memFree=29253884/32872528 swapFree=189444/189444
[pid=9845] ppid=9842 vsize=1348748 CPUtime=1602 cores=0,2,4,6
/proc/9845/stat : 9845 (cdcl-cuttingpla) R 9842 9845 9799 0 -1 4202496 72000 0 0 0 160164 36 0 0 20 0 1 0 7839927 1381117952 275347 33554432000 4194304 6211289 140737104906112 140737104904456 4209396 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9845/statm: 337187 275347 219 493 0 336684 0
Current children cumulated CPU time (s) 1602
Current children cumulated vsize (KiB) 1348748

[startup+1662.3 s]
/proc/loadavg: 2.02 2.03 1.99 3/241 9887
/proc/meminfo: memFree=29221328/32872528 swapFree=189444/189444
[pid=9845] ppid=9842 vsize=1355220 CPUtime=1661.99 cores=0,2,4,6
/proc/9845/stat : 9845 (cdcl-cuttingpla) R 9842 9845 9799 0 -1 4202496 73662 0 0 0 166163 36 0 0 20 0 1 0 7839927 1387745280 281602 33554432000 4194304 6211289 140737104906112 140737104904024 4209304 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9845/statm: 338805 281602 219 493 0 338302 0
Current children cumulated CPU time (s) 1661.99
Current children cumulated vsize (KiB) 1355220

[startup+1722.3 s]
/proc/loadavg: 2.01 2.03 1.99 3/241 9888
/proc/meminfo: memFree=29053600/32872528 swapFree=189444/189444
[pid=9845] ppid=9842 vsize=1374028 CPUtime=1721.98 cores=0,2,4,6
/proc/9845/stat : 9845 (cdcl-cuttingpla) R 9842 9845 9799 0 -1 4202496 78222 0 0 0 172159 39 0 0 20 0 1 0 7839927 1407004672 321421 33554432000 4194304 6211289 140737104906112 140737104903976 4209163 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9845/statm: 343507 321421 219 493 0 343004 0
Current children cumulated CPU time (s) 1721.98
Current children cumulated vsize (KiB) 1374028

[startup+1782.3 s]
/proc/loadavg: 2.06 2.04 1.99 3/241 9890
/proc/meminfo: memFree=29020524/32872528 swapFree=189444/189444
[pid=9845] ppid=9842 vsize=1380524 CPUtime=1781.97 cores=0,2,4,6
/proc/9845/stat : 9845 (cdcl-cuttingpla) R 9842 9845 9799 0 -1 4202496 79719 0 0 0 178158 39 0 0 20 0 1 0 7839927 1413656576 328539 33554432000 4194304 6211289 140737104906112 140737104903976 4209392 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9845/statm: 345131 328539 219 493 0 344628 0
Current children cumulated CPU time (s) 1781.97
Current children cumulated vsize (KiB) 1380524



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.05 2.03 1.99 3/241 9890
/proc/meminfo: memFree=29007248/32872528 swapFree=189444/189444
[pid=9845] ppid=9842 vsize=1380956 CPUtime=1800.08 cores=0,2,4,6
/proc/9845/stat : 9845 (cdcl-cuttingpla) R 9842 9845 9799 0 -1 4202496 79833 0 0 0 179968 40 0 0 20 0 1 0 7839927 1414098944 331719 33554432000 4194304 6211289 140737104906112 140737104903976 4209376 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9845/statm: 345239 331719 219 493 0 344736 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1380956

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 9845 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.12
CPU user time (s): 1799.68
CPU system time (s): 0.440932
CPU usage (%): 99.9824
Max. virtual memory (cumulated for all children) (KiB): 1380956

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.68
system time used= 0.440932
maximum resident set size= 1326876
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 79833
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= 84
involuntary context switches= 1939

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.21436 second user time and 7.26989 second system time

The end

Launcher Data 

Begin job on node102 at 2016-06-30 08:15:34
IDJOB=4119804
IDBENCH=111807
IDSOLVER=2549
FILE ID=node102/4119804-1467267334
RUNJOBID= node102-1467267334-9815
PBS_JOBID= 20004490
Free space on /tmp= 71660 MiB

SOLVER NAME= cdcl-cuttingplanes OPT binary search 2016-05-01
BENCH NAME= PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/pbfvmc-formulae/hw128/normalized-hw128-vm75p-opt.opb.negationfix.opb
COMMAND LINE= ./cdcl-cuttingplanes-opt-binarysearch-release
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4119804-1467267334/watcher-4119804-1467267334 -o /tmp/evaluation-result-4119804-1467267334/solver-4119804-1467267334 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node102-1467267334-9815 --watchdog 1960 --input HOME/instance-4119804-1467267334.opb ./cdcl-cuttingplanes-opt-binarysearch-release

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

MD5SUM BENCH= 5b0d3259e94309f2983f84185a6f768c
RANDOM SEED=910512211

node102.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.744
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.48
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.744
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.744
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.744
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.49
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.744
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.54
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.744
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.744
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.744
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:        31357092 kB
Buffers:          134896 kB
Cached:           387828 kB
SwapCached:            0 kB
Active:           242744 kB
Inactive:         343540 kB
Active(anon):      65784 kB
Inactive(anon):        0 kB
Active(file):     176960 kB
Inactive(file):   343540 kB
Unevictable:      189444 kB
Mlocked:          189444 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             12424 kB
Writeback:             0 kB
AnonPages:        206932 kB
Mapped:            14508 kB
Shmem:               204 kB
Slab:             605956 kB
SReclaimable:      50284 kB
SUnreclaim:       555672 kB
KernelStack:        1848 kB
PageTables:         4820 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     381516 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:      4096 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= 71656 MiB
End job on node102 at 2016-06-30 08:45:35