Trace number 3280596

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? (TO) 4800.16 1201.82

General information on the benchmark

Nameindustrial/palacios/hard/
sortnet-7-ipc5-h15-unsat.cnf
MD5SUM0683489092a5eb0c881dd17c2c45d08e
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 variables105623
Number of clauses374254
Sum of the clauses size911890
Maximum clause length43
Minimum clause length1
Number of clauses of size 1128
Number of clauses of size 2269133
Number of clauses of size 399944
Number of clauses of size 4407
Number of clauses of size 5309
Number of clauses of size over 54333

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.00	c Using 4 threads
0.00/0.00	c This is CryptoMiniSat 2.9.0
0.00/0.00	c compiled with gcc version 4.4.5
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3280596-1304029976.cnf'
0.00/0.00	c -- header says num vars:         106701
0.00/0.00	c -- header says num clauses:      374254
0.67/0.75	c -- clauses added:            0 learnts,       374254 normals,            0 xors
0.67/0.75	c -- vars added     106701
0.67/0.75	c Parsing time:  0.60 s
0.67/0.75	c  N st     0         0    106701    104865    269005         0    911122         0   no data   no data  --
0.67/0.75	c asymm  cl-useful: 0/266/104865 lits-rem:0 time: 2.02
52.15/13.18	c Flit:    84 Blit:      0 bXBeca:    0 bXProp: 8528 Bins:      0 BRemL:      0 BRemN:      0 P: 200.0M T: 49.58
52.55/13.27	c Replacing     8528 vars Replaced   418509 lits Time:     0.31 s 
52.95/13.34	c bin-w-bin subsume rem        25902 bins  time:  0.15 s
53.34/13.43	c subs with bin:       11  lits-rem:     30320  v-fix:    0  time:  0.35 s
74.51/18.78	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  91561 time: 21.37 s
75.73/19.10	c Removed useless bin:    2992  fixed:     0  props:  20.00M  time:  1.26 s
78.09/19.64	c lits-rem:       196  cl-subs:     9449  v-elim:  32653  v-fix:    0  time:  2.09 s
78.09/19.66	c Finding binary XORs  T:     0.09 s  found:     140
78.09/19.69	c Replacing      140 vars Replaced     1604 lits Time:     0.08 s 
78.48/19.78	c Finding non-binary XORs:     0.27 s (found:       0, avg size: nan)
78.48/19.78	c Calc default polars -  time:   0.05 s pos:   22380 undec:   41596 neg:   42725
78.48/19.78	c =========================================================================================
78.48/19.78	c types(t): F = full restart, N = normal restart
78.48/19.78	c types(t): S = simplification begin/end, E = solution found
78.48/19.78	c restart types(rt): st = static, dy = dynamic
78.48/19.78	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
78.48/19.78	c  B st     0         0     65168     99271    160333         0    688332         0   no data   no data  --
88.48/22.26	c  N dy    15      4228     65168     99271    160602      3892    688331    105228      6.60      7.01  --
97.27/24.47	c  N dy    36      8234     65148     99271    161402      7614    688330    196650      6.71      8.76  --
108.44/27.26	c  N dy    62     12341     65147     99271    161569     11483    688330    280846      6.96      7.38  --
119.65/30.04	c  N dy    82     16409     65145     99271    162346     15336    688330    375934      7.07     10.83  --
128.43/32.21	c Finding binary XORs  T:     0.09 s  found:     586
131.21/32.95	c  N dy   100     20655     65144     98464    163359     10031    685407    132026      6.96      7.74  --
143.20/35.97	c  F st   128     25001     65143     98464    163789     14147    685407    219782      7.19      6.40  --
143.60/36.01	c Replacing      586 vars Replaced     5673 lits Time:     0.10 s 
148.39/37.24	c  N st   128     25001     64557     98383    162142     14138    682798    218767      7.19      6.40  --
163.58/41.10	c  N dy   134     30000     64557     98383    162232     18980    682798    407131      7.19   no data  --
163.58/41.10	c  S st   134     30000     64557     98383    162232     18980    682798    407131      7.19   no data  --
166.35/41.74	c  S st   134     30500     64557     98383    162464     19248    682798    410516      7.19   no data  --
166.35/41.76	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
241.84/60.63	c Flit:     1 Blit:      0 bXBeca:    0 bXProp: 11475 Bins: 202959 BRemL:   1613 BRemN:    572 P: 200.0M T: 75.04
242.24/60.73	c Replacing    11475 vars Replaced   318097 lits Time:     0.37 s 
242.65/60.85	c bin-w-bin subsume rem        19005 bins  time:  0.21 s
244.23/61.23	c subs with bin:     9838  lits-rem:     73818  v-fix:    0  time:  1.53 s
250.22/62.72	c Subs w/ non-existent bins:    327 l-rem:   3254 v-fix:     0 done:  16319 time:  5.90 s
251.02/62.98	c Removed useless bin:   13546  fixed:     0  props:  20.00M  time:  1.00 s
256.61/64.36	c lits-rem:     11176  cl-subs:    26821  v-elim:  31268  v-fix:    0  time:  5.45 s
258.61/64.84	c asymm  cl-useful: 1160/3916/88667 lits-rem:5805 time: 1.88
259.00/64.92	c calculated reachability. Time: 0.29
259.00/64.92	c  N dy   134     30500     21813     88201    163123      3811    436924    215488      7.19   no data  --
260.22/65.29	c Finding binary XORs  T:     1.44 s  found:     137
269.00/67.42	c  N dy   142     35101     21813     88201    163877      8213    436924    294956      6.95      7.36  --
277.38/69.50	c Finding binary XORs  T:     0.58 s  found:       1
277.80/69.65	c  N dy   153     39120     21813     88201    196151     12107    436924    437491      6.83      7.74  --
286.98/71.93	c  N dy   165     43285     21813     88201    196218     16144    436924    509109      6.76      7.19  --
292.55/73.33	c  S st   176     45752     21813     88201    196249     18549    436924    557617      6.74      6.04  --
293.75/73.66	c  S st   176     46253     21813     88201    196281     19014    436924    565350      6.74   no data  --
293.75/73.68	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
293.75/73.69	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.03
319.72/80.16	c Flit:     2 Blit:      0 bXBeca:    0 bXProp:  108 Bins:  22710 BRemL:  15646 BRemN:   1601 P: 79.1M T: 25.73
320.12/80.21	c Replacing      246 vars Replaced    17156 lits Time:     0.17 s 
320.52/80.30	c bin-w-bin subsume rem        30407 bins  time:  0.16 s
320.92/80.48	c subs with bin:     5528  lits-rem:      6036  v-fix:    0  time:  0.73 s
321.73/80.68	c Subs w/ non-existent bins:    745 l-rem:   3704 v-fix:     0 done:   5630 time:  0.77 s
322.13/80.79	c Removed useless bin:   12502  fixed:     0  props:   8.19M  time:  0.42 s
327.30/82.09	c lits-rem:      2456  cl-subs:    14419  v-elim:   5272  v-fix:    0  time:  5.17 s
328.11/82.28	c vivif2 --  cl tried    85801 cl shrink     5470 lits rem       8191 time: 0.75
328.51/82.32	c vivif2 --  cl tried    10338 cl shrink     1825 lits rem       3670 time: 0.18
330.10/82.77	c asymm  cl-useful: 4/3426/83427 lits-rem:7 time: 1.79
330.52/82.81	c calculated reachability. Time: 0.14
330.52/82.82	c  N dy   176     46253     16293     83427    123341     10269    389491    255608      6.74   no data  --
331.30/83.02	c Finding binary XORs  T:     0.81 s  found:      68
338.88/84.94	c  N dy   197     50451     16293     83427    123416     14344    389491    334011      6.70      7.15  --
343.27/86.02	c Finding binary XORs  T:     0.54 s  found:       0
347.28/87.05	c  N dy   212     54613     16293     83427    133342     18443    389491    434554      6.64      7.08  --
354.86/88.91	c  N dy   230     58635     16293     83427    137229     22374    389491    510052      6.63      7.70  --
363.25/91.00	c  N dy   242     62723     16293     83427    137276     26403    389491    592841      6.58      7.51  --
368.84/92.45	c Finding binary XORs  T:     0.54 s  found:       0
370.83/92.97	c  N dy   258     66860     16293     83427    137308     16110    389491    312705      6.55      6.91  --
375.63/94.15	c  S st   263     69379     16293     83427    189928     18597    389491    467387      6.53   no data  --
376.02/94.28	c Finding binary XORs  T:     0.54 s  found:       3
377.22/94.52	c  S st   263     69884     16293     83427    189945     19080    389491    473283      6.53   no data  --
377.22/94.54	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
377.22/94.55	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.04
403.58/101.18	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    4 Bins:  52499 BRemL:  41536 BRemN:   1239 P: 57.7M T: 26.45
403.98/101.21	c Replacing       75 vars Replaced     4457 lits Time:     0.09 s 
403.98/101.29	c bin-w-bin subsume rem        34775 bins  time:  0.16 s
404.38/101.39	c subs with bin:     3568  lits-rem:       500  v-fix:    0  time:  0.40 s
405.20/101.53	c Subs w/ non-existent bins:   1426 l-rem:   1656 v-fix:     0 done:   5286 time:  0.58 s
405.20/101.58	c Removed useless bin:    1472  fixed:     0  props:   3.16M  time:  0.18 s
407.97/102.29	c lits-rem:       712  cl-subs:     2551  v-elim:    445  v-fix:    0  time:  2.85 s
408.78/102.43	c vivif2 --  cl tried    79221 cl shrink      217 lits rem        335 time: 0.54
408.78/102.48	c vivif2 --  cl tried    17176 cl shrink     1100 lits rem       2403 time: 0.23
410.78/102.91	c asymm  cl-useful: 25/7072/79175 lits-rem:35 time: 1.71
410.78/102.95	c calculated reachability. Time: 0.12
410.78/102.95	c  N dy   263     69884     15773     79172    151227     17160    369967    369548      6.53   no data  --
411.57/103.10	c Finding binary XORs  T:     0.60 s  found:       3
419.16/105.07	c  N dy   284     74345     15773     79172    151260     21549    369967    446565      6.52      6.98  --
428.35/107.36	c  N dy   310     79239     15773     79172    153549     26380    369967    535094      6.51      6.90  --
438.33/109.89	c  N dy   341     84407     15773     79172    154960     31480    369967    630584      6.51      6.86  --
441.13/110.50	c Finding binary XORs  T:     0.53 s  found:       1
445.52/111.61	c  F st   353     87500     15773     79172    154993     34549    369967    691977      6.50   no data  --
445.52/111.64	c Replacing        4 vars Replaced      220 lits Time:     0.09 s 
451.92/113.23	c  N st   358     90797     15769     79170    155000     19820    369961    372701      6.50   no data  --
463.10/116.03	c  N dy   389     96667     15769     79170    155027     25618    369961    495949      6.52      7.53  --
475.09/119.01	c  N dy   432    102867     15769     79170    155042     31747    369961    606782      6.54      6.91  --
478.68/119.95	c  S st   442    104827     15769     79170    155044     33690    369961    641361      6.54   no data  --
479.90/120.27	c  S st   442    105331     15769     79170    155052     34184    369961    651897      6.54   no data  --
479.90/120.29	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
479.90/120.30	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.04
503.04/126.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:  30689 BRemL:  48074 BRemN:   1194 P: 52.6M T: 22.76
503.04/126.07	c bin-w-bin subsume rem         1168 bins  time:  0.09 s
503.44/126.20	c subs with bin:      205  lits-rem:       424  v-fix:    0  time:  0.50 s
504.24/126.36	c Subs w/ non-existent bins:    188 l-rem:   1632 v-fix:     0 done:   7718 time:  0.64 s
504.64/126.42	c Removed useless bin:    1371  fixed:     0  props:   4.35M  time:  0.25 s
511.83/128.21	c lits-rem:      1357  cl-subs:     3743  v-elim:    157  v-fix:    0  time:  7.16 s
512.23/128.34	c vivif2 --  cl tried    79143 cl shrink       61 lits rem        112 time: 0.52
512.63/128.46	c vivif2 --  cl tried    30514 cl shrink     4583 lits rem      13375 time: 0.46
514.23/128.87	c asymm  cl-useful: 30/8823/79137 lits-rem:38 time: 1.64
514.63/128.90	c calculated reachability. Time: 0.10
514.63/128.90	c  N dy   442    105331     15612     79134    125080     30508    364015    513805      6.54   no data  --
515.04/129.04	c Finding binary XORs  T:     0.53 s  found:       0
528.23/132.38	c  N dy   485    112317     15612     79134    126484     37434    364015    658820      6.56      6.91  --
541.81/135.71	c  N dy   543    119511     15612     79134    126486     24225    364014    364121      6.62      7.18  --
556.17/139.32	c  N dy   597    127215     15612     79134    126488     31865    364014    516201      6.65      7.39  --
564.96/141.56	c Finding binary XORs  T:     0.50 s  found:       5
573.74/143.79	c  N dy   655    135711     15612     79134    128172     40304    364014    684320      6.69      7.11  --
590.92/148.06	c  N dy   712    144449     15612     79134    128181     27865    364014    403497      6.73      7.16  --
608.89/152.51	c  N dy   776    153835     15612     79134    128185     37191    364014    581918      6.76      7.12  --
616.51/154.46	c  S st   807    157996     15612     79134    128192     41330    364014    663131      6.78   no data  --
617.69/154.71	c  S st   807    158500     15612     79134    128193     41831    364014    673222      6.78   no data  --
617.69/154.73	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
617.69/154.74	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.04
639.26/160.17	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    6 Bins:  10890 BRemL:  18500 BRemN:    460 P: 67.8M T: 21.67
639.26/160.19	c Replacing       11 vars Replaced     2016 lits Time:     0.08 s 
639.66/160.26	c bin-w-bin subsume rem         1018 bins  time:  0.08 s
640.06/160.35	c subs with bin:       74  lits-rem:       187  v-fix:    0  time:  0.37 s
640.45/160.45	c Subs w/ non-existent bins:     72 l-rem:   3067 v-fix:     0 done:   4004 time:  0.39 s
640.85/160.51	c Removed useless bin:     236  fixed:     0  props:   4.86M  time:  0.25 s
648.84/162.56	c lits-rem:      2167  cl-subs:     1443  v-elim:     37  v-fix:    0  time:  8.17 s
649.24/162.69	c vivif2 --  cl tried    79060 cl shrink       24 lits rem         50 time: 0.51
650.04/162.84	c vivif2 --  cl tried    40408 cl shrink     6737 lits rem      24704 time: 0.60
651.66/163.25	c asymm  cl-useful: 32/2138/79055 lits-rem:96 time: 1.64
651.66/163.28	c calculated reachability. Time: 0.10
651.66/163.28	c  N dy   807    158500     15564     79023    116136     40404    362091    602820      6.78   no data  --
652.44/163.41	c Finding binary XORs  T:     0.50 s  found:       0
671.21/168.15	c  N dy   867    168674     15564     79023    116614     28583    362091    358675      6.81      7.17  --
690.39/173.00	c  N dy   937    179533     15564     79023    116615     39365    362091    573385      6.82      8.17  --
713.95/178.86	c  N dy  1018    191006     15564     79023    116616     50779    362091    815953      6.87      7.24  --
736.72/184.53	c  N dy  1104    203352     15564     79023    116903     40788    362091    560126      6.90      7.27  --
738.32/184.98	c Finding binary XORs  T:     0.50 s  found:       3
762.28/190.97	c  N dy  1192    216459     15564     79023    117998     53808    362091    836791      6.93      7.32  --
787.48/197.28	c  N dy  1283    230340     15564     79023    118002     44087    362091    573214      6.95      7.98  --
797.44/199.75	c Finding binary XORs  T:     0.50 s  found:       1
802.24/200.99	c  S st  1335    237750     15564     79023    119254     51453    362091    734549      6.97      5.63  --
803.44/201.28	c  S st  1335    238251     15564     79023    119255     51949    362091    746848      6.97   no data  --
803.84/201.30	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
803.84/201.31	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.04
819.81/205.36	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:    509 BRemL:   3196 BRemN:     79 P: 62.1M T: 16.15
819.81/205.38	c Replacing        4 vars Replaced      376 lits Time:     0.09 s 
820.21/205.45	c bin-w-bin subsume rem         1239 bins  time:  0.08 s
820.61/205.55	c subs with bin:       58  lits-rem:        70  v-fix:    0  time:  0.40 s
821.01/205.61	c Subs w/ non-existent bins:     56 l-rem:   3116 v-fix:     0 done:   1500 time:  0.25 s
821.01/205.68	c Removed useless bin:      16  fixed:     0  props:   4.92M  time:  0.26 s
834.59/209.04	c lits-rem:      2833  cl-subs:     1144  v-elim:     10  v-fix:    0  time: 13.42 s
834.99/209.17	c vivif2 --  cl tried    78917 cl shrink        9 lits rem          9 time: 0.52
835.81/209.35	c vivif2 --  cl tried    50828 cl shrink     7352 lits rem      30655 time: 0.70
837.38/209.77	c asymm  cl-useful: 18/2296/78917 lits-rem:54 time: 1.71
837.78/209.81	c calculated reachability. Time: 0.10
837.78/209.81	c  N dy  1335    238251     15550     78899    114479     50826    361449    687392      6.97   no data  --
867.34/217.28	c  N dy  1433    253517     15550     78899    114531     40789    361449    473682      7.00     11.79  --
899.70/225.31	c  N dy  1553    269709     15550     78899    114535     56914    361449    825028      7.04      7.47  --
933.25/233.70	c  N dy  1672    286931     15550     78899    114537     48185    361449    577249      7.07      8.60  --
970.00/242.93	c  N dy  1802    305296     15550     78899    114538     66449    361449    965722      7.12      9.84  --
971.60/243.36	c  F st  1808    306250     15550     78899    114538     67395    361449    985119      7.12   no data  --
1007.57/252.33	c  N dy  1902    324849     15550     78899    114540     59106    361449    790142      7.14      9.49  --
1048.69/262.64	c  N dy  2043    345081     15550     78899    114543     51495    361449    563333      7.18      7.59  --
1073.48/268.81	c  S st  2117    357377     15550     78899    114546     63724    361449    831360      7.20   no data  --
1074.66/269.18	c  S st  2117    357883     15550     78899    114546     64230    361449    844716      7.20   no data  --
1075.06/269.20	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
1075.06/269.21	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.04
1090.23/273.03	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     31 BRemL:     86 BRemN:     22 P: 62.7M T: 15.24
1090.65/273.10	c bin-w-bin subsume rem            2 bins  time:  0.07 s
1091.05/273.21	c subs with bin:       27  lits-rem:        22  v-fix:    0  time:  0.44 s
1091.05/273.29	c Subs w/ non-existent bins:     33 l-rem:   2932 v-fix:     0 done:   2150 time:  0.33 s
1091.43/273.36	c Removed useless bin:      10  fixed:     0  props:   4.96M  time:  0.27 s
1105.82/276.96	c lits-rem:      3037  cl-subs:     1171  v-elim:      2  v-fix:    0  time: 14.39 s
1106.22/277.09	c vivif2 --  cl tried    78850 cl shrink        2 lits rem          2 time: 0.51
1107.41/277.30	c vivif2 --  cl tried    63056 cl shrink     7962 lits rem      33293 time: 0.84
1109.01/277.73	c asymm  cl-useful: 10/1866/78850 lits-rem:30 time: 1.70
1109.01/277.76	c calculated reachability. Time: 0.10
1109.01/277.76	c  N dy  2117    357883     15548     78840    114339     63055    361241    793460      7.20   no data  --
1151.37/288.33	c  N dy  2256    378109     15548     78840    114346     53869    361241    577122      7.24      7.70  --
1192.13/298.55	c  N dy  2395    398170     15548     78840    114347     73823    361241   1009591      7.28      8.57  --
1201.31/300.80	c Finding binary XORs  T:     0.51 s  found:       0
1234.86/309.24	c  N dy  2536    418291     15548     78840    116153     63988    361241    764112      7.31      7.73  --
1248.05/312.55	c Finding binary XORs  T:     0.49 s  found:       0
1279.62/320.46	c  N dy  2679    438747     15548     78840    116384     53551    361241    485427      7.35      7.92  --
1321.55/330.98	c  N dy  2811    458795     15548     78840    116387     73500    361241    921488      7.37      8.29  --
1364.68/341.75	c  N dy  2955    479182     15548     78840    116387     61792    361241    626046      7.40      7.79  --
1407.46/352.45	c  N dy  3087    499249     15548     78840    116389     81756    361241   1068997      7.42      9.35  --
1450.17/363.14	c  N dy  3224    519331     15548     78840    116389     68975    361241    725331      7.44      7.88  --
1486.92/372.39	c  S st  3342    536824     15548     78840    116390     86358    361241   1106954      7.46      6.66  --
1488.52/372.76	c  S st  3342    537324     15548     78840    116390     86857    361241   1118716      7.46   no data  --
1488.52/372.78	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
1488.52/372.79	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.04
1504.89/376.81	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    4 Bins:     89 BRemL:   2943 BRemN:      9 P: 65.6M T: 16.08
1504.89/376.84	c Replacing        4 vars Replaced      148 lits Time:     0.10 s 
1505.29/376.93	c bin-w-bin subsume rem          948 bins  time:  0.08 s
1505.69/377.04	c subs with bin:       20  lits-rem:         7  v-fix:    0  time:  0.47 s
1506.09/377.18	c Subs w/ non-existent bins:     13 l-rem:   2059 v-fix:     0 done:   6543 time:  0.55 s
1506.49/377.25	c Removed useless bin:      14  fixed:     0  props:   5.00M  time:  0.27 s
1516.48/379.74	c lits-rem:      2164  cl-subs:     1220  v-elim:      2  v-fix:    0  time:  9.93 s
1516.90/379.86	c vivif2 --  cl tried    78813 cl shrink        1 lits rem          1 time: 0.51
1518.09/380.15	c vivif2 --  cl tried    85636 cl shrink    12485 lits rem      45210 time: 1.14
1519.69/380.57	c asymm  cl-useful: 14/1667/78813 lits-rem:42 time: 1.70
1520.08/380.61	c calculated reachability. Time: 0.10
1520.08/380.61	c  N dy  3342    537324     15542     78799    112565     85636    361074   1048911      7.46   no data  --
1564.82/391.82	c  N dy  3482    557353     15542     78799    112575     70957    361074    739143      7.49     11.17  --
1607.96/402.69	c  N dy  3618    577494     15542     78799    112576     90971    361074   1179831      7.51      7.94  --
1651.10/413.43	c  N dy  3755    597573     15542     78799    112577     75988    361074    811918      7.53      9.52  --
1693.84/424.17	c  N dy  3885    617661     15542     78799    112577     95990    361074   1253636      7.54     11.59  --
1738.18/435.20	c  N dy  4020    638310     15542     78799    112581     80628    361074    855260      7.56      7.98  --
1784.51/446.81	c  N dy  4170    658369     15542     78799    112582    100593    361074   1311441      7.58     10.01  --
1828.45/457.84	c  N dy  4313    678559     15542     78799    112583     83664    361074    894337      7.60      8.01  --
1873.99/469.25	c  N dy  4430    698625     15542     78799    112585    103646    361074   1352037      7.61      8.99  --
1919.13/480.58	c  N dy  4553    718792     15542     78799    112585     85857    361074    883142      7.63      8.10  --
1965.48/492.13	c  N dy  4687    738870     15542     78799    112625    105826    361074   1341900      7.65      8.29  --
2013.00/504.01	c  N dy  4825    758903     15542     78799    112625     86878    361074    879185      7.66      8.17  --
2060.15/515.80	c  N dy  4960    778960     15542     78799    112626    106843    361074   1344696      7.68     11.14  --
2105.28/527.11	c  N dy  5080    799004     15542     78799    112626     87166    361074    836191      7.69      9.06  --
2120.05/530.87	c  S st  5117    805986     15542     78799    112626     94104    361074   1000600      7.69   no data  --
2121.65/531.27	c  S st  5117    806488     15542     78799    112626     94606    361074   1012816      7.69   no data  --
2121.65/531.29	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.09
2122.05/531.30	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.04
2138.03/535.31	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     53 BRemL:    629 BRemN:     24 P: 67.9M T: 15.99
2138.03/535.39	c bin-w-bin subsume rem            5 bins  time:  0.08 s
2138.83/535.50	c subs with bin:       27  lits-rem:         9  v-fix:    0  time:  0.43 s
2138.83/535.57	c Subs w/ non-existent bins:     30 l-rem:   2664 v-fix:     0 done:   1706 time:  0.28 s
2139.23/535.64	c Removed useless bin:       7  fixed:     0  props:   5.02M  time:  0.27 s
2148.82/538.08	c lits-rem:      1741  cl-subs:     1517  v-elim:      1  v-fix:    0  time:  9.74 s
2149.64/538.21	c vivif2 --  cl tried    78755 cl shrink        1 lits rem          1 time: 0.52
2150.42/538.47	c vivif2 --  cl tried    93079 cl shrink     7133 lits rem      29679 time: 1.04
2152.02/538.89	c asymm  cl-useful: 3/2012/78755 lits-rem:9 time: 1.68
2152.42/538.92	c calculated reachability. Time: 0.10
2152.42/538.92	c  N dy  5117    806488     15541     78752    112015     93079    360901    964564      7.69   no data  --
2195.15/549.64	c Finding binary XORs  T:     0.50 s  found:       0
2202.76/551.56	c  N dy  5266    826537     15541     78752    112764    113034    360901   1425842      7.71     10.85  --
2249.49/563.22	c  N dy  5398    846643     15541     78752    112765     91074    360901    897010      7.72      8.54  --
2298.62/575.53	c  N dy  5544    866765     15541     78752    113050    111100    360901   1363228      7.74      8.23  --
2345.74/587.35	c  N dy  5669    886850     15541     78752    113050     89240    360901    809812      7.75      9.34  --
2393.29/599.26	c  N dy  5812    906890     15541     78752    113050    109172    360901   1274255      7.77     11.20  --
2444.04/612.00	c  N dy  5952    927296     15541     78752    113050     86690    360901    704074      7.78      8.24  --
2489.16/623.22	c  N dy  6082    947376     15541     78752    113050    106673    360901   1175801      7.79      8.38  --
2539.49/635.81	c  N dy  6221    967468     15541     78752    113051    126669    360901   1637741      7.80      8.92  --
2588.62/648.11	c  N dy  6363    987557     15541     78752    113051    102818    360901   1023734      7.81     10.86  --
2637.78/660.49	c  N dy  6493   1008101     15541     78752    113052    123270    360901   1502414      7.82      8.25  --
2689.68/673.50	c  N dy  6622   1029332     15541     78752    113052     99478    360901    899351      7.83      8.37  --
2737.22/685.38	c  N dy  6746   1049444     15541     78752    113052    119501    360901   1361710      7.84      8.25  --
2788.75/698.26	c  N dy  6882   1069517     15541     78752    113052    139486    360901   1830701      7.85      8.33  --
2794.35/699.65	c  F st  6898   1071876     15541     78752    113052     95965    360901    779597      7.85   no data  --
2838.69/710.79	c  N dy  6996   1089569     15541     78752    113052    113551    360901   1214518      7.86      8.36  --
2890.21/723.64	c  N dy  7126   1109672     15541     78752    113052    133575    360901   1697459      7.87      8.32  --
2940.57/736.28	c  N dy  7247   1129746     15541     78752    113053    106618    360901   1009929      7.88      9.03  --
2990.88/748.80	c  N dy  7382   1149878     15541     78752    113053    126654    360901   1474152      7.89      8.32  --
3042.80/761.88	c  N dy  7517   1169950     15541     78752    113053    146625    360901   1944588      7.90      8.32  --
3093.14/774.47	c  N dy  7661   1190724     15541     78752    113053    119384    360901   1232142      7.92      8.62  --
3140.28/786.28	c  S st  7772   1209733     15541     78752    113055    138301    360901   1656272      7.92   no data  --
3142.27/786.72	c  S st  7772   1210236     15541     78752    113055    138804    360901   1667954      7.92   no data  --
3142.27/786.75	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.10
3142.27/786.76	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.04
3159.84/791.19	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     53 BRemL:    944 BRemN:      6 P: 73.3M T: 17.71
3160.66/791.32	c bin-w-bin subsume rem          388 bins  time:  0.08 s
3161.04/791.48	c subs with bin:        7  lits-rem:         7  v-fix:    0  time:  0.64 s
3161.44/791.54	c Subs w/ non-existent bins:     14 l-rem:   4546 v-fix:     0 done:    397 time:  0.25 s
3161.84/791.61	c Removed useless bin:       2  fixed:     0  props:   5.05M  time:  0.29 s
3185.01/797.46	c lits-rem:      1632  cl-subs:     1932  v-elim:      1  v-fix:    0  time: 23.33 s
3185.41/797.59	c vivif2 --  cl tried    78731 cl shrink        2 lits rem          2 time: 0.52
3187.40/798.06	c vivif2 --  cl tried   136874 cl shrink    17836 lits rem      65824 time: 1.86
3189.00/798.46	c asymm  cl-useful: 12/1000/78731 lits-rem:36 time: 1.62
3189.40/798.50	c calculated reachability. Time: 0.10
3189.40/798.50	c  N dy  7772   1210236     15540     78719    111605    136874    360814   1574340      7.92   no data  --
3243.33/812.01	c  N dy  7918   1230319     15540     78719    111626    106552    360814    910923      7.93      9.71  --
3289.26/823.58	c  N dy  8054   1250383     15540     78719    111626    126505    360814   1367371      7.94     10.32  --
3341.60/836.68	c  N dy  8185   1270386     15540     78719    111626    146418    360814   1835034      7.95     10.14  --
3392.73/849.50	c  N dy  8327   1290484     15540     78719    111627    116648    360814   1101235      7.96      9.80  --
3443.86/862.28	c  N dy  8454   1310575     15540     78719    111627    136632    360814   1561931      7.97     10.01  --
3499.78/876.27	c  N dy  8612   1330596     15540     78719    111987    156546    360814   2049575      7.98      9.62  --
3552.12/889.34	c  N dy  8747   1350607     15540     78719    111987    125689    360814   1269856      7.99     11.44  --
3553.72/889.72	c Finding binary XORs  T:     0.50 s  found:       0
3607.23/903.12	c  N dy  8885   1370708     15540     78719    112078    145710    360814   1764055      8.01      8.50  --
3662.76/917.03	c  N dy  9030   1390927     15540     78719    112078    113956    360814    941517      8.02      8.53  --
3715.49/930.23	c  N dy  9166   1411135     15540     78719    112078    134070    360814   1418723      8.03      8.48  --
3769.42/943.74	c  N dy  9295   1431210     15540     78719    112078    154066    360814   1911384      8.03      8.97  --
3826.54/958.08	c  N dy  9446   1451328     15540     78719    112078    121184    360814   1071644      8.05      8.52  --
3878.87/971.12	c  N dy  9578   1471363     15540     78719    112078    141150    360814   1550092      8.05      8.54  --
3935.19/985.22	c  N dy  9704   1491427     15540     78719    112078    161118    360814   2045230      8.06     11.47  --
3988.31/998.55	c  N dy  9831   1511521     15540     78719    112078    127336    360814   1165038      8.07      8.54  --
4043.05/1012.26	c  N dy  9971   1531598     15540     78719    112078    147332    360814   1649032      8.08     11.82  --
4098.17/1026.01	c  N dy 10080   1551671     15540     78719    112078    167317    360814   2123284      8.08      8.55  --
4152.50/1039.64	c  N dy 10189   1571951     15540     78719    112078    132899    360814   1263100      8.09      8.54  --
4204.82/1052.73	c  N dy 10304   1591990     15540     78719    112078    152836    360814   1735038      8.09      8.91  --
4261.55/1066.94	c  N dy 10437   1612042     15540     78719    112078    172769    360814   2196156      8.10      9.27  --
4314.28/1080.14	c  N dy 10548   1632052     15540     78719    112078    136868    360814   1306804      8.10     10.47  --
4367.00/1093.31	c  N dy 10675   1652132     15540     78719    112078    156831    360814   1764494      8.11      8.60  --
4423.72/1107.56	c  N dy 10805   1672232     15540     78719    112078    176839    360814   2242541      8.11      8.92  --
4478.86/1121.30	c  N dy 10942   1692313     15540     78719    112079    140121    360814   1332812      8.12      8.96  --
4526.80/1133.37	c  S st 11052   1710237     15540     78719    112079    157968    360814   1752487      8.13      7.88  --
4528.78/1133.82	c  S st 11052   1710738     15540     78719    112079    158469    360814   1766811      8.13   no data  --
4528.78/1133.85	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.11
4528.78/1133.86	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.04
4547.55/1138.51	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    4 Bins:     45 BRemL:    339 BRemN:     20 P: 76.6M T: 18.56
4547.55/1138.55	c Replacing        4 vars Replaced     1098 lits Time:     0.13 s 
4547.96/1138.67	c bin-w-bin subsume rem          186 bins  time:  0.08 s
4548.77/1138.84	c subs with bin:       10  lits-rem:         4  v-fix:    0  time:  0.67 s
4549.55/1139.02	c Subs w/ non-existent bins:      6 l-rem:   2544 v-fix:     0 done:   6504 time:  0.71 s
4549.95/1139.10	c Removed useless bin:       0  fixed:     0  props:   5.08M  time:  0.30 s
4579.53/1146.58	c lits-rem:      1727  cl-subs:     2023  v-elim:      4  v-fix:    0  time: 29.89 s
4580.31/1146.71	c vivif2 --  cl tried    78712 cl shrink        6 lits rem          8 time: 0.52
4582.31/1147.22	c vivif2 --  cl tried   156451 cl shrink    16509 lits rem      67620 time: 2.02
4583.93/1147.66	c asymm  cl-useful: 3/1387/78712 lits-rem:9 time: 1.75
4583.93/1147.70	c calculated reachability. Time: 0.10
4583.93/1147.70	c  N dy 11052   1710738     15532     78709    111128    156451    360744   1673778      8.13   no data  --
4643.02/1162.42	c  N dy 11196   1730739     15532     78709    111147    176354    360744   2175472      8.14      8.58  --
4701.74/1177.12	c  N dy 11334   1750840     15532     78709    111147    137176    360744   1230174      8.14      8.69  --
4754.07/1190.27	c  N dy 11470   1770865     15532     78709    111147    157104    360744   1710616      8.15      8.76  --

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3280596-1304029976/watcher-3280596-1304029976 -o /tmp/evaluation-result-3280596-1304029976/solver-3280596-1304029976 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3280596-1304029976.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.80 7.89 6.01 6/180 17185
/proc/meminfo: memFree=25287064/32951124 swapFree=67051468/67111528
[pid=17185] ppid=17183 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/17185/stat : 17185 (strangenight1-m) R 17183 17185 16958 0 -1 4202496 413 0 0 0 0 0 0 0 25 0 4 0 514600407 52465664 352 33554432000 4194304 4650419 140734722182368 18446744073709551615 47980422592424 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17185/statm: 12809 352 303 112 0 7774 0
[pid=17185/tid=17186] ppid=17183 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/17185/task/17186/stat : 17186 (strangenight1-m) R 17183 17185 16958 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 514600407 52465664 352 33554432000 4194304 4650419 140734722182368 18446744073709551615 218371013617 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17185/tid=17187] ppid=17183 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/17185/task/17187/stat : 17187 (strangenight1-m) R 17183 17185 16958 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 514600407 52465664 352 33554432000 4194304 4650419 140734722182368 18446744073709551615 218371013617 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17185/tid=17188] ppid=17183 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/17185/task/17188/stat : 17188 (strangenight1-m) R 17183 17185 16958 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 514600407 52465664 352 33554432000 4194304 4650419 140734722182368 18446744073709551615 218365989096 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.0655859 s]
/proc/loadavg: 7.80 7.89 6.01 6/180 17185
/proc/meminfo: memFree=25287064/32951124 swapFree=67051468/67111528
[pid=17185] ppid=17183 vsize=304124 CPUtime=0.2 cores=0,2,4,6
/proc/17185/stat : 17185 (strangenight1-m) R 17183 17185 16958 0 -1 4202496 12823 0 0 0 15 5 0 0 18 0 4 0 514600407 311422976 10719 33554432000 4194304 4650419 140734722182368 18446744073709551615 218370624514 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17185/statm: 76031 10795 345 112 0 70996 0
[pid=17185/tid=17186] ppid=17183 vsize=304124 CPUtime=0.04 cores=0,2,4,6
/proc/17185/task/17186/stat : 17186 (strangenight1-m) R 17183 17185 16958 0 -1 4202560 3260 0 0 0 3 1 0 0 18 0 4 0 514600407 311422976 10874 33554432000 4194304 4650419 140734722182368 18446744073709551615 218371062254 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17185/tid=17187] ppid=17183 vsize=304124 CPUtime=0.04 cores=0,2,4,6
/proc/17185/task/17187/stat : 17187 (strangenight1-m) S 17183 17185 16958 0 -1 4202560 3049 0 0 0 3 1 0 0 18 0 4 0 514600407 311422976 10976 33554432000 4194304 4650419 140734722182368 18446744073709551615 218371062254 0 0 4096 2 18446604447712472064 0 0 -1 6 0 0 0
[pid=17185/tid=17188] ppid=17183 vsize=304124 CPUtime=0.05 cores=0,2,4,6
/proc/17185/task/17188/stat : 17188 (strangenight1-m) R 17183 17185 16958 0 -1 4202560 3210 0 0 0 4 1 0 0 18 0 4 0 514600407 311422976 11013 33554432000 4194304 4650419 140734722182368 18446744073709551615 218371062303 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 304124

[startup+0.104471 s]
/proc/loadavg: 7.80 7.89 6.01 6/180 17185
/proc/meminfo: memFree=25287064/32951124 swapFree=67051468/67111528
[pid=17185] ppid=17183 vsize=389172 CPUtime=0.33 cores=0,2,4,6
/proc/17185/stat : 17185 (strangenight1-m) S 17183 17185 16958 0 -1 4202496 21873 0 0 0 25 8 0 0 17 0 4 0 514600407 398512128 17660 33554432000 4194304 4650419 140734722182368 18446744073709551615 218371062254 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17185/statm: 97293 17660 345 112 0 92258 0
[pid=17185/tid=17186] ppid=17183 vsize=389172 CPUtime=0.07 cores=0,2,4,6
/proc/17185/task/17186/stat : 17186 (strangenight1-m) S 17183 17185 16958 0 -1 4202560 5654 0 0 0 5 2 0 0 17 0 4 0 514600407 398512128 17660 33554432000 4194304 4650419 140734722182368 18446744073709551615 218371062254 0 0 4096 2 18446604447712472064 0 0 -1 4 0 0 0
[pid=17185/tid=17187] ppid=17183 vsize=389172 CPUtime=0.08 cores=0,2,4,6
/proc/17185/task/17187/stat : 17187 (strangenight1-m) S 17183 17185 16958 0 -1 4202560 5075 0 0 0 6 2 0 0 17 0 4 0 514600407 398512128 17662 33554432000 4194304 4650419 140734722182368 18446744073709551615 218371062254 0 0 4096 2 18446604447712472064 0 0 -1 6 0 0 0
[pid=17185/tid=17188] ppid=17183 vsize=389172 CPUtime=0.08 cores=0,2,4,6
/proc/17185/task/17188/stat : 17188 (strangenight1-m) R 17183 17185 16958 0 -1 4202560 5156 0 0 0 6 2 0 0 17 0 4 0 514600407 398512128 17675 33554432000 4194304 4650419 140734722182368 18446744073709551615 218370654327 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.33
Current children cumulated vsize (KiB) 389172

[startup+0.760525 s]
/proc/loadavg: 7.80 7.89 6.01 6/180 17185
/proc/meminfo: memFree=25287064/32951124 swapFree=67051468/67111528
[pid=17185] ppid=17183 vsize=472524 CPUtime=2.85 cores=0,2,4,6
/proc/17185/stat : 17185 (strangenight1-m) D 17183 17185 16958 0 -1 4202496 53139 0 0 0 265 20 0 0 18 0 4 0 514600407 483864576 44506 33554432000 4194304 4650419 140734722182368 18446744073709551615 218370654842 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17185/statm: 118131 44506 370 112 0 113096 0
[pid=17185/tid=17186] ppid=17183 vsize=472524 CPUtime=0.71 cores=0,2,4,6
/proc/17185/task/17186/stat : 17186 (strangenight1-m) D 17183 17185 16958 0 -1 4202560 14068 0 0 0 65 6 0 0 18 0 4 0 514600407 483864576 44506 33554432000 4194304 4650419 140734722182368 18446744073709551615 4516430 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17185/tid=17187] ppid=17183 vsize=472524 CPUtime=0.71 cores=0,2,4,6
/proc/17185/task/17187/stat : 17187 (strangenight1-m) R 17183 17185 16958 0 -1 4202560 12807 0 0 0 65 6 0 0 18 0 4 0 514600407 483864576 44506 33554432000 4194304 4650419 140734722182368 18446744073709551615 218371000410 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17185/tid=17188] ppid=17183 vsize=472524 CPUtime=0.71 cores=0,2,4,6
/proc/17185/task/17188/stat : 17188 (strangenight1-m) R 17183 17185 16958 0 -1 4202560 12720 0 0 0 68 3 0 0 18 0 4 0 514600407 483864576 44506 33554432000 4194304 4650419 140734722182368 18446744073709551615 4363335 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.85
Current children cumulated vsize (KiB) 472524

[startup+0.872335 s]
/proc/loadavg: 7.80 7.89 6.01 6/180 17185
/proc/meminfo: memFree=25287064/32951124 swapFree=67051468/67111528
[pid=17185] ppid=17183 vsize=461380 CPUtime=3.3 cores=0,2,4,6
/proc/17185/stat : 17185 (strangenight1-m) R 17183 17185 16958 0 -1 4202496 56505 0 0 0 309 21 0 0 18 0 4 0 514600407 472453120 45853 33554432000 4194304 4650419 140734722182368 18446744073709551615 4369052 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/17185/statm: 115345 45853 373 112 0 110310 0
[pid=17185/tid=17186] ppid=17183 vsize=461380 CPUtime=0.82 cores=0,2,4,6
/proc/17185/task/17186/stat : 17186 (strangenight1-m) R 17183 17185 16958 0 -1 4202560 15004 0 0 0 76 6 0 0 18 0 4 0 514600407 472453120 45853 33554432000 4194304 4650419 140734722182368 18446744073709551615 4369226 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17185/tid=17187] ppid=17183 vsize=461380 CPUtime=0.81 cores=0,2,4,6
/proc/17185/task/17187/stat : 17187 (strangenight1-m) R 17183 17185 16958 0 -1 4202560 14228 0 0 0 75 6 0 0 18 0 4 0 514600407 472453120 45853 33554432000 4194304 4650419 140734722182368 18446744073709551615 4370329 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17185/tid=17188] ppid=17183 vsize=461380 CPUtime=0.82 cores=0,2,4,6
/proc/17185/task/17188/stat : 17188 (strangenight1-m) R 17183 17185 16958 0 -1 4202560 12721 0 0 0 79 3 0 0 18 0 4 0 514600407 472453120 45853 33554432000 4194304 4650419 140734722182368 18446744073709551615 4368084 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.3
Current children cumulated vsize (KiB) 461380

[startup+1.50622 s]
/proc/loadavg: 7.80 7.89 6.01 9/184 17189
/proc/meminfo: memFree=25100164/32951124 swapFree=67051468/67111528
[pid=17185] ppid=17183 vsize=461380 CPUtime=5.83 cores=0,2,4,6
/proc/17185/stat : 17185 (strangenight1-m) R 17183 17185 16958 0 -1 4202496 56616 0 0 0 562 21 0 0 18 0 4 0 514600407 472453120 45964 33554432000 4194304 4650419 140734722182368 18446744073709551615 4371306 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/17185/statm: 115345 45964 373 112 0 110310 0
[pid=17185/tid=17186] ppid=17183 vsize=461380 CPUtime=1.45 cores=0,2,4,6
/proc/17185/task/17186/stat : 17186 (strangenight1-m) R 17183 17185 16958 0 -1 4202560 15014 0 0 0 139 6 0 0 18 0 4 0 514600407 472453120 45964 33554432000 4194304 4650419 140734722182368 18446744073709551615 4369378 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17185/tid=17187] ppid=17183 vsize=461380 CPUtime=1.44 cores=0,2,4,6
/proc/17185/task/17187/stat : 17187 (strangenight1-m) R 17183 17185 16958 0 -1 4202560 14233 0 0 0 138 6 0 0 19 0 4 0 514600407 472453120 45964 33554432000 4194304 4650419 140734722182368 18446744073709551615 4369240 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17185/tid=17188] ppid=17183 vsize=461380 CPUtime=1.46 cores=0,2,4,6
/proc/17185/task/17188/stat : 17188 (strangenight1-m) R 17183 17185 16958 0 -1 4202560 12808 0 0 0 142 4 0 0 19 0 4 0 514600407 472453120 45964 33554432000 4194304 4650419 140734722182368 18446744073709551615 4364503 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.83
Current children cumulated vsize (KiB) 461380

[startup+3.10094 s]
/proc/loadavg: 7.80 7.89 6.01 9/184 17189
/proc/meminfo: memFree=25097064/32951124 swapFree=67051468/67111528
[pid=17185] ppid=17183 vsize=461380 CPUtime=12.2 cores=0,2,4,6
/proc/17185/stat : 17185 (strangenight1-m) R 17183 17185 16958 0 -1 4202496 56782 0 0 0 1198 22 0 0 22 0 4 0 514600407 472453120 46130 33554432000 4194304 4650419 140734722182368 18446744073709551615 4243576 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/17185/statm: 115345 46130 373 112 0 110310 0
[pid=17185/tid=17186] ppid=17183 vsize=461380 CPUtime=3.04 cores=0,2,4,6
/proc/17185/task/17186/stat : 17186 (strangenight1-m) R 17183 17185 16958 0 -1 4202560 15028 0 0 0 298 6 0 0 22 0 4 0 514600407 472453120 46130 33554432000 4194304 4650419 140734722182368 18446744073709551615 4369376 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17185/tid=17187] ppid=17183 vsize=461380 CPUtime=3.03 cores=0,2,4,6
/proc/17185/task/17187/stat : 17187 (strangenight1-m) R 17183 17185 16958 0 -1 4202560 14247 0 0 0 297 6 0 0 23 0 4 0 514600407 472453120 46130 33554432000 4194304 4650419 140734722182368 18446744073709551615 4369075 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17185/tid=17188] ppid=17183 vsize=461380 CPUtime=3.06 cores=0,2,4,6
/proc/17185/task/17188/stat : 17188 (strangenight1-m) R 17183 17185 16958 0 -1 4202560 12946 0 0 0 302 4 0 0 23 0 4 0 514600407 472453120 46130 33554432000 4194304 4650419 140734722182368 18446744073709551615 4367329 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.2
Current children cumulated vsize (KiB) 461380

[startup+6.30038 s]
/proc/loadavg: 7.82 7.89 6.02 9/184 17189
/proc/meminfo: memFree=25100780/32951124 swapFree=67051468/67111528
[pid=17185] ppid=17183 vsize=461380 CPUtime=24.98 cores=0,2,4,6
/proc/17185/stat : 17185 (strangenight1-m) R 17183 17185 16958 0 -1 4202496 58270 0 0 0 2476 22 0 0 25 0 4 0 514600407 472453120 47618 33554432000 4194304 4650419 140734722182368 18446744073709551615 4370329 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/17185/statm: 115345 47618 374 112 0 110310 0
[pid=17185/tid=17186] ppid=17183 vsize=461380 CPUtime=6.24 cores=0,2,4,6
/proc/17185/task/17186/stat : 17186 (strangenight1-m) R 17183 17185 16958 0 -1 4202560 15065 0 0 0 618 6 0 0 25 0 4 0 514600407 472453120 47618 33554432000 4194304 4650419 140734722182368 18446744073709551615 4369376 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17185/tid=17187] ppid=17183 vsize=461380 CPUtime=6.21 cores=0,2,4,6
/proc/17185/task/17187/stat : 17187 (strangenight1-m) R 17183 17185 16958 0 -1 4202560 14283 0 0 0 615 6 0 0 25 0 4 0 514600407 472453120 47618 33554432000 4194304 4650419 140734722182368 18446744073709551615 4369376 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17185/tid=17188] ppid=17183 vsize=461380 CPUtime=6.26 cores=0,2,4,6
/proc/17185/task/17188/stat : 17188 (strangenight1-m) R 17183 17185 16958 0 -1 4202560 14357 0 0 0 622 4 0 0 25 0 4 0 514600407 472453120 47618 33554432000 4194304 4650419 140734722182368 18446744073709551615 4363346 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 24.98
Current children cumulated vsize (KiB) 461380

[startup+12.7002 s]
/proc/loadavg: 7.83 7.90 6.03 9/184 17189
/proc/meminfo: memFree=25097292/32951124 swapFree=67051468/67111528
[pid=17185] ppid=17183 vsize=461380 CPUtime=50.55 cores=0,2,4,6
/proc/17185/stat : 17185 (strangenight1-m) R 17183 17185 16958 0 -1 4202496 58709 0 0 0 5033 22 0 0 25 0 4 0 514600407 472453120 48057 33554432000 4194304 4650419 140734722182368 18446744073709551615 4376473 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/17185/statm: 115345 48057 374 112 0 110310 0
[pid=17185/tid=17186] ppid=17183 vsize=461380 CPUtime=12.64 cores=0,2,4,6
/proc/17185/task/17186/stat : 17186 (strangenight1-m) R 17183 17185 16958 0 -1 4202560 15095 0 0 0 1258 6 0 0 25 0 4 0 514600407 472453120 48057 33554432000 4194304 4650419 140734722182368 18446744073709551615 4302842 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17185/tid=17187] ppid=17183 vsize=461380 CPUtime=12.58 cores=0,2,4,6
/proc/17185/task/17187/stat : 17187 (strangenight1-m) R 17183 17185 16958 0 -1 4202560 14309 0 0 0 1252 6 0 0 25 0 4 0 514600407 472453120 48057 33554432000 4194304 4650419 140734722182368 18446744073709551615 4369085 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17185/tid=17188] ppid=17183 vsize=461380 CPUtime=12.65 cores=0,2,4,6
/proc/17185/task/17188/stat : 17188 (strangenight1-m) R 17183 17185 16958 0 -1 4202560 14707 0 0 0 1261 4 0 0 25 0 4 0 514600407 472453120 48057 33554432000 4194304 4650419 140734722182368 18446744073709551615 4367329 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.55
Current children cumulated vsize (KiB) 461380

[startup+25.501 s]
/proc/loadavg: 7.87 7.90 6.06 9/184 17189
/proc/meminfo: memFree=24939692/32951124 swapFree=67051468/67111528
[pid=17185] ppid=17183 vsize=535660 CPUtime=101.66 cores=0,2,4,6
/proc/17185/stat : 17185 (strangenight1-m) R 17183 17185 16958 0 -1 4202496 107640 0 0 0 10132 34 0 0 25 0 4 0 514600407 548515840 83153 33554432000 4194304 4650419 140734722182368 18446744073709551615 4363420 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/17185/statm: 133915 83153 394 112 0 128880 0
[pid=17185/tid=17186] ppid=17183 vsize=535660 CPUtime=25.44 cores=0,2,4,6
/proc/17185/task/17186/stat : 17186 (strangenight1-m) R 17183 17185 16958 0 -1 4202560 26651 0 0 0 2535 9 0 0 25 0 4 0 514600407 548515840 83153 33554432000 4194304 4650419 140734722182368 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17185/tid=17187] ppid=17183 vsize=535660 CPUtime=25.3 cores=0,2,4,6
/proc/17185/task/17187/stat : 17187 (strangenight1-m) R 17183 17185 16958 0 -1 4202560 25877 0 0 0 2520 10 0 0 25 0 4 0 514600407 548515840 83153 33554432000 4194304 4650419 140734722182368 18446744073709551615 4368084 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17185/tid=17188] ppid=17183 vsize=535660 CPUtime=25.45 cores=0,2,4,6
/proc/17185/task/17188/stat : 17188 (strangenight1-m) R 17183 17185 16958 0 -1 4202560 26092 0 0 0 2540 5 0 0 25 0 4 0 514600407 548515840 83153 33554432000 4194304 4650419 140734722182368 18446744073709551615 4364883 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.66
Current children cumulated vsize (KiB) 535660

[startup+51.1004 s]
/proc/loadavg: 7.99 7.92 6.12 9/184 17190
/proc/meminfo: memFree=24836796/32951124 swapFree=67051468/67111528
[pid=17185] ppid=17183 vsize=551884 CPUtime=203.9 cores=0,2,4,6
/proc/17185/stat : 17185 (strangenight1-m) R 17183 17185 16958 0 -1 4202496 247468 0 0 0 20335 55 0 0 25 0 4 0 514600407 565129216 102176 33554432000 4194304 4650419 140734722182368 18446744073709551615 4369270 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/17185/statm: 137971 102176 395 112 0 132936 0
[pid=17185/tid=17186] ppid=17183 vsize=551884 CPUtime=51.03 cores=0,2,4,6
/proc/17185/task/17186/stat : 17186 (strangenight1-m) R 17183 17185 16958 0 -1 4202560 55500 0 0 0 5090 13 0 0 25 0 4 0 514600407 565129216 102176 33554432000 4194304 4650419 140734722182368 18446744073709551615 4236447 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17185/tid=17187] ppid=17183 vsize=551884 CPUtime=50.76 cores=0,2,4,6
/proc/17185/task/17187/stat : 17187 (strangenight1-m) R 17183 17185 16958 0 -1 4202560 76949 0 0 0 5058 18 0 0 25 0 4 0 514600407 565129216 102176 33554432000 4194304 4650419 140734722182368 18446744073709551615 4368121 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17185/tid=17188] ppid=17183 vsize=551884 CPUtime=51.05 cores=0,2,4,6
/proc/17185/task/17188/stat : 17188 (strangenight1-m) R 17183 17185 16958 0 -1 4202560 28290 0 0 0 5099 6 0 0 25 0 4 0 514600407 565129216 102176 33554432000 4194304 4650419 140734722182368 18446744073709551615 4364495 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 203.9
Current children cumulated vsize (KiB) 551884

[startup+102.3 s]
/proc/loadavg: 8.11 7.96 6.22 10/184 17221
/proc/meminfo: memFree=22979236/32951124 swapFree=67051468/67111528
[pid=17185] ppid=17183 vsize=2213956 CPUtime=408.38 cores=0,2,4,6
/proc/17185/stat : 17185 (strangenight1-m) R 17183 17185 16958 0 -1 4202496 647528 0 0 0 40692 146 0 0 25 0 4 0 514600407 2267090944 473796 33554432000 4194304 4650419 140734722182368 18446744073709551615 4533853 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/17185/statm: 553489 473796 395 112 0 548454 0
[pid=17185/tid=17186] ppid=17183 vsize=2213956 CPUtime=102.22 cores=0,2,4,6
/proc/17185/task/17186/stat : 17186 (strangenight1-m) R 17183 17185 16958 0 -1 4202560 139808 0 0 0 10187 35 0 0 25 0 4 0 514600407 2267090944 473796 33554432000 4194304 4650419 140734722182368 18446744073709551615 4368084 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17185/tid=17187] ppid=17183 vsize=2213956 CPUtime=101.7 cores=0,2,4,6
/proc/17185/task/17187/stat : 17187 (strangenight1-m) R 17183 17185 16958 0 -1 4202560 168541 0 0 0 10132 38 0 0 25 0 4 0 514600407 2267090944 473796 33554432000 4194304 4650419 140734722182368 18446744073709551615 4331981 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17185/tid=17188] ppid=17183 vsize=2213956 CPUtime=102.22 cores=0,2,4,6
/proc/17185/task/17188/stat : 17188 (strangenight1-m) R 17183 17185 16958 0 -1 4202560 197823 0 0 0 10179 43 0 0 25 0 4 0 514600407 2267090944 473796 33554432000 4194304 4650419 140734722182368 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 408.38
Current children cumulated vsize (KiB) 2213956

[startup+162.301 s]

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


[startup+702.301 s]
/proc/loadavg: 8.05 8.06 7.09 11/184 17237
/proc/meminfo: memFree=19563660/32951124 swapFree=67051468/67111528
[pid=17185] ppid=17183 vsize=2709848 CPUtime=2805.13 cores=0,2,4,6
/proc/17185/stat : 17185 (strangenight1-m) R 17183 17185 16958 0 -1 4202496 888404 0 0 0 280284 229 0 0 25 0 4 0 514600407 2774884352 557319 33554432000 4194304 4650419 140734722182368 18446744073709551615 4364811 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/17185/statm: 677462 557319 395 112 0 672427 0
[pid=17185/tid=17186] ppid=17183 vsize=2709848 CPUtime=702.17 cores=0,2,4,6
/proc/17185/task/17186/stat : 17186 (strangenight1-m) R 17183 17185 16958 0 -1 4202560 200382 0 0 0 70160 57 0 0 25 0 4 0 514600407 2774884352 557319 33554432000 4194304 4650419 140734722182368 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17185/tid=17187] ppid=17183 vsize=2709848 CPUtime=698.48 cores=0,2,4,6
/proc/17185/task/17187/stat : 17187 (strangenight1-m) R 17183 17185 16958 0 -1 4202560 239874 0 0 0 69788 60 0 0 25 0 4 0 514600407 2774884352 557319 33554432000 4194304 4650419 140734722182368 18446744073709551615 4363750 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17185/tid=17188] ppid=17183 vsize=2709848 CPUtime=702.23 cores=0,2,4,6
/proc/17185/task/17188/stat : 17188 (strangenight1-m) R 17183 17185 16958 0 -1 4202560 250760 0 0 0 70162 61 0 0 25 0 4 0 514600407 2774884352 557319 33554432000 4194304 4650419 140734722182368 18446744073709551615 4303973 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2805.13
Current children cumulated vsize (KiB) 2709848

[startup+762.3 s]
/proc/loadavg: 8.02 8.05 7.14 10/184 17239
/proc/meminfo: memFree=19523468/32951124 swapFree=67051468/67111528
[pid=17185] ppid=17183 vsize=2710536 CPUtime=3044.8 cores=0,2,4,6
/proc/17185/stat : 17185 (strangenight1-m) R 17183 17185 16958 0 -1 4202496 909056 0 0 0 304242 238 0 0 25 0 4 0 514600407 2775588864 558440 33554432000 4194304 4650419 140734722182368 18446744073709551615 4365477 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/17185/statm: 677634 558440 395 112 0 672599 0
[pid=17185/tid=17186] ppid=17183 vsize=2710536 CPUtime=762.16 cores=0,2,4,6
/proc/17185/task/17186/stat : 17186 (strangenight1-m) R 17183 17185 16958 0 -1 4202560 205936 0 0 0 76157 59 0 0 25 0 4 0 514600407 2775588864 558440 33554432000 4194304 4650419 140734722182368 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17185/tid=17187] ppid=17183 vsize=2710536 CPUtime=758.16 cores=0,2,4,6
/proc/17185/task/17187/stat : 17187 (strangenight1-m) R 17183 17185 16958 0 -1 4202560 245846 0 0 0 75753 63 0 0 25 0 4 0 514600407 2775588864 558440 33554432000 4194304 4650419 140734722182368 18446744073709551615 4365327 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17185/tid=17188] ppid=17183 vsize=2710536 CPUtime=762.22 cores=0,2,4,6
/proc/17185/task/17188/stat : 17188 (strangenight1-m) R 17183 17185 16958 0 -1 4202560 255874 0 0 0 76159 63 0 0 25 0 4 0 514600407 2775588864 558440 33554432000 4194304 4650419 140734722182368 18446744073709551615 4363617 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3044.8
Current children cumulated vsize (KiB) 2710536

[startup+822.301 s]
/proc/loadavg: 8.00 8.04 7.19 10/184 17241
/proc/meminfo: memFree=19475708/32951124 swapFree=67051468/67111528
[pid=17185] ppid=17183 vsize=2718644 CPUtime=3284.47 cores=0,2,4,6
/proc/17185/stat : 17185 (strangenight1-m) R 17183 17185 16958 0 -1 4202496 932860 0 0 0 328200 247 0 0 25 0 4 0 514600407 2783891456 560749 33554432000 4194304 4650419 140734722182368 18446744073709551615 4364352 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/17185/statm: 679661 560749 395 112 0 674626 0
[pid=17185/tid=17186] ppid=17183 vsize=2718644 CPUtime=822.16 cores=0,2,4,6
/proc/17185/task/17186/stat : 17186 (strangenight1-m) R 17183 17185 16958 0 -1 4202560 211373 0 0 0 82156 60 0 0 25 0 4 0 514600407 2783891456 560749 33554432000 4194304 4650419 140734722182368 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17185/tid=17187] ppid=17183 vsize=2718644 CPUtime=817.83 cores=0,2,4,6
/proc/17185/task/17187/stat : 17187 (strangenight1-m) R 17183 17185 16958 0 -1 4202560 251881 0 0 0 81717 66 0 0 25 0 4 0 514600407 2783891456 560749 33554432000 4194304 4650419 140734722182368 18446744073709551615 4365657 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17185/tid=17188] ppid=17183 vsize=2718644 CPUtime=822.22 cores=0,2,4,6
/proc/17185/task/17188/stat : 17188 (strangenight1-m) R 17183 17185 16958 0 -1 4202560 261201 0 0 0 82156 66 0 0 25 0 4 0 514600407 2783891456 560749 33554432000 4194304 4650419 140734722182368 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3284.47
Current children cumulated vsize (KiB) 2718644

[startup+882.301 s]
/proc/loadavg: 8.04 8.04 7.25 10/184 17242
/proc/meminfo: memFree=19352924/32951124 swapFree=67051468/67111528
[pid=17185] ppid=17183 vsize=2719232 CPUtime=3524.15 cores=0,2,4,6
/proc/17185/stat : 17185 (strangenight1-m) R 17183 17185 16958 0 -1 4202496 949686 0 0 0 352162 253 0 0 25 0 4 0 514600407 2784493568 568433 33554432000 4194304 4650419 140734722182368 18446744073709551615 4368084 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/17185/statm: 679808 568433 395 112 0 674773 0
[pid=17185/tid=17186] ppid=17183 vsize=2719232 CPUtime=882.16 cores=0,2,4,6
/proc/17185/task/17186/stat : 17186 (strangenight1-m) R 17183 17185 16958 0 -1 4202560 216719 0 0 0 88154 62 0 0 25 0 4 0 514600407 2784493568 568433 33554432000 4194304 4650419 140734722182368 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17185/tid=17187] ppid=17183 vsize=2719232 CPUtime=877.52 cores=0,2,4,6
/proc/17185/task/17187/stat : 17187 (strangenight1-m) R 17183 17185 16958 0 -1 4202560 256846 0 0 0 87684 68 0 0 25 0 4 0 514600407 2784493568 568433 33554432000 4194304 4650419 140734722182368 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17185/tid=17188] ppid=17183 vsize=2719232 CPUtime=882.22 cores=0,2,4,6
/proc/17185/task/17188/stat : 17188 (strangenight1-m) R 17183 17185 16958 0 -1 4202560 262088 0 0 0 88156 66 0 0 25 0 4 0 514600407 2784493568 568433 33554432000 4194304 4650419 140734722182368 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3524.15
Current children cumulated vsize (KiB) 2719232

[startup+942.3 s]
/proc/loadavg: 8.08 8.06 7.30 10/184 17244
/proc/meminfo: memFree=19315196/32951124 swapFree=67051468/67111528
[pid=17185] ppid=17183 vsize=2743156 CPUtime=3763.82 cores=0,2,4,6
/proc/17185/stat : 17185 (strangenight1-m) R 17183 17185 16958 0 -1 4202496 967000 0 0 0 376121 261 0 0 25 0 4 0 514600407 2808991744 568645 33554432000 4194304 4650419 140734722182368 18446744073709551615 4366923 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/17185/statm: 685789 568645 395 112 0 680754 0
[pid=17185/tid=17186] ppid=17183 vsize=2743156 CPUtime=942.14 cores=0,2,4,6
/proc/17185/task/17186/stat : 17186 (strangenight1-m) R 17183 17185 16958 0 -1 4202560 220653 0 0 0 94150 64 0 0 25 0 4 0 514600407 2808991744 568645 33554432000 4194304 4650419 140734722182368 18446744073709551615 4306767 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17185/tid=17187] ppid=17183 vsize=2743156 CPUtime=937.19 cores=0,2,4,6
/proc/17185/task/17187/stat : 17187 (strangenight1-m) R 17183 17185 16958 0 -1 4202560 261441 0 0 0 93650 69 0 0 25 0 4 0 514600407 2808991744 568645 33554432000 4194304 4650419 140734722182368 18446744073709551615 4364352 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17185/tid=17188] ppid=17183 vsize=2743156 CPUtime=942.22 cores=0,2,4,6
/proc/17185/task/17188/stat : 17188 (strangenight1-m) R 17183 17185 16958 0 -1 4202560 266844 0 0 0 94154 68 0 0 25 0 4 0 514600407 2808991744 568645 33554432000 4194304 4650419 140734722182368 18446744073709551615 4363354 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3763.82
Current children cumulated vsize (KiB) 2743156

[startup+1002.3 s]
/proc/loadavg: 8.25 8.11 7.36 10/184 17245
/proc/meminfo: memFree=19114544/32951124 swapFree=67051468/67111528
[pid=17185] ppid=17183 vsize=2722972 CPUtime=4003.5 cores=0,2,4,6
/proc/17185/stat : 17185 (strangenight1-m) R 17183 17185 16958 0 -1 4202496 985305 0 0 0 400081 269 0 0 25 0 4 0 514600407 2788323328 566876 33554432000 4194304 4650419 140734722182368 18446744073709551615 4364424 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/17185/statm: 680743 566876 395 112 0 675708 0
[pid=17185/tid=17186] ppid=17183 vsize=2722972 CPUtime=1002.14 cores=0,2,4,6
/proc/17185/task/17186/stat : 17186 (strangenight1-m) R 17183 17185 16958 0 -1 4202560 223321 0 0 0 100149 65 0 0 25 0 4 0 514600407 2788323328 566876 33554432000 4194304 4650419 140734722182368 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17185/tid=17187] ppid=17183 vsize=2722972 CPUtime=996.87 cores=0,2,4,6
/proc/17185/task/17187/stat : 17187 (strangenight1-m) R 17183 17185 16958 0 -1 4202560 265926 0 0 0 99616 71 0 0 25 0 4 0 514600407 2788323328 566876 33554432000 4194304 4650419 140734722182368 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17185/tid=17188] ppid=17183 vsize=2722972 CPUtime=1002.22 cores=0,2,4,6
/proc/17185/task/17188/stat : 17188 (strangenight1-m) R 17183 17185 16958 0 -1 4202560 272248 0 0 0 100152 70 0 0 25 0 4 0 514600407 2788323328 566876 33554432000 4194304 4650419 140734722182368 18446744073709551615 4364503 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4003.5
Current children cumulated vsize (KiB) 2722972

[startup+1062.3 s]
/proc/loadavg: 8.24 8.12 7.41 10/184 17247
/proc/meminfo: memFree=19079308/32951124 swapFree=67051468/67111528
[pid=17185] ppid=17183 vsize=2723692 CPUtime=4243.18 cores=0,2,4,6
/proc/17185/stat : 17185 (strangenight1-m) R 17183 17185 16958 0 -1 4202496 1006990 0 0 0 424040 278 0 0 25 0 4 0 514600407 2789060608 565934 33554432000 4194304 4650419 140734722182368 18446744073709551615 4364841 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/17185/statm: 680923 565934 395 112 0 675888 0
[pid=17185/tid=17186] ppid=17183 vsize=2723692 CPUtime=1062.14 cores=0,2,4,6
/proc/17185/task/17186/stat : 17186 (strangenight1-m) R 17183 17185 16958 0 -1 4202560 229158 0 0 0 106146 68 0 0 25 0 4 0 514600407 2789060608 565934 33554432000 4194304 4650419 140734722182368 18446744073709551615 4328238 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17185/tid=17187] ppid=17183 vsize=2723692 CPUtime=1056.55 cores=0,2,4,6
/proc/17185/task/17187/stat : 17187 (strangenight1-m) R 17183 17185 16958 0 -1 4202560 272199 0 0 0 105582 73 0 0 25 0 4 0 514600407 2789060608 565934 33554432000 4194304 4650419 140734722182368 18446744073709551615 4328259 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17185/tid=17188] ppid=17183 vsize=2723692 CPUtime=1062.22 cores=0,2,4,6
/proc/17185/task/17188/stat : 17188 (strangenight1-m) R 17183 17185 16958 0 -1 4202560 277748 0 0 0 106150 72 0 0 25 0 4 0 514600407 2789060608 565934 33554432000 4194304 4650419 140734722182368 18446744073709551615 4363750 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4243.18
Current children cumulated vsize (KiB) 2723692

[startup+1122.3 s]
/proc/loadavg: 8.22 8.12 7.45 10/184 17249
/proc/meminfo: memFree=19049152/32951124 swapFree=67051468/67111528
[pid=17185] ppid=17183 vsize=2724276 CPUtime=4482.86 cores=0,2,4,6
/proc/17185/stat : 17185 (strangenight1-m) R 17183 17185 16958 0 -1 4202496 1025474 0 0 0 448001 285 0 0 25 0 4 0 514600407 2789658624 567816 33554432000 4194304 4650419 140734722182368 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/17185/statm: 681069 567816 395 112 0 676034 0
[pid=17185/tid=17186] ppid=17183 vsize=2724276 CPUtime=1122.13 cores=0,2,4,6
/proc/17185/task/17186/stat : 17186 (strangenight1-m) R 17183 17185 16958 0 -1 4202560 233300 0 0 0 112144 69 0 0 25 0 4 0 514600407 2789658624 567816 33554432000 4194304 4650419 140734722182368 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17185/tid=17187] ppid=17183 vsize=2724276 CPUtime=1116.23 cores=0,2,4,6
/proc/17185/task/17187/stat : 17187 (strangenight1-m) R 17183 17185 16958 0 -1 4202560 276677 0 0 0 111548 75 0 0 25 0 4 0 514600407 2789658624 567816 33554432000 4194304 4650419 140734722182368 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17185/tid=17188] ppid=17183 vsize=2724276 CPUtime=1122.22 cores=0,2,4,6
/proc/17185/task/17188/stat : 17188 (strangenight1-m) R 17183 17185 16958 0 -1 4202560 281704 0 0 0 112148 74 0 0 25 0 4 0 514600407 2789658624 567816 33554432000 4194304 4650419 140734722182368 18446744073709551615 4363482 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4482.86
Current children cumulated vsize (KiB) 2724276

[startup+1182.3 s]
/proc/loadavg: 8.28 8.15 7.50 10/184 17250
/proc/meminfo: memFree=19046648/32951124 swapFree=67051468/67111528
[pid=17185] ppid=17183 vsize=2695688 CPUtime=4722.51 cores=0,2,4,6
/proc/17185/stat : 17185 (strangenight1-m) R 17183 17185 16958 0 -1 4202496 1048961 0 0 0 471959 292 0 0 25 0 4 0 514600407 2760384512 571194 33554432000 4194304 4650419 140734722182368 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/17185/statm: 673922 571194 395 112 0 668887 0
[pid=17185/tid=17186] ppid=17183 vsize=2695688 CPUtime=1182.13 cores=0,2,4,6
/proc/17185/task/17186/stat : 17186 (strangenight1-m) R 17183 17185 16958 0 -1 4202560 239257 0 0 0 118142 71 0 0 25 0 4 0 514600407 2760384512 571194 33554432000 4194304 4650419 140734722182368 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17185/tid=17187] ppid=17183 vsize=2695688 CPUtime=1175.89 cores=0,2,4,6
/proc/17185/task/17187/stat : 17187 (strangenight1-m) R 17183 17185 16958 0 -1 4202560 283066 0 0 0 117513 76 0 0 25 0 4 0 514600407 2760384512 571194 33554432000 4194304 4650419 140734722182368 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17185/tid=17188] ppid=17183 vsize=2695688 CPUtime=1182.22 cores=0,2,4,6
/proc/17185/task/17188/stat : 17188 (strangenight1-m) R 17183 17185 16958 0 -1 4202560 287323 0 0 0 118146 76 0 0 25 0 4 0 514600407 2760384512 571194 33554432000 4194304 4650419 140734722182368 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4722.51
Current children cumulated vsize (KiB) 2695688



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.20 8.14 7.51 9/184 17251
/proc/meminfo: memFree=19024548/32951124 swapFree=67051468/67111528
[pid=17185] ppid=17183 vsize=2695688 CPUtime=4800.02 cores=0,2,4,6
/proc/17185/stat : 17185 (strangenight1-m) R 17183 17185 16958 0 -1 4202496 1053603 0 0 0 479708 294 0 0 25 0 4 0 514600407 2760384512 575836 33554432000 4194304 4650419 140734722182368 18446744073709551615 4365323 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/17185/statm: 673922 575836 395 112 0 668887 0
[pid=17185/tid=17186] ppid=17183 vsize=2695688 CPUtime=1201.54 cores=0,2,4,6
/proc/17185/task/17186/stat : 17186 (strangenight1-m) R 17183 17185 16958 0 -1 4202560 241757 0 0 0 120082 72 0 0 25 0 4 0 514600407 2760384512 575836 33554432000 4194304 4650419 140734722182368 18446744073709551615 4355019 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17185/tid=17187] ppid=17183 vsize=2695688 CPUtime=1195.19 cores=0,2,4,6
/proc/17185/task/17187/stat : 17187 (strangenight1-m) R 17183 17185 16958 0 -1 4202560 283917 0 0 0 119442 77 0 0 25 0 4 0 514600407 2760384512 575836 33554432000 4194304 4650419 140734722182368 18446744073709551615 4363644 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17185/tid=17188] ppid=17183 vsize=2695688 CPUtime=1201.62 cores=0,2,4,6
/proc/17185/task/17188/stat : 17188 (strangenight1-m) R 17183 17185 16958 0 -1 4202560 287869 0 0 0 120086 76 0 0 25 0 4 0 514600407 2760384512 575836 33554432000 4194304 4650419 140734722182368 18446744073709551615 4365477 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.02
Current children cumulated vsize (KiB) 2695688

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

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

[startup+1201.81 s]
/proc/loadavg: 8.20 8.14 7.51 9/184 17251
/proc/meminfo: memFree=19024548/32951124 swapFree=67051468/67111528
[pid=17185] ppid=17183 vsize=0 CPUtime=4800.14 cores=0,2,4,6
/proc/17185/stat : 17185 (strangenight1-m) Z 17183 17185 16958 0 -1 4203548 1053605 0 0 0 479710 304 0 0 25 0 2 0 514600407 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/17185/statm: 0 0 0 0 0 0 0
[pid=17185/tid=17187] ppid=17183 vsize=0 CPUtime=1195.29 cores=0,2,4,6
/proc/17185/task/17187/stat : 17187 (strangenight1-m) R 17183 17185 16958 0 -1 4203588 283918 0 0 0 119442 87 0 0 25 0 2 0 514600407 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.14
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.82
CPU time (s): 4800.16
CPU user time (s): 4797.11
CPU system time (s): 3.04854
CPU usage (%): 399.409
Max. virtual memory (cumulated for all children) (KiB): 2794832

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.11
system time used= 3.04854
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1053605
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= 27901
involuntary context switches= 24001

runsolver used 1.88771 second user time and 4.5843 second system time

The end

Launcher Data 

Begin job on node101 at 2011-04-29 00:32:56
IDJOB=3280596
IDBENCH=20406
IDSOLVER=1588
FILE ID=node101/3280596-1304029976
RUNJOBID= node101-1304028687-16976
PBS_JOBID= 13170351
Free space on /tmp= 72012 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt
BENCH NAME= SAT07/industrial/palacios/hard/sortnet-7-ipc5-h15-unsat.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3280596-1304029976/watcher-3280596-1304029976 -o /tmp/evaluation-result-3280596-1304029976/solver-3280596-1304029976 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3280596-1304029976.cnf

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

MD5SUM BENCH= 0683489092a5eb0c881dd17c2c45d08e
RANDOM SEED=387559937

node101.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.841
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.68
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.841
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.07
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.841
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.77
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.841
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.83
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.841
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.74
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.841
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.83
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.841
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.841
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.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      25287344 kB
Buffers:       2001916 kB
Cached:        4975912 kB
SwapCached:      30452 kB
Active:        3005020 kB
Inactive:      4215440 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      25287344 kB
SwapTotal:    67111528 kB
SwapFree:     67051468 kB
Dirty:           12476 kB
Writeback:           0 kB
AnonPages:      233564 kB
Mapped:           9656 kB
Slab:           378680 kB
PageTables:       4964 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   530432 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= 71984 MiB
End job on node101 at 2011-04-29 00:53:00