Trace number 3262905

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-1-mt? (TO) 4800.43 1201.95

General information on the benchmark

NameSAT03/handmade/anton/UNSAT/
SGI_30_70_26_40_6-dir.shuffled-as.sat03-163.cnf
MD5SUMc06088cac8521bfe72bbb4c9ad8d39fb
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables780
Number of clauses66810
Sum of the clauses size134348
Maximum clause length30
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 266784
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 526

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.00	c Using 4 threads
0.00/0.00	c This is CryptoMiniSat 2.9.0
0.00/0.00	c compiled with gcc version 4.4.5
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3262905-1304134069.cnf'
0.00/0.00	c -- header says num vars:            780
0.00/0.00	c -- header says num clauses:       66810
0.00/0.02	c -- clauses added:            0 learnts,        66810 normals,            0 xors
0.00/0.02	c -- vars added        780
0.00/0.02	c Parsing time:  0.05 s
0.00/0.02	c  N st     0         0       780        26     66784         0    134348         0   no data   no data  --
0.00/0.02	c asymm  cl-useful: 0/26/26 lits-rem:0 time: 0.00
0.00/0.03	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.05
0.00/0.04	c bin-w-bin subsume rem            0 bins  time:  0.04 s
0.00/0.05	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
0.19/0.05	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    780 time:  0.02 s
0.19/0.06	c Removed useless bin:       0  fixed:     0  props:   0.34M  time:  0.03 s
0.19/0.08	c lits-rem:       644  cl-subs:        0  v-elim:     26  v-fix:    0  time:  0.08 s
0.19/0.09	c Finding binary XORs  T:     0.00 s  found:       0
0.19/0.09	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.19/0.09	c calculated reachability. Time: 0.00
0.19/0.09	c Calc default polars -  time:   0.00 s pos:     390 undec:      26 neg:     364
0.19/0.09	c =========================================================================================
0.19/0.09	c types(t): F = full restart, N = normal restart
0.19/0.09	c types(t): S = simplification begin/end, E = solution found
0.19/0.09	c restart types(rt): st = static, dy = dynamic
0.19/0.09	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.19/0.09	c  B st     0         0       754      1613     64417         0    185680         0   no data   no data  --
0.19/0.59	c  N dy    11      4551       754      1613     64417      4426    185680    432612     11.36     12.02  --
3.70/0.99	c  N dy    24      8553       754      1613     64418      5896    185680    540621     12.06     14.03  --
5.97/1.54	c  N dy    43     12613       754      1613     64418      5717    185680    445002     12.31     12.98  --
8.76/2.26	c  N dy    58     16703       754      1613     64419      9667    185680    966755     12.06     14.79  --
11.58/2.93	c  N dy    65     21137       754      1613     64422      8524    185680    730160     11.60     12.23  --
14.76/3.71	c  F st    88     25001       754      1613     64426     12279    185680   1231705     11.89   no data  --
14.76/3.77	c  N st    89     25251       754      1613     64427     12526    185680   1243298     11.89   no data  --
17.16/4.37	c  N dy    94     30000       754      1613     64430     10421    185680    679928     11.89   no data  --
17.16/4.37	c  S st    94     30000       754      1613     64430     10421    185680    679928     11.89   no data  --
17.55/4.44	c  S st    94     30501       754      1613     64430     10920    185680    713250     11.89   no data  --
17.55/4.44	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
17.55/4.44	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
17.95/4.59	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     15 BRemL:      0 BRemN:      0 P:  5.9M T:  0.61
18.35/4.63	c bin-w-bin subsume rem            0 bins  time:  0.04 s
23.95/6.05	c subs with bin:      504  lits-rem:      1445  v-fix:    0  time:  5.66 s
23.95/6.05	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    754 time:  0.03 s
23.95/6.06	c Removed useless bin:       0  fixed:     0  props:   0.32M  time:  0.03 s
38.32/9.61	c lits-rem:      2318  cl-subs:      686  v-elim:      0  v-fix:    0  time: 14.18 s
38.72/9.77	c asymm  cl-useful: 1089/1587/1613 lits-rem:9652 time: 0.63
38.72/9.77	c calculated reachability. Time: 0.00
38.72/9.77	c  N dy    94     30501       754      1613     64445      9730    173092    658661     11.89   no data  --
41.52/10.40	c  N dy   114     34640       753      1613     64448     13743    173092   1058110     11.93     12.66  --
43.92/11.02	c  N dy   129     39703       753      1613     64449     10980    173092    733553     11.85     12.51  --
47.51/11.92	c  N dy   144     45752       753      1613     64457     16779    173092   1072651     11.63      9.12  --
47.51/11.92	c  S st   144     45752       753      1613     64457     16779    173092   1072651     11.63      9.12  --
47.90/12.01	c  S st   144     46257       753      1613     64457      8682    173092    545329     11.63   no data  --
47.90/12.01	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
47.90/12.01	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
48.31/12.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  5.2M T:  0.53
48.31/12.17	c bin-w-bin subsume rem            0 bins  time:  0.04 s
53.90/13.51	c subs with bin:        1  lits-rem:        63  v-fix:    0  time:  5.34 s
53.90/13.52	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    753 time:  0.03 s
53.90/13.52	c Removed useless bin:       0  fixed:     0  props:   0.32M  time:  0.02 s
59.10/14.90	c lits-rem:      1211  cl-subs:      337  v-elim:      0  v-fix:    0  time:  5.49 s
59.52/14.90	c vivif2 --  cl tried     1613 cl shrink      264 lits rem        271 time: 0.00
59.52/14.91	c vivif2 --  cl tried     8344 cl shrink      278 lits rem        287 time: 0.04
59.92/15.09	c asymm  cl-useful: 2/1613/1613 lits-rem:2 time: 0.71
59.92/15.09	c calculated reachability. Time: 0.00
59.92/15.09	c  N dy   144     46257       753      1613     64146      8344    171972    534229     11.63   no data  --
61.89/15.57	c  N dy   150     50269       753      1613     64160     12166    171972    628530     11.42     12.03  --
64.31/16.19	c  N dy   161     54786       753      1613     64165     16504    171972    922127     11.33     11.94  --
67.88/17.01	c  N dy   177     60088       753      1613     64167     12041    171972    609037     11.31     12.00  --
69.87/17.55	c  N dy   203     64089       752      1613     64172     15956    171972    933498     11.52     22.47  --
73.48/18.44	c  N dy   221     68974       752      1613     64184     20692    171972   1405835     11.50     12.19  --
73.88/18.54	c  S st   226     69386       752      1613     64184     21092    171972   1447199     11.54   no data  --
74.28/18.63	c  S st   226     69889       751      1613     64184     10979    171972    514851     11.54   no data  --
74.28/18.64	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
74.28/18.64	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
74.67/18.77	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      3 BRemL:      0 BRemN:      0 P:  5.5M T:  0.54
75.07/18.80	c bin-w-bin subsume rem            0 bins  time:  0.04 s
80.26/20.20	c subs with bin:       98  lits-rem:        12  v-fix:    0  time:  5.56 s
80.66/20.20	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    751 time:  0.02 s
80.66/20.21	c Removed useless bin:       0  fixed:     0  props:   0.31M  time:  0.03 s
82.26/20.64	c lits-rem:       271  cl-subs:       45  v-elim:      0  v-fix:    0  time:  1.72 s
82.26/20.64	c vivif2 --  cl tried     1596 cl shrink        2 lits rem          2 time: 0.00
82.26/20.65	c vivif2 --  cl tried     7357 cl shrink      165 lits rem        171 time: 0.03
83.06/20.82	c asymm  cl-useful: 0/1596/1596 lits-rem:0 time: 0.67
83.06/20.82	c calculated reachability. Time: 0.00
83.06/20.82	c  N dy   226     69889       751      1596     63629      7356    170506    447622     11.54   no data  --
85.47/21.40	c  N dy   246     74427       751      1596     63640     11749    170506    835826     11.65     19.12  --
89.06/22.37	c  N dy   275     79759       751      1596     63643     16910    170506   1313179     11.78     12.45  --
93.45/23.44	c  N dy   296     84912       750      1596     63658     12049    170506    753914     11.82     21.01  --
95.06/23.84	c  F st   309     87500       750      1596     63668     14559    170506    982467     11.82      7.76  --
97.45/24.48	c  N st   314     90801       750      1596     63364     17335    169869   1191464     11.82   no data  --
102.24/25.62	c  N dy   329     97003       750      1596     63371     11815    169869    693838     11.76     12.89  --
106.24/26.65	c  N dy   361    103203       750      1596     63374     17806    169869   1207373     11.81     18.72  --
107.44/26.97	c  S st   371    104836       750      1596     63374     19386    169869   1343579     11.84   no data  --
107.85/27.09	c  S st   371    105336       750      1596     63374     19885    169869   1376996     11.84   no data  --
107.85/27.09	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
107.85/27.09	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
109.03/27.38	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      1 BRemL:      0 BRemN:      0 P: 11.0M T:  1.14
109.43/27.43	c bin-w-bin subsume rem            0 bins  time:  0.04 s
115.42/28.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.95 s
115.42/28.92	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    750 time:  0.02 s
115.42/28.93	c Removed useless bin:       0  fixed:     0  props:   0.31M  time:  0.02 s
125.01/31.38	c lits-rem:      1578  cl-subs:      739  v-elim:      0  v-fix:    0  time:  9.79 s
125.01/31.38	c vivif2 --  cl tried     1596 cl shrink        8 lits rem          8 time: 0.00
125.01/31.40	c vivif2 --  cl tried    19146 cl shrink      333 lits rem        355 time: 0.08
126.21/31.67	c asymm  cl-useful: 0/1137/1596 lits-rem:0 time: 1.06
126.21/31.67	c calculated reachability. Time: 0.00
126.21/31.67	c  N dy   371    105336       750      1596     63375     19146    169861   1351148     11.84   no data  --
133.80/33.59	c  N dy   402    112184       750      1596     63392     25738    169861   1862943     11.88     13.05  --
139.38/34.96	c  N dy   420    119872       750      1596     63398     20231    169861   1282036     11.78     12.48  --
146.58/36.79	c  N dy   445    127609       749      1596     63411     27658    169861   1894500     11.73     12.54  --
152.57/38.27	c  N dy   474    135934       749      1596     63415     21503    169861   1372330     11.73     12.92  --
162.15/40.67	c  N dy   518    144776       749      1596     63433     30013    169861   2091462     11.80     12.61  --
169.37/42.46	c  N dy   553    154626       748      1596     63439     24182    169861   1360402     11.76     12.71  --
172.54/43.22	c  S st   571    158006       748      1596     63444     27476    169861   1569840     11.76     10.34  --
172.94/43.33	c  S st   571    158508       748      1596     63444     27977    169861   1608807     11.76   no data  --
172.94/43.34	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
172.94/43.34	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
174.16/43.66	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      3 BRemL:      0 BRemN:      0 P: 11.7M T:  1.27
174.53/43.72	c bin-w-bin subsume rem            0 bins  time:  0.03 s
180.13/45.17	c subs with bin:       43  lits-rem:       311  v-fix:    0  time:  5.78 s
180.13/45.18	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    748 time:  0.02 s
180.13/45.19	c Removed useless bin:       0  fixed:     0  props:   0.30M  time:  0.02 s
191.33/47.95	c lits-rem:      1314  cl-subs:     1338  v-elim:      0  v-fix:    0  time: 11.03 s
191.33/47.95	c vivif2 --  cl tried     1596 cl shrink        7 lits rem          7 time: 0.00
191.33/47.98	c vivif2 --  cl tried    25525 cl shrink     1623 lits rem       1935 time: 0.14
192.51/48.23	c asymm  cl-useful: 0/987/1596 lits-rem:0 time: 0.99
192.51/48.23	c calculated reachability. Time: 0.00
192.51/48.23	c  N dy   571    158508       748      1596     62850     25524    168600   1551866     11.76   no data  --
201.30/50.49	c  N dy   606    168657       747      1596     62872     19488    168600   1064711     11.72     12.59  --
212.09/53.17	c  N dy   623    179580       746      1596     62888     29913    168600   1872046     11.58     12.22  --
223.27/55.96	c  N dy   702    191441       746      1596     62897     24407    168600   1438154     11.79     12.71  --
238.05/59.69	c  N dy   790    204182       746      1596     62900     18560    168600    954345     12.00     12.86  --
250.44/62.70	c  N dy   844    217274       746      1596     62905     31308    168600   2061796     11.98     12.62  --
267.61/67.04	c  N dy   917    231954       746      1596     62907     26158    168600   1536476     12.10     12.91  --
273.60/68.60	c  S st   940    237762       746      1596     62907     31765    168600   1967096     12.12      8.81  --
274.41/68.75	c  S st   940    238265       746      1596     62909     32266    168600   2004044     12.12   no data  --
274.41/68.75	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
274.41/68.75	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
276.00/69.19	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      3 BRemL:      0 BRemN:      0 P: 15.6M T:  1.74
276.40/69.27	c bin-w-bin subsume rem            2 bins  time:  0.04 s
282.80/70.88	c subs with bin:        0  lits-rem:        32  v-fix:    0  time:  6.42 s
282.80/70.88	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    746 time:  0.03 s
282.80/70.89	c Removed useless bin:       0  fixed:     0  props:   0.30M  time:  0.02 s
298.77/74.86	c lits-rem:      1281  cl-subs:     1470  v-elim:      0  v-fix:    0  time: 15.86 s
298.77/74.87	c vivif2 --  cl tried     1596 cl shrink       10 lits rem         10 time: 0.00
299.17/74.90	c vivif2 --  cl tried    29361 cl shrink     1285 lits rem       1637 time: 0.15
299.97/75.12	c asymm  cl-useful: 0/609/1596 lits-rem:0 time: 0.87
299.97/75.12	c calculated reachability. Time: 0.00
299.97/75.12	c  N dy   940    238265       746      1596     62287     29359    167338   1941237     12.12   no data  --
317.14/79.42	c  N dy   979    253583       746      1596     62323     24585    167338   1441537     12.03     12.83  --
338.32/84.74	c  N dy  1036    270294       745      1596     62360     40576    167338   2602480     11.97     12.66  --
357.90/89.62	c  N dy  1103    287595       744      1596     62382     36424    167338   2253322     11.95     12.58  --
379.86/95.16	c  N dy  1176    306206       743      1596     62397     32428    167338   1910633     11.95     12.61  --
379.86/95.18	c  F st  1177    306250       743      1596     62397     32472    167338   1913338     11.95   no data  --
403.83/101.10	c  N dy  1225    325860       743      1596     61545     27729    165557   1450881     11.92     12.63  --
429.80/107.65	c  N dy  1301    345917       742      1596     61557     47047    165557   2801735     11.94     21.54  --
442.58/110.81	c  S st  1343    357398       742      1596     61568     34469    165557   2056311     11.96      8.54  --
443.38/111.01	c  S st  1343    357904       742      1596     61568     34975    165557   2098080     11.96   no data  --
443.38/111.01	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
443.38/111.01	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
445.37/111.55	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      1 BRemL:      0 BRemN:      0 P: 18.6M T:  2.15
445.77/111.63	c bin-w-bin subsume rem            2 bins  time:  0.03 s
452.16/113.20	c subs with bin:       28  lits-rem:        57  v-fix:    0  time:  6.25 s
452.16/113.21	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    742 time:  0.02 s
452.16/113.22	c Removed useless bin:       0  fixed:     0  props:   0.29M  time:  0.02 s
466.55/116.89	c lits-rem:      1032  cl-subs:      803  v-elim:      0  v-fix:    0  time: 14.68 s
466.55/116.89	c vivif2 --  cl tried     1596 cl shrink       14 lits rem         16 time: 0.00
466.95/116.93	c vivif2 --  cl tried    31732 cl shrink     1499 lits rem       1760 time: 0.15
467.75/117.19	c asymm  cl-useful: 0/738/1596 lits-rem:0 time: 1.06
467.75/117.20	c calculated reachability. Time: 0.00
467.75/117.20	c  N dy  1343    357904       742      1596     61226     31732    164925   2027743     11.96   no data  --
490.54/122.83	c Finding binary XORs  T:     0.00 s  found:       0
497.31/124.55	c  N dy  1418    378229       742      1596     61249     27646    164925   1543705     11.93     12.58  --
527.27/132.07	c  N dy  1497    398548       741      1596     61276     47194    164925   2997576     11.93     12.62  --
554.43/138.87	c  N dy  1565    418549       741      1596     61303     41040    164925   2417732     11.90     12.60  --
584.39/146.34	c  N dy  1633    439422       740      1596     61327     34474    164925   1718502     11.86     12.55  --
615.14/154.02	c  N dy  1705    459772       739      1596     61352     54126    164925   3305167     11.85     12.61  --
638.72/159.97	c  N dy  1785    479820       739      1596     61366     45866    164925   2726714     11.89     15.69  --
666.67/166.91	c  N dy  1890    500957       739      1596     61381     37386    164925   1876669     12.00     12.72  --
697.44/174.66	c  N dy  1989    521007       738      1596     61389     56753    164925   3403221     12.10     12.75  --
716.61/179.47	c  S st  2068    536858       738      1596     61398     42201    164925   2167424     12.15     11.37  --
717.41/179.63	c  S st  2068    537360       738      1596     61400     42701    164925   2209795     12.15   no data  --
717.41/179.64	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
717.41/179.64	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
719.81/180.25	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      3 BRemL:      0 BRemN:      0 P: 20.0M T:  2.44
720.21/180.33	c bin-w-bin subsume rem            0 bins  time:  0.03 s
726.60/181.90	c subs with bin:       46  lits-rem:       223  v-fix:    0  time:  6.26 s
726.60/181.91	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    738 time:  0.03 s
726.60/181.91	c Removed useless bin:       0  fixed:     0  props:   0.28M  time:  0.02 s
741.37/185.69	c lits-rem:      1563  cl-subs:     1230  v-elim:      0  v-fix:    0  time: 15.07 s
741.37/185.69	c vivif2 --  cl tried     1580 cl shrink       17 lits rem         18 time: 0.00
741.77/185.74	c vivif2 --  cl tried    37988 cl shrink     1821 lits rem       2254 time: 0.18
742.97/186.01	c asymm  cl-useful: 0/467/1580 lits-rem:0 time: 1.09
742.97/186.01	c calculated reachability. Time: 0.00
742.97/186.01	c  N dy  2068    537360       738      1580     60254     37987    162386   2117717     12.15   no data  --
774.93/194.01	c  N dy  2115    557858       738      1580     60283     57644    162386   3615411     12.10     13.11  --
798.49/199.99	c  N dy  2157    577997       737      1580     60298     48006    162386   2688121     12.05     13.48  --
829.65/207.74	c  N dy  2242    598163       736      1580     60311     36560    162386   1827988     12.08     12.78  --
860.81/215.57	c  N dy  2321    618562       736      1580     60323     56318    162386   3277367     12.09     12.79  --
890.77/223.00	c  N dy  2407    639091       735      1580     60341     43726    162386   2210809     12.11     12.81  --
918.33/229.90	c  N dy  2477    659162       734      1580     60365     63048    162386   3420731     12.10     13.13  --
944.30/236.43	c  N dy  2550    679660       734      1580     60373     49251    162386   2538147     12.11     12.77  --
979.85/245.32	c  N dy  2642    701029       734      1580     60386     35259    162386   1462214     12.14     12.79  --
1003.83/251.35	c  N dy  2733    721159       734      1580     60401     54772    162386   2827179     12.18     12.84  --
1037.37/259.72	c  N dy  2824    741258       734      1580     60409     38547    162386   1645551     12.21     21.10  --
1062.94/266.13	c  N dy  2883    761352       734      1580     60423     57938    162386   2934147     12.19     13.01  --
1093.70/273.86	c  N dy  2941    782178       734      1580     60434     41326    162386   1755910     12.18     12.96  --
1121.27/280.71	c  N dy  3037    802211       733      1580     60443     60545    162386   3013163     12.21     26.97  --
1127.68/282.34	c  S st  3055    806040       733      1580     60450     64244    162386   3275281     12.21   no data  --
1128.45/282.59	c  S st  3055    806542       733      1580     60450     64743    162386   3310374     12.21   no data  --
1128.85/282.60	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
1128.85/282.60	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1132.07/283.47	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 25.9M T:  3.49
1132.85/283.60	c bin-w-bin subsume rem            1 bins  time:  0.03 s
1139.64/285.39	c subs with bin:       18  lits-rem:        15  v-fix:    0  time:  7.15 s
1140.04/285.40	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    733 time:  0.03 s
1140.04/285.40	c Removed useless bin:       0  fixed:     0  props:   0.27M  time:  0.02 s
1187.17/297.20	c lits-rem:       913  cl-subs:     3792  v-elim:      0  v-fix:    0  time: 47.05 s
1187.17/297.20	c vivif2 --  cl tried     1580 cl shrink       19 lits rem         21 time: 0.00
1187.17/297.29	c vivif2 --  cl tried    58622 cl shrink     4986 lits rem       6513 time: 0.35
1188.79/297.60	c asymm  cl-useful: 0/356/1580 lits-rem:0 time: 1.26
1188.79/297.61	c calculated reachability. Time: 0.00
1188.79/297.61	c  N dy  3055    806542       733      1580     59115     58619    159580   3178856     12.21   no data  --
1221.53/305.87	c  N dy  3119    826616       732      1580     59133     41566    159580   1849000     12.19     18.11  --
1251.09/313.22	c  N dy  3199    846727       732      1580     59141     60936    159580   3157591     12.19     12.84  --
1285.86/321.97	c  N dy  3272    867179       732      1580     59150     42732    159580   1917279     12.19     12.85  --
1313.40/328.87	c  N dy  3318    887236       732      1580     59163     62088    159580   3142150     12.16     17.85  --
1349.75/337.91	c  N dy  3386    907392       732      1580     59178     42298    159580   1769393     12.16     12.89  --
1362.54/341.16	c Finding binary XORs  T:     0.00 s  found:       0
1376.92/344.71	c  N dy  3461    927508       732      1580     58895     61325    159006   3047386     12.16     13.14  --
1414.87/354.26	c  N dy  3534    947553       732      1580     58910     40446    159006   1585780     12.15     13.00  --
1440.43/360.68	c  N dy  3595    968009       731      1580     58932     60062    159006   2872889     12.13     12.89  --
1476.39/369.66	c  N dy  3647    988101       731      1580     58946     79324    159000   4092827     12.11     15.13  --
1505.57/376.99	c  N dy  3727   1008169       731      1580     58961     57452    159000   2555058     12.11     12.76  --
1541.10/385.87	c  N dy  3787   1030524       731      1580     58975     78789    159000   3866388     12.09     12.95  --
1570.26/393.11	c  N dy  3830   1051075       730      1580     58999     56348    159000   2349762     12.06     12.74  --
1600.21/400.68	c  N dy  3887   1071120       729      1580     59022     75532    159000   3473722     12.04     12.67  --
1601.41/400.97	c  F st  3889   1071880       729      1580     59022     76267    159000   3525981     12.04      9.80  --
1629.38/407.95	c  N dy  3948   1091515       728      1580     58153     48525    157302   2104117     12.04     12.74  --
1658.54/415.29	c  N dy  4003   1112142       728      1580     58161     68346    157302   3273719     12.02     12.75  --
1695.29/424.43	c  N dy  4080   1132575       728      1580     58169     45669    157302   1776412     12.03     12.84  --
1722.45/431.28	c  N dy  4134   1152578       728      1580     58178     64834    157302   2892606     12.01     17.71  --
1759.21/440.46	c  N dy  4202   1172621       728      1580     58190     84014    157302   3950544     12.00     12.76  --
1789.97/448.15	c  N dy  4263   1192802       728      1580     58202     59109    157302   2469670     11.98     12.62  --
1817.92/455.18	c  S st  4328   1209813       727      1580     58222     75400    157302   3415296     11.98     10.13  --
1819.12/455.46	c  S st  4328   1210314       727      1580     58222     75897    157302   3450203     11.98   no data  --
1819.12/455.47	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
1819.12/455.47	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1823.92/456.63	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      3 BRemL:      0 BRemN:      0 P: 28.4M T:  4.60
1824.32/456.77	c bin-w-bin subsume rem            1 bins  time:  0.03 s
1831.91/458.67	c subs with bin:      138  lits-rem:       477  v-fix:    0  time:  7.58 s
1831.91/458.67	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    727 time:  0.02 s
1831.91/458.68	c Removed useless bin:       0  fixed:     0  props:   0.27M  time:  0.02 s
1866.26/467.27	c lits-rem:       651  cl-subs:     3679  v-elim:      0  v-fix:    0  time: 34.30 s
1866.26/467.27	c vivif2 --  cl tried     1564 cl shrink       33 lits rem         39 time: 0.00
1866.65/467.37	c vivif2 --  cl tried    65110 cl shrink     6395 lits rem      10374 time: 0.40
1867.86/467.69	c asymm  cl-useful: 0/341/1564 lits-rem:0 time: 1.26
1867.86/467.69	c calculated reachability. Time: 0.00
1867.86/467.69	c  N dy  4328   1210314       727      1564     57657     65104    155973   3223768     11.98   no data  --
1909.01/477.94	c  N dy  4391   1231464       725      1564     57681     43364    155972   1669954     11.96     12.72  --
1933.77/484.10	c  N dy  4428   1251694       725      1564     57690     62765    155972   2803502     11.94     12.84  --
1968.93/492.91	c  N dy  4493   1272235       724      1564     57708     82482    155972   4006167     11.93     12.60  --
2000.48/500.84	c  N dy  4549   1292236       724      1564     57719     56718    155972   2374525     11.91     15.41  --
2032.45/508.88	c  N dy  4626   1312381       724      1564     57729     76069    155972   3618905     11.91     12.55  --
2071.59/518.70	c  N dy  4686   1332587       724      1564     57742     48442    155972   1814026     11.91     12.73  --
2097.55/525.10	c  N dy  4750   1352667       724      1564     57748     67785    155972   2979715     11.90     12.71  --
2137.50/535.15	c  N dy  4839   1373407       723      1564     57757     87680    155972   4165000     11.90     12.55  --
2173.85/544.24	c  N dy  4953   1394538       723      1564     57763     59600    155972   2478944     11.93     12.63  --
2206.60/552.42	c  N dy  5006   1414879       723      1564     57770     79068    155972   3677087     11.92     12.69  --
2250.55/563.41	c  N dy  5104   1434920       723      1564     57782     98275    155972   4868862     11.94     12.73  --
2277.32/570.20	c  N dy  5193   1455049       723      1564     57787     68015    155972   2855508     11.94     12.80  --
2312.06/578.88	c  N dy  5273   1475091       722      1564     57792     87213    155972   4013614     11.95     12.63  --
2352.81/589.10	c  N dy  5358   1495337       721      1564     57811     55837    155972   2072432     11.94     12.60  --
2383.17/596.65	c  N dy  5457   1515374       721      1564     57814     75142    155972   3420175     11.97     16.61  --
2423.11/606.64	c  N dy  5549   1535477       721      1564     57815     94528    155972   4763563     11.99     12.74  --
2460.26/615.90	c  N dy  5658   1555558       721      1564     57825     62032    155972   2383673     12.03     12.74  --
2491.83/623.88	c  N dy  5768   1575616       721      1564     57828     81380    155972   3766867     12.07     13.16  --
2537.36/635.21	c  N dy  5890   1596375       721      1564     57835    101384    155972   5143006     12.11     12.80  --
2572.11/643.96	c  N dy  6019   1616447       721      1564     57837     67838    155972   2752418     12.16     26.41  --
2610.46/653.56	c  N dy  6124   1636487       721      1564     57842     87170    155972   4120175     12.19     12.84  --
2660.78/666.16	c  N dy  6235   1656810       721      1564     57847    106830    155972   5468240     12.22     13.24  --
2690.45/673.63	c  N dy  6338   1677383       721      1564     57850     72719    155972   2973415     12.24     12.93  --
2706.24/677.63	c Finding binary XORs  T:     0.00 s  found:       0
2726.40/682.73	c  N dy  6423   1697425       721      1532     56224     80881    152318   4056430     12.25     12.99  --
2755.06/689.90	c  S st  6491   1710314       721      1532     56235     93309    152318   4843629     12.26     10.96  --
2756.26/690.23	c  S st  6491   1710819       721      1532     56235     93811    152318   4879646     12.26   no data  --
2756.26/690.25	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
2756.26/690.25	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2761.84/691.62	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      7 BRemN:      0 P: 34.4M T:  5.49
2762.24/691.77	c bin-w-bin subsume rem            0 bins  time:  0.03 s
2770.25/693.73	c subs with bin:        0  lits-rem:       171  v-fix:    0  time:  7.83 s
2770.25/693.74	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    721 time:  0.03 s
2770.25/693.75	c Removed useless bin:       0  fixed:     0  props:   0.26M  time:  0.02 s
2965.18/742.59	c lits-rem:      3054  cl-subs:     6636  v-elim:      0  v-fix:    0  time: 194.89 s
2965.18/742.60	c vivif2 --  cl tried     1532 cl shrink       56 lits rem        128 time: 0.00
2965.98/742.78	c vivif2 --  cl tried    87175 cl shrink    13127 lits rem      22445 time: 0.75
2967.59/743.13	c asymm  cl-useful: 0/321/1531 lits-rem:0 time: 1.38
2967.59/743.13	c calculated reachability. Time: 0.00
2967.59/743.13	c  N dy  6491   1710819       721      1531     56234     87170    152182   4706876     12.26   no data  --
3012.71/754.44	c  N dy  6589   1732437       717      1531     56309     58659    152182   2477323     12.27     12.93  --
3047.46/763.19	c  N dy  6667   1752923       717      1531     56319     78428    152182   3902248     12.28     13.20  --
3094.21/774.84	c  N dy  6739   1773168       717      1531     56329     97894    152182   5210429     12.28     13.02  --
3137.75/785.74	c  N dy  6826   1793417       717      1531     56335     64370    152182   2735050     12.30     12.95  --
3178.10/795.88	c  N dy  6937   1813864       717      1531     56339     84178    152182   4075314     12.33     13.00  --
3224.43/807.40	c  N dy  7036   1834179       717      1531     56353    103753    152182   5433760     12.35     13.02  --
3262.40/816.96	c  N dy  7130   1854208       717      1531     56362     67628    152182   2833542     12.37     13.10  --
3298.34/825.96	c  N dy  7211   1874251       717      1531     56370     86916    152182   4146303     12.38     17.60  --
3343.87/837.36	c  N dy  7293   1894682       717      1531     56380    106565    152182   5326203     12.38     13.07  --
3382.62/847.07	c  N dy  7404   1914870       717      1531     56391     68974    152182   2890175     12.41     13.10  --
3419.78/856.30	c  N dy  7499   1934886       717      1531     56405     88245    152182   4099180     12.42     28.66  --
3468.11/868.47	c  N dy  7619   1954971       716      1531     56416    107555    152182   5444959     12.46     15.63  --
3513.25/879.72	c  N dy  7760   1975007       716      1531     56425     68541    152182   2790351     12.50     17.43  --
3546.41/888.02	c  N dy  7804   1995716       716      1531     56436     88436    152182   3925270     12.49     13.38  --
3599.53/901.36	c  N dy  7902   2018437       716      1531     56441    110366    152182   5445611     12.50     13.20  --
3647.47/913.34	c  N dy  8014   2039145       716      1531     56450     70737    152182   2965330     12.53     13.26  --
3694.20/925.00	c  N dy  8135   2059163       716      1531     56460     90098    152182   4338553     12.56     13.88  --
3758.53/941.17	c  N dy  8257   2079181       716      1531     56461    109495    152182   5723203     12.59     16.38  --
3814.85/955.29	c  N dy  8384   2099272       716      1531     56472     68137    152182   2752310     12.63     19.25  --
3855.21/965.31	c  N dy  8500   2119336       715      1531     56484     87493    152182   3964092     12.65     23.45  --
3900.33/976.65	c  N dy  8568   2139606       715      1531     56491    106975    152182   5017182     12.65     13.50  --
3951.06/989.32	c  N dy  8679   2159614       715      1531     56497     64582    152182   2366223     12.68     26.76  --
3984.62/997.73	c  N dy  8806   2179692       715      1531     56505     84079    152182   3692102     12.72     20.27  --
4023.37/1007.42	c  N dy  8881   2199875       715      1531     56515    103500    152182   4839871     12.73     13.50  --
4047.73/1013.58	c  S st  8935   2210820       715      1531     56530    114021    152182   5590607     12.74     11.45  --
4049.34/1013.94	c  S st  8935   2211322       715      1531     56530    114520    152182   5631766     12.74   no data  --
4049.34/1013.95	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
4049.34/1013.95	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4055.72/1015.58	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      1 BRemL:      0 BRemN:      0 P: 39.5M T:  6.50
4056.52/1015.79	c bin-w-bin subsume rem            4 bins  time:  0.03 s
4065.31/1017.97	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  8.69 s
4065.31/1017.98	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    715 time:  0.02 s
4065.31/1017.98	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.02 s
4297.80/1076.12	c lits-rem:      3278  cl-subs:     6148  v-elim:      0  v-fix:    0  time: 231.97 s
4297.80/1076.12	c vivif2 --  cl tried     1516 cl shrink       44 lits rem         58 time: 0.00
4298.60/1076.35	c vivif2 --  cl tried   101640 cl shrink    14768 lits rem      23163 time: 0.91
4300.19/1076.79	c asymm  cl-useful: 0/374/1516 lits-rem:0 time: 1.77
4300.59/1076.80	c calculated reachability. Time: 0.00
4300.59/1076.80	c  N dy  8935   2211322       715      1516     54972    101636    148871   5350585     12.74   no data  --
4350.53/1089.30	c  N dy  8996   2231343       713      1516     55012     61674    148871   2395047     12.73     13.57  --
4384.48/1097.82	c  N dy  9063   2251376       713      1516     55018     80983    148871   3700419     12.73     13.55  --
4428.83/1108.95	c  N dy  9147   2271400       713      1516     55031    100324    148870   4992956     12.74     16.88  --
4480.35/1121.81	c  N dy  9205   2292181       713      1516     55040    120289    148870   6326654     12.73     13.57  --
4513.52/1130.13	c Finding binary XORs  T:     0.01 s  found:       0
4517.51/1131.14	c  N dy  9282   2312293       712      1499     54269     73180    147062   3192094     12.73     13.52  --
4558.27/1141.32	c  N dy  9354   2332395       712      1499     54272     92519    147062   4438099     12.73     13.43  --
4609.39/1154.13	c  N dy  9440   2352577       712      1499     54284    111948    147062   5639637     12.73     13.67  --
4656.92/1166.07	c  N dy  9554   2373493       711      1499     54304     70720    147062   2932319     12.75     13.79  --
4696.86/1176.01	c  N dy  9653   2393932       710      1499     54307     90375    147062   4260682     12.77     13.61  --
4745.60/1188.23	c  N dy  9746   2414648       710      1499     54311    110387    147062   5663704     12.77     13.58  --

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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-3262905-1304134069/watcher-3262905-1304134069 -o /tmp/evaluation-result-3262905-1304134069/solver-3262905-1304134069 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3262905-1304134069.cnf 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 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: 8.21 7.74 6.96 5/180 8034
/proc/meminfo: memFree=27646464/32950928 swapFree=67111356/67111528
[pid=8034] ppid=8032 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/8034/stat : 8034 (strangenight1-m) R 8032 8034 7283 0 -1 4202496 413 0 0 0 0 0 0 0 24 0 4 0 603637630 52465664 352 33554432000 4194304 4650419 140736746747904 18446744073709551615 47706357147570 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/8034/statm: 12809 352 303 112 0 7774 0
[pid=8034/tid=8035] ppid=8032 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/8034/task/8035/stat : 8035 (strangenight1-m) R 8032 8034 7283 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 603637631 52465664 352 33554432000 4194304 4650419 140736746747904 18446744073709551615 231895546865 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8034/tid=8036] ppid=8032 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/8034/task/8036/stat : 8036 (strangenight1-m) R 8032 8034 7283 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 603637631 52465664 352 33554432000 4194304 4650419 140736746747904 18446744073709551615 231895546865 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8034/tid=8037] ppid=8032 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/8034/task/8037/stat : 8037 (strangenight1-m) R 8032 8034 7283 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 603637631 52465664 352 33554432000 4194304 4650419 140736746747904 18446744073709551615 47706357147564 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.0540759 s]
/proc/loadavg: 8.21 7.74 6.96 5/180 8034
/proc/meminfo: memFree=27646464/32950928 swapFree=67111356/67111528
[pid=8034] ppid=8032 vsize=283508 CPUtime=0.19 cores=1,3,5,7
/proc/8034/stat : 8034 (strangenight1-m) R 8032 8034 7283 0 -1 4202496 3617 0 0 0 18 1 0 0 18 0 4 0 603637630 290312192 3526 33554432000 4194304 4650419 140736746747904 18446744073709551615 231895151649 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/8034/statm: 70877 3551 383 112 0 65842 0
[pid=8034/tid=8035] ppid=8032 vsize=283508 CPUtime=0.04 cores=1,3,5,7
/proc/8034/task/8035/stat : 8035 (strangenight1-m) R 8032 8034 7283 0 -1 4202560 790 0 0 0 4 0 0 0 25 0 4 0 603637631 290312192 3556 33554432000 4194304 4650419 140736746747904 18446744073709551615 231895533751 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8034/tid=8036] ppid=8032 vsize=283508 CPUtime=0.04 cores=1,3,5,7
/proc/8034/task/8036/stat : 8036 (strangenight1-m) D 8032 8034 7283 0 -1 4202560 844 0 0 0 4 0 0 0 18 0 4 0 603637631 290312192 3573 33554432000 4194304 4650419 140736746747904 18446744073709551615 231895151649 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8034/tid=8037] ppid=8032 vsize=283508 CPUtime=0.04 cores=1,3,5,7
/proc/8034/task/8037/stat : 8037 (strangenight1-m) R 8032 8034 7283 0 -1 4202560 746 0 0 0 4 0 0 0 18 0 4 0 603637631 290312192 3609 33554432000 4194304 4650419 140736746747904 18446744073709551615 4363871 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 283508

[startup+0.832647 s]
/proc/loadavg: 8.21 7.74 6.96 5/180 8034
/proc/meminfo: memFree=27646464/32950928 swapFree=67111356/67111528
[pid=8034] ppid=8032 vsize=288048 CPUtime=3.3 cores=1,3,5,7
/proc/8034/stat : 8034 (strangenight1-m) R 8032 8034 7283 0 -1 4202496 9200 0 0 0 327 3 0 0 19 0 4 0 603637630 294961152 6998 33554432000 4194304 4650419 140736746747904 18446744073709551615 4365337 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/8034/statm: 72012 6998 392 112 0 66977 0
[pid=8034/tid=8035] ppid=8032 vsize=288048 CPUtime=0.82 cores=1,3,5,7
/proc/8034/task/8035/stat : 8035 (strangenight1-m) R 8032 8034 7283 0 -1 4202560 2098 0 0 0 81 1 0 0 25 0 4 0 603637631 294961152 6998 33554432000 4194304 4650419 140736746747904 18446744073709551615 4306746 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8034/tid=8036] ppid=8032 vsize=288048 CPUtime=0.81 cores=1,3,5,7
/proc/8034/task/8036/stat : 8036 (strangenight1-m) R 8032 8034 7283 0 -1 4202560 2246 0 0 0 81 0 0 0 19 0 4 0 603637631 294961152 6998 33554432000 4194304 4650419 140736746747904 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8034/tid=8037] ppid=8032 vsize=288048 CPUtime=0.81 cores=1,3,5,7
/proc/8034/task/8037/stat : 8037 (strangenight1-m) R 8032 8034 7283 0 -1 4202560 2124 0 0 0 81 0 0 0 19 0 4 0 603637631 294961152 6998 33554432000 4194304 4650419 140736746747904 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3.3
Current children cumulated vsize (KiB) 288048

[startup+0.932629 s]
/proc/loadavg: 8.21 7.74 6.96 5/180 8034
/proc/meminfo: memFree=27646464/32950928 swapFree=67111356/67111528
[pid=8034] ppid=8032 vsize=288188 CPUtime=3.7 cores=1,3,5,7
/proc/8034/stat : 8034 (strangenight1-m) R 8032 8034 7283 0 -1 4202496 9681 0 0 0 367 3 0 0 19 0 4 0 603637630 295104512 7479 33554432000 4194304 4650419 140736746747904 18446744073709551615 4365348 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/8034/statm: 72047 7480 392 112 0 67012 0
[pid=8034/tid=8035] ppid=8032 vsize=288188 CPUtime=0.92 cores=1,3,5,7
/proc/8034/task/8035/stat : 8035 (strangenight1-m) R 8032 8034 7283 0 -1 4202560 2225 0 0 0 91 1 0 0 25 0 4 0 603637631 295104512 7480 33554432000 4194304 4650419 140736746747904 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8034/tid=8036] ppid=8032 vsize=288188 CPUtime=0.91 cores=1,3,5,7
/proc/8034/task/8036/stat : 8036 (strangenight1-m) R 8032 8034 7283 0 -1 4202560 2371 0 0 0 91 0 0 0 19 0 4 0 603637631 295104512 7480 33554432000 4194304 4650419 140736746747904 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8034/tid=8037] ppid=8032 vsize=288188 CPUtime=0.91 cores=1,3,5,7
/proc/8034/task/8037/stat : 8037 (strangenight1-m) R 8032 8034 7283 0 -1 4202560 2230 0 0 0 91 0 0 0 19 0 4 0 603637631 295104512 7480 33554432000 4194304 4650419 140736746747904 18446744073709551615 4514716 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3.7
Current children cumulated vsize (KiB) 288188

[startup+1.03261 s]
/proc/loadavg: 8.21 7.74 6.96 5/180 8034
/proc/meminfo: memFree=27646464/32950928 swapFree=67111356/67111528
[pid=8034] ppid=8032 vsize=288308 CPUtime=4.09 cores=1,3,5,7
/proc/8034/stat : 8034 (strangenight1-m) R 8032 8034 7283 0 -1 4202496 10304 0 0 0 406 3 0 0 19 0 4 0 603637630 295227392 7575 33554432000 4194304 4650419 140736746747904 18446744073709551615 4360479 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/8034/statm: 72077 7575 392 112 0 67042 0
[pid=8034/tid=8035] ppid=8032 vsize=288308 CPUtime=1.02 cores=1,3,5,7
/proc/8034/task/8035/stat : 8035 (strangenight1-m) R 8032 8034 7283 0 -1 4202560 2329 0 0 0 101 1 0 0 25 0 4 0 603637631 295227392 7575 33554432000 4194304 4650419 140736746747904 18446744073709551615 4365330 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8034/tid=8036] ppid=8032 vsize=288308 CPUtime=1.01 cores=1,3,5,7
/proc/8034/task/8036/stat : 8036 (strangenight1-m) R 8032 8034 7283 0 -1 4202560 2679 0 0 0 101 0 0 0 19 0 4 0 603637631 295227392 7576 33554432000 4194304 4650419 140736746747904 18446744073709551615 4363423 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8034/tid=8037] ppid=8032 vsize=288308 CPUtime=1.01 cores=1,3,5,7
/proc/8034/task/8037/stat : 8037 (strangenight1-m) R 8032 8034 7283 0 -1 4202560 2330 0 0 0 101 0 0 0 19 0 4 0 603637631 295227392 7576 33554432000 4194304 4650419 140736746747904 18446744073709551615 4334278 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4.09
Current children cumulated vsize (KiB) 288308

[startup+1.50052 s]
/proc/loadavg: 8.21 7.74 6.96 5/180 8034
/proc/meminfo: memFree=27646464/32950928 swapFree=67111356/67111528
[pid=8034] ppid=8032 vsize=290172 CPUtime=5.97 cores=1,3,5,7
/proc/8034/stat : 8034 (strangenight1-m) R 8032 8034 7283 0 -1 4202496 13098 0 0 0 593 4 0 0 20 0 4 0 603637630 297136128 7665 33554432000 4194304 4650419 140736746747904 18446744073709551615 4520364 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/8034/statm: 72543 7665 392 112 0 67508 0
[pid=8034/tid=8035] ppid=8032 vsize=290172 CPUtime=1.48 cores=1,3,5,7
/proc/8034/task/8035/stat : 8035 (strangenight1-m) R 8032 8034 7283 0 -1 4202560 3068 0 0 0 147 1 0 0 25 0 4 0 603637631 297136128 7665 33554432000 4194304 4650419 140736746747904 18446744073709551615 4367232 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8034/tid=8036] ppid=8032 vsize=290172 CPUtime=1.48 cores=1,3,5,7
/proc/8034/task/8036/stat : 8036 (strangenight1-m) R 8032 8034 7283 0 -1 4202560 3265 0 0 0 148 0 0 0 20 0 4 0 603637631 297136128 7665 33554432000 4194304 4650419 140736746747904 18446744073709551615 4314688 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8034/tid=8037] ppid=8032 vsize=290172 CPUtime=1.48 cores=1,3,5,7
/proc/8034/task/8037/stat : 8037 (strangenight1-m) R 8032 8034 7283 0 -1 4202560 2972 0 0 0 148 0 0 0 20 0 4 0 603637631 297136128 7665 33554432000 4194304 4650419 140736746747904 18446744073709551615 4363762 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 290172

[startup+3.10023 s]
/proc/loadavg: 8.20 7.74 6.97 9/184 8038
/proc/meminfo: memFree=27611244/32950928 swapFree=67111356/67111528
[pid=8034] ppid=8032 vsize=282884 CPUtime=12.35 cores=1,3,5,7
/proc/8034/stat : 8034 (strangenight1-m) R 8032 8034 7283 0 -1 4202496 20140 0 0 0 1230 5 0 0 25 0 4 0 603637630 289673216 8950 33554432000 4194304 4650419 140736746747904 18446744073709551615 4364751 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/8034/statm: 70721 8950 393 112 0 65686 0
[pid=8034/tid=8035] ppid=8032 vsize=282884 CPUtime=3.08 cores=1,3,5,7
/proc/8034/task/8035/stat : 8035 (strangenight1-m) R 8032 8034 7283 0 -1 4202560 5115 0 0 0 307 1 0 0 25 0 4 0 603637631 289673216 8950 33554432000 4194304 4650419 140736746747904 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8034/tid=8036] ppid=8032 vsize=282884 CPUtime=3.07 cores=1,3,5,7
/proc/8034/task/8036/stat : 8036 (strangenight1-m) R 8032 8034 7283 0 -1 4202560 4699 0 0 0 307 0 0 0 25 0 4 0 603637631 289673216 8950 33554432000 4194304 4650419 140736746747904 18446744073709551615 4349707 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8034/tid=8037] ppid=8032 vsize=282884 CPUtime=3.09 cores=1,3,5,7
/proc/8034/task/8037/stat : 8037 (strangenight1-m) R 8032 8034 7283 0 -1 4202560 4768 0 0 0 308 1 0 0 25 0 4 0 603637631 289673216 8950 33554432000 4194304 4650419 140736746747904 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 282884

[startup+6.30063 s]
/proc/loadavg: 8.18 7.74 6.97 9/184 8038
/proc/meminfo: memFree=27546764/32950928 swapFree=67111356/67111528
[pid=8034] ppid=8032 vsize=289124 CPUtime=25.14 cores=1,3,5,7
/proc/8034/stat : 8034 (strangenight1-m) R 8032 8034 7283 0 -1 4202496 37468 0 0 0 2506 8 0 0 25 0 4 0 603637630 296062976 22793 33554432000 4194304 4650419 140736746747904 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/8034/statm: 72281 22793 394 112 0 67246 0
[pid=8034/tid=8035] ppid=8032 vsize=289124 CPUtime=6.28 cores=1,3,5,7
/proc/8034/task/8035/stat : 8035 (strangenight1-m) R 8032 8034 7283 0 -1 4202560 9587 0 0 0 626 2 0 0 25 0 4 0 603637631 296062976 22793 33554432000 4194304 4650419 140736746747904 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8034/tid=8036] ppid=8032 vsize=289124 CPUtime=6.26 cores=1,3,5,7
/proc/8034/task/8036/stat : 8036 (strangenight1-m) R 8032 8034 7283 0 -1 4202560 7808 0 0 0 625 1 0 0 25 0 4 0 603637631 296062976 22793 33554432000 4194304 4650419 140736746747904 18446744073709551615 4439371 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8034/tid=8037] ppid=8032 vsize=289124 CPUtime=6.28 cores=1,3,5,7
/proc/8034/task/8037/stat : 8037 (strangenight1-m) R 8032 8034 7283 0 -1 4202560 9292 0 0 0 627 1 0 0 25 0 4 0 603637631 296062976 22793 33554432000 4194304 4650419 140736746747904 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 289124

[startup+12.7004 s]
/proc/loadavg: 8.16 7.75 6.98 9/184 8038
/proc/meminfo: memFree=27518388/32950928 swapFree=67111356/67111528
[pid=8034] ppid=8032 vsize=289148 CPUtime=50.73 cores=1,3,5,7
/proc/8034/stat : 8034 (strangenight1-m) R 8032 8034 7283 0 -1 4202496 48522 0 0 0 5062 11 0 0 25 0 4 0 603637630 296087552 28184 33554432000 4194304 4650419 140736746747904 18446744073709551615 4436163 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/8034/statm: 72287 28184 394 112 0 67252 0
[pid=8034/tid=8035] ppid=8032 vsize=289148 CPUtime=12.69 cores=1,3,5,7
/proc/8034/task/8035/stat : 8035 (strangenight1-m) R 8032 8034 7283 0 -1 4202560 11771 0 0 0 1266 3 0 0 25 0 4 0 603637631 296087552 28185 33554432000 4194304 4650419 140736746747904 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8034/tid=8036] ppid=8032 vsize=289148 CPUtime=12.62 cores=1,3,5,7
/proc/8034/task/8036/stat : 8036 (strangenight1-m) R 8032 8034 7283 0 -1 4202560 10529 0 0 0 1261 1 0 0 25 0 4 0 603637631 296087552 28185 33554432000 4194304 4650419 140736746747904 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8034/tid=8037] ppid=8032 vsize=289148 CPUtime=12.69 cores=1,3,5,7
/proc/8034/task/8037/stat : 8037 (strangenight1-m) R 8032 8034 7283 0 -1 4202560 13031 0 0 0 1267 2 0 0 25 0 4 0 603637631 296087552 28185 33554432000 4194304 4650419 140736746747904 18446744073709551615 4365348 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.73
Current children cumulated vsize (KiB) 289148

[startup+25.501 s]
/proc/loadavg: 8.14 7.76 6.99 9/184 8039
/proc/meminfo: memFree=27457620/32950928 swapFree=67111356/67111528
[pid=8034] ppid=8032 vsize=321796 CPUtime=101.84 cores=1,3,5,7
/proc/8034/stat : 8034 (strangenight1-m) R 8032 8034 7283 0 -1 4202496 69948 0 0 0 10169 15 0 0 25 0 4 0 603637630 329519104 41579 33554432000 4194304 4650419 140736746747904 18446744073709551615 4366828 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/8034/statm: 80449 41579 394 112 0 75414 0
[pid=8034/tid=8035] ppid=8032 vsize=321796 CPUtime=25.48 cores=1,3,5,7
/proc/8034/task/8035/stat : 8035 (strangenight1-m) R 8032 8034 7283 0 -1 4202560 17707 0 0 0 2544 4 0 0 25 0 4 0 603637631 329519104 41579 33554432000 4194304 4650419 140736746747904 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8034/tid=8036] ppid=8032 vsize=321796 CPUtime=25.36 cores=1,3,5,7
/proc/8034/task/8036/stat : 8036 (strangenight1-m) R 8032 8034 7283 0 -1 4202560 15701 0 0 0 2533 3 0 0 25 0 4 0 603637631 329519104 41579 33554432000 4194304 4650419 140736746747904 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8034/tid=8037] ppid=8032 vsize=321796 CPUtime=25.49 cores=1,3,5,7
/proc/8034/task/8037/stat : 8037 (strangenight1-m) R 8032 8034 7283 0 -1 4202560 18967 0 0 0 2546 3 0 0 25 0 4 0 603637631 329519104 41579 33554432000 4194304 4650419 140736746747904 18446744073709551615 4366896 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.84
Current children cumulated vsize (KiB) 321796

[startup+51.1002 s]
/proc/loadavg: 8.17 7.79 7.02 9/184 8039
/proc/meminfo: memFree=27420660/32950928 swapFree=67111356/67111528
[pid=8034] ppid=8032 vsize=368256 CPUtime=204.1 cores=1,3,5,7
/proc/8034/stat : 8034 (strangenight1-m) R 8032 8034 7283 0 -1 4202496 112253 0 0 0 20385 25 0 0 25 0 4 0 603637630 377094144 57318 33554432000 4194304 4650419 140736746747904 18446744073709551615 4365346 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/8034/statm: 92064 57318 394 112 0 87029 0
[pid=8034/tid=8035] ppid=8032 vsize=368256 CPUtime=51.08 cores=1,3,5,7
/proc/8034/task/8035/stat : 8035 (strangenight1-m) R 8032 8034 7283 0 -1 4202560 28050 0 0 0 5102 6 0 0 25 0 4 0 603637631 377094144 57318 33554432000 4194304 4650419 140736746747904 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8034/tid=8036] ppid=8032 vsize=368256 CPUtime=50.82 cores=1,3,5,7
/proc/8034/task/8036/stat : 8036 (strangenight1-m) R 8032 8034 7283 0 -1 4202560 25092 0 0 0 5077 5 0 0 25 0 4 0 603637631 377094144 57318 33554432000 4194304 4650419 140736746747904 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8034/tid=8037] ppid=8032 vsize=368256 CPUtime=51.09 cores=1,3,5,7
/proc/8034/task/8037/stat : 8037 (strangenight1-m) R 8032 8034 7283 0 -1 4202560 28536 0 0 0 5103 6 0 0 25 0 4 0 603637631 377094144 57318 33554432000 4194304 4650419 140736746747904 18446744073709551615 4365330 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 204.1
Current children cumulated vsize (KiB) 368256

[startup+102.301 s]
/proc/loadavg: 8.12 7.84 7.08 9/184 8041
/proc/meminfo: memFree=27345600/32950928 swapFree=67111356/67111528
[pid=8034] ppid=8032 vsize=413772 CPUtime=408.62 cores=1,3,5,7
/proc/8034/stat : 8034 (strangenight1-m) R 8032 8034 7283 0 -1 4202496 184291 0 0 0 40818 44 0 0 25 0 4 0 603637630 423702528 70080 33554432000 4194304 4650419 140736746747904 18446744073709551615 4365357 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/8034/statm: 103443 70080 398 112 0 98408 0
[pid=8034/tid=8035] ppid=8032 vsize=413772 CPUtime=102.28 cores=1,3,5,7
/proc/8034/task/8035/stat : 8035 (strangenight1-m) R 8032 8034 7283 0 -1 4202560 43283 0 0 0 10217 11 0 0 25 0 4 0 603637631 423702528 70080 33554432000 4194304 4650419 140736746747904 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8034/tid=8036] ppid=8032 vsize=413772 CPUtime=101.73 cores=1,3,5,7
/proc/8034/task/8036/stat : 8036 (strangenight1-m) R 8032 8034 7283 0 -1 4202560 40965 0 0 0 10163 10 0 0 25 0 4 0 603637631 423702528 70080 33554432000 4194304 4650419 140736746747904 18446744073709551615 4365325 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8034/tid=8037] ppid=8032 vsize=413772 CPUtime=102.28 cores=1,3,5,7
/proc/8034/task/8037/stat : 8037 (strangenight1-m) R 8032 8034 7283 0 -1 4202560 50105 0 0 0 10218 10 0 0 25 0 4 0 603637631 423702528 70080 33554432000 4194304 4650419 140736746747904 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 408.62
Current children cumulated vsize (KiB) 413772

[startup+162.3 s]

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

[pid=8034] ppid=8032 vsize=871100 CPUtime=2565.72 cores=1,3,5,7
/proc/8034/stat : 8034 (strangenight1-m) R 8032 8034 7283 0 -1 4202496 744207 0 0 0 256358 214 0 0 25 0 4 0 603637630 892006400 133295 33554432000 4194304 4650419 140736746747904 18446744073709551615 4366816 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/8034/statm: 217775 133295 403 112 0 212740 0
[pid=8034/tid=8035] ppid=8032 vsize=871100 CPUtime=642.29 cores=1,3,5,7
/proc/8034/task/8035/stat : 8035 (strangenight1-m) R 8032 8034 7283 0 -1 4202560 219415 0 0 0 64177 52 0 0 25 0 4 0 603637631 892006400 133295 33554432000 4194304 4650419 140736746747904 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8034/tid=8036] ppid=8032 vsize=871100 CPUtime=638.81 cores=1,3,5,7
/proc/8034/task/8036/stat : 8036 (strangenight1-m) R 8032 8034 7283 0 -1 4202560 173835 0 0 0 63822 59 0 0 25 0 4 0 603637631 892006400 133295 33554432000 4194304 4650419 140736746747904 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8034/tid=8037] ppid=8032 vsize=871100 CPUtime=642.31 cores=1,3,5,7
/proc/8034/task/8037/stat : 8037 (strangenight1-m) R 8032 8034 7283 0 -1 4202560 139193 0 0 0 64189 42 0 0 25 0 4 0 603637631 892006400 133295 33554432000 4194304 4650419 140736746747904 18446744073709551615 4438661 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2565.72
Current children cumulated vsize (KiB) 871100

[startup+702.3 s]
/proc/loadavg: 8.21 8.07 7.55 9/184 8091
/proc/meminfo: memFree=28580392/32950928 swapFree=67111356/67111528
[pid=8034] ppid=8032 vsize=974224 CPUtime=2804.59 cores=1,3,5,7
/proc/8034/stat : 8034 (strangenight1-m) R 8032 8034 7283 0 -1 4202496 792247 0 0 0 280227 232 0 0 25 0 4 0 603637630 997605376 146118 33554432000 4194304 4650419 140736746747904 18446744073709551615 4439371 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/8034/statm: 243556 146118 395 112 0 238521 0
[pid=8034/tid=8035] ppid=8032 vsize=974224 CPUtime=702.3 cores=1,3,5,7
/proc/8034/task/8035/stat : 8035 (strangenight1-m) R 8032 8034 7283 0 -1 4202560 231051 0 0 0 70173 57 0 0 25 0 4 0 603637631 997605376 146118 33554432000 4194304 4650419 140736746747904 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8034/tid=8036] ppid=8032 vsize=974224 CPUtime=697.67 cores=1,3,5,7
/proc/8034/task/8036/stat : 8036 (strangenight1-m) R 8032 8034 7283 0 -1 4202560 184887 0 0 0 69702 65 0 0 25 0 4 0 603637631 997605376 146118 33554432000 4194304 4650419 140736746747904 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8034/tid=8037] ppid=8032 vsize=974224 CPUtime=702.3 cores=1,3,5,7
/proc/8034/task/8037/stat : 8037 (strangenight1-m) R 8032 8034 7283 0 -1 4202560 148771 0 0 0 70185 45 0 0 25 0 4 0 603637631 997605376 146118 33554432000 4194304 4650419 140736746747904 18446744073709551615 4365280 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2804.59
Current children cumulated vsize (KiB) 974224

[startup+762.301 s]
/proc/loadavg: 8.08 8.05 7.57 9/184 8092
/proc/meminfo: memFree=28524236/32950928 swapFree=67111356/67111528
[pid=8034] ppid=8032 vsize=974348 CPUtime=3044.27 cores=1,3,5,7
/proc/8034/stat : 8034 (strangenight1-m) R 8032 8034 7283 0 -1 4202496 913729 0 0 0 304167 260 0 0 25 0 4 0 603637630 997732352 146913 33554432000 4194304 4650419 140736746747904 18446744073709551615 4365192 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/8034/statm: 243587 146913 395 112 0 238552 0
[pid=8034/tid=8035] ppid=8032 vsize=974348 CPUtime=762.29 cores=1,3,5,7
/proc/8034/task/8035/stat : 8035 (strangenight1-m) R 8032 8034 7283 0 -1 4202560 242776 0 0 0 76168 61 0 0 25 0 4 0 603637631 997732352 146913 33554432000 4194304 4650419 140736746747904 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8034/tid=8036] ppid=8032 vsize=974348 CPUtime=757.35 cores=1,3,5,7
/proc/8034/task/8036/stat : 8036 (strangenight1-m) R 8032 8034 7283 0 -1 4202560 198594 0 0 0 75664 71 0 0 25 0 4 0 603637631 997732352 146913 33554432000 4194304 4650419 140736746747904 18446744073709551615 4438399 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8034/tid=8037] ppid=8032 vsize=974348 CPUtime=762.31 cores=1,3,5,7
/proc/8034/task/8037/stat : 8037 (strangenight1-m) R 8032 8034 7283 0 -1 4202560 160506 0 0 0 76179 52 0 0 25 0 4 0 603637631 997732352 146913 33554432000 4194304 4650419 140736746747904 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3044.27
Current children cumulated vsize (KiB) 974348

[startup+822.301 s]
/proc/loadavg: 8.03 8.04 7.59 9/184 8094
/proc/meminfo: memFree=28432800/32950928 swapFree=67111356/67111528
[pid=8034] ppid=8032 vsize=959036 CPUtime=3283.97 cores=1,3,5,7
/proc/8034/stat : 8034 (strangenight1-m) R 8032 8034 7283 0 -1 4202496 1065783 0 0 0 328105 292 0 0 25 0 4 0 603637630 982052864 156098 33554432000 4194304 4650419 140736746747904 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/8034/statm: 239759 156098 395 112 0 234724 0
[pid=8034/tid=8035] ppid=8032 vsize=959036 CPUtime=822.3 cores=1,3,5,7
/proc/8034/task/8035/stat : 8035 (strangenight1-m) R 8032 8034 7283 0 -1 4202560 255048 0 0 0 82164 66 0 0 25 0 4 0 603637631 982052864 156098 33554432000 4194304 4650419 140736746747904 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8034/tid=8036] ppid=8032 vsize=959036 CPUtime=817.03 cores=1,3,5,7
/proc/8034/task/8036/stat : 8036 (strangenight1-m) R 8032 8034 7283 0 -1 4202560 316255 0 0 0 81614 89 0 0 25 0 4 0 603637631 982052864 156098 33554432000 4194304 4650419 140736746747904 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8034/tid=8037] ppid=8032 vsize=959036 CPUtime=822.32 cores=1,3,5,7
/proc/8034/task/8037/stat : 8037 (strangenight1-m) R 8032 8034 7283 0 -1 4202560 170384 0 0 0 82175 57 0 0 25 0 4 0 603637631 982052864 156098 33554432000 4194304 4650419 140736746747904 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3283.97
Current children cumulated vsize (KiB) 959036

[startup+882.301 s]
/proc/loadavg: 8.01 8.03 7.62 9/184 8095
/proc/meminfo: memFree=28387344/32950928 swapFree=67111356/67111528
[pid=8034] ppid=8032 vsize=955772 CPUtime=3523.64 cores=1,3,5,7
/proc/8034/stat : 8034 (strangenight1-m) R 8032 8034 7283 0 -1 4202496 1114104 0 0 0 352057 307 0 0 25 0 4 0 603637630 978710528 158924 33554432000 4194304 4650419 140736746747904 18446744073709551615 4364838 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/8034/statm: 238943 158924 395 112 0 233908 0
[pid=8034/tid=8035] ppid=8032 vsize=955772 CPUtime=882.3 cores=1,3,5,7
/proc/8034/task/8035/stat : 8035 (strangenight1-m) R 8032 8034 7283 0 -1 4202560 267386 0 0 0 88160 70 0 0 25 0 4 0 603637631 978710528 158924 33554432000 4194304 4650419 140736746747904 18446744073709551615 4366950 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8034/tid=8036] ppid=8032 vsize=955772 CPUtime=876.7 cores=1,3,5,7
/proc/8034/task/8036/stat : 8036 (strangenight1-m) R 8032 8034 7283 0 -1 4202560 328764 0 0 0 87577 93 0 0 25 0 4 0 603637631 978710528 158924 33554432000 4194304 4650419 140736746747904 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8034/tid=8037] ppid=8032 vsize=955772 CPUtime=882.32 cores=1,3,5,7
/proc/8034/task/8037/stat : 8037 (strangenight1-m) R 8032 8034 7283 0 -1 4202560 181754 0 0 0 88171 61 0 0 25 0 4 0 603637631 978710528 158924 33554432000 4194304 4650419 140736746747904 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3523.64
Current children cumulated vsize (KiB) 955772

[startup+942.306 s]
/proc/loadavg: 8.09 8.05 7.65 9/184 8097
/proc/meminfo: memFree=28333984/32950928 swapFree=67111356/67111528
[pid=8034] ppid=8032 vsize=1040052 CPUtime=3763.34 cores=1,3,5,7
/proc/8034/stat : 8034 (strangenight1-m) R 8032 8034 7283 0 -1 4202496 1138964 0 0 0 376016 318 0 0 25 0 4 0 603637630 1065013248 167568 33554432000 4194304 4650419 140736746747904 18446744073709551615 4365321 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/8034/statm: 260013 167568 395 112 0 254978 0
[pid=8034/tid=8035] ppid=8032 vsize=1040052 CPUtime=942.3 cores=1,3,5,7
/proc/8034/task/8035/stat : 8035 (strangenight1-m) R 8032 8034 7283 0 -1 4202560 272925 0 0 0 94158 72 0 0 25 0 4 0 603637631 1065013248 167568 33554432000 4194304 4650419 140736746747904 18446744073709551615 4476297 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8034/tid=8036] ppid=8032 vsize=1040052 CPUtime=936.38 cores=1,3,5,7
/proc/8034/task/8036/stat : 8036 (strangenight1-m) R 8032 8034 7283 0 -1 4202560 331688 0 0 0 93544 94 0 0 25 0 4 0 603637631 1065013248 167568 33554432000 4194304 4650419 140736746747904 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8034/tid=8037] ppid=8032 vsize=1040052 CPUtime=942.32 cores=1,3,5,7
/proc/8034/task/8037/stat : 8037 (strangenight1-m) R 8032 8034 7283 0 -1 4202560 189253 0 0 0 94169 63 0 0 25 0 4 0 603637631 1065013248 167568 33554432000 4194304 4650419 140736746747904 18446744073709551615 4476522 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3763.34
Current children cumulated vsize (KiB) 1040052

[startup+1002.3 s]
/proc/loadavg: 8.08 8.06 7.67 9/184 8099
/proc/meminfo: memFree=28305916/32950928 swapFree=67111356/67111528
[pid=8034] ppid=8032 vsize=974660 CPUtime=4003 cores=1,3,5,7
/proc/8034/stat : 8034 (strangenight1-m) R 8032 8034 7283 0 -1 4202496 1177752 0 0 0 399966 334 0 0 25 0 4 0 603637630 998051840 177052 33554432000 4194304 4650419 140736746747904 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/8034/statm: 243665 177052 395 112 0 238630 0
[pid=8034/tid=8035] ppid=8032 vsize=974660 CPUtime=1002.3 cores=1,3,5,7
/proc/8034/task/8035/stat : 8035 (strangenight1-m) R 8032 8034 7283 0 -1 4202560 282123 0 0 0 100154 76 0 0 25 0 4 0 603637631 998051840 177052 33554432000 4194304 4650419 140736746747904 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8034/tid=8036] ppid=8032 vsize=974660 CPUtime=996.05 cores=1,3,5,7
/proc/8034/task/8036/stat : 8036 (strangenight1-m) R 8032 8034 7283 0 -1 4202560 343815 0 0 0 99505 100 0 0 25 0 4 0 603637631 998051840 177052 33554432000 4194304 4650419 140736746747904 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8034/tid=8037] ppid=8032 vsize=974660 CPUtime=1002.32 cores=1,3,5,7
/proc/8034/task/8037/stat : 8037 (strangenight1-m) R 8032 8034 7283 0 -1 4202560 194745 0 0 0 100167 65 0 0 25 0 4 0 603637631 998051840 177052 33554432000 4194304 4650419 140736746747904 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4003
Current children cumulated vsize (KiB) 974660

[startup+1062.3 s]
/proc/loadavg: 8.07 8.06 7.69 9/184 8100
/proc/meminfo: memFree=28230596/32950928 swapFree=67111356/67111528
[pid=8034] ppid=8032 vsize=1125256 CPUtime=4242.68 cores=1,3,5,7
/proc/8034/stat : 8034 (strangenight1-m) R 8032 8034 7283 0 -1 4202496 1225154 0 0 0 423917 351 0 0 25 0 4 0 603637630 1152262144 183338 33554432000 4194304 4650419 140736746747904 18446744073709551615 4476502 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/8034/statm: 281314 183338 395 112 0 276279 0
[pid=8034/tid=8035] ppid=8032 vsize=1125256 CPUtime=1062.31 cores=1,3,5,7
/proc/8034/task/8035/stat : 8035 (strangenight1-m) R 8032 8034 7283 0 -1 4202560 288815 0 0 0 106151 80 0 0 25 0 4 0 603637631 1152262144 183338 33554432000 4194304 4650419 140736746747904 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8034/tid=8036] ppid=8032 vsize=1125256 CPUtime=1055.73 cores=1,3,5,7
/proc/8034/task/8036/stat : 8036 (strangenight1-m) R 8032 8034 7283 0 -1 4202560 352724 0 0 0 105468 105 0 0 25 0 4 0 603637631 1152262144 183338 33554432000 4194304 4650419 140736746747904 18446744073709551615 4439371 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8034/tid=8037] ppid=8032 vsize=1125256 CPUtime=1062.32 cores=1,3,5,7
/proc/8034/task/8037/stat : 8037 (strangenight1-m) R 8032 8034 7283 0 -1 4202560 203246 0 0 0 106162 70 0 0 25 0 4 0 603637631 1152262144 183338 33554432000 4194304 4650419 140736746747904 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4242.68
Current children cumulated vsize (KiB) 1125256

[startup+1122.3 s]
/proc/loadavg: 8.06 8.06 7.72 9/184 8102
/proc/meminfo: memFree=28192488/32950928 swapFree=67111356/67111528
[pid=8034] ppid=8032 vsize=991668 CPUtime=4482.35 cores=1,3,5,7
/proc/8034/stat : 8034 (strangenight1-m) R 8032 8034 7283 0 -1 4202496 1465720 0 0 0 447843 392 0 0 25 0 4 0 603637630 1015468032 181044 33554432000 4194304 4650419 140736746747904 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/8034/statm: 247917 181044 395 112 0 242882 0
[pid=8034/tid=8035] ppid=8032 vsize=991668 CPUtime=1122.31 cores=1,3,5,7
/proc/8034/task/8035/stat : 8035 (strangenight1-m) R 8032 8034 7283 0 -1 4202560 296244 0 0 0 112148 83 0 0 25 0 4 0 603637631 1015468032 181044 33554432000 4194304 4650419 140736746747904 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8034/tid=8036] ppid=8032 vsize=991668 CPUtime=1115.4 cores=1,3,5,7
/proc/8034/task/8036/stat : 8036 (strangenight1-m) R 8032 8034 7283 0 -1 4202560 482749 0 0 0 111416 124 0 0 25 0 4 0 603637631 1015468032 181044 33554432000 4194304 4650419 140736746747904 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8034/tid=8037] ppid=8032 vsize=991668 CPUtime=1122.32 cores=1,3,5,7
/proc/8034/task/8037/stat : 8037 (strangenight1-m) R 8032 8034 7283 0 -1 4202560 209604 0 0 0 112160 72 0 0 25 0 4 0 603637631 1015468032 181044 33554432000 4194304 4650419 140736746747904 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4482.35
Current children cumulated vsize (KiB) 991668

[startup+1182.3 s]
/proc/loadavg: 8.06 8.06 7.74 9/184 8103
/proc/meminfo: memFree=28160180/32950928 swapFree=67111356/67111528
[pid=8034] ppid=8032 vsize=1040092 CPUtime=4722.03 cores=1,3,5,7
/proc/8034/stat : 8034 (strangenight1-m) R 8032 8034 7283 0 -1 4202496 1505658 0 0 0 471795 408 0 0 25 0 4 0 603637630 1065054208 183883 33554432000 4194304 4650419 140736746747904 18446744073709551615 4365321 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/8034/statm: 260023 183883 395 112 0 254988 0
[pid=8034/tid=8035] ppid=8032 vsize=1040092 CPUtime=1182.3 cores=1,3,5,7
/proc/8034/task/8035/stat : 8035 (strangenight1-m) R 8032 8034 7283 0 -1 4202560 303532 0 0 0 118145 85 0 0 25 0 4 0 603637631 1065054208 183883 33554432000 4194304 4650419 140736746747904 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8034/tid=8036] ppid=8032 vsize=1040092 CPUtime=1175.08 cores=1,3,5,7
/proc/8034/task/8036/stat : 8036 (strangenight1-m) R 8032 8034 7283 0 -1 4202560 494725 0 0 0 117379 129 0 0 25 0 4 0 603637631 1065054208 183883 33554432000 4194304 4650419 140736746747904 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8034/tid=8037] ppid=8032 vsize=1040092 CPUtime=1182.32 cores=1,3,5,7
/proc/8034/task/8037/stat : 8037 (strangenight1-m) R 8032 8034 7283 0 -1 4202560 218147 0 0 0 118155 77 0 0 25 0 4 0 603637631 1065054208 183883 33554432000 4194304 4650419 140736746747904 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4722.03
Current children cumulated vsize (KiB) 1040092



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.91 s]
/proc/loadavg: 8.17 8.08 7.75 9/184 8104
/proc/meminfo: memFree=28120488/32950928 swapFree=67111356/67111528
[pid=8034] ppid=8032 vsize=1040404 CPUtime=4800.36 cores=1,3,5,7
/proc/8034/stat : 8034 (strangenight1-m) R 8032 8034 7283 0 -1 4202496 1520221 0 0 0 479622 414 0 0 25 0 4 0 603637630 1065373696 187329 33554432000 4194304 4650419 140736746747904 18446744073709551615 4334024 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/8034/statm: 260101 187329 395 112 0 255066 0
[pid=8034/tid=8035] ppid=8032 vsize=1040404 CPUtime=1201.92 cores=1,3,5,7
/proc/8034/task/8035/stat : 8035 (strangenight1-m) R 8032 8034 7283 0 -1 4202560 307726 0 0 0 120105 87 0 0 25 0 4 0 603637631 1065373696 187329 33554432000 4194304 4650419 140736746747904 18446744073709551615 4433087 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8034/tid=8036] ppid=8032 vsize=1040404 CPUtime=1194.58 cores=1,3,5,7
/proc/8034/task/8036/stat : 8036 (strangenight1-m) R 8032 8034 7283 0 -1 4202560 500122 0 0 0 119327 131 0 0 25 0 4 0 603637631 1065373696 187329 33554432000 4194304 4650419 140736746747904 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8034/tid=8037] ppid=8032 vsize=1040404 CPUtime=1201.94 cores=1,3,5,7
/proc/8034/task/8037/stat : 8037 (strangenight1-m) R 8032 8034 7283 0 -1 4202560 218584 0 0 0 120116 78 0 0 25 0 4 0 603637631 1065373696 187329 33554432000 4194304 4650419 140736746747904 18446744073709551615 4365348 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.36
Current children cumulated vsize (KiB) 1040404

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.95
CPU time (s): 4800.43
CPU user time (s): 4796.25
CPU system time (s): 4.18436
CPU usage (%): 399.386
Max. virtual memory (cumulated for all children) (KiB): 1125256

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4796.25
system time used= 4.18436
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1520224
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= 1062
involuntary context switches= 32497

runsolver used 1.75273 second user time and 4.81527 second system time

The end

Launcher Data 

Begin job on node114 at 2011-04-30 05:27:50
IDJOB=3262905
IDBENCH=83903
IDSOLVER=1588
FILE ID=node114/3262905-1304134069
RUNJOBID= node114-1304133399-7874
PBS_JOBID= 13170787
Free space on /tmp= 73328 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt
BENCH NAME= SAT03/handmade/anton/UNSAT/SGI_30_70_26_40_6-dir.shuffled-as.sat03-163.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3262905-1304134069/watcher-3262905-1304134069 -o /tmp/evaluation-result-3262905-1304134069/solver-3262905-1304134069 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3262905-1304134069.cnf

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

MD5SUM BENCH= c06088cac8521bfe72bbb4c9ad8d39fb
RANDOM SEED=1296259577

node114.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/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.848
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.848
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5226.15
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.848
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.848
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.73
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.848
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.848
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.848
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.848
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      27646620 kB
Buffers:       1086900 kB
Cached:        1872976 kB
SwapCached:        168 kB
Active:        2012552 kB
Inactive:      2783924 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      27646620 kB
SwapTotal:    67111528 kB
SwapFree:     67111356 kB
Dirty:            7008 kB
Writeback:           0 kB
AnonPages:     1836540 kB
Mapped:          15516 kB
Slab:           440692 kB
PageTables:       8648 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:  2424208 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73384 MiB
End job on node114 at 2011-04-30 05:47:53