Trace number 3369229

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-1-mt (fixed)? (TO) 4800.27 1203.16

General information on the benchmark

NameSAT03/handmade/anton/UNSAT/
SGI_30_60_20_50_3-dir.shuffled-as.sat03-114.cnf
MD5SUM9ffa0325c9e00b41c025f41d20ec5a0c
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark4252.27
Satisfiable
(Un)Satisfiability was proved
Number of variables600
Number of clauses49070
Sum of the clauses size98700
Maximum clause length30
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 249050
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 520

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-3369229-1305415681.cnf'
0.00/0.00	c -- header says num vars:            600
0.00/0.00	c -- header says num clauses:       49070
0.00/0.02	c -- clauses added:            0 learnts,        49070 normals,            0 xors
0.00/0.02	c -- vars added        600
0.00/0.02	c Parsing time:  0.02 s
0.00/0.02	c  N st     0         0       600        20     49050         0     98700         0   no data   no data  --
0.00/0.02	c asymm  cl-useful: 0/20/20 lits-rem:0 time: 0.00
0.00/0.04	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.03
0.00/0.04	c bin-w-bin subsume rem            0 bins  time:  0.03 s
0.00/0.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
0.00/0.05	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    600 time:  0.02 s
0.00/0.05	c Removed useless bin:       0  fixed:     0  props:   0.25M  time:  0.02 s
0.00/0.89	c lits-rem:       420  cl-subs:        0  v-elim:     20  v-fix:    0  time:  0.04 s
0.00/0.89	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.89	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.89	c calculated reachability. Time: 0.00
0.00/0.89	c Calc default polars -  time:   0.00 s pos:     284 undec:      20 neg:     296
0.00/0.89	c =========================================================================================
0.00/0.89	c types(t): F = full restart, N = normal restart
0.00/0.89	c types(t): S = simplification begin/end, E = solution found
0.00/0.89	c restart types(rt): st = static, dy = dynamic
0.00/0.89	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.89	c  B st     0         0       580      1030     47440         0    130680         0   no data   no data  --
0.00/0.89	c  N dy    18      4196       580      1030     47442      4020    130680    258745      8.23      8.69  --
0.00/0.89	c  N dy    37      8351       580      1030     47449      5644    130680    436439      9.29      9.85  --
4.41/1.21	c  N dy    63     12537       578      1030     47452      5602    130680    308716     10.02     10.81  --
6.02/1.54	c  N dy    80     16926       578      1030     47456      9843    130680    485878     10.07     10.64  --
7.13/1.89	c  N dy   108     21000       578      1030     47461      8383    130680    453399     10.49     20.61  --
9.11/2.38	c  F st   131     25001       578      1030     47462     12267    130679    724031     10.96      7.65  --
9.11/2.39	c  N st   131     25001       578      1016     46926     11403    129055    710840     10.96      7.65  --
11.12/2.89	c  N dy   137     30000       578      1016     46930     10053    129055    572070     10.96   no data  --
11.12/2.89	c  S st   137     30000       578      1016     46930     10053    129055    572070     10.96   no data  --
11.52/2.94	c  S st   137     30505       577      1016     46930     10553    129055    595526     10.96   no data  --
11.52/2.94	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
11.52/2.94	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
11.95/3.07	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     13 BRemL:      0 BRemN:      0 P:  4.8M T:  0.49
11.95/3.10	c bin-w-bin subsume rem            0 bins  time:  0.03 s
17.50/4.40	c subs with bin:        0  lits-rem:      1118  v-fix:    0  time:  5.18 s
17.50/4.41	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    577 time:  0.02 s
17.50/4.41	c Removed useless bin:       0  fixed:     0  props:   0.23M  time:  0.02 s
29.08/7.38	c lits-rem:      3744  cl-subs:      826  v-elim:      0  v-fix:    0  time: 11.84 s
29.51/7.48	c asymm  cl-useful: 592/996/1016 lits-rem:7197 time: 0.40
29.51/7.48	c calculated reachability. Time: 0.00
29.51/7.48	c  N dy   137     30505       577      1016     46704      9716    117486    557347     10.96   no data  --
32.26/8.12	c  N dy   154     34946       576      1016     46721     13951    117486    773527     10.95     11.73  --
33.90/8.58	c  N dy   175     38980       576      1016     46723     10422    117485    439440     11.08     14.84  --
37.05/9.35	c  N dy   194     44705       576      1016     46725     15817    117485    654750     11.02     11.64  --
37.85/9.52	c  S st   196     45757       576      1016     46726     16799    117485    683443     10.97     11.60  --
37.85/9.57	c  S st   196     46257       576      1016     46726      8867    117485    336538     10.97   no data  --
37.85/9.57	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
37.85/9.57	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
38.29/9.65	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      1 BRemL:      0 BRemN:      0 P:  3.1M T:  0.31
38.29/9.67	c bin-w-bin subsume rem            0 bins  time:  0.02 s
43.44/10.90	c subs with bin:       54  lits-rem:       369  v-fix:    0  time:  4.93 s
43.44/10.91	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    576 time:  0.02 s
43.44/10.91	c Removed useless bin:       0  fixed:     0  props:   0.23M  time:  0.02 s
45.04/11.33	c lits-rem:      1288  cl-subs:      465  v-elim:      0  v-fix:    0  time:  1.67 s
45.04/11.33	c vivif2 --  cl tried     1016 cl shrink      182 lits rem        186 time: 0.00
45.04/11.34	c vivif2 --  cl tried     8322 cl shrink     1344 lits rem       1847 time: 0.05
45.44/11.41	c asymm  cl-useful: 1/1016/1016 lits-rem:1 time: 0.27
45.44/11.41	c calculated reachability. Time: 0.00
45.44/11.41	c  N dy   196     46257       576      1016     46471      8322    116647    326486     10.97   no data  --
47.07/11.88	c  N dy   216     50296       576      1016     46472     12153    116647    508079     10.99     11.73  --
49.42/12.42	c  N dy   238     54543       574      1016     46484     16203    116647    733879     11.18     11.83  --
51.45/12.98	c  N dy   243     58794       574      1016     46488     10862    116647    450759     11.01     11.60  --
53.81/13.51	c  N dy   253     63102       574      1016     46489     14944    116647    627521     10.94     11.59  --
56.25/14.13	c  N dy   275     67129       574      1016     46490     18820    116647    854763     11.04     14.64  --
57.81/14.60	c  S st   287     69385       574      1016     46493     10511    116647    353746     11.04   no data  --
58.21/14.64	c  S st   287     69888       574      1016     46493     11013    116647    380485     11.04   no data  --
58.21/14.64	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
58.21/14.64	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
58.61/14.73	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      1 BRemL:      0 BRemN:      0 P:  3.4M T:  0.35
58.61/14.75	c bin-w-bin subsume rem            0 bins  time:  0.02 s
63.79/16.03	c subs with bin:      452  lits-rem:       860  v-fix:    0  time:  5.13 s
63.79/16.04	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    574 time:  0.02 s
63.79/16.04	c Removed useless bin:       0  fixed:     0  props:   0.22M  time:  0.02 s
74.55/18.72	c lits-rem:      1700  cl-subs:      611  v-elim:      0  v-fix:    0  time: 10.69 s
74.55/18.72	c vivif2 --  cl tried     1005 cl shrink       11 lits rem         14 time: 0.00
74.55/18.74	c vivif2 --  cl tried     9926 cl shrink     2085 lits rem       3347 time: 0.06
74.95/18.81	c asymm  cl-useful: 0/1005/1005 lits-rem:0 time: 0.30
74.95/18.81	c calculated reachability. Time: 0.00
74.95/18.81	c  N dy   287     69888       574      1005     46047      9925    115514    360407     11.04   no data  --
76.96/19.31	c  N dy   303     74393       574      1005     46084     14265    115514    681700     11.05     27.20  --
80.14/20.18	c  N dy   334     79284       571      1005     46088     19007    115514   1095157     11.33     12.36  --
84.53/21.27	c  N dy   366     84423       571      1005     46096     12501    115514    487607     11.48     17.68  --
86.13/21.62	c  F st   385     87501       571      1005     46097     15500    115514    744725     11.58      8.59  --
88.12/22.15	c  N st   390     90801       571       979     45373     13899    113724    938486     11.58   no data  --
94.11/23.61	c  N dy   401     97402       571       979     45383     20164    113724   1332335     11.49     12.15  --
97.30/24.41	c  N dy   429    104506       569       979     45411     16868    113724    750454     11.46     12.52  --
97.30/24.45	c  S st   430    104832       569       979     45411     17179    113724    772221     11.45      7.25  --
97.70/24.51	c  S st   430    105332       569       979     45411     17676    113724    809794     11.45   no data  --
97.70/24.51	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
97.70/24.51	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
98.10/24.67	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      1 BRemL:      0 BRemN:      0 P:  6.7M T:  0.62
98.50/24.70	c bin-w-bin subsume rem            0 bins  time:  0.02 s
103.69/26.02	c subs with bin:       56  lits-rem:       223  v-fix:    0  time:  5.26 s
103.69/26.03	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    569 time:  0.02 s
103.69/26.03	c Removed useless bin:       0  fixed:     0  props:   0.22M  time:  0.02 s
116.45/29.27	c lits-rem:      2253  cl-subs:      523  v-elim:      0  v-fix:    0  time: 12.91 s
116.45/29.27	c vivif2 --  cl tried      968 cl shrink       11 lits rem         11 time: 0.00
116.45/29.28	c vivif2 --  cl tried    14338 cl shrink      504 lits rem        708 time: 0.06
116.85/29.40	c asymm  cl-useful: 0/968/968 lits-rem:0 time: 0.45
116.85/29.40	c calculated reachability. Time: 0.00
116.85/29.40	c  N dy   430    105332       569       968     44989     14337    112683    722532     11.45   no data  --
121.67/30.52	c  N dy   453    112142       569       968     45009     20929    112683   1250516     11.41     12.05  --
126.82/31.88	c  N dy   494    119809       569       968     45015     17470    112683   1035579     11.55     12.32  --
135.24/33.98	c  N dy   539    127648       569       968     45022     25070    112683   1608692     11.61     12.24  --
141.99/35.65	c  N dy   565    136392       569       968     45046     20333    112683   1229498     11.60     12.33  --
152.39/38.24	c  N dy   608    145501       568       968     45057     29053    112683   1874804     11.64     12.47  --
159.13/39.96	c  N dy   651    155493       567       968     45086     23885    112680   1232634     11.70     12.60  --
161.18/40.42	c  S st   658    157998       567       968     45086     26327    112680   1424444     11.71   no data  --
161.58/40.55	c  S st   658    158502       567       968     45086     26830    112680   1461927     11.71   no data  --
161.58/40.55	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
161.58/40.55	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
162.73/40.83	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      5 BRemL:      4 BRemN:      0 P: 10.9M T:  1.12
162.73/40.89	c bin-w-bin subsume rem            1 bins  time:  0.02 s
168.32/42.28	c subs with bin:       71  lits-rem:       455  v-fix:    0  time:  5.52 s
168.32/42.28	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    567 time:  0.02 s
168.32/42.29	c Removed useless bin:       0  fixed:     0  props:   0.21M  time:  0.02 s
180.69/45.38	c lits-rem:      1999  cl-subs:     1955  v-elim:      0  v-fix:    0  time: 12.36 s
180.69/45.38	c vivif2 --  cl tried      968 cl shrink       24 lits rem         42 time: 0.00
181.08/45.42	c vivif2 --  cl tried    22724 cl shrink     3590 lits rem      12142 time: 0.16
181.89/45.66	c asymm  cl-useful: 3/967/967 lits-rem:3 time: 0.94
181.89/45.66	c calculated reachability. Time: 0.00
181.89/45.66	c  N dy   658    158502       567       967     44572     22713    111636   1355975     11.71   no data  --
191.07/47.92	c Finding binary XORs  T:     0.00 s  found:       0
191.47/48.05	c  N dy   700    168645       565       945     44158     16649    110481    832652     11.75     18.18  --
201.07/50.42	c  N dy   749    180424       564       945     44179     28056    110481   1752930     11.78     12.49  --
211.41/53.00	c  N dy   803    192119       563       945     44183     23137    110481   1300662     11.87     12.54  --
223.78/56.14	c  N dy   845    204579       562       945     44227     35179    110481   2021469     11.90     12.67  --
235.36/59.10	c  N dy   913    218455       561       945     44250     30812    110481   1795968     11.99     12.74  --
250.91/62.91	c  N dy   972    234257       561       945     44259     26971    110481   1109092     12.00     12.67  --
253.34/63.59	c  S st   976    237753       561       945     44259     30311    110481   1229052     11.97      8.48  --
253.74/63.68	c  S st   976    238259       561       945     44266     30814    110481   1264262     11.97   no data  --
253.74/63.69	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
253.74/63.69	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
254.90/63.92	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      7 BRemL:      0 BRemN:      0 P:  9.0M T:  0.95
254.90/63.97	c bin-w-bin subsume rem            1 bins  time:  0.02 s
260.88/65.41	c subs with bin:      155  lits-rem:       940  v-fix:    0  time:  5.74 s
260.88/65.42	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    561 time:  0.02 s
260.88/65.42	c Removed useless bin:       0  fixed:     0  props:   0.20M  time:  0.02 s
267.66/67.19	c lits-rem:       987  cl-subs:     2730  v-elim:      0  v-fix:    0  time:  7.06 s
267.66/67.19	c vivif2 --  cl tried      922 cl shrink       10 lits rem         10 time: 0.00
268.06/67.23	c vivif2 --  cl tried    27263 cl shrink     1387 lits rem       1788 time: 0.13
268.85/67.40	c asymm  cl-useful: 0/922/922 lits-rem:0 time: 0.69
268.85/67.40	c calculated reachability. Time: 0.00
268.85/67.40	c  N dy   976    238259       561       922     43388     27260    108355   1186010     11.97   no data  --
283.22/71.03	c  N dy  1051    253533       560       922     43412     22258    108355   1019936     12.02     14.80  --
299.98/75.30	c  N dy  1103    269760       559       922     43426     37840    108355   2085445     11.97     20.76  --
318.34/79.82	c  N dy  1175    287082       559       922     43436     33667    108355   1825471     11.99     12.70  --
338.69/84.92	c  N dy  1225    305618       558       922     43459     29473    108355   1394303     11.92     12.74  --
339.09/85.07	c  F st  1230    306251       558       922     43459     30096    108355   1434290     11.93   no data  --
359.07/90.06	c  N dy  1312    325201       558       922     42667     22917    106913   1144569     12.05     16.83  --
381.38/95.60	c  N dy  1382    345865       558       922     42687     42856    106913   2548512     12.02     12.67  --
392.95/98.53	c  S st  1402    357388       558       922     42689     31047    106913   1316129     11.98      8.56  --
393.35/98.63	c  S st  1402    357889       558       922     42689     31543    106913   1356101     11.98   no data  --
393.35/98.64	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
393.35/98.64	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
394.55/98.93	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      7 BRemL:      0 BRemN:      0 P: 10.8M T:  1.17
394.55/98.97	c bin-w-bin subsume rem            0 bins  time:  0.02 s
400.13/100.36	c subs with bin:      135  lits-rem:       480  v-fix:    0  time:  5.54 s
400.13/100.37	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    558 time:  0.02 s
400.13/100.37	c Removed useless bin:       0  fixed:     0  props:   0.20M  time:  0.02 s
407.71/102.21	c lits-rem:       537  cl-subs:     1920  v-elim:      0  v-fix:    0  time:  7.33 s
407.71/102.21	c vivif2 --  cl tried      922 cl shrink       13 lits rem         15 time: 0.00
407.71/102.24	c vivif2 --  cl tried    29488 cl shrink     1286 lits rem       1580 time: 0.12
408.51/102.47	c asymm  cl-useful: 0/922/922 lits-rem:0 time: 0.90
408.51/102.47	c calculated reachability. Time: 0.00
408.51/102.47	c  N dy  1402    357889       558       922     42697     29487    106894   1316994     11.98   no data  --
434.04/108.82	c  N dy  1474    378148       557       922     42724     24591    106894   1089493     11.96     12.73  --
456.78/114.52	c  N dy  1533    398685       557       922     42745     44346    106894   2156021     11.93     12.56  --
480.73/120.50	c  N dy  1595    418785       556       922     42762     38062    106894   1946541     11.90     17.50  --
494.29/123.91	c Finding binary XORs  T:     0.00 s  found:       0
509.45/127.71	c  N dy  1678    439080       555       912     42138     30329    105471   1330081     11.93     12.63  --
534.99/134.18	c  N dy  1738    460153       553       912     42160     50675    105471   2654858     11.90     13.19  --
559.73/140.38	c  N dy  1825    480167       552       912     42197     42385    105471   2135850     11.93     13.82  --
590.06/147.90	c  N dy  1914    500264       551       912     42223     32965    105471   1376635     11.95     15.41  --
616.79/154.64	c  N dy  2029    520421       551       912     42227     52470    105471   2758879     12.04     12.88  --
639.56/160.32	c  S st  2133    536833       550       912     42243     38460    105471   1688119     12.13     11.40  --
639.96/160.44	c  S st  2133    537339       550       912     42243     38963    105471   1722155     12.13   no data  --
639.96/160.45	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
639.96/160.45	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
641.52/160.80	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      2 BRemL:     13 BRemN:      0 P: 12.9M T:  1.42
641.52/160.88	c bin-w-bin subsume rem            0 bins  time:  0.02 s
647.50/162.32	c subs with bin:       37  lits-rem:       104  v-fix:    0  time:  5.74 s
647.50/162.32	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    550 time:  0.02 s
647.50/162.32	c Removed useless bin:       0  fixed:     0  props:   0.18M  time:  0.02 s
657.52/164.82	c lits-rem:      1038  cl-subs:     1083  v-elim:      0  v-fix:    0  time:  9.94 s
657.52/164.82	c vivif2 --  cl tried      886 cl shrink       32 lits rem         97 time: 0.00
657.52/164.86	c vivif2 --  cl tried    31537 cl shrink     2854 lits rem       3635 time: 0.16
658.67/165.14	c asymm  cl-useful: 0/529/884 lits-rem:0 time: 1.11
658.67/165.14	c calculated reachability. Time: 0.00
658.67/165.14	c  N dy  2133    537339       550       884     41138     31534    102807   1573638     12.13   no data  --
692.22/173.55	c  N dy  2229    560698       549       884     41161     54014    102807   2949067     12.15     12.83  --
716.54/179.61	c  N dy  2324    581095       549       884     41173     45989    102807   2344731     12.19     12.92  --
747.66/187.45	c  N dy  2394    601111       549       884     41191     35037    102807   1490828     12.19     15.69  --
776.02/194.51	c  N dy  2479    621284       548       884     41208     54403    102807   2722284     12.21     12.98  --
802.70/201.26	c  N dy  2561    641519       548       884     41217     42084    102807   1964888     12.24     12.95  --
833.83/209.08	c  N dy  2664    661537       548       884     41232     61421    102807   3371471     12.29     17.96  --
861.36/215.92	c  N dy  2738    681897       548       884     41258     47696    102807   2266662     12.30     13.73  --
898.51/225.31	c  N dy  2846    702127       547       884     41273     67221    102807   3613133     12.35     13.04  --
924.84/231.88	c  N dy  2937    722202       547       884     41292     52111    102807   2576282     12.36     13.28  --
967.90/242.66	c  N dy  3059    742998       547       884     41306     36546    102807   1455686     12.44     13.11  --
970.28/243.21	c Finding binary XORs  T:     0.00 s  found:       0
994.63/249.38	c  N dy  3140    763476       546       875     40661     52450    101411   2667750     12.44     13.36  --
1030.57/258.33	c  N dy  3234    783599       545       875     40671     37167    101411   1560545     12.48     13.21  --
1057.26/265.00	c  N dy  3324    803683       545       875     40679     56571    101409   2859296     12.52     17.44  --
1060.47/265.86	c  S st  3332    806009       545       875     40679     58773    101409   3025824     12.52     10.14  --
1061.30/266.08	c  S st  3332    806511       545       875     40679     59270    101409   3066020     12.52   no data  --
1061.30/266.09	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
1061.30/266.09	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1064.45/266.84	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      1 BRemL:      2 BRemN:      0 P: 22.3M T:  3.01
1064.85/266.96	c bin-w-bin subsume rem            0 bins  time:  0.02 s
1071.22/268.54	c subs with bin:       12  lits-rem:       100  v-fix:    0  time:  6.30 s
1071.22/268.54	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    545 time:  0.02 s
1071.22/268.55	c Removed useless bin:       0  fixed:     0  props:   0.18M  time:  0.01 s
1106.33/277.38	c lits-rem:      1431  cl-subs:     3183  v-elim:      0  v-fix:    0  time: 35.22 s
1106.33/277.38	c vivif2 --  cl tried      863 cl shrink       40 lits rem        101 time: 0.00
1106.73/277.47	c vivif2 --  cl tried    54834 cl shrink     5428 lits rem       7316 time: 0.33
1107.93/277.78	c asymm  cl-useful: 0/336/862 lits-rem:0 time: 1.26
1107.93/277.79	c calculated reachability. Time: 0.00
1107.93/277.79	c  N dy  3332    806511       545       862     40286     54833    100297   2960463     12.52   no data  --
1147.44/287.60	c  N dy  3420    826582       544       862     40312     38195    100297   1621828     12.52     17.13  --
1175.76/294.78	c  N dy  3508    846742       543       862     40325     57611    100296   2936075     12.54     13.28  --
1213.27/304.13	c  N dy  3576    867042       543       862     40335     39390    100296   1605975     12.53     13.40  --
1239.60/310.79	c  N dy  3635    887106       543       862     40357     58660    100296   2863875     12.51     18.80  --
1282.29/321.45	c  N dy  3694    907145       543       862     40378     77784    100296   3939831     12.50     17.14  --
1316.60/330.09	c  N dy  3777    929841       541       862     40403     60573    100296   3066531     12.49     13.25  --
1363.29/341.80	c  N dy  3887    949892       541       862     40418     79873    100296   4334630     12.53     17.33  --
1391.61/348.84	c  N dy  3958    969961       541       862     40424     59067    100296   2837995     12.53     13.51  --
1436.70/360.19	c  N dy  4027    990009       541       862     40436     78386    100296   4177810     12.53     13.74  --
1469.46/368.37	c  N dy  4090   1010421       540       862     40464     56742    100296   2507718     12.52     13.18  --
1507.73/377.99	c  N dy  4197   1030426       538       832     39135     62784     97483   3432265     12.54     13.23  --
1539.68/385.94	c  N dy  4286   1050581       538       832     39146     46578     97483   2052523     12.57     13.37  --
1570.40/393.69	c  N dy  4362   1070671       537       832     39155     65792     97483   3119058     12.57     13.66  --
1572.76/394.26	c  F st  4374   1071875       537       832     39155     66960     97483   3194423     12.57   no data  --
1604.68/402.29	c  N dy  4453   1092371       535       808     38748     46333     96342   1890781     12.59     13.26  --
1635.83/410.08	c  N dy  4541   1113321       535       808     38758     66406     96342   3105428     12.60     13.29  --
1668.52/418.20	c Finding binary XORs  T:     0.00 s  found:       0
1677.69/420.54	c  N dy  4650   1133416       534       797     38143     37726     94968   1453610     12.63     13.33  --
1704.02/427.16	c  N dy  4767   1153955       533       797     38163     57653     94968   2823911     12.68     13.36  --
1742.33/436.75	c  N dy  4887   1174120       532       797     38177     77200     94968   4191130     12.75     13.42  --
1775.45/445.02	c  N dy  5016   1194210       532       797     38189     55142     94968   2538731     12.82     18.76  --
1804.17/452.29	c  S st  5099   1209768       532       797     38197     70272     94968   3616700     12.87   no data  --
1805.37/452.54	c  S st  5099   1210271       532       797     38197     70772     94968   3652572     12.87   no data  --
1805.37/452.55	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
1805.37/452.55	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1809.76/453.63	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      9 BRemL:      2 BRemN:      0 P: 26.9M T:  4.30
1810.16/453.76	c bin-w-bin subsume rem            0 bins  time:  0.02 s
1817.74/455.65	c subs with bin:        4  lits-rem:         9  v-fix:    0  time:  7.51 s
1817.74/455.65	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    532 time:  0.02 s
1817.74/455.65	c Removed useless bin:       0  fixed:     0  props:   0.17M  time:  0.02 s
1879.17/471.06	c lits-rem:       739  cl-subs:     3094  v-elim:      0  v-fix:    0  time: 61.42 s
1879.17/471.06	c vivif2 --  cl tried      773 cl shrink       22 lits rem         24 time: 0.00
1879.56/471.15	c vivif2 --  cl tried    64887 cl shrink     5093 lits rem       6089 time: 0.37
1881.16/471.55	c asymm  cl-useful: 0/270/773 lits-rem:0 time: 1.59
1881.16/471.55	c calculated reachability. Time: 0.00
1881.16/471.55	c  N dy  5099   1210271       532       773     37794     64886     93802   3504826     12.87   no data  --
1927.05/483.05	c  N dy  5176   1230317       531       773     37825     84158     93801   4776742     12.85     24.89  --
1956.97/490.59	c  N dy  5235   1251218       529       773     37843     61155     93801   2874509     12.84     13.56  --
1998.87/501.02	c  N dy  5326   1271255       528       773     37857     80337     93801   4078533     12.84     21.93  --
2034.79/510.01	c  N dy  5385   1291566       528       773     37872     54379     93801   2220396     12.82     13.56  --
2063.10/517.16	c  N dy  5433   1311616       527       773     37886     73584     93801   3341037     12.79     15.89  --
2103.80/527.39	c  N dy  5497   1331914       526       761     36768     84092     91296   4280179     12.78     13.50  --
2132.53/534.53	c  N dy  5567   1351943       525       761     36783     60631     91296   2790091     12.78     13.48  --
2167.29/543.23	c  N dy  5638   1372023       525       761     36790     79963     91296   4038301     12.78     14.63  --
2203.15/552.21	c  N dy  5702   1392157       525       761     36797     52929     91296   2130644     12.77     13.66  --
2234.67/560.18	c  N dy  5767   1413118       524       761     36802     73015     91296   3320436     12.76     13.62  --
2276.60/570.66	c  N dy  5838   1433301       523       761     36835     92283     91296   4425935     12.75     13.48  --
2309.69/578.99	c  N dy  5921   1453452       521       761     36851     63101     91296   2760463     12.76     13.86  --
2334.82/585.21	c Finding binary XORs  T:     0.01 s  found:       0
2349.18/588.85	c  N dy  6012   1473469       521       740     35916     79031     89118   3952071     12.77     13.52  --
2399.06/601.36	c  N dy  6090   1494093       521       740     35925     50248     89118   1940578     12.78     13.47  --
2431.78/609.53	c  N dy  6181   1514158       521       740     35929     69663     89118   3160884     12.80     36.73  --
2472.88/619.84	c  N dy  6254   1534680       521       740     35946     89370     89118   4387251     12.80     13.50  --
2515.17/630.47	c  N dy  6356   1554714       520       740     35960     57922     89118   2345185     12.83     13.79  --
2550.68/639.38	c  N dy  6460   1574749       520       740     35963     77234     89118   3551867     12.85     16.46  --
2595.36/650.53	c  N dy  6525   1594757       519       740     35978     96384     89118   4643123     12.84     13.58  --
2635.66/660.69	c  N dy  6634   1614857       518       740     35992     63400     89118   2587679     12.86     19.25  --
2677.55/671.15	c  N dy  6725   1636827       518       740     36000     84577     89118   3771955     12.86     14.45  --
2727.44/683.63	c  N dy  6837   1656829       518       740     36021    103890     89118   4964219     12.89     15.11  --
2763.79/692.80	c  N dy  6958   1676923       516       740     36040     69571     89118   2945864     12.94     13.68  --
2805.64/703.20	c  N dy  7094   1696960       515       728     34866     80512     86705   4090653     13.00     23.30  --
2841.15/712.11	c  S st  7183   1710271       514       728     34874     93450     86705   4982325     13.05   no data  --
2842.35/712.47	c  S st  7183   1710776       514       728     34875     93949     86705   5011215     13.05   no data  --
2842.35/712.48	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
2842.35/712.48	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2847.58/713.78	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 32.5M T:  5.18
2848.33/713.96	c bin-w-bin subsume rem            1 bins  time:  0.02 s
2855.11/715.68	c subs with bin:       74  lits-rem:       174  v-fix:    0  time:  6.85 s
2855.11/715.68	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    514 time:  0.02 s
2855.11/715.69	c Removed useless bin:       0  fixed:     0  props:   0.15M  time:  0.01 s
3008.73/754.14	c lits-rem:      1153  cl-subs:     3993  v-elim:      0  v-fix:    0  time: 153.36 s
3008.73/754.15	c vivif2 --  cl tried      728 cl shrink       20 lits rem         23 time: 0.00
3009.13/754.28	c vivif2 --  cl tried    89623 cl shrink     7127 lits rem      10118 time: 0.54
3010.71/754.65	c asymm  cl-useful: 0/348/728 lits-rem:0 time: 1.46
3010.71/754.65	c calculated reachability. Time: 0.00
3010.71/754.65	c  N dy  7183   1710776       514       728     34700     89623     86303   4855039     13.05   no data  --
3049.45/764.31	c  N dy  7235   1732132       512       728     34738     59731     86303   2525130     13.04     13.77  --
3084.16/773.03	c  N dy  7299   1752499       512       728     34747     79215     86303   3766503     13.03     13.74  --
3128.81/784.22	c  N dy  7361   1772553       511       728     34764     98407     86303   4973404     13.02     13.81  --
3166.32/793.69	c  N dy  7420   1792577       510       728     34774     64178     86303   2646316     13.00     13.69  --
3202.23/802.65	c  N dy  7497   1812647       510       728     34781     83399     86303   3836060     13.00     23.36  --
3245.72/813.51	c  N dy  7537   1833610       510       728     34794    103229     86303   4960139     12.98     13.67  --
3270.45/819.75	c Finding binary XORs  T:     0.00 s  found:       0
3283.63/823.08	c  N dy  7600   1853694       509       714     34067     65897     84578   2709197     12.97     28.35  --
3320.72/832.38	c  N dy  7663   1875402       508       714     34080     86720     84578   4052494     12.96     13.65  --
3376.19/846.23	c  N dy  7768   1896388       505       714     34095    106886     84578   5355544     12.97     13.68  --
3416.89/856.48	c  N dy  7839   1916956       505       714     34098     70280     84578   2948204     12.97     13.69  --
3467.95/869.20	c  N dy  7915   1938322       505       714     34103     90654     84578   4084795     12.97     13.82  --
3526.99/884.00	c  N dy  7997   1958369       505       714     34109    109909     84578   5252674     12.97     16.37  --
3566.93/894.09	c  N dy  8073   1978418       505       714     34114     71296     84578   2851581     12.97     21.66  --
3605.99/903.85	c  N dy  8166   1999037       505       714     34125     91022     84578   4053270     12.98     13.72  --
3655.11/916.17	c  N dy  8237   2019109       504       714     33045    106969     82346   5034571     12.98     13.92  --
3697.36/926.79	c  N dy  8315   2039596       504       714     33056     69115     82346   2774841     12.98     13.75  --
3737.26/936.77	c  N dy  8390   2060140       504       714     33062     88853     82346   3936147     12.98     13.76  --
3787.52/949.38	c  N dy  8480   2080231       504       714     33067    108165     82346   5074419     12.98     13.71  --
3833.02/960.72	c  N dy  8562   2100320       504       714     33080     68025     82346   2654988     12.98     13.88  --
3873.31/970.81	c  N dy  8639   2120991       504       714     33091     87783     82346   3716820     12.98     13.72  --
3922.42/983.16	c  N dy  8724   2141031       503       714     33099    107007     82346   4824899     12.99     14.40  --
3973.85/996.04	c  N dy  8780   2161457       502       714     33109     65631     82346   2432336     12.98     13.74  --
4009.77/1005.00	c  N dy  8839   2181472       501       714     33115     84652     82346   3396148     12.97     14.89  --
4052.85/1015.88	c  N dy  8903   2201921       501       714     33129    104234     82346   4501326     12.96     13.72  --
4077.98/1022.11	c  S st  8934   2210777       501       714     33131    112653     82346   4869236     12.96   no data  --
4079.18/1022.44	c  S st  8934   2211277       501       714     33131    113151     82346   4902435     12.96   no data  --
4079.18/1022.45	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
4079.18/1022.45	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4084.37/1023.73	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      1 BRemL:      0 BRemN:      0 P: 31.4M T:  5.12
4084.81/1023.90	c bin-w-bin subsume rem            0 bins  time:  0.01 s
4093.58/1026.09	c subs with bin:     1563  lits-rem:      3607  v-fix:    0  time:  8.73 s
4093.58/1026.10	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    501 time:  0.01 s
4093.99/1026.13	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.01 s
4285.45/1074.18	c lits-rem:      2871  cl-subs:     9404  v-elim:      0  v-fix:    0  time: 191.64 s
4285.45/1074.18	c vivif2 --  cl tried      703 cl shrink       22 lits rem         23 time: 0.00
4286.25/1074.40	c vivif2 --  cl tried   100839 cl shrink    14785 lits rem      23773 time: 0.86
4287.84/1074.79	c asymm  cl-useful: 1/283/703 lits-rem:1 time: 1.55
4287.84/1074.80	c calculated reachability. Time: 0.00
4287.84/1074.80	c  N dy  8934   2211277       501       703     32597    100833     81114   4618900     12.96   no data  --
4342.91/1088.52	c Finding binary XORs  T:     0.00 s  found:       0
4345.70/1089.27	c  N dy  8998   2231818       498       703     32040     98341     80010   5248400     12.95     13.74  --
4375.62/1096.79	c  N dy  9080   2251828       498       703     32046     67626     80010   2947705     12.95     19.75  --
4413.13/1106.17	c  N dy  9131   2272583       498       703     32051     87598     80010   4216262     12.94     13.78  --
4469.38/1120.29	c  N dy  9235   2292760       498       703     32063    107062     80010   5416622     12.95     13.66  --
4510.51/1130.53	c  N dy  9286   2312895       498       703     32082     69133     80010   2750840     12.94     13.72  --
4550.42/1140.53	c  N dy  9370   2332896       497       703     32089     88425     80010   3920813     12.94     17.94  --
4599.84/1152.99	c  N dy  9460   2353087       497       703     32098    107831     80010   5155935     12.95     13.78  --
4658.90/1167.70	c  N dy  9538   2373517       497       703     32106     66141     80010   2414051     12.94     13.65  --
4698.00/1177.57	c  N dy  9601   2394204       497       703     32111     86049     80010   3622204     12.94     13.89  --
4755.04/1191.89	c  N dy  9673   2418093       497       703     32122    108987     80010   4898715     12.93     13.99  --

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3369229-1305415681/watcher-3369229-1305415681 -o /tmp/evaluation-result-3369229-1305415681/solver-3369229-1305415681 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3369229-1305415681.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.42 7.96 7.96 2/321 25129
/proc/meminfo: memFree=25295100/32951124 swapFree=44485764/67111528
[pid=25129] ppid=25127 vsize=282212 CPUtime=0.01 cores=0,2,4,6
/proc/25129/stat : 25129 (strangenight1-m) R 25127 25129 24676 0 -1 4202496 1440 0 0 0 1 0 0 0 18 0 4 0 653168596 288985088 1358 33554432000 4194304 4650419 140736821261120 18446744073709551615 4373800 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/25129/statm: 70553 1359 343 112 0 65518 0
[pid=25129/tid=25130] ppid=25127 vsize=282212 CPUtime=0 cores=0,2,4,6
/proc/25129/task/25130/stat : 25130 (strangenight1-m) R 25127 25129 24676 0 -1 4202560 311 0 0 0 0 0 0 0 18 0 4 0 653168596 288985088 1364 33554432000 4194304 4650419 140736821261120 18446744073709551615 244446641839 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=25129/tid=25131] ppid=25127 vsize=282212 CPUtime=0 cores=0,2,4,6
/proc/25129/task/25131/stat : 25131 (strangenight1-m) R 25127 25129 24676 0 -1 4202560 240 0 0 0 0 0 0 0 18 0 4 0 653168596 288985088 1365 33554432000 4194304 4650419 140736821261120 18446744073709551615 4546036 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25129/tid=25132] ppid=25127 vsize=282212 CPUtime=0 cores=0,2,4,6
/proc/25129/task/25132/stat : 25132 (strangenight1-m) R 25127 25129 24676 0 -1 4202560 213 0 0 0 0 0 0 0 25 0 4 0 653168596 288985088 1368 33554432000 4194304 4650419 140736821261120 18446744073709551615 4545819 0 0 4096 2 0 0 0 -1 2 0 0 0

[startup+0.132241 s]
/proc/loadavg: 7.42 7.96 7.96 2/321 25129
/proc/meminfo: memFree=25295100/32951124 swapFree=44485764/67111528
[pid=25129] ppid=25127 vsize=288816 CPUtime=3.61 cores=0,2,4,6
/proc/25129/stat : 25129 (strangenight1-m) R 25127 25129 24676 0 -1 4202496 8470 0 0 0 358 3 0 0 19 0 4 0 653168596 295747584 6109 33554432000 4194304 4650419 140736821261120 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/25129/statm: 72204 6109 392 112 0 67169 0
[pid=25129/tid=25130] ppid=25127 vsize=288816 CPUtime=0.9 cores=0,2,4,6
/proc/25129/task/25130/stat : 25130 (strangenight1-m) R 25127 25129 24676 0 -1 4202560 2111 0 0 0 90 0 0 0 19 0 4 0 653168596 295747584 6109 33554432000 4194304 4650419 140736821261120 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=25129/tid=25131] ppid=25127 vsize=288816 CPUtime=0.89 cores=0,2,4,6
/proc/25129/task/25131/stat : 25131 (strangenight1-m) R 25127 25129 24676 0 -1 4202560 2019 0 0 0 89 0 0 0 19 0 4 0 653168596 295747584 6109 33554432000 4194304 4650419 140736821261120 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25129/tid=25132] ppid=25127 vsize=288816 CPUtime=0.89 cores=0,2,4,6
/proc/25129/task/25132/stat : 25132 (strangenight1-m) R 25127 25129 24676 0 -1 4202560 1993 0 0 0 89 0 0 0 19 0 4 0 653168596 295747584 6109 33554432000 4194304 4650419 140736821261120 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.61
Current children cumulated vsize (KiB) 288816

[startup+1.02153 s]
/proc/loadavg: 7.42 7.96 7.96 2/321 25129
/proc/meminfo: memFree=25295100/32951124 swapFree=44485764/67111528
[pid=25129] ppid=25127 vsize=288816 CPUtime=4.01 cores=0,2,4,6
/proc/25129/stat : 25129 (strangenight1-m) R 25127 25129 24676 0 -1 4202496 8832 0 0 0 398 3 0 0 19 0 4 0 653168596 295747584 6471 33554432000 4194304 4650419 140736821261120 18446744073709551615 4365327 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/25129/statm: 72204 6471 392 112 0 67169 0
[pid=25129/tid=25130] ppid=25127 vsize=288816 CPUtime=1 cores=0,2,4,6
/proc/25129/task/25130/stat : 25130 (strangenight1-m) R 25127 25129 24676 0 -1 4202560 2229 0 0 0 100 0 0 0 19 0 4 0 653168596 295747584 6471 33554432000 4194304 4650419 140736821261120 18446744073709551615 4349996 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=25129/tid=25131] ppid=25127 vsize=288816 CPUtime=0.99 cores=0,2,4,6
/proc/25129/task/25131/stat : 25131 (strangenight1-m) R 25127 25129 24676 0 -1 4202560 2078 0 0 0 99 0 0 0 19 0 4 0 653168596 295747584 6472 33554432000 4194304 4650419 140736821261120 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25129/tid=25132] ppid=25127 vsize=288816 CPUtime=0.99 cores=0,2,4,6
/proc/25129/task/25132/stat : 25132 (strangenight1-m) R 25127 25129 24676 0 -1 4202560 2082 0 0 0 98 1 0 0 19 0 4 0 653168596 295747584 6472 33554432000 4194304 4650419 140736821261120 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.01
Current children cumulated vsize (KiB) 288816

[startup+1.12151 s]
/proc/loadavg: 7.42 7.96 7.96 2/321 25129
/proc/meminfo: memFree=25295100/32951124 swapFree=44485764/67111528
[pid=25129] ppid=25127 vsize=289976 CPUtime=4.41 cores=0,2,4,6
/proc/25129/stat : 25129 (strangenight1-m) R 25127 25129 24676 0 -1 4202496 9768 0 0 0 438 3 0 0 19 0 4 0 653168596 296935424 6215 33554432000 4194304 4650419 140736821261120 18446744073709551615 4363690 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/25129/statm: 72494 6215 392 112 0 67459 0
[pid=25129/tid=25130] ppid=25127 vsize=289976 CPUtime=1.1 cores=0,2,4,6
/proc/25129/task/25130/stat : 25130 (strangenight1-m) R 25127 25129 24676 0 -1 4202560 2330 0 0 0 110 0 0 0 19 0 4 0 653168596 296935424 6215 33554432000 4194304 4650419 140736821261120 18446744073709551615 4366835 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=25129/tid=25131] ppid=25127 vsize=289976 CPUtime=1.09 cores=0,2,4,6
/proc/25129/task/25131/stat : 25131 (strangenight1-m) R 25127 25129 24676 0 -1 4202560 2439 0 0 0 109 0 0 0 19 0 4 0 653168596 296935424 6215 33554432000 4194304 4650419 140736821261120 18446744073709551615 4365020 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25129/tid=25132] ppid=25127 vsize=289976 CPUtime=1.09 cores=0,2,4,6
/proc/25129/task/25132/stat : 25132 (strangenight1-m) R 25127 25129 24676 0 -1 4202560 2154 0 0 0 108 1 0 0 19 0 4 0 653168596 296935424 6215 33554432000 4194304 4650419 140736821261120 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.41
Current children cumulated vsize (KiB) 289976

[startup+1.22149 s]
/proc/loadavg: 7.42 7.96 7.96 2/321 25129
/proc/meminfo: memFree=25295100/32951124 swapFree=44485764/67111528
[pid=25129] ppid=25127 vsize=290236 CPUtime=4.82 cores=0,2,4,6
/proc/25129/stat : 25129 (strangenight1-m) R 25127 25129 24676 0 -1 4202496 10421 0 0 0 478 4 0 0 19 0 4 0 653168596 297201664 6261 33554432000 4194304 4650419 140736821261120 18446744073709551615 4365300 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/25129/statm: 72559 6262 392 112 0 67524 0
[pid=25129/tid=25130] ppid=25127 vsize=290236 CPUtime=1.2 cores=0,2,4,6
/proc/25129/task/25130/stat : 25130 (strangenight1-m) R 25127 25129 24676 0 -1 4202560 2414 0 0 0 120 0 0 0 19 0 4 0 653168596 297201664 6262 33554432000 4194304 4650419 140736821261120 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=25129/tid=25131] ppid=25127 vsize=290236 CPUtime=1.19 cores=0,2,4,6
/proc/25129/task/25131/stat : 25131 (strangenight1-m) R 25127 25129 24676 0 -1 4202560 2593 0 0 0 119 0 0 0 19 0 4 0 653168596 297201664 6262 33554432000 4194304 4650419 140736821261120 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25129/tid=25132] ppid=25127 vsize=290236 CPUtime=1.19 cores=0,2,4,6
/proc/25129/task/25132/stat : 25132 (strangenight1-m) R 25127 25129 24676 0 -1 4202560 2495 0 0 0 118 1 0 0 19 0 4 0 653168596 297201664 6262 33554432000 4194304 4650419 140736821261120 18446744073709551615 4365321 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.82
Current children cumulated vsize (KiB) 290236

[startup+1.52144 s]
/proc/loadavg: 7.42 7.96 7.96 2/321 25129
/proc/meminfo: memFree=25295100/32951124 swapFree=44485764/67111528
[pid=25129] ppid=25127 vsize=290236 CPUtime=6.02 cores=0,2,4,6
/proc/25129/stat : 25129 (strangenight1-m) R 25127 25129 24676 0 -1 4202496 11387 0 0 0 598 4 0 0 20 0 4 0 653168596 297201664 7227 33554432000 4194304 4650419 140736821261120 18446744073709551615 4365333 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/25129/statm: 72559 7227 392 112 0 67524 0
[pid=25129/tid=25130] ppid=25127 vsize=290236 CPUtime=1.5 cores=0,2,4,6
/proc/25129/task/25130/stat : 25130 (strangenight1-m) R 25127 25129 24676 0 -1 4202560 2645 0 0 0 150 0 0 0 20 0 4 0 653168596 297201664 7227 33554432000 4194304 4650419 140736821261120 18446744073709551615 4339837 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=25129/tid=25131] ppid=25127 vsize=290236 CPUtime=1.49 cores=0,2,4,6
/proc/25129/task/25131/stat : 25131 (strangenight1-m) R 25127 25129 24676 0 -1 4202560 2914 0 0 0 149 0 0 0 20 0 4 0 653168596 297201664 7227 33554432000 4194304 4650419 140736821261120 18446744073709551615 4366857 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25129/tid=25132] ppid=25127 vsize=290236 CPUtime=1.49 cores=0,2,4,6
/proc/25129/task/25132/stat : 25132 (strangenight1-m) R 25127 25129 24676 0 -1 4202560 2773 0 0 0 148 1 0 0 20 0 4 0 653168596 297201664 7227 33554432000 4194304 4650419 140736821261120 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 6.02
Current children cumulated vsize (KiB) 290236

[startup+3.11214 s]
/proc/loadavg: 7.42 7.96 7.96 10/331 25142
/proc/meminfo: memFree=25152752/32951124 swapFree=44485764/67111528
[pid=25129] ppid=25127 vsize=296180 CPUtime=12.36 cores=0,2,4,6
/proc/25129/stat : 25129 (strangenight1-m) R 25127 25129 24676 0 -1 4202496 21651 0 0 0 1230 6 0 0 25 0 4 0 653168596 303288320 11673 33554432000 4194304 4650419 140736821261120 18446744073709551615 4436460 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/25129/statm: 74045 11673 394 112 0 69010 0
[pid=25129/tid=25130] ppid=25127 vsize=296180 CPUtime=3.1 cores=0,2,4,6
/proc/25129/task/25130/stat : 25130 (strangenight1-m) R 25127 25129 24676 0 -1 4202560 4578 0 0 0 309 1 0 0 25 0 4 0 653168596 303288320 11673 33554432000 4194304 4650419 140736821261120 18446744073709551615 4366879 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=25129/tid=25131] ppid=25127 vsize=296180 CPUtime=3.09 cores=0,2,4,6
/proc/25129/task/25131/stat : 25131 (strangenight1-m) R 25127 25129 24676 0 -1 4202560 4674 0 0 0 308 1 0 0 25 0 4 0 653168596 303288320 11673 33554432000 4194304 4650419 140736821261120 18446744073709551615 4331978 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25129/tid=25132] ppid=25127 vsize=296180 CPUtime=3.05 cores=0,2,4,6
/proc/25129/task/25132/stat : 25132 (strangenight1-m) R 25127 25129 24676 0 -1 4202560 4461 0 0 0 304 1 0 0 25 0 4 0 653168596 303288320 11673 33554432000 4194304 4650419 140736821261120 18446744073709551615 4365276 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 296180

[startup+6.30055 s]
/proc/loadavg: 7.46 7.96 7.96 9/331 25142
/proc/meminfo: memFree=25079244/32951124 swapFree=44485764/67111528
[pid=25129] ppid=25127 vsize=297036 CPUtime=25.12 cores=0,2,4,6
/proc/25129/stat : 25129 (strangenight1-m) R 25127 25129 24676 0 -1 4202496 31716 0 0 0 2504 8 0 0 25 0 4 0 653168596 304164864 20019 33554432000 4194304 4650419 140736821261120 18446744073709551615 4439268 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/25129/statm: 74259 20019 394 112 0 69224 0
[pid=25129/tid=25130] ppid=25127 vsize=297036 CPUtime=6.3 cores=0,2,4,6
/proc/25129/task/25130/stat : 25130 (strangenight1-m) R 25127 25129 24676 0 -1 4202560 7080 0 0 0 629 1 0 0 25 0 4 0 653168596 304164864 20019 33554432000 4194304 4650419 140736821261120 18446744073709551615 4438939 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=25129/tid=25131] ppid=25127 vsize=297036 CPUtime=6.29 cores=0,2,4,6
/proc/25129/task/25131/stat : 25131 (strangenight1-m) R 25127 25129 24676 0 -1 4202560 8614 0 0 0 627 2 0 0 25 0 4 0 653168596 304164864 20019 33554432000 4194304 4650419 140736821261120 18446744073709551615 4438399 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25129/tid=25132] ppid=25127 vsize=297036 CPUtime=6.23 cores=0,2,4,6
/proc/25129/task/25132/stat : 25132 (strangenight1-m) R 25127 25129 24676 0 -1 4202560 7976 0 0 0 621 2 0 0 25 0 4 0 653168596 304164864 20019 33554432000 4194304 4650419 140736821261120 18446744073709551615 4433074 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.12
Current children cumulated vsize (KiB) 297036

[startup+12.7004 s]
/proc/loadavg: 7.59 7.98 7.97 9/331 25142
/proc/meminfo: memFree=25045220/32951124 swapFree=44485764/67111528
[pid=25129] ppid=25127 vsize=277872 CPUtime=50.62 cores=0,2,4,6
/proc/25129/stat : 25129 (strangenight1-m) R 25127 25129 24676 0 -1 4202496 43327 0 0 0 5053 9 0 0 25 0 4 0 653168596 284540928 24498 33554432000 4194304 4650419 140736821261120 18446744073709551615 4365346 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/25129/statm: 69468 24498 394 112 0 64433 0
[pid=25129/tid=25130] ppid=25127 vsize=277872 CPUtime=12.68 cores=0,2,4,6
/proc/25129/task/25130/stat : 25130 (strangenight1-m) R 25127 25129 24676 0 -1 4202560 10035 0 0 0 1267 1 0 0 25 0 4 0 653168596 284540928 24498 33554432000 4194304 4650419 140736821261120 18446744073709551615 4438893 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=25129/tid=25131] ppid=25127 vsize=277872 CPUtime=12.67 cores=0,2,4,6
/proc/25129/task/25131/stat : 25131 (strangenight1-m) R 25127 25129 24676 0 -1 4202560 11844 0 0 0 1265 2 0 0 25 0 4 0 653168596 284540928 24498 33554432000 4194304 4650419 140736821261120 18446744073709551615 4363709 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25129/tid=25132] ppid=25127 vsize=277872 CPUtime=12.56 cores=0,2,4,6
/proc/25129/task/25132/stat : 25132 (strangenight1-m) R 25127 25129 24676 0 -1 4202560 11321 0 0 0 1254 2 0 0 25 0 4 0 653168596 284540928 24498 33554432000 4194304 4650419 140736821261120 18446744073709551615 4315488 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.62
Current children cumulated vsize (KiB) 277872

[startup+25.501 s]
/proc/loadavg: 7.75 8.00 7.97 9/331 25143
/proc/meminfo: memFree=24985916/32951124 swapFree=44485764/67111528
[pid=25129] ppid=25127 vsize=385784 CPUtime=101.69 cores=0,2,4,6
/proc/25129/stat : 25129 (strangenight1-m) R 25127 25129 24676 0 -1 4202496 62765 0 0 0 10156 13 0 0 25 0 4 0 653168596 395042816 35095 33554432000 4194304 4650419 140736821261120 18446744073709551615 4435749 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/25129/statm: 96446 35095 394 112 0 91411 0
[pid=25129/tid=25130] ppid=25127 vsize=385784 CPUtime=25.48 cores=0,2,4,6
/proc/25129/task/25130/stat : 25130 (strangenight1-m) R 25127 25129 24676 0 -1 4202560 16582 0 0 0 2546 2 0 0 25 0 4 0 653168596 395042816 35095 33554432000 4194304 4650419 140736821261120 18446744073709551615 4436434 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=25129/tid=25131] ppid=25127 vsize=385784 CPUtime=25.48 cores=0,2,4,6
/proc/25129/task/25131/stat : 25131 (strangenight1-m) R 25127 25129 24676 0 -1 4202560 15974 0 0 0 2545 3 0 0 25 0 4 0 653168596 395042816 35095 33554432000 4194304 4650419 140736821261120 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25129/tid=25132] ppid=25127 vsize=385784 CPUtime=25.23 cores=0,2,4,6
/proc/25129/task/25132/stat : 25132 (strangenight1-m) R 25127 25129 24676 0 -1 4202560 14786 0 0 0 2520 3 0 0 25 0 4 0 653168596 395042816 35095 33554432000 4194304 4650419 140736821261120 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.69
Current children cumulated vsize (KiB) 385784

[startup+51.1012 s]
/proc/loadavg: 7.83 8.00 7.97 9/331 25143
/proc/meminfo: memFree=24893348/32951124 swapFree=44485764/67111528
[pid=25129] ppid=25127 vsize=468860 CPUtime=203.83 cores=0,2,4,6
/proc/25129/stat : 25129 (strangenight1-m) R 25127 25129 24676 0 -1 4202496 108092 0 0 0 20363 20 0 0 25 0 4 0 653168596 480112640 53134 33554432000 4194304 4650419 140736821261120 18446744073709551615 4365346 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/25129/statm: 117215 53134 394 112 0 112180 0
[pid=25129/tid=25130] ppid=25127 vsize=468860 CPUtime=51.09 cores=0,2,4,6
/proc/25129/task/25130/stat : 25130 (strangenight1-m) R 25127 25129 24676 0 -1 4202560 29339 0 0 0 5104 5 0 0 25 0 4 0 653168596 480112640 53134 33554432000 4194304 4650419 140736821261120 18446744073709551615 4435469 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=25129/tid=25131] ppid=25127 vsize=468860 CPUtime=51.07 cores=0,2,4,6
/proc/25129/task/25131/stat : 25131 (strangenight1-m) R 25127 25129 24676 0 -1 4202560 22818 0 0 0 5103 4 0 0 25 0 4 0 653168596 480112640 53134 33554432000 4194304 4650419 140736821261120 18446744073709551615 4366841 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25129/tid=25132] ppid=25127 vsize=468860 CPUtime=50.58 cores=0,2,4,6
/proc/25129/task/25132/stat : 25132 (strangenight1-m) R 25127 25129 24676 0 -1 4202560 28424 0 0 0 5053 5 0 0 25 0 4 0 653168596 480112640 53134 33554432000 4194304 4650419 140736821261120 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 203.83
Current children cumulated vsize (KiB) 468860

[startup+102.301 s]
/proc/loadavg: 7.98 8.01 7.98 9/331 25145
/proc/meminfo: memFree=24806244/32951124 swapFree=44485764/67111528
[pid=25129] ppid=25127 vsize=458996 CPUtime=408.11 cores=0,2,4,6
/proc/25129/stat : 25129 (strangenight1-m) R 25127 25129 24676 0 -1 4202496 179059 0 0 0 40774 37 0 0 25 0 4 0 653168596 470011904 66986 33554432000 4194304 4650419 140736821261120 18446744073709551615 4371092 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/25129/statm: 114749 66986 401 112 0 109714 0
[pid=25129/tid=25130] ppid=25127 vsize=458996 CPUtime=102.29 cores=0,2,4,6
/proc/25129/task/25130/stat : 25130 (strangenight1-m) R 25127 25129 24676 0 -1 4202560 48642 0 0 0 10219 10 0 0 25 0 4 0 653168596 470011904 66986 33554432000 4194304 4650419 140736821261120 18446744073709551615 4438643 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=25129/tid=25131] ppid=25127 vsize=458996 CPUtime=102.27 cores=0,2,4,6
/proc/25129/task/25131/stat : 25131 (strangenight1-m) R 25127 25129 24676 0 -1 4202560 40432 0 0 0 10220 7 0 0 25 0 4 0 653168596 470011904 66986 33554432000 4194304 4650419 140736821261120 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25129/tid=25132] ppid=25127 vsize=458996 CPUtime=101.25 cores=0,2,4,6
/proc/25129/task/25132/stat : 25132 (strangenight1-m) R 25127 25129 24676 0 -1 4202560 43212 0 0 0 10117 8 0 0 25 0 4 0 653168596 470011904 66986 33554432000 4194304 4650419 140736821261120 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 408.11
Current children cumulated vsize (KiB) 458996

[startup+162.3 s]

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

[pid=25129] ppid=25127 vsize=898464 CPUtime=2562.64 cores=0,2,4,6
/proc/25129/stat : 25129 (strangenight1-m) R 25127 25129 24676 0 -1 4202496 594425 0 0 0 256114 150 0 0 25 0 4 0 653168596 920027136 153137 33554432000 4194304 4650419 140736821261120 18446744073709551615 4365203 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/25129/statm: 224616 153137 395 112 0 219581 0
[pid=25129/tid=25130] ppid=25127 vsize=898464 CPUtime=642.31 cores=0,2,4,6
/proc/25129/task/25130/stat : 25130 (strangenight1-m) R 25127 25129 24676 0 -1 4202560 151359 0 0 0 64192 39 0 0 25 0 4 0 653168596 920027136 153137 33554432000 4194304 4650419 140736821261120 18446744073709551615 4313054 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=25129/tid=25131] ppid=25127 vsize=898464 CPUtime=642.27 cores=0,2,4,6
/proc/25129/task/25131/stat : 25131 (strangenight1-m) R 25127 25129 24676 0 -1 4202560 152278 0 0 0 64189 38 0 0 25 0 4 0 653168596 920027136 153137 33554432000 4194304 4650419 140736821261120 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25129/tid=25132] ppid=25127 vsize=898464 CPUtime=635.85 cores=0,2,4,6
/proc/25129/task/25132/stat : 25132 (strangenight1-m) R 25127 25129 24676 0 -1 4202560 166203 0 0 0 63546 39 0 0 25 0 4 0 653168596 920027136 153137 33554432000 4194304 4650419 140736821261120 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2562.64
Current children cumulated vsize (KiB) 898464

[startup+702.301 s]
/proc/loadavg: 8.19 8.11 8.02 9/331 25161
/proc/meminfo: memFree=24326632/32951124 swapFree=44485764/67111528
[pid=25129] ppid=25127 vsize=768732 CPUtime=2802.04 cores=0,2,4,6
/proc/25129/stat : 25129 (strangenight1-m) R 25127 25129 24676 0 -1 4202496 641376 0 0 0 280041 163 0 0 25 0 4 0 653168596 787181568 146580 33554432000 4194304 4650419 140736821261120 18446744073709551615 4365333 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/25129/statm: 192183 146580 395 112 0 187148 0
[pid=25129/tid=25130] ppid=25127 vsize=768732 CPUtime=702.31 cores=0,2,4,6
/proc/25129/task/25130/stat : 25130 (strangenight1-m) R 25127 25129 24676 0 -1 4202560 164937 0 0 0 70189 42 0 0 25 0 4 0 653168596 787181568 146580 33554432000 4194304 4650419 140736821261120 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=25129/tid=25131] ppid=25127 vsize=768732 CPUtime=702.27 cores=0,2,4,6
/proc/25129/task/25131/stat : 25131 (strangenight1-m) R 25127 25129 24676 0 -1 4202560 161006 0 0 0 70186 41 0 0 25 0 4 0 653168596 787181568 146580 33554432000 4194304 4650419 140736821261120 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25129/tid=25132] ppid=25127 vsize=768732 CPUtime=695.26 cores=0,2,4,6
/proc/25129/task/25132/stat : 25132 (strangenight1-m) R 25127 25129 24676 0 -1 4202560 179817 0 0 0 69483 43 0 0 25 0 4 0 653168596 787181568 146580 33554432000 4194304 4650419 140736821261120 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2802.04
Current children cumulated vsize (KiB) 768732

[startup+762.3 s]
/proc/loadavg: 8.26 8.14 8.04 9/331 25162
/proc/meminfo: memFree=24283184/32951124 swapFree=44485764/67111528
[pid=25129] ppid=25127 vsize=850016 CPUtime=3041.43 cores=0,2,4,6
/proc/25129/stat : 25129 (strangenight1-m) R 25127 25129 24676 0 -1 4202496 676653 0 0 0 303965 178 0 0 25 0 4 0 653168596 870416384 150464 33554432000 4194304 4650419 140736821261120 18446744073709551615 4366816 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/25129/statm: 212504 150464 395 112 0 207469 0
[pid=25129/tid=25130] ppid=25127 vsize=850016 CPUtime=762.31 cores=0,2,4,6
/proc/25129/task/25130/stat : 25130 (strangenight1-m) R 25127 25129 24676 0 -1 4202560 173673 0 0 0 76185 46 0 0 25 0 4 0 653168596 870416384 150464 33554432000 4194304 4650419 140736821261120 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=25129/tid=25131] ppid=25127 vsize=850016 CPUtime=762.27 cores=0,2,4,6
/proc/25129/task/25131/stat : 25131 (strangenight1-m) R 25127 25129 24676 0 -1 4202560 171623 0 0 0 76182 45 0 0 25 0 4 0 653168596 870416384 150464 33554432000 4194304 4650419 140736821261120 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25129/tid=25132] ppid=25127 vsize=850016 CPUtime=754.65 cores=0,2,4,6
/proc/25129/task/25132/stat : 25132 (strangenight1-m) R 25127 25129 24676 0 -1 4202560 188304 0 0 0 75418 47 0 0 25 0 4 0 653168596 870416384 150464 33554432000 4194304 4650419 140736821261120 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3041.43
Current children cumulated vsize (KiB) 850016

[startup+822.3 s]
/proc/loadavg: 8.21 8.14 8.04 9/331 25164
/proc/meminfo: memFree=24268748/32951124 swapFree=44485764/67111528
[pid=25129] ppid=25127 vsize=865608 CPUtime=3280.83 cores=0,2,4,6
/proc/25129/stat : 25129 (strangenight1-m) R 25127 25129 24676 0 -1 4202496 720878 0 0 0 327892 191 0 0 25 0 4 0 653168596 886382592 152973 33554432000 4194304 4650419 140736821261120 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/25129/statm: 216402 152973 395 112 0 211367 0
[pid=25129/tid=25130] ppid=25127 vsize=865608 CPUtime=822.31 cores=0,2,4,6
/proc/25129/task/25130/stat : 25130 (strangenight1-m) R 25127 25129 24676 0 -1 4202560 185026 0 0 0 82181 50 0 0 25 0 4 0 653168596 886382592 152973 33554432000 4194304 4650419 140736821261120 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=25129/tid=25131] ppid=25127 vsize=865608 CPUtime=822.27 cores=0,2,4,6
/proc/25129/task/25131/stat : 25131 (strangenight1-m) R 25127 25129 24676 0 -1 4202560 183506 0 0 0 82178 49 0 0 25 0 4 0 653168596 886382592 152973 33554432000 4194304 4650419 140736821261120 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25129/tid=25132] ppid=25127 vsize=865608 CPUtime=814.06 cores=0,2,4,6
/proc/25129/task/25132/stat : 25132 (strangenight1-m) R 25127 25129 24676 0 -1 4202560 197390 0 0 0 81356 50 0 0 25 0 4 0 653168596 886382592 152973 33554432000 4194304 4650419 140736821261120 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3280.83
Current children cumulated vsize (KiB) 865608

[startup+882.301 s]
/proc/loadavg: 8.18 8.14 8.04 9/331 25166
/proc/meminfo: memFree=24184388/32951124 swapFree=44485764/67111528
[pid=25129] ppid=25127 vsize=1043640 CPUtime=3520.2 cores=0,2,4,6
/proc/25129/stat : 25129 (strangenight1-m) R 25127 25129 24676 0 -1 4202496 761222 0 0 0 351818 202 0 0 25 0 4 0 653168596 1068687360 170480 33554432000 4194304 4650419 140736821261120 18446744073709551615 4334396 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/25129/statm: 260910 170480 394 112 0 255875 0
[pid=25129/tid=25130] ppid=25127 vsize=1043640 CPUtime=882.31 cores=0,2,4,6
/proc/25129/task/25130/stat : 25130 (strangenight1-m) R 25127 25129 24676 0 -1 4202560 195874 0 0 0 88178 53 0 0 25 0 4 0 653168596 1068687360 170480 33554432000 4194304 4650419 140736821261120 18446744073709551615 4365333 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=25129/tid=25131] ppid=25127 vsize=1043640 CPUtime=882.26 cores=0,2,4,6
/proc/25129/task/25131/stat : 25131 (strangenight1-m) R 25127 25129 24676 0 -1 4202560 190327 0 0 0 88176 50 0 0 25 0 4 0 653168596 1068687360 170480 33554432000 4194304 4650419 140736821261120 18446744073709551615 4514139 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25129/tid=25132] ppid=25127 vsize=1043640 CPUtime=873.44 cores=0,2,4,6
/proc/25129/task/25132/stat : 25132 (strangenight1-m) R 25127 25129 24676 0 -1 4202560 211475 0 0 0 87292 52 0 0 25 0 4 0 653168596 1068687360 170480 33554432000 4194304 4650419 140736821261120 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3520.2
Current children cumulated vsize (KiB) 1043640

[startup+942.301 s]
/proc/loadavg: 8.12 8.13 8.04 9/331 25167
/proc/meminfo: memFree=24182372/32951124 swapFree=44485764/67111528
[pid=25129] ppid=25127 vsize=933180 CPUtime=3759.6 cores=0,2,4,6
/proc/25129/stat : 25129 (strangenight1-m) R 25127 25129 24676 0 -1 4202496 870964 0 0 0 375735 225 0 0 25 0 4 0 653168596 955576320 177914 33554432000 4194304 4650419 140736821261120 18446744073709551615 4365357 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/25129/statm: 233295 177914 394 112 0 228260 0
[pid=25129/tid=25130] ppid=25127 vsize=933180 CPUtime=942.31 cores=0,2,4,6
/proc/25129/task/25130/stat : 25130 (strangenight1-m) R 25127 25129 24676 0 -1 4202560 201928 0 0 0 94176 55 0 0 25 0 4 0 653168596 955576320 177914 33554432000 4194304 4650419 140736821261120 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=25129/tid=25131] ppid=25127 vsize=933180 CPUtime=942.27 cores=0,2,4,6
/proc/25129/task/25131/stat : 25131 (strangenight1-m) R 25127 25129 24676 0 -1 4202560 199759 0 0 0 94172 55 0 0 25 0 4 0 653168596 955576320 177914 33554432000 4194304 4650419 140736821261120 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25129/tid=25132] ppid=25127 vsize=933180 CPUtime=932.84 cores=0,2,4,6
/proc/25129/task/25132/stat : 25132 (strangenight1-m) R 25127 25129 24676 0 -1 4202560 294742 0 0 0 93220 64 0 0 25 0 4 0 653168596 955576320 177914 33554432000 4194304 4650419 140736821261120 18446744073709551615 4366762 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3759.6
Current children cumulated vsize (KiB) 933180

[startup+1002.3 s]
/proc/loadavg: 8.10 8.12 8.04 9/331 25169
/proc/meminfo: memFree=24152812/32951124 swapFree=44485764/67111528
[pid=25129] ppid=25127 vsize=1017516 CPUtime=3998.99 cores=0,2,4,6
/proc/25129/stat : 25129 (strangenight1-m) R 25127 25129 24676 0 -1 4202496 901858 0 0 0 399662 237 0 0 25 0 4 0 653168596 1041936384 185233 33554432000 4194304 4650419 140736821261120 18446744073709551615 4365343 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/25129/statm: 254379 185233 394 112 0 249344 0
[pid=25129/tid=25130] ppid=25127 vsize=1017516 CPUtime=1002.32 cores=0,2,4,6
/proc/25129/task/25130/stat : 25130 (strangenight1-m) R 25127 25129 24676 0 -1 4202560 211421 0 0 0 100174 58 0 0 25 0 4 0 653168596 1041936384 185233 33554432000 4194304 4650419 140736821261120 18446744073709551615 4439103 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=25129/tid=25131] ppid=25127 vsize=1017516 CPUtime=1002.27 cores=0,2,4,6
/proc/25129/task/25131/stat : 25131 (strangenight1-m) R 25127 25129 24676 0 -1 4202560 202137 0 0 0 100171 56 0 0 25 0 4 0 653168596 1041936384 185233 33554432000 4194304 4650419 140736821261120 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25129/tid=25132] ppid=25127 vsize=1017516 CPUtime=992.23 cores=0,2,4,6
/proc/25129/task/25132/stat : 25132 (strangenight1-m) R 25127 25129 24676 0 -1 4202560 303264 0 0 0 99155 68 0 0 25 0 4 0 653168596 1041936384 185233 33554432000 4194304 4650419 140736821261120 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3998.99
Current children cumulated vsize (KiB) 1017516

[startup+1062.3 s]
/proc/loadavg: 8.12 8.12 8.05 9/331 25170
/proc/meminfo: memFree=24127852/32951124 swapFree=44485764/67111528
[pid=25129] ppid=25127 vsize=1045612 CPUtime=4238.41 cores=0,2,4,6
/proc/25129/stat : 25129 (strangenight1-m) R 25127 25129 24676 0 -1 4202496 922370 0 0 0 423595 246 0 0 25 0 4 0 653168596 1070706688 186824 33554432000 4194304 4650419 140736821261120 18446744073709551615 4476304 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/25129/statm: 261403 186824 394 112 0 256368 0
[pid=25129/tid=25130] ppid=25127 vsize=1045612 CPUtime=1062.33 cores=0,2,4,6
/proc/25129/task/25130/stat : 25130 (strangenight1-m) R 25127 25129 24676 0 -1 4202560 218823 0 0 0 106171 62 0 0 25 0 4 0 653168596 1070706688 186824 33554432000 4194304 4650419 140736821261120 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=25129/tid=25131] ppid=25127 vsize=1045612 CPUtime=1062.28 cores=0,2,4,6
/proc/25129/task/25131/stat : 25131 (strangenight1-m) R 25127 25129 24676 0 -1 4202560 208106 0 0 0 106170 58 0 0 25 0 4 0 653168596 1070706688 186824 33554432000 4194304 4650419 140736821261120 18446744073709551615 4516622 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25129/tid=25132] ppid=25127 vsize=1045612 CPUtime=1051.63 cores=0,2,4,6
/proc/25129/task/25132/stat : 25132 (strangenight1-m) R 25127 25129 24676 0 -1 4202560 308357 0 0 0 105093 70 0 0 25 0 4 0 653168596 1070706688 186824 33554432000 4194304 4650419 140736821261120 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4238.41
Current children cumulated vsize (KiB) 1045612

[startup+1122.3 s]
/proc/loadavg: 8.04 8.10 8.04 9/331 25172
/proc/meminfo: memFree=24150008/32951124 swapFree=44485764/67111528
[pid=25129] ppid=25127 vsize=932892 CPUtime=4477.76 cores=0,2,4,6
/proc/25129/stat : 25129 (strangenight1-m) R 25127 25129 24676 0 -1 4202496 948738 0 0 0 447519 257 0 0 25 0 4 0 653168596 955281408 168973 33554432000 4194304 4650419 140736821261120 18446744073709551615 4365323 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/25129/statm: 233223 168973 394 112 0 228188 0
[pid=25129/tid=25130] ppid=25127 vsize=932892 CPUtime=1122.32 cores=0,2,4,6
/proc/25129/task/25130/stat : 25130 (strangenight1-m) R 25127 25129 24676 0 -1 4202560 229580 0 0 0 112165 67 0 0 25 0 4 0 653168596 955281408 168973 33554432000 4194304 4650419 140736821261120 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=25129/tid=25131] ppid=25127 vsize=932892 CPUtime=1122.27 cores=0,2,4,6
/proc/25129/task/25131/stat : 25131 (strangenight1-m) R 25127 25129 24676 0 -1 4202560 216713 0 0 0 112166 61 0 0 25 0 4 0 653168596 955281408 168973 33554432000 4194304 4650419 140736821261120 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25129/tid=25132] ppid=25127 vsize=932892 CPUtime=1111.01 cores=0,2,4,6
/proc/25129/task/25132/stat : 25132 (strangenight1-m) R 25127 25129 24676 0 -1 4202560 311890 0 0 0 111030 71 0 0 25 0 4 0 653168596 955281408 168973 33554432000 4194304 4650419 140736821261120 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4477.76
Current children cumulated vsize (KiB) 932892

[startup+1182.31 s]
/proc/loadavg: 8.05 8.09 8.04 9/331 25174
/proc/meminfo: memFree=24107064/32951124 swapFree=44485764/67111528
[pid=25129] ppid=25127 vsize=1082756 CPUtime=4717.18 cores=0,2,4,6
/proc/25129/stat : 25129 (strangenight1-m) R 25127 25129 24676 0 -1 4202496 974113 0 0 0 471451 267 0 0 25 0 4 0 653168596 1108742144 186651 33554432000 4194304 4650419 140736821261120 18446744073709551615 4365346 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/25129/statm: 270689 186651 394 112 0 265654 0
[pid=25129/tid=25130] ppid=25127 vsize=1082756 CPUtime=1182.33 cores=0,2,4,6
/proc/25129/task/25130/stat : 25130 (strangenight1-m) R 25127 25129 24676 0 -1 4202560 237956 0 0 0 118163 70 0 0 25 0 4 0 653168596 1108742144 186651 33554432000 4194304 4650419 140736821261120 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=25129/tid=25131] ppid=25127 vsize=1082756 CPUtime=1182.28 cores=0,2,4,6
/proc/25129/task/25131/stat : 25131 (strangenight1-m) R 25127 25129 24676 0 -1 4202560 225140 0 0 0 118164 64 0 0 25 0 4 0 653168596 1108742144 186651 33554432000 4194304 4650419 140736821261120 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25129/tid=25132] ppid=25127 vsize=1082756 CPUtime=1170.41 cores=0,2,4,6
/proc/25129/task/25132/stat : 25132 (strangenight1-m) R 25127 25129 24676 0 -1 4202560 313892 0 0 0 116969 72 0 0 25 0 4 0 653168596 1108742144 186651 33554432000 4194304 4650419 140736821261120 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4717.18
Current children cumulated vsize (KiB) 1082756



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.1 s]
/proc/loadavg: 8.11 8.10 8.05 10/331 25174
/proc/meminfo: memFree=24064520/32951124 swapFree=44485764/67111528
[pid=25129] ppid=25127 vsize=1082748 CPUtime=4800.2 cores=0,2,4,6
/proc/25129/stat : 25129 (strangenight1-m) R 25127 25129 24676 0 -1 4202496 985851 0 0 0 479749 271 0 0 25 0 4 0 653168596 1108733952 193327 33554432000 4194304 4650419 140736821261120 18446744073709551615 4365343 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/25129/statm: 270687 193327 394 112 0 265652 0
[pid=25129/tid=25130] ppid=25127 vsize=1082748 CPUtime=1203.15 cores=0,2,4,6
/proc/25129/task/25130/stat : 25130 (strangenight1-m) R 25127 25129 24676 0 -1 4202560 242055 0 0 0 120243 72 0 0 25 0 4 0 653168596 1108733952 193327 33554432000 4194304 4650419 140736821261120 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=25129/tid=25131] ppid=25127 vsize=1082748 CPUtime=1203.1 cores=0,2,4,6
/proc/25129/task/25131/stat : 25131 (strangenight1-m) R 25127 25129 24676 0 -1 4202560 229565 0 0 0 120244 66 0 0 25 0 4 0 653168596 1108733952 193327 33554432000 4194304 4650419 140736821261120 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25129/tid=25132] ppid=25127 vsize=1082748 CPUtime=1191 cores=0,2,4,6
/proc/25129/task/25132/stat : 25132 (strangenight1-m) R 25127 25129 24676 0 -1 4202560 315888 0 0 0 119027 73 0 0 25 0 4 0 653168596 1108733952 193327 33554432000 4194304 4650419 140736821261120 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.2
Current children cumulated vsize (KiB) 1082748

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): 1203.16
CPU time (s): 4800.27
CPU user time (s): 4797.52
CPU system time (s): 2.74358
CPU usage (%): 398.971
Max. virtual memory (cumulated for all children) (KiB): 1176700

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.52
system time used= 2.74358
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 985854
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= 1361
involuntary context switches= 23064

runsolver used 3.57546 second user time and 8.5807 second system time

The end

Launcher Data 

Begin job on node105 at 2011-05-15 01:28:02
IDJOB=3369229
IDBENCH=83988
IDSOLVER=1846
FILE ID=node105/3369229-1305415681
RUNJOBID= node105-1305414476-25021
PBS_JOBID= 13324538
Free space on /tmp= 73588 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt (fixed)
BENCH NAME= SAT03/handmade/anton/UNSAT/SGI_30_60_20_50_3-dir.shuffled-as.sat03-114.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3369229-1305415681/watcher-3369229-1305415681 -o /tmp/evaluation-result-3369229-1305415681/solver-3369229-1305415681 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3369229-1305415681.cnf

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

MD5SUM BENCH= 9ffa0325c9e00b41c025f41d20ec5a0c
RANDOM SEED=1032771501

node105.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.825
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.65
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.825
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5226.15
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.825
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.825
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.825
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	: 5410.70
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.825
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.74
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.825
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.825
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:      25295272 kB
Buffers:        279004 kB
Cached:        5905228 kB
SwapCached:      39656 kB
Active:         575088 kB
Inactive:      6821652 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      25295272 kB
SwapTotal:    67111528 kB
SwapFree:     44485764 kB
Dirty:            6652 kB
Writeback:           0 kB
AnonPages:     1180216 kB
Mapped:          10172 kB
Slab:           127988 kB
PageTables:      65812 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 65324304 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= 73576 MiB
End job on node105 at 2011-05-15 01:48:07