Trace number 3262817

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.31 1201.75

General information on the benchmark

NameSAT03/handmade/anton/UNSAT/
SGI_30_70_27_50_3-dir.shuffled-as.sat03-169.cnf
MD5SUMb5a637600c242725f15a247a84bdea1b
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 variables810
Number of clauses68270
Sum of the clauses size137296
Maximum clause length30
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 268243
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 527

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-3262817-1304134023.cnf'
0.00/0.00	c -- header says num vars:            810
0.00/0.00	c -- header says num clauses:       68270
0.03/0.02	c -- clauses added:            0 learnts,        68270 normals,            0 xors
0.03/0.02	c -- vars added        810
0.03/0.02	c Parsing time:  0.02 s
0.03/0.02	c  N st     0         0       810        27     68243         0    137296         0   no data   no data  --
0.03/0.02	c asymm  cl-useful: 0/27/27 lits-rem:0 time: 0.00
0.03/0.05	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
0.03/0.05	c bin-w-bin subsume rem            0 bins  time:  0.03 s
0.03/0.05	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
0.03/0.07	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    810 time:  0.03 s
0.03/0.07	c Removed useless bin:       0  fixed:     0  props:   0.34M  time:  0.03 s
0.03/0.97	c lits-rem:       507  cl-subs:        0  v-elim:     27  v-fix:    0  time:  0.08 s
0.03/0.97	c Finding binary XORs  T:     0.00 s  found:       0
0.03/0.97	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.03/0.97	c calculated reachability. Time: 0.00
0.03/0.97	c Calc default polars -  time:   0.00 s pos:     385 undec:      27 neg:     398
0.03/0.97	c =========================================================================================
0.03/0.97	c types(t): F = full restart, N = normal restart
0.03/0.97	c types(t): S = simplification begin/end, E = solution found
0.03/0.97	c restart types(rt): st = static, dy = dynamic
0.03/0.97	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.03/0.97	c  B st     0         0       783      1365     66095         0    182461         0   no data   no data  --
0.03/0.97	c  N dy    16      4225       783      1365     66096      4097    182461    399079     10.38     10.94  --
0.03/0.97	c  N dy    39      8262       783      1365     66099      5604    182461    376249     11.03     15.41  --
4.60/1.27	c  N dy    54     12269       783      1365     66099      5373    182461    315556     11.38     12.19  --
6.32/1.65	c  N dy    64     16588       783      1365     66099      9547    182461    534949     10.93     11.84  --
8.32/2.16	c  N dy    89     21335       783      1365     66100      8698    182461    578891     11.49     12.40  --
10.72/2.72	c  F st   105     25000       783      1365     66101     12234    182461    877435     11.56      9.55  --
11.11/2.81	c  N st   107     25629       783      1365     66101     12845    182461    908451     11.56   no data  --
13.51/3.40	c  N dy   111     30001       783      1365     66101     10426    182461    514775     11.56   no data  --
13.51/3.40	c  S st   111     30001       783      1365     66101     10426    182461    514775     11.56   no data  --
13.51/3.45	c  S st   111     30501       783      1365     66101     10924    182461    551651     11.56   no data  --
13.51/3.45	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
13.51/3.45	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
13.91/3.58	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      4 BRemL:      0 BRemN:      0 P:  4.9M T:  0.52
14.30/3.61	c bin-w-bin subsume rem            0 bins  time:  0.04 s
19.90/5.05	c subs with bin:        0  lits-rem:      1573  v-fix:    0  time:  5.74 s
19.90/5.06	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    783 time:  0.03 s
19.90/5.07	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.03 s
32.28/8.17	c lits-rem:      1554  cl-subs:      773  v-elim:      0  v-fix:    0  time: 12.38 s
33.08/8.30	c asymm  cl-useful: 783/1338/1365 lits-rem:5334 time: 0.51
33.08/8.30	c calculated reachability. Time: 0.00
33.08/8.30	c  N dy   111     30501       783      1365     66105     10151    174572    528513     11.56   no data  --
35.07/8.87	c  N dy   125     34630       783      1365     66107     14133    174572    859734     11.50     12.70  --
37.48/9.45	c  N dy   148     39130       783      1365     66111     10869    174572    664859     11.54     12.31  --
39.87/10.08	c  N dy   163     43178       783      1365     66113     14765    174572    980524     11.42     12.13  --
42.29/10.63	c  S st   181     45751       783      1365     66114     17248    174572   1253080     11.58      9.25  --
42.29/10.69	c  S st   181     46253       783      1365     66114      9123    174572    465665     11.58   no data  --
42.29/10.70	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
42.29/10.70	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
43.07/10.83	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      2 BRemL:      0 BRemN:      0 P:  4.9M T:  0.52
43.07/10.85	c bin-w-bin subsume rem            0 bins  time:  0.04 s
48.66/12.26	c subs with bin:        0  lits-rem:        56  v-fix:    0  time:  5.64 s
48.66/12.27	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    783 time:  0.03 s
48.66/12.28	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.03 s
59.45/14.93	c lits-rem:       710  cl-subs:      318  v-elim:      0  v-fix:    0  time: 10.58 s
59.45/14.93	c vivif2 --  cl tried     1365 cl shrink      178 lits rem        179 time: 0.00
59.45/14.94	c vivif2 --  cl tried     8805 cl shrink       70 lits rem         71 time: 0.04
59.86/15.06	c asymm  cl-useful: 0/1365/1365 lits-rem:0 time: 0.47
59.86/15.06	c calculated reachability. Time: 0.00
59.86/15.06	c  N dy   181     46253       783      1365     66116      8805    174346    458793     11.58   no data  --
61.85/15.50	c  N dy   195     50437       783      1365     66133     12851    174346    776729     11.54     12.30  --
64.26/16.20	c  N dy   205     54538       783      1365     66134     16816    174346   1212623     11.49     12.13  --
67.44/16.98	c  N dy   218     58813       783      1365     66137     11322    174346    711437     11.46     12.28  --
70.63/17.79	c  N dy   240     63003       783      1365     66139     15359    174346   1153285     11.64     12.64  --
75.02/18.81	c  N dy   258     67052       783      1365     66140     19276    174346   1617353     11.63     20.60  --
77.43/19.41	c  S st   266     69379       783      1365     66147     10907    174346    621007     11.60     11.73  --
77.43/19.47	c  S st   266     69879       783      1365     66147     11404    174346    659310     11.60   no data  --
77.43/19.47	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
77.43/19.47	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
78.21/19.63	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      4 BRemL:      0 BRemN:      0 P:  6.1M T:  0.64
78.21/19.66	c bin-w-bin subsume rem            0 bins  time:  0.04 s
84.22/21.10	c subs with bin:       19  lits-rem:        12  v-fix:    0  time:  5.76 s
84.22/21.11	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    783 time:  0.03 s
84.22/21.11	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.03 s
96.19/24.18	c lits-rem:       853  cl-subs:      159  v-elim:      0  v-fix:    0  time: 12.22 s
96.19/24.18	c vivif2 --  cl tried     1365 cl shrink        3 lits rem          3 time: 0.00
96.19/24.19	c vivif2 --  cl tried    11226 cl shrink       96 lits rem        129 time: 0.04
96.99/24.33	c asymm  cl-useful: 0/1365/1365 lits-rem:0 time: 0.58
96.99/24.34	c calculated reachability. Time: 0.00
96.99/24.34	c  N dy   266     69879       783      1365     66151     11226    174343    647500     11.60   no data  --
100.19/25.17	c  N dy   296     74363       783      1365     66164     15545    174343   1106100     11.78     12.50  --
104.58/26.23	c  N dy   314     79310       783      1365     66165     20329    174343   1581534     11.80     12.51  --
109.37/27.45	c  N dy   334     84771       783      1365     66172     13963    174343    834366     11.82     12.47  --
110.97/27.88	c  F st   345     87503       783      1365     66174     16600    174343   1052258     11.82   no data  --
114.17/28.61	c  N st   350     90800       783      1365     66174     19726    174343   1312843     11.82   no data  --
120.16/30.16	c  N dy   365     96864       783      1365     66190     13023    174343    676947     11.84     12.51  --
124.56/31.23	c  N dy   398    103061       782      1365     66192     18999    174343   1178599     11.95     21.92  --
126.17/31.66	c  S st   412    104818       782      1365     66193     20711    174343   1315249     12.00      7.31  --
126.55/31.77	c  S st   412    105325       782      1365     66193     21213    174343   1358667     12.00   no data  --
126.55/31.77	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
126.55/31.77	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
127.75/32.09	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      1 BRemL:      0 BRemN:      0 P: 10.7M T:  1.27
128.15/32.15	c bin-w-bin subsume rem            0 bins  time:  0.04 s
134.14/33.67	c subs with bin:       79  lits-rem:        50  v-fix:    0  time:  6.07 s
134.14/33.68	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    782 time:  0.03 s
134.14/33.69	c Removed useless bin:       0  fixed:     0  props:   0.32M  time:  0.03 s
148.92/37.38	c lits-rem:      2086  cl-subs:      566  v-elim:      0  v-fix:    0  time: 14.75 s
148.92/37.38	c vivif2 --  cl tried     1365 cl shrink        2 lits rem          2 time: 0.00
149.31/37.41	c vivif2 --  cl tried    19299 cl shrink      240 lits rem        300 time: 0.08
150.11/37.66	c asymm  cl-useful: 0/1334/1365 lits-rem:0 time: 1.00
150.11/37.66	c calculated reachability. Time: 0.00
150.11/37.66	c  N dy   412    105325       782      1365     65853     19298    173698   1309350     12.00   no data  --
157.30/39.46	c  N dy   432    113393       782      1365     65862     14222    173698    790129     11.91     12.85  --
162.10/40.69	c  N dy   465    120714       782      1365     65867     21288    173698   1377753     11.94     24.16  --
169.71/42.60	c  N dy   494    129000       782      1365     65874     15096    173698    756778     11.89     12.52  --
175.28/43.99	c  N dy   532    137292       782      1365     65883     23061    173698   1364157     11.86     12.50  --
184.07/46.12	c  N dy   571    146565       782      1365     65890     16712    173698    862980     11.84     12.53  --
192.09/48.12	c  N dy   605    156255       782      1365     65905     25933    173698   1492805     11.80     12.47  --
194.06/48.63	c  S st   612    157988       782      1365     65907     27587    173698   1595513     11.78      6.14  --
194.46/48.76	c  S st   612    158491       782      1365     65907     28090    173698   1637389     11.78   no data  --
194.46/48.76	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
194.46/48.76	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
195.66/49.10	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      1 BRemL:      0 BRemN:      0 P: 12.5M T:  1.34
196.07/49.15	c bin-w-bin subsume rem            1 bins  time:  0.04 s
202.45/50.74	c subs with bin:      144  lits-rem:       436  v-fix:    0  time:  6.36 s
202.45/50.75	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    782 time:  0.03 s
202.45/50.76	c Removed useless bin:       0  fixed:     0  props:   0.32M  time:  0.03 s
219.62/55.04	c lits-rem:      2532  cl-subs:     2329  v-elim:      0  v-fix:    0  time: 17.07 s
219.62/55.04	c vivif2 --  cl tried     1365 cl shrink        5 lits rem          5 time: 0.00
219.62/55.07	c vivif2 --  cl tried    25617 cl shrink     1656 lits rem       2695 time: 0.13
220.82/55.32	c asymm  cl-useful: 0/1173/1365 lits-rem:0 time: 1.00
220.82/55.32	c calculated reachability. Time: 0.00
220.82/55.32	c  N dy   612    158491       782      1365     65911     25613    173691   1585113     11.78   no data  --
229.61/57.59	c  N dy   662    168611       780      1365     65916     19234    173691   1019562     11.91     23.06  --
237.59/59.56	c  N dy   710    180196       780      1365     65916     30355    173691   1694655     11.96     12.67  --
245.59/61.52	c  N dy   737    191704       780      1365     65920     24278    173691   1243547     11.88     12.53  --
256.38/64.26	c  N dy   802    204201       780      1365     65921     36339    173691   2007429     11.99     12.75  --
264.76/66.36	c  N dy   836    217275       780      1365     65922     30632    173691   1510031     11.91     13.97  --
275.57/69.07	c  N dy   922    231345       780      1365     65922     25012    173691   1243061     12.10     12.84  --
280.74/70.39	c  S st   939    237736       780      1365     65923     31126    173691   1638718     12.07     10.30  --
281.54/70.50	c  S st   939    238238       780      1365     65923     31627    173691   1678822     12.07   no data  --
281.54/70.51	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
281.54/70.51	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
282.74/70.87	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 12.3M T:  1.44
283.14/70.93	c bin-w-bin subsume rem            4 bins  time:  0.04 s
289.53/72.56	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  6.48 s
289.53/72.56	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    780 time:  0.03 s
289.53/72.57	c Removed useless bin:       0  fixed:     0  props:   0.31M  time:  0.02 s
310.72/77.85	c lits-rem:      1869  cl-subs:     1303  v-elim:      0  v-fix:    0  time: 21.09 s
310.72/77.85	c vivif2 --  cl tried     1365 cl shrink        3 lits rem          3 time: 0.00
310.72/77.89	c vivif2 --  cl tried    28662 cl shrink      393 lits rem        464 time: 0.12
311.90/78.14	c asymm  cl-useful: 0/1201/1365 lits-rem:0 time: 1.00
311.90/78.14	c calculated reachability. Time: 0.00
311.90/78.14	c  N dy   939    238238       780      1365     65265     28662    172423   1619612     12.07   no data  --
326.29/81.79	c  N dy   985    254921       780      1365     65281     25299    172423   1361333     12.01     12.74  --
345.87/86.65	c  N dy  1043    271452       779      1365     65305     41014    172423   2333921     11.98     12.63  --
362.63/90.88	c  N dy  1085    289419       779      1365     65316     37542    172423   2199608     11.88     12.62  --
377.82/94.65	c  F st  1145    306250       779      1365     65329     31913    172423   1823897     11.87      7.24  --
381.03/95.42	c  N st  1149    308281       779      1365     65004     31417    171783   1924391     11.87   no data  --
404.58/101.33	c  N dy  1237    329140       778      1365     65018     29804    171783   1677858     11.97     12.69  --
430.14/107.73	c  N dy  1343    350824       778      1365     65029     27326    171783   1327770     12.06     12.70  --
436.13/109.26	c  S st  1377    357359       778      1365     65030     33590    171783   1761089     12.08   no data  --
436.53/109.39	c  S st  1377    357862       778      1365     65030     34090    171783   1798398     12.08   no data  --
436.93/109.40	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
436.93/109.40	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
438.16/109.79	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 14.0M T:  1.54
438.54/109.85	c bin-w-bin subsume rem            0 bins  time:  0.04 s
445.33/111.51	c subs with bin:       93  lits-rem:       323  v-fix:    0  time:  6.63 s
445.33/111.52	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    778 time:  0.03 s
445.33/111.53	c Removed useless bin:       0  fixed:     0  props:   0.31M  time:  0.03 s
462.10/115.77	c lits-rem:      1471  cl-subs:     2230  v-elim:      0  v-fix:    0  time: 16.93 s
462.10/115.77	c vivif2 --  cl tried     1365 cl shrink        3 lits rem          3 time: 0.00
462.50/115.80	c vivif2 --  cl tried    31034 cl shrink      772 lits rem       1498 time: 0.14
463.30/116.06	c asymm  cl-useful: 0/1074/1365 lits-rem:0 time: 1.04
463.30/116.07	c calculated reachability. Time: 0.00
463.30/116.07	c  N dy  1377    357862       778      1365     64725     31033    171139   1741972     12.08   no data  --
485.67/121.62	c  N dy  1429    378406       778      1365     64749     26476    171139   1264389     12.01     12.75  --
507.24/127.00	c  N dy  1480    398749       778      1365     64758     45953    171139   2598025     11.93     12.57  --
528.41/132.38	c  N dy  1534    418751       778      1365     64767     39677    171139   2221599     11.90     12.55  --
554.78/138.90	c  N dy  1590    438756       778      1365     64793     32180    171139   1596748     11.85     12.65  --
581.54/145.68	c  N dy  1653    458811       776      1365     64829     51246    171139   2721420     11.82     21.38  --
603.51/151.12	c  N dy  1742    479043       776      1365     64834     43185    171139   2495655     11.87     12.81  --
629.47/157.67	c  N dy  1847    499630       776      1365     64843     34272    171139   1672305     11.94     12.61  --
651.84/163.25	c  N dy  1934    519693       776      1365     64848     53675    171139   3081112     11.99     14.30  --
670.22/167.90	c  S st  2011    536793       776      1365     64853     40347    171139   2009789     12.01     10.25  --
671.04/168.05	c  S st  2011    537293       776      1365     64853     40845    171139   2046727     12.01   no data  --
671.04/168.05	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
671.04/168.05	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
673.01/168.55	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      2 BRemL:      0 BRemN:      0 P: 17.2M T:  1.98
673.41/168.63	c bin-w-bin subsume rem            1 bins  time:  0.04 s
679.83/170.24	c subs with bin:        4  lits-rem:        93  v-fix:    0  time:  6.40 s
679.83/170.24	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    776 time:  0.03 s
679.83/170.25	c Removed useless bin:       0  fixed:     0  props:   0.30M  time:  0.03 s
694.59/173.91	c lits-rem:      1101  cl-subs:     1139  v-elim:      0  v-fix:    0  time: 14.62 s
694.59/173.91	c vivif2 --  cl tried     1365 cl shrink       13 lits rem         14 time: 0.00
694.59/173.96	c vivif2 --  cl tried    36136 cl shrink     1334 lits rem       1683 time: 0.17
695.78/174.23	c asymm  cl-useful: 0/601/1365 lits-rem:0 time: 1.09
695.78/174.23	c calculated reachability. Time: 0.00
695.78/174.23	c  N dy  2011    537293       776      1365     64178     36135    169907   1968135     12.01   no data  --
722.14/180.84	c  N dy  2078    557683       776      1365     64189     55717    169907   3434103     11.99     12.74  --
744.92/186.54	c  N dy  2145    577711       776      1365     64200     45909    169907   2515607     11.98     14.26  --
774.48/194.00	c  N dy  2214    597799       776      1365     64215     34389    169907   1703231     11.97     12.74  --
803.24/201.11	c  N dy  2289    618246       776      1365     64229     54031    169907   3075759     11.96     12.62  --
834.00/208.85	c  N dy  2352    639620       776      1365     64248     42254    169907   2085934     11.94     12.77  --
834.00/208.85	c Finding binary XORs  T:     0.01 s  found:       0
869.55/217.70	c  N dy  2412    662665       775      1365     64280     64129    169907   3309637     11.89     12.53  --
891.51/223.21	c  N dy  2467    682722       774      1365     64296     50139    169907   2272084     11.86     12.51  --
918.28/229.98	c  N dy  2560    703330       774      1365     64310     35562    169907   1373911     11.89     12.60  --
939.08/235.17	c  N dy  2634    723391       774      1365     64325     54786    169907   2518980     11.89     14.89  --
965.43/241.76	c  N dy  2712    743772       774      1365     64331     38875    169907   1497468     11.89     12.65  --
987.00/247.16	c  N dy  2779    763889       774      1365     64346     58231    169907   2790671     11.88     12.62  --
1015.74/254.32	c  N dy  2876    783899       774      1365     64359     41021    169907   1652277     11.92     22.99  --
1036.52/259.56	c  N dy  2947    804198       774      1365     64366     60525    169907   2789561     11.91     12.57  --
1038.92/260.19	c  S st  2954    805940       774      1365     64366     62184    169907   2872386     11.91     10.11  --
1039.73/260.39	c  S st  2954    806441       774      1365     64366     62681    169907   2907222     11.91   no data  --
1040.13/260.40	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
1040.13/260.40	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1042.91/261.13	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      2 BRemL:      0 BRemN:      0 P: 22.7M T:  2.93
1043.31/261.25	c bin-w-bin subsume rem            1 bins  time:  0.04 s
1050.49/263.02	c subs with bin:       12  lits-rem:        87  v-fix:    0  time:  7.06 s
1050.49/263.03	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    774 time:  0.03 s
1050.49/263.04	c Removed useless bin:       0  fixed:     0  props:   0.30M  time:  0.03 s
1084.45/271.53	c lits-rem:      1905  cl-subs:     4236  v-elim:      0  v-fix:    0  time: 33.89 s
1084.45/271.53	c vivif2 --  cl tried     1365 cl shrink       20 lits rem         29 time: 0.00
1084.85/271.62	c vivif2 --  cl tried    54956 cl shrink     6356 lits rem      12960 time: 0.35
1086.05/271.92	c asymm  cl-useful: 0/417/1365 lits-rem:0 time: 1.22
1086.05/271.92	c calculated reachability. Time: 0.00
1086.05/271.92	c  N dy  2954    806441       774      1365     63771     54940    168718   2760410     11.91   no data  --
1114.43/279.08	c  N dy  3026    827948       773      1365     63796     39974    168718   1534523     11.89     12.52  --
1136.40/284.59	c  N dy  3116    848066       773      1365     63801     59431    168718   2886618     11.91     12.70  --
1165.54/291.86	c  N dy  3192    868278       773      1365     63811     41278    168718   1649010     11.91     12.56  --
1187.92/297.48	c  N dy  3248    888400       773      1365     63821     60598    168718   2728177     11.90     12.53  --
1215.08/304.24	c  N dy  3321    908865       773      1365     63829     41347    168718   1611701     11.89     12.94  --
1237.05/309.74	c  N dy  3413    928957       773      1365     63834     60735    168718   2827382     11.90     19.46  --
1266.20/317.02	c  N dy  3477    949072       773      1365     63843     80069    168718   4034928     11.89     12.55  --
1286.98/322.25	c  N dy  3530    969168       773      1365     63860     59123    168718   2524274     11.86     12.54  --
1313.75/328.99	c  N dy  3589    989327       772      1365     63874     78379    168718   3673711     11.85     12.69  --
1337.72/334.94	c  N dy  3645   1009394       771      1365     63898     56460    168718   2398660     11.83     16.57  --
1366.08/342.09	c  N dy  3740   1029423       771      1365     63913     75738    168718   3714982     11.86     15.93  --
1394.84/349.26	c  N dy  3841   1049439       770      1365     63922     52862    168718   2083954     11.90     12.54  --
1420.81/355.78	c  N dy  3921   1069704       770      1365     63930     72404    168718   3317448     11.90     12.73  --
1424.80/356.72	c  F st  3938   1071875       770      1365     63931     74504    168718   3459670     11.91   no data  --
1450.36/363.12	c  N dy  3996   1090035       770      1346     62735     43994    166167   1821672     11.92     12.65  --
1477.93/370.05	c  N dy  4101   1110564       770      1346     62741     63795    166167   3153559     11.94     12.59  --
1515.48/379.48	c  N dy  4189   1130661       769      1346     62756     83107    166167   4354625     11.95     19.39  --
1540.66/385.71	c  N dy  4272   1151282       769      1346     62764     61083    166167   2736442     11.96     12.66  --
1575.82/394.54	c  N dy  4377   1171294       769      1346     62767     80431    166167   3937624     11.99     17.33  --
1606.57/402.22	c  N dy  4474   1191343       769      1346     62768     55633    166167   2330699     12.02     19.92  --
1634.91/409.30	c  S st  4556   1209661       769      1346     62778     73248    166167   3316748     12.03      8.29  --
1635.71/409.52	c  S st  4556   1210167       769      1346     62783     73748    166167   3351396     12.03   no data  --
1635.71/409.54	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
1635.71/409.54	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1639.30/410.44	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      3 BRemL:      0 BRemN:      0 P: 25.3M T:  3.61
1639.70/410.57	c bin-w-bin subsume rem            2 bins  time:  0.03 s
1646.90/412.30	c subs with bin:        5  lits-rem:        37  v-fix:    0  time:  6.92 s
1646.90/412.31	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    769 time:  0.03 s
1646.90/412.32	c Removed useless bin:       0  fixed:     0  props:   0.29M  time:  0.02 s
1699.25/425.46	c lits-rem:      6339  cl-subs:     5501  v-elim:      0  v-fix:    0  time: 52.48 s
1699.25/425.46	c vivif2 --  cl tried     1346 cl shrink       22 lits rem         25 time: 0.00
1700.03/425.60	c vivif2 --  cl tried    65887 cl shrink     9918 lits rem      23155 time: 0.55
1701.23/425.98	c asymm  cl-useful: 0/336/1346 lits-rem:0 time: 1.53
1701.23/425.99	c calculated reachability. Time: 0.00
1701.23/425.99	c  N dy  4556   1210167       769      1346     62521     65879    165619   3185255     12.03   no data  --
1739.57/435.50	c  N dy  4628   1230264       768      1346     62543     85167    165619   4479169     12.02     17.19  --
1767.93/442.69	c  N dy  4700   1250297       768      1346     62547     60144    165619   2860735     12.02     12.84  --
1804.70/451.85	c  N dy  4801   1270519       768      1346     62553     79616    165619   4237524     12.05     12.69  --
1841.83/461.14	c  N dy  4889   1290686       768      1346     62563     52737    165619   2207126     12.06     12.74  --
1869.79/468.18	c  N dy  4965   1310773       768      1346     62577     72020    165619   3549044     12.06     16.28  --
1908.14/477.71	c  N dy  5055   1330789       768      1346     62584     91246    165619   4862760     12.07     19.61  --
1936.90/484.90	c  N dy  5119   1351866       768      1346     62588     63850    165619   2914722     12.05     12.70  --
1970.86/493.41	c  N dy  5211   1371878       768      1346     62594     82950    165619   4220697     12.07     12.75  --
2008.00/502.76	c  N dy  5307   1391910       768      1346     62604     53509    165619   2170531     12.08     14.60  --
2035.97/509.72	c Finding binary XORs  T:     0.00 s  found:       0
2036.37/509.80	c  N dy  5375   1412047       768      1346     62269     68805    165051   3380239     12.07     12.74  --
2074.71/519.44	c  N dy  5471   1432781       768      1346     62281     88724    165051   4772427     12.08     12.73  --
2108.27/527.83	c  N dy  5554   1454228       768      1346     62290     61540    165051   2833650     12.08     12.74  --
2142.22/536.31	c  N dy  5649   1474311       768      1346     62309     80757    165051   4074707     12.09     12.96  --
2180.98/546.02	c  N dy  5715   1494334       767      1346     62327     50191    165051   1939674     12.09     15.29  --
2205.74/552.20	c  N dy  5784   1514850       767      1346     62335     69865    165051   3246998     12.09     13.40  --
2242.49/561.49	c  N dy  5867   1536186       767      1346     62342     90377    165051   4627294     12.09     12.92  --
2277.65/570.24	c  N dy  5944   1556210       767      1346     62352     58299    165051   2393227     12.09     19.46  --
2308.40/577.95	c  N dy  6055   1576593       767      1346     62357     77921    165051   3742801     12.12     12.83  --
2344.77/587.10	c  N dy  6104   1596693       767      1346     62364     97240    165051   4846324     12.10     12.91  --
2377.90/595.39	c  N dy  6181   1617645       767      1346     62376     64772    165051   2718420     12.10     13.01  --
2408.27/602.96	c  N dy  6235   1637846       767      1346     62382     84098    165051   3844065     12.09     12.73  --
2448.61/613.07	c  N dy  6335   1657869       766      1346     62391    103492    165051   5210656     12.12     15.28  --
2479.77/620.83	c  N dy  6423   1677992       766      1346     62394     69300    165051   3014198     12.13     12.79  --
2515.32/629.70	c  N dy  6508   1698068       766      1346     62397     88714    165051   4304656     12.14     26.69  --
2539.29/635.75	c  S st  6566   1710168       766      1346     62400    100391    165051   5144771     12.15   no data  --
2540.49/636.05	c  S st  6566   1710670       766      1346     62400    100886    165051   5180432     12.15   no data  --
2540.49/636.06	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
2540.49/636.06	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2546.08/637.46	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      1 BRemL:      0 BRemN:      0 P: 35.2M T:  5.58
2546.90/637.68	c bin-w-bin subsume rem            1 bins  time:  0.03 s
2554.47/639.51	c subs with bin:        4  lits-rem:       175  v-fix:    0  time:  7.33 s
2554.47/639.52	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    766 time:  0.03 s
2554.47/639.52	c Removed useless bin:       0  fixed:     0  props:   0.29M  time:  0.02 s
2725.43/682.36	c lits-rem:      3388  cl-subs:     5363  v-elim:      0  v-fix:    0  time: 170.93 s
2725.43/682.36	c vivif2 --  cl tried     1346 cl shrink       14 lits rem         15 time: 0.00
2725.83/682.49	c vivif2 --  cl tried    89984 cl shrink     6784 lits rem       9547 time: 0.54
2727.46/682.86	c asymm  cl-useful: 0/268/1346 lits-rem:0 time: 1.45
2727.46/682.86	c calculated reachability. Time: 0.00
2727.46/682.87	c  N dy  6566   1710670       766      1346     61807     89975    163914   4967098     12.15   no data  --
2768.17/693.01	c  N dy  6633   1730859       766      1346     61850     57397    163914   2388402     12.14     13.12  --
2798.54/700.65	c  N dy  6697   1751410       766      1346     61864     77103    163914   3708960     12.14     12.92  --
2839.29/710.80	c  N dy  6746   1771650       765      1346     61893     96420    163914   4895757     12.12     12.84  --
2880.03/721.06	c  N dy  6845   1791689       765      1346     61903     61441    163914   2591357     12.13     12.80  --
2909.99/728.51	c  N dy  6903   1811776       765      1346     61912     80700    163914   3950786     12.13     12.77  --
2951.55/738.99	c  N dy  6999   1831833       765      1346     61922    100008    163914   5254165     12.14     22.63  --
2991.11/748.82	c  N dy  7084   1851949       765      1346     61937     63394    163914   2613624     12.15     12.95  --
3024.63/757.20	c  N dy  7179   1873185       765      1346     61955     83799    163914   3977120     12.16     12.85  --
3068.58/768.22	c  N dy  7248   1894130       764      1346     61966    103871    163914   5256097     12.16     12.81  --
3112.52/779.24	c  N dy  7336   1914888       764      1346     61980     66605    163914   2799401     12.17     13.10  --
3145.27/787.43	c  N dy  7393   1936350       764      1346     61988     87240    163914   4124083     12.16     12.90  --
3188.43/798.23	c  N dy  7482   1956353       763      1346     62001    106542    163914   5414864     12.17     28.95  --
3229.16/808.49	c  N dy  7548   1976662       763      1346     62019     67511    163914   2665821     12.16     12.86  --
3259.51/816.03	c  N dy  7635   1996768       762      1346     62026     86848    163914   3876773     12.17     13.17  --
3297.87/825.70	c  N dy  7710   2016874       762      1346     62034    106144    163914   5055218     12.18     12.89  --
3337.02/835.47	c  N dy  7781   2036934       762      1346     62042     65889    163914   2482770     12.17     18.12  --
3367.77/843.15	c  N dy  7856   2057412       762      1346     62046     85610    163914   3599038     12.17     13.26  --
3405.32/852.52	c  N dy  7919   2078291       762      1346     62051    105576    163914   4714195     12.17     12.84  --
3444.87/862.41	c  N dy  7967   2098338       762      1346     62054     64299    163914   2268455     12.16     18.21  --
3472.02/869.23	c  N dy  8028   2118392       762      1346     62057     83560    163914   3265411     12.15     13.07  --
3508.78/878.45	c  N dy  8106   2139209       762      1346     62059    103592    163914   4321031     12.15     12.85  --
3555.92/890.27	c  N dy  8181   2159306       762      1346     62066     61411    163914   2060818     12.15     15.73  --
3585.07/897.51	c  N dy  8262   2179336       761      1346     62081     80644    163914   3045299     12.15     12.82  --
3620.22/906.36	c  N dy  8366   2199404       761      1346     62088    100022    163914   4334696     12.17     16.84  --
3642.19/911.80	c  S st  8404   2210672       761      1346     62091    110873    163914   4937091     12.16      9.65  --
3642.99/912.09	c  S st  8404   2211172       761      1346     62091    111373    163914   4975708     12.16   no data  --
3643.39/912.10	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
3643.39/912.10	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3648.59/913.44	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      1 BRemL:      0 BRemN:      0 P: 34.5M T:  5.36
3649.39/913.70	c bin-w-bin subsume rem            9 bins  time:  0.03 s
3657.77/915.77	c subs with bin:      184  lits-rem:      1045  v-fix:    0  time:  8.27 s
3657.77/915.78	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    761 time:  0.03 s
3657.77/915.79	c Removed useless bin:       0  fixed:     0  props:   0.27M  time:  0.02 s
3791.59/949.21	c lits-rem:      3224  cl-subs:     4853  v-elim:      0  v-fix:    0  time: 133.46 s
3791.59/949.21	c vivif2 --  cl tried     1346 cl shrink       16 lits rem         19 time: 0.00
3791.99/949.34	c vivif2 --  cl tried    87619 cl shrink     5694 lits rem       7519 time: 0.52
3793.18/949.70	c asymm  cl-useful: 0/465/1346 lits-rem:0 time: 1.40
3793.58/949.70	c calculated reachability. Time: 0.00
3793.58/949.70	c  N dy  8404   2211172       761      1346     60568     87617    161151   4476997     12.16   no data  --
3804.37/952.49	c Finding binary XORs  T:     0.01 s  found:       0
3839.15/961.16	c  N dy  8503   2231497       761      1346     60602     54199    161151   2063653     12.18     12.85  --
3869.51/968.78	c  N dy  8587   2252048       761      1346     60609     74047    161151   3528545     12.18     12.94  --
3915.03/980.11	c  N dy  8685   2272483       761      1346     60612     93792    161151   4902866     12.19     12.85  --
3969.35/993.72	c  N dy  8749   2293867       761      1346     60619    114277    161151   6323122     12.19     13.34  --
4006.12/1002.96	c  N dy  8836   2314222       761      1346     60629     75128    161151   3237732     12.19     12.93  --
4044.86/1012.67	c  N dy  8922   2334254       761      1346     60641     94354    161151   4529865     12.19     12.88  --
4091.99/1024.41	c  N dy  9007   2354346       760      1346     60653    113669    161151   5743487     12.19     14.79  --
4135.12/1035.25	c  N dy  9085   2374385       760      1346     60660     70831    161151   2902617     12.19     18.67  --
4173.87/1044.96	c  N dy  9150   2395599       760      1346     60668     91232    161151   4296196     12.19     12.87  --
4227.40/1058.31	c  N dy  9216   2415652       760      1346     60675    110520    161151   5705653     12.19     13.01  --
4288.51/1073.60	c  N dy  9309   2435763       760      1346     60684     65645    161151   2497728     12.20     13.29  --
4322.87/1082.20	c  N dy  9391   2455789       760      1346     60695     84935    161151   3919746     12.21     12.95  --
4368.41/1093.65	c  N dy  9492   2476137       760      1346     60705    104539    161151   5316037     12.22     13.03  --
4425.93/1108.01	c  N dy  9582   2496604       760      1346     60712    124296    161151   6652209     12.22     12.88  --
4469.47/1118.93	c  N dy  9647   2516663       760      1346     60723     77805    161151   3223901     12.22     18.68  --
4507.82/1128.50	c  N dy  9726   2536734       760      1346     60732     97109    161151   4537517     12.22     17.36  --
4557.35/1140.90	c  N dy  9812   2556833       759      1346     60738    116422    161151   5800693     12.23     12.91  --
4611.68/1154.53	c  N dy  9876   2577116       759      1346     60749     68821    161151   2488953     12.23     13.00  --
4644.43/1162.73	c  N dy  9943   2597502       759      1346     60758     88408    161151   3723236     12.22     13.01  --
4688.37/1173.76	c  N dy 10019   2618906       759      1346     60767    108991    161151   4960893     12.22     12.98  --
4740.30/1186.71	c  N dy 10084   2638944       759      1346     60780    128204    161151   6106231     12.22     20.86  --
4787.04/1198.42	c  N dy 10170   2659309       757      1346     60796     79637    161151   3090354     12.22     12.96  --

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

running on 4 cores: 0,2,4,6

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: 7.47 7.96 7.98 2/174 31471
/proc/meminfo: memFree=30147084/32950928 swapFree=67086612/67111528
[pid=31471] ppid=31469 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/31471/stat : 31471 (strangenight1-m) R 31469 31471 31021 0 -1 4202496 413 0 0 0 0 0 0 0 22 0 4 0 524999333 52465664 352 33554432000 4194304 4650419 140734595262304 18446744073709551615 47464164194226 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31471/statm: 12809 352 303 112 0 7774 0
[pid=31471/tid=31472] ppid=31469 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/31471/task/31472/stat : 31472 (strangenight1-m) R 31469 31471 31021 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 4 0 524999333 52465664 352 33554432000 4194304 4650419 140734595262304 18446744073709551615 47464164194226 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31471/tid=31473] ppid=31469 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/31471/task/31473/stat : 31473 (strangenight1-m) R 31469 31471 31021 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 524999333 52465664 352 33554432000 4194304 4650419 140734595262304 18446744073709551615 47464164194226 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31471/tid=31474] ppid=31469 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/31471/task/31474/stat : 31474 (strangenight1-m) R 31469 31471 31021 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 4 0 524999334 52465664 352 33554432000 4194304 4650419 140734595262304 18446744073709551615 239476751345 0 0 4096 2 0 0 0 -1 4 0 0 0

[startup+0.0190581 s]
/proc/loadavg: 7.47 7.96 7.98 2/174 31471
/proc/meminfo: memFree=30147084/32950928 swapFree=67086612/67111528
[pid=31471] ppid=31469 vsize=283016 CPUtime=0.03 cores=0,2,4,6
/proc/31471/stat : 31471 (strangenight1-m) R 31469 31471 31021 0 -1 4202496 2413 0 0 0 2 1 0 0 18 0 4 0 524999333 289808384 2325 33554432000 4194304 4650419 140734595262304 18446744073709551615 239476356129 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31471/statm: 70754 2407 343 112 0 65719 0
[pid=31471/tid=31472] ppid=31469 vsize=283016 CPUtime=0 cores=0,2,4,6
/proc/31471/task/31472/stat : 31472 (strangenight1-m) D 31469 31471 31021 0 -1 4202560 493 0 0 0 0 0 0 0 18 0 4 0 524999333 289808384 2413 33554432000 4194304 4650419 140734595262304 18446744073709551615 239476355781 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31471/tid=31473] ppid=31469 vsize=283148 CPUtime=0 cores=0,2,4,6
/proc/31471/task/31473/stat : 31473 (strangenight1-m) R 31469 31471 31021 0 -1 4202560 614 0 0 0 0 0 0 0 18 0 4 0 524999333 289943552 2515 33554432000 4194304 4650419 140734595262304 18446744073709551615 4545880 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31471/tid=31474] ppid=31469 vsize=283148 CPUtime=0 cores=0,2,4,6
/proc/31471/task/31474/stat : 31474 (strangenight1-m) D 31469 31471 31021 0 -1 4202560 489 0 0 0 0 0 0 0 18 0 4 0 524999334 289943552 2515 33554432000 4194304 4650419 140734595262304 18446744073709551615 239476738231 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 283016

[startup+0.131341 s]
/proc/loadavg: 7.47 7.96 7.98 2/174 31471
/proc/meminfo: memFree=30147084/32950928 swapFree=67086612/67111528
[pid=31471] ppid=31469 vsize=295752 CPUtime=2.13 cores=0,2,4,6
/proc/31471/stat : 31471 (strangenight1-m) R 31469 31471 31021 0 -1 4202496 7913 0 0 0 209 4 0 0 18 0 4 0 524999333 302850048 6562 33554432000 4194304 4650419 140734595262304 18446744073709551615 239476738183 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31471/statm: 72401 7394 392 112 0 67366 0
[pid=31471/tid=31472] ppid=31469 vsize=289604 CPUtime=0.94 cores=0,2,4,6
/proc/31471/task/31472/stat : 31472 (strangenight1-m) R 31469 31471 31021 0 -1 4202560 2569 0 0 0 93 1 0 0 19 0 4 0 524999333 296554496 7394 33554432000 4194304 4650419 140734595262304 18446744073709551615 4365348 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31471/tid=31473] ppid=31469 vsize=289604 CPUtime=0.95 cores=0,2,4,6
/proc/31471/task/31473/stat : 31473 (strangenight1-m) R 31469 31471 31021 0 -1 4202560 2494 0 0 0 95 0 0 0 19 0 4 0 524999333 296554496 7394 33554432000 4194304 4650419 140734595262304 18446744073709551615 4363768 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31471/tid=31474] ppid=31469 vsize=289604 CPUtime=0.94 cores=0,2,4,6
/proc/31471/task/31474/stat : 31474 (strangenight1-m) R 31469 31471 31021 0 -1 4202560 2292 0 0 0 93 1 0 0 19 0 4 0 524999334 296554496 7394 33554432000 4194304 4650419 140734595262304 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.13
Current children cumulated vsize (KiB) 295752

[startup+1.07079 s]
/proc/loadavg: 7.47 7.96 7.98 2/174 31471
/proc/meminfo: memFree=30147084/32950928 swapFree=67086612/67111528
[pid=31471] ppid=31469 vsize=289736 CPUtime=4.2 cores=0,2,4,6
/proc/31471/stat : 31471 (strangenight1-m) R 31469 31471 31021 0 -1 4202496 10622 0 0 0 416 4 0 0 19 0 4 0 524999333 296689664 7737 33554432000 4194304 4650419 140734595262304 18446744073709551615 4520364 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31471/statm: 72434 7737 392 112 0 67399 0
[pid=31471/tid=31472] ppid=31469 vsize=289736 CPUtime=1.04 cores=0,2,4,6
/proc/31471/task/31472/stat : 31472 (strangenight1-m) R 31469 31471 31021 0 -1 4202560 2645 0 0 0 103 1 0 0 19 0 4 0 524999333 296689664 7737 33554432000 4194304 4650419 140734595262304 18446744073709551615 4315143 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31471/tid=31473] ppid=31469 vsize=289736 CPUtime=1.05 cores=0,2,4,6
/proc/31471/task/31473/stat : 31473 (strangenight1-m) R 31469 31471 31021 0 -1 4202560 2546 0 0 0 105 0 0 0 19 0 4 0 524999333 296689664 7737 33554432000 4194304 4650419 140734595262304 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31471/tid=31474] ppid=31469 vsize=289736 CPUtime=1.04 cores=0,2,4,6
/proc/31471/task/31474/stat : 31474 (strangenight1-m) R 31469 31471 31021 0 -1 4202560 2397 0 0 0 103 1 0 0 19 0 4 0 524999334 296689664 7737 33554432000 4194304 4650419 140734595262304 18446744073709551615 4365321 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.2
Current children cumulated vsize (KiB) 289736

[startup+1.17077 s]
/proc/loadavg: 7.47 7.96 7.98 2/174 31471
/proc/meminfo: memFree=30147084/32950928 swapFree=67086612/67111528
[pid=31471] ppid=31469 vsize=290384 CPUtime=4.6 cores=0,2,4,6
/proc/31471/stat : 31471 (strangenight1-m) R 31469 31471 31021 0 -1 4202496 11523 0 0 0 456 4 0 0 19 0 4 0 524999333 297353216 7306 33554432000 4194304 4650419 140734595262304 18446744073709551615 4363709 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31471/statm: 72596 7306 392 112 0 67561 0
[pid=31471/tid=31472] ppid=31469 vsize=290384 CPUtime=1.14 cores=0,2,4,6
/proc/31471/task/31472/stat : 31472 (strangenight1-m) R 31469 31471 31021 0 -1 4202560 2728 0 0 0 113 1 0 0 19 0 4 0 524999333 297353216 7306 33554432000 4194304 4650419 140734595262304 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31471/tid=31473] ppid=31469 vsize=290384 CPUtime=1.15 cores=0,2,4,6
/proc/31471/task/31473/stat : 31473 (strangenight1-m) R 31469 31471 31021 0 -1 4202560 2598 0 0 0 115 0 0 0 19 0 4 0 524999333 297353216 7307 33554432000 4194304 4650419 140734595262304 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31471/tid=31474] ppid=31469 vsize=290384 CPUtime=1.14 cores=0,2,4,6
/proc/31471/task/31474/stat : 31474 (strangenight1-m) R 31469 31471 31021 0 -1 4202560 2744 0 0 0 113 1 0 0 19 0 4 0 524999334 297353216 7308 33554432000 4194304 4650419 140734595262304 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.6
Current children cumulated vsize (KiB) 290384

[startup+1.50071 s]
/proc/loadavg: 7.47 7.96 7.98 2/174 31471
/proc/meminfo: memFree=30147084/32950928 swapFree=67086612/67111528
[pid=31471] ppid=31469 vsize=291048 CPUtime=5.93 cores=0,2,4,6
/proc/31471/stat : 31471 (strangenight1-m) R 31469 31471 31021 0 -1 4202496 12891 0 0 0 588 5 0 0 20 0 4 0 524999333 298033152 7875 33554432000 4194304 4650419 140734595262304 18446744073709551615 4366819 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31471/statm: 72762 7875 392 112 0 67727 0
[pid=31471/tid=31472] ppid=31469 vsize=291048 CPUtime=1.47 cores=0,2,4,6
/proc/31471/task/31472/stat : 31472 (strangenight1-m) R 31469 31471 31021 0 -1 4202560 3404 0 0 0 146 1 0 0 19 0 4 0 524999333 298033152 7875 33554432000 4194304 4650419 140734595262304 18446744073709551615 4330887 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31471/tid=31473] ppid=31469 vsize=291048 CPUtime=1.48 cores=0,2,4,6
/proc/31471/task/31473/stat : 31473 (strangenight1-m) R 31469 31471 31021 0 -1 4202560 2788 0 0 0 148 0 0 0 19 0 4 0 524999333 298033152 7875 33554432000 4194304 4650419 140734595262304 18446744073709551615 4333767 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31471/tid=31474] ppid=31469 vsize=291048 CPUtime=1.47 cores=0,2,4,6
/proc/31471/task/31474/stat : 31474 (strangenight1-m) R 31469 31471 31021 0 -1 4202560 3020 0 0 0 146 1 0 0 19 0 4 0 524999334 298033152 7875 33554432000 4194304 4650419 140734595262304 18446744073709551615 4365216 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.93
Current children cumulated vsize (KiB) 291048

[startup+3.1004 s]
/proc/loadavg: 7.47 7.96 7.98 9/184 31484
/proc/meminfo: memFree=30020324/32950928 swapFree=67086612/67111528
[pid=31471] ppid=31469 vsize=283704 CPUtime=12.31 cores=0,2,4,6
/proc/31471/stat : 31471 (strangenight1-m) R 31469 31471 31021 0 -1 4202496 20095 0 0 0 1224 7 0 0 25 0 4 0 524999333 290512896 10335 33554432000 4194304 4650419 140734595262304 18446744073709551615 4366869 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31471/statm: 70926 10335 393 112 0 65891 0
[pid=31471/tid=31472] ppid=31469 vsize=283704 CPUtime=3.06 cores=0,2,4,6
/proc/31471/task/31472/stat : 31472 (strangenight1-m) R 31469 31471 31021 0 -1 4202560 5052 0 0 0 305 1 0 0 25 0 4 0 524999333 290512896 10335 33554432000 4194304 4650419 140734595262304 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31471/tid=31473] ppid=31469 vsize=283704 CPUtime=3.08 cores=0,2,4,6
/proc/31471/task/31473/stat : 31473 (strangenight1-m) R 31469 31471 31021 0 -1 4202560 4653 0 0 0 307 1 0 0 25 0 4 0 524999333 290512896 10335 33554432000 4194304 4650419 140734595262304 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31471/tid=31474] ppid=31469 vsize=283704 CPUtime=3.05 cores=0,2,4,6
/proc/31471/task/31474/stat : 31474 (strangenight1-m) R 31469 31471 31021 0 -1 4202560 4856 0 0 0 304 1 0 0 25 0 4 0 524999334 290512896 10335 33554432000 4194304 4650419 140734595262304 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.31
Current children cumulated vsize (KiB) 283704

[startup+6.30679 s]
/proc/loadavg: 7.52 7.96 7.98 9/184 31484
/proc/meminfo: memFree=29957608/32950928 swapFree=67086612/67111528
[pid=31471] ppid=31469 vsize=294400 CPUtime=25.12 cores=0,2,4,6
/proc/31471/stat : 31471 (strangenight1-m) R 31469 31471 31021 0 -1 4202496 35144 0 0 0 2501 11 0 0 25 0 4 0 524999333 301465600 22769 33554432000 4194304 4650419 140734595262304 18446744073709551615 4439644 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31471/statm: 73600 22769 394 112 0 68565 0
[pid=31471/tid=31472] ppid=31469 vsize=294400 CPUtime=6.27 cores=0,2,4,6
/proc/31471/task/31472/stat : 31472 (strangenight1-m) R 31469 31471 31021 0 -1 4202560 10409 0 0 0 624 3 0 0 25 0 4 0 524999333 301465600 22769 33554432000 4194304 4650419 140734595262304 18446744073709551615 4435469 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31471/tid=31473] ppid=31469 vsize=294400 CPUtime=6.3 cores=0,2,4,6
/proc/31471/task/31473/stat : 31473 (strangenight1-m) R 31469 31471 31021 0 -1 4202560 7381 0 0 0 628 2 0 0 25 0 4 0 524999333 301465600 22769 33554432000 4194304 4650419 140734595262304 18446744073709551615 4439111 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31471/tid=31474] ppid=31469 vsize=294400 CPUtime=6.25 cores=0,2,4,6
/proc/31471/task/31474/stat : 31474 (strangenight1-m) R 31469 31471 31021 0 -1 4202560 8627 0 0 0 623 2 0 0 25 0 4 0 524999334 301465600 22769 33554432000 4194304 4650419 140734595262304 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.12
Current children cumulated vsize (KiB) 294400

[startup+12.7006 s]
/proc/loadavg: 7.56 7.96 7.98 9/184 31484
/proc/meminfo: memFree=29917944/32950928 swapFree=67086612/67111528
[pid=31471] ppid=31469 vsize=306768 CPUtime=50.66 cores=0,2,4,6
/proc/31471/stat : 31471 (strangenight1-m) R 31469 31471 31021 0 -1 4202496 49042 0 0 0 5052 14 0 0 25 0 4 0 524999333 314130432 30885 33554432000 4194304 4650419 140734595262304 18446744073709551615 4438922 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31471/statm: 76692 30885 394 112 0 71657 0
[pid=31471/tid=31472] ppid=31469 vsize=306768 CPUtime=12.67 cores=0,2,4,6
/proc/31471/task/31472/stat : 31472 (strangenight1-m) R 31469 31471 31021 0 -1 4202560 12172 0 0 0 1263 4 0 0 25 0 4 0 524999333 314130432 30885 33554432000 4194304 4650419 140734595262304 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31471/tid=31473] ppid=31469 vsize=306768 CPUtime=12.69 cores=0,2,4,6
/proc/31471/task/31473/stat : 31473 (strangenight1-m) R 31469 31471 31021 0 -1 4202560 13319 0 0 0 1266 3 0 0 25 0 4 0 524999333 314130432 30885 33554432000 4194304 4650419 140734595262304 18446744073709551615 4435766 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31471/tid=31474] ppid=31469 vsize=306768 CPUtime=12.61 cores=0,2,4,6
/proc/31471/task/31474/stat : 31474 (strangenight1-m) R 31469 31471 31021 0 -1 4202560 12254 0 0 0 1258 3 0 0 25 0 4 0 524999334 314130432 30885 33554432000 4194304 4650419 140734595262304 18446744073709551615 4365337 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.66
Current children cumulated vsize (KiB) 306768

[startup+25.5011 s]
/proc/loadavg: 7.65 7.96 7.98 9/184 31485
/proc/meminfo: memFree=29828908/32950928 swapFree=67086612/67111528
[pid=31471] ppid=31469 vsize=374596 CPUtime=101.79 cores=0,2,4,6
/proc/31471/stat : 31471 (strangenight1-m) R 31469 31471 31021 0 -1 4202496 74997 0 0 0 10159 20 0 0 25 0 4 0 524999333 383586304 42837 33554432000 4194304 4650419 140734595262304 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31471/statm: 93649 42837 394 112 0 88614 0
[pid=31471/tid=31472] ppid=31469 vsize=374596 CPUtime=25.46 cores=0,2,4,6
/proc/31471/task/31472/stat : 31472 (strangenight1-m) R 31469 31471 31021 0 -1 4202560 21235 0 0 0 2541 5 0 0 25 0 4 0 524999333 383586304 42837 33554432000 4194304 4650419 140734595262304 18446744073709551615 4366896 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31471/tid=31473] ppid=31469 vsize=374596 CPUtime=25.49 cores=0,2,4,6
/proc/31471/task/31473/stat : 31473 (strangenight1-m) R 31469 31471 31021 0 -1 4202560 18048 0 0 0 2545 4 0 0 25 0 4 0 524999333 383586304 42837 33554432000 4194304 4650419 140734595262304 18446744073709551615 4328794 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31471/tid=31474] ppid=31469 vsize=374596 CPUtime=25.34 cores=0,2,4,6
/proc/31471/task/31474/stat : 31474 (strangenight1-m) R 31469 31471 31021 0 -1 4202560 20091 0 0 0 2529 5 0 0 25 0 4 0 524999334 383586304 42837 33554432000 4194304 4650419 140734595262304 18446744073709551615 4438399 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.79
Current children cumulated vsize (KiB) 374596

[startup+51.1002 s]
/proc/loadavg: 7.84 7.98 7.98 9/184 31485
/proc/meminfo: memFree=29740172/32950928 swapFree=67086612/67111528
[pid=31471] ppid=31469 vsize=387324 CPUtime=204.05 cores=0,2,4,6
/proc/31471/stat : 31471 (strangenight1-m) R 31469 31471 31021 0 -1 4202496 112021 0 0 0 20377 28 0 0 25 0 4 0 524999333 396619776 56254 33554432000 4194304 4650419 140734595262304 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31471/statm: 96831 56254 394 112 0 91796 0
[pid=31471/tid=31472] ppid=31469 vsize=387324 CPUtime=51.06 cores=0,2,4,6
/proc/31471/task/31472/stat : 31472 (strangenight1-m) R 31469 31471 31021 0 -1 4202560 29771 0 0 0 5099 7 0 0 25 0 4 0 524999333 396619776 56254 33554432000 4194304 4650419 140734595262304 18446744073709551615 4365337 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31471/tid=31473] ppid=31469 vsize=387324 CPUtime=51.09 cores=0,2,4,6
/proc/31471/task/31473/stat : 31473 (strangenight1-m) R 31469 31471 31021 0 -1 4202560 27468 0 0 0 5103 6 0 0 25 0 4 0 524999333 396619776 56254 33554432000 4194304 4650419 140734595262304 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31471/tid=31474] ppid=31469 vsize=387324 CPUtime=50.81 cores=0,2,4,6
/proc/31471/task/31474/stat : 31474 (strangenight1-m) R 31469 31471 31021 0 -1 4202560 29574 0 0 0 5073 8 0 0 25 0 4 0 524999334 396619776 56254 33554432000 4194304 4650419 140734595262304 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 204.05
Current children cumulated vsize (KiB) 387324

[startup+102.3 s]
/proc/loadavg: 7.97 7.99 7.99 9/184 31487
/proc/meminfo: memFree=29672252/32950928 swapFree=67086612/67111528
[pid=31471] ppid=31469 vsize=522808 CPUtime=408.57 cores=0,2,4,6
/proc/31471/stat : 31471 (strangenight1-m) R 31469 31471 31021 0 -1 4202496 185332 0 0 0 40811 46 0 0 25 0 4 0 524999333 535355392 68193 33554432000 4194304 4650419 140734595262304 18446744073709551615 4366831 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31471/statm: 130702 68193 395 112 0 125667 0
[pid=31471/tid=31472] ppid=31469 vsize=522808 CPUtime=102.26 cores=0,2,4,6
/proc/31471/task/31472/stat : 31472 (strangenight1-m) R 31469 31471 31021 0 -1 4202560 48925 0 0 0 10215 11 0 0 25 0 4 0 524999333 535355392 68193 33554432000 4194304 4650419 140734595262304 18446744073709551615 4365337 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31471/tid=31473] ppid=31469 vsize=522808 CPUtime=102.29 cores=0,2,4,6
/proc/31471/task/31473/stat : 31473 (strangenight1-m) R 31469 31471 31021 0 -1 4202560 41178 0 0 0 10219 10 0 0 25 0 4 0 524999333 535355392 68193 33554432000 4194304 4650419 140734595262304 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31471/tid=31474] ppid=31469 vsize=522808 CPUtime=101.74 cores=0,2,4,6
/proc/31471/task/31474/stat : 31474 (strangenight1-m) R 31469 31471 31021 0 -1 4202560 53947 0 0 0 10161 13 0 0 25 0 4 0 524999334 535355392 68193 33554432000 4194304 4650419 140734595262304 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 408.57
Current children cumulated vsize (KiB) 522808

[startup+162.301 s]

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

[pid=31471] ppid=31469 vsize=912228 CPUtime=2805.33 cores=0,2,4,6
/proc/31471/stat : 31471 (strangenight1-m) R 31469 31471 31021 0 -1 4202496 878955 0 0 0 280326 207 0 0 25 0 4 0 524999333 934121472 147247 33554432000 4194304 4650419 140734595262304 18446744073709551615 4365330 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31471/statm: 228057 147247 394 112 0 223022 0
[pid=31471/tid=31472] ppid=31469 vsize=912228 CPUtime=702.28 cores=0,2,4,6
/proc/31471/task/31472/stat : 31472 (strangenight1-m) R 31469 31471 31021 0 -1 4202560 254164 0 0 0 70173 55 0 0 25 0 4 0 524999333 934121472 147247 33554432000 4194304 4650419 140734595262304 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31471/tid=31473] ppid=31469 vsize=912228 CPUtime=702.3 cores=0,2,4,6
/proc/31471/task/31473/stat : 31473 (strangenight1-m) R 31469 31471 31021 0 -1 4202560 143062 0 0 0 70193 37 0 0 25 0 4 0 524999333 934121472 147247 33554432000 4194304 4650419 140734595262304 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31471/tid=31474] ppid=31469 vsize=912228 CPUtime=698.51 cores=0,2,4,6
/proc/31471/task/31474/stat : 31474 (strangenight1-m) R 31469 31471 31021 0 -1 4202560 215799 0 0 0 69796 55 0 0 25 0 4 0 524999334 934121472 147247 33554432000 4194304 4650419 140734595262304 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2805.33
Current children cumulated vsize (KiB) 912228

[startup+762.301 s]
/proc/loadavg: 8.12 8.06 8.01 9/184 31504
/proc/meminfo: memFree=29218424/32950928 swapFree=67086612/67111528
[pid=31471] ppid=31469 vsize=932180 CPUtime=3045.01 cores=0,2,4,6
/proc/31471/stat : 31471 (strangenight1-m) R 31469 31471 31021 0 -1 4202496 927819 0 0 0 304281 220 0 0 25 0 4 0 524999333 954552320 147118 33554432000 4194304 4650419 140734595262304 18446744073709551615 4366816 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31471/statm: 233045 147118 394 112 0 228010 0
[pid=31471/tid=31472] ppid=31469 vsize=932180 CPUtime=762.29 cores=0,2,4,6
/proc/31471/task/31472/stat : 31472 (strangenight1-m) R 31469 31471 31021 0 -1 4202560 267003 0 0 0 76170 59 0 0 25 0 4 0 524999333 954552320 147118 33554432000 4194304 4650419 140734595262304 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31471/tid=31473] ppid=31469 vsize=932180 CPUtime=762.31 cores=0,2,4,6
/proc/31471/task/31473/stat : 31473 (strangenight1-m) R 31469 31471 31021 0 -1 4202560 152922 0 0 0 76191 40 0 0 25 0 4 0 524999333 954552320 147118 33554432000 4194304 4650419 140734595262304 18446744073709551615 4438944 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31471/tid=31474] ppid=31469 vsize=932180 CPUtime=758.18 cores=0,2,4,6
/proc/31471/task/31474/stat : 31474 (strangenight1-m) R 31469 31471 31021 0 -1 4202560 228912 0 0 0 75760 58 0 0 25 0 4 0 524999334 954552320 147118 33554432000 4194304 4650419 140734595262304 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3045.01
Current children cumulated vsize (KiB) 932180

[startup+822.301 s]
/proc/loadavg: 8.12 8.07 8.02 9/184 31506
/proc/meminfo: memFree=29155944/32950928 swapFree=67086612/67111528
[pid=31471] ppid=31469 vsize=1082536 CPUtime=3284.68 cores=0,2,4,6
/proc/31471/stat : 31471 (strangenight1-m) R 31469 31471 31021 0 -1 4202496 968937 0 0 0 328235 233 0 0 25 0 4 0 524999333 1108516864 160860 33554432000 4194304 4650419 140734595262304 18446744073709551615 4365343 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31471/statm: 270634 160860 394 112 0 265599 0
[pid=31471/tid=31472] ppid=31469 vsize=1082536 CPUtime=822.29 cores=0,2,4,6
/proc/31471/task/31472/stat : 31472 (strangenight1-m) R 31469 31471 31021 0 -1 4202560 274672 0 0 0 82168 61 0 0 25 0 4 0 524999333 1108516864 160860 33554432000 4194304 4650419 140734595262304 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31471/tid=31473] ppid=31469 vsize=1082536 CPUtime=822.31 cores=0,2,4,6
/proc/31471/task/31473/stat : 31473 (strangenight1-m) R 31469 31471 31021 0 -1 4202560 165772 0 0 0 82188 43 0 0 25 0 4 0 524999333 1108516864 160860 33554432000 4194304 4650419 140734595262304 18446744073709551615 4328259 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31471/tid=31474] ppid=31469 vsize=1082536 CPUtime=817.86 cores=0,2,4,6
/proc/31471/task/31474/stat : 31474 (strangenight1-m) R 31469 31471 31021 0 -1 4202560 236775 0 0 0 81725 61 0 0 25 0 4 0 524999334 1108516864 160860 33554432000 4194304 4650419 140734595262304 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3284.68
Current children cumulated vsize (KiB) 1082536

[startup+882.301 s]
/proc/loadavg: 8.12 8.08 8.02 9/184 31508
/proc/meminfo: memFree=29140492/32950928 swapFree=67086612/67111528
[pid=31471] ppid=31469 vsize=1063316 CPUtime=3524.36 cores=0,2,4,6
/proc/31471/stat : 31471 (strangenight1-m) R 31469 31471 31021 0 -1 4202496 1002816 0 0 0 352191 245 0 0 25 0 4 0 524999333 1088835584 161632 33554432000 4194304 4650419 140734595262304 18446744073709551615 4364751 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31471/statm: 265829 161632 478 112 0 260794 0
[pid=31471/tid=31472] ppid=31469 vsize=1063316 CPUtime=882.29 cores=0,2,4,6
/proc/31471/task/31472/stat : 31472 (strangenight1-m) R 31469 31471 31021 0 -1 4202560 282172 0 0 0 88165 64 0 0 25 0 4 0 524999333 1088835584 161632 33554432000 4194304 4650419 140734595262304 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31471/tid=31473] ppid=31469 vsize=1063316 CPUtime=882.31 cores=0,2,4,6
/proc/31471/task/31473/stat : 31473 (strangenight1-m) R 31469 31471 31021 0 -1 4202560 177997 0 0 0 88184 47 0 0 25 0 4 0 524999333 1088835584 161633 33554432000 4194304 4650419 140734595262304 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31471/tid=31474] ppid=31469 vsize=1063316 CPUtime=877.53 cores=0,2,4,6
/proc/31471/task/31474/stat : 31474 (strangenight1-m) R 31469 31471 31021 0 -1 4202560 238975 0 0 0 87691 62 0 0 25 0 4 0 524999334 1088835584 161633 33554432000 4194304 4650419 140734595262304 18446744073709551615 4476522 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3524.36
Current children cumulated vsize (KiB) 1063316

[startup+942.301 s]
/proc/loadavg: 8.20 8.11 8.03 9/184 31509
/proc/meminfo: memFree=29065776/32950928 swapFree=67086612/67111528
[pid=31471] ppid=31469 vsize=1165708 CPUtime=3764.05 cores=0,2,4,6
/proc/31471/stat : 31471 (strangenight1-m) R 31469 31471 31021 0 -1 4202496 1037123 0 0 0 376145 260 0 0 25 0 4 0 524999333 1193684992 177292 33554432000 4194304 4650419 140734595262304 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31471/statm: 291427 177292 478 112 0 286392 0
[pid=31471/tid=31472] ppid=31469 vsize=1165708 CPUtime=942.3 cores=0,2,4,6
/proc/31471/task/31472/stat : 31472 (strangenight1-m) R 31469 31471 31021 0 -1 4202560 293577 0 0 0 94162 68 0 0 25 0 4 0 524999333 1193684992 177292 33554432000 4194304 4650419 140734595262304 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31471/tid=31473] ppid=31469 vsize=1165708 CPUtime=942.32 cores=0,2,4,6
/proc/31471/task/31473/stat : 31473 (strangenight1-m) R 31469 31471 31021 0 -1 4202560 187459 0 0 0 94179 53 0 0 25 0 4 0 524999333 1193684992 177292 33554432000 4194304 4650419 140734595262304 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31471/tid=31474] ppid=31469 vsize=1165708 CPUtime=937.21 cores=0,2,4,6
/proc/31471/task/31474/stat : 31474 (strangenight1-m) R 31469 31471 31021 0 -1 4202560 246584 0 0 0 93656 65 0 0 25 0 4 0 524999334 1193684992 177292 33554432000 4194304 4650419 140734595262304 18446744073709551615 4365252 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3764.05
Current children cumulated vsize (KiB) 1165708

[startup+1002.3 s]
/proc/loadavg: 8.18 8.12 8.04 9/184 31511
/proc/meminfo: memFree=29112684/32950928 swapFree=67086612/67111528
[pid=31471] ppid=31469 vsize=925872 CPUtime=4003.71 cores=0,2,4,6
/proc/31471/stat : 31471 (strangenight1-m) R 31469 31471 31021 0 -1 4202496 1089123 0 0 0 400097 274 0 0 25 0 4 0 524999333 948092928 166955 33554432000 4194304 4650419 140734595262304 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31471/statm: 231468 166955 478 112 0 226433 0
[pid=31471/tid=31472] ppid=31469 vsize=925872 CPUtime=1002.29 cores=0,2,4,6
/proc/31471/task/31472/stat : 31472 (strangenight1-m) R 31469 31471 31021 0 -1 4202560 305127 0 0 0 100158 71 0 0 25 0 4 0 524999333 948092928 166955 33554432000 4194304 4650419 140734595262304 18446744073709551615 4366928 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31471/tid=31473] ppid=31469 vsize=925872 CPUtime=1002.31 cores=0,2,4,6
/proc/31471/task/31473/stat : 31473 (strangenight1-m) R 31469 31471 31021 0 -1 4202560 204168 0 0 0 100174 57 0 0 25 0 4 0 524999333 948092928 166955 33554432000 4194304 4650419 140734595262304 18446744073709551615 4328474 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31471/tid=31474] ppid=31469 vsize=925872 CPUtime=996.88 cores=0,2,4,6
/proc/31471/task/31474/stat : 31474 (strangenight1-m) R 31469 31471 31021 0 -1 4202560 258558 0 0 0 99620 68 0 0 25 0 4 0 524999334 948092928 166955 33554432000 4194304 4650419 140734595262304 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4003.71
Current children cumulated vsize (KiB) 925872

[startup+1062.31 s]
/proc/loadavg: 8.17 8.12 8.04 9/184 31512
/proc/meminfo: memFree=29012536/32950928 swapFree=67086612/67111528
[pid=31471] ppid=31469 vsize=1168904 CPUtime=4243.4 cores=0,2,4,6
/proc/31471/stat : 31471 (strangenight1-m) R 31469 31471 31021 0 -1 4202496 1142540 0 0 0 424050 290 0 0 25 0 4 0 524999333 1196957696 186038 33554432000 4194304 4650419 140734595262304 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31471/statm: 292226 186038 478 112 0 287191 0
[pid=31471/tid=31472] ppid=31469 vsize=1168904 CPUtime=1062.31 cores=0,2,4,6
/proc/31471/task/31472/stat : 31472 (strangenight1-m) R 31469 31471 31021 0 -1 4202560 314499 0 0 0 106156 75 0 0 25 0 4 0 524999333 1196957696 186038 33554432000 4194304 4650419 140734595262304 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31471/tid=31473] ppid=31469 vsize=1168904 CPUtime=1062.32 cores=0,2,4,6
/proc/31471/task/31473/stat : 31473 (strangenight1-m) R 31469 31471 31021 0 -1 4202560 229319 0 0 0 106171 61 0 0 25 0 4 0 524999333 1196957696 186038 33554432000 4194304 4650419 140734595262304 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31471/tid=31474] ppid=31469 vsize=1168904 CPUtime=1056.56 cores=0,2,4,6
/proc/31471/task/31474/stat : 31474 (strangenight1-m) R 31469 31471 31021 0 -1 4202560 267660 0 0 0 105584 72 0 0 25 0 4 0 524999334 1196957696 186038 33554432000 4194304 4650419 140734595262304 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4243.4
Current children cumulated vsize (KiB) 1168904

[startup+1122.3 s]
/proc/loadavg: 8.12 8.12 8.04 9/184 31514
/proc/meminfo: memFree=29055116/32950928 swapFree=67086612/67111528
[pid=31471] ppid=31469 vsize=1059376 CPUtime=4483.06 cores=0,2,4,6
/proc/31471/stat : 31471 (strangenight1-m) R 31469 31471 31021 0 -1 4202496 1195041 0 0 0 448001 305 0 0 25 0 4 0 524999333 1084801024 175935 33554432000 4194304 4650419 140734595262304 18446744073709551615 4328259 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31471/statm: 264844 175935 478 112 0 259809 0
[pid=31471/tid=31472] ppid=31469 vsize=1059376 CPUtime=1122.3 cores=0,2,4,6
/proc/31471/task/31472/stat : 31472 (strangenight1-m) R 31469 31471 31021 0 -1 4202560 326903 0 0 0 112151 79 0 0 25 0 4 0 524999333 1084801024 175935 33554432000 4194304 4650419 140734595262304 18446744073709551615 4365327 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31471/tid=31473] ppid=31469 vsize=1059376 CPUtime=1122.33 cores=0,2,4,6
/proc/31471/task/31473/stat : 31473 (strangenight1-m) R 31469 31471 31021 0 -1 4202560 244229 0 0 0 112168 65 0 0 25 0 4 0 524999333 1084801024 175935 33554432000 4194304 4650419 140734595262304 18446744073709551615 4365330 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31471/tid=31474] ppid=31469 vsize=1059376 CPUtime=1116.24 cores=0,2,4,6
/proc/31471/task/31474/stat : 31474 (strangenight1-m) R 31469 31471 31021 0 -1 4202560 280257 0 0 0 111548 76 0 0 25 0 4 0 524999334 1084801024 175935 33554432000 4194304 4650419 140734595262304 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4483.06
Current children cumulated vsize (KiB) 1059376

[startup+1182.3 s]
/proc/loadavg: 8.10 8.11 8.04 9/184 31516
/proc/meminfo: memFree=29081324/32950928 swapFree=67086612/67111528
[pid=31471] ppid=31469 vsize=1105808 CPUtime=4722.73 cores=0,2,4,6
/proc/31471/stat : 31471 (strangenight1-m) R 31469 31471 31021 0 -1 4202496 1228804 0 0 0 471955 318 0 0 25 0 4 0 524999333 1132347392 169378 33554432000 4194304 4650419 140734595262304 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31471/statm: 276452 169378 478 112 0 271417 0
[pid=31471/tid=31472] ppid=31469 vsize=1105808 CPUtime=1182.3 cores=0,2,4,6
/proc/31471/task/31472/stat : 31472 (strangenight1-m) R 31469 31471 31021 0 -1 4202560 335029 0 0 0 118149 81 0 0 25 0 4 0 524999333 1132347392 169378 33554432000 4194304 4650419 140734595262304 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31471/tid=31473] ppid=31469 vsize=1105808 CPUtime=1182.32 cores=0,2,4,6
/proc/31471/task/31473/stat : 31473 (strangenight1-m) R 31469 31471 31021 0 -1 4202560 256419 0 0 0 118162 70 0 0 25 0 4 0 524999333 1132347392 169378 33554432000 4194304 4650419 140734595262304 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31471/tid=31474] ppid=31469 vsize=1105808 CPUtime=1175.9 cores=0,2,4,6
/proc/31471/task/31474/stat : 31474 (strangenight1-m) R 31469 31471 31021 0 -1 4202560 284217 0 0 0 117513 77 0 0 25 0 4 0 524999334 1132347392 169378 33554432000 4194304 4650419 140734595262304 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4722.73
Current children cumulated vsize (KiB) 1105808



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.07 8.10 8.04 5/180 31517
/proc/meminfo: memFree=29399024/32950928 swapFree=67086612/67111528
[pid=31471] ppid=31469 vsize=1126072 CPUtime=4800.24 cores=0,2,4,6
/proc/31471/stat : 31471 (strangenight1-m) R 31469 31471 31021 0 -1 4202496 1246616 0 0 0 479700 324 0 0 25 0 4 0 524999333 1153097728 185324 33554432000 4194304 4650419 140734595262304 18446744073709551615 4328259 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31471/statm: 281518 185324 409 112 0 276483 0
[pid=31471/tid=31472] ppid=31469 vsize=1126072 CPUtime=1201.71 cores=0,2,4,6
/proc/31471/task/31472/stat : 31472 (strangenight1-m) R 31469 31471 31021 0 -1 4202560 336609 0 0 0 120089 82 0 0 25 0 4 0 524999333 1153097728 185324 33554432000 4194304 4650419 140734595262304 18446744073709551615 4365330 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31471/tid=31473] ppid=31469 vsize=1126072 CPUtime=1201.73 cores=0,2,4,6
/proc/31471/task/31473/stat : 31473 (strangenight1-m) R 31469 31471 31021 0 -1 4202560 262149 0 0 0 120101 72 0 0 25 0 4 0 524999333 1153097728 185324 33554432000 4194304 4650419 140734595262304 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31471/tid=31474] ppid=31469 vsize=1126072 CPUtime=1195.2 cores=0,2,4,6
/proc/31471/task/31474/stat : 31474 (strangenight1-m) R 31469 31471 31021 0 -1 4202560 290098 0 0 0 119442 78 0 0 25 0 4 0 524999334 1153097728 185324 33554432000 4194304 4650419 140734595262304 18446744073709551615 4439361 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.24
Current children cumulated vsize (KiB) 1126072

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

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

[startup+1201.7 s]
/proc/loadavg: 8.07 8.10 8.04 5/180 31517
/proc/meminfo: memFree=29399024/32950928 swapFree=67086612/67111528
[pid=31471] ppid=31469 vsize=1126072 CPUtime=4800.24 cores=0,2,4,6
/proc/31471/stat : 31471 (strangenight1-m) R 31469 31471 31021 0 -1 4202496 1246616 0 0 0 479700 324 0 0 25 0 4 0 524999333 1153097728 185324 33554432000 4194304 4650419 140734595262304 18446744073709551615 4328259 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31471/statm: 281518 185324 409 112 0 276483 0
[pid=31471/tid=31472] ppid=31469 vsize=1126072 CPUtime=1201.71 cores=0,2,4,6
/proc/31471/task/31472/stat : 31472 (strangenight1-m) R 31469 31471 31021 0 -1 4202560 336609 0 0 0 120089 82 0 0 25 0 4 0 524999333 1153097728 185324 33554432000 4194304 4650419 140734595262304 18446744073709551615 4365330 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31471/tid=31473] ppid=31469 vsize=1126072 CPUtime=1201.73 cores=0,2,4,6
/proc/31471/task/31473/stat : 31473 (strangenight1-m) R 31469 31471 31021 0 -1 4202560 262149 0 0 0 120101 72 0 0 25 0 4 0 524999333 1153097728 185324 33554432000 4194304 4650419 140734595262304 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31471/tid=31474] ppid=31469 vsize=1126072 CPUtime=1195.2 cores=0,2,4,6
/proc/31471/task/31474/stat : 31474 (strangenight1-m) R 31469 31471 31021 0 -1 4202560 290098 0 0 0 119442 78 0 0 25 0 4 0 524999334 1153097728 185324 33554432000 4194304 4650419 140734595262304 18446744073709551615 4439361 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.24
Current children cumulated vsize (KiB) 1126072

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.75
CPU time (s): 4800.31
CPU user time (s): 4797.03
CPU system time (s): 3.2815
CPU usage (%): 399.443
Max. virtual memory (cumulated for all children) (KiB): 1235196

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.03
system time used= 3.2815
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1246616
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= 1875
involuntary context switches= 22726

runsolver used 1.87771 second user time and 4.65129 second system time

The end

Launcher Data 

Begin job on node148 at 2011-04-30 05:27:03
IDJOB=3262817
IDBENCH=83896
IDSOLVER=1588
FILE ID=node148/3262817-1304134023
RUNJOBID= node148-1304134023-31457
PBS_JOBID= 13170790
Free space on /tmp= 72960 MiB

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

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

MD5SUM BENCH= b5a637600c242725f15a247a84bdea1b
RANDOM SEED=1029967412

node148.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.854
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.70
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.854
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	: 5332.75
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.854
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.83
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.854
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.75
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.854
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.82
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.854
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.854
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.82
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.854
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.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      30147240 kB
Buffers:        745204 kB
Cached:        1643100 kB
SwapCached:       3696 kB
Active:         138968 kB
Inactive:      2295092 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      30147240 kB
SwapTotal:    67111528 kB
SwapFree:     67086612 kB
Dirty:            7932 kB
Writeback:           0 kB
AnonPages:       44380 kB
Mapped:          13476 kB
Slab:           305268 kB
PageTables:       4520 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   189312 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= 72956 MiB
End job on node148 at 2011-04-30 05:47:06