Trace number 3393954

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

NameAPPLICATIONS/crypto/
md5gen/gus-md5-12.cnf
MD5SUM0621e557bffdc18ca509447665adecda
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 variables69553
Number of clauses226752
Sum of the clauses size587624
Maximum clause length3
Minimum clause length1
Number of clauses of size 1129
Number of clauses of size 292374
Number of clauses of size 3134249
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.01	c Using 8 threads
0.00/0.02	c This is CryptoMiniSat 3.0.0
0.00/0.02	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.02	c Reading file 'HOME/instance-3393954-1306075163.cnf'
1.57/0.39	c -- clauses added:            0 learnts,       226752 normals,            0 xors
1.57/0.39	c -- vars added      69553
1.57/0.39	c Parsing time:  0.13 s
1.57/0.39	c  N st     0         0     69553    133736     92373         0    585954         0   no data   no data
1.57/0.55	c asymm  cl-useful: 2/133736/133736 lits-rem:6 time: 0.15
1.57/0.77	c Flit:    12 Blit:    101 bXBeca:    0 bXProp: 5504 Bins:      0 BRemL:      0 BRemN:      0 P:  2.3M T:  0.23
1.57/0.77	c Cleaning up after failed var search:     0.00 s 
3.44/0.82	c Replacing     5504 vars Replaced    69987 lits Time:     0.04 s 
6.11/1.01	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
6.11/1.02	c bin-w-bin subsume rem           10 bins  time:  0.01 s
7.07/1.05	c subs with bin:       78  lits-rem:        52  v-fix:    0  time:  0.03 s
7.07/1.10	c Subs w/ non-existent bins:     12 l-rem:      8 v-fix:     0 done:  63684 time:  0.05 s
7.67/1.16	c Removed useless bin:       2  fixed:     0  props:   1.67M  time:  0.05 s
10.65/1.51	c lits-rem:         0  cl-subs:     5601  v-elim:  21228  v-fix:    0  time:  0.29 s
10.65/1.53	c Finding binary XORs  T:     0.01 s  found:       0
11.45/1.61	c Finding non-binary XORs:     0.05 s (found:   23090, avg size: 3.0)
11.45/1.61	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:   8762 locsubst:    58 time:   0.03
11.45/1.62	c calculated reachability. Time: 0.00
11.45/1.62	c Calc default polars -  time:   0.00 s pos:    8309 undec:   35956 neg:   25288
11.45/1.62	c =========================================================================================
11.45/1.62	c types(t): F = full restart, N = normal restart
11.45/1.62	c types(t): S = simplification begin/end, E = solution found
11.45/1.62	c restart types(rt): st = static, dy = dynamic
11.45/1.62	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
11.45/1.62	c  B st     0         0     33694     56266     23417         0    267373         0   no data   no data
13.05/1.86	c Decided on static restart strategy
42.58/5.53	c  N st     8      4914     33686     56266     23605      4590    267373    199933   no data   no data
163.89/20.73	c  N st    10     11296     33675     56266     24760     10739    267373    963389   no data   no data
163.89/20.75	c Finding binary XORs  T:     0.01 s  found:      48
255.04/32.17	c  N st    11     17040     33674     56198     24773     16302    267161   1577848   no data   no data
444.07/55.88	c Finding binary XORs  T:     0.01 s  found:      59
464.02/58.37	c  F st    12     25000     33645     56108     25519     15521    266865    503230   no data   no data
464.82/58.41	c Replacing      141 vars Replaced    30652 lits Time:     0.03 s 
464.82/58.45	c  N st    12     25000     33498     56072     25106     15477    266270    501135   no data   no data
553.55/69.57	c Decided on static restart strategy
553.55/69.57	c  N st    18     30001     33498     56072     25116     20323    266270    822305   no data   no data
553.55/69.57	c  S st    18     30001     33498     56072     25116     20323    266270    822305   no data   no data
554.35/69.66	c  S st    18     30503     33495     56072     25296     20796    266270    830700   no data   no data
554.35/69.68	c x-sub:    29 x-cut:      0 vfix:      0 v-elim:    242 locsubst:    10 time:   0.02
555.79/69.88	c Flit:     0 Blit:      4 bXBeca:    0 bXProp:   87 Bins:   8567 BRemL:   2437 BRemN:     15 P:  3.5M T:  0.19
556.59/69.91	c Replacing       97 vars Replaced     7215 lits Time:     0.03 s 
556.59/69.93	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
556.59/69.93	c bin-w-bin subsume rem          322 bins  time:  0.01 s
556.59/69.95	c subs with bin:     1763  lits-rem:        20  v-fix:    0  time:  0.01 s
556.59/69.97	c Subs w/ non-existent bins:      1 l-rem:      0 v-fix:     0 done:  33148 time:  0.02 s
556.59/69.99	c Removed useless bin:      33  fixed:     0  props:   0.46M  time:  0.02 s
557.39/70.05	c lits-rem:         0  cl-subs:       78  v-elim:   4540  v-fix:    0  time:  0.06 s
558.19/70.10	c subs with bin:       74  lits-rem:      5554  v-fix:    0  time:  0.02 s
559.79/70.31	c lits-rem:      2657  cl-subs:     1391  v-elim:      0  v-fix:    0  time:  0.20 s
559.79/70.39	c asymm  cl-useful: 0/58704/58704 lits-rem:0 time: 0.08
560.59/70.40	c calculated reachability. Time: 0.00
560.59/70.40	c  N st    18     30503     28608     58704     16739     14959    249688    318865   no data   no data
610.86/76.70	c Finding binary XORs  T:     0.01 s  found:      36
689.89/86.67	c  N st    20     37616     28608     58704     16741     21976    249688   1288315   no data   no data
689.89/86.68	c Finding binary XORs  T:     0.01 s  found:       6
800.83/100.55	c  N st    21     44015     28608     58704     19085     16416    249688    579429   no data   no data
829.58/104.12	c  S st    22     45755     28608     58704     19569     18128    249688    613458   no data   no data
829.58/104.20	c  S st    22     46258     28608     58704     19571     18624    249688    620462   no data   no data
830.37/104.21	c x-sub:     5 x-cut:      0 vfix:      0 v-elim:     65 locsubst:    15 time:   0.02
831.17/104.39	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   47 Bins:    191 BRemL:   1931 BRemN:      6 P:  2.5M T:  0.17
831.97/104.40	c Replacing       94 vars Replaced     1908 lits Time:     0.01 s 
831.97/104.42	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
831.97/104.42	c bin-w-bin subsume rem          911 bins  time:  0.00 s
831.97/104.44	c subs with bin:       19  lits-rem:         0  v-fix:    0  time:  0.01 s
831.97/104.45	c Subs w/ non-existent bins:      2 l-rem:      0 v-fix:     0 done:  28449 time:  0.01 s
831.97/104.46	c Removed useless bin:       0  fixed:     0  props:   0.28M  time:  0.01 s
831.97/104.49	c lits-rem:         0  cl-subs:       77  v-elim:     33  v-fix:    0  time:  0.03 s
832.77/104.53	c subs with bin:        9  lits-rem:       253  v-fix:    0  time:  0.02 s
833.57/104.69	c lits-rem:       563  cl-subs:      608  v-elim:      0  v-fix:    0  time:  0.15 s
833.57/104.69	c vivif2 --  cl tried    58602 cl shrink        0 lits rem          0 time: 0.00
834.51/104.73	c vivif2 --  cl tried    17087 cl shrink     1886 lits rem       2789 time: 0.01
834.51/104.81	c asymm  cl-useful: 0/58602/58602 lits-rem:0 time: 0.09
835.32/104.82	c calculated reachability. Time: 0.00
835.32/104.82	c  N st    22     46258     28416     58602     16670     17084    248837    341223   no data   no data
1118.50/140.34	c  N st    23     60655     28416     58602     16673     31219    248837   2620236   no data   no data
1118.50/140.35	c Finding binary XORs  T:     0.01 s  found:      26
1294.10/162.33	c  N st    24     69388     28416     58602     17396     25175    248837   1292924   no data   no data
1294.10/162.33	c  S st    24     69388     28416     58602     17396     25175    248837   1292924   no data   no data
1294.90/162.42	c  S st    24     69890     28416     58602     17776     25673    248837   1301963   no data   no data
1294.90/162.44	c x-sub:     6 x-cut:      0 vfix:      0 v-elim:      1 locsubst:    24 time:   0.02
1296.50/162.61	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:  111 Bins:    112 BRemL:    592 BRemN:      2 P:  2.6M T:  0.17
1296.50/162.63	c Replacing      149 vars Replaced     3341 lits Time:     0.02 s 
1296.50/162.65	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1296.50/162.65	c bin-w-bin subsume rem          306 bins  time:  0.00 s
1296.50/162.66	c subs with bin:        7  lits-rem:         1  v-fix:    0  time:  0.01 s
1296.50/162.68	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  28266 time:  0.01 s
1296.50/162.69	c Removed useless bin:       1  fixed:     0  props:   0.28M  time:  0.01 s
1297.30/162.73	c lits-rem:         0  cl-subs:       76  v-elim:     58  v-fix:    0  time:  0.03 s
1298.09/162.84	c subs with bin:       15  lits-rem:       668  v-fix:    0  time:  0.06 s
1303.68/163.52	c lits-rem:      2125  cl-subs:      501  v-elim:      0  v-fix:    0  time:  0.65 s
1303.68/163.52	c vivif2 --  cl tried    58417 cl shrink        0 lits rem          0 time: 0.01
1303.68/163.59	c vivif2 --  cl tried    25156 cl shrink     3630 lits rem       8234 time: 0.06
1304.48/163.68	c asymm  cl-useful: 3/58417/58417 lits-rem:7 time: 0.09
1304.48/163.69	c calculated reachability. Time: 0.00
1304.48/163.69	c  N st    24     69890     28208     58415     16590     25156    247468   1225226   no data   no data
1682.02/210.97	c  F st    25     87501     28208     58415     16590     42474    247468   3742801   no data   no data
1682.82/211.01	c  N st    25     87501     28208     58415     16590     42474    247468   3742801   no data   no data
1682.82/211.02	c Finding binary XORs  T:     0.01 s  found:       6
1777.00/222.88	c Decided on static restart strategy
1824.10/228.74	c  N st    32     95539     28208     58415     16755     32153    247468   1439587   no data   no data
2007.66/251.74	c  N st    34    104835     28208     58415     16773     41324    247468   2907748   no data   no data
2007.66/251.74	c  S st    34    104835     28208     58415     16773     41324    247468   2907748   no data   no data
2008.46/251.84	c  S st    34    105339     28208     58415     16787     41820    247468   2915428   no data   no data
2008.46/251.86	c x-sub:    12 x-cut:      0 vfix:      0 v-elim:      0 locsubst:    34 time:   0.02
2010.07/252.05	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    6 Bins:     18 BRemL:    125 BRemN:      0 P:  3.0M T:  0.19
2010.07/252.06	c Replacing       29 vars Replaced      324 lits Time:     0.02 s 
2010.07/252.08	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2010.07/252.09	c bin-w-bin subsume rem           63 bins  time:  0.01 s
2011.02/252.12	c subs with bin:        3  lits-rem:         0  v-fix:    0  time:  0.01 s
2011.02/252.13	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  28179 time:  0.01 s
2011.02/252.15	c Removed useless bin:       0  fixed:     0  props:   0.28M  time:  0.01 s
2011.02/252.19	c lits-rem:         0  cl-subs:        9  v-elim:      9  v-fix:    0  time:  0.05 s
2013.24/252.49	c subs with bin:       13  lits-rem:       514  v-fix:    0  time:  0.17 s
2030.80/254.61	c lits-rem:      4404  cl-subs:      913  v-elim:      0  v-fix:    0  time:  2.07 s
2030.80/254.61	c vivif2 --  cl tried    58394 cl shrink        0 lits rem          0 time: 0.01
2031.61/254.79	c vivif2 --  cl tried    40894 cl shrink     9230 lits rem      23931 time: 0.17
2033.21/254.90	c asymm  cl-useful: 0/58394/58394 lits-rem:0 time: 0.11
2033.21/254.91	c calculated reachability. Time: 0.00
2033.21/254.91	c  N st    34    105339     28170     58394     16573     40894    247275   2778342   no data   no data
2209.61/277.05	c  N st    35    114938     28170     58394     16573     29819    247275    927719   no data   no data
2492.96/312.56	c  N st    36    129336     28170     58394     16575     43967    247275   2739193   no data   no data
2946.32/369.38	c  N st    37    150931     28170     58394     16636     43145    247275   2657754   no data   no data
3182.58/398.99	c  S st    38    158008     28170     58394     16645     49899    247275   2797394   no data   no data
3184.18/399.12	c  S st    38    158510     28170     58394     16781     50392    247275   2804665   no data   no data
3184.18/399.14	c x-sub:    17 x-cut:      0 vfix:      0 v-elim:      9 locsubst:     0 time:   0.02
3185.78/399.35	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     29 BRemL:    103 BRemN:      0 P:  3.4M T:  0.20
3185.78/399.36	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3185.78/399.37	c bin-w-bin subsume rem           18 bins  time:  0.00 s
3185.78/399.38	c subs with bin:        2  lits-rem:         0  v-fix:    0  time:  0.01 s
3186.58/399.40	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  28161 time:  0.02 s
3186.58/399.41	c Removed useless bin:       0  fixed:     0  props:   0.28M  time:  0.01 s
3186.58/399.46	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.05 s
3191.35/400.06	c subs with bin:     3828  lits-rem:       269  v-fix:    0  time:  0.47 s
3215.29/403.07	c lits-rem:      3636  cl-subs:     1122  v-elim:      0  v-fix:    0  time:  2.94 s
3215.29/403.08	c vivif2 --  cl tried    58392 cl shrink        0 lits rem          0 time: 0.01
3216.90/403.24	c vivif2 --  cl tried    45442 cl shrink     8413 lits rem      24018 time: 0.16
3217.70/403.35	c asymm  cl-useful: 0/58392/58392 lits-rem:0 time: 0.12
3217.70/403.36	c calculated reachability. Time: 0.00
3217.70/403.36	c  N st    38    158510     28161     58392     16689     45442    247184   2641203   no data   no data
4027.85/504.89	c  N st    39    207099     28161     58392     16690     45624    247184   1373413   no data   no data
4640.04/581.52	c  N st    40    237765     28160     58392     16727     50421    247184   2721234   no data   no data
4640.04/581.52	c  S st    40    237765     28160     58392     16727     50421    247184   2721234   no data   no data
4640.83/581.61	c  S st    40    238267     28159     58392     16762     50920    247184   2729496   no data   no data
4640.83/581.64	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
4642.43/581.83	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    4 Bins:     42 BRemL:     56 BRemN:      2 P:  3.0M T:  0.19
4643.23/581.91	c Replacing        6 vars Replaced     3279 lits Time:     0.08 s 
4643.23/581.92	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4643.23/581.93	c bin-w-bin subsume rem           19 bins  time:  0.00 s
4643.23/581.94	c subs with bin:        2  lits-rem:         0  v-fix:    0  time:  0.01 s
4643.23/581.96	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  28153 time:  0.02 s
4643.23/581.97	c Removed useless bin:       0  fixed:     0  props:   0.28M  time:  0.01 s
4644.03/582.02	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.05 s
4645.78/582.26	c subs with bin:       19  lits-rem:       343  v-fix:    0  time:  0.14 s
4672.11/585.53	c lits-rem:      4271  cl-subs:     1038  v-elim:      0  v-fix:    0  time:  3.27 s
4672.11/585.54	c vivif2 --  cl tried    58385 cl shrink        0 lits rem          0 time: 0.00
4672.75/585.68	c vivif2 --  cl tried    49706 cl shrink     7804 lits rem      22041 time: 0.13
4673.55/585.79	c asymm  cl-useful: 1/58385/58385 lits-rem:1 time: 0.12
4674.35/585.80	c calculated reachability. Time: 0.00
4674.35/585.80	c  N st    40    238267     28153     58385     16499     49706    247142   2559608   no data   no data
5645.87/707.60	c  F st    41    306251     28153     58385     16500     61637    247142   3087965   no data   no data
5646.68/707.64	c  N st    41    306251     28153     58385     16500     61637    247142   3087965   no data   no data
5646.68/707.65	c Finding binary XORs  T:     0.01 s  found:       1
5750.30/720.68	c Decided on static restart strategy
6178.11/774.26	c  N st    51    334557     28153     58385     16589     60788    247142   3539513   no data   no data
6621.89/829.80	c  N st    53    357400     28153     58385     16597     53331    247142   1661543   no data   no data
6621.89/829.80	c  S st    53    357400     28153     58385     16597     53331    247142   1661543   no data   no data
6622.69/829.91	c  S st    53    357904     28153     58385     16598     53831    247142   1669884   no data   no data
6622.69/829.93	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
6624.29/830.12	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:     44 BRemN:      0 P:  3.2M T:  0.19
6624.29/830.14	c Replacing        1 vars Replaced       26 lits Time:     0.02 s 
6624.29/830.16	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
6624.29/830.16	c bin-w-bin subsume rem           26 bins  time:  0.01 s
6624.29/830.17	c subs with bin:        1  lits-rem:         0  v-fix:    0  time:  0.01 s
6624.29/830.19	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  28152 time:  0.01 s
6625.09/830.20	c Removed useless bin:       0  fixed:     0  props:   0.28M  time:  0.01 s
6625.09/830.24	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
6625.89/830.40	c subs with bin:        7  lits-rem:        66  v-fix:    0  time:  0.08 s
6633.86/831.32	c lits-rem:      2616  cl-subs:     1091  v-elim:      0  v-fix:    0  time:  0.92 s
6633.86/831.33	c vivif2 --  cl tried    58383 cl shrink        0 lits rem          0 time: 0.01
6634.66/831.41	c vivif2 --  cl tried    52733 cl shrink     4124 lits rem      10802 time: 0.08
6635.46/831.53	c asymm  cl-useful: 0/58383/58383 lits-rem:0 time: 0.12
6635.46/831.54	c calculated reachability. Time: 0.00
6635.46/831.54	c  N st    53    357904     28152     58383     16526     52733    247136   1587622   no data   no data
7287.73/913.22	c  N st    54    390297     28152     58383     16526     53843    247136   1533993   no data   no data
8271.87/1036.53	c  N st    55    438886     28152     58383     16533     69962    247136   4482444   no data   no data
9275.82/1162.34	c  N st    56    511768     28152     58383     16632     75216    247136   5164178   no data   no data
9733.98/1219.74	c  N st    57    536856     28152     58383     16651     64958    247136   2554832   no data   no data
9733.98/1219.74	c  S st    57    536856     28152     58383     16651     64958    247136   2554832   no data   no data
9734.78/1219.87	c  S st    57    537362     28152     58383     16880     65452    247136   2563392   no data   no data
9734.78/1219.89	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
9736.37/1220.10	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bins:      6 BRemL:    204 BRemN:      0 P:  3.4M T:  0.21
9737.31/1220.12	c Replacing        1 vars Replaced      312 lits Time:     0.02 s 
9737.31/1220.14	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
9737.31/1220.14	c bin-w-bin subsume rem           29 bins  time:  0.01 s
9737.31/1220.16	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
9737.31/1220.17	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  28151 time:  0.02 s
9737.31/1220.19	c Removed useless bin:       0  fixed:     0  props:   0.29M  time:  0.01 s
9738.11/1220.24	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.05 s
9739.55/1220.49	c subs with bin:        7  lits-rem:       202  v-fix:    0  time:  0.15 s
9764.46/1223.59	c lits-rem:      5681  cl-subs:      976  v-elim:      0  v-fix:    0  time:  3.09 s
9764.46/1223.59	c vivif2 --  cl tried    58383 cl shrink        0 lits rem          0 time: 0.01
9765.89/1223.73	c vivif2 --  cl tried    64469 cl shrink     6724 lits rem      19402 time: 0.14
9766.69/1223.87	c asymm  cl-useful: 0/58383/58383 lits-rem:0 time: 0.13
9766.69/1223.88	c calculated reachability. Time: 0.00
9766.69/1223.88	c  N st    57    537362     28151     58383     16651     64469    247136   2449962   no data   no data
13104.59/1642.14	c  N st    58    701346     28151     58383     16651     76747    247136   2155708   no data   no data
15467.20/1938.14	c  N st    59    806043     28151     58383     16673     99884    247136   3242978   no data   no data
15467.20/1938.14	c  S st    59    806043     28151     58383     16673     99884    247136   3242978   no data   no data
15468.80/1938.33	c  S st    59    806546     28150     58383     16697    100378    247136   3249580   no data   no data
15468.80/1938.35	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
15470.54/1938.59	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bins:    107 BRemL:     80 BRemN:      1 P:  4.1M T:  0.24
15471.18/1938.65	c Replacing        2 vars Replaced      448 lits Time:     0.05 s 
15471.18/1938.67	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
15471.18/1938.67	c bin-w-bin subsume rem            6 bins  time:  0.01 s
15471.18/1938.68	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
15471.98/1938.70	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  28148 time:  0.02 s
15471.98/1938.72	c Removed useless bin:       0  fixed:     0  props:   0.29M  time:  0.01 s
15471.98/1938.78	c lits-rem:         0  cl-subs:        1  v-elim:      0  v-fix:    0  time:  0.06 s
15474.38/1939.08	c subs with bin:        3  lits-rem:       411  v-fix:    0  time:  0.18 s
15516.68/1944.37	c lits-rem:     10172  cl-subs:     2862  v-elim:      0  v-fix:    0  time:  5.28 s
15516.68/1944.38	c vivif2 --  cl tried    58379 cl shrink        0 lits rem          0 time: 0.01
15518.28/1944.58	c vivif2 --  cl tried    97498 cl shrink    12035 lits rem      31055 time: 0.20
15519.88/1944.76	c asymm  cl-useful: 0/58379/58379 lits-rem:0 time: 0.18
15519.88/1944.78	c calculated reachability. Time: 0.00
15519.88/1944.78	c  N st    59    806546     28148     58379     16668     97498    247115   3097240   no data   no data
15519.88/1944.79	c Finding binary XORs  T:     0.01 s  found:       0
21677.93/2716.23	c  F st    60   1071875     28148     58379     16669     94697    247115   2433811   no data   no data
21677.93/2716.26	c  N st    60   1071875     28148     58379     16669     94697    247115   2433811   no data   no data
21784.72/2729.63	c Decided on static restart strategy
22276.41/2791.20	c  N st    70   1100181     28148     58379     16966     75321    247115    849973   no data   no data
22606.07/2832.55	c  N st    72   1136177     28148     58379     17064    110813    247115   2877091   no data   no data
23252.58/2913.58	c  N st    73   1168569     28148     58379     17067     94236    247115   1815294   no data   no data
24087.47/3018.14	c  N st    74   1209819     28148     58379     17071     85595    247115   1838316   no data   no data
24087.47/3018.14	c  S st    74   1209819     28148     58379     17071     85595    247115   1838316   no data   no data
24089.07/3018.30	c  S st    74   1210325     28148     58379     17073     86093    247115   1847816   no data   no data
24089.07/3018.32	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
24090.67/3018.54	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bins:    191 BRemL:    239 BRemN:      0 P:  3.9M T:  0.22
24090.67/3018.57	c Replacing        1 vars Replaced       67 lits Time:     0.02 s 
24090.67/3018.58	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
24090.67/3018.59	c bin-w-bin subsume rem           38 bins  time:  0.01 s
24090.67/3018.61	c subs with bin:        3  lits-rem:         0  v-fix:    0  time:  0.01 s
24091.61/3018.62	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  28147 time:  0.02 s
24091.61/3018.64	c Removed useless bin:       0  fixed:     0  props:   0.30M  time:  0.02 s
24091.61/3018.69	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.05 s
24093.05/3018.86	c subs with bin:       26  lits-rem:        95  v-fix:    0  time:  0.09 s
24105.83/3020.49	c lits-rem:      4204  cl-subs:      821  v-elim:      0  v-fix:    0  time:  1.62 s
24105.83/3020.50	c vivif2 --  cl tried    58374 cl shrink        0 lits rem          0 time: 0.01
24106.63/3020.59	c vivif2 --  cl tried    85246 cl shrink     4019 lits rem      11896 time: 0.09
24108.23/3020.75	c asymm  cl-useful: 0/58374/58374 lits-rem:0 time: 0.16
24108.23/3020.76	c calculated reachability. Time: 0.00
24108.23/3020.76	c  N st    74   1210325     28147     58374     16986     85246    247102   1794622   no data   no data
25832.27/3236.74	c  N st    75   1283207     28147     58374     16991    107260    247102   2651839   no data   no data
25832.27/3236.78	c Finding binary XORs  T:     0.01 s  found:       3
26956.09/3377.53	c  N st    76   1392531     28146     58372     16709    112877    247094   1774283   no data   no data
31250.27/3915.53	c  N st    77   1556515     28146     58372     16738    113130    247094   3162671   no data   no data
35648.21/4466.55	c  N st    78   1710325     28145     58372     16760    151892    247094   2343400   no data   no data
35648.21/4466.55	c  S st    78   1710325     28145     58372     16760    151892    247094   2343400   no data   no data
35650.61/4466.80	c  S st    78   1710827     28144     58372     16765    152389    247094   2351240   no data   no data
35650.61/4466.83	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
35653.01/4467.14	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bins:    268 BRemL:    108 BRemN:      1 P:  5.4M T:  0.31
35653.01/4467.19	c Replacing        6 vars Replaced      311 lits Time:     0.05 s 
35653.81/4467.21	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
35653.81/4467.22	c bin-w-bin subsume rem           10 bins  time:  0.01 s
35653.81/4467.23	c subs with bin:        4  lits-rem:         0  v-fix:    0  time:  0.01 s
35653.81/4467.25	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  28138 time:  0.02 s
35653.81/4467.27	c Removed useless bin:       0  fixed:     0  props:   0.31M  time:  0.02 s
35654.75/4467.33	c lits-rem:         0  cl-subs:       13  v-elim:      0  v-fix:    0  time:  0.06 s
35656.19/4467.54	c subs with bin:       23  lits-rem:       229  v-fix:    0  time:  0.07 s
35709.66/4474.24	c lits-rem:      9962  cl-subs:     5302  v-elim:      0  v-fix:    0  time:  6.69 s
35709.66/4474.24	c vivif2 --  cl tried    58351 cl shrink        0 lits rem          0 time: 0.01
35711.26/4474.41	c vivif2 --  cl tried   146805 cl shrink    11734 lits rem      17717 time: 0.17
35712.86/4474.65	c asymm  cl-useful: 0/58351/58351 lits-rem:0 time: 0.24
35712.86/4474.67	c calculated reachability. Time: 0.00
35712.86/4474.67	c  N st    78   1710827     28138     58351     16816    146805    247012   2211580   no data   no data

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-3393954-1306075163/watcher-3393954-1306075163 -o /tmp/evaluation-result-3393954-1306075163/solver-3393954-1306075163 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3393954-1306075163.cnf 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 40000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 40030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 8.07 8.08 8.01 1/543 21506
/proc/meminfo: memFree=13574620/32951124 swapFree=56449260/67111528
[pid=21506] ppid=21504 vsize=92144 CPUtime=0.07 cores=0-7
/proc/21506/stat : 21506 (strangenight2-m) R 21504 21506 21187 0 -1 4202496 420 0 0 0 7 0 0 0 24 0 8 0 719116732 94355456 361 33554432000 4194304 4580107 140736305131264 18446744073709551615 47583911425970 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/21506/statm: 23036 361 302 95 0 18018 0
[pid=21506/tid=21507] ppid=21504 vsize=92144 CPUtime=0.01 cores=0-7
/proc/21506/task/21507/stat : 21507 (strangenight2-m) R 21504 21506 21187 0 -1 4202560 4 0 0 0 1 0 0 0 24 0 8 0 719116732 94355456 361 33554432000 4194304 4580107 140736305131264 18446744073709551615 47583911425561 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21506/tid=21508] ppid=21504 vsize=92144 CPUtime=0 cores=0-7
/proc/21506/task/21508/stat : 21508 (strangenight2-m) R 21504 21506 21187 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 8 0 719116732 94355456 361 33554432000 4194304 4580107 140736305131264 18446744073709551615 47583911425974 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21506/tid=21509] ppid=21504 vsize=92144 CPUtime=0.01 cores=0-7
/proc/21506/task/21509/stat : 21509 (strangenight2-m) R 21504 21506 21187 0 -1 4202560 1 0 0 0 1 0 0 0 25 0 8 0 719116733 94355456 361 33554432000 4194304 4580107 140736305131264 18446744073709551615 47583911425561 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21506/tid=21510] ppid=21504 vsize=92144 CPUtime=0.01 cores=0-7
/proc/21506/task/21510/stat : 21510 (strangenight2-m) R 21504 21506 21187 0 -1 4202560 1 0 0 0 1 0 0 0 25 0 8 0 719116733 94355456 361 33554432000 4194304 4580107 140736305131264 18446744073709551615 47583911425561 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21506/tid=21511] ppid=21504 vsize=92144 CPUtime=0 cores=0-7
/proc/21506/task/21511/stat : 21511 (strangenight2-m) R 21504 21506 21187 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 8 0 719116733 94355456 361 33554432000 4194304 4580107 140736305131264 18446744073709551615 47583911425552 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21506/tid=21512] ppid=21504 vsize=92144 CPUtime=0.01 cores=0-7
/proc/21506/task/21512/stat : 21512 (strangenight2-m) R 21504 21506 21187 0 -1 4202560 1 0 0 0 1 0 0 0 25 0 8 0 719116733 94355456 361 33554432000 4194304 4580107 140736305131264 18446744073709551615 47583911425555 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21506/tid=21513] ppid=21504 vsize=92144 CPUtime=0.01 cores=0-7
/proc/21506/task/21513/stat : 21513 (strangenight2-m) R 21504 21506 21187 0 -1 4202560 1 0 0 0 1 0 0 0 25 0 8 0 719116733 94355456 361 33554432000 4194304 4580107 140736305131264 18446744073709551615 47583911425561 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.034448 s]
/proc/loadavg: 8.07 8.08 8.01 1/543 21506
/proc/meminfo: memFree=13574620/32951124 swapFree=56449260/67111528
[pid=21506] ppid=21504 vsize=434056 CPUtime=0.13 cores=0-7
/proc/21506/stat : 21506 (strangenight2-m) D 21504 21506 21187 0 -1 4202496 8924 0 0 0 11 2 0 0 17 0 8 0 719116732 444473344 7594 33554432000 4194304 4580107 140736305131264 18446744073709551615 4311330 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/21506/statm: 108678 7830 336 95 0 103660 0
[pid=21506/tid=21507] ppid=21504 vsize=435740 CPUtime=0.02 cores=0-7
/proc/21506/task/21507/stat : 21507 (strangenight2-m) R 21504 21506 21187 0 -1 4202560 1319 0 0 0 2 0 0 0 18 0 8 0 719116732 446197760 7882 33554432000 4194304 4580107 140736305131264 18446744073709551615 4307028 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21506/tid=21508] ppid=21504 vsize=435740 CPUtime=0 cores=0-7
/proc/21506/task/21508/stat : 21508 (strangenight2-m) R 21504 21506 21187 0 -1 4202560 1282 0 0 0 0 0 0 0 18 0 8 0 719116732 446197760 7918 33554432000 4194304 4580107 140736305131264 18446744073709551615 4310274 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21506/tid=21509] ppid=21504 vsize=436768 CPUtime=0.01 cores=0-7
/proc/21506/task/21509/stat : 21509 (strangenight2-m) D 21504 21506 21187 0 -1 4202560 1374 0 0 0 1 0 0 0 18 0 8 0 719116733 447250432 8166 33554432000 4194304 4580107 140736305131264 18446744073709551615 4311330 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21506/tid=21510] ppid=21504 vsize=437936 CPUtime=0.01 cores=0-7
/proc/21506/task/21510/stat : 21510 (strangenight2-m) D 21504 21506 21187 0 -1 4202560 979 0 0 0 1 0 0 0 17 0 8 0 719116733 448446464 8172 33554432000 4194304 4580107 140736305131264 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21506/tid=21511] ppid=21504 vsize=439104 CPUtime=0.01 cores=0-7
/proc/21506/task/21511/stat : 21511 (strangenight2-m) R 21504 21506 21187 0 -1 4202560 1176 0 0 0 1 0 0 0 17 0 8 0 719116733 449642496 8418 33554432000 4194304 4580107 140736305131264 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21506/tid=21512] ppid=21504 vsize=439104 CPUtime=0.01 cores=0-7
/proc/21506/task/21512/stat : 21512 (strangenight2-m) D 21504 21506 21187 0 -1 4202560 1044 0 0 0 1 0 0 0 17 0 8 0 719116733 449642496 8292 33554432000 4194304 4580107 140736305131264 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21506/tid=21513] ppid=21504 vsize=438836 CPUtime=0.01 cores=0-7
/proc/21506/task/21513/stat : 21513 (strangenight2-m) D 21504 21506 21187 0 -1 4202560 1111 0 0 0 1 0 0 0 18 0 8 0 719116733 449368064 8380 33554432000 4194304 4580107 140736305131264 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 434056

[startup+0.102443 s]
/proc/loadavg: 8.07 8.08 8.01 1/543 21506
/proc/meminfo: memFree=13574620/32951124 swapFree=56449260/67111528
[pid=21506] ppid=21504 vsize=761600 CPUtime=0.54 cores=0-7
/proc/21506/stat : 21506 (strangenight2-m) S 21504 21506 21187 0 -1 4202496 62515 0 0 0 37 17 0 0 18 0 8 0 719116732 779878400 45831 33554432000 4194304 4580107 140736305131264 18446744073709551615 253640964590 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/21506/statm: 190400 45848 338 95 0 185382 0
[pid=21506/tid=21507] ppid=21504 vsize=761600 CPUtime=0.06 cores=0-7
/proc/21506/task/21507/stat : 21507 (strangenight2-m) R 21504 21506 21187 0 -1 4202560 8074 0 0 0 5 1 0 0 18 0 8 0 719116732 779878400 45862 33554432000 4194304 4580107 140736305131264 18446744073709551615 253640964590 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21506/tid=21508] ppid=21504 vsize=761600 CPUtime=0.04 cores=0-7
/proc/21506/task/21508/stat : 21508 (strangenight2-m) R 21504 21506 21187 0 -1 4202560 7439 0 0 0 3 1 0 0 18 0 8 0 719116732 779878400 45892 33554432000 4194304 4580107 140736305131264 18446744073709551615 4489196 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21506/tid=21509] ppid=21504 vsize=761600 CPUtime=0.08 cores=0-7
/proc/21506/task/21509/stat : 21509 (strangenight2-m) R 21504 21506 21187 0 -1 4202560 7878 0 0 0 6 2 0 0 18 0 8 0 719116733 779878400 45906 33554432000 4194304 4580107 140736305131264 18446744073709551615 253640520737 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21506/tid=21510] ppid=21504 vsize=761600 CPUtime=0.06 cores=0-7
/proc/21506/task/21510/stat : 21510 (strangenight2-m) R 21504 21506 21187 0 -1 4202560 7917 0 0 0 4 2 0 0 18 0 8 0 719116733 779878400 45909 33554432000 4194304 4580107 140736305131264 18446744073709551615 4512047 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21506/tid=21511] ppid=21504 vsize=761600 CPUtime=0.06 cores=0-7
/proc/21506/task/21511/stat : 21511 (strangenight2-m) R 21504 21506 21187 0 -1 4202560 7899 0 0 0 4 2 0 0 18 0 8 0 719116733 779878400 45925 33554432000 4194304 4580107 140736305131264 18446744073709551615 253640526850 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21506/tid=21512] ppid=21504 vsize=761600 CPUtime=0.06 cores=0-7
/proc/21506/task/21512/stat : 21512 (strangenight2-m) D 21504 21506 21187 0 -1 4202560 7012 0 0 0 4 2 0 0 18 0 8 0 719116733 779878400 45927 33554432000 4194304 4580107 140736305131264 18446744073709551615 253640520389 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21506/tid=21513] ppid=21504 vsize=761600 CPUtime=0.06 cores=0-7
/proc/21506/task/21513/stat : 21513 (strangenight2-m) R 21504 21506 21187 0 -1 4202560 7160 0 0 0 4 2 0 0 18 0 8 0 719116733 779878400 45949 33554432000 4194304 4580107 140736305131264 18446744073709551615 253640524325 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 761600

[startup+0.301406 s]
/proc/loadavg: 8.07 8.08 8.01 1/543 21506
/proc/meminfo: memFree=13574620/32951124 swapFree=56449260/67111528
[pid=21506] ppid=21504 vsize=773000 CPUtime=1.57 cores=0-7
/proc/21506/stat : 21506 (strangenight2-m) S 21504 21506 21187 0 -1 4202496 77879 0 0 0 89 68 0 0 17 0 8 0 719116732 791552000 61193 33554432000 4194304 4580107 140736305131264 18446744073709551615 253640964590 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/21506/statm: 193250 61208 338 95 0 188232 0
[pid=21506/tid=21507] ppid=21504 vsize=773000 CPUtime=0.19 cores=0-7
/proc/21506/task/21507/stat : 21507 (strangenight2-m) R 21504 21506 21187 0 -1 4202560 9945 0 0 0 12 7 0 0 17 0 8 0 719116732 791552000 61213 33554432000 4194304 4580107 140736305131264 18446744073709551615 253640964639 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21506/tid=21508] ppid=21504 vsize=773000 CPUtime=0.18 cores=0-7
/proc/21506/task/21508/stat : 21508 (strangenight2-m) S 21504 21506 21187 0 -1 4202560 9431 0 0 0 10 8 0 0 17 0 8 0 719116732 791552000 61223 33554432000 4194304 4580107 140736305131264 18446744073709551615 253640964590 0 0 4096 2 18446604451394245568 0 0 -1 3 0 0 0
[pid=21506/tid=21509] ppid=21504 vsize=773000 CPUtime=0.2 cores=0-7
/proc/21506/task/21509/stat : 21509 (strangenight2-m) S 21504 21506 21187 0 -1 4202560 9472 0 0 0 12 8 0 0 17 0 8 0 719116733 791552000 61226 33554432000 4194304 4580107 140736305131264 18446744073709551615 253640964590 0 0 4096 2 18446604451394245568 0 0 -1 1 0 0 0
[pid=21506/tid=21510] ppid=21504 vsize=773000 CPUtime=0.19 cores=0-7
/proc/21506/task/21510/stat : 21510 (strangenight2-m) S 21504 21506 21187 0 -1 4202560 9940 0 0 0 11 8 0 0 17 0 8 0 719116733 791552000 61236 33554432000 4194304 4580107 140736305131264 18446744073709551615 253640964590 0 0 4096 2 18446604451394245568 0 0 -1 4 0 0 0
[pid=21506/tid=21511] ppid=21504 vsize=773000 CPUtime=0.17 cores=0-7
/proc/21506/task/21511/stat : 21511 (strangenight2-m) R 21504 21506 21187 0 -1 4202560 9913 0 0 0 9 8 0 0 17 0 8 0 719116733 791552000 61252 33554432000 4194304 4580107 140736305131264 18446744073709551615 253640964639 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21506/tid=21512] ppid=21504 vsize=773000 CPUtime=0.19 cores=0-7
/proc/21506/task/21512/stat : 21512 (strangenight2-m) R 21504 21506 21187 0 -1 4202560 8839 0 0 0 11 8 0 0 17 0 8 0 719116733 791552000 61257 33554432000 4194304 4580107 140736305131264 18446744073709551615 253640902839 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21506/tid=21513] ppid=21504 vsize=773000 CPUtime=0.2 cores=0-7
/proc/21506/task/21513/stat : 21513 (strangenight2-m) R 21504 21506 21187 0 -1 4202560 9277 0 0 0 11 9 0 0 17 0 8 0 719116733 791552000 61268 33554432000 4194304 4580107 140736305131264 18446744073709551615 253640964590 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.57
Current children cumulated vsize (KiB) 773000

[startup+0.866286 s]
/proc/loadavg: 8.07 8.08 8.01 1/543 21506
/proc/meminfo: memFree=13574620/32951124 swapFree=56449260/67111528
[pid=21506] ppid=21504 vsize=775948 CPUtime=5.88 cores=0-7
/proc/21506/stat : 21506 (strangenight2-m) S 21504 21506 21187 0 -1 4202496 101087 0 0 0 490 98 0 0 17 0 8 0 719116732 794570752 84390 33554432000 4194304 4580107 140736305131264 18446744073709551615 253640964590 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/21506/statm: 193987 84402 373 95 0 188969 0
[pid=21506/tid=21507] ppid=21504 vsize=775948 CPUtime=0.72 cores=0-7
/proc/21506/task/21507/stat : 21507 (strangenight2-m) R 21504 21506 21187 0 -1 4202560 11730 0 0 0 60 12 0 0 17 0 8 0 719116732 794570752 84406 33554432000 4194304 4580107 140736305131264 18446744073709551615 253640964639 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21506/tid=21508] ppid=21504 vsize=775948 CPUtime=0.72 cores=0-7
/proc/21506/task/21508/stat : 21508 (strangenight2-m) R 21504 21506 21187 0 -1 4202560 14244 0 0 0 61 11 0 0 18 0 8 0 719116732 794570752 84411 33554432000 4194304 4580107 140736305131264 18446744073709551615 253640964590 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21506/tid=21509] ppid=21504 vsize=775948 CPUtime=0.76 cores=0-7
/proc/21506/task/21509/stat : 21509 (strangenight2-m) R 21504 21506 21187 0 -1 4202560 14135 0 0 0 67 9 0 0 18 0 8 0 719116733 794570752 84424 33554432000 4194304 4580107 140736305131264 18446744073709551615 4491757 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21506/tid=21510] ppid=21504 vsize=775948 CPUtime=0.72 cores=0-7
/proc/21506/task/21510/stat : 21510 (strangenight2-m) R 21504 21506 21187 0 -1 4202560 12830 0 0 0 59 13 0 0 17 0 8 0 719116733 794570752 84433 33554432000 4194304 4580107 140736305131264 18446744073709551615 253640964639 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21506/tid=21511] ppid=21504 vsize=776080 CPUtime=0.71 cores=0-7
/proc/21506/task/21511/stat : 21511 (strangenight2-m) R 21504 21506 21187 0 -1 4202560 12280 0 0 0 58 13 0 0 17 0 8 0 719116733 794705920 84447 33554432000 4194304 4580107 140736305131264 18446744073709551615 253640964639 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21506/tid=21512] ppid=21504 vsize=776080 CPUtime=0.72 cores=0-7
/proc/21506/task/21512/stat : 21512 (strangenight2-m) R 21504 21506 21187 0 -1 4202560 12234 0 0 0 60 12 0 0 17 0 8 0 719116733 794705920 84465 33554432000 4194304 4580107 140736305131264 18446744073709551615 253640902839 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21506/tid=21513] ppid=21504 vsize=776080 CPUtime=0.75 cores=0-7
/proc/21506/task/21513/stat : 21513 (strangenight2-m) R 21504 21506 21187 0 -1 4202560 10454 0 0 0 64 11 0 0 18 0 8 0 719116733 794705920 84477 33554432000 4194304 4580107 140736305131264 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.88
Current children cumulated vsize (KiB) 775948

[startup+1.50116 s]
/proc/loadavg: 8.07 8.08 8.01 9/551 21514
/proc/meminfo: memFree=13104860/32951124 swapFree=56449260/67111528
[pid=21506] ppid=21504 vsize=883188 CPUtime=10.65 cores=0-7
/proc/21506/stat : 21506 (strangenight2-m) R 21504 21506 21187 0 -1 4202496 160057 0 0 0 932 133 0 0 17 0 8 0 719116732 904384512 129873 33554432000 4194304 4580107 140736305131264 18446744073709551615 4298597 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/21506/statm: 220797 129873 379 95 0 215779 0
[pid=21506/tid=21507] ppid=21504 vsize=883188 CPUtime=1.29 cores=0-7
/proc/21506/task/21507/stat : 21507 (strangenight2-m) R 21504 21506 21187 0 -1 4202560 19344 0 0 0 112 17 0 0 18 0 8 0 719116732 904384512 129873 33554432000 4194304 4580107 140736305131264 18446744073709551615 4363818 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21506/tid=21508] ppid=21504 vsize=883188 CPUtime=1.34 cores=0-7
/proc/21506/task/21508/stat : 21508 (strangenight2-m) R 21504 21506 21187 0 -1 4202560 23229 0 0 0 120 14 0 0 18 0 8 0 719116732 904384512 129873 33554432000 4194304 4580107 140736305131264 18446744073709551615 4293198 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21506/tid=21509] ppid=21504 vsize=883188 CPUtime=1.38 cores=0-7
/proc/21506/task/21509/stat : 21509 (strangenight2-m) R 21504 21506 21187 0 -1 4202560 21121 0 0 0 127 11 0 0 18 0 8 0 719116733 904384512 129873 33554432000 4194304 4580107 140736305131264 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21506/tid=21510] ppid=21504 vsize=883188 CPUtime=1.31 cores=0-7
/proc/21506/task/21510/stat : 21510 (strangenight2-m) R 21504 21506 21187 0 -1 4202560 20253 0 0 0 114 17 0 0 18 0 8 0 719116733 904384512 129873 33554432000 4194304 4580107 140736305131264 18446744073709551615 4473268 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21506/tid=21511] ppid=21504 vsize=883188 CPUtime=1.29 cores=0-7
/proc/21506/task/21511/stat : 21511 (strangenight2-m) R 21504 21506 21187 0 -1 4202560 22033 0 0 0 107 22 0 0 18 0 8 0 719116733 904384512 129873 33554432000 4194304 4580107 140736305131264 18446744073709551615 4496898 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21506/tid=21512] ppid=21504 vsize=883188 CPUtime=1.32 cores=0-7
/proc/21506/task/21512/stat : 21512 (strangenight2-m) R 21504 21506 21187 0 -1 4202560 21869 0 0 0 114 18 0 0 18 0 8 0 719116733 904384512 129873 33554432000 4194304 4580107 140736305131264 18446744073709551615 4456356 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21506/tid=21513] ppid=21504 vsize=883188 CPUtime=1.38 cores=0-7
/proc/21506/task/21513/stat : 21513 (strangenight2-m) R 21504 21506 21187 0 -1 4202560 10567 0 0 0 127 11 0 0 18 0 8 0 719116733 904384512 129873 33554432000 4194304 4580107 140736305131264 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 10.65
Current children cumulated vsize (KiB) 883188

[startup+3.10087 s]
/proc/loadavg: 8.07 8.08 8.01 9/551 21514
/proc/meminfo: memFree=13033436/32951124 swapFree=56449260/67111528
[pid=21506] ppid=21504 vsize=883188 CPUtime=23.42 cores=0-7
/proc/21506/stat : 21506 (strangenight2-m) R 21504 21506 21187 0 -1 4202496 166671 0 0 0 2208 134 0 0 20 0 8 0 719116732 904384512 135164 33554432000 4194304 4580107 140736305131264 18446744073709551615 4294217 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/21506/statm: 220797 135164 380 95 0 215779 0
[pid=21506/tid=21507] ppid=21504 vsize=883188 CPUtime=2.89 cores=0-7
/proc/21506/task/21507/stat : 21507 (strangenight2-m) R 21504 21506 21187 0 -1 4202560 20464 0 0 0 272 17 0 0 20 0 8 0 719116732 904384512 135164 33554432000 4194304 4580107 140736305131264 18446744073709551615 4293204 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21506/tid=21508] ppid=21504 vsize=883188 CPUtime=2.95 cores=0-7
/proc/21506/task/21508/stat : 21508 (strangenight2-m) R 21504 21506 21187 0 -1 4202560 23744 0 0 0 280 15 0 0 20 0 8 0 719116732 904384512 135164 33554432000 4194304 4580107 140736305131264 18446744073709551615 4316555 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21506/tid=21509] ppid=21504 vsize=883188 CPUtime=2.98 cores=0-7
/proc/21506/task/21509/stat : 21509 (strangenight2-m) R 21504 21506 21187 0 -1 4202560 21255 0 0 0 287 11 0 0 20 0 8 0 719116733 904384512 135164 33554432000 4194304 4580107 140736305131264 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21506/tid=21510] ppid=21504 vsize=883188 CPUtime=2.91 cores=0-7
/proc/21506/task/21510/stat : 21510 (strangenight2-m) R 21504 21506 21187 0 -1 4202560 21680 0 0 0 274 17 0 0 20 0 8 0 719116733 904384512 135164 33554432000 4194304 4580107 140736305131264 18446744073709551615 4320876 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21506/tid=21511] ppid=21504 vsize=883188 CPUtime=2.89 cores=0-7
/proc/21506/task/21511/stat : 21511 (strangenight2-m) R 21504 21506 21187 0 -1 4202560 23044 0 0 0 267 22 0 0 20 0 8 0 719116733 904384512 135164 33554432000 4194304 4580107 140736305131264 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21506/tid=21512] ppid=21504 vsize=883188 CPUtime=2.92 cores=0-7
/proc/21506/task/21512/stat : 21512 (strangenight2-m) R 21504 21506 21187 0 -1 4202560 22502 0 0 0 274 18 0 0 20 0 8 0 719116733 904384512 135164 33554432000 4194304 4580107 140736305131264 18446744073709551615 4292956 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21506/tid=21513] ppid=21504 vsize=883188 CPUtime=2.98 cores=0-7
/proc/21506/task/21513/stat : 21513 (strangenight2-m) R 21504 21506 21187 0 -1 4202560 10629 0 0 0 287 11 0 0 20 0 8 0 719116733 904384512 135164 33554432000 4194304 4580107 140736305131264 18446744073709551615 4294080 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 23.42
Current children cumulated vsize (KiB) 883188

[startup+6.30128 s]
/proc/loadavg: 8.07 8.08 8.01 9/551 21514
/proc/meminfo: memFree=13026988/32951124 swapFree=56449260/67111528
[pid=21506] ppid=21504 vsize=883188 CPUtime=48.97 cores=0-7
/proc/21506/stat : 21506 (strangenight2-m) R 21504 21506 21187 0 -1 4202496 168717 0 0 0 4761 136 0 0 25 0 8 0 719116732 904384512 136865 33554432000 4194304 4580107 140736305131264 18446744073709551615 4316680 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/21506/statm: 220797 136865 380 95 0 215779 0
[pid=21506/tid=21507] ppid=21504 vsize=883188 CPUtime=6.1 cores=0-7
/proc/21506/task/21507/stat : 21507 (strangenight2-m) R 21504 21506 21187 0 -1 4202560 20906 0 0 0 592 18 0 0 25 0 8 0 719116732 904384512 136865 33554432000 4194304 4580107 140736305131264 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21506/tid=21508] ppid=21504 vsize=883188 CPUtime=6.15 cores=0-7
/proc/21506/task/21508/stat : 21508 (strangenight2-m) R 21504 21506 21187 0 -1 4202560 23942 0 0 0 600 15 0 0 25 0 8 0 719116732 904384512 136865 33554432000 4194304 4580107 140736305131264 18446744073709551615 4320729 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21506/tid=21509] ppid=21504 vsize=883188 CPUtime=6.18 cores=0-7
/proc/21506/task/21509/stat : 21509 (strangenight2-m) R 21504 21506 21187 0 -1 4202560 21500 0 0 0 607 11 0 0 25 0 8 0 719116733 904384512 136865 33554432000 4194304 4580107 140736305131264 18446744073709551615 4293083 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21506/tid=21510] ppid=21504 vsize=883188 CPUtime=6.11 cores=0-7
/proc/21506/task/21510/stat : 21510 (strangenight2-m) R 21504 21506 21187 0 -1 4202560 21841 0 0 0 593 18 0 0 25 0 8 0 719116733 904384512 136865 33554432000 4194304 4580107 140736305131264 18446744073709551615 4293295 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21506/tid=21511] ppid=21504 vsize=883188 CPUtime=6.09 cores=0-7
/proc/21506/task/21511/stat : 21511 (strangenight2-m) R 21504 21506 21187 0 -1 4202560 23363 0 0 0 587 22 0 0 25 0 8 0 719116733 904384512 136865 33554432000 4194304 4580107 140736305131264 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21506/tid=21512] ppid=21504 vsize=883188 CPUtime=6.12 cores=0-7
/proc/21506/task/21512/stat : 21512 (strangenight2-m) R 21504 21506 21187 0 -1 4202560 22739 0 0 0 594 18 0 0 25 0 8 0 719116733 904384512 136865 33554432000 4194304 4580107 140736305131264 18446744073709551615 4316772 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21506/tid=21513] ppid=21504 vsize=883188 CPUtime=6.18 cores=0-7
/proc/21506/task/21513/stat : 21513 (strangenight2-m) R 21504 21506 21187 0 -1 4202560 10930 0 0 0 607 11 0 0 25 0 8 0 719116733 904384512 136865 33554432000 4194304 4580107 140736305131264 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0

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


[startup+4722.3 s]
/proc/loadavg: 8.03 8.04 8.00 9/551 21652
/proc/meminfo: memFree=11521320/32951124 swapFree=56449260/67111528
[pid=21506] ppid=21504 vsize=2892364 CPUtime=37689.9 cores=0-7
/proc/21506/stat : 21506 (strangenight2-m) R 21504 21506 21187 0 -1 4202496 1949479 0 0 0 3768019 975 0 0 25 0 8 0 719116732 2961780736 513191 33554432000 4194304 4580107 140736305131264 18446744073709551615 4294585 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21506/statm: 723091 513191 381 95 0 718073 0
[pid=21506/tid=21507] ppid=21504 vsize=2892364 CPUtime=4722.23 cores=0-7
/proc/21506/task/21507/stat : 21507 (strangenight2-m) R 21504 21506 21187 0 -1 4202560 230134 0 0 0 472109 114 0 0 25 0 8 0 719116732 2961780736 513191 33554432000 4194304 4580107 140736305131264 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21506/tid=21508] ppid=21504 vsize=2892364 CPUtime=4722.28 cores=0-7
/proc/21506/task/21508/stat : 21508 (strangenight2-m) R 21504 21506 21187 0 -1 4202560 207767 0 0 0 472099 129 0 0 25 0 8 0 719116732 2961780736 513191 33554432000 4194304 4580107 140736305131264 18446744073709551615 4321100 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21506/tid=21509] ppid=21504 vsize=2892364 CPUtime=4647.02 cores=0-7
/proc/21506/task/21509/stat : 21509 (strangenight2-m) R 21504 21506 21187 0 -1 4202560 201634 0 0 0 464592 110 0 0 25 0 8 0 719116733 2961780736 513191 33554432000 4194304 4580107 140736305131264 18446744073709551615 4294993 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21506/tid=21510] ppid=21504 vsize=2892364 CPUtime=4722.25 cores=0-7
/proc/21506/task/21510/stat : 21510 (strangenight2-m) R 21504 21506 21187 0 -1 4202560 230842 0 0 0 472116 109 0 0 25 0 8 0 719116733 2961780736 513191 33554432000 4194304 4580107 140736305131264 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21506/tid=21511] ppid=21504 vsize=2892364 CPUtime=4721.41 cores=0-7
/proc/21506/task/21511/stat : 21511 (strangenight2-m) R 21504 21506 21187 0 -1 4202560 260011 0 0 0 471989 152 0 0 25 0 8 0 719116733 2961780736 513191 33554432000 4194304 4580107 140736305131264 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21506/tid=21512] ppid=21504 vsize=2892364 CPUtime=4720.85 cores=0-7
/proc/21506/task/21512/stat : 21512 (strangenight2-m) R 21504 21506 21187 0 -1 4202560 186113 0 0 0 471997 88 0 0 25 0 8 0 719116733 2961780736 513191 33554432000 4194304 4580107 140736305131264 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21506/tid=21513] ppid=21504 vsize=2892364 CPUtime=4722.2 cores=0-7
/proc/21506/task/21513/stat : 21513 (strangenight2-m) R 21504 21506 21187 0 -1 4202560 408061 0 0 0 472077 143 0 0 25 0 8 0 719116733 2961780736 513191 33554432000 4194304 4580107 140736305131264 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 37689.9
Current children cumulated vsize (KiB) 2892364

[startup+4782.3 s]
/proc/loadavg: 8.01 8.03 8.00 9/551 21653
/proc/meminfo: memFree=11487564/32951124 swapFree=56449260/67111528
[pid=21506] ppid=21504 vsize=2793156 CPUtime=38168.8 cores=0-7
/proc/21506/stat : 21506 (strangenight2-m) R 21504 21506 21187 0 -1 4202496 1989181 0 0 0 3815889 994 0 0 25 0 8 0 719116732 2860191744 521264 33554432000 4194304 4580107 140736305131264 18446744073709551615 4320708 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21506/statm: 698289 521264 381 95 0 693271 0
[pid=21506/tid=21507] ppid=21504 vsize=2793156 CPUtime=4782.23 cores=0-7
/proc/21506/task/21507/stat : 21507 (strangenight2-m) R 21504 21506 21187 0 -1 4202560 230575 0 0 0 478109 114 0 0 25 0 8 0 719116732 2860191744 521264 33554432000 4194304 4580107 140736305131264 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21506/tid=21508] ppid=21504 vsize=2793156 CPUtime=4782.28 cores=0-7
/proc/21506/task/21508/stat : 21508 (strangenight2-m) R 21504 21506 21187 0 -1 4202560 208317 0 0 0 478099 129 0 0 25 0 8 0 719116732 2860191744 521264 33554432000 4194304 4580107 140736305131264 18446744073709551615 4301856 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21506/tid=21509] ppid=21504 vsize=2793156 CPUtime=4705.91 cores=0-7
/proc/21506/task/21509/stat : 21509 (strangenight2-m) R 21504 21506 21187 0 -1 4202560 201980 0 0 0 470481 110 0 0 25 0 8 0 719116733 2860191744 521264 33554432000 4194304 4580107 140736305131264 18446744073709551615 4293244 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21506/tid=21510] ppid=21504 vsize=2793156 CPUtime=4782.25 cores=0-7
/proc/21506/task/21510/stat : 21510 (strangenight2-m) R 21504 21506 21187 0 -1 4202560 249784 0 0 0 478105 120 0 0 25 0 8 0 719116733 2860191744 521264 33554432000 4194304 4580107 140736305131264 18446744073709551615 4294373 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21506/tid=21511] ppid=21504 vsize=2793156 CPUtime=4781.41 cores=0-7
/proc/21506/task/21511/stat : 21511 (strangenight2-m) R 21504 21506 21187 0 -1 4202560 270684 0 0 0 477985 156 0 0 25 0 8 0 719116733 2860191744 521264 33554432000 4194304 4580107 140736305131264 18446744073709551615 4321874 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21506/tid=21512] ppid=21504 vsize=2793156 CPUtime=4780.84 cores=0-7
/proc/21506/task/21512/stat : 21512 (strangenight2-m) R 21504 21506 21187 0 -1 4202560 187860 0 0 0 477995 89 0 0 25 0 8 0 719116733 2860191744 521264 33554432000 4194304 4580107 140736305131264 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21506/tid=21513] ppid=21504 vsize=2793156 CPUtime=4782.2 cores=0-7
/proc/21506/task/21513/stat : 21513 (strangenight2-m) R 21504 21506 21187 0 -1 4202560 413763 0 0 0 478076 144 0 0 25 0 8 0 719116733 2860191744 521264 33554432000 4194304 4580107 140736305131264 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 38168.8
Current children cumulated vsize (KiB) 2793156

[startup+4842.3 s]
/proc/loadavg: 8.00 8.03 8.00 9/551 21655
/proc/meminfo: memFree=11531628/32951124 swapFree=56449260/67111528
[pid=21506] ppid=21504 vsize=2680776 CPUtime=38647.7 cores=0-7
/proc/21506/stat : 21506 (strangenight2-m) R 21504 21506 21187 0 -1 4202496 2015993 0 0 0 3863769 1004 0 0 25 0 8 0 719116732 2745114624 510237 33554432000 4194304 4580107 140736305131264 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21506/statm: 670194 510237 381 95 0 665176 0
[pid=21506/tid=21507] ppid=21504 vsize=2680776 CPUtime=4842.24 cores=0-7
/proc/21506/task/21507/stat : 21507 (strangenight2-m) R 21504 21506 21187 0 -1 4202560 232659 0 0 0 484109 115 0 0 25 0 8 0 719116732 2745114624 510237 33554432000 4194304 4580107 140736305131264 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21506/tid=21508] ppid=21504 vsize=2680776 CPUtime=4842.29 cores=0-7
/proc/21506/task/21508/stat : 21508 (strangenight2-m) R 21504 21506 21187 0 -1 4202560 208326 0 0 0 484100 129 0 0 25 0 8 0 719116732 2745114624 510237 33554432000 4194304 4580107 140736305131264 18446744073709551615 4320565 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21506/tid=21509] ppid=21504 vsize=2680776 CPUtime=4764.82 cores=0-7
/proc/21506/task/21509/stat : 21509 (strangenight2-m) R 21504 21506 21187 0 -1 4202560 205870 0 0 0 476371 111 0 0 25 0 8 0 719116733 2745114624 510237 33554432000 4194304 4580107 140736305131264 18446744073709551615 4316702 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21506/tid=21510] ppid=21504 vsize=2680776 CPUtime=4842.25 cores=0-7
/proc/21506/task/21510/stat : 21510 (strangenight2-m) R 21504 21506 21187 0 -1 4202560 262670 0 0 0 484101 124 0 0 25 0 8 0 719116733 2745114624 510237 33554432000 4194304 4580107 140736305131264 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21506/tid=21511] ppid=21504 vsize=2680776 CPUtime=4841.42 cores=0-7
/proc/21506/task/21511/stat : 21511 (strangenight2-m) R 21504 21506 21187 0 -1 4202560 274131 0 0 0 483984 158 0 0 25 0 8 0 719116733 2745114624 510237 33554432000 4194304 4580107 140736305131264 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21506/tid=21512] ppid=21504 vsize=2680776 CPUtime=4840.81 cores=0-7
/proc/21506/task/21512/stat : 21512 (strangenight2-m) R 21504 21506 21187 0 -1 4202560 188044 0 0 0 483992 89 0 0 25 0 8 0 719116733 2745114624 510237 33554432000 4194304 4580107 140736305131264 18446744073709551615 4317489 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21506/tid=21513] ppid=21504 vsize=2680776 CPUtime=4842.19 cores=0-7
/proc/21506/task/21513/stat : 21513 (strangenight2-m) R 21504 21506 21187 0 -1 4202560 415800 0 0 0 484075 144 0 0 25 0 8 0 719116733 2745114624 510237 33554432000 4194304 4580107 140736305131264 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 38647.7
Current children cumulated vsize (KiB) 2680776

[startup+4902.3 s]
/proc/loadavg: 8.00 8.02 8.00 9/551 21666
/proc/meminfo: memFree=11514488/32951124 swapFree=56449260/67111528
[pid=21506] ppid=21504 vsize=2913676 CPUtime=39126.6 cores=0-7
/proc/21506/stat : 21506 (strangenight2-m) R 21504 21506 21187 0 -1 4202496 2034126 0 0 0 3911644 1015 0 0 25 0 8 0 719116732 2983604224 519011 33554432000 4194304 4580107 140736305131264 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21506/statm: 728419 519011 381 95 0 723401 0
[pid=21506/tid=21507] ppid=21504 vsize=2913676 CPUtime=4902.24 cores=0-7
/proc/21506/task/21507/stat : 21507 (strangenight2-m) R 21504 21506 21187 0 -1 4202560 232966 0 0 0 490109 115 0 0 25 0 8 0 719116732 2983604224 519011 33554432000 4194304 4580107 140736305131264 18446744073709551615 4295465 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21506/tid=21508] ppid=21504 vsize=2913676 CPUtime=4902.29 cores=0-7
/proc/21506/task/21508/stat : 21508 (strangenight2-m) R 21504 21506 21187 0 -1 4202560 214492 0 0 0 490099 130 0 0 25 0 8 0 719116732 2983604224 519011 33554432000 4194304 4580107 140736305131264 18446744073709551615 253640524586 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21506/tid=21509] ppid=21504 vsize=2913676 CPUtime=4823.72 cores=0-7
/proc/21506/task/21509/stat : 21509 (strangenight2-m) R 21504 21506 21187 0 -1 4202560 210950 0 0 0 482256 116 0 0 25 0 8 0 719116733 2983604224 519012 33554432000 4194304 4580107 140736305131264 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21506/tid=21510] ppid=21504 vsize=2913676 CPUtime=4902.24 cores=0-7
/proc/21506/task/21510/stat : 21510 (strangenight2-m) R 21504 21506 21187 0 -1 4202560 264261 0 0 0 490099 125 0 0 25 0 8 0 719116733 2983604224 519012 33554432000 4194304 4580107 140736305131264 18446744073709551615 4293781 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21506/tid=21511] ppid=21504 vsize=2913676 CPUtime=4901.42 cores=0-7
/proc/21506/task/21511/stat : 21511 (strangenight2-m) R 21504 21506 21187 0 -1 4202560 274747 0 0 0 489984 158 0 0 25 0 8 0 719116733 2983604224 519012 33554432000 4194304 4580107 140736305131264 18446744073709551615 4321069 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21506/tid=21512] ppid=21504 vsize=2913676 CPUtime=4900.8 cores=0-7
/proc/21506/task/21512/stat : 21512 (strangenight2-m) R 21504 21506 21187 0 -1 4202560 189221 0 0 0 489990 90 0 0 25 0 8 0 719116733 2983604224 519012 33554432000 4194304 4580107 140736305131264 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21506/tid=21513] ppid=21504 vsize=2913676 CPUtime=4902.17 cores=0-7
/proc/21506/task/21513/stat : 21513 (strangenight2-m) R 21504 21506 21187 0 -1 4202560 417817 0 0 0 490071 146 0 0 25 0 8 0 719116733 2983604224 519012 33554432000 4194304 4580107 140736305131264 18446744073709551615 4318708 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 39126.6
Current children cumulated vsize (KiB) 2913676

[startup+4962.3 s]
/proc/loadavg: 8.00 8.01 8.00 9/551 21667
/proc/meminfo: memFree=11469784/32951124 swapFree=56449260/67111528
[pid=21506] ppid=21504 vsize=2911512 CPUtime=39605.6 cores=0-7
/proc/21506/stat : 21506 (strangenight2-m) R 21504 21506 21187 0 -1 4202496 2050784 0 0 0 3959540 1024 0 0 25 0 8 0 719116732 2981388288 525682 33554432000 4194304 4580107 140736305131264 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21506/statm: 727878 525682 381 95 0 722860 0
[pid=21506/tid=21507] ppid=21504 vsize=2911512 CPUtime=4962.26 cores=0-7
/proc/21506/task/21507/stat : 21507 (strangenight2-m) R 21504 21506 21187 0 -1 4202560 233229 0 0 0 496111 115 0 0 25 0 8 0 719116732 2981388288 525682 33554432000 4194304 4580107 140736305131264 18446744073709551615 4321944 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21506/tid=21508] ppid=21504 vsize=2911512 CPUtime=4962.31 cores=0-7
/proc/21506/task/21508/stat : 21508 (strangenight2-m) R 21504 21506 21187 0 -1 4202560 218426 0 0 0 496099 132 0 0 25 0 8 0 719116732 2981388288 525682 33554432000 4194304 4580107 140736305131264 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21506/tid=21509] ppid=21504 vsize=2911512 CPUtime=4882.64 cores=0-7
/proc/21506/task/21509/stat : 21509 (strangenight2-m) R 21504 21506 21187 0 -1 4202560 213150 0 0 0 488146 118 0 0 25 0 8 0 719116733 2981388288 525682 33554432000 4194304 4580107 140736305131264 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21506/tid=21510] ppid=21504 vsize=2911512 CPUtime=4962.26 cores=0-7
/proc/21506/task/21510/stat : 21510 (strangenight2-m) R 21504 21506 21187 0 -1 4202560 268314 0 0 0 496099 127 0 0 25 0 8 0 719116733 2981388288 525682 33554432000 4194304 4580107 140736305131264 18446744073709551615 4321944 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21506/tid=21511] ppid=21504 vsize=2911512 CPUtime=4961.44 cores=0-7
/proc/21506/task/21511/stat : 21511 (strangenight2-m) R 21504 21506 21187 0 -1 4202560 275201 0 0 0 495986 158 0 0 25 0 8 0 719116733 2981388288 525682 33554432000 4194304 4580107 140736305131264 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21506/tid=21512] ppid=21504 vsize=2911512 CPUtime=4960.8 cores=0-7
/proc/21506/task/21512/stat : 21512 (strangenight2-m) R 21504 21506 21187 0 -1 4202560 191070 0 0 0 495989 91 0 0 25 0 8 0 719116733 2981388288 525682 33554432000 4194304 4580107 140736305131264 18446744073709551615 4316692 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21506/tid=21513] ppid=21504 vsize=2911512 CPUtime=4962.2 cores=0-7
/proc/21506/task/21513/stat : 21513 (strangenight2-m) R 21504 21506 21187 0 -1 4202560 419754 0 0 0 496072 148 0 0 25 0 8 0 719116733 2981388288 525682 33554432000 4194304 4580107 140736305131264 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 39605.6
Current children cumulated vsize (KiB) 2911512



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+5011.8 s]
/proc/loadavg: 8.00 8.01 8.00 10/551 21669
/proc/meminfo: memFree=11445172/32951124 swapFree=56449260/67111528
[pid=21506] ppid=21504 vsize=3006644 CPUtime=40000.9 cores=0-7
/proc/21506/stat : 21506 (strangenight2-m) R 21504 21506 21187 0 -1 4202496 2066907 0 0 0 3999055 1032 0 0 25 0 8 0 719116732 3078803456 531825 33554432000 4194304 4580107 140736305131264 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21506/statm: 751661 531825 381 95 0 746643 0
[pid=21506/tid=21507] ppid=21504 vsize=3006644 CPUtime=5011.78 cores=0-7
/proc/21506/task/21507/stat : 21507 (strangenight2-m) R 21504 21506 21187 0 -1 4202560 233459 0 0 0 501063 115 0 0 25 0 8 0 719116732 3078803456 531825 33554432000 4194304 4580107 140736305131264 18446744073709551615 4295465 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21506/tid=21508] ppid=21504 vsize=3006644 CPUtime=5011.83 cores=0-7
/proc/21506/task/21508/stat : 21508 (strangenight2-m) R 21504 21506 21187 0 -1 4202560 219223 0 0 0 501051 132 0 0 25 0 8 0 719116732 3078803456 531825 33554432000 4194304 4580107 140736305131264 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21506/tid=21509] ppid=21504 vsize=3006644 CPUtime=4931.24 cores=0-7
/proc/21506/task/21509/stat : 21509 (strangenight2-m) R 21504 21506 21187 0 -1 4202560 214651 0 0 0 493005 119 0 0 25 0 8 0 719116733 3078803456 531825 33554432000 4194304 4580107 140736305131264 18446744073709551615 4295731 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21506/tid=21510] ppid=21504 vsize=3006644 CPUtime=5011.79 cores=0-7
/proc/21506/task/21510/stat : 21510 (strangenight2-m) R 21504 21506 21187 0 -1 4202560 269851 0 0 0 501051 128 0 0 25 0 8 0 719116733 3078803456 531825 33554432000 4194304 4580107 140736305131264 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21506/tid=21511] ppid=21504 vsize=3006644 CPUtime=5010.96 cores=0-7
/proc/21506/task/21511/stat : 21511 (strangenight2-m) R 21504 21506 21187 0 -1 4202560 278677 0 0 0 500936 160 0 0 25 0 8 0 719116733 3078803456 531825 33554432000 4194304 4580107 140736305131264 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21506/tid=21512] ppid=21504 vsize=3006644 CPUtime=5010.3 cores=0-7
/proc/21506/task/21512/stat : 21512 (strangenight2-m) R 21504 21506 21187 0 -1 4202560 191860 0 0 0 500939 91 0 0 25 0 8 0 719116733 3078803456 531825 33554432000 4194304 4580107 140736305131264 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21506/tid=21513] ppid=21504 vsize=3006644 CPUtime=5011.72 cores=0-7
/proc/21506/task/21513/stat : 21513 (strangenight2-m) R 21504 21506 21187 0 -1 4202560 425068 0 0 0 501022 150 0 0 25 0 8 0 719116733 3078803456 531825 33554432000 4194304 4580107 140736305131264 18446744073709551615 4316555 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 40000.9
Current children cumulated vsize (KiB) 3006644

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

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

[startup+5011.8 s]
/proc/loadavg: 8.00 8.01 8.00 10/551 21669
/proc/meminfo: memFree=11445172/32951124 swapFree=56449260/67111528
[pid=21506] ppid=21504 vsize=3006644 CPUtime=40000.9 cores=0-7
/proc/21506/stat : 21506 (strangenight2-m) R 21504 21506 21187 0 -1 4202496 2066907 0 0 0 3999055 1032 0 0 25 0 8 0 719116732 3078803456 531825 33554432000 4194304 4580107 140736305131264 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21506/statm: 751661 531825 381 95 0 746643 0
[pid=21506/tid=21507] ppid=21504 vsize=3006644 CPUtime=5011.78 cores=0-7
/proc/21506/task/21507/stat : 21507 (strangenight2-m) R 21504 21506 21187 0 -1 4202560 233459 0 0 0 501063 115 0 0 25 0 8 0 719116732 3078803456 531825 33554432000 4194304 4580107 140736305131264 18446744073709551615 4295465 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21506/tid=21508] ppid=21504 vsize=3006644 CPUtime=5011.83 cores=0-7
/proc/21506/task/21508/stat : 21508 (strangenight2-m) R 21504 21506 21187 0 -1 4202560 219223 0 0 0 501051 132 0 0 25 0 8 0 719116732 3078803456 531825 33554432000 4194304 4580107 140736305131264 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21506/tid=21509] ppid=21504 vsize=3006644 CPUtime=4931.24 cores=0-7
/proc/21506/task/21509/stat : 21509 (strangenight2-m) R 21504 21506 21187 0 -1 4202560 214651 0 0 0 493005 119 0 0 25 0 8 0 719116733 3078803456 531825 33554432000 4194304 4580107 140736305131264 18446744073709551615 4295731 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21506/tid=21510] ppid=21504 vsize=3006644 CPUtime=5011.79 cores=0-7
/proc/21506/task/21510/stat : 21510 (strangenight2-m) R 21504 21506 21187 0 -1 4202560 269851 0 0 0 501051 128 0 0 25 0 8 0 719116733 3078803456 531825 33554432000 4194304 4580107 140736305131264 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21506/tid=21511] ppid=21504 vsize=3006644 CPUtime=5010.96 cores=0-7
/proc/21506/task/21511/stat : 21511 (strangenight2-m) R 21504 21506 21187 0 -1 4202560 278677 0 0 0 500936 160 0 0 25 0 8 0 719116733 3078803456 531825 33554432000 4194304 4580107 140736305131264 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21506/tid=21512] ppid=21504 vsize=3006644 CPUtime=5010.3 cores=0-7
/proc/21506/task/21512/stat : 21512 (strangenight2-m) R 21504 21506 21187 0 -1 4202560 191860 0 0 0 500939 91 0 0 25 0 8 0 719116733 3078803456 531825 33554432000 4194304 4580107 140736305131264 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21506/tid=21513] ppid=21504 vsize=3006644 CPUtime=5011.72 cores=0-7
/proc/21506/task/21513/stat : 21513 (strangenight2-m) R 21504 21506 21187 0 -1 4202560 425068 0 0 0 501022 150 0 0 25 0 8 0 719116733 3078803456 531825 33554432000 4194304 4580107 140736305131264 18446744073709551615 4316555 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 40000.9
Current children cumulated vsize (KiB) 3006644

Child ended because it received signal 15 (SIGTERM)
Real time (s): 5011.93
CPU time (s): 40001
CPU user time (s): 39990.6
CPU system time (s): 10.4144
CPU usage (%): 798.115
Max. virtual memory (cumulated for all children) (KiB): 3008500

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 39990.6
system time used= 10.4144
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2066908
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= 139984
involuntary context switches= 117809

runsolver used 25.8711 second user time and 65.3441 second system time

The end

Launcher Data 

Begin job on node106 at 2011-05-22 16:39:23
IDJOB=3393954
IDBENCH=70829
IDSOLVER=1878
FILE ID=node106/3393954-1306075163
RUNJOBID= node106-1306069999-21201
PBS_JOBID= 13387897
Free space on /tmp= 73256 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT09/APPLICATIONS/crypto/md5gen/gus-md5-12.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3393954-1306075163/watcher-3393954-1306075163 -o /tmp/evaluation-result-3393954-1306075163/solver-3393954-1306075163 -C 40000 -W 5100 -M 31000  ./strangenight2-mt --threads=8 HOME/instance-3393954-1306075163.cnf

TIME LIMIT= 40000 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8

MD5SUM BENCH= 0621e557bffdc18ca509447665adecda
RANDOM SEED=353739984

node106.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.66
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5226.20
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.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.830
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      13574900 kB
Buffers:        339932 kB
Cached:       10948196 kB
SwapCached:      27520 kB
Active:        8020616 kB
Inactive:     11046144 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      13574900 kB
SwapTotal:    67111528 kB
SwapFree:     56449260 kB
Dirty:            9892 kB
Writeback:           0 kB
AnonPages:     7760588 kB
Mapped:          25816 kB
Slab:           156928 kB
PageTables:      78160 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 167521200 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= 73252 MiB
End job on node106 at 2011-05-22 18:02:57