Trace number 3321237

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? (TO) 40000.9 5005.89

General information on the benchmark

NameSAT03/industrial/li/li-test4/
li-test4-100.shuffled-as.sat03-370.cnf
MD5SUM5e5606ae7367b9272c60adc115594912
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 variables36809
Number of clauses142491
Sum of the clauses size559708
Maximum clause length172
Minimum clause length1
Number of clauses of size 114
Number of clauses of size 224558
Number of clauses of size 367458
Number of clauses of size 449000
Number of clauses of size 51
Number of clauses of size over 51460

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.00	c Using 8 threads
0.18/0.03	c This is CryptoMiniSat 3.0.0
0.18/0.03	c WARNING: for repeatability, setting FPU to use double precision
0.18/0.03	c Reading file 'HOME/instance-3321237-1304332732.cnf'
0.18/0.03	c -- header says num vars:          36809
0.18/0.03	c -- header says num clauses:      142491
1.97/0.30	c -- clauses added:            0 learnts,       142491 normals,            0 xors
1.97/0.30	c -- vars added      36809
1.97/0.31	c Parsing time:  0.15 s
1.97/0.31	c  N st     0         0     36809    117899     24559         0    559608         0   no data   no data
5.08/0.78	c asymm  cl-useful: 4399/117865/117865 lits-rem:4706 time: 0.45
6.67/0.99	c Flit:    32 Blit:      0 bXBeca:    0 bXProp: 6133 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.20
7.50/1.05	c Replacing     6133 vars Replaced   102229 lits Time:     0.06 s 
10.55/1.50	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
10.55/1.51	c bin-w-bin subsume rem            0 bins  time:  0.01 s
10.55/1.53	c subs with bin:      332  lits-rem:       335  v-fix:    0  time:  0.02 s
10.55/1.55	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:    30 done:  30595 time:  0.02 s
10.55/1.57	c Removed useless bin:       0  fixed:     0  props:   0.30M  time:  0.02 s
14.52/2.02	c lits-rem:      5284  cl-subs:     1981  v-elim:    134  v-fix:    0  time:  0.44 s
14.52/2.04	c Finding binary XORs  T:     0.02 s  found:       0
15.36/2.14	c Finding non-binary XORs:     0.07 s (found:   10610, avg size: 3.4)
15.36/2.14	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
15.36/2.15	c calculated reachability. Time: 0.00
15.36/2.16	c Calc default polars -  time:   0.01 s pos:    6634 undec:    6856 neg:   23319
15.36/2.16	c =========================================================================================
15.36/2.16	c types(t): F = full restart, N = normal restart
15.36/2.16	c types(t): S = simplification begin/end, E = solution found
15.36/2.16	c restart types(rt): st = static, dy = dynamic
15.36/2.16	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
15.36/2.16	c  B st     0         0     30446     54032     13251         0    339959         0   no data   no data
23.31/3.12	c Decided on static restart strategy
32.94/4.35	c  N st     8      4911     30352     54032     15186      2904    339959     15572   no data   no data
45.68/5.98	c Finding binary XORs  T:     0.02 s  found:       0
56.08/7.29	c  N st    10     11293     30269     53405     18556      8388    338336     48933   no data   no data
73.66/9.49	c Finding binary XORs  T:     0.02 s  found:       0
84.85/10.81	c  N st    11     17036     30252     53229     26927     13629    337905     93068   no data   no data
147.25/18.61	c  F st    12     25000     30252     53229     27186     18183    337905    106462   no data   no data
147.25/18.63	c Replacing        1 vars Replaced       14 lits Time:     0.01 s 
147.25/18.68	c  N st    12     25000     30251     53229     27185     18183    337677    106460   no data   no data
147.25/18.70	c Finding binary XORs  T:     0.02 s  found:       0
192.02/24.23	c Decided on static restart strategy
192.02/24.23	c  N st    18     30000     30251     53229     30604     23039    337677    144933   no data   no data
192.02/24.23	c  S st    18     30000     30251     53229     30604     23039    337677    144933   no data   no data
193.57/24.41	c  S st    18     30506     30251     53229     30623     23525    337677    150146   no data   no data
193.57/24.43	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
196.77/24.84	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:  33681 BRemL:  15705 BRemN:      2 P:  4.6M T:  0.41
196.77/24.87	c blocked clauses removed:        0 vars:      0 tried:        4608 T: 0.01 s
196.77/24.88	c bin-w-bin subsume rem         3453 bins  time:  0.01 s
197.57/24.92	c subs with bin:    13898  lits-rem:      3389  v-fix:    0  time:  0.04 s
197.57/24.95	c Subs w/ non-existent bins:    280 l-rem:     64 v-fix:     0 done:   3777 time:  0.03 s
197.57/24.97	c Removed useless bin:      43  fixed:     0  props:   0.39M  time:  0.02 s
198.37/25.06	c lits-rem:         0  cl-subs:       58  v-elim:   1279  v-fix:    0  time:  0.09 s
199.17/25.10	c subs with bin:     1637  lits-rem:      1880  v-fix:    0  time:  0.02 s
199.17/25.16	c lits-rem:       180  cl-subs:      243  v-elim:      0  v-fix:    0  time:  0.05 s
201.56/25.45	c asymm  cl-useful: 446/41156/41156 lits-rem:446 time: 0.29
201.56/25.46	c calculated reachability. Time: 0.01
201.56/25.46	c  N st    18     30506     28972     41156     40304     19757    311139    143583   no data   no data
227.19/28.60	c Finding binary XORs  T:     0.02 s  found:       0
255.92/32.29	c  N st    20     37621     28972     41156     41552     26838    311139   1493919   no data   no data
324.66/40.85	c  N st    21     44027     28972     41156     41552     29817    311139   6207401   no data   no data
325.46/40.95	c Finding binary XORs  T:     0.02 s  found:       0
334.26/42.06	c  S st    22     45759     28971     41151     84795     31508    311126   6785118   no data   no data
335.86/42.23	c  S st    22     46262     28971     41151     84807     31996    311126   6790926   no data   no data
335.86/42.26	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
340.70/42.88	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:  22956 BRemL:  43139 BRemN:      0 P:  5.9M T:  0.62
340.70/42.90	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
341.51/42.92	c bin-w-bin subsume rem        13173 bins  time:  0.01 s
341.51/42.95	c subs with bin:     4025  lits-rem:       360  v-fix:    0  time:  0.03 s
341.51/42.97	c Subs w/ non-existent bins:     18 l-rem:      6 v-fix:     0 done:   4510 time:  0.02 s
341.51/42.99	c Removed useless bin:       0  fixed:     0  props:   0.34M  time:  0.02 s
342.24/43.04	c lits-rem:         0  cl-subs:        3  v-elim:    284  v-fix:    0  time:  0.05 s
342.24/43.09	c subs with bin:      366  lits-rem:       588  v-fix:    0  time:  0.03 s
343.04/43.15	c lits-rem:        22  cl-subs:       27  v-elim:      0  v-fix:    0  time:  0.04 s
343.04/43.17	c vivif2 --  cl tried    37375 cl shrink     1191 lits rem       1191 time: 0.02
343.04/43.18	c vivif2 --  cl tried    21717 cl shrink      944 lits rem       1058 time: 0.01
345.45/43.48	c asymm  cl-useful: 0/37300/37300 lits-rem:0 time: 0.30
345.45/43.50	c calculated reachability. Time: 0.01
346.25/43.50	c  N st    22     46262     28687     37300     50627     21703    304735    225280   no data   no data
463.80/58.25	c  N st    23     60659     28687     37300     50627     35767    304735   6747262   no data   no data
464.60/58.35	c Finding binary XORs  T:     0.02 s  found:       0
528.49/66.30	c  N st    24     69393     28686     37299     80948     39582    304726   6379351   no data   no data
528.49/66.30	c  S st    24     69393     28686     37299     80948     39582    304726   6379351   no data   no data
528.49/66.33	c Finding binary XORs  T:     0.02 s  found:       0
530.09/66.59	c  S st    24     69894     28686     37299     86307     40079    304726   6396870   no data   no data
530.90/66.63	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
536.49/67.33	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:  14896 BRemL:  38882 BRemN:      0 P:  6.9M T:  0.70
536.49/67.36	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
536.49/67.37	c bin-w-bin subsume rem         5019 bins  time:  0.01 s
537.29/67.40	c subs with bin:     1419  lits-rem:        64  v-fix:    0  time:  0.02 s
537.29/67.42	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   6049 time:  0.03 s
537.29/67.44	c Removed useless bin:       0  fixed:     0  props:   0.30M  time:  0.02 s
538.09/67.56	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.12 s
557.25/69.94	c subs with bin:       66  lits-rem:      2308  v-fix:    0  time:  2.00 s
594.03/74.51	c lits-rem:      1122  cl-subs:      475  v-elim:      0  v-fix:    0  time:  4.56 s
594.03/74.53	c vivif2 --  cl tried    35878 cl shrink        0 lits rem          0 time: 0.02
598.02/75.00	c vivif2 --  cl tried    39538 cl shrink     7188 lits rem      28594 time: 0.45
600.42/75.32	c asymm  cl-useful: 3/35878/35878 lits-rem:9 time: 0.32
600.42/75.34	c calculated reachability. Time: 0.01
600.42/75.34	c  N st    24     69894     28686     35875     57391     39528    301943   6123161   no data   no data
600.42/75.36	c Finding binary XORs  T:     0.02 s  found:       0
773.86/97.02	c  F st    25     87502     28686     35875     57391     56889    301943  19232547   no data   no data
775.46/97.23	c  N st    25     87502     28686     35875     57391     56889    301943  19232547   no data   no data
775.46/97.27	c Finding binary XORs  T:     0.02 s  found:       0
812.21/101.83	c Decided on static restart strategy
836.99/104.94	c  N st    32     95543     28686     35875     80515     51091    301943  11193049   no data   no data
912.99/114.46	c  N st    34    104846     28686     35875     80572     60261    301943  16342716   no data   no data
912.99/114.46	c  S st    34    104846     28686     35875     80572     60261    301943  16342716   no data   no data
914.54/114.64	c  S st    34    105350     28686     35875     80589     60761    301943  16348010   no data   no data
914.54/114.69	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
920.98/115.46	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:    872 BRemL:  22245 BRemN:      0 P:  7.0M T:  0.77
920.98/115.48	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
920.98/115.49	c bin-w-bin subsume rem         2063 bins  time:  0.01 s
921.78/115.52	c subs with bin:       10  lits-rem:         0  v-fix:    0  time:  0.02 s
921.78/115.54	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   5093 time:  0.02 s
921.78/115.56	c Removed useless bin:       0  fixed:     0  props:   0.30M  time:  0.02 s
923.33/115.79	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.23 s
947.35/118.72	c subs with bin:        1  lits-rem:        52  v-fix:    0  time:  2.09 s
1012.86/126.99	c lits-rem:      2143  cl-subs:      475  v-elim:      0  v-fix:    0  time:  8.26 s
1013.66/127.01	c vivif2 --  cl tried    35865 cl shrink        0 lits rem          0 time: 0.02
1024.05/128.30	c vivif2 --  cl tried    60285 cl shrink    11554 lits rem      93775 time: 1.28
1026.49/128.68	c asymm  cl-useful: 0/35865/35865 lits-rem:0 time: 0.38
1026.49/128.70	c calculated reachability. Time: 0.01
1026.49/128.70	c  N st    34    105350     28686     35865     57161     60277    301905  15947867   no data   no data
1113.56/139.54	c  N st    35    114948     28686     35865     57161     51144    301905  12005677   no data   no data
1113.56/139.57	c Finding binary XORs  T:     0.02 s  found:       0
1225.47/153.52	c  N st    36    129346     28686     35865     57183     65412    301905  19723911   no data   no data
1474.89/184.74	c  N st    37    150942     28686     35865     57586     65648    301905  17405101   no data   no data
1526.01/191.14	c  S st    38    158025     28686     35865     57591     72636    301905  19809598   no data   no data
1527.65/191.36	c  S st    38    158527     28686     35865     57592     73133    301905  19815314   no data   no data
1528.46/191.42	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
1534.00/192.14	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     27 BRemL:    177 BRemN:      0 P:  7.2M T:  0.72
1534.00/192.17	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1534.00/192.18	c bin-w-bin subsume rem          253 bins  time:  0.01 s
1534.80/192.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
1534.80/192.23	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   7635 time:  0.03 s
1534.80/192.25	c Removed useless bin:       0  fixed:     0  props:   0.29M  time:  0.02 s
1537.25/192.52	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.27 s
1560.38/195.40	c subs with bin:        6  lits-rem:         0  v-fix:    0  time:  1.96 s
1735.40/217.30	c lits-rem:      2988  cl-subs:     1070  v-elim:      0  v-fix:    0  time: 21.89 s
1735.40/217.32	c vivif2 --  cl tried    35865 cl shrink        0 lits rem          0 time: 0.02
1746.60/218.79	c vivif2 --  cl tried    72057 cl shrink    16096 lits rem     154121 time: 1.46
1750.58/219.24	c asymm  cl-useful: 0/35865/35865 lits-rem:0 time: 0.45
1750.58/219.26	c calculated reachability. Time: 0.01
1750.58/219.26	c  N st    38    158527     28686     35865     57189     72057    301905  19158961   no data   no data
2486.72/311.39	c  N st    39    207116     28686     35865     57189     72216    301905  23976097   no data   no data
2487.47/311.42	c Finding binary XORs  T:     0.02 s  found:       0
2801.57/350.72	c  N st    40    237790     28686     35865     57319     76335    301905  22727250   no data   no data
2801.57/350.72	c  S st    40    237790     28686     35865     57319     76335    301905  22727250   no data   no data
2803.96/351.02	c  S st    40    238293     28686     35865     57332     76832    301905  22734199   no data   no data
2803.96/351.08	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
2810.37/351.82	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:     51 BRemN:      0 P:  7.4M T:  0.74
2810.37/351.85	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2810.37/351.86	c bin-w-bin subsume rem           19 bins  time:  0.01 s
2810.37/351.88	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
2811.21/351.91	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   3234 time:  0.03 s
2811.21/351.93	c Removed useless bin:       0  fixed:     0  props:   0.29M  time:  0.02 s
2813.57/352.24	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.31 s
2838.40/355.37	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  2.05 s
2976.60/372.62	c lits-rem:      2890  cl-subs:      382  v-elim:      0  v-fix:    0  time: 17.24 s
2976.60/372.65	c vivif2 --  cl tried    35865 cl shrink        0 lits rem          0 time: 0.02
2991.00/374.47	c vivif2 --  cl tried    76450 cl shrink    16462 lits rem     209799 time: 1.80
2994.19/374.88	c asymm  cl-useful: 0/35865/35865 lits-rem:0 time: 0.41
2994.99/374.90	c calculated reachability. Time: 0.01
2994.99/374.90	c  N st    40    238293     28686     35865     57262     76450    301905  22290013   no data   no data
3779.82/473.15	c  F st    41    306252     28686     35865     57262     87601    301905  25751136   no data   no data
3781.42/473.36	c  N st    41    306252     28686     35865     57262     87601    301905  25751136   no data   no data
3825.38/478.87	c Decided on static restart strategy
3986.83/499.08	c  N st    51    334563     28686     35865     57278     86044    301905  21823472   no data   no data
4199.44/525.61	c  N st    53    357441     28686     35865     57280     78047    301905  17193987   no data   no data
4199.44/525.61	c  S st    53    357441     28686     35865     57280     78047    301905  17193987   no data   no data
4202.64/526.00	c  S st    53    357943     28686     35865     57281     78547    301905  17204562   no data   no data
4202.64/526.06	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
4209.08/526.83	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:    158 BRemL:     32 BRemN:      0 P:  7.4M T:  0.77
4209.08/526.85	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4209.08/526.87	c bin-w-bin subsume rem            5 bins  time:  0.01 s
4209.08/526.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
4209.89/526.92	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   7660 time:  0.03 s
4209.89/526.94	c Removed useless bin:       0  fixed:     0  props:   0.30M  time:  0.02 s
4211.44/527.19	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.25 s
4233.83/529.95	c subs with bin:        2  lits-rem:         0  v-fix:    0  time:  1.97 s
4331.33/542.18	c lits-rem:      4115  cl-subs:      529  v-elim:      0  v-fix:    0  time: 12.21 s
4331.33/542.20	c vivif2 --  cl tried    35865 cl shrink        0 lits rem          0 time: 0.02
4341.77/543.48	c vivif2 --  cl tried    78016 cl shrink    11996 lits rem     120225 time: 1.26
4344.92/543.89	c asymm  cl-useful: 0/35865/35865 lits-rem:0 time: 0.42
4345.72/543.91	c calculated reachability. Time: 0.01
4345.72/543.91	c  N st    53    357943     28686     35865     57403     78015    301905  16905241   no data   no data
4633.40/579.95	c  N st    54    390337     28686     35865     57403     78534    301905  14908550   no data   no data
5085.79/636.57	c  N st    55    438925     28686     35865     57467     94094    301905  24268906   no data   no data
6224.73/779.03	c  N st    56    511807     28686     35865     57467     98129    301905  34384352   no data   no data
6518.85/815.86	c  N st    57    536916     28686     35865     57468     87330    301905  26665031   no data   no data
6518.85/815.86	c  S st    57    536916     28686     35865     57468     87330    301905  26665031   no data   no data
6520.45/816.07	c  S st    57    537416     28686     35865     57489     87825    301905  26670359   no data   no data
6521.29/816.14	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
6527.64/816.92	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:     50 BRemN:      0 P:  7.7M T:  0.77
6527.64/816.94	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
6527.64/816.95	c bin-w-bin subsume rem           34 bins  time:  0.01 s
6527.64/816.98	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
6528.44/817.00	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   5410 time:  0.03 s
6528.44/817.02	c Removed useless bin:       0  fixed:     0  props:   0.30M  time:  0.02 s
6530.89/817.39	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.36 s
6558.01/820.76	c subs with bin:        2  lits-rem:         0  v-fix:    0  time:  2.11 s
6692.31/837.59	c lits-rem:      2729  cl-subs:      378  v-elim:      0  v-fix:    0  time: 16.82 s
6693.11/837.61	c vivif2 --  cl tried    35865 cl shrink        0 lits rem          0 time: 0.02
6711.51/839.95	c vivif2 --  cl tried    87445 cl shrink    15637 lits rem     247832 time: 2.31
6714.75/840.39	c asymm  cl-useful: 0/35865/35865 lits-rem:0 time: 0.44
6715.54/840.41	c calculated reachability. Time: 0.01
6715.54/840.41	c  N st    57    537416     28686     35865     57405     87445    301905  26230670   no data   no data
8576.06/1073.27	c  N st    58    701401     28686     35865     57405     97756    301905  31989650   no data   no data
10055.48/1258.37	c  N st    59    806126     28686     35865     57415     76321    301905  10076848   no data   no data
10055.48/1258.37	c  S st    59    806126     28686     35865     57415     76321    301905  10076848   no data   no data
10059.43/1258.80	c  S st    59    806628     28686     35865     57422     76821    301905  10086035   no data   no data
10059.43/1258.84	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
10065.80/1259.60	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:    118 BRemL:     22 BRemN:      0 P:  7.4M T:  0.75
10065.80/1259.63	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
10065.80/1259.64	c bin-w-bin subsume rem            2 bins  time:  0.01 s
10065.80/1259.66	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
10065.80/1259.69	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   5814 time:  0.03 s
10066.60/1259.71	c Removed useless bin:       0  fixed:     0  props:   0.30M  time:  0.02 s
10067.39/1259.90	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.18 s
10087.37/1262.30	c subs with bin:        2  lits-rem:         0  v-fix:    0  time:  1.96 s
10126.61/1267.26	c lits-rem:      2642  cl-subs:      271  v-elim:      0  v-fix:    0  time:  4.94 s
10126.61/1267.28	c vivif2 --  cl tried    35865 cl shrink        0 lits rem          0 time: 0.02
10130.54/1267.79	c vivif2 --  cl tried    76548 cl shrink     1583 lits rem      25767 time: 0.51
10134.59/1268.22	c asymm  cl-useful: 0/35865/35865 lits-rem:0 time: 0.42
10134.59/1268.24	c calculated reachability. Time: 0.01
10134.59/1268.24	c  N st    59    806628     28686     35865     57516     76548    301905  10014751   no data   no data
13677.56/1711.68	c  F st    60   1071875     28686     35865     57516    111795    301905  34193821   no data   no data
13679.11/1711.86	c  N st    60   1071875     28686     35865     57516    111795    301905  34193821   no data   no data
13679.11/1711.89	c Finding binary XORs  T:     0.03 s  found:       0
13719.89/1716.92	c Decided on static restart strategy
13949.32/1745.65	c  N st    70   1100194     28686     35865     57577     91183    301905  13867593   no data   no data
14304.17/1790.08	c  N st    72   1136186     28686     35865     57578    126862    301905  33043593   no data   no data
14608.67/1828.19	c  N st    73   1168579     28686     35865     57578    109604    301905  27932645   no data   no data
15022.66/1879.96	c  N st    74   1209945     28686     35865     57720     99903    301905  16263437   no data   no data
15022.66/1879.96	c  S st    74   1209945     28686     35865     57720     99903    301905  16263437   no data   no data
15025.82/1880.33	c  S st    74   1210452     28686     35865     57722    100409    301905  16271115   no data   no data
15025.82/1880.39	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
15033.00/1881.21	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     40 BRemL:     56 BRemN:      0 P:  8.1M T:  0.81
15033.00/1881.23	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
15033.00/1881.24	c bin-w-bin subsume rem           44 bins  time:  0.01 s
15033.00/1881.27	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
15033.80/1881.30	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   7210 time:  0.03 s
15033.80/1881.32	c Removed useless bin:       0  fixed:     0  props:   0.30M  time:  0.02 s
15035.41/1881.57	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.26 s
15057.03/1884.27	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.93 s
15147.32/1895.59	c lits-rem:      5652  cl-subs:      547  v-elim:      0  v-fix:    0  time: 11.25 s
15148.12/1895.61	c vivif2 --  cl tried    35865 cl shrink        0 lits rem          0 time: 0.02
15156.91/1896.70	c vivif2 --  cl tried    99862 cl shrink    12344 lits rem     129047 time: 1.07
15160.12/1897.16	c asymm  cl-useful: 0/35865/35865 lits-rem:0 time: 0.46
15160.12/1897.18	c calculated reachability. Time: 0.01
15160.12/1897.18	c  N st    74   1210452     28686     35865     57662     99862    301905  16013474   no data   no data
16322.97/2042.69	c  N st    75   1283334     28686     35865     57662    120762    301905  36649419   no data   no data
17595.29/2201.81	c  N st    76   1392657     28686     35865     57681    122898    301905  32321830   no data   no data
19339.19/2420.01	c  N st    77   1556641     28686     35865     57684    119295    301905  28209595   no data   no data
21504.92/2691.02	c  N st    78   1710453     28686     35865     57692     96328    301905  12683003   no data   no data
21504.92/2691.02	c  S st    78   1710453     28686     35865     57692     96328    301905  12683003   no data   no data
21504.92/2691.04	c Finding binary XORs  T:     0.03 s  found:       0
21506.52/2691.30	c  S st    78   1710954     28686     35865     58074     96828    301905  12689871   no data   no data
21507.32/2691.35	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
21513.71/2692.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:     73 BRemN:      0 P:  8.1M T:  0.79
21513.71/2692.17	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
21513.71/2692.18	c bin-w-bin subsume rem           12 bins  time:  0.01 s
21514.52/2692.21	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
21514.52/2692.24	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   4476 time:  0.03 s
21514.52/2692.26	c Removed useless bin:       0  fixed:     0  props:   0.30M  time:  0.02 s
21516.12/2692.48	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.22 s
21536.92/2695.02	c subs with bin:        4  lits-rem:         0  v-fix:    0  time:  1.96 s
21591.23/2701.83	c lits-rem:      1843  cl-subs:      336  v-elim:      0  v-fix:    0  time:  6.76 s
21591.23/2701.85	c vivif2 --  cl tried    35865 cl shrink        0 lits rem          0 time: 0.02
21597.67/2702.61	c vivif2 --  cl tried    96488 cl shrink     3557 lits rem      44816 time: 0.74
21600.82/2703.06	c asymm  cl-useful: 0/35865/35865 lits-rem:0 time: 0.45
21600.82/2703.08	c calculated reachability. Time: 0.01
21600.82/2703.08	c  N st    78   1710954     28686     35865     57989     96488    301905  12597303   no data   no data
25813.42/3230.12	c  N st    79   2079925     28686     35865     57989    150401    301905  42051540   no data   no data
27619.64/3456.14	c  N st    80   2210955     28686     35865     57996    147654    301905  35014723   no data   no data
27619.64/3456.14	c  S st    80   2210955     28686     35865     57996    147654    301905  35014723   no data   no data
27622.80/3456.53	c  S st    80   2211460     28686     35865     58021    148157    301905  35027302   no data   no data
27623.60/3456.62	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.09
27630.79/3457.52	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     16 BRemL:      9 BRemN:      0 P:  9.1M T:  0.89
27630.79/3457.54	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
27630.79/3457.55	c bin-w-bin subsume rem            0 bins  time:  0.01 s
27630.79/3457.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
27631.58/3457.61	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   6052 time:  0.03 s
27631.58/3457.63	c Removed useless bin:       0  fixed:     0  props:   0.30M  time:  0.02 s
27635.59/3458.10	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.47 s
27665.16/3461.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.96 s
28329.32/3544.94	c lits-rem:     16154  cl-subs:     2228  v-elim:      0  v-fix:    0  time: 82.67 s
28329.32/3544.96	c vivif2 --  cl tried    35865 cl shrink        0 lits rem          0 time: 0.02
28352.51/3547.86	c vivif2 --  cl tried   145929 cl shrink    38374 lits rem     743920 time: 2.86
28356.51/3548.37	c asymm  cl-useful: 0/35865/35865 lits-rem:0 time: 0.52
28356.51/3548.40	c calculated reachability. Time: 0.01
28357.31/3548.40	c  N st    80   2211460     28686     35865     58028    145929    301905  33223642   no data   no data
36250.25/4536.09	c  N st    81   2711466     28686     35865     58028    149958    301905  46643494   no data   no data
36250.25/4536.09	c  S st    81   2711466     28686     35865     58028    149958    301905  46643494   no data   no data
36255.04/4536.60	c  S st    81   2711968     28686     35865     58159    150457    301905  46650350   no data   no data
36255.84/4536.72	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.12
36263.04/4537.69	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:    213 BRemL:     56 BRemN:      0 P:  9.3M T:  0.97
36263.84/4537.71	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
36263.84/4537.73	c bin-w-bin subsume rem           12 bins  time:  0.01 s
36263.84/4537.75	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
36263.84/4537.78	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2662 time:  0.03 s
36264.64/4537.80	c Removed useless bin:       0  fixed:     0  props:   0.30M  time:  0.02 s
36269.43/4538.43	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.62 s
36306.20/4543.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  2.18 s
36671.35/4588.79	c lits-rem:      7727  cl-subs:      619  v-elim:      0  v-fix:    0  time: 45.76 s
36672.15/4588.81	c vivif2 --  cl tried    35865 cl shrink        0 lits rem          0 time: 0.02
36704.93/4592.99	c vivif2 --  cl tried   149838 cl shrink    33389 lits rem     850027 time: 4.12
36709.77/4593.59	c asymm  cl-useful: 0/35865/35865 lits-rem:0 time: 0.60
36710.58/4593.61	c calculated reachability. Time: 0.01
36710.58/4593.61	c  N st    81   2711968     28686     35865     58304    149838    301905  45385422   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: 935)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3321237-1304332732/watcher-3321237-1304332732 -o /tmp/evaluation-result-3321237-1304332732/solver-3321237-1304332732 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3321237-1304332732.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: 0.00 0.15 2.21 1/194 9552
/proc/meminfo: memFree=30299632/32950928 swapFree=66698976/67111528
[pid=9552] ppid=9550 vsize=92188 CPUtime=0.01 cores=0-7
/proc/9552/stat : 9552 (strangenight2-m) R 9550 9552 9492 0 -1 4202496 413 0 0 0 1 0 0 0 21 0 8 0 544873107 94400512 352 33554432000 4194304 4627427 140735244924736 18446744073709551615 47942542927794 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/9552/statm: 23047 352 299 106 0 18018 0
[pid=9552/tid=9553] ppid=9550 vsize=92188 CPUtime=0 cores=0-7
/proc/9552/task/9553/stat : 9553 (strangenight2-m) R 9550 9552 9492 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 8 0 544873107 94400512 352 33554432000 4194304 4627427 140735244924736 18446744073709551615 47942542927784 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9552/tid=9554] ppid=9550 vsize=92188 CPUtime=0 cores=0-7
/proc/9552/task/9554/stat : 9554 (strangenight2-m) R 9550 9552 9492 0 -1 4202560 0 0 0 0 0 0 0 0 21 0 8 0 544873107 94400512 352 33554432000 4194304 4627427 140735244924736 18446744073709551615 47942542927792 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9552/tid=9555] ppid=9550 vsize=92188 CPUtime=0 cores=0-7
/proc/9552/task/9555/stat : 9555 (strangenight2-m) R 9550 9552 9492 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 8 0 544873107 94400512 352 33554432000 4194304 4627427 140735244924736 18446744073709551615 47942542927798 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9552/tid=9556] ppid=9550 vsize=92188 CPUtime=0 cores=0-7
/proc/9552/task/9556/stat : 9556 (strangenight2-m) R 9550 9552 9492 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 8 0 544873107 94400512 352 33554432000 4194304 4627427 140735244924736 18446744073709551615 47942542927794 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9552/tid=9557] ppid=9550 vsize=92188 CPUtime=0 cores=0-7
/proc/9552/task/9557/stat : 9557 (strangenight2-m) R 9550 9552 9492 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 8 0 544873107 94400512 352 33554432000 4194304 4627427 140735244924736 18446744073709551615 248089754609 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9552/tid=9558] ppid=9550 vsize=92188 CPUtime=0 cores=0-7
/proc/9552/task/9558/stat : 9558 (strangenight2-m) R 9550 9552 9492 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 8 0 544873107 94400512 352 33554432000 4194304 4627427 140735244924736 18446744073709551615 47942542927794 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9552/tid=9559] ppid=9550 vsize=92188 CPUtime=0 cores=0-7
/proc/9552/task/9559/stat : 9559 (strangenight2-m) R 9550 9552 9492 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 8 0 544873107 94400512 352 33554432000 4194304 4627427 140735244924736 18446744073709551615 47942542927794 0 0 4096 2 0 0 0 -1 6 0 0 0

[startup+0.032346 s]
/proc/loadavg: 0.00 0.15 2.21 1/194 9552
/proc/meminfo: memFree=30299632/32950928 swapFree=66698976/67111528
[pid=9552] ppid=9550 vsize=92188 CPUtime=0.18 cores=0-7
/proc/9552/stat : 9552 (strangenight2-m) R 9550 9552 9492 0 -1 4202496 422 0 0 0 18 0 0 0 21 0 8 0 544873107 94400512 361 33554432000 4194304 4627427 140735244924736 18446744073709551615 47942542927379 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/9552/statm: 23047 361 303 106 0 18018 0
[pid=9552/tid=9553] ppid=9550 vsize=92188 CPUtime=0.02 cores=0-7
/proc/9552/task/9553/stat : 9553 (strangenight2-m) R 9550 9552 9492 0 -1 4202560 5 0 0 0 2 0 0 0 21 0 8 0 544873107 94400512 361 33554432000 4194304 4627427 140735244924736 18446744073709551615 47942542927385 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9552/tid=9554] ppid=9550 vsize=92188 CPUtime=0 cores=0-7
/proc/9552/task/9554/stat : 9554 (strangenight2-m) R 9550 9552 9492 0 -1 4202560 0 0 0 0 0 0 0 0 21 0 8 0 544873107 94400512 361 33554432000 4194304 4627427 140735244924736 18446744073709551615 47942542927792 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9552/tid=9555] ppid=9550 vsize=92188 CPUtime=0.02 cores=0-7
/proc/9552/task/9555/stat : 9555 (strangenight2-m) R 9550 9552 9492 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 8 0 544873107 94400512 361 33554432000 4194304 4627427 140735244924736 18446744073709551615 47942542927385 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9552/tid=9556] ppid=9550 vsize=92188 CPUtime=0.02 cores=0-7
/proc/9552/task/9556/stat : 9556 (strangenight2-m) R 9550 9552 9492 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 8 0 544873107 94400512 361 33554432000 4194304 4627427 140735244924736 18446744073709551615 47942542927376 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9552/tid=9557] ppid=9550 vsize=92188 CPUtime=0.02 cores=0-7
/proc/9552/task/9557/stat : 9557 (strangenight2-m) R 9550 9552 9492 0 -1 4202560 1 0 0 0 2 0 0 0 23 0 8 0 544873107 94400512 361 33554432000 4194304 4627427 140735244924736 18446744073709551615 47942542927383 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9552/tid=9558] ppid=9550 vsize=92188 CPUtime=0.02 cores=0-7
/proc/9552/task/9558/stat : 9558 (strangenight2-m) R 9550 9552 9492 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 8 0 544873107 94400512 361 33554432000 4194304 4627427 140735244924736 18446744073709551615 47942542927385 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9552/tid=9559] ppid=9550 vsize=92188 CPUtime=0.02 cores=0-7
/proc/9552/task/9559/stat : 9559 (strangenight2-m) R 9550 9552 9492 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 8 0 544873107 94400512 361 33554432000 4194304 4627427 140735244924736 18446744073709551615 47942542927383 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 92188

[startup+0.100341 s]
/proc/loadavg: 0.00 0.15 2.21 1/194 9552
/proc/meminfo: memFree=30299632/32950928 swapFree=66698976/67111528
[pid=9552] ppid=9550 vsize=674704 CPUtime=0.6 cores=0-7
/proc/9552/stat : 9552 (strangenight2-m) S 9550 9552 9492 0 -1 4202496 35245 0 0 0 47 13 0 0 18 0 8 0 544873107 690896896 27135 33554432000 4194304 4627427 140735244924736 18446744073709551615 248089803246 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/9552/statm: 168676 27161 341 106 0 163647 0
[pid=9552/tid=9553] ppid=9550 vsize=674704 CPUtime=0.07 cores=0-7
/proc/9552/task/9553/stat : 9553 (strangenight2-m) S 9550 9552 9492 0 -1 4202560 4685 0 0 0 6 1 0 0 18 0 8 0 544873107 690896896 27174 33554432000 4194304 4627427 140735244924736 18446744073709551615 248089803246 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9552/tid=9554] ppid=9550 vsize=674704 CPUtime=0.04 cores=0-7
/proc/9552/task/9554/stat : 9554 (strangenight2-m) S 9550 9552 9492 0 -1 4202560 4352 0 0 0 3 1 0 0 18 0 8 0 544873107 690896896 27199 33554432000 4194304 4627427 140735244924736 18446744073709551615 248089803246 0 0 4096 2 18446604468584699712 0 0 -1 7 0 0 0
[pid=9552/tid=9555] ppid=9550 vsize=674704 CPUtime=0.07 cores=0-7
/proc/9552/task/9555/stat : 9555 (strangenight2-m) S 9550 9552 9492 0 -1 4202560 4285 0 0 0 6 1 0 0 18 0 8 0 544873107 690896896 27238 33554432000 4194304 4627427 140735244924736 18446744073709551615 248089803246 0 0 4096 2 18446604468584699712 0 0 -1 1 0 0 0
[pid=9552/tid=9556] ppid=9550 vsize=674704 CPUtime=0.07 cores=0-7
/proc/9552/task/9556/stat : 9556 (strangenight2-m) S 9550 9552 9492 0 -1 4202560 4481 0 0 0 6 1 0 0 18 0 8 0 544873107 690896896 27317 33554432000 4194304 4627427 140735244924736 18446744073709551615 248089803246 0 0 4096 2 18446604468584699712 0 0 -1 0 0 0 0
[pid=9552/tid=9557] ppid=9550 vsize=674704 CPUtime=0.07 cores=0-7
/proc/9552/task/9557/stat : 9557 (strangenight2-m) S 9550 9552 9492 0 -1 4202560 4351 0 0 0 6 1 0 0 18 0 8 0 544873107 690896896 27317 33554432000 4194304 4627427 140735244924736 18446744073709551615 248089803246 0 0 4096 2 18446604468584699712 0 0 -1 5 0 0 0
[pid=9552/tid=9558] ppid=9550 vsize=674704 CPUtime=0.07 cores=0-7
/proc/9552/task/9558/stat : 9558 (strangenight2-m) S 9550 9552 9492 0 -1 4202560 4337 0 0 0 6 1 0 0 18 0 8 0 544873107 690896896 27317 33554432000 4194304 4627427 140735244924736 18446744073709551615 248089803246 0 0 4096 2 18446604468584699712 0 0 -1 2 0 0 0
[pid=9552/tid=9559] ppid=9550 vsize=674704 CPUtime=0.06 cores=0-7
/proc/9552/task/9559/stat : 9559 (strangenight2-m) R 9550 9552 9492 0 -1 4202560 3918 0 0 0 5 1 0 0 18 0 8 0 544873107 690896896 27362 33554432000 4194304 4627427 140735244924736 18446744073709551615 248089803295 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 674704

[startup+0.302353 s]
/proc/loadavg: 0.00 0.15 2.21 1/194 9552
/proc/meminfo: memFree=30299632/32950928 swapFree=66698976/67111528
[pid=9552] ppid=9550 vsize=677196 CPUtime=1.97 cores=0-7
/proc/9552/stat : 9552 (strangenight2-m) S 9550 9552 9492 0 -1 4202496 48353 0 0 0 138 59 0 0 17 0 8 0 544873107 693448704 40242 33554432000 4194304 4627427 140735244924736 18446744073709551615 248089803246 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/9552/statm: 169299 40244 345 106 0 164270 0
[pid=9552/tid=9553] ppid=9550 vsize=677196 CPUtime=0.24 cores=0-7
/proc/9552/task/9553/stat : 9553 (strangenight2-m) R 9550 9552 9492 0 -1 4202560 6289 0 0 0 17 7 0 0 17 0 8 0 544873107 693448704 40260 33554432000 4194304 4627427 140735244924736 18446744073709551615 248089803295 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9552/tid=9554] ppid=9550 vsize=677196 CPUtime=0.21 cores=0-7
/proc/9552/task/9554/stat : 9554 (strangenight2-m) S 9550 9552 9492 0 -1 4202560 5942 0 0 0 13 8 0 0 17 0 8 0 544873107 693448704 40266 33554432000 4194304 4627427 140735244924736 18446744073709551615 248089803246 0 0 4096 2 18446604468584699712 0 0 -1 7 0 0 0
[pid=9552/tid=9555] ppid=9550 vsize=677196 CPUtime=0.24 cores=0-7
/proc/9552/task/9555/stat : 9555 (strangenight2-m) S 9550 9552 9492 0 -1 4202560 5945 0 0 0 18 6 0 0 17 0 8 0 544873107 693448704 40266 33554432000 4194304 4627427 140735244924736 18446744073709551615 248089803246 0 0 4096 2 18446604468584699712 0 0 -1 1 0 0 0
[pid=9552/tid=9556] ppid=9550 vsize=677196 CPUtime=0.24 cores=0-7
/proc/9552/task/9556/stat : 9556 (strangenight2-m) R 9550 9552 9492 0 -1 4202560 6171 0 0 0 18 6 0 0 17 0 8 0 544873107 693448704 40266 33554432000 4194304 4627427 140735244924736 18446744073709551615 248089347276 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9552/tid=9557] ppid=9550 vsize=677196 CPUtime=0.25 cores=0-7
/proc/9552/task/9557/stat : 9557 (strangenight2-m) R 9550 9552 9492 0 -1 4202560 5936 0 0 0 18 7 0 0 17 0 8 0 544873107 693448704 40266 33554432000 4194304 4627427 140735244924736 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9552/tid=9558] ppid=9550 vsize=677196 CPUtime=0.24 cores=0-7
/proc/9552/task/9558/stat : 9558 (strangenight2-m) R 9550 9552 9492 0 -1 4202560 5972 0 0 0 17 7 0 0 17 0 8 0 544873107 693448704 40314 33554432000 4194304 4627427 140735244924736 18446744073709551615 248089803295 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9552/tid=9559] ppid=9550 vsize=677196 CPUtime=0.23 cores=0-7
/proc/9552/task/9559/stat : 9559 (strangenight2-m) S 9550 9552 9492 0 -1 4202560 5486 0 0 0 16 7 0 0 17 0 8 0 544873107 693448704 40315 33554432000 4194304 4627427 140735244924736 18446744073709551615 248089803246 0 0 4096 2 18446604468584699712 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.97
Current children cumulated vsize (KiB) 677196

[startup+0.701238 s]
/proc/loadavg: 0.00 0.15 2.21 1/194 9552
/proc/meminfo: memFree=30299632/32950928 swapFree=66698976/67111528
[pid=9552] ppid=9550 vsize=678896 CPUtime=5.08 cores=0-7
/proc/9552/stat : 9552 (strangenight2-m) R 9550 9552 9492 0 -1 4202496 51098 0 0 0 440 68 0 0 18 0 8 0 544873107 695189504 42983 33554432000 4194304 4627427 140735244924736 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/9552/statm: 169724 42983 365 106 0 164695 0
[pid=9552/tid=9553] ppid=9550 vsize=678896 CPUtime=0.63 cores=0-7
/proc/9552/task/9553/stat : 9553 (strangenight2-m) R 9550 9552 9492 0 -1 4202560 6611 0 0 0 54 9 0 0 17 0 8 0 544873107 695189504 42983 33554432000 4194304 4627427 140735244924736 18446744073709551615 4308307 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9552/tid=9554] ppid=9550 vsize=678896 CPUtime=0.6 cores=0-7
/proc/9552/task/9554/stat : 9554 (strangenight2-m) R 9550 9552 9492 0 -1 4202560 6296 0 0 0 51 9 0 0 18 0 8 0 544873107 695189504 42983 33554432000 4194304 4627427 140735244924736 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9552/tid=9555] ppid=9550 vsize=678896 CPUtime=0.63 cores=0-7
/proc/9552/task/9555/stat : 9555 (strangenight2-m) R 9550 9552 9492 0 -1 4202560 6218 0 0 0 55 8 0 0 18 0 8 0 544873107 695189504 42983 33554432000 4194304 4627427 140735244924736 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9552/tid=9556] ppid=9550 vsize=678896 CPUtime=0.63 cores=0-7
/proc/9552/task/9556/stat : 9556 (strangenight2-m) R 9550 9552 9492 0 -1 4202560 6522 0 0 0 56 7 0 0 18 0 8 0 544873107 695189504 42983 33554432000 4194304 4627427 140735244924736 18446744073709551615 4308280 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9552/tid=9557] ppid=9550 vsize=678896 CPUtime=0.63 cores=0-7
/proc/9552/task/9557/stat : 9557 (strangenight2-m) R 9550 9552 9492 0 -1 4202560 6276 0 0 0 56 7 0 0 18 0 8 0 544873107 695189504 42983 33554432000 4194304 4627427 140735244924736 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9552/tid=9558] ppid=9550 vsize=678896 CPUtime=0.63 cores=0-7
/proc/9552/task/9558/stat : 9558 (strangenight2-m) R 9550 9552 9492 0 -1 4202560 6274 0 0 0 54 9 0 0 18 0 8 0 544873107 695189504 42983 33554432000 4194304 4627427 140735244924736 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9552/tid=9559] ppid=9550 vsize=678896 CPUtime=0.63 cores=0-7
/proc/9552/task/9559/stat : 9559 (strangenight2-m) R 9550 9552 9492 0 -1 4202560 5945 0 0 0 55 8 0 0 18 0 8 0 544873107 695189504 42983 33554432000 4194304 4627427 140735244924736 18446744073709551615 4326177 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.08
Current children cumulated vsize (KiB) 678896

[startup+1.50109 s]
/proc/loadavg: 0.64 0.28 2.24 7/202 9560
/proc/meminfo: memFree=30110964/32950928 swapFree=66698976/67111528
[pid=9552] ppid=9550 vsize=713088 CPUtime=10.55 cores=0-7
/proc/9552/stat : 9552 (strangenight2-m) R 9550 9552 9492 0 -1 4202496 86837 0 0 0 884 171 0 0 16 0 8 0 544873107 730202112 76316 33554432000 4194304 4627427 140735244924736 18446744073709551615 4526746 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/9552/statm: 178305 76319 382 106 0 173276 0
[pid=9552/tid=9553] ppid=9550 vsize=713220 CPUtime=1.28 cores=0-7
/proc/9552/task/9553/stat : 9553 (strangenight2-m) S 9550 9552 9492 0 -1 4202560 10314 0 0 0 105 23 0 0 16 0 8 0 544873107 730337280 76319 33554432000 4194304 4627427 140735244924736 18446744073709551615 248089803246 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9552/tid=9554] ppid=9550 vsize=713220 CPUtime=1.26 cores=0-7
/proc/9552/task/9554/stat : 9554 (strangenight2-m) R 9550 9552 9492 0 -1 4202560 10135 0 0 0 101 25 0 0 17 0 8 0 544873107 730337280 76319 33554432000 4194304 4627427 140735244924736 18446744073709551615 4526746 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9552/tid=9555] ppid=9550 vsize=713220 CPUtime=1.3 cores=0-7
/proc/9552/task/9555/stat : 9555 (strangenight2-m) R 9550 9552 9492 0 -1 4202560 10365 0 0 0 108 22 0 0 17 0 8 0 544873107 730337280 76319 33554432000 4194304 4627427 140735244924736 18446744073709551615 4460558 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9552/tid=9556] ppid=9550 vsize=713220 CPUtime=1.28 cores=0-7
/proc/9552/task/9556/stat : 9556 (strangenight2-m) R 9550 9552 9492 0 -1 4202560 10605 0 0 0 107 21 0 0 16 0 8 0 544873107 730337280 76320 33554432000 4194304 4627427 140735244924736 18446744073709551615 4526746 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9552/tid=9557] ppid=9550 vsize=713220 CPUtime=1.36 cores=0-7
/proc/9552/task/9557/stat : 9557 (strangenight2-m) R 9550 9552 9492 0 -1 4202560 16028 0 0 0 118 18 0 0 17 0 8 0 544873107 730337280 76322 33554432000 4194304 4627427 140735244924736 18446744073709551615 248089803295 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9552/tid=9558] ppid=9550 vsize=713220 CPUtime=1.29 cores=0-7
/proc/9552/task/9558/stat : 9558 (strangenight2-m) R 9550 9552 9492 0 -1 4202560 11986 0 0 0 104 25 0 0 17 0 8 0 544873107 730337280 76323 33554432000 4194304 4627427 140735244924736 18446744073709551615 4534796 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9552/tid=9559] ppid=9550 vsize=713220 CPUtime=1.41 cores=0-7
/proc/9552/task/9559/stat : 9559 (strangenight2-m) R 9550 9552 9492 0 -1 4202560 6261 0 0 0 133 8 0 0 18 0 8 0 544873107 730337280 76323 33554432000 4194304 4627427 140735244924736 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 10.55
Current children cumulated vsize (KiB) 713088

[startup+3.10082 s]
/proc/loadavg: 0.64 0.28 2.24 10/202 9560
/proc/meminfo: memFree=29956212/32950928 swapFree=66698976/67111528
[pid=9552] ppid=9550 vsize=733916 CPUtime=23.31 cores=0-7
/proc/9552/stat : 9552 (strangenight2-m) R 9550 9552 9492 0 -1 4202496 109355 0 0 0 2155 176 0 0 18 0 8 0 544873107 751529984 85360 33554432000 4194304 4627427 140735244924736 18446744073709551615 4276702 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/9552/statm: 183479 85360 388 106 0 178450 0
[pid=9552/tid=9553] ppid=9550 vsize=733916 CPUtime=2.87 cores=0-7
/proc/9552/task/9553/stat : 9553 (strangenight2-m) R 9550 9552 9492 0 -1 4202560 13856 0 0 0 263 24 0 0 18 0 8 0 544873107 751529984 85360 33554432000 4194304 4627427 140735244924736 18446744073709551615 4324663 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9552/tid=9554] ppid=9550 vsize=733916 CPUtime=2.86 cores=0-7
/proc/9552/task/9554/stat : 9554 (strangenight2-m) R 9550 9552 9492 0 -1 4202560 14218 0 0 0 260 26 0 0 18 0 8 0 544873107 751529984 85360 33554432000 4194304 4627427 140735244924736 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9552/tid=9555] ppid=9550 vsize=733916 CPUtime=2.9 cores=0-7
/proc/9552/task/9555/stat : 9555 (strangenight2-m) R 9550 9552 9492 0 -1 4202560 13741 0 0 0 267 23 0 0 19 0 8 0 544873107 751529984 85360 33554432000 4194304 4627427 140735244924736 18446744073709551615 4401544 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9552/tid=9556] ppid=9550 vsize=733916 CPUtime=2.88 cores=0-7
/proc/9552/task/9556/stat : 9556 (strangenight2-m) R 9550 9552 9492 0 -1 4202560 14362 0 0 0 266 22 0 0 18 0 8 0 544873107 751529984 85360 33554432000 4194304 4627427 140735244924736 18446744073709551615 4308606 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9552/tid=9557] ppid=9550 vsize=733916 CPUtime=2.97 cores=0-7
/proc/9552/task/9557/stat : 9557 (strangenight2-m) R 9550 9552 9492 0 -1 4202560 16739 0 0 0 278 19 0 0 19 0 8 0 544873107 751529984 85360 33554432000 4194304 4627427 140735244924736 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9552/tid=9558] ppid=9550 vsize=733916 CPUtime=2.88 cores=0-7
/proc/9552/task/9558/stat : 9558 (strangenight2-m) R 9550 9552 9492 0 -1 4202560 15448 0 0 0 263 25 0 0 19 0 8 0 544873107 751529984 85360 33554432000 4194304 4627427 140735244924736 18446744073709551615 4308280 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9552/tid=9559] ppid=9550 vsize=733916 CPUtime=3 cores=0-7
/proc/9552/task/9559/stat : 9559 (strangenight2-m) R 9550 9552 9492 0 -1 4202560 6277 0 0 0 292 8 0 0 20 0 8 0 544873107 751529984 85360 33554432000 4194304 4627427 140735244924736 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 23.31
Current children cumulated vsize (KiB) 733916

[startup+6.30125 s]
/proc/loadavg: 0.64 0.28 2.24 9/202 9560
/proc/meminfo: memFree=29953860/32950928 swapFree=66698976/67111528
[pid=9552] ppid=9550 vsize=733916 CPUtime=48.88 cores=0-7
/proc/9552/stat : 9552 (strangenight2-m) R 9550 9552 9492 0 -1 4202496 110479 0 0 0 4712 176 0 0 25 0 8 0 544873107 751529984 86480 33554432000 4194304 4627427 140735244924736 18446744073709551615 4308383 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/9552/statm: 183479 86480 388 106 0 178450 0
[pid=9552/tid=9553] ppid=9550 vsize=733916 CPUtime=6.07 cores=0-7
/proc/9552/task/9553/stat : 9553 (strangenight2-m) R 9550 9552 9492 0 -1 4202560 14054 0 0 0 583 24 0 0 25 0 8 0 544873107 751529984 86480 33554432000 4194304 4627427 140735244924736 18446744073709551615 4308256 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9552/tid=9554] ppid=9550 vsize=733916 CPUtime=6.06 cores=0-7
/proc/9552/task/9554/stat : 9554 (strangenight2-m) R 9550 9552 9492 0 -1 4202560 14280 0 0 0 580 26 0 0 25 0 8 0 544873107 751529984 86480 33554432000 4194304 4627427 140735244924736 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9552/tid=9555] ppid=9550 vsize=733916 CPUtime=6.1 cores=0-7
/proc/9552/task/9555/stat : 9555 (strangenight2-m) R 9550 9552 9492 0 -1 4202560 13800 0 0 0 587 23 0 0 25 0 8 0 544873107 751529984 86480 33554432000 4194304 4627427 140735244924736 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9552/tid=9556] ppid=9550 vsize=733916 CPUtime=6.08 cores=0-7
/proc/9552/task/9556/stat : 9556 (strangenight2-m) R 9550 9552 9492 0 -1 4202560 14531 0 0 0 586 22 0 0 25 0 8 0 544873107 751529984 86480 33554432000 4194304 4627427 140735244924736 18446744073709551615 4326079 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9552/tid=9557] ppid=9550 vsize=733916 CPUtime=6.17 cores=0-7
/proc/9552/task/9557/stat : 9557 (strangenight2-m) R 9550 9552 9492 0 -1 4202560 16788 0 0 0 598 19 0 0 25 0 8 0 544873107 751529984 86480 33554432000 4194304 4627427 140735244924736 18446744073709551615 4324663 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9552/tid=9558] ppid=9550 vsize=733916 CPUtime=6.06 cores=0-7
/proc/9552/task/9558/stat : 9558 (strangenight2-m) R 9550 9552 9492 0 -1 4202560 15554 0 0 0 581 25 0 0 25 0 8 0 544873107 751529984 86480 33554432000 4194304 4627427 140735244924736 18446744073709551615 4305851 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9552/tid=9559] ppid=9550 vsize=733916 CPUtime=6.21 cores=0-7
/proc/9552/task/9559/stat : 9559 (strangenight2-m) R 9550 9552 9492 0 -1 4202560 6708 0 0 0 612 9 0 0 25 0 8 0 544873107 751529984 86480 33554432000 4194304 4627427 140735244924736 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 6 0 0 0

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

Current children cumulated vsize (KiB) 15361276

[startup+4722.31 s]
/proc/loadavg: 8.01 8.03 7.96 9/202 9698
/proc/meminfo: memFree=17373688/32950928 swapFree=66698976/67111528
[pid=9552] ppid=9550 vsize=15622672 CPUtime=37739.1 cores=0-7
/proc/9552/stat : 9552 (strangenight2-m) R 9550 9552 9492 0 -1 4202496 21375146 0 0 0 3767928 5982 0 0 25 0 8 0 544873107 15997616128 3224436 33554432000 4194304 4627427 140735244924736 18446744073709551615 4321603 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/9552/statm: 3905668 3224436 391 106 0 3900639 0
[pid=9552/tid=9553] ppid=9550 vsize=15622672 CPUtime=4720.89 cores=0-7
/proc/9552/task/9553/stat : 9553 (strangenight2-m) R 9550 9552 9492 0 -1 4202560 3036951 0 0 0 471256 833 0 0 25 0 8 0 544873107 15997616128 3224436 33554432000 4194304 4627427 140735244924736 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9552/tid=9554] ppid=9550 vsize=15622672 CPUtime=4709.49 cores=0-7
/proc/9552/task/9554/stat : 9554 (strangenight2-m) R 9550 9552 9492 0 -1 4202560 2909471 0 0 0 470128 821 0 0 25 0 8 0 544873107 15997616128 3224436 33554432000 4194304 4627427 140735244924736 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9552/tid=9555] ppid=9550 vsize=15622672 CPUtime=4720.2 cores=0-7
/proc/9552/task/9555/stat : 9555 (strangenight2-m) R 9550 9552 9492 0 -1 4202560 2873043 0 0 0 471250 770 0 0 25 0 8 0 544873107 15997616128 3224437 33554432000 4194304 4627427 140735244924736 18446744073709551615 4308275 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9552/tid=9556] ppid=9550 vsize=15622672 CPUtime=4720.78 cores=0-7
/proc/9552/task/9556/stat : 9556 (strangenight2-m) R 9550 9552 9492 0 -1 4202560 2935810 0 0 0 471259 819 0 0 25 0 8 0 544873107 15997616128 3224437 33554432000 4194304 4627427 140735244924736 18446744073709551615 4332735 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9552/tid=9557] ppid=9550 vsize=15622672 CPUtime=4718.82 cores=0-7
/proc/9552/task/9557/stat : 9557 (strangenight2-m) R 9550 9552 9492 0 -1 4202560 2860768 0 0 0 471078 804 0 0 25 0 8 0 544873107 15997616128 3224437 33554432000 4194304 4627427 140735244924736 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9552/tid=9558] ppid=9550 vsize=15622672 CPUtime=4718.49 cores=0-7
/proc/9552/task/9558/stat : 9558 (strangenight2-m) R 9550 9552 9492 0 -1 4202560 2635677 0 0 0 471075 774 0 0 25 0 8 0 544873107 15997616128 3224437 33554432000 4194304 4627427 140735244924736 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9552/tid=9559] ppid=9550 vsize=15622672 CPUtime=4721.08 cores=0-7
/proc/9552/task/9559/stat : 9559 (strangenight2-m) R 9550 9552 9492 0 -1 4202560 1201929 0 0 0 471752 356 0 0 25 0 8 0 544873107 15997616128 3224437 33554432000 4194304 4627427 140735244924736 18446744073709551615 4309279 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 37739.1
Current children cumulated vsize (KiB) 15622672

[startup+4782.3 s]
/proc/loadavg: 8.04 8.03 7.97 9/202 9700
/proc/meminfo: memFree=17093148/32950928 swapFree=66698976/67111528
[pid=9552] ppid=9550 vsize=15496436 CPUtime=38218.6 cores=0-7
/proc/9552/stat : 9552 (strangenight2-m) R 9550 9552 9492 0 -1 4202496 21616729 0 0 0 3815811 6051 0 0 25 0 8 0 544873107 15868350464 3296028 33554432000 4194304 4627427 140735244924736 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/9552/statm: 3874109 3296028 391 106 0 3869080 0
[pid=9552/tid=9553] ppid=9550 vsize=15496436 CPUtime=4780.88 cores=0-7
/proc/9552/task/9553/stat : 9553 (strangenight2-m) R 9550 9552 9492 0 -1 4202560 3082828 0 0 0 477241 847 0 0 25 0 8 0 544873107 15868350464 3296028 33554432000 4194304 4627427 140735244924736 18446744073709551615 4321786 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9552/tid=9554] ppid=9550 vsize=15496436 CPUtime=4769.12 cores=0-7
/proc/9552/task/9554/stat : 9554 (strangenight2-m) R 9550 9552 9492 0 -1 4202560 2937885 0 0 0 476082 830 0 0 25 0 8 0 544873107 15868350464 3296028 33554432000 4194304 4627427 140735244924736 18446744073709551615 4310565 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9552/tid=9555] ppid=9550 vsize=15496436 CPUtime=4780.17 cores=0-7
/proc/9552/task/9555/stat : 9555 (strangenight2-m) R 9550 9552 9492 0 -1 4202560 2893924 0 0 0 477238 779 0 0 25 0 8 0 544873107 15868350464 3296028 33554432000 4194304 4627427 140735244924736 18446744073709551615 4321761 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9552/tid=9556] ppid=9550 vsize=15496436 CPUtime=4780.76 cores=0-7
/proc/9552/task/9556/stat : 9556 (strangenight2-m) R 9550 9552 9492 0 -1 4202560 2958007 0 0 0 477251 825 0 0 25 0 8 0 544873107 15868350464 3296028 33554432000 4194304 4627427 140735244924736 18446744073709551615 4309266 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9552/tid=9557] ppid=9550 vsize=15496436 CPUtime=4778.8 cores=0-7
/proc/9552/task/9557/stat : 9557 (strangenight2-m) R 9550 9552 9492 0 -1 4202560 2918977 0 0 0 477068 812 0 0 25 0 8 0 544873107 15868350464 3296028 33554432000 4194304 4627427 140735244924736 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9552/tid=9558] ppid=9550 vsize=15496436 CPUtime=4778.47 cores=0-7
/proc/9552/task/9558/stat : 9558 (strangenight2-m) R 9550 9552 9492 0 -1 4202560 2659265 0 0 0 477065 782 0 0 25 0 8 0 544873107 15868350464 3296028 33554432000 4194304 4627427 140735244924736 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9552/tid=9559] ppid=9550 vsize=15496436 CPUtime=4781.06 cores=0-7
/proc/9552/task/9559/stat : 9559 (strangenight2-m) R 9550 9552 9492 0 -1 4202560 1216856 0 0 0 477746 360 0 0 25 0 8 0 544873107 15868350464 3296028 33554432000 4194304 4627427 140735244924736 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 38218.6
Current children cumulated vsize (KiB) 15496436

[startup+4842.3 s]
/proc/loadavg: 8.01 8.03 7.97 9/202 9701
/proc/meminfo: memFree=16937132/32950928 swapFree=66698976/67111528
[pid=9552] ppid=9550 vsize=15835928 CPUtime=38698.2 cores=0-7
/proc/9552/stat : 9552 (strangenight2-m) R 9550 9552 9492 0 -1 4202496 21803483 0 0 0 3863712 6105 0 0 25 0 8 0 544873107 16215990272 3333482 33554432000 4194304 4627427 140735244924736 18446744073709551615 4309142 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/9552/statm: 3958982 3333482 391 106 0 3953953 0
[pid=9552/tid=9553] ppid=9550 vsize=15835928 CPUtime=4840.86 cores=0-7
/proc/9552/task/9553/stat : 9553 (strangenight2-m) R 9550 9552 9492 0 -1 4202560 3107288 0 0 0 483231 855 0 0 25 0 8 0 544873107 16215990272 3333482 33554432000 4194304 4627427 140735244924736 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9552/tid=9554] ppid=9550 vsize=15835928 CPUtime=4828.98 cores=0-7
/proc/9552/task/9554/stat : 9554 (strangenight2-m) R 9550 9552 9492 0 -1 4202560 2979012 0 0 0 482057 841 0 0 25 0 8 0 544873107 16215990272 3333482 33554432000 4194304 4627427 140735244924736 18446744073709551615 4322040 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9552/tid=9555] ppid=9550 vsize=15835928 CPUtime=4839.96 cores=0-7
/proc/9552/task/9555/stat : 9555 (strangenight2-m) R 9550 9552 9492 0 -1 4202560 2929837 0 0 0 483207 789 0 0 25 0 8 0 544873107 16215990272 3333482 33554432000 4194304 4627427 140735244924736 18446744073709551615 4321480 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9552/tid=9556] ppid=9550 vsize=15835928 CPUtime=4840.74 cores=0-7
/proc/9552/task/9556/stat : 9556 (strangenight2-m) R 9550 9552 9492 0 -1 4202560 2975219 0 0 0 483242 832 0 0 25 0 8 0 544873107 16215990272 3333482 33554432000 4194304 4627427 140735244924736 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9552/tid=9557] ppid=9550 vsize=15835928 CPUtime=4838.78 cores=0-7
/proc/9552/task/9557/stat : 9557 (strangenight2-m) R 9550 9552 9492 0 -1 4202560 2935047 0 0 0 483060 818 0 0 25 0 8 0 544873107 16215990272 3333482 33554432000 4194304 4627427 140735244924736 18446744073709551615 4309164 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9552/tid=9558] ppid=9550 vsize=15835928 CPUtime=4838.45 cores=0-7
/proc/9552/task/9558/stat : 9558 (strangenight2-m) R 9550 9552 9492 0 -1 4202560 2679671 0 0 0 483058 787 0 0 25 0 8 0 544873107 16215990272 3333482 33554432000 4194304 4627427 140735244924736 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9552/tid=9559] ppid=9550 vsize=15835928 CPUtime=4841.06 cores=0-7
/proc/9552/task/9559/stat : 9559 (strangenight2-m) R 9550 9552 9492 0 -1 4202560 1232391 0 0 0 483743 363 0 0 25 0 8 0 544873107 16215990272 3333482 33554432000 4194304 4627427 140735244924736 18446744073709551615 4468043 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 38698.2
Current children cumulated vsize (KiB) 15835928

[startup+4902.3 s]
/proc/loadavg: 8.04 8.03 7.97 9/202 9703
/proc/meminfo: memFree=17491288/32950928 swapFree=66698976/67111528
[pid=9552] ppid=9550 vsize=15475048 CPUtime=39177.6 cores=0-7
/proc/9552/stat : 9552 (strangenight2-m) R 9550 9552 9492 0 -1 4202496 22053838 0 0 0 3911571 6184 0 0 25 0 8 0 544873107 15846449152 3197171 33554432000 4194304 4627427 140735244924736 18446744073709551615 4327427 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/9552/statm: 3868762 3197172 391 106 0 3863733 0
[pid=9552/tid=9553] ppid=9550 vsize=15475048 CPUtime=4900.83 cores=0-7
/proc/9552/task/9553/stat : 9553 (strangenight2-m) R 9550 9552 9492 0 -1 4202560 3148874 0 0 0 489214 869 0 0 25 0 8 0 544873107 15846449152 3197172 33554432000 4194304 4627427 140735244924736 18446744073709551615 4321661 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9552/tid=9554] ppid=9550 vsize=15475048 CPUtime=4888.93 cores=0-7
/proc/9552/task/9554/stat : 9554 (strangenight2-m) R 9550 9552 9492 0 -1 4202560 3007409 0 0 0 488045 848 0 0 25 0 8 0 544873107 15846449152 3197172 33554432000 4194304 4627427 140735244924736 18446744073709551615 4309646 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9552/tid=9555] ppid=9550 vsize=15475048 CPUtime=4899.59 cores=0-7
/proc/9552/task/9555/stat : 9555 (strangenight2-m) R 9550 9552 9492 0 -1 4202560 2953397 0 0 0 489163 796 0 0 25 0 8 0 544873107 15846449152 3197172 33554432000 4194304 4627427 140735244924736 18446744073709551615 4309272 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9552/tid=9556] ppid=9550 vsize=15475048 CPUtime=4900.71 cores=0-7
/proc/9552/task/9556/stat : 9556 (strangenight2-m) R 9550 9552 9492 0 -1 4202560 3013873 0 0 0 489227 844 0 0 25 0 8 0 544873107 15846449152 3197172 33554432000 4194304 4627427 140735244924736 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9552/tid=9557] ppid=9550 vsize=15475048 CPUtime=4898.74 cores=0-7
/proc/9552/task/9557/stat : 9557 (strangenight2-m) R 9550 9552 9492 0 -1 4202560 2965476 0 0 0 489044 830 0 0 25 0 8 0 544873107 15846449152 3197172 33554432000 4194304 4627427 140735244924736 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9552/tid=9558] ppid=9550 vsize=15475048 CPUtime=4898.42 cores=0-7
/proc/9552/task/9558/stat : 9558 (strangenight2-m) R 9550 9552 9492 0 -1 4202560 2712968 0 0 0 489044 798 0 0 25 0 8 0 544873107 15846449152 3197172 33554432000 4194304 4627427 140735244924736 18446744073709551615 4308104 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9552/tid=9559] ppid=9550 vsize=15475048 CPUtime=4901.02 cores=0-7
/proc/9552/task/9559/stat : 9559 (strangenight2-m) R 9550 9552 9492 0 -1 4202560 1257442 0 0 0 489733 369 0 0 25 0 8 0 544873107 15846449152 3197172 33554432000 4194304 4627427 140735244924736 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 39177.6
Current children cumulated vsize (KiB) 15475048

[startup+4962.3 s]
/proc/loadavg: 8.01 8.02 7.97 9/202 9714
/proc/meminfo: memFree=16742328/32950928 swapFree=66698976/67111528
[pid=9552] ppid=9550 vsize=16291124 CPUtime=39657.1 cores=0-7
/proc/9552/stat : 9552 (strangenight2-m) R 9550 9552 9492 0 -1 4202496 22299404 0 0 0 3959458 6256 0 0 25 0 8 0 544873107 16682110976 3382182 33554432000 4194304 4627427 140735244924736 18446744073709551615 4327427 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/9552/statm: 4072781 3382182 391 106 0 4067752 0
[pid=9552/tid=9553] ppid=9550 vsize=16291124 CPUtime=4960.82 cores=0-7
/proc/9552/task/9553/stat : 9553 (strangenight2-m) R 9550 9552 9492 0 -1 4202560 3178976 0 0 0 495204 878 0 0 25 0 8 0 544873107 16682110976 3382182 33554432000 4194304 4627427 140735244924736 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9552/tid=9554] ppid=9550 vsize=16291124 CPUtime=4948.92 cores=0-7
/proc/9552/task/9554/stat : 9554 (strangenight2-m) R 9550 9552 9492 0 -1 4202560 3032261 0 0 0 494035 857 0 0 25 0 8 0 544873107 16682110976 3382182 33554432000 4194304 4627427 140735244924736 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9552/tid=9555] ppid=9550 vsize=16291124 CPUtime=4959.24 cores=0-7
/proc/9552/task/9555/stat : 9555 (strangenight2-m) R 9550 9552 9492 0 -1 4202560 2988614 0 0 0 495116 808 0 0 25 0 8 0 544873107 16682110976 3382182 33554432000 4194304 4627427 140735244924736 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9552/tid=9556] ppid=9550 vsize=16291124 CPUtime=4960.7 cores=0-7
/proc/9552/task/9556/stat : 9556 (strangenight2-m) R 9550 9552 9492 0 -1 4202560 3098671 0 0 0 495214 856 0 0 25 0 8 0 544873107 16682110976 3382182 33554432000 4194304 4627427 140735244924736 18446744073709551615 4420265 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9552/tid=9557] ppid=9550 vsize=16291124 CPUtime=4958.73 cores=0-7
/proc/9552/task/9557/stat : 9557 (strangenight2-m) R 9550 9552 9492 0 -1 4202560 2982097 0 0 0 495036 837 0 0 25 0 8 0 544873107 16682110976 3382182 33554432000 4194304 4627427 140735244924736 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9552/tid=9558] ppid=9550 vsize=16291124 CPUtime=4958.42 cores=0-7
/proc/9552/task/9558/stat : 9558 (strangenight2-m) R 9550 9552 9492 0 -1 4202560 2734410 0 0 0 495037 805 0 0 25 0 8 0 544873107 16682110976 3382182 33554432000 4194304 4627427 140735244924736 18446744073709551615 4321405 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9552/tid=9559] ppid=9550 vsize=16291124 CPUtime=4961.02 cores=0-7
/proc/9552/task/9559/stat : 9559 (strangenight2-m) R 9550 9552 9492 0 -1 4202560 1267530 0 0 0 495729 373 0 0 25 0 8 0 544873107 16682110976 3382182 33554432000 4194304 4627427 140735244924736 18446744073709551615 4327410 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 39657.1
Current children cumulated vsize (KiB) 16291124



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+5005.2 s]
/proc/loadavg: 8.00 8.02 7.97 9/202 9715
/proc/meminfo: memFree=16372524/32950928 swapFree=66698976/67111528
[pid=9552] ppid=9550 vsize=16291124 CPUtime=40000.1 cores=0-7
/proc/9552/stat : 9552 (strangenight2-m) R 9550 9552 9492 0 -1 4202496 22391024 0 0 0 3993717 6296 0 0 25 0 8 0 544873107 16682110976 3473802 33554432000 4194304 4627427 140735244924736 18446744073709551615 4309244 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/9552/statm: 4072781 3473802 391 106 0 4067752 0
[pid=9552/tid=9553] ppid=9550 vsize=16291124 CPUtime=5003.73 cores=0-7
/proc/9552/task/9553/stat : 9553 (strangenight2-m) R 9550 9552 9492 0 -1 4202560 3197175 0 0 0 499488 885 0 0 25 0 8 0 544873107 16682110976 3473802 33554432000 4194304 4627427 140735244924736 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9552/tid=9554] ppid=9550 vsize=16291124 CPUtime=4991.82 cores=0-7
/proc/9552/task/9554/stat : 9554 (strangenight2-m) R 9550 9552 9492 0 -1 4202560 3047057 0 0 0 498319 863 0 0 25 0 8 0 544873107 16682110976 3473802 33554432000 4194304 4627427 140735244924736 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9552/tid=9555] ppid=9550 vsize=16291124 CPUtime=5001.89 cores=0-7
/proc/9552/task/9555/stat : 9555 (strangenight2-m) R 9550 9552 9492 0 -1 4202560 3003614 0 0 0 499375 814 0 0 25 0 8 0 544873107 16682110976 3473802 33554432000 4194304 4627427 140735244924736 18446744073709551615 4308428 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9552/tid=9556] ppid=9550 vsize=16291124 CPUtime=5003.61 cores=0-7
/proc/9552/task/9556/stat : 9556 (strangenight2-m) R 9550 9552 9492 0 -1 4202560 3098671 0 0 0 499505 856 0 0 25 0 8 0 544873107 16682110976 3473802 33554432000 4194304 4627427 140735244924736 18446744073709551615 4420171 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9552/tid=9557] ppid=9550 vsize=16291124 CPUtime=5001.64 cores=0-7
/proc/9552/task/9557/stat : 9557 (strangenight2-m) R 9550 9552 9492 0 -1 4202560 2992058 0 0 0 499323 841 0 0 25 0 8 0 544873107 16682110976 3473802 33554432000 4194304 4627427 140735244924736 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9552/tid=9558] ppid=9550 vsize=16291124 CPUtime=5001.33 cores=0-7
/proc/9552/task/9558/stat : 9558 (strangenight2-m) R 9550 9552 9492 0 -1 4202560 2747157 0 0 0 499324 809 0 0 25 0 8 0 544873107 16682110976 3473802 33554432000 4194304 4627427 140735244924736 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9552/tid=9559] ppid=9550 vsize=16291124 CPUtime=5003.93 cores=0-7
/proc/9552/task/9559/stat : 9559 (strangenight2-m) R 9550 9552 9492 0 -1 4202560 1272911 0 0 0 500016 377 0 0 25 0 8 0 544873107 16682110976 3473802 33554432000 4194304 4627427 140735244924736 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 40000.1
Current children cumulated vsize (KiB) 16291124

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

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

[startup+5005.4 s]
/proc/loadavg: 8.00 8.02 7.97 9/202 9715
/proc/meminfo: memFree=16372524/32950928 swapFree=66698976/67111528
[pid=9552] ppid=9550 vsize=0 CPUtime=40000.4 cores=0-7
/proc/9552/stat : 9552 (strangenight2-m) Z 9550 9552 9492 0 -1 4203548 22391036 0 0 0 3993721 6315 0 0 25 0 2 0 544873107 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/9552/statm: 0 0 0 0 0 0 0
[pid=9552/tid=9555] ppid=9550 vsize=0 CPUtime=5002.07 cores=0-7
/proc/9552/task/9555/stat : 9555 (strangenight2-m) R 9550 9552 9492 0 -1 4203588 3003616 0 0 0 499375 832 0 0 25 0 2 0 544873107 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 40000.4
Current children cumulated vsize (KiB) 0

[startup+5005.8 s]
/proc/loadavg: 8.00 8.02 7.97 9/202 9715
/proc/meminfo: memFree=16372524/32950928 swapFree=66698976/67111528
[pid=9552] ppid=9550 vsize=0 CPUtime=40000.8 cores=0-7
/proc/9552/stat : 9552 (strangenight2-m) Z 9550 9552 9492 0 -1 4203548 22391036 0 0 0 3993721 6355 0 0 25 0 2 0 544873107 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/9552/statm: 0 0 0 0 0 0 0
[pid=9552/tid=9555] ppid=9550 vsize=0 CPUtime=5002.47 cores=0-7
/proc/9552/task/9555/stat : 9555 (strangenight2-m) R 9550 9552 9492 0 -1 4203588 3003616 0 0 0 499375 872 0 0 25 0 2 0 544873107 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 40000.8
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 5005.89
CPU time (s): 40000.9
CPU user time (s): 39937.2
CPU system time (s): 63.6373
CPU usage (%): 799.076
Max. virtual memory (cumulated for all children) (KiB): 16291124

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 39937.2
system time used= 63.6373
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22391036
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= 225940
involuntary context switches= 163349

runsolver used 8.28274 second user time and 20.1819 second system time

The end

Launcher Data 

Begin job on node123 at 2011-05-02 12:38:53
IDJOB=3321237
IDBENCH=84227
IDSOLVER=1709
FILE ID=node123/3321237-1304332732
RUNJOBID= node123-1304332712-9506
PBS_JOBID= 13177722
Free space on /tmp= 73928 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
BENCH NAME= SAT03/industrial/li/li-test4/li-test4-100.shuffled-as.sat03-370.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3321237-1304332732/watcher-3321237-1304332732 -o /tmp/evaluation-result-3321237-1304332732/solver-3321237-1304332732 -C 40000 -W 5100 -M 31000  ./strangenight2-mt --threads=8 HOME/instance-3321237-1304332732.cnf

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

MD5SUM BENCH= 5e5606ae7367b9272c60adc115594912
RANDOM SEED=2038667517

node123.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.838
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.67
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.838
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.15
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.838
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.838
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.838
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.838
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.80
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.838
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.74
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.838
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:     32950928 kB
MemFree:      30299912 kB
Buffers:         59136 kB
Cached:         378816 kB
SwapCached:      16144 kB
Active:          96580 kB
Inactive:      2341944 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      30299912 kB
SwapTotal:    67111528 kB
SwapFree:     66698976 kB
Dirty:            9396 kB
Writeback:           0 kB
AnonPages:     1991172 kB
Mapped:          16012 kB
Slab:           143440 kB
PageTables:       9948 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:  2690288 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= 73924 MiB
End job on node123 at 2011-05-02 14:02:20