Trace number 3369635

Some explanations

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

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

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

Solver answer on this benchmark

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

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.01/0.02	c Using 4 threads
0.01/0.05	c This is CryptoMiniSat 2.9.0
0.01/0.05	c compiled with gcc version 4.4.5
0.01/0.05	c WARNING: for repeatability, setting FPU to use double precision
0.01/0.05	c Reading file 'HOME/instance-3369635-1305389001.cnf'
0.01/0.05	c -- header says num vars:         106701
0.01/0.05	c -- header says num clauses:      374254
1.38/0.53	c -- clauses added:            0 learnts,       374254 normals,            0 xors
1.38/0.53	c -- vars added     106701
1.38/0.53	c Parsing time:  1.25 s
1.38/0.53	c  N st     0         0    106701    104865    269005         0    911122         0   no data   no data  --
3.39/1.01	c asymm  cl-useful: 0/266/104865 lits-rem:0 time: 1.88
51.23/13.03	c Flit:    84 Blit:      0 bXBeca:    0 bXProp: 8528 Bins:      0 BRemL:      0 BRemN:      0 P: 200.0M T: 47.90
51.23/13.10	c Replacing     8528 vars Replaced   418509 lits Time:     0.26 s 
51.65/13.17	c bin-w-bin subsume rem        25902 bins  time:  0.14 s
52.08/13.26	c subs with bin:       11  lits-rem:     30320  v-fix:    0  time:  0.36 s
73.18/18.57	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  91561 time: 21.19 s
74.37/18.86	c Removed useless bin:    2992  fixed:     0  props:  20.00M  time:  1.13 s
76.36/19.37	c lits-rem:       196  cl-subs:     9449  v-elim:  32653  v-fix:    0  time:  1.98 s
76.36/19.39	c Finding binary XORs  T:     0.08 s  found:     140
76.77/19.40	c Replacing      140 vars Replaced     1604 lits Time:     0.07 s 
76.77/19.49	c Finding non-binary XORs:     0.26 s (found:       0, avg size: nan)
76.77/19.49	c Calc default polars -  time:   0.04 s pos:   22380 undec:   41596 neg:   42725
76.77/19.49	c =========================================================================================
76.77/19.49	c types(t): F = full restart, N = normal restart
76.77/19.49	c types(t): S = simplification begin/end, E = solution found
76.77/19.49	c restart types(rt): st = static, dy = dynamic
76.77/19.49	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
76.77/19.49	c  B st     0         0     65168     99271    160333         0    688332         0   no data   no data  --
86.34/21.91	c  N dy    15      4228     65168     99271    160602      3892    688331    105228      6.60      7.01  --
95.11/24.07	c  N dy    36      8234     65148     99271    161402      7614    688330    196650      6.71      8.76  --
105.87/26.78	c  N dy    62     12341     65147     99271    161569     11483    688330    280846      6.96      7.38  --
116.65/29.42	c  N dy    86     16397     65145     99271    162346     15318    688330    377836      7.30      9.89  --
121.86/30.75	c Finding binary XORs  T:     0.09 s  found:     560
129.42/32.65	c  N dy   102     20787     65145     98497    163350     10169    685566    138107      7.29      7.68  --
141.77/35.73	c  N dy   121     24828     65145     98497    163461     14036    685566    226717      7.42      7.96  --
142.57/35.93	c  F st   123     25000     65145     98497    163756     14199    685566    232354      7.45   no data  --
142.57/35.95	c Replacing      560 vars Replaced     5614 lits Time:     0.09 s 
163.72/41.20	c  N dy   129     30002     64584     98448    162194     19033    683190    390907      7.45   no data  --
163.72/41.20	c  S st   129     30002     64584     98448    162194     19033    683190    390907      7.45   no data  --
165.73/41.75	c  S st   129     30503     64584     98448    162303     19424    683190    397034      7.45   no data  --
165.73/41.77	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
239.10/60.18	c Flit:     4 Blit:      0 bXBeca:    0 bXProp: 11393 Bins: 199691 BRemL:   1564 BRemN:    543 P: 200.0M T: 73.04
239.49/60.27	c Replacing    11393 vars Replaced   294093 lits Time:     0.35 s 
239.90/60.38	c bin-w-bin subsume rem        18262 bins  time:  0.20 s
241.48/60.74	c subs with bin:    10070  lits-rem:     70262  v-fix:    0  time:  1.39 s
244.70/61.52	c Subs w/ non-existent bins:    286 l-rem:   4641 v-fix:     0 done:   7882 time:  3.09 s
245.47/61.78	c Removed useless bin:   14049  fixed:     0  props:  20.00M  time:  0.98 s
251.45/63.23	c lits-rem:     11373  cl-subs:    26496  v-elim:  31357  v-fix:    0  time:  5.69 s
253.05/63.69	c asymm  cl-useful: 1123/4018/88459 lits-rem:5454 time: 1.85
253.47/63.78	c calculated reachability. Time: 0.31
253.47/63.78	c  N dy   129     30503     21830     87975    160164      4097    435124    213218      7.45   no data  --
255.04/64.17	c Finding binary XORs  T:     1.54 s  found:     171
264.61/66.58	c  N dy   136     35274     21830     87975    160924      8719    435124    310708      7.14      7.65  --
271.43/68.22	c Finding binary XORs  T:     0.63 s  found:       2
276.57/69.59	c  N dy   141     41117     21830     87975    185677     14420    435124    480098      6.85      7.29  --
285.74/71.87	c  N dy   155     45192     21830     87975    185747     18379    435124    558314      6.77      7.17  --
286.94/72.15	c  S st   157     45754     21830     87975    185756     18928    435124    567684      6.76      5.58  --
288.14/72.47	c  S st   157     46256     21830     87975    185791     19393    435124    575791      6.76   no data  --
288.14/72.49	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
288.14/72.50	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.04
313.66/78.89	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   97 Bins:  21154 BRemL:  14650 BRemN:   1569 P: 79.2M T: 25.36
314.06/78.92	c Replacing      270 vars Replaced    20232 lits Time:     0.11 s 
314.46/79.02	c bin-w-bin subsume rem        24182 bins  time:  0.15 s
315.30/79.21	c subs with bin:     5306  lits-rem:      6090  v-fix:    0  time:  0.74 s
316.04/79.46	c Subs w/ non-existent bins:   1048 l-rem:   3320 v-fix:     0 done:   9124 time:  1.01 s
316.44/79.56	c Removed useless bin:   12282  fixed:     0  props:   7.89M  time:  0.38 s
322.03/80.99	c lits-rem:      2802  cl-subs:    15427  v-elim:   5291  v-fix:    0  time:  5.69 s
322.83/81.18	c vivif2 --  cl tried    85584 cl shrink     5225 lits rem       7762 time: 0.76
323.23/81.22	c vivif2 --  cl tried     9916 cl shrink     1602 lits rem       3024 time: 0.17
324.82/81.69	c asymm  cl-useful: 3/3139/83237 lits-rem:4 time: 1.85
325.22/81.73	c calculated reachability. Time: 0.14
325.22/81.73	c  N dy   157     46256     16269     83237    120203      9868    387514    241464      6.76   no data  --
326.02/81.94	c Finding binary XORs  T:     0.82 s  found:      51
333.60/83.84	c  N dy   169     50335     16269     83237    120262     13846    387514    320259      6.69      7.11  --
336.39/84.53	c Finding binary XORs  T:     0.54 s  found:       1
341.20/85.73	c  N dy   180     54410     16269     83237    134069     17823    387514    418556      6.63      7.09  --
348.35/87.55	c  N dy   185     58521     16269     83237    138123     21878    387514    500201      6.54      6.89  --
355.53/89.37	c  N dy   202     62587     16269     83237    138142     25889    387514    574793      6.51      6.86  --
361.13/90.76	c Finding binary XORs  T:     0.53 s  found:       0
363.55/91.37	c  N dy   222     66687     16269     83237    138164     15418    387514    304562      6.51      7.80  --
368.70/92.63	c  S st   231     69385     16269     83237    185809     18069    387514    445524      6.48      6.25  --
369.49/92.89	c  S st   231     69888     16269     83237    185818     18561    387514    455984      6.48   no data  --
369.89/92.91	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
369.89/92.92	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.04
395.02/99.24	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   19 Bins:  45805 BRemL:  40343 BRemN:    957 P: 56.7M T: 25.17
395.02/99.26	c Replacing       71 vars Replaced     6387 lits Time:     0.09 s 
395.43/99.34	c bin-w-bin subsume rem        36076 bins  time:  0.17 s
395.83/99.44	c subs with bin:     3453  lits-rem:       452  v-fix:    0  time:  0.39 s
397.03/99.70	c Subs w/ non-existent bins:   1360 l-rem:   1611 v-fix:     0 done:  11334 time:  1.07 s
397.03/99.75	c Removed useless bin:    1271  fixed:     0  props:   3.19M  time:  0.18 s
399.81/100.41	c lits-rem:       661  cl-subs:     2320  v-elim:    450  v-fix:    0  time:  2.63 s
400.21/100.54	c vivif2 --  cl tried    79335 cl shrink      179 lits rem        266 time: 0.54
400.61/100.60	c vivif2 --  cl tried    16734 cl shrink     1062 lits rem       2236 time: 0.22
402.21/101.01	c asymm  cl-useful: 29/6055/79290 lits-rem:32 time: 1.66
402.21/101.05	c calculated reachability. Time: 0.12
402.21/101.05	c  N dy   231     69888     15748     79289    144362     16719    369922    349913      6.48   no data  --
402.63/101.20	c Finding binary XORs  T:     0.58 s  found:       4
410.99/103.22	c  N dy   250     74808     15748     79289    144384     21566    369922    440684      6.46      6.92  --
419.76/105.40	c  N dy   277     79649     15748     79289    146192     26346    369922    528374      6.46      6.80  --
426.14/107.09	c Finding binary XORs  T:     0.53 s  found:       2
429.38/107.89	c  N dy   303     84827     15748     79289    148514     31467    369921    633223      6.46      7.43  --
434.12/109.08	c  F st   320     87500     15748     79289    148521     34106    369921    680868      6.47      5.79  --
434.52/109.10	c Replacing        6 vars Replaced      312 lits Time:     0.08 s 
440.51/110.62	c  N st   325     90799     15742     79287    148538     19292    369915    361427      6.47   no data  --
451.67/113.46	c  N dy   347     97282     15742     79287    148566     25715    369915    482504      6.47      6.87  --
463.24/116.31	c  N dy   382    103573     15742     79287    148595     31932    369915    600000      6.47      6.85  --
465.63/116.91	c  S st   392    104832     15742     79287    148596     33177    369915    623747      6.47      5.70  --
466.83/117.23	c  S st   392    105336     15742     79287    148603     33672    369915    635507      6.47   no data  --
466.83/117.25	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
466.83/117.26	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.04
488.77/122.73	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:  28373 BRemL:  42858 BRemN:   1125 P: 51.4M T: 21.79
488.77/122.79	c bin-w-bin subsume rem         1701 bins  time:  0.08 s
489.57/122.92	c subs with bin:      200  lits-rem:       438  v-fix:    0  time:  0.50 s
489.57/122.99	c Subs w/ non-existent bins:    176 l-rem:   1126 v-fix:     0 done:   2401 time:  0.29 s
489.96/123.05	c Removed useless bin:    1225  fixed:     0  props:   4.33M  time:  0.24 s
497.15/124.83	c lits-rem:      1762  cl-subs:     2571  v-elim:    124  v-fix:    0  time:  7.06 s
497.55/124.96	c vivif2 --  cl tried    79162 cl shrink       41 lits rem         70 time: 0.52
497.95/125.08	c vivif2 --  cl tried    31176 cl shrink     4766 lits rem      13052 time: 0.49
499.59/125.49	c asymm  cl-useful: 21/8777/79152 lits-rem:24 time: 1.61
499.93/125.52	c calculated reachability. Time: 0.11
499.93/125.52	c  N dy   392    105336     15618     79151    123007     31173    364188    525189      6.47   no data  --
500.33/125.65	c Finding binary XORs  T:     0.53 s  found:       0
512.74/128.76	c  N dy   437    112075     15618     79151    124209     37862    364188    662746      6.50      6.93  --
525.49/131.98	c  N dy   484    119287     15618     79151    124294     24612    364188    365079      6.52      6.87  --
540.22/135.69	c  N dy   538    127155     15618     79151    124300     32427    364188    515198      6.56      7.00  --
547.43/137.48	c Finding binary XORs  T:     0.49 s  found:       3
556.97/139.84	c  N dy   598    135470     15618     79151    126942     40663    364188    683685      6.59      6.97  --
573.34/143.92	c  N dy   662    144193     15618     79151    126949     28106    364188    409001      6.62      7.00  --
590.49/148.27	c  N dy   724    153463     15618     79151    126956     37322    364188    598796      6.65      7.07  --
599.26/150.44	c  S st   748    158005     15618     79151    126960     41840    364188    690276      6.65      4.37  --
600.50/150.73	c  S st   748    158505     15618     79151    126963     42336    364188    700513      6.65   no data  --
600.50/150.75	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
600.50/150.76	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.04
621.60/156.07	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:  11353 BRemL:  18689 BRemN:    498 P: 69.0M T: 21.19
621.60/156.10	c Replacing        3 vars Replaced      222 lits Time:     0.08 s 
622.02/156.16	c bin-w-bin subsume rem         1412 bins  time:  0.08 s
622.44/156.27	c subs with bin:       71  lits-rem:       307  v-fix:    0  time:  0.42 s
623.19/156.41	c Subs w/ non-existent bins:     98 l-rem:   2621 v-fix:     0 done:   6388 time:  0.58 s
623.19/156.48	c Removed useless bin:     329  fixed:     0  props:   4.92M  time:  0.26 s
632.37/158.76	c lits-rem:      1854  cl-subs:     1466  v-elim:     33  v-fix:    0  time:  9.10 s
632.77/158.88	c vivif2 --  cl tried    79069 cl shrink       24 lits rem         51 time: 0.52
633.57/159.03	c vivif2 --  cl tried    40869 cl shrink     6774 lits rem      24883 time: 0.59
635.19/159.44	c asymm  cl-useful: 50/3039/79067 lits-rem:150 time: 1.63
635.19/159.48	c calculated reachability. Time: 0.10
635.19/159.48	c  N dy   748    158505     15582     79017    115206     40869    362169    624368      6.65   no data  --
635.96/159.61	c Finding binary XORs  T:     0.51 s  found:       0
655.10/164.44	c  N dy   821    168788     15582     79017    115698     29570    362169    370130      6.69      7.05  --
674.26/169.26	c  N dy   891    179604     15582     79017    115700     40298    362169    584584      6.71      7.20  --
696.20/174.75	c  N dy   975    191197     15582     79017    115700     51821    362169    822856      6.75      7.20  --
719.73/180.66	c  N dy  1070    203487     15582     79017    117237     41764    362169    577011      6.80     10.41  --
721.73/181.10	c Finding binary XORs  T:     0.50 s  found:       1
744.89/186.95	c  N dy  1164    216489     15582     79017    117531     54680    362169    849468      6.85      7.22  --
770.80/193.45	c  N dy  1265    230361     15582     79017    117531     45023    362169    595171      6.89     10.94  --
778.77/195.43	c Finding binary XORs  T:     0.50 s  found:       0
785.55/197.18	c  S st  1318    237759     15582     79017    119046     52372    362169    745849      6.90   no data  --
787.15/197.51	c  S st  1318    238262     15582     79017    119047     52871    362169    759034      6.90   no data  --
787.15/197.53	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
787.15/197.54	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.04
803.50/201.62	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:    812 BRemL:   3637 BRemN:     90 P: 63.7M T: 16.29
803.50/201.65	c Replacing        1 vars Replaced       23 lits Time:     0.08 s 
803.90/201.72	c bin-w-bin subsume rem         1606 bins  time:  0.08 s
804.30/201.81	c subs with bin:       56  lits-rem:        51  v-fix:    0  time:  0.39 s
804.30/201.87	c Subs w/ non-existent bins:     35 l-rem:   2233 v-fix:     0 done:   1545 time:  0.24 s
804.70/201.94	c Removed useless bin:      27  fixed:     0  props:   4.98M  time:  0.26 s
816.66/204.90	c lits-rem:      2186  cl-subs:     1081  v-elim:      7  v-fix:    0  time: 11.83 s
817.06/205.03	c vivif2 --  cl tried    78947 cl shrink        7 lits rem          9 time: 0.51
817.86/205.21	c vivif2 --  cl tried    51790 cl shrink     7417 lits rem      28739 time: 0.72
819.48/205.64	c asymm  cl-useful: 42/2308/78947 lits-rem:126 time: 1.68
819.48/205.67	c calculated reachability. Time: 0.10
819.48/205.67	c  N dy  1318    238262     15574     78905    114226     51790    361710    704321      6.90   no data  --
848.58/212.97	c  N dy  1431    253558     15574     78905    114291     41975    361710    486831      6.94      8.40  --
880.50/220.99	c  N dy  1549    269744     15574     78905    114291     58080    361710    831901      6.98      7.82  --
883.68/221.74	c Finding binary XORs  T:     0.50 s  found:       0
915.21/229.65	c  N dy  1675    287036     15574     78905    114291     49484    361710    614540      7.03      7.87  --
952.69/239.07	c  N dy  1815    305426     15574     78905    114292     67773    361710   1016733      7.08      9.77  --
954.29/239.44	c  F st  1821    306253     15574     78905    114292     68593    361710   1032702      7.08      5.45  --
991.39/248.73	c  N dy  1922    324931     15574     78905    114295     60275    361710    816930      7.11      9.27  --
1033.68/259.36	c  N dy  2081    344941     15574     78905    114297     51999    361710    579653      7.17      8.47  --
1057.21/265.28	c  S st  2166    357395     15574     78905    114297     64370    361710    835255      7.19      6.60  --
1058.81/265.61	c  S st  2166    357898     15574     78905    114297     64871    361710    848024      7.19   no data  --
1058.81/265.63	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
1058.81/265.64	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.05
1073.99/269.47	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     89 BRemL:     86 BRemN:     42 P: 63.9M T: 15.27
1074.41/269.55	c bin-w-bin subsume rem           10 bins  time:  0.08 s
1074.76/269.65	c subs with bin:       44  lits-rem:        22  v-fix:    0  time:  0.41 s
1075.16/269.79	c Subs w/ non-existent bins:     55 l-rem:   2221 v-fix:     0 done:   5923 time:  0.53 s
1075.56/269.85	c Removed useless bin:       8  fixed:     0  props:   4.99M  time:  0.26 s
1089.92/273.41	c lits-rem:      3088  cl-subs:     1016  v-elim:      0  v-fix:    0  time: 14.21 s
1090.32/273.54	c vivif2 --  cl tried    78808 cl shrink        0 lits rem          0 time: 0.52
1091.12/273.76	c vivif2 --  cl tried    63852 cl shrink     8142 lits rem      32467 time: 0.87
1092.71/274.18	c asymm  cl-useful: 17/1834/78808 lits-rem:51 time: 1.65
1093.11/274.21	c calculated reachability. Time: 0.10
1093.11/274.21	c  N dy  2166    357898     15574     78791    114258     63852    361278    800205      7.19   no data  --
1134.20/284.57	c  N dy  2306    378187     15574     78791    114262     54684    361278    602466      7.23      7.61  --
1174.50/294.63	c  N dy  2439    398262     15574     78791    114263     74663    361278   1027633      7.25      7.64  --
1190.46/298.64	c Finding binary XORs  T:     0.50 s  found:       0
1215.58/304.94	c  N dy  2559    418771     15574     78791    115982     65362    361278    785848      7.27      7.70  --
1258.71/315.71	c  N dy  2705    438785     15574     78791    116341     54333    361278    504097      7.31      7.72  --
1297.79/325.52	c  N dy  2827    458830     15574     78791    116341     74284    361278    946375      7.33     12.36  --
1341.25/336.40	c  N dy  2978    478836     15574     78791    116342     62256    361278    634698      7.37     10.92  --
1382.72/346.81	c  N dy  3108    498901     15574     78791    116344     82209    361278   1082174      7.40      8.61  --
1426.21/357.74	c  N dy  3265    519109     15574     78791    116344     69431    361278    741584      7.43      8.02  --
1464.11/367.22	c  S st  3393    536847     15574     78791    116344     87070    361278   1122522      7.45      6.88  --
1465.30/367.56	c  S st  3393    537347     15574     78791    116344     87570    361278   1137348      7.45   no data  --
1465.30/367.58	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
1465.30/367.59	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.04
1481.67/371.63	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    5 Bins:    134 BRemL:   1370 BRemN:     16 P: 68.2M T: 16.10
1481.67/371.65	c Replacing        6 vars Replaced     1778 lits Time:     0.10 s 
1482.08/371.74	c bin-w-bin subsume rem          790 bins  time:  0.08 s
1482.50/371.86	c subs with bin:       12  lits-rem:         8  v-fix:    0  time:  0.50 s
1482.85/371.92	c Subs w/ non-existent bins:     26 l-rem:   3052 v-fix:     0 done:   1197 time:  0.24 s
1482.85/371.99	c Removed useless bin:       1  fixed:     0  props:   5.03M  time:  0.26 s
1493.23/374.53	c lits-rem:      2067  cl-subs:     1128  v-elim:      0  v-fix:    0  time: 10.15 s
1493.63/374.67	c vivif2 --  cl tried    78749 cl shrink        7 lits rem          7 time: 0.53
1494.83/374.98	c vivif2 --  cl tried    86446 cl shrink    12324 lits rem      49070 time: 1.25
1496.42/375.39	c asymm  cl-useful: 17/1612/78744 lits-rem:51 time: 1.63
1496.82/375.43	c calculated reachability. Time: 0.10
1496.82/375.43	c  N dy  3393    537347     15568     78727    114314     86445    361084   1067486      7.45   no data  --
1538.71/385.99	c  N dy  3515    557434     15568     78727    114322     71881    361084    764371      7.47      7.99  --
1581.39/396.63	c  N dy  3651    577477     15568     78727    114323     91833    361084   1210838      7.49      8.68  --
1624.47/407.44	c  N dy  3778    597533     15568     78727    114323     76926    361084    834882      7.50      8.15  --
1668.35/418.43	c  N dy  3919    617566     15568     78727    114326     96862    361084   1281646      7.53      7.93  --
1712.24/429.42	c  N dy  4050    637609     15568     78727    114327     80934    361084    872532      7.54      9.23  --
1756.11/440.41	c  N dy  4188    657668     15568     78727    114329    100902    361084   1323716      7.57      8.06  --
1798.44/451.06	c  N dy  4332    677669     15568     78727    114330     84058    361084    896400      7.59      8.59  --
1843.87/462.48	c  N dy  4474    697682     15568     78727    114331    103978    361084   1349927      7.61      8.06  --
1889.35/473.87	c  N dy  4616    717816     15568     78727    114331     85863    361084    906636      7.62      8.03  --
1936.02/485.56	c  N dy  4756    737912     15568     78727    114357    105850    361084   1359049      7.64      8.21  --
1981.51/496.92	c  N dy  4907    757965     15568     78727    114357     86936    361084    882606      7.66      8.11  --
2025.79/508.08	c  N dy  5040    778135     15568     78727    114358    106993    361084   1328583      7.68      8.27  --
2076.45/520.74	c  N dy  5205    799135     15568     78727    114359     87866    361084    858893      7.71      8.26  --
2092.44/524.72	c  S st  5261    806023     15568     78727    114359     94723    361084   1018108      7.72      8.01  --
2093.59/525.07	c  S st  5261    806525     15568     78727    114359     95225    361084   1029996      7.72   no data  --
2093.59/525.09	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
2093.99/525.10	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.04
2109.99/529.19	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    9 Bins:    111 BRemL:    653 BRemN:     33 P: 69.6M T: 16.30
2110.34/529.22	c Replacing        9 vars Replaced      770 lits Time:     0.10 s 
2110.74/529.30	c bin-w-bin subsume rem           56 bins  time:  0.08 s
2111.14/529.41	c subs with bin:       56  lits-rem:        28  v-fix:    0  time:  0.42 s
2111.14/529.49	c Subs w/ non-existent bins:     26 l-rem:   2925 v-fix:     0 done:   2076 time:  0.32 s
2111.54/529.55	c Removed useless bin:       6  fixed:     0  props:   5.06M  time:  0.26 s
2121.12/531.97	c lits-rem:      1702  cl-subs:     1413  v-elim:      1  v-fix:    0  time:  9.65 s
2121.92/532.10	c vivif2 --  cl tried    78652 cl shrink        1 lits rem          1 time: 0.52
2122.74/532.38	c vivif2 --  cl tried    93808 cl shrink     7710 lits rem      31229 time: 1.11
2124.71/532.80	c asymm  cl-useful: 1/1858/78651 lits-rem:3 time: 1.66
2124.71/532.83	c calculated reachability. Time: 0.10
2124.71/532.83	c  N dy  5261    806525     15558     78650    113706     93808    360687    981189      7.72   no data  --
2171.01/544.43	c  N dy  5400    826607     15558     78650    114014    113808    360687   1428730      7.73      8.46  --
2171.43/544.56	c Finding binary XORs  T:     0.50 s  found:       0
2216.06/555.75	c  N dy  5521    846672     15558     78650    114014     91749    360687    936028      7.74      8.17  --
2261.14/567.04	c  N dy  5647    866996     15558     78650    114663    111980    360687   1400920      7.75      8.17  --
2309.81/579.24	c  N dy  5765    888159     15558     78650    114664     91079    360687    853311      7.76      8.18  --
2356.88/591.07	c  N dy  5905    908178     15558     78650    114664    111008    360687   1311851      7.77     10.18  --
2404.75/603.02	c  N dy  6025    928256     15558     78650    114664     88051    360687    743472      7.78      8.20  --
2451.43/614.77	c  N dy  6161    948639     15558     78650    114666    108328    360687   1210603      7.80      8.25  --
2502.08/627.40	c  N dy  6304    968725     15558     78650    114666    128310    360687   1681691      7.81      8.91  --
2548.80/639.14	c  N dy  6448    988978     15558     78650    114666    104463    360687   1077294      7.83      8.26  --
2598.23/651.56	c  N dy  6599   1009065     15558     78650    114666    124452    360687   1544100      7.84      8.28  --
2646.50/663.60	c  N dy  6714   1029326     15558     78650    114668     99772    360687    917949      7.85      8.34  --
2692.78/675.22	c  N dy  6841   1049401     15558     78650    114668    119730    360687   1372382      7.86      8.29  --
2742.63/687.72	c  N dy  6969   1069613     15558     78650    114669    139847    360687   1838069      7.87      8.30  --
2747.82/689.07	c  F st  6985   1071877     15558     78650    114669     96191    360687    794607      7.87   no data  --
2788.11/699.16	c  N dy  7078   1089801     15558     78650    114669    114018    360687   1217822      7.88      8.30  --
2838.76/711.88	c  N dy  7232   1109808     15558     78650    114670    133935    360687   1676741      7.89      8.32  --
2887.43/724.07	c  N dy  7361   1129861     15558     78650    114670    106724    360687   1000765      7.91      8.99  --
2934.95/735.93	c  N dy  7497   1149912     15558     78650    114671    126684    360687   1468820      7.92      8.41  --
2986.78/748.92	c  N dy  7643   1170018     15558     78650    114671    146716    360687   1939821      7.93      8.43  --
3034.24/760.84	c  N dy  7773   1190080     15558     78650    114671    118499    360687   1223218      7.94      8.36  --
3086.50/773.92	c  S st  7921   1209787     15558     78650    114671    138105    360687   1676837      7.95   no data  --
3088.12/774.37	c  S st  7921   1210289     15558     78650    114671    138606    360687   1691949      7.95   no data  --
3088.12/774.39	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.10
3088.12/774.40	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.04
3104.85/778.59	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     39 BRemL:    627 BRemN:      5 P: 73.8M T: 16.71
3105.67/778.71	c bin-w-bin subsume rem          374 bins  time:  0.06 s
3106.09/778.87	c subs with bin:       12  lits-rem:         6  v-fix:    0  time:  0.66 s
3106.84/779.02	c Subs w/ non-existent bins:      1 l-rem:   2253 v-fix:     0 done:   5716 time:  0.57 s
3106.84/779.08	c Removed useless bin:       3  fixed:     0  props:   5.08M  time:  0.27 s
3132.00/785.31	c lits-rem:      1723  cl-subs:     2097  v-elim:      1  v-fix:    0  time: 24.84 s
3132.42/785.45	c vivif2 --  cl tried    78646 cl shrink        1 lits rem          1 time: 0.54
3134.36/785.96	c vivif2 --  cl tried   136503 cl shrink    18454 lits rem      73011 time: 2.05
3135.97/786.40	c asymm  cl-useful: 21/1252/78646 lits-rem:63 time: 1.74
3136.39/786.44	c calculated reachability. Time: 0.10
3136.39/786.44	c  N dy  7921   1210289     15557     78625    113719    136503    360643   1592901      7.95   no data  --
3187.82/799.39	c  N dy  8049   1230355     15557     78625    113726    106268    360643    923817      7.96      8.41  --
3234.50/811.02	c  N dy  8175   1250409     15557     78625    113726    126206    360643   1374860      7.97      8.51  --
3287.55/824.37	c  N dy  8319   1270653     15557     78625    113726    146349    360643   1850729      7.98      8.48  --
3336.22/836.59	c  N dy  8450   1290673     15557     78625    113726    116491    360643   1107453      7.99      8.47  --
3387.68/849.48	c  N dy  8568   1310770     15557     78625    113726    136497    360643   1569930      7.99      8.45  --
3443.14/863.41	c  N dy  8714   1330791     15557     78625    113798    156425    360643   2058609      8.01      9.34  --
3489.01/874.85	c  N dy  8819   1350833     15557     78625    113798    125522    360643   1262299      8.01      9.34  --
3538.88/887.37	c  N dy  8928   1370924     15557     78625    113798    145481    360643   1716585      8.02     10.51  --
3556.43/891.72	c Finding binary XORs  T:     0.50 s  found:       0
3595.51/901.53	c  N dy  9058   1391094     15557     78625    114430    113810    360643    958779      8.03      8.59  --
3645.82/914.14	c  N dy  9195   1411266     15557     78625    114431    133877    360643   1432646      8.04      8.50  --
3696.05/926.71	c  N dy  9311   1431355     15557     78625    114431    153874    360643   1902508      8.04      9.50  --
3747.90/939.72	c  N dy  9436   1451425     15557     78625    114433    120933    360643   1067227      8.05      9.25  --
3796.17/951.89	c  N dy  9542   1471619     15557     78625    114433    141005    360643   1550707      8.05      8.50  --
3849.62/965.24	c  N dy  9671   1491961     15557     78625    114433    161242    360643   2037610      8.06      8.58  --
3901.09/978.19	c  N dy  9785   1512008     15557     78625    114433    127377    360643   1202438      8.07      8.59  --
3955.34/991.75	c  N dy  9923   1532042     15557     78625    114433    147322    360643   1677977      8.08     10.16  --
4012.39/1006.02	c  N dy 10049   1552388     15557     78625    114433    167568    360643   2159429      8.09      8.61  --
4065.85/1019.44	c  N dy 10176   1572531     15557     78625    114433    132686    360643   1264410      8.09      8.62  --
4118.90/1032.78	c  N dy 10317   1592597     15557     78625    114433    152661    360643   1756281      8.10      9.16  --
4173.56/1046.41	c  N dy 10449   1612622     15557     78625    114433    172563    360643   2216656      8.11      9.17  --
4226.61/1059.79	c  N dy 10588   1632699     15557     78625    114433    136675    360643   1320131      8.12      9.39  --
4278.46/1072.72	c  N dy 10715   1652790     15557     78625    114433    156664    360643   1786793      8.13      9.76  --
4335.91/1087.13	c  N dy 10860   1672864     15557     78625    114433    176636    360643   2274178      8.13      8.58  --
4388.57/1100.36	c  N dy 10974   1693077     15557     78625    114433    140063    360643   1336612      8.14      8.60  --
4434.05/1111.70	c  S st 11088   1710291     15557     78625    114433    157199    360643   1745789      8.14   no data  --
4435.68/1112.17	c  S st 11088   1710795     15557     78625    114434    157701    360643   1759853      8.14   no data  --
4435.68/1112.20	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.10
4436.03/1112.21	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.04
4453.23/1116.56	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     20 BRemL:    465 BRemN:     21 P: 78.0M T: 17.36
4453.59/1116.68	c bin-w-bin subsume rem          319 bins  time:  0.08 s
4454.39/1116.84	c subs with bin:        2  lits-rem:         4  v-fix:    0  time:  0.62 s
4454.78/1116.92	c Subs w/ non-existent bins:      9 l-rem:   3616 v-fix:     0 done:   1490 time:  0.31 s
4454.78/1116.98	c Removed useless bin:       1  fixed:     0  props:   5.11M  time:  0.27 s
4483.53/1124.14	c lits-rem:      1690  cl-subs:     2152  v-elim:      0  v-fix:    0  time: 28.56 s
4483.96/1124.27	c vivif2 --  cl tried    78613 cl shrink        0 lits rem          0 time: 0.52
4485.90/1124.77	c vivif2 --  cl tried   155550 cl shrink    16584 lits rem      62530 time: 1.99
4487.50/1125.20	c asymm  cl-useful: 8/1506/78613 lits-rem:24 time: 1.72
4487.92/1125.24	c calculated reachability. Time: 0.10
4487.92/1125.24	c  N dy 11088   1710795     15557     78605    113656    155550    360554   1670516      8.14   no data  --
4547.74/1140.27	c  N dy 11223   1730850     15557     78605    113659    175513    360554   2150143      8.15      9.23  --
4600.40/1153.40	c  N dy 11340   1750909     15557     78605    113660    136209    360554   1220211      8.16     13.38  --
4656.64/1167.52	c  N dy 11499   1771216     15557     78605    113660    156429    360554   1701426      8.17      8.68  --
4712.13/1181.45	c  N dy 11625   1791234     15557     78605    113706    176349    360554   2165985      8.17     10.16  --
4766.74/1195.11	c  N dy 11741   1811240     15557     78605    113707    137329    360554   1225911      8.18      8.79  --

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-3369635-1305389001/watcher-3369635-1305389001 -o /tmp/evaluation-result-3369635-1305389001/solver-3369635-1305389001 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3369635-1305389001.cnf 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 3.36 3.91 3.87 2/336 11428
/proc/meminfo: memFree=18191316/32951124 swapFree=67082152/67111528
[pid=11428] ppid=11426 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/11428/stat : 11428 (strangenight1-m) R 11426 11428 11396 0 -1 4202496 412 0 0 0 0 0 0 0 20 0 4 0 650498093 52465664 352 33554432000 4194304 4650419 140735691018624 18446744073709551615 47928294717362 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11428/statm: 12809 352 303 112 0 7774 0
[pid=11428/tid=11429] ppid=11426 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/11428/task/11429/stat : 11429 (strangenight1-m) R 11426 11428 11396 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 4 0 650498093 52465664 352 33554432000 4194304 4650419 140735691018624 18446744073709551615 47928294717362 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11428/tid=11430] ppid=11426 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/11428/task/11430/stat : 11430 (strangenight1-m) R 11426 11428 11396 0 -1 4202560 0 0 0 0 0 0 0 0 21 0 4 0 650498093 52465664 352 33554432000 4194304 4650419 140735691018624 18446744073709551615 228244405233 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11428/tid=11431] ppid=11426 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/11428/task/11431/stat : 11431 (strangenight1-m) R 11426 11428 11396 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 4 0 650498093 52465664 352 33554432000 4194304 4650419 140735691018624 18446744073709551615 228244405233 0 0 4096 2 0 0 0 -1 1 0 0 0

[startup+0.0145831 s]
/proc/loadavg: 3.36 3.91 3.87 2/336 11428
/proc/meminfo: memFree=18191316/32951124 swapFree=67082152/67111528
[pid=11428] ppid=11426 vsize=51236 CPUtime=0.01 cores=1,3,5,7
/proc/11428/stat : 11428 (strangenight1-m) R 11426 11428 11396 0 -1 4202496 412 0 0 0 1 0 0 0 20 0 4 0 650498093 52465664 352 33554432000 4194304 4650419 140735691018624 18446744073709551615 47928294717362 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11428/statm: 12809 352 303 112 0 7774 0
[pid=11428/tid=11429] ppid=11426 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/11428/task/11429/stat : 11429 (strangenight1-m) R 11426 11428 11396 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 4 0 650498093 52465664 352 33554432000 4194304 4650419 140735691018624 18446744073709551615 47928294717362 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11428/tid=11430] ppid=11426 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/11428/task/11430/stat : 11430 (strangenight1-m) R 11426 11428 11396 0 -1 4202560 0 0 0 0 0 0 0 0 21 0 4 0 650498093 52465664 352 33554432000 4194304 4650419 140735691018624 18446744073709551615 47928294717362 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11428/tid=11431] ppid=11426 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/11428/task/11431/stat : 11431 (strangenight1-m) R 11426 11428 11396 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 4 0 650498093 52465664 352 33554432000 4194304 4650419 140735691018624 18446744073709551615 228244405233 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 51236

[startup+0.10091 s]
/proc/loadavg: 3.36 3.91 3.87 2/336 11428
/proc/meminfo: memFree=18191316/32951124 swapFree=67082152/67111528
[pid=11428] ppid=11426 vsize=297176 CPUtime=0.24 cores=1,3,5,7
/proc/11428/stat : 11428 (strangenight1-m) R 11426 11428 11396 0 -1 4202496 10815 0 0 0 21 3 0 0 22 0 4 0 650498093 304308224 9206 33554432000 4194304 4650419 140735691018624 18446744073709551615 228244453870 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/11428/statm: 74294 9231 345 112 0 69259 0
[pid=11428/tid=11429] ppid=11426 vsize=297176 CPUtime=0.06 cores=1,3,5,7
/proc/11428/task/11429/stat : 11429 (strangenight1-m) R 11426 11428 11396 0 -1 4202560 2972 0 0 0 5 1 0 0 18 0 4 0 650498093 304308224 9243 33554432000 4194304 4650419 140735691018624 18446744073709551615 228244045935 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11428/tid=11430] ppid=11426 vsize=297176 CPUtime=0.08 cores=1,3,5,7
/proc/11428/task/11430/stat : 11430 (strangenight1-m) S 11426 11428 11396 0 -1 4202560 3194 0 0 0 7 1 0 0 18 0 4 0 650498093 304308224 9250 33554432000 4194304 4650419 140735691018624 18446744073709551615 228244453870 0 0 4096 2 18446604465568616512 0 0 -1 7 0 0 0
[pid=11428/tid=11431] ppid=11426 vsize=297656 CPUtime=0.06 cores=1,3,5,7
/proc/11428/task/11431/stat : 11431 (strangenight1-m) S 11426 11428 11396 0 -1 4202560 3347 0 0 0 5 1 0 0 18 0 4 0 650498093 304799744 9258 33554432000 4194304 4650419 140735691018624 18446744073709551615 228244453870 0 0 4096 2 18446604465568616512 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 297176

[startup+0.322528 s]
/proc/loadavg: 3.36 3.91 3.87 2/336 11428
/proc/meminfo: memFree=18191316/32951124 swapFree=67082152/67111528
[pid=11428] ppid=11426 vsize=372596 CPUtime=0.82 cores=1,3,5,7
/proc/11428/stat : 11428 (strangenight1-m) R 11426 11428 11396 0 -1 4202496 46603 0 0 0 68 14 0 0 18 0 4 0 650498093 381538304 40001 33554432000 4194304 4650419 140735691018624 18446744073709551615 228244453870 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11428/statm: 93149 40005 350 112 0 88114 0
[pid=11428/tid=11429] ppid=11426 vsize=372596 CPUtime=0.25 cores=1,3,5,7
/proc/11428/task/11429/stat : 11429 (strangenight1-m) R 11426 11428 11396 0 -1 4202560 11899 0 0 0 21 4 0 0 17 0 4 0 650498093 381538304 40006 33554432000 4194304 4650419 140735691018624 18446744073709551615 4371317 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11428/tid=11430] ppid=11426 vsize=372596 CPUtime=0.24 cores=1,3,5,7
/proc/11428/task/11430/stat : 11430 (strangenight1-m) R 11426 11428 11396 0 -1 4202560 12071 0 0 0 20 4 0 0 17 0 4 0 650498093 381538304 40006 33554432000 4194304 4650419 140735691018624 18446744073709551615 4302842 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11428/tid=11431] ppid=11426 vsize=372596 CPUtime=0.18 cores=1,3,5,7
/proc/11428/task/11431/stat : 11431 (strangenight1-m) R 11426 11428 11396 0 -1 4202560 13174 0 0 0 14 4 0 0 17 0 4 0 650498093 381538304 40007 33554432000 4194304 4650419 140735691018624 18446744073709551615 4317116 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.82
Current children cumulated vsize (KiB) 372596

[startup+0.700466 s]
/proc/loadavg: 3.36 3.91 3.87 2/336 11428
/proc/meminfo: memFree=18191316/32951124 swapFree=67082152/67111528
[pid=11428] ppid=11426 vsize=397484 CPUtime=2.17 cores=1,3,5,7
/proc/11428/stat : 11428 (strangenight1-m) R 11426 11428 11396 0 -1 4202496 52553 0 0 0 202 15 0 0 17 0 4 0 650498093 407023616 45945 33554432000 4194304 4650419 140735691018624 18446744073709551615 4371358 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/11428/statm: 99371 45945 368 112 0 94336 0
[pid=11428/tid=11429] ppid=11426 vsize=397484 CPUtime=0.63 cores=1,3,5,7
/proc/11428/task/11429/stat : 11429 (strangenight1-m) R 11426 11428 11396 0 -1 4202560 11900 0 0 0 59 4 0 0 18 0 4 0 650498093 407023616 45945 33554432000 4194304 4650419 140735691018624 18446744073709551615 4371317 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11428/tid=11430] ppid=11426 vsize=397484 CPUtime=0.62 cores=1,3,5,7
/proc/11428/task/11430/stat : 11430 (strangenight1-m) R 11426 11428 11396 0 -1 4202560 12072 0 0 0 58 4 0 0 18 0 4 0 650498093 407023616 45945 33554432000 4194304 4650419 140735691018624 18446744073709551615 4370682 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11428/tid=11431] ppid=11426 vsize=397484 CPUtime=0.55 cores=1,3,5,7
/proc/11428/task/11431/stat : 11431 (strangenight1-m) R 11426 11428 11396 0 -1 4202560 13790 0 0 0 51 4 0 0 17 0 4 0 650498093 407023616 45945 33554432000 4194304 4650419 140735691018624 18446744073709551615 4368084 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.17
Current children cumulated vsize (KiB) 397484

[startup+1.50033 s]
/proc/loadavg: 3.36 3.91 3.87 9/346 11442
/proc/meminfo: memFree=17807200/32951124 swapFree=67082152/67111528
[pid=11428] ppid=11426 vsize=407156 CPUtime=5.36 cores=1,3,5,7
/proc/11428/stat : 11428 (strangenight1-m) R 11426 11428 11396 0 -1 4202496 55014 0 0 0 520 16 0 0 18 0 4 0 650498093 416927744 46387 33554432000 4194304 4650419 140735691018624 18446744073709551615 4370340 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/11428/statm: 101789 46387 373 112 0 96754 0
[pid=11428/tid=11429] ppid=11426 vsize=407156 CPUtime=1.43 cores=1,3,5,7
/proc/11428/task/11429/stat : 11429 (strangenight1-m) R 11426 11428 11396 0 -1 4202560 12577 0 0 0 139 4 0 0 19 0 4 0 650498093 416927744 46387 33554432000 4194304 4650419 140735691018624 18446744073709551615 4370329 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11428/tid=11430] ppid=11426 vsize=407156 CPUtime=1.4 cores=1,3,5,7
/proc/11428/task/11430/stat : 11430 (strangenight1-m) R 11426 11428 11396 0 -1 4202560 13149 0 0 0 136 4 0 0 19 0 4 0 650498093 416927744 46387 33554432000 4194304 4650419 140735691018624 18446744073709551615 4370329 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11428/tid=11431] ppid=11426 vsize=407156 CPUtime=1.35 cores=1,3,5,7
/proc/11428/task/11431/stat : 11431 (strangenight1-m) R 11426 11428 11396 0 -1 4202560 13823 0 0 0 131 4 0 0 19 0 4 0 650498093 416927744 46387 33554432000 4194304 4650419 140735691018624 18446744073709551615 4367391 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 5.36
Current children cumulated vsize (KiB) 407156

[startup+3.10105 s]
/proc/loadavg: 3.36 3.91 3.87 10/346 11442
/proc/meminfo: memFree=17420448/32951124 swapFree=67082152/67111528
[pid=11428] ppid=11426 vsize=407156 CPUtime=11.75 cores=1,3,5,7
/proc/11428/stat : 11428 (strangenight1-m) R 11426 11428 11396 0 -1 4202496 55133 0 0 0 1159 16 0 0 21 0 4 0 650498093 416927744 46506 33554432000 4194304 4650419 140735691018624 18446744073709551615 4370329 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/11428/statm: 101789 46506 373 112 0 96754 0
[pid=11428/tid=11429] ppid=11426 vsize=407156 CPUtime=3.03 cores=1,3,5,7
/proc/11428/task/11429/stat : 11429 (strangenight1-m) R 11426 11428 11396 0 -1 4202560 12577 0 0 0 299 4 0 0 24 0 4 0 650498093 416927744 46506 33554432000 4194304 4650419 140735691018624 18446744073709551615 4371306 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11428/tid=11430] ppid=11426 vsize=407156 CPUtime=2.99 cores=1,3,5,7
/proc/11428/task/11430/stat : 11430 (strangenight1-m) R 11426 11428 11396 0 -1 4202560 13149 0 0 0 295 4 0 0 23 0 4 0 650498093 416927744 46506 33554432000 4194304 4650419 140735691018624 18446744073709551615 4370329 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11428/tid=11431] ppid=11426 vsize=407156 CPUtime=2.95 cores=1,3,5,7
/proc/11428/task/11431/stat : 11431 (strangenight1-m) R 11426 11428 11396 0 -1 4202560 13942 0 0 0 291 4 0 0 22 0 4 0 650498093 416927744 46506 33554432000 4194304 4650419 140735691018624 18446744073709551615 4363339 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 11.75
Current children cumulated vsize (KiB) 407156

[startup+6.30049 s]
/proc/loadavg: 3.73 3.98 3.89 9/346 11442
/proc/meminfo: memFree=17379908/32951124 swapFree=67082152/67111528
[pid=11428] ppid=11426 vsize=407156 CPUtime=24.52 cores=1,3,5,7
/proc/11428/stat : 11428 (strangenight1-m) R 11426 11428 11396 0 -1 4202496 56579 0 0 0 2435 17 0 0 25 0 4 0 650498093 416927744 47952 33554432000 4194304 4650419 140735691018624 18446744073709551615 4369270 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/11428/statm: 101789 47952 374 112 0 96754 0
[pid=11428/tid=11429] ppid=11426 vsize=407156 CPUtime=6.23 cores=1,3,5,7
/proc/11428/task/11429/stat : 11429 (strangenight1-m) R 11426 11428 11396 0 -1 4202560 12577 0 0 0 619 4 0 0 25 0 4 0 650498093 416927744 47952 33554432000 4194304 4650419 140735691018624 18446744073709551615 4370267 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11428/tid=11430] ppid=11426 vsize=407156 CPUtime=6.15 cores=1,3,5,7
/proc/11428/task/11430/stat : 11430 (strangenight1-m) R 11426 11428 11396 0 -1 4202560 13149 0 0 0 611 4 0 0 25 0 4 0 650498093 416927744 47952 33554432000 4194304 4650419 140735691018624 18446744073709551615 4370329 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11428/tid=11431] ppid=11426 vsize=407156 CPUtime=6.16 cores=1,3,5,7
/proc/11428/task/11431/stat : 11431 (strangenight1-m) R 11426 11428 11396 0 -1 4202560 15386 0 0 0 611 5 0 0 25 0 4 0 650498093 416927744 47952 33554432000 4194304 4650419 140735691018624 18446744073709551615 4368084 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 24.52
Current children cumulated vsize (KiB) 407156

[startup+12.7004 s]
/proc/loadavg: 4.07 4.04 3.92 9/346 11442
/proc/meminfo: memFree=17376352/32951124 swapFree=67082152/67111528
[pid=11428] ppid=11426 vsize=407156 CPUtime=50.04 cores=1,3,5,7
/proc/11428/stat : 11428 (strangenight1-m) R 11426 11428 11396 0 -1 4202496 57007 0 0 0 4987 17 0 0 25 0 4 0 650498093 416927744 48380 33554432000 4194304 4650419 140735691018624 18446744073709551615 4370329 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/11428/statm: 101789 48380 374 112 0 96754 0
[pid=11428/tid=11429] ppid=11426 vsize=407156 CPUtime=12.63 cores=1,3,5,7
/proc/11428/task/11429/stat : 11429 (strangenight1-m) R 11426 11428 11396 0 -1 4202560 12579 0 0 0 1259 4 0 0 25 0 4 0 650498093 416927744 48380 33554432000 4194304 4650419 140735691018624 18446744073709551615 4369360 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11428/tid=11430] ppid=11426 vsize=407156 CPUtime=12.48 cores=1,3,5,7
/proc/11428/task/11430/stat : 11430 (strangenight1-m) R 11426 11428 11396 0 -1 4202560 13163 0 0 0 1244 4 0 0 25 0 4 0 650498093 416927744 48380 33554432000 4194304 4650419 140735691018624 18446744073709551615 4369376 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11428/tid=11431] ppid=11426 vsize=407156 CPUtime=12.55 cores=1,3,5,7
/proc/11428/task/11431/stat : 11431 (strangenight1-m) R 11426 11428 11396 0 -1 4202560 15798 0 0 0 1250 5 0 0 25 0 4 0 650498093 416927744 48380 33554432000 4194304 4650419 140735691018624 18446744073709551615 4364340 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 50.04
Current children cumulated vsize (KiB) 407156

[startup+25.5011 s]
/proc/loadavg: 4.94 4.24 3.98 9/346 11442
/proc/meminfo: memFree=17045164/32951124 swapFree=67082152/67111528
[pid=11428] ppid=11426 vsize=521324 CPUtime=101.09 cores=1,3,5,7
/proc/11428/stat : 11428 (strangenight1-m) R 11426 11428 11396 0 -1 4202496 101753 0 0 0 10082 27 0 0 25 0 4 0 650498093 533835776 83981 33554432000 4194304 4650419 140735691018624 18446744073709551615 4303973 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/11428/statm: 130331 83981 394 112 0 125296 0
[pid=11428/tid=11429] ppid=11426 vsize=521324 CPUtime=25.42 cores=1,3,5,7
/proc/11428/task/11429/stat : 11429 (strangenight1-m) R 11426 11428 11396 0 -1 4202560 23505 0 0 0 2536 6 0 0 25 0 4 0 650498093 533835776 83981 33554432000 4194304 4650419 140735691018624 18446744073709551615 4363750 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11428/tid=11430] ppid=11426 vsize=521324 CPUtime=25.13 cores=1,3,5,7
/proc/11428/task/11430/stat : 11430 (strangenight1-m) R 11426 11428 11396 0 -1 4202560 25315 0 0 0 2506 7 0 0 25 0 4 0 650498093 533835776 83981 33554432000 4194304 4650419 140735691018624 18446744073709551615 4368084 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11428/tid=11431] ppid=11426 vsize=521324 CPUtime=25.35 cores=1,3,5,7
/proc/11428/task/11431/stat : 11431 (strangenight1-m) R 11426 11428 11396 0 -1 4202560 24421 0 0 0 2529 6 0 0 25 0 4 0 650498093 533835776 83981 33554432000 4194304 4650419 140735691018624 18446744073709551615 4363299 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 101.09
Current children cumulated vsize (KiB) 521324

[startup+51.1006 s]
/proc/loadavg: 6.04 4.55 4.09 9/346 11443
/proc/meminfo: memFree=16672856/32951124 swapFree=67082152/67111528
[pid=11428] ppid=11426 vsize=587744 CPUtime=203.21 cores=1,3,5,7
/proc/11428/stat : 11428 (strangenight1-m) R 11426 11428 11396 0 -1 4202496 134901 0 0 0 20283 38 0 0 25 0 4 0 650498093 601849856 106508 33554432000 4194304 4650419 140735691018624 18446744073709551615 4369244 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/11428/statm: 146936 106508 395 112 0 141901 0
[pid=11428/tid=11429] ppid=11426 vsize=587744 CPUtime=51.02 cores=1,3,5,7
/proc/11428/task/11429/stat : 11429 (strangenight1-m) R 11426 11428 11396 0 -1 4202560 32047 0 0 0 5093 9 0 0 25 0 4 0 650498093 601849856 106508 33554432000 4194304 4650419 140735691018624 18446744073709551615 4236891 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11428/tid=11430] ppid=11426 vsize=587744 CPUtime=50.46 cores=1,3,5,7
/proc/11428/task/11430/stat : 11430 (strangenight1-m) R 11426 11428 11396 0 -1 4202560 27267 0 0 0 5038 8 0 0 25 0 4 0 650498093 601849856 106508 33554432000 4194304 4650419 140735691018624 18446744073709551615 4363411 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11428/tid=11431] ppid=11426 vsize=587744 CPUtime=50.95 cores=1,3,5,7
/proc/11428/task/11431/stat : 11431 (strangenight1-m) R 11426 11428 11396 0 -1 4202560 26966 0 0 0 5087 8 0 0 25 0 4 0 650498093 601849856 106508 33554432000 4194304 4650419 140735691018624 18446744073709551615 4363531 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 203.21
Current children cumulated vsize (KiB) 587744

[startup+102.314 s]
/proc/loadavg: 7.46 5.17 4.33 9/346 11447
/proc/meminfo: memFree=15190428/32951124 swapFree=67082152/67111528
[pid=11428] ppid=11426 vsize=2211172 CPUtime=407.44 cores=1,3,5,7
/proc/11428/stat : 11428 (strangenight1-m) R 11426 11428 11396 0 -1 4202496 523316 0 0 0 40600 144 0 0 25 0 4 0 650498093 2264240128 474069 33554432000 4194304 4650419 140735691018624 18446744073709551615 4419151 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/11428/statm: 552793 474069 395 112 0 547758 0
[pid=11428/tid=11429] ppid=11426 vsize=2211172 CPUtime=102.23 cores=1,3,5,7
/proc/11428/task/11429/stat : 11429 (strangenight1-m) R 11426 11428 11396 0 -1 4202560 108305 0 0 0 10191 32 0 0 25 0 4 0 650498093 2264240128 474069 33554432000 4194304 4650419 140735691018624 18446744073709551615 4364883 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11428/tid=11430] ppid=11426 vsize=2211172 CPUtime=101.09 cores=1,3,5,7
/proc/11428/task/11430/stat : 11430 (strangenight1-m) R 11426 11428 11396 0 -1 4202560 126026 0 0 0 10074 35 0 0 25 0 4 0 650498093 2264240128 474069 33554432000 4194304 4650419 140735691018624 18446744073709551615 4363762 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11428/tid=11431] ppid=11426 vsize=2211172 CPUtime=102.15 cores=1,3,5,7
/proc/11428/task/11431/stat : 11431 (strangenight1-m) R 11426 11428 11396 0 -1 4202560 180780 0 0 0 10168 47 0 0 25 0 4 0 650498093 2264240128 474069 33554432000 4194304 4650419 140735691018624 18446744073709551615 4363693 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 407.44
Current children cumulated vsize (KiB) 2211172

[startup+162.301 s]

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


[startup+702.3 s]
/proc/loadavg: 8.09 7.68 6.10 9/346 11463
/proc/meminfo: memFree=12156464/32951124 swapFree=67082152/67111528
[pid=11428] ppid=11426 vsize=2650608 CPUtime=2800.87 cores=1,3,5,7
/proc/11428/stat : 11428 (strangenight1-m) R 11426 11428 11396 0 -1 4202496 772722 0 0 0 279845 242 0 0 25 0 4 0 650498093 2714222592 565935 33554432000 4194304 4650419 140735691018624 18446744073709551615 4363452 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/11428/statm: 662652 565935 395 112 0 657617 0
[pid=11428/tid=11429] ppid=11426 vsize=2650608 CPUtime=702.21 cores=1,3,5,7
/proc/11428/task/11429/stat : 11429 (strangenight1-m) R 11426 11428 11396 0 -1 4202560 169902 0 0 0 70165 56 0 0 25 0 4 0 650498093 2714222592 565935 33554432000 4194304 4650419 140735691018624 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11428/tid=11430] ppid=11426 vsize=2650608 CPUtime=701.01 cores=1,3,5,7
/proc/11428/task/11430/stat : 11430 (strangenight1-m) R 11426 11428 11396 0 -1 4202560 206075 0 0 0 70034 67 0 0 25 0 4 0 650498093 2714222592 565935 33554432000 4194304 4650419 140735691018624 18446744073709551615 4303940 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11428/tid=11431] ppid=11426 vsize=2650608 CPUtime=695.68 cores=1,3,5,7
/proc/11428/task/11431/stat : 11431 (strangenight1-m) R 11426 11428 11396 0 -1 4202560 230368 0 0 0 69502 66 0 0 25 0 4 0 650498093 2714222592 565935 33554432000 4194304 4650419 140735691018624 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2800.87
Current children cumulated vsize (KiB) 2650608

[startup+762.313 s]
/proc/loadavg: 8.03 7.73 6.21 9/346 11465
/proc/meminfo: memFree=12102952/32951124 swapFree=67082152/67111528
[pid=11428] ppid=11426 vsize=2651236 CPUtime=3040.27 cores=1,3,5,7
/proc/11428/stat : 11428 (strangenight1-m) R 11426 11428 11396 0 -1 4202496 787682 0 0 0 303777 250 0 0 25 0 4 0 650498093 2714865664 569677 33554432000 4194304 4650419 140735691018624 18446744073709551615 4364849 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/11428/statm: 662809 569677 395 112 0 657774 0
[pid=11428/tid=11429] ppid=11426 vsize=2651236 CPUtime=762.22 cores=1,3,5,7
/proc/11428/task/11429/stat : 11429 (strangenight1-m) R 11426 11428 11396 0 -1 4202560 175452 0 0 0 76163 59 0 0 25 0 4 0 650498093 2714865664 569677 33554432000 4194304 4650419 140735691018624 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11428/tid=11430] ppid=11426 vsize=2651236 CPUtime=761.02 cores=1,3,5,7
/proc/11428/task/11430/stat : 11430 (strangenight1-m) R 11426 11428 11396 0 -1 4202560 212124 0 0 0 76032 70 0 0 25 0 4 0 650498093 2714865664 569677 33554432000 4194304 4650419 140735691018624 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11428/tid=11431] ppid=11426 vsize=2651236 CPUtime=755.03 cores=1,3,5,7
/proc/11428/task/11431/stat : 11431 (strangenight1-m) R 11426 11428 11396 0 -1 4202560 230743 0 0 0 75437 66 0 0 25 0 4 0 650498093 2714865664 569677 33554432000 4194304 4650419 140735691018624 18446744073709551615 4364400 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3040.27
Current children cumulated vsize (KiB) 2651236

[startup+822.3 s]
/proc/loadavg: 8.08 7.79 6.33 9/346 11466
/proc/meminfo: memFree=12009892/32951124 swapFree=67082152/67111528
[pid=11428] ppid=11426 vsize=2667396 CPUtime=3279.58 cores=1,3,5,7
/proc/11428/stat : 11428 (strangenight1-m) R 11426 11428 11396 0 -1 4202496 806276 0 0 0 327700 258 0 0 25 0 4 0 650498093 2731413504 581357 33554432000 4194304 4650419 140735691018624 18446744073709551615 4365346 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/11428/statm: 666849 581357 395 112 0 661814 0
[pid=11428/tid=11429] ppid=11426 vsize=2667396 CPUtime=822.21 cores=1,3,5,7
/proc/11428/task/11429/stat : 11429 (strangenight1-m) R 11426 11428 11396 0 -1 4202560 182355 0 0 0 82159 62 0 0 25 0 4 0 650498093 2731413504 581357 33554432000 4194304 4650419 140735691018624 18446744073709551615 4368121 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11428/tid=11430] ppid=11426 vsize=2667396 CPUtime=821.01 cores=1,3,5,7
/proc/11428/task/11430/stat : 11430 (strangenight1-m) R 11426 11428 11396 0 -1 4202560 218271 0 0 0 82028 73 0 0 25 0 4 0 650498093 2731413504 581357 33554432000 4194304 4650419 140735691018624 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11428/tid=11431] ppid=11426 vsize=2667396 CPUtime=814.37 cores=1,3,5,7
/proc/11428/task/11431/stat : 11431 (strangenight1-m) R 11426 11428 11396 0 -1 4202560 230764 0 0 0 81370 67 0 0 25 0 4 0 650498093 2731413504 581357 33554432000 4194304 4650419 140735691018624 18446744073709551615 4368288 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3279.58
Current children cumulated vsize (KiB) 2667396

[startup+882.301 s]
/proc/loadavg: 8.03 7.83 6.43 9/346 11468
/proc/meminfo: memFree=11936664/32951124 swapFree=67082152/67111528
[pid=11428] ppid=11426 vsize=2715644 CPUtime=3518.92 cores=1,3,5,7
/proc/11428/stat : 11428 (strangenight1-m) R 11426 11428 11396 0 -1 4202496 833206 0 0 0 351625 267 0 0 25 0 4 0 650498093 2780819456 589931 33554432000 4194304 4650419 140735691018624 18446744073709551615 4365289 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/11428/statm: 678911 589931 395 112 0 673876 0
[pid=11428/tid=11429] ppid=11426 vsize=2715644 CPUtime=882.21 cores=1,3,5,7
/proc/11428/task/11429/stat : 11429 (strangenight1-m) R 11426 11428 11396 0 -1 4202560 188395 0 0 0 88156 65 0 0 25 0 4 0 650498093 2780819456 589931 33554432000 4194304 4650419 140735691018624 18446744073709551615 4363510 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11428/tid=11430] ppid=11426 vsize=2715644 CPUtime=881.02 cores=1,3,5,7
/proc/11428/task/11430/stat : 11430 (strangenight1-m) R 11426 11428 11396 0 -1 4202560 228492 0 0 0 88026 76 0 0 25 0 4 0 650498093 2780819456 589931 33554432000 4194304 4650419 140735691018624 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11428/tid=11431] ppid=11426 vsize=2715644 CPUtime=873.72 cores=1,3,5,7
/proc/11428/task/11431/stat : 11431 (strangenight1-m) R 11426 11428 11396 0 -1 4202560 235586 0 0 0 87303 69 0 0 25 0 4 0 650498093 2780819456 589931 33554432000 4194304 4650419 140735691018624 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3518.92
Current children cumulated vsize (KiB) 2715644

[startup+942.3 s]
/proc/loadavg: 8.01 7.86 6.52 9/346 11470
/proc/meminfo: memFree=11766440/32951124 swapFree=67082152/67111528
[pid=11428] ppid=11426 vsize=2814292 CPUtime=3758.28 cores=1,3,5,7
/proc/11428/stat : 11428 (strangenight1-m) R 11426 11428 11396 0 -1 4202496 856151 0 0 0 375550 278 0 0 25 0 4 0 650498093 2881835008 601209 33554432000 4194304 4650419 140735691018624 18446744073709551615 4335219 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/11428/statm: 703573 601209 395 112 0 698538 0
[pid=11428/tid=11429] ppid=11426 vsize=2814292 CPUtime=942.22 cores=1,3,5,7
/proc/11428/task/11429/stat : 11429 (strangenight1-m) R 11426 11428 11396 0 -1 4202560 194576 0 0 0 94154 68 0 0 25 0 4 0 650498093 2881835008 601209 33554432000 4194304 4650419 140735691018624 18446744073709551615 4364340 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11428/tid=11430] ppid=11426 vsize=2814292 CPUtime=941.01 cores=1,3,5,7
/proc/11428/task/11430/stat : 11430 (strangenight1-m) R 11426 11428 11396 0 -1 4202560 236593 0 0 0 94022 79 0 0 25 0 4 0 650498093 2881835008 601209 33554432000 4194304 4650419 140735691018624 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11428/tid=11431] ppid=11426 vsize=2814292 CPUtime=933.06 cores=1,3,5,7
/proc/11428/task/11431/stat : 11431 (strangenight1-m) R 11426 11428 11396 0 -1 4202560 238123 0 0 0 93237 69 0 0 25 0 4 0 650498093 2881835008 601209 33554432000 4194304 4650419 140735691018624 18446744073709551615 4363335 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3758.28
Current children cumulated vsize (KiB) 2814292

[startup+1002.3 s]
/proc/loadavg: 8.07 7.90 6.62 9/346 11471
/proc/meminfo: memFree=11698920/32951124 swapFree=67082152/67111528
[pid=11428] ppid=11426 vsize=2896660 CPUtime=3997.63 cores=1,3,5,7
/proc/11428/stat : 11428 (strangenight1-m) R 11426 11428 11396 0 -1 4202496 871093 0 0 0 399478 285 0 0 25 0 4 0 650498093 2966179840 608727 33554432000 4194304 4650419 140735691018624 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/11428/statm: 724165 608727 395 112 0 719130 0
[pid=11428/tid=11429] ppid=11426 vsize=2896660 CPUtime=1002.22 cores=1,3,5,7
/proc/11428/task/11429/stat : 11429 (strangenight1-m) R 11426 11428 11396 0 -1 4202560 198684 0 0 0 100152 70 0 0 25 0 4 0 650498093 2966179840 608727 33554432000 4194304 4650419 140735691018624 18446744073709551615 4335216 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11428/tid=11430] ppid=11426 vsize=2896660 CPUtime=1001.02 cores=1,3,5,7
/proc/11428/task/11430/stat : 11430 (strangenight1-m) R 11426 11428 11396 0 -1 4202560 240803 0 0 0 100020 82 0 0 25 0 4 0 650498093 2966179840 608727 33554432000 4194304 4650419 140735691018624 18446744073709551615 4363444 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11428/tid=11431] ppid=11426 vsize=2896660 CPUtime=992.41 cores=1,3,5,7
/proc/11428/task/11431/stat : 11431 (strangenight1-m) R 11426 11428 11396 0 -1 4202560 240584 0 0 0 99171 70 0 0 25 0 4 0 650498093 2966179840 608727 33554432000 4194304 4650419 140735691018624 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3997.63
Current children cumulated vsize (KiB) 2896660

[startup+1062.3 s]
/proc/loadavg: 8.09 7.93 6.71 9/346 11473
/proc/meminfo: memFree=11649876/32951124 swapFree=67082152/67111528
[pid=11428] ppid=11426 vsize=2848168 CPUtime=4236.98 cores=1,3,5,7
/proc/11428/stat : 11428 (strangenight1-m) R 11426 11428 11396 0 -1 4202496 886913 0 0 0 423407 291 0 0 25 0 4 0 650498093 2916524032 614743 33554432000 4194304 4650419 140735691018624 18446744073709551615 4363420 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/11428/statm: 712042 614743 395 112 0 707007 0
[pid=11428/tid=11429] ppid=11426 vsize=2848168 CPUtime=1062.21 cores=1,3,5,7
/proc/11428/task/11429/stat : 11429 (strangenight1-m) R 11426 11428 11396 0 -1 4202560 201249 0 0 0 106151 70 0 0 25 0 4 0 650498093 2916524032 614743 33554432000 4194304 4650419 140735691018624 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11428/tid=11430] ppid=11426 vsize=2848168 CPUtime=1061.02 cores=1,3,5,7
/proc/11428/task/11430/stat : 11430 (strangenight1-m) R 11426 11428 11396 0 -1 4202560 245663 0 0 0 106018 84 0 0 25 0 4 0 650498093 2916524032 614743 33554432000 4194304 4650419 140735691018624 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11428/tid=11431] ppid=11426 vsize=2848168 CPUtime=1051.76 cores=1,3,5,7
/proc/11428/task/11431/stat : 11431 (strangenight1-m) R 11426 11428 11396 0 -1 4202560 243111 0 0 0 105105 71 0 0 25 0 4 0 650498093 2916524032 614743 33554432000 4194304 4650419 140735691018624 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4236.98
Current children cumulated vsize (KiB) 2848168

[startup+1122.3 s]
/proc/loadavg: 8.09 7.96 6.79 9/346 11474
/proc/meminfo: memFree=11611020/32951124 swapFree=67082152/67111528
[pid=11428] ppid=11426 vsize=2848208 CPUtime=4476.33 cores=1,3,5,7
/proc/11428/stat : 11428 (strangenight1-m) R 11426 11428 11396 0 -1 4202496 901217 0 0 0 447334 299 0 0 25 0 4 0 650498093 2916564992 615130 33554432000 4194304 4650419 140735691018624 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/11428/statm: 712052 615130 395 112 0 707017 0
[pid=11428/tid=11429] ppid=11426 vsize=2848208 CPUtime=1122.22 cores=1,3,5,7
/proc/11428/task/11429/stat : 11429 (strangenight1-m) R 11426 11428 11396 0 -1 4202560 205328 0 0 0 112149 73 0 0 25 0 4 0 650498093 2916564992 615130 33554432000 4194304 4650419 140735691018624 18446744073709551615 4370697 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11428/tid=11430] ppid=11426 vsize=2848208 CPUtime=1121.02 cores=1,3,5,7
/proc/11428/task/11430/stat : 11430 (strangenight1-m) R 11426 11428 11396 0 -1 4202560 250210 0 0 0 112016 86 0 0 25 0 4 0 650498093 2916564992 615130 33554432000 4194304 4650419 140735691018624 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11428/tid=11431] ppid=11426 vsize=2848208 CPUtime=1111.1 cores=1,3,5,7
/proc/11428/task/11431/stat : 11431 (strangenight1-m) R 11426 11428 11396 0 -1 4202560 244492 0 0 0 111038 72 0 0 25 0 4 0 650498093 2916564992 615130 33554432000 4194304 4650419 140735691018624 18446744073709551615 4365477 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4476.33
Current children cumulated vsize (KiB) 2848208

[startup+1182.3 s]
/proc/loadavg: 8.03 7.96 6.86 9/346 11476
/proc/meminfo: memFree=11592072/32951124 swapFree=67082152/67111528
[pid=11428] ppid=11426 vsize=2948160 CPUtime=4715.68 cores=1,3,5,7
/proc/11428/stat : 11428 (strangenight1-m) R 11426 11428 11396 0 -1 4202496 914160 0 0 0 471264 304 0 0 25 0 4 0 650498093 3018915840 628073 33554432000 4194304 4650419 140735691018624 18446744073709551615 4328256 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/11428/statm: 737040 628073 395 112 0 732005 0
[pid=11428/tid=11429] ppid=11426 vsize=2948160 CPUtime=1182.22 cores=1,3,5,7
/proc/11428/task/11429/stat : 11429 (strangenight1-m) R 11426 11428 11396 0 -1 4202560 210330 0 0 0 118147 75 0 0 25 0 4 0 650498093 3018915840 628073 33554432000 4194304 4650419 140735691018624 18446744073709551615 4368084 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11428/tid=11430] ppid=11426 vsize=2948160 CPUtime=1181.02 cores=1,3,5,7
/proc/11428/task/11430/stat : 11430 (strangenight1-m) R 11426 11428 11396 0 -1 4202560 253152 0 0 0 118015 87 0 0 25 0 4 0 650498093 3018915840 628073 33554432000 4194304 4650419 140735691018624 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11428/tid=11431] ppid=11426 vsize=2948160 CPUtime=1170.46 cores=1,3,5,7
/proc/11428/task/11431/stat : 11431 (strangenight1-m) R 11426 11428 11396 0 -1 4202560 244658 0 0 0 116973 73 0 0 25 0 4 0 650498093 3018915840 628073 33554432000 4194304 4650419 140735691018624 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4715.68
Current children cumulated vsize (KiB) 2948160



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.5 s]
/proc/loadavg: 8.02 7.96 6.89 9/346 11477
/proc/meminfo: memFree=11568132/32951124 swapFree=67082152/67111528
[pid=11428] ppid=11426 vsize=2982424 CPUtime=4800.26 cores=1,3,5,7
/proc/11428/stat : 11428 (strangenight1-m) R 11426 11428 11396 0 -1 4202496 920433 0 0 0 479719 307 0 0 25 0 4 0 650498093 3054002176 630898 33554432000 4194304 4650419 140735691018624 18446744073709551615 4366906 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/11428/statm: 745606 630898 395 112 0 740571 0
[pid=11428/tid=11429] ppid=11426 vsize=2982424 CPUtime=1203.43 cores=1,3,5,7
/proc/11428/task/11429/stat : 11429 (strangenight1-m) R 11426 11428 11396 0 -1 4202560 212959 0 0 0 120267 76 0 0 25 0 4 0 650498093 3054002176 630899 33554432000 4194304 4650419 140735691018624 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11428/tid=11430] ppid=11426 vsize=2982424 CPUtime=1202.23 cores=1,3,5,7
/proc/11428/task/11430/stat : 11430 (strangenight1-m) R 11426 11428 11396 0 -1 4202560 254110 0 0 0 120135 88 0 0 25 0 4 0 650498093 3054002176 630899 33554432000 4194304 4650419 140735691018624 18446744073709551615 4364352 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11428/tid=11431] ppid=11426 vsize=2982424 CPUtime=1191.42 cores=1,3,5,7
/proc/11428/task/11431/stat : 11431 (strangenight1-m) R 11426 11428 11396 0 -1 4202560 244658 0 0 0 119069 73 0 0 25 0 4 0 650498093 3054002176 630899 33554432000 4194304 4650419 140735691018624 18446744073709551615 4363522 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.26
Current children cumulated vsize (KiB) 2982424

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

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

[startup+1203.62 s]
/proc/loadavg: 8.02 7.96 6.89 9/346 11477
/proc/meminfo: memFree=11568132/32951124 swapFree=67082152/67111528
[pid=11428] ppid=11426 vsize=0 CPUtime=4800.4 cores=1,3,5,7
/proc/11428/stat : 11428 (strangenight1-m) Z 11426 11428 11396 0 -1 4203548 920434 0 0 0 479723 317 0 0 25 0 2 0 650498093 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/11428/statm: 0 0 0 0 0 0 0
[pid=11428/tid=11431] ppid=11426 vsize=0 CPUtime=1191.53 cores=1,3,5,7
/proc/11428/task/11431/stat : 11431 (strangenight1-m) R 11426 11428 11396 0 -1 4203588 244658 0 0 0 119070 83 0 0 25 0 2 0 650498093 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.4
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.63
CPU time (s): 4800.42
CPU user time (s): 4797.24
CPU system time (s): 3.18152
CPU usage (%): 398.829
Max. virtual memory (cumulated for all children) (KiB): 2982424

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.24
system time used= 3.18152
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 920434
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= 20715
involuntary context switches= 30241

runsolver used 3.48447 second user time and 9.70452 second system time

The end

Launcher Data 

Begin job on node136 at 2011-05-14 18:03:21
IDJOB=3369635
IDBENCH=20406
IDSOLVER=1846
FILE ID=node136/3369635-1305389001
RUNJOBID= node136-1305389001-11415
PBS_JOBID= 13324431
Free space on /tmp= 72984 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt (fixed)
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-3369635-1305389001/watcher-3369635-1305389001 -o /tmp/evaluation-result-3369635-1305389001/solver-3369635-1305389001 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3369635-1305389001.cnf

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

MD5SUM BENCH= 0683489092a5eb0c881dd17c2c45d08e
RANDOM SEED=284717251

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

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.809
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.809
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.76
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.809
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.809
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.809
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.809
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.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      18191720 kB
Buffers:        286888 kB
Cached:        5010184 kB
SwapCached:       2740 kB
Active:       10531220 kB
Inactive:      3883344 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      18191720 kB
SwapTotal:    67111528 kB
SwapFree:     67082152 kB
Dirty:           20004 kB
Writeback:           0 kB
AnonPages:     9115748 kB
Mapped:          26700 kB
Slab:           237948 kB
PageTables:      39380 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 69860892 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= 72956 MiB
End job on node136 at 2011-05-14 18:23:27