Trace number 3262903

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-2-mt? (TO) 4800.38 1201.94

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 3.0.0
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3262903-1304125226.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.01 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.04	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
0.00/0.04	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.24/0.07	c bin-w-bin subsume rem            0 bins  time:  0.01 s
0.24/0.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
0.24/0.07	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    780 time:  0.01 s
0.24/0.07	c Removed useless bin:       0  fixed:     0  props:   0.34M  time:  0.01 s
0.24/0.08	c lits-rem:       644  cl-subs:        0  v-elim:     26  v-fix:    0  time:  0.02 s
0.24/0.08	c Finding binary XORs  T:     0.00 s  found:       0
0.24/0.09	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.24/0.09	c calculated reachability. Time: 0.00
0.24/0.09	c Calc default polars -  time:   0.00 s pos:     390 undec:      26 neg:     364
0.24/0.09	c =========================================================================================
0.24/0.09	c types(t): F = full restart, N = normal restart
0.24/0.09	c types(t): S = simplification begin/end, E = solution found
0.24/0.09	c restart types(rt): st = static, dy = dynamic
0.24/0.09	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.24/0.09	c  B st     0         0       754      1613     64417         0    185680         0   no data   no data
3.15/0.86	c  N dy    12      6746       754      1613     64417      4127    185680    416249     13.85     14.68
5.95/1.57	c  N dy    31     11402       754      1613     64421      4514    185680    374247     13.49     15.05
8.76/2.29	c  N dy    44     15633       754      1613     64422      8633    185680    803590     12.57     13.26
11.53/2.97	c  N dy    48     20681       754      1613     64425      8052    185680    408398     11.74     12.82
13.93/3.51	c  F st    60     25000       754      1613     64425     12276    185680    724192     11.40      9.27
13.93/3.52	c  N st    60     25000       754      1613     64425     12276    185680    724192     11.40      9.27
16.34/4.16	c  N dy    66     30002       754      1613     64425     10506    185679    717243     11.40   no data
16.34/4.16	c  S st    66     30002       754      1613     64425     10506    185679    717243     11.40   no data
16.74/4.24	c  S st    66     30504       753      1613     64425     11006    185679    750830     11.40   no data
16.74/4.24	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
17.56/4.42	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      3 BRemL:      0 BRemN:      0 P:  6.7M T:  0.17
17.56/4.42	c blocked clauses removed:        0 vars:      0 tried:         753 T: 0.00 s
17.56/4.43	c bin-w-bin subsume rem            0 bins  time:  0.01 s
18.73/4.79	c subs with bin:        0  lits-rem:     12882  v-fix:    0  time:  0.36 s
19.13/4.80	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    753 time:  0.01 s
19.13/4.81	c Removed useless bin:       0  fixed:     0  props:   0.32M  time:  0.01 s
19.13/4.82	c lits-rem:       160  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
24.72/6.22	c subs with bin:        0  lits-rem:         2  v-fix:    0  time:  1.37 s
31.11/7.85	c lits-rem:      2321  cl-subs:      768  v-elim:      0  v-fix:    0  time:  1.63 s
31.91/8.08	c asymm  cl-useful: 0/1587/1613 lits-rem:0 time: 0.23
31.91/8.08	c calculated reachability. Time: 0.00
31.91/8.08	c  N dy    66     30504       753      1613     64132     10237    171962    711784     11.40   no data
35.90/9.03	c  N dy    77     35603       753      1613     64147     15141    171962   1053389     11.24     11.86
38.31/9.64	c  N dy    90     39687       752      1613     64151     11442    171962    698178     11.20     12.12
41.10/10.38	c  N dy   110     43712       752      1613     64152     15351    171962   1085335     11.37     11.97
43.10/10.80	c  S st   118     45757       752      1613     64162     17343    171962   1263452     11.39      8.81
43.10/10.87	c  S st   118     46262       752      1613     64162      9173    171962    510904     11.39   no data
43.10/10.87	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
43.91/11.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      4 BRemL:      0 BRemN:      0 P:  5.8M T:  0.14
43.91/11.02	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
43.91/11.03	c bin-w-bin subsume rem            0 bins  time:  0.01 s
45.09/11.31	c subs with bin:        0  lits-rem:        16  v-fix:    0  time:  0.28 s
45.09/11.31	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    752 time:  0.01 s
45.09/11.32	c Removed useless bin:       0  fixed:     0  props:   0.32M  time:  0.01 s
45.09/11.33	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
50.29/12.66	c subs with bin:        0  lits-rem:        12  v-fix:    0  time:  1.32 s
51.89/13.00	c lits-rem:       203  cl-subs:      238  v-elim:      0  v-fix:    0  time:  0.33 s
51.89/13.00	c vivif2 --  cl tried     1613 cl shrink        0 lits rem          0 time: 0.00
51.89/13.02	c vivif2 --  cl tried     8931 cl shrink      735 lits rem       1007 time: 0.01
52.70/13.21	c asymm  cl-useful: 0/1613/1613 lits-rem:0 time: 0.19
52.70/13.21	c calculated reachability. Time: 0.00
52.70/13.21	c  N dy   118     46262       752      1613     63889      8931    171305    502401     11.39   no data
55.47/13.97	c  N dy   136     51162       752      1613     63891     13660    171305    842980     11.32     11.96
59.07/14.87	c  N dy   156     55473       752      1613     63908     17813    171305   1119702     11.42     12.04
61.87/15.56	c  N dy   166     59666       752      1613     63923     12249    171305    720800     11.31     12.30
65.07/16.40	c  N dy   190     63708       752      1613     63925     16184    171305   1072093     11.46     21.78
69.45/17.44	c  N dy   207     67857       752      1613     63935     20204    171305   1503411     11.60     15.49
71.05/17.81	c  S st   216     69393       751      1613     63935     11041    171305    538605     11.66     12.11
71.05/17.88	c  S st   216     69899       751      1613     63942     11544    171305    573196     11.66   no data
71.05/17.88	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
71.85/18.06	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      3 BRemL:      0 BRemN:      0 P:  6.9M T:  0.18
71.85/18.07	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
71.85/18.08	c bin-w-bin subsume rem            0 bins  time:  0.01 s
73.05/18.36	c subs with bin:        0  lits-rem:        17  v-fix:    0  time:  0.28 s
73.05/18.37	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    751 time:  0.01 s
73.05/18.37	c Removed useless bin:       0  fixed:     0  props:   0.31M  time:  0.01 s
73.05/18.39	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
78.66/19.76	c subs with bin:       95  lits-rem:       220  v-fix:    0  time:  1.35 s
80.64/20.24	c lits-rem:       475  cl-subs:      305  v-elim:      0  v-fix:    0  time:  0.48 s
80.64/20.24	c vivif2 --  cl tried     1613 cl shrink        0 lits rem          0 time: 0.00
80.64/20.25	c vivif2 --  cl tried    11116 cl shrink      895 lits rem       1220 time: 0.02
81.43/20.48	c asymm  cl-useful: 0/1613/1613 lits-rem:0 time: 0.22
81.43/20.48	c calculated reachability. Time: 0.00
81.43/20.48	c  N dy   216     69899       751      1613     63647     11116    170652    560519     11.66   no data
84.63/21.27	c  N dy   237     74651       751      1613     63648     15697    170652    969990     11.74     12.38
89.03/22.31	c  N dy   249     79440       750      1613     63655     20347    170652   1410011     11.67     12.40
93.42/23.48	c  N dy   270     84675       750      1613     63659     13810    170652    740603     11.66     12.30
95.82/24.05	c  F st   283     87501       750      1613     63660     16534    170652    986032     11.72   no data
99.01/24.89	c  N st   288     90800       750      1613     63383     19395    170017   1192075     11.72   no data
105.43/26.41	c  N dy   301     97045       749      1613     63393     13005    170017    631958     11.66     12.37
109.42/27.42	c  N dy   320    103310       749      1613     63396     19070    170017   1111680     11.59     14.48
110.19/27.67	c  S st   324    104848       749      1613     63396     20556    170017   1224704     11.58      8.97
110.59/27.78	c  S st   324    105353       749      1613     63396     21058    170017   1264128     11.58   no data
110.59/27.78	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
111.79/28.06	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      1 BRemL:      0 BRemN:      0 P: 10.4M T:  0.27
111.79/28.06	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
111.79/28.07	c bin-w-bin subsume rem            0 bins  time:  0.01 s
112.99/28.34	c subs with bin:        0  lits-rem:         4  v-fix:    0  time:  0.28 s
112.99/28.35	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    749 time:  0.01 s
112.99/28.36	c Removed useless bin:       0  fixed:     0  props:   0.31M  time:  0.00 s
112.99/28.37	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
119.38/29.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.50 s
129.37/32.48	c lits-rem:      1290  cl-subs:     1004  v-elim:      0  v-fix:    0  time:  2.56 s
129.37/32.48	c vivif2 --  cl tried     1613 cl shrink        0 lits rem          0 time: 0.00
129.77/32.51	c vivif2 --  cl tried    19548 cl shrink      766 lits rem        911 time: 0.02
130.57/32.75	c asymm  cl-useful: 0/1164/1613 lits-rem:0 time: 0.24
130.57/32.75	c calculated reachability. Time: 0.00
130.57/32.75	c  N dy   324    105353       749      1613     63090     19548    169395   1216309     11.58   no data
136.95/34.37	c  N dy   336    112111       748      1613     63107     25983    169395   1586019     11.47     21.02
142.53/35.74	c  N dy   371    120131       747      1613     63117     20618    169395   1218280     11.55     12.28
150.11/37.67	c  N dy   410    127918       747      1613     63123     28092    169395   1767373     11.63     12.32
156.51/39.25	c  N dy   447    136371       747      1613     63132     21967    169395   1215391     11.65     12.30
168.49/42.25	c  N dy   506    146959       747      1613     63141     16803    169395    787220     11.76     12.45
175.30/43.98	c  N dy   555    156414       746      1613     63145     25983    169395   1453649     11.83     18.79
176.88/44.36	c  S st   567    158029       746      1613     63145     27555    169395   1573457     11.85      9.10
177.68/44.50	c  S st   567    158531       746      1613     63145     28056    169395   1611147     11.85   no data
177.68/44.51	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
178.87/44.84	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 13.1M T:  0.33
178.87/44.84	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
178.87/44.85	c bin-w-bin subsume rem            0 bins  time:  0.01 s
180.09/45.13	c subs with bin:        0  lits-rem:         4  v-fix:    0  time:  0.27 s
180.09/45.13	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    746 time:  0.01 s
180.09/45.14	c Removed useless bin:       0  fixed:     0  props:   0.30M  time:  0.01 s
180.09/45.16	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
186.07/46.63	c subs with bin:        8  lits-rem:        32  v-fix:    0  time:  1.43 s
202.44/50.71	c lits-rem:      1230  cl-subs:     1081  v-elim:      0  v-fix:    0  time:  4.08 s
202.44/50.71	c vivif2 --  cl tried     1596 cl shrink        0 lits rem          0 time: 0.00
202.44/50.74	c vivif2 --  cl tried    22504 cl shrink      306 lits rem        372 time: 0.03
203.64/51.01	c asymm  cl-useful: 0/1072/1596 lits-rem:0 time: 0.26
203.64/51.01	c calculated reachability. Time: 0.00
203.64/51.01	c  N dy   567    158531       746      1596     62254     22504    167350   1497741     11.85   no data
212.43/53.21	c  N dy   592    168863       746      1596     62268     18331    167350   1076535     11.77     12.40
223.64/56.01	c  N dy   626    179713       746      1596     62277     28782    167350   1964533     11.71     12.62
234.40/58.76	c  N dy   664    191363       746      1596     62293     23816    167350   1430780     11.66     12.41
249.59/62.52	c  N dy   722    203579       746      1596     62304     17822    167350    920490     11.71     28.76
262.77/65.83	c  N dy   770    217044       744      1596     62323     30830    167350   1940836     11.71     12.41
279.55/70.00	c  N dy   823    232148       744      1596     62333     26417    167350   1516432     11.68     12.32
285.94/71.64	c  S st   854    237797       744      1596     62333     31898    167350   1962130     11.72      8.70
286.74/71.80	c  S st   854    238298       744      1596     62333     32399    167350   2002830     11.72   no data
286.74/71.81	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
288.34/72.25	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      7 BRemL:      0 BRemN:      0 P: 15.6M T:  0.44
288.34/72.25	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
288.34/72.26	c bin-w-bin subsume rem            0 bins  time:  0.01 s
289.56/72.53	c subs with bin:        0  lits-rem:        10  v-fix:    0  time:  0.27 s
289.56/72.54	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    744 time:  0.01 s
289.56/72.55	c Removed useless bin:       0  fixed:     0  props:   0.30M  time:  0.01 s
289.56/72.57	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
295.93/74.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.50 s
320.71/80.34	c lits-rem:      2450  cl-subs:     1648  v-elim:      0  v-fix:    0  time:  6.20 s
320.71/80.34	c vivif2 --  cl tried     1596 cl shrink        0 lits rem          0 time: 0.00
320.71/80.38	c vivif2 --  cl tried    30071 cl shrink      951 lits rem       1196 time: 0.04
321.49/80.56	c asymm  cl-useful: 0/524/1596 lits-rem:0 time: 0.18
321.49/80.57	c calculated reachability. Time: 0.00
321.49/80.57	c  N dy   854    238298       744      1596     61782     30069    166143   1944973     11.72   no data
340.67/85.33	c  N dy   893    254065       744      1596     61817     25490    166143   1442783     11.63     12.38
362.64/90.86	c  N dy   966    271026       744      1596     61838     41855    166143   2540726     11.67     12.34
382.24/95.77	c  N dy  1023    288787       744      1596     61865     37905    166143   2162635     11.63     12.54
403.39/101.01	c  F st  1065    306250       743      1596     61884     32626    166143   1655742     11.54      8.87
404.99/101.42	c  N st  1068    307438       743      1596     61597     33531    165556   1729393     11.54   no data
428.15/107.24	c  N dy  1099    327266       742      1596     61614     29782    165556   1604401     11.46     12.21
457.31/114.57	c  N dy  1183    347294       741      1596     61651     25092    165555   1097491     11.46     12.49
460.93/115.42	c Finding binary XORs  T:     0.00 s  found:       0
468.50/117.32	c  S st  1223    357447       741      1580     61045     31520    164188   1889912     11.47   no data
468.90/117.49	c  S st  1223    357951       741      1580     61045     32021    164188   1933905     11.47   no data
468.90/117.49	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
471.30/118.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      4 BRemL:      0 BRemN:      0 P: 17.6M T:  0.52
471.30/118.02	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
471.30/118.03	c bin-w-bin subsume rem            1 bins  time:  0.01 s
472.50/118.30	c subs with bin:        0  lits-rem:        12  v-fix:    0  time:  0.27 s
472.50/118.30	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    741 time:  0.01 s
472.50/118.31	c Removed useless bin:       0  fixed:     0  props:   0.29M  time:  0.01 s
472.50/118.34	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
478.91/119.95	c subs with bin:        0  lits-rem:        18  v-fix:    0  time:  1.58 s
500.48/125.32	c lits-rem:      2583  cl-subs:     1228  v-elim:      0  v-fix:    0  time:  5.36 s
500.48/125.32	c vivif2 --  cl tried     1580 cl shrink        0 lits rem          0 time: 0.00
500.48/125.37	c vivif2 --  cl tried    30793 cl shrink     2727 lits rem       6865 time: 0.05
501.66/125.69	c asymm  cl-useful: 0/749/1580 lits-rem:0 time: 0.32
501.66/125.69	c calculated reachability. Time: 0.00
501.66/125.69	c  N dy  1223    357951       741      1580     61053     30788    164176   1885039     11.47   no data
537.23/134.51	c  N dy  1282    378514       738      1580     61094     27196    164176   1235422     11.41     12.04
563.99/141.20	c  N dy  1377    398547       737      1580     61118     46498    164176   2809709     11.49     13.35
593.16/148.55	c  N dy  1516    419611       737      1580     61133     41714    164176   2433069     11.71     12.42
623.52/156.13	c  N dy  1613    439615       736      1580     61172     34460    164176   1777257     11.76     12.40
655.86/164.22	c  N dy  1749    459636       736      1580     61184     53868    164176   3328058     11.99     23.26
681.05/170.52	c  N dy  1848    479745       736      1580     61198     45551    164176   2518118     12.08     12.80
710.60/177.97	c  N dy  1950    501463       735      1580     61212     37689    164176   1837763     12.17     12.84
736.97/184.55	c  N dy  2019    522035       735      1580     61216     57539    164176   3124472     12.17     12.85
753.75/188.75	c  S st  2092    536926       735      1580     61223     42038    164176   2098327     12.20     10.41
754.55/188.93	c  S st  2092    537429       735      1580     61223     42540    164176   2135770     12.20   no data
754.55/188.93	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
756.94/189.53	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      2 BRemL:      0 BRemN:      0 P: 20.3M T:  0.60
756.94/189.53	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
756.94/189.54	c bin-w-bin subsume rem            5 bins  time:  0.01 s
758.14/189.80	c subs with bin:        0  lits-rem:         7  v-fix:    0  time:  0.26 s
758.14/189.80	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    735 time:  0.01 s
758.14/189.81	c Removed useless bin:       0  fixed:     0  props:   0.28M  time:  0.01 s
758.14/189.84	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
764.55/191.45	c subs with bin:       60  lits-rem:        91  v-fix:    0  time:  1.54 s
791.29/198.12	c lits-rem:      2508  cl-subs:     1422  v-elim:      0  v-fix:    0  time:  6.66 s
791.29/198.12	c vivif2 --  cl tried     1564 cl shrink        0 lits rem          0 time: 0.00
791.29/198.16	c vivif2 --  cl tried    36763 cl shrink     1286 lits rem       1538 time: 0.04
792.49/198.47	c asymm  cl-useful: 0/445/1564 lits-rem:0 time: 0.31
792.49/198.47	c calculated reachability. Time: 0.00
792.49/198.47	c  N dy  2092    537429       735      1564     59491     36762    160556   2016558     12.20   no data
823.65/206.26	c  N dy  2128    558036       734      1564     59535     56465    160556   3370035     12.12     12.77
850.41/212.91	c  N dy  2230    578047       733      1564     59550     47226    160556   2702811     12.18     15.49
884.37/221.43	c  N dy  2334    598060       733      1564     59561     35811    160556   1706480     12.25     12.92
913.95/228.81	c  N dy  2387    618870       733      1564     59570     55808    160556   3080330     12.20     12.89
943.73/236.34	c  N dy  2468    638947       733      1564     59585     42970    160556   2260446     12.21     13.08
976.09/244.50	c  N dy  2547    658990       733      1564     59595     62305    160556   3606433     12.22     15.12
1005.80/252.05	c  N dy  2594    681243       733      1564     59603     50261    160556   2625480     12.17     12.84
1044.97/261.83	c  N dy  2691    701244       733      1564     59619     34968    160556   1450674     12.21     27.94
1070.52/268.21	c  N dy  2766    721296       733      1564     59631     54281    160556   2740785     12.21     13.60
1106.09/277.19	c  N dy  2871    741332       732      1564     59650     37944    160556   1566707     12.26     15.05
1133.62/284.07	c  N dy  2945    761442       732      1564     59655     57250    160556   2717934     12.26     13.02
1168.38/292.70	c  N dy  2994    781987       732      1564     59679     40469    160556   1607849     12.23     12.96
1193.56/299.00	c  N dy  3056    802891       731      1564     59697     60571    160556   2733441     12.20     12.98
1198.36/300.25	c  S st  3063    806146       731      1564     59697     63689    160556   2897547     12.19      7.86
1199.14/300.45	c  S st  3063    806646       731      1564     59697     64188    160556   2937835     12.19   no data
1199.14/300.46	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1202.34/301.29	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      4 BRemL:      0 BRemN:      0 P: 25.1M T:  0.83
1202.34/301.29	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1202.34/301.30	c bin-w-bin subsume rem            1 bins  time:  0.01 s
1203.53/301.55	c subs with bin:        0  lits-rem:        19  v-fix:    0  time:  0.25 s
1203.53/301.56	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    731 time:  0.01 s
1203.53/301.56	c Removed useless bin:       0  fixed:     0  props:   0.28M  time:  0.00 s
1203.93/301.61	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
1210.33/303.26	c subs with bin:        1  lits-rem:       143  v-fix:    0  time:  1.57 s
1249.88/313.10	c lits-rem:      4494  cl-subs:     3090  v-elim:      0  v-fix:    0  time:  9.84 s
1249.88/313.10	c vivif2 --  cl tried     1564 cl shrink        0 lits rem          0 time: 0.00
1249.88/313.18	c vivif2 --  cl tried    53613 cl shrink     2861 lits rem       3506 time: 0.07
1251.09/313.48	c asymm  cl-useful: 0/427/1564 lits-rem:0 time: 0.31
1251.09/313.49	c calculated reachability. Time: 0.00
1251.09/313.49	c  N dy  3063    806646       731      1564     58554     53610    158289   2719802     12.19   no data
1253.47/314.00	c Finding binary XORs  T:     0.00 s  found:       0
1280.64/320.80	c  N dy  3131    826723       729      1564     58324     39115    157720   1795322     12.17     12.87
1308.62/327.89	c  N dy  3165    847126       729      1564     58343     58696    157718   3010457     12.12     12.90
1342.95/336.42	c  N dy  3228    867609       729      1564     58367     41954    157718   1914857     12.11     12.76
1375.30/344.58	c  N dy  3303    887710       728      1564     58390     61290    157718   3230668     12.10     12.86
1413.67/354.16	c  N dy  3378    907900       728      1564     58420     42270    157718   1792725     12.09     12.86
1444.43/361.81	c  N dy  3480    927983       727      1564     58431     61666    157718   3212287     12.12     19.73
1485.16/372.03	c  N dy  3562    948078       726      1564     58447     41038    157718   1637621     12.13     20.48
1512.32/378.80	c  N dy  3652    968415       726      1564     58452     60651    157718   3063525     12.15     12.80
1553.47/389.16	c  N dy  3735    988440       726      1564     58464     79824    157718   4397167     12.17     12.86
1582.63/396.42	c  N dy  3791   1009248       726      1564     58480     58704    157718   2746122     12.15     13.03
1621.77/406.20	c  N dy  3854   1030322       725      1564     58486     78894    157718   4056019     12.14     13.63
1653.73/414.24	c  N dy  3943   1050334       725      1564     58495     56047    157718   2584224     12.17     23.18
1688.89/423.03	c  N dy  4034   1070394       725      1564     58500     75415    157718   3848550     12.18     13.00
1691.68/423.75	c  F st  4037   1071875       725      1564     58500     76843    157718   3922292     12.18   no data
1722.83/431.59	c  N dy  4123   1090827       724      1548     57103     49485    154812   2240586     12.20     12.90
1755.59/439.77	c  N dy  4192   1110907       724      1548     57108     68873    154812   3487141     12.19     12.94
1793.54/449.20	c  N dy  4254   1131473       724      1548     57116     45546    154812   1811260     12.18     12.90
1823.11/456.64	c  N dy  4356   1151539       724      1548     57124     64938    154812   3100889     12.21     12.89
1868.64/468.04	c  N dy  4473   1171628       723      1548     57130     84392    154812   4442951     12.25     16.57
1905.00/477.13	c  N dy  4587   1191660       723      1548     57133     58982    154812   2648443     12.28     15.14
1937.35/485.23	c  S st  4658   1209969       723      1548     57137     76644    154812   3856084     12.30     12.12
1938.55/485.54	c  S st  4658   1210472       723      1548     57137     77143    154812   3890927     12.30   no data
1938.55/485.55	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1942.94/486.62	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 29.1M T:  1.07
1942.94/486.62	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1942.94/486.63	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1943.74/486.88	c subs with bin:        0  lits-rem:        18  v-fix:    0  time:  0.25 s
1943.74/486.88	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    723 time:  0.01 s
1943.74/486.89	c Removed useless bin:       0  fixed:     0  props:   0.27M  time:  0.00 s
1944.14/486.94	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.05 s
1952.14/488.90	c subs with bin:       29  lits-rem:         0  v-fix:    0  time:  1.83 s
1998.09/500.48	c lits-rem:      4635  cl-subs:     4544  v-elim:      0  v-fix:    0  time: 11.57 s
1998.09/500.48	c vivif2 --  cl tried     1532 cl shrink        0 lits rem          0 time: 0.00
1998.88/500.60	c vivif2 --  cl tried    70802 cl shrink     4681 lits rem       6718 time: 0.12
2000.47/501.03	c asymm  cl-useful: 0/305/1532 lits-rem:0 time: 0.43
2000.47/501.04	c calculated reachability. Time: 0.00
2000.47/501.04	c  N dy  4658   1210472       723      1532     56599     70800    153480   3755733     12.30   no data
2044.81/512.16	c  N dy  4704   1230565       723      1532     56621     45098    153480   1814130     12.27     21.14
2072.79/519.18	c  N dy  4738   1251863       723      1532     56632     65567    153480   3275216     12.24     12.96
2114.31/529.55	c  N dy  4801   1272049       723      1532     56639     84957    153480   4605695     12.23     13.65
2152.28/539.02	c  N dy  4852   1292930       723      1532     56662     58416    153480   2723029     12.20     13.54
2191.02/548.76	c  N dy  4924   1313970       723      1532     56675     78637    153480   4065771     12.19     13.13
2234.16/559.51	c  N dy  4969   1334052       723      1532     56692     50098    153480   2021268     12.17     12.86
2264.51/567.12	c  N dy  5030   1354110       723      1532     56717     69254    153480   3231680     12.15     17.74
2304.86/577.27	c  N dy  5086   1374137       722      1532     56736     88443    153480   4428598     12.13     14.99
2341.24/586.33	c  N dy  5149   1394348       722      1532     56748     59103    153480   2461158     12.12     12.78
2374.77/594.74	c  N dy  5216   1414630       721      1532     56756     78579    153480   3736595     12.12     12.95
2387.95/598.04	c Finding binary XORs  T:     0.00 s  found:       0
2422.30/606.68	c  N dy  5280   1436062       721      1532     56191     96131    152404   5026716     12.10     12.75
2455.08/614.83	c  N dy  5362   1457946       721      1532     56204     68855    152404   3140290     12.11     12.76
2494.20/624.67	c  N dy  5414   1478524       721      1532     56211     88622    152404   4343258     12.09     12.90
2532.55/634.28	c  N dy  5463   1498713       721      1532     56218     57912    152404   2391906     12.07     12.76
2567.71/643.03	c  N dy  5523   1519075       721      1532     56227     77351    152404   3501302     12.06     12.73
2618.06/655.63	c  N dy  5590   1541460       721      1532     56242     98704    152404   4644347     12.05     12.82
2651.59/664.07	c  N dy  5668   1561490       720      1532     56266     66712    152404   2917246     12.05     12.78
2692.76/674.38	c  N dy  5744   1582880       720      1532     56281     87212    152404   4227499     12.05     12.73
2744.27/687.26	c  N dy  5814   1603443       720      1532     56305     54366    152404   1954717     12.04     12.69
2772.63/694.35	c  N dy  5894   1623454       719      1532     56312     73670    152404   3178385     12.05     12.69
2810.18/703.76	c  N dy  5974   1643469       719      1532     56321     92937    152404   4444700     12.06     13.02
2855.34/715.01	c  N dy  6083   1663502       719      1532     56331     58536    152404   2223551     12.08     12.99
2887.28/723.09	c  N dy  6164   1683746       719      1532     56342     78052    152404   3541825     12.08     13.17
2931.21/734.05	c  N dy  6274   1703773       719      1532     56356     97415    152404   4906335     12.09     15.13
2947.99/738.27	c  S st  6304   1710473       719      1532     56367    103827    152404   5360469     12.10   no data
2949.59/738.69	c  S st  6304   1710977       719      1532     56367    104328    152404   5404256     12.10   no data
2949.99/738.70	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2957.58/740.64	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      2 BRemL:      0 BRemN:      0 P: 38.0M T:  1.94
2957.58/740.64	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2957.58/740.65	c bin-w-bin subsume rem            2 bins  time:  0.01 s
2958.78/740.90	c subs with bin:        0  lits-rem:         8  v-fix:    0  time:  0.25 s
2958.78/740.90	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    719 time:  0.01 s
2958.78/740.91	c Removed useless bin:       0  fixed:     0  props:   0.26M  time:  0.00 s
2958.78/740.98	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.07 s
2968.36/743.37	c subs with bin:       17  lits-rem:         0  v-fix:    0  time:  2.19 s
3046.26/762.84	c lits-rem:      3755  cl-subs:     5336  v-elim:      0  v-fix:    0  time: 19.47 s
3046.26/762.84	c vivif2 --  cl tried     1532 cl shrink        0 lits rem          0 time: 0.00
3046.66/762.99	c vivif2 --  cl tried    91296 cl shrink     8523 lits rem      14492 time: 0.15
3048.28/763.36	c asymm  cl-useful: 0/280/1532 lits-rem:0 time: 0.37
3048.28/763.36	c calculated reachability. Time: 0.00
3048.28/763.36	c  N dy  6304   1710977       719      1532     55724     91293    151277   5157218     12.10   no data
3092.62/774.41	c  N dy  6387   1731067       718      1532     55755     59679    151277   2551191     12.10     16.04
3127.76/783.22	c  N dy  6463   1751117       718      1532     55762     78945    151277   3886879     12.11     17.87
3178.08/795.88	c  N dy  6554   1772181       718      1532     55788     99017    151277   5157468     12.11     12.79
3219.65/806.27	c  N dy  6646   1792415       717      1532     55805     64839    151277   2805011     12.11     13.03
3259.97/816.35	c  N dy  6748   1812617       717      1532     55817     84183    151277   4047488     12.13     12.96
3311.91/829.34	c  N dy  6799   1834258       716      1532     55850    104837    151277   5350980     12.11     12.91
3351.87/839.38	c  N dy  6893   1854288       715      1532     55851     68549    151277   3029097     12.13     19.35
3392.59/849.51	c  N dy  7002   1874299       715      1532     55861     87901    151277   4397551     12.15     17.36
3449.31/863.71	c  N dy  7119   1894527       715      1532     55867    107451    151277   5808454     12.18     12.86
3493.25/874.70	c  N dy  7230   1914602       715      1532     55872     69540    151277   3047321     12.21     29.28
3538.79/886.18	c  N dy  7353   1935261       715      1532     55876     89505    151277   4417170     12.24     13.09
3592.72/899.67	c  N dy  7461   1955836       715      1532     55880    109369    151277   5806687     12.27     12.98
3637.48/910.85	c  N dy  7558   1976095       714      1532     55893     70345    151277   2990156     12.28     13.47
3679.01/921.26	c  N dy  7648   1996451       714      1532     55898     89998    151277   4344863     12.29     12.99
3733.34/934.83	c  N dy  7768   2016496       714      1532     55909    109342    151277   5659480     12.32     14.99
3784.07/947.52	c  N dy  7900   2036558       714      1532     55918     69011    151277   2819585     12.35     16.26
3821.64/956.95	c  N dy  7981   2056703       714      1532     55926     88408    151277   4064823     12.35     13.07
3870.37/969.11	c  N dy  8067   2076820       714      1532     55935    107699    151277   5302929     12.36     13.03
3920.29/981.60	c  N dy  8185   2096878       713      1532     55940     66463    151277   2604204     12.38     23.52
3956.24/990.64	c  N dy  8292   2116894       713      1532     55941     85796    151277   3869689     12.40     18.62
3957.04/990.82	c Finding binary XORs  T:     0.00 s  found:       0
4003.77/1002.58	c  N dy  8387   2137459       713      1517     54348    100468    148006   5059258     12.41     13.36
4062.09/1017.15	c  N dy  8488   2158869       713      1517     54356     61979    148006   2340620     12.42     13.12
4095.25/1025.47	c  N dy  8576   2179473       713      1517     54364     81730    148006   3545894     12.43     13.10
4138.42/1036.24	c  N dy  8673   2199609       713      1517     54372    101088    148006   4796763     12.44     13.14
4165.56/1043.03	c  S st  8709   2210978       713      1517     54375    111963    148006   5425390     12.44      9.97
4167.15/1043.43	c  S st  8709   2211482       713      1517     54376    112464    148006   5461933     12.44   no data
4167.15/1043.45	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
4173.94/1045.10	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      4 BRemL:      0 BRemN:      0 P: 41.3M T:  1.65
4173.94/1045.10	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4173.94/1045.11	c bin-w-bin subsume rem            0 bins  time:  0.01 s
4174.74/1045.34	c subs with bin:        0  lits-rem:        14  v-fix:    0  time:  0.23 s
4174.74/1045.35	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    713 time:  0.01 s
4174.74/1045.35	c Removed useless bin:       0  fixed:     0  props:   0.25M  time:  0.00 s
4175.14/1045.42	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.07 s
4184.34/1047.76	c subs with bin:       79  lits-rem:       720  v-fix:    0  time:  2.20 s
4263.02/1067.46	c lits-rem:      5569  cl-subs:     7666  v-elim:      0  v-fix:    0  time: 19.70 s
4263.02/1067.46	c vivif2 --  cl tried     1517 cl shrink        0 lits rem          0 time: 0.00
4263.82/1067.62	c vivif2 --  cl tried   104719 cl shrink     8865 lits rem      13760 time: 0.16
4265.02/1067.99	c asymm  cl-useful: 0/228/1517 lits-rem:0 time: 0.36
4265.02/1067.99	c calculated reachability. Time: 0.00
4265.02/1067.99	c  N dy  8709   2211482       713      1517     54386    104714    147992   5286065     12.44   no data
4317.75/1081.16	c  N dy  8761   2232142       712      1517     54412     63507    147992   2448161     12.42     13.14
4355.69/1090.61	c  N dy  8833   2253687       712      1517     54421     84104    147992   3799320     12.42     13.16
4404.03/1102.70	c  N dy  8920   2273950       712      1517     54433    103517    147992   5084373     12.43     13.10
4468.74/1118.99	c  N dy  9015   2295889       712      1517     54447    124594    147992   6509589     12.44     13.27
4508.69/1128.91	c  N dy  9127   2315966       712      1517     54457     81232    147992   3663229     12.45     18.56
4558.22/1141.31	c  N dy  9217   2336368       712      1517     54466    100802    147992   4998161     12.46     13.24
4619.35/1156.62	c  N dy  9292   2356418       712      1517     54481    120068    147992   6312565     12.46     14.24
4670.48/1169.46	c  N dy  9379   2377147       712      1517     54496     76027    147992   3169995     12.46     13.20
4715.62/1180.78	c  N dy  9452   2397990       712      1517     54511     95982    147992   4383995     12.46     13.23
4771.53/1194.70	c  N dy  9545   2418255       711      1517     54523    115363    147992   5676791     12.47     13.30

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-3262903-1304125226/watcher-3262903-1304125226 -o /tmp/evaluation-result-3262903-1304125226/solver-3262903-1304125226 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3262903-1304125226.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.10 8.09 7.98 5/180 29947
/proc/meminfo: memFree=29673952/32950928 swapFree=67086612/67111528
[pid=29947] ppid=29945 vsize=116752 CPUtime=0 cores=1,3,5,7
/proc/29947/stat : 29947 (strangenight2-m) R 29945 29947 29718 0 -1 4202496 458 0 0 0 0 0 0 0 25 0 4 0 524119718 119554048 389 33554432000 4194304 4627427 140734891093184 18446744073709551615 239476738138 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29947/statm: 29189 392 328 106 0 24160 0
[pid=29947/tid=29948] ppid=29945 vsize=117720 CPUtime=0 cores=1,3,5,7
/proc/29947/task/29948/stat : 29948 (strangenight2-m) R 29945 29947 29718 0 -1 4202560 34 0 0 0 0 0 0 0 25 0 4 0 524119719 120545280 457 33554432000 4194304 4627427 140734891093184 18446744073709551615 239476694843 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29947/tid=29949] ppid=29945 vsize=117720 CPUtime=0 cores=1,3,5,7
/proc/29947/task/29949/stat : 29949 (strangenight2-m) R 29945 29947 29718 0 -1 4202560 24 0 0 0 0 0 0 0 25 0 4 0 524119719 120545280 493 33554432000 4194304 4627427 140734891093184 18446744073709551615 239476694843 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29947/tid=29950] ppid=29945 vsize=117720 CPUtime=0 cores=1,3,5,7
/proc/29947/task/29950/stat : 29950 (strangenight2-m) R 29945 29947 29718 0 -1 4202560 46 0 0 0 0 0 0 0 25 0 4 0 524119719 120545280 531 33554432000 4194304 4627427 140734891093184 18446744073709551615 239476694843 0 0 4096 2 0 0 0 -1 1 0 0 0

[startup+0.0710979 s]
/proc/loadavg: 8.10 8.09 7.98 5/180 29947
/proc/meminfo: memFree=29673952/32950928 swapFree=67086612/67111528
[pid=29947] ppid=29945 vsize=283888 CPUtime=0.24 cores=1,3,5,7
/proc/29947/stat : 29947 (strangenight2-m) R 29945 29947 29718 0 -1 4202496 3998 0 0 0 23 1 0 0 18 0 4 0 524119718 290701312 3922 33554432000 4194304 4627427 140734891093184 18446744073709551615 4443924 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29947/statm: 70972 3929 380 106 0 65943 0
[pid=29947/tid=29948] ppid=29945 vsize=283888 CPUtime=0.04 cores=1,3,5,7
/proc/29947/task/29948/stat : 29948 (strangenight2-m) R 29945 29947 29718 0 -1 4202560 798 0 0 0 4 0 0 0 25 0 4 0 524119719 290701312 3930 33554432000 4194304 4627427 140734891093184 18446744073709551615 4463099 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29947/tid=29949] ppid=29945 vsize=283888 CPUtime=0.06 cores=1,3,5,7
/proc/29947/task/29949/stat : 29949 (strangenight2-m) R 29945 29947 29718 0 -1 4202560 1014 0 0 0 6 0 0 0 18 0 4 0 524119719 290701312 3930 33554432000 4194304 4627427 140734891093184 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29947/tid=29950] ppid=29945 vsize=283888 CPUtime=0.06 cores=1,3,5,7
/proc/29947/task/29950/stat : 29950 (strangenight2-m) R 29945 29947 29718 0 -1 4202560 764 0 0 0 6 0 0 0 18 0 4 0 524119719 290701312 3930 33554432000 4194304 4627427 140734891093184 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 283888

[startup+0.101091 s]
/proc/loadavg: 8.10 8.09 7.98 5/180 29947
/proc/meminfo: memFree=29673952/32950928 swapFree=67086612/67111528
[pid=29947] ppid=29945 vsize=284152 CPUtime=0.35 cores=1,3,5,7
/proc/29947/stat : 29947 (strangenight2-m) R 29945 29947 29718 0 -1 4202496 5111 0 0 0 34 1 0 0 18 0 4 0 524119718 290971648 5035 33554432000 4194304 4627427 140734891093184 18446744073709551615 4507260 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29947/statm: 71038 5035 384 106 0 66009 0
[pid=29947/tid=29948] ppid=29945 vsize=284152 CPUtime=0.07 cores=1,3,5,7
/proc/29947/task/29948/stat : 29948 (strangenight2-m) R 29945 29947 29718 0 -1 4202560 1284 0 0 0 7 0 0 0 25 0 4 0 524119719 290971648 5035 33554432000 4194304 4627427 140734891093184 18446744073709551615 4427688 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29947/tid=29949] ppid=29945 vsize=284152 CPUtime=0.09 cores=1,3,5,7
/proc/29947/task/29949/stat : 29949 (strangenight2-m) R 29945 29947 29718 0 -1 4202560 1363 0 0 0 9 0 0 0 18 0 4 0 524119719 290971648 5035 33554432000 4194304 4627427 140734891093184 18446744073709551615 4322160 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29947/tid=29950] ppid=29945 vsize=284152 CPUtime=0.09 cores=1,3,5,7
/proc/29947/task/29950/stat : 29950 (strangenight2-m) R 29945 29947 29718 0 -1 4202560 815 0 0 0 9 0 0 0 18 0 4 0 524119719 290971648 5036 33554432000 4194304 4627427 140734891093184 18446744073709551615 4330946 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.35
Current children cumulated vsize (KiB) 284152

[startup+0.301056 s]
/proc/loadavg: 8.10 8.09 7.98 5/180 29947
/proc/meminfo: memFree=29673952/32950928 swapFree=67086612/67111528
[pid=29947] ppid=29945 vsize=285516 CPUtime=1.15 cores=1,3,5,7
/proc/29947/stat : 29947 (strangenight2-m) R 29945 29947 29718 0 -1 4202496 6324 0 0 0 114 1 0 0 18 0 4 0 524119718 292368384 5908 33554432000 4194304 4627427 140734891093184 18446744073709551615 4309392 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29947/statm: 71379 5908 385 106 0 66350 0
[pid=29947/tid=29948] ppid=29945 vsize=285516 CPUtime=0.27 cores=1,3,5,7
/proc/29947/task/29948/stat : 29948 (strangenight2-m) R 29945 29947 29718 0 -1 4202560 1557 0 0 0 27 0 0 0 25 0 4 0 524119719 292368384 5909 33554432000 4194304 4627427 140734891093184 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29947/tid=29949] ppid=29945 vsize=285516 CPUtime=0.29 cores=1,3,5,7
/proc/29947/task/29949/stat : 29949 (strangenight2-m) R 29945 29947 29718 0 -1 4202560 1620 0 0 0 29 0 0 0 18 0 4 0 524119719 292368384 5909 33554432000 4194304 4627427 140734891093184 18446744073709551615 4309242 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29947/tid=29950] ppid=29945 vsize=285516 CPUtime=0.29 cores=1,3,5,7
/proc/29947/task/29950/stat : 29950 (strangenight2-m) R 29945 29947 29718 0 -1 4202560 1253 0 0 0 29 0 0 0 18 0 4 0 524119719 292368384 5909 33554432000 4194304 4627427 140734891093184 18446744073709551615 4325047 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.15
Current children cumulated vsize (KiB) 285516

[startup+0.700978 s]
/proc/loadavg: 8.10 8.09 7.98 5/180 29947
/proc/meminfo: memFree=29673952/32950928 swapFree=67086612/67111528
[pid=29947] ppid=29945 vsize=290560 CPUtime=2.75 cores=1,3,5,7
/proc/29947/stat : 29947 (strangenight2-m) R 29945 29947 29718 0 -1 4202496 9055 0 0 0 274 1 0 0 18 0 4 0 524119718 297533440 6339 33554432000 4194304 4627427 140734891093184 18446744073709551615 4309277 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29947/statm: 72640 6339 385 106 0 67611 0
[pid=29947/tid=29948] ppid=29945 vsize=290560 CPUtime=0.67 cores=1,3,5,7
/proc/29947/task/29948/stat : 29948 (strangenight2-m) R 29945 29947 29718 0 -1 4202560 2187 0 0 0 67 0 0 0 25 0 4 0 524119719 297533440 6339 33554432000 4194304 4627427 140734891093184 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29947/tid=29949] ppid=29945 vsize=290560 CPUtime=0.68 cores=1,3,5,7
/proc/29947/task/29949/stat : 29949 (strangenight2-m) R 29945 29947 29718 0 -1 4202560 2353 0 0 0 68 0 0 0 18 0 4 0 524119719 297533440 6339 33554432000 4194304 4627427 140734891093184 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29947/tid=29950] ppid=29945 vsize=290560 CPUtime=0.68 cores=1,3,5,7
/proc/29947/task/29950/stat : 29950 (strangenight2-m) R 29945 29947 29718 0 -1 4202560 1952 0 0 0 68 0 0 0 18 0 4 0 524119719 297533440 6339 33554432000 4194304 4627427 140734891093184 18446744073709551615 4321550 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.75
Current children cumulated vsize (KiB) 290560

[startup+1.50083 s]
/proc/loadavg: 8.10 8.09 7.98 9/184 29951
/proc/meminfo: memFree=29645152/32950928 swapFree=67086612/67111528
[pid=29947] ppid=29945 vsize=292004 CPUtime=5.95 cores=1,3,5,7
/proc/29947/stat : 29947 (strangenight2-m) R 29945 29947 29718 0 -1 4202496 12763 0 0 0 593 2 0 0 19 0 4 0 524119718 299012096 8147 33554432000 4194304 4627427 140734891093184 18446744073709551615 4309572 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29947/statm: 73001 8147 385 106 0 67972 0
[pid=29947/tid=29948] ppid=29945 vsize=292004 CPUtime=1.46 cores=1,3,5,7
/proc/29947/task/29948/stat : 29948 (strangenight2-m) R 29945 29947 29718 0 -1 4202560 3198 0 0 0 146 0 0 0 25 0 4 0 524119719 299012096 8147 33554432000 4194304 4627427 140734891093184 18446744073709551615 4309272 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29947/tid=29949] ppid=29945 vsize=292004 CPUtime=1.48 cores=1,3,5,7
/proc/29947/task/29949/stat : 29949 (strangenight2-m) R 29945 29947 29718 0 -1 4202560 3323 0 0 0 148 0 0 0 19 0 4 0 524119719 299012096 8147 33554432000 4194304 4627427 140734891093184 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29947/tid=29950] ppid=29945 vsize=292004 CPUtime=1.48 cores=1,3,5,7
/proc/29947/task/29950/stat : 29950 (strangenight2-m) R 29945 29947 29718 0 -1 4202560 2948 0 0 0 148 0 0 0 19 0 4 0 524119719 299012096 8147 33554432000 4194304 4627427 140734891093184 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 5.95
Current children cumulated vsize (KiB) 292004

[startup+3.10052 s]
/proc/loadavg: 8.17 8.10 7.99 9/184 29951
/proc/meminfo: memFree=29641692/32950928 swapFree=67086612/67111528
[pid=29947] ppid=29945 vsize=303964 CPUtime=12.34 cores=1,3,5,7
/proc/29947/stat : 29947 (strangenight2-m) R 29945 29947 29718 0 -1 4202496 19366 0 0 0 1230 4 0 0 25 0 4 0 524119718 311259136 9744 33554432000 4194304 4627427 140734891093184 18446744073709551615 4309905 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29947/statm: 75991 9745 386 106 0 70962 0
[pid=29947/tid=29948] ppid=29945 vsize=303964 CPUtime=3.05 cores=1,3,5,7
/proc/29947/task/29948/stat : 29948 (strangenight2-m) R 29945 29947 29718 0 -1 4202560 4904 0 0 0 305 0 0 0 25 0 4 0 524119719 311259136 9745 33554432000 4194304 4627427 140734891093184 18446744073709551615 4310133 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29947/tid=29949] ppid=29945 vsize=303964 CPUtime=3.08 cores=1,3,5,7
/proc/29947/task/29949/stat : 29949 (strangenight2-m) R 29945 29947 29718 0 -1 4202560 4761 0 0 0 308 0 0 0 25 0 4 0 524119719 311259136 9745 33554432000 4194304 4627427 140734891093184 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29947/tid=29950] ppid=29945 vsize=303964 CPUtime=3.08 cores=1,3,5,7
/proc/29947/task/29950/stat : 29950 (strangenight2-m) R 29945 29947 29718 0 -1 4202560 4727 0 0 0 308 0 0 0 25 0 4 0 524119719 311259136 9745 33554432000 4194304 4627427 140734891093184 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 303964

[startup+6.30092 s]
/proc/loadavg: 8.17 8.10 7.99 9/184 29951
/proc/meminfo: memFree=29592284/32950928 swapFree=67086612/67111528
[pid=29947] ppid=29945 vsize=314348 CPUtime=25.12 cores=1,3,5,7
/proc/29947/stat : 29947 (strangenight2-m) R 29945 29947 29718 0 -1 4202496 36601 0 0 0 2505 7 0 0 25 0 4 0 524119718 321892352 23870 33554432000 4194304 4627427 140734891093184 18446744073709551615 4420232 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29947/statm: 78587 23870 389 106 0 73558 0
[pid=29947/tid=29948] ppid=29945 vsize=314348 CPUtime=6.23 cores=1,3,5,7
/proc/29947/task/29948/stat : 29948 (strangenight2-m) R 29945 29947 29718 0 -1 4202560 8377 0 0 0 622 1 0 0 25 0 4 0 524119719 321892352 23870 33554432000 4194304 4627427 140734891093184 18446744073709551615 4427688 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29947/tid=29949] ppid=29945 vsize=314348 CPUtime=6.28 cores=1,3,5,7
/proc/29947/task/29949/stat : 29949 (strangenight2-m) R 29945 29947 29718 0 -1 4202560 11311 0 0 0 627 1 0 0 25 0 4 0 524119719 321892352 23870 33554432000 4194304 4627427 140734891093184 18446744073709551615 4424714 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29947/tid=29950] ppid=29945 vsize=314348 CPUtime=6.28 cores=1,3,5,7
/proc/29947/task/29950/stat : 29950 (strangenight2-m) R 29945 29947 29718 0 -1 4202560 7008 0 0 0 627 1 0 0 25 0 4 0 524119719 321892352 23870 33554432000 4194304 4627427 140734891093184 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 25.12
Current children cumulated vsize (KiB) 314348

[startup+12.7007 s]
/proc/loadavg: 8.14 8.10 7.99 9/184 29951
/proc/meminfo: memFree=29538972/32950928 swapFree=67086612/67111528
[pid=29947] ppid=29945 vsize=335912 CPUtime=50.69 cores=1,3,5,7
/proc/29947/stat : 29947 (strangenight2-m) R 29945 29947 29718 0 -1 4202496 50268 0 0 0 5058 11 0 0 25 0 4 0 524119718 343973888 32234 33554432000 4194304 4627427 140734891093184 18446744073709551615 4420232 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29947/statm: 83978 32234 390 106 0 78949 0
[pid=29947/tid=29948] ppid=29945 vsize=335912 CPUtime=12.6 cores=1,3,5,7
/proc/29947/task/29948/stat : 29948 (strangenight2-m) R 29945 29947 29718 0 -1 4202560 15242 0 0 0 1257 3 0 0 25 0 4 0 524119719 343973888 32234 33554432000 4194304 4627427 140734891093184 18446744073709551615 4424993 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29947/tid=29949] ppid=29945 vsize=335912 CPUtime=12.68 cores=1,3,5,7
/proc/29947/task/29949/stat : 29949 (strangenight2-m) R 29945 29947 29718 0 -1 4202560 12290 0 0 0 1267 1 0 0 25 0 4 0 524119719 343973888 32234 33554432000 4194304 4627427 140734891093184 18446744073709551615 4309242 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29947/tid=29950] ppid=29945 vsize=335912 CPUtime=12.69 cores=1,3,5,7
/proc/29947/task/29950/stat : 29950 (strangenight2-m) R 29945 29947 29718 0 -1 4202560 10338 0 0 0 1266 3 0 0 25 0 4 0 524119719 343973888 32234 33554432000 4194304 4627427 140734891093184 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 50.69
Current children cumulated vsize (KiB) 335912

[startup+25.5012 s]
/proc/loadavg: 8.12 8.09 7.99 9/184 29951
/proc/meminfo: memFree=29486244/32950928 swapFree=67086612/67111528
[pid=29947] ppid=29945 vsize=318492 CPUtime=101.81 cores=1,3,5,7
/proc/29947/stat : 29947 (strangenight2-m) R 29945 29947 29718 0 -1 4202496 71080 0 0 0 10165 16 0 0 25 0 4 0 524119718 326135808 40907 33554432000 4194304 4627427 140734891093184 18446744073709551615 4309572 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29947/statm: 79623 40907 390 106 0 74594 0
[pid=29947/tid=29948] ppid=29945 vsize=318492 CPUtime=25.33 cores=1,3,5,7
/proc/29947/task/29948/stat : 29948 (strangenight2-m) R 29945 29947 29718 0 -1 4202560 17788 0 0 0 2530 3 0 0 25 0 4 0 524119719 326135808 40907 33554432000 4194304 4627427 140734891093184 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29947/tid=29949] ppid=29945 vsize=318492 CPUtime=25.48 cores=1,3,5,7
/proc/29947/task/29949/stat : 29949 (strangenight2-m) R 29945 29947 29718 0 -1 4202560 16791 0 0 0 2546 2 0 0 25 0 4 0 524119719 326135808 40907 33554432000 4194304 4627427 140734891093184 18446744073709551615 4309279 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29947/tid=29950] ppid=29945 vsize=318492 CPUtime=25.49 cores=1,3,5,7
/proc/29947/task/29950/stat : 29950 (strangenight2-m) R 29945 29947 29718 0 -1 4202560 18283 0 0 0 2545 4 0 0 25 0 4 0 524119719 326135808 40907 33554432000 4194304 4627427 140734891093184 18446744073709551615 4309111 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 101.81
Current children cumulated vsize (KiB) 318492

[startup+51.1003 s]
/proc/loadavg: 8.14 8.10 8.00 9/184 29961
/proc/meminfo: memFree=29449928/32950928 swapFree=67086612/67111528
[pid=29947] ppid=29945 vsize=463984 CPUtime=204.04 cores=1,3,5,7
/proc/29947/stat : 29947 (strangenight2-m) R 29945 29947 29718 0 -1 4202496 116910 0 0 0 20376 28 0 0 25 0 4 0 524119718 475119616 53712 33554432000 4194304 4627427 140734891093184 18446744073709551615 4309098 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29947/statm: 115996 53712 390 106 0 110967 0
[pid=29947/tid=29948] ppid=29945 vsize=463984 CPUtime=50.78 cores=1,3,5,7
/proc/29947/task/29948/stat : 29948 (strangenight2-m) R 29945 29947 29718 0 -1 4202560 27028 0 0 0 5072 6 0 0 25 0 4 0 524119719 475119616 53712 33554432000 4194304 4627427 140734891093184 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29947/tid=29949] ppid=29945 vsize=463984 CPUtime=51.08 cores=1,3,5,7
/proc/29947/task/29949/stat : 29949 (strangenight2-m) R 29945 29947 29718 0 -1 4202560 30296 0 0 0 5102 6 0 0 25 0 4 0 524119719 475119616 53712 33554432000 4194304 4627427 140734891093184 18446744073709551615 4427411 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29947/tid=29950] ppid=29945 vsize=463984 CPUtime=51.07 cores=1,3,5,7
/proc/29947/task/29950/stat : 29950 (strangenight2-m) R 29945 29947 29718 0 -1 4202560 30051 0 0 0 5099 8 0 0 25 0 4 0 524119719 475119616 53712 33554432000 4194304 4627427 140734891093184 18446744073709551615 4309587 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 204.04
Current children cumulated vsize (KiB) 463984

[startup+102.307 s]
/proc/loadavg: 8.11 8.10 8.00 9/184 29993
/proc/meminfo: memFree=29808480/32950928 swapFree=67086612/67111528
[pid=29947] ppid=29945 vsize=432448 CPUtime=408.6 cores=1,3,5,7
/proc/29947/stat : 29947 (strangenight2-m) R 29945 29947 29718 0 -1 4202496 188855 0 0 0 40815 45 0 0 25 0 4 0 524119718 442826752 58828 33554432000 4194304 4627427 140734891093184 18446744073709551615 4309270 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29947/statm: 108112 58828 389 106 0 103083 0
[pid=29947/tid=29948] ppid=29945 vsize=432448 CPUtime=101.73 cores=1,3,5,7
/proc/29947/task/29948/stat : 29948 (strangenight2-m) R 29945 29947 29718 0 -1 4202560 44630 0 0 0 10163 10 0 0 25 0 4 0 524119719 442826752 58828 33554432000 4194304 4627427 140734891093184 18446744073709551615 4309272 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29947/tid=29949] ppid=29945 vsize=432448 CPUtime=102.3 cores=1,3,5,7
/proc/29947/task/29949/stat : 29949 (strangenight2-m) R 29945 29947 29718 0 -1 4202560 49885 0 0 0 10219 11 0 0 25 0 4 0 524119719 442826752 58828 33554432000 4194304 4627427 140734891093184 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29947/tid=29950] ppid=29945 vsize=432448 CPUtime=102.28 cores=1,3,5,7
/proc/29947/task/29950/stat : 29950 (strangenight2-m) R 29945 29947 29718 0 -1 4202560 44101 0 0 0 10216 12 0 0 25 0 4 0 524119719 442826752 58828 33554432000 4194304 4627427 140734891093184 18446744073709551615 4309242 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 408.6
Current children cumulated vsize (KiB) 432448

[startup+162.301 s]

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

[pid=29947] ppid=29945 vsize=816476 CPUtime=2804.59 cores=1,3,5,7
/proc/29947/stat : 29947 (strangenight2-m) R 29945 29947 29718 0 -1 4202496 664530 0 0 0 280261 198 0 0 25 0 4 0 524119718 836071424 161681 33554432000 4194304 4627427 140734891093184 18446744073709551615 4310102 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29947/statm: 204119 161681 389 106 0 199090 0
[pid=29947/tid=29948] ppid=29945 vsize=816476 CPUtime=698.37 cores=1,3,5,7
/proc/29947/task/29948/stat : 29948 (strangenight2-m) R 29945 29947 29718 0 -1 4202560 156516 0 0 0 69792 45 0 0 25 0 4 0 524119719 836071424 161681 33554432000 4194304 4627427 140734891093184 18446744073709551615 4309279 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29947/tid=29949] ppid=29945 vsize=816476 CPUtime=702.3 cores=1,3,5,7
/proc/29947/task/29949/stat : 29949 (strangenight2-m) R 29945 29947 29718 0 -1 4202560 159803 0 0 0 70182 48 0 0 25 0 4 0 524119719 836071424 161681 33554432000 4194304 4627427 140734891093184 18446744073709551615 4309587 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29947/tid=29950] ppid=29945 vsize=816476 CPUtime=701.65 cores=1,3,5,7
/proc/29947/task/29950/stat : 29950 (strangenight2-m) R 29945 29947 29718 0 -1 4202560 156999 0 0 0 70118 47 0 0 25 0 4 0 524119719 836071424 161681 33554432000 4194304 4627427 140734891093184 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2804.59
Current children cumulated vsize (KiB) 816476

[startup+762.307 s]
/proc/loadavg: 8.01 8.07 8.03 9/184 30014
/proc/meminfo: memFree=29069520/32950928 swapFree=67086612/67111528
[pid=29947] ppid=29945 vsize=1062312 CPUtime=3044.29 cores=1,3,5,7
/proc/29947/stat : 29947 (strangenight2-m) R 29945 29947 29718 0 -1 4202496 695930 0 0 0 304214 215 0 0 25 0 4 0 524119718 1087807488 168261 33554432000 4194304 4627427 140734891093184 18446744073709551615 4428116 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29947/statm: 265578 168261 389 106 0 260549 0
[pid=29947/tid=29948] ppid=29945 vsize=1062312 CPUtime=758.05 cores=1,3,5,7
/proc/29947/task/29948/stat : 29948 (strangenight2-m) R 29945 29947 29718 0 -1 4202560 162631 0 0 0 75756 49 0 0 25 0 4 0 524119719 1087807488 168261 33554432000 4194304 4627427 140734891093184 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29947/tid=29949] ppid=29945 vsize=1062312 CPUtime=762.32 cores=1,3,5,7
/proc/29947/task/29949/stat : 29949 (strangenight2-m) R 29945 29947 29718 0 -1 4202560 168739 0 0 0 76179 53 0 0 25 0 4 0 524119719 1087807488 168261 33554432000 4194304 4627427 140734891093184 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29947/tid=29950] ppid=29945 vsize=1062312 CPUtime=761.66 cores=1,3,5,7
/proc/29947/task/29950/stat : 29950 (strangenight2-m) R 29945 29947 29718 0 -1 4202560 160377 0 0 0 76116 50 0 0 25 0 4 0 524119719 1087807488 168261 33554432000 4194304 4627427 140734891093184 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3044.29
Current children cumulated vsize (KiB) 1062312

[startup+822.301 s]
/proc/loadavg: 8.07 8.07 8.03 9/184 30015
/proc/meminfo: memFree=29092140/32950928 swapFree=67086612/67111528
[pid=29947] ppid=29945 vsize=1016568 CPUtime=3283.94 cores=1,3,5,7
/proc/29947/stat : 29947 (strangenight2-m) R 29945 29947 29718 0 -1 4202496 737557 0 0 0 328167 227 0 0 25 0 4 0 524119718 1040965632 164948 33554432000 4194304 4627427 140734891093184 18446744073709551615 4309253 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29947/statm: 254142 164948 389 106 0 249113 0
[pid=29947/tid=29948] ppid=29945 vsize=1016568 CPUtime=817.72 cores=1,3,5,7
/proc/29947/task/29948/stat : 29948 (strangenight2-m) R 29945 29947 29718 0 -1 4202560 174167 0 0 0 81719 53 0 0 25 0 4 0 524119719 1040965632 164948 33554432000 4194304 4627427 140734891093184 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29947/tid=29949] ppid=29945 vsize=1016568 CPUtime=822.31 cores=1,3,5,7
/proc/29947/task/29949/stat : 29949 (strangenight2-m) R 29945 29947 29718 0 -1 4202560 175522 0 0 0 82176 55 0 0 25 0 4 0 524119719 1040965632 164948 33554432000 4194304 4627427 140734891093184 18446744073709551615 4327482 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29947/tid=29950] ppid=29945 vsize=1016568 CPUtime=821.66 cores=1,3,5,7
/proc/29947/task/29950/stat : 29950 (strangenight2-m) R 29945 29947 29718 0 -1 4202560 171639 0 0 0 82112 54 0 0 25 0 4 0 524119719 1040965632 164948 33554432000 4194304 4627427 140734891093184 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3283.94
Current children cumulated vsize (KiB) 1016568

[startup+882.301 s]
/proc/loadavg: 8.15 8.09 8.03 9/184 30017
/proc/meminfo: memFree=29034920/32950928 swapFree=67086612/67111528
[pid=29947] ppid=29945 vsize=960816 CPUtime=3523.62 cores=1,3,5,7
/proc/29947/stat : 29947 (strangenight2-m) R 29945 29947 29718 0 -1 4202496 779909 0 0 0 352117 245 0 0 25 0 4 0 524119718 983875584 172384 33554432000 4194304 4627427 140734891093184 18446744073709551615 4309315 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29947/statm: 240204 172384 389 106 0 235175 0
[pid=29947/tid=29948] ppid=29945 vsize=960816 CPUtime=877.4 cores=1,3,5,7
/proc/29947/task/29948/stat : 29948 (strangenight2-m) R 29945 29947 29718 0 -1 4202560 181169 0 0 0 87683 57 0 0 25 0 4 0 524119719 983875584 172384 33554432000 4194304 4627427 140734891093184 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29947/tid=29949] ppid=29945 vsize=960816 CPUtime=882.31 cores=1,3,5,7
/proc/29947/task/29949/stat : 29949 (strangenight2-m) R 29945 29947 29718 0 -1 4202560 187538 0 0 0 88172 59 0 0 25 0 4 0 524119719 983875584 172384 33554432000 4194304 4627427 140734891093184 18446744073709551615 4309209 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29947/tid=29950] ppid=29945 vsize=960816 CPUtime=881.66 cores=1,3,5,7
/proc/29947/task/29950/stat : 29950 (strangenight2-m) R 29945 29947 29718 0 -1 4202560 183166 0 0 0 88108 58 0 0 25 0 4 0 524119719 983875584 172384 33554432000 4194304 4627427 140734891093184 18446744073709551615 4428285 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3523.62
Current children cumulated vsize (KiB) 960816

[startup+942.301 s]
/proc/loadavg: 8.17 8.10 8.04 9/184 30019
/proc/meminfo: memFree=29029044/32950928 swapFree=67086612/67111528
[pid=29947] ppid=29945 vsize=1059152 CPUtime=3763.3 cores=1,3,5,7
/proc/29947/stat : 29947 (strangenight2-m) R 29945 29947 29718 0 -1 4202496 809736 0 0 0 376070 260 0 0 25 0 4 0 524119718 1084571648 177548 33554432000 4194304 4627427 140734891093184 18446744073709551615 4309572 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29947/statm: 264788 177548 389 106 0 259759 0
[pid=29947/tid=29948] ppid=29945 vsize=1059152 CPUtime=937.07 cores=1,3,5,7
/proc/29947/task/29948/stat : 29948 (strangenight2-m) R 29945 29947 29718 0 -1 4202560 189810 0 0 0 93646 61 0 0 25 0 4 0 524119719 1084571648 177548 33554432000 4194304 4627427 140734891093184 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29947/tid=29949] ppid=29945 vsize=1059152 CPUtime=942.31 cores=1,3,5,7
/proc/29947/task/29949/stat : 29949 (strangenight2-m) R 29945 29947 29718 0 -1 4202560 194838 0 0 0 94168 63 0 0 25 0 4 0 524119719 1084571648 177548 33554432000 4194304 4627427 140734891093184 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29947/tid=29950] ppid=29945 vsize=1059152 CPUtime=941.66 cores=1,3,5,7
/proc/29947/task/29950/stat : 29950 (strangenight2-m) R 29945 29947 29718 0 -1 4202560 188186 0 0 0 94105 61 0 0 25 0 4 0 524119719 1084571648 177548 33554432000 4194304 4627427 140734891093184 18446744073709551615 4310481 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3763.3
Current children cumulated vsize (KiB) 1059152

[startup+1002.3 s]
/proc/loadavg: 8.17 8.11 8.04 9/184 30020
/proc/meminfo: memFree=28959932/32950928 swapFree=67086612/67111528
[pid=29947] ppid=29945 vsize=1060208 CPUtime=4002.97 cores=1,3,5,7
/proc/29947/stat : 29947 (strangenight2-m) R 29945 29947 29718 0 -1 4202496 834816 0 0 0 400027 270 0 0 25 0 4 0 524119718 1085652992 176446 33554432000 4194304 4627427 140734891093184 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29947/statm: 265052 176446 389 106 0 260023 0
[pid=29947/tid=29948] ppid=29945 vsize=1060208 CPUtime=996.75 cores=1,3,5,7
/proc/29947/task/29948/stat : 29948 (strangenight2-m) R 29945 29947 29718 0 -1 4202560 192295 0 0 0 99613 62 0 0 25 0 4 0 524119719 1085652992 176446 33554432000 4194304 4627427 140734891093184 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29947/tid=29949] ppid=29945 vsize=1060208 CPUtime=1002.32 cores=1,3,5,7
/proc/29947/task/29949/stat : 29949 (strangenight2-m) R 29945 29947 29718 0 -1 4202560 202928 0 0 0 100166 66 0 0 25 0 4 0 524119719 1085652992 176446 33554432000 4194304 4627427 140734891093184 18446744073709551615 4309256 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29947/tid=29950] ppid=29945 vsize=1060208 CPUtime=1001.67 cores=1,3,5,7
/proc/29947/task/29950/stat : 29950 (strangenight2-m) R 29945 29947 29718 0 -1 4202560 190765 0 0 0 100104 63 0 0 25 0 4 0 524119719 1085652992 176446 33554432000 4194304 4627427 140734891093184 18446744073709551615 4309155 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4002.97
Current children cumulated vsize (KiB) 1060208

[startup+1062.3 s]
/proc/loadavg: 8.16 8.12 8.05 9/184 30022
/proc/meminfo: memFree=28974256/32950928 swapFree=67086612/67111528
[pid=29947] ppid=29945 vsize=939176 CPUtime=4242.65 cores=1,3,5,7
/proc/29947/stat : 29947 (strangenight2-m) R 29945 29947 29718 0 -1 4202496 858832 0 0 0 423984 281 0 0 25 0 4 0 524119718 961716224 180529 33554432000 4194304 4627427 140734891093184 18446744073709551615 4427418 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29947/statm: 234794 180529 389 106 0 229765 0
[pid=29947/tid=29948] ppid=29945 vsize=939176 CPUtime=1056.43 cores=1,3,5,7
/proc/29947/task/29948/stat : 29948 (strangenight2-m) R 29945 29947 29718 0 -1 4202560 195313 0 0 0 105579 64 0 0 25 0 4 0 524119719 961716224 180529 33554432000 4194304 4627427 140734891093184 18446744073709551615 4309109 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29947/tid=29949] ppid=29945 vsize=939176 CPUtime=1062.32 cores=1,3,5,7
/proc/29947/task/29949/stat : 29949 (strangenight2-m) R 29945 29947 29718 0 -1 4202560 205602 0 0 0 106164 68 0 0 25 0 4 0 524119719 961716224 180529 33554432000 4194304 4627427 140734891093184 18446744073709551615 4309279 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29947/tid=29950] ppid=29945 vsize=939176 CPUtime=1061.66 cores=1,3,5,7
/proc/29947/task/29950/stat : 29950 (strangenight2-m) R 29945 29947 29718 0 -1 4202560 199025 0 0 0 106100 66 0 0 25 0 4 0 524119719 961716224 180529 33554432000 4194304 4627427 140734891093184 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4242.65
Current children cumulated vsize (KiB) 939176

[startup+1122.3 s]
/proc/loadavg: 8.11 8.11 8.05 9/184 30023
/proc/meminfo: memFree=29012024/32950928 swapFree=67086612/67111528
[pid=29947] ppid=29945 vsize=980760 CPUtime=4482.33 cores=1,3,5,7
/proc/29947/stat : 29947 (strangenight2-m) R 29945 29947 29718 0 -1 4202496 882379 0 0 0 447941 292 0 0 25 0 4 0 524119718 1004298240 168196 33554432000 4194304 4627427 140734891093184 18446744073709551615 4507260 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29947/statm: 245190 168196 389 106 0 240161 0
[pid=29947/tid=29948] ppid=29945 vsize=980760 CPUtime=1116.1 cores=1,3,5,7
/proc/29947/task/29948/stat : 29948 (strangenight2-m) R 29945 29947 29718 0 -1 4202560 202427 0 0 0 111544 66 0 0 25 0 4 0 524119719 1004298240 168196 33554432000 4194304 4627427 140734891093184 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29947/tid=29949] ppid=29945 vsize=980760 CPUtime=1122.32 cores=1,3,5,7
/proc/29947/task/29949/stat : 29949 (strangenight2-m) R 29945 29947 29718 0 -1 4202560 208576 0 0 0 112162 70 0 0 25 0 4 0 524119719 1004298240 168196 33554432000 4194304 4627427 140734891093184 18446744073709551615 4327427 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29947/tid=29950] ppid=29945 vsize=980760 CPUtime=1121.67 cores=1,3,5,7
/proc/29947/task/29950/stat : 29950 (strangenight2-m) R 29945 29947 29718 0 -1 4202560 201113 0 0 0 112100 67 0 0 25 0 4 0 524119719 1004298240 168196 33554432000 4194304 4627427 140734891093184 18446744073709551615 4309594 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4482.33
Current children cumulated vsize (KiB) 980760

[startup+1182.3 s]
/proc/loadavg: 8.04 8.09 8.04 9/184 30025
/proc/meminfo: memFree=28996088/32950928 swapFree=67086612/67111528
[pid=29947] ppid=29945 vsize=1000392 CPUtime=4722.01 cores=1,3,5,7
/proc/29947/stat : 29947 (strangenight2-m) R 29945 29947 29718 0 -1 4202496 914543 0 0 0 471895 306 0 0 25 0 4 0 524119718 1024401408 175436 33554432000 4194304 4627427 140734891093184 18446744073709551615 4309277 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29947/statm: 250098 175436 389 106 0 245069 0
[pid=29947/tid=29948] ppid=29945 vsize=1000392 CPUtime=1175.78 cores=1,3,5,7
/proc/29947/task/29948/stat : 29948 (strangenight2-m) R 29945 29947 29718 0 -1 4202560 210449 0 0 0 117508 70 0 0 25 0 4 0 524119719 1024401408 175436 33554432000 4194304 4627427 140734891093184 18446744073709551615 4309206 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29947/tid=29949] ppid=29945 vsize=1000392 CPUtime=1182.33 cores=1,3,5,7
/proc/29947/task/29949/stat : 29949 (strangenight2-m) R 29945 29947 29718 0 -1 4202560 215684 0 0 0 118160 73 0 0 25 0 4 0 524119719 1024401408 175436 33554432000 4194304 4627427 140734891093184 18446744073709551615 4309197 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29947/tid=29950] ppid=29945 vsize=1000392 CPUtime=1181.67 cores=1,3,5,7
/proc/29947/task/29950/stat : 29950 (strangenight2-m) R 29945 29947 29718 0 -1 4202560 209280 0 0 0 118096 71 0 0 25 0 4 0 524119719 1024401408 175436 33554432000 4194304 4627427 140734891093184 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4722.01
Current children cumulated vsize (KiB) 1000392



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.9 s]
/proc/loadavg: 8.03 8.08 8.04 9/184 30026
/proc/meminfo: memFree=29006244/32950928 swapFree=67086612/67111528
[pid=29947] ppid=29945 vsize=1027320 CPUtime=4800.32 cores=1,3,5,7
/proc/29947/stat : 29947 (strangenight2-m) R 29945 29947 29718 0 -1 4202496 922170 0 0 0 479722 310 0 0 25 0 4 0 524119718 1051975680 179125 33554432000 4194304 4627427 140734891093184 18446744073709551615 4309568 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29947/statm: 256830 179125 389 106 0 251801 0
[pid=29947/tid=29948] ppid=29945 vsize=1027320 CPUtime=1195.28 cores=1,3,5,7
/proc/29947/task/29948/stat : 29948 (strangenight2-m) R 29945 29947 29718 0 -1 4202560 210522 0 0 0 119458 70 0 0 25 0 4 0 524119719 1051975680 179125 33554432000 4194304 4627427 140734891093184 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29947/tid=29949] ppid=29945 vsize=1027320 CPUtime=1201.93 cores=1,3,5,7
/proc/29947/task/29949/stat : 29949 (strangenight2-m) R 29945 29947 29718 0 -1 4202560 217050 0 0 0 120119 74 0 0 25 0 4 0 524119719 1051975680 179125 33554432000 4194304 4627427 140734891093184 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29947/tid=29950] ppid=29945 vsize=1027320 CPUtime=1201.28 cores=1,3,5,7
/proc/29947/task/29950/stat : 29950 (strangenight2-m) R 29945 29947 29718 0 -1 4202560 213573 0 0 0 120055 73 0 0 25 0 4 0 524119719 1051975680 179125 33554432000 4194304 4627427 140734891093184 18446744073709551615 4309364 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.32
Current children cumulated vsize (KiB) 1027320

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

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

[startup+1201.9 s]
/proc/loadavg: 8.03 8.08 8.04 9/184 30026
/proc/meminfo: memFree=29006244/32950928 swapFree=67086612/67111528
[pid=29947] ppid=29945 vsize=1027320 CPUtime=4800.32 cores=1,3,5,7
/proc/29947/stat : 29947 (strangenight2-m) R 29945 29947 29718 0 -1 4202496 922170 0 0 0 479722 310 0 0 25 0 4 0 524119718 1051975680 179125 33554432000 4194304 4627427 140734891093184 18446744073709551615 4309568 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29947/statm: 256830 179125 389 106 0 251801 0
[pid=29947/tid=29948] ppid=29945 vsize=1027320 CPUtime=1195.28 cores=1,3,5,7
/proc/29947/task/29948/stat : 29948 (strangenight2-m) R 29945 29947 29718 0 -1 4202560 210522 0 0 0 119458 70 0 0 25 0 4 0 524119719 1051975680 179125 33554432000 4194304 4627427 140734891093184 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29947/tid=29949] ppid=29945 vsize=1027320 CPUtime=1201.93 cores=1,3,5,7
/proc/29947/task/29949/stat : 29949 (strangenight2-m) R 29945 29947 29718 0 -1 4202560 217050 0 0 0 120119 74 0 0 25 0 4 0 524119719 1051975680 179125 33554432000 4194304 4627427 140734891093184 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29947/tid=29950] ppid=29945 vsize=1027320 CPUtime=1201.28 cores=1,3,5,7
/proc/29947/task/29950/stat : 29950 (strangenight2-m) R 29945 29947 29718 0 -1 4202560 213573 0 0 0 120055 73 0 0 25 0 4 0 524119719 1051975680 179125 33554432000 4194304 4627427 140734891093184 18446744073709551615 4309364 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.32
Current children cumulated vsize (KiB) 1027320

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.94
CPU time (s): 4800.38
CPU user time (s): 4797.24
CPU system time (s): 3.13452
CPU usage (%): 399.385
Max. virtual memory (cumulated for all children) (KiB): 1171636

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.24
system time used= 3.13452
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 922171
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= 1199
involuntary context switches= 19872

runsolver used 1.72974 second user time and 4.77027 second system time

The end

Launcher Data 

Begin job on node148 at 2011-04-30 03:00:27
IDJOB=3262903
IDBENCH=83903
IDSOLVER=1586
FILE ID=node148/3262903-1304125226
RUNJOBID= node148-1304122819-29737
PBS_JOBID= 13170748
Free space on /tmp= 71428 MiB

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

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

MD5SUM BENCH= c06088cac8521bfe72bbb4c9ad8d39fb
RANDOM SEED=1269255025

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:      29674232 kB
Buffers:        718444 kB
Cached:        1642148 kB
SwapCached:       3696 kB
Active:         639480 kB
Inactive:      2272328 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      29674232 kB
SwapTotal:    67111528 kB
SwapFree:     67086612 kB
Dirty:            6264 kB
Writeback:           0 kB
AnonPages:      549092 kB
Mapped:          14500 kB
Slab:           300040 kB
PageTables:       5904 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   816844 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= 71420 MiB
End job on node148 at 2011-04-30 03:20:30