Trace number 3175219

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

Namerandom/medium/
unif-k7-r89-v80-c7120-S175431861-098.SATISFIABLE.cnf
MD5SUM32b0a38499f94b9537a6571015412ff0
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark2.88956
Satisfiable
(Un)Satisfiability was proved
Number of variables80
Number of clauses7120
Sum of the clauses size49840
Maximum clause length7
Minimum clause length7
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 57120

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.00	c Using 4 threads
0.00/0.00	c This is CryptoMiniSat 2.9.0
0.00/0.00	c compiled with gcc version 4.4.5
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3175219-1304100394.cnf'
0.00/0.00	c -- header says num vars:             80
0.00/0.00	c -- header says num clauses:        7120
0.00/0.17	c -- clauses added:            0 learnts,         7120 normals,            0 xors
0.00/0.17	c -- vars added         80
0.00/0.17	c Parsing time:  0.01 s
0.00/0.17	c  N st     0         0        80      7120         0         0     49840         0   no data   no data  --
0.00/0.17	c asymm  cl-useful: 0/7120/7120 lits-rem:0 time: 0.64
0.66/0.17	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
0.77/0.20	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.77/0.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.77/0.20	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
0.77/0.20	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.77/0.20	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.08 s
0.77/0.20	c Finding binary XORs  T:     0.00 s  found:       0
0.77/0.20	c Finding non-binary XORs:     0.02 s (found:       0, avg size: nan)
0.77/0.20	c calculated reachability. Time: 0.00
0.77/0.20	c Calc default polars -  time:   0.00 s pos:      33 undec:       1 neg:      46
0.77/0.20	c =========================================================================================
0.77/0.20	c types(t): F = full restart, N = normal restart
0.77/0.20	c types(t): S = simplification begin/end, E = solution found
0.77/0.20	c restart types(rt): st = static, dy = dynamic
0.77/0.20	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.77/0.20	c  B st     0         0        80      7120         0         0     49840         0   no data   no data  --
1.97/0.51	c  N dy     7      8922        80      7120         0      5862     49840    148563     22.86     24.08  --
2.37/0.68	c  N dy    21     13019        80      7120         0      5741     49840    132943     23.03     24.36  --
3.17/0.89	c  N dy    27     17870        80      7120         0     10185     49840    251174     22.92     24.19  --
3.96/1.07	c  N dy    34     22403        80      7120         0      9195     49840    211557     22.86     24.12  --
4.79/1.22	c  F st    57     25000        80      7120         0     11593     49840    276951     23.04   no data  --
5.17/1.33	c  N st    61     27034        80      7120         0      7211     49840    142667     23.04   no data  --
5.56/1.45	c  S st    63     30004        80      7120         0      9933     49840    216768     23.04   no data  --
5.56/1.49	c  S st    63     30508        80      7120         0     10398     49840    229389     23.04   no data  --
5.56/1.49	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.56/1.49	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
5.56/1.49	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
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:     80 time:  0.00 s
5.96/1.50	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
9.95/2.55	c lits-rem:      1473  cl-subs:      793  v-elim:      0  v-fix:    0  time:  4.17 s
11.15/2.89	c asymm  cl-useful: 0/7120/7120 lits-rem:0 time: 1.38
11.15/2.89	c calculated reachability. Time: 0.00
11.15/2.89	c  N dy    63     30508        80      7120         0      9605     49840    204477     23.04   no data  --
12.35/3.17	c  N dy    74     35374        80      7120         0     14040     49840    323099     23.03     24.31  --
13.17/3.40	c  N dy    81     39687        80      7120         0     10798     49840    221231     22.99     24.27  --
14.75/3.75	c  N dy    82     45765        80      7120         0     16351     49840    366931     22.74     22.28  --
14.75/3.75	c  S st    82     45765        80      7120         0     16351     49840    366931     22.74     22.28  --
15.16/3.80	c  S st    82     46272        80      7120         0      8640     49840    151692     22.74   no data  --
15.16/3.80	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.16/3.80	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
15.16/3.80	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
15.16/3.81	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.16/3.81	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.16/3.81	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
15.16/3.81	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
18.35/4.65	c lits-rem:       181  cl-subs:       49  v-elim:      0  v-fix:    0  time:  3.37 s
18.35/4.65	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
18.35/4.65	c vivif2 --  cl tried     8591 cl shrink        0 lits rem          0 time: 0.00
19.54/4.93	c asymm  cl-useful: 0/7120/7120 lits-rem:0 time: 1.09
19.54/4.93	c calculated reachability. Time: 0.00
19.54/4.93	c  N dy    82     46272        80      7120         0      8591     49840    149879     22.74   no data  --
20.75/5.25	c  N dy   105     52149        80      7120         0     13993     49840    295048     22.83     24.23  --
22.37/5.65	c  N dy   127     57690        80      7120         0      9915     49840    169867     22.89     24.21  --
23.14/5.88	c  N dy   142     61767        80      7120         0     13682     49840    270343     22.91     24.15  --
24.34/6.14	c  N dy   152     66065        80      7120         0     17602     49840    374566     22.92     24.16  --
25.14/6.36	c  S st   154     69409        80      7120         0     10609     49840    173538     22.86     21.82  --
25.54/6.40	c  S st   154     69918        80      7120         0     11090     49840    186735     22.86   no data  --
25.54/6.40	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
25.54/6.40	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
25.54/6.40	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
25.54/6.41	c bin-w-bin subsume rem            0 bins  time:  0.00 s
25.54/6.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
25.54/6.41	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
25.54/6.41	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
29.13/7.34	c lits-rem:       414  cl-subs:      167  v-elim:      0  v-fix:    0  time:  3.71 s
29.13/7.34	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
29.13/7.34	c vivif2 --  cl tried    10923 cl shrink        0 lits rem          0 time: 0.01
30.33/7.69	c asymm  cl-useful: 0/7120/7120 lits-rem:0 time: 1.40
30.33/7.69	c calculated reachability. Time: 0.00
30.33/7.69	c  N dy   154     69918        80      7120         0     10923     49840    181568     22.86   no data  --
31.53/7.95	c  N dy   169     74447        80      7120         0     15097     49840    294278     22.89     26.29  --
33.13/8.35	c  N dy   190     79725        80      7120         0     19952     49840    425207     22.93     24.22  --
35.14/8.81	c  N dy   227     85394        80      7120         0     14146     49840    254479     23.04     24.64  --
35.54/8.96	c  F st   242     87500        80      7120         0     16085     49840    307103     23.07     23.39  --
37.13/9.33	c  N dy   248     92699        80      7120         0     20832     49840    437396     23.07   no data  --
39.53/9.92	c  N dy   257    100918        80      7120         0     16393     49840    297373     23.00     24.24  --
40.32/10.19	c  S st   267    104877        80      7120         0     19997     49840    394267     22.99     21.91  --
40.72/10.25	c  S st   267    105383        80      7120         0     20466     49840    407059     22.99   no data  --
40.72/10.25	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
40.72/10.25	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
40.72/10.26	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
40.72/10.27	c bin-w-bin subsume rem            0 bins  time:  0.00 s
40.72/10.27	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
40.72/10.27	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
40.72/10.27	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
47.51/12.00	c lits-rem:      2378  cl-subs:     1921  v-elim:      0  v-fix:    0  time:  6.89 s
47.91/12.00	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
47.91/12.00	c vivif2 --  cl tried    18545 cl shrink        0 lits rem          0 time: 0.02
49.10/12.39	c asymm  cl-useful: 0/5028/7120 lits-rem:0 time: 1.57
49.50/12.40	c calculated reachability. Time: 0.00
49.50/12.40	c  N dy   267    105383        80      7120         0     18545     49840    353315     22.99   no data  --
51.50/12.91	c  N dy   284    112167        80      7120         0     24759     49840    519838     22.99     26.31  --
57.51/14.48	c  N dy   291    133785        80      7120         0     18013     49840    313448     22.71     23.99  --
60.29/15.16	c  N dy   302    142414        80      7120         0     25905     49840    522528     22.68     24.49  --
63.49/15.94	c  N dy   350    151538        80      7120         0     19717     49840    345789     22.74     24.08  --
65.90/16.51	c  S st   383    158074        80      7120         0     25729     49840    508259     22.79     21.19  --
65.90/16.58	c  S st   383    158578        80      7120         0     26205     49840    521319     22.79   no data  --
65.90/16.58	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
65.90/16.58	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
65.90/16.58	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
65.90/16.60	c bin-w-bin subsume rem            0 bins  time:  0.00 s
65.90/16.60	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
65.90/16.60	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
65.90/16.60	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
75.87/19.04	c lits-rem:      2065  cl-subs:     2158  v-elim:      0  v-fix:    0  time:  9.73 s
75.87/19.04	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
75.87/19.04	c vivif2 --  cl tried    24047 cl shrink        0 lits rem          0 time: 0.02
76.67/19.27	c asymm  cl-useful: 0/1825/7120 lits-rem:0 time: 0.91
76.67/19.27	c calculated reachability. Time: 0.00
76.67/19.27	c  N dy   383    158578        80      7120         0     24047     49840    457020     22.79   no data  --
80.67/20.28	c  N dy   425    169590        80      7120         0     18673     49840    297873     22.78     24.00  --
85.07/21.31	c  N dy   495    180502        80      7120         0     28743     49840    572382     22.87     25.12  --
89.86/22.52	c  N dy   507    195199        80      7120         0     25731     49840    470360     22.76     23.96  --
95.05/23.89	c  N dy   537    207952        80      7120         0     20026     49840    308640     22.76     24.01  --
100.25/25.13	c  N dy   556    221309        80      7120         0     32151     49840    627452     22.71     25.04  --
106.63/26.75	c  N dy   606    237867        80      7120         0     29032     49840    528829     22.71     22.15  --
106.63/26.75	c  S st   606    237867        80      7120         0     29032     49840    528829     22.71     22.15  --
107.03/26.83	c  S st   606    238371        80      7120         0     29491     49840    541480     22.71   no data  --
107.03/26.83	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
107.03/26.83	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
107.03/26.84	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
107.03/26.85	c bin-w-bin subsume rem            0 bins  time:  0.00 s
107.03/26.85	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
107.03/26.85	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
107.03/26.85	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
117.83/29.57	c lits-rem:      2123  cl-subs:     2442  v-elim:      0  v-fix:    0  time: 10.87 s
117.83/29.58	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
117.83/29.58	c vivif2 --  cl tried    27049 cl shrink        0 lits rem          0 time: 0.02
118.63/29.77	c asymm  cl-useful: 0/2123/7120 lits-rem:0 time: 0.75
118.63/29.77	c calculated reachability. Time: 0.00
118.63/29.77	c  N dy   606    238371        80      7120         0     27049     49840    473961     22.71   no data  --
125.42/31.48	c  N dy   670    254411        80      7120         0     22703     49840    345837     22.74     24.02  --
132.60/33.23	c  N dy   749    270683        80      7120         0     37684     49840    749488     22.79     24.29  --
140.20/35.17	c  N dy   768    291414        80      7120         0     36400     49840    692012     22.71     23.95  --
147.39/36.96	c  F st   872    306251        80      7120         0     29070     49840    492925     22.79     22.53  --
149.40/37.48	c  N dy   878    311447        80      7120         0     33804     49840    622042     22.79   no data  --
158.60/39.76	c  N dy   954    332041        80      7120         0     30692     49840    517749     22.79     24.08  --
168.96/42.34	c  N dy  1040    352094        80      7120         0     26178     49840    379152     22.81     24.05  --
170.96/42.88	c  S st  1056    357556        80      7120         0     31171     49840    513210     22.82   no data  --
171.36/42.96	c  S st  1056    358061        80      7120         0     31639     49840    526109     22.82   no data  --
171.36/42.97	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
171.36/42.97	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
171.36/42.98	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.04
171.36/42.99	c bin-w-bin subsume rem            0 bins  time:  0.00 s
171.36/42.99	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
171.36/42.99	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
171.36/42.99	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
182.55/45.70	c lits-rem:      1446  cl-subs:     1639  v-elim:      0  v-fix:    0  time: 10.82 s
182.55/45.70	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
182.55/45.71	c vivif2 --  cl tried    30000 cl shrink        0 lits rem          0 time: 0.02
183.74/46.02	c asymm  cl-useful: 0/1669/7120 lits-rem:0 time: 1.25
183.74/46.02	c calculated reachability. Time: 0.00
183.74/46.02	c  N dy  1056    358061        80      7120         0     30000     49840    478124     22.82   no data  --
197.74/49.58	c  N dy  1158    379952        80      7120         0     26325     49840    363946     22.85     24.14  --
208.91/52.40	c  N dy  1270    399996        80      7120         0     44822     49840    866150     22.91     24.99  --
220.49/55.29	c  N dy  1368    423422        80      7120         0     41555     49840    758841     22.94     24.34  --
231.68/58.02	c  N dy  1447    443498        80      7120         0     34277     49840    546494     22.96     25.44  --
244.45/61.22	c  N dy  1489    466676        80      7120         0     28906     49840    384904     22.93     24.28  --
254.86/63.86	c  N dy  1558    486768        80      7120         0     47323     49840    880080     22.94     24.15  --
269.62/67.53	c  N dy  1627    515436        80      7120         0     45969     49840    826257     22.93     24.48  --
281.22/70.43	c  N dy  1707    535501        80      7120         0     36062     49840    554172     22.94     24.38  --
282.01/70.62	c  S st  1708    537092        80      7120         0     37530     49840    592878     22.94     21.64  --
282.41/70.71	c  S st  1708    537594        80      7120         0     38000     49840    605855     22.94   no data  --
282.41/70.72	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
282.41/70.72	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
282.41/70.73	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.05
282.41/70.75	c bin-w-bin subsume rem            0 bins  time:  0.00 s
282.41/70.75	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
282.41/70.75	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
282.41/70.75	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
294.81/73.85	c lits-rem:      1232  cl-subs:     1771  v-elim:      0  v-fix:    0  time: 12.38 s
294.81/73.85	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
294.81/73.85	c vivif2 --  cl tried    36229 cl shrink        0 lits rem          0 time: 0.03
295.59/74.06	c asymm  cl-useful: 0/1316/7120 lits-rem:0 time: 0.83
295.59/74.06	c calculated reachability. Time: 0.00
295.59/74.06	c  N dy  1708    537594        80      7120         0     36229     49840    553701     22.94   no data  --
308.00/77.14	c  N dy  1772    558100        80      7120         0     55039     49840   1056036     22.94     24.19  --
319.57/80.05	c  N dy  1867    578852        80      7120         0     44808     49840    767737     22.95     24.33  --
331.95/83.15	c  N dy  1908    598908        80      7120         0     32933     49840    432184     22.93     24.94  --
344.33/86.24	c  N dy  1949    622293        80      7120         0     54272     49840    999491     22.91     24.17  --
355.93/89.14	c  N dy  1973    642354        80      7120         0     41431     49840    642112     22.87     24.18  --
371.90/93.10	c  N dy  2084    663092        80      7120         0     60498     49840   1159459     22.90     24.13  --
383.88/96.13	c  N dy  2151    683165        80      7120         0     46860     49840    773287     22.90     25.03  --
399.06/99.94	c  N dy  2237    703244        80      7120         0     65298     49840   1272497     22.92     24.13  --
413.04/103.45	c  N dy  2318    723341        80      7120         0     50765     49840    864538     22.93     24.19  --
431.81/108.10	c  N dy  2409    744928        80      7120         0     36668     49840    468499     22.95     24.19  --
442.99/110.97	c  N dy  2424    767864        80      7120         0     57538     49840   1020612     22.92     24.16  --
462.16/115.72	c  N dy  2491    795888        80      7120         0     48427     49840    766326     22.91     24.17  --
469.77/117.65	c  S st  2529    806391        80      7120         0     58017     49840   1023239     22.91     22.06  --
470.58/117.81	c  S st  2529    806896        80      7120         0     58488     49840   1036111     22.91   no data  --
470.58/117.82	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
470.58/117.82	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
470.58/117.84	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.10
470.58/117.87	c bin-w-bin subsume rem            0 bins  time:  0.00 s
470.58/117.87	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
470.58/117.87	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
470.58/117.87	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
514.52/128.83	c lits-rem:      2346  cl-subs:     5157  v-elim:      0  v-fix:    0  time: 43.75 s
514.52/128.83	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
514.52/128.84	c vivif2 --  cl tried    53331 cl shrink        0 lits rem          0 time: 0.04
515.70/129.12	c asymm  cl-useful: 0/906/7120 lits-rem:0 time: 1.11
515.70/129.12	c calculated reachability. Time: 0.00
515.70/129.12	c  N dy  2529    806896        80      7120         0     53331     49840    894330     22.91   no data  --
531.69/133.17	c  N dy  2604    826983        80      7120         0     36268     49840    432970     22.91     25.72  --
543.66/136.16	c  N dy  2670    847171        80      7120         0     54707     49840    928175     22.91     24.20  --
561.24/140.50	c  N dy  2744    867213        80      7120         0     36586     49840    424732     22.92     24.16  --
573.62/143.65	c  N dy  2800    888273        80      7120         0     55904     49840    938376     22.91     24.15  --
593.21/148.50	c  N dy  2909    909375        80      7120         0     37806     49840    438388     22.93     24.15  --
605.18/151.57	c  N dy  2969    930191        80      7120         0     56839     49840    947759     22.93     24.16  --
622.76/155.99	c  N dy  3058    950198        80      7120         0     75203     49840   1442122     22.94     24.15  --
638.73/159.90	c  N dy  3162    971586        80      7120         0     56287     49840    924167     22.96     24.21  --
657.51/164.67	c  N dy  3212    994789        80      7120         0     77513     49840   1491286     22.95     24.22  --
669.49/167.65	c  N dy  3227   1014863        80      7120         0     56425     49840    899943     22.92     24.49  --
684.68/171.42	c  N dy  3239   1035784        80      7120         0     75283     49840   1389412     22.89     24.12  --
699.86/175.24	c  N dy  3316   1056021        80      7120         0     53782     49840    820493     22.89     24.20  --
713.43/178.66	c  F st  3402   1071875        80      7120         0     68279     49840   1213642     22.91     23.34  --
718.22/179.84	c  N dy  3408   1077076        80      7120         0     73041     49840   1344615     22.91   no data  --
733.01/183.56	c  N dy  3447   1097146        80      7120         0     50270     49840    710436     22.90     24.31  --
750.59/187.93	c  N dy  3585   1117191        80      7120         0     68682     49840   1216968     22.93     24.51  --
777.75/194.76	c  N dy  3676   1146170        80      7120         0     53094     49840    763056     22.93     24.40  --
796.12/199.36	c  N dy  3735   1166471        80      7120         0     71576     49840   1256620     22.93     24.25  --
824.48/206.43	c  N dy  3856   1191552        80      7120         0     51602     49840    713740     22.94     24.24  --
840.46/210.49	c  S st  3907   1210344        80      7120         0     68837     49840   1177340     22.94     22.12  --
841.66/210.72	c  S st  3907   1210848        80      7120         0     69301     49840   1190220     22.94   no data  --
841.66/210.72	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
841.66/210.72	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
841.66/210.76	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.16
842.06/210.80	c bin-w-bin subsume rem            0 bins  time:  0.00 s
842.06/210.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
842.06/210.80	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
842.06/210.80	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
911.97/228.39	c lits-rem:      3797  cl-subs:     5372  v-elim:      0  v-fix:    0  time: 70.25 s
911.97/228.39	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
912.37/228.40	c vivif2 --  cl tried    63929 cl shrink        0 lits rem          0 time: 0.06
913.57/228.79	c asymm  cl-useful: 0/787/7120 lits-rem:0 time: 1.53
913.57/228.79	c calculated reachability. Time: 0.00
913.57/228.79	c  N dy  3907   1210848        80      7120         0     63929     49840   1039467     22.94   no data  --
937.93/234.81	c  N dy  3983   1230855        80      7120         0     82234     49840   1533753     22.95     25.72  --
958.32/239.92	c  N dy  4059   1250873        80      7120         0     56845     49840    839743     22.95     24.43  --
978.67/245.03	c  N dy  4163   1271923        80      7120         0     76183     49840   1362637     22.97     24.22  --
1015.44/254.26	c  N dy  4244   1309474        80      7120         0     65621     49840   1045829     22.95     24.17  --
1040.19/260.48	c  N dy  4343   1329543        80      7120         0     83964     49840   1545747     22.96     24.59  --
1061.36/265.77	c  N dy  4421   1349595        80      7120         0     56760     49840    808933     22.97     25.38  --
1085.75/271.88	c  N dy  4525   1371768        80      7120         0     77137     49840   1362874     22.98     24.21  --
1112.12/278.47	c  N dy  4565   1394534        80      7120         0     51265     49840    641736     22.97     24.19  --
1150.84/288.13	c  N dy  4622   1442003        80      7120         0     94250     49840   1769615     22.92     24.13  --
1168.42/292.52	c  N dy  4728   1462914        80      7120         0     66116     49840   1035869     22.94     24.21  --
1203.98/301.45	c  N dy  4796   1500871        80      7120         0     52265     49840    634838     22.91     24.26  --
1221.96/305.99	c  N dy  4915   1520911        80      7120         0     70693     49840   1138396     22.93     25.92  --
1245.91/311.93	c  N dy  5021   1540918        80      7120         0     89075     49840   1640498     22.94     26.07  --
1281.06/320.77	c  N dy  5110   1579543        80      7120         0     74739     49840   1214425     22.93     24.42  --
1303.04/326.28	c  N dy  5178   1599630        80      7120         0     93122     49840   1713999     22.94     26.51  --
1337.79/334.92	c  N dy  5202   1640351        80      7120         0     79804     49840   1318387     22.89     24.13  --
1361.76/340.98	c  N dy  5305   1660404        80      7120         0     98204     49840   1817487     22.90     24.83  --
1378.54/345.18	c  N dy  5327   1680665        80      7120         0     65677     49840    950809     22.89     24.16  --
1400.51/350.62	c  N dy  5409   1700694        80      7120         0     83928     49840   1442836     22.90     24.15  --
1413.69/353.98	c  S st  5439   1710848        80      7120         0     93149     49840   1688907     22.90     22.62  --
1414.90/354.27	c  S st  5439   1711351        80      7120         0     93621     49840   1702134     22.90   no data  --
1414.90/354.27	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1414.90/354.27	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1415.31/354.32	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.19
1415.31/354.37	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1415.31/354.37	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1415.31/354.37	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
1415.31/354.37	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1558.70/390.27	c lits-rem:      5711  cl-subs:     9293  v-elim:      0  v-fix:    0  time: 143.37 s
1558.70/390.27	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
1558.70/390.29	c vivif2 --  cl tried    84328 cl shrink        0 lits rem          0 time: 0.08
1560.31/390.69	c asymm  cl-useful: 0/838/7120 lits-rem:0 time: 1.59
1560.31/390.69	c calculated reachability. Time: 0.00
1560.31/390.69	c  N dy  5439   1711351        80      7120         0     84328     49840   1446099     22.90   no data  --
1592.25/398.66	c  N dy  5510   1731423        80      7120         0    102668     49840   1937646     22.90     24.71  --
1613.42/403.95	c  N dy  5578   1751473        80      7120         0     69511     49840   1046882     22.90     24.22  --
1638.59/410.28	c  N dy  5628   1774070        80      7120         0     90136     49840   1599618     22.90     24.11  --
1670.16/418.12	c  N dy  5723   1794092        80      7120         0     55783     49840    658856     22.91     24.19  --
1699.70/425.52	c  N dy  5750   1821881        80      7120         0     80906     49840   1319842     22.89     24.11  --
1737.25/434.97	c  N dy  5894   1841938        80      7120         0     99344     49840   1827282     22.91     24.15  --
1767.21/442.44	c  N dy  5943   1862019        80      7120         0     63886     49840    851858     22.90     25.77  --
1802.77/451.31	c  N dy  5996   1891497        80      7120         0     90596     49840   1561795     22.89     24.12  --
1833.92/459.18	c  N dy  6058   1911511        80      7120         0    108851     49840   2049875     22.88     25.27  --
1854.72/464.35	c  N dy  6124   1931978        80      7120         0     73021     49840   1092202     22.88     24.10  --
1882.65/471.31	c  N dy  6206   1952427        80      7120         0     91726     49840   1599485     22.89     24.24  --
1923.80/481.63	c  N dy  6334   1975330        80      7120         0     57114     49840    643722     22.90     24.15  --
1943.78/486.67	c  N dy  6426   1995425        80      7120         0     75483     49840   1138516     22.90     25.42  --
1969.34/493.00	c  N dy  6525   2016018        80      7120         0     94366     49840   1652446     22.91     24.16  --
2000.89/500.90	c  N dy  6574   2040474        80      7120         0     59982     49840    703368     22.90     24.20  --
2021.68/506.14	c  N dy  6644   2063493        80      7120         0     80912     49840   1264204     22.90     24.20  --
2048.43/512.81	c  N dy  6735   2084146        80      7120         0     99831     49840   1778491     22.90     24.14  --
2079.99/520.79	c  N dy  6841   2104438        80      7120         0     60908     49840    715618     22.91     24.13  --
2103.96/526.79	c  N dy  6966   2124599        80      7120         0     79379     49840   1221277     22.93     24.18  --
2134.72/534.49	c  N dy  7099   2146565        80      7120         0     99587     49840   1776165     22.94     24.32  --
2168.67/542.96	c  N dy  7203   2166905        80      7120         0     59617     49840    662112     22.95     24.24  --
2188.66/547.96	c  N dy  7308   2187003        80      7120         0     78010     49840   1162553     22.96     26.93  --
2215.80/554.78	c  N dy  7394   2208765        80      7120         0     97939     49840   1703172     22.96     24.25  --
2219.79/555.71	c  S st  7405   2211352        80      7120         0    100293     49840   1766287     22.96     21.75  --
2220.99/556.00	c  S st  7405   2211855        80      7120         0    100763     49840   1779212     22.96   no data  --
2220.99/556.00	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2220.99/556.00	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2220.99/556.05	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.20
2221.39/556.11	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2221.39/556.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2221.39/556.11	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
2221.39/556.11	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2685.95/672.48	c lits-rem:      6109  cl-subs:     8232  v-elim:      0  v-fix:    0  time: 464.72 s
2685.95/672.48	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
2686.35/672.50	c vivif2 --  cl tried    92531 cl shrink        0 lits rem          0 time: 0.08
2687.95/672.91	c asymm  cl-useful: 0/630/7120 lits-rem:0 time: 1.65
2687.95/672.92	c calculated reachability. Time: 0.00
2687.95/672.92	c  N dy  7405   2211855        80      7120         0     92531     49840   1540623     22.96   no data  --
2720.71/681.11	c  N dy  7462   2232035        80      7120         0    110926     49840   2033100     22.96     24.37  --
2751.08/688.71	c  N dy  7491   2257645        80      7120         0     75116     49840   1061476     22.95     24.19  --
2780.24/696.03	c  N dy  7597   2277731        80      7120         0     93479     49840   1562867     22.95     25.58  --
2812.20/704.09	c  N dy  7620   2300186        80      7120         0    113811     49840   2099882     22.95     24.19  --
2839.35/710.89	c  N dy  7691   2320201        80      7120         0     72080     49840    973729     22.95     25.77  --
2870.51/718.66	c  N dy  7797   2340915        80      7120         0     91178     49840   1495305     22.95     24.23  --
2907.66/727.91	c  N dy  7881   2360987        80      7120         0    109527     49840   1995010     22.96     24.26  --
2945.20/737.36	c  N dy  7941   2383166        80      7120         0     68565     49840    855474     22.95     24.21  --
2972.77/744.26	c  N dy  8009   2405977        80      7120         0     89361     49840   1414384     22.95     24.25  --
3007.92/753.03	c  N dy  8129   2426663        80      7120         0    108313     49840   1933070     22.96     24.38  --
3042.27/761.67	c  N dy  8162   2448130        80      7120         0     65814     49840    771822     22.96     24.39  --
3067.83/768.02	c  N dy  8244   2468336        80      7120         0     84231     49840   1273008     22.96     24.22  --
3097.81/775.52	c  N dy  8320   2493127        80      7120         0    106817     49840   1884316     22.96     24.23  --
3140.13/786.19	c  N dy  8377   2530415        80      7120         0     77759     49840   1070063     22.95     24.28  --
3165.31/792.45	c  N dy  8477   2550440        80      7120         0     96086     49840   1567541     22.95     25.94  --
3209.65/803.57	c  N dy  8557   2582551        80      7120         0    125390     49840   2353520     22.95     24.16  --
3236.43/810.23	c  N dy  8678   2604187        80      7120         0     81391     49840   1170903     22.95     24.18  --
3259.19/815.90	c  N dy  8721   2624274        80      7120         0     99716     49840   1662506     22.95     25.34  --
3285.95/822.68	c  N dy  8770   2644605        80      7120         0    118259     49840   2161532     22.95     24.32  --
3321.92/831.66	c  N dy  8821   2670015        80      7120         0     76636     49840   1015457     22.95     24.18  --
3351.46/839.06	c  N dy  8887   2692243        80      7120         0     96944     49840   1561877     22.95     24.42  --
3379.83/846.19	c  S st  8964   2711856        80      7120         0    114838     49840   2044318     22.95     21.89  --
3381.43/846.54	c  S st  8964   2712359        80      7120         0    115308     49840   2057460     22.95   no data  --
3381.43/846.54	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3381.43/846.54	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3381.83/846.61	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.24
3381.83/846.66	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3381.83/846.66	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3381.83/846.66	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
3381.83/846.66	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4044.94/1012.67	c lits-rem:      5073  cl-subs:    11002  v-elim:      0  v-fix:    0  time: 662.97 s
4044.94/1012.67	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
4045.34/1012.70	c vivif2 --  cl tried   104306 cl shrink        0 lits rem          0 time: 0.10
4046.95/1013.19	c asymm  cl-useful: 0/556/7120 lits-rem:0 time: 1.96
4046.95/1013.19	c calculated reachability. Time: 0.00
4046.95/1013.19	c  N dy  8964   2712359        80      7120         0    104306     49840   1755328     22.95   no data  --
4090.89/1024.17	c  N dy  9046   2732622        80      7120         0    122855     49840   2254886     22.95     24.29  --
4126.46/1033.03	c  N dy  9153   2752623        80      7120         0     75917     49840    997841     22.95     26.17  --
4153.99/1039.92	c  N dy  9184   2773609        80      7120         0     94869     49840   1500179     22.95     24.17  --
4193.14/1049.72	c  N dy  9253   2794401        80      7120         0    113793     49840   2011238     22.95     24.16  --
4242.27/1062.06	c  N dy  9364   2814478        80      7120         0    132257     49840   2516799     22.96     24.22  --
4272.23/1069.52	c  N dy  9436   2834566        80      7120         0     84255     49840   1196756     22.96     27.52  --
4318.17/1081.00	c  N dy  9571   2857057        80      7120         0    104836     49840   1760747     22.97     24.29  --
4367.71/1093.44	c  N dy  9667   2877071        80      7120         0    123103     49840   2257285     22.97     24.25  --
4412.43/1104.62	c  N dy  9719   2898479        80      7120         0     75165     49840    934752     22.97     24.21  --
4444.00/1112.52	c  N dy  9767   2918752        80      7120         0     93652     49840   1426301     22.97     24.27  --
4557.35/1141.13	c  N dy  9849   2983711        80      7120         0     84130     49840   1149399     22.94     24.19  --
4597.70/1151.28	c  N dy  9979   3003769        80      7120         0    102494     49840   1653484     22.95     24.19  --
4640.43/1161.90	c  N dy 10039   3023826        80      7120         0    120774     49840   2144872     22.95     24.46  --
4683.60/1172.73	c  N dy 10071   3045037        80      7120         0     70952     49840    791162     22.94     24.18  --
4714.35/1180.45	c  N dy 10169   3065041        80      7120         0     89268     49840   1289798     22.95     24.26  --
4752.68/1190.09	c  N dy 10268   3085042        80      7120         0    107638     49840   1792533     22.95     25.34  --
4795.42/1200.78	c  N dy 10321   3107439        80      7120         0    127976     49840   2338333     22.95     24.27  --

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

running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 8.04 7.77 7.58 6/180 2032
/proc/meminfo: memFree=25297500/32951124 swapFree=67111524/67111528
[pid=2032] ppid=2030 vsize=20420 CPUtime=0 cores=0,2,4,6
/proc/2032/stat : 2032 (strangenight1-m) R 2030 2032 1454 0 -1 4194304 233 0 0 0 0 0 0 0 25 0 1 0 502454861 20910080 185 33554432000 4194304 4650419 140737145096224 18446744073709551615 228090488296 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/2032/statm: 5105 186 153 112 0 57 0
[pid=2032/tid=2033] ppid=2030 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/2032/task/2033/stat : 2033 (strangenight1-m) R 2030 2032 1454 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 502454861 52465664 357 33554432000 4194304 4650419 140737145096224 18446744073709551615 47416247646130 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2032/tid=2034] ppid=2030 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/2032/task/2034/stat : 2034 (strangenight1-m) R 2030 2032 1454 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 502454861 52465664 357 33554432000 4194304 4650419 140737145096224 18446744073709551615 228090498134 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2032/tid=2035] ppid=2030 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/2032/task/2035/stat : 2035 (strangenight1-m) R 2030 2032 1454 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 502454861 52465664 357 33554432000 4194304 4650419 140737145096224 18446744073709551615 228090498134 0 0 4096 2 0 0 0 -1 4 0 0 0

[startup+0.172005 s]
/proc/loadavg: 8.04 7.77 7.58 6/180 2032
/proc/meminfo: memFree=25297500/32951124 swapFree=67111524/67111528
[pid=2032] ppid=2030 vsize=300588 CPUtime=0.66 cores=0,2,4,6
/proc/2032/stat : 2032 (strangenight1-m) R 2030 2032 1454 0 -1 4202496 2074 0 0 0 66 0 0 0 25 0 4 0 502454861 307802112 1691 33554432000 4194304 4650419 140737145096224 18446744073709551615 228095494503 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/2032/statm: 75147 1696 376 112 0 70112 0
[pid=2032/tid=2033] ppid=2030 vsize=300588 CPUtime=0.16 cores=0,2,4,6
/proc/2032/task/2033/stat : 2033 (strangenight1-m) R 2030 2032 1454 0 -1 4202560 357 0 0 0 16 0 0 0 18 0 4 0 502454861 307802112 1701 33554432000 4194304 4650419 140737145096224 18446744073709551615 4516622 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2032/tid=2034] ppid=2030 vsize=300588 CPUtime=0.16 cores=0,2,4,6
/proc/2032/task/2034/stat : 2034 (strangenight1-m) R 2030 2032 1454 0 -1 4202560 367 0 0 0 16 0 0 0 18 0 4 0 502454861 307802112 1705 33554432000 4194304 4650419 140737145096224 18446744073709551615 4427922 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2032/tid=2035] ppid=2030 vsize=300588 CPUtime=0.16 cores=0,2,4,6
/proc/2032/task/2035/stat : 2035 (strangenight1-m) R 2030 2032 1454 0 -1 4202560 676 0 0 0 16 0 0 0 18 0 4 0 502454861 307802112 1709 33554432000 4194304 4650419 140737145096224 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.66
Current children cumulated vsize (KiB) 300588

[startup+0.200756 s]
/proc/loadavg: 8.04 7.77 7.58 6/180 2032
/proc/meminfo: memFree=25297500/32951124 swapFree=67111524/67111528
[pid=2032] ppid=2030 vsize=285916 CPUtime=0.77 cores=0,2,4,6
/proc/2032/stat : 2032 (strangenight1-m) R 2030 2032 1454 0 -1 4202496 3559 0 0 0 77 0 0 0 25 0 4 0 502454861 292777984 2972 33554432000 4194304 4650419 140737145096224 18446744073709551615 4384691 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/2032/statm: 71479 2972 390 112 0 66444 0
[pid=2032/tid=2033] ppid=2030 vsize=285916 CPUtime=0.19 cores=0,2,4,6
/proc/2032/task/2033/stat : 2033 (strangenight1-m) R 2030 2032 1454 0 -1 4202560 815 0 0 0 19 0 0 0 18 0 4 0 502454861 292777984 2972 33554432000 4194304 4650419 140737145096224 18446744073709551615 4385355 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2032/tid=2034] ppid=2030 vsize=285916 CPUtime=0.19 cores=0,2,4,6
/proc/2032/task/2034/stat : 2034 (strangenight1-m) R 2030 2032 1454 0 -1 4202560 816 0 0 0 19 0 0 0 18 0 4 0 502454861 292777984 2972 33554432000 4194304 4650419 140737145096224 18446744073709551615 4315094 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2032/tid=2035] ppid=2030 vsize=285916 CPUtime=0.19 cores=0,2,4,6
/proc/2032/task/2035/stat : 2035 (strangenight1-m) R 2030 2032 1454 0 -1 4202560 700 0 0 0 19 0 0 0 18 0 4 0 502454861 292777984 2972 33554432000 4194304 4650419 140737145096224 18446744073709551615 4366933 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.77
Current children cumulated vsize (KiB) 285916

[startup+0.300735 s]
/proc/loadavg: 8.04 7.77 7.58 6/180 2032
/proc/meminfo: memFree=25297500/32951124 swapFree=67111524/67111528
[pid=2032] ppid=2030 vsize=285916 CPUtime=1.17 cores=0,2,4,6
/proc/2032/stat : 2032 (strangenight1-m) R 2030 2032 1454 0 -1 4202496 3919 0 0 0 117 0 0 0 25 0 4 0 502454861 292777984 3332 33554432000 4194304 4650419 140737145096224 18446744073709551615 4366828 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/2032/statm: 71479 3332 390 112 0 66444 0
[pid=2032/tid=2033] ppid=2030 vsize=285916 CPUtime=0.29 cores=0,2,4,6
/proc/2032/task/2033/stat : 2033 (strangenight1-m) R 2030 2032 1454 0 -1 4202560 911 0 0 0 29 0 0 0 18 0 4 0 502454861 292777984 3332 33554432000 4194304 4650419 140737145096224 18446744073709551615 4365333 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2032/tid=2034] ppid=2030 vsize=285916 CPUtime=0.29 cores=0,2,4,6
/proc/2032/task/2034/stat : 2034 (strangenight1-m) R 2030 2032 1454 0 -1 4202560 912 0 0 0 29 0 0 0 18 0 4 0 502454861 292777984 3333 33554432000 4194304 4650419 140737145096224 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2032/tid=2035] ppid=2030 vsize=285916 CPUtime=0.29 cores=0,2,4,6
/proc/2032/task/2035/stat : 2035 (strangenight1-m) R 2030 2032 1454 0 -1 4202560 776 0 0 0 29 0 0 0 18 0 4 0 502454861 292777984 3333 33554432000 4194304 4650419 140737145096224 18446744073709551615 4366879 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 285916

[startup+0.700662 s]
/proc/loadavg: 8.04 7.77 7.58 6/180 2032
/proc/meminfo: memFree=25297500/32951124 swapFree=67111524/67111528
[pid=2032] ppid=2030 vsize=287424 CPUtime=2.77 cores=0,2,4,6
/proc/2032/stat : 2032 (strangenight1-m) R 2030 2032 1454 0 -1 4202496 6314 0 0 0 277 0 0 0 25 0 4 0 502454861 294322176 3923 33554432000 4194304 4650419 140737145096224 18446744073709551615 4364751 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/2032/statm: 71856 3923 390 112 0 66821 0
[pid=2032/tid=2033] ppid=2030 vsize=287424 CPUtime=0.69 cores=0,2,4,6
/proc/2032/task/2033/stat : 2033 (strangenight1-m) R 2030 2032 1454 0 -1 4202560 1552 0 0 0 69 0 0 0 18 0 4 0 502454861 294322176 3923 33554432000 4194304 4650419 140737145096224 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2032/tid=2034] ppid=2030 vsize=287424 CPUtime=0.69 cores=0,2,4,6
/proc/2032/task/2034/stat : 2034 (strangenight1-m) R 2030 2032 1454 0 -1 4202560 1510 0 0 0 69 0 0 0 18 0 4 0 502454861 294322176 3923 33554432000 4194304 4650419 140737145096224 18446744073709551615 4365242 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2032/tid=2035] ppid=2030 vsize=287424 CPUtime=0.69 cores=0,2,4,6
/proc/2032/task/2035/stat : 2035 (strangenight1-m) R 2030 2032 1454 0 -1 4202560 1279 0 0 0 69 0 0 0 18 0 4 0 502454861 294322176 3923 33554432000 4194304 4650419 140737145096224 18446744073709551615 4328235 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 287424

[startup+1.50051 s]
/proc/loadavg: 8.04 7.77 7.58 9/184 2036
/proc/meminfo: memFree=25279736/32951124 swapFree=67111524/67111528
[pid=2032] ppid=2030 vsize=288712 CPUtime=5.96 cores=0,2,4,6
/proc/2032/stat : 2032 (strangenight1-m) R 2030 2032 1454 0 -1 4202496 10590 0 0 0 595 1 0 0 25 0 4 0 502454861 295641088 5139 33554432000 4194304 4650419 140737145096224 18446744073709551615 228095116152 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/2032/statm: 72178 5139 392 112 0 67143 0
[pid=2032/tid=2033] ppid=2030 vsize=288712 CPUtime=1.49 cores=0,2,4,6
/proc/2032/task/2033/stat : 2033 (strangenight1-m) R 2030 2032 1454 0 -1 4202560 2517 0 0 0 149 0 0 0 20 0 4 0 502454861 295641088 5139 33554432000 4194304 4650419 140737145096224 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2032/tid=2034] ppid=2030 vsize=288712 CPUtime=1.49 cores=0,2,4,6
/proc/2032/task/2034/stat : 2034 (strangenight1-m) R 2030 2032 1454 0 -1 4202560 2496 0 0 0 149 0 0 0 20 0 4 0 502454861 295641088 5139 33554432000 4194304 4650419 140737145096224 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2032/tid=2035] ppid=2030 vsize=288712 CPUtime=1.49 cores=0,2,4,6
/proc/2032/task/2035/stat : 2035 (strangenight1-m) R 2030 2032 1454 0 -1 4202560 2267 0 0 0 149 0 0 0 20 0 4 0 502454861 295641088 5139 33554432000 4194304 4650419 140737145096224 18446744073709551615 4366835 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 288712

[startup+3.10022 s]
/proc/loadavg: 8.03 7.77 7.58 9/184 2036
/proc/meminfo: memFree=25265228/32951124 swapFree=67111524/67111528
[pid=2032] ppid=2030 vsize=298404 CPUtime=12.35 cores=0,2,4,6
/proc/2032/stat : 2032 (strangenight1-m) R 2030 2032 1454 0 -1 4202496 19500 0 0 0 1233 2 0 0 25 0 4 0 502454861 305565696 11636 33554432000 4194304 4650419 140737145096224 18446744073709551615 4364751 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/2032/statm: 74601 11636 392 112 0 69566 0
[pid=2032/tid=2033] ppid=2030 vsize=298404 CPUtime=3.08 cores=0,2,4,6
/proc/2032/task/2033/stat : 2033 (strangenight1-m) R 2030 2032 1454 0 -1 4202560 4168 0 0 0 308 0 0 0 25 0 4 0 502454861 305565696 11636 33554432000 4194304 4650419 140737145096224 18446744073709551615 4371088 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2032/tid=2034] ppid=2030 vsize=298404 CPUtime=3.08 cores=0,2,4,6
/proc/2032/task/2034/stat : 2034 (strangenight1-m) R 2030 2032 1454 0 -1 4202560 5291 0 0 0 308 0 0 0 25 0 4 0 502454861 305565696 11636 33554432000 4194304 4650419 140737145096224 18446744073709551615 4438399 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2032/tid=2035] ppid=2030 vsize=298404 CPUtime=3.08 cores=0,2,4,6
/proc/2032/task/2035/stat : 2035 (strangenight1-m) R 2030 2032 1454 0 -1 4202560 5438 0 0 0 308 0 0 0 25 0 4 0 502454861 305565696 11636 33554432000 4194304 4650419 140737145096224 18446744073709551615 4370618 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 298404

[startup+6.30063 s]
/proc/loadavg: 8.03 7.77 7.58 9/184 2036
/proc/meminfo: memFree=25240680/32951124 swapFree=67111524/67111528
[pid=2032] ppid=2030 vsize=299184 CPUtime=25.14 cores=0,2,4,6
/proc/2032/stat : 2032 (strangenight1-m) R 2030 2032 1454 0 -1 4202496 28415 0 0 0 2510 4 0 0 25 0 4 0 502454861 306364416 15004 33554432000 4194304 4650419 140737145096224 18446744073709551615 4365346 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/2032/statm: 74796 15004 392 112 0 69761 0
[pid=2032/tid=2033] ppid=2030 vsize=299184 CPUtime=6.28 cores=0,2,4,6
/proc/2032/task/2033/stat : 2033 (strangenight1-m) R 2030 2032 1454 0 -1 4202560 7328 0 0 0 628 0 0 0 25 0 4 0 502454861 306364416 15004 33554432000 4194304 4650419 140737145096224 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2032/tid=2034] ppid=2030 vsize=299184 CPUtime=6.29 cores=0,2,4,6
/proc/2032/task/2034/stat : 2034 (strangenight1-m) R 2030 2032 1454 0 -1 4202560 7014 0 0 0 628 1 0 0 25 0 4 0 502454861 306364416 15004 33554432000 4194304 4650419 140737145096224 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2032/tid=2035] ppid=2030 vsize=299184 CPUtime=6.29 cores=0,2,4,6
/proc/2032/task/2035/stat : 2035 (strangenight1-m) R 2030 2032 1454 0 -1 4202560 7564 0 0 0 628 1 0 0 25 0 4 0 502454861 306364416 15004 33554432000 4194304 4650419 140737145096224 18446744073709551615 4365237 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 299184

[startup+12.7004 s]
/proc/loadavg: 8.03 7.78 7.58 9/184 2036
/proc/meminfo: memFree=25204640/32951124 swapFree=67111524/67111528
[pid=2032] ppid=2030 vsize=299640 CPUtime=50.7 cores=0,2,4,6
/proc/2032/stat : 2032 (strangenight1-m) R 2030 2032 1454 0 -1 4202496 41057 0 0 0 5063 7 0 0 25 0 4 0 502454861 306831360 20435 33554432000 4194304 4650419 140737145096224 18446744073709551615 4366923 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/2032/statm: 74910 20435 392 112 0 69875 0
[pid=2032/tid=2033] ppid=2030 vsize=299640 CPUtime=12.68 cores=0,2,4,6
/proc/2032/task/2033/stat : 2033 (strangenight1-m) R 2030 2032 1454 0 -1 4202560 10206 0 0 0 1267 1 0 0 25 0 4 0 502454861 306831360 20435 33554432000 4194304 4650419 140737145096224 18446744073709551615 4476288 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2032/tid=2034] ppid=2030 vsize=299640 CPUtime=12.68 cores=0,2,4,6
/proc/2032/task/2034/stat : 2034 (strangenight1-m) R 2030 2032 1454 0 -1 4202560 9473 0 0 0 1267 1 0 0 25 0 4 0 502454861 306831360 20435 33554432000 4194304 4650419 140737145096224 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2032/tid=2035] ppid=2030 vsize=299640 CPUtime=12.68 cores=0,2,4,6
/proc/2032/task/2035/stat : 2035 (strangenight1-m) R 2030 2032 1454 0 -1 4202560 12133 0 0 0 1267 1 0 0 25 0 4 0 502454861 306831360 20435 33554432000 4194304 4650419 140737145096224 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 50.7
Current children cumulated vsize (KiB) 299640

[startup+25.5011 s]
/proc/loadavg: 8.02 7.78 7.59 9/184 2037
/proc/meminfo: memFree=25175500/32951124 swapFree=67111524/67111528
[pid=2032] ppid=2030 vsize=320160 CPUtime=101.84 cores=0,2,4,6
/proc/2032/stat : 2032 (strangenight1-m) R 2030 2032 1454 0 -1 4202496 62139 0 0 0 10172 12 0 0 25 0 4 0 502454861 327843840 28330 33554432000 4194304 4650419 140737145096224 18446744073709551615 4364736 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/2032/statm: 80040 28330 392 112 0 75005 0
[pid=2032/tid=2033] ppid=2030 vsize=320160 CPUtime=25.49 cores=0,2,4,6
/proc/2032/task/2033/stat : 2033 (strangenight1-m) R 2030 2032 1454 0 -1 4202560 16421 0 0 0 2546 3 0 0 25 0 4 0 502454861 327843840 28330 33554432000 4194304 4650419 140737145096224 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2032/tid=2034] ppid=2030 vsize=320160 CPUtime=25.48 cores=0,2,4,6
/proc/2032/task/2034/stat : 2034 (strangenight1-m) R 2030 2032 1454 0 -1 4202560 13847 0 0 0 2546 2 0 0 25 0 4 0 502454861 327843840 28330 33554432000 4194304 4650419 140737145096224 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2032/tid=2035] ppid=2030 vsize=320160 CPUtime=25.49 cores=0,2,4,6
/proc/2032/task/2035/stat : 2035 (strangenight1-m) R 2030 2032 1454 0 -1 4202560 17859 0 0 0 2546 3 0 0 25 0 4 0 502454861 327843840 28330 33554432000 4194304 4650419 140737145096224 18446744073709551615 4366841 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 101.84
Current children cumulated vsize (KiB) 320160

[startup+51.1003 s]
/proc/loadavg: 8.01 7.80 7.60 9/184 2037
/proc/meminfo: memFree=25166200/32951124 swapFree=67111524/67111528
[pid=2032] ppid=2030 vsize=311420 CPUtime=204.11 cores=0,2,4,6
/proc/2032/stat : 2032 (strangenight1-m) R 2030 2032 1454 0 -1 4202496 92513 0 0 0 20391 20 0 0 25 0 4 0 502454861 318894080 31210 33554432000 4194304 4650419 140737145096224 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/2032/statm: 77855 31210 392 112 0 72820 0
[pid=2032/tid=2033] ppid=2030 vsize=311420 CPUtime=51.09 cores=0,2,4,6
/proc/2032/task/2033/stat : 2033 (strangenight1-m) R 2030 2032 1454 0 -1 4202560 25201 0 0 0 5104 5 0 0 25 0 4 0 502454861 318894080 31210 33554432000 4194304 4650419 140737145096224 18446744073709551615 4476432 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2032/tid=2034] ppid=2030 vsize=311420 CPUtime=51.08 cores=0,2,4,6
/proc/2032/task/2034/stat : 2034 (strangenight1-m) R 2030 2032 1454 0 -1 4202560 20502 0 0 0 5104 4 0 0 25 0 4 0 502454861 318894080 31210 33554432000 4194304 4650419 140737145096224 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2032/tid=2035] ppid=2030 vsize=311420 CPUtime=51.09 cores=0,2,4,6
/proc/2032/task/2035/stat : 2035 (strangenight1-m) R 2030 2032 1454 0 -1 4202560 27121 0 0 0 5103 6 0 0 25 0 4 0 502454861 318894080 31210 33554432000 4194304 4650419 140737145096224 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 204.11
Current children cumulated vsize (KiB) 311420

[startup+102.301 s]
/proc/loadavg: 8.06 7.85 7.62 9/184 2039
/proc/meminfo: memFree=25145660/32951124 swapFree=67111524/67111528
[pid=2032] ppid=2030 vsize=308336 CPUtime=408.65 cores=0,2,4,6
/proc/2032/stat : 2032 (strangenight1-m) R 2030 2032 1454 0 -1 4202496 143136 0 0 0 40828 37 0 0 25 0 4 0 502454861 315736064 36285 33554432000 4194304 4650419 140737145096224 18446744073709551615 4364788 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/2032/statm: 77084 36285 392 112 0 72049 0
[pid=2032/tid=2033] ppid=2030 vsize=308336 CPUtime=102.3 cores=0,2,4,6
/proc/2032/task/2033/stat : 2033 (strangenight1-m) R 2030 2032 1454 0 -1 4202560 36475 0 0 0 10221 9 0 0 25 0 4 0 502454861 315736064 36286 33554432000 4194304 4650419 140737145096224 18446744073709551615 4439103 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2032/tid=2034] ppid=2030 vsize=308336 CPUtime=102.28 cores=0,2,4,6
/proc/2032/task/2034/stat : 2034 (strangenight1-m) R 2030 2032 1454 0 -1 4202560 34300 0 0 0 10219 9 0 0 25 0 4 0 502454861 315736064 36286 33554432000 4194304 4650419 140737145096224 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2032/tid=2035] ppid=2030 vsize=308336 CPUtime=102.3 cores=0,2,4,6
/proc/2032/task/2035/stat : 2035 (strangenight1-m) R 2030 2032 1454 0 -1 4202560 43093 0 0 0 10219 11 0 0 25 0 4 0 502454861 315736064 36286 33554432000 4194304 4650419 140737145096224 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 408.65
Current children cumulated vsize (KiB) 308336

[startup+162.301 s]

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

[pid=2032] ppid=2030 vsize=510876 CPUtime=2565.73 cores=0,2,4,6
/proc/2032/stat : 2032 (strangenight1-m) R 2030 2032 1454 0 -1 4202496 385917 0 0 0 256443 130 0 0 25 0 4 0 502454861 523137024 83481 33554432000 4194304 4650419 140737145096224 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/2032/statm: 127719 83481 392 112 0 122684 0
[pid=2032/tid=2033] ppid=2030 vsize=510876 CPUtime=642.3 cores=0,2,4,6
/proc/2032/task/2033/stat : 2033 (strangenight1-m) R 2030 2032 1454 0 -1 4202560 103284 0 0 0 64198 32 0 0 25 0 4 0 502454861 523137024 83481 33554432000 4194304 4650419 140737145096224 18446744073709551615 4433081 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2032/tid=2034] ppid=2030 vsize=510876 CPUtime=642.24 cores=0,2,4,6
/proc/2032/task/2034/stat : 2034 (strangenight1-m) R 2030 2032 1454 0 -1 4202560 79156 0 0 0 64198 26 0 0 25 0 4 0 502454861 523137024 83481 33554432000 4194304 4650419 140737145096224 18446744073709551615 4366896 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2032/tid=2035] ppid=2030 vsize=510876 CPUtime=642.3 cores=0,2,4,6
/proc/2032/task/2035/stat : 2035 (strangenight1-m) R 2030 2032 1454 0 -1 4202560 123836 0 0 0 64188 42 0 0 25 0 4 0 502454861 523137024 83481 33554432000 4194304 4650419 140737145096224 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2565.73
Current children cumulated vsize (KiB) 510876

[startup+702.301 s]
/proc/loadavg: 8.21 8.10 7.85 9/184 2086
/proc/meminfo: memFree=25170192/32951124 swapFree=67111524/67111528
[pid=2032] ppid=2030 vsize=499164 CPUtime=2805.4 cores=0,2,4,6
/proc/2032/stat : 2032 (strangenight1-m) R 2030 2032 1454 0 -1 4202496 395202 0 0 0 280406 134 0 0 25 0 4 0 502454861 511143936 84210 33554432000 4194304 4650419 140737145096224 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/2032/statm: 124791 84210 392 112 0 119756 0
[pid=2032/tid=2033] ppid=2030 vsize=499164 CPUtime=702.31 cores=0,2,4,6
/proc/2032/task/2033/stat : 2033 (strangenight1-m) R 2030 2032 1454 0 -1 4202560 103284 0 0 0 70199 32 0 0 25 0 4 0 502454861 511143936 84210 33554432000 4194304 4650419 140737145096224 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2032/tid=2034] ppid=2030 vsize=499164 CPUtime=702.23 cores=0,2,4,6
/proc/2032/task/2034/stat : 2034 (strangenight1-m) R 2030 2032 1454 0 -1 4202560 79614 0 0 0 70197 26 0 0 25 0 4 0 502454861 511143936 84210 33554432000 4194304 4650419 140737145096224 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2032/tid=2035] ppid=2030 vsize=499164 CPUtime=702.31 cores=0,2,4,6
/proc/2032/task/2035/stat : 2035 (strangenight1-m) R 2030 2032 1454 0 -1 4202560 129622 0 0 0 70186 45 0 0 25 0 4 0 502454861 511143936 84210 33554432000 4194304 4650419 140737145096224 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2805.4
Current children cumulated vsize (KiB) 499164

[startup+762.301 s]
/proc/loadavg: 8.20 8.11 7.86 9/184 2087
/proc/meminfo: memFree=25139648/32951124 swapFree=67111524/67111528
[pid=2032] ppid=2030 vsize=499776 CPUtime=3045.08 cores=0,2,4,6
/proc/2032/stat : 2032 (strangenight1-m) R 2030 2032 1454 0 -1 4202496 406964 0 0 0 304368 140 0 0 25 0 4 0 502454861 511770624 83477 33554432000 4194304 4650419 140737145096224 18446744073709551615 4364779 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/2032/statm: 124944 83477 392 112 0 119909 0
[pid=2032/tid=2033] ppid=2030 vsize=499776 CPUtime=762.32 cores=0,2,4,6
/proc/2032/task/2033/stat : 2033 (strangenight1-m) R 2030 2032 1454 0 -1 4202560 103284 0 0 0 76199 33 0 0 25 0 4 0 502454861 511770624 83477 33554432000 4194304 4650419 140737145096224 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2032/tid=2034] ppid=2030 vsize=499776 CPUtime=762.23 cores=0,2,4,6
/proc/2032/task/2034/stat : 2034 (strangenight1-m) R 2030 2032 1454 0 -1 4202560 79664 0 0 0 76197 26 0 0 25 0 4 0 502454861 511770624 83477 33554432000 4194304 4650419 140737145096224 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2032/tid=2035] ppid=2030 vsize=499776 CPUtime=762.31 cores=0,2,4,6
/proc/2032/task/2035/stat : 2035 (strangenight1-m) R 2030 2032 1454 0 -1 4202560 135553 0 0 0 76184 47 0 0 25 0 4 0 502454861 511770624 83477 33554432000 4194304 4650419 140737145096224 18446744073709551615 4365325 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3045.08
Current children cumulated vsize (KiB) 499776

[startup+822.301 s]
/proc/loadavg: 8.18 8.12 7.88 9/184 2089
/proc/meminfo: memFree=25076004/32951124 swapFree=67111524/67111528
[pid=2032] ppid=2030 vsize=499904 CPUtime=3284.75 cores=0,2,4,6
/proc/2032/stat : 2032 (strangenight1-m) R 2030 2032 1454 0 -1 4202496 424839 0 0 0 328328 147 0 0 25 0 4 0 502454861 511901696 92502 33554432000 4194304 4650419 140737145096224 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/2032/statm: 124976 92502 392 112 0 119941 0
[pid=2032/tid=2033] ppid=2030 vsize=499904 CPUtime=822.31 cores=0,2,4,6
/proc/2032/task/2033/stat : 2033 (strangenight1-m) R 2030 2032 1454 0 -1 4202560 108678 0 0 0 82196 35 0 0 25 0 4 0 502454861 511901696 92502 33554432000 4194304 4650419 140737145096224 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2032/tid=2034] ppid=2030 vsize=499904 CPUtime=822.23 cores=0,2,4,6
/proc/2032/task/2034/stat : 2034 (strangenight1-m) R 2030 2032 1454 0 -1 4202560 79974 0 0 0 82196 27 0 0 25 0 4 0 502454861 511901696 92502 33554432000 4194304 4650419 140737145096224 18446744073709551615 4339807 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2032/tid=2035] ppid=2030 vsize=499904 CPUtime=822.31 cores=0,2,4,6
/proc/2032/task/2035/stat : 2035 (strangenight1-m) R 2030 2032 1454 0 -1 4202560 142313 0 0 0 82181 50 0 0 25 0 4 0 502454861 511901696 92502 33554432000 4194304 4650419 140737145096224 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3284.75
Current children cumulated vsize (KiB) 499904

[startup+882.307 s]
/proc/loadavg: 8.11 8.11 7.89 9/184 2091
/proc/meminfo: memFree=25034808/32951124 swapFree=67111524/67111528
[pid=2032] ppid=2030 vsize=500500 CPUtime=3524.45 cores=0,2,4,6
/proc/2032/stat : 2032 (strangenight1-m) R 2030 2032 1454 0 -1 4202496 436640 0 0 0 352293 152 0 0 25 0 4 0 502454861 512512000 89837 33554432000 4194304 4650419 140737145096224 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/2032/statm: 125125 89837 392 112 0 120090 0
[pid=2032/tid=2033] ppid=2030 vsize=500500 CPUtime=882.32 cores=0,2,4,6
/proc/2032/task/2033/stat : 2033 (strangenight1-m) R 2030 2032 1454 0 -1 4202560 112111 0 0 0 88195 37 0 0 25 0 4 0 502454861 512512000 89837 33554432000 4194304 4650419 140737145096224 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2032/tid=2034] ppid=2030 vsize=500500 CPUtime=882.23 cores=0,2,4,6
/proc/2032/task/2034/stat : 2034 (strangenight1-m) R 2030 2032 1454 0 -1 4202560 80280 0 0 0 88196 27 0 0 25 0 4 0 502454861 512512000 89837 33554432000 4194304 4650419 140737145096224 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2032/tid=2035] ppid=2030 vsize=500500 CPUtime=882.32 cores=0,2,4,6
/proc/2032/task/2035/stat : 2035 (strangenight1-m) R 2030 2032 1454 0 -1 4202560 148661 0 0 0 88180 52 0 0 25 0 4 0 502454861 512512000 89837 33554432000 4194304 4650419 140737145096224 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3524.45
Current children cumulated vsize (KiB) 500500

[startup+942.301 s]
/proc/loadavg: 8.13 8.12 7.91 9/184 2092
/proc/meminfo: memFree=25048424/32951124 swapFree=67111524/67111528
[pid=2032] ppid=2030 vsize=540600 CPUtime=3764.13 cores=0,2,4,6
/proc/2032/stat : 2032 (strangenight1-m) R 2030 2032 1454 0 -1 4202496 460455 0 0 0 376253 160 0 0 25 0 4 0 502454861 553574400 87235 33554432000 4194304 4650419 140737145096224 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/2032/statm: 135150 87235 392 112 0 130115 0
[pid=2032/tid=2033] ppid=2030 vsize=540600 CPUtime=942.31 cores=0,2,4,6
/proc/2032/task/2033/stat : 2033 (strangenight1-m) R 2030 2032 1454 0 -1 4202560 114882 0 0 0 94192 39 0 0 25 0 4 0 502454861 553574400 87235 33554432000 4194304 4650419 140737145096224 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2032/tid=2034] ppid=2030 vsize=540600 CPUtime=942.22 cores=0,2,4,6
/proc/2032/task/2034/stat : 2034 (strangenight1-m) R 2030 2032 1454 0 -1 4202560 82109 0 0 0 94194 28 0 0 25 0 4 0 502454861 553574400 87235 33554432000 4194304 4650419 140737145096224 18446744073709551615 4365252 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2032/tid=2035] ppid=2030 vsize=540600 CPUtime=942.31 cores=0,2,4,6
/proc/2032/task/2035/stat : 2035 (strangenight1-m) R 2030 2032 1454 0 -1 4202560 157670 0 0 0 94176 55 0 0 25 0 4 0 502454861 553574400 87235 33554432000 4194304 4650419 140737145096224 18446744073709551615 4433081 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3764.13
Current children cumulated vsize (KiB) 540600

[startup+1002.3 s]
/proc/loadavg: 8.09 8.11 7.91 9/184 2094
/proc/meminfo: memFree=25014680/32951124 swapFree=67111524/67111528
[pid=2032] ppid=2030 vsize=540660 CPUtime=4003.79 cores=0,2,4,6
/proc/2032/stat : 2032 (strangenight1-m) R 2030 2032 1454 0 -1 4202496 472134 0 0 0 400215 164 0 0 25 0 4 0 502454861 553635840 88105 33554432000 4194304 4650419 140737145096224 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/2032/statm: 135165 88105 392 112 0 130130 0
[pid=2032/tid=2033] ppid=2030 vsize=540660 CPUtime=1002.31 cores=0,2,4,6
/proc/2032/task/2033/stat : 2033 (strangenight1-m) R 2030 2032 1454 0 -1 4202560 115270 0 0 0 100192 39 0 0 25 0 4 0 502454861 553635840 88105 33554432000 4194304 4650419 140737145096224 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2032/tid=2034] ppid=2030 vsize=540660 CPUtime=1002.21 cores=0,2,4,6
/proc/2032/task/2034/stat : 2034 (strangenight1-m) R 2030 2032 1454 0 -1 4202560 86053 0 0 0 100190 31 0 0 25 0 4 0 502454861 553635840 88105 33554432000 4194304 4650419 140737145096224 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2032/tid=2035] ppid=2030 vsize=540660 CPUtime=1002.31 cores=0,2,4,6
/proc/2032/task/2035/stat : 2035 (strangenight1-m) R 2030 2032 1454 0 -1 4202560 159526 0 0 0 100176 55 0 0 25 0 4 0 502454861 553635840 88105 33554432000 4194304 4650419 140737145096224 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4003.79
Current children cumulated vsize (KiB) 540660

[startup+1062.3 s]
/proc/loadavg: 8.12 8.12 7.93 9/184 2095
/proc/meminfo: memFree=24997916/32951124 swapFree=67111524/67111528
[pid=2032] ppid=2030 vsize=540780 CPUtime=4243.47 cores=0,2,4,6
/proc/2032/stat : 2032 (strangenight1-m) R 2030 2032 1454 0 -1 4202496 491262 0 0 0 424176 171 0 0 25 0 4 0 502454861 553758720 89854 33554432000 4194304 4650419 140737145096224 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/2032/statm: 135195 89854 392 112 0 130160 0
[pid=2032/tid=2033] ppid=2030 vsize=540780 CPUtime=1062.31 cores=0,2,4,6
/proc/2032/task/2033/stat : 2033 (strangenight1-m) R 2030 2032 1454 0 -1 4202560 115270 0 0 0 106192 39 0 0 25 0 4 0 502454861 553758720 89854 33554432000 4194304 4650419 140737145096224 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2032/tid=2034] ppid=2030 vsize=540780 CPUtime=1062.21 cores=0,2,4,6
/proc/2032/task/2034/stat : 2034 (strangenight1-m) R 2030 2032 1454 0 -1 4202560 91303 0 0 0 106187 34 0 0 25 0 4 0 502454861 553758720 89854 33554432000 4194304 4650419 140737145096224 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2032/tid=2035] ppid=2030 vsize=540780 CPUtime=1062.32 cores=0,2,4,6
/proc/2032/task/2035/stat : 2035 (strangenight1-m) R 2030 2032 1454 0 -1 4202560 169266 0 0 0 106175 57 0 0 25 0 4 0 502454861 553758720 89854 33554432000 4194304 4650419 140737145096224 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4243.47
Current children cumulated vsize (KiB) 540780

[startup+1122.3 s]
/proc/loadavg: 8.36 8.17 7.95 10/185 2100
/proc/meminfo: memFree=24985856/32951124 swapFree=67111524/67111528
[pid=2032] ppid=2030 vsize=548192 CPUtime=4482.84 cores=0,2,4,6
/proc/2032/stat : 2032 (strangenight1-m) R 2030 2032 1454 0 -1 4202496 505365 0 0 0 448109 175 0 0 25 0 4 0 502454861 561348608 89152 33554432000 4194304 4650419 140737145096224 18446744073709551615 4364775 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/2032/statm: 137048 89152 392 112 0 132013 0
[pid=2032/tid=2033] ppid=2030 vsize=548192 CPUtime=1122.32 cores=0,2,4,6
/proc/2032/task/2033/stat : 2033 (strangenight1-m) R 2030 2032 1454 0 -1 4202560 115270 0 0 0 112193 39 0 0 25 0 4 0 502454861 561348608 89152 33554432000 4194304 4650419 140737145096224 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2032/tid=2034] ppid=2030 vsize=548192 CPUtime=1122.04 cores=0,2,4,6
/proc/2032/task/2034/stat : 2034 (strangenight1-m) R 2030 2032 1454 0 -1 4202560 93638 0 0 0 112169 35 0 0 25 0 4 0 502454861 561348608 89152 33554432000 4194304 4650419 140737145096224 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2032/tid=2035] ppid=2030 vsize=548192 CPUtime=1122.17 cores=0,2,4,6
/proc/2032/task/2035/stat : 2035 (strangenight1-m) R 2030 2032 1454 0 -1 4202560 178077 0 0 0 112159 58 0 0 25 0 4 0 502454861 561348608 89152 33554432000 4194304 4650419 140737145096224 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4482.84
Current children cumulated vsize (KiB) 548192

[startup+1182.3 s]
/proc/loadavg: 6.16 7.63 7.78 5/175 2119
/proc/meminfo: memFree=25243520/32951124 swapFree=67111524/67111528
[pid=2032] ppid=2030 vsize=548192 CPUtime=4721.93 cores=0,2,4,6
/proc/2032/stat : 2032 (strangenight1-m) R 2030 2032 1454 0 -1 4202496 517745 0 0 0 472014 179 0 0 25 0 4 0 502454861 561348608 94351 33554432000 4194304 4650419 140737145096224 18446744073709551615 4363423 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/2032/statm: 137048 94351 392 112 0 132013 0
[pid=2032/tid=2033] ppid=2030 vsize=548192 CPUtime=1182.32 cores=0,2,4,6
/proc/2032/task/2033/stat : 2033 (strangenight1-m) R 2030 2032 1454 0 -1 4202560 115270 0 0 0 118193 39 0 0 25 0 4 0 502454861 561348608 94351 33554432000 4194304 4650419 140737145096224 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2032/tid=2034] ppid=2030 vsize=548192 CPUtime=1182.03 cores=0,2,4,6
/proc/2032/task/2034/stat : 2034 (strangenight1-m) R 2030 2032 1454 0 -1 4202560 93688 0 0 0 118168 35 0 0 25 0 4 0 502454861 561348608 94351 33554432000 4194304 4650419 140737145096224 18446744073709551615 4476288 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2032/tid=2035] ppid=2030 vsize=548192 CPUtime=1181.6 cores=0,2,4,6
/proc/2032/task/2035/stat : 2035 (strangenight1-m) R 2030 2032 1454 0 -1 4202560 185585 0 0 0 118100 60 0 0 25 0 4 0 502454861 561348608 94351 33554432000 4194304 4650419 140737145096224 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4721.93
Current children cumulated vsize (KiB) 548192



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.9 s]
/proc/loadavg: 5.63 7.41 7.71 5/175 2119
/proc/meminfo: memFree=25244744/32951124 swapFree=67111524/67111528
[pid=2032] ppid=2030 vsize=548256 CPUtime=4800.22 cores=0,2,4,6
/proc/2032/stat : 2032 (strangenight1-m) R 2030 2032 1454 0 -1 4202496 521132 0 0 0 479841 181 0 0 25 0 4 0 502454861 561414144 93990 33554432000 4194304 4650419 140737145096224 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/2032/statm: 137064 93990 392 112 0 132029 0
[pid=2032/tid=2033] ppid=2030 vsize=548256 CPUtime=1201.93 cores=0,2,4,6
/proc/2032/task/2033/stat : 2033 (strangenight1-m) R 2030 2032 1454 0 -1 4202560 115270 0 0 0 120154 39 0 0 25 0 4 0 502454861 561414144 93990 33554432000 4194304 4650419 140737145096224 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2032/tid=2034] ppid=2030 vsize=548256 CPUtime=1201.64 cores=0,2,4,6
/proc/2032/task/2034/stat : 2034 (strangenight1-m) R 2030 2032 1454 0 -1 4202560 93688 0 0 0 120129 35 0 0 25 0 4 0 502454861 561414144 93990 33554432000 4194304 4650419 140737145096224 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2032/tid=2035] ppid=2030 vsize=548256 CPUtime=1201.2 cores=0,2,4,6
/proc/2032/task/2035/stat : 2035 (strangenight1-m) R 2030 2032 1454 0 -1 4202560 187898 0 0 0 120059 61 0 0 25 0 4 0 502454861 561414144 93990 33554432000 4194304 4650419 140737145096224 18446744073709551615 4365361 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4800.22
Current children cumulated vsize (KiB) 548256

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.93
CPU time (s): 4800.29
CPU user time (s): 4798.45
CPU system time (s): 1.83772
CPU usage (%): 399.381
Max. virtual memory (cumulated for all children) (KiB): 614076

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.45
system time used= 1.83772
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 521133
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= 225
involuntary context switches= 22387

runsolver used 1.9857 second user time and 4.51031 second system time

The end

Launcher Data 

Begin job on node142 at 2011-04-29 20:06:34
IDJOB=3175219
IDBENCH=82837
IDSOLVER=1588
FILE ID=node142/3175219-1304100394
RUNJOBID= node142-1304099799-1954
PBS_JOBID= 13170602
Free space on /tmp= 71308 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt
BENCH NAME= SAT11/random/medium/unif-k7-r89-v80-c7120-S175431861-098.SATISFIABLE.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3175219-1304100394/watcher-3175219-1304100394 -o /tmp/evaluation-result-3175219-1304100394/solver-3175219-1304100394 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3175219-1304100394.cnf

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

MD5SUM BENCH= 32b0a38499f94b9537a6571015412ff0
RANDOM SEED=709908613

node142.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.846
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.69
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.846
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	: 5131.95
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.846
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      25297656 kB
Buffers:       1680504 kB
Cached:        5050028 kB
SwapCached:          4 kB
Active:        1199780 kB
Inactive:      5911652 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      25297656 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:            6240 kB
Writeback:           0 kB
AnonPages:      380488 kB
Mapped:          15476 kB
Slab:           477864 kB
PageTables:       5072 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   638932 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= 71308 MiB
End job on node142 at 2011-04-29 20:26:38