Trace number 3173805

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.34 1201.77

General information on the benchmark

Namerandom/large/
unif-k3-r4.2-v20000-c84000-S313385224-076-UNKNOWN.cnf
MD5SUMc8a628789219fd1293880c95bfb25038
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark13.7849
Satisfiable
(Un)Satisfiability was proved
Number of variables20000
Number of clauses84000
Sum of the clauses size252000
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 384000
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

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-3173805-1304031276.cnf'
0.00/0.00	c -- header says num vars:          20000
0.00/0.00	c -- header says num clauses:       84000
0.00/0.14	c -- clauses added:            0 learnts,        84000 normals,            0 xors
0.00/0.14	c -- vars added      20000
0.00/0.14	c Parsing time:  0.05 s
0.00/0.14	c  N st     0         0     20000     84000         0         0    252000         0   no data   no data
0.00/0.14	c asymm  cl-useful: 0/84000/84000 lits-rem:0 time: 0.07
0.00/0.17	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.03
0.00/0.25	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.00/0.25	c bin-w-bin subsume rem            0 bins  time:  0.01 s
0.00/0.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
0.00/0.25	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  20000 time:  0.01 s
0.00/0.25	c Removed useless bin:       0  fixed:     0  props:   0.20M  time:  0.01 s
3.97/1.02	c lits-rem:         0  cl-subs:        0  v-elim:    475  v-fix:    0  time:  0.13 s
3.97/1.02	c Finding binary XORs  T:     0.00 s  found:       0
3.97/1.02	c Finding non-binary XORs:     0.02 s (found:       0, avg size: nan)
3.97/1.02	c calculated reachability. Time: 0.00
3.97/1.02	c Calc default polars -  time:   0.01 s pos:    8870 undec:    2228 neg:    8902
3.97/1.02	c =========================================================================================
3.97/1.02	c types(t): F = full restart, N = normal restart
3.97/1.02	c types(t): S = simplification begin/end, E = solution found
3.97/1.02	c restart types(rt): st = static, dy = dynamic
3.97/1.02	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.97/1.02	c  B st     0         0     19525     83454         0         0    253331         0   no data   no data
5.96/1.57	c  N dy    19      4118     19525     83454         0      4116    253331    920741    125.96    133.75
10.76/2.75	c  N dy    48      8152     19525     83454         0      8150    253331   1768958    131.71    148.72
15.57/3.97	c  N dy    73     12297     19525     83454         0     12295    253331   2602675    129.64    142.17
20.74/5.22	c  N dy   100     16392     19525     83454         0     16390    253331   3444669    129.96    139.39
25.94/6.54	c  N dy   125     20541     19525     83454         0     10546    253331    675197    129.63    137.58
30.73/7.75	c  N dy   152     24563     19525     83454         0     14568    253331   1487174    129.28    138.90
31.13/7.88	c  F st   156     25001     19525     83454         0     15006    253331   1580236    129.36   no data
37.94/9.56	c  N dy   162     30000     19525     83454         0     20004    253331   2988689    129.36   no data
37.94/9.56	c  S st   162     30000     19525     83454         0     20004    253331   2988689    129.36   no data
38.72/9.72	c  S st   162     30503     19525     83454         0     20507    253331   3065169    129.36   no data
38.72/9.73	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
39.12/9.81	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.08
39.12/9.84	c blocked clauses removed:      414 vars:     66 tried:       19525 T: 0.01 s
39.12/9.85	c bin-w-bin subsume rem            0 bins  time:  0.00 s
39.12/9.85	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
39.12/9.86	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19459 time:  0.01 s
39.12/9.86	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
39.52/9.96	c lits-rem:         0  cl-subs:        0  v-elim:      9  v-fix:    0  time:  0.09 s
40.72/10.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
43.51/10.98	c lits-rem:         6  cl-subs:        4  v-elim:      0  v-fix:    0  time:  0.76 s
43.91/11.08	c asymm  cl-useful: 0/83032/83032 lits-rem:0 time: 0.10
43.91/11.09	c calculated reachability. Time: 0.00
43.91/11.09	c  N dy   162     30503     19450     83032         0     20181    252111   2857595    129.36   no data
49.51/12.45	c  N dy   185     34574     19450     83032         0     24252    252111   3693986    129.30    140.55
55.52/13.92	c  N dy   211     38754     19450     83032         0     28431    252111   4568629    129.46    136.61
61.09/15.35	c  N dy   236     42964     19450     83032         0     17303    252111   1063102    129.52    141.92
64.68/16.24	c  S st   253     45754     19450     83032         0     20092    252111   1618864    129.17    121.29
65.48/16.41	c  S st   253     46259     19450     83032         0     20597    252111   1687333    129.17   no data
65.48/16.42	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
65.88/16.50	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.08
65.88/16.52	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
65.88/16.53	c bin-w-bin subsume rem            0 bins  time:  0.01 s
65.88/16.53	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
65.88/16.54	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19450 time:  0.01 s
65.88/16.55	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
66.29/16.63	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.08 s
66.69/16.72	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
67.48/16.97	c lits-rem:         0  cl-subs:        1  v-elim:      0  v-fix:    0  time:  0.23 s
67.48/16.98	c vivif2 --  cl tried    83032 cl shrink        0 lits rem          0 time: 0.01
67.88/17.01	c vivif2 --  cl tried    20596 cl shrink        0 lits rem          0 time: 0.03
68.30/17.10	c asymm  cl-useful: 0/83032/83032 lits-rem:0 time: 0.10
68.30/17.11	c calculated reachability. Time: 0.00
68.30/17.11	c  N dy   253     46259     19450     83032         0     20596    252111   1686687    129.17   no data
73.48/18.44	c  N dy   281     50316     19450     83032         0     24653    252111   2524197    129.08    148.26
79.07/19.84	c  N dy   310     54432     19450     83032         0     28769    252111   3377139    129.33    139.05
84.67/21.27	c  N dy   339     58542     19450     83032         0     32879    252111   4197938    129.42    136.54
90.68/22.75	c  N dy   369     62653     19450     83032         0     36990    252111   5055075    129.55    138.36
96.25/24.11	c  N dy   393     66736     19450     83032         0     22402    252111   1422439    129.46    157.48
99.46/24.99	c  S st   411     69388     19450     83032         0     25054    252111   1972731    129.57   no data
100.24/25.17	c  S st   411     69891     19450     83032         0     25557    252111   2036878    129.57   no data
100.24/25.18	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
100.64/25.27	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.08
100.64/25.29	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
100.64/25.29	c bin-w-bin subsume rem            0 bins  time:  0.01 s
101.04/25.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
101.04/25.31	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19450 time:  0.01 s
101.04/25.31	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
101.44/25.40	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.09 s
101.83/25.51	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
103.04/25.88	c lits-rem:         2  cl-subs:        1  v-elim:      0  v-fix:    0  time:  0.36 s
103.04/25.89	c vivif2 --  cl tried    83032 cl shrink        0 lits rem          0 time: 0.01
103.46/25.92	c vivif2 --  cl tried    25556 cl shrink        0 lits rem          0 time: 0.03
103.86/26.03	c asymm  cl-useful: 0/83032/83032 lits-rem:0 time: 0.11
103.86/26.04	c calculated reachability. Time: 0.00
103.86/26.04	c  N dy   411     69891     19450     83032         0     25556    252111   2035854    129.57   no data
110.23/27.61	c  N dy   440     74512     19450     83032         0     30177    252111   2989958    129.58    138.57
117.04/29.35	c  N dy   474     79357     19450     83032         0     35021    252111   3993751    129.83    137.34
124.21/31.18	c  N dy   510     84480     19450     83032         0     40143    252111   5055476    129.96    138.17
128.61/32.29	c  F st   531     87501     19450     83032         0     22333    252111    933346    130.09    132.05
133.40/33.46	c  N st   536     90797     19450     83032         0     25629    252111   1812300    130.09   no data
141.79/35.56	c  N dy   566     96676     19450     83032         0     31507    252111   3248666    130.33    167.76
150.58/37.77	c  N dy   603    102888     19450     83032         0     37719    252111   4491695    130.24    138.26
153.38/38.49	c  S st   618    104836     19450     83032         0     39667    252111   4894323    130.28   no data
154.17/38.67	c  S st   618    105339     19450     83032         0     40170    252111   4962016    130.28   no data
154.17/38.68	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
154.57/38.78	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.10
154.97/38.80	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
154.97/38.81	c bin-w-bin subsume rem            0 bins  time:  0.01 s
154.97/38.81	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
154.97/38.82	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19450 time:  0.01 s
154.97/38.83	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
155.37/38.95	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.12 s
156.59/39.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
162.55/40.76	c lits-rem:         2  cl-subs:        2  v-elim:      0  v-fix:    0  time:  1.51 s
162.55/40.76	c vivif2 --  cl tried    83032 cl shrink        0 lits rem          0 time: 0.01
162.95/40.84	c vivif2 --  cl tried    40168 cl shrink        0 lits rem          0 time: 0.08
163.35/40.97	c asymm  cl-useful: 0/83032/83032 lits-rem:0 time: 0.13
163.35/40.98	c calculated reachability. Time: 0.00
163.35/40.98	c  N dy   618    105339     19450     83032         0     40168    252111   4961341    130.28   no data
173.76/43.56	c  N dy   663    112233     19450     83032         0     24647    252111   1037859    130.21    138.55
184.12/46.10	c  N dy   712    119466     19450     83032         0     31880    252111   2561483    130.48    187.82
195.32/48.96	c  N dy   765    127258     19450     83032         0     39672    252111   4193134    130.61    139.52
207.70/52.07	c  N dy   821    135382     19450     83032         0     24091    252111    625957    130.58    137.90
220.08/55.17	c  N dy   883    144344     19450     83032         0     33052    252111   2507168    130.80    143.02
233.66/58.53	c  N dy   942    153632     19450     83032         0     42340    252111   4422090    130.76    154.41
240.45/60.24	c  S st   976    158008     19450     83032         0     46716    252111   5346316    130.89   no data
241.25/60.44	c  S st   976    158513     19450     83032         0     47221    252111   5431649    130.89   no data
241.25/60.46	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
241.65/60.56	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.10
241.65/60.58	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
241.65/60.59	c bin-w-bin subsume rem            0 bins  time:  0.01 s
241.65/60.60	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
242.05/60.60	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19450 time:  0.01 s
242.05/60.61	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
242.46/60.74	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.12 s
243.66/61.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
252.04/63.20	c lits-rem:        12  cl-subs:        3  v-elim:      0  v-fix:    0  time:  2.15 s
252.44/63.21	c vivif2 --  cl tried    83032 cl shrink        0 lits rem          0 time: 0.01
252.44/63.29	c vivif2 --  cl tried    47218 cl shrink        0 lits rem          0 time: 0.09
253.26/63.43	c asymm  cl-useful: 0/83032/83032 lits-rem:0 time: 0.14
253.26/63.44	c calculated reachability. Time: 0.00
253.26/63.44	c  N dy   976    158513     19450     83032         0     47218    252111   5431342    130.89   no data
268.02/67.11	c  N dy  1043    168785     19450     83032         0     32634    252111   2080020    130.79    138.21
283.61/71.07	c  N dy  1110    179614     19450     83032         0     43463    252111   4267470    130.55    141.96
301.19/75.41	c  N dy  1185    191186     19450     83032         0     29110    252111   1130130    130.54    139.22
318.76/79.88	c  N dy  1269    203441     19450     83032         0     41364    252111   3666484    130.63    138.38
339.52/85.01	c  N dy  1360    216521     19450     83032         0     27477    252111    577566    130.74    141.63
359.09/89.97	c  N dy  1449    230379     19450     83032         0     41333    252111   3399571    130.68    149.64
370.28/92.78	c  S st  1496    237771     19450     83032         0     48725    252111   4901097    130.58   no data
371.08/92.99	c  S st  1496    238275     19450     83032         0     49229    252111   4981906    130.58   no data
371.49/93.01	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
371.90/93.11	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.10
371.90/93.13	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
371.90/93.14	c bin-w-bin subsume rem            0 bins  time:  0.01 s
371.90/93.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
371.90/93.15	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19450 time:  0.01 s
371.90/93.16	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
372.27/93.28	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.12 s
373.47/93.52	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
381.87/95.64	c lits-rem:         0  cl-subs:       10  v-elim:      0  v-fix:    0  time:  2.10 s
381.87/95.65	c vivif2 --  cl tried    83032 cl shrink        0 lits rem          0 time: 0.01
382.26/95.73	c vivif2 --  cl tried    49219 cl shrink        0 lits rem          0 time: 0.08
382.66/95.87	c asymm  cl-useful: 0/83032/83032 lits-rem:0 time: 0.14
382.66/95.87	c calculated reachability. Time: 0.00
382.66/95.88	c  N dy  1496    238275     19450     83032         0     49219    252111   4979316    130.58   no data
405.83/101.60	c  N dy  1595    253540     19450     83032         0     36501    252111   2256517    130.68    138.78
430.20/107.74	c  N dy  1703    269827     19450     83032         0     52787    252111   5599293    130.67    139.79
456.96/114.41	c  N dy  1822    287162     19450     83032         0     41130    252111   2977652    130.74    139.45
486.15/121.76	c  N dy  1951    305659     19450     83032         0     59625    252111   6858303    130.85    139.62
487.33/122.04	c  F st  1956    306251     19450     83032         0     30230    252111    494821    130.85   no data
516.09/129.20	c  N dy  2053    325190     19450     83032         0     49168    252111   4669795    130.88    140.90
546.86/136.98	c  N dy  2191    345234     19450     83032         0     38216    252111   1909428    130.97    139.62
565.62/141.62	c  S st  2268    357412     19450     83032         0     50391    252111   4402718    130.95    116.97
566.42/141.84	c  S st  2268    357919     19450     83032         0     50898    252111   4483727    130.95   no data
566.42/141.85	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
566.82/141.96	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.11
566.82/141.98	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
566.82/141.99	c bin-w-bin subsume rem            0 bins  time:  0.01 s
566.82/141.99	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
567.23/142.00	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19450 time:  0.01 s
567.23/142.01	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
567.63/142.12	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.12 s
568.43/142.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
580.00/145.27	c lits-rem:         1  cl-subs:        4  v-elim:      0  v-fix:    0  time:  2.92 s
580.00/145.28	c vivif2 --  cl tried    83032 cl shrink        0 lits rem          0 time: 0.01
580.41/145.35	c vivif2 --  cl tried    50894 cl shrink        0 lits rem          0 time: 0.07
580.81/145.49	c asymm  cl-useful: 0/83032/83032 lits-rem:0 time: 0.14
581.21/145.50	c calculated reachability. Time: 0.00
581.21/145.50	c  N dy  2268    357919     19450     83032         0     50894    252111   4482354    130.95   no data
612.77/153.49	c  N dy  2400    378093     19450     83032         0     39071    252111   1876842    130.98    140.28
645.12/161.55	c  N dy  2539    398259     19450     83032         0     59235    252111   6023977    131.02    138.05
676.68/169.46	c  N dy  2676    418306     19450     83032         0     46285    252111   3244512    131.13    138.31
709.44/177.68	c  N dy  2816    438313     19450     83032         0     66292    252111   7392538    131.16    144.05
741.01/185.56	c  N dy  2948    458533     19450     83032         0     52511    252111   4276051    131.20    138.47
774.15/193.86	c  N dy  3082    478575     19450     83032         0     37555    252111    965512    131.15    138.12
805.71/201.78	c  N dy  3216    498802     19450     83032         0     57781    252111   5166654    131.17    153.93
839.27/210.16	c  N dy  3360    518816     19450     83032         0     41792    252111   1655970    131.26    148.83
868.05/217.33	c  S st  3477    536880     19450     83032         0     59856    252111   5350983    131.22   no data
868.83/217.55	c  S st  3477    537385     19450     83032         0     60361    252111   5424319    131.22   no data
868.83/217.57	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
869.23/217.68	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.11
869.63/217.70	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
869.63/217.71	c bin-w-bin subsume rem            0 bins  time:  0.01 s
869.63/217.71	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
869.63/217.72	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19450 time:  0.01 s
869.63/217.73	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
870.03/217.86	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.13 s
871.23/218.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
882.41/220.97	c lits-rem:        11  cl-subs:        4  v-elim:      0  v-fix:    0  time:  2.82 s
882.41/220.98	c vivif2 --  cl tried    83032 cl shrink        0 lits rem          0 time: 0.01
882.81/221.07	c vivif2 --  cl tried    60357 cl shrink        0 lits rem          0 time: 0.09
883.61/221.23	c asymm  cl-useful: 0/83032/83032 lits-rem:0 time: 0.16
883.61/221.24	c calculated reachability. Time: 0.00
883.61/221.24	c  N dy  3477    537385     19450     83032         0     60357    252111   5422425    131.22   no data
917.56/229.72	c  N dy  3613    557581     19450     83032         0     43558    252111   1776326    131.22    138.83
949.93/237.87	c  N dy  3740    577787     19450     83032         0     63764    252111   5953510    131.19    139.75
984.28/246.40	c  N dy  3886    597838     19450     83032         0     45812    252111   2062446    131.30    138.26
1016.64/254.58	c  N dy  4016    617892     19450     83032         0     65865    252111   6292245    131.36    143.70
1051.39/263.23	c  N dy  4150    638201     19450     83032         0     47178    252111   2143484    131.38    145.33
1084.55/271.57	c  N dy  4287    658493     19450     83032         0     67466    252111   6378353    131.43    146.38
1119.30/280.21	c  N dy  4420    678554     19450     83032         0     47530    252111   1998628    131.45    138.39
1152.87/288.69	c  N dy  4544    698632     19450     83032         0     67607    252111   6181638    131.48    140.83
1188.01/297.47	c  N dy  4681    718665     19450     83032         0     46644    252111   1645515    131.56    178.15
1221.56/305.87	c  N dy  4824    738810     19450     83032         0     66789    252111   5941229    131.67    139.21
1257.52/314.84	c  N dy  4955    759117     19450     83032         0     45096    252111   1090252    131.68    138.64
1290.68/323.11	c  N dy  5088    779184     19450     83032         0     65161    252111   5303489    131.68    140.22
1326.62/332.18	c  N dy  5224    799217     19450     83032         0     85191    252111   9483055    131.72    148.00
1338.23/335.03	c  S st  5273    806077     19450     83032         0     49055    252111   1750417    131.75   no data
1339.01/335.24	c  S st  5273    806585     19450     83032         0     49563    252111   1824500    131.75   no data
1339.01/335.26	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1339.41/335.36	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.10
1339.41/335.38	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1339.41/335.39	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1339.41/335.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1339.81/335.40	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19450 time:  0.01 s
1339.81/335.41	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
1340.21/335.50	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.09 s
1340.21/335.59	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1343.02/336.29	c lits-rem:         0  cl-subs:        1  v-elim:      0  v-fix:    0  time:  0.68 s
1343.40/336.30	c vivif2 --  cl tried    83032 cl shrink        0 lits rem          0 time: 0.01
1343.40/336.33	c vivif2 --  cl tried    49562 cl shrink        0 lits rem          0 time: 0.03
1343.80/336.47	c asymm  cl-useful: 0/83032/83032 lits-rem:0 time: 0.14
1343.80/336.48	c calculated reachability. Time: 0.00
1343.80/336.48	c  N dy  5273    806585     19450     83032         0     49562    252111   1824100    131.75   no data
1377.35/344.89	c  N dy  5406    826684     19450     83032         0     69660    252111   5954963    131.74    140.06
1414.90/354.23	c  N dy  5538    847094     19450     83032         0     46073    252111    891642    131.76    142.05
1448.08/362.56	c  N dy  5677    867115     19450     83032         0     66094    252111   5142320    131.81    140.95
1484.01/371.59	c  N dy  5814    887128     19450     83032         0     86106    252111   9354918    131.86    144.13
1518.39/380.18	c  N dy  5955    907261     19450     83032         0     61243    252111   3914189    131.90    139.35
1553.92/389.02	c  N dy  6088    927327     19450     83032         0     81309    252111   8073829    131.91    140.22
1589.45/397.94	c  N dy  6222    947357     19450     83032         0     55338    252111   2462787    131.97    145.98
1624.22/406.69	c  N dy  6369    967402     19450     83032         0     75378    252111   6750634    132.05    185.83
1662.16/416.15	c  N dy  6507    987415     19450     83032         0     48390    252111    774870    132.08    140.19
1696.11/424.60	c  N dy  6642   1007514     19450     83032         0     68488    252111   4992245    132.10    139.43
1732.46/433.76	c  N dy  6774   1027556     19450     83032         0     88529    252111   9256570    132.12    146.50
1768.01/442.62	c  N dy  6910   1047657     19450     83032         0     60633    252111   3093400    132.13    139.46
1803.56/451.57	c  N dy  7052   1067690     19450     83032         0     80664    252111   7314232    132.16    139.44
1811.54/453.52	c  F st  7081   1071876     19450     83032         0     84850    252111   8194681    132.16    163.32
1841.10/460.98	c  N dy  7156   1087710     19450     83032         0     51684    252111   1037541    132.15    140.39
1875.86/469.60	c  N dy  7288   1107730     19450     83032         0     71704    252111   5174382    132.16    139.34
1913.00/478.96	c  N dy  7422   1127789     19450     83032         0     91763    252111   9318924    132.16    140.12
1949.75/488.17	c  N dy  7555   1148007     19450     83032         0     61983    252111   3005567    132.15    139.24
1986.09/497.26	c  N dy  7695   1168139     19450     83032         0     82115    252111   7217735    132.19    141.25
2026.04/507.20	c  N dy  7822   1188314     19450     83032         0     51293    252111    550869    132.17    149.18
2061.19/516.06	c  N dy  7961   1208536     19450     83032         0     71512    252111   4789647    132.21    139.38
2063.62/516.66	c  S st  7972   1209877     19450     83032         0     72853    252111   5064025    132.21    115.35
2064.79/516.91	c  S st  7972   1210380     19450     83032         0     73356    252111   5143863    132.21   no data
2064.79/516.93	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2065.19/517.05	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.12
2065.19/517.07	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2065.19/517.08	c bin-w-bin subsume rem            0 bins  time:  0.01 s
2065.19/517.09	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2065.19/517.09	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19450 time:  0.01 s
2065.59/517.10	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
2065.99/517.24	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.13 s
2066.79/517.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2079.17/520.54	c lits-rem:         6  cl-subs:        2  v-elim:      0  v-fix:    0  time:  3.02 s
2079.17/520.55	c vivif2 --  cl tried    83032 cl shrink        0 lits rem          0 time: 0.01
2079.57/520.64	c vivif2 --  cl tried    73354 cl shrink        0 lits rem          0 time: 0.09
2080.37/520.82	c asymm  cl-useful: 0/83032/83032 lits-rem:0 time: 0.18
2080.37/520.82	c calculated reachability. Time: 0.00
2080.37/520.82	c  N dy  7972   1210380     19450     83032         0     73354    252111   5142546    132.21   no data
2118.31/530.33	c  N dy  8111   1230544     19450     83032         0     93516    252111   9389608    132.23    139.84
2155.89/539.77	c  N dy  8252   1250690     19450     83032         0     61663    252111   2513405    132.25    139.22
2191.81/548.71	c  N dy  8382   1270699     19450     83032         0     81671    252111   6676630    132.25    144.28
2230.57/558.47	c  N dy  8511   1290724     19450     83032         0    101695    252111  10926402    132.27    146.41
2266.50/567.47	c  N dy  8649   1310753     19450     83032         0     68729    252111   3793910    132.30    178.16
2303.66/576.71	c  N dy  8775   1330829     19450     83032         0     88804    252111   8011217    132.30    139.95
2343.60/586.76	c  N dy  8907   1350966     19450     83032         0     54942    252111    690887    132.29    142.91
2378.35/595.49	c  N dy  9045   1371021     19450     83032         0     74995    252111   4913170    132.35    180.56
2416.69/605.03	c  N dy  9174   1391138     19450     83032         0     95111    252111   9110284    132.35    139.34
2456.23/614.97	c  N dy  9313   1411236     19450     83032         0     60213    252111   1606015    132.39    139.97
2492.19/623.94	c  N dy  9447   1431432     19450     83032         0     80407    252111   5843225    132.40    140.64
2531.33/633.70	c  N dy  9591   1451437     19450     83032         0    100411    252111  10055529    132.41    152.93
2570.08/643.42	c  N dy  9724   1471558     19450     83032         0     64539    252111   2296881    132.42    142.05
2607.23/652.70	c  N dy  9861   1491792     19450     83032         0     84770    252111   6520182    132.45    141.70
2647.18/662.74	c  N dy  9997   1511918     19450     83032         0    104891    252111  10720922    132.45    141.23
2685.52/672.38	c  N dy 10136   1532050     19450     83032         0     68029    252111   2848539    132.47    144.56
2722.69/681.67	c  N dy 10268   1552103     19450     83032         0     88081    252111   6981212    132.46    139.65
2762.61/691.64	c  N dy 10407   1572135     19450     83032         0    108110    252111  11219532    132.48    160.46
2800.96/701.22	c  N dy 10539   1592276     19450     83032         0     70251    252111   3078572    132.48    152.74
2838.51/710.61	c  N dy 10675   1612338     19450     83032         0     90311    252111   7270119    132.47    143.41
2879.25/720.89	c  N dy 10815   1632451     19450     83032         0    110419    252111  11460274    132.49    140.77
2917.60/730.49	c  N dy 10945   1652549     19450     83032         0     71525    252111   3178077    132.49    142.42
2955.56/739.95	c  N dy 11079   1672734     19450     83032         0     91709    252111   7414503    132.51    144.69
2997.08/750.32	c  N dy 11220   1692915     19450     83032         0    111888    252111  11690149    132.53    141.26
3031.43/758.92	c  S st 11331   1710380     19450     83032         0     69354    252111   2498569    132.52   no data
3032.23/759.16	c  S st 11331   1710885     19450     83032         0     69859    252111   2581584    132.52   no data
3032.23/759.18	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3033.04/759.30	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.12
3033.04/759.32	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3033.04/759.33	c bin-w-bin subsume rem            0 bins  time:  0.01 s
3033.04/759.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
3033.04/759.34	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19450 time:  0.01 s
3033.04/759.35	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
3033.44/759.46	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.11 s
3033.84/759.59	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
3040.63/761.23	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  1.62 s
3040.63/761.24	c vivif2 --  cl tried    83032 cl shrink        0 lits rem          0 time: 0.01
3040.63/761.29	c vivif2 --  cl tried    69859 cl shrink        0 lits rem          0 time: 0.05
3041.43/761.46	c asymm  cl-useful: 0/83032/83032 lits-rem:0 time: 0.17
3041.43/761.47	c calculated reachability. Time: 0.00
3041.43/761.47	c  N dy 11331   1710885     19450     83032         0     69859    252111   2581584    132.52   no data
3079.77/771.01	c  N dy 11468   1731215     19450     83032         0     90189    252111   6865778    132.54    142.50
3120.51/781.28	c  N dy 11601   1751409     19450     83032         0    110382    252111  11069537    132.52    139.51
3161.67/791.54	c  N dy 11746   1771491     19450     83032         0     69465    252111   2325342    132.56    147.59
3199.21/800.92	c  N dy 11886   1791500     19450     83032         0     89472    252111   6560540    132.58    149.51
3239.55/811.01	c  N dy 12017   1811643     19450     83032         0    109615    252111  10770804    132.58    140.65
3281.49/821.58	c  N dy 12153   1831771     19450     83032         0     67748    252111   1738232    132.59    142.10
3319.85/831.17	c  N dy 12292   1851909     19450     83032         0     87884    252111   5967290    132.59    139.68
3360.18/841.27	c  N dy 12422   1871974     19450     83032         0    107947    252111  10175228    132.61    141.96
3403.74/852.17	c  N dy 12564   1892012     19450     83032         0     64986    252111    993899    132.62    139.74
3440.47/861.30	c  N dy 12698   1912056     19450     83032         0     85030    252111   5167537    132.61    142.37
3480.41/871.39	c  N dy 12829   1932167     19450     83032         0    105137    252111   9422601    132.62    145.97
3523.95/882.28	c  N dy 12967   1952276     19450     83032         0    125245    252111  13663161    132.63    153.77
3562.29/891.86	c  N dy 13102   1972308     19450     83032         0     81283    252111   4174672    132.64    141.82
3601.83/901.74	c  N dy 13234   1992342     19450     83032         0    101317    252111   8401770    132.64    147.36
3644.99/912.52	c  N dy 13362   2012553     19450     83032         0    121525    252111  12778158    132.66    140.15
3684.93/922.52	c  N dy 13503   2032564     19450     83032         0     76537    252111   3036010    132.69    139.82
3723.66/932.20	c  N dy 13632   2052616     19450     83032         0     96588    252111   7190370    132.68    141.35
3765.20/942.68	c  N dy 13766   2072721     19450     83032         0    116691    252111  11435084    132.70    140.51
3807.55/953.30	c  N dy 13890   2092745     19450     83032         0     70716    252111   1524961    132.67    140.68
3845.89/962.87	c  N dy 14033   2112937     19450     83032         0     90906    252111   5786424    132.69    151.99
3887.05/973.15	c  N dy 14166   2133069     19450     83032         0    111036    252111   9962766    132.68    140.60
3931.77/984.34	c  N dy 14300   2153131     19450     83032         0    131096    252111  14212677    132.69    142.26
3970.14/993.92	c  N dy 14431   2173159     19450     83032         0     84130    252111   4224391    132.71    142.98
4011.26/1004.23	c  N dy 14556   2193267     19450     83032         0    104237    252111   8438471    132.70    148.58
4051.60/1014.32	c  S st 14674   2210885     19450     83032         0    121855    252111  12236325    132.72   no data
4052.80/1014.64	c  S st 14674   2211386     19450     83032         0    122356    252111  12314669    132.72   no data
4052.80/1014.67	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
4053.62/1014.84	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.9M T:  0.17
4053.62/1014.87	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4053.62/1014.87	c bin-w-bin subsume rem            0 bins  time:  0.01 s
4053.62/1014.88	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
4053.62/1014.89	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19450 time:  0.01 s
4053.62/1014.90	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
4054.80/1015.12	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.22 s
4057.60/1015.83	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
4086.36/1023.04	c lits-rem:        13  cl-subs:        8  v-elim:      0  v-fix:    0  time:  7.15 s
4086.36/1023.05	c vivif2 --  cl tried    83032 cl shrink        0 lits rem          0 time: 0.01
4087.16/1023.26	c vivif2 --  cl tried   122348 cl shrink        0 lits rem          0 time: 0.20
4088.36/1023.51	c asymm  cl-useful: 0/83032/83032 lits-rem:0 time: 0.26
4088.36/1023.52	c calculated reachability. Time: 0.00
4088.36/1023.52	c  N dy 14674   2211386     19450     83032         0    122348    252111  12310786    132.72   no data
4131.50/1034.37	c  N dy 14799   2231608     19450     83032         0     74572    252111   1952561    132.71    140.90
4169.84/1043.95	c  N dy 14939   2251682     19450     83032         0     94645    252111   6206107    132.74    140.02
4211.39/1054.39	c  N dy 15076   2271709     19450     83032         0    114669    252111  10391485    132.75    139.87
4256.15/1065.58	c  N dy 15206   2291715     19450     83032         0    134675    252111  14571112    132.74    164.87
4295.28/1075.36	c  N dy 15338   2311876     19450     83032         0     85838    252111   4120304    132.74    141.77
4336.41/1085.66	c  N dy 15481   2331986     19450     83032         0    105947    252111   8328161    132.76    142.46
4380.35/1096.62	c  N dy 15615   2352206     19450     83032         0    126165    252111  12564079    132.75    140.63
4423.48/1107.46	c  N dy 15736   2372299     19450     83032         0     76270    252111   1894256    132.75    141.62
4462.25/1117.18	c  N dy 15871   2392398     19450     83032         0     96367    252111   6117173    132.75    140.37
4504.59/1127.73	c  N dy 16010   2412442     19450     83032         0    116411    252111  10362371    132.76    145.11
4549.74/1139.05	c  N dy 16147   2432529     19450     83032         0    136497    252111  14610137    132.77    142.39
4589.70/1149.04	c  N dy 16279   2452537     19450     83032         0     85502    252111   3588152    132.77    141.69
4630.04/1159.17	c  N dy 16421   2472554     19450     83032         0    105518    252111   7836796    132.79    141.15
4673.20/1169.98	c  N dy 16552   2492698     19450     83032         0    125660    252111  12081270    132.79    140.35
4719.53/1181.57	c  N dy 16682   2512782     19450     83032         0     73757    252111    975189    132.79    144.49
4757.49/1191.08	c  N dy 16819   2532901     19450     83032         0     93874    252111   5233944    132.80    140.56
4799.04/1201.49	c  N dy 16948   2552938     19450     83032         0    113909    252111   9442794    132.80    140.39

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-3173805-1304031276/watcher-3173805-1304031276 -o /tmp/evaluation-result-3173805-1304031276/solver-3173805-1304031276 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3173805-1304031276.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: 8.19 8.10 7.54 6/180 28663
/proc/meminfo: memFree=20173268/32951124 swapFree=67111528/67111528
[pid=28663] ppid=28661 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/28663/stat : 28663 (strangenight2-m) R 28661 28663 28368 0 -1 4202496 408 0 0 0 0 0 0 0 25 0 4 0 247318884 52441088 347 33554432000 4194304 4627427 140735051671104 18446744073709551615 47590447417270 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28663/statm: 12803 347 299 106 0 7774 0
[pid=28663/tid=28664] ppid=28661 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/28663/task/28664/stat : 28664 (strangenight2-m) R 28661 28663 28368 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 247318884 52441088 347 33554432000 4194304 4627427 140735051671104 18446744073709551615 47590447417266 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28663/tid=28665] ppid=28661 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/28663/task/28665/stat : 28665 (strangenight2-m) R 28661 28663 28368 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 247318885 52441088 347 33554432000 4194304 4627427 140735051671104 18446744073709551615 268660718577 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28663/tid=28666] ppid=28661 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/28663/task/28666/stat : 28666 (strangenight2-m) R 28661 28663 28368 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 247318885 52441088 347 33554432000 4194304 4627427 140735051671104 18446744073709551615 268660718577 0 0 4096 2 0 0 0 -1 2 0 0 0

[startup+0.0323359 s]
/proc/loadavg: 8.19 8.10 7.54 6/180 28663
/proc/meminfo: memFree=20173268/32951124 swapFree=67111528/67111528
[pid=28663] ppid=28661 vsize=301540 CPUtime=0.12 cores=0,2,4,6
/proc/28663/stat : 28663 (strangenight2-m) R 28661 28663 28368 0 -1 4202496 11883 0 0 0 11 1 0 0 18 0 4 0 247318884 308776960 9820 33554432000 4194304 4627427 140735051671104 18446744073709551615 268660330753 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28663/statm: 75661 11266 339 106 0 70632 0
[pid=28663/tid=28664] ppid=28661 vsize=303364 CPUtime=0.04 cores=0,2,4,6
/proc/28663/task/28664/stat : 28664 (strangenight2-m) D 28661 28663 28368 0 -1 4202560 3225 0 0 0 4 0 0 0 25 0 4 0 247318884 310644736 11313 33554432000 4194304 4627427 140735051671104 18446744073709551615 4507218 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28663/tid=28665] ppid=28661 vsize=303364 CPUtime=0.05 cores=0,2,4,6
/proc/28663/task/28665/stat : 28665 (strangenight2-m) R 28661 28663 28368 0 -1 4202560 3671 0 0 0 5 0 0 0 18 0 4 0 247318885 310644736 12826 33554432000 4194304 4627427 140735051671104 18446744073709551615 268660705463 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28663/tid=28666] ppid=28661 vsize=311904 CPUtime=0.3 cores=0,2,4,6
/proc/28663/task/28666/stat : 28666 (strangenight2-m) D 28661 28663 28368 0 -1 4202560 3904 0 0 0 30 0 0 0 18 0 4 0 247318885 319389696 20533 33554432000 4194304 4627427 140735051671104 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 301540

[startup+0.830602 s]
/proc/loadavg: 8.19 8.10 7.54 6/180 28663
/proc/meminfo: memFree=20173268/32951124 swapFree=67111528/67111528
[pid=28663] ppid=28661 vsize=314036 CPUtime=3.29 cores=0,2,4,6
/proc/28663/stat : 28663 (strangenight2-m) R 28661 28663 28368 0 -1 4202496 31934 0 0 0 324 5 0 0 18 0 4 0 247318884 321572864 22513 33554432000 4194304 4627427 140735051671104 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28663/statm: 78509 22513 385 106 0 73480 0
[pid=28663/tid=28664] ppid=28661 vsize=314036 CPUtime=0.81 cores=0,2,4,6
/proc/28663/task/28664/stat : 28664 (strangenight2-m) R 28661 28663 28368 0 -1 4202560 9101 0 0 0 80 1 0 0 25 0 4 0 247318884 321572864 22513 33554432000 4194304 4627427 140735051671104 18446744073709551615 4308712 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28663/tid=28665] ppid=28661 vsize=314036 CPUtime=0.81 cores=0,2,4,6
/proc/28663/task/28665/stat : 28665 (strangenight2-m) R 28661 28663 28368 0 -1 4202560 9107 0 0 0 80 1 0 0 18 0 4 0 247318885 321572864 22513 33554432000 4194304 4627427 140735051671104 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28663/tid=28666] ppid=28661 vsize=314036 CPUtime=0.81 cores=0,2,4,6
/proc/28663/task/28666/stat : 28666 (strangenight2-m) R 28661 28663 28368 0 -1 4202560 4400 0 0 0 81 0 0 0 19 0 4 0 247318885 321572864 22513 33554432000 4194304 4627427 140735051671104 18446744073709551615 4321739 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.29
Current children cumulated vsize (KiB) 314036

[startup+0.930584 s]
/proc/loadavg: 8.19 8.10 7.54 6/180 28663
/proc/meminfo: memFree=20173268/32951124 swapFree=67111528/67111528
[pid=28663] ppid=28661 vsize=314036 CPUtime=3.69 cores=0,2,4,6
/proc/28663/stat : 28663 (strangenight2-m) R 28661 28663 28368 0 -1 4202496 32292 0 0 0 364 5 0 0 18 0 4 0 247318884 321572864 22871 33554432000 4194304 4627427 140735051671104 18446744073709551615 4324663 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28663/statm: 78509 22871 385 106 0 73480 0
[pid=28663/tid=28664] ppid=28661 vsize=314036 CPUtime=0.91 cores=0,2,4,6
/proc/28663/task/28664/stat : 28664 (strangenight2-m) R 28661 28663 28368 0 -1 4202560 9196 0 0 0 90 1 0 0 25 0 4 0 247318884 321572864 22871 33554432000 4194304 4627427 140735051671104 18446744073709551615 4308760 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28663/tid=28665] ppid=28661 vsize=314036 CPUtime=0.91 cores=0,2,4,6
/proc/28663/task/28665/stat : 28665 (strangenight2-m) R 28661 28663 28368 0 -1 4202560 9215 0 0 0 90 1 0 0 18 0 4 0 247318885 321572864 22871 33554432000 4194304 4627427 140735051671104 18446744073709551615 4308362 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28663/tid=28666] ppid=28661 vsize=314036 CPUtime=0.91 cores=0,2,4,6
/proc/28663/task/28666/stat : 28666 (strangenight2-m) R 28661 28663 28368 0 -1 4202560 4468 0 0 0 91 0 0 0 19 0 4 0 247318885 321572864 22871 33554432000 4194304 4627427 140735051671104 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.69
Current children cumulated vsize (KiB) 314036

[startup+1.00057 s]
/proc/loadavg: 8.19 8.10 7.54 6/180 28663
/proc/meminfo: memFree=20173268/32951124 swapFree=67111528/67111528
[pid=28663] ppid=28661 vsize=314036 CPUtime=3.97 cores=0,2,4,6
/proc/28663/stat : 28663 (strangenight2-m) R 28661 28663 28368 0 -1 4202496 32576 0 0 0 392 5 0 0 18 0 4 0 247318884 321572864 23155 33554432000 4194304 4627427 140735051671104 18446744073709551615 4299586 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28663/statm: 78509 23155 385 106 0 73480 0
[pid=28663/tid=28664] ppid=28661 vsize=314036 CPUtime=0.98 cores=0,2,4,6
/proc/28663/task/28664/stat : 28664 (strangenight2-m) R 28661 28663 28368 0 -1 4202560 9262 0 0 0 97 1 0 0 25 0 4 0 247318884 321572864 23155 33554432000 4194304 4627427 140735051671104 18446744073709551615 4308392 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28663/tid=28665] ppid=28661 vsize=314036 CPUtime=0.98 cores=0,2,4,6
/proc/28663/task/28665/stat : 28665 (strangenight2-m) R 28661 28663 28368 0 -1 4202560 9298 0 0 0 97 1 0 0 18 0 4 0 247318885 321572864 23155 33554432000 4194304 4627427 140735051671104 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28663/tid=28666] ppid=28661 vsize=314036 CPUtime=0.98 cores=0,2,4,6
/proc/28663/task/28666/stat : 28666 (strangenight2-m) R 28661 28663 28368 0 -1 4202560 4523 0 0 0 98 0 0 0 19 0 4 0 247318885 321572864 23155 33554432000 4194304 4627427 140735051671104 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.97
Current children cumulated vsize (KiB) 314036

[startup+1.50049 s]
/proc/loadavg: 8.19 8.10 7.54 6/180 28663
/proc/meminfo: memFree=20173268/32951124 swapFree=67111528/67111528
[pid=28663] ppid=28661 vsize=314168 CPUtime=5.96 cores=0,2,4,6
/proc/28663/stat : 28663 (strangenight2-m) R 28661 28663 28368 0 -1 4202496 34049 0 0 0 591 5 0 0 19 0 4 0 247318884 321708032 24608 33554432000 4194304 4627427 140735051671104 18446744073709551615 4322248 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28663/statm: 78542 24609 385 106 0 73513 0
[pid=28663/tid=28664] ppid=28661 vsize=314168 CPUtime=1.48 cores=0,2,4,6
/proc/28663/task/28664/stat : 28664 (strangenight2-m) R 28661 28663 28368 0 -1 4202560 9625 0 0 0 147 1 0 0 25 0 4 0 247318884 321708032 24609 33554432000 4194304 4627427 140735051671104 18446744073709551615 4333109 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28663/tid=28665] ppid=28661 vsize=314168 CPUtime=1.48 cores=0,2,4,6
/proc/28663/task/28665/stat : 28665 (strangenight2-m) R 28661 28663 28368 0 -1 4202560 9651 0 0 0 147 1 0 0 19 0 4 0 247318885 321708032 24609 33554432000 4194304 4627427 140735051671104 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28663/tid=28666] ppid=28661 vsize=314168 CPUtime=1.48 cores=0,2,4,6
/proc/28663/task/28666/stat : 28666 (strangenight2-m) R 28661 28663 28368 0 -1 4202560 4927 0 0 0 148 0 0 0 20 0 4 0 247318885 321708032 24609 33554432000 4194304 4627427 140735051671104 18446744073709551615 4308615 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 314168

[startup+3.1002 s]
/proc/loadavg: 8.26 8.11 7.55 10/184 28667
/proc/meminfo: memFree=20027664/32951124 swapFree=67111528/67111528
[pid=28663] ppid=28661 vsize=446760 CPUtime=12.35 cores=0,2,4,6
/proc/28663/stat : 28663 (strangenight2-m) R 28661 28663 28368 0 -1 4202496 39251 0 0 0 1228 7 0 0 24 0 4 0 247318884 457482240 29810 33554432000 4194304 4627427 140735051671104 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28663/statm: 111690 29810 385 106 0 106661 0
[pid=28663/tid=28664] ppid=28661 vsize=446760 CPUtime=3.09 cores=0,2,4,6
/proc/28663/task/28664/stat : 28664 (strangenight2-m) R 28661 28663 28368 0 -1 4202560 10858 0 0 0 307 2 0 0 25 0 4 0 247318884 457482240 29810 33554432000 4194304 4627427 140735051671104 18446744073709551615 4308411 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28663/tid=28665] ppid=28661 vsize=446760 CPUtime=3.08 cores=0,2,4,6
/proc/28663/task/28665/stat : 28665 (strangenight2-m) R 28661 28663 28368 0 -1 4202560 10907 0 0 0 306 2 0 0 24 0 4 0 247318885 457482240 29810 33554432000 4194304 4627427 140735051671104 18446744073709551615 4308353 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28663/tid=28666] ppid=28661 vsize=446760 CPUtime=3.07 cores=0,2,4,6
/proc/28663/task/28666/stat : 28666 (strangenight2-m) R 28661 28663 28368 0 -1 4202560 6397 0 0 0 307 0 0 0 25 0 4 0 247318885 457482240 29810 33554432000 4194304 4627427 140735051671104 18446744073709551615 4327410 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 446760

[startup+6.30064 s]
/proc/loadavg: 8.23 8.11 7.55 10/184 28667
/proc/meminfo: memFree=20000612/32951124 swapFree=67111528/67111528
[pid=28663] ppid=28661 vsize=420732 CPUtime=25.14 cores=0,2,4,6
/proc/28663/stat : 28663 (strangenight2-m) R 28661 28663 28368 0 -1 4202496 49512 0 0 0 2504 10 0 0 25 0 4 0 247318884 430829568 35316 33554432000 4194304 4627427 140735051671104 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28663/statm: 105183 35316 386 106 0 100154 0
[pid=28663/tid=28664] ppid=28661 vsize=420732 CPUtime=6.28 cores=0,2,4,6
/proc/28663/task/28664/stat : 28664 (strangenight2-m) R 28661 28663 28368 0 -1 4202560 13108 0 0 0 626 2 0 0 25 0 4 0 247318884 430829568 35316 33554432000 4194304 4627427 140735051671104 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28663/tid=28665] ppid=28661 vsize=420732 CPUtime=6.28 cores=0,2,4,6
/proc/28663/task/28665/stat : 28665 (strangenight2-m) R 28661 28663 28368 0 -1 4202560 13203 0 0 0 626 2 0 0 25 0 4 0 247318885 430829568 35316 33554432000 4194304 4627427 140735051671104 18446744073709551615 4308615 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28663/tid=28666] ppid=28661 vsize=420732 CPUtime=6.25 cores=0,2,4,6
/proc/28663/task/28666/stat : 28666 (strangenight2-m) R 28661 28663 28368 0 -1 4202560 9817 0 0 0 624 1 0 0 25 0 4 0 247318885 430829568 35316 33554432000 4194304 4627427 140735051671104 18446744073709551615 4327897 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 420732

[startup+12.7005 s]
/proc/loadavg: 8.22 8.11 7.55 10/184 28667
/proc/meminfo: memFree=19883572/32951124 swapFree=67111528/67111528
[pid=28663] ppid=28661 vsize=681848 CPUtime=50.73 cores=0,2,4,6
/proc/28663/stat : 28663 (strangenight2-m) R 28661 28663 28368 0 -1 4202496 106881 0 0 0 5049 24 0 0 25 0 4 0 247318884 698212352 77245 33554432000 4194304 4627427 140735051671104 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28663/statm: 170462 77245 390 106 0 165433 0
[pid=28663/tid=28664] ppid=28661 vsize=681848 CPUtime=12.69 cores=0,2,4,6
/proc/28663/task/28664/stat : 28664 (strangenight2-m) R 28661 28663 28368 0 -1 4202560 40181 0 0 0 1260 9 0 0 25 0 4 0 247318884 698212352 77245 33554432000 4194304 4627427 140735051671104 18446744073709551615 4468043 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28663/tid=28665] ppid=28661 vsize=681848 CPUtime=12.69 cores=0,2,4,6
/proc/28663/task/28665/stat : 28665 (strangenight2-m) R 28661 28663 28368 0 -1 4202560 18828 0 0 0 1265 4 0 0 25 0 4 0 247318885 698212352 77245 33554432000 4194304 4627427 140735051671104 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28663/tid=28666] ppid=28661 vsize=681848 CPUtime=12.62 cores=0,2,4,6
/proc/28663/task/28666/stat : 28666 (strangenight2-m) R 28661 28663 28368 0 -1 4202560 14118 0 0 0 1260 2 0 0 25 0 4 0 247318885 698212352 77245 33554432000 4194304 4627427 140735051671104 18446744073709551615 4322537 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.73
Current children cumulated vsize (KiB) 681848

[startup+25.5003 s]
/proc/loadavg: 8.18 8.11 7.56 10/184 28668
/proc/meminfo: memFree=19857536/32951124 swapFree=67111528/67111528
[pid=28663] ppid=28661 vsize=570540 CPUtime=101.83 cores=0,2,4,6
/proc/28663/stat : 28663 (strangenight2-m) R 28661 28663 28368 0 -1 4202496 163901 0 0 0 10148 35 0 0 25 0 4 0 247318884 584232960 86965 33554432000 4194304 4627427 140735051671104 18446744073709551615 268660323361 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28663/statm: 142635 86967 390 106 0 137606 0
[pid=28663/tid=28664] ppid=28661 vsize=570540 CPUtime=25.49 cores=0,2,4,6
/proc/28663/task/28664/stat : 28664 (strangenight2-m) R 28661 28663 28368 0 -1 4202560 49877 0 0 0 2538 11 0 0 25 0 4 0 247318884 584232960 86967 33554432000 4194304 4627427 140735051671104 18446744073709551615 4324663 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28663/tid=28665] ppid=28661 vsize=570540 CPUtime=25.49 cores=0,2,4,6
/proc/28663/task/28665/stat : 28665 (strangenight2-m) R 28661 28663 28368 0 -1 4202560 34945 0 0 0 2541 8 0 0 25 0 4 0 247318885 584232960 86970 33554432000 4194304 4627427 140735051671104 18446744073709551615 4308345 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28663/tid=28666] ppid=28661 vsize=570540 CPUtime=25.36 cores=0,2,4,6
/proc/28663/task/28666/stat : 28666 (strangenight2-m) R 28661 28663 28368 0 -1 4202560 31820 0 0 0 2530 6 0 0 25 0 4 0 247318885 584232960 86973 33554432000 4194304 4627427 140735051671104 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.83
Current children cumulated vsize (KiB) 570540

[startup+51.1007 s]
/proc/loadavg: 8.12 8.10 7.57 10/184 28668
/proc/meminfo: memFree=19593456/32951124 swapFree=67111528/67111528
[pid=28663] ppid=28661 vsize=822888 CPUtime=204.1 cores=0,2,4,6
/proc/28663/stat : 28663 (strangenight2-m) R 28661 28663 28368 0 -1 4202496 246056 0 0 0 20355 55 0 0 25 0 4 0 247318884 842637312 137228 33554432000 4194304 4627427 140735051671104 18446744073709551615 4308362 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28663/statm: 205722 137228 390 106 0 200693 0
[pid=28663/tid=28664] ppid=28661 vsize=822888 CPUtime=51.08 cores=0,2,4,6
/proc/28663/task/28664/stat : 28664 (strangenight2-m) R 28661 28663 28368 0 -1 4202560 67157 0 0 0 5093 15 0 0 25 0 4 0 247318884 842637312 137228 33554432000 4194304 4627427 140735051671104 18446744073709551615 4329750 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28663/tid=28665] ppid=28661 vsize=822888 CPUtime=51.09 cores=0,2,4,6
/proc/28663/task/28665/stat : 28665 (strangenight2-m) R 28661 28663 28368 0 -1 4202560 56602 0 0 0 5096 13 0 0 25 0 4 0 247318885 842637312 137228 33554432000 4194304 4627427 140735051671104 18446744073709551615 4308326 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28663/tid=28666] ppid=28661 vsize=822888 CPUtime=50.83 cores=0,2,4,6
/proc/28663/task/28666/stat : 28666 (strangenight2-m) R 28661 28663 28368 0 -1 4202560 49275 0 0 0 5073 10 0 0 25 0 4 0 247318885 842637312 137228 33554432000 4194304 4627427 140735051671104 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 204.1
Current children cumulated vsize (KiB) 822888

[startup+102.301 s]
/proc/loadavg: 8.41 8.17 7.62 9/184 28673
/proc/meminfo: memFree=19507624/32951124 swapFree=67111528/67111528
[pid=28663] ppid=28661 vsize=779800 CPUtime=408.63 cores=0,2,4,6
/proc/28663/stat : 28663 (strangenight2-m) R 28661 28663 28368 0 -1 4202496 345430 0 0 0 40782 81 0 0 25 0 4 0 247318884 798515200 150315 33554432000 4194304 4627427 140735051671104 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28663/statm: 194950 150315 390 106 0 189921 0
[pid=28663/tid=28664] ppid=28661 vsize=779800 CPUtime=102.29 cores=0,2,4,6
/proc/28663/task/28664/stat : 28664 (strangenight2-m) R 28661 28663 28368 0 -1 4202560 94796 0 0 0 10207 22 0 0 25 0 4 0 247318884 798515200 150315 33554432000 4194304 4627427 140735051671104 18446744073709551615 4321739 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28663/tid=28665] ppid=28661 vsize=779800 CPUtime=102.28 cores=0,2,4,6
/proc/28663/task/28665/stat : 28665 (strangenight2-m) R 28661 28663 28368 0 -1 4202560 84132 0 0 0 10208 20 0 0 25 0 4 0 247318885 798515200 150315 33554432000 4194304 4627427 140735051671104 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28663/tid=28666] ppid=28661 vsize=779800 CPUtime=101.76 cores=0,2,4,6
/proc/28663/task/28666/stat : 28666 (strangenight2-m) R 28661 28663 28368 0 -1 4202560 70875 0 0 0 10161 15 0 0 25 0 4 0 247318885 798515200 150315 33554432000 4194304 4627427 140735051671104 18446744073709551615 4327501 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 408.63
Current children cumulated vsize (KiB) 779800

[startup+162.301 s]

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

[pid=28663] ppid=28661 vsize=1350344 CPUtime=2565.68 cores=0,2,4,6
/proc/28663/stat : 28663 (strangenight2-m) R 28661 28663 28368 0 -1 4202496 1330729 0 0 0 256191 377 0 0 25 0 4 0 247318884 1382752256 268568 33554432000 4194304 4627427 140735051671104 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/28663/statm: 337586 268568 390 106 0 332557 0
[pid=28663/tid=28664] ppid=28661 vsize=1350344 CPUtime=642.28 cores=0,2,4,6
/proc/28663/task/28664/stat : 28664 (strangenight2-m) R 28661 28663 28368 0 -1 4202560 333826 0 0 0 64135 93 0 0 25 0 4 0 247318884 1382752256 268568 33554432000 4194304 4627427 140735051671104 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28663/tid=28665] ppid=28661 vsize=1350344 CPUtime=642.26 cores=0,2,4,6
/proc/28663/task/28665/stat : 28665 (strangenight2-m) R 28661 28663 28368 0 -1 4202560 353348 0 0 0 64125 101 0 0 25 0 4 0 247318885 1382752256 268569 33554432000 4194304 4627427 140735051671104 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28663/tid=28666] ppid=28661 vsize=1350344 CPUtime=641.4 cores=0,2,4,6
/proc/28663/task/28666/stat : 28666 (strangenight2-m) R 28661 28663 28368 0 -1 4202560 300679 0 0 0 64060 80 0 0 25 0 4 0 247318885 1382752256 268569 33554432000 4194304 4627427 140735051671104 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2565.68
Current children cumulated vsize (KiB) 1350344

[startup+702.301 s]
/proc/loadavg: 8.06 8.11 7.84 9/184 28698
/proc/meminfo: memFree=18918900/32951124 swapFree=67111528/67111528
[pid=28663] ppid=28661 vsize=1341200 CPUtime=2805.36 cores=0,2,4,6
/proc/28663/stat : 28663 (strangenight2-m) R 28661 28663 28368 0 -1 4202496 1424312 0 0 0 280126 410 0 0 25 0 4 0 247318884 1373388800 259444 33554432000 4194304 4627427 140735051671104 18446744073709551615 4321761 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/28663/statm: 335300 259445 390 106 0 330271 0
[pid=28663/tid=28664] ppid=28661 vsize=1341200 CPUtime=702.28 cores=0,2,4,6
/proc/28663/task/28664/stat : 28664 (strangenight2-m) R 28661 28663 28368 0 -1 4202560 359159 0 0 0 70127 101 0 0 25 0 4 0 247318884 1373388800 259445 33554432000 4194304 4627427 140735051671104 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28663/tid=28665] ppid=28661 vsize=1341200 CPUtime=702.25 cores=0,2,4,6
/proc/28663/task/28665/stat : 28665 (strangenight2-m) R 28661 28663 28368 0 -1 4202560 378419 0 0 0 70114 111 0 0 25 0 4 0 247318885 1373388800 259445 33554432000 4194304 4627427 140735051671104 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28663/tid=28666] ppid=28661 vsize=1341200 CPUtime=701.39 cores=0,2,4,6
/proc/28663/task/28666/stat : 28666 (strangenight2-m) R 28661 28663 28368 0 -1 4202560 322373 0 0 0 70052 87 0 0 25 0 4 0 247318885 1373388800 259445 33554432000 4194304 4627427 140735051671104 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2805.36
Current children cumulated vsize (KiB) 1341200

[startup+762.301 s]
/proc/loadavg: 8.09 8.12 7.86 10/184 28699
/proc/meminfo: memFree=18806888/32951124 swapFree=67111528/67111528
[pid=28663] ppid=28661 vsize=1421692 CPUtime=3045.01 cores=0,2,4,6
/proc/28663/stat : 28663 (strangenight2-m) R 28661 28663 28368 0 -1 4202496 1522234 0 0 0 304060 441 0 0 25 0 4 0 247318884 1455812608 268020 33554432000 4194304 4627427 140735051671104 18446744073709551615 4310378 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/28663/statm: 355423 268020 390 106 0 350394 0
[pid=28663/tid=28664] ppid=28661 vsize=1421692 CPUtime=762.27 cores=0,2,4,6
/proc/28663/task/28664/stat : 28664 (strangenight2-m) R 28661 28663 28368 0 -1 4202560 382259 0 0 0 76119 108 0 0 25 0 4 0 247318884 1455812608 268020 33554432000 4194304 4627427 140735051671104 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28663/tid=28665] ppid=28661 vsize=1421692 CPUtime=762.25 cores=0,2,4,6
/proc/28663/task/28665/stat : 28665 (strangenight2-m) R 28661 28663 28368 0 -1 4202560 403164 0 0 0 76106 119 0 0 25 0 4 0 247318885 1455812608 268020 33554432000 4194304 4627427 140735051671104 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28663/tid=28666] ppid=28661 vsize=1421692 CPUtime=761.39 cores=0,2,4,6
/proc/28663/task/28666/stat : 28666 (strangenight2-m) R 28661 28663 28368 0 -1 4202560 345632 0 0 0 76046 93 0 0 25 0 4 0 247318885 1455812608 268020 33554432000 4194304 4627427 140735051671104 18446744073709551615 4308362 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3045.01
Current children cumulated vsize (KiB) 1421692

[startup+822.301 s]
/proc/loadavg: 8.26 8.15 7.89 10/184 28701
/proc/meminfo: memFree=18677652/32951124 swapFree=67111528/67111528
[pid=28663] ppid=28661 vsize=1512624 CPUtime=3284.7 cores=0,2,4,6
/proc/28663/stat : 28663 (strangenight2-m) R 28661 28663 28368 0 -1 4202496 1642836 0 0 0 327993 477 0 0 25 0 4 0 247318884 1548926976 302945 33554432000 4194304 4627427 140735051671104 18446744073709551615 4333052 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/28663/statm: 378156 302945 390 106 0 373127 0
[pid=28663/tid=28664] ppid=28661 vsize=1512624 CPUtime=822.28 cores=0,2,4,6
/proc/28663/task/28664/stat : 28664 (strangenight2-m) R 28661 28663 28368 0 -1 4202560 410365 0 0 0 82112 116 0 0 25 0 4 0 247318884 1548926976 302945 33554432000 4194304 4627427 140735051671104 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28663/tid=28665] ppid=28661 vsize=1512624 CPUtime=822.26 cores=0,2,4,6
/proc/28663/task/28665/stat : 28665 (strangenight2-m) R 28661 28663 28368 0 -1 4202560 443709 0 0 0 82096 130 0 0 25 0 4 0 247318885 1548926976 302945 33554432000 4194304 4627427 140735051671104 18446744073709551615 4468055 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28663/tid=28666] ppid=28661 vsize=1512624 CPUtime=821.4 cores=0,2,4,6
/proc/28663/task/28666/stat : 28666 (strangenight2-m) R 28661 28663 28368 0 -1 4202560 370049 0 0 0 82039 101 0 0 25 0 4 0 247318885 1548926976 302945 33554432000 4194304 4627427 140735051671104 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3284.7
Current children cumulated vsize (KiB) 1512624

[startup+882.3 s]
/proc/loadavg: 8.24 8.16 7.90 10/184 28703
/proc/meminfo: memFree=18655920/32951124 swapFree=67111528/67111528
[pid=28663] ppid=28661 vsize=1532452 CPUtime=3524.35 cores=0,2,4,6
/proc/28663/stat : 28663 (strangenight2-m) R 28661 28663 28368 0 -1 4202496 1739819 0 0 0 351922 513 0 0 25 0 4 0 247318884 1569230848 298167 33554432000 4194304 4627427 140735051671104 18446744073709551615 4324663 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/28663/statm: 383113 298167 390 106 0 378084 0
[pid=28663/tid=28664] ppid=28661 vsize=1532452 CPUtime=882.27 cores=0,2,4,6
/proc/28663/task/28664/stat : 28664 (strangenight2-m) R 28661 28663 28368 0 -1 4202560 434866 0 0 0 88102 125 0 0 25 0 4 0 247318884 1569230848 298167 33554432000 4194304 4627427 140735051671104 18446744073709551615 4332689 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28663/tid=28665] ppid=28661 vsize=1532452 CPUtime=882.25 cores=0,2,4,6
/proc/28663/task/28665/stat : 28665 (strangenight2-m) R 28661 28663 28368 0 -1 4202560 469538 0 0 0 88085 140 0 0 25 0 4 0 247318885 1569230848 298167 33554432000 4194304 4627427 140735051671104 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28663/tid=28666] ppid=28661 vsize=1532452 CPUtime=881.39 cores=0,2,4,6
/proc/28663/task/28666/stat : 28666 (strangenight2-m) R 28661 28663 28368 0 -1 4202560 394234 0 0 0 88030 109 0 0 25 0 4 0 247318885 1569230848 298167 33554432000 4194304 4627427 140735051671104 18446744073709551615 4332200 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3524.35
Current children cumulated vsize (KiB) 1532452

[startup+942.307 s]
/proc/loadavg: 8.15 8.14 7.91 10/184 28704
/proc/meminfo: memFree=18707968/32951124 swapFree=67111528/67111528
[pid=28663] ppid=28661 vsize=1482860 CPUtime=3764.03 cores=0,2,4,6
/proc/28663/stat : 28663 (strangenight2-m) R 28661 28663 28368 0 -1 4202496 1846017 0 0 0 375853 550 0 0 25 0 4 0 247318884 1518448640 283589 33554432000 4194304 4627427 140735051671104 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/28663/statm: 370715 283589 390 106 0 365686 0
[pid=28663/tid=28664] ppid=28661 vsize=1482860 CPUtime=942.28 cores=0,2,4,6
/proc/28663/task/28664/stat : 28664 (strangenight2-m) R 28661 28663 28368 0 -1 4202560 462311 0 0 0 94092 136 0 0 25 0 4 0 247318884 1518448640 283589 33554432000 4194304 4627427 140735051671104 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28663/tid=28665] ppid=28661 vsize=1482860 CPUtime=942.26 cores=0,2,4,6
/proc/28663/task/28665/stat : 28665 (strangenight2-m) R 28661 28663 28368 0 -1 4202560 496832 0 0 0 94076 150 0 0 25 0 4 0 247318885 1518448640 283589 33554432000 4194304 4627427 140735051671104 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28663/tid=28666] ppid=28661 vsize=1482860 CPUtime=941.39 cores=0,2,4,6
/proc/28663/task/28666/stat : 28666 (strangenight2-m) R 28661 28663 28368 0 -1 4202560 418159 0 0 0 94023 116 0 0 25 0 4 0 247318885 1518448640 283589 33554432000 4194304 4627427 140735051671104 18446744073709551615 4332648 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3764.03
Current children cumulated vsize (KiB) 1482860

[startup+1002.3 s]
/proc/loadavg: 8.12 8.13 7.92 10/184 28706
/proc/meminfo: memFree=18486360/32951124 swapFree=67111528/67111528
[pid=28663] ppid=28661 vsize=1542304 CPUtime=4003.67 cores=0,2,4,6
/proc/28663/stat : 28663 (strangenight2-m) R 28661 28663 28368 0 -1 4202496 1962497 0 0 0 399783 584 0 0 25 0 4 0 247318884 1579319296 323551 33554432000 4194304 4627427 140735051671104 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/28663/statm: 385576 323551 390 106 0 380547 0
[pid=28663/tid=28664] ppid=28661 vsize=1542304 CPUtime=1002.27 cores=0,2,4,6
/proc/28663/task/28664/stat : 28664 (strangenight2-m) R 28661 28663 28368 0 -1 4202560 487974 0 0 0 100082 145 0 0 25 0 4 0 247318884 1579319296 323551 33554432000 4194304 4627427 140735051671104 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28663/tid=28665] ppid=28661 vsize=1542304 CPUtime=1002.25 cores=0,2,4,6
/proc/28663/task/28665/stat : 28665 (strangenight2-m) R 28661 28663 28368 0 -1 4202560 522465 0 0 0 100067 158 0 0 25 0 4 0 247318885 1579319296 323551 33554432000 4194304 4627427 140735051671104 18446744073709551615 4308712 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28663/tid=28666] ppid=28661 vsize=1542304 CPUtime=1001.38 cores=0,2,4,6
/proc/28663/task/28666/stat : 28666 (strangenight2-m) R 28661 28663 28368 0 -1 4202560 456375 0 0 0 100014 124 0 0 25 0 4 0 247318885 1579319296 323551 33554432000 4194304 4627427 140735051671104 18446744073709551615 4468060 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4003.67
Current children cumulated vsize (KiB) 1542304

[startup+1062.3 s]
/proc/loadavg: 8.04 8.10 7.92 10/184 28707
/proc/meminfo: memFree=18381912/32951124 swapFree=67111528/67111528
[pid=28663] ppid=28661 vsize=1755816 CPUtime=4243.34 cores=0,2,4,6
/proc/28663/stat : 28663 (strangenight2-m) R 28661 28663 28368 0 -1 4202496 2108111 0 0 0 423707 627 0 0 25 0 4 0 247318884 1797955584 360854 33554432000 4194304 4627427 140735051671104 18446744073709551615 4332667 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/28663/statm: 438954 360854 390 106 0 433925 0
[pid=28663/tid=28664] ppid=28661 vsize=1755816 CPUtime=1062.27 cores=0,2,4,6
/proc/28663/task/28664/stat : 28664 (strangenight2-m) R 28661 28663 28368 0 -1 4202560 539832 0 0 0 106069 158 0 0 25 0 4 0 247318884 1797955584 360854 33554432000 4194304 4627427 140735051671104 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28663/tid=28665] ppid=28661 vsize=1755816 CPUtime=1062.24 cores=0,2,4,6
/proc/28663/task/28665/stat : 28665 (strangenight2-m) R 28661 28663 28368 0 -1 4202560 549312 0 0 0 106055 169 0 0 25 0 4 0 247318885 1797955584 360854 33554432000 4194304 4627427 140735051671104 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28663/tid=28666] ppid=28661 vsize=1755816 CPUtime=1061.37 cores=0,2,4,6
/proc/28663/task/28666/stat : 28666 (strangenight2-m) R 28661 28663 28368 0 -1 4202560 480937 0 0 0 106007 130 0 0 25 0 4 0 247318885 1797955584 360854 33554432000 4194304 4627427 140735051671104 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4243.34
Current children cumulated vsize (KiB) 1755816

[startup+1122.3 s]
/proc/loadavg: 7.19 7.90 7.86 5/175 28727
/proc/meminfo: memFree=18968792/32951124 swapFree=67111528/67111528
[pid=28663] ppid=28661 vsize=1699484 CPUtime=4483.01 cores=0,2,4,6
/proc/28663/stat : 28663 (strangenight2-m) R 28661 28663 28368 0 -1 4202496 2210676 0 0 0 447639 662 0 0 25 0 4 0 247318884 1740271616 367049 33554432000 4194304 4627427 140735051671104 18446744073709551615 4309315 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/28663/statm: 424871 367050 390 106 0 419842 0
[pid=28663/tid=28664] ppid=28661 vsize=1699484 CPUtime=1122.26 cores=0,2,4,6
/proc/28663/task/28664/stat : 28664 (strangenight2-m) R 28661 28663 28368 0 -1 4202560 565409 0 0 0 112058 168 0 0 25 0 4 0 247318884 1740271616 367050 33554432000 4194304 4627427 140735051671104 18446744073709551615 4299664 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28663/tid=28665] ppid=28661 vsize=1699484 CPUtime=1122.25 cores=0,2,4,6
/proc/28663/task/28665/stat : 28665 (strangenight2-m) R 28661 28663 28368 0 -1 4202560 574182 0 0 0 112048 177 0 0 25 0 4 0 247318885 1740271616 367050 33554432000 4194304 4627427 140735051671104 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28663/tid=28666] ppid=28661 vsize=1699484 CPUtime=1121.37 cores=0,2,4,6
/proc/28663/task/28666/stat : 28666 (strangenight2-m) R 28661 28663 28368 0 -1 4202560 506120 0 0 0 111998 139 0 0 25 0 4 0 247318885 1740271616 367050 33554432000 4194304 4627427 140735051671104 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4483.01
Current children cumulated vsize (KiB) 1699484

[startup+1182.3 s]
/proc/loadavg: 5.17 7.19 7.62 5/175 28729
/proc/meminfo: memFree=19006516/32951124 swapFree=67111528/67111528
[pid=28663] ppid=28661 vsize=1700748 CPUtime=4722.73 cores=0,2,4,6
/proc/28663/stat : 28663 (strangenight2-m) R 28661 28663 28368 0 -1 4202496 2315628 0 0 0 471576 697 0 0 25 0 4 0 247318884 1741565952 357043 33554432000 4194304 4627427 140735051671104 18446744073709551615 4332200 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/28663/statm: 425187 357043 390 106 0 420158 0
[pid=28663/tid=28664] ppid=28661 vsize=1700748 CPUtime=1182.26 cores=0,2,4,6
/proc/28663/task/28664/stat : 28664 (strangenight2-m) R 28661 28663 28368 0 -1 4202560 592686 0 0 0 118050 176 0 0 25 0 4 0 247318884 1741565952 357043 33554432000 4194304 4627427 140735051671104 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28663/tid=28665] ppid=28661 vsize=1700748 CPUtime=1182.24 cores=0,2,4,6
/proc/28663/task/28665/stat : 28665 (strangenight2-m) R 28661 28663 28368 0 -1 4202560 598531 0 0 0 118037 187 0 0 25 0 4 0 247318885 1741565952 357043 33554432000 4194304 4627427 140735051671104 18446744073709551615 4308323 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28663/tid=28666] ppid=28661 vsize=1700748 CPUtime=1181.37 cores=0,2,4,6
/proc/28663/task/28666/stat : 28666 (strangenight2-m) R 28661 28663 28368 0 -1 4202560 533327 0 0 0 117991 146 0 0 25 0 4 0 247318885 1741565952 357043 33554432000 4194304 4627427 140735051671104 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4722.73
Current children cumulated vsize (KiB) 1700748



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 4.84 6.98 7.54 5/175 28729
/proc/meminfo: memFree=19009868/32951124 swapFree=67111528/67111528
[pid=28663] ppid=28661 vsize=1643136 CPUtime=4800.25 cores=0,2,4,6
/proc/28663/stat : 28663 (strangenight2-m) R 28661 28663 28368 0 -1 4202496 2347714 0 0 0 479316 709 0 0 25 0 4 0 247318884 1682571264 355688 33554432000 4194304 4627427 140735051671104 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/28663/statm: 410784 355688 390 106 0 405755 0
[pid=28663/tid=28664] ppid=28661 vsize=1643136 CPUtime=1201.66 cores=0,2,4,6
/proc/28663/task/28664/stat : 28664 (strangenight2-m) R 28661 28663 28368 0 -1 4202560 600004 0 0 0 119986 180 0 0 25 0 4 0 247318884 1682571264 355688 33554432000 4194304 4627427 140735051671104 18446744073709551615 4308392 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28663/tid=28665] ppid=28661 vsize=1643136 CPUtime=1201.64 cores=0,2,4,6
/proc/28663/task/28665/stat : 28665 (strangenight2-m) R 28661 28663 28368 0 -1 4202560 606669 0 0 0 119975 189 0 0 25 0 4 0 247318885 1682571264 355688 33554432000 4194304 4627427 140735051671104 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28663/tid=28666] ppid=28661 vsize=1643136 CPUtime=1200.77 cores=0,2,4,6
/proc/28663/task/28666/stat : 28666 (strangenight2-m) R 28661 28663 28368 0 -1 4202560 541811 0 0 0 119928 149 0 0 25 0 4 0 247318885 1682571264 355688 33554432000 4194304 4627427 140735051671104 18446744073709551615 4324663 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4800.25
Current children cumulated vsize (KiB) 1643136

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.77
CPU time (s): 4800.34
CPU user time (s): 4793.18
CPU system time (s): 7.15691
CPU usage (%): 399.439
Max. virtual memory (cumulated for all children) (KiB): 1771272

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4793.18
system time used= 7.15691
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2347718
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= 2371
involuntary context switches= 20037

runsolver used 1.9767 second user time and 4.44032 second system time

The end

Launcher Data 

Begin job on node107 at 2011-04-29 00:54:36
IDJOB=3173805
IDBENCH=82623
IDSOLVER=1586
FILE ID=node107/3173805-1304031276
RUNJOBID= node107-1304028687-28386
PBS_JOBID= 13170345
Free space on /tmp= 71792 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
BENCH NAME= SAT11/random/large/unif-k3-r4.2-v20000-c84000-S313385224-076-UNKNOWN.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3173805-1304031276/watcher-3173805-1304031276 -o /tmp/evaluation-result-3173805-1304031276/solver-3173805-1304031276 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3173805-1304031276.cnf

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

MD5SUM BENCH= c8a628789219fd1293880c95bfb25038
RANDOM SEED=689756152

node107.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.829
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.65
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.829
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.829
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.67
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.829
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.82
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.829
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.74
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.829
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	: 5359.47
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.829
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.75
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.829
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.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      20173548 kB
Buffers:       2024180 kB
Cached:        9956428 kB
SwapCached:          0 kB
Active:        5031572 kB
Inactive:      7266904 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      20173548 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            7420 kB
Writeback:          28 kB
AnonPages:      317148 kB
Mapped:          15584 kB
Slab:           416484 kB
PageTables:       5324 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   535388 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= 71796 MiB
End job on node107 at 2011-04-29 01:14:40