Trace number 3366539

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-2-mt (fixed)? (TO) 4800.35 1202.84

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v600-c2556-S1339958817-007.UNKNOWN.cnf
MD5SUM82834b232944ca118e4175405e325327
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 variables600
Number of clauses2556
Sum of the clauses size7668
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 32556
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

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 3.0.0
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3366539-1305407072.cnf'
0.00/0.00	c -- header says num vars:            600
0.00/0.00	c -- header says num clauses:        2556
0.00/0.01	c -- clauses added:            0 learnts,         2556 normals,            0 xors
0.00/0.01	c -- vars added        600
0.00/0.01	c Parsing time:  0.00 s
0.00/0.01	c  N st     0         0       600      2556         0         0      7668         0   no data   no data
3.16/0.80	c asymm  cl-useful: 0/2556/2556 lits-rem:0 time: 0.00
3.16/0.80	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
3.16/0.80	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3.16/0.80	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3.16/0.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3.16/0.80	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    600 time:  0.00 s
3.16/0.80	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3.16/0.80	c lits-rem:         0  cl-subs:        0  v-elim:     11  v-fix:    0  time:  0.00 s
3.16/0.80	c Finding binary XORs  T:     0.00 s  found:       0
3.16/0.80	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
3.16/0.80	c calculated reachability. Time: 0.00
3.16/0.80	c Calc default polars -  time:   0.00 s pos:     275 undec:      67 neg:     258
3.16/0.80	c =========================================================================================
3.16/0.80	c types(t): F = full restart, N = normal restart
3.16/0.80	c types(t): S = simplification begin/end, E = solution found
3.16/0.80	c restart types(rt): st = static, dy = dynamic
3.16/0.80	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.16/0.80	c  B st     0         0       589      2546         0         0      7700         0   no data   no data
3.16/0.80	c Decided on static restart strategy
3.16/0.80	c  N st     8      4920       589      2546         0      4874      7700    126740   no data   no data
3.16/0.80	c  N st    10     11302       589      2546         0      4510      7700     82581   no data   no data
3.16/0.80	c  N st    11     17045       589      2546         0     10128      7700    238096   no data   no data
4.38/1.20	c  F st    12     25001       589      2546         0     12417      7700    289032   no data   no data
4.38/1.20	c  N st    12     25001       589      2546         0     12417      7700    289032   no data   no data
5.96/1.50	c  N dy    18     30003       589      2546         0     10700      7700    224857   no data   no data
5.96/1.50	c  S st    18     30003       589      2546         0     10700      7700    224857   no data   no data
5.96/1.50	c  S st    18     30504       589      2546         0     11201      7700    237583   no data   no data
5.96/1.50	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.96/1.50	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
5.96/1.50	c blocked clauses removed:       13 vars:      2 tried:         589 T: 0.00 s
5.96/1.50	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.96/1.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.96/1.50	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    587 time:  0.00 s
5.96/1.50	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
5.96/1.50	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
5.96/1.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.96/1.51	c lits-rem:       194  cl-subs:      451  v-elim:      0  v-fix:    0  time:  0.05 s
5.96/1.52	c asymm  cl-useful: 0/2533/2533 lits-rem:0 time: 0.01
5.96/1.52	c calculated reachability. Time: 0.00
5.96/1.52	c  N dy    18     30504       587      2533         0     10750      7661    223813   no data   no data
7.15/1.81	c  N dy    24     35267       587      2533         0     15441      7661    342395     16.92     17.86
7.96/2.08	c  N dy    47     40238       587      2533         0     12556      7661    226247     17.44     18.38
9.18/2.34	c  N dy    66     44301       587      2533         0     16580      7661    328318     17.47     18.43
9.54/2.45	c  S st    72     45756       587      2533         0      9168      7661    110292     17.45     15.56
9.54/2.48	c  S st    72     46260       587      2533         0      9671      7661    122768     17.45   no data
9.54/2.48	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.54/2.48	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
9.54/2.48	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
9.54/2.48	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.54/2.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.54/2.48	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    587 time:  0.00 s
9.54/2.48	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
9.54/2.48	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
9.54/2.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.54/2.49	c lits-rem:         6  cl-subs:       14  v-elim:      0  v-fix:    0  time:  0.01 s
9.54/2.49	c vivif2 --  cl tried     2533 cl shrink        0 lits rem          0 time: 0.00
9.54/2.49	c vivif2 --  cl tried     9657 cl shrink        0 lits rem          0 time: 0.00
9.95/2.50	c asymm  cl-useful: 0/2533/2533 lits-rem:0 time: 0.01
9.95/2.50	c calculated reachability. Time: 0.00
9.95/2.50	c  N dy    72     46260       587      2533         0      9657      7661    122431     17.45   no data
10.74/2.74	c  N dy    89     50569       587      2533         0     13922      7661    229388     17.43     18.38
11.94/3.06	c  N dy    97     55331       587      2533         0     18604      7661    344839     17.26     18.42
13.15/3.31	c  N dy   122     59339       587      2533         0     12712      7661    178130     17.36     18.73
14.34/3.66	c  N dy   133     64585       587      2533         0     17906      7661    308948     17.25     18.28
15.54/4.00	c  N dy   154     68792       587      2533         0     11202      7661    117927     17.22     18.19
15.93/4.03	c  S st   157     69390       587      2533         0     11793      7661    132765     17.22   no data
15.93/4.06	c  S st   157     69892       587      2533         0     12294      7661    145151     17.22   no data
15.93/4.06	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.93/4.06	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
15.93/4.06	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
15.93/4.06	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.93/4.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.93/4.06	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    587 time:  0.00 s
15.93/4.06	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
15.93/4.07	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
15.93/4.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.93/4.08	c lits-rem:         2  cl-subs:       35  v-elim:      0  v-fix:    0  time:  0.01 s
15.93/4.08	c vivif2 --  cl tried     2533 cl shrink        0 lits rem          0 time: 0.00
15.93/4.08	c vivif2 --  cl tried    12259 cl shrink        0 lits rem          0 time: 0.00
15.93/4.09	c asymm  cl-useful: 0/2533/2533 lits-rem:0 time: 0.01
15.93/4.09	c calculated reachability. Time: 0.00
15.93/4.09	c  N dy   157     69892       587      2533         0     12259      7661    144139     17.22   no data
17.13/4.38	c  N dy   185     74374       587      2533         0     16711      7661    258810     17.29     18.39
18.72/4.76	c  N dy   202     79307       587      2533         0     21607      7661    382095     17.27     18.23
20.32/5.17	c  N dy   224     85297       587      2533         0     15650      7661    209703     17.28     18.22
21.13/5.33	c  F st   234     87501       587      2533         0     17835      7661    265599     17.28     16.03
21.94/5.58	c  N st   239     90799       587      2533         0     21105      7661    350413     17.28   no data
22.72/5.73	c Decided on static restart strategy
25.11/6.30	c  N st   242     99809       587      2533         0     17120      7661    358558     17.28   no data
26.75/6.71	c  S st   243    104838       587      2533         0     22066      7661    496806     17.28   no data
26.75/6.76	c  S st   243    105341       587      2533         0     22568      7661    509510     17.28   no data
26.75/6.76	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
26.75/6.77	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
26.75/6.77	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
26.75/6.77	c bin-w-bin subsume rem            0 bins  time:  0.00 s
26.75/6.77	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
26.75/6.77	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    587 time:  0.00 s
26.75/6.77	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
26.75/6.78	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
26.75/6.79	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.90/7.01	c lits-rem:       238  cl-subs:      830  v-elim:      0  v-fix:    0  time:  0.22 s
27.90/7.01	c vivif2 --  cl tried     2533 cl shrink        0 lits rem          0 time: 0.00
27.90/7.01	c vivif2 --  cl tried    21738 cl shrink        0 lits rem          0 time: 0.01
27.90/7.03	c asymm  cl-useful: 0/2533/2533 lits-rem:0 time: 0.01
27.90/7.03	c calculated reachability. Time: 0.00
27.90/7.03	c  N st   243    105341       587      2533         0     21738      7661    483033     17.28   no data
31.13/7.83	c  N st   244    114939       587      2533         0     17388      7661    307403     17.28   no data
36.29/9.14	c  N st   245    129336       587      2533         0     16800      7661    306883     17.28   no data
44.31/11.12	c  N st   246    150931       587      2533         0     22386      7661    420101     17.28   no data
47.06/11.88	c  S st   247    158011       587      2533         0     29426      7661    628392     17.28   no data
47.46/11.96	c  S st   247    158514       587      2533         0     29929      7661    641282     17.28   no data
47.46/11.96	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
47.46/11.97	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
47.46/11.97	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
47.46/11.97	c bin-w-bin subsume rem            0 bins  time:  0.00 s
47.46/11.97	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
47.46/11.97	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    587 time:  0.00 s
47.46/11.97	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
47.46/11.98	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
47.46/11.99	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
48.69/12.28	c lits-rem:       448  cl-subs:      732  v-elim:      0  v-fix:    0  time:  0.29 s
48.69/12.28	c vivif2 --  cl tried     2533 cl shrink        0 lits rem          0 time: 0.00
48.69/12.29	c vivif2 --  cl tried    29197 cl shrink        0 lits rem          0 time: 0.01
49.05/12.31	c asymm  cl-useful: 0/2533/2533 lits-rem:0 time: 0.02
49.05/12.31	c calculated reachability. Time: 0.00
49.05/12.31	c  N st   247    158514       587      2533         0     29197      7661    617069     17.28   no data
70.23/17.64	c  N st   248    207103       587      2533         0     23698      7661    414695     17.28   no data
83.81/21.05	c  N st   249    237771       587      2533         0     34032      7661    667837     17.28   no data
83.81/21.05	c  S st   249    237771       587      2533         0     34032      7661    667837     17.28   no data
84.17/21.12	c  S st   249    238273       587      2533         0     34534      7661    680542     17.28   no data
84.17/21.12	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
84.17/21.14	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
84.17/21.14	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
84.17/21.14	c bin-w-bin subsume rem            0 bins  time:  0.00 s
84.17/21.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
84.17/21.14	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    587 time:  0.00 s
84.17/21.14	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
84.17/21.14	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
84.17/21.16	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
87.37/21.91	c lits-rem:       287  cl-subs:     1881  v-elim:      0  v-fix:    0  time:  0.75 s
87.37/21.91	c vivif2 --  cl tried     2533 cl shrink        0 lits rem          0 time: 0.00
87.37/21.92	c vivif2 --  cl tried    32653 cl shrink        0 lits rem          0 time: 0.01
87.37/21.94	c asymm  cl-useful: 0/2533/2533 lits-rem:0 time: 0.02
87.37/21.94	c calculated reachability. Time: 0.00
87.37/21.94	c  N st   249    238273       587      2533         0     32653      7661    629931     17.28   no data
121.30/30.43	c  F st   250    306251       587      2533         0     34695      7661    639082     17.28   no data
121.30/30.43	c  N st   250    306251       587      2533         0     34695      7661    639082     17.28   no data
124.08/31.10	c Decided on static restart strategy
135.66/34.06	c  N st   260    334558       587      2533         0     39061      7661    736069     17.28   no data
147.23/36.92	c  N st   262    357410       587      2533         0     36954      7661    644565     17.28   no data
147.23/36.92	c  S st   262    357410       587      2533         0     36954      7661    644565     17.28   no data
147.63/37.02	c  S st   262    357914       587      2533         0     37458      7661    657474     17.28   no data
147.63/37.02	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
147.63/37.04	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
147.63/37.04	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
147.63/37.04	c bin-w-bin subsume rem            0 bins  time:  0.00 s
147.63/37.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
147.63/37.04	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    587 time:  0.00 s
147.63/37.04	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
147.63/37.05	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
147.63/37.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
149.24/37.43	c lits-rem:       181  cl-subs:     1261  v-elim:      0  v-fix:    0  time:  0.37 s
149.24/37.43	c vivif2 --  cl tried     2533 cl shrink        0 lits rem          0 time: 0.00
149.24/37.44	c vivif2 --  cl tried    36197 cl shrink        0 lits rem          0 time: 0.01
149.24/37.47	c asymm  cl-useful: 0/2533/2533 lits-rem:0 time: 0.02
149.24/37.47	c calculated reachability. Time: 0.00
149.24/37.47	c  N st   262    357914       587      2533         0     36197      7661    622890     17.28   no data
168.78/42.36	c  N st   263    390306       587      2533         0     42416      7661    761998     17.28   no data
199.11/49.94	c  N st   264    438894       587      2533         0     36145      7661    570028     17.28   no data
242.61/60.89	c  N st   265    511776       587      2533         0     49630      7661    930060     17.28   no data
258.18/64.79	c  N st   266    536871       587      2533         0     43888      7661    720255     17.28   no data
258.18/64.79	c  S st   266    536871       587      2533         0     43888      7661    720255     17.28   no data
258.99/64.91	c  S st   266    537372       587      2533         0     44389      7661    733226     17.28   no data
258.99/64.91	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
258.99/64.93	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.02
258.99/64.93	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
258.99/64.93	c bin-w-bin subsume rem            0 bins  time:  0.00 s
258.99/64.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
258.99/64.93	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    587 time:  0.00 s
258.99/64.93	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
258.99/64.94	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
258.99/64.96	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
261.77/65.65	c lits-rem:       269  cl-subs:     1666  v-elim:      0  v-fix:    0  time:  0.69 s
261.77/65.65	c vivif2 --  cl tried     2533 cl shrink        0 lits rem          0 time: 0.00
261.77/65.66	c vivif2 --  cl tried    42723 cl shrink        0 lits rem          0 time: 0.01
261.77/65.69	c asymm  cl-useful: 0/2533/2533 lits-rem:0 time: 0.03
261.77/65.69	c calculated reachability. Time: 0.00
261.77/65.69	c  N st   266    537372       587      2533         0     42723      7661    684114     17.28   no data
370.32/92.85	c  N st   267    701358       587      2533         0     36677      7661    429267     17.28   no data
441.36/110.65	c  N st   268    806059       587      2533         0     65633      7661   1216513     17.28   no data
441.36/110.65	c  S st   268    806059       587      2533         0     65633      7661   1216513     17.28   no data
442.16/110.85	c  S st   268    806562       587      2533         0     66136      7661   1229281     17.28   no data
442.16/110.86	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
442.16/110.89	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
442.16/110.89	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
442.16/110.89	c bin-w-bin subsume rem            0 bins  time:  0.00 s
442.16/110.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
442.16/110.89	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    587 time:  0.00 s
442.16/110.89	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
442.56/110.90	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
442.56/110.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
458.93/115.07	c lits-rem:       564  cl-subs:     4962  v-elim:      0  v-fix:    0  time:  4.13 s
458.93/115.07	c vivif2 --  cl tried     2533 cl shrink        0 lits rem          0 time: 0.00
458.93/115.08	c vivif2 --  cl tried    61174 cl shrink        0 lits rem          0 time: 0.02
459.33/115.14	c asymm  cl-useful: 0/2533/2533 lits-rem:0 time: 0.06
459.33/115.14	c calculated reachability. Time: 0.00
459.33/115.14	c  N st   268    806562       587      2533         0     61174      7661   1091423     17.28   no data
664.46/166.52	c  F st   269   1071875       587      2533         0     77129      7661   1396497     17.28   no data
664.46/166.52	c  N st   269   1071875       587      2533         0     77129      7661   1396497     17.28   no data
670.45/168.04	c Decided on static restart strategy
688.80/172.66	c  N st   279   1100185       587      2533         0     61157      7661    959483     17.28   no data
721.53/180.83	c  N st   281   1136179       587      2533         0     51505      7661    667851     17.28   no data
750.68/188.11	c  N st   282   1168571       587      2533         0     83145      7661   1578401     17.28   no data
784.99/196.74	c  N st   283   1209843       587      2533         0     77688      7661   1390386     17.28   no data
784.99/196.74	c  S st   283   1209843       587      2533         0     77688      7661   1390386     17.28   no data
785.81/197.00	c  S st   283   1210346       587      2533         0     78188      7661   1404246     17.28   no data
786.22/197.01	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
786.22/197.04	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.04
786.22/197.05	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
786.22/197.05	c bin-w-bin subsume rem            0 bins  time:  0.00 s
786.22/197.05	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
786.22/197.05	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    587 time:  0.00 s
786.22/197.05	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
786.22/197.07	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
786.58/197.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
803.36/201.32	c lits-rem:       732  cl-subs:     3401  v-elim:      0  v-fix:    0  time:  4.21 s
803.36/201.32	c vivif2 --  cl tried     2533 cl shrink        0 lits rem          0 time: 0.00
803.36/201.34	c vivif2 --  cl tried    74787 cl shrink        0 lits rem          0 time: 0.02
803.78/201.41	c asymm  cl-useful: 0/2533/2533 lits-rem:0 time: 0.07
803.78/201.41	c calculated reachability. Time: 0.00
803.78/201.41	c  N st   283   1210346       587      2533         0     74787      7661   1302469     17.28   no data
885.16/221.85	c  N st   284   1283228       587      2533         0     51112      7661    584013     17.28   no data
988.91/247.83	c  N st   285   1392552       587      2533         0     59430      7661    792391     17.28   no data
1152.16/288.78	c  N st   286   1556536       587      2533         0     63960      7661    860413     17.28   no data
1317.78/330.25	c  N st   287   1710347       587      2533         0    105715      7661   2048294     17.28   no data
1317.78/330.25	c  S st   287   1710347       587      2533         0    105715      7661   2048294     17.28   no data
1318.98/330.57	c  S st   287   1710852       587      2533         0    106220      7661   2061772     17.28   no data
1318.98/330.58	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1319.38/330.63	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
1319.38/330.63	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1319.38/330.63	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1319.38/330.63	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1319.38/330.63	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    587 time:  0.00 s
1319.38/330.63	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1319.38/330.66	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1319.78/330.72	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1387.23/347.65	c lits-rem:      1642  cl-subs:     8310  v-elim:      0  v-fix:    0  time: 16.93 s
1387.23/347.65	c vivif2 --  cl tried     2533 cl shrink        0 lits rem          0 time: 0.00
1387.23/347.67	c vivif2 --  cl tried    97910 cl shrink        0 lits rem          0 time: 0.03
1387.65/347.78	c asymm  cl-useful: 0/2533/2533 lits-rem:0 time: 0.10
1387.65/347.78	c calculated reachability. Time: 0.00
1387.65/347.78	c  N st   287   1710852       587      2533         0     97910      7661   1816766     17.28   no data
1829.41/458.42	c  N st   288   2079818       587      2533         0    109643      7661   2002877     17.28   no data
1989.09/498.44	c  N st   289   2210853       587      2533         0    113734      7661   2124575     17.28   no data
1989.09/498.44	c  S st   289   2210853       587      2533         0    113734      7661   2124575     17.28   no data
1990.65/498.80	c  S st   289   2211358       587      2533         0    114239      7661   2137638     17.28   no data
1990.65/498.81	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1990.65/498.87	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.06
1990.65/498.87	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1990.65/498.87	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1990.65/498.87	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1990.65/498.87	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    587 time:  0.00 s
1990.65/498.87	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1990.65/498.90	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1991.05/498.96	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2050.90/513.96	c lits-rem:      1282  cl-subs:     6996  v-elim:      0  v-fix:    0  time: 15.00 s
2050.90/513.96	c vivif2 --  cl tried     2533 cl shrink        0 lits rem          0 time: 0.00
2050.90/513.98	c vivif2 --  cl tried   107243 cl shrink        0 lits rem          0 time: 0.03
2051.69/514.10	c asymm  cl-useful: 0/2533/2533 lits-rem:0 time: 0.12
2051.69/514.10	c calculated reachability. Time: 0.00
2051.69/514.10	c  N st   289   2211358       587      2533         0    107243      7661   1932163     17.28   no data
2724.57/682.79	c  N st   290   2711361       587      2533         0    130702      7661   2447320     17.28   no data
2724.57/682.79	c  S st   290   2711361       587      2533         0    130702      7661   2447320     17.28   no data
2726.61/683.24	c  S st   290   2711866       587      2533         0    131206      7661   2460280     17.28   no data
2726.61/683.25	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2726.97/683.31	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.07
2726.97/683.32	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2726.97/683.32	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2726.97/683.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2726.97/683.32	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    587 time:  0.00 s
2726.97/683.32	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2726.97/683.35	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2727.36/683.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2813.57/705.08	c lits-rem:      1308  cl-subs:     8663  v-elim:      0  v-fix:    0  time: 21.66 s
2813.57/705.08	c vivif2 --  cl tried     2533 cl shrink        0 lits rem          0 time: 0.00
2813.98/705.12	c vivif2 --  cl tried   122543 cl shrink        0 lits rem          0 time: 0.03
2814.40/705.25	c asymm  cl-useful: 0/2533/2533 lits-rem:0 time: 0.13
2814.40/705.26	c calculated reachability. Time: 0.00
2814.40/705.26	c  N st   290   2711866       587      2533         0    122543      7661   2223453     17.28   no data
3520.78/882.28	c  N st   291   3211866       587      2533         0     98331      7661   1377345     17.28   no data
3520.78/882.28	c  S st   291   3211866       587      2533         0     98331      7661   1377345     17.28   no data
3522.36/882.68	c  S st   291   3212373       587      2533         0     98835      7661   1391136     17.28   no data
3522.36/882.69	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3522.76/882.76	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.06
3522.76/882.76	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3522.76/882.76	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3522.76/882.76	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3522.76/882.76	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    587 time:  0.00 s
3522.76/882.76	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3522.76/882.79	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
3523.16/882.83	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3541.92/887.58	c lits-rem:       240  cl-subs:     3358  v-elim:      0  v-fix:    0  time:  4.74 s
3541.92/887.58	c vivif2 --  cl tried     2533 cl shrink        0 lits rem          0 time: 0.00
3542.32/887.60	c vivif2 --  cl tried    95477 cl shrink        0 lits rem          0 time: 0.02
3542.74/887.73	c asymm  cl-useful: 0/2533/2533 lits-rem:0 time: 0.13
3542.74/887.73	c calculated reachability. Time: 0.00
3542.74/887.73	c  N st   291   3212373       587      2533         0     95477      7661   1305810     17.28   no data
4345.70/1089.00	c  N st   292   3712373       587      2533         0    106323      7661   1494726     17.28   no data
4345.70/1089.00	c  S st   292   3712373       587      2533         0    106323      7661   1494726     17.28   no data
4347.69/1089.44	c  S st   292   3712882       587      2533         0    106832      7661   1507987     17.28   no data
4347.69/1089.45	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4348.09/1089.51	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.06
4348.09/1089.51	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4348.09/1089.51	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4348.09/1089.51	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4348.09/1089.51	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    587 time:  0.00 s
4348.09/1089.51	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
4348.09/1089.53	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
4348.09/1089.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4359.70/1092.48	c lits-rem:       252  cl-subs:     2922  v-elim:      0  v-fix:    0  time:  2.90 s
4359.70/1092.48	c vivif2 --  cl tried     2533 cl shrink        0 lits rem          0 time: 0.00
4360.06/1092.51	c vivif2 --  cl tried   103910 cl shrink        0 lits rem          0 time: 0.02
4360.46/1092.62	c asymm  cl-useful: 0/2533/2533 lits-rem:0 time: 0.11
4360.46/1092.62	c calculated reachability. Time: 0.00
4360.46/1092.62	c  N st   292   3712882       587      2533         0    103910      7661   1433416     17.28   no data
4434.69/1111.21	c  F st   293   3751564       587      2533         0    141731      7661   2535976     17.28   no data
4434.69/1111.21	c  N st   293   3751564       587      2533         0    141731      7661   2535976     17.28   no data
4446.67/1114.22	c Decided on static restart strategy
4494.16/1126.15	c  N st   303   3779866       587      2533         0     86507      7661    906740     17.28   no data
4546.44/1139.22	c  N st   305   3815858       587      2533         0    121722      7661   1852564     17.28   no data
4603.11/1153.48	c  N st   306   3848251       587      2533         0    153506      7661   2789224     17.28   no data
4676.94/1171.99	c  N st   307   3896839       587      2533         0    117271      7661   1815855     17.28   no data

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-3366539-1305407072/watcher-3366539-1305407072 -o /tmp/evaluation-result-3366539-1305407072/solver-3366539-1305407072 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366539-1305407072.cnf 

running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 7.55 8.00 7.99 2/286 5264
/proc/meminfo: memFree=16819720/32951124 swapFree=52307768/67111528
[pid=5264] ppid=5262 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/5264/stat : 5264 (strangenight2-m) R 5262 5264 5130 0 -1 4202496 407 0 0 0 0 0 0 0 25 0 4 0 652309980 52396032 347 33554432000 4194304 4580107 140734944533328 18446744073709551615 47088144500658 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5264/statm: 12792 347 299 95 0 7774 0
[pid=5264/tid=5265] ppid=5262 vsize=281968 CPUtime=0 cores=1,3,5,7
/proc/5264/task/5265/stat : 5265 (strangenight2-m) R 5262 5264 5130 0 -1 4202560 139 0 0 0 0 0 0 0 25 0 4 0 652309981 288735232 828 33554432000 4194304 4580107 140734944533328 18446744073709551615 4288544 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5264/tid=5266] ppid=5262 vsize=281968 CPUtime=0 cores=1,3,5,7
/proc/5264/task/5266/stat : 5266 (strangenight2-m) R 5262 5264 5130 0 -1 4202560 95 0 0 0 0 0 0 0 25 0 4 0 652309981 288735232 828 33554432000 4194304 4580107 140734944533328 18446744073709551615 218370653963 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5264/tid=5267] ppid=5262 vsize=281968 CPUtime=0 cores=1,3,5,7
/proc/5264/task/5267/stat : 5267 (strangenight2-m) D 5262 5264 5130 0 -1 4202560 135 0 0 0 0 0 0 0 25 0 4 0 652309981 288735232 828 33554432000 4194304 4580107 140734944533328 18446744073709551615 4320208 0 0 4096 2 0 0 0 -1 1 0 0 0

[startup+0.11207 s]
/proc/loadavg: 7.55 8.00 7.99 2/286 5264
/proc/meminfo: memFree=16819720/32951124 swapFree=52307768/67111528
[pid=5264] ppid=5262 vsize=282108 CPUtime=0.41 cores=1,3,5,7
/proc/5264/stat : 5264 (strangenight2-m) R 5262 5264 5130 0 -1 4202496 1847 0 0 0 41 0 0 0 18 0 4 0 652309980 288878592 1715 33554432000 4194304 4580107 140734944533328 18446744073709551615 4292938 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5264/statm: 70527 1715 377 95 0 65509 0
[pid=5264/tid=5265] ppid=5262 vsize=282108 CPUtime=0.1 cores=1,3,5,7
/proc/5264/task/5265/stat : 5265 (strangenight2-m) R 5262 5264 5130 0 -1 4202560 405 0 0 0 10 0 0 0 18 0 4 0 652309981 288878592 1715 33554432000 4194304 4580107 140734944533328 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5264/tid=5266] ppid=5262 vsize=282108 CPUtime=0.09 cores=1,3,5,7
/proc/5264/task/5266/stat : 5266 (strangenight2-m) R 5262 5264 5130 0 -1 4202560 371 0 0 0 9 0 0 0 25 0 4 0 652309981 288878592 1715 33554432000 4194304 4580107 140734944533328 18446744073709551615 4292997 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5264/tid=5267] ppid=5262 vsize=282108 CPUtime=0.1 cores=1,3,5,7
/proc/5264/task/5267/stat : 5267 (strangenight2-m) R 5262 5264 5130 0 -1 4202560 284 0 0 0 10 0 0 0 25 0 4 0 652309981 288878592 1715 33554432000 4194304 4580107 140734944533328 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 282108

[startup+0.201055 s]
/proc/loadavg: 7.55 8.00 7.99 2/286 5264
/proc/meminfo: memFree=16819720/32951124 swapFree=52307768/67111528
[pid=5264] ppid=5262 vsize=283552 CPUtime=0.77 cores=1,3,5,7
/proc/5264/stat : 5264 (strangenight2-m) R 5262 5264 5130 0 -1 4202496 2512 0 0 0 77 0 0 0 18 0 4 0 652309980 290357248 1748 33554432000 4194304 4580107 140734944533328 18446744073709551615 4294974 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5264/statm: 70888 1748 377 95 0 65870 0
[pid=5264/tid=5265] ppid=5262 vsize=283552 CPUtime=0.19 cores=1,3,5,7
/proc/5264/task/5265/stat : 5265 (strangenight2-m) R 5262 5264 5130 0 -1 4202560 573 0 0 0 19 0 0 0 18 0 4 0 652309981 290357248 1748 33554432000 4194304 4580107 140734944533328 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5264/tid=5266] ppid=5262 vsize=283552 CPUtime=0.18 cores=1,3,5,7
/proc/5264/task/5266/stat : 5266 (strangenight2-m) R 5262 5264 5130 0 -1 4202560 538 0 0 0 18 0 0 0 25 0 4 0 652309981 290357248 1748 33554432000 4194304 4580107 140734944533328 18446744073709551615 4294386 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5264/tid=5267] ppid=5262 vsize=283552 CPUtime=0.19 cores=1,3,5,7
/proc/5264/task/5267/stat : 5267 (strangenight2-m) R 5262 5264 5130 0 -1 4202560 448 0 0 0 19 0 0 0 25 0 4 0 652309981 290357248 1748 33554432000 4194304 4580107 140734944533328 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.77
Current children cumulated vsize (KiB) 283552

[startup+0.301037 s]
/proc/loadavg: 7.55 8.00 7.99 2/286 5264
/proc/meminfo: memFree=16819720/32951124 swapFree=52307768/67111528
[pid=5264] ppid=5262 vsize=283712 CPUtime=1.17 cores=1,3,5,7
/proc/5264/stat : 5264 (strangenight2-m) R 5262 5264 5130 0 -1 4202496 2955 0 0 0 117 0 0 0 18 0 4 0 652309980 290521088 2191 33554432000 4194304 4580107 140734944533328 18446744073709551615 4294692 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5264/statm: 70928 2191 377 95 0 65910 0
[pid=5264/tid=5265] ppid=5262 vsize=283712 CPUtime=0.29 cores=1,3,5,7
/proc/5264/task/5265/stat : 5265 (strangenight2-m) R 5262 5264 5130 0 -1 4202560 682 0 0 0 29 0 0 0 18 0 4 0 652309981 290521088 2191 33554432000 4194304 4580107 140734944533328 18446744073709551615 4295679 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5264/tid=5266] ppid=5262 vsize=283712 CPUtime=0.28 cores=1,3,5,7
/proc/5264/task/5266/stat : 5266 (strangenight2-m) R 5262 5264 5130 0 -1 4202560 652 0 0 0 28 0 0 0 25 0 4 0 652309981 290521088 2191 33554432000 4194304 4580107 140734944533328 18446744073709551615 4324249 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5264/tid=5267] ppid=5262 vsize=283712 CPUtime=0.29 cores=1,3,5,7
/proc/5264/task/5267/stat : 5267 (strangenight2-m) R 5262 5264 5130 0 -1 4202560 564 0 0 0 29 0 0 0 25 0 4 0 652309981 290521088 2191 33554432000 4194304 4580107 140734944533328 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 283712

[startup+0.700966 s]
/proc/loadavg: 7.55 8.00 7.99 2/286 5264
/proc/meminfo: memFree=16819720/32951124 swapFree=52307768/67111528
[pid=5264] ppid=5262 vsize=284648 CPUtime=2.76 cores=1,3,5,7
/proc/5264/stat : 5264 (strangenight2-m) R 5262 5264 5130 0 -1 4202496 4614 0 0 0 276 0 0 0 18 0 4 0 652309980 291479552 2883 33554432000 4194304 4580107 140734944533328 18446744073709551615 4489516 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5264/statm: 71162 2883 377 95 0 66144 0
[pid=5264/tid=5265] ppid=5262 vsize=284648 CPUtime=0.69 cores=1,3,5,7
/proc/5264/task/5265/stat : 5265 (strangenight2-m) R 5262 5264 5130 0 -1 4202560 1105 0 0 0 69 0 0 0 18 0 4 0 652309981 291479552 2883 33554432000 4194304 4580107 140734944533328 18446744073709551615 4294482 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5264/tid=5266] ppid=5262 vsize=284648 CPUtime=0.68 cores=1,3,5,7
/proc/5264/task/5266/stat : 5266 (strangenight2-m) R 5262 5264 5130 0 -1 4202560 1063 0 0 0 68 0 0 0 25 0 4 0 652309981 291479552 2883 33554432000 4194304 4580107 140734944533328 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5264/tid=5267] ppid=5262 vsize=284648 CPUtime=0.68 cores=1,3,5,7
/proc/5264/task/5267/stat : 5267 (strangenight2-m) R 5262 5264 5130 0 -1 4202560 983 0 0 0 68 0 0 0 25 0 4 0 652309981 291479552 2883 33554432000 4194304 4580107 140734944533328 18446744073709551615 4293755 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.76
Current children cumulated vsize (KiB) 284648

[startup+1.50083 s]
/proc/loadavg: 7.55 8.00 7.99 9/298 5281
/proc/meminfo: memFree=16789692/32951124 swapFree=52307768/67111528
[pid=5264] ppid=5262 vsize=285984 CPUtime=5.96 cores=1,3,5,7
/proc/5264/stat : 5264 (strangenight2-m) R 5262 5264 5130 0 -1 4202496 9286 0 0 0 595 1 0 0 20 0 4 0 652309980 292847616 4847 33554432000 4194304 4580107 140734944533328 18446744073709551615 4406385 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5264/statm: 71496 4847 379 95 0 66478 0
[pid=5264/tid=5265] ppid=5262 vsize=285984 CPUtime=1.49 cores=1,3,5,7
/proc/5264/task/5265/stat : 5265 (strangenight2-m) R 5262 5264 5130 0 -1 4202560 1906 0 0 0 149 0 0 0 20 0 4 0 652309981 292847616 4847 33554432000 4194304 4580107 140734944533328 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5264/tid=5266] ppid=5262 vsize=285984 CPUtime=1.47 cores=1,3,5,7
/proc/5264/task/5266/stat : 5266 (strangenight2-m) R 5262 5264 5130 0 -1 4202560 1876 0 0 0 147 0 0 0 25 0 4 0 652309981 292847616 4847 33554432000 4194304 4580107 140734944533328 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5264/tid=5267] ppid=5262 vsize=285984 CPUtime=1.48 cores=1,3,5,7
/proc/5264/task/5267/stat : 5267 (strangenight2-m) R 5262 5264 5130 0 -1 4202560 1824 0 0 0 148 0 0 0 25 0 4 0 652309981 292847616 4847 33554432000 4194304 4580107 140734944533328 18446744073709551615 4294589 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 285984

[startup+3.10054 s]
/proc/loadavg: 7.55 8.00 7.99 9/298 5281
/proc/meminfo: memFree=16761668/32951124 swapFree=52307768/67111528
[pid=5264] ppid=5262 vsize=292308 CPUtime=12.34 cores=1,3,5,7
/proc/5264/stat : 5264 (strangenight2-m) R 5262 5264 5130 0 -1 4202496 18286 0 0 0 1231 3 0 0 25 0 4 0 652309980 299323392 10453 33554432000 4194304 4580107 140734944533328 18446744073709551615 4294585 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5264/statm: 73077 10453 379 95 0 68059 0
[pid=5264/tid=5265] ppid=5262 vsize=292308 CPUtime=3.08 cores=1,3,5,7
/proc/5264/task/5265/stat : 5265 (strangenight2-m) R 5262 5264 5130 0 -1 4202560 4209 0 0 0 308 0 0 0 25 0 4 0 652309981 299323392 10453 33554432000 4194304 4580107 140734944533328 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5264/tid=5266] ppid=5262 vsize=292308 CPUtime=3.06 cores=1,3,5,7
/proc/5264/task/5266/stat : 5266 (strangenight2-m) R 5262 5264 5130 0 -1 4202560 4989 0 0 0 305 1 0 0 25 0 4 0 652309981 299323392 10453 33554432000 4194304 4580107 140734944533328 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5264/tid=5267] ppid=5262 vsize=292308 CPUtime=3.08 cores=1,3,5,7
/proc/5264/task/5267/stat : 5267 (strangenight2-m) R 5262 5264 5130 0 -1 4202560 4455 0 0 0 308 0 0 0 25 0 4 0 652309981 299323392 10453 33554432000 4194304 4580107 140734944533328 18446744073709551615 4293198 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 292308

[startup+6.30097 s]
/proc/loadavg: 7.59 8.00 7.99 9/298 5281
/proc/meminfo: memFree=16714872/32951124 swapFree=52307768/67111528
[pid=5264] ppid=5262 vsize=320360 CPUtime=25.11 cores=1,3,5,7
/proc/5264/stat : 5264 (strangenight2-m) R 5262 5264 5130 0 -1 4202496 27136 0 0 0 2506 5 0 0 25 0 4 0 652309980 328048640 14361 33554432000 4194304 4580107 140734944533328 18446744073709551615 4294533 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5264/statm: 80090 14361 379 95 0 75072 0
[pid=5264/tid=5265] ppid=5262 vsize=320360 CPUtime=6.29 cores=1,3,5,7
/proc/5264/task/5265/stat : 5265 (strangenight2-m) R 5262 5264 5130 0 -1 4202560 7840 0 0 0 628 1 0 0 25 0 4 0 652309981 328048640 14361 33554432000 4194304 4580107 140734944533328 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5264/tid=5266] ppid=5262 vsize=320360 CPUtime=6.23 cores=1,3,5,7
/proc/5264/task/5266/stat : 5266 (strangenight2-m) R 5262 5264 5130 0 -1 4202560 6878 0 0 0 622 1 0 0 25 0 4 0 652309981 328048640 14361 33554432000 4194304 4580107 140734944533328 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5264/tid=5267] ppid=5262 vsize=320360 CPUtime=6.29 cores=1,3,5,7
/proc/5264/task/5267/stat : 5267 (strangenight2-m) R 5262 5264 5130 0 -1 4202560 5822 0 0 0 628 1 0 0 25 0 4 0 652309981 328048640 14361 33554432000 4194304 4580107 140734944533328 18446744073709551615 4294627 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 25.11
Current children cumulated vsize (KiB) 320360

[startup+12.7008 s]
/proc/loadavg: 7.62 8.00 7.99 9/298 5281
/proc/meminfo: memFree=16657072/32951124 swapFree=52307768/67111528
[pid=5264] ppid=5262 vsize=292500 CPUtime=50.65 cores=1,3,5,7
/proc/5264/stat : 5264 (strangenight2-m) R 5262 5264 5130 0 -1 4202496 44274 0 0 0 5056 9 0 0 25 0 4 0 652309980 299520000 25367 33554432000 4194304 4580107 140734944533328 18446744073709551615 4293211 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5264/statm: 73125 25367 379 95 0 68107 0
[pid=5264/tid=5265] ppid=5262 vsize=292500 CPUtime=12.68 cores=1,3,5,7
/proc/5264/task/5265/stat : 5265 (strangenight2-m) R 5262 5264 5130 0 -1 4202560 12312 0 0 0 1266 2 0 0 25 0 4 0 652309981 299520000 25367 33554432000 4194304 4580107 140734944533328 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5264/tid=5266] ppid=5262 vsize=292500 CPUtime=12.57 cores=1,3,5,7
/proc/5264/task/5266/stat : 5266 (strangenight2-m) R 5262 5264 5130 0 -1 4202560 11490 0 0 0 1254 3 0 0 25 0 4 0 652309981 299520000 25367 33554432000 4194304 4580107 140734944533328 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5264/tid=5267] ppid=5262 vsize=292500 CPUtime=12.68 cores=1,3,5,7
/proc/5264/task/5267/stat : 5267 (strangenight2-m) R 5262 5264 5130 0 -1 4202560 7686 0 0 0 1267 1 0 0 25 0 4 0 652309981 299520000 25368 33554432000 4194304 4580107 140734944533328 18446744073709551615 4294440 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 50.65
Current children cumulated vsize (KiB) 292500

[startup+25.5006 s]
/proc/loadavg: 7.78 8.02 7.99 9/298 5281
/proc/meminfo: memFree=16624360/32951124 swapFree=52307768/67111528
[pid=5264] ppid=5262 vsize=293252 CPUtime=101.73 cores=1,3,5,7
/proc/5264/stat : 5264 (strangenight2-m) R 5262 5264 5130 0 -1 4202496 59887 0 0 0 10159 14 0 0 25 0 4 0 652309980 300290048 30799 33554432000 4194304 4580107 140734944533328 18446744073709551615 4294422 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5264/statm: 73313 30799 379 95 0 68295 0
[pid=5264/tid=5265] ppid=5262 vsize=293252 CPUtime=25.48 cores=1,3,5,7
/proc/5264/task/5265/stat : 5265 (strangenight2-m) R 5262 5264 5130 0 -1 4202560 17066 0 0 0 2545 3 0 0 25 0 4 0 652309981 300290048 30799 33554432000 4194304 4580107 140734944533328 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5264/tid=5266] ppid=5262 vsize=293252 CPUtime=25.25 cores=1,3,5,7
/proc/5264/task/5266/stat : 5266 (strangenight2-m) R 5262 5264 5130 0 -1 4202560 15840 0 0 0 2520 5 0 0 25 0 4 0 652309981 300290048 30799 33554432000 4194304 4580107 140734944533328 18446744073709551615 4294422 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5264/tid=5267] ppid=5262 vsize=293252 CPUtime=25.48 cores=1,3,5,7
/proc/5264/task/5267/stat : 5267 (strangenight2-m) R 5262 5264 5130 0 -1 4202560 8418 0 0 0 2547 1 0 0 25 0 4 0 652309981 300290048 30799 33554432000 4194304 4580107 140734944533328 18446744073709551615 4294471 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 101.73
Current children cumulated vsize (KiB) 293252

[startup+51.101 s]
/proc/loadavg: 7.86 8.01 7.99 9/298 5282
/proc/meminfo: memFree=16570552/32951124 swapFree=52307768/67111528
[pid=5264] ppid=5262 vsize=341540 CPUtime=203.9 cores=1,3,5,7
/proc/5264/stat : 5264 (strangenight2-m) R 5262 5264 5130 0 -1 4202496 88559 0 0 0 20367 23 0 0 25 0 4 0 652309980 349736960 39061 33554432000 4194304 4580107 140734944533328 18446744073709551615 4294585 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5264/statm: 85385 39061 379 95 0 80367 0
[pid=5264/tid=5265] ppid=5262 vsize=341540 CPUtime=51.08 cores=1,3,5,7
/proc/5264/task/5265/stat : 5265 (strangenight2-m) R 5262 5264 5130 0 -1 4202560 24075 0 0 0 5102 6 0 0 25 0 4 0 652309981 349736960 39061 33554432000 4194304 4580107 140734944533328 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5264/tid=5266] ppid=5262 vsize=341540 CPUtime=50.62 cores=1,3,5,7
/proc/5264/task/5266/stat : 5266 (strangenight2-m) R 5262 5264 5130 0 -1 4202560 22117 0 0 0 5055 7 0 0 25 0 4 0 652309981 349736960 39061 33554432000 4194304 4580107 140734944533328 18446744073709551615 4295735 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5264/tid=5267] ppid=5262 vsize=341540 CPUtime=51.08 cores=1,3,5,7
/proc/5264/task/5267/stat : 5267 (strangenight2-m) R 5262 5264 5130 0 -1 4202560 15471 0 0 0 5105 3 0 0 25 0 4 0 652309981 349736960 39061 33554432000 4194304 4580107 140734944533328 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 203.9
Current children cumulated vsize (KiB) 341540

[startup+102.301 s]
/proc/loadavg: 7.99 8.03 8.00 9/298 5283
/proc/meminfo: memFree=16519328/32951124 swapFree=52307768/67111528
[pid=5264] ppid=5262 vsize=384340 CPUtime=408.26 cores=1,3,5,7
/proc/5264/stat : 5264 (strangenight2-m) R 5262 5264 5130 0 -1 4202496 129280 0 0 0 40787 39 0 0 25 0 4 0 652309980 393564160 49398 33554432000 4194304 4580107 140734944533328 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5264/statm: 96085 49398 379 95 0 91067 0
[pid=5264/tid=5265] ppid=5262 vsize=384340 CPUtime=102.29 cores=1,3,5,7
/proc/5264/task/5265/stat : 5265 (strangenight2-m) R 5262 5264 5130 0 -1 4202560 33681 0 0 0 10220 9 0 0 25 0 4 0 652309981 393564160 49400 33554432000 4194304 4580107 140734944533328 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5264/tid=5266] ppid=5262 vsize=384340 CPUtime=101.36 cores=1,3,5,7
/proc/5264/task/5266/stat : 5266 (strangenight2-m) R 5262 5264 5130 0 -1 4202560 29728 0 0 0 10126 10 0 0 25 0 4 0 652309981 393564160 49400 33554432000 4194304 4580107 140734944533328 18446744073709551615 4295828 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5264/tid=5267] ppid=5262 vsize=384340 CPUtime=102.29 cores=1,3,5,7
/proc/5264/task/5267/stat : 5267 (strangenight2-m) R 5262 5264 5130 0 -1 4202560 29265 0 0 0 10221 8 0 0 25 0 4 0 652309981 393564160 49400 33554432000 4194304 4580107 140734944533328 18446744073709551615 4292956 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 408.26
Current children cumulated vsize (KiB) 384340

[startup+162.301 s]

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

[pid=5264] ppid=5262 vsize=609168 CPUtime=2802.79 cores=1,3,5,7
/proc/5264/stat : 5264 (strangenight2-m) R 5262 5264 5130 0 -1 4202496 391950 0 0 0 280114 165 0 0 25 0 4 0 652309980 623788032 101671 33554432000 4194304 4580107 140734944533328 18446744073709551615 4406480 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5264/statm: 152292 101671 379 95 0 147274 0
[pid=5264/tid=5265] ppid=5262 vsize=609168 CPUtime=702.27 cores=1,3,5,7
/proc/5264/task/5265/stat : 5265 (strangenight2-m) R 5262 5264 5130 0 -1 4202560 99458 0 0 0 70185 42 0 0 25 0 4 0 652309981 623788032 101671 33554432000 4194304 4580107 140734944533328 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5264/tid=5266] ppid=5262 vsize=609168 CPUtime=695.89 cores=1,3,5,7
/proc/5264/task/5266/stat : 5266 (strangenight2-m) R 5262 5264 5130 0 -1 4202560 101134 0 0 0 69544 45 0 0 25 0 4 0 652309981 623788032 101671 33554432000 4194304 4580107 140734944533328 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5264/tid=5267] ppid=5262 vsize=609168 CPUtime=702.29 cores=1,3,5,7
/proc/5264/task/5267/stat : 5267 (strangenight2-m) R 5262 5264 5130 0 -1 4202560 77542 0 0 0 70198 31 0 0 25 0 4 0 652309981 623788032 101671 33554432000 4194304 4580107 140734944533328 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2802.79
Current children cumulated vsize (KiB) 609168

[startup+762.301 s]
/proc/loadavg: 8.31 8.18 8.06 9/298 5301
/proc/meminfo: memFree=16120732/32951124 swapFree=52307768/67111528
[pid=5264] ppid=5262 vsize=557036 CPUtime=3042.27 cores=1,3,5,7
/proc/5264/stat : 5264 (strangenight2-m) R 5262 5264 5130 0 -1 4202496 417811 0 0 0 304045 182 0 0 25 0 4 0 652309980 570404864 107800 33554432000 4194304 4580107 140734944533328 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5264/statm: 139259 107800 379 95 0 134241 0
[pid=5264/tid=5265] ppid=5262 vsize=557036 CPUtime=762.28 cores=1,3,5,7
/proc/5264/task/5265/stat : 5265 (strangenight2-m) R 5262 5264 5130 0 -1 4202560 105883 0 0 0 76182 46 0 0 25 0 4 0 652309981 570404864 107801 33554432000 4194304 4580107 140734944533328 18446744073709551615 4294442 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5264/tid=5266] ppid=5262 vsize=557036 CPUtime=755.35 cores=1,3,5,7
/proc/5264/task/5266/stat : 5266 (strangenight2-m) R 5262 5264 5130 0 -1 4202560 107801 0 0 0 75486 49 0 0 25 0 4 0 652309981 570404864 107801 33554432000 4194304 4580107 140734944533328 18446744073709551615 4294960 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5264/tid=5267] ppid=5262 vsize=557036 CPUtime=762.31 cores=1,3,5,7
/proc/5264/task/5267/stat : 5267 (strangenight2-m) R 5262 5264 5130 0 -1 4202560 83966 0 0 0 76196 35 0 0 25 0 4 0 652309981 570404864 107801 33554432000 4194304 4580107 140734944533328 18446744073709551615 4294404 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3042.27
Current children cumulated vsize (KiB) 557036

[startup+822.3 s]
/proc/loadavg: 8.26 8.17 8.07 9/298 5303
/proc/meminfo: memFree=16138328/32951124 swapFree=52307768/67111528
[pid=5264] ppid=5262 vsize=608896 CPUtime=3281.71 cores=1,3,5,7
/proc/5264/stat : 5264 (strangenight2-m) R 5262 5264 5130 0 -1 4202496 441088 0 0 0 327977 194 0 0 25 0 4 0 652309980 623509504 104196 33554432000 4194304 4580107 140734944533328 18446744073709551615 4294692 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5264/statm: 152224 104196 379 95 0 147206 0
[pid=5264/tid=5265] ppid=5262 vsize=608896 CPUtime=822.27 cores=1,3,5,7
/proc/5264/task/5265/stat : 5265 (strangenight2-m) R 5262 5264 5130 0 -1 4202560 109677 0 0 0 82179 48 0 0 25 0 4 0 652309981 623509504 104196 33554432000 4194304 4580107 140734944533328 18446744073709551615 4320565 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5264/tid=5266] ppid=5262 vsize=608896 CPUtime=814.81 cores=1,3,5,7
/proc/5264/task/5266/stat : 5266 (strangenight2-m) R 5262 5264 5130 0 -1 4202560 115432 0 0 0 81427 54 0 0 25 0 4 0 652309981 623509504 104196 33554432000 4194304 4580107 140734944533328 18446744073709551615 4294627 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5264/tid=5267] ppid=5262 vsize=608896 CPUtime=822.3 cores=1,3,5,7
/proc/5264/task/5267/stat : 5267 (strangenight2-m) R 5262 5264 5130 0 -1 4202560 87541 0 0 0 82193 37 0 0 25 0 4 0 652309981 623509504 104196 33554432000 4194304 4580107 140734944533328 18446744073709551615 4293691 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3281.71
Current children cumulated vsize (KiB) 608896

[startup+882.312 s]
/proc/loadavg: 8.23 8.17 8.07 9/298 5304
/proc/meminfo: memFree=16096140/32951124 swapFree=52307768/67111528
[pid=5264] ppid=5262 vsize=652816 CPUtime=3521.2 cores=1,3,5,7
/proc/5264/stat : 5264 (strangenight2-m) R 5262 5264 5130 0 -1 4202496 470432 0 0 0 351913 207 0 0 25 0 4 0 652309980 668483584 113215 33554432000 4194304 4580107 140734944533328 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5264/statm: 163204 113215 379 95 0 158186 0
[pid=5264/tid=5265] ppid=5262 vsize=652816 CPUtime=882.28 cores=1,3,5,7
/proc/5264/task/5265/stat : 5265 (strangenight2-m) R 5262 5264 5130 0 -1 4202560 119157 0 0 0 88176 52 0 0 25 0 4 0 652309981 668483584 113215 33554432000 4194304 4580107 140734944533328 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5264/tid=5266] ppid=5262 vsize=652816 CPUtime=874.26 cores=1,3,5,7
/proc/5264/task/5266/stat : 5266 (strangenight2-m) R 5262 5264 5130 0 -1 4202560 121620 0 0 0 87369 57 0 0 25 0 4 0 652309981 668483584 113215 33554432000 4194304 4580107 140734944533328 18446744073709551615 4295723 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5264/tid=5267] ppid=5262 vsize=652816 CPUtime=882.31 cores=1,3,5,7
/proc/5264/task/5267/stat : 5267 (strangenight2-m) R 5262 5264 5130 0 -1 4202560 94810 0 0 0 88193 38 0 0 25 0 4 0 652309981 668483584 113215 33554432000 4194304 4580107 140734944533328 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3521.2
Current children cumulated vsize (KiB) 652816

[startup+942.301 s]
/proc/loadavg: 8.21 8.17 8.08 9/298 5306
/proc/meminfo: memFree=16090528/32951124 swapFree=52307768/67111528
[pid=5264] ppid=5262 vsize=706208 CPUtime=3760.62 cores=1,3,5,7
/proc/5264/stat : 5264 (strangenight2-m) R 5262 5264 5130 0 -1 4202496 495741 0 0 0 375840 222 0 0 25 0 4 0 652309980 723156992 115796 33554432000 4194304 4580107 140734944533328 18446744073709551615 4294533 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5264/statm: 176552 115796 379 95 0 171534 0
[pid=5264/tid=5265] ppid=5262 vsize=706208 CPUtime=942.27 cores=1,3,5,7
/proc/5264/task/5265/stat : 5265 (strangenight2-m) R 5262 5264 5130 0 -1 4202560 125038 0 0 0 94171 56 0 0 25 0 4 0 652309981 723156992 115796 33554432000 4194304 4580107 140734944533328 18446744073709551615 4320440 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5264/tid=5266] ppid=5262 vsize=706208 CPUtime=933.71 cores=1,3,5,7
/proc/5264/task/5266/stat : 5266 (strangenight2-m) R 5262 5264 5130 0 -1 4202560 128226 0 0 0 93310 61 0 0 25 0 4 0 652309981 723156992 115796 33554432000 4194304 4580107 140734944533328 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5264/tid=5267] ppid=5262 vsize=706208 CPUtime=942.3 cores=1,3,5,7
/proc/5264/task/5267/stat : 5267 (strangenight2-m) R 5262 5264 5130 0 -1 4202560 101216 0 0 0 94188 42 0 0 25 0 4 0 652309981 723156992 115796 33554432000 4194304 4580107 140734944533328 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3760.62
Current children cumulated vsize (KiB) 706208

[startup+1002.3 s]
/proc/loadavg: 8.19 8.17 8.08 9/298 5307
/proc/meminfo: memFree=16044628/32951124 swapFree=52307768/67111528
[pid=5264] ppid=5262 vsize=706416 CPUtime=4000.07 cores=1,3,5,7
/proc/5264/stat : 5264 (strangenight2-m) R 5262 5264 5130 0 -1 4202496 524324 0 0 0 399771 236 0 0 25 0 4 0 652309980 723369984 125413 33554432000 4194304 4580107 140734944533328 18446744073709551615 4294449 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5264/statm: 176604 125413 379 95 0 171586 0
[pid=5264/tid=5265] ppid=5262 vsize=706416 CPUtime=1002.28 cores=1,3,5,7
/proc/5264/task/5265/stat : 5265 (strangenight2-m) R 5262 5264 5130 0 -1 4202560 129978 0 0 0 100169 59 0 0 25 0 4 0 652309981 723369984 125413 33554432000 4194304 4580107 140734944533328 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5264/tid=5266] ppid=5262 vsize=706416 CPUtime=993.16 cores=1,3,5,7
/proc/5264/task/5266/stat : 5266 (strangenight2-m) R 5262 5264 5130 0 -1 4202560 138294 0 0 0 99252 64 0 0 25 0 4 0 652309981 723369984 125413 33554432000 4194304 4580107 140734944533328 18446744073709551615 4294127 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5264/tid=5267] ppid=5262 vsize=706416 CPUtime=1002.31 cores=1,3,5,7
/proc/5264/task/5267/stat : 5267 (strangenight2-m) R 5262 5264 5130 0 -1 4202560 107873 0 0 0 100185 46 0 0 25 0 4 0 652309981 723369984 125413 33554432000 4194304 4580107 140734944533328 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4000.07
Current children cumulated vsize (KiB) 706416

[startup+1062.3 s]
/proc/loadavg: 8.17 8.16 8.09 9/298 5309
/proc/meminfo: memFree=16062704/32951124 swapFree=52307768/67111528
[pid=5264] ppid=5262 vsize=655032 CPUtime=4239.54 cores=1,3,5,7
/proc/5264/stat : 5264 (strangenight2-m) R 5262 5264 5130 0 -1 4202496 548388 0 0 0 423706 248 0 0 25 0 4 0 652309980 670752768 121041 33554432000 4194304 4580107 140734944533328 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5264/statm: 163758 121041 379 95 0 158740 0
[pid=5264/tid=5265] ppid=5262 vsize=655032 CPUtime=1062.27 cores=1,3,5,7
/proc/5264/task/5265/stat : 5265 (strangenight2-m) R 5262 5264 5130 0 -1 4202560 133470 0 0 0 106168 59 0 0 25 0 4 0 652309981 670752768 121041 33554432000 4194304 4580107 140734944533328 18446744073709551615 4295723 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5264/tid=5266] ppid=5262 vsize=655032 CPUtime=1052.63 cores=1,3,5,7
/proc/5264/task/5266/stat : 5266 (strangenight2-m) R 5262 5264 5130 0 -1 4202560 145090 0 0 0 105195 68 0 0 25 0 4 0 652309981 670752768 121041 33554432000 4194304 4580107 140734944533328 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5264/tid=5267] ppid=5262 vsize=655032 CPUtime=1062.31 cores=1,3,5,7
/proc/5264/task/5267/stat : 5267 (strangenight2-m) R 5262 5264 5130 0 -1 4202560 114626 0 0 0 106181 50 0 0 25 0 4 0 652309981 670752768 121041 33554432000 4194304 4580107 140734944533328 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4239.54
Current children cumulated vsize (KiB) 655032

[startup+1122.3 s]
/proc/loadavg: 8.16 8.16 8.09 9/298 5311
/proc/meminfo: memFree=16021012/32951124 swapFree=52307768/67111528
[pid=5264] ppid=5262 vsize=763632 CPUtime=4478.99 cores=1,3,5,7
/proc/5264/stat : 5264 (strangenight2-m) R 5262 5264 5130 0 -1 4202496 570893 0 0 0 447639 260 0 0 25 0 4 0 652309980 781959168 131615 33554432000 4194304 4580107 140734944533328 18446744073709551615 4294530 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5264/statm: 190908 131615 379 95 0 185890 0
[pid=5264/tid=5265] ppid=5262 vsize=763632 CPUtime=1122.27 cores=1,3,5,7
/proc/5264/task/5265/stat : 5265 (strangenight2-m) R 5262 5264 5130 0 -1 4202560 136880 0 0 0 112166 61 0 0 25 0 4 0 652309981 781959168 131615 33554432000 4194304 4580107 140734944533328 18446744073709551615 4294581 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5264/tid=5266] ppid=5262 vsize=763632 CPUtime=1112.07 cores=1,3,5,7
/proc/5264/task/5266/stat : 5266 (strangenight2-m) R 5262 5264 5130 0 -1 4202560 149997 0 0 0 111135 72 0 0 25 0 4 0 652309981 781959168 131615 33554432000 4194304 4580107 140734944533328 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5264/tid=5267] ppid=5262 vsize=763632 CPUtime=1122.31 cores=1,3,5,7
/proc/5264/task/5267/stat : 5267 (strangenight2-m) R 5262 5264 5130 0 -1 4202560 122151 0 0 0 112178 53 0 0 25 0 4 0 652309981 781959168 131615 33554432000 4194304 4580107 140734944533328 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4478.99
Current children cumulated vsize (KiB) 763632

[startup+1182.3 s]
/proc/loadavg: 8.15 8.16 8.09 9/298 5312
/proc/meminfo: memFree=16026196/32951124 swapFree=52307768/67111528
[pid=5264] ppid=5262 vsize=724624 CPUtime=4718.45 cores=1,3,5,7
/proc/5264/stat : 5264 (strangenight2-m) R 5262 5264 5130 0 -1 4202496 593402 0 0 0 471571 274 0 0 25 0 4 0 652309980 742014976 128518 33554432000 4194304 4580107 140734944533328 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5264/statm: 181156 128518 379 95 0 176138 0
[pid=5264/tid=5265] ppid=5262 vsize=724624 CPUtime=1182.27 cores=1,3,5,7
/proc/5264/task/5265/stat : 5265 (strangenight2-m) R 5262 5264 5130 0 -1 4202560 141103 0 0 0 118163 64 0 0 25 0 4 0 652309981 742014976 128518 33554432000 4194304 4580107 140734944533328 18446744073709551615 4294358 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5264/tid=5266] ppid=5262 vsize=724624 CPUtime=1171.53 cores=1,3,5,7
/proc/5264/task/5266/stat : 5266 (strangenight2-m) R 5262 5264 5130 0 -1 4202560 156367 0 0 0 117079 74 0 0 25 0 4 0 652309981 742014976 128518 33554432000 4194304 4580107 140734944533328 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5264/tid=5267] ppid=5262 vsize=724624 CPUtime=1182.31 cores=1,3,5,7
/proc/5264/task/5267/stat : 5267 (strangenight2-m) R 5262 5264 5130 0 -1 4202560 127284 0 0 0 118174 57 0 0 25 0 4 0 652309981 742014976 128518 33554432000 4194304 4580107 140734944533328 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4718.45
Current children cumulated vsize (KiB) 724624



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202.8 s]
/proc/loadavg: 8.26 8.18 8.10 9/298 5313
/proc/meminfo: memFree=16044420/32951124 swapFree=52307768/67111528
[pid=5264] ppid=5262 vsize=724600 CPUtime=4800.28 cores=1,3,5,7
/proc/5264/stat : 5264 (strangenight2-m) R 5262 5264 5130 0 -1 4202496 600952 0 0 0 479750 278 0 0 25 0 4 0 652309980 741990400 125008 33554432000 4194304 4580107 140734944533328 18446744073709551615 4294692 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5264/statm: 181150 125008 379 95 0 176132 0
[pid=5264/tid=5265] ppid=5262 vsize=724600 CPUtime=1202.78 cores=1,3,5,7
/proc/5264/task/5265/stat : 5265 (strangenight2-m) R 5262 5264 5130 0 -1 4202560 141203 0 0 0 120214 64 0 0 25 0 4 0 652309981 741990400 125009 33554432000 4194304 4580107 140734944533328 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5264/tid=5266] ppid=5262 vsize=724600 CPUtime=1191.85 cores=1,3,5,7
/proc/5264/task/5266/stat : 5266 (strangenight2-m) R 5262 5264 5130 0 -1 4202560 159048 0 0 0 119109 76 0 0 25 0 4 0 652309981 741990400 125009 33554432000 4194304 4580107 140734944533328 18446744073709551615 4294410 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5264/tid=5267] ppid=5262 vsize=724600 CPUtime=1202.82 cores=1,3,5,7
/proc/5264/task/5267/stat : 5267 (strangenight2-m) R 5262 5264 5130 0 -1 4202560 129838 0 0 0 120224 58 0 0 25 0 4 0 652309981 741990400 125009 33554432000 4194304 4580107 140734944533328 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.28
Current children cumulated vsize (KiB) 724600

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

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

[startup+1202.8 s]
/proc/loadavg: 8.26 8.18 8.10 9/298 5313
/proc/meminfo: memFree=16044420/32951124 swapFree=52307768/67111528
[pid=5264] ppid=5262 vsize=724600 CPUtime=4800.28 cores=1,3,5,7
/proc/5264/stat : 5264 (strangenight2-m) R 5262 5264 5130 0 -1 4202496 600952 0 0 0 479750 278 0 0 25 0 4 0 652309980 741990400 125008 33554432000 4194304 4580107 140734944533328 18446744073709551615 4294692 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5264/statm: 181150 125008 379 95 0 176132 0
[pid=5264/tid=5265] ppid=5262 vsize=724600 CPUtime=1202.78 cores=1,3,5,7
/proc/5264/task/5265/stat : 5265 (strangenight2-m) R 5262 5264 5130 0 -1 4202560 141203 0 0 0 120214 64 0 0 25 0 4 0 652309981 741990400 125009 33554432000 4194304 4580107 140734944533328 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5264/tid=5266] ppid=5262 vsize=724600 CPUtime=1191.85 cores=1,3,5,7
/proc/5264/task/5266/stat : 5266 (strangenight2-m) R 5262 5264 5130 0 -1 4202560 159048 0 0 0 119109 76 0 0 25 0 4 0 652309981 741990400 125009 33554432000 4194304 4580107 140734944533328 18446744073709551615 4294410 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5264/tid=5267] ppid=5262 vsize=724600 CPUtime=1202.82 cores=1,3,5,7
/proc/5264/task/5267/stat : 5267 (strangenight2-m) R 5262 5264 5130 0 -1 4202560 129838 0 0 0 120224 58 0 0 25 0 4 0 652309981 741990400 125009 33554432000 4194304 4580107 140734944533328 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.28
Current children cumulated vsize (KiB) 724600

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1202.84
CPU time (s): 4800.35
CPU user time (s): 4797.54
CPU system time (s): 2.80457
CPU usage (%): 399.084
Max. virtual memory (cumulated for all children) (KiB): 829700

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.54
system time used= 2.80457
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 600955
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= 263
involuntary context switches= 35795

runsolver used 3.09453 second user time and 7.9058 second system time

The end

Launcher Data 

Begin job on node101 at 2011-05-14 23:04:32
IDJOB=3366539
IDBENCH=82948
IDSOLVER=1844
FILE ID=node101/3366539-1305407072
RUNJOBID= node101-1305405867-5149
PBS_JOBID= 13324502
Free space on /tmp= 73736 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v600-c2556-S1339958817-007.UNKNOWN.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3366539-1305407072/watcher-3366539-1305407072 -o /tmp/evaluation-result-3366539-1305407072/solver-3366539-1305407072 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3366539-1305407072.cnf

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

MD5SUM BENCH= 82834b232944ca118e4175405e325327
RANDOM SEED=682200662

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:      16820000 kB
Buffers:        322880 kB
Cached:        5879836 kB
SwapCached:      14848 kB
Active:       10828752 kB
Inactive:      5027880 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      16820000 kB
SwapTotal:    67111528 kB
SwapFree:     52307768 kB
Dirty:            5452 kB
Writeback:           0 kB
AnonPages:     9651488 kB
Mapped:          14504 kB
Slab:           149460 kB
PageTables:      61744 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 41978680 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= 73728 MiB
End job on node101 at 2011-05-14 23:24:37