Trace number 3367087

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-2-mt (fixed)? (TO) 4800.47 1204.94

General information on the benchmark

NameSAT-Race-2010-CNF/hardware-verification/
velev/11pipe_11_ooo.cnf
MD5SUMf603f11fbfe855df381282b7bce010ea
Bench CategoryAPPLICATION (applications 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 variables88289
Number of clauses4187694
Sum of the clauses size12410354
Maximum clause length341
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 23770000
Number of clauses of size 3347602
Number of clauses of size 41622
Number of clauses of size 51351
Number of clauses of size over 567118

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 3.0.0
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3367087-1305418003.cnf'
0.00/0.01	c -- header says num vars:          88289
0.00/0.01	c -- header says num clauses:     4187694
3.65/1.34	c -- clauses added:            0 learnts,      4187694 normals,            0 xors
3.65/1.34	c -- vars added      88289
3.65/1.34	c Parsing time:  0.54 s
3.65/1.34	c  N st     0         0     88289    417693   3770000         0  12410353         0   no data   no data
10.84/3.19	c asymm  cl-useful: 12/12/417692 lits-rem:718 time: 1.86
38.35/10.00	c Flit:  1199 Blit:     70 bXBeca:    0 bXProp:    8 Bins:      0 BRemL:      0 BRemN:      0 P: 200.0M T:  6.78
38.35/10.07	c Cleaning up after failed var search:     0.07 s 
39.15/10.21	c Replacing       10 vars Replaced      315 lits Time:     0.13 s 
40.07/10.56	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
40.85/10.77	c bin-w-bin subsume rem           20 bins  time:  0.21 s
66.40/17.10	c subs with bin:        0  lits-rem:      8260  v-fix:    0  time:  6.33 s
70.34/18.18	c Subs w/ non-existent bins:    102 l-rem:    235 v-fix:    23 done:  45653 time:  1.00 s
71.94/18.50	c Removed useless bin:      98  fixed:     0  props:  20.01M  time:  0.33 s
131.38/33.49	c lits-rem:       269  cl-subs:     2944  v-elim:  10576  v-fix:    0  time: 14.97 s
131.78/33.54	c Finding binary XORs  T:     0.05 s  found:      13
132.18/33.67	c Replacing       13 vars Replaced     2611 lits Time:     0.13 s 
134.21/34.13	c Finding non-binary XORs:     0.37 s (found:       0, avg size: nan)
134.21/34.13	c calculated reachability. Time: 0.00
134.57/34.20	c Calc default polars -  time:   0.06 s pos:    3442 undec:   11948 neg:   72899
134.57/34.20	c =========================================================================================
134.57/34.20	c types(t): F = full restart, N = normal restart
134.57/34.20	c types(t): S = simplification begin/end, E = solution found
134.57/34.20	c restart types(rt): st = static, dy = dynamic
134.57/34.20	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
134.57/34.20	c  B st     0         0     76385    443761   3541060         0  11976021         0   no data   no data
144.55/36.75	c  N dy    16      4104     76374    443761   3541191      3894  11976015    345657     34.26     37.38
155.33/39.43	c  N dy    47      8121     76314    443761   3542526      7727  11976004    693747     37.26     40.24
165.31/41.97	c  N dy    68     12161     76309    443761   3542644     11581  11975963   1030974     36.96     40.19
176.08/44.63	c  N dy    90     16182     76298    443761   3543104     15474  11975935   1353390     36.33     38.33
187.25/47.44	c  N dy   114     20421     76271    443761   3543762      9995  11975911    412260     36.42     40.96
197.63/50.07	c  N dy   133     24467     76270    443761   3543889     13839  11975885    725951     35.70     37.59
199.24/50.42	c  F st   138     25000     76264    443761   3544411     14360  11975880    769479     35.80   no data
214.00/54.17	c  N dy   144     30003     76263    443368   3528891     19235  11933802   1356949     35.80   no data
214.00/54.17	c  S st   144     30003     76263    443368   3528891     19235  11933802   1356949     35.80   no data
217.21/54.94	c  S st   144     30503     76251    443368   3529258     19526  11933802   1366979     35.80   no data
217.63/55.04	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.10
251.91/63.64	c Flit:  1987 Blit:     54 bXBeca:    0 bXProp:    5 Bins: 654622 BRemL:   4325 BRemN:      0 P: 200.0M T:  8.60
252.34/63.74	c Cleaning up after failed var search:     0.10 s 
252.74/63.88	c Replacing        5 vars Replaced     2200 lits Time:     0.14 s 
255.50/64.52	c blocked clauses removed:     2060 vars:   1856 tried:       88450 T: 0.43 s
256.72/64.90	c bin-w-bin subsume rem          384 bins  time:  0.38 s
280.25/70.74	c subs with bin:     1825  lits-rem:     55112  v-fix:    0  time:  5.84 s
288.63/72.80	c Subs w/ non-existent bins:    575 l-rem:   2816 v-fix:     0 done:  27113 time:  1.97 s
289.43/73.03	c Removed useless bin:     472  fixed:     0  props:  20.01M  time:  0.19 s
300.21/75.78	c lits-rem:      3490  cl-subs:      325  v-elim:    709  v-fix:    0  time:  2.75 s
306.20/77.26	c subs with bin:        0  lits-rem:       118  v-fix:    0  time:  1.39 s
312.18/78.77	c lits-rem:      1000  cl-subs:      692  v-elim:      0  v-fix:    0  time:  1.36 s
314.97/79.47	c asymm  cl-useful: 249/252/436952 lits-rem:5622 time: 0.70
315.37/79.56	c calculated reachability. Time: 0.00
315.37/79.57	c  N dy   144     30503     71625    436952   3672654     18570  10811124   2424472     35.80   no data
315.77/79.63	c Finding binary XORs  T:     0.06 s  found:       8
328.55/82.80	c  N dy   163     34524     71624    436952   3672720     22446  10811120   2729311     35.16     37.50
350.09/88.26	c  N dy   193     38536     71594    436952   3673881     26262  10811102   3082549     35.75     39.98
360.08/90.70	c  N dy   217     42607     71594    436952   3673951     15554  10811097   1696649     35.94     43.78
368.57/93.25	c Finding binary XORs  T:     0.05 s  found:      26
372.96/94.38	c  S st   230     45754     70261    436610   3733396     18540  10534564   2353615     35.56   no data
375.75/95.01	c  S st   230     46255     70257    436610   3733558     18871  10534562   2359019     35.56   no data
376.15/95.10	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.09
402.67/102.89	c Flit:  1365 Blit:     23 bXBeca:    0 bXProp:    2 Bins: 836086 BRemL:   7452 BRemN:     69 P: 200.0M T:  7.76
403.07/102.99	c Cleaning up after failed var search:     0.09 s 
403.87/103.13	c Replacing       36 vars Replaced     8973 lits Time:     0.14 s 
404.68/103.34	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
406.26/103.76	c bin-w-bin subsume rem         4103 bins  time:  0.42 s
430.61/109.80	c subs with bin:     1600  lits-rem:     78294  v-fix:    0  time:  5.99 s
439.39/112.04	c Subs w/ non-existent bins:    173 l-rem:   1031 v-fix:     0 done:  30507 time:  2.19 s
440.58/112.37	c Removed useless bin:   13959  fixed:     0  props:  20.01M  time:  0.31 s
452.16/115.24	c lits-rem:       912  cl-subs:      451  v-elim:    599  v-fix:    0  time:  2.85 s
458.14/116.77	c subs with bin:        4  lits-rem:       514  v-fix:    0  time:  1.44 s
462.93/117.91	c lits-rem:      7978  cl-subs:      449  v-elim:      0  v-fix:    0  time:  1.00 s
464.13/118.27	c asymm  cl-useful: 386/386/436838 lits-rem:7451 time: 0.37
464.53/118.38	c calculated reachability. Time: 0.00
464.53/118.38	c  N dy   230     46255     68207    436838   4172277     18288  10029886   3651000     35.56   no data
464.93/118.44	c Finding binary XORs  T:     0.06 s  found:      38
482.90/122.99	c  N dy   258     50309     67844    436838   4245601     22209  10029875   4201022     35.89     38.18
491.67/125.13	c  N dy   275     54393     67844    436838   4245697     26121  10029870   4575252     35.91     38.96
503.22/128.01	c  N dy   302     58469     67840    436838   4248738     30027  10029860   4901019     36.02     38.67
513.20/130.55	c  N dy   334     62477     67837    436838   4248803     33888  10029860   5285576     36.59     52.76
520.78/132.43	c  N dy   338     66544     67837    436838   4248937     20032  10029842   3652663     35.75     38.78
528.01/134.25	c Finding binary XORs  T:     0.06 s  found:       4
528.37/134.30	c  S st   355     69382     67836    436772   4190122     22751   9956197   3827309     35.71   no data
531.57/135.10	c  S st   355     69882     67836    436772   4190302     23070   9956197   3834326     35.71   no data
531.98/135.22	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.10
566.69/143.93	c Flit:   251 Blit:      8 bXBeca:    0 bXProp:    6 Bins: 306070 BRemL:  15230 BRemN:      0 P: 200.0M T:  8.64
566.69/143.93	c Cleaning up after failed var search:     0.00 s 
567.52/144.18	c Replacing       49 vars Replaced    16357 lits Time:     0.24 s 
568.28/144.39	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
570.28/144.81	c bin-w-bin subsume rem         7111 bins  time:  0.42 s
593.87/150.72	c subs with bin:      326  lits-rem:     12236  v-fix:    0  time:  5.86 s
602.23/152.89	c Subs w/ non-existent bins:     35 l-rem:    413 v-fix:     0 done:  57909 time:  2.14 s
603.80/153.22	c Removed useless bin:   17892  fixed:     0  props:  20.00M  time:  0.33 s
614.59/155.98	c lits-rem:       981  cl-subs:      121  v-elim:    958  v-fix:    0  time:  2.74 s
620.57/157.47	c subs with bin:        4  lits-rem:       117  v-fix:    0  time:  1.39 s
623.36/158.12	c lits-rem:     10001  cl-subs:      298  v-elim:      0  v-fix:    0  time:  0.52 s
626.95/159.05	c asymm  cl-useful: 233/233/435026 lits-rem:2603 time: 0.93
627.36/159.16	c calculated reachability. Time: 0.00
627.36/159.16	c  N dy   355     69882     66537    435024   4320372     22718   9650987   4275868     35.71   no data
645.31/163.62	c  N dy   384     74392     66383    435024   5061195     27068   9650973   6153300     35.90     37.95
648.50/164.40	c Finding binary XORs  T:     0.06 s  found:       5
658.09/166.87	c  N dy   422     79617     66383    434851   5009326     32108   9636209   6546036     36.14     38.16
671.66/170.28	c  N dy   454     84699     66382    434851   5013688     37000   9636189   6980979     36.10     38.93
679.25/172.11	c  F st   465     87501     66382    434851   5014085     19899   9636187   5232366     35.97     37.25
680.05/172.34	c Replacing        5 vars Replaced    16270 lits Time:     0.15 s 
687.63/174.20	c  N st   470     90799     66377    434851   5013766     23093   9635687   5575590     35.97   no data
701.19/177.68	c  N dy   498     96790     66377    434851   5013969     28884   9635633   6213190     36.07     38.42
715.56/181.29	c  N dy   531    103259     66377    434851   5014216     35093   9635615   6780549     35.97     38.30
719.15/182.15	c  S st   538    104826     66377    434851   5014260     36591   9635606   6915014     35.94   no data
722.35/182.91	c  S st   538    105326     66377    434851   5014511     36959   9635605   6921759     35.94   no data
722.75/183.02	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.11
762.21/192.96	c Flit:    80 Blit:      8 bXBeca:    0 bXProp:    8 Bins: 188939 BRemL:   6680 BRemN:      0 P: 200.0M T:  9.86
763.41/193.22	c Replacing        9 vars Replaced    14217 lits Time:     0.25 s 
764.22/193.42	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
766.21/193.92	c bin-w-bin subsume rem        15212 bins  time:  0.50 s
789.36/199.78	c subs with bin:     1470  lits-rem:     81926  v-fix:    0  time:  5.81 s
794.15/200.96	c Subs w/ non-existent bins:     14 l-rem:    429 v-fix:     0 done:  13461 time:  1.16 s
795.78/201.32	c Removed useless bin:   13414  fixed:     0  props:  20.00M  time:  0.34 s
800.17/202.41	c lits-rem:      1714  cl-subs:      204  v-elim:   1502  v-fix:    0  time:  1.09 s
805.72/203.89	c subs with bin:       60  lits-rem:      1686  v-fix:    0  time:  1.35 s
810.11/204.96	c lits-rem:     18410  cl-subs:      700  v-elim:      0  v-fix:    0  time:  0.95 s
812.51/205.58	c asymm  cl-useful: 316/319/431065 lits-rem:2233 time: 0.62
812.93/205.70	c calculated reachability. Time: 0.00
812.93/205.70	c  N dy   538    105326     64711    431064   5028761     36049   9279810   7041566     35.94   no data
813.34/205.77	c Finding binary XORs  T:     0.06 s  found:       1
833.06/210.85	c Finding binary XORs  T:     0.07 s  found:      13
833.86/211.04	c  N dy   575    112110     64592    430648   5591898     42482   9268745   8751236     35.84     37.77
851.02/215.31	c  N dy   615    119356     64592    430648   5594256     28177   9268738   7169301     35.74     67.00
868.98/219.84	c  N dy   649    127242     64592    430648   5594488     35821   9268733   7853923     35.53     37.51
886.96/224.39	c  N dy   685    135572     64592    430648   5594866     43869   9268713   8565859     35.25     37.23
906.91/229.36	c  N dy   738    144227     64590    430648   5595885     29592   9268658   7146968     35.29     37.18
928.06/234.61	c  N dy   772    153714     64590    430648   5596585     38780   9268655   8039741     35.00     37.34
938.83/237.35	c  S st   801    157991     64590    430648   5597160     42890   9268645   8413710     35.00     22.65
942.42/238.24	c  S st   801    158492     64590    430648   5597297     43253   9268645   8419434     35.00   no data
942.82/238.38	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.14
982.34/248.25	c Flit:    11 Blit:      1 bXBeca:    0 bXProp:    7 Bins: 551503 BRemL:  20024 BRemN:      3 P: 200.0M T:  9.86
983.55/248.54	c Replacing       22 vars Replaced    29200 lits Time:     0.28 s 
984.32/248.75	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
986.73/249.33	c bin-w-bin subsume rem        17002 bins  time:  0.59 s
1010.30/255.21	c subs with bin:      844  lits-rem:     13376  v-fix:    0  time:  5.88 s
1017.86/257.17	c Subs w/ non-existent bins:    156 l-rem:    216 v-fix:     0 done:  46089 time:  1.92 s
1019.45/257.55	c Removed useless bin:   27839  fixed:     0  props:  20.01M  time:  0.38 s
1025.04/258.98	c lits-rem:       412  cl-subs:      126  v-elim:   2763  v-fix:    0  time:  1.42 s
1031.03/260.42	c subs with bin:       15  lits-rem:       727  v-fix:    0  time:  1.30 s
1036.64/261.89	c lits-rem:     19066  cl-subs:     1045  v-elim:      0  v-fix:    0  time:  1.36 s
1039.41/262.54	c asymm  cl-useful: 225/233/426474 lits-rem:1976 time: 0.64
1039.81/262.67	c calculated reachability. Time: 0.00
1039.81/262.67	c  N dy   801    158492     61793    426474   5403592     41932   8748138   8223462     35.00   no data
1040.22/262.73	c Finding binary XORs  T:     0.07 s  found:       3
1060.57/267.83	c Finding binary XORs  T:     0.07 s  found:      10
1066.55/269.37	c  N dy   852    168764     61776    426438   5720804     28170   8745781   7461464     34.85     36.76
1089.34/275.09	c  N dy   911    179569     61776    426438   5724415     38614   8745769   8424646     34.81     36.64
1115.68/281.64	c  N dy   965    191114     61776    426438   5725500     49850   8745742   9445634     34.61     49.88
1126.43/284.31	c Finding binary XORs  T:     0.07 s  found:      11
1142.38/288.36	c  N dy  1031    203367     61763    426399   6079217     36770   8744607   8941951     34.51     41.83
1171.54/295.62	c  N dy  1094    216604     61763    426399   6079881     49605   8744582   9993393     34.45     36.59
1201.46/303.11	c  N dy  1135    230933     61763    426399   6081304     37533   8744570   8828624     33.98     38.27
1215.84/306.71	c  S st  1167    237741     61763    426399   6082018     44105   8744561   9388854     33.92     18.78
1219.02/307.59	c  S st  1167    238242     61762    426399   6082132     44487   8744560   9393942     33.92   no data
1219.82/307.72	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.13
1262.13/318.37	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    2 Bins: 280355 BRemL:  24906 BRemN:     20 P: 200.0M T: 10.64
1263.33/318.68	c Replacing       26 vars Replaced    65583 lits Time:     0.30 s 
1264.13/318.89	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1266.92/319.51	c bin-w-bin subsume rem        16992 bins  time:  0.62 s
1290.08/325.38	c subs with bin:     1077  lits-rem:     21827  v-fix:    0  time:  5.86 s
1296.86/327.06	c Subs w/ non-existent bins:     73 l-rem:    409 v-fix:     0 done:  19711 time:  1.62 s
1298.45/327.45	c Removed useless bin:   14143  fixed:     0  props:  20.00M  time:  0.38 s
1302.85/328.58	c lits-rem:        41  cl-subs:      294  v-elim:    186  v-fix:    0  time:  1.13 s
1309.24/330.14	c subs with bin:        4  lits-rem:       265  v-fix:    0  time:  1.43 s
1314.02/331.34	c lits-rem:      9703  cl-subs:      958  v-elim:      0  v-fix:    0  time:  1.08 s
1316.02/331.87	c asymm  cl-useful: 257/257/424785 lits-rem:5585 time: 0.53
1316.82/332.01	c calculated reachability. Time: 0.00
1316.82/332.01	c  N dy  1167    238242     61549    424785   6273034     43511   8643464   9740148     33.92   no data
1316.82/332.09	c Finding binary XORs  T:     0.07 s  found:       1
1344.75/339.05	c  N dy  1187    253505     61549    424785   6287182     31365   8643463   8664637     33.21     50.24
1375.10/346.66	c  N dy  1242    269784     61549    424785   6287714     47136   8643442  10193651     32.83     35.05
1409.86/355.39	c Finding binary XORs  T:     0.08 s  found:       4
1412.62/356.05	c  N dy  1335    286999     61547    424785   6432243     35760   8643274   9293986     32.75     35.43
1454.92/366.63	c  N dy  1438    305339     61547    424785   6433462     53559   8643244  10790711     32.73     34.49
1457.32/367.22	c  F st  1443    306252     61547    424785   6433468     54458   8643243  10866745     32.72     26.24
1458.15/367.41	c Replacing        5 vars Replaced     2843 lits Time:     0.18 s 
1502.42/378.55	c  N dy  1502    326137     61542    424785   6434245     44824   8643210   9632841     32.45     34.22
1544.34/389.07	c  N dy  1592    346331     61542    424785   6435152     34300   8643195   8992590     32.39     34.81
1569.89/395.43	c Finding binary XORs  T:     0.08 s  found:      13
1569.89/395.47	c  S st  1644    357363     61527    424785   6624331     45063   8642270  10363154     32.44   no data
1573.48/396.39	c  S st  1644    357863     61527    424785   6624420     45473   8642270  10370194     32.44   no data
1574.28/396.52	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.13
1619.77/407.95	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    2 Bins:  24616 BRemL:  31888 BRemN:      0 P: 200.0M T: 11.43
1620.60/408.15	c Replacing       15 vars Replaced    15398 lits Time:     0.19 s 
1621.36/408.35	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1623.77/408.98	c bin-w-bin subsume rem         6336 bins  time:  0.62 s
1646.94/414.72	c subs with bin:     1179  lits-rem:     24994  v-fix:    0  time:  5.74 s
1651.33/415.89	c Subs w/ non-existent bins:     18 l-rem:    561 v-fix:     0 done:  11040 time:  1.12 s
1652.89/416.21	c Removed useless bin:    4063  fixed:     0  props:  20.00M  time:  0.33 s
1656.08/417.01	c lits-rem:        13  cl-subs:       40  v-elim:      1  v-fix:    0  time:  0.79 s
1662.08/418.51	c subs with bin:      153  lits-rem:       449  v-fix:    0  time:  1.37 s
1666.47/419.66	c lits-rem:      5648  cl-subs:      968  v-elim:      0  v-fix:    0  time:  1.04 s
1668.90/420.24	c asymm  cl-useful: 246/247/423549 lits-rem:5112 time: 0.59
1669.66/420.40	c calculated reachability. Time: 0.00
1669.66/420.40	c  N dy  1644    357863     61511    423549   6607195     44347   8591942  10273533     32.44   no data
1690.86/425.78	c Finding binary XORs  T:     0.08 s  found:       7
1710.78/430.75	c  N dy  1716    378290     61510    423549   6973547     33162   8591547   9849943     32.30     34.58
1753.88/441.59	c  N dy  1806    399388     61509    423549   6974418     53774   8591524  11574227     32.11     34.22
1796.99/452.38	c  N dy  1854    419556     61509    423549   6975048     41350   8591522  10316959     31.76     33.90
1842.89/463.86	c  N dy  1961    439733     61509    423549   6975775     61097   8591491  11846875     31.71     34.19
1888.01/475.12	c  N dy  2049    459759     61506    423549   6976458     47459   8591453  10875841     31.58     39.67
1931.10/485.94	c  N dy  2161    479973     61505    423549   6977186     67191   8591409  12623160     31.55     33.30
1970.22/495.74	c  N dy  2219    500020     61500    423549   6977675     52707   8591392  10951947     31.23     33.30
2013.73/506.62	c  N dy  2287    520181     61497    423549   6978288     37113   8591364   9806741     30.99     32.70
2046.85/514.98	c  S st  2354    536794     61495    423549   6978733     53402   8591354  11055392     30.80      6.70
2050.88/515.95	c  S st  2354    537294     61493    423549   6978910     53835   8591354  11065592     30.80   no data
2051.24/516.08	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.14
2098.77/527.91	c Flit:    13 Blit:     41 bXBeca:    0 bXProp:    4 Bins: 193569 BRemL:  13994 BRemN:      1 P: 200.0M T: 11.82
2099.94/528.23	c Replacing       12 vars Replaced    30199 lits Time:     0.32 s 
2100.74/528.44	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2104.33/529.38	c bin-w-bin subsume rem        35445 bins  time:  0.94 s
2127.49/535.10	c subs with bin:      163  lits-rem:      9117  v-fix:    0  time:  5.72 s
2134.67/536.93	c Subs w/ non-existent bins:     10 l-rem:    274 v-fix:     0 done:  41343 time:  1.79 s
2135.87/537.28	c Removed useless bin:    4949  fixed:     0  props:  20.00M  time:  0.35 s
2139.06/538.08	c lits-rem:       120  cl-subs:       29  v-elim:      2  v-fix:    0  time:  0.80 s
2145.05/539.59	c subs with bin:        6  lits-rem:       132  v-fix:    0  time:  1.38 s
2149.04/540.55	c lits-rem:      7743  cl-subs:      979  v-elim:      0  v-fix:    0  time:  0.84 s
2151.46/541.13	c asymm  cl-useful: 241/746/423297 lits-rem:3950 time: 0.58
2151.87/541.29	c calculated reachability. Time: 0.00
2151.87/541.29	c  N dy  2354    537294     61425    423297   7096294     52796   8550891  11252156     30.80   no data
2152.23/541.37	c Finding binary XORs  T:     0.08 s  found:       0
2200.93/553.54	c  N dy  2419    561520     61420    423297   7106662     40385   8550865  10234646     30.46     32.71
2250.02/565.85	c  N dy  2550    582386     61149    423297   7107649     60795   8550853  11925891     30.53     33.65
2295.12/577.10	c  N dy  2641    602394     61149    423297   7108326     43253   8550783  10497032     30.53     32.75
2339.44/588.28	c  N dy  2746    622409     61149    423297   7109157     62936   8550774  12240367     30.53     57.50
2386.93/600.17	c  N dy  2848    643809     61149    423297   7109911     45805   8550750  10523125     30.44     32.36
2417.66/607.89	c Finding binary XORs  T:     0.08 s  found:       6
2432.04/611.44	c  N dy  2960    663995     61148    420902   7074873     63283   8418732  12119710     30.46     32.54
2479.93/623.48	c  N dy  3061    685692     61146    420902   7075637     46521   8418708  10624751     30.38     32.82
2522.64/634.12	c  N dy  3152    705774     61144    420902   7076102     66241   8418661  12407073     30.31     32.59
2569.33/645.88	c  N dy  3247    726122     61144    420902   7076514     46641   8418627  10591524     30.26     33.21
2612.06/656.56	c  N dy  3314    748186     61144    420902   7076695     68315   8418601  12343900     30.05     32.10
2660.36/668.69	c Finding binary XORs  T:     0.08 s  found:      10
2661.95/669.03	c  N dy  3436    768355     61131    420894   7258577     47130   8415567  10906065     30.09     31.87
2708.25/680.60	c  N dy  3524    789135     61130    420894   7402803     67587   8415551  12723825     30.12     31.71
2708.65/680.80	c Finding binary XORs  T:     0.08 s  found:       5
2736.59/687.75	c  S st  3534    805942     59936    418769   6522822     81395   7823517  12284401     29.87     12.78
2740.98/688.89	c  S st  3534    806442     59936    418769   6522862     41153   7823517   9476708     29.87   no data
2741.78/689.02	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.13
2788.88/700.89	c Flit:     8 Blit:      1 bXBeca:    0 bXProp:   26 Bins:  74261 BRemL:  20359 BRemN:    379 P: 200.0M T: 11.51
2790.08/701.18	c Replacing       47 vars Replaced    59346 lits Time:     0.29 s 
2790.88/701.38	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2793.67/702.01	c bin-w-bin subsume rem        20359 bins  time:  0.63 s
2816.02/707.66	c subs with bin:      909  lits-rem:      7969  v-fix:    0  time:  5.65 s
2820.41/708.76	c Subs w/ non-existent bins:      1 l-rem:    182 v-fix:     0 done:  14182 time:  1.06 s
2822.01/709.10	c Removed useless bin:    5836  fixed:     0  props:  20.00M  time:  0.34 s
2830.38/711.23	c lits-rem:      1359  cl-subs:     5253  v-elim:   3646  v-fix:    0  time:  2.13 s
2833.19/711.94	c subs with bin:      848  lits-rem:      2872  v-fix:    0  time:  0.64 s
2835.59/712.52	c lits-rem:      2707  cl-subs:      853  v-elim:      0  v-fix:    0  time:  0.48 s
2837.57/713.05	c vivif2 --  cl tried   414951 cl shrink     4244 lits rem      18061 time: 0.53
2838.37/713.22	c vivif2 --  cl tried    35911 cl shrink     2372 lits rem      10850 time: 0.16
2840.37/713.78	c asymm  cl-useful: 50/1723/414934 lits-rem:664 time: 0.56
2841.96/714.15	c calculated reachability. Time: 0.23
2841.96/714.15	c  N dy  3534    806442     56216    414934   6093566     35666   7249973   8766002     29.87   no data
2881.09/723.98	c  N dy  3553    827849     56213    414934   6096112     56535   7249969   9998173     29.50     31.08
2884.70/724.86	c Finding binary XORs  T:     0.78 s  found:      33
2924.21/734.75	c  N dy  3577    848697     56210    414911   6092859     76011   7249267  11423924     29.24     30.90
2964.90/744.95	c  N dy  3589    869360     56034    414911   6093395     56349   7249263   9505920     28.90     30.60
3008.81/755.96	c  N dy  3662    889977     56006    414911   6094237     76409   7249245  11070556     28.76     30.72
3058.31/768.30	c  N dy  3671    917467     56006    414911   6094538     60966   7249243  10072070     28.36     30.22
3100.62/778.93	c  N dy  3742    937527     56006    414911   6095492     80603   7249232  11430116     28.22     30.26
3152.53/791.99	c  N dy  3777    963768     56001    414911   6096070     62046   7249223   9689811     27.95     29.52
3193.22/802.18	c  N dy  3840    984058     56000    414911   6096489     81864   7249212  11045350     27.80     29.27
3235.54/812.74	c  N dy  3892   1004328     55999    414911   6097156     56071   7249196   9554396     27.66     29.51
3282.64/824.56	c  N dy  3987   1024489     55998    414911   6097666     75874   7249183  11192861     27.60     29.10
3330.95/836.67	c  N dy  4022   1049104     55995    414911   6098133     53216   7249140   9265113     27.36     28.99
3372.08/846.97	c  F st  4026   1071875     55995    414911   6098225     75646   7249133  10539609     27.07     13.71
3373.65/847.31	c Replacing       33 vars Replaced    70197 lits Time:     0.24 s 
3374.85/847.69	c  N st  4026   1071875     55965    413948   5973255     74622   7171685  10339268     27.07     13.71
3421.55/859.31	c  N dy  4099   1091950     55964    413948   5973806     94412   7171670  12156970     27.03     35.84
3471.45/871.86	c  N dy  4168   1115269     55962    413948   5974379     69745   7171662  10192054     26.90     28.55
3512.16/882.04	c  N dy  4175   1139019     55962    413948   5974463     93130   7171639  11592567     26.63     28.24
3566.37/895.63	c Finding binary XORs  T:     0.79 s  found:      11
3566.77/895.75	c  N dy  4267   1159113     55942    413820   6185752     63955   7163413  10371343     26.56     28.76
3634.63/912.76	c  N dy  4310   1196123     55939    413820   6186402     50368   7163405   9260360     26.24     27.69
3661.38/919.45	c  S st  4345   1209663     55936    413820   6186684     63729   7163388  10212565     26.17     10.93
3663.77/920.09	c  S st  4345   1210163     55934    413820   6186858     64198   7163387  10229254     26.17   no data
3664.57/920.22	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.12
3710.09/931.66	c Flit:    29 Blit:     41 bXBeca:    0 bXProp:    5 Bins: 246703 BRemL:  11821 BRemN:     17 P: 200.0M T: 11.16
3711.26/931.97	c Replacing       16 vars Replaced    19680 lits Time:     0.30 s 
3712.06/932.16	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3714.48/932.75	c bin-w-bin subsume rem         5697 bins  time:  0.59 s
3736.43/938.28	c subs with bin:     1827  lits-rem:      6935  v-fix:    0  time:  5.53 s
3743.18/939.96	c Subs w/ non-existent bins:      8 l-rem:    346 v-fix:     0 done:  25231 time:  1.66 s
3744.78/940.30	c Removed useless bin:    4340  fixed:     0  props:  20.00M  time:  0.34 s
3750.76/941.87	c lits-rem:      2580  cl-subs:      483  v-elim:    125  v-fix:    0  time:  1.57 s
3756.76/943.40	c subs with bin:      134  lits-rem:     15845  v-fix:    0  time:  1.42 s
3761.55/944.55	c lits-rem:      9382  cl-subs:     1231  v-elim:      0  v-fix:    0  time:  1.06 s
3763.94/945.18	c vivif2 --  cl tried   411794 cl shrink     1290 lits rem       4658 time: 0.62
3767.16/945.98	c vivif2 --  cl tried    60927 cl shrink     8345 lits rem     150468 time: 0.80
3769.53/946.56	c asymm  cl-useful: 44/1426/411780 lits-rem:176 time: 0.58
3771.55/947.07	c calculated reachability. Time: 0.37
3771.55/947.07	c  N dy  4345   1210163     55719    411780   6281250     60502   7107904  10080224     26.17   no data
3777.11/948.42	c Finding binary XORs  T:     1.35 s  found:      31
3817.43/958.50	c  N dy  4391   1230172     55442    411780   6359534     80105   7107898  11496888     26.03     27.42
3858.55/968.80	c Finding binary XORs  T:     1.22 s  found:      39
3862.14/969.70	c  N dy  4405   1250261     55441    408996   6235917     44965   7024699   9344360     25.88     27.28
3906.85/980.95	c  N dy  4482   1270749     55433    408996   6236447     65079   7024691  10831691     25.81     27.22
3945.57/990.66	c  N dy  4511   1291878     55429    408996   6236906     85881   7024686  12150269     25.66     27.05
3984.29/1000.34	c  N dy  4527   1311971     55425    408996   6237173     56791   7024685  10032959     25.49     27.05
4029.40/1011.60	c  N dy  4541   1336423     55412    408996   6241007     80792   7024681  11601435     25.30     26.95
4078.10/1023.80	c  N dy  4581   1360136     55183    408996   6241659     52660   7024671   9516031     25.18     26.72
4116.43/1033.48	c  N dy  4609   1380163     55175    408996   6242208     72342   7024665  10981560     25.05     26.44
4168.71/1046.59	c  N dy  4631   1410339     55173    408996   6242564    101969   7024649  12534083     24.86     26.32
4216.61/1058.55	c  N dy  4681   1435546     55170    408996   6243164     73535   7024637  10932168     24.76     26.44
4260.12/1069.40	c  N dy  4699   1460447     55166    408996   6243678     97912   7024635  12144525     24.58     25.90
4300.44/1079.53	c  N dy  4746   1480650     55164    408996   6244176     63138   7024627  10039837     24.49     25.87
4339.56/1089.39	c  N dy  4780   1500879     55164    408996   6244487     82962   7024621  11178820     24.40     25.75
4374.29/1098.09	c  N dy  4793   1521386     55163    408996   6244787    103037   7024619  12182514     24.28     25.94
4415.80/1108.45	c  N dy  4829   1542227     55160    408996   6245205     67823   7024596  10229958     24.17     25.82
4452.93/1117.77	c  N dy  4848   1563914     55157    408996   6245605     89066   7024590  11304407     24.04     25.38
4492.08/1127.57	c  N dy  4865   1586935     55153    408996   6245916    111805   7024585  12468289     23.92     25.27
4535.16/1138.40	c  N dy  4919   1607139     54962    408996   6246384     75513   7024577  10588922     23.84     25.29
4574.28/1148.14	c  N dy  4959   1628811     54956    408996   6246767     96798   7024568  11781854     23.76     25.25
4611.00/1157.37	c  N dy  4980   1649291     54956    408996   6247091     59782   7024562   9573022     23.68     24.97
4660.08/1169.67	c  N dy  5041   1674256     54953    408996   6247342     84279   7024523  11084216     23.60     25.39
4705.99/1181.14	c  N dy  5088   1700572     54951    408996   6247612    110216   7024514  12575726     23.53     24.99
4723.56/1185.56	c  S st  5095   1710163     54812    407339   5934021     59416   6884532   9043612     23.49     21.63
4726.74/1186.36	c  S st  5095   1710663     54812    407339   5934039     59893   6884529   9058075     23.49   no data
4727.14/1186.48	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.12
4772.66/1197.87	c Flit:    29 Blit:      2 bXBeca:    0 bXProp:   13 Bins:  19643 BRemL:  22914 BRemN:     75 P: 200.0M T: 10.78
4773.84/1198.14	c Replacing       84 vars Replaced    47547 lits Time:     0.27 s 
4774.64/1198.32	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4776.64/1198.89	c bin-w-bin subsume rem        11446 bins  time:  0.56 s
4798.19/1204.28	c subs with bin:      963  lits-rem:      6238  v-fix:    0  time:  5.39 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-3367087-1305418003/watcher-3367087-1305418003 -o /tmp/evaluation-result-3367087-1305418003/solver-3367087-1305418003 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3367087-1305418003.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: 5.68 6.80 7.46 3/282 20459
/proc/meminfo: memFree=24782872/32951124 swapFree=67057896/67111528
[pid=20459] ppid=20457 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/20459/stat : 20459 (strangenight2-m) R 20457 20459 19869 0 -1 4202496 408 0 0 0 0 0 0 0 23 0 4 0 634215741 52396032 348 33554432000 4194304 4580107 140735086280640 18446744073709551615 47690014525362 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/20459/statm: 12792 348 299 95 0 7774 0
[pid=20459/tid=20460] ppid=20457 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/20459/task/20460/stat : 20460 (strangenight2-m) R 20457 20459 19869 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 4 0 634215741 52396032 348 33554432000 4194304 4580107 140735086280640 18446744073709551615 47690014525356 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20459/tid=20461] ppid=20457 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/20459/task/20461/stat : 20461 (strangenight2-m) R 20457 20459 19869 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 634215741 52396032 348 33554432000 4194304 4580107 140735086280640 18446744073709551615 254261672945 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20459/tid=20462] ppid=20457 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/20459/task/20462/stat : 20462 (strangenight2-m) R 20457 20459 19869 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 634215741 52396032 348 33554432000 4194304 4580107 140735086280640 18446744073709551615 47690014525362 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.022791 s]
/proc/loadavg: 5.68 6.80 7.46 3/282 20459
/proc/meminfo: memFree=24782872/32951124 swapFree=67057896/67111528
[pid=20459] ppid=20457 vsize=284692 CPUtime=0.04 cores=0,2,4,6
/proc/20459/stat : 20459 (strangenight2-m) R 20457 20459 19869 0 -1 4202496 3473 0 0 0 4 0 0 0 18 0 4 0 634215741 291524608 3255 33554432000 4194304 4580107 140735086280640 18446744073709551615 4510923 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/20459/statm: 71173 3307 336 95 0 66155 0
[pid=20459/tid=20460] ppid=20457 vsize=284692 CPUtime=0.01 cores=0,2,4,6
/proc/20459/task/20460/stat : 20460 (strangenight2-m) R 20457 20459 19869 0 -1 4202560 778 0 0 0 1 0 0 0 18 0 4 0 634215741 291524608 3364 33554432000 4194304 4580107 140735086280640 18446744073709551615 254261721631 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20459/tid=20461] ppid=20457 vsize=284824 CPUtime=0 cores=0,2,4,6
/proc/20459/task/20461/stat : 20461 (strangenight2-m) D 20457 20459 19869 0 -1 4202560 867 0 0 0 0 0 0 0 18 0 4 0 634215741 291659776 3448 33554432000 4194304 4580107 140735086280640 18446744073709551615 254261659831 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20459/tid=20462] ppid=20457 vsize=284956 CPUtime=0.01 cores=0,2,4,6
/proc/20459/task/20462/stat : 20462 (strangenight2-m) R 20457 20459 19869 0 -1 4202560 796 0 0 0 1 0 0 0 18 0 4 0 634215741 291794944 3515 33554432000 4194304 4580107 140735086280640 18446744073709551615 4511053 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 284692

[startup+0.106632 s]
/proc/loadavg: 5.68 6.80 7.46 3/282 20459
/proc/meminfo: memFree=24782872/32951124 swapFree=67057896/67111528
[pid=20459] ppid=20457 vsize=297368 CPUtime=0.28 cores=0,2,4,6
/proc/20459/stat : 20459 (strangenight2-m) S 20457 20459 19869 0 -1 4202496 12954 0 0 0 22 6 0 0 18 0 4 0 634215741 304504832 11927 33554432000 4194304 4580107 140735086280640 18446744073709551615 254261721582 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/20459/statm: 74342 11977 337 95 0 69324 0
[pid=20459/tid=20460] ppid=20457 vsize=297368 CPUtime=0.07 cores=0,2,4,6
/proc/20459/task/20460/stat : 20460 (strangenight2-m) R 20457 20459 19869 0 -1 4202560 3151 0 0 0 5 2 0 0 18 0 4 0 634215741 304504832 12000 33554432000 4194304 4580107 140735086280640 18446744073709551615 254261674410 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20459/tid=20461] ppid=20457 vsize=297368 CPUtime=0.05 cores=0,2,4,6
/proc/20459/task/20461/stat : 20461 (strangenight2-m) D 20457 20459 19869 0 -1 4202560 3189 0 0 0 4 1 0 0 18 0 4 0 634215741 304504832 12000 33554432000 4194304 4580107 140735086280640 18446744073709551615 254261659831 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20459/tid=20462] ppid=20457 vsize=297508 CPUtime=0.09 cores=0,2,4,6
/proc/20459/task/20462/stat : 20462 (strangenight2-m) R 20457 20459 19869 0 -1 4202560 3153 0 0 0 8 1 0 0 18 0 4 0 634215741 304648192 12000 33554432000 4194304 4580107 140735086280640 18446744073709551615 4511202 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 297368

[startup+0.311533 s]
/proc/loadavg: 5.68 6.80 7.46 3/282 20459
/proc/meminfo: memFree=24782872/32951124 swapFree=67057896/67111528
[pid=20459] ppid=20457 vsize=326544 CPUtime=0.9 cores=0,2,4,6
/proc/20459/stat : 20459 (strangenight2-m) R 20457 20459 19869 0 -1 4202496 35162 0 0 0 68 22 0 0 18 0 4 0 634215741 334381056 33003 33554432000 4194304 4580107 140735086280640 18446744073709551615 4354920 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/20459/statm: 81669 33075 337 95 0 76651 0
[pid=20459/tid=20460] ppid=20457 vsize=326676 CPUtime=0.2 cores=0,2,4,6
/proc/20459/task/20460/stat : 20460 (strangenight2-m) R 20457 20459 19869 0 -1 4202560 8749 0 0 0 14 6 0 0 18 0 4 0 634215741 334516224 33094 33554432000 4194304 4580107 140735086280640 18446744073709551615 254261721631 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20459/tid=20461] ppid=20457 vsize=326824 CPUtime=0.2 cores=0,2,4,6
/proc/20459/task/20461/stat : 20461 (strangenight2-m) S 20457 20459 19869 0 -1 4202560 8644 0 0 0 13 7 0 0 18 0 4 0 634215741 334667776 33157 33554432000 4194304 4580107 140735086280640 18446744073709551615 254261721582 0 0 4096 2 18446604440363934848 0 0 -1 6 0 0 0
[pid=20459/tid=20462] ppid=20457 vsize=326964 CPUtime=0.27 cores=0,2,4,6
/proc/20459/task/20462/stat : 20462 (strangenight2-m) D 20457 20459 19869 0 -1 4202560 8810 0 0 0 24 3 0 0 18 0 4 0 634215741 334811136 33193 33554432000 4194304 4580107 140735086280640 18446744073709551615 254261313291 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.9
Current children cumulated vsize (KiB) 326544

[startup+0.704498 s]
/proc/loadavg: 5.68 6.80 7.46 3/282 20459
/proc/meminfo: memFree=24782872/32951124 swapFree=67057896/67111528
[pid=20459] ppid=20457 vsize=509388 CPUtime=2.02 cores=0,2,4,6
/proc/20459/stat : 20459 (strangenight2-m) R 20457 20459 19869 0 -1 4202496 76033 0 0 0 148 54 0 0 18 0 4 0 634215741 521613312 71622 33554432000 4194304 4580107 140735086280640 18446744073709551615 254261721631 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/20459/statm: 127347 71623 337 95 0 122329 0
[pid=20459/tid=20460] ppid=20457 vsize=509388 CPUtime=0.46 cores=0,2,4,6
/proc/20459/task/20460/stat : 20460 (strangenight2-m) R 20457 20459 19869 0 -1 4202560 19127 0 0 0 31 15 0 0 18 0 4 0 634215741 521613312 71625 33554432000 4194304 4580107 140735086280640 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20459/tid=20461] ppid=20457 vsize=509388 CPUtime=0.45 cores=0,2,4,6
/proc/20459/task/20461/stat : 20461 (strangenight2-m) R 20457 20459 19869 0 -1 4202560 19022 0 0 0 30 15 0 0 18 0 4 0 634215741 521613312 71626 33554432000 4194304 4580107 140735086280640 18446744073709551615 254261721582 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20459/tid=20462] ppid=20457 vsize=509388 CPUtime=0.63 cores=0,2,4,6
/proc/20459/task/20462/stat : 20462 (strangenight2-m) R 20457 20459 19869 0 -1 4202560 18500 0 0 0 54 9 0 0 18 0 4 0 634215741 521613312 71627 33554432000 4194304 4580107 140735086280640 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.02
Current children cumulated vsize (KiB) 509388

[startup+1.5003 s]
/proc/loadavg: 5.68 6.80 7.46 6/286 20463
/proc/meminfo: memFree=24379716/32951124 swapFree=67057896/67111528
[pid=20459] ppid=20457 vsize=795476 CPUtime=4.44 cores=0,2,4,6
/proc/20459/stat : 20459 (strangenight2-m) R 20457 20459 19869 0 -1 4202496 150485 0 0 0 341 103 0 0 18 0 4 0 634215741 814567424 141662 33554432000 4194304 4580107 140735086280640 18446744073709551615 4294535 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/20459/statm: 198869 141662 355 95 0 193851 0
[pid=20459/tid=20460] ppid=20457 vsize=795476 CPUtime=1.01 cores=0,2,4,6
/proc/20459/task/20460/stat : 20460 (strangenight2-m) R 20457 20459 19869 0 -1 4202560 37676 0 0 0 73 28 0 0 18 0 4 0 634215741 814567424 141662 33554432000 4194304 4580107 140735086280640 18446744073709551615 4294524 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20459/tid=20461] ppid=20457 vsize=795476 CPUtime=1.04 cores=0,2,4,6
/proc/20459/task/20461/stat : 20461 (strangenight2-m) R 20457 20459 19869 0 -1 4202560 37879 0 0 0 73 31 0 0 18 0 4 0 634215741 814567424 141662 33554432000 4194304 4580107 140735086280640 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20459/tid=20462] ppid=20457 vsize=795476 CPUtime=1.37 cores=0,2,4,6
/proc/20459/task/20462/stat : 20462 (strangenight2-m) R 20457 20459 19869 0 -1 4202560 36631 0 0 0 120 17 0 0 18 0 4 0 634215741 814567424 141662 33554432000 4194304 4580107 140735086280640 18446744073709551615 4496898 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.44
Current children cumulated vsize (KiB) 795476

[startup+3.10102 s]
/proc/loadavg: 5.68 6.80 7.46 7/286 20463
/proc/meminfo: memFree=24196816/32951124 swapFree=67057896/67111528
[pid=20459] ppid=20457 vsize=796560 CPUtime=10.84 cores=0,2,4,6
/proc/20459/stat : 20459 (strangenight2-m) R 20457 20459 19869 0 -1 4202496 154410 0 0 0 979 105 0 0 20 0 4 0 634215741 815677440 145306 33554432000 4194304 4580107 140735086280640 18446744073709551615 4294688 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/20459/statm: 199140 145306 359 95 0 194122 0
[pid=20459/tid=20460] ppid=20457 vsize=796560 CPUtime=2.62 cores=0,2,4,6
/proc/20459/task/20460/stat : 20460 (strangenight2-m) R 20457 20459 19869 0 -1 4202560 38380 0 0 0 233 29 0 0 20 0 4 0 634215741 815677440 145306 33554432000 4194304 4580107 140735086280640 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20459/tid=20461] ppid=20457 vsize=796560 CPUtime=2.63 cores=0,2,4,6
/proc/20459/task/20461/stat : 20461 (strangenight2-m) R 20457 20459 19869 0 -1 4202560 38566 0 0 0 232 31 0 0 20 0 4 0 634215741 815677440 145306 33554432000 4194304 4580107 140735086280640 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20459/tid=20462] ppid=20457 vsize=796560 CPUtime=2.97 cores=0,2,4,6
/proc/20459/task/20462/stat : 20462 (strangenight2-m) R 20457 20459 19869 0 -1 4202560 38441 0 0 0 279 18 0 0 20 0 4 0 634215741 815677440 145306 33554432000 4194304 4580107 140735086280640 18446744073709551615 4292944 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 10.84
Current children cumulated vsize (KiB) 796560

[startup+6.30046 s]
/proc/loadavg: 5.70 6.79 7.45 7/286 20463
/proc/meminfo: memFree=24179712/32951124 swapFree=67057896/67111528
[pid=20459] ppid=20457 vsize=798648 CPUtime=23.58 cores=0,2,4,6
/proc/20459/stat : 20459 (strangenight2-m) R 20457 20459 19869 0 -1 4202496 158378 0 0 0 2251 107 0 0 25 0 4 0 634215741 817815552 149080 33554432000 4194304 4580107 140735086280640 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/20459/statm: 199662 149080 360 95 0 194644 0
[pid=20459/tid=20460] ppid=20457 vsize=798648 CPUtime=5.82 cores=0,2,4,6
/proc/20459/task/20460/stat : 20460 (strangenight2-m) R 20457 20459 19869 0 -1 4202560 39229 0 0 0 552 30 0 0 25 0 4 0 634215741 817815552 149080 33554432000 4194304 4580107 140735086280640 18446744073709551615 4294475 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20459/tid=20461] ppid=20457 vsize=798648 CPUtime=5.8 cores=0,2,4,6
/proc/20459/task/20461/stat : 20461 (strangenight2-m) R 20457 20459 19869 0 -1 4202560 39525 0 0 0 548 32 0 0 25 0 4 0 634215741 817815552 149080 33554432000 4194304 4580107 140735086280640 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20459/tid=20462] ppid=20457 vsize=798648 CPUtime=6.18 cores=0,2,4,6
/proc/20459/task/20462/stat : 20462 (strangenight2-m) R 20457 20459 19869 0 -1 4202560 39721 0 0 0 599 19 0 0 25 0 4 0 634215741 817815552 149080 33554432000 4194304 4580107 140735086280640 18446744073709551615 4306071 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 23.58
Current children cumulated vsize (KiB) 798648

[startup+12.7003 s]
/proc/loadavg: 5.73 6.77 7.45 7/286 20463
/proc/meminfo: memFree=23831720/32951124 swapFree=67057896/67111528
[pid=20459] ppid=20457 vsize=1210640 CPUtime=48.83 cores=0,2,4,6
/proc/20459/stat : 20459 (strangenight2-m) R 20457 20459 19869 0 -1 4202496 244226 0 0 0 4744 139 0 0 21 0 4 0 634215741 1239695360 234927 33554432000 4194304 4580107 140735086280640 18446744073709551615 4412649 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/20459/statm: 302660 234927 371 95 0 297642 0
[pid=20459/tid=20460] ppid=20457 vsize=1210640 CPUtime=12.15 cores=0,2,4,6
/proc/20459/task/20460/stat : 20460 (strangenight2-m) R 20457 20459 19869 0 -1 4202560 66535 0 0 0 1172 43 0 0 21 0 4 0 634215741 1239695360 234927 33554432000 4194304 4580107 140735086280640 18446744073709551615 4413346 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20459/tid=20461] ppid=20457 vsize=1210640 CPUtime=12.1 cores=0,2,4,6
/proc/20459/task/20461/stat : 20461 (strangenight2-m) R 20457 20459 19869 0 -1 4202560 67233 0 0 0 1162 48 0 0 21 0 4 0 634215741 1239695360 234927 33554432000 4194304 4580107 140735086280640 18446744073709551615 4413351 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20459/tid=20462] ppid=20457 vsize=1210640 CPUtime=12.57 cores=0,2,4,6
/proc/20459/task/20462/stat : 20462 (strangenight2-m) R 20457 20459 19869 0 -1 4202560 42459 0 0 0 1237 20 0 0 21 0 4 0 634215741 1239695360 234927 33554432000 4194304 4580107 140735086280640 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 48.83
Current children cumulated vsize (KiB) 1210640

[startup+25.501 s]
/proc/loadavg: 5.79 6.73 7.42 7/286 20463
/proc/meminfo: memFree=23715124/32951124 swapFree=67057896/67111528
[pid=20459] ppid=20457 vsize=1348316 CPUtime=99.87 cores=0,2,4,6
/proc/20459/stat : 20459 (strangenight2-m) R 20457 20459 19869 0 -1 4202496 276238 0 0 0 9832 155 0 0 25 0 4 0 634215741 1380675584 266937 33554432000 4194304 4580107 140735086280640 18446744073709551615 4406466 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/20459/statm: 337079 266937 374 95 0 332061 0
[pid=20459/tid=20460] ppid=20457 vsize=1348316 CPUtime=24.9 cores=0,2,4,6
/proc/20459/task/20460/stat : 20460 (strangenight2-m) R 20457 20459 19869 0 -1 4202560 77786 0 0 0 2444 46 0 0 25 0 4 0 634215741 1380675584 266937 33554432000 4194304 4580107 140735086280640 18446744073709551615 4406350 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20459/tid=20461] ppid=20457 vsize=1348316 CPUtime=24.77 cores=0,2,4,6
/proc/20459/task/20461/stat : 20461 (strangenight2-m) R 20457 20459 19869 0 -1 4202560 78120 0 0 0 2425 52 0 0 25 0 4 0 634215741 1380675584 266937 33554432000 4194304 4580107 140735086280640 18446744073709551615 4451475 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20459/tid=20462] ppid=20457 vsize=1348316 CPUtime=25.36 cores=0,2,4,6
/proc/20459/task/20462/stat : 20462 (strangenight2-m) R 20457 20459 19869 0 -1 4202560 43251 0 0 0 2516 20 0 0 25 0 4 0 634215741 1380675584 266937 33554432000 4194304 4580107 140735086280640 18446744073709551615 4293292 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 99.87
Current children cumulated vsize (KiB) 1348316

[startup+51.1005 s]
/proc/loadavg: 5.86 6.67 7.38 7/286 20464
/proc/meminfo: memFree=23653684/32951124 swapFree=67057896/67111528
[pid=20459] ppid=20457 vsize=1333452 CPUtime=202.03 cores=0,2,4,6
/proc/20459/stat : 20459 (strangenight2-m) R 20457 20459 19869 0 -1 4202496 326887 0 0 0 20034 169 0 0 25 0 4 0 634215741 1365454848 279628 33554432000 4194304 4580107 140735086280640 18446744073709551615 4294688 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/20459/statm: 333363 279628 379 95 0 328345 0
[pid=20459/tid=20460] ppid=20457 vsize=1333452 CPUtime=50.49 cores=0,2,4,6
/proc/20459/task/20460/stat : 20460 (strangenight2-m) R 20457 20459 19869 0 -1 4202560 92609 0 0 0 4999 50 0 0 25 0 4 0 634215741 1365454848 279628 33554432000 4194304 4580107 140735086280640 18446744073709551615 4296092 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20459/tid=20461] ppid=20457 vsize=1333452 CPUtime=50.14 cores=0,2,4,6
/proc/20459/task/20461/stat : 20461 (strangenight2-m) R 20457 20459 19869 0 -1 4202560 93679 0 0 0 4958 56 0 0 25 0 4 0 634215741 1365454848 279628 33554432000 4194304 4580107 140735086280640 18446744073709551615 4295739 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20459/tid=20462] ppid=20457 vsize=1333452 CPUtime=50.96 cores=0,2,4,6
/proc/20459/task/20462/stat : 20462 (strangenight2-m) R 20457 20459 19869 0 -1 4202560 53398 0 0 0 5073 23 0 0 25 0 4 0 634215741 1365454848 279628 33554432000 4194304 4580107 140735086280640 18446744073709551615 4293211 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 202.03
Current children cumulated vsize (KiB) 1333452

[startup+102.31 s]
/proc/loadavg: 5.78 6.53 7.30 7/286 20466
/proc/meminfo: memFree=22940168/32951124 swapFree=67057896/67111528
[pid=20459] ppid=20457 vsize=2226836 CPUtime=400.71 cores=0,2,4,6
/proc/20459/stat : 20459 (strangenight2-m) R 20457 20459 19869 0 -1 4202496 555681 0 0 0 39842 229 0 0 25 0 4 0 634215741 2280280064 460250 33554432000 4194304 4580107 140735086280640 18446744073709551615 4228064 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/20459/statm: 556709 460250 380 95 0 551691 0
[pid=20459/tid=20460] ppid=20457 vsize=2226836 CPUtime=98.41 cores=0,2,4,6
/proc/20459/task/20460/stat : 20460 (strangenight2-m) R 20457 20459 19869 0 -1 4202560 123199 0 0 0 9778 63 0 0 25 0 4 0 634215741 2280280064 460250 33554432000 4194304 4580107 140735086280640 18446744073709551615 4293911 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20459/tid=20461] ppid=20457 vsize=2226836 CPUtime=100.69 cores=0,2,4,6
/proc/20459/task/20461/stat : 20461 (strangenight2-m) R 20457 20459 19869 0 -1 4202560 117398 0 0 0 10006 63 0 0 25 0 4 0 634215741 2280280064 460250 33554432000 4194304 4580107 140735086280640 18446744073709551615 4293198 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20459/tid=20462] ppid=20457 vsize=2226836 CPUtime=101.21 cores=0,2,4,6
/proc/20459/task/20462/stat : 20462 (strangenight2-m) R 20457 20459 19869 0 -1 4202560 199007 0 0 0 10070 51 0 0 25 0 4 0 634215741 2280280064 460250 33554432000 4194304 4580107 140735086280640 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 400.71
Current children cumulated vsize (KiB) 2226836

[startup+162.301 s]

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

[pid=20459/tid=20462] ppid=20457 vsize=4347808 CPUtime=701.2 cores=0,2,4,6
/proc/20459/task/20462/stat : 20462 (strangenight2-m) R 20457 20459 19869 0 -1 4202560 555606 0 0 0 69984 136 0 0 25 0 4 0 634215741 4452155392 881673 33554432000 4194304 4580107 140735086280640 18446744073709551615 4301849 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2794.87
Current children cumulated vsize (KiB) 4347808

[startup+762.31 s]
/proc/loadavg: 6.14 6.11 6.65 7/286 20483
/proc/meminfo: memFree=21199744/32951124 swapFree=67057896/67111528
[pid=20459] ppid=20457 vsize=4217996 CPUtime=3034.39 cores=0,2,4,6
/proc/20459/stat : 20459 (strangenight2-m) R 20457 20459 19869 0 -1 4202496 1790696 0 0 0 302820 619 0 0 25 0 4 0 634215741 4319227904 892244 33554432000 4194304 4580107 140735086280640 18446744073709551615 4319421 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/20459/statm: 1054499 892244 380 95 0 1049481 0
[pid=20459/tid=20460] ppid=20457 vsize=4217996 CPUtime=753.92 cores=0,2,4,6
/proc/20459/task/20460/stat : 20460 (strangenight2-m) R 20457 20459 19869 0 -1 4202560 379886 0 0 0 75236 156 0 0 25 0 4 0 634215741 4319227904 892244 33554432000 4194304 4580107 140735086280640 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20459/tid=20461] ppid=20457 vsize=4217996 CPUtime=759.76 cores=0,2,4,6
/proc/20459/task/20461/stat : 20461 (strangenight2-m) R 20457 20459 19869 0 -1 4202560 371661 0 0 0 75831 145 0 0 25 0 4 0 634215741 4319227904 892244 33554432000 4194304 4580107 140735086280640 18446744073709551615 4294248 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20459/tid=20462] ppid=20457 vsize=4217996 CPUtime=761.21 cores=0,2,4,6
/proc/20459/task/20462/stat : 20462 (strangenight2-m) R 20457 20459 19869 0 -1 4202560 577389 0 0 0 75979 142 0 0 25 0 4 0 634215741 4319227904 892244 33554432000 4194304 4580107 140735086280640 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3034.39
Current children cumulated vsize (KiB) 4217996

[startup+822.3 s]
/proc/loadavg: 6.11 6.11 6.61 7/286 20485
/proc/meminfo: memFree=21173132/32951124 swapFree=67057896/67111528
[pid=20459] ppid=20457 vsize=4222404 CPUtime=3273.86 cores=0,2,4,6
/proc/20459/stat : 20459 (strangenight2-m) R 20457 20459 19869 0 -1 4202496 1885726 0 0 0 326740 646 0 0 25 0 4 0 634215741 4323741696 899475 33554432000 4194304 4580107 140735086280640 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/20459/statm: 1055601 899475 380 95 0 1050583 0
[pid=20459/tid=20460] ppid=20457 vsize=4222404 CPUtime=813.4 cores=0,2,4,6
/proc/20459/task/20460/stat : 20460 (strangenight2-m) R 20457 20459 19869 0 -1 4202560 408339 0 0 0 81179 161 0 0 25 0 4 0 634215741 4323741696 899475 33554432000 4194304 4580107 140735086280640 18446744073709551615 4306424 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20459/tid=20461] ppid=20457 vsize=4222404 CPUtime=819.75 cores=0,2,4,6
/proc/20459/task/20461/stat : 20461 (strangenight2-m) R 20457 20459 19869 0 -1 4202560 395474 0 0 0 81822 153 0 0 25 0 4 0 634215741 4323741696 899475 33554432000 4194304 4580107 140735086280640 18446744073709551615 4294821 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20459/tid=20462] ppid=20457 vsize=4222404 CPUtime=821.2 cores=0,2,4,6
/proc/20459/task/20462/stat : 20462 (strangenight2-m) R 20457 20459 19869 0 -1 4202560 599112 0 0 0 81971 149 0 0 25 0 4 0 634215741 4323741696 899475 33554432000 4194304 4580107 140735086280640 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3273.86
Current children cumulated vsize (KiB) 4222404

[startup+882.301 s]
/proc/loadavg: 5.12 5.85 6.49 5/277 20504
/proc/meminfo: memFree=20867560/32951124 swapFree=67057896/67111528
[pid=20459] ppid=20457 vsize=5012496 CPUtime=3513.35 cores=0,2,4,6
/proc/20459/stat : 20459 (strangenight2-m) R 20457 20459 19869 0 -1 4202496 2053790 0 0 0 350607 728 0 0 25 0 4 0 634215741 5132795904 998687 33554432000 4194304 4580107 140735086280640 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/20459/statm: 1253124 998687 380 95 0 1248106 0
[pid=20459/tid=20460] ppid=20457 vsize=5012496 CPUtime=872.91 cores=0,2,4,6
/proc/20459/task/20460/stat : 20460 (strangenight2-m) R 20457 20459 19869 0 -1 4202560 506433 0 0 0 87069 222 0 0 25 0 4 0 634215741 5132795904 998687 33554432000 4194304 4580107 140735086280640 18446744073709551615 4413356 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20459/tid=20461] ppid=20457 vsize=5012496 CPUtime=879.75 cores=0,2,4,6
/proc/20459/task/20461/stat : 20461 (strangenight2-m) R 20457 20459 19869 0 -1 4202560 416966 0 0 0 87815 160 0 0 25 0 4 0 634215741 5132795904 998687 33554432000 4194304 4580107 140735086280640 18446744073709551615 4315732 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20459/tid=20462] ppid=20457 vsize=5012496 CPUtime=881.2 cores=0,2,4,6
/proc/20459/task/20462/stat : 20462 (strangenight2-m) R 20457 20459 19869 0 -1 4202560 623226 0 0 0 87964 156 0 0 25 0 4 0 634215741 5132795904 998687 33554432000 4194304 4580107 140735086280640 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3513.35
Current children cumulated vsize (KiB) 5012496

[startup+942.301 s]
/proc/loadavg: 4.46 5.52 6.34 5/277 20506
/proc/meminfo: memFree=20196040/32951124 swapFree=67057896/67111528
[pid=20459] ppid=20457 vsize=5690232 CPUtime=3752.77 cores=0,2,4,6
/proc/20459/stat : 20459 (strangenight2-m) R 20457 20459 19869 0 -1 4202496 2296603 0 0 0 374405 872 0 0 25 0 4 0 634215741 5826797568 1166755 33554432000 4194304 4580107 140735086280640 18446744073709551615 4413640 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/20459/statm: 1422558 1166755 386 95 0 1417540 0
[pid=20459/tid=20460] ppid=20457 vsize=5690232 CPUtime=932.43 cores=0,2,4,6
/proc/20459/task/20460/stat : 20460 (strangenight2-m) R 20457 20459 19869 0 -1 4202560 527837 0 0 0 93014 229 0 0 25 0 4 0 634215741 5826797568 1166755 33554432000 4194304 4580107 140735086280640 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20459/tid=20461] ppid=20457 vsize=5690232 CPUtime=939.75 cores=0,2,4,6
/proc/20459/task/20461/stat : 20461 (strangenight2-m) R 20457 20459 19869 0 -1 4202560 535468 0 0 0 93720 255 0 0 25 0 4 0 634215741 5826797568 1166755 33554432000 4194304 4580107 140735086280640 18446744073709551615 4413346 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20459/tid=20462] ppid=20457 vsize=5690232 CPUtime=941.13 cores=0,2,4,6
/proc/20459/task/20462/stat : 20462 (strangenight2-m) R 20457 20459 19869 0 -1 4202560 645137 0 0 0 93949 164 0 0 25 0 4 0 634215741 5826797568 1166755 33554432000 4194304 4580107 140735086280640 18446744073709551615 4293251 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3752.77
Current children cumulated vsize (KiB) 5690232

[startup+1002.3 s]
/proc/loadavg: 4.21 5.26 6.19 5/277 20508
/proc/meminfo: memFree=19964212/32951124 swapFree=67057896/67111528
[pid=20459] ppid=20457 vsize=5852644 CPUtime=3992.27 cores=0,2,4,6
/proc/20459/stat : 20459 (strangenight2-m) R 20457 20459 19869 0 -1 4202496 2416122 0 0 0 398310 917 0 0 25 0 4 0 634215741 5993107456 1224129 33554432000 4194304 4580107 140735086280640 18446744073709551615 4319311 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/20459/statm: 1463161 1224129 380 95 0 1458143 0
[pid=20459/tid=20460] ppid=20457 vsize=5852644 CPUtime=991.93 cores=0,2,4,6
/proc/20459/task/20460/stat : 20460 (strangenight2-m) R 20457 20459 19869 0 -1 4202560 551448 0 0 0 98953 240 0 0 25 0 4 0 634215741 5993107456 1224129 33554432000 4194304 4580107 140735086280640 18446744073709551615 4319352 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20459/tid=20461] ppid=20457 vsize=5852644 CPUtime=999.75 cores=0,2,4,6
/proc/20459/task/20461/stat : 20461 (strangenight2-m) R 20457 20459 19869 0 -1 4202560 557255 0 0 0 99706 269 0 0 25 0 4 0 634215741 5993107456 1224129 33554432000 4194304 4580107 140735086280640 18446744073709551615 4294520 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20459/tid=20462] ppid=20457 vsize=5852644 CPUtime=1001.13 cores=0,2,4,6
/proc/20459/task/20462/stat : 20462 (strangenight2-m) R 20457 20459 19869 0 -1 4202560 698919 0 0 0 99937 176 0 0 25 0 4 0 634215741 5993107456 1224129 33554432000 4194304 4580107 140735086280640 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3992.27
Current children cumulated vsize (KiB) 5852644

[startup+1062.3 s]
/proc/loadavg: 4.12 5.04 6.06 5/277 20509
/proc/meminfo: memFree=19934100/32951124 swapFree=67057896/67111528
[pid=20459] ppid=20457 vsize=5923376 CPUtime=4231.79 cores=0,2,4,6
/proc/20459/stat : 20459 (strangenight2-m) R 20457 20459 19869 0 -1 4202496 2501141 0 0 0 422229 950 0 0 25 0 4 0 634215741 6065537024 1231921 33554432000 4194304 4580107 140735086280640 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/20459/statm: 1480844 1231921 380 95 0 1475826 0
[pid=20459/tid=20460] ppid=20457 vsize=5923376 CPUtime=1051.44 cores=0,2,4,6
/proc/20459/task/20460/stat : 20460 (strangenight2-m) R 20457 20459 19869 0 -1 4202560 575285 0 0 0 104894 250 0 0 25 0 4 0 634215741 6065537024 1231921 33554432000 4194304 4580107 140735086280640 18446744073709551615 4293235 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20459/tid=20461] ppid=20457 vsize=5923376 CPUtime=1059.75 cores=0,2,4,6
/proc/20459/task/20461/stat : 20461 (strangenight2-m) R 20457 20459 19869 0 -1 4202560 578239 0 0 0 105698 277 0 0 25 0 4 0 634215741 6065537024 1231921 33554432000 4194304 4580107 140735086280640 18446744073709551615 4293244 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20459/tid=20462] ppid=20457 vsize=5923376 CPUtime=1061.13 cores=0,2,4,6
/proc/20459/task/20462/stat : 20462 (strangenight2-m) R 20457 20459 19869 0 -1 4202560 718515 0 0 0 105928 185 0 0 25 0 4 0 634215741 6065537024 1231921 33554432000 4194304 4580107 140735086280640 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4231.79
Current children cumulated vsize (KiB) 5923376

[startup+1122.3 s]
/proc/loadavg: 4.08 4.86 5.93 5/277 20514
/proc/meminfo: memFree=19896948/32951124 swapFree=67057896/67111528
[pid=20459] ppid=20457 vsize=6001004 CPUtime=4471.29 cores=0,2,4,6
/proc/20459/stat : 20459 (strangenight2-m) R 20457 20459 19869 0 -1 4202496 2586205 0 0 0 446148 981 0 0 25 0 4 0 634215741 6145028096 1240976 33554432000 4194304 4580107 140735086280640 18446744073709551615 4294546 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/20459/statm: 1500251 1240976 380 95 0 1495233 0
[pid=20459/tid=20460] ppid=20457 vsize=6001004 CPUtime=1110.94 cores=0,2,4,6
/proc/20459/task/20460/stat : 20460 (strangenight2-m) R 20457 20459 19869 0 -1 4202560 599705 0 0 0 110834 260 0 0 25 0 4 0 634215741 6145028096 1240976 33554432000 4194304 4580107 140735086280640 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20459/tid=20461] ppid=20457 vsize=6001004 CPUtime=1119.75 cores=0,2,4,6
/proc/20459/task/20461/stat : 20461 (strangenight2-m) R 20457 20459 19869 0 -1 4202560 598203 0 0 0 111689 286 0 0 25 0 4 0 634215741 6145028096 1240976 33554432000 4194304 4580107 140735086280640 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20459/tid=20462] ppid=20457 vsize=6001004 CPUtime=1121.13 cores=0,2,4,6
/proc/20459/task/20462/stat : 20462 (strangenight2-m) R 20457 20459 19869 0 -1 4202560 738218 0 0 0 111923 190 0 0 25 0 4 0 634215741 6145028096 1240976 33554432000 4194304 4580107 140735086280640 18446744073709551615 4293251 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4471.29
Current children cumulated vsize (KiB) 6001004

[startup+1182.3 s]
/proc/loadavg: 4.07 4.72 5.81 5/277 20515
/proc/meminfo: memFree=19583160/32951124 swapFree=67057896/67111528
[pid=20459] ppid=20457 vsize=6539716 CPUtime=4710.78 cores=0,2,4,6
/proc/20459/stat : 20459 (strangenight2-m) R 20457 20459 19869 0 -1 4202496 2724980 0 0 0 470026 1052 0 0 25 0 4 0 634215741 6696669184 1319738 33554432000 4194304 4580107 140735086280640 18446744073709551615 4294367 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/20459/statm: 1634929 1319738 380 95 0 1629911 0
[pid=20459/tid=20460] ppid=20457 vsize=6539716 CPUtime=1170.46 cores=0,2,4,6
/proc/20459/task/20460/stat : 20460 (strangenight2-m) R 20457 20459 19869 0 -1 4202560 681987 0 0 0 116736 310 0 0 25 0 4 0 634215741 6696669184 1319738 33554432000 4194304 4580107 140735086280640 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20459/tid=20461] ppid=20457 vsize=6539716 CPUtime=1179.73 cores=0,2,4,6
/proc/20459/task/20461/stat : 20461 (strangenight2-m) R 20457 20459 19869 0 -1 4202560 620082 0 0 0 117677 296 0 0 25 0 4 0 634215741 6696669184 1319738 33554432000 4194304 4580107 140735086280640 18446744073709551615 4293292 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20459/tid=20462] ppid=20457 vsize=6539716 CPUtime=1181.13 cores=0,2,4,6
/proc/20459/task/20462/stat : 20462 (strangenight2-m) R 20457 20459 19869 0 -1 4202560 753123 0 0 0 117917 196 0 0 25 0 4 0 634215741 6696669184 1319738 33554432000 4194304 4580107 140735086280640 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4710.78
Current children cumulated vsize (KiB) 6539716



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1204.7 s]
/proc/loadavg: 4.04 4.66 5.76 5/277 20516
/proc/meminfo: memFree=19380884/32951124 swapFree=67057896/67111528
[pid=20459] ppid=20457 vsize=6573204 CPUtime=4800.2 cores=0,2,4,6
/proc/20459/stat : 20459 (strangenight2-m) R 20457 20459 19869 0 -1 4202496 2816205 0 0 0 478896 1124 0 0 25 0 4 0 634215741 6730960896 1369333 33554432000 4194304 4580107 140735086280640 18446744073709551615 4427964 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/20459/statm: 1643301 1369333 380 95 0 1638283 0
[pid=20459/tid=20460] ppid=20457 vsize=6573204 CPUtime=1192.66 cores=0,2,4,6
/proc/20459/task/20460/stat : 20460 (strangenight2-m) R 20457 20459 19869 0 -1 4202560 692012 0 0 0 118954 312 0 0 25 0 4 0 634215741 6730960896 1369334 33554432000 4194304 4580107 140735086280640 18446744073709551615 4293192 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20459/tid=20461] ppid=20457 vsize=6573204 CPUtime=1202.14 cores=0,2,4,6
/proc/20459/task/20461/stat : 20461 (strangenight2-m) R 20457 20459 19869 0 -1 4202560 629969 0 0 0 119915 299 0 0 25 0 4 0 634215741 6730960896 1369334 33554432000 4194304 4580107 140735086280640 18446744073709551615 4294821 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20459/tid=20462] ppid=20457 vsize=6573204 CPUtime=1203.54 cores=0,2,4,6
/proc/20459/task/20462/stat : 20462 (strangenight2-m) R 20457 20459 19869 0 -1 4202560 763158 0 0 0 120156 198 0 0 25 0 4 0 634215741 6730960896 1369334 33554432000 4194304 4580107 140735086280640 18446744073709551615 4292997 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.2
Current children cumulated vsize (KiB) 6573204

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

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

[startup+1204.82 s]
/proc/loadavg: 4.04 4.66 5.76 5/277 20516
/proc/meminfo: memFree=19380884/32951124 swapFree=67057896/67111528
[pid=20459] ppid=20457 vsize=0 CPUtime=4800.34 cores=0,2,4,6
/proc/20459/stat : 20459 (strangenight2-m) Z 20457 20459 19869 0 -1 4203548 2816208 0 0 0 478900 1134 0 0 25 0 2 0 634215741 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/20459/statm: 0 0 0 0 0 0 0
[pid=20459/tid=20460] ppid=20457 vsize=0 CPUtime=1192.76 cores=0,2,4,6
/proc/20459/task/20460/stat : 20460 (strangenight2-m) R 20457 20459 19869 0 -1 4203588 692013 0 0 0 118954 322 0 0 25 0 2 0 634215741 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4800.34
Current children cumulated vsize (KiB) 0

[startup+1204.9 s]
/proc/loadavg: 4.04 4.66 5.76 5/277 20516
/proc/meminfo: memFree=19380884/32951124 swapFree=67057896/67111528
[pid=20459] ppid=20457 vsize=0 CPUtime=4800.42 cores=0,2,4,6
/proc/20459/stat : 20459 (strangenight2-m) Z 20457 20459 19869 0 -1 4203548 2816208 0 0 0 478900 1142 0 0 25 0 2 0 634215741 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/20459/statm: 0 0 0 0 0 0 0
[pid=20459/tid=20460] ppid=20457 vsize=0 CPUtime=1192.85 cores=0,2,4,6
/proc/20459/task/20460/stat : 20460 (strangenight2-m) R 20457 20459 19869 0 -1 4203588 692013 0 0 0 118954 331 0 0 25 0 2 0 634215741 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4800.42
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1204.94
CPU time (s): 4800.47
CPU user time (s): 4789
CPU system time (s): 11.4693
CPU usage (%): 398.398
Max. virtual memory (cumulated for all children) (KiB): 6744252

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4789
system time used= 11.4693
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2816208
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= 95890
involuntary context switches= 18502

runsolver used 3.2825 second user time and 6.85996 second system time

The end

Launcher Data 

Begin job on node140 at 2011-05-15 02:06:44
IDJOB=3367087
IDBENCH=88163
IDSOLVER=1844
FILE ID=node140/3367087-1305418003
RUNJOBID= node140-1305414794-19887
PBS_JOBID= 13324552
Free space on /tmp= 73400 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT-Race-2010-CNF/hardware-verification/velev/11pipe_11_ooo.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3367087-1305418003/watcher-3367087-1305418003 -o /tmp/evaluation-result-3367087-1305418003/solver-3367087-1305418003 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3367087-1305418003.cnf

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

MD5SUM BENCH= f603f11fbfe855df381282b7bce010ea
RANDOM SEED=1320862481

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.833
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.833
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:      24783028 kB
Buffers:        303320 kB
Cached:        3940572 kB
SwapCached:       8056 kB
Active:        5049652 kB
Inactive:      2804060 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      24783028 kB
SwapTotal:    67111528 kB
SwapFree:     67057896 kB
Dirty:           86652 kB
Writeback:           0 kB
AnonPages:     3606676 kB
Mapped:          23624 kB
Slab:           227492 kB
PageTables:      22548 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 45875212 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= 73400 MiB
End job on node140 at 2011-05-15 02:26:51