Trace number 3175468

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-1-mt? (TO) 4800.38 1201.93

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-3175468-1304125357.cnf'
0.00/0.00	c -- header says num vars:             80
0.00/0.00	c -- header says num clauses:        7120
0.00/0.01	c -- clauses added:            0 learnts,         7120 normals,            0 xors
0.00/0.01	c -- vars added         80
0.00/0.01	c Parsing time:  0.01 s
0.00/0.01	c  N st     0         0        80      7120         0         0     49840         0   no data   no data  --
0.40/0.17	c asymm  cl-useful: 0/7120/7120 lits-rem:0 time: 0.65
0.40/0.17	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
0.40/0.17	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.40/0.17	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.40/0.17	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
0.40/0.17	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.40/0.19	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.08 s
0.40/0.19	c Finding binary XORs  T:     0.00 s  found:       0
0.78/0.20	c Finding non-binary XORs:     0.02 s (found:       0, avg size: nan)
0.78/0.20	c calculated reachability. Time: 0.00
0.78/0.20	c Calc default polars -  time:   0.00 s pos:      37 undec:       2 neg:      41
0.78/0.20	c =========================================================================================
0.78/0.20	c types(t): F = full restart, N = normal restart
0.78/0.20	c types(t): S = simplification begin/end, E = solution found
0.78/0.20	c restart types(rt): st = static, dy = dynamic
0.78/0.20	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.78/0.20	c  B st     0         0        80      7120         0         0     49840         0   no data   no data  --
1.18/0.39	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.77/0.73	c  N dy    44     14279        80      7120         0      6903     49840    165764     22.80     24.30  --
3.97/1.01	c  N dy    53     20266        80      7120         0      7224     49840    156596     22.65     23.86  --
4.39/1.19	c  N dy    56     24310        80      7120         0     10927     49840    253351     22.47     23.77  --
4.79/1.23	c  F st    63     25002        80      7120         0     11565     49840    270737     22.53   no data  --
5.57/1.46	c  N dy    69     30000        80      7120         0      9908     49840    217525     22.53   no data  --
5.57/1.46	c  S st    69     30000        80      7120         0      9908     49840    217525     22.53   no data  --
5.97/1.50	c  S st    69     30502        80      7120         0     10384     49840    230259     22.53   no data  --
5.97/1.50	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.97/1.50	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
5.97/1.50	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
5.97/1.51	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.97/1.51	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.97/1.51	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
5.97/1.51	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
10.36/2.67	c lits-rem:      1534  cl-subs:      734  v-elim:      0  v-fix:    0  time:  4.64 s
11.96/3.00	c asymm  cl-useful: 0/7120/7120 lits-rem:0 time: 1.30
11.96/3.00	c calculated reachability. Time: 0.00
11.96/3.00	c  N dy    69     30502        80      7120         0      9650     49840    207024     22.53   no data  --
12.76/3.26	c  N dy    95     34824        80      7120         0     13621     49840    314321     22.75     24.00  --
13.58/3.48	c  N dy   112     38907        80      7120         0     10165     49840    205857     22.81     24.32  --
14.76/3.72	c  N dy   145     42993        80      7120         0     13954     49840    310114     23.03     24.92  --
15.56/3.90	c  S st   154     45754        80      7120         0      8268     49840    141752     23.04     21.25  --
15.56/3.93	c  S st   154     46257        80      7120         0      8740     49840    154508     23.04   no data  --
15.56/3.93	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.56/3.93	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
15.56/3.94	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
15.56/3.94	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.56/3.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.56/3.94	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
15.56/3.94	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
19.15/4.81	c lits-rem:       136  cl-subs:       56  v-elim:      0  v-fix:    0  time:  3.46 s
19.15/4.81	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
19.15/4.81	c vivif2 --  cl tried     8684 cl shrink        0 lits rem          0 time: 0.00
19.95/5.09	c asymm  cl-useful: 0/7120/7120 lits-rem:0 time: 1.11
19.95/5.09	c calculated reachability. Time: 0.00
19.95/5.09	c  N dy   154     46257        80      7120         0      8684     49840    152552     23.04   no data  --
21.15/5.32	c  N dy   167     50633        80      7120         0     12697     49840    260335     23.05     24.36  --
21.96/5.57	c  N dy   172     54851        80      7120         0     16578     49840    363748     23.02     24.48  --
23.54/5.91	c  N dy   185     60096        80      7120         0     12195     49840    230847     22.99     24.29  --
24.35/6.15	c  N dy   197     64308        80      7120         0     16057     49840    334505     22.99     24.41  --
25.95/6.50	c  N dy   212     69387        80      7120         0     10647     49840    174749     23.00     21.50  --
25.95/6.50	c  S st   212     69387        80      7120         0     10647     49840    174749     23.00     21.50  --
25.95/6.53	c  S st   212     69893        80      7120         0     11119     49840    187444     23.00   no data  --
25.95/6.53	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
25.95/6.53	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
25.95/6.54	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
25.95/6.54	c bin-w-bin subsume rem            0 bins  time:  0.00 s
25.95/6.54	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
25.95/6.54	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
25.95/6.54	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
29.94/7.50	c lits-rem:       323  cl-subs:      184  v-elim:      0  v-fix:    0  time:  3.83 s
29.94/7.50	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
29.94/7.50	c vivif2 --  cl tried    10935 cl shrink        0 lits rem          0 time: 0.01
31.15/7.84	c asymm  cl-useful: 0/7120/7120 lits-rem:0 time: 1.33
31.15/7.84	c calculated reachability. Time: 0.00
31.15/7.84	c  N dy   212     69893        80      7120         0     10935     49840    181890     23.00   no data  --
32.33/8.14	c  N dy   240     74800        80      7120         0     15474     49840    305350     23.08     24.31  --
33.94/8.51	c  N dy   250     79976        80      7120         0     20207     49840    432299     23.08     24.30  --
35.55/8.94	c  N dy   258     85792        80      7120         0     14498     49840    262089     23.07     24.31  --
35.93/9.07	c  F st   270     87500        80      7120         0     16074     49840    304912     23.09     22.47  --
37.53/9.44	c  N dy   276     92693        80      7120         0     20816     49840    433515     23.09   no data  --
40.32/10.17	c  N dy   282    103792        80      7120         0     19026     49840    367296     22.95     24.20  --
40.72/10.26	c  S st   285    104839        80      7120         0     19993     49840    392976     22.95     21.59  --
41.12/10.31	c  S st   285    105345        80      7120         0     20471     49840    405936     22.95   no data  --
41.12/10.31	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
41.12/10.31	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
41.12/10.32	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
41.12/10.33	c bin-w-bin subsume rem            0 bins  time:  0.00 s
41.12/10.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
41.12/10.33	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
41.12/10.33	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
47.92/12.05	c lits-rem:      1995  cl-subs:     1871  v-elim:      0  v-fix:    0  time:  6.87 s
47.92/12.05	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
47.92/12.05	c vivif2 --  cl tried    18600 cl shrink        0 lits rem          0 time: 0.01
49.51/12.44	c asymm  cl-useful: 0/5318/7120 lits-rem:0 time: 1.52
49.51/12.44	c calculated reachability. Time: 0.00
49.51/12.44	c  N dy   285    105345        80      7120         0     18600     49840    354793     22.95   no data  --
51.91/13.08	c  N dy   288    114045        80      7120         0     13868     49840    217248     22.86     24.16  --
54.70/13.76	c  N dy   318    123708        80      7120         0     22770     49840    455507     22.86     24.07  --
57.52/14.46	c  N dy   346    132568        80      7120         0     17185     49840    291172     22.87     24.09  --
61.91/15.51	c  N dy   371    145989        80      7120         0     14792     49840    211522     22.83     24.04  --
64.69/16.26	c  N dy   406    156397        80      7120         0     24362     49840    470050     22.86     24.14  --
65.49/16.42	c  S st   415    158017        80      7120         0     25854     49840    510245     22.87   no data  --
65.49/16.49	c  S st   415    158523        80      7120         0     26331     49840    523548     22.87   no data  --
65.49/16.49	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
65.49/16.49	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
65.49/16.50	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
65.90/16.51	c bin-w-bin subsume rem            0 bins  time:  0.00 s
65.90/16.51	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
65.90/16.51	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
65.90/16.51	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
75.47/18.99	c lits-rem:      2303  cl-subs:     2029  v-elim:      0  v-fix:    0  time:  9.89 s
75.47/18.99	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
75.88/19.00	c vivif2 --  cl tried    24302 cl shrink        0 lits rem          0 time: 0.02
76.67/19.23	c asymm  cl-useful: 0/1781/7120 lits-rem:0 time: 0.94
76.67/19.23	c calculated reachability. Time: 0.00
76.67/19.23	c  N dy   415    158523        80      7120         0     24302     49840    463316     22.87   no data  --
81.87/20.51	c  N dy   429    172310        80      7120         0     21398     49840    372803     22.80     24.03  --
85.86/21.54	c  N dy   466    183586        80      7120         0     31774     49840    650224     22.82     24.17  --
89.86/22.57	c  N dy   508    195339        80      7120         0     26127     49840    487269     22.85     24.21  --
95.45/23.92	c  N dy   563    207858        80      7120         0     20192     49840    312807     22.89     26.69  --
101.06/25.30	c  N dy   602    221418        80      7120         0     32598     49840    642246     22.89     24.11  --
106.24/26.61	c  N dy   623    236348        80      7120         0     27782     49840    490714     22.83     24.14  --
106.64/26.75	c  S st   631    237784        80      7120         0     29107     49840    526372     22.84   no data  --
107.04/26.83	c  S st   631    238288        80      7120         0     29577     49840    539405     22.84   no data  --
107.04/26.83	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
107.04/26.83	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
107.04/26.84	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
107.04/26.86	c bin-w-bin subsume rem            0 bins  time:  0.00 s
107.04/26.86	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
107.04/26.86	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
107.04/26.86	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
117.42/29.47	c lits-rem:      2271  cl-subs:     2643  v-elim:      0  v-fix:    0  time: 10.43 s
117.42/29.47	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
117.42/29.47	c vivif2 --  cl tried    26934 cl shrink        0 lits rem          0 time: 0.02
118.22/29.66	c asymm  cl-useful: 0/2054/7120 lits-rem:0 time: 0.74
118.22/29.66	c calculated reachability. Time: 0.00
118.22/29.66	c  N dy   631    238288        80      7120         0     26934     49840    468554     22.84   no data  --
129.00/32.38	c  N dy   669    267300        80      7120         0     34417     49840    658889     22.75     24.00  --
140.61/35.24	c  N dy   692    295183        80      7120         0     39676     49840    769230     22.59     23.80  --
145.78/36.52	c  F st   774    306252        80      7120         0     28996     49840    494788     22.65     22.69  --
148.99/37.33	c  N dy   791    314110        80      7120         0     36217     49840    691553     22.66     24.06  --
158.59/39.76	c  N dy   909    334135        80      7120         0     32676     49840    575191     22.75     26.34  --
168.96/42.34	c  N dy  1018    354154        80      7120         0     28124     49840    434173     22.80     25.10  --
170.16/42.68	c  S st  1033    357432        80      7120         0     31153     49840    515906     22.81     21.27  --
170.56/42.77	c  S st  1033    357936        80      7120         0     31629     49840    529319     22.81   no data  --
170.56/42.77	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
170.56/42.77	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
170.56/42.78	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.04
170.56/42.79	c bin-w-bin subsume rem            0 bins  time:  0.00 s
170.56/42.79	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
170.56/42.79	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
170.56/42.79	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
181.74/45.59	c lits-rem:      1587  cl-subs:     1496  v-elim:      0  v-fix:    0  time: 11.16 s
181.74/45.59	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
182.14/45.60	c vivif2 --  cl tried    30133 cl shrink        0 lits rem          0 time: 0.02
183.34/45.94	c asymm  cl-useful: 0/1592/7120 lits-rem:0 time: 1.37
183.34/45.94	c calculated reachability. Time: 0.00
183.34/45.94	c  N dy  1033    357936        80      7120         0     30133     49840    484145     22.81   no data  --
197.32/49.40	c  N dy  1089    380315        80      7120         0     26869     49840    381042     22.80     24.33  --
208.51/52.26	c  N dy  1183    400436        80      7120         0     45408     49840    878836     22.83     24.06  --
220.11/55.15	c  N dy  1259    424139        80      7120         0     42248     49840    775121     22.83     24.10  --
231.28/57.98	c  N dy  1354    445260        80      7120         0     35984     49840    599244     22.86     24.18  --
247.25/61.99	c  N dy  1430    476648        80      7120         0     38138     49840    632007     22.84     24.09  --
259.26/64.98	c  N dy  1463    498975        80      7120         0     31017     49840    430922     22.79     24.11  --
271.22/67.97	c  N dy  1546    520598        80      7120         0     50762     49840    960346     22.81     24.04  --
280.42/70.29	c  S st  1615    536904        80      7120         0     37425     49840    593710     22.83     23.06  --
280.82/70.39	c  S st  1615    537404        80      7120         0     37898     49840    606658     22.83   no data  --
280.82/70.39	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
280.82/70.39	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
281.23/70.40	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.05
281.23/70.42	c bin-w-bin subsume rem            0 bins  time:  0.00 s
281.23/70.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
281.23/70.42	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
281.23/70.42	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
295.87/74.13	c lits-rem:      1635  cl-subs:     1760  v-elim:      0  v-fix:    0  time: 14.66 s
295.87/74.13	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
295.87/74.13	c vivif2 --  cl tried    36138 cl shrink        0 lits rem          0 time: 0.02
296.67/74.35	c asymm  cl-useful: 0/1347/7120 lits-rem:0 time: 0.85
296.67/74.35	c calculated reachability. Time: 0.00
296.67/74.35	c  N dy  1615    537404        80      7120         0     36138     49840    555046     22.83   no data  --
308.58/77.35	c  N dy  1692    557889        80      7120         0     54923     49840   1061063     22.84     24.14  --
319.64/80.13	c  N dy  1774    577956        80      7120         0     44066     49840    757567     22.86     26.62  --
333.47/83.62	c  N dy  1856    598000        80      7120         0     32265     49840    418168     22.88     24.40  --
345.69/86.74	c  N dy  1948    619712        80      7120         0     52105     49840    951343     22.90     24.14  --
358.72/90.09	c  N dy  2015    639782        80      7120         0     39350     49840    589532     22.91     24.38  --
372.29/93.47	c  N dy  2063    659795        80      7120         0     57594     49840   1078519     22.90     24.17  --
384.67/96.54	c  N dy  2119    679874        80      7120         0     43938     49840    695546     22.90     26.74  --
399.06/100.20	c  N dy  2178    701495        80      7120         0     63655     49840   1225340     22.90     24.16  --
415.03/104.13	c  N dy  2229    726565        80      7120         0     53695     49840    945084     22.88     24.09  --
429.83/107.88	c  N dy  2260    749597        80      7120         0     40944     49840    586162     22.85     24.06  --
448.58/112.50	c  N dy  2341    776503        80      7120         0     65472     49840   1235615     22.84     24.05  --
464.98/116.66	c  N dy  2430    802903        80      7120         0     54913     49840    943884     22.84     24.11  --
467.36/117.22	c  S st  2440    806107        80      7120         0     57855     49840   1023357     22.85   no data  --
467.76/117.37	c  S st  2440    806612        80      7120         0     58323     49840   1036331     22.85   no data  --
467.76/117.37	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
467.76/117.37	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
468.16/117.40	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.10
468.16/117.43	c bin-w-bin subsume rem            0 bins  time:  0.00 s
468.16/117.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
468.16/117.43	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
468.16/117.43	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
510.10/127.94	c lits-rem:      2520  cl-subs:     5021  v-elim:      0  v-fix:    0  time: 41.98 s
510.10/127.94	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
510.10/127.95	c vivif2 --  cl tried    53302 cl shrink        0 lits rem          0 time: 0.04
511.30/128.23	c asymm  cl-useful: 0/943/7120 lits-rem:0 time: 1.11
511.30/128.23	c calculated reachability. Time: 0.00
511.30/128.23	c  N dy  2440    806612        80      7120         0     53302     49840    897900     22.85   no data  --
529.28/132.76	c  N dy  2551    826658        80      7120         0     36239     49840    433306     22.87     24.12  --
552.87/138.69	c  N dy  2588    864888        80      7120         0     70907     49840   1342415     22.82     24.12  --
566.05/141.99	c  N dy  2674    885265        80      7120         0     53255     49840    880069     22.84     24.17  --
581.61/145.86	c  N dy  2733    905295        80      7120         0     71553     49840   1368884     22.83     24.64  --
595.60/149.38	c  N dy  2810    926484        80      7120         0     53579     49840    867334     22.84     24.05  --
611.98/153.42	c  N dy  2880    946756        80      7120         0     72189     49840   1365875     22.84     24.08  --
632.75/158.68	c  N dy  2950    978026        80      7120         0     62416     49840   1081959     22.83     24.08  --
650.33/163.01	c  N dy  2959   1003577        80      7120         0     46307     49840    628428     22.79     24.07  --
666.71/167.18	c  N dy  3090   1023627        80      7120         0     64702     49840   1129476     22.82     24.15  --
687.07/172.20	c  N dy  3186   1043712        80      7120         0     42892     49840    528219     22.83     24.04  --
701.86/176.00	c  N dy  3258   1066207        80      7120         0     63471     49840   1079945     22.83     24.10  --
707.85/177.44	c  F st  3299   1071876        80      7120         0     68656     49840   1220879     22.83   no data  --
722.23/181.09	c  N dy  3348   1086261        80      7120         0     81853     49840   1579765     22.84     26.02  --
736.61/184.64	c  N dy  3411   1106301        80      7120         0     59019     49840    943020     22.84     26.03  --
755.79/189.43	c  N dy  3504   1127505        80      7120         0     78414     49840   1465962     22.85     24.37  --
774.57/194.11	c  N dy  3584   1148369        80      7120         0     55387     49840    833466     22.86     24.09  --
794.55/199.11	c  N dy  3651   1168427        80      7120         0     73687     49840   1323612     22.86     26.12  --
821.70/205.92	c  N dy  3741   1191107        80      7120         0     51470     49840    707203     22.87     24.44  --
842.89/211.28	c  S st  3826   1209919        80      7120         0     68672     49840   1173732     22.88   no data  --
844.07/211.57	c  S st  3826   1210425        80      7120         0     69142     49840   1186901     22.88   no data  --
844.07/211.58	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
844.07/211.58	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
844.47/211.63	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.20
844.47/211.67	c bin-w-bin subsume rem            0 bins  time:  0.00 s
844.47/211.67	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
844.47/211.67	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
844.47/211.67	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
933.95/234.06	c lits-rem:      3210  cl-subs:     5263  v-elim:      0  v-fix:    0  time: 89.40 s
933.95/234.06	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
933.95/234.07	c vivif2 --  cl tried    63879 cl shrink        0 lits rem          0 time: 0.05
935.17/234.37	c asymm  cl-useful: 0/787/7120 lits-rem:0 time: 1.21
935.17/234.38	c calculated reachability. Time: 0.00
935.17/234.38	c  N dy  3826   1210425        80      7120         0     63879     49840   1038070     22.88   no data  --
965.92/242.02	c  N dy  3894   1248806        80      7120         0     55092     49840    778370     22.84     24.19  --
999.46/250.45	c  N dy  3963   1284901        80      7120         0     87912     49840   1644749     22.81     24.05  --
1022.63/256.29	c  N dy  4087   1310055        80      7120         0     66407     49840   1089715     22.82     24.04  --
1049.41/262.95	c  N dy  4200   1331196        80      7120         0     85699     49840   1612010     22.84     24.15  --
1106.53/277.25	c  N dy  4231   1397270        80      7120         0     53617     49840    701486     22.72     23.99  --
1125.28/281.94	c  N dy  4363   1417304        80      7120         0     72010     49840   1202027     22.74     24.24  --
1149.25/287.91	c  N dy  4489   1437307        80      7120         0     90347     49840   1701474     22.76     24.36  --
1166.03/292.12	c  N dy  4529   1457366        80      7120         0     61286     49840    893482     22.75     26.56  --
1184.80/296.88	c  N dy  4592   1478058        80      7120         0     80211     49840   1396848     22.75     24.18  --
1207.18/302.44	c  N dy  4643   1499598        80      7120         0     51530     49840    621411     22.74     23.95  --
1224.75/306.82	c  N dy  4759   1520146        80      7120         0     70343     49840   1134568     22.76     23.98  --
1294.67/324.39	c  N dy  4791   1604444        80      7120         0     97189     49840   1786891     22.64     23.88  --
1314.24/329.24	c  N dy  4922   1624451        80      7120         0     65763     49840    986812     22.66     26.12  --
1336.21/334.78	c  N dy  5025   1645172        80      7120         0     84835     49840   1503859     22.67     23.91  --
1364.58/341.89	c  N dy  5122   1665223        80      7120         0     52118     49840    592368     22.68     24.54  --
1384.15/346.77	c  N dy  5246   1686775        80      7120         0     71907     49840   1129008     22.69     24.04  --
1408.12/352.76	c  N dy  5344   1706871        80      7120         0     90296     49840   1625895     22.70     24.34  --
1413.31/354.06	c  S st  5367   1710425        80      7120         0     93562     49840   1714790     22.71   no data  --
1414.53/354.34	c  S st  5367   1710928        80      7120         0     94037     49840   1728004     22.71   no data  --
1414.53/354.35	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1414.53/354.35	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1414.53/354.39	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.19
1414.91/354.45	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1414.91/354.45	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1414.91/354.45	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
1414.91/354.45	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2020.09/505.93	c lits-rem:      4993  cl-subs:     7999  v-elim:      0  v-fix:    0  time: 605.02 s
2020.09/505.94	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
2020.09/505.96	c vivif2 --  cl tried    86038 cl shrink        0 lits rem          0 time: 0.08
2022.08/506.41	c asymm  cl-useful: 0/790/7120 lits-rem:0 time: 1.80
2022.08/506.41	c calculated reachability. Time: 0.00
2022.08/506.41	c  N dy  5367   1710928        80      7120         0     86038     49840   1494381     22.71   no data  --
2058.43/515.56	c  N dy  5417   1742031        80      7120         0     62546     49840    851940     22.69     23.90  --
2084.40/522.02	c  N dy  5505   1762115        80      7120         0     80886     49840   1346486     22.70     24.86  --
2121.56/531.35	c  N dy  5650   1782258        80      7120         0     99397     49840   1854823     22.72     24.16  --
2149.91/538.49	c  N dy  5747   1802284        80      7120         0     64954     49840    908096     22.73     24.80  --
2179.46/545.80	c  N dy  5844   1823134        80      7120         0     84047     49840   1424480     22.74     24.15  --
2216.22/555.00	c  N dy  5986   1843677        80      7120         0    102897     49840   1940886     22.76     24.05  --
2240.60/561.13	c  N dy  6090   1863848        80      7120         0     67467     49840    959212     22.77     24.06  --
2262.17/566.51	c  N dy  6127   1887313        80      7120         0     88848     49840   1527117     22.76     23.97  --
2291.32/573.90	c  N dy  6240   1907388        80      7120         0    107256     49840   2026640     22.77     25.52  --
2312.49/579.10	c  N dy  6332   1927740        80      7120         0     71061     49840   1037845     22.77     24.19  --
2336.06/585.04	c  N dy  6454   1947760        80      7120         0     89374     49840   1538140     22.79     24.04  --
2365.63/592.42	c  N dy  6504   1970226        80      7120         0    109840     49840   2084972     22.78     24.06  --
2386.80/597.71	c  N dy  6623   1990241        80      7120         0     72512     49840   1066090     22.80     24.92  --
2410.37/603.62	c  N dy  6730   2010251        80      7120         0     90783     49840   1562493     22.81     24.04  --
2438.36/610.66	c  N dy  6807   2030460        80      7120         0    109269     49840   2063155     22.81     24.08  --
2469.89/618.54	c  N dy  6886   2060768        80      7120         0     80031     49840   1237366     22.81     24.19  --
2517.84/630.54	c  N dy  6911   2115258        80      7120         0     71889     49840   1001393     22.76     23.99  --
2542.21/636.67	c  N dy  6941   2140074        80      7120         0     94321     49840   1597556     22.75     24.02  --
2571.77/644.00	c  N dy  7021   2160466        80      7120         0    112988     49840   2099776     22.76     24.05  --
2596.93/650.39	c  N dy  7146   2180796        80      7120         0     73509     49840   1051202     22.77     24.06  --
2624.50/657.25	c  N dy  7239   2200872        80      7120         0     91832     49840   1547917     22.78     24.01  --
2640.49/661.24	c  S st  7287   2210930        80      7120         0    101033     49840   1798714     22.78     22.77  --
2641.67/661.53	c  S st  7287   2211438        80      7120         0    101509     49840   1811592     22.78   no data  --
2641.67/661.54	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2641.67/661.54	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2641.67/661.59	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.21
2642.07/661.64	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2642.07/661.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2642.07/661.64	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
2642.07/661.64	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2784.68/697.34	c lits-rem:      5671  cl-subs:     8409  v-elim:      0  v-fix:    0  time: 142.51 s
2784.68/697.34	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
2784.68/697.36	c vivif2 --  cl tried    93100 cl shrink        0 lits rem          0 time: 0.08
2786.27/697.70	c asymm  cl-useful: 0/628/7120 lits-rem:0 time: 1.38
2786.27/697.71	c calculated reachability. Time: 0.00
2786.27/697.71	c  N dy  7287   2211438        80      7120         0     93100     49840   1565131     22.78   no data  --
2823.82/707.10	c  N dy  7409   2231489        80      7120         0    111479     49840   2064821     22.79     25.96  --
2853.78/714.67	c  N dy  7512   2251561        80      7120         0     70942     49840    964951     22.80     24.04  --
2881.76/721.65	c  N dy  7579   2273085        80      7120         0     90573     49840   1492042     22.80     24.06  --
2923.29/732.03	c  N dy  7687   2293090        80      7120         0    108875     49840   1989700     22.81     25.16  --
2962.44/741.86	c  N dy  7751   2315321        80      7120         0     69007     49840    890177     22.81     24.02  --
2990.40/748.88	c  N dy  7834   2335401        80      7120         0     87342     49840   1385120     22.81     24.08  --
3029.15/758.50	c  N dy  7889   2359165        80      7120         0    108990     49840   1968411     22.81     24.05  --
3067.49/768.17	c  N dy  7956   2379195        80      7120         0     66259     49840    805854     22.82     25.69  --
3098.24/775.86	c  N dy  8088   2399610        80      7120         0     84989     49840   1319273     22.83     24.17  --
3137.01/785.51	c  N dy  8211   2419645        80      7120         0    103390     49840   1823233     22.84     26.65  --
3184.95/797.53	c  N dy  8339   2441494        80      7120         0    123464     49840   2372719     22.85     24.18  --
3213.69/804.70	c  N dy  8431   2461945        80      7120         0     79965     49840   1158665     22.86     24.11  --
3288.39/823.41	c  N dy  8537   2508552        80      7120         0    122292     49840   2283508     22.85     24.21  --
3319.55/831.29	c  N dy  8623   2529009        80      7120         0     78059     49840   1092960     22.85     24.10  --
3349.11/838.64	c  N dy  8684   2549103        80      7120         0     96320     49840   1584029     22.85     25.82  --
3389.46/848.73	c  N dy  8807   2569497        80      7120         0    115005     49840   2095511     22.86     24.12  --
3430.60/859.04	c  N dy  8964   2589544        80      7120         0     69482     49840    845882     22.87     24.30  --
3456.57/865.58	c  N dy  9066   2609590        80      7120         0     87836     49840   1345788     22.88     26.00  --
3493.31/874.71	c  N dy  9182   2629679        80      7120         0    106275     49840   1850679     22.89     25.02  --
3537.25/885.75	c  N dy  9292   2649901        80      7120         0    124843     49840   2359130     22.90     24.31  --
3567.23/893.23	c  N dy  9391   2670008        80      7120         0     78247     49840   1063427     22.90     24.18  --
3605.56/902.87	c  N dy  9446   2705849        80      7120         0    110769     49840   1918641     22.88     24.15  --
3615.57/905.39	c  S st  9477   2711440        80      7120         0    115874     49840   2057890     22.88   no data  --
3617.14/905.74	c  S st  9477   2711944        80      7120         0    116343     49840   2070933     22.88   no data  --
3617.14/905.74	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3617.14/905.74	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3617.54/905.80	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.24
3617.54/905.87	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3617.54/905.87	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3617.54/905.87	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
3617.54/905.87	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4127.64/1033.50	c lits-rem:      9766  cl-subs:    12166  v-elim:      0  v-fix:    0  time: 509.74 s
4127.64/1033.51	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
4127.64/1033.53	c vivif2 --  cl tried   104177 cl shrink        0 lits rem          0 time: 0.10
4129.24/1033.98	c asymm  cl-useful: 0/541/7120 lits-rem:0 time: 1.82
4129.24/1033.99	c calculated reachability. Time: 0.00
4129.24/1033.99	c  N dy  9477   2711944        80      7120         0    104177     49840   1745154     22.88   no data  --
4161.20/1041.92	c  N dy  9505   2735796        80      7120         0    125836     49840   2323512     22.87     24.23  --
4192.36/1049.71	c  N dy  9613   2755891        80      7120         0     79077     49840   1080628     22.88     25.28  --
4224.31/1057.70	c  N dy  9735   2775987        80      7120         0     97510     49840   1585587     22.89     25.88  --
4264.25/1067.78	c  N dy  9874   2796205        80      7120         0    116068     49840   2095464     22.90     24.14  --
4309.00/1078.98	c  N dy  9982   2816266        80      7120         0     67963     49840    758941     22.91     26.94  --
4338.55/1086.39	c  N dy 10117   2836345        80      7120         0     86310     49840   1261882     22.92     24.15  --
4376.90/1095.95	c  N dy 10216   2856946        80      7120         0    105162     49840   1776417     22.92     24.14  --
4428.45/1108.81	c  N dy 10312   2876999        80      7120         0    123464     49840   2274292     22.93     25.61  --
4476.78/1120.99	c  N dy 10423   2897020        80      7120         0     74278     49840    912385     22.93     24.67  --
4511.12/1129.55	c  N dy 10520   2917066        80      7120         0     92624     49840   1408692     22.94     24.36  --
4563.44/1142.66	c  N dy 10616   2942774        80      7120         0    116130     49840   2042295     22.94     24.39  --
4616.98/1156.09	c  N dy 10718   2962898        80      7120         0    134491     49840   2541945     22.94     24.31  --
4654.52/1165.48	c  N dy 10815   2982961        80      7120         0     84368     49840   1172466     22.95     24.73  --
4699.26/1176.62	c  N dy 10960   3004166        80      7120         0    103802     49840   1707703     22.96     24.37  --
4745.22/1188.12	c  N dy 11045   3024525        80      7120         0    122369     49840   2212825     22.96     24.36  --
4794.33/1200.41	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: 935)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3175468-1304125357/watcher-3175468-1304125357 -o /tmp/evaluation-result-3175468-1304125357/solver-3175468-1304125357 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3175468-1304125357.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.68 7.98 7.98 5/180 23341
/proc/meminfo: memFree=30299024/32951124 swapFree=67111364/67111528
[pid=23341] ppid=23339 vsize=117740 CPUtime=0 cores=0,2,4,6
/proc/23341/stat : 23341 (strangenight1-m) R 23339 23341 23167 0 -1 4202496 513 0 0 0 0 0 0 0 25 0 4 0 524136110 120565760 436 33554432000 4194304 4650419 140737351079696 18446744073709551615 253640859451 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/23341/statm: 29435 463 331 112 0 24400 0
[pid=23341/tid=23342] ppid=23339 vsize=183280 CPUtime=0 cores=0,2,4,6
/proc/23341/task/23342/stat : 23342 (strangenight1-m) R 23339 23341 23167 0 -1 4202560 71 0 0 0 0 0 0 0 25 0 4 0 524136110 187678720 559 33554432000 4194304 4650419 140737351079696 18446744073709551615 253640964639 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23341/tid=23343] ppid=23339 vsize=183280 CPUtime=0 cores=0,2,4,6
/proc/23341/task/23343/stat : 23343 (strangenight1-m) R 23339 23341 23167 0 -1 4202560 68 0 0 0 0 0 0 0 25 0 4 0 524136110 187678720 575 33554432000 4194304 4650419 140737351079696 18446744073709551615 253640964590 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23341/tid=23344] ppid=23339 vsize=183280 CPUtime=0 cores=0,2,4,6
/proc/23341/task/23344/stat : 23344 (strangenight1-m) R 23339 23341 23167 0 -1 4202560 45 0 0 0 0 0 0 0 25 0 4 0 524136110 187678720 593 33554432000 4194304 4650419 140737351079696 18446744073709551615 253640859451 0 0 4096 2 0 0 0 -1 4 0 0 0

[startup+0.106819 s]
/proc/loadavg: 7.68 7.98 7.98 5/180 23341
/proc/meminfo: memFree=30299024/32951124 swapFree=67111364/67111528
[pid=23341] ppid=23339 vsize=282200 CPUtime=0.4 cores=0,2,4,6
/proc/23341/stat : 23341 (strangenight1-m) R 23339 23341 23167 0 -1 4202496 1552 0 0 0 40 0 0 0 25 0 4 0 524136110 288972800 1473 33554432000 4194304 4650419 140737351079696 18446744073709551615 4370522 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/23341/statm: 70550 1473 366 112 0 65515 0
[pid=23341/tid=23342] ppid=23339 vsize=282200 CPUtime=0.1 cores=0,2,4,6
/proc/23341/task/23342/stat : 23342 (strangenight1-m) R 23339 23341 23167 0 -1 4202560 226 0 0 0 10 0 0 0 25 0 4 0 524136110 288972800 1473 33554432000 4194304 4650419 140737351079696 18446744073709551615 4370643 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23341/tid=23343] ppid=23339 vsize=282200 CPUtime=0.1 cores=0,2,4,6
/proc/23341/task/23343/stat : 23343 (strangenight1-m) R 23339 23341 23167 0 -1 4202560 246 0 0 0 10 0 0 0 18 0 4 0 524136110 288972800 1473 33554432000 4194304 4650419 140737351079696 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23341/tid=23344] ppid=23339 vsize=282200 CPUtime=0.1 cores=0,2,4,6
/proc/23341/task/23344/stat : 23344 (strangenight1-m) R 23339 23341 23167 0 -1 4202560 403 0 0 0 10 0 0 0 25 0 4 0 524136110 288972800 1473 33554432000 4194304 4650419 140737351079696 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 282200

[startup+0.200804 s]
/proc/loadavg: 7.68 7.98 7.98 5/180 23341
/proc/meminfo: memFree=30299024/32951124 swapFree=67111364/67111528
[pid=23341] ppid=23339 vsize=286156 CPUtime=0.78 cores=0,2,4,6
/proc/23341/stat : 23341 (strangenight1-m) R 23339 23341 23167 0 -1 4202496 3561 0 0 0 78 0 0 0 18 0 4 0 524136110 293023744 2956 33554432000 4194304 4650419 140737351079696 18446744073709551615 4306787 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/23341/statm: 71539 2956 390 112 0 66504 0
[pid=23341/tid=23342] ppid=23339 vsize=286156 CPUtime=0.19 cores=0,2,4,6
/proc/23341/task/23342/stat : 23342 (strangenight1-m) R 23339 23341 23167 0 -1 4202560 798 0 0 0 19 0 0 0 25 0 4 0 524136110 293023744 2956 33554432000 4194304 4650419 140737351079696 18446744073709551615 4365333 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23341/tid=23343] ppid=23339 vsize=286156 CPUtime=0.19 cores=0,2,4,6
/proc/23341/task/23343/stat : 23343 (strangenight1-m) R 23339 23341 23167 0 -1 4202560 813 0 0 0 19 0 0 0 18 0 4 0 524136110 293023744 2956 33554432000 4194304 4650419 140737351079696 18446744073709551615 4389652 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23341/tid=23344] ppid=23339 vsize=286156 CPUtime=0.19 cores=0,2,4,6
/proc/23341/task/23344/stat : 23344 (strangenight1-m) R 23339 23341 23167 0 -1 4202560 715 0 0 0 19 0 0 0 25 0 4 0 524136110 293023744 2957 33554432000 4194304 4650419 140737351079696 18446744073709551615 4331993 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.78
Current children cumulated vsize (KiB) 286156

[startup+0.300784 s]
/proc/loadavg: 7.68 7.98 7.98 5/180 23341
/proc/meminfo: memFree=30299024/32951124 swapFree=67111364/67111528
[pid=23341] ppid=23339 vsize=286156 CPUtime=1.18 cores=0,2,4,6
/proc/23341/stat : 23341 (strangenight1-m) R 23339 23341 23167 0 -1 4202496 3914 0 0 0 118 0 0 0 18 0 4 0 524136110 293023744 3309 33554432000 4194304 4650419 140737351079696 18446744073709551615 4366816 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/23341/statm: 71539 3309 390 112 0 66504 0
[pid=23341/tid=23342] ppid=23339 vsize=286156 CPUtime=0.29 cores=0,2,4,6
/proc/23341/task/23342/stat : 23342 (strangenight1-m) R 23339 23341 23167 0 -1 4202560 898 0 0 0 29 0 0 0 25 0 4 0 524136110 293023744 3309 33554432000 4194304 4650419 140737351079696 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23341/tid=23343] ppid=23339 vsize=286156 CPUtime=0.29 cores=0,2,4,6
/proc/23341/task/23343/stat : 23343 (strangenight1-m) R 23339 23341 23167 0 -1 4202560 903 0 0 0 29 0 0 0 18 0 4 0 524136110 293023744 3309 33554432000 4194304 4650419 140737351079696 18446744073709551615 4365127 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23341/tid=23344] ppid=23339 vsize=286156 CPUtime=0.29 cores=0,2,4,6
/proc/23341/task/23344/stat : 23344 (strangenight1-m) R 23339 23341 23167 0 -1 4202560 785 0 0 0 29 0 0 0 25 0 4 0 524136110 293023744 3309 33554432000 4194304 4650419 140737351079696 18446744073709551615 4365263 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 286156

[startup+0.700713 s]
/proc/loadavg: 7.68 7.98 7.98 5/180 23341
/proc/meminfo: memFree=30299024/32951124 swapFree=67111364/67111528
[pid=23341] ppid=23339 vsize=288108 CPUtime=2.77 cores=0,2,4,6
/proc/23341/stat : 23341 (strangenight1-m) R 23339 23341 23167 0 -1 4202496 6532 0 0 0 277 0 0 0 18 0 4 0 524136110 295022592 3791 33554432000 4194304 4650419 140737351079696 18446744073709551615 4366869 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/23341/statm: 72027 3791 390 112 0 66992 0
[pid=23341/tid=23342] ppid=23339 vsize=288108 CPUtime=0.69 cores=0,2,4,6
/proc/23341/task/23342/stat : 23342 (strangenight1-m) R 23339 23341 23167 0 -1 4202560 1572 0 0 0 69 0 0 0 25 0 4 0 524136110 295022592 3791 33554432000 4194304 4650419 140737351079696 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23341/tid=23343] ppid=23339 vsize=288108 CPUtime=0.69 cores=0,2,4,6
/proc/23341/task/23343/stat : 23343 (strangenight1-m) R 23339 23341 23167 0 -1 4202560 1546 0 0 0 69 0 0 0 18 0 4 0 524136110 295022592 3791 33554432000 4194304 4650419 140737351079696 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23341/tid=23344] ppid=23339 vsize=288108 CPUtime=0.69 cores=0,2,4,6
/proc/23341/task/23344/stat : 23344 (strangenight1-m) R 23339 23341 23167 0 -1 4202560 1446 0 0 0 69 0 0 0 25 0 4 0 524136110 295022592 3791 33554432000 4194304 4650419 140737351079696 18446744073709551615 4366943 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) 288108

[startup+1.50057 s]
/proc/loadavg: 7.68 7.98 7.98 9/184 23345
/proc/meminfo: memFree=30260392/32951124 swapFree=67111364/67111528
[pid=23341] ppid=23339 vsize=288932 CPUtime=5.97 cores=0,2,4,6
/proc/23341/stat : 23341 (strangenight1-m) R 23339 23341 23167 0 -1 4202496 10219 0 0 0 595 2 0 0 19 0 4 0 524136110 295866368 4799 33554432000 4194304 4650419 140737351079696 18446744073709551615 4366920 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/23341/statm: 72233 4799 391 112 0 67198 0
[pid=23341/tid=23342] ppid=23339 vsize=288932 CPUtime=1.48 cores=0,2,4,6
/proc/23341/task/23342/stat : 23342 (strangenight1-m) R 23339 23341 23167 0 -1 4202560 2552 0 0 0 148 0 0 0 25 0 4 0 524136110 295866368 4799 33554432000 4194304 4650419 140737351079696 18446744073709551615 4365195 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23341/tid=23343] ppid=23339 vsize=288932 CPUtime=1.48 cores=0,2,4,6
/proc/23341/task/23343/stat : 23343 (strangenight1-m) R 23339 23341 23167 0 -1 4202560 2568 0 0 0 148 0 0 0 19 0 4 0 524136110 295866368 4799 33554432000 4194304 4650419 140737351079696 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23341/tid=23344] ppid=23339 vsize=288932 CPUtime=1.48 cores=0,2,4,6
/proc/23341/task/23344/stat : 23344 (strangenight1-m) R 23339 23341 23167 0 -1 4202560 2140 0 0 0 148 0 0 0 25 0 4 0 524136110 295866368 4799 33554432000 4194304 4650419 140737351079696 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 288932

[startup+3.10028 s]
/proc/loadavg: 7.71 7.98 7.98 9/184 23345
/proc/meminfo: memFree=30242040/32951124 swapFree=67111364/67111528
[pid=23341] ppid=23339 vsize=303404 CPUtime=12.36 cores=0,2,4,6
/proc/23341/stat : 23341 (strangenight1-m) R 23339 23341 23167 0 -1 4202496 19061 0 0 0 1233 3 0 0 24 0 4 0 524136110 310685696 11597 33554432000 4194304 4650419 140737351079696 18446744073709551615 4366828 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/23341/statm: 75851 11597 392 112 0 70816 0
[pid=23341/tid=23342] ppid=23339 vsize=303404 CPUtime=3.08 cores=0,2,4,6
/proc/23341/task/23342/stat : 23342 (strangenight1-m) R 23339 23341 23167 0 -1 4202560 4276 0 0 0 308 0 0 0 25 0 4 0 524136110 310685696 11597 33554432000 4194304 4650419 140737351079696 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23341/tid=23343] ppid=23339 vsize=303404 CPUtime=3.08 cores=0,2,4,6
/proc/23341/task/23343/stat : 23343 (strangenight1-m) R 23339 23341 23167 0 -1 4202560 5219 0 0 0 308 0 0 0 25 0 4 0 524136110 310685696 11597 33554432000 4194304 4650419 140737351079696 18446744073709551615 4438399 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23341/tid=23344] ppid=23339 vsize=303404 CPUtime=3.07 cores=0,2,4,6
/proc/23341/task/23344/stat : 23344 (strangenight1-m) R 23339 23341 23167 0 -1 4202560 5047 0 0 0 307 0 0 0 25 0 4 0 524136110 310685696 11597 33554432000 4194304 4650419 140737351079696 18446744073709551615 4370730 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 303404

[startup+6.30069 s]
/proc/loadavg: 7.71 7.98 7.98 9/184 23345
/proc/meminfo: memFree=30205960/32951124 swapFree=67111364/67111528
[pid=23341] ppid=23339 vsize=291948 CPUtime=25.15 cores=0,2,4,6
/proc/23341/stat : 23341 (strangenight1-m) R 23339 23341 23167 0 -1 4202496 27921 0 0 0 2510 5 0 0 25 0 4 0 524136110 298954752 15105 33554432000 4194304 4650419 140737351079696 18446744073709551615 4364775 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/23341/statm: 72987 15105 392 112 0 67952 0
[pid=23341/tid=23342] ppid=23339 vsize=291948 CPUtime=6.28 cores=0,2,4,6
/proc/23341/task/23342/stat : 23342 (strangenight1-m) R 23339 23341 23167 0 -1 4202560 7225 0 0 0 627 1 0 0 25 0 4 0 524136110 298954752 15105 33554432000 4194304 4650419 140737351079696 18446744073709551615 4439408 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23341/tid=23343] ppid=23339 vsize=291948 CPUtime=6.29 cores=0,2,4,6
/proc/23341/task/23343/stat : 23343 (strangenight1-m) R 23339 23341 23167 0 -1 4202560 7161 0 0 0 628 1 0 0 25 0 4 0 524136110 298954752 15105 33554432000 4194304 4650419 140737351079696 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23341/tid=23344] ppid=23339 vsize=291948 CPUtime=6.26 cores=0,2,4,6
/proc/23341/task/23344/stat : 23344 (strangenight1-m) R 23339 23341 23167 0 -1 4202560 7138 0 0 0 625 1 0 0 25 0 4 0 524136110 298954752 15105 33554432000 4194304 4650419 140737351079696 18446744073709551615 4520372 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.15
Current children cumulated vsize (KiB) 291948

[startup+12.7005 s]
/proc/loadavg: 7.73 7.98 7.98 9/184 23345
/proc/meminfo: memFree=30164512/32951124 swapFree=67111364/67111528
[pid=23341] ppid=23339 vsize=307120 CPUtime=50.71 cores=0,2,4,6
/proc/23341/stat : 23341 (strangenight1-m) R 23339 23341 23167 0 -1 4202496 40327 0 0 0 5064 7 0 0 25 0 4 0 524136110 314490880 20215 33554432000 4194304 4650419 140737351079696 18446744073709551615 4364772 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/23341/statm: 76780 20215 392 112 0 71745 0
[pid=23341/tid=23342] ppid=23339 vsize=307120 CPUtime=12.68 cores=0,2,4,6
/proc/23341/task/23342/stat : 23342 (strangenight1-m) R 23339 23341 23167 0 -1 4202560 9577 0 0 0 1267 1 0 0 25 0 4 0 524136110 314490880 20215 33554432000 4194304 4650419 140737351079696 18446744073709551615 4438399 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23341/tid=23343] ppid=23339 vsize=307120 CPUtime=12.68 cores=0,2,4,6
/proc/23341/task/23343/stat : 23343 (strangenight1-m) R 23339 23341 23167 0 -1 4202560 10692 0 0 0 1267 1 0 0 25 0 4 0 524136110 314490880 20215 33554432000 4194304 4650419 140737351079696 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23341/tid=23344] ppid=23339 vsize=307120 CPUtime=12.63 cores=0,2,4,6
/proc/23341/task/23344/stat : 23344 (strangenight1-m) R 23339 23341 23167 0 -1 4202560 10845 0 0 0 1261 2 0 0 25 0 4 0 524136110 314490880 20215 33554432000 4194304 4650419 140737351079696 18446744073709551615 4365246 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 307120

[startup+25.5012 s]
/proc/loadavg: 7.79 7.98 7.98 9/184 23346
/proc/meminfo: memFree=30115300/32951124 swapFree=67111364/67111528
[pid=23341] ppid=23339 vsize=308564 CPUtime=101.85 cores=0,2,4,6
/proc/23341/stat : 23341 (strangenight1-m) R 23339 23341 23167 0 -1 4202496 60824 0 0 0 10172 13 0 0 25 0 4 0 524136110 315969536 27826 33554432000 4194304 4650419 140737351079696 18446744073709551615 4366831 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/23341/statm: 77141 27826 392 112 0 72106 0
[pid=23341/tid=23342] ppid=23339 vsize=308564 CPUtime=25.48 cores=0,2,4,6
/proc/23341/task/23342/stat : 23342 (strangenight1-m) R 23339 23341 23167 0 -1 4202560 13836 0 0 0 2545 3 0 0 25 0 4 0 524136110 315969536 27826 33554432000 4194304 4650419 140737351079696 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23341/tid=23343] ppid=23339 vsize=308564 CPUtime=25.48 cores=0,2,4,6
/proc/23341/task/23343/stat : 23343 (strangenight1-m) R 23339 23341 23167 0 -1 4202560 17065 0 0 0 2545 3 0 0 25 0 4 0 524136110 315969536 27826 33554432000 4194304 4650419 140737351079696 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23341/tid=23344] ppid=23339 vsize=308564 CPUtime=25.36 cores=0,2,4,6
/proc/23341/task/23344/stat : 23344 (strangenight1-m) R 23339 23341 23167 0 -1 4202560 15218 0 0 0 2533 3 0 0 25 0 4 0 524136110 315969536 27826 33554432000 4194304 4650419 140737351079696 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.85
Current children cumulated vsize (KiB) 308564

[startup+51.1005 s]
/proc/loadavg: 7.92 8.00 7.98 9/184 23347
/proc/meminfo: memFree=30080588/32951124 swapFree=67111364/67111528
[pid=23341] ppid=23339 vsize=330288 CPUtime=204.11 cores=0,2,4,6
/proc/23341/stat : 23341 (strangenight1-m) R 23339 23341 23167 0 -1 4202496 88214 0 0 0 20391 20 0 0 25 0 4 0 524136110 338214912 30694 33554432000 4194304 4650419 140737351079696 18446744073709551615 4364788 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/23341/statm: 82572 30694 392 112 0 77537 0
[pid=23341/tid=23342] ppid=23339 vsize=330288 CPUtime=51.08 cores=0,2,4,6
/proc/23341/task/23342/stat : 23342 (strangenight1-m) R 23339 23341 23167 0 -1 4202560 22333 0 0 0 5103 5 0 0 25 0 4 0 524136110 338214912 30694 33554432000 4194304 4650419 140737351079696 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23341/tid=23343] ppid=23339 vsize=330288 CPUtime=51.08 cores=0,2,4,6
/proc/23341/task/23343/stat : 23343 (strangenight1-m) R 23339 23341 23167 0 -1 4202560 24723 0 0 0 5102 6 0 0 25 0 4 0 524136110 338214912 30694 33554432000 4194304 4650419 140737351079696 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23341/tid=23344] ppid=23339 vsize=330288 CPUtime=50.83 cores=0,2,4,6
/proc/23341/task/23344/stat : 23344 (strangenight1-m) R 23339 23341 23167 0 -1 4202560 19897 0 0 0 5079 4 0 0 25 0 4 0 524136110 338214912 30694 33554432000 4194304 4650419 140737351079696 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 204.11
Current children cumulated vsize (KiB) 330288

[startup+102.301 s]
/proc/loadavg: 8.24 8.07 8.01 9/184 23351
/proc/meminfo: memFree=30022756/32951124 swapFree=67111364/67111528
[pid=23341] ppid=23339 vsize=330984 CPUtime=407.85 cores=0,2,4,6
/proc/23341/stat : 23341 (strangenight1-m) R 23339 23341 23167 0 -1 4202496 136231 0 0 0 40750 35 0 0 25 0 4 0 524136110 338927616 37192 33554432000 4194304 4650419 140737351079696 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/23341/statm: 82746 37192 392 112 0 77711 0
[pid=23341/tid=23342] ppid=23339 vsize=330984 CPUtime=102.27 cores=0,2,4,6
/proc/23341/task/23342/stat : 23342 (strangenight1-m) R 23339 23341 23167 0 -1 4202560 33009 0 0 0 10219 8 0 0 25 0 4 0 524136110 338927616 37192 33554432000 4194304 4650419 140737351079696 18446744073709551615 4438399 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23341/tid=23343] ppid=23339 vsize=330984 CPUtime=102.13 cores=0,2,4,6
/proc/23341/task/23343/stat : 23343 (strangenight1-m) R 23339 23341 23167 0 -1 4202560 39184 0 0 0 10202 11 0 0 25 0 4 0 524136110 338927616 37192 33554432000 4194304 4650419 140737351079696 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23341/tid=23344] ppid=23339 vsize=330984 CPUtime=101.13 cores=0,2,4,6
/proc/23341/task/23344/stat : 23344 (strangenight1-m) R 23339 23341 23167 0 -1 4202560 32479 0 0 0 10106 7 0 0 25 0 4 0 524136110 338927616 37192 33554432000 4194304 4650419 140737351079696 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 407.85
Current children cumulated vsize (KiB) 330984

[startup+162.3 s]

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

[pid=23341] ppid=23339 vsize=470172 CPUtime=2564.98 cores=0,2,4,6
/proc/23341/stat : 23341 (strangenight1-m) R 23339 23341 23167 0 -1 4202496 379318 0 0 0 256378 120 0 0 25 0 4 0 524136110 481456128 75410 33554432000 4194304 4650419 140737351079696 18446744073709551615 4364772 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/23341/statm: 117543 75410 392 112 0 112508 0
[pid=23341/tid=23342] ppid=23339 vsize=470172 CPUtime=642.27 cores=0,2,4,6
/proc/23341/task/23342/stat : 23342 (strangenight1-m) R 23339 23341 23167 0 -1 4202560 87662 0 0 0 64198 29 0 0 25 0 4 0 524136110 481456128 75410 33554432000 4194304 4650419 140737351079696 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23341/tid=23343] ppid=23339 vsize=470172 CPUtime=642.08 cores=0,2,4,6
/proc/23341/task/23343/stat : 23343 (strangenight1-m) R 23339 23341 23167 0 -1 4202560 113547 0 0 0 64169 39 0 0 25 0 4 0 524136110 481456128 75410 33554432000 4194304 4650419 140737351079696 18446744073709551615 4313707 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23341/tid=23344] ppid=23339 vsize=470172 CPUtime=638.3 cores=0,2,4,6
/proc/23341/task/23344/stat : 23344 (strangenight1-m) R 23339 23341 23167 0 -1 4202560 84736 0 0 0 63805 25 0 0 25 0 4 0 524136110 481456128 75410 33554432000 4194304 4650419 140737351079696 18446744073709551615 4363386 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2564.98
Current children cumulated vsize (KiB) 470172

[startup+702.301 s]
/proc/loadavg: 8.07 8.04 8.00 9/184 23397
/proc/meminfo: memFree=29788060/32951124 swapFree=67111364/67111528
[pid=23341] ppid=23339 vsize=479128 CPUtime=2804.65 cores=0,2,4,6
/proc/23341/stat : 23341 (strangenight1-m) R 23339 23341 23167 0 -1 4202496 401924 0 0 0 280334 131 0 0 25 0 4 0 524136110 490627072 78732 33554432000 4194304 4650419 140737351079696 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/23341/statm: 119782 78732 392 112 0 114747 0
[pid=23341/tid=23342] ppid=23339 vsize=479128 CPUtime=702.28 cores=0,2,4,6
/proc/23341/task/23342/stat : 23342 (strangenight1-m) R 23339 23341 23167 0 -1 4202560 96165 0 0 0 70194 34 0 0 25 0 4 0 524136110 490627072 78732 33554432000 4194304 4650419 140737351079696 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23341/tid=23343] ppid=23339 vsize=479128 CPUtime=702.07 cores=0,2,4,6
/proc/23341/task/23343/stat : 23343 (strangenight1-m) R 23339 23341 23167 0 -1 4202560 119444 0 0 0 70166 41 0 0 25 0 4 0 524136110 490627072 78732 33554432000 4194304 4650419 140737351079696 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23341/tid=23344] ppid=23339 vsize=479128 CPUtime=697.96 cores=0,2,4,6
/proc/23341/task/23344/stat : 23344 (strangenight1-m) R 23339 23341 23167 0 -1 4202560 89931 0 0 0 69769 27 0 0 25 0 4 0 524136110 490627072 78732 33554432000 4194304 4650419 140737351079696 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2804.65
Current children cumulated vsize (KiB) 479128

[startup+762.301 s]
/proc/loadavg: 8.14 8.06 8.01 9/184 23398
/proc/meminfo: memFree=29764824/32951124 swapFree=67111364/67111528
[pid=23341] ppid=23339 vsize=489904 CPUtime=3044.34 cores=0,2,4,6
/proc/23341/stat : 23341 (strangenight1-m) R 23339 23341 23167 0 -1 4202496 413238 0 0 0 304296 138 0 0 25 0 4 0 524136110 501661696 81678 33554432000 4194304 4650419 140737351079696 18446744073709551615 4366896 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/23341/statm: 122476 81678 392 112 0 117441 0
[pid=23341/tid=23342] ppid=23339 vsize=489904 CPUtime=762.28 cores=0,2,4,6
/proc/23341/task/23342/stat : 23342 (strangenight1-m) R 23339 23341 23167 0 -1 4202560 96630 0 0 0 76194 34 0 0 25 0 4 0 524136110 501661696 81678 33554432000 4194304 4650419 140737351079696 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23341/tid=23343] ppid=23339 vsize=489904 CPUtime=762.07 cores=0,2,4,6
/proc/23341/task/23343/stat : 23343 (strangenight1-m) R 23339 23341 23167 0 -1 4202560 125111 0 0 0 76162 45 0 0 25 0 4 0 524136110 501661696 81678 33554432000 4194304 4650419 140737351079696 18446744073709551615 4365203 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23341/tid=23344] ppid=23339 vsize=489904 CPUtime=757.64 cores=0,2,4,6
/proc/23341/task/23344/stat : 23344 (strangenight1-m) R 23339 23341 23167 0 -1 4202560 91902 0 0 0 75737 27 0 0 25 0 4 0 524136110 501661696 81678 33554432000 4194304 4650419 140737351079696 18446744073709551615 4476483 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3044.34
Current children cumulated vsize (KiB) 489904

[startup+822.301 s]
/proc/loadavg: 8.11 8.06 8.01 9/184 23400
/proc/meminfo: memFree=29763916/32951124 swapFree=67111364/67111528
[pid=23341] ppid=23339 vsize=490016 CPUtime=3283.99 cores=0,2,4,6
/proc/23341/stat : 23341 (strangenight1-m) R 23339 23341 23167 0 -1 4202496 424265 0 0 0 328257 142 0 0 25 0 4 0 524136110 501776384 86944 33554432000 4194304 4650419 140737351079696 18446744073709551615 4366879 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/23341/statm: 122504 86944 392 112 0 117469 0
[pid=23341/tid=23342] ppid=23339 vsize=490016 CPUtime=822.28 cores=0,2,4,6
/proc/23341/task/23342/stat : 23342 (strangenight1-m) R 23339 23341 23167 0 -1 4202560 96637 0 0 0 82194 34 0 0 25 0 4 0 524136110 501776384 86944 33554432000 4194304 4650419 140737351079696 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23341/tid=23343] ppid=23339 vsize=490016 CPUtime=822.07 cores=0,2,4,6
/proc/23341/task/23343/stat : 23343 (strangenight1-m) R 23339 23341 23167 0 -1 4202560 130636 0 0 0 82159 48 0 0 25 0 4 0 524136110 501776384 86944 33554432000 4194304 4650419 140737351079696 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23341/tid=23344] ppid=23339 vsize=490016 CPUtime=817.31 cores=0,2,4,6
/proc/23341/task/23344/stat : 23344 (strangenight1-m) R 23339 23341 23167 0 -1 4202560 92057 0 0 0 81704 27 0 0 25 0 4 0 524136110 501776384 86944 33554432000 4194304 4650419 140737351079696 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3283.99
Current children cumulated vsize (KiB) 490016

[startup+882.307 s]
/proc/loadavg: 8.08 8.06 8.01 9/184 23402
/proc/meminfo: memFree=29760028/32951124 swapFree=67111364/67111528
[pid=23341] ppid=23339 vsize=498192 CPUtime=3523.69 cores=0,2,4,6
/proc/23341/stat : 23341 (strangenight1-m) R 23339 23341 23167 0 -1 4202496 435683 0 0 0 352220 149 0 0 25 0 4 0 524136110 510148608 84099 33554432000 4194304 4650419 140737351079696 18446744073709551615 4365289 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/23341/statm: 124548 84099 392 112 0 119513 0
[pid=23341/tid=23342] ppid=23339 vsize=498192 CPUtime=882.28 cores=0,2,4,6
/proc/23341/task/23342/stat : 23342 (strangenight1-m) R 23339 23341 23167 0 -1 4202560 100098 0 0 0 88193 35 0 0 25 0 4 0 524136110 510148608 84099 33554432000 4194304 4650419 140737351079696 18446744073709551615 4365276 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23341/tid=23343] ppid=23339 vsize=498192 CPUtime=882.06 cores=0,2,4,6
/proc/23341/task/23343/stat : 23343 (strangenight1-m) R 23339 23341 23167 0 -1 4202560 135773 0 0 0 88156 50 0 0 25 0 4 0 524136110 510148608 84099 33554432000 4194304 4650419 140737351079696 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23341/tid=23344] ppid=23339 vsize=498192 CPUtime=877 cores=0,2,4,6
/proc/23341/task/23344/stat : 23344 (strangenight1-m) R 23339 23341 23167 0 -1 4202560 92152 0 0 0 87672 28 0 0 25 0 4 0 524136110 510148608 84099 33554432000 4194304 4650419 140737351079696 18446744073709551615 4476297 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3523.69
Current children cumulated vsize (KiB) 498192

[startup+942.301 s]
/proc/loadavg: 8.07 8.06 8.01 9/184 23403
/proc/meminfo: memFree=29722412/32951124 swapFree=67111364/67111528
[pid=23341] ppid=23339 vsize=523292 CPUtime=3763.34 cores=0,2,4,6
/proc/23341/stat : 23341 (strangenight1-m) R 23339 23341 23167 0 -1 4202496 453377 0 0 0 376177 157 0 0 25 0 4 0 524136110 535851008 92791 33554432000 4194304 4650419 140737351079696 18446744073709551615 4476304 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/23341/statm: 130823 92791 392 112 0 125788 0
[pid=23341/tid=23342] ppid=23339 vsize=523292 CPUtime=942.28 cores=0,2,4,6
/proc/23341/task/23342/stat : 23342 (strangenight1-m) R 23339 23341 23167 0 -1 4202560 106945 0 0 0 94189 39 0 0 25 0 4 0 524136110 535851008 92791 33554432000 4194304 4650419 140737351079696 18446744073709551615 4366896 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23341/tid=23343] ppid=23339 vsize=523292 CPUtime=942.05 cores=0,2,4,6
/proc/23341/task/23343/stat : 23343 (strangenight1-m) R 23339 23341 23167 0 -1 4202560 140801 0 0 0 94152 53 0 0 25 0 4 0 524136110 535851008 92791 33554432000 4194304 4650419 140737351079696 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23341/tid=23344] ppid=23339 vsize=523292 CPUtime=936.67 cores=0,2,4,6
/proc/23341/task/23344/stat : 23344 (strangenight1-m) R 23339 23341 23167 0 -1 4202560 94984 0 0 0 93638 29 0 0 25 0 4 0 524136110 535851008 92791 33554432000 4194304 4650419 140737351079696 18446744073709551615 4365203 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3763.34
Current children cumulated vsize (KiB) 523292

[startup+1002.3 s]
/proc/loadavg: 8.11 8.08 8.01 9/184 23405
/proc/meminfo: memFree=29698332/32951124 swapFree=67111364/67111528
[pid=23341] ppid=23339 vsize=523416 CPUtime=4003.02 cores=0,2,4,6
/proc/23341/stat : 23341 (strangenight1-m) R 23339 23341 23167 0 -1 4202496 464261 0 0 0 400140 162 0 0 25 0 4 0 524136110 535977984 97480 33554432000 4194304 4650419 140737351079696 18446744073709551615 4476315 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/23341/statm: 130854 97480 392 112 0 125819 0
[pid=23341/tid=23342] ppid=23339 vsize=523416 CPUtime=1002.28 cores=0,2,4,6
/proc/23341/task/23342/stat : 23342 (strangenight1-m) R 23339 23341 23167 0 -1 4202560 111473 0 0 0 100188 40 0 0 25 0 4 0 524136110 535977984 97480 33554432000 4194304 4650419 140737351079696 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23341/tid=23343] ppid=23339 vsize=523416 CPUtime=1002.05 cores=0,2,4,6
/proc/23341/task/23343/stat : 23343 (strangenight1-m) R 23339 23341 23167 0 -1 4202560 146834 0 0 0 100149 56 0 0 25 0 4 0 524136110 535977984 97480 33554432000 4194304 4650419 140737351079696 18446744073709551615 4365216 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23341/tid=23344] ppid=23339 vsize=523416 CPUtime=996.34 cores=0,2,4,6
/proc/23341/task/23344/stat : 23344 (strangenight1-m) R 23339 23341 23167 0 -1 4202560 95306 0 0 0 99605 29 0 0 25 0 4 0 524136110 535977984 97480 33554432000 4194304 4650419 140737351079696 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4003.02
Current children cumulated vsize (KiB) 523416

[startup+1062.3 s]
/proc/loadavg: 8.13 8.09 8.02 9/184 23406
/proc/meminfo: memFree=29689752/32951124 swapFree=67111364/67111528
[pid=23341] ppid=23339 vsize=523508 CPUtime=4242.69 cores=0,2,4,6
/proc/23341/stat : 23341 (strangenight1-m) R 23339 23341 23167 0 -1 4202496 472633 0 0 0 424103 166 0 0 25 0 4 0 524136110 536072192 95211 33554432000 4194304 4650419 140737351079696 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/23341/statm: 130877 95211 392 112 0 125842 0
[pid=23341/tid=23342] ppid=23339 vsize=523508 CPUtime=1062.28 cores=0,2,4,6
/proc/23341/task/23342/stat : 23342 (strangenight1-m) R 23339 23341 23167 0 -1 4202560 113075 0 0 0 106187 41 0 0 25 0 4 0 524136110 536072192 95211 33554432000 4194304 4650419 140737351079696 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23341/tid=23343] ppid=23339 vsize=523508 CPUtime=1062.04 cores=0,2,4,6
/proc/23341/task/23343/stat : 23343 (strangenight1-m) R 23339 23341 23167 0 -1 4202560 152648 0 0 0 106146 58 0 0 25 0 4 0 524136110 536072192 95211 33554432000 4194304 4650419 140737351079696 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23341/tid=23344] ppid=23339 vsize=523508 CPUtime=1056.02 cores=0,2,4,6
/proc/23341/task/23344/stat : 23344 (strangenight1-m) R 23339 23341 23167 0 -1 4202560 95392 0 0 0 105573 29 0 0 25 0 4 0 524136110 536072192 95211 33554432000 4194304 4650419 140737351079696 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4242.69
Current children cumulated vsize (KiB) 523508

[startup+1122.3 s]
/proc/loadavg: 8.09 8.08 8.02 9/184 23408
/proc/meminfo: memFree=29649664/32951124 swapFree=67111364/67111528
[pid=23341] ppid=23339 vsize=589108 CPUtime=4482.35 cores=0,2,4,6
/proc/23341/stat : 23341 (strangenight1-m) R 23339 23341 23167 0 -1 4202496 482403 0 0 0 448066 169 0 0 25 0 4 0 524136110 603246592 101660 33554432000 4194304 4650419 140737351079696 18446744073709551615 4366931 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/23341/statm: 147277 101660 392 112 0 142242 0
[pid=23341/tid=23342] ppid=23339 vsize=589108 CPUtime=1122.28 cores=0,2,4,6
/proc/23341/task/23342/stat : 23342 (strangenight1-m) R 23339 23341 23167 0 -1 4202560 113141 0 0 0 112187 41 0 0 25 0 4 0 524136110 603246592 101660 33554432000 4194304 4650419 140737351079696 18446744073709551615 4476293 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23341/tid=23343] ppid=23339 vsize=589108 CPUtime=1122.03 cores=0,2,4,6
/proc/23341/task/23343/stat : 23343 (strangenight1-m) R 23339 23341 23167 0 -1 4202560 157505 0 0 0 112144 59 0 0 25 0 4 0 524136110 603246592 101660 33554432000 4194304 4650419 140737351079696 18446744073709551615 4438399 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23341/tid=23344] ppid=23339 vsize=589108 CPUtime=1115.69 cores=0,2,4,6
/proc/23341/task/23344/stat : 23344 (strangenight1-m) R 23339 23341 23167 0 -1 4202560 95891 0 0 0 111540 29 0 0 25 0 4 0 524136110 603246592 101660 33554432000 4194304 4650419 140737351079696 18446744073709551615 4439103 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4482.35
Current children cumulated vsize (KiB) 589108

[startup+1182.3 s]
/proc/loadavg: 8.08 8.08 8.02 9/184 23410
/proc/meminfo: memFree=29685960/32951124 swapFree=67111364/67111528
[pid=23341] ppid=23339 vsize=589108 CPUtime=4722.04 cores=0,2,4,6
/proc/23341/stat : 23341 (strangenight1-m) R 23339 23341 23167 0 -1 4202496 489177 0 0 0 472032 172 0 0 25 0 4 0 524136110 603246592 97272 33554432000 4194304 4650419 140737351079696 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/23341/statm: 147277 97272 392 112 0 142242 0
[pid=23341/tid=23342] ppid=23339 vsize=589108 CPUtime=1182.28 cores=0,2,4,6
/proc/23341/task/23342/stat : 23342 (strangenight1-m) R 23339 23341 23167 0 -1 4202560 113141 0 0 0 118187 41 0 0 25 0 4 0 524136110 603246592 97272 33554432000 4194304 4650419 140737351079696 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23341/tid=23343] ppid=23339 vsize=589108 CPUtime=1182.03 cores=0,2,4,6
/proc/23341/task/23343/stat : 23343 (strangenight1-m) R 23339 23341 23167 0 -1 4202560 162513 0 0 0 118143 60 0 0 25 0 4 0 524136110 603246592 97272 33554432000 4194304 4650419 140737351079696 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23341/tid=23344] ppid=23339 vsize=589108 CPUtime=1175.37 cores=0,2,4,6
/proc/23341/task/23344/stat : 23344 (strangenight1-m) R 23339 23341 23167 0 -1 4202560 95891 0 0 0 117508 29 0 0 25 0 4 0 524136110 603246592 97272 33554432000 4194304 4650419 140737351079696 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4722.04
Current children cumulated vsize (KiB) 589108



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.9 s]
/proc/loadavg: 8.14 8.09 8.02 9/184 23410
/proc/meminfo: memFree=29667092/32951124 swapFree=67111364/67111528
[pid=23341] ppid=23339 vsize=589108 CPUtime=4800.33 cores=0,2,4,6
/proc/23341/stat : 23341 (strangenight1-m) R 23339 23341 23167 0 -1 4202496 493855 0 0 0 479861 172 0 0 25 0 4 0 524136110 603246592 98472 33554432000 4194304 4650419 140737351079696 18446744073709551615 4366906 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/23341/statm: 147277 98472 392 112 0 142242 0
[pid=23341/tid=23342] ppid=23339 vsize=589108 CPUtime=1201.89 cores=0,2,4,6
/proc/23341/task/23342/stat : 23342 (strangenight1-m) R 23339 23341 23167 0 -1 4202560 113141 0 0 0 120148 41 0 0 25 0 4 0 524136110 603246592 98472 33554432000 4194304 4650419 140737351079696 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23341/tid=23343] ppid=23339 vsize=589108 CPUtime=1201.63 cores=0,2,4,6
/proc/23341/task/23343/stat : 23343 (strangenight1-m) R 23339 23341 23167 0 -1 4202560 165746 0 0 0 120102 61 0 0 25 0 4 0 524136110 603246592 98472 33554432000 4194304 4650419 140737351079696 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23341/tid=23344] ppid=23339 vsize=589108 CPUtime=1194.86 cores=0,2,4,6
/proc/23341/task/23344/stat : 23344 (strangenight1-m) R 23339 23341 23167 0 -1 4202560 95891 0 0 0 119457 29 0 0 25 0 4 0 524136110 603246592 98472 33554432000 4194304 4650419 140737351079696 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.33
Current children cumulated vsize (KiB) 589108

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.93
CPU time (s): 4800.38
CPU user time (s): 4798.64
CPU system time (s): 1.74473
CPU usage (%): 399.39
Max. virtual memory (cumulated for all children) (KiB): 589108

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.64
system time used= 1.74473
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 493855
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= 444
involuntary context switches= 24076

runsolver used 1.91671 second user time and 4.52531 second system time

The end

Launcher Data 

Begin job on node106 at 2011-04-30 03:02:37
IDJOB=3175468
IDBENCH=83086
IDSOLVER=1588
FILE ID=node106/3175468-1304125357
RUNJOBID= node106-1304124152-23185
PBS_JOBID= 13170755
Free space on /tmp= 72152 MiB

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

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

MD5SUM BENCH= b69cb091f87b56cc59075b29ac9c632c
RANDOM SEED=53805197

node106.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30299304 kB
Buffers:        266308 kB
Cached:        2093088 kB
SwapCached:         88 kB
Active:         831964 kB
Inactive:      1607796 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30299304 kB
SwapTotal:    67111528 kB
SwapFree:     67111364 kB
Dirty:           12444 kB
Writeback:           0 kB
AnonPages:       80000 kB
Mapped:          15512 kB
Slab:           147228 kB
PageTables:       4420 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   289100 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= 72148 MiB
End job on node106 at 2011-04-30 03:22:41