Trace number 3281930

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-1-mt? (TO) 4800.17 1201.82

General information on the benchmark

NameAPPLICATIONS/bitverif/
minxorminand/minxorminand128.cnf
MD5SUMa551844fb6a7f35cf6025d0a525ca14e
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark388.148
Satisfiable
(Un)Satisfiability was proved
Number of variables153834
Number of clauses459965
Sum of the clauses size1073249
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 2306642
Number of clauses of size 3153321
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.00	c Using 4 threads
0.00/0.00	c This is CryptoMiniSat 2.9.0
0.00/0.00	c compiled with gcc version 4.4.5
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3281930-1304032672.cnf'
0.00/0.00	c -- header says num vars:         153834
0.00/0.00	c -- header says num clauses:      459965
0.66/0.49	c -- clauses added:            0 learnts,       459965 normals,            0 xors
0.66/0.49	c -- vars added     153834
0.66/0.49	c Parsing time:  0.71 s
0.66/0.49	c  N st     0         0    153834    153321    306642         0   1073247         0   no data   no data  --
2.26/0.66	c asymm  cl-useful: 0/19999/153312 lits-rem:0 time: 1.39
28.48/7.25	c Flit:     0 Blit:      6 bXBeca:    0 bXProp:  890 Bins:      0 BRemL:      0 BRemN:      0 P: 153.8M T: 26.24
28.87/7.30	c Replacing      890 vars Replaced    11442 lits Time:     0.19 s 
28.87/7.38	c bin-w-bin subsume rem            0 bins  time:  0.09 s
29.27/7.45	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.27 s
31.29/7.96	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done: 122725 time:  2.01 s
32.07/8.12	c Removed useless bin:      54  fixed:     0  props:  20.00M  time:  0.62 s
36.45/9.21	c lits-rem:         0  cl-subs:        0  v-elim:  50976  v-fix:    0  time:  4.26 s
36.45/9.24	c Finding binary XORs  T:     0.11 s  found:       0
36.84/9.34	c Finding non-binary XORs:     0.29 s (found:      99, avg size: 3.0)
36.84/9.34	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:     47 locsubst:     0 time:   0.11
36.84/9.37	c Calc default polars -  time:   0.07 s pos:     830 undec:   51933 neg:  101071
36.84/9.37	c =========================================================================================
36.84/9.37	c types(t): F = full restart, N = normal restart
36.84/9.37	c types(t): S = simplification begin/end, E = solution found
36.84/9.37	c restart types(rt): st = static, dy = dynamic
36.84/9.37	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
36.84/9.37	c  B st     0         0    101905    154271    200661         0   1289914         0   no data   no data  --
54.43/13.73	c  N dy    11      4331    101905    154271    200697      4213   1289914    225490     14.42     16.08  --
70.01/17.68	c  N dy    41      8351    101905    154271    200933      8142   1289914    516172     23.73     53.71  --
85.58/21.54	c  N dy    70     12418    101905    154271    200984     12124   1289914    904042     29.96     38.34  --
101.16/25.49	c  N dy   105     16463    101905    154271    201188     16058   1289914   1510633     40.61     43.09  --
121.13/30.41	c  N dy   130     20735    101905    154271    201418     10485   1289914    444537     45.60     51.96  --
137.51/34.54	c  N dy   158     24785    101905    154271    201440     14428   1289914   1200954     51.26    125.43  --
138.31/34.75	c  F st   161     25000    101905    154271    201571     14641   1289914   1252682     52.33   no data  --
160.68/40.31	c  N dy   167     30002    101905    154271    201585     19507   1289914   2362022     52.33   no data  --
160.68/40.31	c  S st   167     30002    101905    154271    201585     19507   1289914   2362022     52.33   no data  --
161.88/40.69	c  S st   167     30503    101905    154271    201599     19994   1289914   2424797     52.33   no data  --
162.28/40.72	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.13
223.80/56.13	c Flit:     3 Blit:      1 bXBeca:    0 bXProp:   30 Bins:   3667 BRemL:     38 BRemN:      1 P: 185.4M T: 61.52
224.20/56.30	c Replacing       30 vars Replaced    26486 lits Time:     0.63 s 
225.39/56.52	c bin-w-bin subsume rem           44 bins  time:  0.08 s
228.19/57.21	c subs with bin:      312  lits-rem:     18347  v-fix:    0  time:  2.77 s
228.19/57.27	c Subs w/ non-existent bins:     32 l-rem:   1377 v-fix:     0 done:   2029 time:  0.24 s
228.60/57.34	c Removed useless bin:      34  fixed:     0  props:  20.00M  time:  0.27 s
292.49/73.32	c lits-rem:      1826  cl-subs:    13653  v-elim:  67912  v-fix:    0  time: 63.66 s
292.49/73.32	c Added XOR as norm:5
294.10/73.73	c asymm  cl-useful: 1146/3369/133038 lits-rem:1241 time: 1.64
294.10/73.75	c  N dy   167     30503     33958    133038     88347      6577   1306405    365890     52.33   no data  --
294.10/73.76	c Finding binary XORs  T:     0.08 s  found:       0
302.89/75.96	c  N dy   176     34584     33957    133038     88468     10527   1306404    675912     49.59     52.91  --
315.26/79.00	c  N dy   189     39217     33957    133038     88477     15027   1306404   1120087     47.73     51.84  --
328.05/82.27	c  N dy   217     44476     33957    133038     89253     20173   1306404   1690102     48.26     53.09  --
332.04/83.26	c  S st   226     45754     33957    133038     89283     21423   1306404   1921596     48.96     16.05  --
333.63/83.61	c  S st   226     46256     33957    133038     89289     21918   1306404   1995896     48.96   no data  --
333.63/83.64	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.10
353.20/88.58	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    2 Bins:   1158 BRemL:    109 BRemN:     14 P: 70.2M T: 19.66
353.60/88.63	c Replacing        2 vars Replaced      136 lits Time:     0.18 s 
354.40/88.81	c bin-w-bin subsume rem          263 bins  time:  0.05 s
361.21/90.52	c subs with bin:      892  lits-rem:      5609  v-fix:    0  time:  6.83 s
361.21/90.59	c Subs w/ non-existent bins:    102 l-rem:   3575 v-fix:     0 done:   1360 time:  0.30 s
361.60/90.68	c Removed useless bin:      30  fixed:     0  props:  20.00M  time:  0.36 s
405.15/101.58	c lits-rem:      4948  cl-subs:     9755  v-elim:  24545  v-fix:    0  time: 43.45 s
405.15/101.58	c Added XOR as norm:0
405.93/101.70	c vivif2 --  cl tried   107640 cl shrink    42786 lits rem      42989 time: 0.45
405.93/101.76	c vivif2 --  cl tried    12146 cl shrink     5035 lits rem      92348 time: 0.24
407.53/102.10	c asymm  cl-useful: 35/1763/104898 lits-rem:54 time: 1.36
407.53/102.12	c calculated reachability. Time: 0.04
407.53/102.12	c  N dy   226     46256      9410    104898     68323     12076   1164832    863290     48.96   no data  --
407.53/102.15	c Finding binary XORs  T:     0.12 s  found:       0
412.72/103.42	c  N dy   228     50497      9410    104898     68340     15975   1164832   1188949     45.52     49.66  --
419.91/105.24	c  N dy   232     54552      9410    104898     68523     19866   1164832   1907751     43.61     46.90  --
425.50/106.67	c  N dy   238     58686      9410    104898     68662     23785   1164832   2292694     42.00     44.22  --
431.11/108.04	c  N dy   242     63044      9410    104898     68879     27920   1164832   2821652     40.58     43.53  --
437.08/109.52	c  N dy   251     67914      9410    104898     68941     18136   1164832   1118614     39.51     48.53  --
438.69/109.98	c  S st   253     69384      9410    104898     68957     19569   1164832   1237241     38.94     11.28  --
439.49/110.19	c  S st   253     69890      9410    104898     68963     20067   1164832   1265538     38.94   no data  --
439.90/110.21	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
439.90/110.21	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.01
449.47/112.66	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:  45201 BRemL:    136 BRemN:     14 P: 11.9M T:  9.75
450.27/112.80	c bin-w-bin subsume rem           19 bins  time:  0.06 s
456.66/114.47	c subs with bin:      147  lits-rem:      2497  v-fix:    0  time:  6.68 s
457.06/114.52	c Subs w/ non-existent bins:      7 l-rem:   1001 v-fix:     0 done:   3646 time:  0.18 s
457.06/114.55	c Removed useless bin:       0  fixed:     0  props:   2.36M  time:  0.13 s
468.65/117.40	c lits-rem:      2327  cl-subs:     3756  v-elim:    253  v-fix:    0  time: 11.34 s
468.65/117.40	c Added XOR as norm:0
468.65/117.46	c vivif2 --  cl tried   104967 cl shrink      447 lits rem        448 time: 0.25
469.05/117.52	c vivif2 --  cl tried    16377 cl shrink     2557 lits rem      44031 time: 0.25
470.66/117.92	c asymm  cl-useful: 58/3698/104520 lits-rem:79 time: 1.57
470.66/117.93	c calculated reachability. Time: 0.03
470.66/117.93	c  N dy   253     69890      9157    104520    114231     16328   1165388    983424     38.94   no data  --
470.66/117.96	c Finding binary XORs  T:     0.11 s  found:       0
477.83/119.71	c  N dy   275     74492      9157    104520    114264     20858   1165388   1580638     39.01     41.67  --
485.82/121.80	c  N dy   292     80892      9157    104520    114271     27130   1165388   2180131     37.85     40.63  --
494.61/123.97	c  F st   313     87501      9157    104520    114283     33606   1165388   2912178     37.16     26.20  --
495.01/124.01	c  N st   313     87501      9157    104520    114283     33606   1165388   2912178     37.16     26.20  --
507.39/127.16	c  N dy   320     93262      9157    104520    114284     21393   1165388   1803091     37.06     42.34  --
518.18/129.82	c  N dy   351     99460      9157    104520    114640     27489   1165387   2696258     37.32     39.67  --
527.78/132.26	c  S st   366    104835      9157    104520    114675     32698   1165386   3427485     36.97     32.90  --
528.97/132.50	c  S st   366    105336      9157    104520    114675     33198   1165386   3462660     36.97   no data  --
528.97/132.53	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.11
528.97/132.53	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.02
536.58/134.45	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:  39543 BRemL:   1831 BRemN:      4 P: 15.4M T:  7.62
537.76/134.74	c bin-w-bin subsume rem          491 bins  time:  0.09 s
546.14/136.82	c subs with bin:       16  lits-rem:      1359  v-fix:    0  time:  8.29 s
546.14/136.88	c Subs w/ non-existent bins:      1 l-rem:   1845 v-fix:     0 done:    344 time:  0.24 s
546.54/136.91	c Removed useless bin:       2  fixed:     0  props:   1.44M  time:  0.11 s
566.51/141.99	c lits-rem:       138  cl-subs:     1195  v-elim:      0  v-fix:    0  time: 20.28 s
566.51/141.99	c Added XOR as norm:0
566.91/142.06	c vivif2 --  cl tried   104433 cl shrink       26 lits rem         26 time: 0.28
568.11/142.32	c vivif2 --  cl tried    32073 cl shrink    10175 lits rem     515741 time: 1.03
569.71/142.77	c asymm  cl-useful: 125/2272/104433 lits-rem:223 time: 1.80
569.71/142.79	c calculated reachability. Time: 0.03
569.71/142.79	c  N dy   366    105336      9157    104433    152052     31911   1163709   2896413     36.97   no data  --
570.11/142.82	c Finding binary XORs  T:     0.12 s  found:       0
579.70/145.27	c  N dy   382    112375      9156    104433    152087     38834   1163709   3573176     36.11     39.00  --
593.28/148.67	c  N dy   418    119690      9156    104433    152151     25864   1163709   1781239     36.29     38.58  --
613.65/153.72	c  N dy   469    127359      9156    104433    152191     33385   1163709   3426706     37.02     39.54  --
623.64/156.27	c Finding binary XORs  T:     0.11 s  found:       0
636.02/159.38	c  N dy   513    135787      9156    104424    157544     41644   1163660   5518319     37.03     39.91  --
653.99/163.82	c  N dy   552    144461      9155    104424    157600     28332   1163660   2077229     36.89     38.91  --
662.78/166.01	c  N dy   568    153730      9155    104424    157608     37422   1163660   2941374     36.16     38.69  --
669.57/167.77	c  S st   585    158004      9155    104424    157634     41615   1163660   3559342     36.06     18.70  --
670.77/168.02	c  S st   585    158504      9155    104424    157634     42113   1163660   3581435     36.06   no data  --
670.77/168.04	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.10
670.77/168.05	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.01
677.58/169.78	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bins:  22216 BRemL:   7693 BRemN:      0 P: 19.7M T:  6.90
677.96/169.83	c Replacing        1 vars Replaced      152 lits Time:     0.20 s 
678.76/170.07	c bin-w-bin subsume rem          113 bins  time:  0.10 s
685.97/171.86	c subs with bin:       12  lits-rem:      1285  v-fix:    0  time:  7.13 s
686.37/171.91	c Subs w/ non-existent bins:      0 l-rem:   1971 v-fix:     0 done:   1108 time:  0.21 s
686.37/171.94	c Removed useless bin:       0  fixed:     0  props:   1.26M  time:  0.09 s
707.12/177.16	c lits-rem:      4502  cl-subs:     1634  v-elim:      0  v-fix:    0  time: 20.85 s
707.12/177.16	c Added XOR as norm:0
707.52/177.22	c vivif2 --  cl tried   104423 cl shrink      212 lits rem        213 time: 0.25
708.72/177.50	c vivif2 --  cl tried    39727 cl shrink    17413 lits rem     400566 time: 1.08
709.92/177.85	c asymm  cl-useful: 19/1322/104401 lits-rem:24 time: 1.41
709.92/177.87	c calculated reachability. Time: 0.03
709.92/177.87	c  N dy   585    158504      9154    104401    171482     39577   1163214   3015254     36.06   no data  --
709.92/177.89	c Finding binary XORs  T:     0.11 s  found:       0
734.70/184.08	c  N dy   642    177642      9152    104401    171607     35733   1163214   2325438     35.41     37.54  --
758.65/190.08	c  N dy   723    189009      9152    104401    171669     46822   1163214   5412144     36.57     71.93  --
786.62/197.05	c  N dy   812    201397      9151    104401    171700     34893   1163214   3463930     37.53     39.66  --
813.80/203.81	c  N dy   877    214363      9150    104401    171719     47570   1163214   5852215     37.56     41.58  --
835.77/209.35	c  N dy   917    232514      9150    104401    171736     40110   1163214   2597193     36.59     38.76  --
844.16/211.45	c  S st   943    237756      9150    104401    171743     45293   1163214   3573239     36.61     17.98  --
844.93/211.70	c  S st   943    238258      9150    104401    171743     45793   1163214   3610721     36.61   no data  --
845.33/211.72	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.12
845.33/211.73	c Cache  BProp: 0 Set: 0 BXProp: 1 T: 0.01
852.94/213.69	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    4 Bins:   5019 BRemL:   1913 BRemN:      0 P: 21.3M T:  7.83
853.72/213.80	c Replacing        5 vars Replaced    11455 lits Time:     0.41 s 
854.52/214.06	c bin-w-bin subsume rem          123 bins  time:  0.10 s
862.14/215.91	c subs with bin:       14  lits-rem:        10  v-fix:    0  time:  7.39 s
862.14/215.98	c Subs w/ non-existent bins:     76 l-rem:   2733 v-fix:     0 done:   1425 time:  0.27 s
862.51/216.00	c Removed useless bin:       4  fixed:     0  props:   1.27M  time:  0.09 s
886.88/222.19	c lits-rem:     10279  cl-subs:     1829  v-elim:      2  v-fix:    0  time: 24.70 s
886.88/222.19	c Added XOR as norm:0
887.28/222.26	c vivif2 --  cl tried   104236 cl shrink       63 lits rem         84 time: 0.25
888.09/222.50	c vivif2 --  cl tried    42255 cl shrink    15130 lits rem     428960 time: 0.98
889.67/222.87	c asymm  cl-useful: 28/1509/104227 lits-rem:52 time: 1.46
889.67/222.88	c calculated reachability. Time: 0.03
889.67/222.88	c  N dy   943    238258      9143    104227    173434     42172   1160875   2953807     36.61   no data  --
890.07/222.91	c Finding binary XORs  T:     0.11 s  found:       0
899.66/225.39	c Finding binary XORs  T:     0.11 s  found:       2
914.85/229.18	c  N dy  1024    253475      9140    104221    191110     30404   1160487   2299181     36.80     54.70  --
944.00/236.44	c  N dy  1119    270790      9139    104221    191150     47223   1160487   5241250     37.36     39.46  --
967.96/242.44	c  N dy  1165    288602      9138    104221    191197     38518   1160487   2784222     36.83     38.85  --
999.12/250.28	c  F st  1266    306253      9137    104221    191227     55894   1160487   6784893     37.39     21.80  --
999.52/250.35	c Replacing        2 vars Replaced      143 lits Time:     0.14 s 
1001.52/250.86	c  N st  1269    307441      9135    104096    189115     28346   1157420   1626351     37.39   no data  --
1025.48/256.84	c  N dy  1310    327134      9116    104096    189164     47643   1157420   4216072     36.87     39.90  --
1054.24/264.06	c  N dy  1397    347219      9116    104096    189200     38731   1157420   3385854     36.99     40.34  --
1069.42/267.84	c  S st  1435    357388      9116    104096    189211     48768   1157420   5177436     36.96   no data  --
1070.22/268.06	c  S st  1435    357889      9116    104096    189212     49263   1157420   5205282     36.96   no data  --
1070.22/268.09	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.12
1070.22/268.09	c Cache  BProp: 0 Set: 0 BXProp: 2 T: 0.01
1079.01/270.25	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    4 Bins:  36945 BRemL:   5712 BRemN:      4 P: 25.0M T:  8.59
1079.41/270.34	c Replacing        6 vars Replaced     3444 lits Time:     0.38 s 
1080.61/270.68	c bin-w-bin subsume rem           55 bins  time:  0.12 s
1088.19/272.54	c subs with bin:      137  lits-rem:      3196  v-fix:    0  time:  7.42 s
1088.59/272.61	c Subs w/ non-existent bins:      0 l-rem:   2008 v-fix:     0 done:    284 time:  0.25 s
1088.59/272.64	c Removed useless bin:       0  fixed:     0  props:   1.42M  time:  0.09 s
1204.04/301.56	c lits-rem:      1062  cl-subs:     1993  v-elim:     10  v-fix:    0  time: 115.22 s
1204.04/301.56	c Added XOR as norm:0
1204.45/301.63	c vivif2 --  cl tried   103870 cl shrink       32 lits rem         38 time: 0.30
1206.04/302.05	c vivif2 --  cl tried    45154 cl shrink    17451 lits rem     622963 time: 1.66
1208.03/302.51	c asymm  cl-useful: 114/1676/103865 lits-rem:418 time: 1.84
1208.03/302.53	c calculated reachability. Time: 0.03
1208.03/302.53	c  N dy  1435    357889      9100    103865    220248     45039   1155482   4263706     36.96   no data  --
1208.03/302.56	c Finding binary XORs  T:     0.13 s  found:       0
1260.76/315.74	c  N dy  1544    378030      9099    103865    221637     35816   1155482   3145708     37.20     39.18  --
1309.50/327.95	c  N dy  1664    398098      9098    103865    221674     55544   1155482   7711392     37.67     40.28  --
1359.43/340.46	c  N dy  1784    418493      9098    103865    221700     44932   1155482   4986737     38.31     41.46  --
1402.59/351.29	c  N dy  1888    438843      9098    103865    221736     32868   1155482   2010245     38.50     40.93  --
1414.16/354.17	c Finding binary XORs  T:     0.12 s  found:       4
1437.74/360.02	c  N dy  1981    458881      9097    103859    224862     52238   1155083   7018028     38.67     40.84  --
1451.71/363.55	c Finding binary XORs  T:     0.12 s  found:       0
1478.46/370.21	c  N dy  2095    479008      9096    103855    224932     38863   1155057   3644679     39.05     41.69  --
1512.44/378.76	c  N dy  2170    502199      9093    103855    224978     61710   1155057   7252822     38.89     40.94  --
1545.58/387.07	c  N dy  2246    522239      9091    103855    225037     47149   1155057   5199101     38.82     41.41  --
1568.35/392.76	c  S st  2297    536833      9091    103855    225081     61531   1155057   7941390     38.81   no data  --
1569.56/393.01	c  S st  2297    537334      9091    103855    225082     62028   1155057   7964461     38.81   no data  --
1569.56/393.05	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.14
1569.56/393.05	c Cache  BProp: 0 Set: 0 BXProp: 1 T: 0.01
1577.95/395.19	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    6 Bins:   5966 BRemL:   7790 BRemN:      6 P: 24.7M T:  8.51
1578.73/395.32	c Replacing       11 vars Replaced     3822 lits Time:     0.51 s 
1580.73/395.80	c bin-w-bin subsume rem          120 bins  time:  0.12 s
1588.31/397.77	c subs with bin:       52  lits-rem:       937  v-fix:    0  time:  7.85 s
1588.72/397.83	c Subs w/ non-existent bins:      0 l-rem:   2164 v-fix:     0 done:     48 time:  0.25 s
1588.72/397.87	c Removed useless bin:       3  fixed:     0  props:   1.32M  time:  0.09 s
1862.35/466.32	c lits-rem:       628  cl-subs:     4795  v-elim:     16  v-fix:    0  time: 273.03 s
1862.35/466.32	c Added XOR as norm:0
1862.75/466.42	c vivif2 --  cl tried   103549 cl shrink      691 lits rem        753 time: 0.37
1865.15/467.05	c vivif2 --  cl tried    57068 cl shrink    26332 lits rem     925689 time: 2.53
1866.75/467.47	c asymm  cl-useful: 29/2838/103467 lits-rem:78 time: 1.65
1866.75/467.48	c calculated reachability. Time: 0.03
1866.75/467.48	c  N dy  2297    537334      9064    103467    220469     56859   1149678   5852178     38.81   no data  --
1867.15/467.51	c Finding binary XORs  T:     0.12 s  found:       0
1910.69/478.47	c  N dy  2402    558081      9058    103467    220855     42264   1149678   3129451     39.07     41.52  --
1944.24/486.86	c  N dy  2507    578193      9057    103467    220893     62016   1149678   6599204     39.19     42.30  --
1953.82/489.26	c Finding binary XORs  T:     0.12 s  found:       7
1978.99/495.50	c  N dy  2604    598204      9055    103454    221232     45344   1148410   4083103     39.44     43.40  --
2011.75/503.75	c  N dy  2698    618281      9053    103454    221277     65184   1148410   8175625     39.60     75.36  --
2044.51/511.92	c  N dy  2775    640413      9053    103454    221312     50576   1148410   3834872     39.52     41.63  --
2074.88/519.55	c  N dy  2853    661061      9053    103454    221343     70963   1148410   7234096     39.63     44.09  --
2111.22/528.61	c  N dy  2940    681642      9053    103454    221359     53448   1148410   4767709     39.72     41.94  --
2149.97/538.37	c  N dy  3035    704019      9050    103454    221380     75489   1148410   8472771     39.72     42.24  --
2188.74/548.08	c Finding binary XORs  T:     0.12 s  found:      10
2190.71/548.59	c  N dy  3141    725080      9049    103157    221641     56903   1143039   5954979     39.90     42.22  --
2230.66/558.55	c  N dy  3249    745118      9048    103157    221714     76680   1143039  10893482     40.22     42.49  --
2270.20/568.44	c  N dy  3328    765182      9047    103157    221737     56954   1143039   5021881     40.25     44.59  --
2315.35/579.71	c  N dy  3455    785573      9047    103157    221763     77070   1143039   9717116     40.71     42.90  --
2353.30/589.26	c  N dy  3551    805574      9047    103157    221774     55891   1143039   5711337     40.90     45.09  --
2354.09/589.46	c  S st  3554    806001      9047    103157    221774     56315   1143039   5860226     40.90   no data  --
2355.29/589.76	c  S st  3554    806504      9047    103157    221775     56816   1143039   5891531     40.90   no data  --
2355.29/589.79	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.13
2355.29/589.79	c Cache  BProp: 0 Set: 0 BXProp: 1 T: 0.01
2364.50/592.08	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    5 Bins:   4379 BRemL:  11479 BRemN:      9 P: 28.3M T:  9.13
2365.68/592.37	c Replacing       23 vars Replaced    32090 lits Time:     1.15 s 
2367.28/592.74	c bin-w-bin subsume rem          181 bins  time:  0.12 s
2375.27/594.70	c subs with bin:      201  lits-rem:      3271  v-fix:    0  time:  7.79 s
2375.27/594.75	c Subs w/ non-existent bins:      2 l-rem:    847 v-fix:     0 done:    666 time:  0.19 s
2375.67/594.82	c Removed useless bin:       9  fixed:     0  props:   1.31M  time:  0.09 s
2537.45/635.30	c lits-rem:       798  cl-subs:     3776  v-elim:     20  v-fix:    0  time: 161.34 s
2537.45/635.30	c Added XOR as norm:0
2537.45/635.38	c vivif2 --  cl tried   102650 cl shrink      911 lits rem       1380 time: 0.30
2539.04/635.79	c vivif2 --  cl tried    53329 cl shrink    20423 lits rem     697715 time: 1.64
2540.66/636.14	c asymm  cl-useful: 86/2521/102492 lits-rem:236 time: 1.41
2540.66/636.16	c calculated reachability. Time: 0.03
2540.66/636.16	c  N dy  3554    806504      9004    102492    212466     52915   1138050   4492200     40.90   no data  --
2540.66/636.19	c Finding binary XORs  T:     0.12 s  found:       0
2585.39/647.32	c  N dy  3655    826554      8998    102492    213272     72658   1138050   9142740     40.97     99.78  --
2629.32/658.31	c  N dy  3734    846776      8998    102492    213328     50096   1138050   3310292     40.96     43.48  --
2664.07/667.00	c  N dy  3822    866779      8998    102492    213357     69840   1138050   7506074     41.02    165.31  --
2701.62/676.42	c  N dy  3908    886824      8997    102492    213394     47587   1138050   2415550     40.99     43.44  --
2739.97/686.07	c  N dy  3985    906858      8997    102492    213431     67385   1138050   7294855     40.97     47.46  --
2791.12/698.82	c  N dy  4079    927230      8995    102492    213486     87432   1138050  12172653     41.00     44.69  --
2836.64/710.25	c  N dy  4153    948002      8995    102492    213532     64814   1138050   6116819     40.88     43.05  --
2884.97/722.33	c  N dy  4273    972211      8994    102492    213594     88721   1138050  11566856     41.01     44.52  --
2902.15/726.62	c Finding binary XORs  T:     0.12 s  found:      17
2923.33/731.99	c  N dy  4340    992742      8993    102353    212515     63685   1134923   6055345     40.93     43.35  --
2964.07/742.13	c  N dy  4432   1013131      8990    102353    212583     83764   1134923  10486241     41.02     44.69  --
3004.41/752.23	c  N dy  4521   1033810      8987    102353    212624     59232   1134923   4041580     41.01     43.81  --
3043.56/762.00	c  N dy  4602   1054088      8978    102353    212658     79227   1134923   8928956     40.94     43.53  --
3080.73/771.32	c  F st  4696   1071877      8978    102353    212687     96735   1134923  13276436     41.09   no data  --
3081.91/771.68	c Replacing       17 vars Replaced    14195 lits Time:     1.14 s 
3091.10/773.92	c  N st  4701   1075175      8963    101375    210981     97742   1123066  13914594     41.09   no data  --
3129.84/783.64	c  N dy  4777   1095221      8963    101375    211018     71461   1123066   6576690     41.03     77.14  --
3171.39/794.05	c  N dy  4871   1115324      8962    101375    211064     91285   1123066  11194428     41.10     43.57  --
3210.13/803.74	c  N dy  4950   1137608      8962    101375    211106     66413   1123066   4815653     41.00     44.75  --
3267.66/818.18	c  N dy  5035   1157822      8961    101375    211156     86305   1123066   9179374     40.99     44.62  --
3325.59/832.69	c  N dy  5123   1178336      8960    101375    211175     58511   1123066   3120481     40.99     43.82  --
3363.92/842.28	c  N dy  5176   1198478      8960    101375    211199     78350   1123066   6404548     40.89     43.46  --
3392.70/849.45	c  S st  5228   1209757      8960    101375    211227     89483   1123066   8874963     40.91     36.48  --
3394.29/849.89	c  S st  5228   1210258      8960    101375    211227     89983   1123066   8910902     40.91   no data  --
3394.69/849.93	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.18
3394.69/849.94	c Cache  BProp: 0 Set: 0 BXProp: 1 T: 0.02
3406.67/852.98	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   23 Bins:   6261 BRemL:   8457 BRemN:     21 P: 35.6M T: 12.15
3408.27/853.36	c Replacing       24 vars Replaced    38494 lits Time:     1.49 s 
3410.69/853.94	c bin-w-bin subsume rem          837 bins  time:  0.12 s
3421.05/856.58	c subs with bin:      105  lits-rem:      9508  v-fix:    0  time: 10.51 s
3421.45/856.65	c Subs w/ non-existent bins:      4 l-rem:   1566 v-fix:     0 done:   1007 time:  0.28 s
3421.45/856.68	c Removed useless bin:       6  fixed:     0  props:   1.17M  time:  0.09 s
3820.92/956.66	c lits-rem:      2642  cl-subs:    14545  v-elim:     79  v-fix:    0  time: 398.45 s
3820.92/956.66	c Added XOR as norm:0
3821.32/956.76	c vivif2 --  cl tried   100567 cl shrink     1601 lits rem       3153 time: 0.40
3823.74/957.31	c vivif2 --  cl tried    75877 cl shrink    30401 lits rem     777774 time: 2.22
3825.32/957.76	c asymm  cl-useful: 68/1383/100160 lits-rem:176 time: 1.80
3825.32/957.79	c calculated reachability. Time: 0.03
3825.32/957.79	c  N dy  5228   1210258      8857    100160    205109     75532   1113885   4571032     40.91   no data  --
3825.72/957.82	c Finding binary XORs  T:     0.14 s  found:       0
3888.84/973.69	c  N dy  5345   1230276      8853    100160    207479     95190   1113885   9996910     41.04    101.65  --
3905.21/977.70	c Finding binary XORs  T:     0.13 s  found:       3
3929.20/983.71	c  N dy  5405   1250460      8853    100152    206475     62984   1112872   4788535     40.93     43.09  --
3986.69/998.12	c  N dy  5493   1270545      8849    100152    206536     82633   1112872   9001074     40.89     71.64  --
4044.62/1012.69	c  N dy  5584   1290619      8849    100152    207437    102389   1112872  14046660     40.92    155.03  --
4094.96/1025.23	c  N dy  5662   1310656      8844    100152    207496     72550   1112872   6341817     40.88     80.78  --
4139.29/1036.39	c  N dy  5735   1330766      8842    100152    207559     92341   1112872  10780100     40.88     43.10  --
4190.83/1049.28	c  N dy  5842   1350836      8840    100152    207613     61556   1112872   3121839     40.96    106.09  --
4234.36/1060.12	c  N dy  5942   1371024      8837    100152    207678     81463   1112872   7929035     40.98     43.20  --
4282.30/1072.11	c  N dy  6004   1391046      8828    100152    207720    101231   1112872  13183076     40.90     54.98  --
4325.45/1082.98	c  N dy  6093   1411061      8826    100152    207772     69235   1112872   4569287     40.93    134.14  --
4331.43/1084.47	c Finding binary XORs  T:     0.13 s  found:      15
4370.99/1094.32	c  N dy  6178   1432035      8826     99917    205041     87436   1107658   9795931     40.94     47.53  --
4410.94/1104.36	c  N dy  6251   1452139      8825     99917    205091    107219   1107658  14514650     40.92     43.17  --
4460.07/1116.65	c  N dy  6344   1474062      8822     99917    205150     75639   1107658   6377644     40.93     43.35  --
4502.41/1127.25	c  N dy  6449   1494156      8822     99917    205202     95464   1107658  10925916     40.99     75.26  --
4548.37/1138.73	c  N dy  6545   1514240      8821     99917    205264    115318   1107658  15824523     41.05     57.21  --
4588.69/1148.80	c  N dy  6611   1534405      8821     99917    205303     81464   1107658   6652783     41.02     47.84  --
4633.84/1160.13	c  N dy  6699   1554947      8820     99917    205348    101699   1107658  11597310     41.08     43.39  --
4681.37/1172.08	c  N dy  6796   1575204      8820     99917    205402    121677   1107658  16782188     41.13     45.94  --
4724.54/1182.86	c  N dy  6879   1598310      8817     99917    205440     89596   1107658   8132198     41.10     43.63  --
4768.48/1193.86	c  N dy  6962   1618585      8817     99917    205513    109603   1107658  12598612     41.09     43.41  --

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

running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 1.41 2.44 4.83 8/180 22096
/proc/meminfo: memFree=18276512/32950928 swapFree=67111528/67111528
[pid=22096] ppid=22094 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/22096/stat : 22096 (strangenight1-m) R 22094 22096 20430 0 -1 4202496 412 0 0 0 0 0 0 0 21 0 4 0 514863889 52465664 352 33554432000 4194304 4650419 140736640521472 18446744073709551615 47579836282802 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/22096/statm: 12809 352 303 112 0 7774 0
[pid=22096/tid=22097] ppid=22094 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/22096/task/22097/stat : 22097 (strangenight1-m) R 22094 22096 20430 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 4 0 514863889 52465664 352 33554432000 4194304 4650419 140736640521472 18446744073709551615 47579836282802 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22096/tid=22098] ppid=22094 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/22096/task/22098/stat : 22098 (strangenight1-m) R 22094 22096 20430 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 514863889 52465664 352 33554432000 4194304 4650419 140736640521472 18446744073709551615 254500748273 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22096/tid=22099] ppid=22094 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/22096/task/22099/stat : 22099 (strangenight1-m) R 22094 22096 20430 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 514863889 52465664 352 33554432000 4194304 4650419 140736640521472 18446744073709551615 47579836282800 0 0 4096 2 0 0 0 -1 4 0 0 0

[startup+0.0651121 s]
/proc/loadavg: 1.41 2.44 4.83 8/180 22096
/proc/meminfo: memFree=18276512/32950928 swapFree=67111528/67111528
[pid=22096] ppid=22094 vsize=372512 CPUtime=0.19 cores=0,2,4,6
/proc/22096/stat : 22096 (strangenight1-m) R 22094 22096 20430 0 -1 4202496 14628 0 0 0 14 5 0 0 17 0 4 0 514863889 381452288 12586 33554432000 4194304 4650419 140736640521472 18446744073709551615 254500359130 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/22096/statm: 93128 12586 344 112 0 88093 0
[pid=22096/tid=22097] ppid=22094 vsize=372512 CPUtime=0.04 cores=0,2,4,6
/proc/22096/task/22097/stat : 22097 (strangenight1-m) R 22094 22096 20430 0 -1 4202560 3702 0 0 0 3 1 0 0 17 0 4 0 514863889 381452288 12586 33554432000 4194304 4650419 140736640521472 18446744073709551615 254500749738 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22096/tid=22098] ppid=22094 vsize=372992 CPUtime=0.03 cores=0,2,4,6
/proc/22096/task/22098/stat : 22098 (strangenight1-m) D 22094 22096 20430 0 -1 4202560 3525 0 0 0 2 1 0 0 17 0 4 0 514863889 381943808 12589 33554432000 4194304 4650419 140736640521472 18446744073709551615 4317116 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22096/tid=22099] ppid=22094 vsize=372992 CPUtime=0.04 cores=0,2,4,6
/proc/22096/task/22099/stat : 22099 (strangenight1-m) D 22094 22096 20430 0 -1 4202560 3452 0 0 0 3 1 0 0 17 0 4 0 514863889 381943808 12589 33554432000 4194304 4650419 140736640521472 18446744073709551615 4520021 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 372512

[startup+0.103151 s]
/proc/loadavg: 1.41 2.44 4.83 8/180 22096
/proc/meminfo: memFree=18276512/32950928 swapFree=67111528/67111528
[pid=22096] ppid=22094 vsize=395844 CPUtime=0.3 cores=0,2,4,6
/proc/22096/stat : 22096 (strangenight1-m) R 22094 22096 20430 0 -1 4202496 23890 0 0 0 23 7 0 0 17 0 4 0 514863889 405344256 19777 33554432000 4194304 4650419 140736640521472 18446744073709551615 4316569 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/22096/statm: 98961 20130 344 112 0 93926 0
[pid=22096/tid=22097] ppid=22094 vsize=395844 CPUtime=0.08 cores=0,2,4,6
/proc/22096/task/22097/stat : 22097 (strangenight1-m) R 22094 22096 20430 0 -1 4202560 6399 0 0 0 6 2 0 0 17 0 4 0 514863889 405344256 20555 33554432000 4194304 4650419 140736640521472 18446744073709551615 4317116 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22096/tid=22098] ppid=22094 vsize=395844 CPUtime=0.07 cores=0,2,4,6
/proc/22096/task/22098/stat : 22098 (strangenight1-m) S 22094 22096 20430 0 -1 4202560 6024 0 0 0 5 2 0 0 17 0 4 0 514863889 405344256 20913 33554432000 4194304 4650419 140736640521472 18446744073709551615 254500796910 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22096/tid=22099] ppid=22094 vsize=395844 CPUtime=0.08 cores=0,2,4,6
/proc/22096/task/22099/stat : 22099 (strangenight1-m) S 22094 22096 20430 0 -1 4202560 6077 0 0 0 6 2 0 0 18 0 4 0 514863889 405344256 20994 33554432000 4194304 4650419 140736640521472 18446744073709551615 254500796910 0 0 4096 2 18446604451547531392 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 395844

[startup+0.638744 s]
/proc/loadavg: 1.41 2.44 4.83 8/180 22096
/proc/meminfo: memFree=18276512/32950928 swapFree=67111528/67111528
[pid=22096] ppid=22094 vsize=517112 CPUtime=2.26 cores=0,2,4,6
/proc/22096/stat : 22096 (strangenight1-m) R 22094 22096 20430 0 -1 4202496 77713 0 0 0 203 23 0 0 18 0 4 0 514863889 529522688 61035 33554432000 4194304 4650419 140736640521472 18446744073709551615 4369270 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/22096/statm: 129278 61035 369 112 0 124243 0
[pid=22096/tid=22097] ppid=22094 vsize=517112 CPUtime=0.56 cores=0,2,4,6
/proc/22096/task/22097/stat : 22097 (strangenight1-m) D 22094 22096 20430 0 -1 4202560 20822 0 0 0 50 6 0 0 18 0 4 0 514863889 529522688 61035 33554432000 4194304 4650419 140736640521472 18446744073709551615 4516467 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22096/tid=22098] ppid=22094 vsize=517112 CPUtime=0.55 cores=0,2,4,6
/proc/22096/task/22098/stat : 22098 (strangenight1-m) R 22094 22096 20430 0 -1 4202560 18406 0 0 0 49 6 0 0 18 0 4 0 514863889 529522688 61035 33554432000 4194304 4650419 140736640521472 18446744073709551615 254500735066 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22096/tid=22099] ppid=22094 vsize=517112 CPUtime=0.56 cores=0,2,4,6
/proc/22096/task/22099/stat : 22099 (strangenight1-m) R 22094 22096 20430 0 -1 4202560 18898 0 0 0 50 6 0 0 18 0 4 0 514863889 529522688 61035 33554432000 4194304 4650419 140736640521472 18446744073709551615 4364944 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.26
Current children cumulated vsize (KiB) 517112

[startup+0.700978 s]
/proc/loadavg: 1.41 2.44 4.83 8/180 22096
/proc/meminfo: memFree=18276512/32950928 swapFree=67111528/67111528
[pid=22096] ppid=22094 vsize=517528 CPUtime=2.52 cores=0,2,4,6
/proc/22096/stat : 22096 (strangenight1-m) R 22094 22096 20430 0 -1 4202496 82133 0 0 0 228 24 0 0 18 0 4 0 514863889 529948672 62755 33554432000 4194304 4650419 140736640521472 18446744073709551615 4244801 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/22096/statm: 129382 62755 373 112 0 124347 0
[pid=22096/tid=22097] ppid=22094 vsize=517528 CPUtime=0.62 cores=0,2,4,6
/proc/22096/task/22097/stat : 22097 (strangenight1-m) R 22094 22096 20430 0 -1 4202560 21492 0 0 0 56 6 0 0 18 0 4 0 514863889 529948672 62755 33554432000 4194304 4650419 140736640521472 18446744073709551615 4369342 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22096/tid=22098] ppid=22094 vsize=517528 CPUtime=0.61 cores=0,2,4,6
/proc/22096/task/22098/stat : 22098 (strangenight1-m) R 22094 22096 20430 0 -1 4202560 20068 0 0 0 55 6 0 0 18 0 4 0 514863889 529948672 62755 33554432000 4194304 4650419 140736640521472 18446744073709551615 4370329 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22096/tid=22099] ppid=22094 vsize=517528 CPUtime=0.62 cores=0,2,4,6
/proc/22096/task/22099/stat : 22099 (strangenight1-m) R 22094 22096 20430 0 -1 4202560 18900 0 0 0 56 6 0 0 18 0 4 0 514863889 529948672 62755 33554432000 4194304 4650419 140736640521472 18446744073709551615 4311360 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.52
Current children cumulated vsize (KiB) 517528

[startup+1.50076 s]
/proc/loadavg: 1.41 2.44 4.83 9/184 22130
/proc/meminfo: memFree=17798360/32950928 swapFree=67111528/67111528
[pid=22096] ppid=22094 vsize=517528 CPUtime=5.71 cores=0,2,4,6
/proc/22096/stat : 22096 (strangenight1-m) R 22094 22096 20430 0 -1 4202496 82170 0 0 0 547 24 0 0 19 0 4 0 514863889 529948672 62792 33554432000 4194304 4650419 140736640521472 18446744073709551615 4369160 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/22096/statm: 129382 62792 373 112 0 124347 0
[pid=22096/tid=22097] ppid=22094 vsize=517528 CPUtime=1.42 cores=0,2,4,6
/proc/22096/task/22097/stat : 22097 (strangenight1-m) R 22094 22096 20430 0 -1 4202560 21492 0 0 0 136 6 0 0 19 0 4 0 514863889 529948672 62792 33554432000 4194304 4650419 140736640521472 18446744073709551615 4370340 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22096/tid=22098] ppid=22094 vsize=517528 CPUtime=1.41 cores=0,2,4,6
/proc/22096/task/22098/stat : 22098 (strangenight1-m) R 22094 22096 20430 0 -1 4202560 20068 0 0 0 135 6 0 0 19 0 4 0 514863889 529948672 62792 33554432000 4194304 4650419 140736640521472 18446744073709551615 4369281 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22096/tid=22099] ppid=22094 vsize=517528 CPUtime=1.42 cores=0,2,4,6
/proc/22096/task/22099/stat : 22099 (strangenight1-m) R 22094 22096 20430 0 -1 4202560 18936 0 0 0 136 6 0 0 19 0 4 0 514863889 529948672 62792 33554432000 4194304 4650419 140736640521472 18446744073709551615 4364400 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 5.71
Current children cumulated vsize (KiB) 517528

[startup+3.10044 s]
/proc/loadavg: 1.41 2.44 4.83 10/184 22131
/proc/meminfo: memFree=17644804/32950928 swapFree=67111528/67111528
[pid=22096] ppid=22094 vsize=517528 CPUtime=12.1 cores=0,2,4,6
/proc/22096/stat : 22096 (strangenight1-m) R 22094 22096 20430 0 -1 4202496 82201 0 0 0 1186 24 0 0 23 0 4 0 514863889 529948672 62823 33554432000 4194304 4650419 140736640521472 18446744073709551615 4369867 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/22096/statm: 129382 62823 373 112 0 124347 0
[pid=22096/tid=22097] ppid=22094 vsize=517528 CPUtime=3.01 cores=0,2,4,6
/proc/22096/task/22097/stat : 22097 (strangenight1-m) R 22094 22096 20430 0 -1 4202560 21493 0 0 0 295 6 0 0 23 0 4 0 514863889 529948672 62823 33554432000 4194304 4650419 140736640521472 18446744073709551615 4369255 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22096/tid=22098] ppid=22094 vsize=517528 CPUtime=3.01 cores=0,2,4,6
/proc/22096/task/22098/stat : 22098 (strangenight1-m) R 22094 22096 20430 0 -1 4202560 20068 0 0 0 295 6 0 0 23 0 4 0 514863889 529948672 62823 33554432000 4194304 4650419 140736640521472 18446744073709551615 4369322 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22096/tid=22099] ppid=22094 vsize=517528 CPUtime=3.02 cores=0,2,4,6
/proc/22096/task/22099/stat : 22099 (strangenight1-m) R 22094 22096 20430 0 -1 4202560 18966 0 0 0 296 6 0 0 23 0 4 0 514863889 529948672 62823 33554432000 4194304 4650419 140736640521472 18446744073709551615 4364883 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 12.1
Current children cumulated vsize (KiB) 517528

[startup+6.3008 s]
/proc/loadavg: 1.94 2.53 4.85 9/184 22131
/proc/meminfo: memFree=17642264/32950928 swapFree=67111528/67111528
[pid=22096] ppid=22094 vsize=517528 CPUtime=24.89 cores=0,2,4,6
/proc/22096/stat : 22096 (strangenight1-m) R 22094 22096 20430 0 -1 4202496 82325 0 0 0 2465 24 0 0 25 0 4 0 514863889 529948672 62947 33554432000 4194304 4650419 140736640521472 18446744073709551615 4369870 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/22096/statm: 129382 62947 373 112 0 124347 0
[pid=22096/tid=22097] ppid=22094 vsize=517528 CPUtime=6.19 cores=0,2,4,6
/proc/22096/task/22097/stat : 22097 (strangenight1-m) R 22094 22096 20430 0 -1 4202560 21493 0 0 0 613 6 0 0 25 0 4 0 514863889 529948672 62947 33554432000 4194304 4650419 140736640521472 18446744073709551615 4369390 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22096/tid=22098] ppid=22094 vsize=517528 CPUtime=6.21 cores=0,2,4,6
/proc/22096/task/22098/stat : 22098 (strangenight1-m) R 22094 22096 20430 0 -1 4202560 20068 0 0 0 615 6 0 0 25 0 4 0 514863889 529948672 62947 33554432000 4194304 4650419 140736640521472 18446744073709551615 4369286 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22096/tid=22099] ppid=22094 vsize=517528 CPUtime=6.22 cores=0,2,4,6
/proc/22096/task/22099/stat : 22099 (strangenight1-m) R 22094 22096 20430 0 -1 4202560 19090 0 0 0 616 6 0 0 25 0 4 0 514863889 529948672 62947 33554432000 4194304 4650419 140736640521472 18446744073709551615 4364883 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 24.89
Current children cumulated vsize (KiB) 517528

[startup+12.7005 s]
/proc/loadavg: 2.42 2.62 4.87 9/184 22131
/proc/meminfo: memFree=17372460/32950928 swapFree=67111528/67111528
[pid=22096] ppid=22094 vsize=879832 CPUtime=50.43 cores=0,2,4,6
/proc/22096/stat : 22096 (strangenight1-m) R 22094 22096 20430 0 -1 4202496 154377 0 0 0 5004 39 0 0 25 0 4 0 514863889 900947968 130455 33554432000 4194304 4650419 140736640521472 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/22096/statm: 219958 130455 393 112 0 214923 0
[pid=22096/tid=22097] ppid=22094 vsize=879832 CPUtime=12.55 cores=0,2,4,6
/proc/22096/task/22097/stat : 22097 (strangenight1-m) R 22094 22096 20430 0 -1 4202560 42400 0 0 0 1246 9 0 0 25 0 4 0 514863889 900947968 130455 33554432000 4194304 4650419 140736640521472 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22096/tid=22098] ppid=22094 vsize=879832 CPUtime=12.62 cores=0,2,4,6
/proc/22096/task/22098/stat : 22098 (strangenight1-m) R 22094 22096 20430 0 -1 4202560 45043 0 0 0 1249 13 0 0 25 0 4 0 514863889 900947968 130455 33554432000 4194304 4650419 140736640521472 18446744073709551615 4364883 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22096/tid=22099] ppid=22094 vsize=879832 CPUtime=12.61 cores=0,2,4,6
/proc/22096/task/22099/stat : 22099 (strangenight1-m) R 22094 22096 20430 0 -1 4202560 20674 0 0 0 1255 6 0 0 25 0 4 0 514863889 900947968 130455 33554432000 4194304 4650419 140736640521472 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 50.43
Current children cumulated vsize (KiB) 879832

[startup+25.501 s]
/proc/loadavg: 3.66 2.88 4.92 9/184 22131
/proc/meminfo: memFree=17000708/32950928 swapFree=67111528/67111528
[pid=22096] ppid=22094 vsize=912920 CPUtime=101.58 cores=0,2,4,6
/proc/22096/stat : 22096 (strangenight1-m) R 22094 22096 20430 0 -1 4202496 160650 0 0 0 10115 43 0 0 25 0 4 0 514863889 934830080 136728 33554432000 4194304 4650419 140736640521472 18446744073709551615 4367249 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/22096/statm: 228230 136728 393 112 0 223195 0
[pid=22096/tid=22097] ppid=22094 vsize=912920 CPUtime=25.28 cores=0,2,4,6
/proc/22096/task/22097/stat : 22097 (strangenight1-m) R 22094 22096 20430 0 -1 4202560 43834 0 0 0 2519 9 0 0 25 0 4 0 514863889 934830080 136728 33554432000 4194304 4650419 140736640521472 18446744073709551615 4349707 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22096/tid=22098] ppid=22094 vsize=912920 CPUtime=25.41 cores=0,2,4,6
/proc/22096/task/22098/stat : 22098 (strangenight1-m) R 22094 22096 20430 0 -1 4202560 46531 0 0 0 2528 13 0 0 25 0 4 0 514863889 934830080 136728 33554432000 4194304 4650419 140736640521472 18446744073709551615 4310813 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22096/tid=22099] ppid=22094 vsize=912920 CPUtime=25.41 cores=0,2,4,6
/proc/22096/task/22099/stat : 22099 (strangenight1-m) R 22094 22096 20430 0 -1 4202560 22566 0 0 0 2534 7 0 0 25 0 4 0 514863889 934830080 136728 33554432000 4194304 4650419 140736640521472 18446744073709551615 4364883 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 101.58
Current children cumulated vsize (KiB) 912920

[startup+51.1009 s]
/proc/loadavg: 5.21 3.31 5.00 9/184 22132
/proc/meminfo: memFree=16981476/32950928 swapFree=67111528/67111528
[pid=22096] ppid=22094 vsize=942456 CPUtime=203.83 cores=0,2,4,6
/proc/22096/stat : 22096 (strangenight1-m) R 22094 22096 20430 0 -1 4202496 193751 0 0 0 20330 53 0 0 25 0 4 0 514863889 965074944 143791 33554432000 4194304 4650419 140736640521472 18446744073709551615 4248947 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/22096/statm: 235614 143791 395 112 0 230579 0
[pid=22096/tid=22097] ppid=22094 vsize=942456 CPUtime=50.74 cores=0,2,4,6
/proc/22096/task/22097/stat : 22097 (strangenight1-m) R 22094 22096 20430 0 -1 4202560 54266 0 0 0 5062 12 0 0 25 0 4 0 514863889 965074944 143791 33554432000 4194304 4650419 140736640521472 18446744073709551615 4370340 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22096/tid=22098] ppid=22094 vsize=942456 CPUtime=51.01 cores=0,2,4,6
/proc/22096/task/22098/stat : 22098 (strangenight1-m) R 22094 22096 20430 0 -1 4202560 53528 0 0 0 5085 16 0 0 25 0 4 0 514863889 965074944 143791 33554432000 4194304 4650419 140736640521472 18446744073709551615 4363640 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22096/tid=22099] ppid=22094 vsize=942456 CPUtime=51.01 cores=0,2,4,6
/proc/22096/task/22099/stat : 22099 (strangenight1-m) R 22094 22096 20430 0 -1 4202560 29488 0 0 0 5091 10 0 0 25 0 4 0 514863889 965074944 143791 33554432000 4194304 4650419 140736640521472 18446744073709551615 4364471 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 203.83
Current children cumulated vsize (KiB) 942456

[startup+102.301 s]
/proc/loadavg: 6.93 4.06 5.17 9/184 22133
/proc/meminfo: memFree=16172812/32950928 swapFree=67111528/67111528
[pid=22096] ppid=22094 vsize=1604204 CPUtime=408.33 cores=0,2,4,6
/proc/22096/stat : 22096 (strangenight1-m) R 22094 22096 20430 0 -1 4202496 376309 0 0 0 40723 110 0 0 25 0 4 0 514863889 1642704896 288689 33554432000 4194304 4650419 140736640521472 18446744073709551615 4368288 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/22096/statm: 401051 288689 395 112 0 396016 0
[pid=22096/tid=22097] ppid=22094 vsize=1604204 CPUtime=101.66 cores=0,2,4,6
/proc/22096/task/22097/stat : 22097 (strangenight1-m) R 22094 22096 20430 0 -1 4202560 93824 0 0 0 10143 23 0 0 25 0 4 0 514863889 1642704896 288689 33554432000 4194304 4650419 140736640521472 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22096/tid=22098] ppid=22094 vsize=1604204 CPUtime=102.21 cores=0,2,4,6
/proc/22096/task/22098/stat : 22098 (strangenight1-m) R 22094 22096 20430 0 -1 4202560 91552 0 0 0 10190 31 0 0 25 0 4 0 514863889 1642704896 288689 33554432000 4194304 4650419 140736640521472 18446744073709551615 4334297 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22096/tid=22099] ppid=22094 vsize=1604204 CPUtime=102.2 cores=0,2,4,6
/proc/22096/task/22099/stat : 22099 (strangenight1-m) R 22094 22096 20430 0 -1 4202560 89895 0 0 0 10191 29 0 0 25 0 4 0 514863889 1642704896 288689 33554432000 4194304 4650419 140736640521472 18446744073709551615 4476234 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 408.33
Current children cumulated vsize (KiB) 1604204

[startup+162.301 s]

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


[startup+702.301 s]
/proc/loadavg: 8.10 7.56 6.55 9/184 22149
/proc/meminfo: memFree=12141680/32950928 swapFree=67111528/67111528
[pid=22096] ppid=22094 vsize=2536040 CPUtime=2805.08 cores=0,2,4,6
/proc/22096/stat : 22096 (strangenight1-m) R 22094 22096 20430 0 -1 4202496 2223963 0 0 0 279989 519 0 0 25 0 4 0 514863889 2596904960 498585 33554432000 4194304 4650419 140736640521472 18446744073709551615 4335216 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/22096/statm: 634010 498585 395 112 0 628975 0
[pid=22096/tid=22097] ppid=22094 vsize=2536040 CPUtime=698.42 cores=0,2,4,6
/proc/22096/task/22097/stat : 22097 (strangenight1-m) R 22094 22096 20430 0 -1 4202560 452158 0 0 0 69731 111 0 0 25 0 4 0 514863889 2596904960 498585 33554432000 4194304 4650419 140736640521472 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22096/tid=22098] ppid=22094 vsize=2536040 CPUtime=702.19 cores=0,2,4,6
/proc/22096/task/22098/stat : 22098 (strangenight1-m) R 22094 22096 20430 0 -1 4202560 391160 0 0 0 70105 114 0 0 25 0 4 0 514863889 2596904960 498585 33554432000 4194304 4650419 140736640521472 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22096/tid=22099] ppid=22094 vsize=2536040 CPUtime=702.2 cores=0,2,4,6
/proc/22096/task/22099/stat : 22099 (strangenight1-m) R 22094 22096 20430 0 -1 4202560 690009 0 0 0 70080 140 0 0 25 0 4 0 514863889 2596904960 498585 33554432000 4194304 4650419 140736640521472 18446744073709551615 4315094 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2805.08
Current children cumulated vsize (KiB) 2536040

[startup+762.301 s]
/proc/loadavg: 8.18 7.68 6.65 9/184 22151
/proc/meminfo: memFree=11938160/32950928 swapFree=67111528/67111528
[pid=22096] ppid=22094 vsize=2655604 CPUtime=3044.76 cores=0,2,4,6
/proc/22096/stat : 22096 (strangenight1-m) R 22094 22096 20430 0 -1 4202496 2339825 0 0 0 303925 551 0 0 25 0 4 0 514863889 2719338496 520696 33554432000 4194304 4650419 140736640521472 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/22096/statm: 663901 520696 395 112 0 658866 0
[pid=22096/tid=22097] ppid=22094 vsize=2655604 CPUtime=758.1 cores=0,2,4,6
/proc/22096/task/22097/stat : 22097 (strangenight1-m) R 22094 22096 20430 0 -1 4202560 487190 0 0 0 75690 120 0 0 25 0 4 0 514863889 2719338496 520696 33554432000 4194304 4650419 140736640521472 18446744073709551615 4364883 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22096/tid=22098] ppid=22094 vsize=2655604 CPUtime=762.19 cores=0,2,4,6
/proc/22096/task/22098/stat : 22098 (strangenight1-m) R 22094 22096 20430 0 -1 4202560 407840 0 0 0 76101 118 0 0 25 0 4 0 514863889 2719338496 520696 33554432000 4194304 4650419 140736640521472 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22096/tid=22099] ppid=22094 vsize=2655604 CPUtime=762.2 cores=0,2,4,6
/proc/22096/task/22099/stat : 22099 (strangenight1-m) R 22094 22096 20430 0 -1 4202560 718935 0 0 0 76070 150 0 0 25 0 4 0 514863889 2719338496 520696 33554432000 4194304 4650419 140736640521472 18446744073709551615 4328565 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3044.76
Current children cumulated vsize (KiB) 2655604

[startup+822.301 s]
/proc/loadavg: 8.25 7.78 6.75 9/184 22152
/proc/meminfo: memFree=11662732/32950928 swapFree=67111528/67111528
[pid=22096] ppid=22094 vsize=2819176 CPUtime=3284.44 cores=0,2,4,6
/proc/22096/stat : 22096 (strangenight1-m) R 22094 22096 20430 0 -1 4202496 2449378 0 0 0 327858 586 0 0 25 0 4 0 514863889 2886836224 535798 33554432000 4194304 4650419 140736640521472 18446744073709551615 4328259 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/22096/statm: 704794 535798 396 112 0 699759 0
[pid=22096/tid=22097] ppid=22094 vsize=2819176 CPUtime=817.77 cores=0,2,4,6
/proc/22096/task/22097/stat : 22097 (strangenight1-m) R 22094 22096 20430 0 -1 4202560 509203 0 0 0 81653 124 0 0 25 0 4 0 514863889 2886836224 535798 33554432000 4194304 4650419 140736640521472 18446744073709551615 4433081 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22096/tid=22098] ppid=22094 vsize=2819176 CPUtime=822.19 cores=0,2,4,6
/proc/22096/task/22098/stat : 22098 (strangenight1-m) R 22094 22096 20430 0 -1 4202560 435697 0 0 0 82090 129 0 0 25 0 4 0 514863889 2886836224 535798 33554432000 4194304 4650419 140736640521472 18446744073709551615 4315293 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22096/tid=22099] ppid=22094 vsize=2819176 CPUtime=822.21 cores=0,2,4,6
/proc/22096/task/22099/stat : 22099 (strangenight1-m) R 22094 22096 20430 0 -1 4202560 753274 0 0 0 82060 161 0 0 25 0 4 0 514863889 2886836224 535798 33554432000 4194304 4650419 140736640521472 18446744073709551615 4333632 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3284.44
Current children cumulated vsize (KiB) 2819176

[startup+882.301 s]
/proc/loadavg: 8.16 7.83 6.83 9/184 22154
/proc/meminfo: memFree=11519700/32950928 swapFree=67111528/67111528
[pid=22096] ppid=22094 vsize=2781668 CPUtime=3524.12 cores=0,2,4,6
/proc/22096/stat : 22096 (strangenight1-m) R 22094 22096 20430 0 -1 4202496 2505903 0 0 0 351795 617 0 0 25 0 4 0 514863889 2848428032 545252 33554432000 4194304 4650419 140736640521472 18446744073709551615 4432392 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/22096/statm: 695417 545252 396 112 0 690382 0
[pid=22096/tid=22097] ppid=22094 vsize=2781668 CPUtime=877.45 cores=0,2,4,6
/proc/22096/task/22097/stat : 22097 (strangenight1-m) R 22094 22096 20430 0 -1 4202560 509206 0 0 0 87621 124 0 0 25 0 4 0 514863889 2848428032 545252 33554432000 4194304 4650419 140736640521472 18446744073709551615 4433081 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22096/tid=22098] ppid=22094 vsize=2781668 CPUtime=882.2 cores=0,2,4,6
/proc/22096/task/22098/stat : 22098 (strangenight1-m) R 22094 22096 20430 0 -1 4202560 452873 0 0 0 88080 140 0 0 25 0 4 0 514863889 2848428032 545252 33554432000 4194304 4650419 140736640521472 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22096/tid=22099] ppid=22094 vsize=2781668 CPUtime=882.21 cores=0,2,4,6
/proc/22096/task/22099/stat : 22099 (strangenight1-m) R 22094 22096 20430 0 -1 4202560 775121 0 0 0 88046 175 0 0 25 0 4 0 514863889 2848428032 545252 33554432000 4194304 4650419 140736640521472 18446744073709551615 4365369 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3524.12
Current children cumulated vsize (KiB) 2781668

[startup+942.301 s]
/proc/loadavg: 8.17 7.89 6.91 9/184 22156
/proc/meminfo: memFree=11389328/32950928 swapFree=67111528/67111528
[pid=22096] ppid=22094 vsize=2912748 CPUtime=3763.8 cores=0,2,4,6
/proc/22096/stat : 22096 (strangenight1-m) R 22094 22096 20430 0 -1 4202496 2695494 0 0 0 375722 658 0 0 25 0 4 0 514863889 2982653952 563514 33554432000 4194304 4650419 140736640521472 18446744073709551615 4476204 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/22096/statm: 728187 563514 396 112 0 723152 0
[pid=22096/tid=22097] ppid=22094 vsize=2912748 CPUtime=937.13 cores=0,2,4,6
/proc/22096/task/22097/stat : 22097 (strangenight1-m) R 22094 22096 20430 0 -1 4202560 509208 0 0 0 93589 124 0 0 25 0 4 0 514863889 2982653952 563514 33554432000 4194304 4650419 140736640521472 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22096/tid=22098] ppid=22094 vsize=2912748 CPUtime=942.2 cores=0,2,4,6
/proc/22096/task/22098/stat : 22098 (strangenight1-m) R 22094 22096 20430 0 -1 4202560 469883 0 0 0 94068 152 0 0 25 0 4 0 514863889 2982653952 563514 33554432000 4194304 4650419 140736640521472 18446744073709551615 4306767 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22096/tid=22099] ppid=22094 vsize=2912748 CPUtime=942.2 cores=0,2,4,6
/proc/22096/task/22099/stat : 22099 (strangenight1-m) R 22094 22096 20430 0 -1 4202560 782950 0 0 0 94041 179 0 0 25 0 4 0 514863889 2982653952 563514 33554432000 4194304 4650419 140736640521472 18446744073709551615 4433087 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3763.8
Current children cumulated vsize (KiB) 2912748

[startup+1002.3 s]
/proc/loadavg: 8.13 7.93 6.98 9/184 22157
/proc/meminfo: memFree=11347984/32950928 swapFree=67111528/67111528
[pid=22096] ppid=22094 vsize=2877392 CPUtime=4003.5 cores=0,2,4,6
/proc/22096/stat : 22096 (strangenight1-m) R 22094 22096 20430 0 -1 4202496 3135610 0 0 0 399612 738 0 0 25 0 4 0 514863889 2946449408 555662 33554432000 4194304 4650419 140736640521472 18446744073709551615 4366923 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/22096/statm: 719348 555662 396 112 0 714313 0
[pid=22096/tid=22097] ppid=22094 vsize=2877392 CPUtime=996.81 cores=0,2,4,6
/proc/22096/task/22097/stat : 22097 (strangenight1-m) R 22094 22096 20430 0 -1 4202560 651063 0 0 0 99531 150 0 0 25 0 4 0 514863889 2946449408 555662 33554432000 4194304 4650419 140736640521472 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22096/tid=22098] ppid=22094 vsize=2877392 CPUtime=1002.2 cores=0,2,4,6
/proc/22096/task/22098/stat : 22098 (strangenight1-m) R 22094 22096 20430 0 -1 4202560 488879 0 0 0 100060 160 0 0 25 0 4 0 514863889 2946449408 555662 33554432000 4194304 4650419 140736640521472 18446744073709551615 4432396 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22096/tid=22099] ppid=22094 vsize=2877392 CPUtime=1002.22 cores=0,2,4,6
/proc/22096/task/22099/stat : 22099 (strangenight1-m) R 22094 22096 20430 0 -1 4202560 783064 0 0 0 100042 180 0 0 25 0 4 0 514863889 2946449408 555662 33554432000 4194304 4650419 140736640521472 18446744073709551615 4306746 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4003.5
Current children cumulated vsize (KiB) 2877392

[startup+1062.3 s]
/proc/loadavg: 8.11 7.95 7.05 9/184 22159
/proc/meminfo: memFree=11184516/32950928 swapFree=67111528/67111528
[pid=22096] ppid=22094 vsize=2972920 CPUtime=4243.16 cores=0,2,4,6
/proc/22096/stat : 22096 (strangenight1-m) R 22094 22096 20430 0 -1 4202496 3301541 0 0 0 423537 779 0 0 25 0 4 0 514863889 3044270080 579718 33554432000 4194304 4650419 140736640521472 18446744073709551615 4363420 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/22096/statm: 743230 579718 396 112 0 738195 0
[pid=22096/tid=22097] ppid=22094 vsize=2972920 CPUtime=1056.47 cores=0,2,4,6
/proc/22096/task/22097/stat : 22097 (strangenight1-m) R 22094 22096 20430 0 -1 4202560 682078 0 0 0 105486 161 0 0 25 0 4 0 514863889 3044270080 579718 33554432000 4194304 4650419 140736640521472 18446744073709551615 4365477 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22096/tid=22098] ppid=22094 vsize=2972920 CPUtime=1062.19 cores=0,2,4,6
/proc/22096/task/22098/stat : 22098 (strangenight1-m) R 22094 22096 20430 0 -1 4202560 565013 0 0 0 106052 167 0 0 25 0 4 0 514863889 3044270080 579718 33554432000 4194304 4650419 140736640521472 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22096/tid=22099] ppid=22094 vsize=2972920 CPUtime=1062.21 cores=0,2,4,6
/proc/22096/task/22099/stat : 22099 (strangenight1-m) R 22094 22096 20430 0 -1 4202560 810531 0 0 0 106032 189 0 0 25 0 4 0 514863889 3044270080 579718 33554432000 4194304 4650419 140736640521472 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4243.16
Current children cumulated vsize (KiB) 2972920

[startup+1122.31 s]
/proc/loadavg: 8.10 7.97 7.11 9/184 22160
/proc/meminfo: memFree=11059732/32950928 swapFree=67111528/67111528
[pid=22096] ppid=22094 vsize=3001288 CPUtime=4482.86 cores=0,2,4,6
/proc/22096/stat : 22096 (strangenight1-m) R 22094 22096 20430 0 -1 4202496 3405131 0 0 0 447478 808 0 0 25 0 4 0 514863889 3073318912 585328 33554432000 4194304 4650419 140736640521472 18446744073709551615 4366923 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/22096/statm: 750322 585328 396 112 0 745287 0
[pid=22096/tid=22097] ppid=22094 vsize=3001288 CPUtime=1116.17 cores=0,2,4,6
/proc/22096/task/22097/stat : 22097 (strangenight1-m) R 22094 22096 20430 0 -1 4202560 715004 0 0 0 111446 171 0 0 25 0 4 0 514863889 3073318912 585328 33554432000 4194304 4650419 140736640521472 18446744073709551615 4365246 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22096/tid=22098] ppid=22094 vsize=3001288 CPUtime=1122.2 cores=0,2,4,6
/proc/22096/task/22098/stat : 22098 (strangenight1-m) R 22094 22096 20430 0 -1 4202560 579861 0 0 0 112050 170 0 0 25 0 4 0 514863889 3073318912 585328 33554432000 4194304 4650419 140736640521472 18446744073709551615 4314893 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22096/tid=22099] ppid=22094 vsize=3001288 CPUtime=1122.21 cores=0,2,4,6
/proc/22096/task/22099/stat : 22099 (strangenight1-m) R 22094 22096 20430 0 -1 4202560 838554 0 0 0 112023 198 0 0 25 0 4 0 514863889 3073318912 585328 33554432000 4194304 4650419 140736640521472 18446744073709551615 4364796 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4482.86
Current children cumulated vsize (KiB) 3001288

[startup+1182.3 s]
/proc/loadavg: 8.09 7.99 7.17 9/184 22162
/proc/meminfo: memFree=10964196/32950928 swapFree=67111528/67111528
[pid=22096] ppid=22094 vsize=3003532 CPUtime=4722.52 cores=0,2,4,6
/proc/22096/stat : 22096 (strangenight1-m) R 22094 22096 20430 0 -1 4202496 3504076 0 0 0 471413 839 0 0 25 0 4 0 514863889 3075616768 579361 33554432000 4194304 4650419 140736640521472 18446744073709551615 4366923 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/22096/statm: 750883 579361 396 112 0 745848 0
[pid=22096/tid=22097] ppid=22094 vsize=3003532 CPUtime=1175.84 cores=0,2,4,6
/proc/22096/task/22097/stat : 22097 (strangenight1-m) R 22094 22096 20430 0 -1 4202560 734971 0 0 0 117408 176 0 0 25 0 4 0 514863889 3075616768 579361 33554432000 4194304 4650419 140736640521472 18446744073709551615 4368084 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22096/tid=22098] ppid=22094 vsize=3003532 CPUtime=1182.19 cores=0,2,4,6
/proc/22096/task/22098/stat : 22098 (strangenight1-m) R 22094 22096 20430 0 -1 4202560 595245 0 0 0 118044 175 0 0 25 0 4 0 514863889 3075616768 579361 33554432000 4194304 4650419 140736640521472 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22096/tid=22099] ppid=22094 vsize=3003532 CPUtime=1182.21 cores=0,2,4,6
/proc/22096/task/22099/stat : 22099 (strangenight1-m) R 22094 22096 20430 0 -1 4202560 866943 0 0 0 118013 208 0 0 25 0 4 0 514863889 3075616768 579361 33554432000 4194304 4650419 140736640521472 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4722.52
Current children cumulated vsize (KiB) 3003532



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.07 7.99 7.19 9/184 22163
/proc/meminfo: memFree=10824316/32950928 swapFree=67111528/67111528
[pid=22096] ppid=22094 vsize=3069076 CPUtime=4800.03 cores=0,2,4,6
/proc/22096/stat : 22096 (strangenight1-m) R 22094 22096 20430 0 -1 4202496 3533928 0 0 0 479154 849 0 0 25 0 4 0 514863889 3142733824 609213 33554432000 4194304 4650419 140736640521472 18446744073709551615 4368084 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/22096/statm: 767269 609213 396 112 0 762234 0
[pid=22096/tid=22097] ppid=22094 vsize=3069076 CPUtime=1195.13 cores=0,2,4,6
/proc/22096/task/22097/stat : 22097 (strangenight1-m) R 22094 22096 20430 0 -1 4202560 742534 0 0 0 119334 179 0 0 25 0 4 0 514863889 3142733824 609214 33554432000 4194304 4650419 140736640521472 18446744073709551615 4333611 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22096/tid=22098] ppid=22094 vsize=3069076 CPUtime=1201.6 cores=0,2,4,6
/proc/22096/task/22098/stat : 22098 (strangenight1-m) R 22094 22096 20430 0 -1 4202560 602629 0 0 0 119982 178 0 0 25 0 4 0 514863889 3142733824 609214 33554432000 4194304 4650419 140736640521472 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22096/tid=22099] ppid=22094 vsize=3069076 CPUtime=1201.62 cores=0,2,4,6
/proc/22096/task/22099/stat : 22099 (strangenight1-m) R 22094 22096 20430 0 -1 4202560 874214 0 0 0 119952 210 0 0 25 0 4 0 514863889 3142733824 609214 33554432000 4194304 4650419 140736640521472 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4800.03
Current children cumulated vsize (KiB) 3069076

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

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

[startup+1201.81 s]
/proc/loadavg: 8.07 7.99 7.19 9/184 22163
/proc/meminfo: memFree=10824316/32950928 swapFree=67111528/67111528
[pid=22096] ppid=22094 vsize=0 CPUtime=4800.15 cores=0,2,4,6
/proc/22096/stat : 22096 (strangenight1-m) Z 22094 22096 20430 0 -1 4203548 3533934 0 0 0 479156 859 0 0 25 0 2 0 514863889 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/22096/statm: 0 0 0 0 0 0 0
[pid=22096/tid=22097] ppid=22094 vsize=0 CPUtime=1195.24 cores=0,2,4,6
/proc/22096/task/22097/stat : 22097 (strangenight1-m) R 22094 22096 20430 0 -1 4203588 742537 0 0 0 119335 189 0 0 25 0 2 0 514863889 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.15
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.82
CPU time (s): 4800.17
CPU user time (s): 4791.57
CPU system time (s): 8.60769
CPU usage (%): 399.407
Max. virtual memory (cumulated for all children) (KiB): 3095808

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4791.57
system time used= 8.60769
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3533934
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= 18672
involuntary context switches= 18132

runsolver used 1.87871 second user time and 4.65329 second system time

The end

Launcher Data 

Begin job on node149 at 2011-04-29 01:17:52
IDJOB=3281930
IDBENCH=70760
IDSOLVER=1588
FILE ID=node149/3281930-1304032672
RUNJOBID= node149-1304032672-22073
PBS_JOBID= 13170303
Free space on /tmp= 71920 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt
BENCH NAME= SAT09/APPLICATIONS/bitverif/minxorminand/minxorminand128.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3281930-1304032672/watcher-3281930-1304032672 -o /tmp/evaluation-result-3281930-1304032672/solver-3281930-1304032672 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3281930-1304032672.cnf

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

MD5SUM BENCH= a551844fb6a7f35cf6025d0a525ca14e
RANDOM SEED=1800711651

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      18276792 kB
Buffers:       2217772 kB
Cached:       11813632 kB
SwapCached:          0 kB
Active:        5879860 kB
Inactive:      8242412 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      18276792 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           22384 kB
Writeback:           0 kB
AnonPages:       90364 kB
Mapped:          14784 kB
Slab:           488928 kB
PageTables:       4592 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   294828 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= 71900 MiB
End job on node149 at 2011-04-29 01:37:56