Trace number 3174130

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? (TO) 4800.41 1201.73

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-3174130-1304100584.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
0.00/0.01	c asymm  cl-useful: 0/2556/2556 lits-rem:0 time: 0.00
0.00/0.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.01	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.00/0.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    600 time:  0.00 s
0.00/0.01	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3.17/0.85	c lits-rem:         0  cl-subs:        0  v-elim:     11  v-fix:    0  time:  0.00 s
3.17/0.85	c Finding binary XORs  T:     0.00 s  found:       0
3.17/0.85	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
3.17/0.85	c calculated reachability. Time: 0.00
3.17/0.85	c Calc default polars -  time:   0.00 s pos:     275 undec:      67 neg:     258
3.17/0.85	c =========================================================================================
3.17/0.85	c types(t): F = full restart, N = normal restart
3.17/0.85	c types(t): S = simplification begin/end, E = solution found
3.17/0.85	c restart types(rt): st = static, dy = dynamic
3.17/0.85	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.17/0.85	c  B st     0         0       589      2546         0         0      7700         0   no data   no data
3.17/0.85	c Decided on static restart strategy
3.17/0.85	c  N st     8      4920       589      2546         0      4874      7700    126740   no data   no data
3.17/0.85	c  N st    10     11302       589      2546         0      4510      7700     82581   no data   no data
3.17/0.85	c  N st    11     17045       589      2546         0     10128      7700    238096   no data   no data
4.39/1.15	c  F st    12     25001       589      2546         0     12417      7700    289032   no data   no data
4.39/1.15	c  N st    12     25001       589      2546         0     12417      7700    289032   no data   no data
5.57/1.44	c  N dy    18     30003       589      2546         0     10700      7700    224857   no data   no data
5.57/1.44	c  S st    18     30003       589      2546         0     10700      7700    224857   no data   no data
5.57/1.44	c  S st    18     30504       589      2546         0     11201      7700    237583   no data   no data
5.57/1.44	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.57/1.44	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
5.57/1.44	c blocked clauses removed:       13 vars:      2 tried:         589 T: 0.00 s
5.57/1.44	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.57/1.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.57/1.44	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    587 time:  0.00 s
5.57/1.44	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
5.57/1.45	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
5.96/1.55	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.96/1.55	c lits-rem:       194  cl-subs:      451  v-elim:      0  v-fix:    0  time:  0.05 s
5.96/1.55	c asymm  cl-useful: 0/2533/2533 lits-rem:0 time: 0.01
5.96/1.55	c calculated reachability. Time: 0.00
5.96/1.55	c  N dy    18     30504       587      2533         0     10750      7661    223813   no data   no data
7.16/1.81	c  N dy    24     35267       587      2533         0     15441      7661    342395     16.92     17.86
7.97/2.07	c  N dy    47     40238       587      2533         0     12556      7661    226247     17.44     18.38
9.19/2.33	c  N dy    66     44301       587      2533         0     16580      7661    328318     17.47     18.43
9.56/2.44	c  S st    72     45756       587      2533         0      9168      7661    110292     17.45     15.56
9.56/2.47	c  S st    72     46260       587      2533         0      9671      7661    122768     17.45   no data
9.56/2.47	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.56/2.47	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
9.56/2.47	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
9.56/2.47	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.56/2.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.56/2.47	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    587 time:  0.00 s
9.56/2.47	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
9.56/2.48	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
9.56/2.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.56/2.49	c lits-rem:         6  cl-subs:       14  v-elim:      0  v-fix:    0  time:  0.01 s
9.56/2.49	c vivif2 --  cl tried     2533 cl shrink        0 lits rem          0 time: 0.00
9.56/2.49	c vivif2 --  cl tried     9657 cl shrink        0 lits rem          0 time: 0.00
9.56/2.49	c asymm  cl-useful: 0/2533/2533 lits-rem:0 time: 0.00
9.56/2.50	c calculated reachability. Time: 0.00
9.56/2.50	c  N dy    72     46260       587      2533         0      9657      7661    122431     17.45   no data
10.76/2.73	c  N dy    89     50569       587      2533         0     13922      7661    229388     17.43     18.38
11.96/3.05	c  N dy    97     55331       587      2533         0     18604      7661    344839     17.26     18.42
13.18/3.31	c  N dy   122     59339       587      2533         0     12712      7661    178130     17.36     18.73
14.36/3.65	c  N dy   133     64585       587      2533         0     17906      7661    308948     17.25     18.28
15.56/3.99	c  N dy   154     68792       587      2533         0     11202      7661    117927     17.22     18.19
15.96/4.02	c  S st   157     69390       587      2533         0     11793      7661    132765     17.22   no data
15.96/4.05	c  S st   157     69892       587      2533         0     12294      7661    145151     17.22   no data
15.96/4.05	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.96/4.05	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
15.96/4.05	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
15.96/4.05	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.96/4.05	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.96/4.05	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    587 time:  0.00 s
15.96/4.05	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
15.96/4.06	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
15.96/4.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.96/4.07	c lits-rem:         2  cl-subs:       35  v-elim:      0  v-fix:    0  time:  0.01 s
15.96/4.07	c vivif2 --  cl tried     2533 cl shrink        0 lits rem          0 time: 0.00
15.96/4.08	c vivif2 --  cl tried    12259 cl shrink        0 lits rem          0 time: 0.00
15.96/4.08	c asymm  cl-useful: 0/2533/2533 lits-rem:0 time: 0.01
15.96/4.08	c calculated reachability. Time: 0.00
15.96/4.08	c  N dy   157     69892       587      2533         0     12259      7661    144139     17.22   no data
17.15/4.37	c  N dy   185     74374       587      2533         0     16711      7661    258810     17.29     18.39
18.75/4.75	c  N dy   202     79307       587      2533         0     21607      7661    382095     17.27     18.23
20.35/5.16	c  N dy   224     85297       587      2533         0     15650      7661    209703     17.28     18.22
21.15/5.31	c  F st   234     87501       587      2533         0     17835      7661    265599     17.28     16.03
21.97/5.56	c  N st   239     90799       587      2533         0     21105      7661    350413     17.28   no data
22.74/5.72	c Decided on static restart strategy
24.74/6.28	c  N st   242     99809       587      2533         0     17120      7661    358558     17.28   no data
26.37/6.68	c  S st   243    104838       587      2533         0     22066      7661    496806     17.28   no data
26.76/6.74	c  S st   243    105341       587      2533         0     22568      7661    509510     17.28   no data
26.76/6.74	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
26.76/6.75	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
26.76/6.75	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
26.76/6.75	c bin-w-bin subsume rem            0 bins  time:  0.00 s
26.76/6.75	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
26.76/6.75	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    587 time:  0.00 s
26.76/6.75	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
26.76/6.76	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
26.76/6.77	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.53/6.99	c lits-rem:       238  cl-subs:      830  v-elim:      0  v-fix:    0  time:  0.22 s
27.53/6.99	c vivif2 --  cl tried     2533 cl shrink        0 lits rem          0 time: 0.00
27.53/6.99	c vivif2 --  cl tried    21738 cl shrink        0 lits rem          0 time: 0.01
27.93/7.01	c asymm  cl-useful: 0/2533/2533 lits-rem:0 time: 0.01
27.93/7.01	c calculated reachability. Time: 0.00
27.93/7.01	c  N st   243    105341       587      2533         0     21738      7661    483033     17.28   no data
31.15/7.81	c  N st   244    114939       587      2533         0     17388      7661    307403     17.28   no data
36.33/9.12	c  N st   245    129336       587      2533         0     16800      7661    306883     17.28   no data
43.94/11.10	c  N st   246    150931       587      2533         0     22386      7661    420101     17.28   no data
47.11/11.85	c  S st   247    158011       587      2533         0     29426      7661    628392     17.28   no data
47.51/11.93	c  S st   247    158514       587      2533         0     29929      7661    641282     17.28   no data
47.51/11.93	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
47.51/11.94	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
47.51/11.94	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
47.51/11.94	c bin-w-bin subsume rem            0 bins  time:  0.00 s
47.51/11.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
47.51/11.94	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    587 time:  0.00 s
47.51/11.94	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
47.51/11.95	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
47.51/11.97	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
48.73/12.26	c lits-rem:       448  cl-subs:      732  v-elim:      0  v-fix:    0  time:  0.29 s
48.73/12.26	c vivif2 --  cl tried     2533 cl shrink        0 lits rem          0 time: 0.00
48.73/12.27	c vivif2 --  cl tried    29197 cl shrink        0 lits rem          0 time: 0.01
48.73/12.29	c asymm  cl-useful: 0/2533/2533 lits-rem:0 time: 0.02
48.73/12.29	c calculated reachability. Time: 0.00
48.73/12.29	c  N st   247    158514       587      2533         0     29197      7661    617069     17.28   no data
70.30/17.62	c  N st   248    207103       587      2533         0     23698      7661    414695     17.28   no data
83.89/21.01	c  N st   249    237771       587      2533         0     34032      7661    667837     17.28   no data
83.89/21.01	c  S st   249    237771       587      2533         0     34032      7661    667837     17.28   no data
83.89/21.09	c  S st   249    238273       587      2533         0     34534      7661    680542     17.28   no data
83.89/21.09	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
84.26/21.10	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
84.26/21.10	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
84.26/21.10	c bin-w-bin subsume rem            0 bins  time:  0.00 s
84.26/21.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
84.26/21.10	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    587 time:  0.00 s
84.26/21.10	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
84.26/21.12	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
84.26/21.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
87.06/21.88	c lits-rem:       287  cl-subs:     1881  v-elim:      0  v-fix:    0  time:  0.75 s
87.06/21.88	c vivif2 --  cl tried     2533 cl shrink        0 lits rem          0 time: 0.00
87.06/21.89	c vivif2 --  cl tried    32653 cl shrink        0 lits rem          0 time: 0.01
87.46/21.91	c asymm  cl-useful: 0/2533/2533 lits-rem:0 time: 0.02
87.46/21.91	c calculated reachability. Time: 0.00
87.46/21.91	c  N st   249    238273       587      2533         0     32653      7661    629931     17.28   no data
121.01/30.39	c  F st   250    306251       587      2533         0     34695      7661    639082     17.28   no data
121.01/30.39	c  N st   250    306251       587      2533         0     34695      7661    639082     17.28   no data
123.81/31.06	c Decided on static restart strategy
135.80/34.01	c  N st   260    334558       587      2533         0     39061      7661    736069     17.28   no data
146.98/36.86	c  N st   262    357410       587      2533         0     36954      7661    644565     17.28   no data
146.98/36.86	c  S st   262    357410       587      2533         0     36954      7661    644565     17.28   no data
147.38/36.96	c  S st   262    357914       587      2533         0     37458      7661    657474     17.28   no data
147.38/36.96	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
147.38/36.98	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
147.38/36.98	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
147.38/36.98	c bin-w-bin subsume rem            0 bins  time:  0.00 s
147.38/36.98	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
147.38/36.98	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    587 time:  0.00 s
147.38/36.98	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
147.38/36.99	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
147.78/37.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
148.98/37.38	c lits-rem:       181  cl-subs:     1261  v-elim:      0  v-fix:    0  time:  0.37 s
148.98/37.38	c vivif2 --  cl tried     2533 cl shrink        0 lits rem          0 time: 0.00
148.98/37.39	c vivif2 --  cl tried    36197 cl shrink        0 lits rem          0 time: 0.01
149.40/37.41	c asymm  cl-useful: 0/2533/2533 lits-rem:0 time: 0.02
149.40/37.42	c calculated reachability. Time: 0.00
149.40/37.42	c  N st   262    357914       587      2533         0     36197      7661    622890     17.28   no data
168.54/42.28	c  N st   263    390306       587      2533         0     42416      7661    761998     17.28   no data
198.91/49.82	c  N st   264    438894       587      2533         0     36145      7661    570028     17.28   no data
242.45/60.71	c  N st   265    511776       587      2533         0     49630      7661    930060     17.28   no data
258.03/64.61	c  N st   266    536871       587      2533         0     43888      7661    720255     17.28   no data
258.03/64.61	c  S st   266    536871       587      2533         0     43888      7661    720255     17.28   no data
258.43/64.73	c  S st   266    537372       587      2533         0     44389      7661    733226     17.28   no data
258.43/64.73	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
258.43/64.74	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.02
258.43/64.74	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
258.43/64.74	c bin-w-bin subsume rem            0 bins  time:  0.00 s
258.43/64.74	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
258.43/64.74	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    587 time:  0.00 s
258.43/64.74	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
258.43/64.76	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
258.43/64.78	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
261.23/65.47	c lits-rem:       269  cl-subs:     1666  v-elim:      0  v-fix:    0  time:  0.69 s
261.23/65.47	c vivif2 --  cl tried     2533 cl shrink        0 lits rem          0 time: 0.00
261.23/65.48	c vivif2 --  cl tried    42723 cl shrink        0 lits rem          0 time: 0.01
261.63/65.51	c asymm  cl-useful: 0/2533/2533 lits-rem:0 time: 0.03
261.63/65.51	c calculated reachability. Time: 0.00
261.63/65.51	c  N st   266    537372       587      2533         0     42723      7661    684114     17.28   no data
369.87/92.68	c  N st   267    701358       587      2533         0     36677      7661    429267     17.28   no data
441.39/110.55	c  N st   268    806059       587      2533         0     65633      7661   1216513     17.28   no data
441.39/110.55	c  S st   268    806059       587      2533         0     65633      7661   1216513     17.28   no data
442.19/110.76	c  S st   268    806562       587      2533         0     66136      7661   1229281     17.28   no data
442.19/110.76	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
442.19/110.79	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
442.19/110.79	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
442.19/110.79	c bin-w-bin subsume rem            0 bins  time:  0.00 s
442.19/110.79	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
442.19/110.79	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    587 time:  0.00 s
442.19/110.79	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
442.58/110.81	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
442.58/110.85	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
459.36/115.00	c lits-rem:       564  cl-subs:     4962  v-elim:      0  v-fix:    0  time:  4.15 s
459.36/115.00	c vivif2 --  cl tried     2533 cl shrink        0 lits rem          0 time: 0.00
459.36/115.01	c vivif2 --  cl tried    61174 cl shrink        0 lits rem          0 time: 0.01
459.36/115.07	c asymm  cl-useful: 0/2533/2533 lits-rem:0 time: 0.05
459.36/115.07	c calculated reachability. Time: 0.00
459.36/115.07	c  N st   268    806562       587      2533         0     61174      7661   1091423     17.28   no data
665.09/166.50	c  F st   269   1071875       587      2533         0     77129      7661   1396497     17.28   no data
665.09/166.50	c  N st   269   1071875       587      2533         0     77129      7661   1396497     17.28   no data
671.08/168.02	c Decided on static restart strategy
689.46/172.68	c  N st   279   1100185       587      2533         0     61157      7661    959483     17.28   no data
722.20/180.87	c  N st   281   1136179       587      2533         0     51505      7661    667851     17.28   no data
751.39/188.12	c  N st   282   1168571       587      2533         0     83145      7661   1578401     17.28   no data
785.72/196.75	c  N st   283   1209843       587      2533         0     77688      7661   1390386     17.28   no data
785.72/196.75	c  S st   283   1209843       587      2533         0     77688      7661   1390386     17.28   no data
786.94/197.01	c  S st   283   1210346       587      2533         0     78188      7661   1404246     17.28   no data
786.94/197.02	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
786.94/197.06	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.04
786.94/197.06	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
786.94/197.06	c bin-w-bin subsume rem            0 bins  time:  0.00 s
786.94/197.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
786.94/197.06	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    587 time:  0.00 s
786.94/197.06	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
786.94/197.08	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
787.32/197.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
804.12/201.33	c lits-rem:       732  cl-subs:     3401  v-elim:      0  v-fix:    0  time:  4.20 s
804.12/201.33	c vivif2 --  cl tried     2533 cl shrink        0 lits rem          0 time: 0.00
804.12/201.35	c vivif2 --  cl tried    74787 cl shrink        0 lits rem          0 time: 0.02
804.52/201.42	c asymm  cl-useful: 0/2533/2533 lits-rem:0 time: 0.08
804.52/201.42	c calculated reachability. Time: 0.00
804.52/201.42	c  N st   283   1210346       587      2533         0     74787      7661   1302469     17.28   no data
886.39/221.95	c  N st   284   1283228       587      2533         0     51112      7661    584013     17.28   no data
990.64/248.00	c  N st   285   1392552       587      2533         0     59430      7661    792391     17.28   no data
1153.62/288.83	c  N st   286   1556536       587      2533         0     63960      7661    860413     17.28   no data
1319.01/330.25	c  N st   287   1710347       587      2533         0    105715      7661   2048294     17.28   no data
1319.01/330.25	c  S st   287   1710347       587      2533         0    105715      7661   2048294     17.28   no data
1320.21/330.58	c  S st   287   1710852       587      2533         0    106220      7661   2061772     17.28   no data
1320.21/330.58	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1320.61/330.64	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
1320.61/330.64	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1320.61/330.64	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1320.61/330.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1320.61/330.64	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    587 time:  0.00 s
1320.61/330.64	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1320.61/330.67	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1321.01/330.73	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1389.72/347.96	c lits-rem:      1642  cl-subs:     8310  v-elim:      0  v-fix:    0  time: 17.22 s
1389.72/347.96	c vivif2 --  cl tried     2533 cl shrink        0 lits rem          0 time: 0.00
1389.72/347.98	c vivif2 --  cl tried    97910 cl shrink        0 lits rem          0 time: 0.03
1390.12/348.09	c asymm  cl-useful: 0/2533/2533 lits-rem:0 time: 0.10
1390.12/348.09	c calculated reachability. Time: 0.00
1390.12/348.09	c  N st   287   1710852       587      2533         0     97910      7661   1816766     17.28   no data
1831.93/458.62	c  N st   288   2079818       587      2533         0    109643      7661   2002877     17.28   no data
1990.93/498.46	c  N st   289   2210853       587      2533         0    113734      7661   2124575     17.28   no data
1990.93/498.46	c  S st   289   2210853       587      2533         0    113734      7661   2124575     17.28   no data
1992.51/498.82	c  S st   289   2211358       587      2533         0    114239      7661   2137638     17.28   no data
1992.51/498.83	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1992.51/498.89	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.06
1992.51/498.89	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1992.51/498.89	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1992.51/498.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1992.51/498.89	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    587 time:  0.00 s
1992.51/498.89	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1992.91/498.92	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1992.91/498.99	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2054.02/514.24	c lits-rem:      1282  cl-subs:     6996  v-elim:      0  v-fix:    0  time: 15.26 s
2054.02/514.24	c vivif2 --  cl tried     2533 cl shrink        0 lits rem          0 time: 0.00
2054.02/514.27	c vivif2 --  cl tried   107243 cl shrink        0 lits rem          0 time: 0.03
2054.42/514.39	c asymm  cl-useful: 0/2533/2533 lits-rem:0 time: 0.12
2054.42/514.39	c calculated reachability. Time: 0.00
2054.42/514.39	c  N st   289   2211358       587      2533         0    107243      7661   1932163     17.28   no data
2727.12/682.71	c  N st   290   2711361       587      2533         0    130702      7661   2447320     17.28   no data
2727.12/682.71	c  S st   290   2711361       587      2533         0    130702      7661   2447320     17.28   no data
2729.14/683.21	c  S st   290   2711866       587      2533         0    131206      7661   2460280     17.28   no data
2729.14/683.22	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2729.14/683.29	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.07
2729.14/683.29	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2729.14/683.29	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2729.14/683.29	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2729.14/683.29	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    587 time:  0.00 s
2729.14/683.29	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2729.51/683.34	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
2729.91/683.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2818.99/705.79	c lits-rem:      1308  cl-subs:     8663  v-elim:      0  v-fix:    0  time: 22.37 s
2818.99/705.79	c vivif2 --  cl tried     2533 cl shrink        0 lits rem          0 time: 0.00
2819.39/705.82	c vivif2 --  cl tried   122543 cl shrink        0 lits rem          0 time: 0.03
2819.79/705.95	c asymm  cl-useful: 0/2533/2533 lits-rem:0 time: 0.13
2819.79/705.96	c calculated reachability. Time: 0.00
2819.79/705.96	c  N st   290   2711866       587      2533         0    122543      7661   2223453     17.28   no data
3528.05/883.23	c  N st   291   3211866       587      2533         0     98331      7661   1377345     17.28   no data
3528.05/883.23	c  S st   291   3211866       587      2533         0     98331      7661   1377345     17.28   no data
3529.65/883.66	c  S st   291   3212373       587      2533         0     98835      7661   1391136     17.28   no data
3529.65/883.67	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3530.04/883.73	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.06
3530.04/883.73	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3530.04/883.73	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3530.04/883.73	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3530.04/883.73	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    587 time:  0.00 s
3530.04/883.73	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3530.04/883.77	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
3530.44/883.81	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3550.01/888.77	c lits-rem:       240  cl-subs:     3358  v-elim:      0  v-fix:    0  time:  4.95 s
3550.01/888.77	c vivif2 --  cl tried     2533 cl shrink        0 lits rem          0 time: 0.00
3550.01/888.79	c vivif2 --  cl tried    95477 cl shrink        0 lits rem          0 time: 0.02
3550.84/888.91	c asymm  cl-useful: 0/2533/2533 lits-rem:0 time: 0.12
3550.84/888.92	c calculated reachability. Time: 0.00
3550.84/888.92	c  N st   291   3212373       587      2533         0     95477      7661   1305810     17.28   no data
4344.56/1087.61	c  N st   292   3712373       587      2533         0    106323      7661   1494726     17.28   no data
4344.56/1087.61	c  S st   292   3712373       587      2533         0    106323      7661   1494726     17.28   no data
4346.18/1088.05	c  S st   292   3712882       587      2533         0    106832      7661   1507987     17.28   no data
4346.18/1088.06	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4346.55/1088.13	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.07
4346.55/1088.13	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4346.55/1088.13	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4346.55/1088.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4346.55/1088.13	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    587 time:  0.00 s
4346.55/1088.13	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
4346.55/1088.17	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
4346.95/1088.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4366.13/1093.08	c lits-rem:       252  cl-subs:     2922  v-elim:      0  v-fix:    0  time:  4.86 s
4366.13/1093.09	c vivif2 --  cl tried     2533 cl shrink        0 lits rem          0 time: 0.00
4366.53/1093.11	c vivif2 --  cl tried   103910 cl shrink        0 lits rem          0 time: 0.03
4366.93/1093.25	c asymm  cl-useful: 0/2533/2533 lits-rem:0 time: 0.14
4366.93/1093.26	c calculated reachability. Time: 0.00
4366.93/1093.26	c  N st   292   3712882       587      2533         0    103910      7661   1433416     17.28   no data
4452.81/1114.74	c  F st   293   3751564       587      2533         0    141731      7661   2535976     17.28   no data
4452.81/1114.74	c  N st   293   3751564       587      2533         0    141731      7661   2535976     17.28   no data
4466.38/1118.10	c Decided on static restart strategy
4514.32/1130.12	c  N st   303   3779866       587      2533         0     86507      7661    906740     17.28   no data
4566.65/1143.22	c  N st   305   3815858       587      2533         0    121722      7661   1852564     17.28   no data
4623.38/1157.49	c  N st   306   3848251       587      2533         0    153506      7661   2789224     17.28   no data
4697.69/1176.05	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: 935)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3174130-1304100584/watcher-3174130-1304100584 -o /tmp/evaluation-result-3174130-1304100584/solver-3174130-1304100584 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3174130-1304100584.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: 8.19 7.89 7.50 5/180 25717
/proc/meminfo: memFree=24871864/32951124 swapFree=67051468/67111528
[pid=25717] ppid=25715 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/25717/stat : 25717 (strangenight2-m) R 25715 25717 25096 0 -1 4202496 408 0 0 0 0 0 0 0 25 0 4 0 521661197 52441088 347 33554432000 4194304 4627427 140736832723440 18446744073709551615 47352598996918 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/25717/statm: 12803 347 299 106 0 7774 0
[pid=25717/tid=25718] ppid=25715 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/25717/task/25718/stat : 25718 (strangenight2-m) R 25715 25717 25096 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 521661198 52441088 347 33554432000 4194304 4627427 140736832723440 18446744073709551615 47352598996914 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=25717/tid=25719] ppid=25715 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/25717/task/25719/stat : 25719 (strangenight2-m) R 25715 25717 25096 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 521661198 52441088 347 33554432000 4194304 4627427 140736832723440 18446744073709551615 47352598996904 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=25717/tid=25720] ppid=25715 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/25717/task/25720/stat : 25720 (strangenight2-m) R 25715 25717 25096 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 521661198 52441088 347 33554432000 4194304 4627427 140736832723440 18446744073709551615 218371013617 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.157703 s]
/proc/loadavg: 8.19 7.89 7.50 5/180 25717
/proc/meminfo: memFree=24871864/32951124 swapFree=67051468/67111528
[pid=25717] ppid=25715 vsize=282504 CPUtime=0.6 cores=1,3,5,7
/proc/25717/stat : 25717 (strangenight2-m) R 25715 25717 25096 0 -1 4202496 2084 0 0 0 60 0 0 0 18 0 4 0 521661197 289284096 1944 33554432000 4194304 4627427 140736832723440 18446744073709551615 4507260 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/25717/statm: 70626 1944 384 106 0 65597 0
[pid=25717/tid=25718] ppid=25715 vsize=282504 CPUtime=0.15 cores=1,3,5,7
/proc/25717/task/25718/stat : 25718 (strangenight2-m) R 25715 25717 25096 0 -1 4202560 462 0 0 0 15 0 0 0 18 0 4 0 521661198 289284096 1944 33554432000 4194304 4627427 140736832723440 18446744073709551615 4309056 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=25717/tid=25719] ppid=25715 vsize=282504 CPUtime=0.15 cores=1,3,5,7
/proc/25717/task/25719/stat : 25719 (strangenight2-m) R 25715 25717 25096 0 -1 4202560 429 0 0 0 15 0 0 0 18 0 4 0 521661198 289284096 1944 33554432000 4194304 4627427 140736832723440 18446744073709551615 4310097 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=25717/tid=25720] ppid=25715 vsize=282504 CPUtime=0.14 cores=1,3,5,7
/proc/25717/task/25720/stat : 25720 (strangenight2-m) R 25715 25717 25096 0 -1 4202560 345 0 0 0 14 0 0 0 25 0 4 0 521661198 289284096 1944 33554432000 4194304 4627427 140736832723440 18446744073709551615 4308809 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 282504

[startup+0.200695 s]
/proc/loadavg: 8.19 7.89 7.50 5/180 25717
/proc/meminfo: memFree=24871864/32951124 swapFree=67051468/67111528
[pid=25717] ppid=25715 vsize=283792 CPUtime=0.77 cores=1,3,5,7
/proc/25717/stat : 25717 (strangenight2-m) R 25715 25717 25096 0 -1 4202496 2534 0 0 0 77 0 0 0 18 0 4 0 521661197 290603008 1762 33554432000 4194304 4627427 140736832723440 18446744073709551615 4305706 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/25717/statm: 70948 1762 385 106 0 65919 0
[pid=25717/tid=25718] ppid=25715 vsize=283792 CPUtime=0.19 cores=1,3,5,7
/proc/25717/task/25718/stat : 25718 (strangenight2-m) R 25715 25717 25096 0 -1 4202560 574 0 0 0 19 0 0 0 18 0 4 0 521661198 290603008 1762 33554432000 4194304 4627427 140736832723440 18446744073709551615 4321339 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=25717/tid=25719] ppid=25715 vsize=283792 CPUtime=0.19 cores=1,3,5,7
/proc/25717/task/25719/stat : 25719 (strangenight2-m) R 25715 25717 25096 0 -1 4202560 545 0 0 0 19 0 0 0 18 0 4 0 521661198 290603008 1762 33554432000 4194304 4627427 140736832723440 18446744073709551615 4310097 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=25717/tid=25720] ppid=25715 vsize=283792 CPUtime=0.19 cores=1,3,5,7
/proc/25717/task/25720/stat : 25720 (strangenight2-m) R 25715 25717 25096 0 -1 4202560 458 0 0 0 19 0 0 0 25 0 4 0 521661198 290603008 1762 33554432000 4194304 4627427 140736832723440 18446744073709551615 4309056 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.77
Current children cumulated vsize (KiB) 283792

[startup+0.300677 s]
/proc/loadavg: 8.19 7.89 7.50 5/180 25717
/proc/meminfo: memFree=24871864/32951124 swapFree=67051468/67111528
[pid=25717] ppid=25715 vsize=284068 CPUtime=1.17 cores=1,3,5,7
/proc/25717/stat : 25717 (strangenight2-m) R 25715 25717 25096 0 -1 4202496 2982 0 0 0 117 0 0 0 18 0 4 0 521661197 290885632 2210 33554432000 4194304 4627427 140736832723440 18446744073709551615 4309279 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/25717/statm: 71017 2210 385 106 0 65988 0
[pid=25717/tid=25718] ppid=25715 vsize=284068 CPUtime=0.29 cores=1,3,5,7
/proc/25717/task/25718/stat : 25718 (strangenight2-m) R 25715 25717 25096 0 -1 4202560 684 0 0 0 29 0 0 0 18 0 4 0 521661198 290885632 2210 33554432000 4194304 4627427 140736832723440 18446744073709551615 4309100 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=25717/tid=25719] ppid=25715 vsize=284068 CPUtime=0.29 cores=1,3,5,7
/proc/25717/task/25719/stat : 25719 (strangenight2-m) R 25715 25717 25096 0 -1 4202560 659 0 0 0 29 0 0 0 18 0 4 0 521661198 290885632 2210 33554432000 4194304 4627427 140736832723440 18446744073709551615 4332756 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=25717/tid=25720] ppid=25715 vsize=284068 CPUtime=0.29 cores=1,3,5,7
/proc/25717/task/25720/stat : 25720 (strangenight2-m) R 25715 25717 25096 0 -1 4202560 575 0 0 0 29 0 0 0 25 0 4 0 521661198 290885632 2210 33554432000 4194304 4627427 140736832723440 18446744073709551615 4329693 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 284068

[startup+0.700608 s]
/proc/loadavg: 8.19 7.89 7.50 5/180 25717
/proc/meminfo: memFree=24871864/32951124 swapFree=67051468/67111528
[pid=25717] ppid=25715 vsize=285024 CPUtime=2.78 cores=1,3,5,7
/proc/25717/stat : 25717 (strangenight2-m) R 25715 25717 25096 0 -1 4202496 4641 0 0 0 277 1 0 0 18 0 4 0 521661197 291864576 2902 33554432000 4194304 4627427 140736832723440 18446744073709551615 4309098 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/25717/statm: 71256 2902 385 106 0 66227 0
[pid=25717/tid=25718] ppid=25715 vsize=285024 CPUtime=0.69 cores=1,3,5,7
/proc/25717/task/25718/stat : 25718 (strangenight2-m) R 25715 25717 25096 0 -1 4202560 1106 0 0 0 69 0 0 0 18 0 4 0 521661198 291864576 2902 33554432000 4194304 4627427 140736832723440 18446744073709551615 4507248 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=25717/tid=25719] ppid=25715 vsize=285024 CPUtime=0.69 cores=1,3,5,7
/proc/25717/task/25719/stat : 25719 (strangenight2-m) R 25715 25717 25096 0 -1 4202560 1073 0 0 0 69 0 0 0 18 0 4 0 521661198 291864576 2902 33554432000 4194304 4627427 140736832723440 18446744073709551615 4309293 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=25717/tid=25720] ppid=25715 vsize=285024 CPUtime=0.69 cores=1,3,5,7
/proc/25717/task/25720/stat : 25720 (strangenight2-m) R 25715 25717 25096 0 -1 4202560 994 0 0 0 69 0 0 0 25 0 4 0 521661198 291864576 2902 33554432000 4194304 4627427 140736832723440 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.78
Current children cumulated vsize (KiB) 285024

[startup+1.50047 s]
/proc/loadavg: 8.19 7.89 7.50 9/184 25721
/proc/meminfo: memFree=24859556/32951124 swapFree=67051468/67111528
[pid=25717] ppid=25715 vsize=286352 CPUtime=5.96 cores=1,3,5,7
/proc/25717/stat : 25717 (strangenight2-m) R 25715 25717 25096 0 -1 4202496 9333 0 0 0 595 1 0 0 20 0 4 0 521661197 293224448 4886 33554432000 4194304 4627427 140736832723440 18446744073709551615 4428249 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/25717/statm: 71588 4886 389 106 0 66559 0
[pid=25717/tid=25718] ppid=25715 vsize=286352 CPUtime=1.49 cores=1,3,5,7
/proc/25717/task/25718/stat : 25718 (strangenight2-m) R 25715 25717 25096 0 -1 4202560 1911 0 0 0 149 0 0 0 19 0 4 0 521661198 293224448 4886 33554432000 4194304 4627427 140736832723440 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=25717/tid=25719] ppid=25715 vsize=286352 CPUtime=1.49 cores=1,3,5,7
/proc/25717/task/25719/stat : 25719 (strangenight2-m) R 25715 25717 25096 0 -1 4202560 1889 0 0 0 149 0 0 0 19 0 4 0 521661198 293224448 4886 33554432000 4194304 4627427 140736832723440 18446744073709551615 4309089 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=25717/tid=25720] ppid=25715 vsize=286352 CPUtime=1.48 cores=1,3,5,7
/proc/25717/task/25720/stat : 25720 (strangenight2-m) R 25715 25717 25096 0 -1 4202560 1834 0 0 0 148 0 0 0 25 0 4 0 521661198 293224448 4886 33554432000 4194304 4627427 140736832723440 18446744073709551615 4309396 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 286352

[startup+3.10118 s]
/proc/loadavg: 8.19 7.89 7.50 9/184 25721
/proc/meminfo: memFree=24847032/32951124 swapFree=67051468/67111528
[pid=25717] ppid=25715 vsize=277920 CPUtime=12.36 cores=1,3,5,7
/proc/25717/stat : 25717 (strangenight2-m) R 25715 25717 25096 0 -1 4202496 18566 0 0 0 1233 3 0 0 25 0 4 0 521661197 284590080 10597 33554432000 4194304 4627427 140736832723440 18446744073709551615 4309244 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/25717/statm: 69480 10597 389 106 0 64451 0
[pid=25717/tid=25718] ppid=25715 vsize=277920 CPUtime=3.09 cores=1,3,5,7
/proc/25717/task/25718/stat : 25718 (strangenight2-m) R 25715 25717 25096 0 -1 4202560 4226 0 0 0 308 1 0 0 25 0 4 0 521661198 284590080 10597 33554432000 4194304 4627427 140736832723440 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=25717/tid=25719] ppid=25715 vsize=277920 CPUtime=3.08 cores=1,3,5,7
/proc/25717/task/25719/stat : 25719 (strangenight2-m) R 25715 25717 25096 0 -1 4202560 5066 0 0 0 308 0 0 0 25 0 4 0 521661198 284590080 10597 33554432000 4194304 4627427 140736832723440 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=25717/tid=25720] ppid=25715 vsize=277920 CPUtime=3.07 cores=1,3,5,7
/proc/25717/task/25720/stat : 25720 (strangenight2-m) R 25715 25717 25096 0 -1 4202560 4566 0 0 0 307 0 0 0 25 0 4 0 521661198 284590080 10597 33554432000 4194304 4627427 140736832723440 18446744073709551615 4327381 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 277920

[startup+6.30061 s]
/proc/loadavg: 8.17 7.89 7.51 9/184 25721
/proc/meminfo: memFree=24821688/32951124 swapFree=67051468/67111528
[pid=25717] ppid=25715 vsize=293224 CPUtime=25.14 cores=1,3,5,7
/proc/25717/stat : 25717 (strangenight2-m) R 25715 25717 25096 0 -1 4202496 28643 0 0 0 2509 5 0 0 25 0 4 0 521661197 300261376 14874 33554432000 4194304 4627427 140736832723440 18446744073709551615 4309279 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/25717/statm: 73306 14878 389 106 0 68277 0
[pid=25717/tid=25718] ppid=25715 vsize=293224 CPUtime=6.29 cores=1,3,5,7
/proc/25717/task/25718/stat : 25718 (strangenight2-m) R 25715 25717 25096 0 -1 4202560 7908 0 0 0 628 1 0 0 25 0 4 0 521661198 300261376 14879 33554432000 4194304 4627427 140736832723440 18446744073709551615 4308654 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=25717/tid=25719] ppid=25715 vsize=293224 CPUtime=6.29 cores=1,3,5,7
/proc/25717/task/25719/stat : 25719 (strangenight2-m) R 25715 25717 25096 0 -1 4202560 8089 0 0 0 628 1 0 0 25 0 4 0 521661198 300261376 14880 33554432000 4194304 4627427 140736832723440 18446744073709551615 4429680 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=25717/tid=25720] ppid=25715 vsize=293412 CPUtime=6.25 cores=1,3,5,7
/proc/25717/task/25720/stat : 25720 (strangenight2-m) R 25715 25717 25096 0 -1 4202560 5952 0 0 0 624 1 0 0 25 0 4 0 521661198 300453888 14887 33554432000 4194304 4627427 140736832723440 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 293224

[startup+12.7005 s]
/proc/loadavg: 8.24 7.91 7.51 9/184 25722
/proc/meminfo: memFree=24775812/32951124 swapFree=67051468/67111528
[pid=25717] ppid=25715 vsize=293096 CPUtime=50.7 cores=1,3,5,7
/proc/25717/stat : 25717 (strangenight2-m) R 25715 25717 25096 0 -1 4202496 45296 0 0 0 5061 9 0 0 25 0 4 0 521661197 300130304 24560 33554432000 4194304 4627427 140736832723440 18446744073709551615 4309266 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/25717/statm: 73274 24560 389 106 0 68245 0
[pid=25717/tid=25718] ppid=25715 vsize=293096 CPUtime=12.69 cores=1,3,5,7
/proc/25717/task/25718/stat : 25718 (strangenight2-m) R 25715 25717 25096 0 -1 4202560 12224 0 0 0 1267 2 0 0 25 0 4 0 521661198 300130304 24560 33554432000 4194304 4627427 140736832723440 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=25717/tid=25719] ppid=25715 vsize=293096 CPUtime=12.69 cores=1,3,5,7
/proc/25717/task/25719/stat : 25719 (strangenight2-m) R 25715 25717 25096 0 -1 4202560 11054 0 0 0 1267 2 0 0 25 0 4 0 521661198 300130304 24560 33554432000 4194304 4627427 140736832723440 18446744073709551615 4309209 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=25717/tid=25720] ppid=25715 vsize=293096 CPUtime=12.62 cores=1,3,5,7
/proc/25717/task/25720/stat : 25720 (strangenight2-m) R 25715 25717 25096 0 -1 4202560 9207 0 0 0 1260 2 0 0 25 0 4 0 521661198 300130304 24560 33554432000 4194304 4627427 140736832723440 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.7
Current children cumulated vsize (KiB) 293096

[startup+25.5012 s]
/proc/loadavg: 8.18 7.91 7.52 9/184 25722
/proc/meminfo: memFree=24741108/32951124 swapFree=67051468/67111528
[pid=25717] ppid=25715 vsize=294352 CPUtime=101.84 cores=1,3,5,7
/proc/25717/stat : 25717 (strangenight2-m) R 25715 25717 25096 0 -1 4202496 60839 0 0 0 10171 13 0 0 25 0 4 0 521661197 301416448 30047 33554432000 4194304 4627427 140736832723440 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/25717/statm: 73588 30047 389 106 0 68559 0
[pid=25717/tid=25718] ppid=25715 vsize=294352 CPUtime=25.49 cores=1,3,5,7
/proc/25717/task/25718/stat : 25718 (strangenight2-m) R 25715 25717 25096 0 -1 4202560 16948 0 0 0 2546 3 0 0 25 0 4 0 521661198 301416448 30047 33554432000 4194304 4627427 140736832723440 18446744073709551615 4309095 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=25717/tid=25719] ppid=25715 vsize=294352 CPUtime=25.49 cores=1,3,5,7
/proc/25717/task/25719/stat : 25719 (strangenight2-m) R 25715 25717 25096 0 -1 4202560 13337 0 0 0 2547 2 0 0 25 0 4 0 521661198 301416448 30047 33554432000 4194304 4627427 140736832723440 18446744073709551615 4309089 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=25717/tid=25720] ppid=25715 vsize=294352 CPUtime=25.35 cores=1,3,5,7
/proc/25717/task/25720/stat : 25720 (strangenight2-m) R 25715 25717 25096 0 -1 4202560 12068 0 0 0 2532 3 0 0 25 0 4 0 521661198 301416448 30047 33554432000 4194304 4627427 140736832723440 18446744073709551615 4309260 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.84
Current children cumulated vsize (KiB) 294352

[startup+51.1006 s]
/proc/loadavg: 8.12 7.92 7.53 9/184 25723
/proc/meminfo: memFree=24714136/32951124 swapFree=67051468/67111528
[pid=25717] ppid=25715 vsize=369600 CPUtime=204.1 cores=1,3,5,7
/proc/25717/stat : 25717 (strangenight2-m) R 25715 25717 25096 0 -1 4202496 85395 0 0 0 20390 20 0 0 25 0 4 0 521661197 378470400 39331 33554432000 4194304 4627427 140736832723440 18446744073709551615 4309270 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/25717/statm: 92400 39331 389 106 0 87371 0
[pid=25717/tid=25718] ppid=25715 vsize=369600 CPUtime=51.09 cores=1,3,5,7
/proc/25717/task/25718/stat : 25718 (strangenight2-m) R 25715 25717 25096 0 -1 4202560 23894 0 0 0 5104 5 0 0 25 0 4 0 521661198 378470400 39331 33554432000 4194304 4627427 140736832723440 18446744073709551615 4309312 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=25717/tid=25719] ppid=25715 vsize=369600 CPUtime=51.09 cores=1,3,5,7
/proc/25717/task/25719/stat : 25719 (strangenight2-m) R 25715 25717 25096 0 -1 4202560 14760 0 0 0 5107 2 0 0 25 0 4 0 521661198 378470400 39331 33554432000 4194304 4627427 140736832723440 18446744073709551615 4308615 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=25717/tid=25720] ppid=25715 vsize=369600 CPUtime=50.8 cores=1,3,5,7
/proc/25717/task/25720/stat : 25720 (strangenight2-m) R 25715 25717 25096 0 -1 4202560 19868 0 0 0 5076 4 0 0 25 0 4 0 521661198 378470400 39331 33554432000 4194304 4627427 140736832723440 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 204.1
Current children cumulated vsize (KiB) 369600

[startup+102.301 s]
/proc/loadavg: 8.10 7.94 7.56 9/184 25724
/proc/meminfo: memFree=24639084/32951124 swapFree=67051468/67111528
[pid=25717] ppid=25715 vsize=430384 CPUtime=408.65 cores=1,3,5,7
/proc/25717/stat : 25717 (strangenight2-m) R 25715 25717 25096 0 -1 4202496 126859 0 0 0 40829 36 0 0 25 0 4 0 521661197 440713216 50635 33554432000 4194304 4627427 140736832723440 18446744073709551615 4308399 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/25717/statm: 107596 50635 389 106 0 102567 0
[pid=25717/tid=25718] ppid=25715 vsize=430384 CPUtime=102.3 cores=1,3,5,7
/proc/25717/task/25718/stat : 25718 (strangenight2-m) R 25715 25717 25096 0 -1 4202560 33548 0 0 0 10222 8 0 0 25 0 4 0 521661198 440713216 50635 33554432000 4194304 4627427 140736832723440 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=25717/tid=25719] ppid=25715 vsize=430384 CPUtime=102.3 cores=1,3,5,7
/proc/25717/task/25719/stat : 25719 (strangenight2-m) R 25715 25717 25096 0 -1 4202560 20393 0 0 0 10225 5 0 0 25 0 4 0 521661198 440713216 50635 33554432000 4194304 4627427 140736832723440 18446744073709551615 4309089 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=25717/tid=25720] ppid=25715 vsize=430384 CPUtime=101.73 cores=1,3,5,7
/proc/25717/task/25720/stat : 25720 (strangenight2-m) R 25715 25717 25096 0 -1 4202560 36134 0 0 0 10163 10 0 0 25 0 4 0 521661198 440713216 50635 33554432000 4194304 4627427 140736832723440 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 408.65
Current children cumulated vsize (KiB) 430384

[startup+162.301 s]

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

[pid=25717] ppid=25715 vsize=543848 CPUtime=2565.74 cores=1,3,5,7
/proc/25717/stat : 25717 (strangenight2-m) R 25715 25717 25096 0 -1 4202496 363923 0 0 0 256423 151 0 0 25 0 4 0 521661197 556900352 98022 33554432000 4194304 4627427 140736832723440 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/25717/statm: 135962 98023 390 106 0 130933 0
[pid=25717/tid=25718] ppid=25715 vsize=543848 CPUtime=642.31 cores=1,3,5,7
/proc/25717/task/25718/stat : 25718 (strangenight2-m) R 25715 25717 25096 0 -1 4202560 90146 0 0 0 64193 38 0 0 25 0 4 0 521661198 556900352 98023 33554432000 4194304 4627427 140736832723440 18446744073709551615 4309256 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=25717/tid=25719] ppid=25715 vsize=543848 CPUtime=642.31 cores=1,3,5,7
/proc/25717/task/25719/stat : 25719 (strangenight2-m) R 25715 25717 25096 0 -1 4202560 65657 0 0 0 64203 28 0 0 25 0 4 0 521661198 556900352 98023 33554432000 4194304 4627427 140736832723440 18446744073709551615 4507218 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=25717/tid=25720] ppid=25715 vsize=543848 CPUtime=638.8 cores=1,3,5,7
/proc/25717/task/25720/stat : 25720 (strangenight2-m) R 25715 25717 25096 0 -1 4202560 102653 0 0 0 63838 42 0 0 25 0 4 0 521661198 556900352 98023 33554432000 4194304 4627427 140736832723440 18446744073709551615 4309350 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2565.74
Current children cumulated vsize (KiB) 543848

[startup+702.301 s]
/proc/loadavg: 8.18 8.11 7.82 9/184 25771
/proc/meminfo: memFree=24760012/32951124 swapFree=67051468/67111528
[pid=25717] ppid=25715 vsize=568992 CPUtime=2805.42 cores=1,3,5,7
/proc/25717/stat : 25717 (strangenight2-m) R 25715 25717 25096 0 -1 4202496 392133 0 0 0 280379 163 0 0 25 0 4 0 521661197 582647808 104388 33554432000 4194304 4627427 140736832723440 18446744073709551615 4420232 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/25717/statm: 142248 104388 390 106 0 137219 0
[pid=25717/tid=25718] ppid=25715 vsize=568992 CPUtime=702.31 cores=1,3,5,7
/proc/25717/task/25718/stat : 25718 (strangenight2-m) R 25715 25717 25096 0 -1 4202560 95922 0 0 0 70190 41 0 0 25 0 4 0 521661198 582647808 104388 33554432000 4194304 4627427 140736832723440 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=25717/tid=25719] ppid=25715 vsize=568992 CPUtime=702.3 cores=1,3,5,7
/proc/25717/task/25719/stat : 25719 (strangenight2-m) R 25715 25717 25096 0 -1 4202560 73077 0 0 0 70199 31 0 0 25 0 4 0 521661198 582647808 104388 33554432000 4194304 4627427 140736832723440 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=25717/tid=25720] ppid=25715 vsize=568992 CPUtime=698.48 cores=1,3,5,7
/proc/25717/task/25720/stat : 25720 (strangenight2-m) R 25715 25717 25096 0 -1 4202560 109966 0 0 0 69803 45 0 0 25 0 4 0 521661198 582647808 104388 33554432000 4194304 4627427 140736832723440 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2805.42
Current children cumulated vsize (KiB) 568992

[startup+762.301 s]
/proc/loadavg: 8.06 8.09 7.82 9/184 25773
/proc/meminfo: memFree=24713236/32951124 swapFree=67051468/67111528
[pid=25717] ppid=25715 vsize=578984 CPUtime=3045.11 cores=1,3,5,7
/proc/25717/stat : 25717 (strangenight2-m) R 25715 25717 25096 0 -1 4202496 417388 0 0 0 304336 175 0 0 25 0 4 0 521661197 592879616 104005 33554432000 4194304 4627427 140736832723440 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/25717/statm: 144746 104005 390 106 0 139717 0
[pid=25717/tid=25718] ppid=25715 vsize=578984 CPUtime=762.31 cores=1,3,5,7
/proc/25717/task/25718/stat : 25718 (strangenight2-m) R 25715 25717 25096 0 -1 4202560 99823 0 0 0 76189 42 0 0 25 0 4 0 521661198 592879616 104005 33554432000 4194304 4627427 140736832723440 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=25717/tid=25719] ppid=25715 vsize=578984 CPUtime=762.31 cores=1,3,5,7
/proc/25717/task/25719/stat : 25719 (strangenight2-m) R 25715 25717 25096 0 -1 4202560 79857 0 0 0 76196 35 0 0 25 0 4 0 521661198 592879616 104005 33554432000 4194304 4627427 140736832723440 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=25717/tid=25720] ppid=25715 vsize=578984 CPUtime=758.16 cores=1,3,5,7
/proc/25717/task/25720/stat : 25720 (strangenight2-m) R 25715 25717 25096 0 -1 4202560 118423 0 0 0 75767 49 0 0 25 0 4 0 521661198 592879616 104005 33554432000 4194304 4627427 140736832723440 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3045.11
Current children cumulated vsize (KiB) 578984

[startup+822.301 s]
/proc/loadavg: 8.02 8.07 7.83 9/184 25774
/proc/meminfo: memFree=24673288/32951124 swapFree=67051468/67111528
[pid=25717] ppid=25715 vsize=708208 CPUtime=3284.77 cores=1,3,5,7
/proc/25717/stat : 25717 (strangenight2-m) R 25715 25717 25096 0 -1 4202496 443305 0 0 0 328291 186 0 0 25 0 4 0 521661197 725204992 113006 33554432000 4194304 4627427 140736832723440 18446744073709551615 4308383 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/25717/statm: 177052 113006 390 106 0 172023 0
[pid=25717/tid=25718] ppid=25715 vsize=708208 CPUtime=822.31 cores=1,3,5,7
/proc/25717/task/25718/stat : 25718 (strangenight2-m) R 25715 25717 25096 0 -1 4202560 106764 0 0 0 82186 45 0 0 25 0 4 0 521661198 725204992 113006 33554432000 4194304 4627427 140736832723440 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=25717/tid=25719] ppid=25715 vsize=708208 CPUtime=822.3 cores=1,3,5,7
/proc/25717/task/25719/stat : 25719 (strangenight2-m) R 25715 25717 25096 0 -1 4202560 82848 0 0 0 82194 36 0 0 25 0 4 0 521661198 725204992 113006 33554432000 4194304 4627427 140736832723440 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=25717/tid=25720] ppid=25715 vsize=708208 CPUtime=817.82 cores=1,3,5,7
/proc/25717/task/25720/stat : 25720 (strangenight2-m) R 25715 25717 25096 0 -1 4202560 126141 0 0 0 81730 52 0 0 25 0 4 0 521661198 725204992 113006 33554432000 4194304 4627427 140736832723440 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3284.77
Current children cumulated vsize (KiB) 708208

[startup+882.306 s]
/proc/loadavg: 8.06 8.07 7.84 9/184 25776
/proc/meminfo: memFree=24653316/32951124 swapFree=67051468/67111528
[pid=25717] ppid=25715 vsize=592128 CPUtime=3524.47 cores=1,3,5,7
/proc/25717/stat : 25717 (strangenight2-m) R 25715 25717 25096 0 -1 4202496 469926 0 0 0 352250 197 0 0 25 0 4 0 521661197 606339072 116372 33554432000 4194304 4627427 140736832723440 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/25717/statm: 148032 116372 390 106 0 143003 0
[pid=25717/tid=25718] ppid=25715 vsize=592128 CPUtime=882.32 cores=1,3,5,7
/proc/25717/task/25718/stat : 25718 (strangenight2-m) R 25715 25717 25096 0 -1 4202560 113387 0 0 0 88184 48 0 0 25 0 4 0 521661198 606339072 116372 33554432000 4194304 4627427 140736832723440 18446744073709551615 4420272 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=25717/tid=25719] ppid=25715 vsize=592128 CPUtime=882.31 cores=1,3,5,7
/proc/25717/task/25719/stat : 25719 (strangenight2-m) R 25715 25717 25096 0 -1 4202560 85115 0 0 0 88194 37 0 0 25 0 4 0 521661198 606339072 116372 33554432000 4194304 4627427 140736832723440 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=25717/tid=25720] ppid=25715 vsize=592128 CPUtime=877.5 cores=1,3,5,7
/proc/25717/task/25720/stat : 25720 (strangenight2-m) R 25715 25717 25096 0 -1 4202560 137476 0 0 0 87695 55 0 0 25 0 4 0 521661198 606339072 116372 33554432000 4194304 4627427 140736832723440 18446744073709551615 4427854 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3524.47
Current children cumulated vsize (KiB) 592128

[startup+942.301 s]
/proc/loadavg: 8.07 8.07 7.85 9/184 25778
/proc/meminfo: memFree=24601080/32951124 swapFree=67051468/67111528
[pid=25717] ppid=25715 vsize=645032 CPUtime=3764.13 cores=1,3,5,7
/proc/25717/stat : 25717 (strangenight2-m) R 25715 25717 25096 0 -1 4202496 491862 0 0 0 376203 210 0 0 25 0 4 0 521661197 660512768 117383 33554432000 4194304 4627427 140736832723440 18446744073709551615 4309584 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/25717/statm: 161258 117383 390 106 0 156229 0
[pid=25717/tid=25718] ppid=25715 vsize=645032 CPUtime=942.31 cores=1,3,5,7
/proc/25717/task/25718/stat : 25718 (strangenight2-m) R 25715 25717 25096 0 -1 4202560 118885 0 0 0 94180 51 0 0 25 0 4 0 521661198 660512768 117383 33554432000 4194304 4627427 140736832723440 18446744073709551615 4309209 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=25717/tid=25719] ppid=25715 vsize=645032 CPUtime=942.31 cores=1,3,5,7
/proc/25717/task/25719/stat : 25719 (strangenight2-m) R 25715 25717 25096 0 -1 4202560 88687 0 0 0 94191 40 0 0 25 0 4 0 521661198 660512768 117383 33554432000 4194304 4627427 140736832723440 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=25717/tid=25720] ppid=25715 vsize=645032 CPUtime=937.18 cores=1,3,5,7
/proc/25717/task/25720/stat : 25720 (strangenight2-m) R 25715 25717 25096 0 -1 4202560 143849 0 0 0 93659 59 0 0 25 0 4 0 521661198 660512768 117383 33554432000 4194304 4627427 140736832723440 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3764.13
Current children cumulated vsize (KiB) 645032

[startup+1002.3 s]
/proc/loadavg: 8.02 8.05 7.86 9/184 25779
/proc/meminfo: memFree=24575256/32951124 swapFree=67051468/67111528
[pid=25717] ppid=25715 vsize=711908 CPUtime=4003.81 cores=1,3,5,7
/proc/25717/stat : 25717 (strangenight2-m) R 25715 25717 25096 0 -1 4202496 514690 0 0 0 400158 223 0 0 25 0 4 0 521661197 728993792 125429 33554432000 4194304 4627427 140736832723440 18446744073709551615 4309155 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/25717/statm: 177977 125429 390 106 0 172948 0
[pid=25717/tid=25718] ppid=25715 vsize=711908 CPUtime=1002.31 cores=1,3,5,7
/proc/25717/task/25718/stat : 25718 (strangenight2-m) R 25715 25717 25096 0 -1 4202560 123940 0 0 0 100177 54 0 0 25 0 4 0 521661198 728993792 125429 33554432000 4194304 4627427 140736832723440 18446744073709551615 4332667 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=25717/tid=25719] ppid=25715 vsize=711908 CPUtime=1002.32 cores=1,3,5,7
/proc/25717/task/25719/stat : 25719 (strangenight2-m) R 25715 25717 25096 0 -1 4202560 92737 0 0 0 100190 42 0 0 25 0 4 0 521661198 728993792 125429 33554432000 4194304 4627427 140736832723440 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=25717/tid=25720] ppid=25715 vsize=711908 CPUtime=996.84 cores=1,3,5,7
/proc/25717/task/25720/stat : 25720 (strangenight2-m) R 25715 25717 25096 0 -1 4202560 150653 0 0 0 99622 62 0 0 25 0 4 0 521661198 728993792 125429 33554432000 4194304 4627427 140736832723440 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4003.81
Current children cumulated vsize (KiB) 711908

[startup+1062.3 s]
/proc/loadavg: 8.05 8.06 7.87 9/184 25781
/proc/meminfo: memFree=24575352/32951124 swapFree=67051468/67111528
[pid=25717] ppid=25715 vsize=712456 CPUtime=4243.48 cores=1,3,5,7
/proc/25717/stat : 25717 (strangenight2-m) R 25715 25717 25096 0 -1 4202496 537729 0 0 0 424112 236 0 0 25 0 4 0 521661197 729554944 123785 33554432000 4194304 4627427 140736832723440 18446744073709551615 4309098 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/25717/statm: 178114 123785 390 106 0 173085 0
[pid=25717/tid=25718] ppid=25715 vsize=712456 CPUtime=1062.31 cores=1,3,5,7
/proc/25717/task/25718/stat : 25718 (strangenight2-m) R 25715 25717 25096 0 -1 4202560 127551 0 0 0 106176 55 0 0 25 0 4 0 521661198 729554944 123785 33554432000 4194304 4627427 140736832723440 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=25717/tid=25719] ppid=25715 vsize=712456 CPUtime=1062.32 cores=1,3,5,7
/proc/25717/task/25719/stat : 25719 (strangenight2-m) R 25715 25717 25096 0 -1 4202560 99396 0 0 0 106186 46 0 0 25 0 4 0 521661198 729554944 123785 33554432000 4194304 4627427 140736832723440 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=25717/tid=25720] ppid=25715 vsize=712456 CPUtime=1056.52 cores=1,3,5,7
/proc/25717/task/25720/stat : 25720 (strangenight2-m) R 25715 25717 25096 0 -1 4202560 156445 0 0 0 105586 66 0 0 25 0 4 0 521661198 729554944 123785 33554432000 4194304 4627427 140736832723440 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4243.48
Current children cumulated vsize (KiB) 712456

[startup+1122.3 s]
/proc/loadavg: 8.06 8.06 7.88 9/184 25782
/proc/meminfo: memFree=24538396/32951124 swapFree=67051468/67111528
[pid=25717] ppid=25715 vsize=765764 CPUtime=4483.16 cores=1,3,5,7
/proc/25717/stat : 25717 (strangenight2-m) R 25715 25717 25096 0 -1 4202496 561654 0 0 0 448066 250 0 0 25 0 4 0 521661197 784142336 131363 33554432000 4194304 4627427 140736832723440 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/25717/statm: 191441 131363 390 106 0 186412 0
[pid=25717/tid=25718] ppid=25715 vsize=765764 CPUtime=1122.31 cores=1,3,5,7
/proc/25717/task/25718/stat : 25718 (strangenight2-m) R 25715 25717 25096 0 -1 4202560 130582 0 0 0 112174 57 0 0 25 0 4 0 521661198 784142336 131363 33554432000 4194304 4627427 140736832723440 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=25717/tid=25719] ppid=25715 vsize=765764 CPUtime=1122.31 cores=1,3,5,7
/proc/25717/task/25719/stat : 25719 (strangenight2-m) R 25715 25717 25096 0 -1 4202560 105318 0 0 0 112181 50 0 0 25 0 4 0 521661198 784142336 131363 33554432000 4194304 4627427 140736832723440 18446744073709551615 4309242 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=25717/tid=25720] ppid=25715 vsize=765764 CPUtime=1116.2 cores=1,3,5,7
/proc/25717/task/25720/stat : 25720 (strangenight2-m) R 25715 25717 25096 0 -1 4202560 164802 0 0 0 111551 69 0 0 25 0 4 0 521661198 784142336 131363 33554432000 4194304 4627427 140736832723440 18446744073709551615 4308399 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4483.16
Current children cumulated vsize (KiB) 765764

[startup+1182.3 s]
/proc/loadavg: 8.05 8.06 7.89 9/184 25784
/proc/meminfo: memFree=24552760/32951124 swapFree=67051468/67111528
[pid=25717] ppid=25715 vsize=657992 CPUtime=4722.85 cores=1,3,5,7
/proc/25717/stat : 25717 (strangenight2-m) R 25715 25717 25096 0 -1 4202496 585352 0 0 0 472025 260 0 0 25 0 4 0 521661197 673783808 125470 33554432000 4194304 4627427 140736832723440 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/25717/statm: 164498 125470 390 106 0 159469 0
[pid=25717/tid=25718] ppid=25715 vsize=657992 CPUtime=1182.32 cores=1,3,5,7
/proc/25717/task/25718/stat : 25718 (strangenight2-m) R 25715 25717 25096 0 -1 4202560 135167 0 0 0 118173 59 0 0 25 0 4 0 521661198 673783808 125470 33554432000 4194304 4627427 140736832723440 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=25717/tid=25719] ppid=25715 vsize=657992 CPUtime=1182.32 cores=1,3,5,7
/proc/25717/task/25719/stat : 25719 (strangenight2-m) R 25715 25717 25096 0 -1 4202560 111597 0 0 0 118179 53 0 0 25 0 4 0 521661198 673783808 125470 33554432000 4194304 4627427 140736832723440 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=25717/tid=25720] ppid=25715 vsize=657992 CPUtime=1175.87 cores=1,3,5,7
/proc/25717/task/25720/stat : 25720 (strangenight2-m) R 25715 25717 25096 0 -1 4202560 170882 0 0 0 117515 72 0 0 25 0 4 0 521661198 673783808 125470 33554432000 4194304 4627427 140736832723440 18446744073709551615 4309250 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4722.85
Current children cumulated vsize (KiB) 657992



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.10 8.07 7.90 9/184 25784
/proc/meminfo: memFree=24539604/32951124 swapFree=67051468/67111528
[pid=25717] ppid=25715 vsize=775152 CPUtime=4800.36 cores=1,3,5,7
/proc/25717/stat : 25717 (strangenight2-m) R 25715 25717 25096 0 -1 4202496 591069 0 0 0 479773 263 0 0 25 0 4 0 521661197 793755648 131186 33554432000 4194304 4627427 140736832723440 18446744073709551615 4309228 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/25717/statm: 193788 131187 390 106 0 188759 0
[pid=25717/tid=25718] ppid=25715 vsize=775152 CPUtime=1201.73 cores=1,3,5,7
/proc/25717/task/25718/stat : 25718 (strangenight2-m) R 25715 25717 25096 0 -1 4202560 135167 0 0 0 120114 59 0 0 25 0 4 0 521661198 793755648 131187 33554432000 4194304 4627427 140736832723440 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=25717/tid=25719] ppid=25715 vsize=775152 CPUtime=1201.73 cores=1,3,5,7
/proc/25717/task/25719/stat : 25719 (strangenight2-m) R 25715 25717 25096 0 -1 4202560 115262 0 0 0 120119 54 0 0 25 0 4 0 521661198 793755648 131187 33554432000 4194304 4627427 140736832723440 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=25717/tid=25720] ppid=25715 vsize=775152 CPUtime=1195.17 cores=1,3,5,7
/proc/25717/task/25720/stat : 25720 (strangenight2-m) R 25715 25717 25096 0 -1 4202560 171937 0 0 0 119444 73 0 0 25 0 4 0 521661198 793755648 131187 33554432000 4194304 4627427 140736832723440 18446744073709551615 4309324 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.36
Current children cumulated vsize (KiB) 775152

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.73
CPU time (s): 4800.41
CPU user time (s): 4797.75
CPU system time (s): 2.6556
CPU usage (%): 399.457
Max. virtual memory (cumulated for all children) (KiB): 775152

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.75
system time used= 2.6556
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 591070
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= 213
involuntary context switches= 17899

runsolver used 1.81772 second user time and 4.75428 second system time

The end

Launcher Data 

Begin job on node101 at 2011-04-29 20:09:44
IDJOB=3174130
IDBENCH=82948
IDSOLVER=1586
FILE ID=node101/3174130-1304100584
RUNJOBID= node101-1304099936-25636
PBS_JOBID= 13170603
Free space on /tmp= 72020 MiB

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

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

MD5SUM BENCH= 82834b232944ca118e4175405e325327
RANDOM SEED=906524042

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:      24872144 kB
Buffers:       2028236 kB
Cached:        5146304 kB
SwapCached:      30452 kB
Active:        3520508 kB
Inactive:      4114072 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      24872144 kB
SwapTotal:    67111528 kB
SwapFree:     67051468 kB
Dirty:            5452 kB
Writeback:           0 kB
AnonPages:      450912 kB
Mapped:           9576 kB
Slab:           380372 kB
PageTables:       5700 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   744152 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= 72012 MiB
End job on node101 at 2011-04-29 20:29:48