Trace number 3175047

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-1-mt? (TO) 4800.34 1201.73

General information on the benchmark

Namerandom/large/
unif-k7-r85-v150-c12750-S1737989193-079-UNKNOWN.cnf
MD5SUMa959d408d44dc22efc55e46b642f9083
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark5.30119
Satisfiable
(Un)Satisfiability was proved
Number of variables150
Number of clauses12750
Sum of the clauses size89250
Maximum clause length7
Minimum clause length7
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 512750

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 2.9.0
0.00/0.01	c compiled with gcc version 4.4.5
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3175047-1307653230.cnf'
0.00/0.01	c -- header says num vars:            150
0.00/0.01	c -- header says num clauses:       12750
0.00/0.02	c -- clauses added:            0 learnts,        12750 normals,            0 xors
0.00/0.02	c -- vars added        150
0.00/0.02	c Parsing time:  0.02 s
0.00/0.02	c  N st     0         0       150     12750         0         0     89250         0   no data   no data  --
1.01/0.32	c asymm  cl-useful: 0/12750/12750 lits-rem:0 time: 1.19
1.01/0.32	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
1.25/0.32	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1.25/0.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1.25/0.32	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
1.25/0.32	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1.25/0.42	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.22 s
1.25/0.42	c Finding binary XORs  T:     0.00 s  found:       0
1.25/0.42	c Finding non-binary XORs:     0.02 s (found:       0, avg size: nan)
1.25/0.42	c calculated reachability. Time: 0.00
1.25/0.42	c Calc default polars -  time:   0.00 s pos:      73 undec:       3 neg:      74
1.25/0.42	c =========================================================================================
1.25/0.42	c types(t): F = full restart, N = normal restart
1.25/0.42	c types(t): S = simplification begin/end, E = solution found
1.25/0.42	c restart types(rt): st = static, dy = dynamic
1.25/0.42	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
1.25/0.42	c  B st     0         0       150     12750         0         0     89250         0   no data   no data  --
2.21/0.59	c  N dy    10      4498       150     12750         0      4317     89250    196660     38.65     40.92  --
2.77/0.76	c  N dy    17      8768       150     12750         0      6017     89250    240775     38.22     40.37  --
3.58/0.98	c  N dy    42     12979       150     12750         0      5989     89250    206296     39.00     41.38  --
4.77/1.22	c  N dy    54     17398       150     12750         0     10223     89250    395077     38.89     41.05  --
5.57/1.44	c  N dy    69     21495       150     12750         0      8768     89250    295526     39.04     41.76  --
6.37/1.64	c  F st    76     25000       150     12750         0     12131     89250    445791     38.96     36.64  --
6.37/1.68	c  N st    78     25626       150     12750         0     12732     89250    473515     38.96   no data  --
7.57/1.92	c  N dy    82     30000       150     12750         0     10382     89250    338975     38.96   no data  --
7.57/1.92	c  S st    82     30000       150     12750         0     10382     89250    338975     38.96   no data  --
7.57/1.96	c  S st    82     30503       150     12750         0     10866     89250    360385     38.96   no data  --
7.57/1.97	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
7.57/1.97	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
7.57/1.97	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
7.57/1.98	c bin-w-bin subsume rem            0 bins  time:  0.00 s
7.57/1.98	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
7.57/1.98	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
7.57/1.98	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
15.96/4.08	c lits-rem:      2103  cl-subs:      504  v-elim:      0  v-fix:    0  time:  8.35 s
17.95/4.54	c asymm  cl-useful: 0/10954/12750 lits-rem:0 time: 1.83
17.95/4.54	c calculated reachability. Time: 0.00
17.95/4.54	c  N dy    82     30503       150     12750         0     10362     89250    329699     38.96   no data  --
20.35/5.14	c  N dy    94     39973       150     12750         0     11852     89250    368416     38.65     40.86  --
21.56/5.43	c  N dy   110     44092       150     12750         0     15803     89250    546206     38.73     41.26  --
21.97/5.56	c  S st   113     45754       150     12750         0      8819     89250    200068     38.70     39.01  --
22.35/5.60	c  S st   113     46259       150     12750         0      9318     89250    222072     38.70   no data  --
22.35/5.60	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
22.35/5.60	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
22.35/5.61	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
22.35/5.61	c bin-w-bin subsume rem            0 bins  time:  0.00 s
22.35/5.61	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
22.35/5.61	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
22.35/5.61	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
28.34/7.11	c lits-rem:       326  cl-subs:       45  v-elim:      0  v-fix:    0  time:  5.98 s
28.34/7.11	c vivif2 --  cl tried    12750 cl shrink        0 lits rem          0 time: 0.00
28.34/7.12	c vivif2 --  cl tried     9273 cl shrink        0 lits rem          0 time: 0.01
28.34/7.19	c asymm  cl-useful: 0/1796/12750 lits-rem:0 time: 0.29
28.34/7.19	c calculated reachability. Time: 0.00
28.34/7.19	c  N dy   113     46259       150     12750         0      9273     89250    219181     38.70   no data  --
29.53/7.44	c  N dy   134     50301       150     12750         0     13148     89250    393381     38.82     41.26  --
31.13/7.83	c  N dy   141     55830       150     12750         0     18426     89250    630436     38.75     41.00  --
32.73/8.24	c  N dy   146     62192       150     12750         0     14976     89250    445319     38.65     40.70  --
33.93/8.56	c  N dy   169     66347       150     12750         0     18976     89250    624399     38.73     40.92  --
35.15/8.80	c  S st   178     69389       150     12750         0     11363     89250    250369     38.73     38.92  --
35.15/8.85	c  S st   178     69892       150     12750         0     11856     89250    271679     38.73   no data  --
35.15/8.85	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
35.15/8.85	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
35.15/8.85	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.03
35.15/8.86	c bin-w-bin subsume rem            0 bins  time:  0.00 s
35.15/8.86	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
35.15/8.86	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
35.15/8.86	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
42.72/10.72	c lits-rem:       451  cl-subs:       98  v-elim:      0  v-fix:    0  time:  7.42 s
42.72/10.72	c vivif2 --  cl tried    12750 cl shrink        0 lits rem          0 time: 0.00
42.72/10.73	c vivif2 --  cl tried    11758 cl shrink        0 lits rem          0 time: 0.01
44.32/11.18	c asymm  cl-useful: 0/10095/12750 lits-rem:0 time: 1.82
44.32/11.18	c calculated reachability. Time: 0.00
44.32/11.18	c  N dy   178     69892       150     12750         0     11758     89250    265650     38.73   no data  --
45.91/11.53	c  N dy   182     74784       150     12750         0     16416     89250    472934     38.68     40.79  --
47.52/11.90	c  N dy   190     79583       150     12750         0     21042     89250    679611     38.67     41.97  --
49.51/12.42	c  N dy   198     85944       150     12750         0     15621     89250    406549     38.60     40.63  --
49.91/12.55	c  F st   206     87500       150     12750         0     17118     89250    472559     38.61   no data  --
51.51/12.97	c  N dy   212     92695       150     12750         0     22100     89250    699761     38.61   no data  --
54.30/13.63	c  N dy   224    101157       150     12750         0     17753     89250    473083     38.55     40.66  --
55.50/13.94	c  S st   238    104838       150     12750         0     21287     89250    631113     38.58     35.96  --
55.90/14.01	c  S st   238    105342       150     12750         0     21779     89250    651663     38.58   no data  --
55.90/14.01	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
55.90/14.01	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
55.90/14.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.05
55.90/14.04	c bin-w-bin subsume rem            0 bins  time:  0.00 s
55.90/14.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
55.90/14.04	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
55.90/14.04	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
67.49/16.94	c lits-rem:      1355  cl-subs:      999  v-elim:      0  v-fix:    0  time: 11.55 s
67.49/16.94	c vivif2 --  cl tried    12750 cl shrink        0 lits rem          0 time: 0.01
67.49/16.94	c vivif2 --  cl tried    20780 cl shrink        0 lits rem          0 time: 0.02
68.28/17.15	c asymm  cl-useful: 0/2655/12750 lits-rem:0 time: 0.83
68.28/17.15	c calculated reachability. Time: 0.00
68.28/17.15	c  N dy   238    105342       150     12750         0     20780     89250    597355     38.58   no data  --
71.88/18.09	c  N dy   245    117353       150     12750         0     18826     89250    489944     38.39     40.53  --
75.47/18.99	c  N dy   267    127339       150     12750         0     28389     89250    913627     38.38     41.03  --
78.27/19.68	c  N dy   302    135466       150     12750         0     21861     89250    592929     38.42     42.67  --
81.46/20.48	c  N dy   333    144270       150     12750         0     30288     89250    970333     38.46     40.66  --
85.05/21.33	c  N dy   388    154404       150     12750         0     24729     89250    692660     38.55     40.90  --
86.26/21.67	c  S st   403    158015       150     12750         0     28202     89250    847112     38.57   no data  --
86.66/21.75	c  S st   403    158519       150     12750         0     28692     89250    868219     38.57   no data  --
86.66/21.75	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
86.66/21.75	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
86.66/21.76	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.05
86.66/21.79	c bin-w-bin subsume rem            0 bins  time:  0.00 s
86.66/21.79	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
86.66/21.79	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
86.66/21.79	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
109.45/27.41	c lits-rem:      1823  cl-subs:     1219  v-elim:      0  v-fix:    0  time: 22.41 s
109.45/27.41	c vivif2 --  cl tried    12750 cl shrink        0 lits rem          0 time: 0.00
109.45/27.42	c vivif2 --  cl tried    27473 cl shrink        0 lits rem          0 time: 0.04
110.23/27.69	c asymm  cl-useful: 0/3172/12750 lits-rem:0 time: 1.08
110.23/27.69	c calculated reachability. Time: 0.00
110.23/27.69	c  N dy   403    158519       150     12750         0     27473     89250    798424     38.57   no data  --
114.62/28.70	c  N dy   439    169162       150     12750         0     21402     89250    504992     38.60     40.86  --
119.41/29.98	c  N dy   466    181911       150     12750         0     33603     89250   1045101     38.57     40.60  --
124.19/31.12	c  N dy   503    193595       150     12750         0     27544     89250    746276     38.58     40.73  --
129.39/32.47	c  N dy   535    206193       150     12750         0     21385     89250    442064     38.58     40.69  --
135.38/33.99	c  N dy   584    219652       150     12750         0     34282     89250   1019334     38.62     40.70  --
142.17/35.63	c  N dy   635    233747       150     12750         0     28634     89250    729140     38.64     44.20  --
144.17/36.13	c  S st   654    237778       150     12750         0     32506     89250    902285     38.65   no data  --
144.58/36.23	c  S st   654    238286       150     12750         0     32997     89250    923991     38.65   no data  --
144.58/36.23	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
144.58/36.23	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
144.58/36.25	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.08
144.58/36.28	c bin-w-bin subsume rem            0 bins  time:  0.00 s
144.58/36.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
144.58/36.28	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
144.58/36.28	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
161.74/40.60	c lits-rem:      1075  cl-subs:     1373  v-elim:      0  v-fix:    0  time: 17.25 s
161.74/40.60	c vivif2 --  cl tried    12750 cl shrink        0 lits rem          0 time: 0.00
162.17/40.61	c vivif2 --  cl tried    31624 cl shrink        0 lits rem          0 time: 0.03
162.95/40.84	c asymm  cl-useful: 0/2536/12750 lits-rem:0 time: 0.95
162.95/40.85	c calculated reachability. Time: 0.00
162.95/40.85	c  N dy   654    238286       150     12750         0     31624     89250    848513     38.65   no data  --
169.33/42.47	c  N dy   705    253851       150     12750         0     26492     89250    604333     38.65     40.76  --
176.93/44.30	c  N dy   772    270122       150     12750         0     42098     89250   1305469     38.70     40.95  --
184.13/46.19	c  N dy   832    288458       150     12750         0     38609     89250   1107217     38.72     41.11  --
192.10/48.16	c  F st   900    306250       150     12750         0     33614     89250    855800     38.75   no data  --
192.51/48.23	c  N st   902    306876       150     12750         0     34220     89250    882831     38.75   no data  --
201.71/50.55	c  N dy   966    327477       150     12750         0     30929     89250    702626     38.76     40.97  --
212.08/53.12	c  N dy  1031    348459       150     12750         0     27052     89250    496123     38.77     40.81  --
216.07/54.11	c  S st  1067    357430       150     12750         0     35687     89250    882672     38.77     36.60  --
216.47/54.22	c  S st  1067    357932       150     12750         0     36180     89250    904300     38.77   no data  --
216.47/54.22	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
216.47/54.22	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
216.47/54.24	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.08
216.47/54.27	c bin-w-bin subsume rem            0 bins  time:  0.00 s
216.47/54.27	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
216.47/54.27	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
216.47/54.27	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
243.23/60.97	c lits-rem:      2910  cl-subs:     1338  v-elim:      0  v-fix:    0  time: 26.73 s
243.23/60.97	c vivif2 --  cl tried    12750 cl shrink        0 lits rem          0 time: 0.00
243.23/60.98	c vivif2 --  cl tried    34842 cl shrink        0 lits rem          0 time: 0.04
244.43/61.23	c asymm  cl-useful: 0/2211/12750 lits-rem:0 time: 1.01
244.43/61.23	c calculated reachability. Time: 0.00
244.43/61.23	c  N dy  1067    357932       150     12750         0     34842     89250    829682     38.77   no data  --
254.03/63.61	c  N dy  1099    378747       150     12750         0     29875     89250    590335     38.74     40.85  --
263.62/66.06	c  N dy  1174    398830       150     12750         0     49106     89250   1451362     38.75     40.97  --
273.19/68.42	c  N dy  1223    418894       150     12750         0     42459     89250   1114447     38.74     40.88  --
283.18/70.99	c  N dy  1296    438987       150     12750         0     34885     89250    748353     38.76     41.10  --
297.96/74.62	c  N dy  1338    467843       150     12750         0     34673     89250    708153     38.69     40.91  --
309.54/77.59	c  N dy  1388    489541       150     12750         0     55434     89250   1633395     38.68     40.79  --
319.94/80.17	c  N dy  1440    509573       150     12750         0     45934     89250   1174396     38.68     40.85  --
331.91/83.12	c  N dy  1518    529682       150     12750         0     35548     89250    677168     38.69     41.30  --
335.51/84.01	c  S st  1529    536898       150     12750         0     42446     89250    980490     38.68     38.46  --
335.91/84.13	c  S st  1529    537400       150     12750         0     42933     89250   1001763     38.68   no data  --
335.91/84.13	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
335.91/84.13	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
335.91/84.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.08
335.91/84.18	c bin-w-bin subsume rem            0 bins  time:  0.00 s
335.91/84.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
335.91/84.18	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
335.91/84.18	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
357.08/89.46	c lits-rem:      1041  cl-subs:     1491  v-elim:      0  v-fix:    0  time: 21.06 s
357.08/89.46	c vivif2 --  cl tried    12750 cl shrink        0 lits rem          0 time: 0.01
357.08/89.47	c vivif2 --  cl tried    41442 cl shrink        0 lits rem          0 time: 0.04
358.28/89.74	c asymm  cl-useful: 0/1846/12750 lits-rem:0 time: 1.10
358.28/89.74	c calculated reachability. Time: 0.00
358.28/89.74	c  N dy  1529    537400       150     12750         0     41442     89250    922780     38.68   no data  --
370.26/92.77	c  N dy  1591    557459       150     12750         0     60764     89250   1785653     38.68     42.46  --
381.45/95.58	c  N dy  1677    577546       150     12750         0     49345     89250   1262839     38.71     40.77  --
395.04/98.91	c  N dy  1705    598699       150     12750         0     37963     89250    714499     38.68     40.73  --
407.41/102.08	c  N dy  1733    618789       150     12750         0     57075     89250   1562969     38.64     40.83  --
419.40/105.00	c  N dy  1765    638894       150     12750         0     43821     89250    946287     38.62     41.53  --
433.77/108.68	c  N dy  1810    661359       150     12750         0     65320     89250   1903243     38.61     40.73  --
445.76/111.69	c  N dy  1838    681399       150     12750         0     50944     89250   1231162     38.58     41.93  --
463.34/116.04	c  N dy  1897    701470       150     12750         0     35749     89250    527697     38.58     42.49  --
475.31/119.09	c  N dy  1929    721519       150     12750         0     54947     89250   1383524     38.57     40.63  --
490.10/122.72	c  N dy  1997    741527       150     12750         0     38739     89250    625954     38.58     40.70  --
502.48/125.80	c  N dy  2071    761613       150     12750         0     57993     89250   1484305     38.58     40.63  --
516.46/129.35	c  N dy  2131    781656       150     12750         0     40804     89250    682258     38.58     40.99  --
528.45/132.34	c  N dy  2194    801709       150     12750         0     60093     89250   1540850     38.58     40.70  --
531.66/133.19	c  S st  2209    806102       150     12750         0     64298     89250   1729498     38.59   no data  --
532.44/133.39	c  S st  2209    806612       150     12750         0     64794     89250   1751338     38.59   no data  --
532.84/133.40	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
532.84/133.40	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
532.84/133.44	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.18
533.24/133.50	c bin-w-bin subsume rem            0 bins  time:  0.00 s
533.24/133.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
533.24/133.50	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
533.24/133.50	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
632.33/158.35	c lits-rem:      2778  cl-subs:     2820  v-elim:      0  v-fix:    0  time: 99.16 s
632.33/158.35	c vivif2 --  cl tried    12750 cl shrink        0 lits rem          0 time: 0.00
632.33/158.37	c vivif2 --  cl tried    61974 cl shrink        0 lits rem          0 time: 0.08
633.51/158.69	c asymm  cl-useful: 0/1310/12750 lits-rem:0 time: 1.29
633.51/158.69	c calculated reachability. Time: 0.00
633.51/158.69	c  N dy  2209    806612       150     12750         0     61974     89250   1594731     38.59   no data  --
648.68/162.44	c  N dy  2250    830174       150     12750         0     47146     89250    930162     38.56     41.05  --
663.49/166.17	c  N dy  2354    850274       150     12750         0     66456     89250   1796956     38.59     42.78  --
677.84/169.76	c  N dy  2417    870899       150     12750         0     47892     89250    928502     38.59     40.76  --
693.42/173.62	c  N dy  2500    892669       150     12750         0     68727     89250   1858109     38.60     41.17  --
708.20/177.37	c  N dy  2569    913585       150     12750         0     49543     89250    972673     38.60     40.76  --
722.18/180.89	c  N dy  2631    934186       150     12750         0     69259     89250   1856449     38.60     40.66  --
764.54/191.45	c  N dy  2685    990203       150     12750         0     41354     89250    549418     38.50     40.75  --
782.50/195.94	c  N dy  2718   1018448       150     12750         0     68265     89250   1745414     38.47     40.55  --
799.70/200.26	c  N dy  2789   1038767       150     12750         0     45718     89250    713790     38.48     40.65  --
814.85/204.01	c  N dy  2820   1059283       150     12750         0     65359     89250   1584975     38.46     40.53  --
828.04/207.32	c  F st  2880   1071875       150     12750         0     77443     89250   2125183     38.47     36.03  --
836.03/209.32	c  N dy  2894   1079378       150     12750         0     84619     89250   2449543     38.47     44.21  --
850.81/213.01	c  N dy  2954   1099464       150     12750         0     60806     89250   1344792     38.47     41.20  --
869.18/217.61	c  N dy  2994   1120550       150     12750         0     80974     89250   2239476     38.46     40.99  --
888.76/222.58	c  N dy  3057   1142232       150     12750         0     57732     89250   1172895     38.46     40.51  --
908.73/227.52	c  N dy  3161   1162321       150     12750         0     76976     89250   2036186     38.49     40.90  --
931.51/233.21	c  N dy  3199   1189368       150     12750         0     57808     89250   1153108     38.46     40.57  --
949.09/237.63	c  N dy  3272   1209393       150     12750         0     76981     89250   2008783     38.46     40.66  --
949.47/237.79	c  S st  3277   1209919       150     12750         0     77491     89250   2031564     38.46   no data  --
950.67/238.00	c  S st  3277   1210422       150     12750         0     77979     89250   2052832     38.46   no data  --
950.67/238.01	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
950.67/238.01	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
950.67/238.06	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.19
951.07/238.12	c bin-w-bin subsume rem            0 bins  time:  0.00 s
951.07/238.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
951.07/238.12	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
951.07/238.12	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1102.48/276.03	c lits-rem:      2301  cl-subs:     4010  v-elim:      0  v-fix:    0  time: 151.36 s
1102.48/276.04	c vivif2 --  cl tried    12750 cl shrink        0 lits rem          0 time: 0.00
1102.48/276.06	c vivif2 --  cl tried    73969 cl shrink        0 lits rem          0 time: 0.09
1104.46/276.50	c asymm  cl-useful: 0/1154/12750 lits-rem:0 time: 1.75
1104.46/276.50	c calculated reachability. Time: 0.00
1104.46/276.50	c  N dy  3277   1210422       150     12750         0     73969     89250   1848058     38.46   no data  --
1129.62/282.83	c  N dy  3367   1231644       150     12750         0     48496     89250    694448     38.47     40.70  --
1147.20/287.28	c  N dy  3444   1252453       150     12750         0     68435     89250   1588464     38.48     40.78  --
1170.37/293.08	c  N dy  3495   1274042       150     12750         0     89109     89250   2509027     38.48     40.54  --
1190.36/298.06	c  N dy  3577   1294056       150     12750         0     61446     89250   1236738     38.49     40.53  --
1211.91/303.43	c  N dy  3657   1314085       150     12750         0     80681     89250   2094313     38.50     41.10  --
1237.08/309.70	c  N dy  3736   1335740       150     12750         0     53488     89250    848297     38.50     40.68  --
1257.06/314.71	c  N dy  3828   1357088       150     12750         0     73927     89250   1760322     38.51     40.56  --
1283.04/321.27	c  N dy  3914   1378003       150     12750         0     93960     89250   2654370     38.52     40.80  --
1302.59/326.16	c  N dy  3975   1398231       150     12750         0     64474     89250   1303176     38.53     40.66  --
1326.16/332.00	c  N dy  4071   1418313       150     12750         0     83737     89250   2162890     38.54     44.16  --
1351.73/338.45	c  N dy  4143   1438344       150     12750         0     53114     89250    762595     38.54     40.95  --
1372.09/343.51	c  N dy  4224   1459801       150     12750         0     73692     89250   1681403     38.55     40.65  --
1398.06/350.01	c  N dy  4313   1479943       150     12750         0     93017     89250   2545255     38.56     40.74  --
1420.83/355.77	c  N dy  4356   1501361       150     12750         0     62690     89250   1149795     38.55     40.70  --
1441.23/360.84	c  N dy  4407   1521432       150     12750         0     81913     89250   2009757     38.55     41.09  --
1469.56/367.90	c  N dy  4466   1542657       150     12750         0    102234     89250   2915445     38.55     40.77  --
1490.33/373.11	c  N dy  4527   1562731       150     12750         0     69752     89250   1438473     38.55     41.37  --
1516.30/379.62	c  N dy  4620   1582989       150     12750         0     89164     89250   2307945     38.56     40.74  --
1544.26/386.65	c  N dy  4709   1604696       150     12750         0     57288     89250    848011     38.57     40.62  --
1563.04/391.36	c  N dy  4781   1625215       150     12750         0     76971     89250   1729173     38.57     40.71  --
1589.01/397.89	c  N dy  4864   1647684       150     12750         0     98508     89250   2689207     38.58     40.90  --
1611.38/403.44	c  N dy  4936   1667778       150     12750         0     64089     89250   1119627     38.58     40.90  --
1633.75/409.05	c  N dy  5031   1689575       150     12750         0     85014     89250   2059586     38.59     41.06  --
1659.71/415.58	c  N dy  5110   1709638       150     12750         0    104230     89250   2918455     38.60     42.53  --
1661.30/415.91	c  S st  5117   1710422       150     12750         0    104984     89250   2952880     38.60   no data  --
1662.50/416.23	c  S st  5117   1710924       150     12750         0    105472     89250   2974464     38.60   no data  --
1662.50/416.24	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
1662.50/416.24	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1662.90/416.30	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.26
1662.90/416.39	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1662.90/416.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1662.90/416.39	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
1662.90/416.39	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2869.29/718.34	c lits-rem:      4325  cl-subs:     5276  v-elim:      0  v-fix:    0  time: 1205.34 s
2869.29/718.34	c vivif2 --  cl tried    12750 cl shrink        0 lits rem          0 time: 0.00
2869.29/718.37	c vivif2 --  cl tried   100196 cl shrink        0 lits rem          0 time: 0.13
2870.47/718.63	c asymm  cl-useful: 0/521/12750 lits-rem:0 time: 1.04
2870.47/718.63	c calculated reachability. Time: 0.00
2870.47/718.63	c  N dy  5117   1710924       150     12750         0    100196     89250   2684161     38.60   no data  --
2901.63/726.42	c  N dy  5187   1742313       150     12750         0     75620     89250   1603605     38.59     40.66  --
2924.00/732.01	c  N dy  5242   1762450       150     12750         0     94885     89250   2462887     38.59     40.70  --
2952.78/739.21	c  N dy  5298   1784756       150     12750         0     60811     89250    905952     38.59     41.16  --
2973.13/744.30	c  N dy  5370   1804852       150     12750         0     80036     89250   1761720     38.59     40.80  --
2998.70/750.74	c  N dy  5444   1824859       150     12750         0     99183     89250   2616712     38.60     40.73  --
3027.48/757.98	c  N dy  5540   1844929       150     12750         0     62005     89250    923264     38.61     40.81  --
3049.45/763.40	c  N dy  5622   1864941       150     12750         0     81244     89250   1784234     38.62     40.78  --
3075.41/769.93	c  N dy  5698   1885040       150     12750         0    100537     89250   2649354     38.62     40.72  --
3101.36/776.44	c  N dy  5733   1906209       150     12750         0     63216     89250    937153     38.61     40.73  --
3120.92/781.30	c  N dy  5772   1927868       150     12750         0     83916     89250   1861607     38.60     40.73  --
3144.50/787.29	c  N dy  5826   1947889       150     12750         0    103086     89250   2715770     38.60     42.27  --
3172.48/794.22	c  N dy  5899   1968020       150     12750         0     63984     89250    943357     38.61     40.65  --
3194.05/799.62	c  N dy  6006   1988031       150     12750         0     83144     89250   1806233     38.62     41.36  --
3220.42/806.29	c  N dy  6091   2008854       150     12750         0    103113     89250   2699880     38.63     41.07  --
3249.95/813.60	c  N dy  6180   2028902       150     12750         0     62943     89250    859888     38.63     40.80  --
3269.93/818.62	c  N dy  6260   2049101       150     12750         0     82254     89250   1724784     38.64     41.21  --
3296.29/825.27	c  N dy  6336   2070137       150     12750         0    102409     89250   2626456     38.64     41.05  --
3326.27/832.72	c  N dy  6399   2090502       150     12750         0     61590     89250    767336     38.65     40.71  --
3345.83/837.62	c  N dy  6471   2111669       150     12750         0     81866     89250   1677834     38.65     40.81  --
3369.81/843.63	c  N dy  6541   2131793       150     12750         0    101119     89250   2542978     38.65     40.78  --
3397.76/850.60	c  N dy  6614   2152234       150     12750         0    120734     89250   3421754     38.66     40.77  --
3416.93/855.44	c  N dy  6698   2172332       150     12750         0     78697     89250   1501917     38.67     43.07  --
3458.48/865.87	c  N dy  6724   2210926       150     12750         0    115387     89250   3133761     38.63     35.38  --
3458.48/865.87	c  S st  6724   2210926       150     12750         0    115387     89250   3133761     38.63     35.38  --
3460.08/866.21	c  S st  6724   2211430       150     12750         0    115871     89250   3155440     38.63   no data  --
3460.08/866.22	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
3460.08/866.22	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3460.08/866.29	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.29
3460.48/866.39	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3460.48/866.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3460.48/866.39	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
3460.48/866.39	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4501.87/1127.03	c lits-rem:      4775  cl-subs:     7221  v-elim:      0  v-fix:    0  time: 1040.81 s
4501.87/1127.03	c vivif2 --  cl tried    12750 cl shrink        0 lits rem          0 time: 0.01
4501.87/1127.07	c vivif2 --  cl tried   108650 cl shrink        0 lits rem          0 time: 0.14
4503.89/1127.52	c asymm  cl-useful: 0/1033/12750 lits-rem:0 time: 1.79
4503.89/1127.52	c calculated reachability. Time: 0.00
4503.89/1127.52	c  N dy  6724   2211430       150     12750         0    108650     89250   2793414     38.63   no data  --
4534.25/1135.18	c  N dy  6780   2231458       150     12750         0     65867     89250    900402     38.63     40.77  --
4557.40/1140.92	c  N dy  6832   2252739       150     12750         0     86240     89250   1811431     38.63     40.80  --
4585.36/1147.93	c  N dy  6886   2273727       150     12750         0    106286     89250   2703781     38.63     40.68  --
4624.91/1157.80	c  N dy  6963   2297982       150     12750         0     66444     89250    888586     38.63     40.74  --
4647.68/1163.53	c  N dy  7041   2317994       150     12750         0     85617     89250   1748557     38.63     41.60  --
4676.04/1170.69	c  N dy  7131   2338119       150     12750         0    104889     89250   2617465     38.64     40.93  --
4708.79/1178.82	c  N dy  7196   2358394       150     12750         0    124282     89250   3489857     38.65     40.73  --
4733.56/1185.01	c  N dy  7233   2379622       150     12750         0     80570     89250   1487404     38.64     41.02  --
4760.32/1191.72	c  N dy  7311   2399755       150     12750         0     99885     89250   2351155     38.65     40.78  --
4792.28/1199.73	c  N dy  7373   2419813       150     12750         0    119044     89250   3205067     38.65     42.17  --

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

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-3175047-1307653230/watcher-3175047-1307653230 -o /tmp/evaluation-result-3175047-1307653230/solver-3175047-1307653230 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3175047-1307653230.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: 0.96 1.51 1.75 4/175 28665
/proc/meminfo: memFree=32093624/32950928 swapFree=67079488/67111528
[pid=28665] ppid=28661 vsize=51236 CPUtime=0.01 cores=1,3,5,7
/proc/28665/stat : 28665 (strangenight1-m) R 28661 28665 28625 0 -1 4202496 413 0 0 0 1 0 0 0 18 0 4 0 876922680 52465664 352 33554432000 4194304 4650419 140734158696992 18446744073709551615 47446592083890 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28665/statm: 12809 352 303 112 0 7774 0
[pid=28665/tid=28667] ppid=28661 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/28665/task/28667/stat : 28667 (strangenight1-m) R 28661 28665 28625 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 4 0 876922680 52465664 352 33554432000 4194304 4650419 140734158696992 18446744073709551615 274474023921 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28665/tid=28668] ppid=28661 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/28665/task/28668/stat : 28668 (strangenight1-m) R 28661 28665 28625 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 4 0 876922680 52465664 352 33554432000 4194304 4650419 140734158696992 18446744073709551615 47446592083890 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28665/tid=28669] ppid=28661 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/28665/task/28669/stat : 28669 (strangenight1-m) R 28661 28665 28625 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 4 0 876922680 52465664 352 33554432000 4194304 4650419 140734158696992 18446744073709551615 47446592083880 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.059978 s]
/proc/loadavg: 0.96 1.51 1.75 4/175 28665
/proc/meminfo: memFree=32093624/32950928 swapFree=67079488/67111528
[pid=28665] ppid=28661 vsize=282792 CPUtime=0.21 cores=1,3,5,7
/proc/28665/stat : 28665 (strangenight1-m) R 28661 28665 28625 0 -1 4202496 2097 0 0 0 21 0 0 0 19 0 4 0 876922680 289579008 2010 33554432000 4194304 4650419 140734158696992 18446744073709551615 4370532 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28665/statm: 70698 2010 366 112 0 65663 0
[pid=28665/tid=28667] ppid=28661 vsize=282792 CPUtime=0.04 cores=1,3,5,7
/proc/28665/task/28667/stat : 28667 (strangenight1-m) R 28661 28665 28625 0 -1 4202560 397 0 0 0 4 0 0 0 20 0 4 0 876922680 289579008 2010 33554432000 4194304 4650419 140734158696992 18446744073709551615 4370465 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28665/tid=28668] ppid=28661 vsize=282792 CPUtime=0.05 cores=1,3,5,7
/proc/28665/task/28668/stat : 28668 (strangenight1-m) R 28661 28665 28625 0 -1 4202560 406 0 0 0 5 0 0 0 20 0 4 0 876922680 289579008 2010 33554432000 4194304 4650419 140734158696992 18446744073709551615 4370519 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28665/tid=28669] ppid=28661 vsize=282792 CPUtime=0.05 cores=1,3,5,7
/proc/28665/task/28669/stat : 28669 (strangenight1-m) R 28661 28665 28625 0 -1 4202560 474 0 0 0 5 0 0 0 20 0 4 0 876922680 289579008 2010 33554432000 4194304 4650419 140734158696992 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 282792

[startup+0.15996 s]
/proc/loadavg: 0.96 1.51 1.75 4/175 28665
/proc/meminfo: memFree=32093624/32950928 swapFree=67079488/67111528
[pid=28665] ppid=28661 vsize=282792 CPUtime=0.61 cores=1,3,5,7
/proc/28665/stat : 28665 (strangenight1-m) R 28661 28665 28625 0 -1 4202496 2266 0 0 0 61 0 0 0 19 0 4 0 876922680 289579008 2179 33554432000 4194304 4650419 140734158696992 18446744073709551615 4370537 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28665/statm: 70698 2180 366 112 0 65663 0
[pid=28665/tid=28667] ppid=28661 vsize=282792 CPUtime=0.14 cores=1,3,5,7
/proc/28665/task/28667/stat : 28667 (strangenight1-m) R 28661 28665 28625 0 -1 4202560 414 0 0 0 14 0 0 0 20 0 4 0 876922680 289579008 2180 33554432000 4194304 4650419 140734158696992 18446744073709551615 4370456 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28665/tid=28668] ppid=28661 vsize=282792 CPUtime=0.15 cores=1,3,5,7
/proc/28665/task/28668/stat : 28668 (strangenight1-m) R 28661 28665 28625 0 -1 4202560 422 0 0 0 15 0 0 0 20 0 4 0 876922680 289579008 2180 33554432000 4194304 4650419 140734158696992 18446744073709551615 4370730 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28665/tid=28669] ppid=28661 vsize=282792 CPUtime=0.15 cores=1,3,5,7
/proc/28665/task/28669/stat : 28669 (strangenight1-m) R 28661 28665 28625 0 -1 4202560 594 0 0 0 15 0 0 0 20 0 4 0 876922680 289579008 2180 33554432000 4194304 4650419 140734158696992 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.61
Current children cumulated vsize (KiB) 282792

[startup+0.317099 s]
/proc/loadavg: 0.96 1.51 1.75 4/175 28665
/proc/meminfo: memFree=32093624/32950928 swapFree=67079488/67111528
[pid=28665] ppid=28661 vsize=287776 CPUtime=1.25 cores=1,3,5,7
/proc/28665/stat : 28665 (strangenight1-m) R 28661 28665 28625 0 -1 4202496 3918 0 0 0 125 0 0 0 19 0 4 0 876922680 294682624 3073 33554432000 4194304 4650419 140734158696992 18446744073709551615 274474010807 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28665/statm: 71944 3125 378 112 0 66909 0
[pid=28665/tid=28667] ppid=28661 vsize=287776 CPUtime=0.3 cores=1,3,5,7
/proc/28665/task/28667/stat : 28667 (strangenight1-m) D 28661 28665 28625 0 -1 4202560 690 0 0 0 30 0 0 0 20 0 4 0 876922680 294682624 3156 33554432000 4194304 4650419 140734158696992 18446744073709551615 274473628705 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28665/tid=28668] ppid=28661 vsize=287908 CPUtime=0.31 cores=1,3,5,7
/proc/28665/task/28668/stat : 28668 (strangenight1-m) D 28661 28665 28625 0 -1 4202560 1078 0 0 0 31 0 0 0 20 0 4 0 876922680 294817792 3258 33554432000 4194304 4650419 140734158696992 18446744073709551615 274473664267 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28665/tid=28669] ppid=28661 vsize=288044 CPUtime=0.31 cores=1,3,5,7
/proc/28665/task/28669/stat : 28669 (strangenight1-m) R 28661 28665 28625 0 -1 4202560 1091 0 0 0 31 0 0 0 20 0 4 0 876922680 294957056 3318 33554432000 4194304 4650419 140734158696992 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.25
Current children cumulated vsize (KiB) 287776

[startup+0.700869 s]
/proc/loadavg: 0.96 1.51 1.75 4/175 28665
/proc/meminfo: memFree=32093624/32950928 swapFree=67079488/67111528
[pid=28665] ppid=28661 vsize=271616 CPUtime=2.77 cores=1,3,5,7
/proc/28665/stat : 28665 (strangenight1-m) R 28661 28665 28625 0 -1 4202496 8075 0 0 0 276 1 0 0 19 0 4 0 876922680 278134784 5399 33554432000 4194304 4650419 140734158696992 18446744073709551615 4365195 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28665/statm: 67904 5399 390 112 0 62869 0
[pid=28665/tid=28667] ppid=28661 vsize=271616 CPUtime=0.68 cores=1,3,5,7
/proc/28665/task/28667/stat : 28667 (strangenight1-m) R 28661 28665 28625 0 -1 4202560 2003 0 0 0 68 0 0 0 21 0 4 0 876922680 278134784 5399 33554432000 4194304 4650419 140734158696992 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28665/tid=28668] ppid=28661 vsize=271616 CPUtime=0.68 cores=1,3,5,7
/proc/28665/task/28668/stat : 28668 (strangenight1-m) R 28661 28665 28625 0 -1 4202560 1853 0 0 0 68 0 0 0 21 0 4 0 876922680 278134784 5399 33554432000 4194304 4650419 140734158696992 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28665/tid=28669] ppid=28661 vsize=271616 CPUtime=0.69 cores=1,3,5,7
/proc/28665/task/28669/stat : 28669 (strangenight1-m) R 28661 28665 28625 0 -1 4202560 1844 0 0 0 69 0 0 0 21 0 4 0 876922680 278134784 5399 33554432000 4194304 4650419 140734158696992 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 271616

[startup+1.50073 s]
/proc/loadavg: 0.96 1.51 1.75 9/184 28678
/proc/meminfo: memFree=32035032/32950928 swapFree=67079488/67111528
[pid=28665] ppid=28661 vsize=291868 CPUtime=5.97 cores=1,3,5,7
/proc/28665/stat : 28665 (strangenight1-m) R 28661 28665 28625 0 -1 4202496 13082 0 0 0 595 2 0 0 21 0 4 0 876922680 298872832 7438 33554432000 4194304 4650419 140734158696992 18446744073709551615 4363420 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28665/statm: 72967 7438 391 112 0 67932 0
[pid=28665/tid=28667] ppid=28661 vsize=291868 CPUtime=1.48 cores=1,3,5,7
/proc/28665/task/28667/stat : 28667 (strangenight1-m) R 28661 28665 28625 0 -1 4202560 3355 0 0 0 148 0 0 0 23 0 4 0 876922680 298872832 7438 33554432000 4194304 4650419 140734158696992 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28665/tid=28668] ppid=28661 vsize=291868 CPUtime=1.48 cores=1,3,5,7
/proc/28665/task/28668/stat : 28668 (strangenight1-m) R 28661 28665 28625 0 -1 4202560 3196 0 0 0 148 0 0 0 23 0 4 0 876922680 298872832 7438 33554432000 4194304 4650419 140734158696992 18446744073709551615 4365300 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28665/tid=28669] ppid=28661 vsize=291868 CPUtime=1.48 cores=1,3,5,7
/proc/28665/task/28669/stat : 28669 (strangenight1-m) R 28661 28665 28625 0 -1 4202560 3210 0 0 0 148 0 0 0 23 0 4 0 876922680 298872832 7438 33554432000 4194304 4650419 140734158696992 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 291868

[startup+3.10045 s]
/proc/loadavg: 0.96 1.51 1.75 9/184 28678
/proc/meminfo: memFree=32016308/32950928 swapFree=67079488/67111528
[pid=28665] ppid=28661 vsize=307764 CPUtime=12.36 cores=1,3,5,7
/proc/28665/stat : 28665 (strangenight1-m) R 28661 28665 28625 0 -1 4202496 27713 0 0 0 1231 5 0 0 25 0 4 0 876922680 315150336 17839 33554432000 4194304 4650419 140734158696992 18446744073709551615 4438407 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28665/statm: 76941 17839 392 112 0 71906 0
[pid=28665/tid=28667] ppid=28661 vsize=307764 CPUtime=3.07 cores=1,3,5,7
/proc/28665/task/28667/stat : 28667 (strangenight1-m) R 28661 28665 28625 0 -1 4202560 6091 0 0 0 306 1 0 0 25 0 4 0 876922680 315150336 17839 33554432000 4194304 4650419 140734158696992 18446744073709551615 4438378 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28665/tid=28668] ppid=28661 vsize=307764 CPUtime=3.09 cores=1,3,5,7
/proc/28665/task/28668/stat : 28668 (strangenight1-m) R 28661 28665 28625 0 -1 4202560 7847 0 0 0 308 1 0 0 25 0 4 0 876922680 315150336 17839 33554432000 4194304 4650419 140734158696992 18446744073709551615 4432376 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28665/tid=28669] ppid=28661 vsize=307764 CPUtime=3.09 cores=1,3,5,7
/proc/28665/task/28669/stat : 28669 (strangenight1-m) R 28661 28665 28625 0 -1 4202560 7967 0 0 0 308 1 0 0 25 0 4 0 876922680 315150336 17839 33554432000 4194304 4650419 140734158696992 18446744073709551615 4432376 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 307764

[startup+6.30089 s]
/proc/loadavg: 1.52 1.61 1.79 9/184 28678
/proc/meminfo: memFree=31901252/32950928 swapFree=67079488/67111528
[pid=28665] ppid=28661 vsize=309796 CPUtime=25.14 cores=1,3,5,7
/proc/28665/stat : 28665 (strangenight1-m) R 28661 28665 28625 0 -1 4202496 32897 0 0 0 2508 6 0 0 25 0 4 0 876922680 317231104 19078 33554432000 4194304 4650419 140734158696992 18446744073709551615 4439636 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28665/statm: 77449 19078 392 112 0 72414 0
[pid=28665/tid=28667] ppid=28661 vsize=309796 CPUtime=6.25 cores=1,3,5,7
/proc/28665/task/28667/stat : 28667 (strangenight1-m) R 28661 28665 28625 0 -1 4202560 7951 0 0 0 624 1 0 0 25 0 4 0 876922680 317231104 19078 33554432000 4194304 4650419 140734158696992 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28665/tid=28668] ppid=28661 vsize=309796 CPUtime=6.29 cores=1,3,5,7
/proc/28665/task/28668/stat : 28668 (strangenight1-m) R 28661 28665 28625 0 -1 4202560 8224 0 0 0 628 1 0 0 25 0 4 0 876922680 317231104 19078 33554432000 4194304 4650419 140734158696992 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28665/tid=28669] ppid=28661 vsize=309796 CPUtime=6.28 cores=1,3,5,7
/proc/28665/task/28669/stat : 28669 (strangenight1-m) R 28661 28665 28625 0 -1 4202560 9318 0 0 0 627 1 0 0 25 0 4 0 876922680 317231104 19078 33554432000 4194304 4650419 140734158696992 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 309796

[startup+12.7008 s]
/proc/loadavg: 2.04 1.72 1.82 9/184 28679
/proc/meminfo: memFree=31826132/32950928 swapFree=67079488/67111528
[pid=28665] ppid=28661 vsize=308596 CPUtime=50.71 cores=1,3,5,7
/proc/28665/stat : 28665 (strangenight1-m) R 28661 28665 28625 0 -1 4202496 50838 0 0 0 5061 10 0 0 25 0 4 0 876922680 316002304 30498 33554432000 4194304 4650419 140734158696992 18446744073709551615 4364775 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28665/statm: 77149 30498 392 112 0 72114 0
[pid=28665/tid=28667] ppid=28661 vsize=308596 CPUtime=12.61 cores=1,3,5,7
/proc/28665/task/28667/stat : 28667 (strangenight1-m) R 28661 28665 28625 0 -1 4202560 12947 0 0 0 1259 2 0 0 25 0 4 0 876922680 316002304 30498 33554432000 4194304 4650419 140734158696992 18446744073709551615 4365286 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28665/tid=28668] ppid=28661 vsize=308596 CPUtime=12.69 cores=1,3,5,7
/proc/28665/task/28668/stat : 28668 (strangenight1-m) R 28661 28665 28625 0 -1 4202560 11880 0 0 0 1267 2 0 0 25 0 4 0 876922680 316002304 30498 33554432000 4194304 4650419 140734158696992 18446744073709551615 4476297 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28665/tid=28669] ppid=28661 vsize=308596 CPUtime=12.69 cores=1,3,5,7
/proc/28665/task/28669/stat : 28669 (strangenight1-m) R 28661 28665 28625 0 -1 4202560 15497 0 0 0 1266 3 0 0 25 0 4 0 876922680 316002304 30499 33554432000 4194304 4650419 140734158696992 18446744073709551615 4439103 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 308596

[startup+25.5005 s]
/proc/loadavg: 3.43 2.04 1.92 9/184 28679
/proc/meminfo: memFree=31718244/32950928 swapFree=67079488/67111528
[pid=28665] ppid=28661 vsize=319364 CPUtime=101.83 cores=1,3,5,7
/proc/28665/stat : 28665 (strangenight1-m) R 28661 28665 28625 0 -1 4202496 78281 0 0 0 10164 19 0 0 25 0 4 0 876922680 327028736 38515 33554432000 4194304 4650419 140734158696992 18446744073709551615 4476502 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28665/statm: 79841 38515 392 112 0 74806 0
[pid=28665/tid=28667] ppid=28661 vsize=319364 CPUtime=25.34 cores=1,3,5,7
/proc/28665/task/28667/stat : 28667 (strangenight1-m) R 28661 28665 28625 0 -1 4202560 20309 0 0 0 2530 4 0 0 25 0 4 0 876922680 327028736 38515 33554432000 4194304 4650419 140734158696992 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28665/tid=28668] ppid=28661 vsize=319364 CPUtime=25.48 cores=1,3,5,7
/proc/28665/task/28668/stat : 28668 (strangenight1-m) R 28661 28665 28625 0 -1 4202560 16967 0 0 0 2545 3 0 0 25 0 4 0 876922680 327028736 38515 33554432000 4194304 4650419 140734158696992 18446744073709551615 4438509 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28665/tid=28669] ppid=28661 vsize=319364 CPUtime=25.49 cores=1,3,5,7
/proc/28665/task/28669/stat : 28669 (strangenight1-m) R 28661 28665 28625 0 -1 4202560 23475 0 0 0 2543 6 0 0 25 0 4 0 876922680 327028736 38515 33554432000 4194304 4650419 140734158696992 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.83
Current children cumulated vsize (KiB) 319364

[startup+51.101 s]
/proc/loadavg: 4.99 2.52 2.08 9/184 28689
/proc/meminfo: memFree=31638756/32950928 swapFree=67079488/67111528
[pid=28665] ppid=28661 vsize=371804 CPUtime=204.08 cores=1,3,5,7
/proc/28665/stat : 28665 (strangenight1-m) R 28661 28665 28625 0 -1 4202496 119285 0 0 0 20379 29 0 0 25 0 4 0 876922680 380727296 44613 33554432000 4194304 4650419 140734158696992 18446744073709551615 4365192 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28665/statm: 92951 44613 392 112 0 87916 0
[pid=28665/tid=28667] ppid=28661 vsize=371804 CPUtime=50.8 cores=1,3,5,7
/proc/28665/task/28667/stat : 28667 (strangenight1-m) R 28661 28665 28625 0 -1 4202560 30450 0 0 0 5074 6 0 0 25 0 4 0 876922680 380727296 44613 33554432000 4194304 4650419 140734158696992 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28665/tid=28668] ppid=28661 vsize=371804 CPUtime=51.09 cores=1,3,5,7
/proc/28665/task/28668/stat : 28668 (strangenight1-m) R 28661 28665 28625 0 -1 4202560 25569 0 0 0 5103 6 0 0 25 0 4 0 876922680 380727296 44613 33554432000 4194304 4650419 140734158696992 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28665/tid=28669] ppid=28661 vsize=371804 CPUtime=51.09 cores=1,3,5,7
/proc/28665/task/28669/stat : 28669 (strangenight1-m) R 28661 28665 28625 0 -1 4202560 36071 0 0 0 5100 9 0 0 25 0 4 0 876922680 380727296 44613 33554432000 4194304 4650419 140734158696992 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 204.08
Current children cumulated vsize (KiB) 371804

[startup+102.307 s]
/proc/loadavg: 6.69 3.36 2.39 9/184 28690
/proc/meminfo: memFree=31495080/32950928 swapFree=67079488/67111528
[pid=28665] ppid=28661 vsize=463772 CPUtime=408.63 cores=1,3,5,7
/proc/28665/stat : 28665 (strangenight1-m) R 28661 28665 28625 0 -1 4202496 178243 0 0 0 40816 47 0 0 25 0 4 0 876922680 474902528 61212 33554432000 4194304 4650419 140734158696992 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28665/statm: 115943 61212 392 112 0 110908 0
[pid=28665/tid=28667] ppid=28661 vsize=463772 CPUtime=101.73 cores=1,3,5,7
/proc/28665/task/28667/stat : 28667 (strangenight1-m) R 28661 28665 28625 0 -1 4202560 44920 0 0 0 10162 11 0 0 25 0 4 0 876922680 474902528 61212 33554432000 4194304 4650419 140734158696992 18446744073709551615 4367241 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28665/tid=28668] ppid=28661 vsize=463772 CPUtime=102.29 cores=1,3,5,7
/proc/28665/task/28668/stat : 28668 (strangenight1-m) R 28661 28665 28625 0 -1 4202560 35822 0 0 0 10221 8 0 0 25 0 4 0 876922680 474902528 61212 33554432000 4194304 4650419 140734158696992 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28665/tid=28669] ppid=28661 vsize=463772 CPUtime=102.29 cores=1,3,5,7
/proc/28665/task/28669/stat : 28669 (strangenight1-m) R 28661 28665 28625 0 -1 4202560 59077 0 0 0 10212 17 0 0 25 0 4 0 876922680 474902528 61212 33554432000 4194304 4650419 140734158696992 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 408.63
Current children cumulated vsize (KiB) 463772

[startup+162.3 s]

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

[pid=28665] ppid=28661 vsize=634644 CPUtime=2805.36 cores=1,3,5,7
/proc/28665/stat : 28665 (strangenight1-m) R 28661 28665 28625 0 -1 4202496 588254 0 0 0 280307 229 0 0 25 0 4 0 876922680 649875456 103505 33554432000 4194304 4650419 140734158696992 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28665/statm: 158661 103505 392 112 0 153626 0
[pid=28665/tid=28667] ppid=28661 vsize=634644 CPUtime=698.47 cores=1,3,5,7
/proc/28665/task/28667/stat : 28667 (strangenight1-m) R 28661 28665 28625 0 -1 4202560 174285 0 0 0 69764 83 0 0 25 0 4 0 876922680 649875456 103505 33554432000 4194304 4650419 140734158696992 18446744073709551615 4365337 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28665/tid=28668] ppid=28661 vsize=634644 CPUtime=702.29 cores=1,3,5,7
/proc/28665/task/28668/stat : 28668 (strangenight1-m) R 28661 28665 28625 0 -1 4202560 94887 0 0 0 70195 34 0 0 25 0 4 0 876922680 649875456 103505 33554432000 4194304 4650419 140734158696992 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28665/tid=28669] ppid=28661 vsize=634644 CPUtime=702.27 cores=1,3,5,7
/proc/28665/task/28669/stat : 28669 (strangenight1-m) R 28661 28665 28625 0 -1 4202560 178342 0 0 0 70162 65 0 0 25 0 4 0 876922680 649875456 103505 33554432000 4194304 4650419 140734158696992 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2805.36
Current children cumulated vsize (KiB) 634644

[startup+762.307 s]
/proc/loadavg: 8.00 7.52 5.25 9/184 28711
/proc/meminfo: memFree=30987268/32950928 swapFree=67079488/67111528
[pid=28665] ppid=28661 vsize=584212 CPUtime=3045.06 cores=1,3,5,7
/proc/28665/stat : 28665 (strangenight1-m) R 28661 28665 28625 0 -1 4202496 614024 0 0 0 304262 244 0 0 25 0 4 0 876922680 598233088 107764 33554432000 4194304 4650419 140734158696992 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28665/statm: 146053 107764 392 112 0 141018 0
[pid=28665/tid=28667] ppid=28661 vsize=584212 CPUtime=758.14 cores=1,3,5,7
/proc/28665/task/28667/stat : 28667 (strangenight1-m) R 28661 28665 28625 0 -1 4202560 182571 0 0 0 75728 86 0 0 25 0 4 0 876922680 598233088 107764 33554432000 4194304 4650419 140734158696992 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28665/tid=28668] ppid=28661 vsize=584212 CPUtime=762.29 cores=1,3,5,7
/proc/28665/task/28668/stat : 28668 (strangenight1-m) R 28661 28665 28625 0 -1 4202560 94887 0 0 0 76195 34 0 0 25 0 4 0 876922680 598233088 107764 33554432000 4194304 4650419 140734158696992 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28665/tid=28669] ppid=28661 vsize=584212 CPUtime=762.28 cores=1,3,5,7
/proc/28665/task/28669/stat : 28669 (strangenight1-m) R 28661 28665 28625 0 -1 4202560 186073 0 0 0 76157 71 0 0 25 0 4 0 876922680 598233088 107764 33554432000 4194304 4650419 140734158696992 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3045.06
Current children cumulated vsize (KiB) 584212

[startup+822.3 s]
/proc/loadavg: 8.12 7.64 5.43 9/184 28712
/proc/meminfo: memFree=30959448/32950928 swapFree=67079488/67111528
[pid=28665] ppid=28661 vsize=703412 CPUtime=3284.71 cores=1,3,5,7
/proc/28665/stat : 28665 (strangenight1-m) R 28661 28665 28625 0 -1 4202496 641845 0 0 0 328213 258 0 0 25 0 4 0 876922680 720293888 115113 33554432000 4194304 4650419 140734158696992 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28665/statm: 175853 115113 392 112 0 170818 0
[pid=28665/tid=28667] ppid=28661 vsize=703412 CPUtime=817.81 cores=1,3,5,7
/proc/28665/task/28667/stat : 28667 (strangenight1-m) R 28661 28665 28625 0 -1 4202560 191751 0 0 0 81690 91 0 0 25 0 4 0 876922680 720293888 115113 33554432000 4194304 4650419 140734158696992 18446744073709551615 4360483 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28665/tid=28668] ppid=28661 vsize=703412 CPUtime=822.29 cores=1,3,5,7
/proc/28665/task/28668/stat : 28668 (strangenight1-m) R 28661 28665 28625 0 -1 4202560 94887 0 0 0 82195 34 0 0 25 0 4 0 876922680 720293888 115113 33554432000 4194304 4650419 140734158696992 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28665/tid=28669] ppid=28661 vsize=703412 CPUtime=822.27 cores=1,3,5,7
/proc/28665/task/28669/stat : 28669 (strangenight1-m) R 28661 28665 28625 0 -1 4202560 192875 0 0 0 82153 74 0 0 25 0 4 0 876922680 720293888 115113 33554432000 4194304 4650419 140734158696992 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3284.71
Current children cumulated vsize (KiB) 703412

[startup+882.301 s]
/proc/loadavg: 8.16 7.73 5.60 9/184 28714
/proc/meminfo: memFree=30974756/32950928 swapFree=67079488/67111528
[pid=28665] ppid=28661 vsize=702160 CPUtime=3524.39 cores=1,3,5,7
/proc/28665/stat : 28665 (strangenight1-m) R 28661 28665 28625 0 -1 4202496 665540 0 0 0 352165 274 0 0 25 0 4 0 876922680 719011840 112285 33554432000 4194304 4650419 140734158696992 18446744073709551615 4432399 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28665/statm: 175540 112285 392 112 0 170505 0
[pid=28665/tid=28667] ppid=28661 vsize=702160 CPUtime=877.48 cores=1,3,5,7
/proc/28665/task/28667/stat : 28667 (strangenight1-m) R 28661 28665 28625 0 -1 4202560 201644 0 0 0 87650 98 0 0 25 0 4 0 876922680 719011840 112285 33554432000 4194304 4650419 140734158696992 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28665/tid=28668] ppid=28661 vsize=702160 CPUtime=882.29 cores=1,3,5,7
/proc/28665/task/28668/stat : 28668 (strangenight1-m) R 28661 28665 28625 0 -1 4202560 96192 0 0 0 88194 35 0 0 25 0 4 0 876922680 719011840 112285 33554432000 4194304 4650419 140734158696992 18446744073709551615 4365242 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28665/tid=28669] ppid=28661 vsize=702160 CPUtime=882.27 cores=1,3,5,7
/proc/28665/task/28669/stat : 28669 (strangenight1-m) R 28661 28665 28625 0 -1 4202560 199767 0 0 0 88149 78 0 0 25 0 4 0 876922680 719011840 112285 33554432000 4194304 4650419 140734158696992 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3524.39
Current children cumulated vsize (KiB) 702160

[startup+942.301 s]
/proc/loadavg: 8.16 7.81 5.76 9/184 28715
/proc/meminfo: memFree=30959444/32950928 swapFree=67079488/67111528
[pid=28665] ppid=28661 vsize=702272 CPUtime=3764.07 cores=1,3,5,7
/proc/28665/stat : 28665 (strangenight1-m) R 28661 28665 28625 0 -1 4202496 684399 0 0 0 376121 286 0 0 25 0 4 0 876922680 719126528 116340 33554432000 4194304 4650419 140734158696992 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28665/statm: 175568 116340 392 112 0 170533 0
[pid=28665/tid=28667] ppid=28661 vsize=702272 CPUtime=937.16 cores=1,3,5,7
/proc/28665/task/28667/stat : 28667 (strangenight1-m) R 28661 28665 28625 0 -1 4202560 210714 0 0 0 93613 103 0 0 25 0 4 0 876922680 719126528 116340 33554432000 4194304 4650419 140734158696992 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28665/tid=28668] ppid=28661 vsize=702272 CPUtime=942.3 cores=1,3,5,7
/proc/28665/task/28668/stat : 28668 (strangenight1-m) R 28661 28665 28625 0 -1 4202560 98015 0 0 0 94193 37 0 0 25 0 4 0 876922680 719126528 116340 33554432000 4194304 4650419 140734158696992 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28665/tid=28669] ppid=28661 vsize=702272 CPUtime=942.27 cores=1,3,5,7
/proc/28665/task/28669/stat : 28669 (strangenight1-m) R 28661 28665 28625 0 -1 4202560 207733 0 0 0 94143 84 0 0 25 0 4 0 876922680 719126528 116340 33554432000 4194304 4650419 140734158696992 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3764.07
Current children cumulated vsize (KiB) 702272

[startup+1002.3 s]
/proc/loadavg: 8.15 7.87 5.91 9/184 28717
/proc/meminfo: memFree=30896272/32950928 swapFree=67079488/67111528
[pid=28665] ppid=28661 vsize=757612 CPUtime=4003.74 cores=1,3,5,7
/proc/28665/stat : 28665 (strangenight1-m) R 28661 28665 28625 0 -1 4202496 704075 0 0 0 400079 295 0 0 25 0 4 0 876922680 775794688 124754 33554432000 4194304 4650419 140734158696992 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28665/statm: 189403 124754 392 112 0 184368 0
[pid=28665/tid=28667] ppid=28661 vsize=757612 CPUtime=996.83 cores=1,3,5,7
/proc/28665/task/28667/stat : 28667 (strangenight1-m) R 28661 28665 28625 0 -1 4202560 221483 0 0 0 99578 105 0 0 25 0 4 0 876922680 775794688 124754 33554432000 4194304 4650419 140734158696992 18446744073709551615 4439103 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28665/tid=28668] ppid=28661 vsize=757612 CPUtime=1002.3 cores=1,3,5,7
/proc/28665/task/28668/stat : 28668 (strangenight1-m) R 28661 28665 28625 0 -1 4202560 100232 0 0 0 100191 39 0 0 25 0 4 0 876922680 775794688 124754 33554432000 4194304 4650419 140734158696992 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28665/tid=28669] ppid=28661 vsize=757612 CPUtime=1002.27 cores=1,3,5,7
/proc/28665/task/28669/stat : 28669 (strangenight1-m) R 28661 28665 28625 0 -1 4202560 214423 0 0 0 100138 89 0 0 25 0 4 0 876922680 775794688 124754 33554432000 4194304 4650419 140734158696992 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4003.74
Current children cumulated vsize (KiB) 757612

[startup+1062.3 s]
/proc/loadavg: 8.14 7.92 6.04 9/184 28719
/proc/meminfo: memFree=30889268/32950928 swapFree=67079488/67111528
[pid=28665] ppid=28661 vsize=824332 CPUtime=4243.42 cores=1,3,5,7
/proc/28665/stat : 28665 (strangenight1-m) R 28661 28665 28625 0 -1 4202496 719294 0 0 0 424040 302 0 0 25 0 4 0 876922680 844115968 123573 33554432000 4194304 4650419 140734158696992 18446744073709551615 4476502 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28665/statm: 206083 123573 392 112 0 201048 0
[pid=28665/tid=28667] ppid=28661 vsize=824332 CPUtime=1056.51 cores=1,3,5,7
/proc/28665/task/28667/stat : 28667 (strangenight1-m) R 28661 28665 28625 0 -1 4202560 228125 0 0 0 105545 106 0 0 25 0 4 0 876922680 844115968 123573 33554432000 4194304 4650419 140734158696992 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28665/tid=28668] ppid=28661 vsize=824332 CPUtime=1062.3 cores=1,3,5,7
/proc/28665/task/28668/stat : 28668 (strangenight1-m) R 28661 28665 28625 0 -1 4202560 100859 0 0 0 106191 39 0 0 25 0 4 0 876922680 844115968 123573 33554432000 4194304 4650419 140734158696992 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28665/tid=28669] ppid=28661 vsize=824332 CPUtime=1062.28 cores=1,3,5,7
/proc/28665/task/28669/stat : 28669 (strangenight1-m) R 28661 28665 28625 0 -1 4202560 222373 0 0 0 106133 95 0 0 25 0 4 0 876922680 844115968 123573 33554432000 4194304 4650419 140734158696992 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4243.42
Current children cumulated vsize (KiB) 824332

[startup+1122.3 s]
/proc/loadavg: 8.18 7.97 6.18 9/184 28720
/proc/meminfo: memFree=30860568/32950928 swapFree=67079488/67111528
[pid=28665] ppid=28661 vsize=832908 CPUtime=4483.1 cores=1,3,5,7
/proc/28665/stat : 28665 (strangenight1-m) R 28661 28665 28625 0 -1 4202496 738551 0 0 0 448000 310 0 0 25 0 4 0 876922680 852897792 130561 33554432000 4194304 4650419 140734158696992 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28665/statm: 208227 130561 392 112 0 203192 0
[pid=28665/tid=28667] ppid=28661 vsize=832908 CPUtime=1116.18 cores=1,3,5,7
/proc/28665/task/28667/stat : 28667 (strangenight1-m) R 28661 28665 28625 0 -1 4202560 234580 0 0 0 111511 107 0 0 25 0 4 0 876922680 852897792 130561 33554432000 4194304 4650419 140734158696992 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28665/tid=28668] ppid=28661 vsize=832908 CPUtime=1122.29 cores=1,3,5,7
/proc/28665/task/28668/stat : 28668 (strangenight1-m) R 28661 28665 28625 0 -1 4202560 104489 0 0 0 112187 42 0 0 25 0 4 0 876922680 852897792 130561 33554432000 4194304 4650419 140734158696992 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28665/tid=28669] ppid=28661 vsize=832908 CPUtime=1122.27 cores=1,3,5,7
/proc/28665/task/28669/stat : 28669 (strangenight1-m) R 28661 28665 28625 0 -1 4202560 231545 0 0 0 112129 98 0 0 25 0 4 0 876922680 852897792 130561 33554432000 4194304 4650419 140734158696992 18446744073709551615 4439361 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4483.1
Current children cumulated vsize (KiB) 832908

[startup+1182.3 s]
/proc/loadavg: 8.19 8.02 6.31 9/184 28722
/proc/meminfo: memFree=30844012/32950928 swapFree=67079488/67111528
[pid=28665] ppid=28661 vsize=782016 CPUtime=4722.77 cores=1,3,5,7
/proc/28665/stat : 28665 (strangenight1-m) R 28661 28665 28625 0 -1 4202496 765234 0 0 0 471958 319 0 0 25 0 4 0 876922680 800784384 128830 33554432000 4194304 4650419 140734158696992 18446744073709551615 4365246 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28665/statm: 195504 128830 392 112 0 190469 0
[pid=28665/tid=28667] ppid=28661 vsize=782016 CPUtime=1175.86 cores=1,3,5,7
/proc/28665/task/28667/stat : 28667 (strangenight1-m) R 28661 28665 28625 0 -1 4202560 243803 0 0 0 117478 108 0 0 25 0 4 0 876922680 800784384 128830 33554432000 4194304 4650419 140734158696992 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28665/tid=28668] ppid=28661 vsize=782016 CPUtime=1182.3 cores=1,3,5,7
/proc/28665/task/28668/stat : 28668 (strangenight1-m) R 28661 28665 28625 0 -1 4202560 106761 0 0 0 118185 45 0 0 25 0 4 0 876922680 800784384 128830 33554432000 4194304 4650419 140734158696992 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28665/tid=28669] ppid=28661 vsize=782016 CPUtime=1182.27 cores=1,3,5,7
/proc/28665/task/28669/stat : 28669 (strangenight1-m) R 28661 28665 28625 0 -1 4202560 239918 0 0 0 118128 99 0 0 25 0 4 0 876922680 800784384 128830 33554432000 4194304 4650419 140734158696992 18446744073709551615 4476288 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4722.77
Current children cumulated vsize (KiB) 782016



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.30 8.05 6.35 9/184 28722
/proc/meminfo: memFree=30860104/32950928 swapFree=67079488/67111528
[pid=28665] ppid=28661 vsize=834876 CPUtime=4800.29 cores=1,3,5,7
/proc/28665/stat : 28665 (strangenight1-m) R 28661 28665 28625 0 -1 4202496 774114 0 0 0 479706 323 0 0 25 0 4 0 876922680 854913024 130996 33554432000 4194304 4650419 140734158696992 18446744073709551615 4364777 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28665/statm: 208719 130996 392 112 0 203684 0
[pid=28665/tid=28667] ppid=28661 vsize=834876 CPUtime=1195.16 cores=1,3,5,7
/proc/28665/task/28667/stat : 28667 (strangenight1-m) R 28661 28665 28625 0 -1 4202560 246548 0 0 0 119407 109 0 0 25 0 4 0 876922680 854913024 130996 33554432000 4194304 4650419 140734158696992 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28665/tid=28668] ppid=28661 vsize=834876 CPUtime=1201.71 cores=1,3,5,7
/proc/28665/task/28668/stat : 28668 (strangenight1-m) R 28661 28665 28625 0 -1 4202560 107799 0 0 0 120125 46 0 0 25 0 4 0 876922680 854913024 130996 33554432000 4194304 4650419 140734158696992 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28665/tid=28669] ppid=28661 vsize=834876 CPUtime=1201.67 cores=1,3,5,7
/proc/28665/task/28669/stat : 28669 (strangenight1-m) R 28661 28665 28625 0 -1 4202560 242537 0 0 0 120068 99 0 0 25 0 4 0 876922680 854913024 130996 33554432000 4194304 4650419 140734158696992 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.29
Current children cumulated vsize (KiB) 834876

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

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

[startup+1201.7 s]
/proc/loadavg: 8.30 8.05 6.35 9/184 28722
/proc/meminfo: memFree=30860104/32950928 swapFree=67079488/67111528
[pid=28665] ppid=28661 vsize=834876 CPUtime=4800.29 cores=1,3,5,7
/proc/28665/stat : 28665 (strangenight1-m) R 28661 28665 28625 0 -1 4202496 774114 0 0 0 479706 323 0 0 25 0 4 0 876922680 854913024 130996 33554432000 4194304 4650419 140734158696992 18446744073709551615 4364777 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28665/statm: 208719 130996 392 112 0 203684 0
[pid=28665/tid=28667] ppid=28661 vsize=834876 CPUtime=1195.16 cores=1,3,5,7
/proc/28665/task/28667/stat : 28667 (strangenight1-m) R 28661 28665 28625 0 -1 4202560 246548 0 0 0 119407 109 0 0 25 0 4 0 876922680 854913024 130996 33554432000 4194304 4650419 140734158696992 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28665/tid=28668] ppid=28661 vsize=834876 CPUtime=1201.71 cores=1,3,5,7
/proc/28665/task/28668/stat : 28668 (strangenight1-m) R 28661 28665 28625 0 -1 4202560 107799 0 0 0 120125 46 0 0 25 0 4 0 876922680 854913024 130996 33554432000 4194304 4650419 140734158696992 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28665/tid=28669] ppid=28661 vsize=834876 CPUtime=1201.67 cores=1,3,5,7
/proc/28665/task/28669/stat : 28669 (strangenight1-m) R 28661 28665 28625 0 -1 4202560 242537 0 0 0 120068 99 0 0 25 0 4 0 876922680 854913024 130996 33554432000 4194304 4650419 140734158696992 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.29
Current children cumulated vsize (KiB) 834876

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.73
CPU time (s): 4800.34
CPU user time (s): 4797.08
CPU system time (s): 3.2545
CPU usage (%): 399.451
Max. virtual memory (cumulated for all children) (KiB): 930412

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.08
system time used= 3.2545
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 774114
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= 828
involuntary context switches= 19765

runsolver used 1.59576 second user time and 4.98324 second system time

The end

Launcher Data 

Begin job on node125 at 2011-06-09 23:00:30
IDJOB=3175047
IDBENCH=82665
IDSOLVER=1588
FILE ID=node125/3175047-1307653230
RUNJOBID= node125-1307653230-28644
PBS_JOBID= 13549420
Free space on /tmp= 74064 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt
BENCH NAME= SAT11/random/large/unif-k7-r85-v150-c12750-S1737989193-079-UNKNOWN.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3175047-1307653230/watcher-3175047-1307653230 -o /tmp/evaluation-result-3175047-1307653230/solver-3175047-1307653230 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3175047-1307653230.cnf

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

MD5SUM BENCH= a959d408d44dc22efc55e46b642f9083
RANDOM SEED=1870151723

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.828
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.74
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.828
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.828
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      32094796 kB
Buffers:        211604 kB
Cached:         409588 kB
SwapCached:       3400 kB
Active:         335728 kB
Inactive:       321932 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      32094796 kB
SwapTotal:    67111528 kB
SwapFree:     67079488 kB
Dirty:           13300 kB
Writeback:           4 kB
AnonPages:       35284 kB
Mapped:          13492 kB
Slab:           131108 kB
PageTables:       4580 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   186952 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= 74052 MiB
End job on node125 at 2011-06-09 23:20:34