Trace number 3368809

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.11 1202.93

General information on the benchmark

Namerandom/medium/
unif-k7-r89-v70-c6230-S635440951-015.UNKNOWN.cnf
MD5SUM84865a406d2a10d67b7d2a7ac3e327ce
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 variables70
Number of clauses6230
Sum of the clauses size43610
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 56230

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.01	c Using 4 threads
0.00/0.01	c This is CryptoMiniSat 2.9.0
0.00/0.01	c compiled with gcc version 4.4.5
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3368809-1305403439.cnf'
0.00/0.01	c -- header says num vars:             70
0.00/0.01	c -- header says num clauses:        6230
0.00/0.01	c -- clauses added:            0 learnts,         6230 normals,            0 xors
0.00/0.01	c -- vars added         70
0.37/0.15	c Parsing time:  0.01 s
0.37/0.15	c  N st     0         0        70      6230         0         0     43610         0   no data   no data  --
0.37/0.15	c asymm  cl-useful: 0/6230/6230 lits-rem:0 time: 0.55
0.37/0.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
0.37/0.15	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.37/0.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.37/0.15	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
0.37/0.15	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3.57/0.90	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.07 s
3.57/0.90	c Finding binary XORs  T:     0.00 s  found:       0
3.57/0.90	c Finding non-binary XORs:     0.01 s (found:       0, avg size: nan)
3.57/0.90	c calculated reachability. Time: 0.00
3.57/0.90	c Calc default polars -  time:   0.00 s pos:      30 undec:       0 neg:      40
3.57/0.90	c =========================================================================================
3.57/0.90	c types(t): F = full restart, N = normal restart
3.57/0.90	c types(t): S = simplification begin/end, E = solution found
3.57/0.90	c restart types(rt): st = static, dy = dynamic
3.57/0.90	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.57/0.90	c  B st     0         0        70      6230         0         0     43610         0   no data   no data  --
3.57/0.90	c  N dy    14      9112        70      6230         0      5978     43610    134839     20.11     21.25  --
3.97/1.00	c  N dy    38     21109        70      6230         0      7798     43610    157145     19.78     20.85  --
4.38/1.20	c  F st    71     25000        70      6230         0     11366     43610    244348     20.14   no data  --
5.17/1.30	c  N st    72     25251        70      6230         0     11601     43610    250166     20.14   no data  --
5.57/1.42	c  N dy    77     30001        70      6230         0      9757     43610    197931     20.14   no data  --
5.57/1.42	c  S st    77     30001        70      6230         0      9757     43610    197931     20.14   no data  --
5.57/1.46	c  S st    77     30503        70      6230         0     10228     43610    209418     20.14   no data  --
5.57/1.46	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.57/1.46	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
5.57/1.46	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
5.57/1.47	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.57/1.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.57/1.47	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
5.57/1.47	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
9.95/2.59	c lits-rem:      1628  cl-subs:      918  v-elim:      0  v-fix:    0  time:  4.46 s
11.15/2.89	c asymm  cl-useful: 0/6230/6230 lits-rem:0 time: 1.20
11.15/2.89	c calculated reachability. Time: 0.00
11.15/2.89	c  N dy    77     30503        70      6230         0      9310     43610    184741     20.14   no data  --
12.35/3.17	c  N dy   108     35202        70      6230         0     13620     43610    289049     20.35     21.45  --
13.16/3.40	c  N dy   124     39665        70      6230         0     10537     43610    199945     20.35     21.42  --
14.74/3.76	c  N dy   152     45755        70      6230         0     16042     43610    332536     20.40     18.84  --
14.74/3.76	c  S st   152     45755        70      6230         0     16042     43610    332536     20.40     18.84  --
15.14/3.80	c  S st   152     46258        70      6230         0      8420     43610    138152     20.40   no data  --
15.14/3.80	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.14/3.80	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
15.14/3.81	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
15.14/3.81	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.14/3.81	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.14/3.81	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
15.14/3.81	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
17.97/4.58	c lits-rem:       107  cl-subs:       37  v-elim:      0  v-fix:    0  time:  3.08 s
17.97/4.58	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
17.97/4.58	c vivif2 --  cl tried     8383 cl shrink        0 lits rem          0 time: 0.00
19.13/4.84	c asymm  cl-useful: 0/6230/6230 lits-rem:0 time: 1.02
19.13/4.84	c calculated reachability. Time: 0.00
19.13/4.84	c  N dy   152     46258        70      6230         0      8383     43610    136933     20.40   no data  --
19.93/5.06	c  N dy   158     50810        70      6230         0     12541     43610    236327     20.34     21.47  --
21.13/5.33	c  N dy   184     55045        70      6230         0     16370     43610    328861     20.43     21.58  --
22.36/5.68	c  N dy   187     61492        70      6230         0     13135     43610    236296     20.29     21.42  --
23.52/5.95	c  N dy   208     65515        70      6230         0     16819     43610    325209     20.36     21.49  --
24.72/6.25	c  S st   224     69387        70      6230         0     10372     43610    160255     20.39     20.29  --
24.72/6.28	c  S st   224     69889        70      6230         0     10836     43610    171433     20.39   no data  --
24.72/6.28	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
24.72/6.28	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
24.72/6.29	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
24.72/6.29	c bin-w-bin subsume rem            0 bins  time:  0.00 s
24.72/6.29	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
24.72/6.29	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
24.72/6.29	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
28.31/7.16	c lits-rem:       328  cl-subs:      146  v-elim:      0  v-fix:    0  time:  3.47 s
28.31/7.16	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
28.31/7.16	c vivif2 --  cl tried    10690 cl shrink        0 lits rem          0 time: 0.01
29.51/7.47	c asymm  cl-useful: 0/6230/6230 lits-rem:0 time: 1.20
29.51/7.47	c calculated reachability. Time: 0.00
29.51/7.47	c  N dy   224     69889        70      6230         0     10690     43610    167437     20.39   no data  --
30.72/7.73	c  N dy   257     74534        70      6230         0     14912     43610    271384     20.50     21.62  --
31.89/8.08	c  N dy   277     79594        70      6230         0     19519     43610    383043     20.54     21.69  --
33.50/8.44	c  N dy   285     84687        70      6230         0     13230     43610    217389     20.52     22.71  --
34.30/8.63	c  F st   299     87502        70      6230         0     15770     43610    278532     20.54     20.33  --
35.11/8.84	c  N st   304     90798        70      6230         0     18757     43610    351375     20.54   no data  --
37.09/9.30	c  N dy   311     96953        70      6230         0     12545     43610    186789     20.52     21.62  --
38.69/9.78	c  N dy   319    104835        70      6230         0     19632     43610    352486     20.42     19.09  --
38.69/9.78	c  S st   319    104835        70      6230         0     19632     43610    352486     20.42     19.09  --
39.09/9.84	c  S st   319    105336        70      6230         0     20094     43610    363575     20.42   no data  --
39.09/9.84	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
39.09/9.84	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
39.09/9.84	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
39.09/9.85	c bin-w-bin subsume rem            0 bins  time:  0.00 s
39.09/9.85	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
39.09/9.85	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
39.09/9.85	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
45.46/11.41	c lits-rem:      1592  cl-subs:     2120  v-elim:      0  v-fix:    0  time:  6.21 s
45.46/11.41	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
45.46/11.42	c vivif2 --  cl tried    17974 cl shrink        0 lits rem          0 time: 0.01
46.67/11.79	c asymm  cl-useful: 0/4788/6230 lits-rem:0 time: 1.50
46.67/11.79	c calculated reachability. Time: 0.00
46.67/11.79	c  N dy   319    105336        70      6230         0     17974     43610    313744     20.42   no data  --
48.70/12.29	c  N dy   342    112183        70      6230         0     24164     43610    461193     20.43     21.52  --
54.25/13.60	c  N dy   346    129189        70      6230         0     26811     43610    506693     20.24     21.32  --
56.64/14.31	c  N dy   360    139403        70      6230         0     22556     43610    400829     20.19     21.30  --
62.63/15.73	c  N dy   421    157221        70      6230         0     24288     43610    426924     20.17     21.25  --
63.03/15.81	c  S st   427    158004        70      6230         0     25008     43610    444438     20.18   no data  --
63.03/15.87	c  S st   427    158507        70      6230         0     25472     43610    456173     20.18   no data  --
63.03/15.87	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
63.03/15.87	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
63.03/15.88	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
63.03/15.89	c bin-w-bin subsume rem            0 bins  time:  0.00 s
63.03/15.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
63.03/15.89	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
63.03/15.89	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
72.21/18.13	c lits-rem:      2360  cl-subs:     2815  v-elim:      0  v-fix:    0  time:  8.93 s
72.21/18.13	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
72.21/18.13	c vivif2 --  cl tried    22657 cl shrink        0 lits rem          0 time: 0.02
73.01/18.31	c asymm  cl-useful: 0/1442/6230 lits-rem:0 time: 0.72
73.01/18.32	c calculated reachability. Time: 0.00
73.01/18.32	c  N dy   427    158507        70      6230         0     22657     43610    389588     20.18   no data  --
77.00/19.38	c  N dy   491    168859        70      6230         0     16878     43610    241969     20.27     21.39  --
80.99/20.32	c  N dy   528    180813        70      6230         0     27754     43610    503312     20.29     21.40  --
84.98/21.39	c  N dy   581    192376        70      6230         0     22004     43610    354938     20.33     21.76  --
90.56/22.74	c  N dy   633    205318        70      6230         0     33745     43610    636782     20.35     21.44  --
95.75/24.02	c  N dy   707    218445        70      6230         0     28399     43610    498193     20.42     22.32  --
101.73/25.52	c  N dy   742    234371        70      6230         0     24678     43610    387749     20.40     21.50  --
102.93/25.84	c  S st   765    237762        70      6230         0     27766     43610    463192     20.42     19.82  --
103.33/25.91	c  S st   765    238265        70      6230         0     28227     43610    474336     20.42   no data  --
103.33/25.92	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
103.33/25.92	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
103.33/25.92	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
103.33/25.94	c bin-w-bin subsume rem            0 bins  time:  0.00 s
103.33/25.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
103.33/25.94	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
103.33/25.94	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
112.11/28.14	c lits-rem:      1759  cl-subs:     2402  v-elim:      0  v-fix:    0  time:  8.80 s
112.11/28.14	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
112.11/28.15	c vivif2 --  cl tried    25825 cl shrink        0 lits rem          0 time: 0.02
113.71/28.56	c asymm  cl-useful: 0/3659/6230 lits-rem:0 time: 1.63
113.71/28.56	c calculated reachability. Time: 0.00
113.71/28.56	c  N dy   765    238265        70      6230         0     25825     43610    415392     20.42   no data  --
120.89/30.30	c  N dy   813    255599        70      6230         0     22626     43610    324568     20.41     21.52  --
127.30/31.96	c  N dy   880    271968        70      6230         0     37413     43610    678370     20.42     21.93  --
134.86/33.81	c  N dy   988    289387        70      6230         0     33409     43610    580916     20.50     21.89  --
142.04/35.68	c  F st  1043    306252        70      6230         0     27842     43610    425389     20.49     19.09  --
142.84/35.86	c  N st  1047    308285        70      6230         0     29699     43610    471062     20.49   no data  --
152.03/38.13	c  N dy  1110    328474        70      6230         0     26263     43610    379068     20.50     21.76  --
162.00/40.69	c  N dy  1215    348507        70      6230         0     44446     43610    821080     20.55     23.40  --
165.99/41.65	c  S st  1256    357397        70      6230         0     29847     43610    454139     20.57     20.89  --
166.39/41.73	c  S st  1256    357901        70      6230         0     30318     43610    465719     20.57   no data  --
166.39/41.73	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
166.39/41.73	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
166.39/41.74	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
166.39/41.76	c bin-w-bin subsume rem            0 bins  time:  0.00 s
166.39/41.76	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
166.39/41.76	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
166.39/41.76	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
175.18/44.01	c lits-rem:      1681  cl-subs:     1521  v-elim:      0  v-fix:    0  time:  8.96 s
175.18/44.01	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
175.59/44.01	c vivif2 --  cl tried    28797 cl shrink        0 lits rem          0 time: 0.02
177.16/44.45	c asymm  cl-useful: 0/2571/6230 lits-rem:0 time: 1.75
177.16/44.45	c calculated reachability. Time: 0.00
177.16/44.45	c  N dy  1256    357901        70      6230         0     28797     43610    425271     20.57   no data  --
188.34/47.21	c  N dy  1275    381404        70      6230         0     26424     43610    353708     20.45     21.65  --
201.11/50.48	c  N dy  1332    407180        70      6230         0     25409     43610    318222     20.41     21.52  --
210.71/52.89	c  N dy  1401    427420        70      6230         0     43614     43610    751330     20.41     21.63  --
226.25/56.75	c  N dy  1492    457562        70      6230         0     45560     43610    781505     20.40     21.48  --
237.82/59.68	c  N dy  1577    478924        70      6230         0     38779     43610    612652     20.41     21.56  --
255.02/63.91	c  N dy  1632    513950        70      6230         0     43023     43610    691131     20.34     21.54  --
267.36/67.08	c  N dy  1742    533987        70      6230         0     33314     43610    462214     20.37     23.22  --
268.95/67.44	c  S st  1759    536853        70      6230         0     35916     43610    525408     20.38     20.71  --
269.35/67.54	c  S st  1759    537356        70      6230         0     36385     43610    537175     20.38   no data  --
269.35/67.54	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
269.35/67.54	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
269.35/67.55	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.05
269.35/67.57	c bin-w-bin subsume rem            0 bins  time:  0.00 s
269.35/67.57	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
269.35/67.57	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
269.35/67.57	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
278.93/69.98	c lits-rem:      1217  cl-subs:     1584  v-elim:      0  v-fix:    0  time:  9.64 s
278.93/69.98	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
278.93/69.99	c vivif2 --  cl tried    34801 cl shrink        0 lits rem          0 time: 0.02
279.73/70.19	c asymm  cl-useful: 0/1581/6230 lits-rem:0 time: 0.80
279.73/70.19	c calculated reachability. Time: 0.00
279.73/70.19	c  N dy  1759    537356        70      6230         0     34801     43610    494855     20.38   no data  --
293.30/73.50	c  N dy  1899    557400        70      6230         0     52963     43610    941531     20.43     23.28  --
305.27/76.51	c  N dy  2000    577470        70      6230         0     42376     43610    664806     20.45     24.81  --
318.44/79.86	c  N dy  2050    597523        70      6230         0     30692     43610    371124     20.44     22.99  --
330.01/82.73	c  N dy  2148    617572        70      6230         0     48853     43610    811634     20.46     22.69  --
341.99/85.70	c  N dy  2166    638829        70      6230         0     37231     43610    510347     20.42     21.56  --
355.16/89.09	c  N dy  2268    659241        70      6230         0     55736     43610    960712     20.44     21.58  --
366.73/91.99	c  N dy  2283    679297        70      6230         0     42142     43610    611272     20.40     21.52  --
379.50/95.18	c  N dy  2319    699308        70      6230         0     60036     43610   1022910     20.36     23.19  --
393.46/98.69	c  N dy  2453    719405        70      6230         0     45863     43610    698595     20.40     23.99  --
409.43/102.68	c  N dy  2521    739731        70      6230         0     64179     43610   1138654     20.40     21.54  --
421.42/105.69	c  N dy  2541    760248        70      6230         0     49154     43610    745916     20.37     21.47  --
438.57/110.00	c  N dy  2656    780318        70      6230         0     67335     43610   1188432     20.39     23.14  --
453.33/113.67	c  N dy  2716    804882        70      6230         0     55286     43610    892677     20.39     21.54  --
454.52/113.92	c  S st  2726    806034        70      6230         0     56324     43610    918143     20.39   no data  --
454.92/114.08	c  S st  2726    806540        70      6230         0     56793     43610    929799     20.39   no data  --
454.92/114.08	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
454.92/114.08	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
455.32/114.10	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.10
455.32/114.13	c bin-w-bin subsume rem            0 bins  time:  0.00 s
455.32/114.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
455.32/114.13	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
455.32/114.13	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
492.44/123.47	c lits-rem:      2662  cl-subs:     5186  v-elim:      0  v-fix:    0  time: 37.25 s
492.44/123.47	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
492.44/123.48	c vivif2 --  cl tried    51607 cl shrink        0 lits rem          0 time: 0.04
494.03/123.80	c asymm  cl-useful: 0/963/6230 lits-rem:0 time: 1.28
494.03/123.80	c calculated reachability. Time: 0.00
494.03/123.80	c  N dy  2726    806540        70      6230         0     51607     43610    804253     20.39   no data  --
512.39/128.44	c  N dy  2830    826564        70      6230         0     69717     43610   1244660     20.40     22.94  --
525.16/131.60	c  N dy  2932    846623        70      6230         0     52814     43610    826610     20.41     22.89  --
543.53/136.22	c  N dy  3001    868692        70      6230         0     36775     43610    423774     20.41     21.55  --
556.69/139.54	c  N dy  3115    888788        70      6230         0     54972     43610    866186     20.43     22.47  --
589.41/147.75	c  N dy  3137    941837        70      6230         0     65398     43610   1067965     20.33     21.43  --
606.97/152.11	c  N dy  3248    961929        70      6230         0     45998     43610    626694     20.35     24.66  --
622.15/155.98	c  N dy  3341    982015        70      6230         0     64184     43610   1069498     20.36     22.65  --
641.68/160.82	c  N dy  3463   1002081        70      6230         0     43629     43610    555406     20.38     21.52  --
656.86/164.68	c  N dy  3581   1022376        70      6230         0     61979     43610   1004012     20.40     21.48  --
677.61/169.82	c  N dy  3681   1042443        70      6230         0     40357     43610    460659     20.42     23.49  --
690.77/173.15	c  N dy  3758   1062477        70      6230         0     58434     43610    894777     20.42     22.69  --
698.76/175.14	c  F st  3791   1071876        70      6230         0     66936     43610   1100083     20.43     21.35  --
709.14/177.78	c  N dy  3832   1082511        70      6230         0     76514     43610   1335141     20.43     21.93  --
725.89/181.90	c  N dy  3871   1106005        70      6230         0     56978     43610    837027     20.42     21.52  --
746.28/187.05	c  N dy  4016   1126098        70      6230         0     75194     43610   1286901     20.45     22.82  --
765.40/191.81	c  N dy  4093   1149798        70      6230         0     55069     43610    781731     20.44     21.62  --
787.36/197.34	c  N dy  4198   1169832        70      6230         0     73127     43610   1221250     20.46     22.13  --
808.51/202.60	c  N dy  4276   1190669        70      6230         0     49527     43610    644720     20.46     21.63  --
829.26/207.88	c  S st  4401   1209810        70      6230         0     66895     43610   1070755     20.48   no data  --
830.45/208.14	c  S st  4401   1210314        70      6230         0     67359     43610   1082525     20.48   no data  --
830.45/208.14	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
830.45/208.14	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
830.45/208.19	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.17
830.85/208.22	c bin-w-bin subsume rem            0 bins  time:  0.00 s
830.85/208.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
830.85/208.22	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
830.85/208.22	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
907.47/227.42	c lits-rem:      3133  cl-subs:     5070  v-elim:      0  v-fix:    0  time: 76.59 s
907.47/227.42	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
907.47/227.43	c vivif2 --  cl tried    62289 cl shrink        0 lits rem          0 time: 0.05
908.68/227.80	c asymm  cl-useful: 0/754/6230 lits-rem:0 time: 1.46
909.10/227.81	c calculated reachability. Time: 0.00
909.10/227.81	c  N dy  4401   1210314        70      6230         0     62289     43610    949213     20.48   no data  --
932.21/233.65	c  N dy  4508   1230336        70      6230         0     80445     43610   1392263     20.49     22.18  --
948.61/237.78	c  N dy  4579   1250475        70      6230         0     55467     43610    774308     20.50     21.82  --
967.73/242.55	c  N dy  4660   1271127        70      6230         0     74085     43610   1220921     20.50     21.58  --
993.66/249.09	c  N dy  4752   1291192        70      6230         0     48119     43610    583519     20.50     22.78  --
1012.42/253.75	c  N dy  4828   1311734        70      6230         0     66655     43610   1032737     20.51     21.64  --
1047.55/262.50	c  N dy  4941   1339859        70      6230         0     46950     43610    536394     20.51     21.65  --
1065.10/266.98	c  N dy  5017   1362100        70      6230         0     67027     43610   1024236     20.52     21.63  --
1088.67/272.87	c  N dy  5085   1384522        70      6230         0     87174     43610   1509134     20.52     21.61  --
1126.96/282.49	c  N dy  5160   1433494        70      6230         0     84930     43610   1410996     20.47     21.55  --
1146.92/287.42	c  N dy  5246   1453569        70      6230         0     56418     43610    746878     20.47     24.04  --
1169.66/293.13	c  N dy  5309   1479560        70      6230         0     79636     43610   1291820     20.46     21.58  --
1194.44/299.31	c  N dy  5370   1501889        70      6230         0     52089     43610    623251     20.45     21.54  --
1211.17/303.60	c  N dy  5473   1521915        70      6230         0     70219     43610   1068605     20.46     22.60  --
1232.72/308.98	c  N dy  5540   1542431        70      6230         0     88660     43610   1517734     20.47     21.56  --
1257.05/315.07	c  N dy  5594   1567721        70      6230         0     62722     43610    859624     20.46     21.56  --
1277.02/320.05	c  N dy  5688   1587782        70      6230         0     80828     43610   1299740     20.47     21.93  --
1306.15/327.39	c  N dy  5717   1622401        70      6230         0     62263     43610    828584     20.43     21.63  --
1323.71/331.78	c  N dy  5783   1642448        70      6230         0     80257     43610   1261067     20.43     21.57  --
1355.23/339.61	c  N dy  5890   1665358        70      6230         0     50683     43610    556651     20.44     21.55  --
1372.79/344.07	c  N dy  5998   1685429        70      6230         0     68888     43610   1001138     20.45     22.58  --
1395.55/349.75	c  N dy  6051   1705482        70      6230         0     86847     43610   1429587     20.45     21.71  --
1403.12/351.64	c  S st  6070   1710314        70      6230         0     91231     43610   1535554     20.45     19.85  --
1404.32/351.98	c  S st  6070   1710817        70      6230         0     91697     43610   1547305     20.45   no data  --
1404.32/351.99	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1404.32/351.99	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1404.74/352.04	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.19
1404.74/352.09	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1404.74/352.09	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1404.74/352.09	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
1404.74/352.09	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1608.61/403.15	c lits-rem:      6080  cl-subs:     9830  v-elim:      0  v-fix:    0  time: 203.70 s
1608.61/403.15	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
1608.61/403.17	c vivif2 --  cl tried    81867 cl shrink        0 lits rem          0 time: 0.08
1610.61/403.64	c asymm  cl-useful: 0/556/6230 lits-rem:0 time: 1.87
1610.61/403.64	c calculated reachability. Time: 0.00
1610.61/403.64	c  N dy  6070   1710817        70      6230         0     81867     43610   1302440     20.45   no data  --
1645.32/412.40	c  N dy  6131   1730988        70      6230         0     99978     43610   1738895     20.45     21.57  --
1675.65/419.99	c  N dy  6204   1754612        70      6230         0     70526     43610   1023650     20.45     21.65  --
1713.14/429.36	c  N dy  6338   1774628        70      6230         0     88609     43610   1467821     20.46     23.39  --
1749.46/438.45	c  N dy  6409   1794669        70      6230         0     54681     43610    629759     20.47     21.69  --
1775.39/444.98	c  N dy  6504   1814731        70      6230         0     72760     43610   1070312     20.47     21.71  --
1810.50/453.77	c  N dy  6609   1834817        70      6230         0     90906     43610   1513187     20.48     23.40  --
1845.21/462.42	c  N dy  6639   1856741        70      6230         0     57528     43610    679963     20.47     21.63  --
1872.35/469.21	c  N dy  6770   1877076        70      6230         0     75894     43610   1133533     20.49     21.57  --
1906.66/477.80	c  N dy  6889   1897176        70      6230         0     94012     43610   1578277     20.50     21.79  --
1944.59/487.36	c  N dy  7006   1917193        70      6230         0     58085     43610    686888     20.51     21.66  --
1969.31/493.54	c  N dy  7069   1937260        70      6230         0     76169     43610   1123067     20.51     22.17  --
1994.44/499.90	c  N dy  7119   1957379        70      6230         0     94183     43610   1552862     20.50     21.66  --
2028.77/508.47	c  N dy  7204   1978717        70      6230         0     58582     43610    683572     20.51     21.64  --
2049.94/513.74	c  N dy  7351   1998718        70      6230         0     76729     43610   1132439     20.52     22.84  --
2077.05/520.57	c  N dy  7457   2019921        70      6230         0     95840     43610   1596763     20.53     21.70  --
2106.59/527.99	c  N dy  7519   2044253        70      6230         0     61796     43610    745918     20.53     21.61  --
2128.54/533.42	c  N dy  7656   2064265        70      6230         0     79911     43610   1192576     20.54     22.11  --
2150.49/538.93	c  N dy  7691   2085468        70      6230         0     98809     43610   1636578     20.53     21.65  --
2184.41/547.49	c  N dy  7739   2115595        70      6230         0     69106     43610    904714     20.52     21.70  --
2204.77/552.58	c  N dy  7775   2137288        70      6230         0     88546     43610   1368767     20.51     21.64  --
2236.30/560.44	c  N dy  7859   2159772        70      6230         0    108742     43610   1856418     20.51     21.63  --
2262.23/566.98	c  N dy  7990   2179819        70      6230         0     69426     43610    913619     20.53     22.24  --
2285.38/572.70	c  N dy  8104   2199874        70      6230         0     87491     43610   1354791     20.53     23.95  --
2300.94/576.65	c  S st  8180   2210818        70      6230         0     97432     43610   1600667     20.54   no data  --
2302.14/576.91	c  S st  8180   2211321        70      6230         0     97900     43610   1612691     20.54   no data  --
2302.14/576.92	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2302.14/576.92	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2302.14/576.97	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.19
2302.54/577.02	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2302.54/577.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2302.54/577.02	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
2302.54/577.02	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2690.01/674.19	c lits-rem:      5927  cl-subs:     8706  v-elim:      0  v-fix:    0  time: 387.66 s
2690.01/674.19	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
2690.41/674.21	c vivif2 --  cl tried    89194 cl shrink        0 lits rem          0 time: 0.09
2692.40/674.70	c asymm  cl-useful: 0/521/6230 lits-rem:0 time: 1.93
2692.40/674.70	c calculated reachability. Time: 0.00
2692.40/674.70	c  N dy  8180   2211321        70      6230         0     89194     43610   1387284     20.54   no data  --
2736.68/685.84	c  N dy  8329   2231353        70      6230         0    107370     43610   1836880     20.55     21.72  --
2773.01/694.90	c  N dy  8393   2254762        70      6230         0     70276     43610    919089     20.55     21.89  --
2804.12/702.73	c  N dy  8494   2274767        70      6230         0     88293     43610   1360933     20.56     23.80  --
2841.22/712.04	c  N dy  8588   2295923        70      6230         0    107354     43610   1827616     20.57     21.75  --
2882.32/722.36	c  N dy  8697   2317584        70      6230         0     67607     43610    839978     20.57     21.73  --
2914.25/730.36	c  N dy  8831   2337732        70      6230         0     85830     43610   1290090     20.59     21.70  --
2955.34/740.68	c  N dy  8842   2365114        70      6230         0    110257     43610   1865946     20.57     21.67  --
2996.44/750.90	c  N dy  8891   2390982        70      6230         0     73214     43610    954032     20.57     21.65  --
3030.35/759.48	c  N dy  9008   2411837        70      6230         0     92064     43610   1416554     20.57     21.69  --
3059.50/766.77	c  N dy  9035   2431909        70      6230         0    110105     43610   1852474     20.57     23.32  --
3100.58/777.01	c  N dy  9137   2451933        70      6230         0     67077     43610    800543     20.57     21.77  --
3122.93/782.68	c  N dy  9148   2471965        70      6230         0     84888     43610   1216719     20.56     23.03  --
3167.61/793.86	c  N dy  9236   2499633        70      6230         0    109758     43610   1815764     20.56     21.72  --
3203.92/802.94	c  N dy  9291   2519659        70      6230         0     65795     43610    756201     20.56     22.12  --
3227.07/808.75	c  N dy  9398   2539705        70      6230         0     83935     43610   1200631     20.56     22.89  --
3265.39/818.37	c  N dy  9536   2567413        70      6230         0    108838     43610   1812377     20.57     21.66  --
3302.50/827.63	c  N dy  9598   2594284        70      6230         0     70035     43610    843889     20.57     21.70  --
3332.06/835.10	c  N dy  9601   2625575        70      6230         0     97742     43610   1482802     20.55     21.65  --
3364.75/843.27	c  N dy  9639   2648939        70      6230         0    118649     43610   1985376     20.54     21.64  --
3398.67/851.72	c  N dy  9760   2668953        70      6230         0     73162     43610    918389     20.55     22.97  --
3427.81/859.04	c  N dy  9833   2695418        70      6230         0     96806     43610   1487263     20.55     21.64  --
3450.59/864.73	c  S st  9880   2711321        70      6230         0    111141     43610   1834539     20.55     19.02  --
3451.75/865.07	c  S st  9880   2711825        70      6230         0    111602     43610   1846113     20.55   no data  --
3451.75/865.08	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3451.75/865.08	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3452.15/865.13	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.23
3452.15/865.19	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3452.15/865.19	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3452.15/865.19	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
3452.15/865.19	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3903.07/978.19	c lits-rem:      7025  cl-subs:    11590  v-elim:      0  v-fix:    0  time: 450.80 s
3903.07/978.19	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
3903.47/978.21	c vivif2 --  cl tried   100012 cl shrink        0 lits rem          0 time: 0.08
3904.67/978.57	c asymm  cl-useful: 0/452/6230 lits-rem:0 time: 1.45
3904.67/978.57	c calculated reachability. Time: 0.00
3904.67/978.57	c  N dy  9880   2711825        70      6230         0    100012     43610   1561704     20.55   no data  --
3941.38/987.76	c  N dy  9981   2731884        70      6230         0    118063     43610   2001328     20.55     22.26  --
3977.68/996.80	c  N dy 10043   2751892        70      6230         0     72032     43610    873953     20.55     22.29  --
4011.61/1005.41	c  N dy 10157   2771992        70      6230         0     90182     43610   1322202     20.56     24.09  --
4047.89/1014.46	c  N dy 10216   2792030        70      6230         0    108149     43610   1754452     20.56     22.54  --
4089.80/1024.99	c  N dy 10266   2812055        70      6230         0    126062     43610   2184820     20.55     21.66  --
4128.90/1034.72	c  N dy 10374   2833983        70      6230         0     80597     43610   1072540     20.56     21.71  --
4164.82/1043.74	c  N dy 10463   2855614        70      6230         0    100045     43610   1543361     20.56     21.66  --
4199.53/1052.48	c  N dy 10480   2876308        70      6230         0    118589     43610   1985010     20.56     21.69  --
4248.60/1064.80	c  N dy 10609   2896469        70      6230         0     70437     43610    810025     20.56     21.71  --
4284.13/1073.69	c  N dy 10725   2919742        70      6230         0     91381     43610   1318976     20.57     21.73  --
4326.41/1084.24	c  N dy 10807   2940813        70      6230         0    110316     43610   1778872     20.57     21.72  --
4382.26/1098.21	c  N dy 10942   2960861        70      6230         0    128378     43610   2225002     20.58     22.98  --
4425.75/1109.13	c  N dy 11050   2980893        70      6230         0     79059     43610   1007960     20.59     22.41  --
4466.46/1119.34	c  N dy 11139   3003870        70      6230         0     99656     43610   1504545     20.59     21.67  --
4514.33/1131.36	c  N dy 11248   3024473        70      6230         0    118213     43610   1957955     20.59     21.77  --
4564.61/1143.95	c  N dy 11326   3045252        70      6230         0     68573     43610    736365     20.59     21.85  --
4596.52/1151.93	c  N dy 11450   3066192        70      6230         0     87454     43610   1201572     20.60     22.04  --
4624.46/1158.93	c  N dy 11464   3086323        70      6230         0    105448     43610   1622926     20.59     21.69  --
4670.36/1170.42	c  N dy 11582   3106379        70      6230         0    123532     43610   2069517     20.60     21.70  --
4719.06/1182.68	c  N dy 11670   3126884        70      6230         0     72747     43610    826529     20.60     21.73  --
4748.16/1189.94	c  N dy 11789   3147031        70      6230         0     90969     43610   1277325     20.61     21.75  --
4781.67/1198.35	c  N dy 11864   3167096        70      6230         0    108964     43610   1714548     20.61     21.73  --

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-3368809-1305403439/watcher-3368809-1305403439 -o /tmp/evaluation-result-3368809-1305403439/solver-3368809-1305403439 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3368809-1305403439.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.02 7.88 7.96 3/290 4950
/proc/meminfo: memFree=16813244/32951124 swapFree=52307768/67111528
[pid=4950] ppid=4948 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/4950/stat : 4950 (strangenight1-m) R 4948 4950 4414 0 -1 4202496 411 0 0 0 0 0 0 0 22 0 4 0 651946660 52465664 352 33554432000 4194304 4650419 140734395060144 18446744073709551615 47073918388146 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4950/statm: 12809 352 303 112 0 7774 0
[pid=4950/tid=4954] ppid=4948 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/4950/task/4954/stat : 4954 (strangenight1-m) R 4948 4950 4414 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 4 0 651946660 52465664 352 33554432000 4194304 4650419 140734395060144 18446744073709551615 47073918388146 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4950/tid=4955] ppid=4948 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/4950/task/4955/stat : 4955 (strangenight1-m) R 4948 4950 4414 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 651946660 52465664 352 33554432000 4194304 4650419 140734395060144 18446744073709551615 47073918388146 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4950/tid=4956] ppid=4948 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/4950/task/4956/stat : 4956 (strangenight1-m) R 4948 4950 4414 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 4 0 651946660 52465664 352 33554432000 4194304 4650419 140734395060144 18446744073709551615 218371013617 0 0 4096 2 0 0 0 -1 4 0 0 0

[startup+0.100895 s]
/proc/loadavg: 7.02 7.88 7.96 3/290 4950
/proc/meminfo: memFree=16813244/32951124 swapFree=52307768/67111528
[pid=4950] ppid=4948 vsize=282048 CPUtime=0.37 cores=0,2,4,6
/proc/4950/stat : 4950 (strangenight1-m) R 4948 4950 4414 0 -1 4202496 1433 0 0 0 37 0 0 0 18 0 4 0 651946660 288817152 1353 33554432000 4194304 4650419 140734395060144 18446744073709551615 4370456 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4950/statm: 70512 1353 366 112 0 65477 0
[pid=4950/tid=4954] ppid=4948 vsize=282048 CPUtime=0.09 cores=0,2,4,6
/proc/4950/task/4954/stat : 4954 (strangenight1-m) R 4948 4950 4414 0 -1 4202560 223 0 0 0 9 0 0 0 18 0 4 0 651946660 288817152 1353 33554432000 4194304 4650419 140734395060144 18446744073709551615 4370730 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4950/tid=4955] ppid=4948 vsize=282048 CPUtime=0.09 cores=0,2,4,6
/proc/4950/task/4955/stat : 4955 (strangenight1-m) R 4948 4950 4414 0 -1 4202560 221 0 0 0 9 0 0 0 18 0 4 0 651946660 288817152 1353 33554432000 4194304 4650419 140734395060144 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4950/tid=4956] ppid=4948 vsize=282048 CPUtime=0.08 cores=0,2,4,6
/proc/4950/task/4956/stat : 4956 (strangenight1-m) R 4948 4950 4414 0 -1 4202560 343 0 0 0 8 0 0 0 25 0 4 0 651946660 288817152 1353 33554432000 4194304 4650419 140734395060144 18446744073709551615 4365321 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) 282048

[startup+0.20088 s]
/proc/loadavg: 7.02 7.88 7.96 3/290 4950
/proc/meminfo: memFree=16813244/32951124 swapFree=52307768/67111528
[pid=4950] ppid=4948 vsize=285416 CPUtime=0.77 cores=0,2,4,6
/proc/4950/stat : 4950 (strangenight1-m) R 4948 4950 4414 0 -1 4202496 3329 0 0 0 77 0 0 0 18 0 4 0 651946660 292265984 2823 33554432000 4194304 4650419 140734395060144 18446744073709551615 4520364 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4950/statm: 71354 2823 390 112 0 66319 0
[pid=4950/tid=4954] ppid=4948 vsize=285416 CPUtime=0.19 cores=0,2,4,6
/proc/4950/task/4954/stat : 4954 (strangenight1-m) R 4948 4950 4414 0 -1 4202560 751 0 0 0 19 0 0 0 18 0 4 0 651946660 292265984 2823 33554432000 4194304 4650419 140734395060144 18446744073709551615 4310834 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4950/tid=4955] ppid=4948 vsize=285416 CPUtime=0.19 cores=0,2,4,6
/proc/4950/task/4955/stat : 4955 (strangenight1-m) R 4948 4950 4414 0 -1 4202560 773 0 0 0 19 0 0 0 18 0 4 0 651946660 292265984 2823 33554432000 4194304 4650419 140734395060144 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4950/tid=4956] ppid=4948 vsize=285416 CPUtime=0.18 cores=0,2,4,6
/proc/4950/task/4956/stat : 4956 (strangenight1-m) R 4948 4950 4414 0 -1 4202560 628 0 0 0 18 0 0 0 25 0 4 0 651946660 292265984 2823 33554432000 4194304 4650419 140734395060144 18446744073709551615 4365308 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.77
Current children cumulated vsize (KiB) 285416

[startup+0.30086 s]
/proc/loadavg: 7.02 7.88 7.96 3/290 4950
/proc/meminfo: memFree=16813244/32951124 swapFree=52307768/67111528
[pid=4950] ppid=4948 vsize=285416 CPUtime=1.17 cores=0,2,4,6
/proc/4950/stat : 4950 (strangenight1-m) R 4948 4950 4414 0 -1 4202496 3646 0 0 0 117 0 0 0 18 0 4 0 651946660 292265984 3140 33554432000 4194304 4650419 140734395060144 18446744073709551615 4366819 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4950/statm: 71354 3141 390 112 0 66319 0
[pid=4950/tid=4954] ppid=4948 vsize=285416 CPUtime=0.29 cores=0,2,4,6
/proc/4950/task/4954/stat : 4954 (strangenight1-m) R 4948 4950 4414 0 -1 4202560 838 0 0 0 29 0 0 0 18 0 4 0 651946660 292265984 3141 33554432000 4194304 4650419 140734395060144 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4950/tid=4955] ppid=4948 vsize=285416 CPUtime=0.29 cores=0,2,4,6
/proc/4950/task/4955/stat : 4955 (strangenight1-m) R 4948 4950 4414 0 -1 4202560 855 0 0 0 29 0 0 0 18 0 4 0 651946660 292265984 3142 33554432000 4194304 4650419 140734395060144 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4950/tid=4956] ppid=4948 vsize=285416 CPUtime=0.28 cores=0,2,4,6
/proc/4950/task/4956/stat : 4956 (strangenight1-m) R 4948 4950 4414 0 -1 4202560 697 0 0 0 28 0 0 0 25 0 4 0 651946660 292265984 3142 33554432000 4194304 4650419 140734395060144 18446744073709551615 4365227 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) 285416

[startup+0.70079 s]
/proc/loadavg: 7.02 7.88 7.96 3/290 4950
/proc/meminfo: memFree=16813244/32951124 swapFree=52307768/67111528
[pid=4950] ppid=4948 vsize=287128 CPUtime=2.77 cores=0,2,4,6
/proc/4950/stat : 4950 (strangenight1-m) R 4948 4950 4414 0 -1 4202496 6083 0 0 0 276 1 0 0 18 0 4 0 651946660 294019072 3665 33554432000 4194304 4650419 140734395060144 18446744073709551615 4364751 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4950/statm: 71782 3665 390 112 0 66747 0
[pid=4950/tid=4954] ppid=4948 vsize=287128 CPUtime=0.69 cores=0,2,4,6
/proc/4950/task/4954/stat : 4954 (strangenight1-m) R 4948 4950 4414 0 -1 4202560 1438 0 0 0 69 0 0 0 18 0 4 0 651946660 294019072 3665 33554432000 4194304 4650419 140734395060144 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4950/tid=4955] ppid=4948 vsize=287128 CPUtime=0.69 cores=0,2,4,6
/proc/4950/task/4955/stat : 4955 (strangenight1-m) R 4948 4950 4414 0 -1 4202560 1437 0 0 0 69 0 0 0 18 0 4 0 651946660 294019072 3665 33554432000 4194304 4650419 140734395060144 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4950/tid=4956] ppid=4948 vsize=287128 CPUtime=0.68 cores=0,2,4,6
/proc/4950/task/4956/stat : 4956 (strangenight1-m) R 4948 4950 4414 0 -1 4202560 1372 0 0 0 68 0 0 0 25 0 4 0 651946660 294019072 3665 33554432000 4194304 4650419 140734395060144 18446744073709551615 4330612 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) 287128

[startup+1.50065 s]
/proc/loadavg: 7.02 7.88 7.96 10/298 4958
/proc/meminfo: memFree=16781072/32951124 swapFree=52307768/67111528
[pid=4950] ppid=4948 vsize=294012 CPUtime=5.96 cores=0,2,4,6
/proc/4950/stat : 4950 (strangenight1-m) R 4948 4950 4414 0 -1 4202496 10777 0 0 0 594 2 0 0 20 0 4 0 651946660 301068288 5969 33554432000 4194304 4650419 140734395060144 18446744073709551615 4433074 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4950/statm: 73503 5969 392 112 0 68468 0
[pid=4950/tid=4954] ppid=4948 vsize=294012 CPUtime=1.49 cores=0,2,4,6
/proc/4950/task/4954/stat : 4954 (strangenight1-m) R 4948 4950 4414 0 -1 4202560 2344 0 0 0 149 0 0 0 19 0 4 0 651946660 301068288 5969 33554432000 4194304 4650419 140734395060144 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4950/tid=4955] ppid=4948 vsize=294012 CPUtime=1.49 cores=0,2,4,6
/proc/4950/task/4955/stat : 4955 (strangenight1-m) R 4948 4950 4414 0 -1 4202560 2359 0 0 0 149 0 0 0 19 0 4 0 651946660 301068288 5969 33554432000 4194304 4650419 140734395060144 18446744073709551615 4331995 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4950/tid=4956] ppid=4948 vsize=294012 CPUtime=1.47 cores=0,2,4,6
/proc/4950/task/4956/stat : 4956 (strangenight1-m) R 4948 4950 4414 0 -1 4202560 2031 0 0 0 147 0 0 0 25 0 4 0 651946660 301068288 5969 33554432000 4194304 4650419 140734395060144 18446744073709551615 4313064 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) 294012

[startup+3.10036 s]
/proc/loadavg: 7.02 7.88 7.96 10/298 4958
/proc/meminfo: memFree=16741268/32951124 swapFree=52307768/67111528
[pid=4950] ppid=4948 vsize=294284 CPUtime=12.35 cores=0,2,4,6
/proc/4950/stat : 4950 (strangenight1-m) R 4948 4950 4414 0 -1 4202496 17856 0 0 0 1232 3 0 0 25 0 4 0 651946660 301346816 11115 33554432000 4194304 4650419 140734395060144 18446744073709551615 4363600 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4950/statm: 73571 11115 392 112 0 68536 0
[pid=4950/tid=4954] ppid=4948 vsize=294284 CPUtime=3.08 cores=0,2,4,6
/proc/4950/task/4954/stat : 4954 (strangenight1-m) R 4948 4950 4414 0 -1 4202560 3885 0 0 0 308 0 0 0 25 0 4 0 651946660 301346816 11115 33554432000 4194304 4650419 140734395060144 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4950/tid=4955] ppid=4948 vsize=294284 CPUtime=3.08 cores=0,2,4,6
/proc/4950/task/4955/stat : 4955 (strangenight1-m) R 4948 4950 4414 0 -1 4202560 4909 0 0 0 308 0 0 0 25 0 4 0 651946660 301346816 11115 33554432000 4194304 4650419 140734395060144 18446744073709551615 4439103 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4950/tid=4956] ppid=4948 vsize=294284 CPUtime=3.06 cores=0,2,4,6
/proc/4950/task/4956/stat : 4956 (strangenight1-m) R 4948 4950 4414 0 -1 4202560 4911 0 0 0 305 1 0 0 25 0 4 0 651946660 301346816 11115 33554432000 4194304 4650419 140734395060144 18446744073709551615 4370649 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 294284

[startup+6.3008 s]
/proc/loadavg: 7.09 7.88 7.96 10/298 4958
/proc/meminfo: memFree=16702880/32951124 swapFree=52307768/67111528
[pid=4950] ppid=4948 vsize=303600 CPUtime=25.12 cores=0,2,4,6
/proc/4950/stat : 4950 (strangenight1-m) R 4948 4950 4414 0 -1 4202496 26189 0 0 0 2506 6 0 0 25 0 4 0 651946660 310886400 13995 33554432000 4194304 4650419 140734395060144 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4950/statm: 75900 13995 392 112 0 70865 0
[pid=4950/tid=4954] ppid=4948 vsize=303600 CPUtime=6.29 cores=0,2,4,6
/proc/4950/task/4954/stat : 4954 (strangenight1-m) R 4948 4950 4414 0 -1 4202560 6641 0 0 0 628 1 0 0 25 0 4 0 651946660 310886400 13995 33554432000 4194304 4650419 140734395060144 18446744073709551615 4476315 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4950/tid=4955] ppid=4948 vsize=303600 CPUtime=6.29 cores=0,2,4,6
/proc/4950/task/4955/stat : 4955 (strangenight1-m) R 4948 4950 4414 0 -1 4202560 6607 0 0 0 628 1 0 0 25 0 4 0 651946660 310886400 13995 33554432000 4194304 4650419 140734395060144 18446744073709551615 4366896 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4950/tid=4956] ppid=4948 vsize=303600 CPUtime=6.23 cores=0,2,4,6
/proc/4950/task/4956/stat : 4956 (strangenight1-m) R 4948 4950 4414 0 -1 4202560 7177 0 0 0 621 2 0 0 25 0 4 0 651946660 310886400 13995 33554432000 4194304 4650419 140734395060144 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.12
Current children cumulated vsize (KiB) 303600

[startup+12.7007 s]
/proc/loadavg: 7.17 7.89 7.96 10/298 4958
/proc/meminfo: memFree=16662116/32951124 swapFree=52307768/67111528
[pid=4950] ppid=4948 vsize=305864 CPUtime=50.66 cores=0,2,4,6
/proc/4950/stat : 4950 (strangenight1-m) R 4948 4950 4414 0 -1 4202496 37958 0 0 0 5058 8 0 0 25 0 4 0 651946660 313204736 19141 33554432000 4194304 4650419 140734395060144 18446744073709551615 4366819 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4950/statm: 76466 19141 392 112 0 71431 0
[pid=4950/tid=4954] ppid=4948 vsize=305864 CPUtime=12.68 cores=0,2,4,6
/proc/4950/task/4954/stat : 4954 (strangenight1-m) R 4948 4950 4414 0 -1 4202560 9183 0 0 0 1267 1 0 0 25 0 4 0 651946660 313204736 19141 33554432000 4194304 4650419 140734395060144 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4950/tid=4955] ppid=4948 vsize=305864 CPUtime=12.69 cores=0,2,4,6
/proc/4950/task/4955/stat : 4955 (strangenight1-m) R 4948 4950 4414 0 -1 4202560 9651 0 0 0 1267 2 0 0 25 0 4 0 651946660 313204736 19141 33554432000 4194304 4650419 140734395060144 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4950/tid=4956] ppid=4948 vsize=305864 CPUtime=12.57 cores=0,2,4,6
/proc/4950/task/4956/stat : 4956 (strangenight1-m) R 4948 4950 4414 0 -1 4202560 10993 0 0 0 1254 3 0 0 25 0 4 0 651946660 313204736 19141 33554432000 4194304 4650419 140734395060144 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.66
Current children cumulated vsize (KiB) 305864

[startup+25.5004 s]
/proc/loadavg: 7.35 7.89 7.96 10/298 4959
/proc/meminfo: memFree=16620248/32951124 swapFree=52307768/67111528
[pid=4950] ppid=4948 vsize=306688 CPUtime=101.73 cores=0,2,4,6
/proc/4950/stat : 4950 (strangenight1-m) R 4948 4950 4414 0 -1 4202496 56647 0 0 0 10162 11 0 0 25 0 4 0 651946660 314048512 25125 33554432000 4194304 4650419 140734395060144 18446744073709551615 4364772 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4950/statm: 76672 25125 392 112 0 71637 0
[pid=4950/tid=4954] ppid=4948 vsize=306688 CPUtime=25.48 cores=0,2,4,6
/proc/4950/task/4954/stat : 4954 (strangenight1-m) R 4948 4950 4414 0 -1 4202560 15075 0 0 0 2546 2 0 0 25 0 4 0 651946660 314048512 25125 33554432000 4194304 4650419 140734395060144 18446744073709551615 4365276 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4950/tid=4955] ppid=4948 vsize=306688 CPUtime=25.47 cores=0,2,4,6
/proc/4950/task/4955/stat : 4955 (strangenight1-m) R 4948 4950 4414 0 -1 4202560 15178 0 0 0 2545 2 0 0 25 0 4 0 651946660 314048512 25125 33554432000 4194304 4650419 140734395060144 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4950/tid=4956] ppid=4948 vsize=306688 CPUtime=25.25 cores=0,2,4,6
/proc/4950/task/4956/stat : 4956 (strangenight1-m) R 4948 4950 4414 0 -1 4202560 16190 0 0 0 2521 4 0 0 25 0 4 0 651946660 314048512 25125 33554432000 4194304 4650419 140734395060144 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.73
Current children cumulated vsize (KiB) 306688

[startup+51.1008 s]
/proc/loadavg: 7.57 7.90 7.96 10/298 4959
/proc/meminfo: memFree=16575956/32951124 swapFree=52307768/67111528
[pid=4950] ppid=4948 vsize=333408 CPUtime=203.9 cores=0,2,4,6
/proc/4950/stat : 4950 (strangenight1-m) R 4948 4950 4414 0 -1 4202496 84195 0 0 0 20372 18 0 0 25 0 4 0 651946660 341409792 31390 33554432000 4194304 4650419 140734395060144 18446744073709551615 4365357 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4950/statm: 83352 31390 392 112 0 78317 0
[pid=4950/tid=4954] ppid=4948 vsize=333408 CPUtime=51.08 cores=0,2,4,6
/proc/4950/task/4954/stat : 4954 (strangenight1-m) R 4948 4950 4414 0 -1 4202560 23470 0 0 0 5104 4 0 0 25 0 4 0 651946660 341409792 31390 33554432000 4194304 4650419 140734395060144 18446744073709551615 4365321 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4950/tid=4955] ppid=4948 vsize=333408 CPUtime=51.08 cores=0,2,4,6
/proc/4950/task/4955/stat : 4955 (strangenight1-m) R 4948 4950 4414 0 -1 4202560 22379 0 0 0 5104 4 0 0 25 0 4 0 651946660 341409792 31390 33554432000 4194304 4650419 140734395060144 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4950/tid=4956] ppid=4948 vsize=333408 CPUtime=50.62 cores=0,2,4,6
/proc/4950/task/4956/stat : 4956 (strangenight1-m) R 4948 4950 4414 0 -1 4202560 24308 0 0 0 5056 6 0 0 25 0 4 0 651946660 341409792 31390 33554432000 4194304 4650419 140734395060144 18446744073709551615 4365246 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 203.9
Current children cumulated vsize (KiB) 333408

[startup+102.301 s]
/proc/loadavg: 7.81 7.91 7.96 10/298 4961
/proc/meminfo: memFree=16538124/32951124 swapFree=52307768/67111528
[pid=4950] ppid=4948 vsize=324924 CPUtime=408.25 cores=0,2,4,6
/proc/4950/stat : 4950 (strangenight1-m) R 4948 4950 4414 0 -1 4202496 126702 0 0 0 40796 29 0 0 25 0 4 0 651946660 332722176 34235 33554432000 4194304 4650419 140734395060144 18446744073709551615 4367232 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4950/statm: 81231 34235 392 112 0 76196 0
[pid=4950/tid=4954] ppid=4948 vsize=324924 CPUtime=102.29 cores=0,2,4,6
/proc/4950/task/4954/stat : 4954 (strangenight1-m) R 4948 4950 4414 0 -1 4202560 35391 0 0 0 10222 7 0 0 25 0 4 0 651946660 332722176 34237 33554432000 4194304 4650419 140734395060144 18446744073709551615 4439103 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4950/tid=4955] ppid=4948 vsize=324924 CPUtime=102.28 cores=0,2,4,6
/proc/4950/task/4955/stat : 4955 (strangenight1-m) R 4948 4950 4414 0 -1 4202560 34763 0 0 0 10220 8 0 0 25 0 4 0 651946660 332722176 34237 33554432000 4194304 4650419 140734395060144 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4950/tid=4956] ppid=4948 vsize=324924 CPUtime=101.36 cores=0,2,4,6
/proc/4950/task/4956/stat : 4956 (strangenight1-m) R 4948 4950 4414 0 -1 4202560 38893 0 0 0 10127 9 0 0 25 0 4 0 651946660 332722176 34237 33554432000 4194304 4650419 140734395060144 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 408.25
Current children cumulated vsize (KiB) 324924

[startup+162.301 s]

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

[pid=4950] ppid=4948 vsize=430376 CPUtime=2563.12 cores=0,2,4,6
/proc/4950/stat : 4950 (strangenight1-m) R 4948 4950 4414 0 -1 4202496 380944 0 0 0 256193 119 0 0 25 0 4 0 651946660 440705024 70901 33554432000 4194304 4650419 140734395060144 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4950/statm: 107594 70901 392 112 0 102559 0
[pid=4950/tid=4954] ppid=4948 vsize=430376 CPUtime=642.29 cores=0,2,4,6
/proc/4950/task/4954/stat : 4954 (strangenight1-m) R 4948 4950 4414 0 -1 4202560 109949 0 0 0 64197 32 0 0 25 0 4 0 651946660 440705024 70901 33554432000 4194304 4650419 140734395060144 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4950/tid=4955] ppid=4948 vsize=430376 CPUtime=642.19 cores=0,2,4,6
/proc/4950/task/4955/stat : 4955 (strangenight1-m) R 4948 4950 4414 0 -1 4202560 106571 0 0 0 64183 36 0 0 25 0 4 0 651946660 440705024 70901 33554432000 4194304 4650419 140734395060144 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4950/tid=4956] ppid=4948 vsize=430376 CPUtime=636.31 cores=0,2,4,6
/proc/4950/task/4956/stat : 4956 (strangenight1-m) R 4948 4950 4414 0 -1 4202560 105129 0 0 0 63601 30 0 0 25 0 4 0 651946660 440705024 70901 33554432000 4194304 4650419 140734395060144 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2563.12
Current children cumulated vsize (KiB) 430376

[startup+702.301 s]
/proc/loadavg: 8.09 8.06 8.01 10/298 4977
/proc/meminfo: memFree=16193960/32951124 swapFree=52307768/67111528
[pid=4950] ppid=4948 vsize=504576 CPUtime=2802.52 cores=0,2,4,6
/proc/4950/stat : 4950 (strangenight1-m) R 4948 4950 4414 0 -1 4202496 394078 0 0 0 280125 127 0 0 25 0 4 0 651946660 516685824 77862 33554432000 4194304 4650419 140734395060144 18446744073709551615 4334343 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4950/statm: 126144 77862 392 112 0 121109 0
[pid=4950/tid=4954] ppid=4948 vsize=504576 CPUtime=702.29 cores=0,2,4,6
/proc/4950/task/4954/stat : 4954 (strangenight1-m) R 4948 4950 4414 0 -1 4202560 112435 0 0 0 70195 34 0 0 25 0 4 0 651946660 516685824 77862 33554432000 4194304 4650419 140734395060144 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4950/tid=4955] ppid=4948 vsize=504576 CPUtime=702.19 cores=0,2,4,6
/proc/4950/task/4955/stat : 4955 (strangenight1-m) R 4948 4950 4414 0 -1 4202560 111999 0 0 0 70179 40 0 0 25 0 4 0 651946660 516685824 77862 33554432000 4194304 4650419 140734395060144 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4950/tid=4956] ppid=4948 vsize=504576 CPUtime=695.72 cores=0,2,4,6
/proc/4950/task/4956/stat : 4956 (strangenight1-m) R 4948 4950 4414 0 -1 4202560 108369 0 0 0 69541 31 0 0 25 0 4 0 651946660 516685824 77862 33554432000 4194304 4650419 140734395060144 18446744073709551615 4476778 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2802.52
Current children cumulated vsize (KiB) 504576

[startup+762.301 s]
/proc/loadavg: 8.19 8.08 8.01 10/298 4978
/proc/meminfo: memFree=16196184/32951124 swapFree=52307768/67111528
[pid=4950] ppid=4948 vsize=504712 CPUtime=3041.95 cores=0,2,4,6
/proc/4950/stat : 4950 (strangenight1-m) R 4948 4950 4414 0 -1 4202496 411830 0 0 0 304063 132 0 0 25 0 4 0 651946660 516825088 78325 33554432000 4194304 4650419 140734395060144 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4950/statm: 126178 78325 392 112 0 121143 0
[pid=4950/tid=4954] ppid=4948 vsize=504712 CPUtime=762.31 cores=0,2,4,6
/proc/4950/task/4954/stat : 4954 (strangenight1-m) R 4948 4950 4414 0 -1 4202560 112600 0 0 0 76197 34 0 0 25 0 4 0 651946660 516825088 78326 33554432000 4194304 4650419 140734395060144 18446744073709551615 4476297 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4950/tid=4955] ppid=4948 vsize=504712 CPUtime=762.19 cores=0,2,4,6
/proc/4950/task/4955/stat : 4955 (strangenight1-m) R 4948 4950 4414 0 -1 4202560 116911 0 0 0 76177 42 0 0 25 0 4 0 651946660 516825088 78326 33554432000 4194304 4650419 140734395060144 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4950/tid=4956] ppid=4948 vsize=504712 CPUtime=755.13 cores=0,2,4,6
/proc/4950/task/4956/stat : 4956 (strangenight1-m) R 4948 4950 4414 0 -1 4202560 120115 0 0 0 75480 33 0 0 25 0 4 0 651946660 516825088 78326 33554432000 4194304 4650419 140734395060144 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3041.95
Current children cumulated vsize (KiB) 504712

[startup+822.3 s]
/proc/loadavg: 8.22 8.10 8.02 10/298 4980
/proc/meminfo: memFree=16140748/32951124 swapFree=52307768/67111528
[pid=4950] ppid=4948 vsize=529888 CPUtime=3281.35 cores=0,2,4,6
/proc/4950/stat : 4950 (strangenight1-m) R 4948 4950 4414 0 -1 4202496 434063 0 0 0 327996 139 0 0 25 0 4 0 651946660 542605312 87341 33554432000 4194304 4650419 140734395060144 18446744073709551615 4363880 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4950/statm: 132472 87341 392 112 0 127437 0
[pid=4950/tid=4954] ppid=4948 vsize=529888 CPUtime=822.3 cores=0,2,4,6
/proc/4950/task/4954/stat : 4954 (strangenight1-m) R 4948 4950 4414 0 -1 4202560 115147 0 0 0 82195 35 0 0 25 0 4 0 651946660 542605312 87341 33554432000 4194304 4650419 140734395060144 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4950/tid=4955] ppid=4948 vsize=529888 CPUtime=822.17 cores=0,2,4,6
/proc/4950/task/4955/stat : 4955 (strangenight1-m) R 4948 4950 4414 0 -1 4202560 122740 0 0 0 82173 44 0 0 25 0 4 0 651946660 542605312 87341 33554432000 4194304 4650419 140734395060144 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4950/tid=4956] ppid=4948 vsize=529888 CPUtime=814.54 cores=0,2,4,6
/proc/4950/task/4956/stat : 4956 (strangenight1-m) R 4948 4950 4414 0 -1 4202560 128970 0 0 0 81420 34 0 0 25 0 4 0 651946660 542605312 87341 33554432000 4194304 4650419 140734395060144 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3281.35
Current children cumulated vsize (KiB) 529888

[startup+882.312 s]
/proc/loadavg: 8.15 8.09 8.02 10/298 4981
/proc/meminfo: memFree=16116180/32951124 swapFree=52307768/67111528
[pid=4950] ppid=4948 vsize=503120 CPUtime=3520.81 cores=0,2,4,6
/proc/4950/stat : 4950 (strangenight1-m) R 4948 4950 4414 0 -1 4202496 453997 0 0 0 351935 146 0 0 25 0 4 0 651946660 515194880 88210 33554432000 4194304 4650419 140734395060144 18446744073709551615 4438393 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4950/statm: 125780 88210 392 112 0 120745 0
[pid=4950/tid=4954] ppid=4948 vsize=503120 CPUtime=882.31 cores=0,2,4,6
/proc/4950/task/4954/stat : 4954 (strangenight1-m) R 4948 4950 4414 0 -1 4202560 120441 0 0 0 88194 37 0 0 25 0 4 0 651946660 515194880 88210 33554432000 4194304 4650419 140734395060144 18446744073709551615 4366896 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4950/tid=4955] ppid=4948 vsize=503120 CPUtime=882.17 cores=0,2,4,6
/proc/4950/task/4955/stat : 4955 (strangenight1-m) R 4948 4950 4414 0 -1 4202560 128904 0 0 0 88171 46 0 0 25 0 4 0 651946660 515194880 88211 33554432000 4194304 4650419 140734395060144 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4950/tid=4956] ppid=4948 vsize=503120 CPUtime=873.99 cores=0,2,4,6
/proc/4950/task/4956/stat : 4956 (strangenight1-m) R 4948 4950 4414 0 -1 4202560 134827 0 0 0 87362 37 0 0 25 0 4 0 651946660 515194880 88211 33554432000 4194304 4650419 140734395060144 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3520.81
Current children cumulated vsize (KiB) 503120

[startup+942.301 s]
/proc/loadavg: 8.11 8.09 8.01 10/298 4983
/proc/meminfo: memFree=16127196/32951124 swapFree=52307768/67111528
[pid=4950] ppid=4948 vsize=503180 CPUtime=3760.2 cores=0,2,4,6
/proc/4950/stat : 4950 (strangenight1-m) R 4948 4950 4414 0 -1 4202496 463826 0 0 0 375867 153 0 0 25 0 4 0 651946660 515256320 88278 33554432000 4194304 4650419 140734395060144 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4950/statm: 125795 88278 392 112 0 120760 0
[pid=4950/tid=4954] ppid=4948 vsize=503180 CPUtime=942.3 cores=0,2,4,6
/proc/4950/task/4954/stat : 4954 (strangenight1-m) R 4948 4950 4414 0 -1 4202560 121543 0 0 0 94192 38 0 0 25 0 4 0 651946660 515256320 88278 33554432000 4194304 4650419 140734395060144 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4950/tid=4955] ppid=4948 vsize=503180 CPUtime=942.15 cores=0,2,4,6
/proc/4950/task/4955/stat : 4955 (strangenight1-m) R 4948 4950 4414 0 -1 4202560 133440 0 0 0 94167 48 0 0 25 0 4 0 651946660 515256320 88278 33554432000 4194304 4650419 140734395060144 18446744073709551615 4367232 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4950/tid=4956] ppid=4948 vsize=503180 CPUtime=933.41 cores=0,2,4,6
/proc/4950/task/4956/stat : 4956 (strangenight1-m) R 4948 4950 4414 0 -1 4202560 139016 0 0 0 93301 40 0 0 25 0 4 0 651946660 515256320 88278 33554432000 4194304 4650419 140734395060144 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3760.2
Current children cumulated vsize (KiB) 503180

[startup+1002.3 s]
/proc/loadavg: 8.04 8.07 8.01 10/298 4985
/proc/meminfo: memFree=16087364/32951124 swapFree=52307768/67111528
[pid=4950] ppid=4948 vsize=515968 CPUtime=3999.63 cores=0,2,4,6
/proc/4950/stat : 4950 (strangenight1-m) R 4948 4950 4414 0 -1 4202496 478707 0 0 0 399804 159 0 0 25 0 4 0 651946660 528351232 92146 33554432000 4194304 4650419 140734395060144 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4950/statm: 128992 92146 392 112 0 123957 0
[pid=4950/tid=4954] ppid=4948 vsize=515968 CPUtime=1002.29 cores=0,2,4,6
/proc/4950/task/4954/stat : 4954 (strangenight1-m) R 4948 4950 4414 0 -1 4202560 124257 0 0 0 100190 39 0 0 25 0 4 0 651946660 528351232 92146 33554432000 4194304 4650419 140734395060144 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4950/tid=4955] ppid=4948 vsize=515968 CPUtime=1002.14 cores=0,2,4,6
/proc/4950/task/4955/stat : 4955 (strangenight1-m) R 4948 4950 4414 0 -1 4202560 138968 0 0 0 100164 50 0 0 25 0 4 0 651946660 528351232 92146 33554432000 4194304 4650419 140734395060144 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4950/tid=4956] ppid=4948 vsize=515968 CPUtime=992.84 cores=0,2,4,6
/proc/4950/task/4956/stat : 4956 (strangenight1-m) R 4948 4950 4414 0 -1 4202560 143388 0 0 0 99243 41 0 0 25 0 4 0 651946660 528351232 92146 33554432000 4194304 4650419 140734395060144 18446744073709551615 4433074 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3999.63
Current children cumulated vsize (KiB) 515968

[startup+1062.3 s]
/proc/loadavg: 8.18 8.10 8.02 10/298 4986
/proc/meminfo: memFree=16087464/32951124 swapFree=52307768/67111528
[pid=4950] ppid=4948 vsize=516040 CPUtime=4239.02 cores=0,2,4,6
/proc/4950/stat : 4950 (strangenight1-m) R 4948 4950 4414 0 -1 4202496 485595 0 0 0 423739 163 0 0 25 0 4 0 651946660 528424960 93868 33554432000 4194304 4650419 140734395060144 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4950/statm: 129010 93868 392 112 0 123975 0
[pid=4950/tid=4954] ppid=4948 vsize=516040 CPUtime=1062.3 cores=0,2,4,6
/proc/4950/task/4954/stat : 4954 (strangenight1-m) R 4948 4950 4414 0 -1 4202560 124257 0 0 0 106191 39 0 0 25 0 4 0 651946660 528424960 93868 33554432000 4194304 4650419 140734395060144 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4950/tid=4955] ppid=4948 vsize=516040 CPUtime=1062.13 cores=0,2,4,6
/proc/4950/task/4955/stat : 4955 (strangenight1-m) R 4948 4950 4414 0 -1 4202560 142735 0 0 0 106160 53 0 0 25 0 4 0 651946660 528424960 93868 33554432000 4194304 4650419 140734395060144 18446744073709551615 4339796 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4950/tid=4956] ppid=4948 vsize=516040 CPUtime=1052.24 cores=0,2,4,6
/proc/4950/task/4956/stat : 4956 (strangenight1-m) R 4948 4950 4414 0 -1 4202560 145286 0 0 0 105183 41 0 0 25 0 4 0 651946660 528424960 93868 33554432000 4194304 4650419 140734395060144 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4239.02
Current children cumulated vsize (KiB) 516040

[startup+1122.3 s]
/proc/loadavg: 8.13 8.09 8.02 10/298 4988
/proc/meminfo: memFree=16075796/32951124 swapFree=52307768/67111528
[pid=4950] ppid=4948 vsize=582104 CPUtime=4478.42 cores=0,2,4,6
/proc/4950/stat : 4950 (strangenight1-m) R 4948 4950 4414 0 -1 4202496 498233 0 0 0 447676 166 0 0 25 0 4 0 651946660 596074496 95910 33554432000 4194304 4650419 140734395060144 18446744073709551615 4367232 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4950/statm: 145526 95910 392 112 0 140491 0
[pid=4950/tid=4954] ppid=4948 vsize=582104 CPUtime=1122.3 cores=0,2,4,6
/proc/4950/task/4954/stat : 4954 (strangenight1-m) R 4948 4950 4414 0 -1 4202560 124257 0 0 0 112191 39 0 0 25 0 4 0 651946660 596074496 95910 33554432000 4194304 4650419 140734395060144 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4950/tid=4955] ppid=4948 vsize=582104 CPUtime=1122.12 cores=0,2,4,6
/proc/4950/task/4955/stat : 4955 (strangenight1-m) R 4948 4950 4414 0 -1 4202560 148211 0 0 0 112158 54 0 0 25 0 4 0 651946660 596074496 95910 33554432000 4194304 4650419 140734395060144 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4950/tid=4956] ppid=4948 vsize=582104 CPUtime=1111.65 cores=0,2,4,6
/proc/4950/task/4956/stat : 4956 (strangenight1-m) R 4948 4950 4414 0 -1 4202560 152446 0 0 0 111122 43 0 0 25 0 4 0 651946660 596074496 95910 33554432000 4194304 4650419 140734395060144 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4478.42
Current children cumulated vsize (KiB) 582104

[startup+1182.3 s]
/proc/loadavg: 8.10 8.09 8.02 10/298 4989
/proc/meminfo: memFree=16082360/32951124 swapFree=52307768/67111528
[pid=4950] ppid=4948 vsize=582152 CPUtime=4717.83 cores=0,2,4,6
/proc/4950/stat : 4950 (strangenight1-m) R 4948 4950 4414 0 -1 4202496 511383 0 0 0 471613 170 0 0 25 0 4 0 651946660 596123648 95392 33554432000 4194304 4650419 140734395060144 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4950/statm: 145538 95392 392 112 0 140503 0
[pid=4950/tid=4954] ppid=4948 vsize=582152 CPUtime=1182.3 cores=0,2,4,6
/proc/4950/task/4954/stat : 4954 (strangenight1-m) R 4948 4950 4414 0 -1 4202560 124273 0 0 0 118191 39 0 0 25 0 4 0 651946660 596123648 95392 33554432000 4194304 4650419 140734395060144 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4950/tid=4955] ppid=4948 vsize=582152 CPUtime=1182.12 cores=0,2,4,6
/proc/4950/task/4955/stat : 4955 (strangenight1-m) R 4948 4950 4414 0 -1 4202560 151731 0 0 0 118156 56 0 0 25 0 4 0 651946660 596123648 95392 33554432000 4194304 4650419 140734395060144 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4950/tid=4956] ppid=4948 vsize=582152 CPUtime=1171.06 cores=0,2,4,6
/proc/4950/task/4956/stat : 4956 (strangenight1-m) R 4948 4950 4414 0 -1 4202560 161858 0 0 0 117062 44 0 0 25 0 4 0 651946660 596123648 95392 33554432000 4194304 4650419 140734395060144 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4717.83
Current children cumulated vsize (KiB) 582152



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202.9 s]
/proc/loadavg: 8.13 8.10 8.02 10/298 4990
/proc/meminfo: memFree=16105796/32951124 swapFree=52307768/67111528
[pid=4950] ppid=4948 vsize=582196 CPUtime=4800.06 cores=0,2,4,6
/proc/4950/stat : 4950 (strangenight1-m) R 4948 4950 4414 0 -1 4202496 516465 0 0 0 479834 172 0 0 25 0 4 0 651946660 596168704 91849 33554432000 4194304 4650419 140734395060144 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4950/statm: 145549 91849 392 112 0 140514 0
[pid=4950/tid=4954] ppid=4948 vsize=582196 CPUtime=1202.91 cores=0,2,4,6
/proc/4950/task/4954/stat : 4954 (strangenight1-m) R 4948 4950 4414 0 -1 4202560 124897 0 0 0 120251 40 0 0 25 0 4 0 651946660 596168704 91849 33554432000 4194304 4650419 140734395060144 18446744073709551615 4367232 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4950/tid=4955] ppid=4948 vsize=582196 CPUtime=1202.72 cores=0,2,4,6
/proc/4950/task/4955/stat : 4955 (strangenight1-m) R 4948 4950 4414 0 -1 4202560 153853 0 0 0 120215 57 0 0 25 0 4 0 651946660 596168704 91849 33554432000 4194304 4650419 140734395060144 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4950/tid=4956] ppid=4948 vsize=582196 CPUtime=1191.47 cores=0,2,4,6
/proc/4950/task/4956/stat : 4956 (strangenight1-m) R 4948 4950 4414 0 -1 4202560 164194 0 0 0 119103 44 0 0 25 0 4 0 651946660 596168704 91849 33554432000 4194304 4650419 140734395060144 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.06
Current children cumulated vsize (KiB) 582196

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): 1202.93
CPU time (s): 4800.11
CPU user time (s): 4798.38
CPU system time (s): 1.73474
CPU usage (%): 399.034
Max. virtual memory (cumulated for all children) (KiB): 582196

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.38
system time used= 1.73474
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 516465
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= 222
involuntary context switches= 29862

runsolver used 3.17952 second user time and 8.29974 second system time

The end

Launcher Data 

Begin job on node101 at 2011-05-14 22:03:59
IDJOB=3368809
IDBENCH=82818
IDSOLVER=1846
FILE ID=node101/3368809-1305403439
RUNJOBID= node101-1305403439-4931
PBS_JOBID= 13324459
Free space on /tmp= 73736 MiB

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

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

MD5SUM BENCH= 84865a406d2a10d67b7d2a7ac3e327ce
RANDOM SEED=905168003

node101.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.841
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.68
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.841
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.07
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.841
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.77
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.841
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.83
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.841
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.841
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.83
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.841
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.841
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:      16813548 kB
Buffers:        322084 kB
Cached:        5885752 kB
SwapCached:      14848 kB
Active:       10833544 kB
Inactive:      5029072 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      16813548 kB
SwapTotal:    67111528 kB
SwapFree:     52307768 kB
Dirty:           14332 kB
Writeback:           0 kB
AnonPages:     9651780 kB
Mapped:          14680 kB
Slab:           149808 kB
PageTables:      61952 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 41981564 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= 73724 MiB
End job on node101 at 2011-05-14 22:24:04