Trace number 3366214

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 (fixed)? (TO) 4800.41 1203.08

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.01	c Using 4 threads
0.00/0.01	c This is CryptoMiniSat 3.0.0
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3366214-1305398994.cnf'
0.00/0.01	c -- header says num vars:          20000
0.00/0.01	c -- header says num clauses:       84000
0.12/0.16	c -- clauses added:            0 learnts,        84000 normals,            0 xors
0.12/0.16	c -- vars added      20000
0.12/0.16	c Parsing time:  0.05 s
0.12/0.16	c  N st     0         0     20000     84000         0         0    252000         0   no data   no data
0.12/0.16	c asymm  cl-useful: 0/84000/84000 lits-rem:0 time: 0.07
0.12/0.16	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
1.12/0.30	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1.12/0.30	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1.12/0.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1.12/0.30	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  20000 time:  0.00 s
1.12/0.30	c Removed useless bin:       0  fixed:     0  props:   0.20M  time:  0.01 s
3.94/1.01	c lits-rem:         0  cl-subs:        0  v-elim:    475  v-fix:    0  time:  0.13 s
3.94/1.01	c Finding binary XORs  T:     0.00 s  found:       0
3.94/1.01	c Finding non-binary XORs:     0.02 s (found:       0, avg size: nan)
3.94/1.01	c calculated reachability. Time: 0.00
3.94/1.01	c Calc default polars -  time:   0.01 s pos:    8870 undec:    2228 neg:    8902
3.94/1.01	c =========================================================================================
3.94/1.01	c types(t): F = full restart, N = normal restart
3.94/1.01	c types(t): S = simplification begin/end, E = solution found
3.94/1.01	c restart types(rt): st = static, dy = dynamic
3.94/1.01	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.94/1.01	c  B st     0         0     19525     83454         0         0    253331         0   no data   no data
5.92/1.55	c  N dy    19      4118     19525     83454         0      4116    253331    920741    125.96    133.75
10.71/2.72	c  N dy    48      8152     19525     83454         0      8150    253331   1768958    131.71    148.72
15.50/3.93	c  N dy    73     12297     19525     83454         0     12295    253331   2602675    129.64    142.17
20.28/5.17	c  N dy   100     16392     19525     83454         0     16390    253331   3444669    129.96    139.39
25.47/6.48	c  N dy   125     20541     19525     83454         0     10546    253331    675197    129.63    137.58
30.28/7.68	c  N dy   152     24563     19525     83454         0     14568    253331   1487174    129.28    138.90
31.05/7.81	c  F st   156     25001     19525     83454         0     15006    253331   1580236    129.36   no data
37.45/9.47	c  N dy   162     30000     19525     83454         0     20004    253331   2988689    129.36   no data
37.45/9.47	c  S st   162     30000     19525     83454         0     20004    253331   2988689    129.36   no data
38.24/9.63	c  S st   162     30503     19525     83454         0     20507    253331   3065169    129.36   no data
38.24/9.64	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
38.24/9.70	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.05
38.64/9.72	c blocked clauses removed:      414 vars:     66 tried:       19525 T: 0.01 s
38.64/9.73	c bin-w-bin subsume rem            0 bins  time:  0.00 s
38.64/9.73	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
38.64/9.74	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19459 time:  0.00 s
38.64/9.75	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
39.06/9.83	c lits-rem:         0  cl-subs:        0  v-elim:      9  v-fix:    0  time:  0.08 s
39.83/10.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
43.03/10.83	c lits-rem:         6  cl-subs:        4  v-elim:      0  v-fix:    0  time:  0.73 s
43.45/10.93	c asymm  cl-useful: 0/83032/83032 lits-rem:0 time: 0.10
43.45/10.93	c calculated reachability. Time: 0.00
43.45/10.93	c  N dy   162     30503     19450     83032         0     20181    252111   2857595    129.36   no data
48.61/12.29	c  N dy   185     34574     19450     83032         0     24252    252111   3693986    129.30    140.55
54.60/13.75	c  N dy   211     38754     19450     83032         0     28431    252111   4568629    129.46    136.61
60.19/15.17	c  N dy   236     42964     19450     83032         0     17303    252111   1063102    129.52    141.92
63.78/16.06	c  S st   253     45754     19450     83032         0     20092    252111   1618864    129.17    121.29
64.58/16.21	c  S st   253     46259     19450     83032         0     20597    252111   1687333    129.17   no data
64.58/16.22	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
64.58/16.28	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.05
64.97/16.30	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
64.97/16.30	c bin-w-bin subsume rem            0 bins  time:  0.00 s
64.97/16.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
64.97/16.31	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19450 time:  0.01 s
64.97/16.32	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
64.97/16.40	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.07 s
65.39/16.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
66.57/16.73	c lits-rem:         0  cl-subs:        1  v-elim:      0  v-fix:    0  time:  0.22 s
66.57/16.74	c vivif2 --  cl tried    83032 cl shrink        0 lits rem          0 time: 0.01
66.57/16.76	c vivif2 --  cl tried    20596 cl shrink        0 lits rem          0 time: 0.03
66.97/16.87	c asymm  cl-useful: 0/83032/83032 lits-rem:0 time: 0.10
66.97/16.87	c calculated reachability. Time: 0.00
66.97/16.87	c  N dy   253     46259     19450     83032         0     20596    252111   1686687    129.17   no data
72.57/18.20	c  N dy   281     50316     19450     83032         0     24653    252111   2524197    129.08    148.26
77.76/19.59	c  N dy   310     54432     19450     83032         0     28769    252111   3377139    129.33    139.05
83.73/21.00	c  N dy   339     58542     19450     83032         0     32879    252111   4197938    129.42    136.54
89.32/22.48	c  N dy   369     62653     19450     83032         0     36990    252111   5055075    129.55    138.36
94.91/23.83	c  N dy   393     66736     19450     83032         0     22402    252111   1422439    129.46    157.48
98.50/24.71	c  S st   411     69388     19450     83032         0     25054    252111   1972731    129.57   no data
98.90/24.88	c  S st   411     69891     19450     83032         0     25557    252111   2036878    129.57   no data
98.90/24.89	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
99.30/24.95	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.06
99.30/24.97	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
99.30/24.98	c bin-w-bin subsume rem            0 bins  time:  0.00 s
99.30/24.98	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
99.30/24.99	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19450 time:  0.01 s
99.70/25.00	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
99.70/25.07	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.08 s
100.10/25.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
101.69/25.54	c lits-rem:         2  cl-subs:        1  v-elim:      0  v-fix:    0  time:  0.34 s
101.69/25.55	c vivif2 --  cl tried    83032 cl shrink        0 lits rem          0 time: 0.01
101.69/25.58	c vivif2 --  cl tried    25556 cl shrink        0 lits rem          0 time: 0.03
102.09/25.69	c asymm  cl-useful: 0/83032/83032 lits-rem:0 time: 0.11
102.09/25.69	c calculated reachability. Time: 0.00
102.09/25.69	c  N dy   411     69891     19450     83032         0     25556    252111   2035854    129.57   no data
108.48/27.25	c  N dy   440     74512     19450     83032         0     30177    252111   2989958    129.58    138.57
115.26/28.98	c  N dy   474     79357     19450     83032         0     35021    252111   3993751    129.83    137.34
122.46/30.80	c  N dy   510     84480     19450     83032         0     40143    252111   5055476    129.96    138.17
126.85/31.89	c  F st   531     87501     19450     83032         0     22333    252111    933346    130.09    132.05
131.65/33.06	c  N st   536     90797     19450     83032         0     25629    252111   1812300    130.09   no data
140.02/35.14	c  N dy   566     96676     19450     83032         0     31507    252111   3248666    130.33    167.76
148.80/37.34	c  N dy   603    102888     19450     83032         0     37719    252111   4491695    130.24    138.26
151.58/38.05	c  S st   618    104836     19450     83032         0     39667    252111   4894323    130.28   no data
152.38/38.23	c  S st   618    105339     19450     83032         0     40170    252111   4962016    130.28   no data
152.38/38.25	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
152.78/38.31	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.07
152.78/38.33	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
152.78/38.34	c bin-w-bin subsume rem            0 bins  time:  0.00 s
152.78/38.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
152.78/38.35	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19450 time:  0.01 s
152.78/38.36	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
153.19/38.46	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.10 s
154.36/38.74	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
160.35/40.23	c lits-rem:         2  cl-subs:        2  v-elim:      0  v-fix:    0  time:  1.48 s
160.35/40.24	c vivif2 --  cl tried    83032 cl shrink        0 lits rem          0 time: 0.01
160.75/40.32	c vivif2 --  cl tried    40168 cl shrink        0 lits rem          0 time: 0.08
161.15/40.45	c asymm  cl-useful: 0/83032/83032 lits-rem:0 time: 0.13
161.15/40.46	c calculated reachability. Time: 0.00
161.15/40.46	c  N dy   618    105339     19450     83032         0     40168    252111   4961341    130.28   no data
171.52/43.02	c  N dy   663    112233     19450     83032         0     24647    252111   1037859    130.21    138.55
181.50/45.56	c  N dy   712    119466     19450     83032         0     31880    252111   2561483    130.48    187.82
192.70/48.40	c  N dy   765    127258     19450     83032         0     39672    252111   4193134    130.61    139.52
205.06/51.49	c  N dy   821    135382     19450     83032         0     24091    252111    625957    130.58    137.90
217.42/54.57	c  N dy   883    144344     19450     83032         0     33052    252111   2507168    130.80    143.02
231.00/57.91	c  N dy   942    153632     19450     83032         0     42340    252111   4422090    130.76    154.41
237.77/59.60	c  S st   976    158008     19450     83032         0     46716    252111   5346316    130.89   no data
238.57/59.81	c  S st   976    158513     19450     83032         0     47221    252111   5431649    130.89   no data
238.57/59.82	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
238.57/59.90	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.07
238.97/59.92	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
238.97/59.92	c bin-w-bin subsume rem            0 bins  time:  0.00 s
238.97/59.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
238.97/59.93	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19450 time:  0.01 s
238.97/59.94	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
239.38/60.05	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.11 s
240.58/60.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
248.96/62.46	c lits-rem:        12  cl-subs:        3  v-elim:      0  v-fix:    0  time:  2.11 s
248.96/62.47	c vivif2 --  cl tried    83032 cl shrink        0 lits rem          0 time: 0.01
249.35/62.55	c vivif2 --  cl tried    47218 cl shrink        0 lits rem          0 time: 0.08
249.77/62.69	c asymm  cl-useful: 0/83032/83032 lits-rem:0 time: 0.14
249.77/62.70	c calculated reachability. Time: 0.00
249.77/62.70	c  N dy   976    158513     19450     83032         0     47218    252111   5431342    130.89   no data
264.51/66.33	c  N dy  1043    168785     19450     83032         0     32634    252111   2080020    130.79    138.21
280.08/70.26	c  N dy  1110    179614     19450     83032         0     43463    252111   4267470    130.55    141.96
297.24/74.59	c  N dy  1185    191186     19450     83032         0     29110    252111   1130130    130.54    139.22
315.20/79.04	c  N dy  1269    203441     19450     83032         0     41364    252111   3666484    130.63    138.38
335.56/84.13	c  N dy  1360    216521     19450     83032         0     27477    252111    577566    130.74    141.63
355.13/89.05	c  N dy  1449    230379     19450     83032         0     41333    252111   3399571    130.68    149.64
366.28/91.84	c  S st  1496    237771     19450     83032         0     48725    252111   4901097    130.58   no data
367.08/92.06	c  S st  1496    238275     19450     83032         0     49229    252111   4981906    130.58   no data
367.08/92.07	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
367.48/92.14	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.07
367.48/92.17	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
367.48/92.17	c bin-w-bin subsume rem            0 bins  time:  0.01 s
367.48/92.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
367.48/92.18	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19450 time:  0.01 s
367.48/92.19	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
367.88/92.30	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.10 s
369.07/92.53	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
377.49/94.62	c lits-rem:         0  cl-subs:       10  v-elim:      0  v-fix:    0  time:  2.08 s
377.49/94.63	c vivif2 --  cl tried    83032 cl shrink        0 lits rem          0 time: 0.01
377.85/94.71	c vivif2 --  cl tried    49219 cl shrink        0 lits rem          0 time: 0.08
378.26/94.85	c asymm  cl-useful: 0/83032/83032 lits-rem:0 time: 0.14
378.26/94.86	c calculated reachability. Time: 0.00
378.26/94.86	c  N dy  1496    238275     19450     83032         0     49219    252111   4979316    130.58   no data
401.00/100.53	c  N dy  1595    253540     19450     83032         0     36501    252111   2256517    130.68    138.78
425.36/106.64	c  N dy  1703    269827     19450     83032         0     52787    252111   5599293    130.67    139.79
451.71/113.28	c  N dy  1822    287162     19450     83032         0     41130    252111   2977652    130.74    139.45
480.82/120.57	c  N dy  1951    305659     19450     83032         0     59625    252111   6858303    130.85    139.62
482.01/120.84	c  F st  1956    306251     19450     83032         0     30230    252111    494821    130.85   no data
510.35/127.94	c  N dy  2053    325190     19450     83032         0     49168    252111   4669795    130.88    140.90
541.08/135.67	c  N dy  2191    345234     19450     83032         0     38216    252111   1909428    130.97    139.62
559.44/140.28	c  S st  2268    357412     19450     83032         0     50391    252111   4402718    130.95    116.97
560.24/140.49	c  S st  2268    357919     19450     83032         0     50898    252111   4483727    130.95   no data
560.64/140.51	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
560.64/140.58	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.07
561.04/140.61	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
561.04/140.61	c bin-w-bin subsume rem            0 bins  time:  0.01 s
561.04/140.62	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
561.04/140.62	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19450 time:  0.01 s
561.04/140.63	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
561.45/140.73	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.10 s
562.22/140.95	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
573.81/143.87	c lits-rem:         1  cl-subs:        4  v-elim:      0  v-fix:    0  time:  2.90 s
573.81/143.88	c vivif2 --  cl tried    83032 cl shrink        0 lits rem          0 time: 0.01
574.21/143.95	c vivif2 --  cl tried    50894 cl shrink        0 lits rem          0 time: 0.07
574.62/144.09	c asymm  cl-useful: 0/83032/83032 lits-rem:0 time: 0.14
574.62/144.10	c calculated reachability. Time: 0.00
574.62/144.10	c  N dy  2268    357919     19450     83032         0     50894    252111   4482354    130.95   no data
606.13/151.99	c  N dy  2400    378093     19450     83032         0     39071    252111   1876842    130.98    140.28
638.85/160.10	c  N dy  2539    398259     19450     83032         0     59235    252111   6023977    131.02    138.05
669.98/167.93	c  N dy  2676    418306     19450     83032         0     46285    252111   3244512    131.13    138.31
702.34/176.05	c  N dy  2816    438313     19450     83032         0     66292    252111   7392538    131.16    144.05
733.43/183.84	c  N dy  2948    458533     19450     83032         0     52511    252111   4276051    131.20    138.47
766.16/192.04	c  N dy  3082    478575     19450     83032         0     37555    252111    965512    131.15    138.12
797.29/199.88	c  N dy  3216    498802     19450     83032         0     57781    252111   5166654    131.17    153.93
830.41/208.12	c  N dy  3360    518816     19450     83032         0     41792    252111   1655970    131.26    148.83
858.35/215.19	c  S st  3477    536880     19450     83032         0     59856    252111   5350983    131.22   no data
859.54/215.41	c  S st  3477    537385     19450     83032         0     60361    252111   5424319    131.22   no data
859.54/215.43	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
859.96/215.51	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.08
859.96/215.53	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
859.96/215.53	c bin-w-bin subsume rem            0 bins  time:  0.01 s
859.96/215.54	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
859.96/215.55	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19450 time:  0.01 s
859.96/215.56	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
860.37/215.67	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.11 s
861.53/215.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
872.71/218.72	c lits-rem:        11  cl-subs:        4  v-elim:      0  v-fix:    0  time:  2.79 s
872.71/218.73	c vivif2 --  cl tried    83032 cl shrink        0 lits rem          0 time: 0.01
873.12/218.82	c vivif2 --  cl tried    60357 cl shrink        0 lits rem          0 time: 0.09
873.54/218.98	c asymm  cl-useful: 0/83032/83032 lits-rem:0 time: 0.16
873.54/218.99	c calculated reachability. Time: 0.00
873.54/218.99	c  N dy  3477    537385     19450     83032         0     60357    252111   5422425    131.22   no data
907.03/227.33	c  N dy  3613    557581     19450     83032         0     43558    252111   1776326    131.22    138.83
938.98/235.39	c  N dy  3740    577787     19450     83032         0     63764    252111   5953510    131.19    139.75
972.48/243.76	c  N dy  3886    597838     19450     83032         0     45812    252111   2062446    131.30    138.26
1004.83/251.83	c  N dy  4016    617892     19450     83032         0     65865    252111   6292245    131.36    143.70
1038.72/260.31	c  N dy  4150    638201     19450     83032         0     47178    252111   2143484    131.38    145.33
1071.44/268.56	c  N dy  4287    658493     19450     83032         0     67466    252111   6378353    131.43    146.38
1104.96/276.98	c  N dy  4420    678554     19450     83032         0     47530    252111   1998628    131.45    138.39
1138.89/285.41	c  N dy  4544    698632     19450     83032         0     67607    252111   6181638    131.48    140.83
1173.61/294.10	c  N dy  4681    718665     19450     83032         0     46644    252111   1645515    131.56    178.15
1206.33/302.38	c  N dy  4824    738810     19450     83032         0     66789    252111   5941229    131.67    139.21
1241.87/311.23	c  N dy  4955    759117     19450     83032         0     45096    252111   1090252    131.68    138.64
1274.18/319.37	c  N dy  5088    779184     19450     83032         0     65161    252111   5303489    131.68    140.22
1310.09/328.34	c  N dy  5224    799217     19450     83032         0     85191    252111   9483055    131.72    148.00
1321.30/331.12	c  S st  5273    806077     19450     83032         0     49055    252111   1750417    131.75   no data
1322.06/331.33	c  S st  5273    806585     19450     83032         0     49563    252111   1824500    131.75   no data
1322.06/331.34	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1322.46/331.41	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.07
1322.46/331.44	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1322.46/331.44	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1322.46/331.45	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1322.46/331.45	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19450 time:  0.01 s
1322.46/331.46	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
1322.86/331.55	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.08 s
1323.26/331.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1326.05/332.31	c lits-rem:         0  cl-subs:        1  v-elim:      0  v-fix:    0  time:  0.66 s
1326.05/332.32	c vivif2 --  cl tried    83032 cl shrink        0 lits rem          0 time: 0.01
1326.05/332.35	c vivif2 --  cl tried    49562 cl shrink        0 lits rem          0 time: 0.03
1326.45/332.49	c asymm  cl-useful: 0/83032/83032 lits-rem:0 time: 0.14
1326.45/332.50	c calculated reachability. Time: 0.00
1326.45/332.50	c  N dy  5273    806585     19450     83032         0     49562    252111   1824100    131.75   no data
1359.98/340.80	c  N dy  5406    826684     19450     83032         0     69660    252111   5954963    131.74    140.06
1396.69/350.02	c  N dy  5538    847094     19450     83032         0     46073    252111    891642    131.76    142.05
1429.43/358.23	c  N dy  5677    867115     19450     83032         0     66094    252111   5142320    131.81    140.95
1465.34/367.20	c  N dy  5814    887128     19450     83032         0     86106    252111   9354918    131.86    144.13
1498.85/375.61	c  N dy  5955    907261     19450     83032         0     61243    252111   3914189    131.90    139.35
1533.97/384.41	c  N dy  6088    927327     19450     83032         0     81309    252111   8073829    131.91    140.22
1568.69/393.14	c  N dy  6222    947357     19450     83032         0     55338    252111   2462787    131.97    145.98
1603.01/401.79	c  N dy  6369    967402     19450     83032         0     75378    252111   6750634    132.05    185.83
1640.53/411.10	c  N dy  6507    987415     19450     83032         0     48390    252111    774870    132.08    140.19
1673.24/419.39	c  N dy  6642   1007514     19450     83032         0     68488    252111   4992245    132.10    139.43
1709.97/428.51	c  N dy  6774   1027556     19450     83032         0     88529    252111   9256570    132.12    146.50
1744.28/437.19	c  N dy  6910   1047657     19450     83032         0     60633    252111   3093400    132.13    139.46
1779.80/446.06	c  N dy  7052   1067690     19450     83032         0     80664    252111   7314232    132.16    139.44
1787.78/448.01	c  F st  7081   1071876     19450     83032         0     84850    252111   8194681    132.16    163.32
1816.52/455.30	c  N dy  7156   1087710     19450     83032         0     51684    252111   1037541    132.15    140.39
1850.44/463.76	c  N dy  7288   1107730     19450     83032         0     71704    252111   5174382    132.16    139.34
1887.59/473.09	c  N dy  7422   1127789     19450     83032         0     91763    252111   9318924    132.16    140.12
1923.46/482.06	c  N dy  7555   1148007     19450     83032         0     61983    252111   3005567    132.15    139.24
1959.38/491.05	c  N dy  7695   1168139     19450     83032         0     82115    252111   7217735    132.19    141.25
1998.09/500.74	c  N dy  7822   1188314     19450     83032         0     51293    252111    550869    132.17    149.18
2032.45/509.37	c  N dy  7961   1208536     19450     83032         0     71512    252111   4789647    132.21    139.38
2034.81/509.97	c  S st  7972   1209877     19450     83032         0     72853    252111   5064025    132.21    115.35
2036.01/510.23	c  S st  7972   1210380     19450     83032         0     73356    252111   5143863    132.21   no data
2036.01/510.24	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2036.42/510.34	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.09
2036.42/510.36	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2036.42/510.37	c bin-w-bin subsume rem            0 bins  time:  0.01 s
2036.42/510.37	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2036.42/510.38	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19450 time:  0.01 s
2036.42/510.39	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
2037.20/510.51	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.12 s
2038.00/510.77	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2050.37/513.80	c lits-rem:         6  cl-subs:        2  v-elim:      0  v-fix:    0  time:  3.01 s
2050.37/513.81	c vivif2 --  cl tried    83032 cl shrink        0 lits rem          0 time: 0.01
2050.37/513.89	c vivif2 --  cl tried    73354 cl shrink        0 lits rem          0 time: 0.08
2051.17/514.07	c asymm  cl-useful: 0/83032/83032 lits-rem:0 time: 0.18
2051.17/514.08	c calculated reachability. Time: 0.00
2051.17/514.08	c  N dy  7972   1210380     19450     83032         0     73354    252111   5142546    132.21   no data
2089.10/523.53	c  N dy  8111   1230544     19450     83032         0     93516    252111   9389608    132.23    139.84
2125.79/532.77	c  N dy  8252   1250690     19450     83032         0     61663    252111   2513405    132.25    139.22
2160.92/541.56	c  N dy  8382   1270699     19450     83032         0     81671    252111   6676630    132.25    144.28
2199.62/551.21	c  N dy  8511   1290724     19450     83032         0    101695    252111  10926402    132.27    146.41
2234.37/559.97	c  N dy  8649   1310753     19450     83032         0     68729    252111   3793910    132.30    178.16
2270.65/569.06	c  N dy  8775   1330829     19450     83032         0     88804    252111   8011217    132.30    139.95
2310.16/578.99	c  N dy  8907   1350966     19450     83032         0     54942    252111    690887    132.29    142.91
2344.88/587.64	c  N dy  9045   1371021     19450     83032         0     74995    252111   4913170    132.35    180.56
2382.80/597.10	c  N dy  9174   1391138     19450     83032         0     95111    252111   9110284    132.35    139.34
2421.50/606.89	c  N dy  9313   1411236     19450     83032         0     60213    252111   1606015    132.39    139.97
2456.62/615.68	c  N dy  9447   1431432     19450     83032         0     80407    252111   5843225    132.40    140.64
2495.73/625.43	c  N dy  9591   1451437     19450     83032         0    100411    252111  10055529    132.41    152.93
2533.63/634.97	c  N dy  9724   1471558     19450     83032         0     64539    252111   2296881    132.42    142.05
2569.95/644.02	c  N dy  9861   1491792     19450     83032         0     84770    252111   6520182    132.45    141.70
2609.86/654.05	c  N dy  9997   1511918     19450     83032         0    104891    252111  10720922    132.45    141.23
2647.37/663.46	c  N dy 10136   1532050     19450     83032         0     68029    252111   2848539    132.47    144.56
2683.67/672.57	c  N dy 10268   1552103     19450     83032         0     88081    252111   6981212    132.46    139.65
2723.58/682.57	c  N dy 10407   1572135     19450     83032         0    108110    252111  11219532    132.48    160.46
2760.71/691.89	c  N dy 10539   1592276     19450     83032         0     70251    252111   3078572    132.48    152.74
2797.80/701.13	c  N dy 10675   1612338     19450     83032         0     90311    252111   7270119    132.47    143.41
2838.91/711.46	c  N dy 10815   1632451     19450     83032         0    110419    252111  11460274    132.49    140.77
2876.41/720.82	c  N dy 10945   1652549     19450     83032         0     71525    252111   3178077    132.49    142.42
2913.13/730.05	c  N dy 11079   1672734     19450     83032         0     91709    252111   7414503    132.51    144.69
2954.27/740.37	c  N dy 11220   1692915     19450     83032         0    111888    252111  11690149    132.53    141.26
2987.76/748.73	c  S st 11331   1710380     19450     83032         0     69354    252111   2498569    132.52   no data
2988.56/748.97	c  S st 11331   1710885     19450     83032         0     69859    252111   2581584    132.52   no data
2988.56/748.99	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2988.97/749.08	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.09
2988.97/749.10	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2988.97/749.10	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2989.39/749.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2989.39/749.12	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19450 time:  0.01 s
2989.39/749.13	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
2989.75/749.22	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.10 s
2990.15/749.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2996.54/750.94	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  1.58 s
2996.54/750.95	c vivif2 --  cl tried    83032 cl shrink        0 lits rem          0 time: 0.01
2996.94/751.00	c vivif2 --  cl tried    69859 cl shrink        0 lits rem          0 time: 0.04
2997.34/751.17	c asymm  cl-useful: 0/83032/83032 lits-rem:0 time: 0.17
2997.34/751.17	c calculated reachability. Time: 0.00
2997.34/751.17	c  N dy 11331   1710885     19450     83032         0     69859    252111   2581584    132.52   no data
3035.25/760.62	c  N dy 11468   1731215     19450     83032         0     90189    252111   6865778    132.54    142.50
3075.96/770.84	c  N dy 11601   1751409     19450     83032         0    110382    252111  11069537    132.52    139.51
3115.86/780.89	c  N dy 11746   1771491     19450     83032         0     69465    252111   2325342    132.56    147.59
3152.57/790.07	c  N dy 11886   1791500     19450     83032         0     89472    252111   6560540    132.58    149.51
3192.88/800.13	c  N dy 12017   1811643     19450     83032         0    109615    252111  10770804    132.58    140.65
3233.98/810.45	c  N dy 12153   1831771     19450     83032         0     67748    252111   1738232    132.59    142.10
3270.34/819.55	c  N dy 12292   1851909     19450     83032         0     87884    252111   5967290    132.59    139.68
3311.41/829.81	c  N dy 12422   1871974     19450     83032         0    107947    252111  10175228    132.61    141.96
3354.90/840.74	c  N dy 12564   1892012     19450     83032         0     64986    252111    993899    132.62    139.74
3390.41/849.62	c  N dy 12698   1912056     19450     83032         0     85030    252111   5167537    132.61    142.37
3429.92/859.50	c  N dy 12829   1932167     19450     83032         0    105137    252111   9422601    132.62    145.97
3473.42/870.41	c  N dy 12967   1952276     19450     83032         0    125245    252111  13663161    132.63    153.77
3510.53/879.75	c  N dy 13102   1972308     19450     83032         0     81283    252111   4174672    132.64    141.82
3548.84/889.38	c  N dy 13234   1992342     19450     83032         0    101317    252111   8401770    132.64    147.36
3591.94/900.19	c  N dy 13362   2012553     19450     83032         0    121525    252111  12778158    132.66    140.15
3631.44/910.06	c  N dy 13503   2032564     19450     83032         0     76537    252111   3036010    132.69    139.82
3668.96/919.47	c  N dy 13632   2052616     19450     83032         0     96588    252111   7190370    132.68    141.35
3710.85/929.93	c  N dy 13766   2072721     19450     83032         0    116691    252111  11435084    132.70    140.51
3752.77/940.48	c  N dy 13890   2092745     19450     83032         0     70716    252111   1524961    132.67    140.68
3789.86/949.78	c  N dy 14033   2112937     19450     83032         0     90906    252111   5786424    132.69    151.99
3830.16/959.89	c  N dy 14166   2133069     19450     83032         0    111036    252111   9962766    132.68    140.60
3874.86/971.07	c  N dy 14300   2153131     19450     83032         0    131096    252111  14212677    132.69    142.26
3913.01/980.60	c  N dy 14431   2173159     19450     83032         0     84130    252111   4224391    132.71    142.98
3952.29/990.50	c  N dy 14556   2193267     19450     83032         0    104237    252111   8438471    132.70    148.58
3990.19/1000.09	c  S st 14674   2210885     19450     83032         0    121855    252111  12236325    132.72   no data
3991.79/1000.44	c  S st 14674   2211386     19450     83032         0    122356    252111  12314669    132.72   no data
3991.79/1000.48	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3992.59/1000.63	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.9M T:  0.15
3992.59/1000.65	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3992.59/1000.65	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3992.59/1000.66	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
3992.59/1000.67	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19450 time:  0.01 s
3992.59/1000.68	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
3993.39/1000.87	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.19 s
3996.57/1001.65	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
4024.95/1008.76	c lits-rem:        13  cl-subs:        8  v-elim:      0  v-fix:    0  time:  7.08 s
4024.95/1008.77	c vivif2 --  cl tried    83032 cl shrink        0 lits rem          0 time: 0.01
4025.71/1008.97	c vivif2 --  cl tried   122348 cl shrink        0 lits rem          0 time: 0.21
4026.91/1009.25	c asymm  cl-useful: 0/83032/83032 lits-rem:0 time: 0.27
4026.91/1009.25	c calculated reachability. Time: 0.00
4026.91/1009.25	c  N dy 14674   2211386     19450     83032         0    122348    252111  12310786    132.72   no data
4072.00/1020.56	c  N dy 14799   2231608     19450     83032         0     74572    252111   1952561    132.71    140.90
4109.50/1029.91	c  N dy 14939   2251682     19450     83032         0     94645    252111   6206107    132.74    140.02
4150.62/1040.26	c  N dy 15076   2271709     19450     83032         0    114669    252111  10391485    132.75    139.87
4195.31/1051.45	c  N dy 15206   2291715     19450     83032         0    134675    252111  14571112    132.74    164.87
4233.22/1060.98	c  N dy 15338   2311876     19450     83032         0     85838    252111   4120304    132.74    141.77
4273.52/1071.04	c  N dy 15481   2331986     19450     83032         0    105947    252111   8328161    132.76    142.46
4317.02/1081.98	c  N dy 15615   2352206     19450     83032         0    126165    252111  12564079    132.75    140.63
4360.11/1092.72	c  N dy 15736   2372299     19450     83032         0     76270    252111   1894256    132.75    141.62
4398.06/1102.21	c  N dy 15871   2392398     19450     83032         0     96367    252111   6117173    132.75    140.37
4439.53/1112.67	c  N dy 16010   2412442     19450     83032         0    116411    252111  10362371    132.76    145.11
4485.03/1124.04	c  N dy 16147   2432529     19450     83032         0    136497    252111  14610137    132.77    142.39
4524.13/1133.83	c  N dy 16279   2452537     19450     83032         0     85502    252111   3588152    132.77    141.69
4563.65/1143.73	c  N dy 16421   2472554     19450     83032         0    105518    252111   7836796    132.79    141.15
4606.74/1154.54	c  N dy 16552   2492698     19450     83032         0    125660    252111  12081270    132.79    140.35
4653.03/1166.12	c  N dy 16682   2512782     19450     83032         0     73757    252111    975189    132.79    144.49
4690.14/1175.43	c  N dy 16819   2532901     19450     83032         0     93874    252111   5233944    132.80    140.56
4730.85/1185.68	c  N dy 16948   2552938     19450     83032         0    113909    252111   9442794    132.80    140.39
4776.34/1197.01	c  N dy 17080   2573214     19450     83032         0    134184    252111  13731383    132.80    140.85

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: 961)

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-3366214-1305398994/watcher-3366214-1305398994 -o /tmp/evaluation-result-3366214-1305398994/solver-3366214-1305398994 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366214-1305398994.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: 7.85 8.00 6.73 1/280 4232
/proc/meminfo: memFree=19073536/32951132 swapFree=67093824/67111528
[pid=4232] ppid=4230 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/4232/stat : 4232 (strangenight2-m) R 4230 4232 4127 0 -1 4202496 407 0 0 0 0 0 0 0 22 0 4 0 651499088 52396032 347 33554432000 4194304 4580107 140737218250960 18446744073709551615 47253361510320 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/4232/statm: 12792 347 299 95 0 7774 0
[pid=4232/tid=4233] ppid=4230 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/4232/task/4233/stat : 4233 (strangenight2-m) R 4230 4232 4127 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 4 0 651499088 52396032 347 33554432000 4194304 4580107 140737218250960 18446744073709551615 47253361510316 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4232/tid=4234] ppid=4230 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/4232/task/4234/stat : 4234 (strangenight2-m) R 4230 4232 4127 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 651499088 52396032 347 33554432000 4194304 4580107 140737218250960 18446744073709551615 47253361510322 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4232/tid=4235] ppid=4230 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/4232/task/4235/stat : 4235 (strangenight2-m) R 4230 4232 4127 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 4 0 651499088 52396032 347 33554432000 4194304 4580107 140737218250960 18446744073709551615 274664864753 0 0 4096 2 0 0 0 -1 5 0 0 0

[startup+0.0411561 s]
/proc/loadavg: 7.85 8.00 6.73 1/280 4232
/proc/meminfo: memFree=19073536/32951132 swapFree=67093824/67111528
[pid=4232] ppid=4230 vsize=300172 CPUtime=0.12 cores=1,3,5,7
/proc/4232/stat : 4232 (strangenight2-m) D 4230 4232 4127 0 -1 4202496 11672 0 0 0 10 2 0 0 18 0 4 0 651499088 307376128 9591 33554432000 4194304 4580107 140737218250960 18446744073709551615 274664469189 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/4232/statm: 75043 9675 337 95 0 70025 0
[pid=4232/tid=4233] ppid=4230 vsize=301040 CPUtime=0.03 cores=1,3,5,7
/proc/4232/task/4233/stat : 4233 (strangenight2-m) R 4230 4232 4127 0 -1 4202560 2889 0 0 0 3 0 0 0 18 0 4 0 651499088 308264960 9900 33554432000 4194304 4580107 140737218250960 18446744073709551615 274664851639 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4232/tid=4234] ppid=4230 vsize=301172 CPUtime=0.03 cores=1,3,5,7
/proc/4232/task/4234/stat : 4234 (strangenight2-m) D 4230 4232 4127 0 -1 4202560 3198 0 0 0 3 0 0 0 18 0 4 0 651499088 308400128 11036 33554432000 4194304 4580107 140737218250960 18446744073709551615 4487413 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4232/tid=4235] ppid=4230 vsize=301172 CPUtime=0.02 cores=1,3,5,7
/proc/4232/task/4235/stat : 4235 (strangenight2-m) D 4230 4232 4127 0 -1 4202560 3184 0 0 0 2 0 0 0 18 0 4 0 651499088 308400128 11036 33554432000 4194304 4580107 140737218250960 18446744073709551615 4489474 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 300172

[startup+0.171443 s]
/proc/loadavg: 7.85 8.00 6.73 1/280 4232
/proc/meminfo: memFree=19073536/32951132 swapFree=67093824/67111528
[pid=4232] ppid=4230 vsize=308100 CPUtime=0.62 cores=1,3,5,7
/proc/4232/stat : 4232 (strangenight2-m) D 4230 4232 4127 0 -1 4202496 16100 0 0 0 59 3 0 0 18 0 4 0 651499088 315494400 13953 33554432000 4194304 4580107 140737218250960 18446744073709551615 274664469537 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/4232/statm: 77025 13953 363 95 0 72007 0
[pid=4232/tid=4233] ppid=4230 vsize=308100 CPUtime=0.15 cores=1,3,5,7
/proc/4232/task/4233/stat : 4233 (strangenight2-m) D 4230 4232 4127 0 -1 4202560 3970 0 0 0 15 0 0 0 18 0 4 0 651499088 315494400 13953 33554432000 4194304 4580107 140737218250960 18446744073709551615 274664851639 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4232/tid=4234] ppid=4230 vsize=308100 CPUtime=0.16 cores=1,3,5,7
/proc/4232/task/4234/stat : 4234 (strangenight2-m) D 4230 4232 4127 0 -1 4202560 4110 0 0 0 15 1 0 0 18 0 4 0 651499088 315494400 13953 33554432000 4194304 4580107 140737218250960 18446744073709551615 4401482 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4232/tid=4235] ppid=4230 vsize=308100 CPUtime=0.15 cores=1,3,5,7
/proc/4232/task/4235/stat : 4235 (strangenight2-m) R 4230 4232 4127 0 -1 4202560 3738 0 0 0 14 1 0 0 18 0 4 0 651499088 315494400 13953 33554432000 4194304 4580107 140737218250960 18446744073709551615 274664851639 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.62
Current children cumulated vsize (KiB) 308100

[startup+0.301114 s]
/proc/loadavg: 7.85 8.00 6.73 1/280 4232
/proc/meminfo: memFree=19073536/32951132 swapFree=67093824/67111528
[pid=4232] ppid=4230 vsize=328512 CPUtime=1.12 cores=1,3,5,7
/proc/4232/stat : 4232 (strangenight2-m) R 4230 4232 4127 0 -1 4202496 27774 0 0 0 105 7 0 0 18 0 4 0 651499088 336396288 24256 33554432000 4194304 4580107 140737218250960 18446744073709551615 4415763 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/4232/statm: 82128 24256 373 95 0 77110 0
[pid=4232/tid=4233] ppid=4230 vsize=328512 CPUtime=0.26 cores=1,3,5,7
/proc/4232/task/4233/stat : 4233 (strangenight2-m) R 4230 4232 4127 0 -1 4202560 8079 0 0 0 25 1 0 0 18 0 4 0 651499088 336396288 24256 33554432000 4194304 4580107 140737218250960 18446744073709551615 4422974 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4232/tid=4234] ppid=4230 vsize=328512 CPUtime=0.27 cores=1,3,5,7
/proc/4232/task/4234/stat : 4234 (strangenight2-m) R 4230 4232 4127 0 -1 4202560 7467 0 0 0 26 1 0 0 18 0 4 0 651499088 336396288 24256 33554432000 4194304 4580107 140737218250960 18446744073709551615 4489504 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4232/tid=4235] ppid=4230 vsize=328512 CPUtime=0.27 cores=1,3,5,7
/proc/4232/task/4235/stat : 4235 (strangenight2-m) R 4230 4232 4127 0 -1 4202560 3873 0 0 0 26 1 0 0 18 0 4 0 651499088 336396288 24256 33554432000 4194304 4580107 140737218250960 18446744073709551615 4321364 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.12
Current children cumulated vsize (KiB) 328512

[startup+0.701041 s]
/proc/loadavg: 7.85 8.00 6.73 1/280 4232
/proc/meminfo: memFree=19073536/32951132 swapFree=67093824/67111528
[pid=4232] ppid=4230 vsize=324048 CPUtime=2.73 cores=1,3,5,7
/proc/4232/stat : 4232 (strangenight2-m) R 4230 4232 4127 0 -1 4202496 30268 0 0 0 265 8 0 0 18 0 4 0 651499088 331825152 22954 33554432000 4194304 4580107 140737218250960 18446744073709551615 4294533 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/4232/statm: 81012 22954 377 95 0 75994 0
[pid=4232/tid=4233] ppid=4230 vsize=324048 CPUtime=0.67 cores=1,3,5,7
/proc/4232/task/4233/stat : 4233 (strangenight2-m) R 4230 4232 4127 0 -1 4202560 8973 0 0 0 65 2 0 0 18 0 4 0 651499088 331825152 22954 33554432000 4194304 4580107 140737218250960 18446744073709551615 4293204 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4232/tid=4234] ppid=4230 vsize=324048 CPUtime=0.67 cores=1,3,5,7
/proc/4232/task/4234/stat : 4234 (strangenight2-m) R 4230 4232 4127 0 -1 4202560 7760 0 0 0 66 1 0 0 18 0 4 0 651499088 331825152 22954 33554432000 4194304 4580107 140737218250960 18446744073709551615 4293911 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4232/tid=4235] ppid=4230 vsize=324048 CPUtime=0.67 cores=1,3,5,7
/proc/4232/task/4235/stat : 4235 (strangenight2-m) R 4230 4232 4127 0 -1 4202560 4280 0 0 0 66 1 0 0 18 0 4 0 651499088 331825152 22954 33554432000 4194304 4580107 140737218250960 18446744073709551615 4294627 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.73
Current children cumulated vsize (KiB) 324048

[startup+1.5009 s]
/proc/loadavg: 7.85 8.00 6.73 6/281 4253
/proc/meminfo: memFree=18987316/32951132 swapFree=67093824/67111528
[pid=4232] ppid=4230 vsize=324048 CPUtime=5.92 cores=1,3,5,7
/proc/4232/stat : 4232 (strangenight2-m) R 4230 4232 4127 0 -1 4202496 32907 0 0 0 583 9 0 0 19 0 4 0 651499088 331825152 25573 33554432000 4194304 4580107 140737218250960 18446744073709551615 4293907 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/4232/statm: 81012 25573 377 95 0 75994 0
[pid=4232/tid=4233] ppid=4230 vsize=324048 CPUtime=1.47 cores=1,3,5,7
/proc/4232/task/4233/stat : 4233 (strangenight2-m) R 4230 4232 4127 0 -1 4202560 9665 0 0 0 145 2 0 0 19 0 4 0 651499088 331825152 25573 33554432000 4194304 4580107 140737218250960 18446744073709551615 4324389 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4232/tid=4234] ppid=4230 vsize=324048 CPUtime=1.48 cores=1,3,5,7
/proc/4232/task/4234/stat : 4234 (strangenight2-m) R 4230 4232 4127 0 -1 4202560 8425 0 0 0 146 2 0 0 19 0 4 0 651499088 331825152 25573 33554432000 4194304 4580107 140737218250960 18446744073709551615 4293720 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4232/tid=4235] ppid=4230 vsize=324048 CPUtime=1.46 cores=1,3,5,7
/proc/4232/task/4235/stat : 4235 (strangenight2-m) R 4230 4232 4127 0 -1 4202560 4934 0 0 0 145 1 0 0 19 0 4 0 651499088 331825152 25573 33554432000 4194304 4580107 140737218250960 18446744073709551615 4318432 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.92
Current children cumulated vsize (KiB) 324048

[startup+3.10063 s]
/proc/loadavg: 7.85 8.00 6.73 10/289 4266
/proc/meminfo: memFree=18934740/32951132 swapFree=67093824/67111528
[pid=4232] ppid=4230 vsize=455312 CPUtime=12.3 cores=1,3,5,7
/proc/4232/stat : 4232 (strangenight2-m) R 4230 4232 4127 0 -1 4202496 38013 0 0 0 1220 10 0 0 24 0 4 0 651499088 466239488 30679 33554432000 4194304 4580107 140737218250960 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/4232/statm: 113828 30679 377 95 0 108810 0
[pid=4232/tid=4233] ppid=4230 vsize=455312 CPUtime=3.06 cores=1,3,5,7
/proc/4232/task/4233/stat : 4233 (strangenight2-m) R 4230 4232 4127 0 -1 4202560 10902 0 0 0 304 2 0 0 24 0 4 0 651499088 466239488 30679 33554432000 4194304 4580107 140737218250960 18446744073709551615 4293680 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4232/tid=4234] ppid=4230 vsize=455312 CPUtime=3.07 cores=1,3,5,7
/proc/4232/task/4234/stat : 4234 (strangenight2-m) R 4230 4232 4127 0 -1 4202560 9568 0 0 0 305 2 0 0 23 0 4 0 651499088 466239488 30679 33554432000 4194304 4580107 140737218250960 18446744073709551615 4293691 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4232/tid=4235] ppid=4230 vsize=455312 CPUtime=3.05 cores=1,3,5,7
/proc/4232/task/4235/stat : 4235 (strangenight2-m) R 4230 4232 4127 0 -1 4202560 6414 0 0 0 304 1 0 0 24 0 4 0 651499088 466239488 30679 33554432000 4194304 4580107 140737218250960 18446744073709551615 4293698 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.3
Current children cumulated vsize (KiB) 455312

[startup+6.30107 s]
/proc/loadavg: 8.02 8.03 6.75 11/289 4266
/proc/meminfo: memFree=18873484/32951132 swapFree=67093824/67111528
[pid=4232] ppid=4230 vsize=427652 CPUtime=25.07 cores=1,3,5,7
/proc/4232/stat : 4232 (strangenight2-m) R 4230 4232 4127 0 -1 4202496 48126 0 0 0 2494 13 0 0 25 0 4 0 651499088 437915648 36035 33554432000 4194304 4580107 140737218250960 18446744073709551615 4339860 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/4232/statm: 106913 36036 377 95 0 101895 0
[pid=4232/tid=4233] ppid=4230 vsize=427652 CPUtime=6.26 cores=1,3,5,7
/proc/4232/task/4233/stat : 4233 (strangenight2-m) R 4230 4232 4127 0 -1 4202560 13153 0 0 0 623 3 0 0 25 0 4 0 651499088 437915648 36036 33554432000 4194304 4580107 140737218250960 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4232/tid=4234] ppid=4230 vsize=427652 CPUtime=6.27 cores=1,3,5,7
/proc/4232/task/4234/stat : 4234 (strangenight2-m) R 4230 4232 4127 0 -1 4202560 11697 0 0 0 625 2 0 0 25 0 4 0 651499088 437915648 36036 33554432000 4194304 4580107 140737218250960 18446744073709551615 4293198 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4232/tid=4235] ppid=4230 vsize=427652 CPUtime=6.23 cores=1,3,5,7
/proc/4232/task/4235/stat : 4235 (strangenight2-m) R 4230 4232 4127 0 -1 4202560 9836 0 0 0 620 3 0 0 25 0 4 0 651499088 437915648 36036 33554432000 4194304 4580107 140737218250960 18446744073709551615 4293204 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.07
Current children cumulated vsize (KiB) 427652

[startup+12.701 s]
/proc/loadavg: 8.02 8.03 6.76 9/289 4266
/proc/meminfo: memFree=18726512/32951132 swapFree=67093824/67111528
[pid=4232] ppid=4230 vsize=688768 CPUtime=50.62 cores=1,3,5,7
/proc/4232/stat : 4232 (strangenight2-m) R 4230 4232 4127 0 -1 4202496 105215 0 0 0 5034 28 0 0 25 0 4 0 651499088 705298432 77770 33554432000 4194304 4580107 140737218250960 18446744073709551615 4292985 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/4232/statm: 172192 77770 379 95 0 167174 0
[pid=4232/tid=4233] ppid=4230 vsize=688768 CPUtime=12.67 cores=1,3,5,7
/proc/4232/task/4233/stat : 4233 (strangenight2-m) R 4230 4232 4127 0 -1 4202560 40216 0 0 0 1257 10 0 0 25 0 4 0 651499088 705298432 77770 33554432000 4194304 4580107 140737218250960 18446744073709551615 4452141 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4232/tid=4234] ppid=4230 vsize=688768 CPUtime=12.67 cores=1,3,5,7
/proc/4232/task/4234/stat : 4234 (strangenight2-m) R 4230 4232 4127 0 -1 4202560 17102 0 0 0 1264 3 0 0 25 0 4 0 651499088 705298432 77770 33554432000 4194304 4580107 140737218250960 18446744073709551615 4293192 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4232/tid=4235] ppid=4230 vsize=688768 CPUtime=12.56 cores=1,3,5,7
/proc/4232/task/4235/stat : 4235 (strangenight2-m) R 4230 4232 4127 0 -1 4202560 14129 0 0 0 1252 4 0 0 25 0 4 0 651499088 705298432 77770 33554432000 4194304 4580107 140737218250960 18446744073709551615 4305975 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.62
Current children cumulated vsize (KiB) 688768

[startup+25.5008 s]
/proc/loadavg: 8.01 8.03 6.78 9/289 4267
/proc/meminfo: memFree=18523492/32951132 swapFree=67093824/67111528
[pid=4232] ppid=4230 vsize=565676 CPUtime=101.69 cores=1,3,5,7
/proc/4232/stat : 4232 (strangenight2-m) R 4230 4232 4127 0 -1 4202496 164054 0 0 0 10127 42 0 0 25 0 4 0 651499088 579252224 88006 33554432000 4194304 4580107 140737218250960 18446744073709551615 4415659 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/4232/statm: 141419 88006 379 95 0 136401 0
[pid=4232/tid=4233] ppid=4230 vsize=565676 CPUtime=25.47 cores=1,3,5,7
/proc/4232/task/4233/stat : 4233 (strangenight2-m) R 4230 4232 4127 0 -1 4202560 50008 0 0 0 2535 12 0 0 25 0 4 0 651499088 579252224 88006 33554432000 4194304 4580107 140737218250960 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4232/tid=4234] ppid=4230 vsize=565676 CPUtime=25.48 cores=1,3,5,7
/proc/4232/task/4234/stat : 4234 (strangenight2-m) R 4230 4232 4127 0 -1 4202560 31949 0 0 0 2542 6 0 0 25 0 4 0 651499088 579252224 88006 33554432000 4194304 4580107 140737218250960 18446744073709551615 4293100 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4232/tid=4235] ppid=4230 vsize=565676 CPUtime=25.24 cores=1,3,5,7
/proc/4232/task/4235/stat : 4235 (strangenight2-m) R 4230 4232 4127 0 -1 4202560 33938 0 0 0 2514 10 0 0 25 0 4 0 651499088 579252224 88006 33554432000 4194304 4580107 140737218250960 18446744073709551615 4293907 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.69
Current children cumulated vsize (KiB) 565676

[startup+51.1003 s]
/proc/loadavg: 8.01 8.02 6.81 9/289 4267
/proc/meminfo: memFree=18271156/32951132 swapFree=67093824/67111528
[pid=4232] ppid=4230 vsize=817540 CPUtime=203.85 cores=1,3,5,7
/proc/4232/stat : 4232 (strangenight2-m) R 4230 4232 4127 0 -1 4202496 252774 0 0 0 20320 65 0 0 25 0 4 0 651499088 837160960 141389 33554432000 4194304 4580107 140737218250960 18446744073709551615 4293198 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/4232/statm: 204385 141389 379 95 0 199367 0
[pid=4232/tid=4233] ppid=4230 vsize=817540 CPUtime=51.07 cores=1,3,5,7
/proc/4232/task/4233/stat : 4233 (strangenight2-m) R 4230 4232 4127 0 -1 4202560 67302 0 0 0 5091 16 0 0 25 0 4 0 651499088 837160960 141389 33554432000 4194304 4580107 140737218250960 18446744073709551615 4293957 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4232/tid=4234] ppid=4230 vsize=817540 CPUtime=51.07 cores=1,3,5,7
/proc/4232/task/4234/stat : 4234 (strangenight2-m) R 4230 4232 4127 0 -1 4202560 50130 0 0 0 5096 11 0 0 25 0 4 0 651499088 837160960 141389 33554432000 4194304 4580107 140737218250960 18446744073709551615 4320813 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4232/tid=4235] ppid=4230 vsize=817540 CPUtime=50.61 cores=1,3,5,7
/proc/4232/task/4235/stat : 4235 (strangenight2-m) R 4230 4232 4127 0 -1 4202560 61990 0 0 0 5043 18 0 0 25 0 4 0 651499088 837160960 141389 33554432000 4194304 4580107 140737218250960 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 203.85
Current children cumulated vsize (KiB) 817540

[startup+102.31 s]
/proc/loadavg: 8.00 8.02 6.87 9/289 4269
/proc/meminfo: memFree=18203036/32951132 swapFree=67093824/67111528
[pid=4232] ppid=4230 vsize=831244 CPUtime=408.22 cores=1,3,5,7
/proc/4232/stat : 4232 (strangenight2-m) R 4230 4232 4127 0 -1 4202496 349706 0 0 0 40724 98 0 0 25 0 4 0 651499088 851193856 149110 33554432000 4194304 4580107 140737218250960 18446744073709551615 4293728 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/4232/statm: 207811 149110 379 95 0 202793 0
[pid=4232/tid=4233] ppid=4230 vsize=831244 CPUtime=102.28 cores=1,3,5,7
/proc/4232/task/4233/stat : 4233 (strangenight2-m) R 4230 4232 4127 0 -1 4202560 94835 0 0 0 10204 24 0 0 25 0 4 0 651499088 851193856 149110 33554432000 4194304 4580107 140737218250960 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4232/tid=4234] ppid=4230 vsize=831244 CPUtime=102.28 cores=1,3,5,7
/proc/4232/task/4234/stat : 4234 (strangenight2-m) R 4230 4232 4127 0 -1 4202560 71661 0 0 0 10208 20 0 0 25 0 4 0 651499088 851193856 149110 33554432000 4194304 4580107 140737218250960 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4232/tid=4235] ppid=4230 vsize=831244 CPUtime=101.34 cores=1,3,5,7
/proc/4232/task/4235/stat : 4235 (strangenight2-m) R 4230 4232 4127 0 -1 4202560 87129 0 0 0 10108 26 0 0 25 0 4 0 651499088 851193856 149110 33554432000 4194304 4580107 140737218250960 18446744073709551615 4293698 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 408.22
Current children cumulated vsize (KiB) 831244

[startup+162.301 s]

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

[pid=4232] ppid=4230 vsize=1427604 CPUtime=2563.19 cores=1,3,5,7
/proc/4232/stat : 4232 (strangenight2-m) R 4230 4232 4127 0 -1 4202496 1328862 0 0 0 255882 437 0 0 25 0 4 0 651499088 1461866496 270571 33554432000 4194304 4580107 140737218250960 18446744073709551615 4489516 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/4232/statm: 356901 270571 379 95 0 351883 0
[pid=4232/tid=4233] ppid=4230 vsize=1427604 CPUtime=642.27 cores=1,3,5,7
/proc/4232/task/4233/stat : 4233 (strangenight2-m) R 4230 4232 4127 0 -1 4202560 336799 0 0 0 64122 105 0 0 25 0 4 0 651499088 1461866496 270578 33554432000 4194304 4580107 140737218250960 18446744073709551615 4306048 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4232/tid=4234] ppid=4230 vsize=1427604 CPUtime=638.59 cores=1,3,5,7
/proc/4232/task/4234/stat : 4234 (strangenight2-m) R 4230 4232 4127 0 -1 4202560 286721 0 0 0 63760 99 0 0 25 0 4 0 651499088 1461866496 270578 33554432000 4194304 4580107 140737218250960 18446744073709551615 4293204 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4232/tid=4235] ppid=4230 vsize=1427604 CPUtime=640.06 cores=1,3,5,7
/proc/4232/task/4235/stat : 4235 (strangenight2-m) R 4230 4232 4127 0 -1 4202560 353270 0 0 0 63895 111 0 0 25 0 4 0 651499088 1461866496 270578 33554432000 4194304 4580107 140737218250960 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2563.19
Current children cumulated vsize (KiB) 1427604

[startup+702.301 s]
/proc/loadavg: 8.07 8.06 7.42 9/289 4294
/proc/meminfo: memFree=17391788/32951132 swapFree=67093824/67111528
[pid=4232] ppid=4230 vsize=1376984 CPUtime=2802.59 cores=1,3,5,7
/proc/4232/stat : 4232 (strangenight2-m) R 4230 4232 4127 0 -1 4202496 1429131 0 0 0 279788 471 0 0 25 0 4 0 651499088 1410031616 271550 33554432000 4194304 4580107 140737218250960 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/4232/statm: 344246 271550 379 95 0 339228 0
[pid=4232/tid=4233] ppid=4230 vsize=1376984 CPUtime=702.26 cores=1,3,5,7
/proc/4232/task/4233/stat : 4233 (strangenight2-m) R 4230 4232 4127 0 -1 4202560 362020 0 0 0 70113 113 0 0 25 0 4 0 651499088 1410031616 271550 33554432000 4194304 4580107 140737218250960 18446744073709551615 4293691 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4232/tid=4234] ppid=4230 vsize=1376984 CPUtime=698.04 cores=1,3,5,7
/proc/4232/task/4234/stat : 4234 (strangenight2-m) R 4230 4232 4127 0 -1 4202560 311551 0 0 0 69696 108 0 0 25 0 4 0 651499088 1410031616 271550 33554432000 4194304 4580107 140737218250960 18446744073709551615 4318504 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4232/tid=4235] ppid=4230 vsize=1376984 CPUtime=700.03 cores=1,3,5,7
/proc/4232/task/4235/stat : 4235 (strangenight2-m) R 4230 4232 4127 0 -1 4202560 378396 0 0 0 69883 120 0 0 25 0 4 0 651499088 1410031616 271550 33554432000 4194304 4580107 140737218250960 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2802.59
Current children cumulated vsize (KiB) 1376984

[startup+762.311 s]
/proc/loadavg: 8.07 8.06 7.46 9/289 4295
/proc/meminfo: memFree=17318600/32951132 swapFree=67093824/67111528
[pid=4232] ppid=4230 vsize=1378372 CPUtime=3042.07 cores=1,3,5,7
/proc/4232/stat : 4232 (strangenight2-m) R 4230 4232 4127 0 -1 4202496 1523789 0 0 0 303697 510 0 0 25 0 4 0 651499088 1411452928 276849 33554432000 4194304 4580107 140737218250960 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/4232/statm: 344593 276849 379 95 0 339575 0
[pid=4232/tid=4233] ppid=4230 vsize=1378372 CPUtime=762.26 cores=1,3,5,7
/proc/4232/task/4233/stat : 4233 (strangenight2-m) R 4230 4232 4127 0 -1 4202560 385056 0 0 0 76104 122 0 0 25 0 4 0 651499088 1411452928 276849 33554432000 4194304 4580107 140737218250960 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4232/tid=4234] ppid=4230 vsize=1378372 CPUtime=757.5 cores=1,3,5,7
/proc/4232/task/4234/stat : 4234 (strangenight2-m) R 4230 4232 4127 0 -1 4202560 332617 0 0 0 75634 116 0 0 25 0 4 0 651499088 1411452928 276849 33554432000 4194304 4580107 140737218250960 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4232/tid=4235] ppid=4230 vsize=1378372 CPUtime=760.04 cores=1,3,5,7
/proc/4232/task/4235/stat : 4235 (strangenight2-m) R 4230 4232 4127 0 -1 4202560 401695 0 0 0 75874 130 0 0 25 0 4 0 651499088 1411452928 276849 33554432000 4194304 4580107 140737218250960 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3042.07
Current children cumulated vsize (KiB) 1378372

[startup+822.301 s]
/proc/loadavg: 8.12 8.08 7.50 9/289 4297
/proc/meminfo: memFree=17355524/32951132 swapFree=67093824/67111528
[pid=4232] ppid=4230 vsize=1459192 CPUtime=3281.48 cores=1,3,5,7
/proc/4232/stat : 4232 (strangenight2-m) R 4230 4232 4127 0 -1 4202496 1625081 0 0 0 327602 546 0 0 25 0 4 0 651499088 1494212608 278636 33554432000 4194304 4580107 140737218250960 18446744073709551615 4293920 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/4232/statm: 364798 278636 379 95 0 359780 0
[pid=4232/tid=4233] ppid=4230 vsize=1459192 CPUtime=822.25 cores=1,3,5,7
/proc/4232/task/4233/stat : 4233 (strangenight2-m) R 4230 4232 4127 0 -1 4202560 413075 0 0 0 82094 131 0 0 25 0 4 0 651499088 1494212608 278636 33554432000 4194304 4580107 140737218250960 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4232/tid=4234] ppid=4230 vsize=1459192 CPUtime=816.94 cores=1,3,5,7
/proc/4232/task/4234/stat : 4234 (strangenight2-m) R 4230 4232 4127 0 -1 4202560 353341 0 0 0 81571 123 0 0 25 0 4 0 651499088 1494212608 278636 33554432000 4194304 4580107 140737218250960 18446744073709551615 4320876 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4232/tid=4235] ppid=4230 vsize=1459192 CPUtime=820.02 cores=1,3,5,7
/proc/4232/task/4235/stat : 4235 (strangenight2-m) R 4230 4232 4127 0 -1 4202560 429737 0 0 0 81862 140 0 0 25 0 4 0 651499088 1494212608 278636 33554432000 4194304 4580107 140737218250960 18446744073709551615 4302554 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3281.48
Current children cumulated vsize (KiB) 1459192

[startup+882.301 s]
/proc/loadavg: 8.13 8.09 7.54 9/289 4298
/proc/meminfo: memFree=17356736/32951132 swapFree=67093824/67111528
[pid=4232] ppid=4230 vsize=1427684 CPUtime=3520.9 cores=1,3,5,7
/proc/4232/stat : 4232 (strangenight2-m) R 4230 4232 4127 0 -1 4202496 1745491 0 0 0 351504 586 0 0 25 0 4 0 651499088 1461948416 272515 33554432000 4194304 4580107 140737218250960 18446744073709551615 4294487 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/4232/statm: 356921 272515 379 95 0 351903 0
[pid=4232/tid=4233] ppid=4230 vsize=1427684 CPUtime=882.25 cores=1,3,5,7
/proc/4232/task/4233/stat : 4233 (strangenight2-m) R 4230 4232 4127 0 -1 4202560 440746 0 0 0 88083 142 0 0 25 0 4 0 651499088 1461948416 272515 33554432000 4194304 4580107 140737218250960 18446744073709551615 4294555 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4232/tid=4234] ppid=4230 vsize=1427684 CPUtime=876.39 cores=1,3,5,7
/proc/4232/task/4234/stat : 4234 (strangenight2-m) R 4230 4232 4127 0 -1 4202560 390971 0 0 0 87505 134 0 0 25 0 4 0 651499088 1461948416 272515 33554432000 4194304 4580107 140737218250960 18446744073709551615 4293781 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4232/tid=4235] ppid=4230 vsize=1427684 CPUtime=880.02 cores=1,3,5,7
/proc/4232/task/4235/stat : 4235 (strangenight2-m) R 4230 4232 4127 0 -1 4202560 457423 0 0 0 87852 150 0 0 25 0 4 0 651499088 1461948416 272515 33554432000 4194304 4580107 140737218250960 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3520.9
Current children cumulated vsize (KiB) 1427684

[startup+942.3 s]
/proc/loadavg: 8.18 8.11 7.58 9/289 4300
/proc/meminfo: memFree=17144920/32951132 swapFree=67093824/67111528
[pid=4232] ppid=4230 vsize=1315928 CPUtime=3760.34 cores=1,3,5,7
/proc/4232/stat : 4232 (strangenight2-m) R 4230 4232 4127 0 -1 4202496 1853028 0 0 0 375411 623 0 0 25 0 4 0 651499088 1347510272 274414 33554432000 4194304 4580107 140737218250960 18446744073709551615 4318418 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/4232/statm: 328982 274414 379 95 0 323964 0
[pid=4232/tid=4233] ppid=4230 vsize=1315928 CPUtime=942.24 cores=1,3,5,7
/proc/4232/task/4233/stat : 4233 (strangenight2-m) R 4230 4232 4127 0 -1 4202560 467975 0 0 0 94073 151 0 0 25 0 4 0 651499088 1347510272 274414 33554432000 4194304 4580107 140737218250960 18446744073709551615 4293225 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4232/tid=4234] ppid=4230 vsize=1315928 CPUtime=935.85 cores=1,3,5,7
/proc/4232/task/4234/stat : 4234 (strangenight2-m) R 4230 4232 4127 0 -1 4202560 416513 0 0 0 93441 144 0 0 25 0 4 0 651499088 1347510272 274414 33554432000 4194304 4580107 140737218250960 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4232/tid=4235] ppid=4230 vsize=1315928 CPUtime=940.02 cores=1,3,5,7
/proc/4232/task/4235/stat : 4235 (strangenight2-m) R 4230 4232 4127 0 -1 4202560 484892 0 0 0 93843 159 0 0 25 0 4 0 651499088 1347510272 274414 33554432000 4194304 4580107 140737218250960 18446744073709551615 4320813 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3760.34
Current children cumulated vsize (KiB) 1315928

[startup+1002.3 s]
/proc/loadavg: 8.35 8.17 7.63 9/289 4305
/proc/meminfo: memFree=16802756/32951132 swapFree=67093824/67111528
[pid=4232] ppid=4230 vsize=1562180 CPUtime=3999.37 cores=1,3,5,7
/proc/4232/stat : 4232 (strangenight2-m) R 4230 4232 4127 0 -1 4202496 1999961 0 0 0 399268 669 0 0 25 0 4 0 651499088 1599672320 344493 33554432000 4194304 4580107 140737218250960 18446744073709551615 4451900 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/4232/statm: 390545 344493 379 95 0 385527 0
[pid=4232/tid=4233] ppid=4230 vsize=1562180 CPUtime=1002.24 cores=1,3,5,7
/proc/4232/task/4233/stat : 4233 (strangenight2-m) R 4230 4232 4127 0 -1 4202560 493693 0 0 0 100063 161 0 0 25 0 4 0 651499088 1599672320 344493 33554432000 4194304 4580107 140737218250960 18446744073709551615 4318673 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4232/tid=4234] ppid=4230 vsize=1562180 CPUtime=995.3 cores=1,3,5,7
/proc/4232/task/4234/stat : 4234 (strangenight2-m) R 4230 4232 4127 0 -1 4202560 443673 0 0 0 99376 154 0 0 25 0 4 0 651499088 1599672320 344493 33554432000 4194304 4580107 140737218250960 18446744073709551615 4293179 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4232/tid=4235] ppid=4230 vsize=1562180 CPUtime=1000.01 cores=1,3,5,7
/proc/4232/task/4235/stat : 4235 (strangenight2-m) R 4230 4232 4127 0 -1 4202560 532972 0 0 0 99830 171 0 0 25 0 4 0 651499088 1599672320 344493 33554432000 4194304 4580107 140737218250960 18446744073709551615 4451900 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3999.37
Current children cumulated vsize (KiB) 1562180

[startup+1062.3 s]
/proc/loadavg: 8.13 8.13 7.65 9/289 4306
/proc/meminfo: memFree=16831040/32951132 swapFree=67093824/67111528
[pid=4232] ppid=4230 vsize=1695368 CPUtime=4238.81 cores=1,3,5,7
/proc/4232/stat : 4232 (strangenight2-m) R 4230 4232 4127 0 -1 4202496 2127392 0 0 0 423170 711 0 0 25 0 4 0 651499088 1736056832 343453 33554432000 4194304 4580107 140737218250960 18446744073709551615 4305975 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/4232/statm: 423842 343453 379 95 0 418824 0
[pid=4232/tid=4233] ppid=4230 vsize=1695368 CPUtime=1062.23 cores=1,3,5,7
/proc/4232/task/4233/stat : 4233 (strangenight2-m) R 4230 4232 4127 0 -1 4202560 545554 0 0 0 106048 175 0 0 25 0 4 0 651499088 1736056832 343453 33554432000 4194304 4580107 140737218250960 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4232/tid=4234] ppid=4230 vsize=1695368 CPUtime=1054.75 cores=1,3,5,7
/proc/4232/task/4234/stat : 4234 (strangenight2-m) R 4230 4232 4127 0 -1 4202560 469989 0 0 0 105311 164 0 0 25 0 4 0 651499088 1736056832 343453 33554432000 4194304 4580107 140737218250960 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4232/tid=4235] ppid=4230 vsize=1695368 CPUtime=1060 cores=1,3,5,7
/proc/4232/task/4235/stat : 4235 (strangenight2-m) R 4230 4232 4127 0 -1 4202560 558105 0 0 0 105820 180 0 0 25 0 4 0 651499088 1736056832 343453 33554432000 4194304 4580107 140737218250960 18446744073709551615 4318986 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4238.81
Current children cumulated vsize (KiB) 1695368

[startup+1122.3 s]
/proc/loadavg: 8.04 8.11 7.67 9/289 4308
/proc/meminfo: memFree=16673540/32951132 swapFree=67093824/67111528
[pid=4232] ppid=4230 vsize=1696068 CPUtime=4478.24 cores=1,3,5,7
/proc/4232/stat : 4232 (strangenight2-m) R 4230 4232 4127 0 -1 4202496 2227489 0 0 0 447079 745 0 0 25 0 4 0 651499088 1736773632 379331 33554432000 4194304 4580107 140737218250960 18446744073709551615 4301856 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/4232/statm: 424017 379332 379 95 0 418999 0
[pid=4232/tid=4233] ppid=4230 vsize=1696068 CPUtime=1122.22 cores=1,3,5,7
/proc/4232/task/4233/stat : 4233 (strangenight2-m) R 4230 4232 4127 0 -1 4202560 571148 0 0 0 112039 183 0 0 25 0 4 0 651499088 1736773632 379332 33554432000 4194304 4580107 140737218250960 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4232/tid=4234] ppid=4230 vsize=1696068 CPUtime=1114.2 cores=1,3,5,7
/proc/4232/task/4234/stat : 4234 (strangenight2-m) R 4230 4232 4127 0 -1 4202560 493688 0 0 0 111248 172 0 0 25 0 4 0 651499088 1736773632 379332 33554432000 4194304 4580107 140737218250960 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4232/tid=4235] ppid=4230 vsize=1696068 CPUtime=1120 cores=1,3,5,7
/proc/4232/task/4235/stat : 4235 (strangenight2-m) R 4230 4232 4127 0 -1 4202560 583467 0 0 0 111812 188 0 0 25 0 4 0 651499088 1736773632 379332 33554432000 4194304 4580107 140737218250960 18446744073709551615 4294367 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4478.24
Current children cumulated vsize (KiB) 1696068

[startup+1182.3 s]
/proc/loadavg: 8.06 8.10 7.69 9/289 4309
/proc/meminfo: memFree=16654288/32951132 swapFree=67093824/67111528
[pid=4232] ppid=4230 vsize=1697648 CPUtime=4717.69 cores=1,3,5,7
/proc/4232/stat : 4232 (strangenight2-m) R 4230 4232 4127 0 -1 4202496 2335630 0 0 0 470985 784 0 0 25 0 4 0 651499088 1738391552 356278 33554432000 4194304 4580107 140737218250960 18446744073709551615 4294507 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/4232/statm: 424412 356278 379 95 0 419394 0
[pid=4232/tid=4233] ppid=4230 vsize=1697648 CPUtime=1182.22 cores=1,3,5,7
/proc/4232/task/4233/stat : 4233 (strangenight2-m) R 4230 4232 4127 0 -1 4202560 598028 0 0 0 118028 194 0 0 25 0 4 0 651499088 1738391552 356278 33554432000 4194304 4580107 140737218250960 18446744073709551615 4294468 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4232/tid=4234] ppid=4230 vsize=1697648 CPUtime=1173.67 cores=1,3,5,7
/proc/4232/task/4234/stat : 4234 (strangenight2-m) R 4230 4232 4127 0 -1 4202560 520415 0 0 0 117185 182 0 0 25 0 4 0 651499088 1738391552 356278 33554432000 4194304 4580107 140737218250960 18446744073709551615 4293125 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4232/tid=4235] ppid=4230 vsize=1697648 CPUtime=1180 cores=1,3,5,7
/proc/4232/task/4235/stat : 4235 (strangenight2-m) R 4230 4232 4127 0 -1 4202560 610824 0 0 0 117802 198 0 0 25 0 4 0 651499088 1738391552 356278 33554432000 4194304 4580107 140737218250960 18446744073709551615 4294436 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4717.69
Current children cumulated vsize (KiB) 1697648



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203 s]
/proc/loadavg: 8.11 8.11 7.70 9/289 4310
/proc/meminfo: memFree=16641880/32951132 swapFree=67093824/67111528
[pid=4232] ppid=4230 vsize=1640036 CPUtime=4800.3 cores=1,3,5,7
/proc/4232/stat : 4232 (strangenight2-m) R 4230 4232 4127 0 -1 4202496 2367868 0 0 0 479232 798 0 0 25 0 4 0 651499088 1679396864 371679 33554432000 4194304 4580107 140737218250960 18446744073709551615 4293680 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/4232/statm: 410009 371679 379 95 0 404991 0
[pid=4232/tid=4233] ppid=4230 vsize=1640036 CPUtime=1202.93 cores=1,3,5,7
/proc/4232/task/4233/stat : 4233 (strangenight2-m) R 4230 4232 4127 0 -1 4202560 605934 0 0 0 120096 197 0 0 25 0 4 0 651499088 1679396864 371686 33554432000 4194304 4580107 140737218250960 18446744073709551615 4293682 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4232/tid=4234] ppid=4230 vsize=1640036 CPUtime=1194.17 cores=1,3,5,7
/proc/4232/task/4234/stat : 4234 (strangenight2-m) R 4230 4232 4127 0 -1 4202560 528099 0 0 0 119232 185 0 0 25 0 4 0 651499088 1679396864 371686 33554432000 4194304 4580107 140737218250960 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4232/tid=4235] ppid=4230 vsize=1640036 CPUtime=1200.71 cores=1,3,5,7
/proc/4232/task/4235/stat : 4235 (strangenight2-m) R 4230 4232 4127 0 -1 4202560 619862 0 0 0 119869 202 0 0 25 0 4 0 651499088 1679396864 371686 33554432000 4194304 4580107 140737218250960 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.3
Current children cumulated vsize (KiB) 1640036

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): 1203.08
CPU time (s): 4800.41
CPU user time (s): 4792.36
CPU system time (s): 8.04978
CPU usage (%): 399.01
Max. virtual memory (cumulated for all children) (KiB): 1697648

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4792.36
system time used= 8.04978
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2367884
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= 2380
involuntary context switches= 22456

runsolver used 3.07653 second user time and 7.8928 second system time

The end

Launcher Data 

Begin job on node131 at 2011-05-14 20:49:54
IDJOB=3366214
IDBENCH=82623
IDSOLVER=1844
FILE ID=node131/3366214-1305398994
RUNJOBID= node131-1305397789-4146
PBS_JOBID= 13324467
Free space on /tmp= 73680 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
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-3366214-1305398994/watcher-3366214-1305398994 -o /tmp/evaluation-result-3366214-1305398994/solver-3366214-1305398994 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3366214-1305398994.cnf

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

MD5SUM BENCH= c8a628789219fd1293880c95bfb25038
RANDOM SEED=1046844500

node131.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.830
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.66
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.830
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.830
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.830
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.830
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.77
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.830
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.830
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.830
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:     32951132 kB
MemFree:      19073824 kB
Buffers:        268324 kB
Cached:        3632152 kB
SwapCached:       1504 kB
Active:       10557984 kB
Inactive:      3062492 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      19073824 kB
SwapTotal:    67111528 kB
SwapFree:     67093824 kB
Dirty:            7024 kB
Writeback:           0 kB
AnonPages:     9718208 kB
Mapped:          26932 kB
Slab:           163648 kB
PageTables:      31044 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS: 28027244 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73676 MiB
End job on node131 at 2011-05-14 21:10:00