Trace number 3394000

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)UNSAT 12273 1538.13

General information on the benchmark

NameAPPLICATIONS/diagnosis/
UR-20-10p0.cnf
MD5SUMfaef1c850bb82ceddc7da5a4c445dd25
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark1428.89
Satisfiable
(Un)Satisfiability was proved
Number of variables258781
Number of clauses1372095
Sum of the clauses size3305764
Maximum clause length10
Minimum clause length1
Number of clauses of size 113149
Number of clauses of size 2980303
Number of clauses of size 3313283
Number of clauses of size 47260
Number of clauses of size 529040
Number of clauses of size over 529060

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.02	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-3394000-1306078266.cnf'
0.00/0.02	c -- header says num vars:         258781
0.00/0.02	c -- header says num clauses:     1372095
8.95/1.65	c -- clauses added:            0 learnts,      1372095 normals,            0 xors
8.95/1.65	c -- vars added     258781
8.95/1.65	c Parsing time:  0.66 s
8.95/1.65	c  N st     0         0    258781    378643    979353         0   3290715         0   no data   no data
13.75/2.22	c asymm  cl-useful: 3/1464/332664 lits-rem:12 time: 0.55
125.38/16.22	c Flit:    82 Blit:   1280 bXBeca:    0 bXProp: 1159 Bins:      0 BRemL:      0 BRemN:      0 P: 200.1M T: 13.99
125.38/16.27	c Cleaning up after failed var search:     0.05 s 
126.14/16.37	c Replacing     1159 vars Replaced    35218 lits Time:     0.09 s 
127.87/16.52	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
127.87/16.58	c bin-w-bin subsume rem        36158 bins  time:  0.06 s
129.32/16.73	c subs with bin:     5231  lits-rem:     48130  v-fix:    0  time:  0.14 s
143.68/18.59	c Subs w/ non-existent bins:      5 l-rem:      0 v-fix:  2524 done:  15395 time:  1.85 s
146.86/18.93	c Removed useless bin:     685  fixed:     0  props:  20.02M  time:  0.34 s
154.85/19.95	c lits-rem:      2541  cl-subs:     7148  v-elim:  62934  v-fix:    0  time:  0.98 s
155.64/20.02	c Finding binary XORs  T:     0.07 s  found:     675
156.44/20.10	c Replacing      675 vars Replaced    13594 lits Time:     0.08 s 
157.25/20.28	c Finding non-binary XORs:     0.13 s (found:       0, avg size: nan)
157.25/20.28	c calculated reachability. Time: 0.00
158.05/20.31	c Calc default polars -  time:   0.03 s pos:   28415 undec:  127557 neg:  102809
158.05/20.31	c =========================================================================================
158.05/20.31	c types(t): F = full restart, N = normal restart
158.05/20.31	c types(t): S = simplification begin/end, E = solution found
158.05/20.31	c restart types(rt): st = static, dy = dynamic
158.05/20.31	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
158.05/20.31	c  B st     0         0    131627    389046    476461         0   2380949         0   no data   no data
193.91/24.81	c  N dy    15      4039    116212    360419    414642      3532   2101667    227528      7.23      7.61
216.10/27.61	c Finding binary XORs  T:     0.06 s  found:    4057
216.90/27.70	c Replacing     4057 vars Replaced   161666 lits Time:     0.09 s 
221.69/28.31	c  N dy    38      8354    105144    338919    380398      7364   1932353    583254     11.16     11.80
246.45/31.46	c  N dy    49     12410    104065    338919    383980     11133   1932353    961404     10.24     10.87
277.58/35.32	c  N dy    75     16496    102718    330605    376533     14858   1880753   1300972     11.28     11.90
312.70/39.79	c Finding binary XORs  T:     0.06 s  found:    1323
313.50/39.86	c Replacing     1323 vars Replaced    38381 lits Time:     0.07 s 
315.90/40.11	c  N dy    96     20666     98094    321039    360272      9587   1798394    362303     11.37     13.31
348.63/44.29	c  F st   111     25000     97990    321039    360372     13731   1798394    963212     11.19      9.38
351.83/44.65	c  N st   111     25000     97990    320862    359826     13724   1795793    961979     11.19      9.38
392.54/49.76	c  N dy   117     30002     95480    312756    356957     18357   1747000   1640956     11.19   no data
392.54/49.76	c  S st   117     30002     95480    312756    356957     18357   1747000   1640956     11.19   no data
409.29/51.84	c  S st   117     30502     94749    312756    357057     18649   1747000   1669040     11.19   no data
409.29/51.90	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
579.34/73.10	c Flit:   942 Blit:   3724 bXBeca:    0 bXProp: 1079 Bins:  57587 BRemL:   1953 BRemN:     21 P: 200.0M T: 20.87
579.34/73.17	c Cleaning up after failed var search:     0.06 s 
580.95/73.30	c Replacing     1080 vars Replaced    88487 lits Time:     0.12 s 
581.75/73.48	c blocked clauses removed:        0 vars:      0 tried:       87907 T: 0.07 s
582.54/73.52	c bin-w-bin subsume rem        11775 bins  time:  0.05 s
583.40/73.66	c subs with bin:     4331  lits-rem:      2831  v-fix:    0  time:  0.12 s
636.09/80.26	c Subs w/ non-existent bins:   2441 l-rem:    353 v-fix:   105 done:  29227 time:  6.49 s
638.41/80.53	c Removed useless bin:    2016  fixed:   119  props:  20.00M  time:  0.27 s
643.21/81.16	c lits-rem:      1145  cl-subs:    12914  v-elim:   6427  v-fix:    0  time:  0.62 s
644.87/81.40	c subs with bin:      254  lits-rem:       834  v-fix:    0  time:  0.16 s
646.39/81.58	c lits-rem:       105  cl-subs:      506  v-elim:      0  v-fix:    0  time:  0.12 s
655.18/82.65	c asymm  cl-useful: 398/1225/261090 lits-rem:849 time: 1.05
655.18/82.68	c calculated reachability. Time: 0.01
655.18/82.68	c  N dy   117     30502     81361    261088    344527      8243   1496966    340266     11.19   no data
655.97/82.75	c Finding binary XORs  T:     0.06 s  found:     239
697.55/87.97	c  N dy   134     34593     79842    249269    343414     11989   1454044    770466     11.28     62.83
735.82/92.78	c Finding binary XORs  T:     0.07 s  found:    1288
736.62/92.87	c Replacing     1527 vars Replaced    46115 lits Time:     0.09 s 
747.79/94.24	c  N dy   160     38768     77574    242958    349374     15895   1421425   1289766     11.51     12.27
799.69/100.73	c  N dy   186     42856     77569    242958    349470     10479   1421425    488881     11.63     21.99
841.20/105.96	c  S st   205     45754     76777    240573    351308     13249   1406098    985739     11.84     10.74
857.16/107.97	c  S st   205     46256     76496    240573    351379     13611   1406098   1027218     11.84   no data
857.96/108.03	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
1032.79/129.90	c Flit:   847 Blit:   1919 bXBeca:    0 bXProp:  476 Bins:  36576 BRemL:   2157 BRemN:     29 P: 200.0M T: 21.51
1032.79/129.95	c Cleaning up after failed var search:     0.04 s 
1033.59/130.05	c Replacing      476 vars Replaced    31854 lits Time:     0.09 s 
1034.39/130.14	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
1034.39/130.19	c bin-w-bin subsume rem        13431 bins  time:  0.04 s
1035.19/130.29	c subs with bin:     2246  lits-rem:      5226  v-fix:    0  time:  0.11 s
1078.29/135.64	c Subs w/ non-existent bins:   1021 l-rem:    247 v-fix:   764 done:  24061 time:  5.26 s
1081.48/136.04	c Removed useless bin:    6162  fixed:   765  props:  20.00M  time:  0.40 s
1084.81/136.47	c lits-rem:       386  cl-subs:     5074  v-elim:   3285  v-fix:    0  time:  0.40 s
1086.27/136.63	c subs with bin:      173  lits-rem:       397  v-fix:    0  time:  0.12 s
1087.06/136.78	c lits-rem:        65  cl-subs:      195  v-elim:      0  v-fix:    0  time:  0.10 s
1094.25/137.67	c asymm  cl-useful: 114/3720/215353 lits-rem:151 time: 0.87
1095.05/137.70	c calculated reachability. Time: 0.01
1095.05/137.70	c  N dy   205     46256     69013    215353    321573      8318   1262722    305011     11.84   no data
1095.05/137.76	c Finding binary XORs  T:     0.06 s  found:      56
1146.28/144.15	c  N dy   230     50338     68862    215353    358096     12267   1262722    940612     12.17     13.59
1146.94/144.25	c Finding binary XORs  T:     0.06 s  found:     632
1163.84/146.38	c Replacing      688 vars Replaced    22425 lits Time:     0.11 s 
1197.24/150.52	c  N dy   252     54361     65037    189467    337894     15993   1153096   1577179     12.22     12.99
1261.09/158.52	c  N dy   274     58498     64577    189467    344151     20014   1153096   2348193     12.38     13.09
1324.16/166.44	c  N dy   308     62591     64561    189467    355080     24020   1153096   3218150     12.74     43.13
1324.96/166.55	c Finding binary XORs  T:     0.06 s  found:     126
1394.42/175.20	c  N dy   323     66673     63953    181183    348172     15268   1119306   1210244     12.83     13.57
1423.96/178.90	c Finding binary XORs  T:     0.06 s  found:     149
1440.73/181.01	c  S st   341     69384     63107    176698    364055     17854   1096116   1741175     12.96   no data
1452.77/182.60	c  S st   341     69885     63103    176698    364111     18279   1096116   1784638     12.96   no data
1453.64/182.66	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
1634.72/205.35	c Flit:   431 Blit:    770 bXBeca:    0 bXProp:  358 Bins:  52114 BRemL:   3200 BRemN:     26 P: 200.0M T: 22.33
1635.52/205.40	c Cleaning up after failed var search:     0.04 s 
1636.32/205.52	c Replacing      634 vars Replaced    32570 lits Time:     0.11 s 
1637.18/205.62	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
1637.18/205.67	c bin-w-bin subsume rem        22877 bins  time:  0.05 s
1638.05/205.78	c subs with bin:     1747  lits-rem:      3648  v-fix:    0  time:  0.11 s
1668.25/209.50	c Subs w/ non-existent bins:   1163 l-rem:    657 v-fix:     6 done:  34838 time:  3.66 s
1669.85/209.71	c Removed useless bin:    5280  fixed:     0  props:  20.01M  time:  0.21 s
1672.30/210.09	c lits-rem:        68  cl-subs:     6745  v-elim:   2655  v-fix:    0  time:  0.36 s
1674.62/210.30	c subs with bin:      178  lits-rem:       470  v-fix:    0  time:  0.17 s
1675.42/210.44	c lits-rem:        73  cl-subs:      210  v-elim:      0  v-fix:    0  time:  0.09 s
1684.20/211.58	c asymm  cl-useful: 113/803/162081 lits-rem:119 time: 1.12
1685.00/211.60	c calculated reachability. Time: 0.00
1685.00/211.61	c  N dy   341     69885     58350    162081    353870      9370   1011461    458339     12.96   no data
1685.00/211.66	c Finding binary XORs  T:     0.05 s  found:       5
1733.76/217.78	c  N dy   357     74470     58348    162081    388014     13820   1011461   1157334     12.82     14.46
1734.64/217.87	c Finding binary XORs  T:     0.06 s  found:      12
1794.39/225.39	c  N dy   393     79279     58148    161627    386815     18475   1007941   1964672     13.04     22.12
1851.86/232.55	c Finding binary XORs  T:     0.06 s  found:       0
1874.27/235.35	c  N dy   429     84385     58140    161621    400530     23479   1007759   2929293     13.22     18.02
1922.11/241.30	c  F st   451     87500     58126    161621    401464     13298   1007759    684895     13.40      7.95
1922.11/241.39	c Replacing       17 vars Replaced      496 lits Time:     0.06 s 
1973.21/247.79	c  N st   456     90796     58110    161589    401322     16544   1007437   1422348     13.40   no data
2034.67/255.40	c Finding binary XORs  T:     0.06 s  found:      82
2116.11/265.60	c  N dy   484     98309     57635    157872    435685     23942    991626   3283630     13.51     14.47
2231.08/280.04	c  N dy   520    104590     57627    157872    436109     30095    991626   4683250     13.64     36.14
2236.66/280.72	c  S st   521    104828     57627    157872    436110     30327    991626   4709376     13.64     11.07
2247.04/282.08	c  S st   521    105332     57627    157872    436460     30807    991626   4799054     13.64   no data
2247.84/282.14	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
2432.25/305.25	c Flit:   404 Blit:    139 bXBeca:    0 bXProp:  278 Bins:  36789 BRemL:   1445 BRemN:      6 P: 200.1M T: 22.61
2433.06/305.30	c Cleaning up after failed var search:     0.05 s 
2433.86/305.49	c Replacing      360 vars Replaced    48572 lits Time:     0.18 s 
2434.66/305.57	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2435.46/305.63	c bin-w-bin subsume rem        22032 bins  time:  0.06 s
2436.31/305.77	c subs with bin:     1163  lits-rem:      4568  v-fix:    0  time:  0.12 s
2466.58/309.50	c Subs w/ non-existent bins:    393 l-rem:    206 v-fix:     2 done:  32403 time:  3.68 s
2468.98/309.89	c Removed useless bin:    7022  fixed:     0  props:  20.00M  time:  0.38 s
2471.43/310.21	c lits-rem:        47  cl-subs:     2453  v-elim:   1573  v-fix:    0  time:  0.31 s
2475.37/310.68	c subs with bin:      180  lits-rem:       557  v-fix:    0  time:  0.41 s
2476.97/310.84	c lits-rem:       176  cl-subs:      289  v-elim:      0  v-fix:    0  time:  0.11 s
2481.09/311.32	c vivif2 --  cl tried   156518 cl shrink     6867 lits rem       7247 time: 0.46
2481.75/311.44	c vivif2 --  cl tried    13384 cl shrink     4428 lits rem      74740 time: 0.11
2490.53/312.51	c asymm  cl-useful: 144/789/155202 lits-rem:150 time: 1.05
2492.13/312.72	c calculated reachability. Time: 0.19
2492.13/312.73	c  N dy   521    105332     55108    155202    428323     12595    950822    722339     13.64   no data
2498.66/313.54	c Finding binary XORs  T:     0.80 s  found:       1
2633.44/330.40	c Finding binary XORs  T:     0.71 s  found:      21
2687.73/337.22	c  N dy   524    117645     54979    154345    459208     15238    947097   1648548     13.04     13.86
2763.56/346.70	c Finding binary XORs  T:     0.70 s  found:      55
2961.58/371.50	c  N dy   529    132273     54760    152367    479920     29620    939405   3710290     12.46     14.00
3129.22/392.59	c  N dy   541    141585     54753    152367    480121     21739    939405   1969810     12.21     13.43
3181.12/399.02	c Finding binary XORs  T:     0.71 s  found:      20
3322.42/416.73	c  N dy   554    150726     54646    151304    512617     29420    935211   3577152     12.00     13.25
3476.49/436.08	c  S st   562    157998     54646    151304    512867     36536    935211   4642753     11.82      7.32
3487.68/437.49	c  S st   562    158500     54644    151304    512900     36999    935211   4706907     11.82   no data
3488.48/437.55	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
3662.52/459.33	c Flit:   269 Blit:    401 bXBeca:    0 bXProp:  345 Bins:  36552 BRemL:   4521 BRemN:      5 P: 200.0M T: 21.37
3662.52/459.38	c Cleaning up after failed var search:     0.05 s 
3664.12/459.56	c Replacing      442 vars Replaced    31200 lits Time:     0.17 s 
3664.92/459.64	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3665.77/459.72	c bin-w-bin subsume rem        21055 bins  time:  0.06 s
3666.64/459.86	c subs with bin:      927  lits-rem:      1290  v-fix:    0  time:  0.14 s
3694.45/463.38	c Subs w/ non-existent bins:    166 l-rem:     65 v-fix:     0 done:  37311 time:  3.47 s
3697.65/463.71	c Removed useless bin:    5446  fixed:     0  props:  20.01M  time:  0.33 s
3700.05/464.01	c lits-rem:        13  cl-subs:     5334  v-elim:   1692  v-fix:    0  time:  0.30 s
3704.03/464.54	c subs with bin:      599  lits-rem:      1018  v-fix:    0  time:  0.45 s
3705.63/464.72	c lits-rem:       146  cl-subs:      818  v-elim:      0  v-fix:    0  time:  0.14 s
3710.55/465.36	c vivif2 --  cl tried   145033 cl shrink     3767 lits rem       4897 time: 0.61
3712.01/465.59	c vivif2 --  cl tried    15493 cl shrink     2744 lits rem      47389 time: 0.23
3721.60/466.72	c asymm  cl-useful: 87/949/144703 lits-rem:95 time: 1.11
3724.00/467.02	c calculated reachability. Time: 0.28
3724.00/467.02	c  N dy   562    158500     51790    144703    490403     15280    883191    946046     11.82   no data
3732.78/468.14	c Finding binary XORs  T:     1.10 s  found:       0
3965.05/497.36	c  N dy   573    171852     51506    144703    490862     19171    883191   2456663     11.53     12.16
3973.83/498.45	c Finding binary XORs  T:     0.95 s  found:       1
4094.41/513.56	c Finding binary XORs  T:     0.98 s  found:       1
4178.22/524.08	c  N dy   591    183112     51291    139392    550093     29703    864063   4258703     11.37     12.01
4383.40/549.75	c Finding binary XORs  T:     0.95 s  found:       4
4414.53/553.67	c  N dy   610    195448     51134    137891    554704     22775    858469   2021807     11.22     11.81
4546.25/570.10	c Finding binary XORs  T:     0.96 s  found:      15
4654.04/583.62	c  N dy   617    208001     50787    135528    569578     35088    848440   4044758     11.04     12.61
4935.07/618.81	c  N dy   653    221766     50747    135528    570218     25569    848440   1742821     10.97     11.58
4981.38/624.67	c Finding binary XORs  T:     0.95 s  found:      11
5235.25/656.44	c  N dy   689    236074     50236    130397    580837     38957    828914   3909520     10.87     11.94
5267.97/660.52	c  S st   692    237751     50227    130397    580843     40611    828914   4182499     10.85      9.02
5277.56/661.73	c  S st   692    238253     50202    130397    580855     41100    828914   4278977     10.85   no data
5277.56/661.79	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
5469.97/685.82	c Flit:   161 Blit:    157 bXBeca:    0 bXProp:   13 Bins:  19746 BRemL:   1934 BRemN:     16 P: 200.0M T: 23.59
5469.97/685.82	c Cleaning up after failed var search:     0.00 s 
5470.77/685.96	c Replacing       45 vars Replaced     2493 lits Time:     0.13 s 
5471.57/686.04	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
5472.37/686.10	c bin-w-bin subsume rem        22892 bins  time:  0.07 s
5473.17/686.25	c subs with bin:      642  lits-rem:      1052  v-fix:    0  time:  0.15 s
5497.91/689.39	c Subs w/ non-existent bins:     49 l-rem:     57 v-fix:     0 done:  41611 time:  3.08 s
5501.25/689.74	c Removed useless bin:    7171  fixed:     0  props:  20.00M  time:  0.34 s
5503.50/690.01	c lits-rem:        85  cl-subs:     1339  v-elim:   1569  v-fix:    0  time:  0.26 s
5510.68/690.92	c subs with bin:      195  lits-rem:      1361  v-fix:    0  time:  0.82 s
5512.28/691.18	c lits-rem:       223  cl-subs:      919  v-elim:      0  v-fix:    0  time:  0.22 s
5518.81/691.95	c vivif2 --  cl tried   129490 cl shrink     2552 lits rem       3157 time: 0.75
5521.86/692.30	c vivif2 --  cl tried    22251 cl shrink     3787 lits rem      97830 time: 0.35
5530.64/693.48	c asymm  cl-useful: 106/912/128687 lits-rem:116 time: 1.16
5533.84/693.85	c calculated reachability. Time: 0.34
5533.84/693.85	c  N dy   692    238253     48181    128687    534277     22123    799806   1292310     10.85   no data
5545.16/695.27	c Finding binary XORs  T:     1.38 s  found:       1
5795.70/726.64	c Finding binary XORs  T:     1.17 s  found:       4
5816.52/729.24	c  N dy   719    253629     48095    127988    542075     20714    797360   1925564     10.69     11.31
6119.03/767.13	c  N dy   764    269868     48063    127988    542574     36762    797360   4076949     10.62     11.31
6451.94/808.87	c  N dy   836    287163     48005    127988    543066     30734    797360   2302681     10.59     12.02
6826.44/855.79	c  N dy   927    306047     47995    127988    543300     49402    797360   4845351     10.60     11.23
6836.75/857.07	c Finding binary XORs  T:     1.17 s  found:       9
6840.75/857.58	c  F st   929    306251     47948    127022    572274     48961    793746   4913911     10.60      6.82
6842.35/857.71	c Replacing       14 vars Replaced     1252 lits Time:     0.09 s 
7002.96/877.87	c Finding binary XORs  T:     1.17 s  found:       5
7244.72/908.13	c  N dy   989    326003     47750    126289    583543     41843    791285   3276181     10.58     11.20
7666.25/960.93	c  N dy  1083    346294     47336    122047    574307     31917    777032   1973228     10.60     11.16
7805.16/978.39	c Finding binary XORs  T:     1.17 s  found:      10
7892.98/989.33	c  S st  1124    357379     47029    120078    603256     42603    768985   3507674     10.58      9.94
7902.56/990.58	c  S st  1124    357882     47027    120078    603269     43091    768985   3586710     10.58   no data
7903.36/990.64	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
8086.19/1013.58	c Flit:   353 Blit:     59 bXBeca:    0 bXProp:    5 Bins:  17353 BRemL:   2230 BRemN:     53 P: 200.1M T: 22.52
8086.19/1013.58	c Cleaning up after failed var search:     0.00 s 
8087.79/1013.72	c Replacing       20 vars Replaced     5183 lits Time:     0.13 s 
8087.79/1013.79	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
8088.59/1013.86	c bin-w-bin subsume rem        16660 bins  time:  0.07 s
8090.18/1014.01	c subs with bin:      505  lits-rem:       332  v-fix:    0  time:  0.15 s
8112.52/1016.80	c Subs w/ non-existent bins:    125 l-rem:     43 v-fix:     0 done:  44034 time:  2.74 s
8114.12/1017.07	c Removed useless bin:    3787  fixed:     0  props:  12.23M  time:  0.27 s
8116.53/1017.33	c lits-rem:        74  cl-subs:      660  v-elim:   1194  v-fix:    0  time:  0.25 s
8130.89/1019.19	c subs with bin:      327  lits-rem:      3187  v-fix:    0  time:  1.72 s
8135.82/1019.77	c lits-rem:       798  cl-subs:     1924  v-elim:      0  v-fix:    0  time:  0.53 s
8142.07/1020.53	c vivif2 --  cl tried   118613 cl shrink      940 lits rem       1079 time: 0.76
8146.05/1021.06	c vivif2 --  cl tried    31170 cl shrink     5793 lits rem     179662 time: 0.50
8154.83/1022.15	c asymm  cl-useful: 141/981/118434 lits-rem:158 time: 1.08
8158.03/1022.52	c calculated reachability. Time: 0.34
8158.03/1022.52	c  N dy  1124    357882     45355    118434    570056     30966    747966   1688677     10.58   no data
8183.58/1025.79	c Finding binary XORs  T:     1.32 s  found:       0
8312.12/1041.85	c Finding binary XORs  T:     1.22 s  found:       2
8546.04/1071.14	c Finding binary XORs  T:     1.17 s  found:      10
8556.47/1072.48	c  N dy  1160    377982     45206    117625    618205     23255    744147   1408482     10.48     11.11
8945.20/1121.17	c  N dy  1225    398562     44886    117625    618526     43486    744147   3502093     10.41     11.19
9332.41/1169.66	c  N dy  1306    418734     44864    117625    619430     35183    744147   2283462     10.39     10.95
9659.74/1210.62	c Finding binary XORs  T:     1.18 s  found:      20
9782.68/1226.09	c  N dy  1377    441334     43941    109692    589466     55388    711798   4836086     10.36     10.97
10184.25/1276.33	c  N dy  1466    461511     43891    109692    589737     44993    711798   3451606     10.36     10.99
10607.37/1329.33	c  N dy  1563    481629     43879    109692    589978     64766    711798   5528078     10.37     10.92
11004.97/1379.16	c  N dy  1643    501703     43868    109692    590163     51613    711798   3648945     10.36     11.90
11423.30/1431.52	c Finding binary XORs  T:     1.18 s  found:     136
11459.22/1436.00	c  N dy  1727    521955     43636    107888    600921     35993    703880   1810586     10.36     10.93
11760.21/1473.80	c  S st  1793    536823     43608    107888    601422     50481    703880   3008074     10.35      7.45
11768.99/1474.89	c  S st  1793    537324     43608    107888    601433     50970    703880   3056379     10.35   no data
11769.79/1474.95	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
11952.61/1497.81	c Flit:    67 Blit:      8 bXBeca:    0 bXProp:    3 Bins:  13568 BRemL:   9688 BRemN:      7 P: 200.0M T: 22.48
11953.41/1497.94	c Replacing      171 vars Replaced    13984 lits Time:     0.12 s 
11954.21/1498.01	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
11954.21/1498.07	c bin-w-bin subsume rem        16505 bins  time:  0.07 s
11955.94/1498.24	c subs with bin:      486  lits-rem:       149  v-fix:    0  time:  0.15 s
11978.17/1501.02	c Subs w/ non-existent bins:    120 l-rem:     14 v-fix:     0 done:  43312 time:  2.75 s
11979.77/1501.25	c Removed useless bin:    2185  fixed:     0  props:   9.29M  time:  0.23 s
11981.42/1501.51	c lits-rem:        18  cl-subs:      784  v-elim:    584  v-fix:    0  time:  0.24 s
11999.86/1503.72	c subs with bin:     1465  lits-rem:      4879  v-fix:    0  time:  2.05 s
12010.89/1505.10	c lits-rem:      1830  cl-subs:     4032  v-elim:      0  v-fix:    0  time:  1.33 s
12015.69/1505.77	c vivif2 --  cl tried   107151 cl shrink      597 lits rem        648 time: 0.67
12021.28/1506.45	c vivif2 --  cl tried    41279 cl shrink     8828 lits rem     304542 time: 0.66
12030.06/1507.55	c asymm  cl-useful: 134/903/107042 lits-rem:155 time: 1.09
12032.46/1507.88	c calculated reachability. Time: 0.31
12032.46/1507.88	c  N dy  1793    537324     42728    107042    568012     41201    691501   1984957     10.35   no data
12042.88/1509.20	c Finding binary XORs  T:     1.28 s  found:       0
12225.65/1532.05	c Finding binary XORs  T:     1.22 s  found:     430
12226.45/1532.13	c Replacing      430 vars Replaced    29535 lits Time:     0.08 s 
12272.75/1537.91	c Following stats are for *FIRST FINISHED THREAD ONLY*
12272.75/1537.91	c num threads              : 8          
12272.75/1537.91	c restarts                 : 1545       
12272.75/1537.91	c dynamic restarts         : 1521       
12272.75/1537.91	c static restarts          : 24         
12272.75/1537.91	c full restarts            : 3          
12272.75/1537.91	c total simplify time      : 16.26      
12272.75/1537.91	c learnts DL2              : 0          
12272.75/1537.91	c learnts size 2           : 2115943    
12272.75/1537.91	c learnts size 1           : 138878      (53.67     % of vars)
12272.75/1537.91	c filedLit time            : 74.33       (4.84      % time)
12272.75/1537.91	c v-elim SatELite          : 74630       (28.84     % vars)
12272.75/1537.91	c SatELite time            : 18.34       (1.19      % time)
12272.75/1537.91	c v-elim xor               : 0           (0.00      % vars)
12272.75/1537.91	c xor elim time            : 0.18        (0.01      % time)
12272.75/1537.91	c num binary xor trees     : 8117       
12272.75/1537.91	c binxor trees' crown      : 16627       (2.05      leafs/tree)
12272.75/1537.91	c bin xor find time        : 12.35      
12272.75/1537.91	c OTF clause improved      : 8761        (0.01      clauses/conflict)
12272.75/1537.91	c OTF impr. size diff      : 20417       (2.33       lits/clause)
12272.75/1537.91	c OTF cl watch-shrink      : 379828      (0.60      clauses/conflict)
12272.75/1537.91	c OTF cl watch-sh-lit      : 4632595     (12.20      lits/clause)
12272.75/1537.91	c tried to recurMin cls    : 258583      (40.96      % of conflicts)
12272.75/1537.91	c updated cache            : 34554       (0.13       lits/tried recurMin)
12272.75/1537.91	c unit cls recevied        : 15260       (10.99     % of units)
12272.75/1537.91	c unit cls sent            : 7079        (5.10      % of units)
12272.75/1537.91	c bin cls recevied         : 852785     
12272.75/1537.91	c bin cls sent             : 133882     
12272.75/1537.91	c clauses over max glue    : 0           (0.00      % of all clauses)
12272.75/1537.91	c conflicts                : 631319      (411.05    / sec)
12272.75/1537.91	c decisions                : 1577233     (1.19      % random)
12272.75/1537.91	c bogo-props               : 28746978353 (18717131.69 / sec)
12272.75/1537.91	c conflict literals        : 87196061    (50.60     % deleted)
12272.75/1537.91	c Memory used              : 6495.04     MB
12272.75/1537.91	c single-thread CPU time   : 1535.86     s
12272.75/1537.91	c all-threads sum CPU time : 12261.49    s
12272.75/1537.91	s UNSATISFIABLE

Verifier Data 

No possible verification on an UNSAT instance

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-3394000-1306078266/watcher-3394000-1306078266 -o /tmp/evaluation-result-3394000-1306078266/solver-3394000-1306078266 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3394000-1306078266.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: 6.90 7.76 7.91 2/491 10042
/proc/meminfo: memFree=14080132/32950928 swapFree=38710952/67111528
[pid=10042] ppid=10040 vsize=92144 CPUtime=0.02 cores=0-7
/proc/10042/stat : 10042 (strangenight2-m) R 10040 10042 9946 0 -1 4202496 412 0 0 0 2 0 0 0 21 0 8 0 798057370 94355456 352 33554432000 4194304 4580107 140736552561312 18446744073709551615 47415004223404 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/10042/statm: 23036 352 299 95 0 18018 0
[pid=10042/tid=10043] ppid=10040 vsize=92144 CPUtime=0.01 cores=0-7
/proc/10042/task/10043/stat : 10043 (strangenight2-m) R 10040 10042 9946 0 -1 4202560 1 0 0 0 1 0 0 0 22 0 8 0 798057370 94355456 352 33554432000 4194304 4580107 140736552561312 18446744073709551615 47415004223410 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10042/tid=10044] ppid=10040 vsize=92144 CPUtime=0 cores=0-7
/proc/10042/task/10044/stat : 10044 (strangenight2-m) R 10040 10042 9946 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 8 0 798057370 94355456 352 33554432000 4194304 4580107 140736552561312 18446744073709551615 251367603185 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10042/tid=10045] ppid=10040 vsize=92144 CPUtime=0.01 cores=0-7
/proc/10042/task/10045/stat : 10045 (strangenight2-m) R 10040 10042 9946 0 -1 4202560 0 0 0 0 1 0 0 0 22 0 8 0 798057370 94355456 352 33554432000 4194304 4580107 140736552561312 18446744073709551615 47415004223410 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10042/tid=10046] ppid=10040 vsize=92144 CPUtime=0.01 cores=0-7
/proc/10042/task/10046/stat : 10046 (strangenight2-m) R 10040 10042 9946 0 -1 4202560 0 0 0 0 1 0 0 0 22 0 8 0 798057370 94355456 352 33554432000 4194304 4580107 140736552561312 18446744073709551615 47415004223400 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10042/tid=10047] ppid=10040 vsize=92144 CPUtime=0.01 cores=0-7
/proc/10042/task/10047/stat : 10047 (strangenight2-m) R 10040 10042 9946 0 -1 4202560 0 0 0 0 1 0 0 0 22 0 8 0 798057370 94355456 352 33554432000 4194304 4580107 140736552561312 18446744073709551615 47415004223410 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10042/tid=10048] ppid=10040 vsize=92144 CPUtime=0.01 cores=0-7
/proc/10042/task/10048/stat : 10048 (strangenight2-m) R 10040 10042 9946 0 -1 4202560 0 0 0 0 1 0 0 0 22 0 8 0 798057370 94355456 352 33554432000 4194304 4580107 140736552561312 18446744073709551615 47415004223410 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10042/tid=10049] ppid=10040 vsize=92144 CPUtime=0 cores=0-7
/proc/10042/task/10049/stat : 10049 (strangenight2-m) R 10040 10042 9946 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 8 0 798057370 94355456 352 33554432000 4194304 4580107 140736552561312 18446744073709551615 47415004223410 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.0369869 s]
/proc/loadavg: 6.90 7.76 7.91 2/491 10042
/proc/meminfo: memFree=14080132/32950928 swapFree=38710952/67111528
[pid=10042] ppid=10040 vsize=505240 CPUtime=0.17 cores=0-7
/proc/10042/stat : 10042 (strangenight2-m) R 10040 10042 9946 0 -1 4202496 11307 0 0 0 14 3 0 0 18 0 8 0 798057370 517365760 9914 33554432000 4194304 4580107 140736552561312 18446744073709551615 251367604650 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/10042/statm: 127390 10642 338 95 0 122372 0
[pid=10042/tid=10043] ppid=10040 vsize=509560 CPUtime=0.02 cores=0-7
/proc/10042/task/10043/stat : 10043 (strangenight2-m) R 10040 10042 9946 0 -1 4202560 1371 0 0 0 2 0 0 0 17 0 8 0 798057370 521789440 10385 33554432000 4194304 4580107 140736552561312 18446744073709551615 251367243919 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10042/tid=10044] ppid=10040 vsize=508532 CPUtime=0 cores=0-7
/proc/10042/task/10044/stat : 10044 (strangenight2-m) D 10040 10042 9946 0 -1 4202560 1079 0 0 0 0 0 0 0 17 0 8 0 798057370 520736768 10392 33554432000 4194304 4580107 140736552561312 18446744073709551615 4311330 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10042/tid=10045] ppid=10040 vsize=508532 CPUtime=0.01 cores=0-7
/proc/10042/task/10045/stat : 10045 (strangenight2-m) R 10040 10042 9946 0 -1 4202560 1912 0 0 0 1 0 0 0 18 0 8 0 798057370 520736768 10393 33554432000 4194304 4580107 140736552561312 18446744073709551615 251367590071 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10042/tid=10046] ppid=10040 vsize=508532 CPUtime=0.01 cores=0-7
/proc/10042/task/10046/stat : 10046 (strangenight2-m) D 10040 10042 9946 0 -1 4202560 1850 0 0 0 1 0 0 0 18 0 8 0 798057370 520736768 10475 33554432000 4194304 4580107 140736552561312 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10042/tid=10047] ppid=10040 vsize=508672 CPUtime=0.01 cores=0-7
/proc/10042/task/10047/stat : 10047 (strangenight2-m) D 10040 10042 9946 0 -1 4202560 1455 0 0 0 1 0 0 0 17 0 8 0 798057370 520880128 10825 33554432000 4194304 4580107 140736552561312 18446744073709551615 251367590071 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10042/tid=10048] ppid=10040 vsize=510724 CPUtime=0.02 cores=0-7
/proc/10042/task/10048/stat : 10048 (strangenight2-m) R 10040 10042 9946 0 -1 4202560 725 0 0 0 2 0 0 0 17 0 8 0 798057370 522981376 10844 33554432000 4194304 4580107 140736552561312 18446744073709551615 251367243531 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10042/tid=10049] ppid=10040 vsize=509696 CPUtime=0.01 cores=0-7
/proc/10042/task/10049/stat : 10049 (strangenight2-m) D 10040 10042 9946 0 -1 4202560 1986 0 0 0 1 0 0 0 18 0 8 0 798057370 521928704 10923 33554432000 4194304 4580107 140736552561312 18446744073709551615 4345288 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 505240

[startup+0.104523 s]
/proc/loadavg: 6.90 7.76 7.91 2/491 10042
/proc/meminfo: memFree=14080132/32950928 swapFree=38710952/67111528
[pid=10042] ppid=10040 vsize=699696 CPUtime=0.57 cores=0-7
/proc/10042/stat : 10042 (strangenight2-m) D 10040 10042 9946 0 -1 4202496 75779 0 0 0 36 21 0 0 18 0 8 0 798057370 716488704 60144 33554432000 4194304 4580107 140736552561312 18446744073709551615 4307217 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/10042/statm: 174924 60144 339 95 0 169906 0
[pid=10042/tid=10043] ppid=10040 vsize=699696 CPUtime=0.06 cores=0-7
/proc/10042/task/10043/stat : 10043 (strangenight2-m) D 10040 10042 9946 0 -1 4202560 8739 0 0 0 4 2 0 0 17 0 8 0 798057370 716488704 59632 33554432000 4194304 4580107 140736552561312 18446744073709551615 4311330 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10042/tid=10044] ppid=10040 vsize=699696 CPUtime=0.05 cores=0-7
/proc/10042/task/10044/stat : 10044 (strangenight2-m) D 10040 10042 9946 0 -1 4202560 7686 0 0 0 4 1 0 0 17 0 8 0 798057370 716488704 59632 33554432000 4194304 4580107 140736552561312 18446744073709551615 4311330 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10042/tid=10045] ppid=10040 vsize=699696 CPUtime=0.07 cores=0-7
/proc/10042/task/10045/stat : 10045 (strangenight2-m) D 10040 10042 9946 0 -1 4202560 10960 0 0 0 4 3 0 0 18 0 8 0 798057370 716488704 59632 33554432000 4194304 4580107 140736552561312 18446744073709551615 4306964 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10042/tid=10046] ppid=10040 vsize=695596 CPUtime=0.06 cores=0-7
/proc/10042/task/10046/stat : 10046 (strangenight2-m) D 10040 10042 9946 0 -1 4202560 10196 0 0 0 4 2 0 0 18 0 8 0 798057370 712290304 61264 33554432000 4194304 4580107 140736552561312 18446744073709551615 4311330 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10042/tid=10047] ppid=10040 vsize=764388 CPUtime=0.07 cores=0-7
/proc/10042/task/10047/stat : 10047 (strangenight2-m) R 10040 10042 9946 0 -1 4202560 10257 0 0 0 4 3 0 0 17 0 8 0 798057370 782733312 68184 33554432000 4194304 4580107 140736552561312 18446744073709551615 251367604650 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10042/tid=10048] ppid=10040 vsize=764388 CPUtime=0.06 cores=0-7
/proc/10042/task/10048/stat : 10048 (strangenight2-m) D 10040 10042 9946 0 -1 4202560 7825 0 0 0 5 1 0 0 17 0 8 0 798057370 782733312 68184 33554432000 4194304 4580107 140736552561312 18446744073709551615 4311330 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10042/tid=10049] ppid=10040 vsize=764388 CPUtime=0.07 cores=0-7
/proc/10042/task/10049/stat : 10049 (strangenight2-m) D 10040 10042 9946 0 -1 4202560 12292 0 0 0 4 3 0 0 18 0 8 0 798057370 782733312 68184 33554432000 4194304 4580107 140736552561312 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 699696

[startup+0.30073 s]
/proc/loadavg: 6.90 7.76 7.91 2/491 10042
/proc/meminfo: memFree=14080132/32950928 swapFree=38710952/67111528
[pid=10042] ppid=10040 vsize=1024744 CPUtime=1.84 cores=0-7
/proc/10042/stat : 10042 (strangenight2-m) R 10040 10042 9946 0 -1 4202496 171758 0 0 0 124 60 0 0 17 0 8 0 798057370 1049337856 138253 33554432000 4194304 4580107 140736552561312 18446744073709551615 251367651871 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/10042/statm: 256186 138287 338 95 0 251168 0
[pid=10042/tid=10043] ppid=10040 vsize=1024744 CPUtime=0.22 cores=0-7
/proc/10042/task/10043/stat : 10043 (strangenight2-m) R 10040 10042 9946 0 -1 4202560 22268 0 0 0 14 8 0 0 17 0 8 0 798057370 1049337856 138291 33554432000 4194304 4580107 140736552561312 18446744073709551615 251367651871 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10042/tid=10044] ppid=10040 vsize=1024744 CPUtime=0.21 cores=0-7
/proc/10042/task/10044/stat : 10044 (strangenight2-m) R 10040 10042 9946 0 -1 4202560 19982 0 0 0 15 6 0 0 17 0 8 0 798057370 1049337856 138303 33554432000 4194304 4580107 140736552561312 18446744073709551615 251367651871 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10042/tid=10045] ppid=10040 vsize=1024744 CPUtime=0.24 cores=0-7
/proc/10042/task/10045/stat : 10045 (strangenight2-m) R 10040 10042 9946 0 -1 4202560 22268 0 0 0 15 9 0 0 17 0 8 0 798057370 1049337856 138340 33554432000 4194304 4580107 140736552561312 18446744073709551615 4354880 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10042/tid=10046] ppid=10040 vsize=1024744 CPUtime=0.23 cores=0-7
/proc/10042/task/10046/stat : 10046 (strangenight2-m) R 10040 10042 9946 0 -1 4202560 20139 0 0 0 16 7 0 0 17 0 8 0 798057370 1049337856 138346 33554432000 4194304 4580107 140736552561312 18446744073709551615 251367651871 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10042/tid=10047] ppid=10040 vsize=1024744 CPUtime=0.22 cores=0-7
/proc/10042/task/10047/stat : 10047 (strangenight2-m) S 10040 10042 9946 0 -1 4202560 21373 0 0 0 15 7 0 0 17 0 8 0 798057370 1049337856 138375 33554432000 4194304 4580107 140736552561312 18446744073709551615 251367651822 0 0 4096 2 18446604441941903360 0 0 -1 0 0 0 0
[pid=10042/tid=10048] ppid=10040 vsize=1024744 CPUtime=0.22 cores=0-7
/proc/10042/task/10048/stat : 10048 (strangenight2-m) R 10040 10042 9946 0 -1 4202560 21687 0 0 0 16 6 0 0 17 0 8 0 798057370 1049337856 138396 33554432000 4194304 4580107 140736552561312 18446744073709551615 4511929 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10042/tid=10049] ppid=10040 vsize=1024744 CPUtime=0.22 cores=0-7
/proc/10042/task/10049/stat : 10049 (strangenight2-m) S 10040 10042 9946 0 -1 4202560 21691 0 0 0 16 6 0 0 17 0 8 0 798057370 1049337856 138402 33554432000 4194304 4580107 140736552561312 18446744073709551615 251367651822 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.84
Current children cumulated vsize (KiB) 1024744

[startup+0.700635 s]
/proc/loadavg: 6.90 7.76 7.91 2/491 10042
/proc/meminfo: memFree=14080132/32950928 swapFree=38710952/67111528
[pid=10042] ppid=10040 vsize=1034204 CPUtime=4.31 cores=0-7
/proc/10042/stat : 10042 (strangenight2-m) D 10040 10042 9946 0 -1 4202496 190744 0 0 0 280 151 0 0 17 0 8 0 798057370 1059024896 157239 33554432000 4194304 4580107 140736552561312 18446744073709551615 251367590071 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/10042/statm: 258551 157239 338 95 0 253533 0
[pid=10042/tid=10043] ppid=10040 vsize=1034204 CPUtime=0.51 cores=0-7
/proc/10042/task/10043/stat : 10043 (strangenight2-m) D 10040 10042 9946 0 -1 4202560 24114 0 0 0 33 18 0 0 17 0 8 0 798057370 1059024896 157239 33554432000 4194304 4580107 140736552561312 18446744073709551615 4489196 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10042/tid=10044] ppid=10040 vsize=1034204 CPUtime=0.52 cores=0-7
/proc/10042/task/10044/stat : 10044 (strangenight2-m) S 10040 10042 9946 0 -1 4202560 21753 0 0 0 34 18 0 0 17 0 8 0 798057370 1059024896 157239 33554432000 4194304 4580107 140736552561312 18446744073709551615 251367651822 0 0 4096 2 18446604441941903360 0 0 -1 1 0 0 0
[pid=10042/tid=10045] ppid=10040 vsize=1034204 CPUtime=0.55 cores=0-7
/proc/10042/task/10045/stat : 10045 (strangenight2-m) S 10040 10042 9946 0 -1 4202560 25071 0 0 0 35 20 0 0 17 0 8 0 798057370 1059024896 157239 33554432000 4194304 4580107 140736552561312 18446744073709551615 251367651822 0 0 4096 2 18446604441941903360 0 0 -1 3 0 0 0
[pid=10042/tid=10046] ppid=10040 vsize=1034204 CPUtime=0.53 cores=0-7
/proc/10042/task/10046/stat : 10046 (strangenight2-m) R 10040 10042 9946 0 -1 4202560 22668 0 0 0 34 19 0 0 17 0 8 0 798057370 1059024896 157239 33554432000 4194304 4580107 140736552561312 18446744073709551615 251367651871 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10042/tid=10047] ppid=10040 vsize=1034204 CPUtime=0.52 cores=0-7
/proc/10042/task/10047/stat : 10047 (strangenight2-m) S 10040 10042 9946 0 -1 4202560 23596 0 0 0 35 17 0 0 17 0 8 0 798057370 1059024896 157239 33554432000 4194304 4580107 140736552561312 18446744073709551615 251367651822 0 0 4096 2 18446604441941903360 0 0 -1 0 0 0 0
[pid=10042/tid=10048] ppid=10040 vsize=1034204 CPUtime=0.53 cores=0-7
/proc/10042/task/10048/stat : 10048 (strangenight2-m) D 10040 10042 9946 0 -1 4202560 23416 0 0 0 36 17 0 0 17 0 8 0 798057370 1059024896 157239 33554432000 4194304 4580107 140736552561312 18446744073709551615 4489196 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10042/tid=10049] ppid=10040 vsize=1034204 CPUtime=0.53 cores=0-7
/proc/10042/task/10049/stat : 10049 (strangenight2-m) R 10040 10042 9946 0 -1 4202560 24553 0 0 0 35 18 0 0 17 0 8 0 798057370 1059024896 157239 33554432000 4194304 4580107 140736552561312 18446744073709551615 251367590071 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.31
Current children cumulated vsize (KiB) 1034204

[startup+1.50048 s]
/proc/loadavg: 6.90 7.76 7.91 8/499 10050
/proc/meminfo: memFree=13398936/32950928 swapFree=38710952/67111528
[pid=10042] ppid=10040 vsize=1300412 CPUtime=8.42 cores=0-7
/proc/10042/stat : 10042 (strangenight2-m) R 10040 10042 9946 0 -1 4202496 254498 0 0 0 505 337 0 0 15 0 8 0 798057370 1331621888 220710 33554432000 4194304 4580107 140736552561312 18446744073709551615 251367651871 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/10042/statm: 325103 220715 339 95 0 320085 0
[pid=10042/tid=10043] ppid=10040 vsize=1300412 CPUtime=1.03 cores=0-7
/proc/10042/task/10043/stat : 10043 (strangenight2-m) R 10040 10042 9946 0 -1 4202560 33483 0 0 0 61 42 0 0 16 0 8 0 798057370 1331621888 220715 33554432000 4194304 4580107 140736552561312 18446744073709551615 251367651871 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10042/tid=10044] ppid=10040 vsize=1300412 CPUtime=1.05 cores=0-7
/proc/10042/task/10044/stat : 10044 (strangenight2-m) R 10040 10042 9946 0 -1 4202560 28080 0 0 0 63 42 0 0 15 0 8 0 798057370 1331621888 220715 33554432000 4194304 4580107 140736552561312 18446744073709551615 251367651871 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10042/tid=10045] ppid=10040 vsize=1300412 CPUtime=1.06 cores=0-7
/proc/10042/task/10045/stat : 10045 (strangenight2-m) S 10040 10042 9946 0 -1 4202560 33847 0 0 0 64 42 0 0 16 0 8 0 798057370 1331621888 220717 33554432000 4194304 4580107 140736552561312 18446744073709551615 251367651822 0 0 4096 2 18446604441941903360 0 0 -1 3 0 0 0
[pid=10042/tid=10046] ppid=10040 vsize=1300412 CPUtime=1.03 cores=0-7
/proc/10042/task/10046/stat : 10046 (strangenight2-m) S 10040 10042 9946 0 -1 4202560 28993 0 0 0 61 42 0 0 16 0 8 0 798057370 1331621888 220717 33554432000 4194304 4580107 140736552561312 18446744073709551615 251367651822 0 0 4096 2 18446604441941903360 0 0 -1 5 0 0 0
[pid=10042/tid=10047] ppid=10040 vsize=1300412 CPUtime=1.03 cores=0-7
/proc/10042/task/10047/stat : 10047 (strangenight2-m) R 10040 10042 9946 0 -1 4202560 30840 0 0 0 64 39 0 0 16 0 8 0 798057370 1331621888 220719 33554432000 4194304 4580107 140736552561312 18446744073709551615 251367590071 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10042/tid=10048] ppid=10040 vsize=1300412 CPUtime=1.05 cores=0-7
/proc/10042/task/10048/stat : 10048 (strangenight2-m) S 10040 10042 9946 0 -1 4202560 33110 0 0 0 64 41 0 0 16 0 8 0 798057370 1331621888 220719 33554432000 4194304 4580107 140736552561312 18446744073709551615 251367651822 0 0 4096 2 18446604441941903360 0 0 -1 4 0 0 0
[pid=10042/tid=10049] ppid=10040 vsize=1300412 CPUtime=1.06 cores=0-7
/proc/10042/task/10049/stat : 10049 (strangenight2-m) R 10040 10042 9946 0 -1 4202560 33766 0 0 0 63 43 0 0 16 0 8 0 798057370 1331621888 220721 33554432000 4194304 4580107 140736552561312 18446744073709551615 251367651822 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 8.42
Current children cumulated vsize (KiB) 1300412

[startup+3.10119 s]
/proc/loadavg: 6.90 7.76 7.91 10/499 10050
/proc/meminfo: memFree=13124568/32950928 swapFree=38710952/67111528
[pid=10042] ppid=10040 vsize=1606608 CPUtime=20.8 cores=0-7
/proc/10042/stat : 10042 (strangenight2-m) R 10040 10042 9946 0 -1 4202496 283501 0 0 0 1702 378 0 0 17 0 8 0 798057370 1645166592 248131 33554432000 4194304 4580107 140736552561312 18446744073709551615 4293301 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/10042/statm: 401652 248131 361 95 0 396634 0
[pid=10042/tid=10043] ppid=10040 vsize=1606608 CPUtime=2.55 cores=0-7
/proc/10042/task/10043/stat : 10043 (strangenight2-m) R 10040 10042 9946 0 -1 4202560 37308 0 0 0 208 47 0 0 17 0 8 0 798057370 1645166592 248131 33554432000 4194304 4580107 140736552561312 18446744073709551615 4293911 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10042/tid=10044] ppid=10040 vsize=1606608 CPUtime=2.6 cores=0-7
/proc/10042/task/10044/stat : 10044 (strangenight2-m) R 10040 10042 9946 0 -1 4202560 32218 0 0 0 211 49 0 0 17 0 8 0 798057370 1645166592 248131 33554432000 4194304 4580107 140736552561312 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10042/tid=10045] ppid=10040 vsize=1606608 CPUtime=2.62 cores=0-7
/proc/10042/task/10045/stat : 10045 (strangenight2-m) R 10040 10042 9946 0 -1 4202560 36660 0 0 0 217 45 0 0 17 0 8 0 798057370 1645166592 248131 33554432000 4194304 4580107 140736552561312 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10042/tid=10046] ppid=10040 vsize=1606608 CPUtime=2.57 cores=0-7
/proc/10042/task/10046/stat : 10046 (strangenight2-m) R 10040 10042 9946 0 -1 4202560 32787 0 0 0 210 47 0 0 17 0 8 0 798057370 1645166592 248131 33554432000 4194304 4580107 140736552561312 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10042/tid=10047] ppid=10040 vsize=1606608 CPUtime=2.58 cores=0-7
/proc/10042/task/10047/stat : 10047 (strangenight2-m) R 10040 10042 9946 0 -1 4202560 33717 0 0 0 214 44 0 0 17 0 8 0 798057370 1645166592 248131 33554432000 4194304 4580107 140736552561312 18446744073709551615 4293138 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10042/tid=10048] ppid=10040 vsize=1606608 CPUtime=2.59 cores=0-7
/proc/10042/task/10048/stat : 10048 (strangenight2-m) R 10040 10042 9946 0 -1 4202560 37095 0 0 0 212 47 0 0 17 0 8 0 798057370 1645166592 248131 33554432000 4194304 4580107 140736552561312 18446744073709551615 4292941 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10042/tid=10049] ppid=10040 vsize=1606608 CPUtime=2.6 cores=0-7
/proc/10042/task/10049/stat : 10049 (strangenight2-m) R 10040 10042 9946 0 -1 4202560 37222 0 0 0 214 46 0 0 17 0 8 0 798057370 1645166592 248131 33554432000 4194304 4580107 140736552561312 18446744073709551615 4316692 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 20.8
Current children cumulated vsize (KiB) 1606608

[startup+6.3006 s]
/proc/loadavg: 7.23 7.81 7.92 9/499 10050
/proc/meminfo: memFree=13084516/32950928 swapFree=38710952/67111528
[pid=10042] ppid=10040 vsize=1606608 CPUtime=46.34 cores=0-7
/proc/10042/stat : 10042 (strangenight2-m) R 10040 10042 9946 0 -1 4202496 285625 0 0 0 4255 379 0 0 24 0 8 0 798057370 1645166592 249221 33554432000 4194304 4580107 140736552561312 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/10042/statm: 401652 249221 361 95 0 396634 0
[pid=10042/tid=10043] ppid=10040 vsize=1606608 CPUtime=5.75 cores=0-7
/proc/10042/task/10043/stat : 10043 (strangenight2-m) R 10040 10042 9946 0 -1 4202560 37313 0 0 0 528 47 0 0 24 0 8 0 798057370 1645166592 249221 33554432000 4194304 4580107 140736552561312 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10042/tid=10044] ppid=10040 vsize=1606608 CPUtime=5.8 cores=0-7
/proc/10042/task/10044/stat : 10044 (strangenight2-m) R 10040 10042 9946 0 -1 4202560 32220 0 0 0 531 49 0 0 23 0 8 0 798057370 1645166592 249221 33554432000 4194304 4580107 140736552561312 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10042/tid=10045] ppid=10040 vsize=1606608 CPUtime=5.82 cores=0-7
/proc/10042/task/10045/stat : 10045 (strangenight2-m) R 10040 10042 9946 0 -1 4202560 36666 0 0 0 537 45 0 0 25 0 8 0 798057370 1645166592 249221 33554432000 4194304 4580107 140736552561312 18446744073709551615 4293235 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10042/tid=10046] ppid=10040 vsize=1606608 CPUtime=5.77 cores=0-7
/proc/10042/task/10046/stat : 10046 (strangenight2-m) R 10040 10042 9946 0 -1 4202560 32791 0 0 0 530 47 0 0 25 0 8 0 798057370 1645166592 249221 33554432000 4194304 4580107 140736552561312 18446744073709551615 4293235 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10042/tid=10047] ppid=10040 vsize=1606608 CPUtime=5.78 cores=0-7
/proc/10042/task/10047/stat : 10047 (strangenight2-m) R 10040 10042 9946 0 -1 4202560 33723 0 0 0 534 44 0 0 25 0 8 0 798057370 1645166592 249221 33554432000 4194304 4580107 140736552561312 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10042/tid=10048] ppid=10040 vsize=1606608 CPUtime=5.79 cores=0-7
/proc/10042/task/10048/stat : 10048 (strangenight2-m) R 10040 10042 9946 0 -1 4202560 37096 0 0 0 532 47 0 0 24 0 8 0 798057370 1645166592 249221 33554432000 4194304 4580107 140736552561312 18446744073709551615 4293235 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10042/tid=10049] ppid=10040 vsize=1606608 CPUtime=5.75 cores=0-7
/proc/10042/task/10049/stat : 10049 (strangenight2-m) R 10040 10042 9946 0 -1 4202560 39316 0 0 0 528 47 0 0 24 0 8 0 798057370 1645166592 249221 33554432000 4194304 4580107 140736552561312 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 7 0 0 0

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

/proc/loadavg: 8.08 8.08 8.01 9/499 10093
/proc/meminfo: memFree=8624860/32950928 swapFree=38710952/67111528
[pid=10042] ppid=10040 vsize=6575416 CPUtime=12052.5 cores=0-7
/proc/10042/stat : 10042 (strangenight2-m) R 10040 10042 9946 0 -1 4202496 2388880 0 0 0 1204125 1129 0 0 25 0 8 0 798057370 6733225984 1361772 33554432000 4194304 4580107 140736552561312 18446744073709551615 4316680 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/10042/statm: 1643854 1361772 381 95 0 1638836 0
[pid=10042/tid=10043] ppid=10040 vsize=6575416 CPUtime=1509.63 cores=0-7
/proc/10042/task/10043/stat : 10043 (strangenight2-m) R 10040 10042 9946 0 -1 4202560 284076 0 0 0 150838 125 0 0 25 0 8 0 798057370 6733225984 1361772 33554432000 4194304 4580107 140736552561312 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10042/tid=10044] ppid=10040 vsize=6575416 CPUtime=1509.82 cores=0-7
/proc/10042/task/10044/stat : 10044 (strangenight2-m) R 10040 10042 9946 0 -1 4202560 275944 0 0 0 150843 139 0 0 25 0 8 0 798057370 6733225984 1361772 33554432000 4194304 4580107 140736552561312 18446744073709551615 4293182 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10042/tid=10045] ppid=10040 vsize=6575416 CPUtime=1509.35 cores=0-7
/proc/10042/task/10045/stat : 10045 (strangenight2-m) R 10040 10042 9946 0 -1 4202560 254400 0 0 0 150812 123 0 0 25 0 8 0 798057370 6733225984 1361772 33554432000 4194304 4580107 140736552561312 18446744073709551615 4294634 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10042/tid=10046] ppid=10040 vsize=6575416 CPUtime=1509.8 cores=0-7
/proc/10042/task/10046/stat : 10046 (strangenight2-m) R 10040 10042 9946 0 -1 4202560 286364 0 0 0 150827 153 0 0 25 0 8 0 798057370 6733225984 1361772 33554432000 4194304 4580107 140736552561312 18446744073709551615 4317100 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10042/tid=10047] ppid=10040 vsize=6575416 CPUtime=1509.8 cores=0-7
/proc/10042/task/10047/stat : 10047 (strangenight2-m) R 10040 10042 9946 0 -1 4202560 317177 0 0 0 150834 146 0 0 25 0 8 0 798057370 6733225984 1361772 33554432000 4194304 4580107 140736552561312 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10042/tid=10048] ppid=10040 vsize=6575416 CPUtime=1508.71 cores=0-7
/proc/10042/task/10048/stat : 10048 (strangenight2-m) R 10040 10042 9946 0 -1 4202560 283535 0 0 0 150747 124 0 0 25 0 8 0 798057370 6733225984 1361772 33554432000 4194304 4580107 140736552561312 18446744073709551615 4294627 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10042/tid=10049] ppid=10040 vsize=6575416 CPUtime=1509.45 cores=0-7
/proc/10042/task/10049/stat : 10049 (strangenight2-m) R 10040 10042 9946 0 -1 4202560 330712 0 0 0 150783 162 0 0 25 0 8 0 798057370 6733225984 1361772 33554432000 4194304 4580107 140736552561312 18446744073709551615 4293710 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12052.5
Current children cumulated vsize (KiB) 6575416

[startup+1523.1 s]
/proc/loadavg: 8.07 8.08 8.01 9/499 10093
/proc/meminfo: memFree=8612584/32950928 swapFree=38710952/67111528
[pid=10042] ppid=10040 vsize=6704308 CPUtime=12154.6 cores=0-7
/proc/10042/stat : 10042 (strangenight2-m) R 10040 10042 9946 0 -1 4202496 2392161 0 0 0 1214328 1131 0 0 25 0 8 0 798057370 6865211392 1365053 33554432000 4194304 4580107 140736552561312 18446744073709551615 4292938 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/10042/statm: 1676077 1365053 381 95 0 1671059 0
[pid=10042/tid=10043] ppid=10040 vsize=6704308 CPUtime=1522.41 cores=0-7
/proc/10042/task/10043/stat : 10043 (strangenight2-m) R 10040 10042 9946 0 -1 4202560 284360 0 0 0 152116 125 0 0 25 0 8 0 798057370 6865211392 1365053 33554432000 4194304 4580107 140736552561312 18446744073709551615 4316680 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10042/tid=10044] ppid=10040 vsize=6704308 CPUtime=1522.6 cores=0-7
/proc/10042/task/10044/stat : 10044 (strangenight2-m) R 10040 10042 9946 0 -1 4202560 276172 0 0 0 152121 139 0 0 25 0 8 0 798057370 6865211392 1365053 33554432000 4194304 4580107 140736552561312 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10042/tid=10045] ppid=10040 vsize=6704308 CPUtime=1522.14 cores=0-7
/proc/10042/task/10045/stat : 10045 (strangenight2-m) R 10040 10042 9946 0 -1 4202560 254912 0 0 0 152090 124 0 0 25 0 8 0 798057370 6865211392 1365053 33554432000 4194304 4580107 140736552561312 18446744073709551615 4321152 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10042/tid=10046] ppid=10040 vsize=6704308 CPUtime=1522.58 cores=0-7
/proc/10042/task/10046/stat : 10046 (strangenight2-m) R 10040 10042 9946 0 -1 4202560 286727 0 0 0 152105 153 0 0 25 0 8 0 798057370 6865211392 1365053 33554432000 4194304 4580107 140736552561312 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10042/tid=10047] ppid=10040 vsize=6704308 CPUtime=1522.58 cores=0-7
/proc/10042/task/10047/stat : 10047 (strangenight2-m) R 10040 10042 9946 0 -1 4202560 317806 0 0 0 152112 146 0 0 25 0 8 0 798057370 6865211392 1365053 33554432000 4194304 4580107 140736552561312 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10042/tid=10048] ppid=10040 vsize=6704308 CPUtime=1521.49 cores=0-7
/proc/10042/task/10048/stat : 10048 (strangenight2-m) R 10040 10042 9946 0 -1 4202560 284013 0 0 0 152025 124 0 0 25 0 8 0 798057370 6865211392 1365053 33554432000 4194304 4580107 140736552561312 18446744073709551615 4318435 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10042/tid=10049] ppid=10040 vsize=6704308 CPUtime=1522.23 cores=0-7
/proc/10042/task/10049/stat : 10049 (strangenight2-m) R 10040 10042 9946 0 -1 4202560 331143 0 0 0 152061 162 0 0 25 0 8 0 798057370 6865211392 1365053 33554432000 4194304 4580107 140736552561312 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12154.6
Current children cumulated vsize (KiB) 6704308

[startup+1529.5 s]
/proc/loadavg: 8.06 8.08 8.01 9/499 10093
/proc/meminfo: memFree=8627092/32950928 swapFree=38710952/67111528
[pid=10042] ppid=10040 vsize=6586476 CPUtime=12205.7 cores=0-7
/proc/10042/stat : 10042 (strangenight2-m) R 10040 10042 9946 0 -1 4202496 2393661 0 0 0 1219437 1132 0 0 25 0 8 0 798057370 6744551424 1360812 33554432000 4194304 4580107 140736552561312 18446744073709551615 4325657 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/10042/statm: 1646619 1360812 381 95 0 1641601 0
[pid=10042/tid=10043] ppid=10040 vsize=6586476 CPUtime=1528.81 cores=0-7
/proc/10042/task/10043/stat : 10043 (strangenight2-m) R 10040 10042 9946 0 -1 4202560 284554 0 0 0 152756 125 0 0 25 0 8 0 798057370 6744551424 1360812 33554432000 4194304 4580107 140736552561312 18446744073709551615 4293225 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10042/tid=10044] ppid=10040 vsize=6586476 CPUtime=1529.01 cores=0-7
/proc/10042/task/10044/stat : 10044 (strangenight2-m) R 10040 10042 9946 0 -1 4202560 276369 0 0 0 152761 140 0 0 25 0 8 0 798057370 6744551424 1360812 33554432000 4194304 4580107 140736552561312 18446744073709551615 4306071 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10042/tid=10045] ppid=10040 vsize=6586476 CPUtime=1528.54 cores=0-7
/proc/10042/task/10045/stat : 10045 (strangenight2-m) R 10040 10042 9946 0 -1 4202560 255135 0 0 0 152730 124 0 0 25 0 8 0 798057370 6744551424 1360812 33554432000 4194304 4580107 140736552561312 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10042/tid=10046] ppid=10040 vsize=6586476 CPUtime=1528.98 cores=0-7
/proc/10042/task/10046/stat : 10046 (strangenight2-m) R 10040 10042 9946 0 -1 4202560 286892 0 0 0 152745 153 0 0 25 0 8 0 798057370 6744551424 1360812 33554432000 4194304 4580107 140736552561312 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10042/tid=10047] ppid=10040 vsize=6586476 CPUtime=1528.98 cores=0-7
/proc/10042/task/10047/stat : 10047 (strangenight2-m) R 10040 10042 9946 0 -1 4202560 317890 0 0 0 152752 146 0 0 25 0 8 0 798057370 6744551424 1360812 33554432000 4194304 4580107 140736552561312 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10042/tid=10048] ppid=10040 vsize=6586476 CPUtime=1527.89 cores=0-7
/proc/10042/task/10048/stat : 10048 (strangenight2-m) R 10040 10042 9946 0 -1 4202560 284272 0 0 0 152665 124 0 0 25 0 8 0 798057370 6744551424 1360812 33554432000 4194304 4580107 140736552561312 18446744073709551615 4294634 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10042/tid=10049] ppid=10040 vsize=6586476 CPUtime=1528.63 cores=0-7
/proc/10042/task/10049/stat : 10049 (strangenight2-m) R 10040 10042 9946 0 -1 4202560 331358 0 0 0 152701 162 0 0 25 0 8 0 798057370 6744551424 1360812 33554432000 4194304 4580107 140736552561312 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12205.7
Current children cumulated vsize (KiB) 6586476

[startup+1532.7 s]
/proc/loadavg: 8.06 8.08 8.01 9/499 10093
/proc/meminfo: memFree=8625480/32950928 swapFree=38710952/67111528
[pid=10042] ppid=10040 vsize=6651012 CPUtime=12231.2 cores=0-7
/proc/10042/stat : 10042 (strangenight2-m) R 10040 10042 9946 0 -1 4202496 2394293 0 0 0 1221991 1133 0 0 25 0 8 0 798057370 6810636288 1361444 33554432000 4194304 4580107 140736552561312 18446744073709551615 4292938 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/10042/statm: 1662753 1361444 381 95 0 1657735 0
[pid=10042/tid=10043] ppid=10040 vsize=6651012 CPUtime=1532.01 cores=0-7
/proc/10042/task/10043/stat : 10043 (strangenight2-m) R 10040 10042 9946 0 -1 4202560 284554 0 0 0 153076 125 0 0 25 0 8 0 798057370 6810636288 1361444 33554432000 4194304 4580107 140736552561312 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10042/tid=10044] ppid=10040 vsize=6651012 CPUtime=1532.21 cores=0-7
/proc/10042/task/10044/stat : 10044 (strangenight2-m) R 10040 10042 9946 0 -1 4202560 276468 0 0 0 153081 140 0 0 25 0 8 0 798057370 6810636288 1361444 33554432000 4194304 4580107 140736552561312 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10042/tid=10045] ppid=10040 vsize=6651012 CPUtime=1531.74 cores=0-7
/proc/10042/task/10045/stat : 10045 (strangenight2-m) R 10040 10042 9946 0 -1 4202560 255238 0 0 0 153050 124 0 0 25 0 8 0 798057370 6810636288 1361444 33554432000 4194304 4580107 140736552561312 18446744073709551615 4293204 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10042/tid=10046] ppid=10040 vsize=6651012 CPUtime=1532.18 cores=0-7
/proc/10042/task/10046/stat : 10046 (strangenight2-m) R 10040 10042 9946 0 -1 4202560 287008 0 0 0 153065 153 0 0 25 0 8 0 798057370 6810636288 1361444 33554432000 4194304 4580107 140736552561312 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10042/tid=10047] ppid=10040 vsize=6651012 CPUtime=1532.18 cores=0-7
/proc/10042/task/10047/stat : 10047 (strangenight2-m) R 10040 10042 9946 0 -1 4202560 317890 0 0 0 153072 146 0 0 25 0 8 0 798057370 6810636288 1361444 33554432000 4194304 4580107 140736552561312 18446744073709551615 4324385 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10042/tid=10048] ppid=10040 vsize=6651012 CPUtime=1531.09 cores=0-7
/proc/10042/task/10048/stat : 10048 (strangenight2-m) R 10040 10042 9946 0 -1 4202560 284407 0 0 0 152985 124 0 0 25 0 8 0 798057370 6810636288 1361444 33554432000 4194304 4580107 140736552561312 18446744073709551615 4294217 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10042/tid=10049] ppid=10040 vsize=6651012 CPUtime=1531.84 cores=0-7
/proc/10042/task/10049/stat : 10049 (strangenight2-m) R 10040 10042 9946 0 -1 4202560 331451 0 0 0 153021 163 0 0 25 0 8 0 798057370 6810636288 1361444 33554432000 4194304 4580107 140736552561312 18446744073709551615 4306071 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12231.2
Current children cumulated vsize (KiB) 6651012

[startup+1535.9 s]
/proc/loadavg: 8.06 8.08 8.01 9/499 10093
/proc/meminfo: memFree=8619280/32950928 swapFree=38710952/67111528
[pid=10042] ppid=10040 vsize=6650920 CPUtime=12256.8 cores=0-7
/proc/10042/stat : 10042 (strangenight2-m) R 10040 10042 9946 0 -1 4202496 2396274 0 0 0 1224544 1133 0 0 25 0 8 0 798057370 6810542080 1362886 33554432000 4194304 4580107 140736552561312 18446744073709551615 4305975 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/10042/statm: 1662730 1362886 381 95 0 1657712 0
[pid=10042/tid=10043] ppid=10040 vsize=6650920 CPUtime=1535.21 cores=0-7
/proc/10042/task/10043/stat : 10043 (strangenight2-m) R 10040 10042 9946 0 -1 4202560 284554 0 0 0 153396 125 0 0 25 0 8 0 798057370 6810542080 1362886 33554432000 4194304 4580107 140736552561312 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10042/tid=10044] ppid=10040 vsize=6650920 CPUtime=1535.41 cores=0-7
/proc/10042/task/10044/stat : 10044 (strangenight2-m) R 10040 10042 9946 0 -1 4202560 277954 0 0 0 153401 140 0 0 25 0 8 0 798057370 6810542080 1362886 33554432000 4194304 4580107 140736552561312 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10042/tid=10045] ppid=10040 vsize=6650920 CPUtime=1534.94 cores=0-7
/proc/10042/task/10045/stat : 10045 (strangenight2-m) R 10040 10042 9946 0 -1 4202560 255334 0 0 0 153370 124 0 0 25 0 8 0 798057370 6810542080 1362886 33554432000 4194304 4580107 140736552561312 18446744073709551615 4306071 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10042/tid=10046] ppid=10040 vsize=6650920 CPUtime=1535.38 cores=0-7
/proc/10042/task/10046/stat : 10046 (strangenight2-m) R 10040 10042 9946 0 -1 4202560 287093 0 0 0 153385 153 0 0 25 0 8 0 798057370 6810542080 1362886 33554432000 4194304 4580107 140736552561312 18446744073709551615 4293292 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10042/tid=10047] ppid=10040 vsize=6650920 CPUtime=1535.38 cores=0-7
/proc/10042/task/10047/stat : 10047 (strangenight2-m) R 10040 10042 9946 0 -1 4202560 317890 0 0 0 153392 146 0 0 25 0 8 0 798057370 6810542080 1362886 33554432000 4194304 4580107 140736552561312 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10042/tid=10048] ppid=10040 vsize=6650920 CPUtime=1534.29 cores=0-7
/proc/10042/task/10048/stat : 10048 (strangenight2-m) R 10040 10042 9946 0 -1 4202560 284499 0 0 0 153305 124 0 0 25 0 8 0 798057370 6810542080 1362886 33554432000 4194304 4580107 140736552561312 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10042/tid=10049] ppid=10040 vsize=6650920 CPUtime=1535.04 cores=0-7
/proc/10042/task/10049/stat : 10049 (strangenight2-m) R 10040 10042 9946 0 -1 4202560 331565 0 0 0 153341 163 0 0 25 0 8 0 798057370 6810542080 1362886 33554432000 4194304 4580107 140736552561312 18446744073709551615 4294245 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12256.8
Current children cumulated vsize (KiB) 6650920

[startup+1537.5 s]
/proc/loadavg: 8.06 8.08 8.01 9/499 10094
/proc/meminfo: memFree=8618784/32950928 swapFree=38710952/67111528
[pid=10042] ppid=10040 vsize=6650920 CPUtime=12269.6 cores=0-7
/proc/10042/stat : 10042 (strangenight2-m) R 10040 10042 9946 0 -1 4202496 2396529 0 0 0 1225823 1134 0 0 25 0 8 0 798057370 6810542080 1363141 33554432000 4194304 4580107 140736552561312 18446744073709551615 4305975 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/10042/statm: 1662730 1363141 381 95 0 1657712 0
[pid=10042/tid=10043] ppid=10040 vsize=6650920 CPUtime=1536.81 cores=0-7
/proc/10042/task/10043/stat : 10043 (strangenight2-m) R 10040 10042 9946 0 -1 4202560 284554 0 0 0 153556 125 0 0 25 0 8 0 798057370 6810542080 1363141 33554432000 4194304 4580107 140736552561312 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10042/tid=10044] ppid=10040 vsize=6650920 CPUtime=1537.01 cores=0-7
/proc/10042/task/10044/stat : 10044 (strangenight2-m) R 10040 10042 9946 0 -1 4202560 278011 0 0 0 153561 140 0 0 25 0 8 0 798057370 6810542080 1363141 33554432000 4194304 4580107 140736552561312 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10042/tid=10045] ppid=10040 vsize=6650920 CPUtime=1536.54 cores=0-7
/proc/10042/task/10045/stat : 10045 (strangenight2-m) R 10040 10042 9946 0 -1 4202560 255368 0 0 0 153530 124 0 0 25 0 8 0 798057370 6810542080 1363141 33554432000 4194304 4580107 140736552561312 18446744073709551615 4293097 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10042/tid=10046] ppid=10040 vsize=6650920 CPUtime=1536.98 cores=0-7
/proc/10042/task/10046/stat : 10046 (strangenight2-m) R 10040 10042 9946 0 -1 4202560 287128 0 0 0 153545 153 0 0 25 0 8 0 798057370 6810542080 1363141 33554432000 4194304 4580107 140736552561312 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10042/tid=10047] ppid=10040 vsize=6650920 CPUtime=1536.98 cores=0-7
/proc/10042/task/10047/stat : 10047 (strangenight2-m) R 10040 10042 9946 0 -1 4202560 317890 0 0 0 153552 146 0 0 25 0 8 0 798057370 6810542080 1363141 33554432000 4194304 4580107 140736552561312 18446744073709551615 4294396 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10042/tid=10048] ppid=10040 vsize=6650920 CPUtime=1535.89 cores=0-7
/proc/10042/task/10048/stat : 10048 (strangenight2-m) R 10040 10042 9946 0 -1 4202560 284533 0 0 0 153465 124 0 0 25 0 8 0 798057370 6810542080 1363141 33554432000 4194304 4580107 140736552561312 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10042/tid=10049] ppid=10040 vsize=6650920 CPUtime=1536.64 cores=0-7
/proc/10042/task/10049/stat : 10049 (strangenight2-m) R 10040 10042 9946 0 -1 4202560 331610 0 0 0 153501 163 0 0 25 0 8 0 798057370 6810542080 1363141 33554432000 4194304 4580107 140736552561312 18446744073709551615 4293292 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12269.6
Current children cumulated vsize (KiB) 6650920

[startup+1537.9 s]
/proc/loadavg: 8.06 8.08 8.01 9/499 10094
/proc/meminfo: memFree=8618164/32950928 swapFree=38710952/67111528
[pid=10042] ppid=10040 vsize=6650920 CPUtime=12272.8 cores=0-7
/proc/10042/stat : 10042 (strangenight2-m) R 10040 10042 9946 0 -1 4202496 2396606 0 0 0 1226141 1134 0 0 25 0 8 0 798057370 6810542080 1363218 33554432000 4194304 4580107 140736552561312 18446744073709551615 4292938 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/10042/statm: 1662730 1363218 381 95 0 1657712 0
[pid=10042/tid=10043] ppid=10040 vsize=6650920 CPUtime=1537.21 cores=0-7
/proc/10042/task/10043/stat : 10043 (strangenight2-m) R 10040 10042 9946 0 -1 4202560 284554 0 0 0 153596 125 0 0 25 0 8 0 798057370 6810542080 1363218 33554432000 4194304 4580107 140736552561312 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10042/tid=10044] ppid=10040 vsize=6650920 CPUtime=1537.41 cores=0-7
/proc/10042/task/10044/stat : 10044 (strangenight2-m) R 10040 10042 9946 0 -1 4202560 278030 0 0 0 153601 140 0 0 25 0 8 0 798057370 6810542080 1363218 33554432000 4194304 4580107 140736552561312 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10042/tid=10045] ppid=10040 vsize=6650920 CPUtime=1536.94 cores=0-7
/proc/10042/task/10045/stat : 10045 (strangenight2-m) R 10040 10042 9946 0 -1 4202560 255376 0 0 0 153570 124 0 0 25 0 8 0 798057370 6810542080 1363218 33554432000 4194304 4580107 140736552561312 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10042/tid=10046] ppid=10040 vsize=6650920 CPUtime=1537.38 cores=0-7
/proc/10042/task/10046/stat : 10046 (strangenight2-m) R 10040 10042 9946 0 -1 4202560 287133 0 0 0 153585 153 0 0 25 0 8 0 798057370 6810542080 1363218 33554432000 4194304 4580107 140736552561312 18446744073709551615 4293911 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10042/tid=10047] ppid=10040 vsize=6650920 CPUtime=1537.38 cores=0-7
/proc/10042/task/10047/stat : 10047 (strangenight2-m) R 10040 10042 9946 0 -1 4202560 317890 0 0 0 153592 146 0 0 25 0 8 0 798057370 6810542080 1363218 33554432000 4194304 4580107 140736552561312 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10042/tid=10048] ppid=10040 vsize=6650920 CPUtime=1536.29 cores=0-7
/proc/10042/task/10048/stat : 10048 (strangenight2-m) R 10040 10042 9946 0 -1 4202560 284547 0 0 0 153505 124 0 0 25 0 8 0 798057370 6810542080 1363218 33554432000 4194304 4580107 140736552561312 18446744073709551615 4294185 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10042/tid=10049] ppid=10040 vsize=6650920 CPUtime=1537.04 cores=0-7
/proc/10042/task/10049/stat : 10049 (strangenight2-m) R 10040 10042 9946 0 -1 4202560 331623 0 0 0 153541 163 0 0 25 0 8 0 798057370 6810542080 1363218 33554432000 4194304 4580107 140736552561312 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12272.8
Current children cumulated vsize (KiB) 6650920

[startup+1538.1 s]
/proc/loadavg: 8.06 8.08 8.01 9/499 10094
/proc/meminfo: memFree=8618164/32950928 swapFree=38710952/67111528
[pid=10042] ppid=10040 vsize=0 CPUtime=12273 cores=0-7
/proc/10042/stat : 10042 (strangenight2-m) Z 10040 10042 9946 0 -1 4203548 2396609 0 0 0 1226148 1153 0 0 25 0 2 0 798057370 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/10042/statm: 0 0 0 0 0 0 0
[pid=10042/tid=10045] ppid=10040 vsize=0 CPUtime=1537.14 cores=0-7
/proc/10042/task/10045/stat : 10045 (strangenight2-m) R 10040 10042 9946 0 -1 4203588 255376 0 0 0 153571 143 0 0 25 0 2 0 798057370 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12273
Current children cumulated vsize (KiB) 0

Child status: 20
Real time (s): 1538.13
CPU time (s): 12273
CPU user time (s): 12261.5
CPU system time (s): 11.5572
CPU usage (%): 797.922
Max. virtual memory (cumulated for all children) (KiB): 6716548

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 12261.5
system time used= 11.5572
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2396609
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= 441697
involuntary context switches= 52137

runsolver used 6.86596 second user time and 18.3682 second system time

The end

Launcher Data 

Begin job on node113 at 2011-05-22 17:31:07
IDJOB=3394000
IDBENCH=71036
IDSOLVER=1878
FILE ID=node113/3394000-1306078266
RUNJOBID= node113-1306078221-9960
PBS_JOBID= 13387911
Free space on /tmp= 73292 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT09/APPLICATIONS/diagnosis/UR-20-10p0.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3394000-1306078266/watcher-3394000-1306078266 -o /tmp/evaluation-result-3394000-1306078266/solver-3394000-1306078266 -C 40000 -W 5100 -M 31000  ./strangenight2-mt --threads=8 HOME/instance-3394000-1306078266.cnf

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

MD5SUM BENCH= faef1c850bb82ceddc7da5a4c445dd25
RANDOM SEED=2043826465

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      14080288 kB
Buffers:        332144 kB
Cached:        8800620 kB
SwapCached:      93732 kB
Active:        8085916 kB
Inactive:     10444164 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      14080288 kB
SwapTotal:    67111528 kB
SwapFree:     38710952 kB
Dirty:           31472 kB
Writeback:           0 kB
AnonPages:     9315668 kB
Mapped:          25276 kB
Slab:           153512 kB
PageTables:     116268 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 154763488 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= 73284 MiB
End job on node113 at 2011-05-22 17:56:45