Trace number 3173754

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.33 1201.78

General information on the benchmark

Namerandom/large/
unif-k3-r4.2-v35000-c147000-S950666065-093-UNKNOWN.cnf
MD5SUMe27af9a147b2d7c0283d090128805575
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark919.622
Satisfiable
(Un)Satisfiability was proved
Number of variables34999
Number of clauses147000
Sum of the clauses size441000
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 3147000
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-3173754-1304030400.cnf'
0.00/0.00	c -- header says num vars:          34999
0.00/0.00	c -- header says num clauses:      147000
1.61/0.44	c -- clauses added:            0 learnts,       147000 normals,            0 xors
1.61/0.44	c -- vars added      34999
1.61/0.44	c Parsing time:  0.12 s
1.61/0.44	c  N st     0         0     34999    147000         0         0    441000         0   no data   no data
1.61/0.44	c asymm  cl-useful: 0/147000/147000 lits-rem:0 time: 0.14
1.61/0.44	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.08
4.77/1.21	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4.77/1.21	c bin-w-bin subsume rem            0 bins  time:  0.01 s
4.77/1.21	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
4.77/1.21	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  34999 time:  0.01 s
4.77/1.21	c Removed useless bin:       0  fixed:     0  props:   0.34M  time:  0.01 s
4.77/1.21	c lits-rem:         0  cl-subs:        0  v-elim:    909  v-fix:    0  time:  0.26 s
4.77/1.21	c Finding binary XORs  T:     0.01 s  found:       0
4.77/1.21	c Finding non-binary XORs:     0.04 s (found:       0, avg size: nan)
4.77/1.21	c calculated reachability. Time: 0.00
4.77/1.21	c Calc default polars -  time:   0.01 s pos:   15419 undec:    3964 neg:   15616
4.77/1.21	c =========================================================================================
4.77/1.21	c types(t): F = full restart, N = normal restart
4.77/1.21	c types(t): S = simplification begin/end, E = solution found
4.77/1.21	c restart types(rt): st = static, dy = dynamic
4.77/1.21	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
4.77/1.21	c  B st     0         0     34090    145983         0         0    443647         0   no data   no data
11.18/2.82	c  N dy    19      4232     34090    145983         0      4232    443647   1279041    167.44    176.89
18.76/4.70	c  N dy    48      8247     34090    145983         0      8246    443647   2302392    165.66    175.17
25.95/6.59	c  N dy    73     12270     34090    145983         0     12268    443647   3330593    165.89    176.34
33.93/8.58	c  N dy   102     16434     34090    145983         0     16432    443647   4366474    165.67    175.87
42.32/10.61	c  N dy   132     20437     34090    145983         0     10436    443647    775672    166.34    175.82
49.91/12.54	c  N dy   162     24462     34090    145983         0     14461    443647   1820392    167.73    192.10
51.10/12.82	c  F st   167     25001     34090    145983         0     15000    443647   1964748    167.80   no data
61.09/15.40	c  N dy   173     30000     34090    145983         0     19999    443647   3649021    167.80   no data
61.09/15.40	c  S st   173     30000     34090    145983         0     19999    443647   3649021    167.80   no data
62.29/15.64	c  S st   173     30502     34090    145983         0     20501    443647   3729177    167.80   no data
62.29/15.66	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
63.10/15.85	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.18
63.51/15.90	c blocked clauses removed:      620 vars:    103 tried:       34090 T: 0.02 s
63.51/15.91	c bin-w-bin subsume rem            0 bins  time:  0.01 s
63.51/15.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
63.51/15.94	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  33987 time:  0.01 s
63.51/15.95	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
64.29/16.15	c lits-rem:         0  cl-subs:        0  v-elim:     10  v-fix:    0  time:  0.19 s
65.48/16.46	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
69.48/17.46	c lits-rem:         1  cl-subs:        5  v-elim:      0  v-fix:    0  time:  0.96 s
70.28/17.64	c asymm  cl-useful: 0/145355/145355 lits-rem:0 time: 0.17
70.28/17.64	c calculated reachability. Time: 0.00
70.28/17.65	c  N dy   173     30502     33977    145355         0     20246    441852   3568277    167.80   no data
78.68/19.73	c  N dy   201     34570     33977    145355         0     24314    441852   4627304    167.67    189.39
87.06/21.83	c  N dy   222     38597     33977    145355         0     28341    441852   5613146    166.79    179.32
95.44/23.99	c  N dy   254     42610     33977    145355         0     16980    441852   1211309    167.89    183.84
101.84/25.52	c  S st   273     45755     33977    145355         0     20125    441852   1986107    167.67   no data
102.64/25.77	c  S st   273     46257     33977    145355         0     20627    441852   2084937    167.67   no data
102.64/25.79	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
103.45/25.98	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.18
103.83/26.02	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
103.83/26.03	c bin-w-bin subsume rem            0 bins  time:  0.01 s
103.83/26.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
103.83/26.05	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  33977 time:  0.01 s
103.83/26.07	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
104.63/26.22	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.15 s
105.03/26.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
106.63/26.70	c lits-rem:         0  cl-subs:        2  v-elim:      0  v-fix:    0  time:  0.30 s
106.63/26.72	c vivif2 --  cl tried   145355 cl shrink        0 lits rem          0 time: 0.02
106.63/26.76	c vivif2 --  cl tried    20625 cl shrink        0 lits rem          0 time: 0.04
107.44/26.93	c asymm  cl-useful: 0/145355/145355 lits-rem:0 time: 0.18
107.44/26.94	c calculated reachability. Time: 0.00
107.44/26.94	c  N dy   273     46257     33977    145355         0     20625    441852   2084531    167.67   no data
115.41/28.98	c  N dy   300     50338     33977    145355         0     24706    441852   3079000    166.97    176.47
123.81/31.09	c  N dy   329     54386     33977    145355         0     28754    441852   4104667    167.15    182.70
132.59/33.27	c  N dy   359     58481     33977    145355         0     32849    441852   5172222    167.39    178.21
141.38/35.43	c  N dy   389     62545     33977    145355         0     36913    441852   6206028    167.57    179.27
149.77/37.58	c  N dy   416     66703     33977    145355         0     22385    441852   1705112    167.47    176.43
155.35/38.92	c  S st   430     69387     33977    145355         0     25069    441852   2370375    167.08    164.64
156.17/39.17	c  S st   430     69894     33977    145355         0     25576    441852   2469611    167.08   no data
156.17/39.19	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
156.96/39.37	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.19
157.36/39.41	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
157.36/39.42	c bin-w-bin subsume rem            0 bins  time:  0.01 s
157.36/39.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
157.36/39.45	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  33977 time:  0.01 s
157.36/39.46	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
158.16/39.62	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.15 s
158.55/39.77	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
160.57/40.24	c lits-rem:         0  cl-subs:        1  v-elim:      0  v-fix:    0  time:  0.44 s
160.57/40.26	c vivif2 --  cl tried   145355 cl shrink        0 lits rem          0 time: 0.02
160.95/40.31	c vivif2 --  cl tried    25575 cl shrink        0 lits rem          0 time: 0.04
161.35/40.49	c asymm  cl-useful: 0/145355/145355 lits-rem:0 time: 0.18
161.75/40.50	c calculated reachability. Time: 0.00
161.75/40.50	c  N dy   430     69894     33977    145355         0     25575    441852   2469372    167.08   no data
170.94/42.89	c  N dy   465     74442     33977    145355         0     30123    441852   3671920    167.37    179.03
181.33/45.44	c  N dy   500     79253     33977    145355         0     34933    441852   4888740    167.34    178.10
192.10/48.14	c  N dy   535     84341     33977    145355         0     40021    441852   6160221    167.21    183.98
198.90/49.85	c  F st   560     87500     33977    145355         0     22340    441852   1093342    167.28    157.99
206.08/51.69	c  N st   565     90801     33977    145355         0     25637    441852   2293269    167.28   no data
218.47/54.78	c  N dy   591     96599     33977    145355         0     31434    441852   4195196    167.46    177.85
232.45/58.21	c  N dy   640    102870     33977    145355         0     37705    441852   5837461    167.89    180.46
236.45/59.29	c  S st   654    104841     33977    145355         0     39676    441852   6340788    167.92    147.78
237.65/59.56	c  S st   654    105344     33977    145355         0     40179    441852   6437893    167.92   no data
237.65/59.59	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
238.45/59.79	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.20
238.85/59.83	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
238.85/59.85	c bin-w-bin subsume rem            0 bins  time:  0.01 s
238.85/59.86	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
238.85/59.87	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  33977 time:  0.01 s
238.85/59.88	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
239.66/60.09	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.20 s
241.64/60.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
248.83/62.34	c lits-rem:        22  cl-subs:        2  v-elim:      0  v-fix:    0  time:  1.81 s
248.83/62.37	c vivif2 --  cl tried   145355 cl shrink        0 lits rem          0 time: 0.02
249.23/62.48	c vivif2 --  cl tried    40177 cl shrink        0 lits rem          0 time: 0.12
250.03/62.69	c asymm  cl-useful: 0/145355/145355 lits-rem:0 time: 0.21
250.43/62.70	c calculated reachability. Time: 0.00
250.43/62.70	c  N dy   654    105344     33977    145355         0     40177    441852   6435624    167.92   no data
265.21/66.48	c  N dy   704    112065     33977    145355         0     24480    441852   1221210    168.08    179.96
280.38/70.28	c  N dy   753    119279     33977    145355         0     31694    441852   3078583    167.94    187.85
297.56/74.50	c  N dy   806    126923     33977    145355         0     39338    441852   5077392    168.02    182.07
315.54/79.07	c  N dy   859    135177     33977    145355         0     23883    441852    674744    167.85    176.82
333.91/83.63	c  N dy   917    143895     33977    145355         0     32600    441852   2919253    167.96    181.38
353.91/88.69	c  N dy   986    153159     33977    145355         0     41862    441852   5327134    168.14    186.34
365.07/91.44	c  S st  1022    158016     33977    145355         0     46718    441852   6582007    168.21    137.50
366.27/91.72	c  S st  1022    158518     33977    145355         0     47220    441852   6669683    168.21   no data
366.27/91.74	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
367.09/91.95	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.21
367.46/92.00	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
367.46/92.01	c bin-w-bin subsume rem            0 bins  time:  0.01 s
367.46/92.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
367.46/92.03	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  33977 time:  0.01 s
367.46/92.05	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
368.26/92.25	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.21 s
369.87/92.68	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
379.46/95.07	c lits-rem:         1  cl-subs:        4  v-elim:      0  v-fix:    0  time:  2.36 s
379.46/95.09	c vivif2 --  cl tried   145355 cl shrink        0 lits rem          0 time: 0.02
380.28/95.22	c vivif2 --  cl tried    47216 cl shrink        0 lits rem          0 time: 0.12
381.05/95.44	c asymm  cl-useful: 0/145355/145355 lits-rem:0 time: 0.22
381.05/95.45	c calculated reachability. Time: 0.00
381.05/95.45	c  N dy  1022    158518     33977    145355         0     47216    441852   6668758    168.21   no data
403.42/101.00	c  N dy  1094    168671     33977    145355         0     32515    441852   2589392    168.44    236.57
426.59/106.87	c  N dy  1165    179471     33977    145355         0     43315    441852   5339860    168.34    184.01
452.95/113.43	c  N dy  1243    191121     33977    145355         0     29041    441852   1355514    168.37    178.08
479.72/120.15	c  N dy  1336    203341     33977    145355         0     41259    441852   4584860    168.70    181.77
509.68/127.65	c  N dy  1424    216407     33977    145355         0     27360    441852    643940    168.58    178.27
539.63/135.14	c  N dy  1521    230337     33977    145355         0     41288    441852   4195271    168.56    178.47
556.41/139.34	c  S st  1575    237777     33977    145355         0     48728    441852   6121649    168.56   no data
557.61/139.64	c  S st  1575    238278     33977    145355         0     49229    441852   6213820    168.56   no data
557.61/139.66	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
558.41/139.87	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.21
558.82/139.92	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
558.82/139.93	c bin-w-bin subsume rem            0 bins  time:  0.01 s
558.82/139.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
558.82/139.95	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  33977 time:  0.01 s
558.82/139.97	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
559.62/140.17	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.20 s
561.21/140.55	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
570.79/142.90	c lits-rem:         2  cl-subs:        3  v-elim:      0  v-fix:    0  time:  2.32 s
570.79/142.93	c vivif2 --  cl tried   145355 cl shrink        0 lits rem          0 time: 0.02
571.19/143.04	c vivif2 --  cl tried    49226 cl shrink        0 lits rem          0 time: 0.12
572.00/143.27	c asymm  cl-useful: 0/145355/145355 lits-rem:0 time: 0.23
572.00/143.28	c calculated reachability. Time: 0.00
572.00/143.28	c  N dy  1575    238278     33977    145355         0     49226    441852   6213217    168.56   no data
605.95/151.79	c  N dy  1679    253604     33977    145355         0     36573    441852   2720819    168.45    179.57
642.70/160.98	c  N dy  1791    269926     33977    145355         0     52895    441852   6938428    168.58    178.55
681.45/170.64	c  N dy  1903    287212     33977    145355         0     41190    441852   3669724    168.55    184.43
724.19/181.39	c  N dy  2039    305762     33977    145355         0     59738    441852   8475011    168.64    191.08
725.79/181.74	c  F st  2044    306250     33977    145355         0     30231    441852    568307    168.65   no data
768.93/192.54	c  N dy  2141    325368     33977    145355         0     49349    441852   6146562    168.65    179.95
814.89/204.03	c  N dy  2278    345428     33977    145355         0     38415    441852   2391486    168.62    181.26
841.65/210.79	c  S st  2362    357418     33977    145355         0     50404    441852   5464967    168.69   no data
842.83/211.09	c  S st  2362    357922     33977    145355         0     50908    441852   5545003    168.69   no data
843.24/211.12	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
844.04/211.33	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.21
844.04/211.37	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
844.04/211.38	c bin-w-bin subsume rem            0 bins  time:  0.01 s
844.04/211.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
844.44/211.40	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  33977 time:  0.01 s
844.44/211.42	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
845.24/211.62	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.20 s
846.43/211.95	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
855.21/214.11	c lits-rem:         0  cl-subs:        1  v-elim:      0  v-fix:    0  time:  2.13 s
855.21/214.13	c vivif2 --  cl tried   145355 cl shrink        0 lits rem          0 time: 0.02
855.61/214.23	c vivif2 --  cl tried    50907 cl shrink        0 lits rem          0 time: 0.10
856.41/214.46	c asymm  cl-useful: 0/145355/145355 lits-rem:0 time: 0.23
856.41/214.47	c calculated reachability. Time: 0.00
856.41/214.47	c  N dy  2362    357922     33977    145355         0     50907    441852   5544157    168.69   no data
902.77/226.06	c  N dy  2502    377995     33977    145355         0     38981    441852   2288874    168.63    177.76
949.10/237.68	c  N dy  2634    398165     33977    145355         0     59151    441852   7524945    168.62    178.34
995.83/249.32	c  N dy  2773    418308     33977    145355         0     46293    441852   4009366    168.68    178.01
1043.39/261.21	c  N dy  2916    438376     33977    145355         0     66361    441852   9235431    168.74    177.71
1089.31/272.71	c  N dy  3049    458453     33977    145355         0     52437    441852   5275100    168.73    179.62
1137.25/284.78	c  N dy  3186    478552     33977    145355         0     37542    441852   1155215    168.84    180.24
1183.19/296.24	c  N dy  3321    498687     33977    145355         0     57676    441852   6357653    168.85    181.73
1230.74/308.13	c  N dy  3455    518774     33977    145355         0     41761    441852   1948747    168.90    185.23
1273.08/318.71	c  S st  3585    536883     33977    145355         0     59869    441852   6690975    168.96   no data
1274.27/319.02	c  S st  3585    537388     33977    145355         0     60374    441852   6781258    168.96   no data
1274.27/319.05	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1275.07/319.27	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.22
1275.47/319.31	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1275.47/319.32	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1275.47/319.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1275.47/319.35	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  33977 time:  0.01 s
1275.47/319.36	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
1276.29/319.58	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.22 s
1277.86/319.99	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1291.45/323.30	c lits-rem:         1  cl-subs:        3  v-elim:      0  v-fix:    0  time:  3.28 s
1291.45/323.32	c vivif2 --  cl tried   145355 cl shrink        0 lits rem          0 time: 0.02
1291.85/323.45	c vivif2 --  cl tried    60371 cl shrink        0 lits rem          0 time: 0.13
1293.06/323.70	c asymm  cl-useful: 0/145355/145355 lits-rem:0 time: 0.25
1293.06/323.71	c calculated reachability. Time: 0.00
1293.06/323.71	c  N dy  3585    537388     33977    145355         0     60371    441852   6780511    168.96   no data
1341.39/335.83	c  N dy  3722    557514     33977    145355         0     43500    441852   2235936    169.00    178.56
1388.92/347.78	c  N dy  3864    577741     33977    145355         0     63726    441852   7583575    169.11    178.27
1437.25/359.82	c  N dy  3997    597767     33977    145355         0     45761    441852   2512013    169.11    187.37
1484.78/371.72	c  N dy  4136    617809     33977    145355         0     65802    441852   7819288    169.22    178.84
1533.51/383.98	c  N dy  4285    637897     33977    145355         0     46883    441852   2549931    169.38    246.91
1581.05/395.82	c  N dy  4422    657902     33977    145355         0     66888    441852   7654688    169.35    183.11
1629.77/408.06	c  N dy  4560    677927     33977    145355         0     46913    441852   2301534    169.40    186.24
1678.51/420.23	c  N dy  4701    698002     33977    145355         0     66986    441852   7479935    169.42    182.06
1728.04/432.67	c  N dy  4838    718203     33977    145355         0     46189    441852   1900577    169.45    183.00
1775.57/444.52	c  N dy  4967    738335     33977    145355         0     66320    441852   7092492    169.46    182.62
1826.30/457.29	c  N dy  5107    758622     33977    145355         0     44606    441852   1182386    169.50    187.93
1873.86/469.10	c  N dy  5243    778666     33977    145355         0     64650    441852   6455247    169.55    180.93
1924.57/481.82	c  N dy  5380    798674     33977    145355         0     84657    441852  11684751    169.60    180.49
1942.15/486.25	c  S st  5431    806082     33977    145355         0     49062    441852   2017281    169.61   no data
1943.35/486.55	c  S st  5431    806583     33977    145355         0     49563    441852   2125291    169.61   no data
1943.35/486.57	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1944.16/486.78	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.21
1944.56/486.83	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1944.56/486.84	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1944.56/486.85	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1944.56/486.86	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  33977 time:  0.01 s
1944.56/486.88	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
1945.34/487.05	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.17 s
1945.74/487.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1948.96/487.91	c lits-rem:         1  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.70 s
1948.96/487.93	c vivif2 --  cl tried   145355 cl shrink        0 lits rem          0 time: 0.02
1948.96/487.97	c vivif2 --  cl tried    49563 cl shrink        0 lits rem          0 time: 0.04
1950.14/488.20	c asymm  cl-useful: 0/145355/145355 lits-rem:0 time: 0.23
1950.14/488.21	c calculated reachability. Time: 0.00
1950.14/488.21	c  N dy  5431    806583     33977    145355         0     49563    441852   2125290    169.61   no data
1997.67/500.18	c  N dy  5558    826618     33977    145355         0     69597    441852   7346153    169.58    191.05
2049.20/513.04	c  N dy  5692    846628     33977    145355         0     45609    441852    902744    169.55    243.34
2096.33/524.87	c  N dy  5826    866728     33977    145355         0     65708    441852   6177879    169.54    183.55
2147.46/537.69	c  N dy  5963    886942     33977    145355         0     85922    441852  11430933    169.58    187.94
2195.79/549.74	c  N dy  6097    907007     33977    145355         0     60988    441852   4604748    169.55    179.88
2245.73/562.29	c  N dy  6238    927010     33977    145355         0     80990    441852   9757654    169.57    192.07
2296.07/574.83	c  N dy  6378    947080     33977    145355         0     55064    441852   2839611    169.55    181.28
2344.79/587.07	c  N dy  6508    967202     33977    145355         0     75184    441852   8052509    169.54    178.89
2397.51/600.25	c  N dy  6643    987265     33977    145355         0     48253    441852    856925    169.57    180.47
2445.47/612.26	c  N dy  6779   1007379     33977    145355         0     68364    441852   6161069    169.59    183.38
2497.38/625.20	c  N dy  6915   1027528     33977    145355         0     88512    441852  11443391    169.62    180.66
2547.30/637.74	c  N dy  7053   1047626     33977    145355         0     60614    441852   3931683    169.68    223.61
2598.44/650.50	c  N dy  7197   1067983     33977    145355         0     80969    441852   9339085    169.72    181.44
2608.04/652.98	c  F st  7224   1071875     33977    145355         0     84861    441852  10312377    169.70    167.07
2651.57/663.86	c  N dy  7306   1088431     33977    145355         0     52420    441852   1418363    169.71    185.21
2700.31/676.04	c  N dy  7447   1108464     33977    145355         0     72452    441852   6586783    169.74    179.01
2753.04/689.23	c  N dy  7587   1128571     33977    145355         0     92556    441852  11912526    169.78    190.33
2803.74/701.96	c  N dy  7727   1148683     33977    145355         0     62674    441852   3848292    169.80    182.95
2855.28/714.82	c  N dy  7867   1168739     33977    145355         0     82729    441852   9112823    169.84    180.16
2908.80/728.24	c  N dy  8001   1188762     33977    145355         0     51751    441852    728462    169.86    185.98
2957.14/740.31	c  N dy  8127   1208857     33977    145355         0     71845    441852   5913684    169.84    182.01
2959.56/740.93	c  S st  8134   1209876     33977    145355         0     72864    441852   6169461    169.83    173.98
2960.73/741.27	c  S st  8134   1210379     33977    145355         0     73367    441852   6265458    169.83   no data
2961.13/741.30	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2961.94/741.53	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.24
2961.94/741.58	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2961.94/741.59	c bin-w-bin subsume rem            0 bins  time:  0.01 s
2962.34/741.60	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2962.34/741.61	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  33977 time:  0.01 s
2962.34/741.63	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
2963.14/741.85	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.22 s
2964.73/742.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2978.30/745.62	c lits-rem:         0  cl-subs:        4  v-elim:      0  v-fix:    0  time:  3.36 s
2978.30/745.65	c vivif2 --  cl tried   145355 cl shrink        0 lits rem          0 time: 0.02
2978.70/745.77	c vivif2 --  cl tried    73363 cl shrink        0 lits rem          0 time: 0.12
2979.90/746.04	c asymm  cl-useful: 0/145355/145355 lits-rem:0 time: 0.27
2979.90/746.05	c calculated reachability. Time: 0.00
2979.90/746.05	c  N dy  8134   1210379     33977    145355         0     73363    441852   6263681    169.83   no data
3033.03/759.31	c  N dy  8272   1230434     33977    145355         0     93417    441852  11429636    169.81    180.82
3084.96/772.35	c  N dy  8409   1250568     33977    145355         0     61549    441852   3048794    169.83    184.15
3135.69/785.06	c  N dy  8555   1270656     33977    145355         0     81636    441852   8367988    169.90    202.62
3189.62/798.52	c  N dy  8695   1290660     33977    145355         0    101640    441852  13598127    169.94    181.39
3240.36/811.22	c  N dy  8837   1310693     33977    145355         0     68674    441852   4651475    169.98    180.62
3292.28/824.20	c  N dy  8979   1330808     33977    145355         0     88787    441852   9927121    170.02    183.28
3347.79/838.17	c  N dy  9118   1350956     33977    145355         0     54938    441852    807748    170.05    183.33
3396.92/850.47	c  N dy  9254   1371025     33977    145355         0     75007    441852   6059389    170.08    179.08
3450.05/863.76	c  N dy  9391   1391120     33977    145355         0     95100    441852  11374606    170.09    180.96
3504.40/877.33	c  N dy  9531   1411271     33977    145355         0     60252    441852   1922683    170.10    179.90
3554.71/889.98	c  N dy  9678   1431420     33977    145355         0     80400    441852   7280956    170.19    179.67
3609.03/903.52	c  N dy  9820   1451544     33977    145355         0    100524    441852  12553034    170.21    180.39
3662.96/917.03	c  N dy  9956   1471787     33977    145355         0     64776    441852   2921735    170.24    185.07
3713.69/929.78	c  N dy 10092   1491788     33977    145355         0     84776    441852   8179909    170.25    179.53
3767.64/943.26	c  N dy 10221   1511855     33977    145355         0    104843    441852  13363235    170.22    183.18
3820.36/956.46	c  N dy 10356   1531947     33977    145355         0     67936    441852   3390626    170.21    179.71
3871.88/969.33	c  N dy 10496   1551990     33977    145355         0     87978    441852   8620624    170.23    189.15
3927.00/983.14	c  N dy 10634   1572002     33977    145355         0    107988    441852  13841795    170.26    179.40
3979.72/996.39	c  N dy 10771   1592082     33977    145355         0     70069    441852   3737101    170.26    180.88
4031.28/1009.25	c  N dy 10907   1612154     33977    145355         0     90140    441852   8995440    170.24    181.17
4086.38/1023.09	c  N dy 11045   1632185     33977    145355         0    110171    441852  14229257    170.25    180.70
4140.71/1036.60	c  N dy 11192   1652533     33977    145355         0     71522    441852   3887408    170.28    180.62
4192.64/1049.67	c  N dy 11329   1672656     33977    145355         0     91643    441852   9164103    170.28    196.11
4248.16/1063.55	c  N dy 11465   1692666     33977    145355         0    111651    441852  14401952    170.30    182.45
4295.68/1075.40	c  S st 11581   1710379     33977    145355         0     69363    441852   3037318    170.31    168.60
4296.88/1075.71	c  S st 11581   1710881     33977    145355         0     69865    441852   3117664    170.31   no data
4296.88/1075.73	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
4297.68/1075.96	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.23
4298.09/1076.01	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4298.09/1076.02	c bin-w-bin subsume rem            0 bins  time:  0.01 s
4298.09/1076.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
4298.09/1076.04	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  33977 time:  0.01 s
4298.09/1076.06	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
4298.89/1076.26	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.20 s
4299.71/1076.45	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
4307.28/1078.37	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  1.89 s
4307.28/1078.39	c vivif2 --  cl tried   145355 cl shrink        0 lits rem          0 time: 0.02
4307.68/1078.45	c vivif2 --  cl tried    69865 cl shrink        0 lits rem          0 time: 0.06
4308.87/1078.71	c asymm  cl-useful: 0/145355/145355 lits-rem:0 time: 0.26
4308.87/1078.72	c calculated reachability. Time: 0.00
4308.87/1078.72	c  N dy 11581   1710881     33977    145355         0     69865    441852   3117664    170.31   no data
4360.41/1091.64	c  N dy 11706   1730935     33977    145355         0     89917    441852   8335698    170.30    180.92
4415.93/1105.58	c  N dy 11846   1750943     33977    145355         0    109924    441852  13621108    170.32    184.75
4470.66/1119.27	c  N dy 11982   1770968     33977    145355         0     68956    441852   2643942    170.34    179.81
4522.18/1132.17	c  N dy 12116   1791043     33977    145355         0     89030    441852   7897608    170.34    180.37
4578.11/1146.18	c  N dy 12251   1811151     33977    145355         0    109137    441852  13219239    170.35    182.06
4634.02/1160.16	c  N dy 12388   1831207     33977    145355         0     67190    441852   1956931    170.35    187.09
4685.96/1173.17	c  N dy 12527   1851332     33977    145355         0     87315    441852   7242129    170.37    188.24
4741.88/1187.15	c  N dy 12665   1871378     33977    145355         0    107361    441852  12580405    170.40    185.82

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

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

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


[startup+0 s]
/proc/loadavg: 7.25 7.85 6.69 5/180 11233
/proc/meminfo: memFree=14219536/32951124 swapFree=67111528/67111528
[pid=11233] ppid=11231 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/11233/stat : 11233 (strangenight2-m) R 11231 11233 10991 0 -1 4202496 408 0 0 0 0 0 0 0 25 0 4 0 495455657 52441088 348 33554432000 4194304 4627427 140735703063552 18446744073709551615 47368474417074 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/11233/statm: 12803 348 299 106 0 7774 0
[pid=11233/tid=11234] ppid=11231 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/11233/task/11234/stat : 11234 (strangenight2-m) R 11231 11233 10991 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 495455657 52441088 348 33554432000 4194304 4627427 140735703063552 18446744073709551615 264726461425 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11233/tid=11235] ppid=11231 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/11233/task/11235/stat : 11235 (strangenight2-m) R 11231 11233 10991 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 495455657 52441088 348 33554432000 4194304 4627427 140735703063552 18446744073709551615 47368474417072 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11233/tid=11236] ppid=11231 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/11233/task/11236/stat : 11236 (strangenight2-m) R 11231 11233 10991 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 495455657 52441088 348 33554432000 4194304 4627427 140735703063552 18446744073709551615 47368474417068 0 0 4096 2 0 0 0 -1 2 0 0 0

[startup+0.115829 s]
/proc/loadavg: 7.25 7.85 6.69 5/180 11233
/proc/meminfo: memFree=14219536/32951124 swapFree=67111528/67111528
[pid=11233] ppid=11231 vsize=321312 CPUtime=0.44 cores=0,2,4,6
/proc/11233/stat : 11233 (strangenight2-m) R 11231 11233 10991 0 -1 4202496 23846 0 0 0 38 6 0 0 18 0 4 0 495455657 329023488 19603 33554432000 4194304 4627427 140735703063552 18446744073709551615 4360140 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/11233/statm: 80328 19603 339 106 0 75299 0
[pid=11233/tid=11234] ppid=11231 vsize=321312 CPUtime=0.1 cores=0,2,4,6
/proc/11233/task/11234/stat : 11234 (strangenight2-m) R 11231 11233 10991 0 -1 4202560 5847 0 0 0 9 1 0 0 25 0 4 0 495455657 329023488 19603 33554432000 4194304 4627427 140735703063552 18446744073709551615 4361048 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11233/tid=11235] ppid=11231 vsize=321312 CPUtime=0.1 cores=0,2,4,6
/proc/11233/task/11235/stat : 11235 (strangenight2-m) D 11231 11233 10991 0 -1 4202560 5848 0 0 0 9 1 0 0 18 0 4 0 495455657 329023488 19603 33554432000 4194304 4627427 140735703063552 18446744073709551615 264726066209 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11233/tid=11236] ppid=11231 vsize=321312 CPUtime=0.1 cores=0,2,4,6
/proc/11233/task/11236/stat : 11236 (strangenight2-m) D 11231 11233 10991 0 -1 4202560 5853 0 0 0 9 1 0 0 18 0 4 0 495455657 329023488 19603 33554432000 4194304 4627427 140735703063552 18446744073709551615 264726448311 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 321312

[startup+0.200803 s]
/proc/loadavg: 7.25 7.85 6.69 5/180 11233
/proc/meminfo: memFree=14219536/32951124 swapFree=67111528/67111528
[pid=11233] ppid=11231 vsize=324268 CPUtime=0.77 cores=0,2,4,6
/proc/11233/stat : 11233 (strangenight2-m) R 11231 11233 10991 0 -1 4202496 26865 0 0 0 71 6 0 0 18 0 4 0 495455657 332050432 22621 33554432000 4194304 4627427 140735703063552 18446744073709551615 4308362 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/11233/statm: 81067 22621 364 106 0 76038 0
[pid=11233/tid=11234] ppid=11231 vsize=324268 CPUtime=0.18 cores=0,2,4,6
/proc/11233/task/11234/stat : 11234 (strangenight2-m) R 11231 11233 10991 0 -1 4202560 6596 0 0 0 17 1 0 0 25 0 4 0 495455657 332050432 22621 33554432000 4194304 4627427 140735703063552 18446744073709551615 4522957 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11233/tid=11235] ppid=11231 vsize=324268 CPUtime=0.18 cores=0,2,4,6
/proc/11233/task/11235/stat : 11235 (strangenight2-m) R 11231 11233 10991 0 -1 4202560 6595 0 0 0 17 1 0 0 18 0 4 0 495455657 332050432 22621 33554432000 4194304 4627427 140735703063552 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11233/tid=11236] ppid=11231 vsize=324268 CPUtime=0.18 cores=0,2,4,6
/proc/11233/task/11236/stat : 11236 (strangenight2-m) R 11231 11233 10991 0 -1 4202560 6644 0 0 0 17 1 0 0 18 0 4 0 495455657 332050432 22621 33554432000 4194304 4627427 140735703063552 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.77
Current children cumulated vsize (KiB) 324268

[startup+0.300783 s]
/proc/loadavg: 7.25 7.85 6.69 5/180 11233
/proc/meminfo: memFree=14219536/32951124 swapFree=67111528/67111528
[pid=11233] ppid=11231 vsize=324268 CPUtime=1.17 cores=0,2,4,6
/proc/11233/stat : 11233 (strangenight2-m) R 11231 11233 10991 0 -1 4202496 26938 0 0 0 111 6 0 0 18 0 4 0 495455657 332050432 22694 33554432000 4194304 4627427 140735703063552 18446744073709551615 4238994 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/11233/statm: 81067 22694 366 106 0 76038 0
[pid=11233/tid=11234] ppid=11231 vsize=324268 CPUtime=0.28 cores=0,2,4,6
/proc/11233/task/11234/stat : 11234 (strangenight2-m) R 11231 11233 10991 0 -1 4202560 6597 0 0 0 27 1 0 0 25 0 4 0 495455657 332050432 22694 33554432000 4194304 4627427 140735703063552 18446744073709551615 4237884 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11233/tid=11235] ppid=11231 vsize=324268 CPUtime=0.28 cores=0,2,4,6
/proc/11233/task/11235/stat : 11235 (strangenight2-m) R 11231 11233 10991 0 -1 4202560 6596 0 0 0 27 1 0 0 18 0 4 0 495455657 332050432 22694 33554432000 4194304 4627427 140735703063552 18446744073709551615 4237895 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11233/tid=11236] ppid=11231 vsize=324268 CPUtime=0.28 cores=0,2,4,6
/proc/11233/task/11236/stat : 11236 (strangenight2-m) R 11231 11233 10991 0 -1 4202560 6712 0 0 0 27 1 0 0 18 0 4 0 495455657 332050432 22694 33554432000 4194304 4627427 140735703063552 18446744073709551615 4308349 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 324268

[startup+1.15662 s]
/proc/loadavg: 7.25 7.85 6.69 5/180 11233
/proc/meminfo: memFree=14219536/32951124 swapFree=67111528/67111528
[pid=11233] ppid=11231 vsize=360268 CPUtime=4.59 cores=0,2,4,6
/proc/11233/stat : 11233 (strangenight2-m) R 11231 11233 10991 0 -1 4202496 51833 0 0 0 449 10 0 0 18 0 4 0 495455657 368914432 38001 33554432000 4194304 4627427 140735703063552 18446744073709551615 4327643 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/11233/statm: 90067 38001 385 106 0 85038 0
[pid=11233/tid=11234] ppid=11231 vsize=360268 CPUtime=1.14 cores=0,2,4,6
/proc/11233/task/11234/stat : 11234 (strangenight2-m) R 11231 11233 10991 0 -1 4202560 15127 0 0 0 111 3 0 0 19 0 4 0 495455657 368914432 38002 33554432000 4194304 4627427 140735703063552 18446744073709551615 4308715 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11233/tid=11235] ppid=11231 vsize=360268 CPUtime=1.14 cores=0,2,4,6
/proc/11233/task/11235/stat : 11235 (strangenight2-m) R 11231 11233 10991 0 -1 4202560 15107 0 0 0 112 2 0 0 18 0 4 0 495455657 368914432 38002 33554432000 4194304 4627427 140735703063552 18446744073709551615 4308323 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11233/tid=11236] ppid=11231 vsize=360268 CPUtime=1.14 cores=0,2,4,6
/proc/11233/task/11236/stat : 11236 (strangenight2-m) R 11231 11233 10991 0 -1 4202560 7233 0 0 0 113 1 0 0 18 0 4 0 495455657 368914432 38002 33554432000 4194304 4627427 140735703063552 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4.59
Current children cumulated vsize (KiB) 360268

[startup+1.50056 s]
/proc/loadavg: 7.25 7.85 6.69 5/180 11233
/proc/meminfo: memFree=14219536/32951124 swapFree=67111528/67111528
[pid=11233] ppid=11231 vsize=360268 CPUtime=5.97 cores=0,2,4,6
/proc/11233/stat : 11233 (strangenight2-m) R 11231 11233 10991 0 -1 4202496 52731 0 0 0 587 10 0 0 19 0 4 0 495455657 368914432 38899 33554432000 4194304 4627427 140735703063552 18446744073709551615 4308383 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/11233/statm: 90067 38899 385 106 0 85038 0
[pid=11233/tid=11234] ppid=11231 vsize=360268 CPUtime=1.49 cores=0,2,4,6
/proc/11233/task/11234/stat : 11234 (strangenight2-m) R 11231 11233 10991 0 -1 4202560 15359 0 0 0 146 3 0 0 19 0 4 0 495455657 368914432 38899 33554432000 4194304 4627427 140735703063552 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11233/tid=11235] ppid=11231 vsize=360268 CPUtime=1.48 cores=0,2,4,6
/proc/11233/task/11235/stat : 11235 (strangenight2-m) R 11231 11233 10991 0 -1 4202560 15340 0 0 0 146 2 0 0 19 0 4 0 495455657 368914432 38899 33554432000 4194304 4627427 140735703063552 18446744073709551615 4308326 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11233/tid=11236] ppid=11231 vsize=360268 CPUtime=1.48 cores=0,2,4,6
/proc/11233/task/11236/stat : 11236 (strangenight2-m) R 11231 11233 10991 0 -1 4202560 7424 0 0 0 147 1 0 0 19 0 4 0 495455657 368914432 38899 33554432000 4194304 4627427 140735703063552 18446744073709551615 4305890 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 360268

[startup+3.10026 s]
/proc/loadavg: 7.55 7.90 6.71 9/184 11237
/proc/meminfo: memFree=14087076/32951124 swapFree=67111528/67111528
[pid=11233] ppid=11231 vsize=491532 CPUtime=12.36 cores=0,2,4,6
/proc/11233/stat : 11233 (strangenight2-m) R 11231 11233 10991 0 -1 4202496 56516 0 0 0 1224 12 0 0 23 0 4 0 495455657 503328768 42684 33554432000 4194304 4627427 140735703063552 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/11233/statm: 122883 42684 385 106 0 117854 0
[pid=11233/tid=11234] ppid=11231 vsize=491532 CPUtime=3.07 cores=0,2,4,6
/proc/11233/task/11234/stat : 11234 (strangenight2-m) R 11231 11233 10991 0 -1 4202560 16359 0 0 0 304 3 0 0 23 0 4 0 495455657 503328768 42684 33554432000 4194304 4627427 140735703063552 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11233/tid=11235] ppid=11231 vsize=491532 CPUtime=3.09 cores=0,2,4,6
/proc/11233/task/11235/stat : 11235 (strangenight2-m) R 11231 11233 10991 0 -1 4202560 16275 0 0 0 306 3 0 0 23 0 4 0 495455657 503328768 42684 33554432000 4194304 4627427 140735703063552 18446744073709551615 4308752 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11233/tid=11236] ppid=11231 vsize=491532 CPUtime=3.08 cores=0,2,4,6
/proc/11233/task/11236/stat : 11236 (strangenight2-m) R 11231 11233 10991 0 -1 4202560 8308 0 0 0 307 1 0 0 23 0 4 0 495455657 503328768 42684 33554432000 4194304 4627427 140735703063552 18446744073709551615 264726064272 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 491532

[startup+6.30065 s]
/proc/loadavg: 7.55 7.90 6.71 10/184 11238
/proc/meminfo: memFree=14037348/32951124 swapFree=67111528/67111528
[pid=11233] ppid=11231 vsize=491532 CPUtime=25.15 cores=0,2,4,6
/proc/11233/stat : 11233 (strangenight2-m) R 11231 11233 10991 0 -1 4202496 63732 0 0 0 2502 13 0 0 25 0 4 0 495455657 503328768 49900 33554432000 4194304 4627427 140735703063552 18446744073709551615 4308248 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/11233/statm: 122883 49900 385 106 0 117854 0
[pid=11233/tid=11234] ppid=11231 vsize=491532 CPUtime=6.26 cores=0,2,4,6
/proc/11233/task/11234/stat : 11234 (strangenight2-m) R 11231 11233 10991 0 -1 4202560 18104 0 0 0 622 4 0 0 25 0 4 0 495455657 503328768 49900 33554432000 4194304 4627427 140735703063552 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11233/tid=11235] ppid=11231 vsize=491532 CPUtime=6.28 cores=0,2,4,6
/proc/11233/task/11235/stat : 11235 (strangenight2-m) R 11231 11233 10991 0 -1 4202560 17926 0 0 0 625 3 0 0 25 0 4 0 495455657 503328768 49900 33554432000 4194304 4627427 140735703063552 18446744073709551615 4308885 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11233/tid=11236] ppid=11231 vsize=491532 CPUtime=6.29 cores=0,2,4,6
/proc/11233/task/11236/stat : 11236 (strangenight2-m) R 11231 11233 10991 0 -1 4202560 10403 0 0 0 627 2 0 0 25 0 4 0 495455657 503328768 49900 33554432000 4194304 4627427 140735703063552 18446744073709551615 4327622 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 25.15
Current children cumulated vsize (KiB) 491532

[startup+12.7064 s]
/proc/loadavg: 7.62 7.90 6.73 10/184 11238
/proc/meminfo: memFree=14035612/32951124 swapFree=67111528/67111528
[pid=11233] ppid=11231 vsize=389612 CPUtime=50.73 cores=0,2,4,6
/proc/11233/stat : 11233 (strangenight2-m) R 11231 11233 10991 0 -1 4202496 83730 0 0 0 5055 18 0 0 25 0 4 0 495455657 398962688 45602 33554432000 4194304 4627427 140735703063552 18446744073709551615 4308345 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/11233/statm: 97403 45602 387 106 0 92374 0
[pid=11233/tid=11234] ppid=11231 vsize=389612 CPUtime=12.62 cores=0,2,4,6
/proc/11233/task/11234/stat : 11234 (strangenight2-m) R 11231 11233 10991 0 -1 4202560 23161 0 0 0 1257 5 0 0 25 0 4 0 495455657 398962688 45602 33554432000 4194304 4627427 140735703063552 18446744073709551615 4327897 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11233/tid=11235] ppid=11231 vsize=389612 CPUtime=12.69 cores=0,2,4,6
/proc/11233/task/11235/stat : 11235 (strangenight2-m) R 11231 11233 10991 0 -1 4202560 22929 0 0 0 1265 4 0 0 25 0 4 0 495455657 398962688 45602 33554432000 4194304 4627427 140735703063552 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11233/tid=11236] ppid=11231 vsize=389612 CPUtime=12.69 cores=0,2,4,6
/proc/11233/task/11236/stat : 11236 (strangenight2-m) R 11231 11233 10991 0 -1 4202560 15504 0 0 0 1266 3 0 0 25 0 4 0 495455657 398962688 45602 33554432000 4194304 4627427 140735703063552 18446744073709551615 4327557 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 50.73
Current children cumulated vsize (KiB) 389612

[startup+25.501 s]
/proc/loadavg: 7.68 7.90 6.74 10/184 11238
/proc/meminfo: memFree=13872320/32951124 swapFree=67111528/67111528
[pid=11233] ppid=11231 vsize=597544 CPUtime=101.84 cores=0,2,4,6
/proc/11233/stat : 11233 (strangenight2-m) R 11231 11233 10991 0 -1 4202496 172683 0 0 0 10145 39 0 0 25 0 4 0 495455657 611885056 99801 33554432000 4194304 4627427 140735703063552 18446744073709551615 4308654 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/11233/statm: 149386 99801 390 106 0 144357 0
[pid=11233/tid=11234] ppid=11231 vsize=597544 CPUtime=25.36 cores=0,2,4,6
/proc/11233/task/11234/stat : 11234 (strangenight2-m) R 11231 11233 10991 0 -1 4202560 60918 0 0 0 2520 16 0 0 25 0 4 0 495455657 611885056 99801 33554432000 4194304 4627427 140735703063552 18446744073709551615 4308376 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11233/tid=11235] ppid=11231 vsize=597544 CPUtime=25.49 cores=0,2,4,6
/proc/11233/task/11235/stat : 11235 (strangenight2-m) R 11231 11233 10991 0 -1 4202560 39631 0 0 0 2541 8 0 0 25 0 4 0 495455657 611885056 99801 33554432000 4194304 4627427 140735703063552 18446744073709551615 4308703 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11233/tid=11236] ppid=11231 vsize=597544 CPUtime=25.48 cores=0,2,4,6
/proc/11233/task/11236/stat : 11236 (strangenight2-m) R 11231 11233 10991 0 -1 4202560 24179 0 0 0 2543 5 0 0 25 0 4 0 495455657 611885056 99801 33554432000 4194304 4627427 140735703063552 18446744073709551615 4238944 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 101.84
Current children cumulated vsize (KiB) 597544

[startup+51.1002 s]
/proc/loadavg: 7.79 7.91 6.77 10/184 11239
/proc/meminfo: memFree=13687952/32951124 swapFree=67111528/67111528
[pid=11233] ppid=11231 vsize=759916 CPUtime=204.1 cores=0,2,4,6
/proc/11233/stat : 11233 (strangenight2-m) R 11231 11233 10991 0 -1 4202496 262671 0 0 0 20350 60 0 0 25 0 4 0 495455657 778153984 141624 33554432000 4194304 4627427 140735703063552 18446744073709551615 4308323 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/11233/statm: 189979 141624 390 106 0 184950 0
[pid=11233/tid=11234] ppid=11231 vsize=759916 CPUtime=50.81 cores=0,2,4,6
/proc/11233/task/11234/stat : 11234 (strangenight2-m) R 11231 11233 10991 0 -1 4202560 77815 0 0 0 5062 19 0 0 25 0 4 0 495455657 778153984 141624 33554432000 4194304 4627427 140735703063552 18446744073709551615 4308362 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11233/tid=11235] ppid=11231 vsize=759916 CPUtime=51.09 cores=0,2,4,6
/proc/11233/task/11235/stat : 11235 (strangenight2-m) R 11231 11233 10991 0 -1 4202560 66333 0 0 0 5093 16 0 0 25 0 4 0 495455657 778153984 141624 33554432000 4194304 4627427 140735703063552 18446744073709551615 4520543 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11233/tid=11236] ppid=11231 vsize=759916 CPUtime=51.09 cores=0,2,4,6
/proc/11233/task/11236/stat : 11236 (strangenight2-m) R 11231 11233 10991 0 -1 4202560 53045 0 0 0 5097 12 0 0 25 0 4 0 495455657 778153984 141624 33554432000 4194304 4627427 140735703063552 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 204.1
Current children cumulated vsize (KiB) 759916

[startup+102.301 s]
/proc/loadavg: 7.95 7.94 6.85 10/184 11240
/proc/meminfo: memFree=13402372/32951124 swapFree=67111528/67111528
[pid=11233] ppid=11231 vsize=1135828 CPUtime=408.62 cores=0,2,4,6
/proc/11233/stat : 11233 (strangenight2-m) R 11231 11233 10991 0 -1 4202496 378859 0 0 0 40771 91 0 0 25 0 4 0 495455657 1163087872 190136 33554432000 4194304 4627427 140735703063552 18446744073709551615 4324972 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/11233/statm: 283957 190136 390 106 0 278928 0
[pid=11233/tid=11234] ppid=11231 vsize=1135828 CPUtime=101.74 cores=0,2,4,6
/proc/11233/task/11234/stat : 11234 (strangenight2-m) R 11231 11233 10991 0 -1 4202560 103100 0 0 0 10149 25 0 0 25 0 4 0 495455657 1163087872 190136 33554432000 4194304 4627427 140735703063552 18446744073709551615 4310097 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11233/tid=11235] ppid=11231 vsize=1135828 CPUtime=102.29 cores=0,2,4,6
/proc/11233/task/11235/stat : 11235 (strangenight2-m) R 11231 11233 10991 0 -1 4202560 90945 0 0 0 10206 23 0 0 25 0 4 0 495455657 1163087872 190136 33554432000 4194304 4627427 140735703063552 18446744073709551615 4327897 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11233/tid=11236] ppid=11231 vsize=1135828 CPUtime=102.28 cores=0,2,4,6
/proc/11233/task/11236/stat : 11236 (strangenight2-m) R 11231 11233 10991 0 -1 4202560 91524 0 0 0 10205 23 0 0 25 0 4 0 495455657 1163087872 190136 33554432000 4194304 4627427 140735703063552 18446744073709551615 4333184 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 408.62
Current children cumulated vsize (KiB) 1135828

[startup+162.306 s]

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

[pid=11233] ppid=11231 vsize=1568052 CPUtime=2805.36 cores=0,2,4,6
/proc/11233/stat : 11233 (strangenight2-m) R 11231 11233 10991 0 -1 4202496 1376576 0 0 0 280133 403 0 0 25 0 4 0 495455657 1605685248 315623 33554432000 4194304 4627427 140735703063552 18446744073709551615 4308149 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/11233/statm: 392013 315623 390 106 0 386984 0
[pid=11233/tid=11234] ppid=11231 vsize=1568052 CPUtime=698.49 cores=0,2,4,6
/proc/11233/task/11234/stat : 11234 (strangenight2-m) R 11231 11233 10991 0 -1 4202560 339249 0 0 0 69751 98 0 0 25 0 4 0 495455657 1605685248 315623 33554432000 4194304 4627427 140735703063552 18446744073709551615 4330946 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11233/tid=11235] ppid=11231 vsize=1568052 CPUtime=702.29 cores=0,2,4,6
/proc/11233/task/11235/stat : 11235 (strangenight2-m) R 11231 11233 10991 0 -1 4202560 359305 0 0 0 70119 110 0 0 25 0 4 0 495455657 1605685248 315623 33554432000 4194304 4627427 140735703063552 18446744073709551615 4324663 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11233/tid=11236] ppid=11231 vsize=1568052 CPUtime=702.25 cores=0,2,4,6
/proc/11233/task/11236/stat : 11236 (strangenight2-m) R 11231 11233 10991 0 -1 4202560 364903 0 0 0 70122 103 0 0 25 0 4 0 495455657 1605685248 315623 33554432000 4194304 4627427 140735703063552 18446744073709551615 4334176 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2805.36
Current children cumulated vsize (KiB) 1568052

[startup+762.301 s]
/proc/loadavg: 8.11 8.08 7.46 10/184 11258
/proc/meminfo: memFree=12550072/32951124 swapFree=67111528/67111528
[pid=11233] ppid=11231 vsize=1699920 CPUtime=3045.02 cores=0,2,4,6
/proc/11233/stat : 11233 (strangenight2-m) R 11231 11233 10991 0 -1 4202496 1475322 0 0 0 304064 438 0 0 25 0 4 0 495455657 1740718080 342082 33554432000 4194304 4627427 140735703063552 18446744073709551615 4309315 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/11233/statm: 424980 342082 390 106 0 419951 0
[pid=11233/tid=11234] ppid=11231 vsize=1699920 CPUtime=758.16 cores=0,2,4,6
/proc/11233/task/11234/stat : 11234 (strangenight2-m) R 11231 11233 10991 0 -1 4202560 367522 0 0 0 75710 106 0 0 25 0 4 0 495455657 1740718080 342082 33554432000 4194304 4627427 140735703063552 18446744073709551615 4332992 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11233/tid=11235] ppid=11231 vsize=1699920 CPUtime=762.28 cores=0,2,4,6
/proc/11233/task/11235/stat : 11235 (strangenight2-m) R 11231 11233 10991 0 -1 4202560 386300 0 0 0 76107 121 0 0 25 0 4 0 495455657 1740718080 342082 33554432000 4194304 4627427 140735703063552 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11233/tid=11236] ppid=11231 vsize=1699920 CPUtime=762.26 cores=0,2,4,6
/proc/11233/task/11236/stat : 11236 (strangenight2-m) R 11231 11233 10991 0 -1 4202560 388720 0 0 0 76115 111 0 0 25 0 4 0 495455657 1740718080 342082 33554432000 4194304 4627427 140735703063552 18446744073709551615 4302476 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3045.02
Current children cumulated vsize (KiB) 1699920

[startup+822.307 s]
/proc/loadavg: 8.12 8.09 7.50 10/184 11259
/proc/meminfo: memFree=12385764/32951124 swapFree=67111528/67111528
[pid=11233] ppid=11231 vsize=1558104 CPUtime=3284.71 cores=0,2,4,6
/proc/11233/stat : 11233 (strangenight2-m) R 11231 11233 10991 0 -1 4202496 1574718 0 0 0 328000 471 0 0 25 0 4 0 495455657 1595498496 337342 33554432000 4194304 4627427 140735703063552 18446744073709551615 4507260 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/11233/statm: 389526 337342 390 106 0 384497 0
[pid=11233/tid=11234] ppid=11231 vsize=1558104 CPUtime=817.83 cores=0,2,4,6
/proc/11233/task/11234/stat : 11234 (strangenight2-m) R 11231 11233 10991 0 -1 4202560 394929 0 0 0 81669 114 0 0 25 0 4 0 495455657 1595498496 337343 33554432000 4194304 4627427 140735703063552 18446744073709551615 4309225 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11233/tid=11235] ppid=11231 vsize=1558104 CPUtime=822.3 cores=0,2,4,6
/proc/11233/task/11235/stat : 11235 (strangenight2-m) R 11231 11233 10991 0 -1 4202560 409238 0 0 0 82100 130 0 0 25 0 4 0 495455657 1595498496 337343 33554432000 4194304 4627427 140735703063552 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11233/tid=11236] ppid=11231 vsize=1558104 CPUtime=822.25 cores=0,2,4,6
/proc/11233/task/11236/stat : 11236 (strangenight2-m) R 11231 11233 10991 0 -1 4202560 414462 0 0 0 82106 119 0 0 25 0 4 0 495455657 1595498496 337343 33554432000 4194304 4627427 140735703063552 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3284.71
Current children cumulated vsize (KiB) 1558104

[startup+882.3 s]
/proc/loadavg: 8.12 8.10 7.54 10/184 11261
/proc/meminfo: memFree=12411924/32951124 swapFree=67111528/67111528
[pid=11233] ppid=11231 vsize=1721984 CPUtime=3524.35 cores=0,2,4,6
/proc/11233/stat : 11233 (strangenight2-m) R 11231 11233 10991 0 -1 4202496 1671116 0 0 0 351933 502 0 0 25 0 4 0 495455657 1763311616 330177 33554432000 4194304 4627427 140735703063552 18446744073709551615 4308139 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/11233/statm: 430496 330178 390 106 0 425467 0
[pid=11233/tid=11234] ppid=11231 vsize=1721984 CPUtime=877.5 cores=0,2,4,6
/proc/11233/task/11234/stat : 11234 (strangenight2-m) R 11231 11233 10991 0 -1 4202560 417641 0 0 0 87628 122 0 0 25 0 4 0 495455657 1763311616 330178 33554432000 4194304 4627427 140735703063552 18446744073709551615 4327622 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11233/tid=11235] ppid=11231 vsize=1721984 CPUtime=882.29 cores=0,2,4,6
/proc/11233/task/11235/stat : 11235 (strangenight2-m) R 11231 11233 10991 0 -1 4202560 432672 0 0 0 88092 137 0 0 25 0 4 0 495455657 1763311616 330178 33554432000 4194304 4627427 140735703063552 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11233/tid=11236] ppid=11231 vsize=1721984 CPUtime=882.24 cores=0,2,4,6
/proc/11233/task/11236/stat : 11236 (strangenight2-m) R 11231 11233 10991 0 -1 4202560 441767 0 0 0 88096 128 0 0 25 0 4 0 495455657 1763311616 330178 33554432000 4194304 4627427 140735703063552 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3524.35
Current children cumulated vsize (KiB) 1721984

[startup+942.301 s]
/proc/loadavg: 8.08 8.09 7.57 9/184 11293
/proc/meminfo: memFree=13505612/32951124 swapFree=67111528/67111528
[pid=11233] ppid=11231 vsize=1546728 CPUtime=3764.02 cores=0,2,4,6
/proc/11233/stat : 11233 (strangenight2-m) R 11231 11233 10991 0 -1 4202496 1767058 0 0 0 375867 535 0 0 25 0 4 0 495455657 1583849472 341406 33554432000 4194304 4627427 140735703063552 18446744073709551615 4327360 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/11233/statm: 386682 341407 390 106 0 381653 0
[pid=11233/tid=11234] ppid=11231 vsize=1546728 CPUtime=937.18 cores=0,2,4,6
/proc/11233/task/11234/stat : 11234 (strangenight2-m) R 11231 11233 10991 0 -1 4202560 442645 0 0 0 93587 131 0 0 25 0 4 0 495455657 1583849472 341407 33554432000 4194304 4627427 140735703063552 18446744073709551615 4308362 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11233/tid=11235] ppid=11231 vsize=1546728 CPUtime=942.28 cores=0,2,4,6
/proc/11233/task/11235/stat : 11235 (strangenight2-m) R 11231 11233 10991 0 -1 4202560 451488 0 0 0 94085 143 0 0 25 0 4 0 495455657 1583849472 341407 33554432000 4194304 4627427 140735703063552 18446744073709551615 4327573 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11233/tid=11236] ppid=11231 vsize=1546728 CPUtime=942.24 cores=0,2,4,6
/proc/11233/task/11236/stat : 11236 (strangenight2-m) R 11231 11233 10991 0 -1 4202560 468647 0 0 0 94087 137 0 0 25 0 4 0 495455657 1583849472 341407 33554432000 4194304 4627427 140735703063552 18446744073709551615 4309109 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3764.02
Current children cumulated vsize (KiB) 1546728

[startup+1002.3 s]
/proc/loadavg: 8.11 8.10 7.61 9/184 11295
/proc/meminfo: memFree=13360860/32951124 swapFree=67111528/67111528
[pid=11233] ppid=11231 vsize=1642492 CPUtime=4003.7 cores=0,2,4,6
/proc/11233/stat : 11233 (strangenight2-m) R 11231 11233 10991 0 -1 4202496 1859072 0 0 0 399802 568 0 0 25 0 4 0 495455657 1681911808 332627 33554432000 4194304 4627427 140735703063552 18446744073709551615 4309315 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/11233/statm: 410623 332627 390 106 0 405594 0
[pid=11233/tid=11234] ppid=11231 vsize=1642492 CPUtime=996.86 cores=0,2,4,6
/proc/11233/task/11234/stat : 11234 (strangenight2-m) R 11231 11233 10991 0 -1 4202560 465215 0 0 0 99548 138 0 0 25 0 4 0 495455657 1681911808 332627 33554432000 4194304 4627427 140735703063552 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11233/tid=11235] ppid=11231 vsize=1642492 CPUtime=1002.28 cores=0,2,4,6
/proc/11233/task/11235/stat : 11235 (strangenight2-m) R 11231 11233 10991 0 -1 4202560 476935 0 0 0 100076 152 0 0 25 0 4 0 495455657 1681911808 332627 33554432000 4194304 4627427 140735703063552 18446744073709551615 4306360 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11233/tid=11236] ppid=11231 vsize=1642492 CPUtime=1002.24 cores=0,2,4,6
/proc/11233/task/11236/stat : 11236 (strangenight2-m) R 11231 11233 10991 0 -1 4202560 489976 0 0 0 100081 143 0 0 25 0 4 0 495455657 1681911808 332627 33554432000 4194304 4627427 140735703063552 18446744073709551615 4308282 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4003.7
Current children cumulated vsize (KiB) 1642492

[startup+1062.3 s]
/proc/loadavg: 8.15 8.11 7.64 9/184 11297
/proc/meminfo: memFree=13296976/32951124 swapFree=67111528/67111528
[pid=11233] ppid=11231 vsize=1627332 CPUtime=4243.36 cores=0,2,4,6
/proc/11233/stat : 11233 (strangenight2-m) R 11231 11233 10991 0 -1 4202496 1961467 0 0 0 423735 601 0 0 25 0 4 0 495455657 1666387968 343157 33554432000 4194304 4627427 140735703063552 18446744073709551615 4310440 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/11233/statm: 406833 343157 390 106 0 401804 0
[pid=11233/tid=11234] ppid=11231 vsize=1627332 CPUtime=1056.53 cores=0,2,4,6
/proc/11233/task/11234/stat : 11234 (strangenight2-m) R 11231 11233 10991 0 -1 4202560 489847 0 0 0 105506 147 0 0 25 0 4 0 495455657 1666387968 343157 33554432000 4194304 4627427 140735703063552 18446744073709551615 4308715 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11233/tid=11235] ppid=11231 vsize=1627332 CPUtime=1062.27 cores=0,2,4,6
/proc/11233/task/11235/stat : 11235 (strangenight2-m) R 11231 11233 10991 0 -1 4202560 503643 0 0 0 106067 160 0 0 25 0 4 0 495455657 1666387968 343157 33554432000 4194304 4627427 140735703063552 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11233/tid=11236] ppid=11231 vsize=1627332 CPUtime=1062.23 cores=0,2,4,6
/proc/11233/task/11236/stat : 11236 (strangenight2-m) R 11231 11233 10991 0 -1 4202560 516177 0 0 0 106072 151 0 0 25 0 4 0 495455657 1666387968 343157 33554432000 4194304 4627427 140735703063552 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4243.36
Current children cumulated vsize (KiB) 1627332

[startup+1122.3 s]
/proc/loadavg: 8.13 8.10 7.66 9/184 11298
/proc/meminfo: memFree=13264104/32951124 swapFree=67111528/67111528
[pid=11233] ppid=11231 vsize=1612756 CPUtime=4483.03 cores=0,2,4,6
/proc/11233/stat : 11233 (strangenight2-m) R 11231 11233 10991 0 -1 4202496 2053465 0 0 0 447671 632 0 0 25 0 4 0 495455657 1651462144 328621 33554432000 4194304 4627427 140735703063552 18446744073709551615 4308588 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/11233/statm: 403189 328621 390 106 0 398160 0
[pid=11233/tid=11234] ppid=11231 vsize=1612756 CPUtime=1116.21 cores=0,2,4,6
/proc/11233/task/11234/stat : 11234 (strangenight2-m) R 11231 11233 10991 0 -1 4202560 516471 0 0 0 111464 157 0 0 25 0 4 0 495455657 1651462144 328621 33554432000 4194304 4627427 140735703063552 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11233/tid=11235] ppid=11231 vsize=1612756 CPUtime=1122.28 cores=0,2,4,6
/proc/11233/task/11235/stat : 11235 (strangenight2-m) R 11231 11233 10991 0 -1 4202560 528587 0 0 0 112059 169 0 0 25 0 4 0 495455657 1651462144 328621 33554432000 4194304 4627427 140735703063552 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11233/tid=11236] ppid=11231 vsize=1612756 CPUtime=1122.24 cores=0,2,4,6
/proc/11233/task/11236/stat : 11236 (strangenight2-m) R 11231 11233 10991 0 -1 4202560 535446 0 0 0 112066 158 0 0 25 0 4 0 495455657 1651462144 328621 33554432000 4194304 4627427 140735703063552 18446744073709551615 4327410 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4483.03
Current children cumulated vsize (KiB) 1612756

[startup+1182.3 s]
/proc/loadavg: 8.11 8.10 7.69 9/184 11300
/proc/meminfo: memFree=13044480/32951124 swapFree=67111528/67111528
[pid=11233] ppid=11231 vsize=1808500 CPUtime=4722.71 cores=0,2,4,6
/proc/11233/stat : 11233 (strangenight2-m) R 11231 11233 10991 0 -1 4202496 2167561 0 0 0 471603 668 0 0 25 0 4 0 495455657 1851904000 381841 33554432000 4194304 4627427 140735703063552 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/11233/statm: 452125 381841 390 106 0 447096 0
[pid=11233/tid=11234] ppid=11231 vsize=1808500 CPUtime=1175.88 cores=0,2,4,6
/proc/11233/task/11234/stat : 11234 (strangenight2-m) R 11231 11233 10991 0 -1 4202560 537140 0 0 0 117424 164 0 0 25 0 4 0 495455657 1851904000 381841 33554432000 4194304 4627427 140735703063552 18446744073709551615 4327410 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11233/tid=11235] ppid=11231 vsize=1808500 CPUtime=1182.27 cores=0,2,4,6
/proc/11233/task/11235/stat : 11235 (strangenight2-m) R 11231 11233 10991 0 -1 4202560 577042 0 0 0 118045 182 0 0 25 0 4 0 495455657 1851904000 381841 33554432000 4194304 4627427 140735703063552 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11233/tid=11236] ppid=11231 vsize=1808500 CPUtime=1182.24 cores=0,2,4,6
/proc/11233/task/11236/stat : 11236 (strangenight2-m) R 11231 11233 10991 0 -1 4202560 559791 0 0 0 118058 166 0 0 25 0 4 0 495455657 1851904000 381841 33554432000 4194304 4627427 140735703063552 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4722.71
Current children cumulated vsize (KiB) 1808500



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.15 8.11 7.70 9/184 11300
/proc/meminfo: memFree=13102752/32951124 swapFree=67111528/67111528
[pid=11233] ppid=11231 vsize=1745108 CPUtime=4800.23 cores=0,2,4,6
/proc/11233/stat : 11233 (strangenight2-m) R 11231 11233 10991 0 -1 4202496 2199359 0 0 0 479345 678 0 0 25 0 4 0 495455657 1786990592 371085 33554432000 4194304 4627427 140735703063552 18446744073709551615 4327410 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/11233/statm: 436277 371085 390 106 0 431248 0
[pid=11233/tid=11234] ppid=11231 vsize=1745108 CPUtime=1195.18 cores=0,2,4,6
/proc/11233/task/11234/stat : 11234 (strangenight2-m) R 11231 11233 10991 0 -1 4202560 544143 0 0 0 119351 167 0 0 25 0 4 0 495455657 1786990592 371085 33554432000 4194304 4627427 140735703063552 18446744073709551615 4332689 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11233/tid=11235] ppid=11231 vsize=1745108 CPUtime=1201.68 cores=0,2,4,6
/proc/11233/task/11235/stat : 11235 (strangenight2-m) R 11231 11233 10991 0 -1 4202560 586100 0 0 0 119983 185 0 0 25 0 4 0 495455657 1786990592 371085 33554432000 4194304 4627427 140735703063552 18446744073709551615 4308275 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11233/tid=11236] ppid=11231 vsize=1745108 CPUtime=1201.65 cores=0,2,4,6
/proc/11233/task/11236/stat : 11236 (strangenight2-m) R 11231 11233 10991 0 -1 4202560 568939 0 0 0 119996 169 0 0 25 0 4 0 495455657 1786990592 371085 33554432000 4194304 4627427 140735703063552 18446744073709551615 4334195 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4800.23
Current children cumulated vsize (KiB) 1745108

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

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

[startup+1201.7 s]
/proc/loadavg: 8.15 8.11 7.70 9/184 11300
/proc/meminfo: memFree=13102752/32951124 swapFree=67111528/67111528
[pid=11233] ppid=11231 vsize=1745108 CPUtime=4800.23 cores=0,2,4,6
/proc/11233/stat : 11233 (strangenight2-m) R 11231 11233 10991 0 -1 4202496 2199359 0 0 0 479345 678 0 0 25 0 4 0 495455657 1786990592 371085 33554432000 4194304 4627427 140735703063552 18446744073709551615 4327410 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/11233/statm: 436277 371085 390 106 0 431248 0
[pid=11233/tid=11234] ppid=11231 vsize=1745108 CPUtime=1195.18 cores=0,2,4,6
/proc/11233/task/11234/stat : 11234 (strangenight2-m) R 11231 11233 10991 0 -1 4202560 544143 0 0 0 119351 167 0 0 25 0 4 0 495455657 1786990592 371085 33554432000 4194304 4627427 140735703063552 18446744073709551615 4332689 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11233/tid=11235] ppid=11231 vsize=1745108 CPUtime=1201.68 cores=0,2,4,6
/proc/11233/task/11235/stat : 11235 (strangenight2-m) R 11231 11233 10991 0 -1 4202560 586100 0 0 0 119983 185 0 0 25 0 4 0 495455657 1786990592 371085 33554432000 4194304 4627427 140735703063552 18446744073709551615 4308275 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11233/tid=11236] ppid=11231 vsize=1745108 CPUtime=1201.65 cores=0,2,4,6
/proc/11233/task/11236/stat : 11236 (strangenight2-m) R 11231 11233 10991 0 -1 4202560 568939 0 0 0 119996 169 0 0 25 0 4 0 495455657 1786990592 371085 33554432000 4194304 4627427 140735703063552 18446744073709551615 4334195 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4800.23
Current children cumulated vsize (KiB) 1745108

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.78
CPU time (s): 4800.33
CPU user time (s): 4793.47
CPU system time (s): 6.85196
CPU usage (%): 399.434
Max. virtual memory (cumulated for all children) (KiB): 1808652

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4793.47
system time used= 6.85196
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2199366
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= 2339
involuntary context switches= 22167

runsolver used 1.93571 second user time and 4.47932 second system time

The end

Launcher Data 

Begin job on node141 at 2011-04-29 00:40:00
IDJOB=3173754
IDBENCH=82572
IDSOLVER=1586
FILE ID=node141/3173754-1304030400
RUNJOBID= node141-1304028687-11010
PBS_JOBID= 13170311
Free space on /tmp= 71412 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
BENCH NAME= SAT11/random/large/unif-k3-r4.2-v35000-c147000-S950666065-093-UNKNOWN.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3173754-1304030400/watcher-3173754-1304030400 -o /tmp/evaluation-result-3173754-1304030400/solver-3173754-1304030400 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3173754-1304030400.cnf

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

MD5SUM BENCH= e27af9a147b2d7c0283d090128805575
RANDOM SEED=1131982993

node141.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.806
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.61
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.806
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	: 5362.96
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.806
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.806
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.75
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.806
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.84
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.806
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.806
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.806
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:      14219700 kB
Buffers:       1621880 kB
Cached:       15515588 kB
SwapCached:          0 kB
Active:        8815092 kB
Inactive:      9333384 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      14219700 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            8552 kB
Writeback:           0 kB
AnonPages:     1010736 kB
Mapped:          15464 kB
Slab:           518376 kB
PageTables:       6744 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  1365444 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= 71408 MiB
End job on node141 at 2011-04-29 01:00:04