Trace number 3368645

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.28 1205.15

General information on the benchmark

Namerandom/large/
unif-k7-r85-v150-c12750-S511186849-048-UNKNOWN.cnf
MD5SUM6a6ca4aade15f7a3c6a2d058c788d3f5
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark3.20651
Satisfiable
(Un)Satisfiability was proved
Number of variables150
Number of clauses12750
Sum of the clauses size89250
Maximum clause length7
Minimum clause length7
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 512750

Solver Data 

0.00/0.01	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-3368645-1305399529.cnf'
0.00/0.01	c -- header says num vars:            150
0.00/0.01	c -- header says num clauses:       12750
0.03/0.02	c -- clauses added:            0 learnts,        12750 normals,            0 xors
0.03/0.02	c -- vars added        150
0.03/0.02	c Parsing time:  0.03 s
0.03/0.02	c  N st     0         0       150     12750         0         0     89250         0   no data   no data  --
1.16/0.32	c asymm  cl-useful: 0/12750/12750 lits-rem:0 time: 1.19
1.16/0.32	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
1.16/0.33	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1.16/0.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1.16/0.33	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
1.16/0.33	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1.16/0.38	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.22 s
1.16/0.38	c Finding binary XORs  T:     0.00 s  found:       0
1.16/0.39	c Finding non-binary XORs:     0.03 s (found:       0, avg size: nan)
1.16/0.39	c calculated reachability. Time: 0.00
1.16/0.39	c Calc default polars -  time:   0.00 s pos:      71 undec:       2 neg:      77
1.16/0.39	c =========================================================================================
1.16/0.39	c types(t): F = full restart, N = normal restart
1.16/0.39	c types(t): S = simplification begin/end, E = solution found
1.16/0.39	c restart types(rt): st = static, dy = dynamic
1.16/0.39	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
1.16/0.39	c  B st     0         0       150     12750         0         0     89250         0   no data   no data  --
1.96/0.58	c  N dy     9      4543       150     12750         0      4329     89250    197261     40.14     42.43  --
2.76/0.78	c  N dy    18      8613       150     12750         0      5833     89250    232791     39.34     44.10  --
4.00/1.03	c  N dy    28     13410       150     12750         0      6376     89250    224402     39.26     41.53  --
4.75/1.28	c  N dy    40     17988       150     12750         0     10762     89250    421374     39.20     41.36  --
6.34/1.66	c  F st    60     25001       150     12750         0     12124     89250    447318     39.12     36.01  --
6.34/1.67	c  N st    60     25001       150     12750         0     12124     89250    447318     39.12     36.01  --
7.68/3.14	c  N dy    66     30001       150     12750         0     10387     89250    334069     39.12   no data  --
7.68/3.14	c  S st    66     30001       150     12750         0     10387     89250    334069     39.12   no data  --
7.68/3.29	c  S st    66     30505       150     12750         0     10872     89250    355302     39.12   no data  --
7.68/3.29	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
7.68/3.29	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
7.68/3.29	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
7.68/3.31	c bin-w-bin subsume rem            0 bins  time:  0.00 s
7.68/3.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
7.68/3.31	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
7.68/3.31	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
21.56/5.95	c lits-rem:      2175  cl-subs:      472  v-elim:      0  v-fix:    0  time:  9.99 s
23.15/6.35	c asymm  cl-useful: 0/10837/12750 lits-rem:0 time: 1.55
23.15/6.35	c calculated reachability. Time: 0.00
23.15/6.35	c  N dy    66     30505       150     12750         0     10400     89250    327623     39.12   no data  --
24.35/6.68	c  N dy    70     35938       150     12750         0      8042     89250    197422     38.72     40.87  --
25.55/6.92	c  N dy    85     40136       150     12750         0     12059     89250    377845     38.84     41.24  --
26.38/7.20	c  N dy    97     44181       150     12750         0     15942     89250    550909     38.86     43.19  --
27.13/7.33	c  S st   103     45758       150     12750         0      8872     89250    199746     38.83     36.58  --
27.13/7.37	c  S st   103     46265       150     12750         0      9366     89250    221787     38.83   no data  --
27.13/7.37	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
27.13/7.37	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
27.13/7.38	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.03
27.13/7.39	c bin-w-bin subsume rem            0 bins  time:  0.00 s
27.13/7.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.13/7.39	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
27.13/7.39	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
33.51/8.94	c lits-rem:       227  cl-subs:       62  v-elim:      0  v-fix:    0  time:  6.19 s
33.51/8.95	c vivif2 --  cl tried    12750 cl shrink        0 lits rem          0 time: 0.00
33.51/8.95	c vivif2 --  cl tried     9304 cl shrink        0 lits rem          0 time: 0.01
33.91/9.03	c asymm  cl-useful: 0/1913/12750 lits-rem:0 time: 0.31
33.91/9.03	c calculated reachability. Time: 0.00
33.91/9.03	c  N dy   103     46265       150     12750         0      9304     89250    218117     38.83   no data  --
35.89/9.53	c  N dy   115     53754       150     12750         0     16479     89250    534756     38.53     40.77  --
37.09/9.87	c  N dy   131     58611       150     12750         0     11568     89250    287468     38.58     40.67  --
38.29/10.17	c  N dy   149     62756       150     12750         0     15560     89250    465996     38.62     40.85  --
39.93/10.53	c  N dy   165     66763       150     12750         0     19406     89250    638117     38.66     41.06  --
40.67/10.77	c  S st   182     69397       150     12750         0     11380     89250    248462     38.74     37.82  --
41.07/10.82	c  S st   182     69903       150     12750         0     11870     89250    269604     38.74   no data  --
41.07/10.82	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
41.07/10.82	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
41.07/10.82	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.03
41.07/10.83	c bin-w-bin subsume rem            0 bins  time:  0.00 s
41.07/10.83	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
41.07/10.83	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
41.07/10.83	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
47.85/12.58	c lits-rem:       509  cl-subs:       97  v-elim:      0  v-fix:    0  time:  6.95 s
47.85/12.58	c vivif2 --  cl tried    12750 cl shrink        0 lits rem          0 time: 0.00
47.85/12.58	c vivif2 --  cl tried    11773 cl shrink        0 lits rem          0 time: 0.01
49.84/13.03	c asymm  cl-useful: 0/9995/12750 lits-rem:0 time: 1.77
49.84/13.03	c calculated reachability. Time: 0.00
49.84/13.03	c  N dy   182     69903       150     12750         0     11773     89250    263618     38.74   no data  --
51.44/13.41	c  N dy   184     75083       150     12750         0     16698     89250    481522     38.63     40.86  --
53.07/13.83	c  N dy   197     79956       150     12750         0     21357     89250    687980     38.62     40.74  --
54.61/14.23	c  N dy   211     85068       150     12750         0     14780     89250    369322     38.63     40.68  --
55.41/14.42	c  F st   221     87500       150     12750         0     17108     89250    472759     38.65     35.92  --
56.21/14.69	c  N st   226     90803       150     12750         0     20261     89250    616178     38.65   no data  --
58.60/15.23	c  N dy   242     96743       150     12750         0     13527     89250    281826     38.67     40.77  --
60.60/15.73	c  N dy   268    103008       150     12750         0     19539     89250    550472     38.71     40.82  --
61.00/15.88	c  S st   278    104854       150     12750         0     21305     89250    628773     38.74     39.33  --
61.43/15.97	c  S st   278    105358       150     12750         0     21796     89250    650398     38.74   no data  --
61.43/15.97	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
61.43/15.97	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
61.43/15.98	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.05
61.43/16.00	c bin-w-bin subsume rem            0 bins  time:  0.00 s
61.43/16.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
61.43/16.00	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
61.43/16.00	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
75.33/19.48	c lits-rem:      1897  cl-subs:      912  v-elim:      0  v-fix:    0  time: 13.85 s
75.33/19.48	c vivif2 --  cl tried    12750 cl shrink        0 lits rem          0 time: 0.00
75.33/19.49	c vivif2 --  cl tried    20884 cl shrink        0 lits rem          0 time: 0.03
76.13/19.68	c asymm  cl-useful: 0/2755/12750 lits-rem:0 time: 0.74
76.13/19.68	c calculated reachability. Time: 0.00
76.13/19.68	c  N dy   278    105358       150     12750         0     20884     89250    597842     38.74   no data  --
80.11/20.68	c  N dy   288    118248       150     12750         0     19770     89250    524932     38.37     40.41  --
82.92/21.36	c  N dy   326    125874       150     12750         0     27077     89250    851771     38.46     41.81  --
93.27/23.97	c  N dy   368    155025       150     12750         0     25236     89250    706958     38.13     40.26  --
94.47/24.27	c  S st   375    158038       150     12750         0     28128     89250    833385     38.12     36.86  --
94.87/24.35	c  S st   375    158540       150     12750         0     28615     89250    854496     38.12   no data  --
94.87/24.36	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
94.87/24.36	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
94.87/24.37	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.07
95.27/24.40	c bin-w-bin subsume rem            0 bins  time:  0.00 s
95.27/24.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
95.27/24.40	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
95.27/24.40	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
112.39/28.71	c lits-rem:      1296  cl-subs:     1979  v-elim:      0  v-fix:    0  time: 17.15 s
112.39/28.71	c vivif2 --  cl tried    12750 cl shrink        0 lits rem          0 time: 0.00
112.39/28.72	c vivif2 --  cl tried    26636 cl shrink        0 lits rem          0 time: 0.04
113.19/28.98	c asymm  cl-useful: 0/3317/12750 lits-rem:0 time: 1.04
113.19/28.98	c calculated reachability. Time: 0.00
113.19/28.98	c  N dy   375    158540       150     12750         0     26636     89250    759249     38.12   no data  --
118.82/30.38	c  N dy   432    170437       150     12750         0     21852     89250    529814     38.17     40.21  --
128.32/32.76	c  N dy   486    193250       150     12750         0     26446     89250    698615     38.05     40.17  --
134.70/34.32	c  N dy   554    206370       150     12750         0     20861     89250    419976     38.13     40.34  --
141.08/35.90	c  N dy   621    220014       150     12750         0     33984     89250   1003950     38.19     40.36  --
147.04/37.45	c  N dy   681    234065       150     12750         0     28302     89250    718452     38.24     40.62  --
148.64/37.86	c  S st   701    237810       150     12750         0     31898     89250    878983     38.26     37.49  --
149.07/37.96	c  S st   701    238314       150     12750         0     32384     89250    900795     38.26   no data  --
149.07/37.97	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
149.07/37.97	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
149.07/37.98	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.06
149.07/38.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
149.07/38.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
149.07/38.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
149.07/38.01	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
171.39/43.55	c lits-rem:      2120  cl-subs:     1220  v-elim:      0  v-fix:    0  time: 22.05 s
171.39/43.55	c vivif2 --  cl tried    12750 cl shrink        0 lits rem          0 time: 0.00
171.39/43.56	c vivif2 --  cl tried    31164 cl shrink        0 lits rem          0 time: 0.04
172.14/43.79	c asymm  cl-useful: 0/2454/12750 lits-rem:0 time: 0.92
172.14/43.79	c calculated reachability. Time: 0.00
172.14/43.79	c  N dy   701    238314       150     12750         0     31164     89250    830932     38.26   no data  --
178.52/45.39	c  N dy   766    253584       150     12750         0     25715     89250    570295     38.30     40.35  --
186.09/47.25	c  N dy   832    269800       150     12750         0     41284     89250   1264673     38.34     40.37  --
193.30/49.08	c  N dy   887    287120       150     12750         0     36749     89250   1024204     38.35     41.66  --
201.67/51.17	c  N dy   947    305541       150     12750         0     32317     89250    794741     38.38     40.42  --
202.08/51.25	c  F st   953    306250       150     12750         0     32994     89250    825629     38.38   no data  --
211.60/53.60	c  N dy   988    326547       150     12750         0     29462     89250    638485     38.36     40.76  --
221.96/56.29	c  N dy  1073    346723       150     12750         0     24857     89250    401612     38.41     40.53  --
227.54/57.64	c  S st  1119    357472       150     12750         0     35180     89250    861792     38.43     36.72  --
227.98/57.77	c  S st  1119    357974       150     12750         0     35669     89250    882810     38.43   no data  --
227.98/57.77	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
227.98/57.77	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
227.98/57.79	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.08
228.39/57.82	c bin-w-bin subsume rem            0 bins  time:  0.00 s
228.39/57.82	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
228.39/57.82	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
228.39/57.82	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
254.68/64.44	c lits-rem:      1922  cl-subs:     1093  v-elim:      0  v-fix:    0  time: 26.37 s
254.68/64.44	c vivif2 --  cl tried    12750 cl shrink        0 lits rem          0 time: 0.00
254.68/64.45	c vivif2 --  cl tried    34576 cl shrink        0 lits rem          0 time: 0.04
255.82/64.70	c asymm  cl-useful: 0/2235/12750 lits-rem:0 time: 1.01
255.82/64.70	c calculated reachability. Time: 0.00
255.82/64.70	c  N dy  1119    357974       150     12750         0     34576     89250    820636     38.43   no data  --
266.19/67.33	c  N dy  1195    378009       150     12750         0     28923     89250    545639     38.47     40.64  --
276.19/69.86	c  N dy  1272    398103       150     12750         0     48179     89250   1405730     38.50     40.87  --
286.10/72.38	c  N dy  1335    418291       150     12750         0     41654     89250   1080397     38.51     40.56  --
296.87/75.09	c  N dy  1400    438317       150     12750         0     34000     89250    706266     38.51     43.08  --
308.01/77.90	c  N dy  1481    458376       150     12750         0     53264     89250   1569993     38.54     40.98  --
318.39/80.47	c  N dy  1555    478412       150     12750         0     44662     89250   1149881     38.57     40.86  --
330.73/83.56	c  N dy  1620    499944       150     12750         0     36552     89250    752776     38.58     40.67  --
341.93/86.38	c  N dy  1631    521383       150     12750         0     57037     89250   1662925     38.50     40.53  --
350.68/88.56	c  S st  1698    536962       150     12750         0     42266     89250    978663     38.52     39.80  --
351.09/88.67	c  S st  1698    537466       150     12750         0     42758     89250   1000286     38.52   no data  --
351.09/88.67	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
351.09/88.67	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
351.09/88.69	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.08
351.43/88.72	c bin-w-bin subsume rem            0 bins  time:  0.00 s
351.43/88.72	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
351.43/88.72	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
351.43/88.72	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
377.74/95.34	c lits-rem:      2265  cl-subs:     1263  v-elim:      0  v-fix:    0  time: 26.35 s
377.74/95.34	c vivif2 --  cl tried    12750 cl shrink        0 lits rem          0 time: 0.00
377.74/95.35	c vivif2 --  cl tried    41495 cl shrink        0 lits rem          0 time: 0.04
378.93/95.63	c asymm  cl-useful: 0/1862/12750 lits-rem:0 time: 1.11
378.93/95.63	c calculated reachability. Time: 0.00
378.93/95.63	c  N dy  1698    537466       150     12750         0     41495     89250    928990     38.52   no data  --
392.09/98.94	c  N dy  1737    557962       150     12750         0     61115     89250   1798756     38.50     40.62  --
403.29/101.74	c  N dy  1758    578319       150     12750         0     49920     89250   1282098     38.46     40.64  --
416.00/104.93	c  N dy  1797    598369       150     12750         0     37532     89250    703533     38.43     41.12  --
429.58/108.35	c  N dy  1859    619418       150     12750         0     57710     89250   1604144     38.42     40.52  --
443.15/111.74	c  N dy  1923    639435       150     12750         0     44322     89250    969001     38.42     41.61  --
459.04/115.70	c  N dy  2003    659659       150     12750         0     63712     89250   1835759     38.44     40.49  --
473.00/119.22	c  N dy  2076    680861       150     12750         0     50581     89250   1222164     38.45     40.51  --
488.13/123.01	c  N dy  2139    700940       150     12750         0     35322     89250    502772     38.47     40.97  --
499.74/126.00	c  N dy  2215    721340       150     12750         0     54858     89250   1372480     38.47     40.59  --
517.66/130.42	c  N dy  2249    748891       150     12750         0     45708     89250    927556     38.43     40.57  --
531.52/133.94	c  N dy  2338    768896       150     12750         0     64870     89250   1782403     38.45     42.07  --
545.46/137.45	c  N dy  2409    789442       150     12750         0     48164     89250   1007473     38.46     40.60  --
557.41/140.49	c  S st  2464    806199       150     12750         0     64235     89250   1723437     38.46     37.87  --
558.20/140.69	c  S st  2464    806702       150     12750         0     64728     89250   1744618     38.46   no data  --
558.20/140.69	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
558.20/140.69	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
558.61/140.73	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.15
558.61/140.78	c bin-w-bin subsume rem            0 bins  time:  0.00 s
558.61/140.78	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
558.61/140.78	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
558.61/140.78	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
653.81/164.69	c lits-rem:      2129  cl-subs:     2778  v-elim:      0  v-fix:    0  time: 95.14 s
653.81/164.69	c vivif2 --  cl tried    12750 cl shrink        0 lits rem          0 time: 0.00
654.21/164.71	c vivif2 --  cl tried    61950 cl shrink        0 lits rem          0 time: 0.07
655.41/165.05	c asymm  cl-useful: 0/1322/12750 lits-rem:0 time: 1.33
655.41/165.05	c calculated reachability. Time: 0.00
655.41/165.05	c  N dy  2464    806702       150     12750         0     61950     89250   1592219     38.46   no data  --
671.00/168.98	c  N dy  2528    827360       150     12750         0     44473     89250    809205     38.47     40.63  --
685.70/172.64	c  N dy  2597    848754       150     12750         0     64977     89250   1724960     38.47     40.70  --
701.28/176.57	c  N dy  2677    868921       150     12750         0     46010     89250    845154     38.49     40.72  --
718.38/180.85	c  N dy  2753    893751       150     12750         0     69826     89250   1907017     38.49     40.70  --
733.91/184.70	c  N dy  2827    913919       150     12750         0     49885     89250    987706     38.50     40.54  --
747.47/188.12	c  N dy  2870    934126       150     12750         0     69265     89250   1851448     38.49     40.63  --
763.06/192.05	c  N dy  2934    954170       150     12750         0     48230     89250    877583     38.49     40.53  --
778.16/195.80	c  N dy  3009    974260       150     12750         0     67478     89250   1731485     38.50     40.67  --
794.89/200.00	c  N dy  3073    994885       150     12750         0     46029     89250    748371     38.50     40.54  --
808.44/203.43	c  N dy  3119   1015587       150     12750         0     65788     89250   1626128     38.49     40.65  --
829.55/208.76	c  N dy  3194   1035595       150     12750         0     42824     89250    571129     38.50     42.48  --
843.91/212.35	c  N dy  3262   1055665       150     12750         0     62034     89250   1425307     38.51     40.61  --
860.24/216.41	c  F st  3325   1071875       150     12750         0     77602     89250   2121516     38.52     39.84  --
865.42/217.70	c  N dy  3331   1077075       150     12750         0     82578     89250   2344399     38.52   no data  --
882.54/222.02	c  N dy  3420   1097208       150     12750         0     58785     89250   1247757     38.54     40.65  --
903.31/227.23	c  N dy  3500   1117845       150     12750         0     78563     89250   2134086     38.55     40.61  --
922.79/232.10	c  N dy  3578   1137950       150     12750         0     53750     89250    990086     38.56     40.63  --
948.70/238.66	c  N dy  3635   1168742       150     12750         0     83226     89250   2302957     38.54     40.87  --
967.04/243.22	c  N dy  3692   1189627       150     12750         0     58084     89250   1143546     38.53     40.75  --
986.20/248.06	c  N dy  3781   1209672       150     12750         0     77279     89250   2004870     38.55     40.59  --
986.62/248.18	c  S st  3784   1210053       150     12750         0     77648     89250   2021406     38.55   no data  --
987.76/248.42	c  S st  3784   1210558       150     12750         0     78145     89250   2043515     38.55   no data  --
987.76/248.43	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
987.76/248.43	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
987.76/248.48	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.19
988.16/248.53	c bin-w-bin subsume rem            0 bins  time:  0.00 s
988.16/248.53	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
988.16/248.53	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
988.16/248.53	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1148.81/288.87	c lits-rem:      2441  cl-subs:     3680  v-elim:      0  v-fix:    0  time: 160.61 s
1148.81/288.87	c vivif2 --  cl tried    12750 cl shrink        0 lits rem          0 time: 0.00
1148.81/288.89	c vivif2 --  cl tried    74465 cl shrink        0 lits rem          0 time: 0.10
1150.75/289.35	c asymm  cl-useful: 0/1122/12750 lits-rem:0 time: 1.85
1150.75/289.36	c calculated reachability. Time: 0.00
1150.75/289.36	c  N dy  3784   1210558       150     12750         0     74465     89250   1849270     38.55   no data  --
1174.26/295.28	c  N dy  3837   1230958       150     12750         0     48150     89250    677702     38.54     40.75  --
1192.64/299.84	c  N dy  3902   1251247       150     12750         0     67561     89250   1539620     38.54     40.65  --
1216.51/305.87	c  N dy  4007   1271276       150     12750         0     86864     89250   2406452     38.56     42.93  --
1237.22/311.03	c  N dy  4068   1291301       150     12750         0     59129     89250   1127968     38.56     41.10  --
1257.98/316.25	c  N dy  4131   1311330       150     12750         0     78294     89250   1984538     38.57     44.12  --
1283.45/322.60	c  N dy  4205   1331414       150     12750         0     49662     89250    672909     38.57     40.93  --
1302.57/327.45	c  N dy  4296   1351690       150     12750         0     69085     89250   1539819     38.59     40.69  --
1326.08/333.31	c  N dy  4366   1371713       150     12750         0     88263     89250   2396572     38.59     41.26  --
1349.61/339.24	c  N dy  4415   1394141       150     12750         0     60876     89250   1141557     38.59     41.09  --
1373.10/345.18	c  N dy  4491   1416064       150     12750         0     81930     89250   2081476     38.59     40.79  --
1398.26/351.50	c  N dy  4540   1437677       150     12750         0     52762     89250    746136     38.59     40.90  --
1417.74/356.32	c  N dy  4625   1457778       150     12750         0     72016     89250   1608927     38.60     41.02  --
1440.86/362.19	c  N dy  4683   1477966       150     12750         0     91312     89250   2471546     38.61     40.69  --
1465.57/368.35	c  N dy  4772   1499114       150     12750         0     60851     89250   1076720     38.62     41.07  --
1485.10/373.28	c  N dy  4805   1519890       150     12750         0     80674     89250   1953075     38.60     40.72  --
1513.79/380.43	c  N dy  4886   1539970       150     12750         0     99934     89250   2814439     38.61     40.69  --
1535.72/385.90	c  N dy  4972   1560001       150     12750         0     67430     89250   1336840     38.62     40.92  --
1556.82/391.27	c  N dy  5051   1580090       150     12750         0     86648     89250   2194876     38.63     41.51  --
1588.31/399.12	c  N dy  5067   1611323       150     12750         0     63791     89250   1135059     38.59     40.69  --
1609.07/404.31	c  N dy  5150   1631607       150     12750         0     83250     89250   2006964     38.60     40.81  --
1634.14/410.64	c  N dy  5219   1652171       150     12750         0    102941     89250   2888764     38.60     40.69  --
1655.65/416.01	c  N dy  5308   1672386       150     12750         0     68795     89250   1327366     38.61     40.90  --
1676.78/421.31	c  N dy  5366   1692403       150     12750         0     88027     89250   2184876     38.62     40.92  --
1702.69/427.85	c  S st  5462   1710560       150     12750         0    105415     89250   2966645     38.63     39.84  --
1703.89/428.17	c  S st  5462   1711063       150     12750         0    105909     89250   2988920     38.63   no data  --
1703.89/428.18	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
1703.89/428.18	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1704.29/428.25	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.26
1704.69/428.34	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1704.69/428.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1704.69/428.34	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
1704.69/428.34	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2923.67/734.30	c lits-rem:      4759  cl-subs:     5263  v-elim:      0  v-fix:    0  time: 1218.24 s
2923.67/734.30	c vivif2 --  cl tried    12750 cl shrink        0 lits rem          0 time: 0.01
2923.67/734.34	c vivif2 --  cl tried   100646 cl shrink        0 lits rem          0 time: 0.14
2925.66/734.83	c asymm  cl-useful: 0/1111/12750 lits-rem:0 time: 1.94
2925.66/734.83	c calculated reachability. Time: 0.00
2925.66/734.83	c  N dy  5462   1711063       150     12750         0    100646     89250   2696643     38.63   no data  --
2951.62/741.39	c  N dy  5563   1731064       150     12750         0     65261     89250   1134489     38.64     41.69  --
2975.08/747.29	c  N dy  5623   1752425       150     12750         0     85713     89250   2048960     38.64     40.73  --
3002.58/754.10	c  N dy  5676   1772938       150     12750         0    105379     89250   2928087     38.64     40.71  --
3025.29/759.84	c  N dy  5735   1793497       150     12750         0     69573     89250   1290377     38.64     40.92  --
3049.98/766.03	c  N dy  5787   1814604       150     12750         0     89718     89250   2189000     38.64     40.82  --
3077.08/772.81	c  N dy  5833   1834628       150     12750         0    108876     89250   3041742     38.64     40.70  --
3097.81/778.05	c  N dy  5896   1854664       150     12750         0     71608     89250   1349490     38.64     44.04  --
3120.93/783.87	c  N dy  5968   1875281       150     12750         0     91373     89250   2231820     38.64     40.72  --
3148.04/790.68	c  N dy  6035   1895357       150     12750         0    110655     89250   3094231     38.65     45.06  --
3171.95/796.62	c  N dy  6106   1917817       150     12750         0     74697     89250   1454985     38.65     40.69  --
3199.44/803.52	c  N dy  6159   1943889       150     12750         0     99528     89250   2559716     38.64     41.16  --
3228.13/810.76	c  N dy  6235   1963911       150     12750         0     60368     89250    780776     38.64     40.72  --
3246.87/815.42	c  N dy  6271   1985145       150     12750         0     80632     89250   1684793     38.63     40.81  --
3269.59/821.17	c  N dy  6351   2005346       150     12750         0     99872     89250   2543224     38.64     40.77  --
3296.69/827.99	c  N dy  6427   2025660       150     12750         0     60084     89250    734919     38.64     40.85  --
3313.83/832.26	c  N dy  6503   2045750       150     12750         0     79367     89250   1600158     38.65     40.73  --
3334.55/837.42	c  N dy  6541   2065783       150     12750         0     98554     89250   2454403     38.64     40.77  --
3361.25/844.11	c  N dy  6610   2085839       150     12750         0    117775     89250   3314510     38.64     40.93  --
3386.35/850.46	c  N dy  6691   2109526       150     12750         0     80105     89250   1597115     38.65     41.01  --
3411.07/856.62	c  N dy  6755   2130387       150     12750         0    100081     89250   2491231     38.65     41.10  --
3442.95/864.60	c  N dy  6827   2151683       150     12750         0    120484     89250   3403105     38.65     40.72  --
3465.27/870.21	c  N dy  6902   2172158       150     12750         0     78850     89250   1501801     38.66     40.70  --
3488.39/876.07	c  N dy  6997   2192188       150     12750         0     98020     89250   2361835     38.67     41.18  --
3512.75/882.19	c  S st  7058   2211065       150     12750         0    116092     89250   3170352     38.67     39.71  --
3514.29/882.50	c  S st  7058   2211568       150     12750         0    116585     89250   3191925     38.67   no data  --
3514.29/882.51	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
3514.29/882.51	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3514.29/882.58	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.27
3514.69/882.66	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3514.69/882.66	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3514.69/882.66	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
3514.69/882.66	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s

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-3368645-1305399529/watcher-3368645-1305399529 -o /tmp/evaluation-result-3368645-1305399529/solver-3368645-1305399529 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3368645-1305399529.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.63 8.02 7.72 6/401 28340
/proc/meminfo: memFree=24032936/32951132 swapFree=67093844/67111528
[pid=28340] ppid=28338 vsize=51236 CPUtime=0.02 cores=0,2,4,6
/proc/28340/stat : 28340 (strangenight1-m) R 28338 28340 28111 0 -1 4202496 412 0 0 0 2 0 0 0 25 0 4 0 651551526 52465664 352 33554432000 4194304 4650419 140736387561392 18446744073709551615 47726812833714 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28340/statm: 12809 352 303 112 0 7774 0
[pid=28340/tid=28341] ppid=28338 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/28340/task/28341/stat : 28341 (strangenight1-m) R 28338 28340 28111 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 651551526 52465664 357 33554432000 4194304 4650419 140736387561392 18446744073709551615 242965597270 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28340/tid=28342] ppid=28338 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/28340/task/28342/stat : 28342 (strangenight1-m) R 28338 28340 28111 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 651551526 52465664 357 33554432000 4194304 4650419 140736387561392 18446744073709551615 242965597270 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28340/tid=28343] ppid=28338 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/28340/task/28343/stat : 28343 (strangenight1-m) R 28338 28340 28111 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 4 0 651551526 52465664 357 33554432000 4194304 4650419 140736387561392 18446744073709551615 242970550203 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.0162659 s]
/proc/loadavg: 7.63 8.02 7.72 6/401 28340
/proc/meminfo: memFree=24032936/32951132 swapFree=67093844/67111528
[pid=28340] ppid=28338 vsize=281648 CPUtime=0.03 cores=0,2,4,6
/proc/28340/stat : 28340 (strangenight1-m) R 28338 28340 28111 0 -1 4202496 959 0 0 0 3 0 0 0 25 0 4 0 651551526 288407552 874 33554432000 4194304 4650419 140736387561392 18446744073709551615 242970655214 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/28340/statm: 70412 877 343 112 0 65377 0
[pid=28340/tid=28341] ppid=28338 vsize=281648 CPUtime=0 cores=0,2,4,6
/proc/28340/task/28341/stat : 28341 (strangenight1-m) S 28338 28340 28111 0 -1 4202560 143 0 0 0 0 0 0 0 25 0 4 0 651551526 288407552 879 33554432000 4194304 4650419 140736387561392 18446744073709551615 242970655214 0 0 4096 2 18446604445352348608 0 0 -1 2 0 0 0
[pid=28340/tid=28342] ppid=28338 vsize=281648 CPUtime=0.01 cores=0,2,4,6
/proc/28340/task/28342/stat : 28342 (strangenight1-m) R 28338 28340 28111 0 -1 4202560 138 0 0 0 1 0 0 0 25 0 4 0 651551526 288407552 879 33554432000 4194304 4650419 140736387561392 18446744073709551615 4520021 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28340/tid=28343] ppid=28338 vsize=281648 CPUtime=0.01 cores=0,2,4,6
/proc/28340/task/28343/stat : 28343 (strangenight1-m) S 28338 28340 28111 0 -1 4202560 136 0 0 0 1 0 0 0 25 0 4 0 651551526 288407552 880 33554432000 4194304 4650419 140736387561392 18446744073709551615 242970655214 0 0 4096 2 18446604445352348608 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 281648

[startup+0.115228 s]
/proc/loadavg: 7.63 8.02 7.72 6/401 28340
/proc/meminfo: memFree=24032936/32951132 swapFree=67093844/67111528
[pid=28340] ppid=28338 vsize=282752 CPUtime=0.42 cores=0,2,4,6
/proc/28340/stat : 28340 (strangenight1-m) R 28338 28340 28111 0 -1 4202496 2196 0 0 0 42 0 0 0 25 0 4 0 651551526 289538048 2111 33554432000 4194304 4650419 140736387561392 18446744073709551615 4370522 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/28340/statm: 70688 2111 366 112 0 65653 0
[pid=28340/tid=28341] ppid=28338 vsize=282752 CPUtime=0.09 cores=0,2,4,6
/proc/28340/task/28341/stat : 28341 (strangenight1-m) R 28338 28340 28111 0 -1 4202560 438 0 0 0 9 0 0 0 25 0 4 0 651551526 289538048 2111 33554432000 4194304 4650419 140736387561392 18446744073709551615 4370537 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28340/tid=28342] ppid=28338 vsize=282752 CPUtime=0.1 cores=0,2,4,6
/proc/28340/task/28342/stat : 28342 (strangenight1-m) R 28338 28340 28111 0 -1 4202560 414 0 0 0 10 0 0 0 25 0 4 0 651551526 289538048 2111 33554432000 4194304 4650419 140736387561392 18446744073709551615 242970655263 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28340/tid=28343] ppid=28338 vsize=282752 CPUtime=0.1 cores=0,2,4,6
/proc/28340/task/28343/stat : 28343 (strangenight1-m) R 28338 28340 28111 0 -1 4202560 514 0 0 0 10 0 0 0 25 0 4 0 651551526 289538048 2111 33554432000 4194304 4650419 140736387561392 18446744073709551615 242970655263 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 282752

[startup+0.300197 s]
/proc/loadavg: 7.63 8.02 7.72 6/401 28340
/proc/meminfo: memFree=24032936/32951132 swapFree=67093844/67111528
[pid=28340] ppid=28338 vsize=283900 CPUtime=1.16 cores=0,2,4,6
/proc/28340/stat : 28340 (strangenight1-m) R 28338 28340 28111 0 -1 4202496 2783 0 0 0 116 0 0 0 25 0 4 0 651551526 290713600 2313 33554432000 4194304 4650419 140736387561392 18446744073709551615 4370522 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/28340/statm: 70975 2313 369 112 0 65940 0
[pid=28340/tid=28341] ppid=28338 vsize=283900 CPUtime=0.28 cores=0,2,4,6
/proc/28340/task/28341/stat : 28341 (strangenight1-m) R 28338 28340 28111 0 -1 4202560 460 0 0 0 28 0 0 0 25 0 4 0 651551526 290713600 2313 33554432000 4194304 4650419 140736387561392 18446744073709551615 4369378 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28340/tid=28342] ppid=28338 vsize=283900 CPUtime=0.29 cores=0,2,4,6
/proc/28340/task/28342/stat : 28342 (strangenight1-m) R 28338 28340 28111 0 -1 4202560 424 0 0 0 29 0 0 0 25 0 4 0 651551526 290713600 2313 33554432000 4194304 4650419 140736387561392 18446744073709551615 4371151 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28340/tid=28343] ppid=28338 vsize=283900 CPUtime=0.29 cores=0,2,4,6
/proc/28340/task/28343/stat : 28343 (strangenight1-m) R 28338 28340 28111 0 -1 4202560 1056 0 0 0 29 0 0 0 25 0 4 0 651551526 290713600 2313 33554432000 4194304 4650419 140736387561392 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.16
Current children cumulated vsize (KiB) 283900

[startup+0.70113 s]
/proc/loadavg: 7.63 8.02 7.72 6/401 28340
/proc/meminfo: memFree=24032936/32951132 swapFree=67093844/67111528
[pid=28340] ppid=28338 vsize=268912 CPUtime=2.76 cores=0,2,4,6
/proc/28340/stat : 28340 (strangenight1-m) R 28338 28340 28111 0 -1 4202496 8134 0 0 0 275 1 0 0 25 0 4 0 651551526 275365888 5373 33554432000 4194304 4650419 140736387561392 18446744073709551615 4363600 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/28340/statm: 67228 5373 390 112 0 62193 0
[pid=28340/tid=28341] ppid=28338 vsize=268912 CPUtime=0.68 cores=0,2,4,6
/proc/28340/task/28341/stat : 28341 (strangenight1-m) R 28338 28340 28111 0 -1 4202560 2010 0 0 0 68 0 0 0 18 0 4 0 651551526 275365888 5373 33554432000 4194304 4650419 140736387561392 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28340/tid=28342] ppid=28338 vsize=268912 CPUtime=0.68 cores=0,2,4,6
/proc/28340/task/28342/stat : 28342 (strangenight1-m) R 28338 28340 28111 0 -1 4202560 1963 0 0 0 68 0 0 0 18 0 4 0 651551526 275365888 5373 33554432000 4194304 4650419 140736387561392 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28340/tid=28343] ppid=28338 vsize=268912 CPUtime=0.69 cores=0,2,4,6
/proc/28340/task/28343/stat : 28343 (strangenight1-m) R 28338 28340 28111 0 -1 4202560 1795 0 0 0 69 0 0 0 25 0 4 0 651551526 275365888 5373 33554432000 4194304 4650419 140736387561392 18446744073709551615 4364779 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.76
Current children cumulated vsize (KiB) 268912

[startup+1.50099 s]
/proc/loadavg: 7.63 8.02 7.72 10/405 28344
/proc/meminfo: memFree=23997812/32951132 swapFree=67093844/67111528
[pid=28340] ppid=28338 vsize=280228 CPUtime=5.95 cores=0,2,4,6
/proc/28340/stat : 28340 (strangenight1-m) R 28338 28340 28111 0 -1 4202496 13149 0 0 0 593 2 0 0 25 0 4 0 651551526 286953472 6504 33554432000 4194304 4650419 140736387561392 18446744073709551615 4366920 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/28340/statm: 70057 6504 391 112 0 65022 0
[pid=28340/tid=28341] ppid=28338 vsize=280228 CPUtime=1.47 cores=0,2,4,6
/proc/28340/task/28341/stat : 28341 (strangenight1-m) R 28338 28340 28111 0 -1 4202560 3345 0 0 0 147 0 0 0 19 0 4 0 651551526 286953472 6504 33554432000 4194304 4650419 140736387561392 18446744073709551615 4333632 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28340/tid=28342] ppid=28338 vsize=280228 CPUtime=1.48 cores=0,2,4,6
/proc/28340/task/28342/stat : 28342 (strangenight1-m) R 28338 28340 28111 0 -1 4202560 3357 0 0 0 148 0 0 0 19 0 4 0 651551526 286953472 6504 33554432000 4194304 4650419 140736387561392 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28340/tid=28343] ppid=28338 vsize=280228 CPUtime=1.48 cores=0,2,4,6
/proc/28340/task/28343/stat : 28343 (strangenight1-m) R 28338 28340 28111 0 -1 4202560 3152 0 0 0 148 0 0 0 25 0 4 0 651551526 286953472 6504 33554432000 4194304 4650419 140736387561392 18446744073709551615 4365321 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.95
Current children cumulated vsize (KiB) 280228

[startup+3.85859 s]
/proc/loadavg: 7.82 8.05 7.73 9/405 28345
/proc/meminfo: memFree=23991468/32951132 swapFree=67093844/67111528
[pid=28340] ppid=28338 vsize=290664 CPUtime=13.48 cores=0,2,4,6
/proc/28340/stat : 28340 (strangenight1-m) R 28338 28340 28111 0 -1 4202496 28693 0 0 0 1340 8 0 0 25 0 4 0 651551526 297639936 17712 33554432000 4194304 4650419 140736387561392 18446744073709551615 4438399 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/28340/statm: 72666 17712 392 112 0 67631 0
[pid=28340/tid=28341] ppid=28338 vsize=290664 CPUtime=3.84 cores=0,2,4,6
/proc/28340/task/28341/stat : 28341 (strangenight1-m) R 28338 28340 28111 0 -1 4202560 6602 0 0 0 384 0 0 0 25 0 4 0 651551526 297639936 17712 33554432000 4194304 4650419 140736387561392 18446744073709551615 4438939 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28340/tid=28342] ppid=28338 vsize=290664 CPUtime=3.85 cores=0,2,4,6
/proc/28340/task/28342/stat : 28342 (strangenight1-m) R 28338 28340 28111 0 -1 4202560 7905 0 0 0 384 1 0 0 25 0 4 0 651551526 297639936 17712 33554432000 4194304 4650419 140736387561392 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28340/tid=28343] ppid=28338 vsize=290664 CPUtime=3.42 cores=0,2,4,6
/proc/28340/task/28343/stat : 28343 (strangenight1-m) R 28338 28340 28111 0 -1 4202560 7969 0 0 0 341 1 0 0 25 0 4 0 651551526 297639936 17712 33554432000 4194304 4650419 140736387561392 18446744073709551615 4439798 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 13.48
Current children cumulated vsize (KiB) 290664

[startup+6.30117 s]
/proc/loadavg: 7.82 8.05 7.73 9/405 28345
/proc/meminfo: memFree=23964584/32951132 swapFree=67093844/67111528
[pid=28340] ppid=28338 vsize=291044 CPUtime=23.15 cores=0,2,4,6
/proc/28340/stat : 28340 (strangenight1-m) R 28338 28340 28111 0 -1 4202496 31688 0 0 0 2306 9 0 0 25 0 4 0 651551526 298029056 18471 33554432000 4194304 4650419 140736387561392 18446744073709551615 4370730 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/28340/statm: 72761 18471 392 112 0 67726 0
[pid=28340/tid=28341] ppid=28338 vsize=291044 CPUtime=6.26 cores=0,2,4,6
/proc/28340/task/28341/stat : 28341 (strangenight1-m) R 28338 28340 28111 0 -1 4202560 7874 0 0 0 626 0 0 0 25 0 4 0 651551526 298029056 18471 33554432000 4194304 4650419 140736387561392 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28340/tid=28342] ppid=28338 vsize=291044 CPUtime=6.28 cores=0,2,4,6
/proc/28340/task/28342/stat : 28342 (strangenight1-m) R 28338 28340 28111 0 -1 4202560 8158 0 0 0 627 1 0 0 25 0 4 0 651551526 298029056 18471 33554432000 4194304 4650419 140736387561392 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28340/tid=28343] ppid=28338 vsize=291044 CPUtime=5.84 cores=0,2,4,6
/proc/28340/task/28343/stat : 28343 (strangenight1-m) R 28338 28340 28111 0 -1 4202560 9333 0 0 0 583 1 0 0 25 0 4 0 651551526 298029056 18471 33554432000 4194304 4650419 140736387561392 18446744073709551615 4332020 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 23.15
Current children cumulated vsize (KiB) 291044

[startup+12.7151 s]
/proc/loadavg: 7.85 8.05 7.73 9/405 28345
/proc/meminfo: memFree=23715968/32951132 swapFree=67093844/67111528
[pid=28340] ppid=28338 vsize=272324 CPUtime=48.69 cores=0,2,4,6
/proc/28340/stat : 28340 (strangenight1-m) R 28338 28340 28111 0 -1 4202496 51398 0 0 0 4857 12 0 0 25 0 4 0 651551526 278859776 27591 33554432000 4194304 4650419 140736387561392 18446744073709551615 4370557 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/28340/statm: 68081 27591 392 112 0 63046 0
[pid=28340/tid=28341] ppid=28338 vsize=272324 CPUtime=12.67 cores=0,2,4,6
/proc/28340/task/28341/stat : 28341 (strangenight1-m) R 28338 28340 28111 0 -1 4202560 13451 0 0 0 1266 1 0 0 25 0 4 0 651551526 278859776 27591 33554432000 4194304 4650419 140736387561392 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28340/tid=28342] ppid=28338 vsize=272324 CPUtime=12.69 cores=0,2,4,6
/proc/28340/task/28342/stat : 28342 (strangenight1-m) R 28338 28340 28111 0 -1 4202560 12518 0 0 0 1267 2 0 0 25 0 4 0 651551526 278859776 27591 33554432000 4194304 4650419 140736387561392 18446744073709551615 4438966 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28340/tid=28343] ppid=28338 vsize=272324 CPUtime=12.25 cores=0,2,4,6
/proc/28340/task/28343/stat : 28343 (strangenight1-m) R 28338 28340 28111 0 -1 4202560 15513 0 0 0 1222 3 0 0 25 0 4 0 651551526 278859776 27591 33554432000 4194304 4650419 140736387561392 18446744073709551615 4476449 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 48.69
Current children cumulated vsize (KiB) 272324

[startup+25.5009 s]
/proc/loadavg: 7.87 8.05 7.73 9/405 28345
/proc/meminfo: memFree=23535792/32951132 swapFree=67093844/67111528
[pid=28340] ppid=28338 vsize=283456 CPUtime=99.65 cores=0,2,4,6
/proc/28340/stat : 28340 (strangenight1-m) R 28338 28340 28111 0 -1 4202496 81360 0 0 0 9944 21 0 0 25 0 4 0 651551526 290258944 37679 33554432000 4194304 4650419 140736387561392 18446744073709551615 4433074 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/28340/statm: 70864 37679 392 112 0 65829 0
[pid=28340/tid=28341] ppid=28338 vsize=283456 CPUtime=25.46 cores=0,2,4,6
/proc/28340/task/28341/stat : 28341 (strangenight1-m) R 28338 28340 28111 0 -1 4202560 20312 0 0 0 2542 4 0 0 25 0 4 0 651551526 290258944 37679 33554432000 4194304 4650419 140736387561392 18446744073709551615 4365286 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28340/tid=28342] ppid=28338 vsize=283456 CPUtime=25.47 cores=0,2,4,6
/proc/28340/task/28342/stat : 28342 (strangenight1-m) R 28338 28340 28111 0 -1 4202560 20952 0 0 0 2543 4 0 0 25 0 4 0 651551526 290258944 37679 33554432000 4194304 4650419 140736387561392 18446744073709551615 4476354 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28340/tid=28343] ppid=28338 vsize=283456 CPUtime=25.01 cores=0,2,4,6
/proc/28340/task/28343/stat : 28343 (strangenight1-m) R 28338 28340 28111 0 -1 4202560 22623 0 0 0 2496 5 0 0 25 0 4 0 651551526 290258944 37679 33554432000 4194304 4650419 140736387561392 18446744073709551615 4240915 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 99.65
Current children cumulated vsize (KiB) 283456

[startup+51.1005 s]
/proc/loadavg: 7.98 8.06 7.74 9/405 28346
/proc/meminfo: memFree=23457368/32951132 swapFree=67093844/67111528
[pid=28340] ppid=28338 vsize=349480 CPUtime=201.67 cores=0,2,4,6
/proc/28340/stat : 28340 (strangenight1-m) R 28338 28340 28111 0 -1 4202496 121638 0 0 0 20136 31 0 0 25 0 4 0 651551526 357867520 46813 33554432000 4194304 4650419 140736387561392 18446744073709551615 4363880 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/28340/statm: 87370 46813 392 112 0 82335 0
[pid=28340/tid=28341] ppid=28338 vsize=349480 CPUtime=51.06 cores=0,2,4,6
/proc/28340/task/28341/stat : 28341 (strangenight1-m) R 28338 28340 28111 0 -1 4202560 28725 0 0 0 5100 6 0 0 25 0 4 0 651551526 357867520 46816 33554432000 4194304 4650419 140736387561392 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28340/tid=28342] ppid=28338 vsize=349480 CPUtime=51.07 cores=0,2,4,6
/proc/28340/task/28342/stat : 28342 (strangenight1-m) R 28338 28340 28111 0 -1 4202560 32703 0 0 0 5100 7 0 0 25 0 4 0 651551526 357867520 46816 33554432000 4194304 4650419 140736387561392 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28340/tid=28343] ppid=28338 vsize=349480 CPUtime=50.58 cores=0,2,4,6
/proc/28340/task/28343/stat : 28343 (strangenight1-m) R 28338 28340 28111 0 -1 4202560 32534 0 0 0 5051 7 0 0 25 0 4 0 651551526 357867520 46816 33554432000 4194304 4650419 140736387561392 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 201.67
Current children cumulated vsize (KiB) 349480

[startup+102.301 s]
/proc/loadavg: 8.05 8.06 7.76 9/405 28347
/proc/meminfo: memFree=23309132/32951132 swapFree=67093844/67111528
[pid=28340] ppid=28338 vsize=372832 CPUtime=405.63 cores=0,2,4,6
/proc/28340/stat : 28340 (strangenight1-m) R 28338 28340 28111 0 -1 4202496 174067 0 0 0 40516 47 0 0 25 0 4 0 651551526 381779968 55101 33554432000 4194304 4650419 140736387561392 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/28340/statm: 93208 55101 392 112 0 88173 0
[pid=28340/tid=28341] ppid=28338 vsize=372832 CPUtime=102.23 cores=0,2,4,6
/proc/28340/task/28341/stat : 28341 (strangenight1-m) R 28338 28340 28111 0 -1 4202560 39221 0 0 0 10213 10 0 0 25 0 4 0 651551526 381779968 55101 33554432000 4194304 4650419 140736387561392 18446744073709551615 4313331 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28340/tid=28342] ppid=28338 vsize=372832 CPUtime=102.22 cores=0,2,4,6
/proc/28340/task/28342/stat : 28342 (strangenight1-m) R 28338 28340 28111 0 -1 4202560 41326 0 0 0 10212 10 0 0 25 0 4 0 651551526 381779968 55101 33554432000 4194304 4650419 140736387561392 18446744073709551615 4366933 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28340/tid=28343] ppid=28338 vsize=372832 CPUtime=101.7 cores=0,2,4,6
/proc/28340/task/28343/stat : 28343 (strangenight1-m) R 28338 28340 28111 0 -1 4202560 48968 0 0 0 10159 11 0 0 25 0 4 0 651551526 381779968 55101 33554432000 4194304 4650419 140736387561392 18446744073709551615 4476331 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 405.63
Current children cumulated vsize (KiB) 372832

[startup+162.315 s]

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

[pid=28340] ppid=28338 vsize=667868 CPUtime=2556.98 cores=0,2,4,6
/proc/28340/stat : 28340 (strangenight1-m) R 28338 28340 28111 0 -1 4202496 473764 0 0 0 255511 187 0 0 25 0 4 0 651551526 683896832 100347 33554432000 4194304 4650419 140736387561392 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/28340/statm: 166967 100347 392 112 0 161932 0
[pid=28340/tid=28341] ppid=28338 vsize=667868 CPUtime=642.2 cores=0,2,4,6
/proc/28340/task/28341/stat : 28341 (strangenight1-m) R 28338 28340 28111 0 -1 4202560 128631 0 0 0 64170 50 0 0 25 0 4 0 651551526 683896832 100347 33554432000 4194304 4650419 140736387561392 18446744073709551615 4314985 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28340/tid=28342] ppid=28338 vsize=667868 CPUtime=642.08 cores=0,2,4,6
/proc/28340/task/28342/stat : 28342 (strangenight1-m) R 28338 28340 28111 0 -1 4202560 105883 0 0 0 64174 34 0 0 25 0 4 0 651551526 683896832 100347 33554432000 4194304 4650419 140736387561392 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28340/tid=28343] ppid=28338 vsize=667868 CPUtime=641.56 cores=0,2,4,6
/proc/28340/task/28343/stat : 28343 (strangenight1-m) R 28338 28340 28111 0 -1 4202560 137668 0 0 0 64107 49 0 0 25 0 4 0 651551526 683896832 100347 33554432000 4194304 4650419 140736387561392 18446744073709551615 4365195 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2556.98
Current children cumulated vsize (KiB) 667868

[startup+702.3 s]
/proc/loadavg: 8.17 8.15 7.93 9/405 28375
/proc/meminfo: memFree=22535160/32951132 swapFree=67093844/67111528
[pid=28340] ppid=28338 vsize=601464 CPUtime=2796.1 cores=0,2,4,6
/proc/28340/stat : 28340 (strangenight1-m) R 28338 28340 28111 0 -1 4202496 494781 0 0 0 279414 196 0 0 25 0 4 0 651551526 615899136 99491 33554432000 4194304 4650419 140736387561392 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/28340/statm: 150366 99491 392 112 0 145331 0
[pid=28340/tid=28341] ppid=28338 vsize=601464 CPUtime=702.19 cores=0,2,4,6
/proc/28340/task/28341/stat : 28341 (strangenight1-m) R 28338 28340 28111 0 -1 4202560 134475 0 0 0 70166 53 0 0 25 0 4 0 651551526 615899136 99491 33554432000 4194304 4650419 140736387561392 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28340/tid=28342] ppid=28338 vsize=601464 CPUtime=702.05 cores=0,2,4,6
/proc/28340/task/28342/stat : 28342 (strangenight1-m) R 28338 28340 28111 0 -1 4202560 112982 0 0 0 70170 35 0 0 25 0 4 0 651551526 615899136 99491 33554432000 4194304 4650419 140736387561392 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28340/tid=28343] ppid=28338 vsize=601464 CPUtime=701.54 cores=0,2,4,6
/proc/28340/task/28343/stat : 28343 (strangenight1-m) R 28338 28340 28111 0 -1 4202560 145742 0 0 0 70101 53 0 0 25 0 4 0 651551526 615899136 99491 33554432000 4194304 4650419 140736387561392 18446744073709551615 4366398 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2796.1
Current children cumulated vsize (KiB) 601464

[startup+762.301 s]
/proc/loadavg: 8.19 8.15 7.94 9/405 28377
/proc/meminfo: memFree=22655788/32951132 swapFree=67093844/67111528
[pid=28340] ppid=28338 vsize=630156 CPUtime=3035.24 cores=0,2,4,6
/proc/28340/stat : 28340 (strangenight1-m) R 28338 28340 28111 0 -1 4202496 514713 0 0 0 303317 207 0 0 25 0 4 0 651551526 645279744 100075 33554432000 4194304 4650419 140736387561392 18446744073709551615 4365361 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/28340/statm: 157539 100075 392 112 0 152504 0
[pid=28340/tid=28341] ppid=28338 vsize=630156 CPUtime=762.19 cores=0,2,4,6
/proc/28340/task/28341/stat : 28341 (strangenight1-m) R 28338 28340 28111 0 -1 4202560 138135 0 0 0 76165 54 0 0 25 0 4 0 651551526 645279744 100075 33554432000 4194304 4650419 140736387561392 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28340/tid=28342] ppid=28338 vsize=630156 CPUtime=762.04 cores=0,2,4,6
/proc/28340/task/28342/stat : 28342 (strangenight1-m) R 28338 28340 28111 0 -1 4202560 118835 0 0 0 76168 36 0 0 25 0 4 0 651551526 645279744 100075 33554432000 4194304 4650419 140736387561392 18446744073709551615 4476315 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28340/tid=28343] ppid=28338 vsize=630156 CPUtime=761.54 cores=0,2,4,6
/proc/28340/task/28343/stat : 28343 (strangenight1-m) R 28338 28340 28111 0 -1 4202560 151878 0 0 0 76096 58 0 0 25 0 4 0 651551526 645279744 100075 33554432000 4194304 4650419 140736387561392 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3035.24
Current children cumulated vsize (KiB) 630156

[startup+822.301 s]
/proc/loadavg: 8.35 8.19 7.96 9/405 28378
/proc/meminfo: memFree=22640500/32951132 swapFree=67093844/67111528
[pid=28340] ppid=28338 vsize=632240 CPUtime=3274.37 cores=0,2,4,6
/proc/28340/stat : 28340 (strangenight1-m) R 28338 28340 28111 0 -1 4202496 545693 0 0 0 327216 221 0 0 25 0 4 0 651551526 647413760 110119 33554432000 4194304 4650419 140736387561392 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/28340/statm: 158060 110119 392 112 0 153025 0
[pid=28340/tid=28341] ppid=28338 vsize=632240 CPUtime=822.19 cores=0,2,4,6
/proc/28340/task/28341/stat : 28341 (strangenight1-m) R 28338 28340 28111 0 -1 4202560 147030 0 0 0 82161 58 0 0 25 0 4 0 651551526 647413760 110119 33554432000 4194304 4650419 140736387561392 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28340/tid=28342] ppid=28338 vsize=632240 CPUtime=822.03 cores=0,2,4,6
/proc/28340/task/28342/stat : 28342 (strangenight1-m) R 28338 28340 28111 0 -1 4202560 120516 0 0 0 82167 36 0 0 25 0 4 0 651551526 647413760 110119 33554432000 4194304 4650419 140736387561392 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28340/tid=28343] ppid=28338 vsize=632240 CPUtime=821.55 cores=0,2,4,6
/proc/28340/task/28343/stat : 28343 (strangenight1-m) R 28338 28340 28111 0 -1 4202560 161417 0 0 0 82091 64 0 0 25 0 4 0 651551526 647413760 110119 33554432000 4194304 4650419 140736387561392 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3274.37
Current children cumulated vsize (KiB) 632240

[startup+882.3 s]
/proc/loadavg: 8.23 8.18 7.97 9/405 28380
/proc/meminfo: memFree=22500100/32951132 swapFree=67093844/67111528
[pid=28340] ppid=28338 vsize=684532 CPUtime=3513.49 cores=0,2,4,6
/proc/28340/stat : 28340 (strangenight1-m) R 28338 28340 28111 0 -1 4202496 581890 0 0 0 351110 239 0 0 25 0 4 0 651551526 700960768 123032 33554432000 4194304 4650419 140736387561392 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/28340/statm: 171133 123032 392 112 0 166098 0
[pid=28340/tid=28341] ppid=28338 vsize=684532 CPUtime=882.19 cores=0,2,4,6
/proc/28340/task/28341/stat : 28341 (strangenight1-m) R 28338 28340 28111 0 -1 4202560 157308 0 0 0 88157 62 0 0 25 0 4 0 651551526 700960768 123032 33554432000 4194304 4650419 140736387561392 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28340/tid=28342] ppid=28338 vsize=684532 CPUtime=882.02 cores=0,2,4,6
/proc/28340/task/28342/stat : 28342 (strangenight1-m) R 28338 28340 28111 0 -1 4202560 133005 0 0 0 88160 42 0 0 25 0 4 0 651551526 700960768 123032 33554432000 4194304 4650419 140736387561392 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28340/tid=28343] ppid=28338 vsize=684532 CPUtime=881.54 cores=0,2,4,6
/proc/28340/task/28343/stat : 28343 (strangenight1-m) R 28338 28340 28111 0 -1 4202560 166052 0 0 0 88088 66 0 0 25 0 4 0 651551526 700960768 123032 33554432000 4194304 4650419 140736387561392 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3513.49
Current children cumulated vsize (KiB) 684532

[startup+942.301 s]
/proc/loadavg: 8.13 8.16 7.98 9/405 28381
/proc/meminfo: memFree=22518676/32951132 swapFree=67093844/67111528
[pid=28340] ppid=28338 vsize=765984 CPUtime=3752.65 cores=0,2,4,6
/proc/28340/stat : 28340 (strangenight1-m) R 28338 28340 28111 0 -1 4202496 606212 0 0 0 375014 251 0 0 25 0 4 0 651551526 784367616 114629 33554432000 4194304 4650419 140736387561392 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/28340/statm: 191496 114629 392 112 0 186461 0
[pid=28340/tid=28341] ppid=28338 vsize=765984 CPUtime=942.19 cores=0,2,4,6
/proc/28340/task/28341/stat : 28341 (strangenight1-m) R 28338 28340 28111 0 -1 4202560 163534 0 0 0 94154 65 0 0 25 0 4 0 651551526 784367616 114629 33554432000 4194304 4650419 140736387561392 18446744073709551615 4365321 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28340/tid=28342] ppid=28338 vsize=765984 CPUtime=942 cores=0,2,4,6
/proc/28340/task/28342/stat : 28342 (strangenight1-m) R 28338 28340 28111 0 -1 4202560 144760 0 0 0 94153 47 0 0 25 0 4 0 651551526 784367616 114629 33554432000 4194304 4650419 140736387561392 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28340/tid=28343] ppid=28338 vsize=765984 CPUtime=941.54 cores=0,2,4,6
/proc/28340/task/28343/stat : 28343 (strangenight1-m) R 28338 28340 28111 0 -1 4202560 168969 0 0 0 94086 68 0 0 25 0 4 0 651551526 784367616 114629 33554432000 4194304 4650419 140736387561392 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3752.65
Current children cumulated vsize (KiB) 765984

[startup+1002.3 s]
/proc/loadavg: 8.08 8.14 7.99 9/405 28383
/proc/meminfo: memFree=22400240/32951132 swapFree=67093844/67111528
[pid=28340] ppid=28338 vsize=897480 CPUtime=3991.78 cores=0,2,4,6
/proc/28340/stat : 28340 (strangenight1-m) R 28338 28340 28111 0 -1 4202496 630285 0 0 0 398919 259 0 0 25 0 4 0 651551526 919019520 127702 33554432000 4194304 4650419 140736387561392 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/28340/statm: 224370 127702 392 112 0 219335 0
[pid=28340/tid=28341] ppid=28338 vsize=897480 CPUtime=1002.2 cores=0,2,4,6
/proc/28340/task/28341/stat : 28341 (strangenight1-m) R 28338 28340 28111 0 -1 4202560 173468 0 0 0 100153 67 0 0 25 0 4 0 651551526 919019520 127702 33554432000 4194304 4650419 140736387561392 18446744073709551615 4439361 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28340/tid=28342] ppid=28338 vsize=897480 CPUtime=1001.99 cores=0,2,4,6
/proc/28340/task/28342/stat : 28342 (strangenight1-m) R 28338 28340 28111 0 -1 4202560 149121 0 0 0 100150 49 0 0 25 0 4 0 651551526 919019520 127702 33554432000 4194304 4650419 140736387561392 18446744073709551615 4476483 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28340/tid=28343] ppid=28338 vsize=897480 CPUtime=1001.54 cores=0,2,4,6
/proc/28340/task/28343/stat : 28343 (strangenight1-m) R 28338 28340 28111 0 -1 4202560 174349 0 0 0 100083 71 0 0 25 0 4 0 651551526 919019520 127702 33554432000 4194304 4650419 140736387561392 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3991.78
Current children cumulated vsize (KiB) 897480

[startup+1062.3 s]
/proc/loadavg: 8.13 8.15 8.00 9/405 28385
/proc/meminfo: memFree=22391412/32951132 swapFree=67093844/67111528
[pid=28340] ppid=28338 vsize=790972 CPUtime=4230.96 cores=0,2,4,6
/proc/28340/stat : 28340 (strangenight1-m) R 28338 28340 28111 0 -1 4202496 656959 0 0 0 422825 271 0 0 25 0 4 0 651551526 809955328 127610 33554432000 4194304 4650419 140736387561392 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/28340/statm: 197743 127610 392 112 0 192708 0
[pid=28340/tid=28341] ppid=28338 vsize=790972 CPUtime=1062.19 cores=0,2,4,6
/proc/28340/task/28341/stat : 28341 (strangenight1-m) R 28338 28340 28111 0 -1 4202560 177177 0 0 0 106152 67 0 0 25 0 4 0 651551526 809955328 127610 33554432000 4194304 4650419 140736387561392 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28340/tid=28342] ppid=28338 vsize=790972 CPUtime=1061.98 cores=0,2,4,6
/proc/28340/task/28342/stat : 28342 (strangenight1-m) R 28338 28340 28111 0 -1 4202560 158049 0 0 0 106145 53 0 0 25 0 4 0 651551526 809955328 127610 33554432000 4194304 4650419 140736387561392 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28340/tid=28343] ppid=28338 vsize=790972 CPUtime=1061.53 cores=0,2,4,6
/proc/28340/task/28343/stat : 28343 (strangenight1-m) R 28338 28340 28111 0 -1 4202560 183723 0 0 0 106076 77 0 0 25 0 4 0 651551526 809955328 127610 33554432000 4194304 4650419 140736387561392 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4230.96
Current children cumulated vsize (KiB) 790972

[startup+1122.3 s]
/proc/loadavg: 8.11 8.14 8.00 9/405 28386
/proc/meminfo: memFree=22421008/32951132 swapFree=67093844/67111528
[pid=28340] ppid=28338 vsize=859640 CPUtime=4470.12 cores=0,2,4,6
/proc/28340/stat : 28340 (strangenight1-m) R 28338 28340 28111 0 -1 4202496 680602 0 0 0 446734 278 0 0 25 0 4 0 651551526 880271360 134826 33554432000 4194304 4650419 140736387561392 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/28340/statm: 214910 134826 392 112 0 209875 0
[pid=28340/tid=28341] ppid=28338 vsize=859640 CPUtime=1122.2 cores=0,2,4,6
/proc/28340/task/28341/stat : 28341 (strangenight1-m) R 28338 28340 28111 0 -1 4202560 183317 0 0 0 112152 68 0 0 25 0 4 0 651551526 880271360 134826 33554432000 4194304 4650419 140736387561392 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28340/tid=28342] ppid=28338 vsize=859640 CPUtime=1121.96 cores=0,2,4,6
/proc/28340/task/28342/stat : 28342 (strangenight1-m) R 28338 28340 28111 0 -1 4202560 167054 0 0 0 112139 57 0 0 25 0 4 0 651551526 880271360 134826 33554432000 4194304 4650419 140736387561392 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28340/tid=28343] ppid=28338 vsize=859640 CPUtime=1121.53 cores=0,2,4,6
/proc/28340/task/28343/stat : 28343 (strangenight1-m) R 28338 28340 28111 0 -1 4202560 191684 0 0 0 112075 78 0 0 25 0 4 0 651551526 880271360 134826 33554432000 4194304 4650419 140736387561392 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4470.12
Current children cumulated vsize (KiB) 859640

[startup+1182.3 s]
/proc/loadavg: 8.04 8.11 8.00 9/405 28388
/proc/meminfo: memFree=22354776/32951132 swapFree=67093844/67111528
[pid=28340] ppid=28338 vsize=859640 CPUtime=4709.33 cores=0,2,4,6
/proc/28340/stat : 28340 (strangenight1-m) R 28338 28340 28111 0 -1 4202496 690889 0 0 0 470651 282 0 0 25 0 4 0 651551526 880271360 138597 33554432000 4194304 4650419 140736387561392 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/28340/statm: 214910 138597 392 112 0 209875 0
[pid=28340/tid=28341] ppid=28338 vsize=859640 CPUtime=1182.21 cores=0,2,4,6
/proc/28340/task/28341/stat : 28341 (strangenight1-m) R 28338 28340 28111 0 -1 4202560 183776 0 0 0 118153 68 0 0 25 0 4 0 651551526 880271360 138597 33554432000 4194304 4650419 140736387561392 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28340/tid=28342] ppid=28338 vsize=859640 CPUtime=1181.96 cores=0,2,4,6
/proc/28340/task/28342/stat : 28342 (strangenight1-m) R 28338 28340 28111 0 -1 4202560 173140 0 0 0 118137 59 0 0 25 0 4 0 651551526 880271360 138597 33554432000 4194304 4650419 140736387561392 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28340/tid=28343] ppid=28338 vsize=859640 CPUtime=1181.55 cores=0,2,4,6
/proc/28340/task/28343/stat : 28343 (strangenight1-m) R 28338 28340 28111 0 -1 4202560 195160 0 0 0 118076 79 0 0 25 0 4 0 651551526 880271360 138597 33554432000 4194304 4650419 140736387561392 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4709.33
Current children cumulated vsize (KiB) 859640



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1205.1 s]
/proc/loadavg: 7.71 8.04 7.98 5/396 28407
/proc/meminfo: memFree=23707972/32951132 swapFree=67093844/67111528
[pid=28340] ppid=28338 vsize=925176 CPUtime=4800.21 cores=0,2,4,6
/proc/28340/stat : 28340 (strangenight1-m) R 28338 28340 28111 0 -1 4202496 695175 0 0 0 479736 285 0 0 25 0 4 0 651551526 947380224 138005 33554432000 4194304 4650419 140736387561392 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/28340/statm: 231294 138005 392 112 0 226259 0
[pid=28340/tid=28341] ppid=28338 vsize=925176 CPUtime=1205.01 cores=0,2,4,6
/proc/28340/task/28341/stat : 28341 (strangenight1-m) R 28338 28340 28111 0 -1 4202560 183981 0 0 0 120433 68 0 0 25 0 4 0 651551526 947380224 138005 33554432000 4194304 4650419 140736387561392 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28340/tid=28342] ppid=28338 vsize=925176 CPUtime=1204.76 cores=0,2,4,6
/proc/28340/task/28342/stat : 28342 (strangenight1-m) R 28338 28340 28111 0 -1 4202560 176574 0 0 0 120415 61 0 0 25 0 4 0 651551526 947380224 138005 33554432000 4194304 4650419 140736387561392 18446744073709551615 4432376 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28340/tid=28343] ppid=28338 vsize=925176 CPUtime=1204.35 cores=0,2,4,6
/proc/28340/task/28343/stat : 28343 (strangenight1-m) R 28338 28340 28111 0 -1 4202560 195807 0 0 0 120356 79 0 0 25 0 4 0 651551526 947380224 138005 33554432000 4194304 4650419 140736387561392 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.21
Current children cumulated vsize (KiB) 925176

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): 1205.15
CPU time (s): 4800.28
CPU user time (s): 4797.4
CPU system time (s): 2.87856
CPU usage (%): 398.314
Max. virtual memory (cumulated for all children) (KiB): 965020

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.4
system time used= 2.87856
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 695175
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= 1456
involuntary context switches= 22284

runsolver used 4.48832 second user time and 11.8622 second system time

The end

Launcher Data 

Begin job on node128 at 2011-05-14 20:58:49
IDJOB=3368645
IDBENCH=82654
IDSOLVER=1846
FILE ID=node128/3368645-1305399529
RUNJOBID= node128-1305397110-28129
PBS_JOBID= 13324451
Free space on /tmp= 73600 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt (fixed)
BENCH NAME= SAT11/random/large/unif-k7-r85-v150-c12750-S511186849-048-UNKNOWN.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3368645-1305399529/watcher-3368645-1305399529 -o /tmp/evaluation-result-3368645-1305399529/solver-3368645-1305399529 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3368645-1305399529.cnf

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

MD5SUM BENCH= 6a6ca4aade15f7a3c6a2d058c788d3f5
RANDOM SEED=266609475

node128.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.852
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.70
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.852
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.852
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.852
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.852
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.82
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.852
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.852
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.852
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	: 5434.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951132 kB
MemFree:      24033224 kB
Buffers:        262208 kB
Cached:        2889156 kB
SwapCached:       1440 kB
Active:        6538228 kB
Inactive:      2088916 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      24033224 kB
SwapTotal:    67111528 kB
SwapFree:     67093844 kB
Dirty:           15752 kB
Writeback:           0 kB
AnonPages:     5474468 kB
Mapped:          32396 kB
Slab:           187804 kB
PageTables:      38656 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS: 101121768 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73600 MiB
End job on node128 at 2011-05-14 21:18:56