Trace number 3369328

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.43 1203.95

General information on the benchmark

NameSAT03/handmade/anton/UNSAT/
SGI_30_70_27_50_3-dir.shuffled-as.sat03-169.cnf
MD5SUMb5a637600c242725f15a247a84bdea1b
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables810
Number of clauses68270
Sum of the clauses size137296
Maximum clause length30
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 268243
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 527

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.01	c Using 4 threads
0.00/0.01	c This is CryptoMiniSat 2.9.0
0.00/0.01	c compiled with gcc version 4.4.5
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3369328-1305415150.cnf'
0.00/0.01	c -- header says num vars:            810
0.00/0.01	c -- header says num clauses:       68270
0.00/0.03	c -- clauses added:            0 learnts,        68270 normals,            0 xors
0.00/0.03	c -- vars added        810
0.00/0.03	c Parsing time:  0.03 s
0.00/0.03	c  N st     0         0       810        27     68243         0    137296         0   no data   no data  --
0.00/0.03	c asymm  cl-useful: 0/27/27 lits-rem:0 time: 0.00
0.00/0.06	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.05
0.00/0.06	c bin-w-bin subsume rem            0 bins  time:  0.04 s
0.00/0.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
0.00/0.07	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    810 time:  0.03 s
0.00/0.07	c Removed useless bin:       0  fixed:     0  props:   0.34M  time:  0.03 s
0.00/0.34	c lits-rem:       507  cl-subs:        0  v-elim:     27  v-fix:    0  time:  0.08 s
0.00/0.34	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.34	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.34	c calculated reachability. Time: 0.00
0.00/0.34	c Calc default polars -  time:   0.00 s pos:     385 undec:      27 neg:     398
0.00/0.34	c =========================================================================================
0.00/0.34	c types(t): F = full restart, N = normal restart
0.00/0.34	c types(t): S = simplification begin/end, E = solution found
0.00/0.34	c restart types(rt): st = static, dy = dynamic
0.00/0.34	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.34	c  B st     0         0       783      1365     66095         0    182461         0   no data   no data  --
0.00/0.77	c  N dy    16      4225       783      1365     66096      4097    182461    399079     10.38     10.94  --
0.00/0.87	c  N dy    39      8262       783      1365     66099      5604    182461    376249     11.03     15.41  --
4.72/1.25	c  N dy    54     12269       783      1365     66099      5373    182461    315556     11.38     12.19  --
6.32/1.66	c  N dy    64     16588       783      1365     66099      9547    182461    534949     10.93     11.84  --
8.31/2.17	c  N dy    89     21335       783      1365     66100      8698    182461    578891     11.49     12.40  --
10.71/2.73	c  F st   105     25000       783      1365     66101     12234    182461    877435     11.56      9.55  --
11.11/2.82	c  N st   107     25629       783      1365     66101     12845    182461    908451     11.56   no data  --
13.50/3.41	c  N dy   111     30001       783      1365     66101     10426    182461    514775     11.56   no data  --
13.50/3.41	c  S st   111     30001       783      1365     66101     10426    182461    514775     11.56   no data  --
13.50/3.46	c  S st   111     30501       783      1365     66101     10924    182461    551651     11.56   no data  --
13.50/3.46	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
13.50/3.46	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
13.90/3.59	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      4 BRemL:      0 BRemN:      0 P:  4.9M T:  0.53
14.30/3.62	c bin-w-bin subsume rem            0 bins  time:  0.04 s
19.48/4.90	c subs with bin:        0  lits-rem:      1573  v-fix:    0  time:  5.09 s
19.48/4.91	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    783 time:  0.03 s
19.48/4.91	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.03 s
30.64/7.74	c lits-rem:      1554  cl-subs:      773  v-elim:      0  v-fix:    0  time: 11.25 s
31.04/7.87	c asymm  cl-useful: 783/1338/1365 lits-rem:5334 time: 0.52
31.04/7.87	c calculated reachability. Time: 0.00
31.04/7.87	c  N dy   111     30501       783      1365     66105     10151    174572    528513     11.56   no data  --
33.46/8.44	c  N dy   125     34630       783      1365     66107     14133    174572    859734     11.50     12.70  --
35.83/9.03	c  N dy   148     39130       783      1365     66111     10869    174572    664859     11.54     12.31  --
38.26/9.65	c  N dy   163     43178       783      1365     66113     14765    174572    980524     11.42     12.13  --
40.61/10.20	c  S st   181     45751       783      1365     66114     17248    174572   1253080     11.58      9.25  --
40.61/10.27	c  S st   181     46253       783      1365     66114      9123    174572    465665     11.58   no data  --
40.61/10.27	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
40.61/10.27	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
41.42/10.40	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      2 BRemL:      0 BRemN:      0 P:  4.9M T:  0.52
41.42/10.42	c bin-w-bin subsume rem            0 bins  time:  0.04 s
46.20/11.68	c subs with bin:        0  lits-rem:        56  v-fix:    0  time:  4.99 s
46.20/11.68	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    783 time:  0.03 s
46.20/11.69	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.03 s
55.81/14.06	c lits-rem:       710  cl-subs:      318  v-elim:      0  v-fix:    0  time:  9.41 s
55.81/14.06	c vivif2 --  cl tried     1365 cl shrink      178 lits rem        179 time: 0.00
55.81/14.07	c vivif2 --  cl tried     8805 cl shrink       70 lits rem         71 time: 0.04
56.16/14.19	c asymm  cl-useful: 0/1365/1365 lits-rem:0 time: 0.48
56.16/14.19	c calculated reachability. Time: 0.00
56.16/14.19	c  N dy   181     46253       783      1365     66116      8805    174346    458793     11.58   no data  --
58.15/14.64	c  N dy   198     50305       783      1365     66135     12721    174346    762460     11.67     12.79  --
61.74/15.55	c  N dy   221     55236       783      1365     66137     17466    174346   1235588     11.75     12.79  --
64.58/16.26	c  N dy   231     59358       783      1365     66140     11836    174346    744604     11.64     12.35  --
67.73/17.08	c  N dy   239     63679       783      1365     66142     16021    174346   1220158     11.54     12.25  --
73.35/18.45	c  N dy   258     69128       783      1365     66145     10658    174346    557846     11.51     12.68  --
73.35/18.48	c  S st   259     69380       783      1365     66147     10896    174346    570850     11.50      8.29  --
73.70/18.54	c  S st   259     69883       783      1365     66147     11396    174346    604454     11.50   no data  --
73.70/18.54	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
73.70/18.54	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
74.51/18.71	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      3 BRemL:      0 BRemN:      0 P:  6.4M T:  0.67
74.51/18.74	c bin-w-bin subsume rem            0 bins  time:  0.04 s
79.69/20.03	c subs with bin:       29  lits-rem:         7  v-fix:    0  time:  5.15 s
79.69/20.04	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    783 time:  0.03 s
79.69/20.04	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.03 s
91.25/22.94	c lits-rem:       658  cl-subs:      232  v-elim:      0  v-fix:    0  time: 11.54 s
91.25/22.94	c vivif2 --  cl tried     1365 cl shrink        3 lits rem          3 time: 0.00
91.25/22.95	c vivif2 --  cl tried    11135 cl shrink       93 lits rem        123 time: 0.04
92.05/23.10	c asymm  cl-useful: 0/1365/1365 lits-rem:0 time: 0.60
92.05/23.10	c calculated reachability. Time: 0.00
92.05/23.10	c  N dy   259     69883       783      1365     66151     11134    174343    598446     11.50   no data  --
95.64/24.00	c  N dy   274     75122       783      1365     66154     16182    174343   1085731     11.44     12.05  --
99.68/25.04	c  N dy   292     80089       783      1365     66164     20954    174343   1523630     11.39     12.22  --
103.64/26.09	c  N dy   317     85283       783      1365     66166     14395    174343    798357     11.43     12.05  --
105.21/26.48	c  F st   330     87500       783      1365     66166     16516    174343    971483     11.49      9.46  --
108.02/27.13	c  N st   335     90796       783      1365     66174     19685    174343   1250148     11.49   no data  --
113.58/28.53	c  N dy   358     96929       782      1365     66175     13076    174343    654346     11.55     12.31  --
116.80/29.38	c  N dy   383    103206       782      1365     66178     19150    174343   1093748     11.57     12.23  --
117.97/29.68	c  S st   393    104824       782      1365     66178     20703    174343   1214305     11.58     10.48  --
118.37/29.76	c  S st   393    105325       782      1365     66178     21199    174343   1252127     11.58   no data  --
118.37/29.77	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
118.37/29.77	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
119.57/30.04	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  9.8M T:  1.09
119.97/30.10	c bin-w-bin subsume rem            1 bins  time:  0.04 s
125.57/31.60	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.97 s
125.57/31.60	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    782 time:  0.03 s
125.99/31.61	c Removed useless bin:       0  fixed:     0  props:   0.32M  time:  0.03 s
135.52/34.04	c lits-rem:      1319  cl-subs:      697  v-elim:      0  v-fix:    0  time:  9.66 s
135.52/34.04	c vivif2 --  cl tried     1365 cl shrink        3 lits rem          3 time: 0.00
135.52/34.06	c vivif2 --  cl tried    20121 cl shrink      199 lits rem        255 time: 0.08
136.32/34.29	c asymm  cl-useful: 0/1365/1365 lits-rem:0 time: 0.92
136.32/34.29	c calculated reachability. Time: 0.00
136.32/34.29	c  N dy   393    105325       782      1365     65837     20121    173697   1223053     11.58   no data  --
142.70/35.83	c  N dy   437    112051       782      1365     65851     26603    173697   1739245     11.72     13.40  --
147.09/36.91	c  N dy   456    119623       782      1365     65854     20541    173697   1150173     11.63     12.28  --
154.26/38.72	c  N dy   490    127610       782      1365     65860     28187    173697   1702722     11.63     12.26  --
160.25/40.22	c  N dy   525    135886       782      1365     65864     21787    173697   1171000     11.65     12.28  --
168.23/42.26	c  N dy   555    145334       782      1365     65875     15551    173697    696027     11.58     12.26  --
174.24/43.79	c  N dy   579    154632       782      1365     65880     24451    173697   1328667     11.51     21.45  --
177.80/44.60	c  S st   595    157988       782      1365     65885     27673    173697   1510988     11.53      9.26  --
178.21/44.73	c  S st   595    158493       782      1365     65885     28178    173697   1555293     11.53   no data  --
178.21/44.73	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
178.21/44.73	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
179.39/45.06	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 12.5M T:  1.33
179.79/45.11	c bin-w-bin subsume rem            0 bins  time:  0.04 s
184.97/46.49	c subs with bin:       15  lits-rem:        10  v-fix:    0  time:  5.48 s
184.97/46.49	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    782 time:  0.03 s
185.37/46.50	c Removed useless bin:       0  fixed:     0  props:   0.32M  time:  0.03 s
200.15/50.25	c lits-rem:      1784  cl-subs:     2326  v-elim:      0  v-fix:    0  time: 14.94 s
200.15/50.25	c vivif2 --  cl tried     1365 cl shrink        3 lits rem          3 time: 0.00
200.15/50.28	c vivif2 --  cl tried    25837 cl shrink     1631 lits rem       2602 time: 0.13
201.32/50.53	c asymm  cl-useful: 0/1193/1365 lits-rem:0 time: 1.00
201.32/50.54	c calculated reachability. Time: 0.00
201.32/50.54	c  N dy   595    158493       782      1365     65888     25834    173694   1505601     11.53   no data  --
211.30/53.08	c  N dy   628    168798       781      1365     65911     19428    173693    923069     11.48     12.25  --
219.26/55.06	c  N dy   691    179612       780      1365     65914     29884    173693   1625277     11.59     24.92  --
226.90/56.98	c  N dy   734    191094       780      1365     65915     23738    173693   1163316     11.58     15.21  --
236.41/59.34	c  N dy   782    203323       780      1365     65917     35460    173693   1828278     11.57     12.27  --
245.98/61.72	c  N dy   840    216302       780      1365     65926     29610    173693   1432647     11.60     13.49  --
257.94/64.72	c  N dy   900    230380       780      1365     65929     23927    173693   1069923     11.65     12.31  --
263.13/66.01	c  S st   928    237741       780      1365     65929     31046    173693   1465326     11.64   no data  --
263.53/66.12	c  S st   928    238243       780      1365     65929     31547    173693   1501091     11.64   no data  --
263.53/66.13	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
263.53/66.13	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
264.73/66.45	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      1 BRemL:      0 BRemN:      0 P: 11.4M T:  1.30
265.13/66.51	c bin-w-bin subsume rem            3 bins  time:  0.04 s
271.10/68.04	c subs with bin:      109  lits-rem:       105  v-fix:    0  time:  6.09 s
271.10/68.05	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    780 time:  0.03 s
271.10/68.06	c Removed useless bin:       0  fixed:     0  props:   0.31M  time:  0.03 s
285.47/71.60	c lits-rem:      2504  cl-subs:     2043  v-elim:      0  v-fix:    0  time: 14.14 s
285.47/71.60	c vivif2 --  cl tried     1365 cl shrink        5 lits rem          5 time: 0.00
285.47/71.64	c vivif2 --  cl tried    27162 cl shrink     1012 lits rem       1482 time: 0.13
286.67/71.90	c asymm  cl-useful: 0/1253/1365 lits-rem:0 time: 1.04
286.67/71.90	c calculated reachability. Time: 0.00
286.67/71.90	c  N dy   928    238243       780      1365     65272     27160    172421   1428136     11.64   no data  --
301.47/75.66	c  N dy   992    253614       779      1365     65301     22889    172421   1163088     11.65     12.47  --
318.59/80.00	c  N dy  1072    269851       779      1365     65307     38488    172421   2390658     11.77     12.63  --
334.92/84.08	c  N dy  1143    287179       779      1365     65325     34526    172421   1891882     11.79     12.97  --
354.46/88.92	c  N dy  1231    305638       779      1365     65338     30456    172421   1586554     11.83     12.47  --
354.86/89.09	c  F st  1236    306250       779      1365     65338     31043    172421   1627881     11.84   no data  --
380.78/95.55	c  N dy  1319    325209       779      1365     65019     25001    171782   1216584     11.92     13.72  --
402.71/101.09	c  N dy  1397    345376       778      1365     65039     44216    171782   2503198     11.93     12.57  --
413.49/103.76	c  S st  1441    357368       778      1365     65049     32604    171782   1557761     11.94      9.41  --
413.89/103.87	c  S st  1441    357873       778      1365     65049     33108    171782   1590336     11.94   no data  --
413.89/103.88	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
413.89/103.88	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
415.52/104.26	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      1 BRemL:      0 BRemN:      0 P: 13.6M T:  1.50
415.87/104.32	c bin-w-bin subsume rem            0 bins  time:  0.04 s
421.06/105.70	c subs with bin:       25  lits-rem:       113  v-fix:    0  time:  5.48 s
421.45/105.70	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    778 time:  0.03 s
421.45/105.71	c Removed useless bin:       0  fixed:     0  props:   0.31M  time:  0.03 s
433.08/108.63	c lits-rem:      1503  cl-subs:     1760  v-elim:      0  v-fix:    0  time: 11.62 s
433.08/108.63	c vivif2 --  cl tried     1365 cl shrink        3 lits rem          3 time: 0.00
433.08/108.66	c vivif2 --  cl tried    29044 cl shrink     1026 lits rem       2200 time: 0.13
434.22/108.91	c asymm  cl-useful: 0/1094/1365 lits-rem:0 time: 1.02
434.22/108.92	c calculated reachability. Time: 0.00
434.22/108.92	c  N dy  1441    357873       778      1365     64738     29042    171140   1530203     11.94   no data  --
454.17/114.00	c  N dy  1493    378225       778      1365     64758     25140    171140   1213105     11.85     12.91  --
476.10/119.40	c  N dy  1544    398703       777      1365     64784     44729    171140   2508856     11.77     12.59  --
501.62/125.84	c  N dy  1599    420546       776      1365     64808     40532    171140   2130345     11.71     12.40  --
523.16/131.28	c  N dy  1669    440559       776      1365     64815     33360    171140   1725006     11.72     19.01  --
549.88/137.97	c  N dy  1785    460647       776      1365     64827     52802    171140   3320857     11.81     20.40  --
571.02/143.28	c  N dy  1859    480907       776      1365     64833     44690    171140   2512652     11.83     12.56  --
597.33/149.88	c  N dy  1966    501551       776      1365     64839     35857    171140   1809948     11.90     12.57  --
624.05/156.53	c  N dy  2054    522003       776      1365     64844     55663    171140   3276333     11.94     12.57  --
640.80/160.74	c  S st  2122    536809       776      1365     64851     40041    171140   2008967     11.97   no data  --
641.20/160.88	c  S st  2122    537312       776      1365     64851     40541    171140   2051142     11.97   no data  --
641.20/160.89	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
641.20/160.89	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
643.21/161.40	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 17.3M T:  2.04
643.64/161.49	c bin-w-bin subsume rem            3 bins  time:  0.04 s
649.58/162.93	c subs with bin:        4  lits-rem:         1  v-fix:    0  time:  5.77 s
649.58/162.94	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    776 time:  0.03 s
649.58/162.95	c Removed useless bin:       0  fixed:     0  props:   0.30M  time:  0.03 s
661.19/165.83	c lits-rem:       898  cl-subs:     1173  v-elim:      0  v-fix:    0  time: 11.50 s
661.19/165.83	c vivif2 --  cl tried     1365 cl shrink       10 lits rem         11 time: 0.00
661.19/165.88	c vivif2 --  cl tried    36226 cl shrink     1583 lits rem       1817 time: 0.17
662.34/166.15	c asymm  cl-useful: 0/595/1365 lits-rem:0 time: 1.10
662.34/166.15	c calculated reachability. Time: 0.00
662.34/166.15	c  N dy  2122    537312       776      1365     64180     36225    169917   1975921     11.97   no data  --
696.28/174.61	c  N dy  2215    559726       776      1365     64197     57824    169917   3627722     11.99     12.69  --
720.16/180.61	c  N dy  2298    579794       776      1365     64208     47802    169917   2633619     12.00     15.94  --
750.08/188.19	c  N dy  2357    601366       776      1365     64221     37628    169917   1879781     11.97     12.61  --
781.18/195.98	c  N dy  2438    623073       776      1365     64231     58434    169917   3360813     11.96     12.61  --
793.54/199.09	c Finding binary XORs  T:     0.01 s  found:       0
809.50/203.09	c  N dy  2521    643155       776      1365     64246     45399    169917   2255149     11.96     12.60  --
842.99/211.45	c  N dy  2598    663983       776      1365     64262     65404    169917   3591325     11.95     12.60  --
865.34/217.05	c  N dy  2644    684015       776      1365     64280     51180    169917   2454592     11.91     12.92  --
897.24/225.11	c  N dy  2708    704063       776      1365     64292     35917    169917   1386381     11.89     16.66  --
918.37/230.34	c  N dy  2760    724091       774      1365     64316     55092    169917   2459956     11.87     12.50  --
947.08/237.59	c  N dy  2845    744129       773      1365     64328     38888    169917   1539885     11.88     19.87  --
969.41/243.12	c  N dy  2935    764173       773      1365     64332     58232    169917   2716871     11.90     12.62  --
994.17/249.39	c  N dy  3014    784673       773      1365     64337     41444    169917   1569468     11.90     12.65  --
1017.28/255.15	c  N dy  3104    805053       773      1365     64342     61123    169917   2977879     11.92     12.67  --
1018.48/255.44	c  S st  3110    805969       773      1365     64343     61999    169917   3048878     11.92   no data  --
1019.28/255.66	c  S st  3110    806476       773      1365     64347     62505    169917   3083867     11.92   no data  --
1019.28/255.67	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
1019.28/255.67	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1022.46/256.46	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      2 BRemL:      0 BRemN:      0 P: 23.4M T:  3.14
1022.86/256.59	c bin-w-bin subsume rem            1 bins  time:  0.03 s
1029.26/258.15	c subs with bin:       27  lits-rem:       129  v-fix:    0  time:  6.21 s
1029.26/258.16	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    773 time:  0.03 s
1029.26/258.17	c Removed useless bin:       0  fixed:     0  props:   0.30M  time:  0.02 s
1059.55/265.79	c lits-rem:      1442  cl-subs:     2477  v-elim:      0  v-fix:    0  time: 30.40 s
1059.55/265.79	c vivif2 --  cl tried     1365 cl shrink       11 lits rem         13 time: 0.00
1059.97/265.86	c vivif2 --  cl tried    52415 cl shrink     2106 lits rem       2917 time: 0.24
1061.14/266.16	c asymm  cl-useful: 0/445/1365 lits-rem:0 time: 1.20
1061.14/266.16	c calculated reachability. Time: 0.00
1061.14/266.16	c  N dy  3110    806476       773      1365     63413     52414    168157   2902294     11.92   no data  --
1089.87/273.30	c  N dy  3183    827107       773      1365     63427     38639    168157   1705061     11.92     12.60  --
1116.18/279.99	c  N dy  3260    849315       773      1365     63440     59894    168157   3229424     11.92     12.63  --
1144.49/287.05	c  N dy  3320    869403       773      1365     63453     42672    168157   1800382     11.90     12.59  --
1170.41/293.56	c  N dy  3412    889813       773      1365     63461     62347    168157   3302193     11.93     12.58  --
1202.71/301.65	c  N dy  3499    910013       773      1365     63469     43334    168157   1803198     11.96     12.73  --
1226.67/307.65	c  N dy  3550    930052       773      1365     63475     62617    168157   3088745     11.95     12.76  --
1259.75/315.90	c  N dy  3630    950407       773      1365     63483     42198    168157   1703184     11.95     12.71  --
1283.28/321.84	c  N dy  3698    970887       773      1365     63492     61873    168157   2930436     11.95     12.59  --
1317.58/330.44	c  N dy  3770    991136       773      1365     63503     81302    168157   4212783     11.95     12.59  --
1341.89/336.52	c  N dy  3828   1011592       773      1365     63519     59916    168157   2881484     11.93     12.76  --
1375.00/344.90	c  N dy  3891   1031676       773      1365     63526     79208    168157   4208396     11.92     13.08  --
1405.29/352.48	c  N dy  3987   1053065       773      1365     63535     57599    168157   2547210     11.94     12.57  --
1432.99/359.42	c  F st  4053   1071875       773      1365     63551     75658    168157   3665150     11.93      8.43  --
1436.50/360.33	c  N st  4057   1073908       773      1365     63554     77592    168157   3804777     11.93   no data  --
1467.25/368.20	c  N dy  4098   1094036       773      1365     63562     53674    168157   2149737     11.92     12.57  --
1494.63/375.02	c  N dy  4157   1114094       772      1365     63583     72803    168157   3323037     11.91     14.59  --
1528.55/383.55	c  N dy  4231   1136390       771      1365     63596     50170    168157   1909612     11.91     12.56  --
1553.26/389.79	c  N dy  4293   1156408       771      1365     63599     69374    168157   3092806     11.90     12.84  --
1587.56/398.38	c  N dy  4359   1177973       771      1365     63607     90015    168157   4228997     11.88     12.54  --
1609.49/403.88	c  N dy  4443   1198015       771      1365     63619     64278    168157   2676512     11.89     22.02  --
1625.49/407.84	c  S st  4471   1209714       770      1365     63623     75522    168157   3278573     11.88      9.81  --
1626.24/408.06	c  S st  4471   1210216       770      1365     63624     76021    168157   3313350     11.88   no data  --
1626.24/408.07	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
1626.24/408.07	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1630.22/409.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 26.6M T:  3.76
1630.62/409.16	c bin-w-bin subsume rem            1 bins  time:  0.03 s
1637.42/410.88	c subs with bin:        5  lits-rem:         0  v-fix:    0  time:  6.85 s
1637.42/410.88	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    770 time:  0.03 s
1637.42/410.89	c Removed useless bin:       0  fixed:     0  props:   0.29M  time:  0.03 s
1682.87/422.29	c lits-rem:      2565  cl-subs:     4035  v-elim:      0  v-fix:    0  time: 45.44 s
1682.87/422.29	c vivif2 --  cl tried     1365 cl shrink       26 lits rem         28 time: 0.00
1683.27/422.38	c vivif2 --  cl tried    61812 cl shrink     3925 lits rem       4614 time: 0.34
1684.86/422.77	c asymm  cl-useful: 0/413/1365 lits-rem:0 time: 1.57
1684.86/422.77	c calculated reachability. Time: 0.00
1684.86/422.78	c  N dy  4471   1210216       770      1365     62718     61810    166452   3007975     11.88   no data  --
1717.19/430.83	c  N dy  4524   1230635       770      1365     62728     81352    166452   4175112     11.86     12.67  --
1739.12/436.33	c  N dy  4583   1250717       770      1365     62737     59778    166452   2724839     11.85     12.54  --
1766.61/443.24	c  N dy  4647   1270754       770      1365     62743     79035    166452   3851638     11.84     23.80  --
1793.74/450.05	c  N dy  4697   1291725       770      1365     62753     54619    166452   2269318     11.83     12.56  --
1824.04/457.67	c  N dy  4804   1311917       770      1365     62753     74046    166452   3518063     11.85     12.50  --
1863.12/467.46	c  N dy  4890   1332151       770      1365     62761     46762    166452   1708423     11.86     12.55  --
1887.46/473.55	c  N dy  4951   1352740       770      1365     62765     66508    166452   2890537     11.85     12.62  --
1918.99/481.45	c  N dy  5002   1372766       770      1365     62772     85653    166452   3992815     11.84     12.73  --
1950.87/489.47	c  N dy  5073   1393785       770      1365     62777     57558    166452   2402149     11.83     12.95  --
1982.37/497.31	c  N dy  5147   1415103       770      1365     62786     78003    166452   3648296     11.83     12.54  --
2019.47/506.70	c  N dy  5235   1435395       770      1365     62794     97435    166452   4936957     11.84     12.97  --
2045.38/513.19	c  N dy  5315   1455611       770      1365     62806     67337    166452   2946708     11.84     12.49  --
2076.91/521.06	c  N dy  5373   1475669       770      1365     62818     86417    166452   3881860     11.83     12.60  --
2111.59/529.71	c  N dy  5457   1496341       770      1365     62830     55575    166452   1976088     11.83     12.53  --
2136.71/536.01	c  N dy  5532   1516418       770      1365     62839     74793    166452   3030169     11.83     12.55  --
2150.28/539.50	c Finding binary XORs  T:     0.00 s  found:       0
2167.82/543.80	c  N dy  5601   1536738       770      1365     62847     94313    166452   4304210     11.82     12.50  --
2197.73/551.31	c  N dy  5659   1558299       769      1365     62870     63262    166452   2403152     11.81     12.50  --
2224.84/558.11	c  N dy  5728   1578479       769      1365     62875     82520    166452   3569542     11.81     12.44  --
2259.14/566.73	c  N dy  5791   1598539       769      1365     62881    101788    166452   4858638     11.80     12.57  --
2285.86/573.47	c  N dy  5858   1619163       769      1365     62889     68912    166452   2646164     11.80     12.94  --
2314.22/580.59	c  N dy  5932   1639229       769      1365     62899     88151    166452   3822364     11.80     15.25  --
2354.05/590.50	c  N dy  6027   1659596       769      1365     62907     54065    166452   1753991     11.81     12.52  --
2376.39/596.17	c  N dy  6082   1679657       769      1365     62918     73266    166452   2857965     11.80     21.03  --
2407.09/603.86	c  N dy  6132   1700119       769      1365     62929     92823    166452   3953853     11.79     12.84  --
2425.44/608.44	c  S st  6160   1710216       768      1365     62933    102561    166452   4545194     11.79     11.69  --
2426.64/608.74	c  S st  6160   1710719       768      1365     62934    103063    166452   4583996     11.79   no data  --
2426.64/608.75	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
2426.64/608.75	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2431.82/610.04	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 32.6M T:  5.15
2433.01/610.31	c bin-w-bin subsume rem            3 bins  time:  0.03 s
2439.79/612.06	c subs with bin:      125  lits-rem:        99  v-fix:    0  time:  7.01 s
2439.79/612.07	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    768 time:  0.03 s
2439.79/612.08	c Removed useless bin:       0  fixed:     0  props:   0.29M  time:  0.02 s
2547.07/638.92	c lits-rem:      4272  cl-subs:     6057  v-elim:      0  v-fix:    0  time: 106.97 s
2547.07/638.92	c vivif2 --  cl tried     1346 cl shrink       15 lits rem         19 time: 0.00
2547.47/639.04	c vivif2 --  cl tried    77267 cl shrink     6712 lits rem       9895 time: 0.49
2549.07/639.42	c asymm  cl-useful: 0/408/1346 lits-rem:0 time: 1.51
2549.07/639.42	c calculated reachability. Time: 0.00
2549.07/639.42	c  N dy  6160   1710719       768      1346     62324     77262    164964   4039452     11.79   no data  --
2584.56/648.39	c  N dy  6226   1730835       768      1346     62350     51918    164964   2132176     11.78     12.43  --
2617.66/656.61	c  N dy  6316   1751146       768      1346     62358     71445    164964   3399968     11.79     12.52  --
2658.74/666.93	c  N dy  6395   1771205       768      1346     62364     90645    164964   4545187     11.79     17.51  --
2698.63/676.95	c  N dy  6478   1791284       768      1346     62374     59338    164964   2405044     11.80     19.63  --
2732.12/685.34	c  N dy  6566   1811353       768      1346     62388     78616    164964   3644646     11.80     16.79  --
2773.19/695.69	c  N dy  6630   1831716       768      1346     62398     98144    164964   4782326     11.80     12.60  --
2813.48/705.76	c  N dy  6701   1852546       768      1346     62415     63971    164964   2528695     11.79     12.47  --
2844.61/713.60	c  N dy  6765   1872641       767      1346     62427     83229    164964   3749036     11.79     12.46  --
2887.67/724.34	c  N dy  6860   1892992       767      1346     62442    102812    164964   5048410     11.80     12.50  --
2928.72/734.62	c  N dy  6965   1914054       767      1346     62452     66706    164964   2753157     11.81     12.61  --
2965.82/743.92	c  N dy  7054   1934333       767      1346     62464     86209    164964   4006154     11.81     12.44  --
3019.66/757.44	c  N dy  7157   1955354       767      1346     62479    106479    164964   5278642     11.83     12.58  --
3060.73/767.70	c  N dy  7243   1975860       767      1346     62491     68191    164964   2576186     11.83     12.68  --
3093.05/775.80	c  N dy  7316   1996510       767      1346     62509     87949    164964   3707688     11.82     12.51  --
3132.12/785.65	c  N dy  7398   2016882       765      1346     62528    107535    164964   4905544     11.83     12.80  --
3166.42/794.24	c  N dy  7484   2036965       765      1346     62540     67639    164964   2523431     11.83     14.99  --
3194.74/801.35	c  N dy  7568   2057066       765      1346     62547     87014    164964   3819365     11.83     13.86  --
3232.23/810.77	c  N dy  7662   2077218       765      1346     62555    106419    164964   5025371     11.84     12.54  --
3271.71/820.63	c  N dy  7749   2097834       765      1346     62562     65766    164964   2323087     11.84     12.48  --
3309.61/830.18	c  N dy  7840   2123489       764      1346     62587     90184    164964   3678257     11.84     12.53  --
3348.28/839.85	c  N dy  7935   2143586       764      1346     62593    109506    164964   4963762     11.85     12.70  --
3389.35/850.14	c  N dy  8033   2163720       763      1346     62619     67581    164964   2325399     11.86     12.71  --
3419.71/857.75	c  N dy  8105   2183818       762      1346     62641     86976    164964   3532277     11.85     13.02  --
3457.55/867.29	c  N dy  8235   2203842       762      1346     62646    106355    164964   4865441     11.89     26.88  --
3471.93/870.82	c  S st  8266   2210719       762      1346     62653    113028    164964   5352457     11.89   no data  --
3473.10/871.13	c  S st  8266   2211223       762      1346     62653    113531    164964   5391489     11.89   no data  --
3473.10/871.15	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
3473.10/871.15	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3479.08/872.62	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 36.4M T:  5.88
3479.88/872.87	c bin-w-bin subsume rem            5 bins  time:  0.03 s
3487.46/874.78	c subs with bin:       82  lits-rem:       585  v-fix:    0  time:  7.60 s
3487.46/874.79	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    762 time:  0.03 s
3487.86/874.80	c Removed useless bin:       0  fixed:     0  props:   0.27M  time:  0.02 s
3658.55/917.61	c lits-rem:      4014  cl-subs:     3940  v-elim:      0  v-fix:    0  time: 170.67 s
3658.55/917.61	c vivif2 --  cl tried     1346 cl shrink       26 lits rem         29 time: 0.00
3658.95/917.78	c vivif2 --  cl tried    89087 cl shrink     7717 lits rem      11580 time: 0.67
3660.56/918.20	c asymm  cl-useful: 0/321/1346 lits-rem:0 time: 1.68
3660.56/918.21	c calculated reachability. Time: 0.00
3660.56/918.21	c  N dy  8266   2211223       762      1346     60824     89087    161654   4892916     11.89   no data  --
3666.11/919.54	c Finding binary XORs  T:     0.01 s  found:       0
3703.22/928.83	c  N dy  8332   2231424       762      1346     60850     56220    161654   2260229     11.88     12.53  --
3735.56/936.93	c  N dy  8397   2251565       762      1346     60856     75601    161654   3585575     11.88     12.52  --
3782.19/948.69	c  N dy  8475   2271599       762      1346     60866     94754    161654   4803861     11.88     17.46  --
3836.45/962.22	c  N dy  8540   2291887       761      1346     60881    114201    161654   5989738     11.88     12.57  --
3868.71/970.38	c  N dy  8615   2312234       761      1346     60889     75587    161654   3282115     11.88     12.55  --
3907.00/979.98	c  N dy  8702   2332323       761      1346     60902     94961    161654   4570899     11.89     16.73  --
3955.66/992.11	c  N dy  8769   2352407       761      1346     60914    114246    161654   5885389     11.89     16.29  --
3998.78/1002.92	c  N dy  8835   2373038       761      1346     60928     72190    161654   2922678     11.89     12.75  --
4035.82/1012.28	c  N dy  8899   2393056       761      1346     60937     91368    161654   4098455     11.88     22.17  --
4084.47/1024.40	c  N dy  8992   2413079       760      1346     60947    110563    161654   5327523     11.89     16.45  --
4142.31/1038.93	c  N dy  9100   2433398       760      1346     60957     66083    161654   2507326     11.91     12.84  --
4178.98/1048.18	c  N dy  9178   2453834       760      1346     60968     85635    161654   3664315     11.91     12.55  --
4223.65/1059.39	c  N dy  9276   2473897       759      1346     60983    104888    161654   4915082     11.91     16.72  --
4272.31/1071.55	c  N dy  9371   2493902       759      1346     60989    124078    161654   6279644     11.93     15.93  --
4316.58/1082.62	c  N dy  9494   2513994       759      1346     60995     77932    161654   3351649     11.96     14.69  --
4356.06/1092.54	c  N dy  9605   2534124       759      1346     61005     97340    161654   4666101     11.97     12.66  --
4409.10/1105.83	c  N dy  9731   2554148       759      1346     61016    116714    161654   6105092     12.00     12.70  --
4467.75/1120.53	c  N dy  9834   2574236       759      1346     61018     69002    161654   2545160     12.02     21.14  --
4500.03/1128.64	c  N dy  9932   2594271       759      1346     61024     88289    161653   3912673     12.03     17.86  --
4544.68/1139.83	c  N dy 10044   2614799       759      1346     61033    108119    161653   5407661     12.05     12.70  --
4601.32/1154.09	c  N dy 10153   2634952       759      1346     61041    127473    161653   6753934     12.07     12.93  --
4648.03/1165.76	c  N dy 10273   2655052       759      1346     61048     78646    161653   3099948     12.09     19.09  --
4687.86/1175.78	c  N dy 10387   2675360       758      1346     61051     98309    161653   4498500     12.11     12.85  --
4742.89/1189.53	c  N dy 10506   2695461       758      1346     61056    117790    161653   5904928     12.13     16.84  --
4790.35/1201.49	c  S st 10575   2711223       758      1346     61060    132924    161653   6957138     12.14   no data  --
4792.37/1201.95	c  S st 10575   2711725       758      1346     61060    133425    161653   6995282     12.14   no data  --
4792.37/1201.97	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
4792.37/1201.97	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00

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-3369328-1305415150/watcher-3369328-1305415150 -o /tmp/evaluation-result-3369328-1305415150/solver-3369328-1305415150 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3369328-1305415150.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: 3.41 4.31 5.82 3/361 8482
/proc/meminfo: memFree=30312368/32951124 swapFree=51873460/67111528
[pid=8482] ppid=8480 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/8482/stat : 8482 (strangenight1-m) R 8480 8482 8076 0 -1 4202496 412 0 0 0 0 0 0 0 21 0 4 0 633931277 52465664 352 33554432000 4194304 4650419 140733410876624 18446744073709551615 212039711729 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/8482/statm: 12809 352 303 112 0 7774 0
[pid=8482/tid=8483] ppid=8480 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/8482/task/8483/stat : 8483 (strangenight1-m) R 8480 8482 8076 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 4 0 633931278 52465664 352 33554432000 4194304 4650419 140733410876624 18446744073709551615 47897557669808 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8482/tid=8484] ppid=8480 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/8482/task/8484/stat : 8484 (strangenight1-m) R 8480 8482 8076 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 4 0 633931278 52465664 352 33554432000 4194304 4650419 140733410876624 18446744073709551615 47897557669810 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8482/tid=8485] ppid=8480 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/8482/task/8485/stat : 8485 (strangenight1-m) R 8480 8482 8076 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 633931278 52465664 352 33554432000 4194304 4650419 140733410876624 18446744073709551615 212039711729 0 0 4096 2 0 0 0 -1 2 0 0 0

[startup+0.0870381 s]
/proc/loadavg: 3.41 4.31 5.82 3/361 8482
/proc/meminfo: memFree=30312368/32951124 swapFree=51873460/67111528
[pid=8482] ppid=8480 vsize=296344 CPUtime=1.81 cores=0,2,4,6
/proc/8482/stat : 8482 (strangenight1-m) R 8480 8482 8076 0 -1 4202496 7338 0 0 0 179 2 0 0 18 0 4 0 633931277 303456256 6486 33554432000 4194304 4650419 140733410876624 18446744073709551615 4365327 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/8482/statm: 72730 7246 392 112 0 67695 0
[pid=8482/tid=8483] ppid=8480 vsize=290920 CPUtime=0.86 cores=0,2,4,6
/proc/8482/task/8483/stat : 8483 (strangenight1-m) R 8480 8482 8076 0 -1 4202560 2394 0 0 0 86 0 0 0 19 0 4 0 633931278 297902080 7246 33554432000 4194304 4650419 140733410876624 18446744073709551615 4315464 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8482/tid=8484] ppid=8480 vsize=290920 CPUtime=0.85 cores=0,2,4,6
/proc/8482/task/8484/stat : 8484 (strangenight1-m) R 8480 8482 8076 0 -1 4202560 2280 0 0 0 84 1 0 0 18 0 4 0 633931278 297902080 7246 33554432000 4194304 4650419 140733410876624 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8482/tid=8485] ppid=8480 vsize=290920 CPUtime=0.84 cores=0,2,4,6
/proc/8482/task/8485/stat : 8485 (strangenight1-m) R 8480 8482 8076 0 -1 4202560 2148 0 0 0 84 0 0 0 19 0 4 0 633931278 297902080 7246 33554432000 4194304 4650419 140733410876624 18446744073709551615 4334529 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.81
Current children cumulated vsize (KiB) 296344

[startup+0.976335 s]
/proc/loadavg: 3.41 4.31 5.82 3/361 8482
/proc/meminfo: memFree=30312368/32951124 swapFree=51873460/67111528
[pid=8482] ppid=8480 vsize=291216 CPUtime=3.83 cores=0,2,4,6
/proc/8482/stat : 8482 (strangenight1-m) R 8480 8482 8076 0 -1 4202496 10272 0 0 0 380 3 0 0 19 0 4 0 633931277 298205184 7382 33554432000 4194304 4650419 140733410876624 18446744073709551615 4364772 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/8482/statm: 72804 7382 392 112 0 67769 0
[pid=8482/tid=8483] ppid=8480 vsize=291216 CPUtime=0.96 cores=0,2,4,6
/proc/8482/task/8483/stat : 8483 (strangenight1-m) R 8480 8482 8076 0 -1 4202560 2499 0 0 0 96 0 0 0 19 0 4 0 633931278 298205184 7382 33554432000 4194304 4650419 140733410876624 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8482/tid=8484] ppid=8480 vsize=291216 CPUtime=0.95 cores=0,2,4,6
/proc/8482/task/8484/stat : 8484 (strangenight1-m) R 8480 8482 8076 0 -1 4202560 2613 0 0 0 94 1 0 0 19 0 4 0 633931278 298205184 7382 33554432000 4194304 4650419 140733410876624 18446744073709551615 4331159 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8482/tid=8485] ppid=8480 vsize=291216 CPUtime=0.94 cores=0,2,4,6
/proc/8482/task/8485/stat : 8485 (strangenight1-m) R 8480 8482 8076 0 -1 4202560 2249 0 0 0 94 0 0 0 19 0 4 0 633931278 298205184 7382 33554432000 4194304 4650419 140733410876624 18446744073709551615 4333600 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.83
Current children cumulated vsize (KiB) 291216

[startup+1.00033 s]
/proc/loadavg: 3.41 4.31 5.82 3/361 8482
/proc/meminfo: memFree=30312368/32951124 swapFree=51873460/67111528
[pid=8482] ppid=8480 vsize=291216 CPUtime=3.93 cores=0,2,4,6
/proc/8482/stat : 8482 (strangenight1-m) R 8480 8482 8076 0 -1 4202496 10357 0 0 0 390 3 0 0 19 0 4 0 633931277 298205184 7467 33554432000 4194304 4650419 140733410876624 18446744073709551615 4363680 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/8482/statm: 72804 7467 392 112 0 67769 0
[pid=8482/tid=8483] ppid=8480 vsize=291216 CPUtime=0.99 cores=0,2,4,6
/proc/8482/task/8483/stat : 8483 (strangenight1-m) R 8480 8482 8076 0 -1 4202560 2519 0 0 0 99 0 0 0 19 0 4 0 633931278 298205184 7467 33554432000 4194304 4650419 140733410876624 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8482/tid=8484] ppid=8480 vsize=291216 CPUtime=0.98 cores=0,2,4,6
/proc/8482/task/8484/stat : 8484 (strangenight1-m) R 8480 8482 8076 0 -1 4202560 2627 0 0 0 97 1 0 0 19 0 4 0 633931278 298205184 7467 33554432000 4194304 4650419 140733410876624 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8482/tid=8485] ppid=8480 vsize=291216 CPUtime=0.96 cores=0,2,4,6
/proc/8482/task/8485/stat : 8485 (strangenight1-m) R 8480 8482 8076 0 -1 4202560 2276 0 0 0 96 0 0 0 19 0 4 0 633931278 298205184 7467 33554432000 4194304 4650419 140733410876624 18446744073709551615 4366698 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.93
Current children cumulated vsize (KiB) 291216

[startup+1.10031 s]
/proc/loadavg: 3.41 4.31 5.82 3/361 8482
/proc/meminfo: memFree=30312368/32951124 swapFree=51873460/67111528
[pid=8482] ppid=8480 vsize=291216 CPUtime=4.33 cores=0,2,4,6
/proc/8482/stat : 8482 (strangenight1-m) R 8480 8482 8076 0 -1 4202496 10663 0 0 0 430 3 0 0 19 0 4 0 633931277 298205184 7773 33554432000 4194304 4650419 140733410876624 18446744073709551615 4365223 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/8482/statm: 72804 7773 392 112 0 67769 0
[pid=8482/tid=8483] ppid=8480 vsize=291216 CPUtime=1.09 cores=0,2,4,6
/proc/8482/task/8483/stat : 8483 (strangenight1-m) R 8480 8482 8076 0 -1 4202560 2594 0 0 0 109 0 0 0 19 0 4 0 633931278 298205184 7773 33554432000 4194304 4650419 140733410876624 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8482/tid=8484] ppid=8480 vsize=291216 CPUtime=1.08 cores=0,2,4,6
/proc/8482/task/8484/stat : 8484 (strangenight1-m) R 8480 8482 8076 0 -1 4202560 2677 0 0 0 107 1 0 0 19 0 4 0 633931278 298205184 7773 33554432000 4194304 4650419 140733410876624 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8482/tid=8485] ppid=8480 vsize=291216 CPUtime=1.06 cores=0,2,4,6
/proc/8482/task/8485/stat : 8485 (strangenight1-m) R 8480 8482 8076 0 -1 4202560 2359 0 0 0 106 0 0 0 19 0 4 0 633931278 298205184 7773 33554432000 4194304 4650419 140733410876624 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.33
Current children cumulated vsize (KiB) 291216

[startup+1.50024 s]
/proc/loadavg: 3.41 4.31 5.82 3/361 8482
/proc/meminfo: memFree=30312368/32951124 swapFree=51873460/67111528
[pid=8482] ppid=8480 vsize=292444 CPUtime=5.92 cores=0,2,4,6
/proc/8482/stat : 8482 (strangenight1-m) R 8480 8482 8076 0 -1 4202496 12862 0 0 0 589 3 0 0 20 0 4 0 633931277 299462656 7841 33554432000 4194304 4650419 140733410876624 18446744073709551615 4366828 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/8482/statm: 73111 7841 392 112 0 68076 0
[pid=8482/tid=8483] ppid=8480 vsize=292444 CPUtime=1.48 cores=0,2,4,6
/proc/8482/task/8483/stat : 8483 (strangenight1-m) R 8480 8482 8076 0 -1 4202560 3333 0 0 0 148 0 0 0 19 0 4 0 633931278 299462656 7841 33554432000 4194304 4650419 140733410876624 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8482/tid=8484] ppid=8480 vsize=292444 CPUtime=1.48 cores=0,2,4,6
/proc/8482/task/8484/stat : 8484 (strangenight1-m) R 8480 8482 8076 0 -1 4202560 2902 0 0 0 147 1 0 0 19 0 4 0 633931278 299462656 7841 33554432000 4194304 4650419 140733410876624 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8482/tid=8485] ppid=8480 vsize=292444 CPUtime=1.47 cores=0,2,4,6
/proc/8482/task/8485/stat : 8485 (strangenight1-m) R 8480 8482 8076 0 -1 4202560 2970 0 0 0 146 1 0 0 20 0 4 0 633931278 299462656 7841 33554432000 4194304 4650419 140733410876624 18446744073709551615 4366879 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.92
Current children cumulated vsize (KiB) 292444

[startup+3.10096 s]
/proc/loadavg: 3.41 4.31 5.82 9/371 8495
/proc/meminfo: memFree=30184948/32951124 swapFree=51873460/67111528
[pid=8482] ppid=8480 vsize=275376 CPUtime=12.3 cores=0,2,4,6
/proc/8482/stat : 8482 (strangenight1-m) R 8480 8482 8076 0 -1 4202496 20017 0 0 0 1225 5 0 0 25 0 4 0 633931277 281985024 10252 33554432000 4194304 4650419 140733410876624 18446744073709551615 4366127 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/8482/statm: 68844 10252 393 112 0 63809 0
[pid=8482/tid=8483] ppid=8480 vsize=275376 CPUtime=3.08 cores=0,2,4,6
/proc/8482/task/8483/stat : 8483 (strangenight1-m) R 8480 8482 8076 0 -1 4202560 4944 0 0 0 308 0 0 0 25 0 4 0 633931278 281985024 10252 33554432000 4194304 4650419 140733410876624 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8482/tid=8484] ppid=8480 vsize=275376 CPUtime=3.07 cores=0,2,4,6
/proc/8482/task/8484/stat : 8484 (strangenight1-m) R 8480 8482 8076 0 -1 4202560 4770 0 0 0 306 1 0 0 25 0 4 0 633931278 281985024 10252 33554432000 4194304 4650419 140733410876624 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8482/tid=8485] ppid=8480 vsize=275376 CPUtime=3.04 cores=0,2,4,6
/proc/8482/task/8485/stat : 8485 (strangenight1-m) R 8480 8482 8076 0 -1 4202560 4812 0 0 0 303 1 0 0 25 0 4 0 633931278 281985024 10253 33554432000 4194304 4650419 140733410876624 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.3
Current children cumulated vsize (KiB) 275376

[startup+6.31339 s]
/proc/loadavg: 3.78 4.37 5.83 9/371 8496
/proc/meminfo: memFree=30118872/32951124 swapFree=51873460/67111528
[pid=8482] ppid=8480 vsize=311184 CPUtime=25.1 cores=0,2,4,6
/proc/8482/stat : 8482 (strangenight1-m) R 8480 8482 8076 0 -1 4202496 35762 0 0 0 2503 7 0 0 25 0 4 0 633931277 318652416 23374 33554432000 4194304 4650419 140733410876624 18446744073709551615 4439366 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/8482/statm: 77796 23374 394 112 0 72761 0
[pid=8482/tid=8483] ppid=8480 vsize=311184 CPUtime=6.29 cores=0,2,4,6
/proc/8482/task/8483/stat : 8483 (strangenight1-m) R 8480 8482 8076 0 -1 4202560 10595 0 0 0 628 1 0 0 25 0 4 0 633931278 318652416 23374 33554432000 4194304 4650419 140733410876624 18446744073709551615 4436163 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8482/tid=8484] ppid=8480 vsize=311184 CPUtime=6.29 cores=0,2,4,6
/proc/8482/task/8484/stat : 8484 (strangenight1-m) R 8480 8482 8076 0 -1 4202560 8187 0 0 0 627 2 0 0 25 0 4 0 633931278 318652416 23374 33554432000 4194304 4650419 140733410876624 18446744073709551615 4439103 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8482/tid=8485] ppid=8480 vsize=311184 CPUtime=6.21 cores=0,2,4,6
/proc/8482/task/8485/stat : 8485 (strangenight1-m) R 8480 8482 8076 0 -1 4202560 8815 0 0 0 620 1 0 0 25 0 4 0 633931278 318652416 23374 33554432000 4194304 4650419 140733410876624 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.1
Current children cumulated vsize (KiB) 311184

[startup+12.7002 s]
/proc/loadavg: 4.19 4.45 5.85 9/371 8496
/proc/meminfo: memFree=30090380/32951124 swapFree=51873460/67111528
[pid=8482] ppid=8480 vsize=333380 CPUtime=50.58 cores=0,2,4,6
/proc/8482/stat : 8482 (strangenight1-m) R 8480 8482 8076 0 -1 4202496 49647 0 0 0 5048 10 0 0 25 0 4 0 633931277 341381120 27276 33554432000 4194304 4650419 140733410876624 18446744073709551615 4438643 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/8482/statm: 83345 27276 394 112 0 78310 0
[pid=8482/tid=8483] ppid=8480 vsize=333380 CPUtime=12.68 cores=0,2,4,6
/proc/8482/task/8483/stat : 8483 (strangenight1-m) R 8480 8482 8076 0 -1 4202560 12681 0 0 0 1266 2 0 0 25 0 4 0 633931278 341381120 27276 33554432000 4194304 4650419 140733410876624 18446744073709551615 4364779 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8482/tid=8484] ppid=8480 vsize=333380 CPUtime=12.68 cores=0,2,4,6
/proc/8482/task/8484/stat : 8484 (strangenight1-m) R 8480 8482 8076 0 -1 4202560 13078 0 0 0 1265 3 0 0 25 0 4 0 633931278 341381120 27276 33554432000 4194304 4650419 140733410876624 18446744073709551615 4435469 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8482/tid=8485] ppid=8480 vsize=333380 CPUtime=12.53 cores=0,2,4,6
/proc/8482/task/8485/stat : 8485 (strangenight1-m) R 8480 8482 8076 0 -1 4202560 13340 0 0 0 1251 2 0 0 25 0 4 0 633931278 341381120 27276 33554432000 4194304 4650419 140733410876624 18446744073709551615 4365246 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.58
Current children cumulated vsize (KiB) 333380

[startup+25.501 s]
/proc/loadavg: 5.04 4.62 5.88 9/371 8496
/proc/meminfo: memFree=29985356/32951124 swapFree=51873460/67111528
[pid=8482] ppid=8480 vsize=430612 CPUtime=101.62 cores=0,2,4,6
/proc/8482/stat : 8482 (strangenight1-m) R 8480 8482 8076 0 -1 4202496 78802 0 0 0 10146 16 0 0 25 0 4 0 633931277 440946688 42856 33554432000 4194304 4650419 140733410876624 18446744073709551615 4365357 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/8482/statm: 107653 42856 394 112 0 102618 0
[pid=8482/tid=8483] ppid=8480 vsize=430612 CPUtime=25.48 cores=0,2,4,6
/proc/8482/task/8483/stat : 8483 (strangenight1-m) R 8480 8482 8076 0 -1 4202560 22632 0 0 0 2545 3 0 0 25 0 4 0 633931278 440946688 42856 33554432000 4194304 4650419 140733410876624 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8482/tid=8484] ppid=8480 vsize=430612 CPUtime=25.48 cores=0,2,4,6
/proc/8482/task/8484/stat : 8484 (strangenight1-m) R 8480 8482 8076 0 -1 4202560 19397 0 0 0 2543 5 0 0 25 0 4 0 633931278 440946688 42856 33554432000 4194304 4650419 140733410876624 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8482/tid=8485] ppid=8480 vsize=430612 CPUtime=25.18 cores=0,2,4,6
/proc/8482/task/8485/stat : 8485 (strangenight1-m) R 8480 8482 8076 0 -1 4202560 21507 0 0 0 2514 4 0 0 25 0 4 0 633931278 440946688 42856 33554432000 4194304 4650419 140733410876624 18446744073709551615 4438643 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.62
Current children cumulated vsize (KiB) 430612

[startup+51.1004 s]
/proc/loadavg: 6.05 4.89 5.94 9/371 8497
/proc/meminfo: memFree=29918700/32951124 swapFree=51873460/67111528
[pid=8482] ppid=8480 vsize=434856 CPUtime=203.72 cores=0,2,4,6
/proc/8482/stat : 8482 (strangenight1-m) R 8480 8482 8076 0 -1 4202496 114713 0 0 0 20347 25 0 0 25 0 4 0 633931277 445292544 52283 33554432000 4194304 4650419 140733410876624 18446744073709551615 4366816 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/8482/statm: 108714 52283 394 112 0 103679 0
[pid=8482/tid=8483] ppid=8480 vsize=434856 CPUtime=51.09 cores=0,2,4,6
/proc/8482/task/8483/stat : 8483 (strangenight1-m) R 8480 8482 8076 0 -1 4202560 30618 0 0 0 5104 5 0 0 25 0 4 0 633931278 445292544 52283 33554432000 4194304 4650419 140733410876624 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8482/tid=8484] ppid=8480 vsize=434856 CPUtime=51.08 cores=0,2,4,6
/proc/8482/task/8484/stat : 8484 (strangenight1-m) R 8480 8482 8076 0 -1 4202560 26676 0 0 0 5101 7 0 0 25 0 4 0 633931278 445292544 52283 33554432000 4194304 4650419 140733410876624 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8482/tid=8485] ppid=8480 vsize=434856 CPUtime=50.48 cores=0,2,4,6
/proc/8482/task/8485/stat : 8485 (strangenight1-m) R 8480 8482 8076 0 -1 4202560 33374 0 0 0 5041 7 0 0 25 0 4 0 633931278 445292544 52283 33554432000 4194304 4650419 140733410876624 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 203.72
Current children cumulated vsize (KiB) 434856

[startup+102.3 s]
/proc/loadavg: 7.36 5.42 6.06 9/371 8498
/proc/meminfo: memFree=29829716/32951124 swapFree=51873460/67111528
[pid=8482] ppid=8480 vsize=533904 CPUtime=407.9 cores=0,2,4,6
/proc/8482/stat : 8482 (strangenight1-m) R 8480 8482 8076 0 -1 4202496 190245 0 0 0 40749 41 0 0 25 0 4 0 633931277 546717696 70545 33554432000 4194304 4650419 140733410876624 18446744073709551615 4364792 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/8482/statm: 133476 70545 394 112 0 128441 0
[pid=8482/tid=8483] ppid=8480 vsize=533904 CPUtime=102.28 cores=0,2,4,6
/proc/8482/task/8483/stat : 8483 (strangenight1-m) R 8480 8482 8076 0 -1 4202560 50574 0 0 0 10218 10 0 0 25 0 4 0 633931278 546717696 70545 33554432000 4194304 4650419 140733410876624 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8482/tid=8484] ppid=8480 vsize=533904 CPUtime=102.28 cores=0,2,4,6
/proc/8482/task/8484/stat : 8484 (strangenight1-m) R 8480 8482 8076 0 -1 4202560 44218 0 0 0 10217 11 0 0 25 0 4 0 633931278 546717696 70545 33554432000 4194304 4650419 140733410876624 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8482/tid=8485] ppid=8480 vsize=533904 CPUtime=101.07 cores=0,2,4,6
/proc/8482/task/8485/stat : 8485 (strangenight1-m) R 8480 8482 8076 0 -1 4202560 53944 0 0 0 10096 11 0 0 25 0 4 0 633931278 546717696 70545 33554432000 4194304 4650419 140733410876624 18446744073709551615 4363747 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 407.9
Current children cumulated vsize (KiB) 533904

[startup+162.301 s]

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

[pid=8482] ppid=8480 vsize=910888 CPUtime=2799.92 cores=0,2,4,6
/proc/8482/stat : 8482 (strangenight1-m) R 8480 8482 8076 0 -1 4202496 737228 0 0 0 279806 186 0 0 25 0 4 0 633931277 932749312 159288 33554432000 4194304 4650419 140733410876624 18446744073709551615 4366839 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/8482/statm: 227722 159288 394 112 0 222687 0
[pid=8482/tid=8483] ppid=8480 vsize=910888 CPUtime=702.3 cores=0,2,4,6
/proc/8482/task/8483/stat : 8483 (strangenight1-m) R 8480 8482 8076 0 -1 4202560 189557 0 0 0 70182 48 0 0 25 0 4 0 633931278 932749312 159288 33554432000 4194304 4650419 140733410876624 18446744073709551615 4438661 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8482/tid=8484] ppid=8480 vsize=910888 CPUtime=702.29 cores=0,2,4,6
/proc/8482/task/8484/stat : 8484 (strangenight1-m) R 8480 8482 8076 0 -1 4202560 192430 0 0 0 70182 47 0 0 25 0 4 0 633931278 932749312 159288 33554432000 4194304 4650419 140733410876624 18446744073709551615 4328199 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8482/tid=8485] ppid=8480 vsize=910888 CPUtime=694 cores=0,2,4,6
/proc/8482/task/8485/stat : 8485 (strangenight1-m) R 8480 8482 8076 0 -1 4202560 189208 0 0 0 69355 45 0 0 25 0 4 0 633931278 932749312 159288 33554432000 4194304 4650419 140733410876624 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2799.92
Current children cumulated vsize (KiB) 910888

[startup+762.3 s]
/proc/loadavg: 8.10 7.83 7.11 9/371 8519
/proc/meminfo: memFree=29303684/32951124 swapFree=51873460/67111528
[pid=8482] ppid=8480 vsize=1003432 CPUtime=3039.2 cores=0,2,4,6
/proc/8482/stat : 8482 (strangenight1-m) R 8480 8482 8076 0 -1 4202496 779105 0 0 0 303719 201 0 0 25 0 4 0 633931277 1027514368 160973 33554432000 4194304 4650419 140733410876624 18446744073709551615 4365246 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/8482/statm: 250858 160973 394 112 0 245823 0
[pid=8482/tid=8483] ppid=8480 vsize=1003432 CPUtime=762.3 cores=0,2,4,6
/proc/8482/task/8483/stat : 8483 (strangenight1-m) R 8480 8482 8076 0 -1 4202560 199735 0 0 0 76177 53 0 0 25 0 4 0 633931278 1027514368 160973 33554432000 4194304 4650419 140733410876624 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8482/tid=8484] ppid=8480 vsize=1003432 CPUtime=762.29 cores=0,2,4,6
/proc/8482/task/8484/stat : 8484 (strangenight1-m) R 8480 8482 8076 0 -1 4202560 202614 0 0 0 76179 50 0 0 25 0 4 0 633931278 1027514368 160973 33554432000 4194304 4650419 140733410876624 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8482/tid=8485] ppid=8480 vsize=1003432 CPUtime=753.28 cores=0,2,4,6
/proc/8482/task/8485/stat : 8485 (strangenight1-m) R 8480 8482 8076 0 -1 4202560 200858 0 0 0 75279 49 0 0 25 0 4 0 633931278 1027514368 160973 33554432000 4194304 4650419 140733410876624 18446744073709551615 4364779 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3039.2
Current children cumulated vsize (KiB) 1003432

[startup+822.301 s]
/proc/loadavg: 8.08 7.88 7.16 9/371 8520
/proc/meminfo: memFree=29232960/32951124 swapFree=51873460/67111528
[pid=8482] ppid=8480 vsize=1002608 CPUtime=3278.49 cores=0,2,4,6
/proc/8482/stat : 8482 (strangenight1-m) R 8480 8482 8076 0 -1 4202496 829961 0 0 0 327635 214 0 0 25 0 4 0 633931277 1026670592 179353 33554432000 4194304 4650419 140733410876624 18446744073709551615 4366882 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/8482/statm: 250652 179353 394 112 0 245617 0
[pid=8482/tid=8483] ppid=8480 vsize=1002608 CPUtime=822.3 cores=0,2,4,6
/proc/8482/task/8483/stat : 8483 (strangenight1-m) R 8480 8482 8076 0 -1 4202560 212776 0 0 0 82174 56 0 0 25 0 4 0 633931278 1026670592 179353 33554432000 4194304 4650419 140733410876624 18446744073709551615 4365321 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8482/tid=8484] ppid=8480 vsize=1002608 CPUtime=822.29 cores=0,2,4,6
/proc/8482/task/8484/stat : 8484 (strangenight1-m) R 8480 8482 8076 0 -1 4202560 220036 0 0 0 82175 54 0 0 25 0 4 0 633931278 1026670592 179353 33554432000 4194304 4650419 140733410876624 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8482/tid=8485] ppid=8480 vsize=1002608 CPUtime=812.58 cores=0,2,4,6
/proc/8482/task/8485/stat : 8485 (strangenight1-m) R 8480 8482 8076 0 -1 4202560 213640 0 0 0 81206 52 0 0 25 0 4 0 633931278 1026670592 179353 33554432000 4194304 4650419 140733410876624 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3278.49
Current children cumulated vsize (KiB) 1002608

[startup+882.301 s]
/proc/loadavg: 8.07 7.91 7.22 9/371 8522
/proc/meminfo: memFree=29237744/32951124 swapFree=51873460/67111528
[pid=8482] ppid=8480 vsize=1031428 CPUtime=3517.77 cores=0,2,4,6
/proc/8482/stat : 8482 (strangenight1-m) R 8480 8482 8076 0 -1 4202496 867481 0 0 0 351549 228 0 0 25 0 4 0 633931277 1056182272 172043 33554432000 4194304 4650419 140733410876624 18446744073709551615 4438939 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/8482/statm: 257857 172043 394 112 0 252822 0
[pid=8482/tid=8483] ppid=8480 vsize=1031428 CPUtime=882.3 cores=0,2,4,6
/proc/8482/task/8483/stat : 8483 (strangenight1-m) R 8480 8482 8076 0 -1 4202560 225322 0 0 0 88169 61 0 0 25 0 4 0 633931278 1056182272 172043 33554432000 4194304 4650419 140733410876624 18446744073709551615 4365337 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8482/tid=8484] ppid=8480 vsize=1031428 CPUtime=882.3 cores=0,2,4,6
/proc/8482/task/8484/stat : 8484 (strangenight1-m) R 8480 8482 8076 0 -1 4202560 230022 0 0 0 88172 58 0 0 25 0 4 0 633931278 1056182272 172044 33554432000 4194304 4650419 140733410876624 18446744073709551615 4438922 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8482/tid=8485] ppid=8480 vsize=1031428 CPUtime=871.87 cores=0,2,4,6
/proc/8482/task/8485/stat : 8485 (strangenight1-m) R 8480 8482 8076 0 -1 4202560 226008 0 0 0 87130 57 0 0 25 0 4 0 633931278 1056182272 172044 33554432000 4194304 4650419 140733410876624 18446744073709551615 4365325 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3517.77
Current children cumulated vsize (KiB) 1031428

[startup+942.3 s]
/proc/loadavg: 8.10 7.95 7.28 9/371 8524
/proc/meminfo: memFree=29226292/32951124 swapFree=51873460/67111528
[pid=8482] ppid=8480 vsize=991884 CPUtime=3757.07 cores=0,2,4,6
/proc/8482/stat : 8482 (strangenight1-m) R 8480 8482 8076 0 -1 4202496 892790 0 0 0 375470 237 0 0 25 0 4 0 633931277 1015689216 176494 33554432000 4194304 4650419 140733410876624 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/8482/statm: 247971 176494 394 112 0 242936 0
[pid=8482/tid=8483] ppid=8480 vsize=991884 CPUtime=942.31 cores=0,2,4,6
/proc/8482/task/8483/stat : 8483 (strangenight1-m) R 8480 8482 8076 0 -1 4202560 236678 0 0 0 94165 66 0 0 25 0 4 0 633931278 1015689216 176494 33554432000 4194304 4650419 140733410876624 18446744073709551615 4435469 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8482/tid=8484] ppid=8480 vsize=991884 CPUtime=942.31 cores=0,2,4,6
/proc/8482/task/8484/stat : 8484 (strangenight1-m) R 8480 8482 8076 0 -1 4202560 235878 0 0 0 94171 60 0 0 25 0 4 0 633931278 1015689216 176494 33554432000 4194304 4650419 140733410876624 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8482/tid=8485] ppid=8480 vsize=991884 CPUtime=931.17 cores=0,2,4,6
/proc/8482/task/8485/stat : 8485 (strangenight1-m) R 8480 8482 8076 0 -1 4202560 232604 0 0 0 93059 58 0 0 25 0 4 0 633931278 1015689216 176494 33554432000 4194304 4650419 140733410876624 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3757.07
Current children cumulated vsize (KiB) 991884

[startup+1002.3 s]
/proc/loadavg: 8.07 7.97 7.32 9/371 8525
/proc/meminfo: memFree=29169816/32951124 swapFree=51873460/67111528
[pid=8482] ppid=8480 vsize=1077304 CPUtime=3996.34 cores=0,2,4,6
/proc/8482/stat : 8482 (strangenight1-m) R 8480 8482 8076 0 -1 4202496 929054 0 0 0 399384 250 0 0 25 0 4 0 633931277 1103159296 186142 33554432000 4194304 4650419 140733410876624 18446744073709551615 4363880 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/8482/statm: 269326 186142 394 112 0 264291 0
[pid=8482/tid=8483] ppid=8480 vsize=1077304 CPUtime=1002.31 cores=0,2,4,6
/proc/8482/task/8483/stat : 8483 (strangenight1-m) R 8480 8482 8076 0 -1 4202560 241550 0 0 0 100162 69 0 0 25 0 4 0 633931278 1103159296 186142 33554432000 4194304 4650419 140733410876624 18446744073709551615 4334404 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8482/tid=8484] ppid=8480 vsize=1077304 CPUtime=1002.3 cores=0,2,4,6
/proc/8482/task/8484/stat : 8484 (strangenight1-m) R 8480 8482 8076 0 -1 4202560 248343 0 0 0 100166 64 0 0 25 0 4 0 633931278 1103159296 186142 33554432000 4194304 4650419 140733410876624 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8482/tid=8485] ppid=8480 vsize=1077304 CPUtime=990.45 cores=0,2,4,6
/proc/8482/task/8485/stat : 8485 (strangenight1-m) R 8480 8482 8076 0 -1 4202560 240054 0 0 0 98985 60 0 0 25 0 4 0 633931278 1103159296 186142 33554432000 4194304 4650419 140733410876624 18446744073709551615 4365327 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3996.34
Current children cumulated vsize (KiB) 1077304

[startup+1062.31 s]
/proc/loadavg: 8.10 7.99 7.37 9/371 8527
/proc/meminfo: memFree=29116296/32951124 swapFree=51873460/67111528
[pid=8482] ppid=8480 vsize=1174428 CPUtime=4235.66 cores=0,2,4,6
/proc/8482/stat : 8482 (strangenight1-m) R 8480 8482 8076 0 -1 4202496 964318 0 0 0 423302 264 0 0 25 0 4 0 633931277 1202614272 198843 33554432000 4194304 4650419 140733410876624 18446744073709551615 4365323 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/8482/statm: 293607 198843 394 112 0 288572 0
[pid=8482/tid=8483] ppid=8480 vsize=1174428 CPUtime=1062.32 cores=0,2,4,6
/proc/8482/task/8483/stat : 8483 (strangenight1-m) R 8480 8482 8076 0 -1 4202560 248906 0 0 0 106161 71 0 0 25 0 4 0 633931278 1202614272 198843 33554432000 4194304 4650419 140733410876624 18446744073709551615 4363423 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8482/tid=8484] ppid=8480 vsize=1174428 CPUtime=1062.32 cores=0,2,4,6
/proc/8482/task/8484/stat : 8484 (strangenight1-m) R 8480 8482 8076 0 -1 4202560 254976 0 0 0 106166 66 0 0 25 0 4 0 633931278 1202614272 198843 33554432000 4194304 4650419 140733410876624 18446744073709551615 4366906 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8482/tid=8485] ppid=8480 vsize=1174428 CPUtime=1049.75 cores=0,2,4,6
/proc/8482/task/8485/stat : 8485 (strangenight1-m) R 8480 8482 8076 0 -1 4202560 251960 0 0 0 104910 65 0 0 25 0 4 0 633931278 1202614272 198843 33554432000 4194304 4650419 140733410876624 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4235.66
Current children cumulated vsize (KiB) 1174428

[startup+1122.3 s]
/proc/loadavg: 8.10 8.00 7.41 9/371 8528
/proc/meminfo: memFree=29182480/32951124 swapFree=51873460/67111528
[pid=8482] ppid=8480 vsize=978588 CPUtime=4474.9 cores=0,2,4,6
/proc/8482/stat : 8482 (strangenight1-m) R 8480 8482 8076 0 -1 4202496 1007042 0 0 0 447212 278 0 0 25 0 4 0 633931277 1002074112 181743 33554432000 4194304 4650419 140733410876624 18446744073709551615 4364751 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/8482/statm: 244647 181743 394 112 0 239612 0
[pid=8482/tid=8483] ppid=8480 vsize=978588 CPUtime=1122.3 cores=0,2,4,6
/proc/8482/task/8483/stat : 8483 (strangenight1-m) R 8480 8482 8076 0 -1 4202560 258619 0 0 0 112155 75 0 0 25 0 4 0 633931278 1002074112 181743 33554432000 4194304 4650419 140733410876624 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8482/tid=8484] ppid=8480 vsize=978588 CPUtime=1122.3 cores=0,2,4,6
/proc/8482/task/8484/stat : 8484 (strangenight1-m) R 8480 8482 8076 0 -1 4202560 263161 0 0 0 112162 68 0 0 25 0 4 0 633931278 1002074112 181743 33554432000 4194304 4650419 140733410876624 18446744073709551615 4365337 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8482/tid=8485] ppid=8480 vsize=978588 CPUtime=1109.04 cores=0,2,4,6
/proc/8482/task/8485/stat : 8485 (strangenight1-m) R 8480 8482 8076 0 -1 4202560 264480 0 0 0 110835 69 0 0 25 0 4 0 633931278 1002074112 181743 33554432000 4194304 4650419 140733410876624 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4474.9
Current children cumulated vsize (KiB) 978588

[startup+1182.3 s]
/proc/loadavg: 8.13 8.03 7.45 9/371 8530
/proc/meminfo: memFree=29133456/32951124 swapFree=51873460/67111528
[pid=8482] ppid=8480 vsize=1199616 CPUtime=4714.18 cores=0,2,4,6
/proc/8482/stat : 8482 (strangenight1-m) R 8480 8482 8076 0 -1 4202496 1048450 0 0 0 471126 292 0 0 25 0 4 0 633931277 1228406784 195011 33554432000 4194304 4650419 140733410876624 18446744073709551615 4365357 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/8482/statm: 299904 195011 394 112 0 294869 0
[pid=8482/tid=8483] ppid=8480 vsize=1199616 CPUtime=1182.31 cores=0,2,4,6
/proc/8482/task/8483/stat : 8483 (strangenight1-m) R 8480 8482 8076 0 -1 4202560 266564 0 0 0 118153 78 0 0 25 0 4 0 633931278 1228406784 195011 33554432000 4194304 4650419 140733410876624 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8482/tid=8484] ppid=8480 vsize=1199616 CPUtime=1182.3 cores=0,2,4,6
/proc/8482/task/8484/stat : 8484 (strangenight1-m) R 8480 8482 8076 0 -1 4202560 277021 0 0 0 118157 73 0 0 25 0 4 0 633931278 1228406784 195011 33554432000 4194304 4650419 140733410876624 18446744073709551615 4433081 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8482/tid=8485] ppid=8480 vsize=1199616 CPUtime=1168.33 cores=0,2,4,6
/proc/8482/task/8485/stat : 8485 (strangenight1-m) R 8480 8482 8076 0 -1 4202560 273965 0 0 0 116761 72 0 0 25 0 4 0 633931278 1228406784 195011 33554432000 4194304 4650419 140733410876624 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4714.18
Current children cumulated vsize (KiB) 1199616



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.9 s]
/proc/loadavg: 8.09 8.03 7.47 5/366 8531
/proc/meminfo: memFree=29495564/32951124 swapFree=51873460/67111528
[pid=8482] ppid=8480 vsize=1199616 CPUtime=4800.34 cores=0,2,4,6
/proc/8482/stat : 8482 (strangenight1-m) R 8480 8482 8076 0 -1 4202496 1057219 0 0 0 479739 295 0 0 25 0 4 0 633931277 1228406784 201854 33554432000 4194304 4650419 140733410876624 18446744073709551615 4370522 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/8482/statm: 299904 201854 394 112 0 294869 0
[pid=8482/tid=8483] ppid=8480 vsize=1199616 CPUtime=1203.92 cores=0,2,4,6
/proc/8482/task/8483/stat : 8483 (strangenight1-m) R 8480 8482 8076 0 -1 4202560 268240 0 0 0 120314 78 0 0 25 0 4 0 633931278 1228406784 201855 33554432000 4194304 4650419 140733410876624 18446744073709551615 4366879 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8482/tid=8484] ppid=8480 vsize=1199616 CPUtime=1203.91 cores=0,2,4,6
/proc/8482/task/8484/stat : 8484 (strangenight1-m) R 8480 8482 8076 0 -1 4202560 277021 0 0 0 120318 73 0 0 25 0 4 0 633931278 1228406784 201855 33554432000 4194304 4650419 140733410876624 18446744073709551615 4439103 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8482/tid=8485] ppid=8480 vsize=1199616 CPUtime=1189.68 cores=0,2,4,6
/proc/8482/task/8485/stat : 8485 (strangenight1-m) R 8480 8482 8076 0 -1 4202560 279274 0 0 0 118894 74 0 0 25 0 4 0 633931278 1228406784 201855 33554432000 4194304 4650419 140733410876624 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.34
Current children cumulated vsize (KiB) 1199616

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

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

[startup+1203.9 s]
/proc/loadavg: 8.09 8.03 7.47 5/366 8531
/proc/meminfo: memFree=29495564/32951124 swapFree=51873460/67111528
[pid=8482] ppid=8480 vsize=1199616 CPUtime=4800.34 cores=0,2,4,6
/proc/8482/stat : 8482 (strangenight1-m) R 8480 8482 8076 0 -1 4202496 1057219 0 0 0 479739 295 0 0 25 0 4 0 633931277 1228406784 201854 33554432000 4194304 4650419 140733410876624 18446744073709551615 4370522 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/8482/statm: 299904 201854 394 112 0 294869 0
[pid=8482/tid=8483] ppid=8480 vsize=1199616 CPUtime=1203.92 cores=0,2,4,6
/proc/8482/task/8483/stat : 8483 (strangenight1-m) R 8480 8482 8076 0 -1 4202560 268240 0 0 0 120314 78 0 0 25 0 4 0 633931278 1228406784 201855 33554432000 4194304 4650419 140733410876624 18446744073709551615 4366879 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8482/tid=8484] ppid=8480 vsize=1199616 CPUtime=1203.91 cores=0,2,4,6
/proc/8482/task/8484/stat : 8484 (strangenight1-m) R 8480 8482 8076 0 -1 4202560 277021 0 0 0 120318 73 0 0 25 0 4 0 633931278 1228406784 201855 33554432000 4194304 4650419 140733410876624 18446744073709551615 4439103 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8482/tid=8485] ppid=8480 vsize=1199616 CPUtime=1189.68 cores=0,2,4,6
/proc/8482/task/8485/stat : 8485 (strangenight1-m) R 8480 8482 8076 0 -1 4202560 279274 0 0 0 118894 74 0 0 25 0 4 0 633931278 1228406784 201855 33554432000 4194304 4650419 140733410876624 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.34
Current children cumulated vsize (KiB) 1199616

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.95
CPU time (s): 4800.43
CPU user time (s): 4797.44
CPU system time (s): 2.99354
CPU usage (%): 398.722
Max. virtual memory (cumulated for all children) (KiB): 1305412

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.44
system time used= 2.99354
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1057221
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= 2559
involuntary context switches= 24539

runsolver used 4.14037 second user time and 10.1025 second system time

The end

Launcher Data 

Begin job on node146 at 2011-05-15 01:19:10
IDJOB=3369328
IDBENCH=83896
IDSOLVER=1846
FILE ID=node146/3369328-1305415150
RUNJOBID= node146-1305415150-8468
PBS_JOBID= 13324516
Free space on /tmp= 73272 MiB

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

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

MD5SUM BENCH= b5a637600c242725f15a247a84bdea1b
RANDOM SEED=873326124

node146.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.830
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.66
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.830
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	: 5332.75
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.830
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.75
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.830
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.86
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.830
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.75
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.830
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.830
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.830
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:      30312772 kB
Buffers:         68160 kB
Cached:         102916 kB
SwapCached:      56096 kB
Active:         736536 kB
Inactive:      1680732 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30312772 kB
SwapTotal:    67111528 kB
SwapFree:     51873460 kB
Dirty:            7832 kB
Writeback:           0 kB
AnonPages:     2196652 kB
Mapped:          16720 kB
Slab:            96364 kB
PageTables:      58560 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 81759620 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= 73264 MiB
End job on node146 at 2011-05-15 01:39:16