Trace number 3369077

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.36 1203.94

General information on the benchmark

Namerandom/medium/
unif-k7-r89-v80-c7120-S1968028041-077.UNKNOWN.cnf
MD5SUMb69cb091f87b56cc59075b29ac9c632c
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables80
Number of clauses7120
Sum of the clauses size49840
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 57120

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-3369077-1305411714.cnf'
0.00/0.00	c -- header says num vars:             80
0.00/0.00	c -- header says num clauses:        7120
0.00/0.00	c -- clauses added:            0 learnts,         7120 normals,            0 xors
0.00/0.00	c -- vars added         80
0.00/0.00	c Parsing time:  0.01 s
0.00/0.00	c  N st     0         0        80      7120         0         0     49840         0   no data   no data  --
0.37/0.16	c asymm  cl-useful: 0/7120/7120 lits-rem:0 time: 0.63
0.37/0.17	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
0.37/0.17	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.37/0.17	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.37/0.17	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
0.37/0.17	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.37/0.19	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.09 s
0.37/0.19	c Finding binary XORs  T:     0.00 s  found:       0
0.37/0.19	c Finding non-binary XORs:     0.02 s (found:       0, avg size: nan)
0.37/0.19	c calculated reachability. Time: 0.00
0.37/0.20	c Calc default polars -  time:   0.00 s pos:      37 undec:       2 neg:      41
0.37/0.20	c =========================================================================================
0.37/0.20	c types(t): F = full restart, N = normal restart
0.37/0.20	c types(t): S = simplification begin/end, E = solution found
0.37/0.20	c restart types(rt): st = static, dy = dynamic
0.37/0.20	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.37/0.20	c  B st     0         0        80      7120         0         0     49840         0   no data   no data  --
1.17/0.38	c  N dy     8      6114        80      7120         0      3305     49840     79650     22.85     24.06  --
1.97/0.55	c  N dy    11     10182        80      7120         0      6991     49840    174615     21.97     23.92  --
2.76/0.72	c  N dy    44     14279        80      7120         0      6903     49840    165764     22.80     24.30  --
3.57/1.01	c  N dy    53     20266        80      7120         0      7224     49840    156596     22.65     23.86  --
4.41/1.19	c  N dy    56     24310        80      7120         0     10927     49840    253351     22.47     23.77  --
4.75/1.23	c  F st    63     25002        80      7120         0     11565     49840    270737     22.53   no data  --
5.55/1.46	c  N dy    69     30000        80      7120         0      9908     49840    217525     22.53   no data  --
5.55/1.46	c  S st    69     30000        80      7120         0      9908     49840    217525     22.53   no data  --
5.55/1.49	c  S st    69     30502        80      7120         0     10384     49840    230259     22.53   no data  --
5.55/1.50	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.55/1.50	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
5.96/1.50	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
5.96/1.51	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.96/1.51	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.96/1.51	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
5.96/1.51	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
10.34/2.67	c lits-rem:      1534  cl-subs:      734  v-elim:      0  v-fix:    0  time:  4.61 s
11.54/2.99	c asymm  cl-useful: 0/7120/7120 lits-rem:0 time: 1.30
11.54/2.99	c calculated reachability. Time: 0.00
11.54/2.99	c  N dy    69     30502        80      7120         0      9650     49840    207024     22.53   no data  --
12.75/3.24	c  N dy    95     34824        80      7120         0     13621     49840    314321     22.75     24.00  --
13.53/3.47	c  N dy   112     38907        80      7120         0     10165     49840    205857     22.81     24.32  --
14.74/3.71	c  N dy   145     42993        80      7120         0     13954     49840    310114     23.03     24.92  --
15.14/3.89	c  S st   154     45754        80      7120         0      8268     49840    141752     23.04     21.25  --
15.53/3.92	c  S st   154     46257        80      7120         0      8740     49840    154508     23.04   no data  --
15.53/3.92	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.53/3.92	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
15.53/3.92	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
15.53/3.93	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.53/3.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.53/3.93	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
15.53/3.93	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
18.72/4.79	c lits-rem:       136  cl-subs:       56  v-elim:      0  v-fix:    0  time:  3.45 s
18.72/4.80	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
19.12/4.80	c vivif2 --  cl tried     8684 cl shrink        0 lits rem          0 time: 0.01
19.91/5.07	c asymm  cl-useful: 0/7120/7120 lits-rem:0 time: 1.10
19.91/5.07	c calculated reachability. Time: 0.00
19.91/5.07	c  N dy   154     46257        80      7120         0      8684     49840    152552     23.04   no data  --
21.11/5.31	c  N dy   167     50633        80      7120         0     12697     49840    260335     23.05     24.36  --
21.95/5.56	c  N dy   172     54851        80      7120         0     16578     49840    363748     23.02     24.48  --
23.11/5.89	c  N dy   185     60096        80      7120         0     12195     49840    230847     22.99     24.29  --
24.30/6.14	c  N dy   197     64308        80      7120         0     16057     49840    334505     22.99     24.41  --
25.50/6.48	c  N dy   212     69387        80      7120         0     10647     49840    174749     23.00     21.50  --
25.50/6.48	c  S st   212     69387        80      7120         0     10647     49840    174749     23.00     21.50  --
25.91/6.52	c  S st   212     69893        80      7120         0     11119     49840    187444     23.00   no data  --
25.91/6.52	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
25.91/6.52	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
25.91/6.52	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
25.91/6.53	c bin-w-bin subsume rem            0 bins  time:  0.00 s
25.91/6.53	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
25.91/6.53	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
25.91/6.53	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
29.49/7.49	c lits-rem:       323  cl-subs:      184  v-elim:      0  v-fix:    0  time:  3.84 s
29.49/7.49	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
29.49/7.49	c vivif2 --  cl tried    10935 cl shrink        0 lits rem          0 time: 0.01
31.08/7.83	c asymm  cl-useful: 0/7120/7120 lits-rem:0 time: 1.34
31.08/7.83	c calculated reachability. Time: 0.00
31.08/7.83	c  N dy   212     69893        80      7120         0     10935     49840    181890     23.00   no data  --
32.28/8.13	c  N dy   240     74800        80      7120         0     15474     49840    305350     23.08     24.31  --
33.88/8.50	c  N dy   250     79976        80      7120         0     20207     49840    432299     23.08     24.30  --
35.46/8.93	c  N dy   258     85792        80      7120         0     14498     49840    262089     23.07     24.31  --
35.86/9.06	c  F st   270     87500        80      7120         0     16074     49840    304912     23.09     22.47  --
37.46/9.43	c  N dy   276     92693        80      7120         0     20816     49840    433515     23.09   no data  --
40.25/10.17	c  N dy   282    103792        80      7120         0     19026     49840    367296     22.95     24.20  --
40.65/10.25	c  S st   285    104839        80      7120         0     19993     49840    392976     22.95     21.59  --
41.05/10.30	c  S st   285    105345        80      7120         0     20471     49840    405936     22.95   no data  --
41.05/10.31	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
41.05/10.31	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
41.05/10.31	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.03
41.05/10.32	c bin-w-bin subsume rem            0 bins  time:  0.00 s
41.05/10.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
41.05/10.32	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
41.05/10.32	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
47.84/12.04	c lits-rem:      1995  cl-subs:     1871  v-elim:      0  v-fix:    0  time:  6.82 s
47.84/12.04	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
47.84/12.04	c vivif2 --  cl tried    18600 cl shrink        0 lits rem          0 time: 0.01
49.42/12.42	c asymm  cl-useful: 0/5318/7120 lits-rem:0 time: 1.50
49.42/12.42	c calculated reachability. Time: 0.00
49.42/12.42	c  N dy   285    105345        80      7120         0     18600     49840    354793     22.95   no data  --
51.83/13.06	c  N dy   288    114045        80      7120         0     13868     49840    217248     22.86     24.16  --
54.61/13.73	c  N dy   318    123708        80      7120         0     22770     49840    455507     22.86     24.07  --
57.40/14.43	c  N dy   346    132568        80      7120         0     17185     49840    291172     22.87     24.09  --
61.43/15.48	c  N dy   371    145989        80      7120         0     14792     49840    211522     22.83     24.04  --
64.58/16.24	c  N dy   406    156397        80      7120         0     24362     49840    470050     22.86     24.14  --
64.98/16.39	c  S st   415    158017        80      7120         0     25854     49840    510245     22.87   no data  --
65.39/16.46	c  S st   415    158523        80      7120         0     26331     49840    523548     22.87   no data  --
65.39/16.46	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
65.39/16.46	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
65.39/16.47	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
65.39/16.49	c bin-w-bin subsume rem            0 bins  time:  0.00 s
65.39/16.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
65.39/16.49	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
65.39/16.49	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
75.34/18.96	c lits-rem:      2303  cl-subs:     2029  v-elim:      0  v-fix:    0  time:  9.84 s
75.34/18.96	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
75.34/18.96	c vivif2 --  cl tried    24302 cl shrink        0 lits rem          0 time: 0.02
76.15/19.20	c asymm  cl-useful: 0/1781/7120 lits-rem:0 time: 0.93
76.55/19.20	c calculated reachability. Time: 0.00
76.55/19.20	c  N dy   415    158523        80      7120         0     24302     49840    463316     22.87   no data  --
81.33/20.47	c  N dy   429    172310        80      7120         0     21398     49840    372803     22.80     24.03  --
85.72/21.50	c  N dy   466    183586        80      7120         0     31774     49840    650224     22.82     24.17  --
89.71/22.54	c  N dy   508    195339        80      7120         0     26127     49840    487269     22.85     24.21  --
94.89/23.88	c  N dy   563    207858        80      7120         0     20192     49840    312807     22.89     26.69  --
100.49/25.27	c  N dy   602    221418        80      7120         0     32598     49840    642246     22.89     24.11  --
105.66/26.58	c  N dy   623    236348        80      7120         0     27782     49840    490714     22.83     24.14  --
106.46/26.72	c  S st   631    237784        80      7120         0     29107     49840    526372     22.84   no data  --
106.86/26.80	c  S st   631    238288        80      7120         0     29577     49840    539405     22.84   no data  --
106.86/26.80	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
106.86/26.80	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
106.86/26.81	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
106.86/26.82	c bin-w-bin subsume rem            0 bins  time:  0.00 s
106.86/26.82	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
106.86/26.82	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
106.86/26.82	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
117.23/29.43	c lits-rem:      2271  cl-subs:     2643  v-elim:      0  v-fix:    0  time: 10.40 s
117.23/29.43	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
117.23/29.44	c vivif2 --  cl tried    26934 cl shrink        0 lits rem          0 time: 0.02
118.04/29.63	c asymm  cl-useful: 0/2054/7120 lits-rem:0 time: 0.75
118.04/29.63	c calculated reachability. Time: 0.00
118.04/29.63	c  N dy   631    238288        80      7120         0     26934     49840    468554     22.84   no data  --
128.78/32.35	c  N dy   669    267300        80      7120         0     34417     49840    658889     22.75     24.00  --
140.40/35.21	c  N dy   692    295183        80      7120         0     39676     49840    769230     22.59     23.80  --
145.13/36.48	c  F st   774    306252        80      7120         0     28996     49840    494788     22.65     22.69  --
148.33/37.29	c  N dy   791    314110        80      7120         0     36217     49840    691553     22.66     24.06  --
158.29/39.73	c  N dy   909    334135        80      7120         0     32676     49840    575191     22.75     26.34  --
168.66/42.32	c  N dy  1018    354154        80      7120         0     28124     49840    434173     22.80     25.10  --
169.87/42.66	c  S st  1033    357432        80      7120         0     31153     49840    515906     22.81     21.27  --
170.27/42.74	c  S st  1033    357936        80      7120         0     31629     49840    529319     22.81   no data  --
170.27/42.74	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
170.27/42.74	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
170.27/42.75	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.04
170.27/42.77	c bin-w-bin subsume rem            0 bins  time:  0.00 s
170.27/42.77	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
170.27/42.77	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
170.27/42.77	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
181.43/45.52	c lits-rem:      1587  cl-subs:     1496  v-elim:      0  v-fix:    0  time: 10.97 s
181.43/45.52	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
181.43/45.53	c vivif2 --  cl tried    30133 cl shrink        0 lits rem          0 time: 0.02
182.63/45.86	c asymm  cl-useful: 0/1592/7120 lits-rem:0 time: 1.33
182.63/45.86	c calculated reachability. Time: 0.00
182.63/45.86	c  N dy  1033    357936        80      7120         0     30133     49840    484145     22.81   no data  --
196.59/49.31	c  N dy  1089    380315        80      7120         0     26869     49840    381042     22.80     24.33  --
207.75/52.18	c  N dy  1183    400436        80      7120         0     45408     49840    878836     22.83     24.06  --
219.37/55.05	c  N dy  1259    424139        80      7120         0     42248     49840    775121     22.83     24.10  --
230.49/57.88	c  N dy  1354    445260        80      7120         0     35984     49840    599244     22.86     24.18  --
246.83/61.90	c  N dy  1430    476648        80      7120         0     38138     49840    632007     22.84     24.09  --
258.42/64.88	c  N dy  1463    498975        80      7120         0     31017     49840    430922     22.79     24.11  --
270.37/67.86	c  N dy  1546    520598        80      7120         0     50762     49840    960346     22.81     24.04  --
279.55/70.18	c  S st  1615    536904        80      7120         0     37425     49840    593710     22.83     23.06  --
279.95/70.28	c  S st  1615    537404        80      7120         0     37898     49840    606658     22.83   no data  --
279.95/70.28	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
279.95/70.28	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
279.95/70.29	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.05
279.95/70.31	c bin-w-bin subsume rem            0 bins  time:  0.00 s
279.95/70.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
279.95/70.31	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
279.95/70.31	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
294.69/73.97	c lits-rem:      1635  cl-subs:     1760  v-elim:      0  v-fix:    0  time: 14.61 s
294.69/73.97	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
294.69/73.98	c vivif2 --  cl tried    36138 cl shrink        0 lits rem          0 time: 0.02
295.89/74.20	c asymm  cl-useful: 0/1347/7120 lits-rem:0 time: 0.88
295.89/74.20	c calculated reachability. Time: 0.00
295.89/74.20	c  N dy  1615    537404        80      7120         0     36138     49840    555046     22.83   no data  --
307.45/77.18	c  N dy  1692    557889        80      7120         0     54923     49840   1061063     22.84     24.14  --
318.62/79.97	c  N dy  1774    577956        80      7120         0     44066     49840    757567     22.86     26.62  --
332.58/83.46	c  N dy  1856    598000        80      7120         0     32265     49840    418168     22.88     24.40  --
344.94/86.58	c  N dy  1948    619712        80      7120         0     52105     49840    951343     22.90     24.14  --
358.51/89.93	c  N dy  2015    639782        80      7120         0     39350     49840    589532     22.91     24.38  --
372.07/93.32	c  N dy  2063    659795        80      7120         0     57594     49840   1078519     22.90     24.17  --
384.43/96.40	c  N dy  2119    679874        80      7120         0     43938     49840    695546     22.90     26.74  --
398.80/100.04	c  N dy  2178    701495        80      7120         0     63655     49840   1225340     22.90     24.16  --
414.34/103.98	c  N dy  2229    726565        80      7120         0     53695     49840    945084     22.88     24.09  --
429.50/107.74	c  N dy  2260    749597        80      7120         0     40944     49840    586162     22.85     24.06  --
447.83/112.35	c  N dy  2341    776503        80      7120         0     65472     49840   1235615     22.84     24.05  --
464.61/116.52	c  N dy  2430    802903        80      7120         0     54913     49840    943884     22.84     24.11  --
466.59/117.08	c  S st  2440    806107        80      7120         0     57855     49840   1023357     22.85   no data  --
467.39/117.23	c  S st  2440    806612        80      7120         0     58323     49840   1036331     22.85   no data  --
467.39/117.23	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
467.39/117.23	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
467.39/117.26	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.10
467.39/117.29	c bin-w-bin subsume rem            0 bins  time:  0.00 s
467.39/117.29	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
467.39/117.29	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
467.39/117.29	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
509.25/127.78	c lits-rem:      2520  cl-subs:     5021  v-elim:      0  v-fix:    0  time: 41.82 s
509.25/127.78	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
509.25/127.79	c vivif2 --  cl tried    53302 cl shrink        0 lits rem          0 time: 0.04
510.45/128.07	c asymm  cl-useful: 0/943/7120 lits-rem:0 time: 1.12
510.45/128.08	c calculated reachability. Time: 0.00
510.45/128.08	c  N dy  2440    806612        80      7120         0     53302     49840    897900     22.85   no data  --
528.80/132.60	c  N dy  2551    826658        80      7120         0     36239     49840    433306     22.87     24.12  --
552.34/138.54	c  N dy  2588    864888        80      7120         0     70907     49840   1342415     22.82     24.12  --
565.50/141.82	c  N dy  2674    885265        80      7120         0     53255     49840    880069     22.84     24.17  --
580.64/145.69	c  N dy  2733    905295        80      7120         0     71553     49840   1368884     22.83     24.64  --
595.00/149.23	c  N dy  2810    926484        80      7120         0     53579     49840    867334     22.84     24.05  --
610.95/153.27	c  N dy  2880    946756        80      7120         0     72189     49840   1365875     22.84     24.08  --
632.09/158.55	c  N dy  2950    978026        80      7120         0     62416     49840   1081959     22.83     24.08  --
649.29/162.86	c  N dy  2959   1003577        80      7120         0     46307     49840    628428     22.79     24.07  --
665.99/167.01	c  N dy  3090   1023627        80      7120         0     64702     49840   1129476     22.82     24.15  --
685.93/172.03	c  N dy  3186   1043712        80      7120         0     42892     49840    528219     22.83     24.04  --
701.08/175.83	c  N dy  3258   1066207        80      7120         0     63471     49840   1079945     22.83     24.10  --
706.66/177.27	c  F st  3299   1071876        80      7120         0     68656     49840   1220879     22.83   no data  --
721.42/180.92	c  N dy  3348   1086261        80      7120         0     81853     49840   1579765     22.84     26.02  --
735.38/184.49	c  N dy  3411   1106301        80      7120         0     59019     49840    943020     22.84     26.03  --
754.57/189.27	c  N dy  3504   1127505        80      7120         0     78414     49840   1465962     22.85     24.37  --
772.86/193.80	c  N dy  3584   1148369        80      7120         0     55387     49840    833466     22.86     24.09  --
792.64/198.85	c  N dy  3651   1168427        80      7120         0     73687     49840   1323612     22.86     26.12  --
819.45/205.64	c  N dy  3741   1191107        80      7120         0     51470     49840    707203     22.87     24.44  --
840.71/211.02	c  S st  3826   1209919        80      7120         0     68672     49840   1173732     22.88   no data  --
841.54/211.29	c  S st  3826   1210425        80      7120         0     69142     49840   1186901     22.88   no data  --
841.88/211.30	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
841.88/211.30	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
841.88/211.35	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.20
841.88/211.39	c bin-w-bin subsume rem            0 bins  time:  0.00 s
841.88/211.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
841.88/211.39	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
841.88/211.39	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
933.89/234.47	c lits-rem:      3210  cl-subs:     5263  v-elim:      0  v-fix:    0  time: 91.90 s
933.89/234.47	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
933.89/234.48	c vivif2 --  cl tried    63879 cl shrink        0 lits rem          0 time: 0.05
935.09/234.78	c asymm  cl-useful: 0/787/7120 lits-rem:0 time: 1.20
935.09/234.79	c calculated reachability. Time: 0.00
935.09/234.79	c  N dy  3826   1210425        80      7120         0     63879     49840   1038070     22.88   no data  --
965.41/242.40	c  N dy  3894   1248806        80      7120         0     55092     49840    778370     22.84     24.19  --
999.70/250.92	c  N dy  3963   1284901        80      7120         0     87912     49840   1644749     22.81     24.05  --
1022.83/256.75	c  N dy  4087   1310055        80      7120         0     66407     49840   1089715     22.82     24.04  --
1049.55/263.42	c  N dy  4200   1331196        80      7120         0     85699     49840   1612010     22.84     24.15  --
1106.19/277.65	c  N dy  4231   1397270        80      7120         0     53617     49840    701486     22.72     23.99  --
1124.93/282.32	c  N dy  4363   1417304        80      7120         0     72010     49840   1202027     22.74     24.24  --
1148.86/288.32	c  N dy  4489   1437307        80      7120         0     90347     49840   1701474     22.76     24.36  --
1165.62/292.54	c  N dy  4529   1457366        80      7120         0     61286     49840    893482     22.75     26.56  --
1184.75/297.31	c  N dy  4592   1478058        80      7120         0     80211     49840   1396848     22.75     24.18  --
1206.68/302.88	c  N dy  4643   1499598        80      7120         0     51530     49840    621411     22.74     23.95  --
1224.23/307.26	c  N dy  4759   1520146        80      7120         0     70343     49840   1134568     22.76     23.98  --
1294.43/324.83	c  N dy  4791   1604444        80      7120         0     97189     49840   1786891     22.64     23.88  --
1313.98/329.75	c  N dy  4922   1624451        80      7120         0     65763     49840    986812     22.66     26.12  --
1335.91/335.25	c  N dy  5025   1645172        80      7120         0     84835     49840   1503859     22.67     23.91  --
1364.22/342.40	c  N dy  5122   1665223        80      7120         0     52118     49840    592368     22.68     24.54  --
1384.16/347.31	c  N dy  5246   1686775        80      7120         0     71907     49840   1129008     22.69     24.04  --
1407.68/353.30	c  N dy  5344   1706871        80      7120         0     90296     49840   1625895     22.70     24.34  --
1413.27/354.60	c  S st  5367   1710425        80      7120         0     93562     49840   1714790     22.71   no data  --
1414.07/354.88	c  S st  5367   1710928        80      7120         0     94037     49840   1728004     22.71   no data  --
1414.07/354.89	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1414.07/354.89	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1414.47/354.94	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.19
1414.47/354.99	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1414.47/354.99	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1414.47/354.99	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
1414.47/354.99	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2016.24/505.81	c lits-rem:      4993  cl-subs:     7999  v-elim:      0  v-fix:    0  time: 601.30 s
2016.24/505.81	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
2016.24/505.83	c vivif2 --  cl tried    86038 cl shrink        0 lits rem          0 time: 0.09
2017.82/506.29	c asymm  cl-useful: 0/790/7120 lits-rem:0 time: 1.82
2017.82/506.29	c calculated reachability. Time: 0.00
2017.82/506.29	c  N dy  5367   1710928        80      7120         0     86038     49840   1494381     22.71   no data  --
2054.52/515.47	c  N dy  5417   1742031        80      7120         0     62546     49840    851940     22.69     23.90  --
2080.45/521.95	c  N dy  5505   1762115        80      7120         0     80886     49840   1346486     22.70     24.86  --
2117.97/531.32	c  N dy  5650   1782258        80      7120         0     99397     49840   1854823     22.72     24.16  --
2146.24/538.45	c  N dy  5747   1802284        80      7120         0     64954     49840    908096     22.73     24.80  --
2175.35/545.77	c  N dy  5844   1823134        80      7120         0     84047     49840   1424480     22.74     24.15  --
2212.04/554.95	c  N dy  5986   1843677        80      7120         0    102897     49840   1940886     22.76     24.05  --
2237.97/561.43	c  N dy  6090   1863848        80      7120         0     67467     49840    959212     22.77     24.06  --
2260.70/567.10	c  N dy  6127   1887313        80      7120         0     88848     49840   1527117     22.76     23.97  --
2289.81/574.42	c  N dy  6240   1907388        80      7120         0    107256     49840   2026640     22.77     25.52  --
2310.57/579.61	c  N dy  6332   1927740        80      7120         0     71061     49840   1037845     22.77     24.19  --
2334.08/585.59	c  N dy  6454   1947760        80      7120         0     89374     49840   1538140     22.79     24.04  --
2363.64/592.95	c  N dy  6504   1970226        80      7120         0    109840     49840   2084972     22.78     24.06  --
2384.74/598.25	c  N dy  6623   1990241        80      7120         0     72512     49840   1066090     22.80     24.92  --
2408.66/604.21	c  N dy  6730   2010251        80      7120         0     90783     49840   1562493     22.81     24.04  --
2436.59/611.22	c  N dy  6807   2030460        80      7120         0    109269     49840   2063155     22.81     24.08  --
2468.09/619.11	c  N dy  6886   2060768        80      7120         0     80031     49840   1237366     22.81     24.19  --
2515.54/631.08	c  N dy  6911   2115258        80      7120         0     71889     49840   1001393     22.76     23.99  --
2540.26/637.24	c  N dy  6941   2140074        80      7120         0     94321     49840   1597556     22.75     24.02  --
2569.40/644.54	c  N dy  7021   2160466        80      7120         0    112988     49840   2099776     22.76     24.05  --
2594.91/650.98	c  N dy  7146   2180796        80      7120         0     73509     49840   1051202     22.77     24.06  --
2622.48/657.83	c  N dy  7239   2200872        80      7120         0     91832     49840   1547917     22.78     24.01  --
2637.98/661.76	c  S st  7287   2210930        80      7120         0    101033     49840   1798714     22.78     22.77  --
2639.18/662.06	c  S st  7287   2211438        80      7120         0    101509     49840   1811592     22.78   no data  --
2639.18/662.06	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2639.18/662.06	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2639.59/662.11	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.19
2639.59/662.17	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2639.59/662.17	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2639.59/662.17	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
2639.59/662.17	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2781.15/697.67	c lits-rem:      5671  cl-subs:     8409  v-elim:      0  v-fix:    0  time: 141.56 s
2781.15/697.67	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
2781.15/697.69	c vivif2 --  cl tried    93100 cl shrink        0 lits rem          0 time: 0.08
2782.75/698.03	c asymm  cl-useful: 0/628/7120 lits-rem:0 time: 1.37
2782.75/698.03	c calculated reachability. Time: 0.00
2782.75/698.03	c  N dy  7287   2211438        80      7120         0     93100     49840   1565131     22.78   no data  --
2820.23/707.41	c  N dy  7409   2231489        80      7120         0    111479     49840   2064821     22.79     25.96  --
2850.16/714.99	c  N dy  7512   2251561        80      7120         0     70942     49840    964951     22.80     24.04  --
2876.91/721.67	c  N dy  7579   2273085        80      7120         0     90573     49840   1492042     22.80     24.06  --
2915.56/731.41	c  N dy  7687   2293090        80      7120         0    108875     49840   1989700     22.81     25.16  --
2955.88/741.46	c  N dy  7751   2315321        80      7120         0     69007     49840    890177     22.81     24.02  --
2984.16/748.53	c  N dy  7834   2335401        80      7120         0     87342     49840   1385120     22.81     24.08  --
3022.82/758.20	c  N dy  7889   2359165        80      7120         0    108990     49840   1968411     22.81     24.05  --
3061.51/767.92	c  N dy  7956   2379195        80      7120         0     66259     49840    805854     22.82     25.69  --
3092.23/775.61	c  N dy  8088   2399610        80      7120         0     84989     49840   1319273     22.83     24.17  --
3130.52/785.23	c  N dy  8211   2419645        80      7120         0    103390     49840   1823233     22.84     26.65  --
3178.77/797.36	c  N dy  8339   2441494        80      7120         0    123464     49840   2372719     22.85     24.18  --
3207.08/804.43	c  N dy  8431   2461945        80      7120         0     79965     49840   1158665     22.86     24.11  --
3281.66/823.18	c  N dy  8537   2508552        80      7120         0    122292     49840   2283508     22.85     24.21  --
3313.17/831.06	c  N dy  8623   2529009        80      7120         0     78059     49840   1092960     22.85     24.10  --
3342.68/838.41	c  N dy  8684   2549103        80      7120         0     96320     49840   1584029     22.85     25.82  --
3382.15/848.39	c  N dy  8807   2569497        80      7120         0    115005     49840   2095511     22.86     24.12  --
3423.64/858.73	c  N dy  8964   2589544        80      7120         0     69482     49840    845882     22.87     24.30  --
3449.56/865.26	c  N dy  9066   2609590        80      7120         0     87836     49840   1345788     22.88     26.00  --
3486.27/874.44	c  N dy  9182   2629679        80      7120         0    106275     49840   1850679     22.89     25.02  --
3530.13/885.43	c  N dy  9292   2649901        80      7120         0    124843     49840   2359130     22.90     24.31  --
3562.02/893.46	c  N dy  9391   2670008        80      7120         0     78247     49840   1063427     22.90     24.18  --
3601.90/903.40	c  N dy  9446   2705849        80      7120         0    110769     49840   1918641     22.88     24.15  --
3611.88/905.92	c  S st  9477   2711440        80      7120         0    115874     49840   2057890     22.88   no data  --
3613.08/906.27	c  S st  9477   2711944        80      7120         0    116343     49840   2070933     22.88   no data  --
3613.08/906.28	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3613.08/906.28	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3613.49/906.34	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.23
3613.49/906.40	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3613.49/906.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3613.49/906.40	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
3613.49/906.40	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4125.14/1034.60	c lits-rem:      9766  cl-subs:    12166  v-elim:      0  v-fix:    0  time: 511.21 s
4125.14/1034.60	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
4125.14/1034.63	c vivif2 --  cl tried   104177 cl shrink        0 lits rem          0 time: 0.10
4126.75/1035.09	c asymm  cl-useful: 0/541/7120 lits-rem:0 time: 1.83
4126.75/1035.09	c calculated reachability. Time: 0.00
4126.75/1035.09	c  N dy  9477   2711944        80      7120         0    104177     49840   1745154     22.88   no data  --
4158.63/1043.09	c  N dy  9505   2735796        80      7120         0    125836     49840   2323512     22.87     24.23  --
4189.74/1050.84	c  N dy  9613   2755891        80      7120         0     79077     49840   1080628     22.88     25.28  --
4221.65/1058.80	c  N dy  9735   2775987        80      7120         0     97510     49840   1585587     22.89     25.88  --
4261.93/1068.92	c  N dy  9874   2796205        80      7120         0    116068     49840   2095464     22.90     24.14  --
4306.20/1080.08	c  N dy  9982   2816266        80      7120         0     67963     49840    758941     22.91     26.94  --
4334.10/1087.07	c  N dy 10117   2836345        80      7120         0     86310     49840   1261882     22.92     24.15  --
4369.21/1095.83	c  N dy 10216   2856946        80      7120         0    105162     49840   1776417     22.92     24.14  --
4420.66/1108.72	c  N dy 10312   2876999        80      7120         0    123464     49840   2274292     22.93     25.61  --
4471.67/1121.53	c  N dy 10423   2897020        80      7120         0     74278     49840    912385     22.93     24.67  --
4505.97/1130.15	c  N dy 10520   2917066        80      7120         0     92624     49840   1408692     22.94     24.36  --
4558.62/1143.36	c  N dy 10616   2942774        80      7120         0    116130     49840   2042295     22.94     24.39  --
4611.64/1156.67	c  N dy 10718   2962898        80      7120         0    134491     49840   2541945     22.94     24.31  --
4649.92/1166.25	c  N dy 10815   2982961        80      7120         0     84368     49840   1172466     22.95     24.73  --
4694.19/1177.39	c  N dy 10960   3004166        80      7120         0    103802     49840   1707703     22.96     24.37  --
4740.06/1188.85	c  N dy 11045   3024525        80      7120         0    122369     49840   2212825     22.96     24.36  --
4789.12/1201.12	c  N dy 11114   3045903        80      7120         0     72467     49840    828583     22.97     24.33  --

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-3369077-1305411714/watcher-3369077-1305411714 -o /tmp/evaluation-result-3369077-1305411714/solver-3369077-1305411714 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3369077-1305411714.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.49 7.98 7.98 6/366 1339
/proc/meminfo: memFree=25728928/32951124 swapFree=63083164/67111528
[pid=1339] ppid=1337 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/1339/stat : 1339 (strangenight1-m) R 1337 1339 751 0 -1 4202496 412 0 0 0 0 0 0 0 23 0 4 0 633587024 52465664 352 33554432000 4194304 4650419 140737122310384 18446744073709551615 264726461425 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/1339/statm: 12809 352 303 112 0 7774 0
[pid=1339/tid=1340] ppid=1337 vsize=208176 CPUtime=0.01 cores=0,2,4,6
/proc/1339/task/1340/stat : 1340 (strangenight1-m) R 1337 1339 751 0 -1 4202560 241 0 0 0 1 0 0 0 25 0 4 0 633587025 213172224 1040 33554432000 4194304 4650419 140737122310384 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1339/tid=1341] ppid=1337 vsize=208176 CPUtime=0 cores=0,2,4,6
/proc/1339/task/1341/stat : 1341 (strangenight1-m) R 1337 1339 751 0 -1 4202560 232 0 0 0 0 0 0 0 25 0 4 0 633587025 213172224 1040 33554432000 4194304 4650419 140737122310384 18446744073709551615 4370432 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1339/tid=1342] ppid=1337 vsize=208176 CPUtime=0 cores=0,2,4,6
/proc/1339/task/1342/stat : 1342 (strangenight1-m) R 1337 1339 751 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 4 0 633587025 213172224 1040 33554432000 4194304 4650419 140737122310384 18446744073709551615 264726510062 0 0 4096 2 0 0 0 -1 2 0 0 0

[startup+0.073601 s]
/proc/loadavg: 7.49 7.98 7.98 6/366 1339
/proc/meminfo: memFree=25728928/32951124 swapFree=63083164/67111528
[pid=1339] ppid=1337 vsize=216976 CPUtime=0.26 cores=0,2,4,6
/proc/1339/stat : 1339 (strangenight1-m) R 1337 1339 751 0 -1 4202496 1460 0 0 0 26 0 0 0 24 0 4 0 633587024 222183424 1377 33554432000 4194304 4650419 140737122310384 18446744073709551615 4370465 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/1339/statm: 54244 1377 366 112 0 49209 0
[pid=1339/tid=1340] ppid=1337 vsize=216976 CPUtime=0.07 cores=0,2,4,6
/proc/1339/task/1340/stat : 1340 (strangenight1-m) R 1337 1339 751 0 -1 4202560 245 0 0 0 7 0 0 0 25 0 4 0 633587025 222183424 1377 33554432000 4194304 4650419 140737122310384 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1339/tid=1341] ppid=1337 vsize=216976 CPUtime=0.06 cores=0,2,4,6
/proc/1339/task/1341/stat : 1341 (strangenight1-m) R 1337 1339 751 0 -1 4202560 240 0 0 0 6 0 0 0 25 0 4 0 633587025 222183424 1377 33554432000 4194304 4650419 140737122310384 18446744073709551615 4370618 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1339/tid=1342] ppid=1337 vsize=216976 CPUtime=0.05 cores=0,2,4,6
/proc/1339/task/1342/stat : 1342 (strangenight1-m) R 1337 1339 751 0 -1 4202560 313 0 0 0 5 0 0 0 25 0 4 0 633587025 222183424 1377 33554432000 4194304 4650419 140737122310384 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 216976

[startup+0.100596 s]
/proc/loadavg: 7.49 7.98 7.98 6/366 1339
/proc/meminfo: memFree=25728928/32951124 swapFree=63083164/67111528
[pid=1339] ppid=1337 vsize=216976 CPUtime=0.37 cores=0,2,4,6
/proc/1339/stat : 1339 (strangenight1-m) R 1337 1339 751 0 -1 4202496 1525 0 0 0 37 0 0 0 24 0 4 0 633587024 222183424 1442 33554432000 4194304 4650419 140737122310384 18446744073709551615 4370522 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/1339/statm: 54244 1442 366 112 0 49209 0
[pid=1339/tid=1340] ppid=1337 vsize=216976 CPUtime=0.09 cores=0,2,4,6
/proc/1339/task/1340/stat : 1340 (strangenight1-m) R 1337 1339 751 0 -1 4202560 248 0 0 0 9 0 0 0 25 0 4 0 633587025 222183424 1442 33554432000 4194304 4650419 140737122310384 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1339/tid=1341] ppid=1337 vsize=216976 CPUtime=0.09 cores=0,2,4,6
/proc/1339/task/1341/stat : 1341 (strangenight1-m) R 1337 1339 751 0 -1 4202560 245 0 0 0 9 0 0 0 25 0 4 0 633587025 222183424 1442 33554432000 4194304 4650419 140737122310384 18446744073709551615 4370732 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1339/tid=1342] ppid=1337 vsize=216976 CPUtime=0.08 cores=0,2,4,6
/proc/1339/task/1342/stat : 1342 (strangenight1-m) R 1337 1339 751 0 -1 4202560 364 0 0 0 8 0 0 0 25 0 4 0 633587025 222183424 1442 33554432000 4194304 4650419 140737122310384 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 216976

[startup+0.300559 s]
/proc/loadavg: 7.49 7.98 7.98 6/366 1339
/proc/meminfo: memFree=25728928/32951124 swapFree=63083164/67111528
[pid=1339] ppid=1337 vsize=221008 CPUtime=1.17 cores=0,2,4,6
/proc/1339/stat : 1339 (strangenight1-m) R 1337 1339 751 0 -1 4202496 3863 0 0 0 117 0 0 0 25 0 4 0 633587024 226312192 3330 33554432000 4194304 4650419 140737122310384 18446744073709551615 4367236 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/1339/statm: 55252 3330 390 112 0 50217 0
[pid=1339/tid=1340] ppid=1337 vsize=221008 CPUtime=0.29 cores=0,2,4,6
/proc/1339/task/1340/stat : 1340 (strangenight1-m) R 1337 1339 751 0 -1 4202560 849 0 0 0 29 0 0 0 25 0 4 0 633587025 226312192 3330 33554432000 4194304 4650419 140737122310384 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1339/tid=1341] ppid=1337 vsize=221008 CPUtime=0.29 cores=0,2,4,6
/proc/1339/task/1341/stat : 1341 (strangenight1-m) R 1337 1339 751 0 -1 4202560 894 0 0 0 29 0 0 0 25 0 4 0 633587025 226312192 3330 33554432000 4194304 4650419 140737122310384 18446744073709551615 4366879 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1339/tid=1342] ppid=1337 vsize=221008 CPUtime=0.28 cores=0,2,4,6
/proc/1339/task/1342/stat : 1342 (strangenight1-m) R 1337 1339 751 0 -1 4202560 761 0 0 0 28 0 0 0 25 0 4 0 633587025 226312192 3330 33554432000 4194304 4650419 140737122310384 18446744073709551615 4364775 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) 221008

[startup+0.700483 s]
/proc/loadavg: 7.49 7.98 7.98 6/366 1339
/proc/meminfo: memFree=25728928/32951124 swapFree=63083164/67111528
[pid=1339] ppid=1337 vsize=222916 CPUtime=2.76 cores=0,2,4,6
/proc/1339/stat : 1339 (strangenight1-m) R 1337 1339 751 0 -1 4202496 6232 0 0 0 276 0 0 0 25 0 4 0 633587024 228265984 3922 33554432000 4194304 4650419 140737122310384 18446744073709551615 4364788 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/1339/statm: 55729 3922 390 112 0 50694 0
[pid=1339/tid=1340] ppid=1337 vsize=222916 CPUtime=0.69 cores=0,2,4,6
/proc/1339/task/1340/stat : 1340 (strangenight1-m) R 1337 1339 751 0 -1 4202560 1506 0 0 0 69 0 0 0 25 0 4 0 633587025 228265984 3922 33554432000 4194304 4650419 140737122310384 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1339/tid=1341] ppid=1337 vsize=222916 CPUtime=0.69 cores=0,2,4,6
/proc/1339/task/1341/stat : 1341 (strangenight1-m) R 1337 1339 751 0 -1 4202560 1519 0 0 0 69 0 0 0 25 0 4 0 633587025 228265984 3922 33554432000 4194304 4650419 140737122310384 18446744073709551615 4365327 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1339/tid=1342] ppid=1337 vsize=222916 CPUtime=0.68 cores=0,2,4,6
/proc/1339/task/1342/stat : 1342 (strangenight1-m) R 1337 1339 751 0 -1 4202560 1230 0 0 0 68 0 0 0 25 0 4 0 633587025 228265984 3922 33554432000 4194304 4650419 140737122310384 18446744073709551615 4313456 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.76
Current children cumulated vsize (KiB) 222916

[startup+1.50033 s]
/proc/loadavg: 7.49 7.98 7.98 10/371 1345
/proc/meminfo: memFree=25700496/32951124 swapFree=63083164/67111528
[pid=1339] ppid=1337 vsize=224532 CPUtime=5.96 cores=0,2,4,6
/proc/1339/stat : 1339 (strangenight1-m) R 1337 1339 751 0 -1 4202496 10106 0 0 0 594 2 0 0 25 0 4 0 633587024 229920768 4758 33554432000 4194304 4650419 140737122310384 18446744073709551615 4370456 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/1339/statm: 56133 4758 392 112 0 51098 0
[pid=1339/tid=1340] ppid=1337 vsize=224532 CPUtime=1.49 cores=0,2,4,6
/proc/1339/task/1340/stat : 1340 (strangenight1-m) R 1337 1339 751 0 -1 4202560 2462 0 0 0 149 0 0 0 25 0 4 0 633587025 229920768 4758 33554432000 4194304 4650419 140737122310384 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1339/tid=1341] ppid=1337 vsize=224532 CPUtime=1.48 cores=0,2,4,6
/proc/1339/task/1341/stat : 1341 (strangenight1-m) R 1337 1339 751 0 -1 4202560 2515 0 0 0 148 0 0 0 25 0 4 0 633587025 229920768 4758 33554432000 4194304 4650419 140737122310384 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1339/tid=1342] ppid=1337 vsize=224532 CPUtime=1.46 cores=0,2,4,6
/proc/1339/task/1342/stat : 1342 (strangenight1-m) R 1337 1339 751 0 -1 4202560 2179 0 0 0 146 0 0 0 25 0 4 0 633587025 229920768 4758 33554432000 4194304 4650419 140737122310384 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 224532

[startup+3.10103 s]
/proc/loadavg: 7.53 7.98 7.98 11/371 1345
/proc/meminfo: memFree=25668756/32951124 swapFree=63083164/67111528
[pid=1339] ppid=1337 vsize=239344 CPUtime=12.34 cores=0,2,4,6
/proc/1339/stat : 1339 (strangenight1-m) R 1337 1339 751 0 -1 4202496 19003 0 0 0 1231 3 0 0 25 0 4 0 633587024 245088256 11597 33554432000 4194304 4650419 140737122310384 18446744073709551615 4365357 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/1339/statm: 59836 11597 392 112 0 54801 0
[pid=1339/tid=1340] ppid=1337 vsize=239344 CPUtime=3.09 cores=0,2,4,6
/proc/1339/task/1340/stat : 1340 (strangenight1-m) R 1337 1339 751 0 -1 4202560 4169 0 0 0 309 0 0 0 25 0 4 0 633587025 245088256 11597 33554432000 4194304 4650419 140737122310384 18446744073709551615 4370500 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1339/tid=1341] ppid=1337 vsize=239344 CPUtime=3.09 cores=0,2,4,6
/proc/1339/task/1341/stat : 1341 (strangenight1-m) R 1337 1339 751 0 -1 4202560 5156 0 0 0 308 1 0 0 25 0 4 0 633587025 245088256 11597 33554432000 4194304 4650419 140737122310384 18446744073709551615 4439103 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1339/tid=1342] ppid=1337 vsize=239344 CPUtime=3.05 cores=0,2,4,6
/proc/1339/task/1342/stat : 1342 (strangenight1-m) R 1337 1339 751 0 -1 4202560 5095 0 0 0 304 1 0 0 25 0 4 0 633587025 245088256 11597 33554432000 4194304 4650419 140737122310384 18446744073709551615 4370730 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) 239344

[startup+6.30043 s]
/proc/loadavg: 7.53 7.98 7.98 10/371 1345
/proc/meminfo: memFree=25622380/32951124 swapFree=63083164/67111528
[pid=1339] ppid=1337 vsize=227644 CPUtime=25.1 cores=0,2,4,6
/proc/1339/stat : 1339 (strangenight1-m) R 1337 1339 751 0 -1 4202496 27722 0 0 0 2505 5 0 0 25 0 4 0 633587024 233107456 15028 33554432000 4194304 4650419 140737122310384 18446744073709551615 4364736 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/1339/statm: 56911 15028 392 112 0 51876 0
[pid=1339/tid=1340] ppid=1337 vsize=227644 CPUtime=6.29 cores=0,2,4,6
/proc/1339/task/1340/stat : 1340 (strangenight1-m) R 1337 1339 751 0 -1 4202560 6986 0 0 0 628 1 0 0 25 0 4 0 633587025 233107456 15028 33554432000 4194304 4650419 140737122310384 18446744073709551615 4439103 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1339/tid=1341] ppid=1337 vsize=227644 CPUtime=6.29 cores=0,2,4,6
/proc/1339/task/1341/stat : 1341 (strangenight1-m) R 1337 1339 751 0 -1 4202560 7100 0 0 0 628 1 0 0 25 0 4 0 633587025 233107456 15028 33554432000 4194304 4650419 140737122310384 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1339/tid=1342] ppid=1337 vsize=227644 CPUtime=6.21 cores=0,2,4,6
/proc/1339/task/1342/stat : 1342 (strangenight1-m) R 1337 1339 751 0 -1 4202560 7135 0 0 0 620 1 0 0 25 0 4 0 633587025 233107456 15028 33554432000 4194304 4650419 140737122310384 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.1
Current children cumulated vsize (KiB) 227644

[startup+12.7002 s]
/proc/loadavg: 7.60 7.98 7.98 10/371 1345
/proc/meminfo: memFree=25579188/32951124 swapFree=63083164/67111528
[pid=1339] ppid=1337 vsize=246920 CPUtime=50.62 cores=0,2,4,6
/proc/1339/stat : 1339 (strangenight1-m) R 1337 1339 751 0 -1 4202496 41179 0 0 0 5054 8 0 0 25 0 4 0 633587024 252846080 19903 33554432000 4194304 4650419 140737122310384 18446744073709551615 4520007 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/1339/statm: 61730 19903 392 112 0 56695 0
[pid=1339/tid=1340] ppid=1337 vsize=246920 CPUtime=12.68 cores=0,2,4,6
/proc/1339/task/1340/stat : 1340 (strangenight1-m) R 1337 1339 751 0 -1 4202560 9958 0 0 0 1267 1 0 0 25 0 4 0 633587025 252846080 19903 33554432000 4194304 4650419 140737122310384 18446744073709551615 4439103 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1339/tid=1341] ppid=1337 vsize=246920 CPUtime=12.69 cores=0,2,4,6
/proc/1339/task/1341/stat : 1341 (strangenight1-m) R 1337 1339 751 0 -1 4202560 10637 0 0 0 1267 2 0 0 25 0 4 0 633587025 252846080 19903 33554432000 4194304 4650419 140737122310384 18446744073709551615 4364766 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1339/tid=1342] ppid=1337 vsize=246920 CPUtime=12.54 cores=0,2,4,6
/proc/1339/task/1342/stat : 1342 (strangenight1-m) R 1337 1339 751 0 -1 4202560 10841 0 0 0 1252 2 0 0 25 0 4 0 633587025 252846080 19903 33554432000 4194304 4650419 140737122310384 18446744073709551615 4334075 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.62
Current children cumulated vsize (KiB) 246920

[startup+25.5008 s]
/proc/loadavg: 7.66 7.98 7.98 10/371 1345
/proc/meminfo: memFree=25538616/32951124 swapFree=63083164/67111528
[pid=1339] ppid=1337 vsize=245492 CPUtime=101.66 cores=0,2,4,6
/proc/1339/stat : 1339 (strangenight1-m) R 1337 1339 751 0 -1 4202496 63069 0 0 0 10154 12 0 0 25 0 4 0 633587024 251383808 26891 33554432000 4194304 4650419 140737122310384 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/1339/statm: 61373 26891 392 112 0 56338 0
[pid=1339/tid=1340] ppid=1337 vsize=245492 CPUtime=25.49 cores=0,2,4,6
/proc/1339/task/1340/stat : 1340 (strangenight1-m) R 1337 1339 751 0 -1 4202560 14411 0 0 0 2547 2 0 0 25 0 4 0 633587025 251383808 26891 33554432000 4194304 4650419 140737122310384 18446744073709551615 4370432 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1339/tid=1341] ppid=1337 vsize=245492 CPUtime=25.48 cores=0,2,4,6
/proc/1339/task/1341/stat : 1341 (strangenight1-m) R 1337 1339 751 0 -1 4202560 16934 0 0 0 2545 3 0 0 25 0 4 0 633587025 251383808 26891 33554432000 4194304 4650419 140737122310384 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1339/tid=1342] ppid=1337 vsize=245492 CPUtime=25.18 cores=0,2,4,6
/proc/1339/task/1342/stat : 1342 (strangenight1-m) R 1337 1339 751 0 -1 4202560 16516 0 0 0 2515 3 0 0 25 0 4 0 633587025 251383808 26891 33554432000 4194304 4650419 140737122310384 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.66
Current children cumulated vsize (KiB) 245492

[startup+51.101 s]
/proc/loadavg: 7.83 8.00 7.98 10/371 1346
/proc/meminfo: memFree=25484288/32951124 swapFree=63083164/67111528
[pid=1339] ppid=1337 vsize=274548 CPUtime=203.77 cores=0,2,4,6
/proc/1339/stat : 1339 (strangenight1-m) R 1337 1339 751 0 -1 4202496 92445 0 0 0 20356 21 0 0 25 0 4 0 633587024 281137152 33722 33554432000 4194304 4650419 140737122310384 18446744073709551615 4363600 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/1339/statm: 68637 33722 392 112 0 63602 0
[pid=1339/tid=1340] ppid=1337 vsize=274548 CPUtime=51.09 cores=0,2,4,6
/proc/1339/task/1340/stat : 1340 (strangenight1-m) R 1337 1339 751 0 -1 4202560 22243 0 0 0 5105 4 0 0 25 0 4 0 633587025 281137152 33722 33554432000 4194304 4650419 140737122310384 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1339/tid=1341] ppid=1337 vsize=274548 CPUtime=51.08 cores=0,2,4,6
/proc/1339/task/1341/stat : 1341 (strangenight1-m) R 1337 1339 751 0 -1 4202560 23776 0 0 0 5103 5 0 0 25 0 4 0 633587025 281137152 33722 33554432000 4194304 4650419 140737122310384 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1339/tid=1342] ppid=1337 vsize=274548 CPUtime=50.48 cores=0,2,4,6
/proc/1339/task/1342/stat : 1342 (strangenight1-m) R 1337 1339 751 0 -1 4202560 24207 0 0 0 5042 6 0 0 25 0 4 0 633587025 281137152 33722 33554432000 4194304 4650419 140737122310384 18446744073709551615 4366762 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 203.77
Current children cumulated vsize (KiB) 274548

[startup+102.314 s]
/proc/loadavg: 8.05 8.03 7.99 10/371 1347
/proc/meminfo: memFree=25409464/32951124 swapFree=63083164/67111528
[pid=1339] ppid=1337 vsize=299800 CPUtime=408.01 cores=0,2,4,6
/proc/1339/stat : 1339 (strangenight1-m) R 1337 1339 751 0 -1 4202496 131875 0 0 0 40769 32 0 0 25 0 4 0 633587024 306995200 39086 33554432000 4194304 4650419 140737122310384 18446744073709551615 4365223 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/1339/statm: 74950 39086 392 112 0 69915 0
[pid=1339/tid=1340] ppid=1337 vsize=299800 CPUtime=102.31 cores=0,2,4,6
/proc/1339/task/1340/stat : 1340 (strangenight1-m) R 1337 1339 751 0 -1 4202560 28378 0 0 0 10225 6 0 0 25 0 4 0 633587025 306995200 39086 33554432000 4194304 4650419 140737122310384 18446744073709551615 4438399 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1339/tid=1341] ppid=1337 vsize=299800 CPUtime=102.29 cores=0,2,4,6
/proc/1339/task/1341/stat : 1341 (strangenight1-m) R 1337 1339 751 0 -1 4202560 38242 0 0 0 10220 9 0 0 25 0 4 0 633587025 306995200 39086 33554432000 4194304 4650419 140737122310384 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1339/tid=1342] ppid=1337 vsize=299800 CPUtime=101.08 cores=0,2,4,6
/proc/1339/task/1342/stat : 1342 (strangenight1-m) R 1337 1339 751 0 -1 4202560 32534 0 0 0 10100 8 0 0 25 0 4 0 633587025 306995200 39086 33554432000 4194304 4650419 140737122310384 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 408.01
Current children cumulated vsize (KiB) 299800

[startup+162.301 s]

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

[pid=1339] ppid=1337 vsize=448344 CPUtime=2799.9 cores=0,2,4,6
/proc/1339/stat : 1339 (strangenight1-m) R 1337 1339 751 0 -1 4202496 359660 0 0 0 279872 118 0 0 25 0 4 0 633587024 459104256 82212 33554432000 4194304 4650419 140737122310384 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/1339/statm: 112086 82212 392 112 0 107051 0
[pid=1339/tid=1340] ppid=1337 vsize=448344 CPUtime=702.31 cores=0,2,4,6
/proc/1339/task/1340/stat : 1340 (strangenight1-m) R 1337 1339 751 0 -1 4202560 64697 0 0 0 70212 19 0 0 25 0 4 0 633587025 459104256 82212 33554432000 4194304 4650419 140737122310384 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1339/tid=1341] ppid=1337 vsize=448344 CPUtime=702 cores=0,2,4,6
/proc/1339/task/1341/stat : 1341 (strangenight1-m) R 1337 1339 751 0 -1 4202560 119449 0 0 0 70159 41 0 0 25 0 4 0 633587025 459104256 82212 33554432000 4194304 4650419 140737122310384 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1339/tid=1342] ppid=1337 vsize=448344 CPUtime=693.25 cores=0,2,4,6
/proc/1339/task/1342/stat : 1342 (strangenight1-m) R 1337 1339 751 0 -1 4202560 72334 0 0 0 69300 25 0 0 25 0 4 0 633587025 459104256 82212 33554432000 4194304 4650419 140737122310384 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2799.9
Current children cumulated vsize (KiB) 448344

[startup+762.315 s]
/proc/loadavg: 8.19 8.12 8.06 9/371 1398
/proc/meminfo: memFree=25105228/32951124 swapFree=63083164/67111528
[pid=1339] ppid=1337 vsize=448908 CPUtime=3039.23 cores=0,2,4,6
/proc/1339/stat : 1339 (strangenight1-m) R 1337 1339 751 0 -1 4202496 369347 0 0 0 303800 123 0 0 25 0 4 0 633587024 459681792 82354 33554432000 4194304 4650419 140737122310384 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/1339/statm: 112227 82354 392 112 0 107192 0
[pid=1339/tid=1340] ppid=1337 vsize=448908 CPUtime=762.33 cores=0,2,4,6
/proc/1339/task/1340/stat : 1340 (strangenight1-m) R 1337 1339 751 0 -1 4202560 64697 0 0 0 76214 19 0 0 25 0 4 0 633587025 459681792 82354 33554432000 4194304 4650419 140737122310384 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1339/tid=1341] ppid=1337 vsize=448908 CPUtime=762 cores=0,2,4,6
/proc/1339/task/1341/stat : 1341 (strangenight1-m) R 1337 1339 751 0 -1 4202560 125363 0 0 0 76156 44 0 0 25 0 4 0 633587025 459681792 82354 33554432000 4194304 4650419 140737122310384 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1339/tid=1342] ppid=1337 vsize=448908 CPUtime=752.55 cores=0,2,4,6
/proc/1339/task/1342/stat : 1342 (strangenight1-m) R 1337 1339 751 0 -1 4202560 72835 0 0 0 75230 25 0 0 25 0 4 0 633587025 459681792 82354 33554432000 4194304 4650419 140737122310384 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3039.23
Current children cumulated vsize (KiB) 448908

[startup+822.3 s]
/proc/loadavg: 8.13 8.11 8.06 9/371 1399
/proc/meminfo: memFree=25063412/32951124 swapFree=63083164/67111528
[pid=1339] ppid=1337 vsize=449020 CPUtime=3278.47 cores=0,2,4,6
/proc/1339/stat : 1339 (strangenight1-m) R 1337 1339 751 0 -1 4202496 380457 0 0 0 327717 130 0 0 25 0 4 0 633587024 459796480 87483 33554432000 4194304 4650419 140737122310384 18446744073709551615 4365343 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/1339/statm: 112255 87483 392 112 0 107220 0
[pid=1339/tid=1340] ppid=1337 vsize=449020 CPUtime=822.32 cores=0,2,4,6
/proc/1339/task/1340/stat : 1340 (strangenight1-m) R 1337 1339 751 0 -1 4202560 64697 0 0 0 82213 19 0 0 25 0 4 0 633587025 459796480 87483 33554432000 4194304 4650419 140737122310384 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1339/tid=1341] ppid=1337 vsize=449020 CPUtime=821.98 cores=0,2,4,6
/proc/1339/task/1341/stat : 1341 (strangenight1-m) R 1337 1339 751 0 -1 4202560 131118 0 0 0 82151 47 0 0 25 0 4 0 633587025 459796480 87483 33554432000 4194304 4650419 140737122310384 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1339/tid=1342] ppid=1337 vsize=449020 CPUtime=811.83 cores=0,2,4,6
/proc/1339/task/1342/stat : 1342 (strangenight1-m) R 1337 1339 751 0 -1 4202560 72835 0 0 0 81158 25 0 0 25 0 4 0 633587025 459796480 87483 33554432000 4194304 4650419 140737122310384 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3278.47
Current children cumulated vsize (KiB) 449020

[startup+882.301 s]
/proc/loadavg: 8.18 8.12 8.07 9/371 1401
/proc/meminfo: memFree=25062988/32951124 swapFree=63083164/67111528
[pid=1339] ppid=1337 vsize=461536 CPUtime=3517.76 cores=0,2,4,6
/proc/1339/stat : 1339 (strangenight1-m) R 1337 1339 751 0 -1 4202496 391256 0 0 0 351640 136 0 0 25 0 4 0 633587024 472612864 86668 33554432000 4194304 4650419 140737122310384 18446744073709551615 4363880 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/1339/statm: 115384 86668 392 112 0 110349 0
[pid=1339/tid=1340] ppid=1337 vsize=461536 CPUtime=882.32 cores=0,2,4,6
/proc/1339/task/1340/stat : 1340 (strangenight1-m) R 1337 1339 751 0 -1 4202560 67693 0 0 0 88212 20 0 0 25 0 4 0 633587025 472612864 86668 33554432000 4194304 4650419 140737122310384 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1339/tid=1341] ppid=1337 vsize=461536 CPUtime=881.97 cores=0,2,4,6
/proc/1339/task/1341/stat : 1341 (strangenight1-m) R 1337 1339 751 0 -1 4202560 136193 0 0 0 88147 50 0 0 25 0 4 0 633587025 472612864 86668 33554432000 4194304 4650419 140737122310384 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1339/tid=1342] ppid=1337 vsize=461536 CPUtime=871.12 cores=0,2,4,6
/proc/1339/task/1342/stat : 1342 (strangenight1-m) R 1337 1339 751 0 -1 4202560 72835 0 0 0 87087 25 0 0 25 0 4 0 633587025 472612864 86668 33554432000 4194304 4650419 140737122310384 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3517.76
Current children cumulated vsize (KiB) 461536

[startup+942.301 s]
/proc/loadavg: 8.13 8.11 8.07 9/371 1403
/proc/meminfo: memFree=25048328/32951124 swapFree=63083164/67111528
[pid=1339] ppid=1337 vsize=461596 CPUtime=3757.04 cores=0,2,4,6
/proc/1339/stat : 1339 (strangenight1-m) R 1337 1339 751 0 -1 4202496 399924 0 0 0 375564 140 0 0 25 0 4 0 633587024 472674304 92072 33554432000 4194304 4650419 140737122310384 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/1339/statm: 115399 92072 392 112 0 110364 0
[pid=1339/tid=1340] ppid=1337 vsize=461596 CPUtime=942.32 cores=0,2,4,6
/proc/1339/task/1340/stat : 1340 (strangenight1-m) R 1337 1339 751 0 -1 4202560 68125 0 0 0 94212 20 0 0 25 0 4 0 633587025 472674304 92072 33554432000 4194304 4650419 140737122310384 18446744073709551615 4365252 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1339/tid=1341] ppid=1337 vsize=461596 CPUtime=941.95 cores=0,2,4,6
/proc/1339/task/1341/stat : 1341 (strangenight1-m) R 1337 1339 751 0 -1 4202560 141014 0 0 0 94143 52 0 0 25 0 4 0 633587025 472674304 92072 33554432000 4194304 4650419 140737122310384 18446744073709551615 4366943 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1339/tid=1342] ppid=1337 vsize=461596 CPUtime=930.42 cores=0,2,4,6
/proc/1339/task/1342/stat : 1342 (strangenight1-m) R 1337 1339 751 0 -1 4202560 73295 0 0 0 93016 26 0 0 25 0 4 0 633587025 472674304 92072 33554432000 4194304 4650419 140737122310384 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3757.04
Current children cumulated vsize (KiB) 461596

[startup+1002.3 s]
/proc/loadavg: 8.16 8.12 8.07 9/371 1404
/proc/meminfo: memFree=25010352/32951124 swapFree=63083164/67111528
[pid=1339] ppid=1337 vsize=463612 CPUtime=3996.32 cores=0,2,4,6
/proc/1339/stat : 1339 (strangenight1-m) R 1337 1339 751 0 -1 4202496 406690 0 0 0 399489 143 0 0 25 0 4 0 633587024 474738688 92407 33554432000 4194304 4650419 140737122310384 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/1339/statm: 115903 92407 392 112 0 110868 0
[pid=1339/tid=1340] ppid=1337 vsize=463612 CPUtime=1002.33 cores=0,2,4,6
/proc/1339/task/1340/stat : 1340 (strangenight1-m) R 1337 1339 751 0 -1 4202560 68518 0 0 0 100212 21 0 0 25 0 4 0 633587025 474738688 92407 33554432000 4194304 4650419 140737122310384 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1339/tid=1341] ppid=1337 vsize=463612 CPUtime=1001.95 cores=0,2,4,6
/proc/1339/task/1341/stat : 1341 (strangenight1-m) R 1337 1339 751 0 -1 4202560 147289 0 0 0 100140 55 0 0 25 0 4 0 633587025 474738688 92407 33554432000 4194304 4650419 140737122310384 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1339/tid=1342] ppid=1337 vsize=463612 CPUtime=989.71 cores=0,2,4,6
/proc/1339/task/1342/stat : 1342 (strangenight1-m) R 1337 1339 751 0 -1 4202560 73393 0 0 0 98945 26 0 0 25 0 4 0 633587025 474738688 92407 33554432000 4194304 4650419 140737122310384 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3996.32
Current children cumulated vsize (KiB) 463612

[startup+1062.3 s]
/proc/loadavg: 8.11 8.11 8.07 9/371 1406
/proc/meminfo: memFree=24999020/32951124 swapFree=63083164/67111528
[pid=1339] ppid=1337 vsize=463704 CPUtime=4235.61 cores=0,2,4,6
/proc/1339/stat : 1339 (strangenight1-m) R 1337 1339 751 0 -1 4202496 413881 0 0 0 423414 147 0 0 25 0 4 0 633587024 474832896 89834 33554432000 4194304 4650419 140737122310384 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/1339/statm: 115926 89834 392 112 0 110891 0
[pid=1339/tid=1340] ppid=1337 vsize=463704 CPUtime=1062.33 cores=0,2,4,6
/proc/1339/task/1340/stat : 1340 (strangenight1-m) R 1337 1339 751 0 -1 4202560 68749 0 0 0 106212 21 0 0 25 0 4 0 633587025 474832896 89834 33554432000 4194304 4650419 140737122310384 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1339/tid=1341] ppid=1337 vsize=463704 CPUtime=1061.94 cores=0,2,4,6
/proc/1339/task/1341/stat : 1341 (strangenight1-m) R 1337 1339 751 0 -1 4202560 153337 0 0 0 106137 57 0 0 25 0 4 0 633587025 474832896 89834 33554432000 4194304 4650419 140737122310384 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1339/tid=1342] ppid=1337 vsize=463704 CPUtime=1049 cores=0,2,4,6
/proc/1339/task/1342/stat : 1342 (strangenight1-m) R 1337 1339 751 0 -1 4202560 73496 0 0 0 104874 26 0 0 25 0 4 0 633587025 474832896 89834 33554432000 4194304 4650419 140737122310384 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4235.61
Current children cumulated vsize (KiB) 463704

[startup+1122.3 s]
/proc/loadavg: 8.14 8.12 8.08 9/371 1407
/proc/meminfo: memFree=24937848/32951124 swapFree=63083164/67111528
[pid=1339] ppid=1337 vsize=542072 CPUtime=4474.86 cores=0,2,4,6
/proc/1339/stat : 1339 (strangenight1-m) R 1337 1339 751 0 -1 4202496 425033 0 0 0 447333 153 0 0 25 0 4 0 633587024 555081728 97537 33554432000 4194304 4650419 140737122310384 18446744073709551615 4364751 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/1339/statm: 135518 97537 392 112 0 130483 0
[pid=1339/tid=1340] ppid=1337 vsize=542072 CPUtime=1122.33 cores=0,2,4,6
/proc/1339/task/1340/stat : 1340 (strangenight1-m) R 1337 1339 751 0 -1 4202560 68750 0 0 0 112212 21 0 0 25 0 4 0 633587025 555081728 97537 33554432000 4194304 4650419 140737122310384 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1339/tid=1341] ppid=1337 vsize=542072 CPUtime=1121.92 cores=0,2,4,6
/proc/1339/task/1341/stat : 1341 (strangenight1-m) R 1337 1339 751 0 -1 4202560 157404 0 0 0 112133 59 0 0 25 0 4 0 633587025 555081728 97537 33554432000 4194304 4650419 140737122310384 18446744073709551615 4439361 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1339/tid=1342] ppid=1337 vsize=542072 CPUtime=1108.26 cores=0,2,4,6
/proc/1339/task/1342/stat : 1342 (strangenight1-m) R 1337 1339 751 0 -1 4202560 76266 0 0 0 110798 28 0 0 25 0 4 0 633587025 555081728 97537 33554432000 4194304 4650419 140737122310384 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4474.86
Current children cumulated vsize (KiB) 542072

[startup+1182.3 s]
/proc/loadavg: 8.15 8.13 8.08 9/371 1409
/proc/meminfo: memFree=24954784/32951124 swapFree=63083164/67111528
[pid=1339] ppid=1337 vsize=542072 CPUtime=4714.14 cores=0,2,4,6
/proc/1339/stat : 1339 (strangenight1-m) R 1337 1339 751 0 -1 4202496 430168 0 0 0 471259 155 0 0 25 0 4 0 633587024 555081728 94144 33554432000 4194304 4650419 140737122310384 18446744073709551615 4364762 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/1339/statm: 135518 94144 392 112 0 130483 0
[pid=1339/tid=1340] ppid=1337 vsize=542072 CPUtime=1182.33 cores=0,2,4,6
/proc/1339/task/1340/stat : 1340 (strangenight1-m) R 1337 1339 751 0 -1 4202560 68750 0 0 0 118212 21 0 0 25 0 4 0 633587025 555081728 94144 33554432000 4194304 4650419 140737122310384 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1339/tid=1341] ppid=1337 vsize=542072 CPUtime=1181.92 cores=0,2,4,6
/proc/1339/task/1341/stat : 1341 (strangenight1-m) R 1337 1339 751 0 -1 4202560 159910 0 0 0 118132 60 0 0 25 0 4 0 633587025 555081728 94144 33554432000 4194304 4650419 140737122310384 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1339/tid=1342] ppid=1337 vsize=542072 CPUtime=1167.55 cores=0,2,4,6
/proc/1339/task/1342/stat : 1342 (strangenight1-m) R 1337 1339 751 0 -1 4202560 77095 0 0 0 116727 28 0 0 25 0 4 0 633587025 555081728 94144 33554432000 4194304 4650419 140737122310384 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4714.14
Current children cumulated vsize (KiB) 542072



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.9 s]
/proc/loadavg: 8.19 8.13 8.08 9/371 1410
/proc/meminfo: memFree=24970264/32951124 swapFree=63083164/67111528
[pid=1339] ppid=1337 vsize=542072 CPUtime=4800.28 cores=0,2,4,6
/proc/1339/stat : 1339 (strangenight1-m) R 1337 1339 751 0 -1 4202496 432717 0 0 0 479871 157 0 0 25 0 4 0 633587024 555081728 95731 33554432000 4194304 4650419 140737122310384 18446744073709551615 4365289 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/1339/statm: 135518 95731 392 112 0 130483 0
[pid=1339/tid=1340] ppid=1337 vsize=542072 CPUtime=1203.95 cores=0,2,4,6
/proc/1339/task/1340/stat : 1340 (strangenight1-m) R 1337 1339 751 0 -1 4202560 68750 0 0 0 120374 21 0 0 25 0 4 0 633587025 555081728 95732 33554432000 4194304 4650419 140737122310384 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1339/tid=1341] ppid=1337 vsize=542072 CPUtime=1203.52 cores=0,2,4,6
/proc/1339/task/1341/stat : 1341 (strangenight1-m) R 1337 1339 751 0 -1 4202560 160467 0 0 0 120292 60 0 0 25 0 4 0 633587025 555081728 95732 33554432000 4194304 4650419 140737122310384 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1339/tid=1342] ppid=1337 vsize=542072 CPUtime=1188.88 cores=0,2,4,6
/proc/1339/task/1342/stat : 1342 (strangenight1-m) R 1337 1339 751 0 -1 4202560 77522 0 0 0 118860 28 0 0 25 0 4 0 633587025 555081728 95732 33554432000 4194304 4650419 140737122310384 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.28
Current children cumulated vsize (KiB) 542072

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

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

[startup+1203.9 s]
/proc/loadavg: 8.19 8.13 8.08 9/371 1410
/proc/meminfo: memFree=24970264/32951124 swapFree=63083164/67111528
[pid=1339] ppid=1337 vsize=542072 CPUtime=4800.28 cores=0,2,4,6
/proc/1339/stat : 1339 (strangenight1-m) R 1337 1339 751 0 -1 4202496 432717 0 0 0 479871 157 0 0 25 0 4 0 633587024 555081728 95731 33554432000 4194304 4650419 140737122310384 18446744073709551615 4365289 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/1339/statm: 135518 95731 392 112 0 130483 0
[pid=1339/tid=1340] ppid=1337 vsize=542072 CPUtime=1203.95 cores=0,2,4,6
/proc/1339/task/1340/stat : 1340 (strangenight1-m) R 1337 1339 751 0 -1 4202560 68750 0 0 0 120374 21 0 0 25 0 4 0 633587025 555081728 95732 33554432000 4194304 4650419 140737122310384 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1339/tid=1341] ppid=1337 vsize=542072 CPUtime=1203.52 cores=0,2,4,6
/proc/1339/task/1341/stat : 1341 (strangenight1-m) R 1337 1339 751 0 -1 4202560 160467 0 0 0 120292 60 0 0 25 0 4 0 633587025 555081728 95732 33554432000 4194304 4650419 140737122310384 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1339/tid=1342] ppid=1337 vsize=542072 CPUtime=1188.88 cores=0,2,4,6
/proc/1339/task/1342/stat : 1342 (strangenight1-m) R 1337 1339 751 0 -1 4202560 77522 0 0 0 118860 28 0 0 25 0 4 0 633587025 555081728 95732 33554432000 4194304 4650419 140737122310384 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.28
Current children cumulated vsize (KiB) 542072

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.94
CPU time (s): 4800.36
CPU user time (s): 4798.77
CPU system time (s): 1.58876
CPU usage (%): 398.721
Max. virtual memory (cumulated for all children) (KiB): 542072

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.77
system time used= 1.58876
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 432719
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= 309
involuntary context switches= 25065

runsolver used 4.01439 second user time and 10.3714 second system time

The end

Launcher Data

Begin job on node141 at 2011-05-15 00:21:54
IDJOB=3369077
IDBENCH=83086
IDSOLVER=1846
FILE ID=node141/3369077-1305411714
RUNJOBID= node141-1305411714-1317
PBS_JOBID= 13324495
Free space on /tmp= 73296 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt (fixed)
BENCH NAME= SAT11/random/medium/unif-k7-r89-v80-c7120-S1968028041-077.UNKNOWN.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3369077-1305411714/watcher-3369077-1305411714 -o /tmp/evaluation-result-3369077-1305411714/solver-3369077-1305411714 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3369077-1305411714.cnf

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

MD5SUM BENCH= b69cb091f87b56cc59075b29ac9c632c
RANDOM SEED=21054935

node141.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.806
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.61
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.806
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	: 5362.96
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.806
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.806
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.806
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.84
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.806
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.806
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.806
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:      25729208 kB
Buffers:        232432 kB
Cached:        4781564 kB
SwapCached:      15708 kB
Active:        1984360 kB
Inactive:      4998844 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      25729208 kB
SwapTotal:    67111528 kB
SwapFree:     63083164 kB
Dirty:           12516 kB
Writeback:           8 kB
AnonPages:     1959772 kB
Mapped:          12716 kB
Slab:           135968 kB
PageTables:      38360 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 86270876 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= 73288 MiB
End job on node141 at 2011-05-15 00:42:00