Trace number 3368656

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 (fixed)? (TO) 4800.34 1203.14

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.00	c Using 4 threads
0.00/0.00	c This is CryptoMiniSat 2.9.0
0.00/0.00	c compiled with gcc version 4.4.5
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3368656-1305399826.cnf'
0.00/0.00	c -- header says num vars:            150
0.00/0.00	c -- header says num clauses:       12750
0.00/0.01	c -- clauses added:            0 learnts,        12750 normals,            0 xors
0.00/0.01	c -- vars added        150
0.00/0.01	c Parsing time:  0.02 s
0.00/0.01	c  N st     0         0       150     12750         0         0     89250         0   no data   no data  --
1.17/0.31	c asymm  cl-useful: 0/12750/12750 lits-rem:0 time: 1.19
1.17/0.31	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
1.17/0.31	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1.17/0.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1.17/0.31	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
1.17/0.31	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1.17/0.37	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.22 s
1.17/0.37	c Finding binary XORs  T:     0.00 s  found:       0
1.17/0.38	c Finding non-binary XORs:     0.03 s (found:       0, avg size: nan)
1.17/0.38	c calculated reachability. Time: 0.00
1.17/0.38	c Calc default polars -  time:   0.00 s pos:      73 undec:       3 neg:      74
1.17/0.38	c =========================================================================================
1.17/0.38	c types(t): F = full restart, N = normal restart
1.17/0.38	c types(t): S = simplification begin/end, E = solution found
1.17/0.38	c restart types(rt): st = static, dy = dynamic
1.17/0.38	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
1.17/0.38	c  B st     0         0       150     12750         0         0     89250         0   no data   no data  --
1.97/0.56	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.57/0.98	c  N dy    42     12979       150     12750         0      5989     89250    206296     39.00     41.38  --
4.80/1.22	c  N dy    54     17398       150     12750         0     10223     89250    395077     38.89     41.05  --
5.55/1.44	c  N dy    69     21495       150     12750         0      8768     89250    295526     39.04     41.76  --
6.35/1.64	c  F st    76     25000       150     12750         0     12131     89250    445791     38.96     36.64  --
6.35/1.68	c  N st    78     25626       150     12750         0     12732     89250    473515     38.96   no data  --
7.56/1.92	c  N dy    82     30000       150     12750         0     10382     89250    338975     38.96   no data  --
7.56/1.92	c  S st    82     30000       150     12750         0     10382     89250    338975     38.96   no data  --
7.56/1.96	c  S st    82     30503       150     12750         0     10866     89250    360385     38.96   no data  --
7.56/1.96	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
7.56/1.96	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
7.56/1.97	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
7.56/1.98	c bin-w-bin subsume rem            0 bins  time:  0.00 s
7.56/1.98	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
7.56/1.98	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
7.56/1.98	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
15.92/4.06	c lits-rem:      2103  cl-subs:      504  v-elim:      0  v-fix:    0  time:  8.29 s
17.96/4.52	c asymm  cl-useful: 0/10954/12750 lits-rem:0 time: 1.82
17.96/4.52	c calculated reachability. Time: 0.00
17.96/4.52	c  N dy    82     30503       150     12750         0     10362     89250    329699     38.96   no data  --
20.32/5.13	c  N dy    94     39973       150     12750         0     11852     89250    368416     38.65     40.86  --
21.52/5.42	c  N dy   110     44092       150     12750         0     15803     89250    546206     38.73     41.26  --
21.95/5.54	c  S st   113     45754       150     12750         0      8819     89250    200068     38.70     39.01  --
21.95/5.59	c  S st   113     46259       150     12750         0      9318     89250    222072     38.70   no data  --
21.95/5.59	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
21.95/5.59	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
21.95/5.59	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
21.95/5.60	c bin-w-bin subsume rem            0 bins  time:  0.00 s
21.95/5.60	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
21.95/5.60	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
21.95/5.60	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
28.30/7.10	c lits-rem:       326  cl-subs:       45  v-elim:      0  v-fix:    0  time:  5.97 s
28.30/7.10	c vivif2 --  cl tried    12750 cl shrink        0 lits rem          0 time: 0.01
28.30/7.10	c vivif2 --  cl tried     9273 cl shrink        0 lits rem          0 time: 0.01
28.30/7.18	c asymm  cl-useful: 0/1796/12750 lits-rem:0 time: 0.30
28.30/7.18	c calculated reachability. Time: 0.00
28.30/7.18	c  N dy   113     46259       150     12750         0      9273     89250    219181     38.70   no data  --
29.50/7.43	c  N dy   134     50301       150     12750         0     13148     89250    393381     38.82     41.26  --
31.13/7.81	c  N dy   141     55830       150     12750         0     18426     89250    630436     38.75     41.00  --
32.68/8.23	c  N dy   146     62192       150     12750         0     14976     89250    445319     38.65     40.70  --
33.89/8.54	c  N dy   169     66347       150     12750         0     18976     89250    624399     38.73     40.92  --
34.69/8.79	c  S st   178     69389       150     12750         0     11363     89250    250369     38.73     38.92  --
35.11/8.83	c  S st   178     69892       150     12750         0     11856     89250    271679     38.73   no data  --
35.11/8.84	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
35.11/8.84	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
35.11/8.84	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
35.11/8.85	c bin-w-bin subsume rem            0 bins  time:  0.00 s
35.11/8.85	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
35.11/8.85	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
35.11/8.85	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
42.26/10.69	c lits-rem:       451  cl-subs:       98  v-elim:      0  v-fix:    0  time:  7.34 s
42.26/10.69	c vivif2 --  cl tried    12750 cl shrink        0 lits rem          0 time: 0.01
42.66/10.70	c vivif2 --  cl tried    11758 cl shrink        0 lits rem          0 time: 0.01
44.30/11.11	c asymm  cl-useful: 0/10095/12750 lits-rem:0 time: 1.65
44.30/11.11	c calculated reachability. Time: 0.00
44.30/11.11	c  N dy   178     69892       150     12750         0     11758     89250    265650     38.73   no data  --
45.46/11.47	c  N dy   182     74784       150     12750         0     16416     89250    472934     38.68     40.79  --
47.06/11.84	c  N dy   190     79583       150     12750         0     21042     89250    679611     38.67     41.97  --
49.04/12.35	c  N dy   198     85944       150     12750         0     15621     89250    406549     38.60     40.63  --
49.44/12.49	c  F st   206     87500       150     12750         0     17118     89250    472559     38.61   no data  --
51.45/12.92	c  N dy   212     92695       150     12750         0     22100     89250    699761     38.61   no data  --
53.83/13.58	c  N dy   224    101157       150     12750         0     17753     89250    473083     38.55     40.66  --
55.03/13.88	c  S st   238    104838       150     12750         0     21287     89250    631113     38.58     35.96  --
55.43/13.95	c  S st   238    105342       150     12750         0     21779     89250    651663     38.58   no data  --
55.43/13.96	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
55.43/13.96	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
55.43/13.97	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.05
55.43/13.99	c bin-w-bin subsume rem            0 bins  time:  0.00 s
55.43/13.99	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
55.43/13.99	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
55.43/13.99	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
67.40/16.94	c lits-rem:      1355  cl-subs:      999  v-elim:      0  v-fix:    0  time: 11.74 s
67.40/16.94	c vivif2 --  cl tried    12750 cl shrink        0 lits rem          0 time: 0.00
67.40/16.94	c vivif2 --  cl tried    20780 cl shrink        0 lits rem          0 time: 0.02
68.20/17.16	c asymm  cl-useful: 0/2655/12750 lits-rem:0 time: 0.84
68.20/17.16	c calculated reachability. Time: 0.00
68.20/17.16	c  N dy   238    105342       150     12750         0     20780     89250    597355     38.58   no data  --
72.19/18.10	c  N dy   245    117353       150     12750         0     18826     89250    489944     38.39     40.53  --
75.78/19.00	c  N dy   267    127339       150     12750         0     28389     89250    913627     38.38     41.03  --
78.17/19.68	c  N dy   302    135466       150     12750         0     21861     89250    592929     38.42     42.67  --
81.36/20.48	c  N dy   333    144270       150     12750         0     30288     89250    970333     38.46     40.66  --
84.96/21.33	c  N dy   388    154404       150     12750         0     24729     89250    692660     38.55     40.90  --
86.16/21.67	c  S st   403    158015       150     12750         0     28202     89250    847112     38.57   no data  --
86.56/21.75	c  S st   403    158519       150     12750         0     28692     89250    868219     38.57   no data  --
86.56/21.75	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
86.56/21.75	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
86.56/21.77	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.05
86.56/21.79	c bin-w-bin subsume rem            0 bins  time:  0.00 s
86.56/21.79	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
86.56/21.79	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
86.56/21.79	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
109.30/27.42	c lits-rem:      1823  cl-subs:     1219  v-elim:      0  v-fix:    0  time: 22.43 s
109.30/27.42	c vivif2 --  cl tried    12750 cl shrink        0 lits rem          0 time: 0.01
109.30/27.43	c vivif2 --  cl tried    27473 cl shrink        0 lits rem          0 time: 0.03
110.14/27.69	c asymm  cl-useful: 0/3172/12750 lits-rem:0 time: 1.00
110.14/27.69	c calculated reachability. Time: 0.00
110.14/27.69	c  N dy   403    158519       150     12750         0     27473     89250    798424     38.57   no data  --
114.11/28.70	c  N dy   439    169162       150     12750         0     21402     89250    504992     38.60     40.86  --
119.66/30.00	c  N dy   466    181911       150     12750         0     33603     89250   1045101     38.57     40.60  --
124.06/31.12	c  N dy   503    193595       150     12750         0     27544     89250    746276     38.58     40.73  --
129.25/32.47	c  N dy   535    206193       150     12750         0     21385     89250    442064     38.58     40.69  --
135.23/33.94	c  N dy   584    219652       150     12750         0     34282     89250   1019334     38.62     40.70  --
141.61/35.58	c  N dy   635    233747       150     12750         0     28634     89250    729140     38.64     44.20  --
143.60/36.06	c  S st   654    237778       150     12750         0     32506     89250    902285     38.65   no data  --
144.00/36.16	c  S st   654    238286       150     12750         0     32997     89250    923991     38.65   no data  --
144.00/36.16	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
144.00/36.16	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
144.00/36.18	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.08
144.41/36.21	c bin-w-bin subsume rem            0 bins  time:  0.00 s
144.41/36.21	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
144.41/36.21	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
144.41/36.21	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
161.56/40.59	c lits-rem:      1075  cl-subs:     1373  v-elim:      0  v-fix:    0  time: 17.48 s
161.56/40.60	c vivif2 --  cl tried    12750 cl shrink        0 lits rem          0 time: 0.00
161.96/40.60	c vivif2 --  cl tried    31624 cl shrink        0 lits rem          0 time: 0.04
162.79/40.84	c asymm  cl-useful: 0/2536/12750 lits-rem:0 time: 0.93
162.79/40.84	c calculated reachability. Time: 0.00
162.79/40.84	c  N dy   654    238286       150     12750         0     31624     89250    848513     38.65   no data  --
169.14/42.46	c  N dy   705    253851       150     12750         0     26492     89250    604333     38.65     40.76  --
176.32/44.28	c  N dy   772    270122       150     12750         0     42098     89250   1305469     38.70     40.95  --
183.91/46.18	c  N dy   832    288458       150     12750         0     38609     89250   1107217     38.72     41.11  --
191.88/48.13	c  F st   900    306250       150     12750         0     33614     89250    855800     38.75   no data  --
192.28/48.20	c  N st   902    306876       150     12750         0     34220     89250    882831     38.75   no data  --
201.46/50.53	c  N dy   966    327477       150     12750         0     30929     89250    702626     38.76     40.97  --
211.83/53.11	c  N dy  1031    348459       150     12750         0     27052     89250    496123     38.77     40.81  --
215.46/54.08	c  S st  1067    357430       150     12750         0     35687     89250    882672     38.77     36.60  --
215.81/54.18	c  S st  1067    357932       150     12750         0     36180     89250    904300     38.77   no data  --
215.81/54.18	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
215.81/54.18	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
216.21/54.20	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.07
216.21/54.22	c bin-w-bin subsume rem            0 bins  time:  0.00 s
216.21/54.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
216.21/54.22	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
216.21/54.22	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
242.95/60.92	c lits-rem:      2910  cl-subs:     1338  v-elim:      0  v-fix:    0  time: 26.72 s
242.95/60.92	c vivif2 --  cl tried    12750 cl shrink        0 lits rem          0 time: 0.00
242.95/60.93	c vivif2 --  cl tried    34842 cl shrink        0 lits rem          0 time: 0.04
244.15/61.21	c asymm  cl-useful: 0/2211/12750 lits-rem:0 time: 1.12
244.15/61.21	c calculated reachability. Time: 0.00
244.15/61.21	c  N dy  1067    357932       150     12750         0     34842     89250    829682     38.77   no data  --
253.33/63.59	c  N dy  1099    378747       150     12750         0     29875     89250    590335     38.74     40.85  --
263.33/66.04	c  N dy  1174    398830       150     12750         0     49106     89250   1451362     38.75     40.97  --
272.52/68.39	c  N dy  1223    418894       150     12750         0     42459     89250   1114447     38.74     40.88  --
282.86/70.96	c  N dy  1296    438987       150     12750         0     34885     89250    748353     38.76     41.10  --
297.22/74.57	c  N dy  1338    467843       150     12750         0     34673     89250    708153     38.69     40.91  --
309.19/77.54	c  N dy  1388    489541       150     12750         0     55434     89250   1633395     38.68     40.79  --
319.57/80.12	c  N dy  1440    509573       150     12750         0     45934     89250   1174396     38.68     40.85  --
331.12/83.08	c  N dy  1518    529682       150     12750         0     35548     89250    677168     38.69     41.30  --
334.72/83.97	c  S st  1529    536898       150     12750         0     42446     89250    980490     38.68     38.46  --
335.12/84.08	c  S st  1529    537400       150     12750         0     42933     89250   1001763     38.68   no data  --
335.12/84.09	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
335.12/84.09	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
335.52/84.11	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.08
335.52/84.14	c bin-w-bin subsume rem            0 bins  time:  0.00 s
335.52/84.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
335.52/84.14	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
335.52/84.14	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
356.66/89.46	c lits-rem:      1041  cl-subs:     1491  v-elim:      0  v-fix:    0  time: 21.21 s
356.66/89.46	c vivif2 --  cl tried    12750 cl shrink        0 lits rem          0 time: 0.00
356.66/89.47	c vivif2 --  cl tried    41442 cl shrink        0 lits rem          0 time: 0.04
357.86/89.74	c asymm  cl-useful: 0/1846/12750 lits-rem:0 time: 1.10
357.86/89.74	c calculated reachability. Time: 0.00
357.86/89.74	c  N dy  1529    537400       150     12750         0     41442     89250    922780     38.68   no data  --
369.83/92.76	c  N dy  1591    557459       150     12750         0     60764     89250   1785653     38.68     42.46  --
380.61/95.45	c  N dy  1677    577546       150     12750         0     49345     89250   1262839     38.71     40.77  --
393.77/98.76	c  N dy  1705    598699       150     12750         0     37963     89250    714499     38.68     40.73  --
406.15/101.89	c  N dy  1733    618789       150     12750         0     57075     89250   1562969     38.64     40.83  --
418.51/104.98	c  N dy  1765    638894       150     12750         0     43821     89250    946287     38.62     41.53  --
433.67/108.78	c  N dy  1810    661359       150     12750         0     65320     89250   1903243     38.61     40.73  --
445.64/111.76	c  N dy  1838    681399       150     12750         0     50944     89250   1231162     38.58     41.93  --
462.81/116.08	c  N dy  1897    701470       150     12750         0     35749     89250    527697     38.58     42.49  --
475.17/119.11	c  N dy  1929    721519       150     12750         0     54947     89250   1383524     38.57     40.63  --
489.54/122.70	c  N dy  1997    741527       150     12750         0     38739     89250    625954     38.58     40.70  --
501.50/125.79	c  N dy  2071    761613       150     12750         0     57993     89250   1484305     38.58     40.63  --
515.87/129.32	c  N dy  2131    781656       150     12750         0     40804     89250    682258     38.58     40.99  --
527.83/132.33	c  N dy  2194    801709       150     12750         0     60093     89250   1540850     38.58     40.70  --
531.05/133.16	c  S st  2209    806102       150     12750         0     64298     89250   1729498     38.59   no data  --
531.82/133.34	c  S st  2209    806612       150     12750         0     64794     89250   1751338     38.59   no data  --
531.82/133.34	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
531.82/133.34	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
531.82/133.38	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.14
532.22/133.43	c bin-w-bin subsume rem            0 bins  time:  0.00 s
532.22/133.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
532.22/133.43	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
532.22/133.43	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
632.00/158.49	c lits-rem:      2778  cl-subs:     2820  v-elim:      0  v-fix:    0  time: 99.97 s
632.00/158.50	c vivif2 --  cl tried    12750 cl shrink        0 lits rem          0 time: 0.01
632.41/158.51	c vivif2 --  cl tried    61974 cl shrink        0 lits rem          0 time: 0.07
633.56/158.85	c asymm  cl-useful: 0/1310/12750 lits-rem:0 time: 1.35
633.56/158.85	c calculated reachability. Time: 0.00
633.56/158.85	c  N dy  2209    806612       150     12750         0     61974     89250   1594731     38.59   no data  --
648.33/162.58	c  N dy  2250    830174       150     12750         0     47146     89250    930162     38.56     41.05  --
663.49/166.32	c  N dy  2354    850274       150     12750         0     66456     89250   1796956     38.59     42.78  --
677.86/169.91	c  N dy  2417    870899       150     12750         0     47892     89250    928502     38.59     40.76  --
693.02/173.76	c  N dy  2500    892669       150     12750         0     68727     89250   1858109     38.60     41.17  --
708.18/177.53	c  N dy  2569    913585       150     12750         0     49543     89250    972673     38.60     40.76  --
722.14/181.05	c  N dy  2631    934186       150     12750         0     69259     89250   1856449     38.60     40.66  --
764.07/191.59	c  N dy  2685    990203       150     12750         0     41354     89250    549418     38.50     40.75  --
781.99/196.07	c  N dy  2718   1018448       150     12750         0     68265     89250   1745414     38.47     40.55  --
799.19/200.37	c  N dy  2789   1038767       150     12750         0     45718     89250    713790     38.48     40.65  --
812.36/203.65	c  N dy  2820   1059283       150     12750         0     65359     89250   1584975     38.46     40.53  --
825.11/206.89	c  F st  2880   1071875       150     12750         0     77443     89250   2125183     38.47     36.03  --
833.47/208.97	c  N dy  2894   1079378       150     12750         0     84619     89250   2449543     38.47     44.21  --
849.42/212.92	c  N dy  2954   1099464       150     12750         0     60806     89250   1344792     38.47     41.20  --
867.78/217.58	c  N dy  2994   1120550       150     12750         0     80974     89250   2239476     38.46     40.99  --
886.96/222.39	c  N dy  3057   1142232       150     12750         0     57732     89250   1172895     38.46     40.51  --
906.48/227.27	c  N dy  3161   1162321       150     12750         0     76976     89250   2036186     38.49     40.90  --
929.22/232.95	c  N dy  3199   1189368       150     12750         0     57808     89250   1153108     38.46     40.57  --
947.18/237.40	c  N dy  3272   1209393       150     12750         0     76981     89250   2008783     38.46     40.66  --
947.58/237.56	c  S st  3277   1209919       150     12750         0     77491     89250   2031564     38.46   no data  --
948.41/237.78	c  S st  3277   1210422       150     12750         0     77979     89250   2052832     38.46   no data  --
948.41/237.78	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
948.41/237.78	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
948.77/237.83	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.19
948.77/237.89	c bin-w-bin subsume rem            0 bins  time:  0.00 s
948.77/237.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
948.77/237.89	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
948.77/237.89	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1099.59/275.66	c lits-rem:      2301  cl-subs:     4010  v-elim:      0  v-fix:    0  time: 150.59 s
1099.59/275.66	c vivif2 --  cl tried    12750 cl shrink        0 lits rem          0 time: 0.00
1099.59/275.68	c vivif2 --  cl tried    73969 cl shrink        0 lits rem          0 time: 0.09
1101.61/276.14	c asymm  cl-useful: 0/1154/12750 lits-rem:0 time: 1.84
1101.61/276.15	c calculated reachability. Time: 0.00
1101.61/276.15	c  N dy  3277   1210422       150     12750         0     73969     89250   1848058     38.46   no data  --
1126.72/282.43	c  N dy  3367   1231644       150     12750         0     48496     89250    694448     38.47     40.70  --
1144.27/286.90	c  N dy  3444   1252453       150     12750         0     68435     89250   1588464     38.48     40.78  --
1167.45/292.68	c  N dy  3495   1274042       150     12750         0     89109     89250   2509027     38.48     40.54  --
1187.37/297.66	c  N dy  3577   1294056       150     12750         0     61446     89250   1236738     38.49     40.53  --
1208.92/303.03	c  N dy  3657   1314085       150     12750         0     80681     89250   2094313     38.50     41.10  --
1234.04/309.31	c  N dy  3736   1335740       150     12750         0     53488     89250    848297     38.50     40.68  --
1254.00/314.35	c  N dy  3828   1357088       150     12750         0     73927     89250   1760322     38.51     40.56  --
1280.33/320.91	c  N dy  3914   1378003       150     12750         0     93960     89250   2654370     38.52     40.80  --
1299.88/325.82	c  N dy  3975   1398231       150     12750         0     64474     89250   1303176     38.53     40.66  --
1323.42/331.70	c  N dy  4071   1418313       150     12750         0     83737     89250   2162890     38.54     44.16  --
1348.96/338.15	c  N dy  4143   1438344       150     12750         0     53114     89250    762595     38.54     40.95  --
1368.92/343.20	c  N dy  4224   1459801       150     12750         0     73692     89250   1681403     38.55     40.65  --
1395.25/349.72	c  N dy  4313   1479943       150     12750         0     93017     89250   2545255     38.56     40.74  --
1418.37/355.50	c  N dy  4356   1501361       150     12750         0     62690     89250   1149795     38.55     40.70  --
1438.33/360.54	c  N dy  4407   1521432       150     12750         0     81913     89250   2009757     38.55     41.09  --
1467.46/367.86	c  N dy  4466   1542657       150     12750         0    102234     89250   2915445     38.55     40.77  --
1488.25/373.09	c  N dy  4527   1562731       150     12750         0     69752     89250   1438473     38.55     41.37  --
1514.94/379.79	c  N dy  4620   1582989       150     12750         0     89164     89250   2307945     38.56     40.74  --
1543.68/386.96	c  N dy  4709   1604696       150     12750         0     57288     89250    848011     38.57     40.62  --
1562.45/391.67	c  N dy  4781   1625215       150     12750         0     76971     89250   1729173     38.57     40.71  --
1588.78/398.23	c  N dy  4864   1647684       150     12750         0     98508     89250   2689207     38.58     40.90  --
1610.72/403.75	c  N dy  4936   1667778       150     12750         0     64089     89250   1119627     38.58     40.90  --
1633.44/409.40	c  N dy  5031   1689575       150     12750         0     85014     89250   2059586     38.59     41.06  --
1659.00/415.87	c  N dy  5110   1709638       150     12750         0    104230     89250   2918455     38.60     42.53  --
1660.57/416.21	c  S st  5117   1710422       150     12750         0    104984     89250   2952880     38.60   no data  --
1661.77/416.52	c  S st  5117   1710924       150     12750         0    105472     89250   2974464     38.60   no data  --
1661.77/416.53	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
1661.77/416.53	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1662.17/416.60	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.26
1662.17/416.68	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1662.17/416.68	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1662.17/416.68	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
1662.17/416.68	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2870.76/719.59	c lits-rem:      4325  cl-subs:     5276  v-elim:      0  v-fix:    0  time: 1208.04 s
2871.11/719.60	c vivif2 --  cl tried    12750 cl shrink        0 lits rem          0 time: 0.00
2871.11/719.63	c vivif2 --  cl tried   100196 cl shrink        0 lits rem          0 time: 0.13
2872.31/719.90	c asymm  cl-useful: 0/521/12750 lits-rem:0 time: 1.09
2872.31/719.90	c calculated reachability. Time: 0.00
2872.31/719.90	c  N dy  5117   1710924       150     12750         0    100196     89250   2684161     38.60   no data  --
2903.04/727.68	c  N dy  5187   1742313       150     12750         0     75620     89250   1603605     38.59     40.66  --
2927.41/733.75	c  N dy  5242   1762450       150     12750         0     94885     89250   2462887     38.59     40.70  --
2955.70/740.80	c  N dy  5298   1784756       150     12750         0     60811     89250    905952     38.59     41.16  --
2976.45/746.01	c  N dy  5370   1804852       150     12750         0     80036     89250   1761720     38.59     40.80  --
3002.02/752.48	c  N dy  5444   1824859       150     12750         0     99183     89250   2616712     38.60     40.73  --
3031.11/759.77	c  N dy  5540   1844929       150     12750         0     62005     89250    923264     38.61     40.81  --
3053.06/765.25	c  N dy  5622   1864941       150     12750         0     81244     89250   1784234     38.62     40.78  --
3077.79/771.47	c  N dy  5698   1885040       150     12750         0    100537     89250   2649354     38.62     40.72  --
3103.37/777.89	c  N dy  5733   1906209       150     12750         0     63216     89250    937153     38.61     40.73  --
3122.89/782.75	c  N dy  5772   1927868       150     12750         0     83916     89250   1861607     38.60     40.73  --
3146.85/788.79	c  N dy  5826   1947889       150     12750         0    103086     89250   2715770     38.60     42.27  --
3174.35/795.69	c  N dy  5899   1968020       150     12750         0     63984     89250    943357     38.61     40.65  --
3195.89/801.07	c  N dy  6006   1988031       150     12750         0     83144     89250   1806233     38.62     41.36  --
3222.64/807.76	c  N dy  6091   2008854       150     12750         0    103113     89250   2699880     38.63     41.07  --
3252.19/815.11	c  N dy  6180   2028902       150     12750         0     62943     89250    859888     38.63     40.80  --
3272.11/820.18	c  N dy  6260   2049101       150     12750         0     82254     89250   1724784     38.64     41.21  --
3298.44/826.80	c  N dy  6336   2070137       150     12750         0    102409     89250   2626456     38.64     41.05  --
3328.77/834.30	c  N dy  6399   2090502       150     12750         0     61590     89250    767336     38.65     40.71  --
3348.33/839.29	c  N dy  6471   2111669       150     12750         0     81866     89250   1677834     38.65     40.81  --
3372.26/845.22	c  N dy  6541   2131793       150     12750         0    101119     89250   2542978     38.65     40.78  --
3402.18/852.74	c  N dy  6614   2152234       150     12750         0    120734     89250   3421754     38.66     40.77  --
3421.73/857.60	c  N dy  6698   2172332       150     12750         0     78697     89250   1501917     38.67     43.07  --
3460.04/867.22	c  N dy  6724   2210926       150     12750         0    115387     89250   3133761     38.63     35.38  --
3460.04/867.22	c  S st  6724   2210926       150     12750         0    115387     89250   3133761     38.63     35.38  --
3461.24/867.54	c  S st  6724   2211430       150     12750         0    115871     89250   3155440     38.63   no data  --
3461.24/867.55	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
3461.24/867.55	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3461.64/867.62	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.27
3462.04/867.71	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3462.04/867.71	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3462.04/867.71	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
3462.04/867.71	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4508.18/1129.99	c lits-rem:      4775  cl-subs:     7221  v-elim:      0  v-fix:    0  time: 1046.07 s
4508.18/1129.99	c vivif2 --  cl tried    12750 cl shrink        0 lits rem          0 time: 0.00
4508.58/1130.02	c vivif2 --  cl tried   108650 cl shrink        0 lits rem          0 time: 0.15
4510.58/1130.55	c asymm  cl-useful: 0/1033/12750 lits-rem:0 time: 2.11
4510.58/1130.56	c calculated reachability. Time: 0.00
4510.58/1130.56	c  N dy  6724   2211430       150     12750         0    108650     89250   2793414     38.63   no data  --
4540.50/1138.09	c  N dy  6780   2231458       150     12750         0     65867     89250    900402     38.63     40.77  --
4562.84/1143.65	c  N dy  6832   2252739       150     12750         0     86240     89250   1811431     38.63     40.80  --
4590.38/1150.58	c  N dy  6886   2273727       150     12750         0    106286     89250   2703781     38.63     40.68  --
4630.30/1160.57	c  N dy  6963   2297982       150     12750         0     66444     89250    888586     38.63     40.74  --
4653.41/1166.30	c  N dy  7041   2317994       150     12750         0     85617     89250   1748557     38.63     41.60  --
4681.74/1173.44	c  N dy  7131   2338119       150     12750         0    104889     89250   2617465     38.64     40.93  --
4714.46/1181.68	c  N dy  7196   2358394       150     12750         0    124282     89250   3489857     38.65     40.73  --
4739.20/1187.88	c  N dy  7233   2379622       150     12750         0     80570     89250   1487404     38.64     41.02  --
4766.35/1194.63	c  N dy  7311   2399755       150     12750         0     99885     89250   2351155     38.65     40.78  --
4798.25/1202.69	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: 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-3368656-1305399826/watcher-3368656-1305399826 -o /tmp/evaluation-result-3368656-1305399826/solver-3368656-1305399826 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3368656-1305399826.cnf 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 7.51 7.97 7.69 1/312 7475
/proc/meminfo: memFree=11170408/32951124 swapFree=67093864/67111528
[pid=7475] ppid=7473 vsize=208040 CPUtime=0.01 cores=0,2,4,6
/proc/7475/stat : 7475 (strangenight1-m) R 7473 7475 7247 0 -1 4202496 1017 0 0 0 1 0 0 0 25 0 4 0 651584953 213032960 933 33554432000 4194304 4650419 140733928568320 18446744073709551615 4520021 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/7475/statm: 52010 933 343 112 0 46975 0
[pid=7475/tid=7476] ppid=7473 vsize=208448 CPUtime=0 cores=0,2,4,6
/proc/7475/task/7476/stat : 7476 (strangenight1-m) R 7473 7475 7247 0 -1 4202560 325 0 0 0 0 0 0 0 25 0 4 0 651584953 213450752 1321 33554432000 4194304 4650419 140733928568320 18446744073709551615 4520352 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7475/tid=7477] ppid=7473 vsize=208448 CPUtime=0 cores=0,2,4,6
/proc/7475/task/7477/stat : 7477 (strangenight1-m) R 7473 7475 7247 0 -1 4202560 311 0 0 0 0 0 0 0 25 0 4 0 651584953 213450752 1323 33554432000 4194304 4650419 140733928568320 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7475/tid=7478] ppid=7473 vsize=208448 CPUtime=0 cores=0,2,4,6
/proc/7475/task/7478/stat : 7478 (strangenight1-m) R 7473 7475 7247 0 -1 4202560 40 0 0 0 0 0 0 0 25 0 4 0 651584953 213450752 1326 33554432000 4194304 4650419 140733928568320 18446744073709551615 212436016955 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.113103 s]
/proc/loadavg: 7.51 7.97 7.69 1/312 7475
/proc/meminfo: memFree=11170408/32951124 swapFree=67093864/67111528
[pid=7475] ppid=7473 vsize=217348 CPUtime=0.42 cores=0,2,4,6
/proc/7475/stat : 7475 (strangenight1-m) R 7473 7475 7247 0 -1 4202496 2184 0 0 0 42 0 0 0 25 0 4 0 651584953 222564352 2100 33554432000 4194304 4650419 140733928568320 18446744073709551615 4370532 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/7475/statm: 54337 2100 366 112 0 49302 0
[pid=7475/tid=7476] ppid=7473 vsize=217348 CPUtime=0.1 cores=0,2,4,6
/proc/7475/task/7476/stat : 7476 (strangenight1-m) R 7473 7475 7247 0 -1 4202560 421 0 0 0 10 0 0 0 18 0 4 0 651584953 222564352 2100 33554432000 4194304 4650419 140733928568320 18446744073709551615 4370643 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7475/tid=7477] ppid=7473 vsize=217348 CPUtime=0.1 cores=0,2,4,6
/proc/7475/task/7477/stat : 7477 (strangenight1-m) R 7473 7475 7247 0 -1 4202560 411 0 0 0 10 0 0 0 25 0 4 0 651584953 222564352 2100 33554432000 4194304 4650419 140733928568320 18446744073709551615 4369160 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7475/tid=7478] ppid=7473 vsize=217348 CPUtime=0.09 cores=0,2,4,6
/proc/7475/task/7478/stat : 7478 (strangenight1-m) R 7473 7475 7247 0 -1 4202560 505 0 0 0 9 0 0 0 25 0 4 0 651584953 222564352 2100 33554432000 4194304 4650419 140733928568320 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 217348

[startup+0.201053 s]
/proc/loadavg: 7.51 7.97 7.69 1/312 7475
/proc/meminfo: memFree=11170408/32951124 swapFree=67093864/67111528
[pid=7475] ppid=7473 vsize=217480 CPUtime=0.77 cores=0,2,4,6
/proc/7475/stat : 7475 (strangenight1-m) R 7473 7475 7247 0 -1 4202496 2342 0 0 0 77 0 0 0 25 0 4 0 651584953 222699520 2258 33554432000 4194304 4650419 140733928568320 18446744073709551615 4370707 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/7475/statm: 54370 2258 366 112 0 49335 0
[pid=7475/tid=7476] ppid=7473 vsize=217480 CPUtime=0.19 cores=0,2,4,6
/proc/7475/task/7476/stat : 7476 (strangenight1-m) R 7473 7475 7247 0 -1 4202560 428 0 0 0 19 0 0 0 18 0 4 0 651584953 222699520 2258 33554432000 4194304 4650419 140733928568320 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7475/tid=7477] ppid=7473 vsize=217480 CPUtime=0.19 cores=0,2,4,6
/proc/7475/task/7477/stat : 7477 (strangenight1-m) R 7473 7475 7247 0 -1 4202560 425 0 0 0 19 0 0 0 25 0 4 0 651584953 222699520 2258 33554432000 4194304 4650419 140733928568320 18446744073709551615 4370515 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7475/tid=7478] ppid=7473 vsize=217480 CPUtime=0.18 cores=0,2,4,6
/proc/7475/task/7478/stat : 7478 (strangenight1-m) R 7473 7475 7247 0 -1 4202560 628 0 0 0 18 0 0 0 25 0 4 0 651584953 222699520 2258 33554432000 4194304 4650419 140733928568320 18446744073709551615 4365252 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.77
Current children cumulated vsize (KiB) 217480

[startup+0.301035 s]
/proc/loadavg: 7.51 7.97 7.69 1/312 7475
/proc/meminfo: memFree=11170408/32951124 swapFree=67093864/67111528
[pid=7475] ppid=7473 vsize=218628 CPUtime=1.17 cores=0,2,4,6
/proc/7475/stat : 7475 (strangenight1-m) R 7473 7475 7247 0 -1 4202496 2796 0 0 0 117 0 0 0 25 0 4 0 651584953 223875072 2332 33554432000 4194304 4650419 140733928568320 18446744073709551615 4370675 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/7475/statm: 54657 2332 369 112 0 49622 0
[pid=7475/tid=7476] ppid=7473 vsize=218628 CPUtime=0.29 cores=0,2,4,6
/proc/7475/task/7476/stat : 7476 (strangenight1-m) R 7473 7475 7247 0 -1 4202560 430 0 0 0 29 0 0 0 18 0 4 0 651584953 223875072 2332 33554432000 4194304 4650419 140733928568320 18446744073709551615 4370707 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7475/tid=7477] ppid=7473 vsize=218628 CPUtime=0.29 cores=0,2,4,6
/proc/7475/task/7477/stat : 7477 (strangenight1-m) R 7473 7475 7247 0 -1 4202560 439 0 0 0 29 0 0 0 25 0 4 0 651584953 223875072 2332 33554432000 4194304 4650419 140733928568320 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7475/tid=7478] ppid=7473 vsize=218628 CPUtime=0.28 cores=0,2,4,6
/proc/7475/task/7478/stat : 7478 (strangenight1-m) R 7473 7475 7247 0 -1 4202560 1054 0 0 0 28 0 0 0 25 0 4 0 651584953 223875072 2332 33554432000 4194304 4650419 140733928568320 18446744073709551615 4365300 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 218628

[startup+0.70096 s]
/proc/loadavg: 7.51 7.97 7.69 1/312 7475
/proc/meminfo: memFree=11170408/32951124 swapFree=67093864/67111528
[pid=7475] ppid=7473 vsize=206504 CPUtime=2.77 cores=0,2,4,6
/proc/7475/stat : 7475 (strangenight1-m) R 7473 7475 7247 0 -1 4202496 7928 0 0 0 276 1 0 0 25 0 4 0 651584953 211460096 5340 33554432000 4194304 4650419 140733928568320 18446744073709551615 4365289 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/7475/statm: 51626 5341 390 112 0 46591 0
[pid=7475/tid=7476] ppid=7473 vsize=206504 CPUtime=0.69 cores=0,2,4,6
/proc/7475/task/7476/stat : 7476 (strangenight1-m) R 7473 7475 7247 0 -1 4202560 1938 0 0 0 69 0 0 0 18 0 4 0 651584953 211460096 5341 33554432000 4194304 4650419 140733928568320 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7475/tid=7477] ppid=7473 vsize=206504 CPUtime=0.69 cores=0,2,4,6
/proc/7475/task/7477/stat : 7477 (strangenight1-m) R 7473 7475 7247 0 -1 4202560 2003 0 0 0 69 0 0 0 25 0 4 0 651584953 211460096 5341 33554432000 4194304 4650419 140733928568320 18446744073709551615 4520131 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7475/tid=7478] ppid=7473 vsize=206504 CPUtime=0.68 cores=0,2,4,6
/proc/7475/task/7478/stat : 7478 (strangenight1-m) R 7473 7475 7247 0 -1 4202560 1661 0 0 0 68 0 0 0 25 0 4 0 651584953 211460096 5341 33554432000 4194304 4650419 140733928568320 18446744073709551615 4334521 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 206504

[startup+1.50081 s]
/proc/loadavg: 7.51 7.97 7.69 9/324 7492
/proc/meminfo: memFree=11105636/32951124 swapFree=67093864/67111528
[pid=7475] ppid=7473 vsize=236244 CPUtime=5.95 cores=0,2,4,6
/proc/7475/stat : 7475 (strangenight1-m) R 7473 7475 7247 0 -1 4202496 12930 0 0 0 594 1 0 0 25 0 4 0 651584953 241913856 7958 33554432000 4194304 4650419 140733928568320 18446744073709551615 4366920 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/7475/statm: 59061 7959 391 112 0 54026 0
[pid=7475/tid=7476] ppid=7473 vsize=236244 CPUtime=1.48 cores=0,2,4,6
/proc/7475/task/7476/stat : 7476 (strangenight1-m) R 7473 7475 7247 0 -1 4202560 3345 0 0 0 148 0 0 0 19 0 4 0 651584953 241913856 7959 33554432000 4194304 4650419 140733928568320 18446744073709551615 4366879 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7475/tid=7477] ppid=7473 vsize=236244 CPUtime=1.49 cores=0,2,4,6
/proc/7475/task/7477/stat : 7477 (strangenight1-m) R 7473 7475 7247 0 -1 4202560 3327 0 0 0 149 0 0 0 25 0 4 0 651584953 241913856 7959 33554432000 4194304 4650419 140733928568320 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7475/tid=7478] ppid=7473 vsize=236244 CPUtime=1.47 cores=0,2,4,6
/proc/7475/task/7478/stat : 7478 (strangenight1-m) R 7473 7475 7247 0 -1 4202560 2565 0 0 0 147 0 0 0 25 0 4 0 651584953 241913856 7959 33554432000 4194304 4650419 140733928568320 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.95
Current children cumulated vsize (KiB) 236244

[startup+3.10051 s]
/proc/loadavg: 7.51 7.97 7.69 9/324 7492
/proc/meminfo: memFree=11081456/32951124 swapFree=67093864/67111528
[pid=7475] ppid=7473 vsize=249912 CPUtime=12.34 cores=0,2,4,6
/proc/7475/stat : 7475 (strangenight1-m) R 7473 7475 7247 0 -1 4202496 27600 0 0 0 1231 3 0 0 25 0 4 0 651584953 255909888 17787 33554432000 4194304 4650419 140733928568320 18446744073709551615 4439191 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/7475/statm: 62478 17787 392 112 0 57443 0
[pid=7475/tid=7476] ppid=7473 vsize=249912 CPUtime=3.08 cores=0,2,4,6
/proc/7475/task/7476/stat : 7476 (strangenight1-m) R 7473 7475 7247 0 -1 4202560 5920 0 0 0 308 0 0 0 23 0 4 0 651584953 255909888 17787 33554432000 4194304 4650419 140733928568320 18446744073709551615 4439120 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7475/tid=7477] ppid=7473 vsize=249912 CPUtime=3.08 cores=0,2,4,6
/proc/7475/task/7477/stat : 7477 (strangenight1-m) R 7473 7475 7247 0 -1 4202560 8133 0 0 0 308 0 0 0 25 0 4 0 651584953 255909888 17787 33554432000 4194304 4650419 140733928568320 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7475/tid=7478] ppid=7473 vsize=249912 CPUtime=3.05 cores=0,2,4,6
/proc/7475/task/7478/stat : 7478 (strangenight1-m) R 7473 7475 7247 0 -1 4202560 7207 0 0 0 305 0 0 0 25 0 4 0 651584953 255909888 17787 33554432000 4194304 4650419 140733928568320 18446744073709551615 4476201 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 249912

[startup+6.3009 s]
/proc/loadavg: 7.55 7.97 7.69 9/324 7492
/proc/meminfo: memFree=10969820/32951124 swapFree=67093864/67111528
[pid=7475] ppid=7473 vsize=251992 CPUtime=25.11 cores=0,2,4,6
/proc/7475/stat : 7475 (strangenight1-m) R 7473 7475 7247 0 -1 4202496 32693 0 0 0 2507 4 0 0 25 0 4 0 651584953 258039808 18937 33554432000 4194304 4650419 140733928568320 18446744073709551615 4439103 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/7475/statm: 62998 18938 392 112 0 57963 0
[pid=7475/tid=7476] ppid=7473 vsize=251992 CPUtime=6.28 cores=0,2,4,6
/proc/7475/task/7476/stat : 7476 (strangenight1-m) R 7473 7475 7247 0 -1 4202560 7749 0 0 0 628 0 0 0 25 0 4 0 651584953 258039808 18938 33554432000 4194304 4650419 140733928568320 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7475/tid=7477] ppid=7473 vsize=251992 CPUtime=6.29 cores=0,2,4,6
/proc/7475/task/7477/stat : 7477 (strangenight1-m) R 7473 7475 7247 0 -1 4202560 8441 0 0 0 628 1 0 0 25 0 4 0 651584953 258039808 18938 33554432000 4194304 4650419 140733928568320 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7475/tid=7478] ppid=7473 vsize=251992 CPUtime=6.23 cores=0,2,4,6
/proc/7475/task/7478/stat : 7478 (strangenight1-m) R 7473 7475 7247 0 -1 4202560 8500 0 0 0 622 1 0 0 25 0 4 0 651584953 258039808 18938 33554432000 4194304 4650419 140733928568320 18446744073709551615 4365361 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.11
Current children cumulated vsize (KiB) 251992

[startup+12.7007 s]
/proc/loadavg: 7.58 7.97 7.69 9/324 7492
/proc/meminfo: memFree=10888404/32951124 swapFree=67093864/67111528
[pid=7475] ppid=7473 vsize=261764 CPUtime=50.65 cores=0,2,4,6
/proc/7475/stat : 7475 (strangenight1-m) R 7473 7475 7247 0 -1 4202496 49865 0 0 0 5056 9 0 0 25 0 4 0 651584953 268046336 29455 33554432000 4194304 4650419 140733928568320 18446744073709551615 4307317 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/7475/statm: 65441 29455 392 112 0 60406 0
[pid=7475/tid=7476] ppid=7473 vsize=261764 CPUtime=12.68 cores=0,2,4,6
/proc/7475/task/7476/stat : 7476 (strangenight1-m) R 7473 7475 7247 0 -1 4202560 12996 0 0 0 1266 2 0 0 25 0 4 0 651584953 268046336 29455 33554432000 4194304 4650419 140733928568320 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7475/tid=7477] ppid=7473 vsize=261764 CPUtime=12.68 cores=0,2,4,6
/proc/7475/task/7477/stat : 7477 (strangenight1-m) R 7473 7475 7247 0 -1 4202560 12800 0 0 0 1267 1 0 0 25 0 4 0 651584953 268046336 29455 33554432000 4194304 4650419 140733928568320 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7475/tid=7478] ppid=7473 vsize=261764 CPUtime=12.56 cores=0,2,4,6
/proc/7475/task/7478/stat : 7478 (strangenight1-m) R 7473 7475 7247 0 -1 4202560 13444 0 0 0 1254 2 0 0 25 0 4 0 651584953 268046336 29455 33554432000 4194304 4650419 140733928568320 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.65
Current children cumulated vsize (KiB) 261764

[startup+25.5013 s]
/proc/loadavg: 7.75 7.99 7.70 9/324 7493
/proc/meminfo: memFree=10790412/32951124 swapFree=67093864/67111528
[pid=7475] ppid=7473 vsize=282416 CPUtime=101.71 cores=0,2,4,6
/proc/7475/stat : 7475 (strangenight1-m) R 7473 7475 7247 0 -1 4202496 79600 0 0 0 10153 18 0 0 25 0 4 0 651584953 289193984 34336 33554432000 4194304 4650419 140733928568320 18446744073709551615 4476356 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/7475/statm: 70604 34336 392 112 0 65569 0
[pid=7475/tid=7476] ppid=7473 vsize=282416 CPUtime=25.49 cores=0,2,4,6
/proc/7475/task/7476/stat : 7476 (strangenight1-m) R 7473 7475 7247 0 -1 4202560 20980 0 0 0 2544 5 0 0 25 0 4 0 651584953 289193984 34336 33554432000 4194304 4650419 140733928568320 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7475/tid=7477] ppid=7473 vsize=282416 CPUtime=25.48 cores=0,2,4,6
/proc/7475/task/7477/stat : 7477 (strangenight1-m) R 7473 7475 7247 0 -1 4202560 21575 0 0 0 2544 4 0 0 25 0 4 0 651584953 289193984 34336 33554432000 4194304 4650419 140733928568320 18446744073709551615 4439361 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7475/tid=7478] ppid=7473 vsize=282416 CPUtime=25.23 cores=0,2,4,6
/proc/7475/task/7478/stat : 7478 (strangenight1-m) R 7473 7475 7247 0 -1 4202560 20033 0 0 0 2519 4 0 0 25 0 4 0 651584953 289193984 34337 33554432000 4194304 4650419 140733928568320 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.71
Current children cumulated vsize (KiB) 282416

[startup+51.1004 s]
/proc/loadavg: 7.91 8.00 7.72 9/324 7493
/proc/meminfo: memFree=10665432/32951124 swapFree=67093864/67111528
[pid=7475] ppid=7473 vsize=365984 CPUtime=203.85 cores=0,2,4,6
/proc/7475/stat : 7475 (strangenight1-m) R 7473 7475 7247 0 -1 4202496 125657 0 0 0 20355 30 0 0 25 0 4 0 651584953 374767616 45931 33554432000 4194304 4650419 140733928568320 18446744073709551615 4520364 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/7475/statm: 91496 45931 392 112 0 86461 0
[pid=7475/tid=7476] ppid=7473 vsize=365984 CPUtime=51.07 cores=0,2,4,6
/proc/7475/task/7476/stat : 7476 (strangenight1-m) R 7473 7475 7247 0 -1 4202560 33680 0 0 0 5099 8 0 0 25 0 4 0 651584953 374767616 45931 33554432000 4194304 4650419 140733928568320 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7475/tid=7477] ppid=7473 vsize=365984 CPUtime=51.09 cores=0,2,4,6
/proc/7475/task/7477/stat : 7477 (strangenight1-m) R 7473 7475 7247 0 -1 4202560 33297 0 0 0 5101 8 0 0 25 0 4 0 651584953 374767616 45931 33554432000 4194304 4650419 140733928568320 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7475/tid=7478] ppid=7473 vsize=365984 CPUtime=50.58 cores=0,2,4,6
/proc/7475/task/7478/stat : 7478 (strangenight1-m) R 7473 7475 7247 0 -1 4202560 32460 0 0 0 5051 7 0 0 25 0 4 0 651584953 374767616 45931 33554432000 4194304 4650419 140733928568320 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 203.85
Current children cumulated vsize (KiB) 365984

[startup+102.301 s]
/proc/loadavg: 7.96 8.00 7.73 9/324 7495
/proc/meminfo: memFree=10592592/32951124 swapFree=67093864/67111528
[pid=7475] ppid=7473 vsize=360112 CPUtime=408.17 cores=0,2,4,6
/proc/7475/stat : 7475 (strangenight1-m) R 7473 7475 7247 0 -1 4202496 180978 0 0 0 40770 47 0 0 25 0 4 0 651584953 368754688 54612 33554432000 4194304 4650419 140733928568320 18446744073709551615 4364777 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/7475/statm: 90028 54612 392 112 0 84993 0
[pid=7475/tid=7476] ppid=7473 vsize=360112 CPUtime=102.28 cores=0,2,4,6
/proc/7475/task/7476/stat : 7476 (strangenight1-m) R 7473 7475 7247 0 -1 4202560 51214 0 0 0 10214 14 0 0 25 0 4 0 651584953 368754688 54615 33554432000 4194304 4650419 140733928568320 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7475/tid=7477] ppid=7473 vsize=360112 CPUtime=102.3 cores=0,2,4,6
/proc/7475/task/7477/stat : 7477 (strangenight1-m) R 7473 7475 7247 0 -1 4202560 52740 0 0 0 10217 13 0 0 25 0 4 0 651584953 368754688 54615 33554432000 4194304 4650419 140733928568320 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7475/tid=7478] ppid=7473 vsize=360112 CPUtime=101.27 cores=0,2,4,6
/proc/7475/task/7478/stat : 7478 (strangenight1-m) R 7473 7475 7247 0 -1 4202560 46884 0 0 0 10116 11 0 0 25 0 4 0 651584953 368754688 54615 33554432000 4194304 4650419 140733928568320 18446744073709551615 4476315 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 408.17
Current children cumulated vsize (KiB) 360112

[startup+162.3 s]

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

[pid=7475] ppid=7473 vsize=576896 CPUtime=2562.7 cores=0,2,4,6
/proc/7475/stat : 7475 (strangenight1-m) R 7473 7475 7247 0 -1 4202496 483895 0 0 0 256103 167 0 0 25 0 4 0 651584953 590741504 103693 33554432000 4194304 4650419 140733928568320 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/7475/statm: 144224 103693 392 112 0 139189 0
[pid=7475/tid=7476] ppid=7473 vsize=576896 CPUtime=642.19 cores=0,2,4,6
/proc/7475/task/7476/stat : 7476 (strangenight1-m) R 7473 7475 7247 0 -1 4202560 152028 0 0 0 64160 59 0 0 25 0 4 0 651584953 590741504 103693 33554432000 4194304 4650419 140733928568320 18446744073709551615 4365327 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7475/tid=7477] ppid=7473 vsize=576896 CPUtime=642.29 cores=0,2,4,6
/proc/7475/task/7477/stat : 7477 (strangenight1-m) R 7473 7475 7247 0 -1 4202560 172335 0 0 0 64178 51 0 0 25 0 4 0 651584953 590741504 103693 33554432000 4194304 4650419 140733928568320 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7475/tid=7478] ppid=7473 vsize=576896 CPUtime=635.88 cores=0,2,4,6
/proc/7475/task/7478/stat : 7478 (strangenight1-m) R 7473 7475 7247 0 -1 4202560 106005 0 0 0 63551 37 0 0 25 0 4 0 651584953 590741504 103693 33554432000 4194304 4650419 140733928568320 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2562.7
Current children cumulated vsize (KiB) 576896

[startup+702.301 s]
/proc/loadavg: 8.13 8.10 7.90 9/324 7511
/proc/meminfo: memFree=10061608/32951124 swapFree=67093864/67111528
[pid=7475] ppid=7473 vsize=563532 CPUtime=2802.09 cores=0,2,4,6
/proc/7475/stat : 7475 (strangenight1-m) R 7473 7475 7247 0 -1 4202496 497744 0 0 0 280035 174 0 0 25 0 4 0 651584953 577056768 107519 33554432000 4194304 4650419 140733928568320 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/7475/statm: 140883 107519 392 112 0 135848 0
[pid=7475/tid=7476] ppid=7473 vsize=563532 CPUtime=702.19 cores=0,2,4,6
/proc/7475/task/7476/stat : 7476 (strangenight1-m) R 7473 7475 7247 0 -1 4202560 159184 0 0 0 70155 64 0 0 25 0 4 0 651584953 577056768 107519 33554432000 4194304 4650419 140733928568320 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7475/tid=7477] ppid=7473 vsize=563532 CPUtime=702.29 cores=0,2,4,6
/proc/7475/task/7477/stat : 7477 (strangenight1-m) R 7473 7475 7247 0 -1 4202560 172846 0 0 0 70178 51 0 0 25 0 4 0 651584953 577056768 107519 33554432000 4194304 4650419 140733928568320 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7475/tid=7478] ppid=7473 vsize=563532 CPUtime=695.28 cores=0,2,4,6
/proc/7475/task/7478/stat : 7478 (strangenight1-m) R 7473 7475 7247 0 -1 4202560 112187 0 0 0 69488 40 0 0 25 0 4 0 651584953 577056768 107519 33554432000 4194304 4650419 140733928568320 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2802.09
Current children cumulated vsize (KiB) 563532

[startup+762.301 s]
/proc/loadavg: 8.15 8.11 7.91 9/324 7512
/proc/meminfo: memFree=10025612/32951124 swapFree=67093864/67111528
[pid=7475] ppid=7473 vsize=548300 CPUtime=3041.52 cores=0,2,4,6
/proc/7475/stat : 7475 (strangenight1-m) R 7473 7475 7247 0 -1 4202496 512899 0 0 0 303970 182 0 0 25 0 4 0 651584953 561459200 115282 33554432000 4194304 4650419 140733928568320 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/7475/statm: 137075 115282 392 112 0 132040 0
[pid=7475/tid=7476] ppid=7473 vsize=548300 CPUtime=762.19 cores=0,2,4,6
/proc/7475/task/7476/stat : 7476 (strangenight1-m) R 7473 7475 7247 0 -1 4202560 162457 0 0 0 76154 65 0 0 25 0 4 0 651584953 561459200 115283 33554432000 4194304 4650419 140733928568320 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7475/tid=7477] ppid=7473 vsize=548300 CPUtime=762.3 cores=0,2,4,6
/proc/7475/task/7477/stat : 7477 (strangenight1-m) R 7473 7475 7247 0 -1 4202560 172846 0 0 0 76179 51 0 0 25 0 4 0 651584953 561459200 115283 33554432000 4194304 4650419 140733928568320 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7475/tid=7478] ppid=7473 vsize=548300 CPUtime=754.68 cores=0,2,4,6
/proc/7475/task/7478/stat : 7478 (strangenight1-m) R 7473 7475 7247 0 -1 4202560 118942 0 0 0 75425 43 0 0 25 0 4 0 651584953 561459200 115283 33554432000 4194304 4650419 140733928568320 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3041.52
Current children cumulated vsize (KiB) 548300

[startup+822.301 s]
/proc/loadavg: 8.11 8.10 7.92 9/324 7514
/proc/meminfo: memFree=10032532/32951124 swapFree=67093864/67111528
[pid=7475] ppid=7473 vsize=549524 CPUtime=3280.89 cores=0,2,4,6
/proc/7475/stat : 7475 (strangenight1-m) R 7473 7475 7247 0 -1 4202496 530243 0 0 0 327897 192 0 0 25 0 4 0 651584953 562712576 116264 33554432000 4194304 4650419 140733928568320 18446744073709551615 4364788 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/7475/statm: 137381 116264 392 112 0 132346 0
[pid=7475/tid=7476] ppid=7473 vsize=549524 CPUtime=822.18 cores=0,2,4,6
/proc/7475/task/7476/stat : 7476 (strangenight1-m) R 7473 7475 7247 0 -1 4202560 168545 0 0 0 82149 69 0 0 25 0 4 0 651584953 562712576 116264 33554432000 4194304 4650419 140733928568320 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7475/tid=7477] ppid=7473 vsize=549524 CPUtime=822.29 cores=0,2,4,6
/proc/7475/task/7477/stat : 7477 (strangenight1-m) R 7473 7475 7247 0 -1 4202560 172846 0 0 0 82178 51 0 0 25 0 4 0 651584953 562712576 116264 33554432000 4194304 4650419 140733928568320 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7475/tid=7478] ppid=7473 vsize=549524 CPUtime=814.09 cores=0,2,4,6
/proc/7475/task/7478/stat : 7478 (strangenight1-m) R 7473 7475 7247 0 -1 4202560 126800 0 0 0 81361 48 0 0 25 0 4 0 651584953 562712576 116264 33554432000 4194304 4650419 140733928568320 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3280.89
Current children cumulated vsize (KiB) 549524

[startup+882.312 s]
/proc/loadavg: 8.07 8.10 7.93 9/324 7515
/proc/meminfo: memFree=10044264/32951124 swapFree=67093864/67111528
[pid=7475] ppid=7473 vsize=642996 CPUtime=3520.33 cores=0,2,4,6
/proc/7475/stat : 7475 (strangenight1-m) R 7473 7475 7247 0 -1 4202496 548722 0 0 0 351832 201 0 0 25 0 4 0 651584953 658427904 109114 33554432000 4194304 4650419 140733928568320 18446744073709551615 4438402 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/7475/statm: 160749 109114 392 112 0 155714 0
[pid=7475/tid=7476] ppid=7473 vsize=642996 CPUtime=882.18 cores=0,2,4,6
/proc/7475/task/7476/stat : 7476 (strangenight1-m) R 7473 7475 7247 0 -1 4202560 175000 0 0 0 88146 72 0 0 25 0 4 0 651584953 658427904 109114 33554432000 4194304 4650419 140733928568320 18446744073709551615 4365333 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7475/tid=7477] ppid=7473 vsize=642996 CPUtime=882.3 cores=0,2,4,6
/proc/7475/task/7477/stat : 7477 (strangenight1-m) R 7473 7475 7247 0 -1 4202560 176537 0 0 0 88177 53 0 0 25 0 4 0 651584953 658427904 109114 33554432000 4194304 4650419 140733928568320 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7475/tid=7478] ppid=7473 vsize=642996 CPUtime=873.49 cores=0,2,4,6
/proc/7475/task/7478/stat : 7478 (strangenight1-m) R 7473 7475 7247 0 -1 4202560 133523 0 0 0 87298 51 0 0 25 0 4 0 651584953 658427904 109114 33554432000 4194304 4650419 140733928568320 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3520.33
Current children cumulated vsize (KiB) 642996

[startup+942.3 s]
/proc/loadavg: 8.14 8.11 7.94 9/324 7517
/proc/meminfo: memFree=10034952/32951124 swapFree=67093864/67111528
[pid=7475] ppid=7473 vsize=657992 CPUtime=3759.68 cores=0,2,4,6
/proc/7475/stat : 7475 (strangenight1-m) R 7473 7475 7247 0 -1 4202496 570508 0 0 0 375756 212 0 0 25 0 4 0 651584953 673783808 112173 33554432000 4194304 4650419 140733928568320 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/7475/statm: 164498 112173 392 112 0 159463 0
[pid=7475/tid=7476] ppid=7473 vsize=657992 CPUtime=942.15 cores=0,2,4,6
/proc/7475/task/7476/stat : 7476 (strangenight1-m) R 7473 7475 7247 0 -1 4202560 183956 0 0 0 94140 75 0 0 25 0 4 0 651584953 673783808 112173 33554432000 4194304 4650419 140733928568320 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7475/tid=7477] ppid=7473 vsize=657992 CPUtime=942.29 cores=0,2,4,6
/proc/7475/task/7477/stat : 7477 (strangenight1-m) R 7473 7475 7247 0 -1 4202560 184501 0 0 0 94172 57 0 0 25 0 4 0 651584953 673783808 112173 33554432000 4194304 4650419 140733928568320 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7475/tid=7478] ppid=7473 vsize=657992 CPUtime=932.89 cores=0,2,4,6
/proc/7475/task/7478/stat : 7478 (strangenight1-m) R 7473 7475 7247 0 -1 4202560 138389 0 0 0 93235 54 0 0 25 0 4 0 651584953 673783808 112173 33554432000 4194304 4650419 140733928568320 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3759.68
Current children cumulated vsize (KiB) 657992

[startup+1002.3 s]
/proc/loadavg: 8.12 8.10 7.94 9/324 7519
/proc/meminfo: memFree=9969568/32951124 swapFree=67093864/67111528
[pid=7475] ppid=7473 vsize=831936 CPUtime=3999.08 cores=0,2,4,6
/proc/7475/stat : 7475 (strangenight1-m) R 7473 7475 7247 0 -1 4202496 596197 0 0 0 399685 223 0 0 25 0 4 0 651584953 851902464 127470 33554432000 4194304 4650419 140733928568320 18446744073709551615 4476488 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/7475/statm: 207984 127470 392 112 0 202949 0
[pid=7475/tid=7476] ppid=7473 vsize=831936 CPUtime=1002.15 cores=0,2,4,6
/proc/7475/task/7476/stat : 7476 (strangenight1-m) R 7473 7475 7247 0 -1 4202560 193935 0 0 0 100138 77 0 0 25 0 4 0 651584953 851902464 127470 33554432000 4194304 4650419 140733928568320 18446744073709551615 4438661 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7475/tid=7477] ppid=7473 vsize=831936 CPUtime=1002.29 cores=0,2,4,6
/proc/7475/task/7477/stat : 7477 (strangenight1-m) R 7473 7475 7247 0 -1 4202560 190999 0 0 0 100168 61 0 0 25 0 4 0 651584953 851902464 127470 33554432000 4194304 4650419 140733928568320 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7475/tid=7478] ppid=7473 vsize=831936 CPUtime=992.28 cores=0,2,4,6
/proc/7475/task/7478/stat : 7478 (strangenight1-m) R 7473 7475 7247 0 -1 4202560 147601 0 0 0 99169 59 0 0 25 0 4 0 651584953 851902464 127470 33554432000 4194304 4650419 140733928568320 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3999.08
Current children cumulated vsize (KiB) 831936

[startup+1062.3 s]
/proc/loadavg: 8.09 8.09 7.95 9/324 7520
/proc/meminfo: memFree=9977836/32951124 swapFree=67093864/67111528
[pid=7475] ppid=7473 vsize=724672 CPUtime=4238.46 cores=0,2,4,6
/proc/7475/stat : 7475 (strangenight1-m) R 7473 7475 7247 0 -1 4202496 605106 0 0 0 423618 228 0 0 25 0 4 0 651584953 742064128 128409 33554432000 4194304 4650419 140733928568320 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/7475/statm: 181168 128409 392 112 0 176133 0
[pid=7475/tid=7476] ppid=7473 vsize=724672 CPUtime=1062.14 cores=0,2,4,6
/proc/7475/task/7476/stat : 7476 (strangenight1-m) R 7473 7475 7247 0 -1 4202560 193935 0 0 0 106137 77 0 0 25 0 4 0 651584953 742064128 128409 33554432000 4194304 4650419 140733928568320 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7475/tid=7477] ppid=7473 vsize=724672 CPUtime=1062.29 cores=0,2,4,6
/proc/7475/task/7477/stat : 7477 (strangenight1-m) R 7473 7475 7247 0 -1 4202560 194490 0 0 0 106166 63 0 0 25 0 4 0 651584953 742064128 128409 33554432000 4194304 4650419 140733928568320 18446744073709551615 4365276 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7475/tid=7478] ppid=7473 vsize=724672 CPUtime=1051.68 cores=0,2,4,6
/proc/7475/task/7478/stat : 7478 (strangenight1-m) R 7473 7475 7247 0 -1 4202560 153019 0 0 0 105105 63 0 0 25 0 4 0 651584953 742064128 128409 33554432000 4194304 4650419 140733928568320 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4238.46
Current children cumulated vsize (KiB) 724672

[startup+1122.3 s]
/proc/loadavg: 8.03 8.07 7.95 9/324 7522
/proc/meminfo: memFree=9938372/32951124 swapFree=67093864/67111528
[pid=7475] ppid=7473 vsize=905820 CPUtime=4477.85 cores=0,2,4,6
/proc/7475/stat : 7475 (strangenight1-m) R 7473 7475 7247 0 -1 4202496 618018 0 0 0 447548 237 0 0 25 0 4 0 651584953 927559680 131446 33554432000 4194304 4650419 140733928568320 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/7475/statm: 226455 131446 392 112 0 221420 0
[pid=7475/tid=7476] ppid=7473 vsize=905820 CPUtime=1122.13 cores=0,2,4,6
/proc/7475/task/7476/stat : 7476 (strangenight1-m) R 7473 7475 7247 0 -1 4202560 193935 0 0 0 112136 77 0 0 25 0 4 0 651584953 927559680 131446 33554432000 4194304 4650419 140733928568320 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7475/tid=7477] ppid=7473 vsize=905820 CPUtime=1122.29 cores=0,2,4,6
/proc/7475/task/7477/stat : 7477 (strangenight1-m) R 7473 7475 7247 0 -1 4202560 203997 0 0 0 112159 70 0 0 25 0 4 0 651584953 927559680 131446 33554432000 4194304 4650419 140733928568320 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7475/tid=7478] ppid=7473 vsize=905820 CPUtime=1111.07 cores=0,2,4,6
/proc/7475/task/7478/stat : 7478 (strangenight1-m) R 7473 7475 7247 0 -1 4202560 156424 0 0 0 111043 64 0 0 25 0 4 0 651584953 927559680 131446 33554432000 4194304 4650419 140733928568320 18446744073709551615 4439103 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4477.85
Current children cumulated vsize (KiB) 905820

[startup+1182.3 s]
/proc/loadavg: 8.12 8.09 7.96 9/324 7523
/proc/meminfo: memFree=9928904/32951124 swapFree=67093864/67111528
[pid=7475] ppid=7473 vsize=813948 CPUtime=4717.26 cores=0,2,4,6
/proc/7475/stat : 7475 (strangenight1-m) R 7473 7475 7247 0 -1 4202496 631584 0 0 0 471480 246 0 0 25 0 4 0 651584953 833482752 130241 33554432000 4194304 4650419 140733928568320 18446744073709551615 4365286 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/7475/statm: 203487 130241 392 112 0 198452 0
[pid=7475/tid=7476] ppid=7473 vsize=813948 CPUtime=1182.12 cores=0,2,4,6
/proc/7475/task/7476/stat : 7476 (strangenight1-m) R 7473 7475 7247 0 -1 4202560 193980 0 0 0 118135 77 0 0 25 0 4 0 651584953 833482752 130241 33554432000 4194304 4650419 140733928568320 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7475/tid=7477] ppid=7473 vsize=813948 CPUtime=1182.3 cores=0,2,4,6
/proc/7475/task/7477/stat : 7477 (strangenight1-m) R 7473 7475 7247 0 -1 4202560 212023 0 0 0 118154 76 0 0 25 0 4 0 651584953 833482752 130241 33554432000 4194304 4650419 140733928568320 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7475/tid=7478] ppid=7473 vsize=813948 CPUtime=1170.48 cores=0,2,4,6
/proc/7475/task/7478/stat : 7478 (strangenight1-m) R 7473 7475 7247 0 -1 4202560 156537 0 0 0 116984 64 0 0 25 0 4 0 651584953 833482752 130241 33554432000 4194304 4650419 140733928568320 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4717.26
Current children cumulated vsize (KiB) 813948



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.1 s]
/proc/loadavg: 8.16 8.10 7.96 9/324 7524
/proc/meminfo: memFree=9916124/32951124 swapFree=67093864/67111528
[pid=7475] ppid=7473 vsize=855972 CPUtime=4800.27 cores=0,2,4,6
/proc/7475/stat : 7475 (strangenight1-m) R 7473 7475 7247 0 -1 4202496 638395 0 0 0 479778 249 0 0 25 0 4 0 651584953 876515328 129288 33554432000 4194304 4650419 140733928568320 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/7475/statm: 213993 129288 392 112 0 208958 0
[pid=7475/tid=7476] ppid=7473 vsize=855972 CPUtime=1202.93 cores=0,2,4,6
/proc/7475/task/7476/stat : 7476 (strangenight1-m) R 7473 7475 7247 0 -1 4202560 194290 0 0 0 120216 77 0 0 25 0 4 0 651584953 876515328 129289 33554432000 4194304 4650419 140733928568320 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7475/tid=7477] ppid=7473 vsize=855972 CPUtime=1203.1 cores=0,2,4,6
/proc/7475/task/7477/stat : 7477 (strangenight1-m) R 7473 7475 7247 0 -1 4202560 214530 0 0 0 120233 77 0 0 25 0 4 0 651584953 876515328 129289 33554432000 4194304 4650419 140733928568320 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7475/tid=7478] ppid=7473 vsize=855972 CPUtime=1191.07 cores=0,2,4,6
/proc/7475/task/7478/stat : 7478 (strangenight1-m) R 7473 7475 7247 0 -1 4202560 156605 0 0 0 119043 64 0 0 25 0 4 0 651584953 876515328 129289 33554432000 4194304 4650419 140733928568320 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.27
Current children cumulated vsize (KiB) 855972

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.14
CPU time (s): 4800.34
CPU user time (s): 4797.82
CPU system time (s): 2.52062
CPU usage (%): 398.983
Max. virtual memory (cumulated for all children) (KiB): 905820

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.82
system time used= 2.52062
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 638397
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= 422
involuntary context switches= 35659

runsolver used 3.36949 second user time and 8.71368 second system time

The end

Launcher Data 

Begin job on node102 at 2011-05-14 21:03:46
IDJOB=3368656
IDBENCH=82665
IDSOLVER=1846
FILE ID=node102/3368656-1305399826
RUNJOBID= node102-1305397415-7265
PBS_JOBID= 13324460
Free space on /tmp= 73528 MiB

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

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

MD5SUM BENCH= a959d408d44dc22efc55e46b642f9083
RANDOM SEED=2000148951

node102.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	: 5226.15
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.82
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.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.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.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.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.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.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:     32951124 kB
MemFree:      11170572 kB
Buffers:        252972 kB
Cached:        2793784 kB
SwapCached:       1128 kB
Active:       19505920 kB
Inactive:      1980376 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      11170572 kB
SwapTotal:    67111528 kB
SwapFree:     67093864 kB
Dirty:            7956 kB
Writeback:           0 kB
AnonPages:    18438120 kB
Mapped:          25964 kB
Slab:           176872 kB
PageTables:      53144 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 59041580 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= 73524 MiB
End job on node102 at 2011-05-14 21:23:51