Trace number 3285702

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.45 1202.28

General information on the benchmark

Nameapplication/rintanen/SATPlanning/
sokoban-sequential-p145-microban-sequential.080-SAT.cnf
MD5SUM1ca09a2b911e29894c6603aee8d3e672
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark153.91
Satisfiable
(Un)Satisfiability was proved
Number of variables175084
Number of clauses2826936
Sum of the clauses size6454456
Maximum clause length78
Minimum clause length1
Number of clauses of size 1696
Number of clauses of size 22728320
Number of clauses of size 37680
Number of clauses of size 435520
Number of clauses of size 515360
Number of clauses of size over 539360

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-3285702-1304039974.cnf'
0.00/0.00	c -- header says num vars:         175084
0.00/0.00	c -- header says num clauses:     2826936
3.29/1.17	c -- clauses added:            0 learnts,      2826936 normals,            0 xors
3.29/1.17	c -- vars added     175084
3.29/1.17	c Parsing time:  2.08 s
3.29/1.17	c  N st     0         0    175084     86202   2367076         0   5605905         0   no data   no data  --
4.76/1.55	c asymm  cl-useful: 815/1252/72288 lits-rem:35949 time: 1.38
31.93/8.33	c Flit:   261 Blit:   8669 bXBeca:    0 bXProp:  503 Bins:      0 BRemL:      0 BRemN:      0 P: 200.0M T: 26.90
31.93/8.38	c Cleaning up after failed var search:     0.20 s 
32.33/8.46	c Replacing      503 vars Replaced    29207 lits Time:     0.32 s 
33.51/8.76	c bin-w-bin subsume rem          734 bins  time:  0.59 s
35.12/9.11	c subs with bin:       33  lits-rem:       151  v-fix:    0  time:  1.41 s
50.68/13.06	c Subs w/ non-existent bins:      0 l-rem:    292 v-fix:     0 done:  27687 time: 15.74 s
51.48/13.27	c Removed useless bin:    8124  fixed:     0  props:  20.00M  time:  0.82 s
53.48/13.79	c lits-rem:         0  cl-subs:       80  v-elim:     13  v-fix:    0  time:  2.09 s
53.88/13.85	c Finding binary XORs  T:     0.23 s  found:     180
54.28/13.93	c Replacing      180 vars Replaced    14370 lits Time:     0.30 s 
54.68/14.04	c Finding non-binary XORs:     0.21 s (found:       0, avg size: nan)
54.68/14.04	c Calc default polars -  time:   0.12 s pos:    3521 undec:   59475 neg:  112088
54.68/14.04	c =========================================================================================
54.68/14.04	c types(t): F = full restart, N = normal restart
54.68/14.04	c types(t): S = simplification begin/end, E = solution found
54.68/14.04	c restart types(rt): st = static, dy = dynamic
54.68/14.04	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
54.68/14.04	c  B st     0         0    115615     67472   1541440         0   3711939         0   no data   no data  --
82.64/21.07	c  N dy    15      4041    115553     67472   1541486      3957   3711939   2795387     28.57     30.20  --
108.61/27.50	c  N dy    34      8095    115317     67472   1541885      7905   3711939   5232886     27.05     29.07  --
136.18/34.41	c  N dy    57     12392    115275     67472   1541943     12114   3711939   7696006     28.94     30.57  --
159.33/40.22	c  N dy    72     16629    115090     67472   1542284     16253   3711939   9784742     28.61     30.44  --
188.90/47.67	c  N dy    92     21212    114970     67472   1542609     10962   3711939   1470095     28.72     31.87  --
214.46/54.06	c  F st   114     25001    114888     67472   1542942     14696   3711939   3718403     29.05   no data  --
216.84/54.65	c  N st   115     25252    114887     67107   1530352     14871   3681965   3776198     29.05   no data  --
265.98/66.94	c  N dy   120     30000    114876     67107   1530409     19539   3681965   8488040     29.05   no data  --
265.98/66.94	c  S st   120     30000    114876     67107   1530409     19539   3681965   8488040     29.05   no data  --
269.98/67.92	c  S st   120     30501    114868     67107   1530424     20018   3681965   8615841     29.05   no data  --
269.98/67.99	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.32
356.27/89.59	c Flit:   352 Blit:   1319 bXBeca:    0 bXProp:   65 Bins: 139074 BRemL:     48 BRemN:   2029 P: 200.0M T: 86.15
356.65/89.66	c Cleaning up after failed var search:     0.28 s 
357.85/89.90	c Replacing       66 vars Replaced    13889 lits Time:     0.94 s 
361.84/90.95	c bin-w-bin subsume rem          625 bins  time:  0.49 s
367.83/92.45	c subs with bin:       27  lits-rem:      2385  v-fix:    0  time:  5.94 s
369.83/92.95	c Subs w/ non-existent bins:      2 l-rem:    587 v-fix:     1 done:   2338 time:  2.01 s
370.63/93.19	c Removed useless bin:   11949  fixed:     0  props:  20.01M  time:  0.95 s
382.63/96.15	c lits-rem:       220  cl-subs:      735  v-elim:      0  v-fix:    0  time: 11.82 s
384.20/96.52	c asymm  cl-useful: 45/917/66227 lits-rem:95 time: 1.45
384.20/96.55	c  N dy   120     30501    112951     66227   1617290     18713   3586027   8488685     29.05   no data  --
384.60/96.62	c Finding binary XORs  T:     0.22 s  found:     177
417.37/104.88	c  N dy   143     34601    112901     66227   1618003     22744   3586027  11069152     29.35     69.01  --
441.31/110.82	c  N dy   166     38611    112890     66227   1618578     26686   3586027  13151896     32.47     34.99  --
483.26/121.34	c  N dy   174     42639    112868     66227   1618610     15771   3586027   1632260     31.33     33.06  --
502.02/126.01	c  S st   191     45753    112862     66227   1618648     18833   3586027   3346124     31.71   no data  --
505.23/126.85	c  S st   191     46253    112861     66227   1618656     19322   3586027   3473708     31.71   no data  --
505.63/126.92	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.28
594.29/149.14	c Flit:   308 Blit:    736 bXBeca:    0 bXProp:   45 Bins:  84647 BRemL:     14 BRemN:    212 P: 200.0M T: 88.62
594.29/149.19	c Cleaning up after failed var search:     0.20 s 
595.09/149.32	c Replacing      222 vars Replaced    14416 lits Time:     0.49 s 
596.69/149.72	c bin-w-bin subsume rem          851 bins  time:  0.52 s
603.08/151.31	c subs with bin:        0  lits-rem:         2  v-fix:    0  time:  6.32 s
608.28/152.62	c Subs w/ non-existent bins:     20 l-rem:   1172 v-fix:     0 done:   6120 time:  5.24 s
609.46/152.92	c Removed useless bin:   25012  fixed:     0  props:  20.00M  time:  1.16 s
615.85/154.51	c lits-rem:       515  cl-subs:      294  v-elim:      9  v-fix:    0  time:  6.36 s
617.45/154.91	c asymm  cl-useful: 8/555/65710 lits-rem:11 time: 1.58
617.45/154.94	c  N dy   191     46253    111581     65710   1647954     18809   3490555   3498417     31.71   no data  --
617.85/155.00	c Finding binary XORs  T:     0.21 s  found:      97
649.82/163.06	c  N dy   203     51464    111559     65710   1673763     23948   3490555   7007351     30.62     43.34  --
674.17/169.18	c  N dy   219     55482    111255     65710   1673798     27912   3490555   9302566     30.52     32.36  --
700.54/175.78	c  N dy   242     59561    111247     65710   1674206     31937   3490555  11845499     30.72     46.96  --
727.71/182.59	c  N dy   253     63563    111243     65710   1674328     35887   3490555  14415552     30.36     81.84  --
733.71/184.07	c Finding binary XORs  T:     0.22 s  found:      80
757.66/190.06	c  N dy   269     68197    111243     65488   1656892     22175   3477700   3988515     29.95     31.65  --
764.47/191.74	c  S st   276     69379    111228     65488   1657134     23346   3477700   4584320     29.93     20.72  --
768.05/192.61	c  S st   276     69881    111225     65488   1657142     23839   3477700   4719915     29.93   no data  --
768.05/192.69	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.30
819.97/205.67	c Flit:   221 Blit:    226 bXBeca:    0 bXProp:   33 Bins: 104163 BRemL:   1403 BRemN:   2518 P: 200.0M T: 51.80
819.97/205.67	c Cleaning up after failed var search:     0.00 s 
820.77/205.87	c Replacing      210 vars Replaced    25245 lits Time:     0.77 s 
822.77/206.34	c bin-w-bin subsume rem          740 bins  time:  0.58 s
828.76/207.87	c subs with bin:        0  lits-rem:         5  v-fix:    0  time:  6.11 s
834.36/209.22	c Subs w/ non-existent bins:     46 l-rem:   1828 v-fix:     1 done:   6014 time:  5.37 s
835.17/209.49	c Removed useless bin:   11637  fixed:     0  props:  20.01M  time:  1.06 s
843.14/211.50	c lits-rem:       306  cl-subs:      429  v-elim:      2  v-fix:    0  time:  8.03 s
845.14/211.92	c asymm  cl-useful: 145/421/65265 lits-rem:2147 time: 1.69
845.14/211.96	c  N dy   276     69881    110545     65265   1727077     23248   3424707   4795736     29.93   no data  --
845.54/212.03	c Finding binary XORs  T:     0.23 s  found:      53
874.31/219.28	c  N dy   300     74485    110544     65265   1748015     27794   3424707   7489806     29.93     40.22  --
905.85/227.16	c  N dy   318     79359    110460     65265   1748047     32617   3424707  10832545     29.74     31.55  --
942.20/236.27	c  N dy   342     84836    110265     65265   1751171     38015   3424707  14050222     29.43     31.30  --
955.38/239.59	c  F st   348     87501    110265     65265   1751189     40649   3424707  15200210     29.13     10.63  --
956.98/239.99	c Replacing       53 vars Replaced    15169 lits Time:     1.27 s 
980.17/245.71	c  N st   353     90799    110226     65135   1737889     23577   3414835   3669662     29.13   no data  --
980.17/245.77	c Finding binary XORs  T:     0.22 s  found:      45
1012.91/253.93	c  N dy   363     96628    110223     65135   1738178     29324   3414835   7013298     28.85     31.39  --
1056.44/264.88	c  N dy   386    103034    110222     65135   1738378     35629   3414835  11186518     28.67     34.62  --
1067.64/267.64	c  S st   395    104823    110216     65135   1738392     37398   3414835  12222835     28.65     23.11  --
1071.22/268.59	c  S st   395    105323    110214     65135   1738651     37887   3414835  12354653     28.65   no data  --
1071.62/268.68	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.35
1116.76/279.92	c Flit:   157 Blit:     61 bXBeca:    0 bXProp:   10 Bins:  60454 BRemL:      0 BRemN:    286 P: 200.1M T: 44.86
1116.76/279.92	c Cleaning up after failed var search:     0.00 s 
1117.95/280.28	c Replacing       55 vars Replaced    19013 lits Time:     1.40 s 
1122.35/281.38	c bin-w-bin subsume rem          702 bins  time:  0.60 s
1128.74/282.95	c subs with bin:        0  lits-rem:        49  v-fix:    0  time:  6.26 s
1130.34/283.38	c Subs w/ non-existent bins:      2 l-rem:    720 v-fix:     0 done:   1052 time:  1.70 s
1131.53/283.65	c Removed useless bin:    6737  fixed:     0  props:  20.01M  time:  1.08 s
1198.24/300.38	c lits-rem:        40  cl-subs:      897  v-elim:      0  v-fix:    0  time: 66.76 s
1199.86/300.79	c asymm  cl-useful: 341/372/65023 lits-rem:5074 time: 1.63
1200.24/300.83	c  N dy   395    105323    109929     65023   1784567     36843   3386526  12117562     28.65   no data  --
1200.24/300.88	c Finding binary XORs  T:     0.22 s  found:      22
1248.56/312.93	c  N dy   425    112710    109901     65023   1850217     22276   3386526   1662398     28.66     40.38  --
1256.57/314.93	c Finding binary XORs  T:     0.22 s  found:      25
1295.70/324.72	c  N dy   442    121026    109817     64963   1847682     30438   3382788   5817847     28.22     31.53  --
1346.83/337.56	c  N dy   463    130506    109816     64963   1847885     39782   3382788  10195260     27.93     32.76  --
1406.37/352.42	c  N dy   492    138853    109805     64963   1848227     25023   3382788   2307834     27.81     32.83  --
1476.26/370.00	c  N dy   510    147953    109803     64963   1848474     34011   3382788  10856982     27.33     28.91  --
1536.57/385.03	c  N dy   546    157984    109800     64963   1848856     43941   3382788  16254925     27.33     10.26  --
1536.57/385.03	c  S st   546    157984    109800     64963   1848856     43941   3382788  16254925     27.33     10.26  --
1540.56/386.02	c  S st   546    158486    109797     64963   1848870     44429   3382788  16461300     27.33   no data  --
1540.96/386.11	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.39
1588.48/398.07	c Flit:    65 Blit:     19 bXBeca:    0 bXProp:    4 Bins:  60512 BRemL:      0 BRemN:    349 P: 200.0M T: 47.63
1590.08/398.48	c Replacing       52 vars Replaced    18227 lits Time:     1.58 s 
1596.78/400.12	c bin-w-bin subsume rem          432 bins  time:  0.66 s
1602.77/401.61	c subs with bin:        0  lits-rem:        60  v-fix:    0  time:  5.92 s
1605.96/402.44	c Subs w/ non-existent bins:     16 l-rem:   1279 v-fix:     0 done:   2682 time:  3.33 s
1607.15/402.76	c Removed useless bin:   14506  fixed:     0  props:  20.00M  time:  1.23 s
1730.59/433.64	c lits-rem:        17  cl-subs:     1036  v-elim:      0  v-fix:    0  time: 123.12 s
1732.18/434.04	c asymm  cl-useful: 4/867/64919 lits-rem:32 time: 1.60
1732.18/434.08	c  N dy   546    158486    109662     64919   1890977     43350   3348916  16325900     27.33   no data  --
1732.58/434.14	c Finding binary XORs  T:     0.24 s  found:       7
1782.92/446.73	c Finding binary XORs  T:     0.24 s  found:      13
1796.50/450.14	c  N dy   579    168615    109613     64890   1953652     30851   3346565   4239002     27.06     32.80  --
1848.82/463.22	c Finding binary XORs  T:     0.24 s  found:      22
1858.83/465.72	c  N dy   615    180614    109511     64843   1997813     42650   3342641   9390137     26.86     28.60  --
1930.31/483.69	c  N dy   655    192215    109508     64843   1998165     31006   3342641   2395707     26.65     48.32  --
1979.44/495.96	c Finding binary XORs  T:     0.25 s  found:      23
2000.61/501.25	c  N dy   688    205769    109402     64787   2094709     44340   3338114   8250250     26.30     30.58  --
2081.70/521.50	c  N dy   718    220431    109393     64787   2095076     34541   3338114   2723598     25.89     27.74  --
2175.96/545.11	c  N dy   754    234650    109386     64787   2095532     48575   3338114  11089981     25.53     27.46  --
2193.54/549.60	c  S st   765    237729    109386     64787   2095545     51630   3338114  12404927     25.61     11.17  --
2197.53/550.54	c  S st   765    238231    109386     64787   2095558     52119   3338114  12518693     25.61   no data  --
2197.94/550.63	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.39
2267.06/567.97	c Flit:    77 Blit:     39 bXBeca:    0 bXProp:    3 Bins: 162818 BRemL:    670 BRemN:   4096 P: 200.0M T: 69.19
2267.06/567.97	c Cleaning up after failed var search:     0.00 s 
2268.64/568.36	c Replacing       69 vars Replaced    28540 lits Time:     1.53 s 
2272.63/569.39	c bin-w-bin subsume rem          508 bins  time:  0.86 s
2279.03/570.95	c subs with bin:        2  lits-rem:         4  v-fix:    0  time:  6.23 s
2280.64/571.39	c Subs w/ non-existent bins:      8 l-rem:    786 v-fix:     0 done:   1129 time:  1.75 s
2281.82/571.66	c Removed useless bin:    6975  fixed:     0  props:  20.00M  time:  1.07 s
2364.91/592.49	c lits-rem:        18  cl-subs:     1362  v-elim:      2  v-fix:    0  time: 83.10 s
2366.90/592.90	c asymm  cl-useful: 0/528/64709 lits-rem:0 time: 1.66
2366.90/592.95	c  N dy   765    238231    109191     64709   2237629     50655   3309769  12222106     25.61   no data  --
2367.30/593.01	c Finding binary XORs  T:     0.24 s  found:      23
2461.97/616.71	c  N dy   813    253564    109177     64709   2239841     40127   3309769   4370151     25.40     28.18  --
2557.84/640.71	c  N dy   867    269786    109174     64709   2240183     56212   3309769  12529410     25.17     45.45  --
2663.29/667.14	c  N dy   899    287418    109166     64709   2240627     47501   3309769   5850813     24.72     26.64  --
2762.76/692.07	c  F st   940    306251    109164     64709   2241067     66160   3309769  12864527     24.35     16.71  --
2763.98/692.36	c Replacing       23 vars Replaced     8543 lits Time:     0.86 s 
2765.15/692.63	c  N st   940    306251    109142     64699   2237204     66136   3308826  12856963     24.35     16.71  --
2901.37/726.77	c  N dy  1012    326072    109139     64699   2237750     58617   3308826  11345397     24.43     25.81  --
3036.00/760.49	c  N dy  1120    346162    109123     64699   2238315     50771   3308826   4079697     24.72     26.63  --
3105.90/777.99	c  S st  1151    357350    109121     64699   2238643     61836   3308826  10193219     24.65     20.83  --
3110.29/779.00	c  S st  1151    357851    109121     64699   2238656     62323   3308826  10305625     24.65   no data  --
3110.29/779.10	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.38
3160.61/791.62	c Flit:    95 Blit:     58 bXBeca:    0 bXProp:    2 Bins: 101551 BRemL:    102 BRemN:    440 P: 200.0M T: 50.00
3160.61/791.63	c Cleaning up after failed var search:     0.00 s 
3161.41/791.85	c Replacing        2 vars Replaced     1007 lits Time:     0.87 s 
3165.01/792.74	c bin-w-bin subsume rem         1928 bins  time:  0.90 s
3171.41/794.30	c subs with bin:        4  lits-rem:        10  v-fix:    0  time:  6.22 s
3173.40/794.83	c Subs w/ non-existent bins:      8 l-rem:    642 v-fix:     0 done:   1537 time:  2.11 s
3174.60/795.14	c Removed useless bin:   10787  fixed:     0  props:  20.02M  time:  1.22 s
3210.94/804.28	c lits-rem:        49  cl-subs:     1387  v-elim:      1  v-fix:    0  time: 36.42 s
3212.94/804.74	c asymm  cl-useful: 2/360/64655 lits-rem:16 time: 1.82
3212.94/804.79	c  N dy  1151    357851    108964     64655   2323941     60843   3281408  10345724     24.65   no data  --
3213.34/804.85	c Finding binary XORs  T:     0.26 s  found:      12
3240.49/811.65	c Finding binary XORs  T:     0.27 s  found:      36
3340.76/836.78	c  N dy  1222    378286    108858     64583   2477343     51466   3276602   3739705     24.60     27.41  --
3472.17/869.69	c  N dy  1288    398361    108857     64583   2477539     71360   3276602  12840139     24.49     41.07  --
3609.19/903.98	c  N dy  1334    419100    108857     64583   2477665     62008   3276602   6691375     24.23     25.67  --
3704.66/927.81	c Finding binary XORs  T:     0.27 s  found:      30
3743.43/937.58	c Finding binary XORs  T:     0.32 s  found:      17
3755.80/940.69	c  N dy  1382    439307    108698     64473   2705319     81929   3269950  17960832     24.05     26.91  --
3894.79/975.43	c  N dy  1444    459775    108685     64473   2705760     71246   3269950  11330469     23.94     25.54  --
4044.17/1012.81	c  N dy  1508    479829    108674     64473   2706247     91144   3269950  23337937     23.85     46.88  --
4203.45/1052.78	c  N dy  1583    499834    108657     64473   2706785     79389   3269950  12822376     23.95     28.05  --
4380.00/1096.90	c  N dy  1654    521084    108637     64473   2707340     67559   3269950   5178251     23.89     25.51  --
4505.03/1128.24	c  S st  1699    536779    108636     64473   2707715     83115   3269950  15875212     23.80     13.94  --
4509.43/1129.33	c  S st  1699    537281    108636     64473   2707729     83602   3269950  15975702     23.80   no data  --
4509.83/1129.44	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.44
4549.78/1139.41	c Flit:    50 Blit:     12 bXBeca:    0 bXProp:    4 Bins:  33226 BRemL:      1 BRemN:    244 P: 200.1M T: 39.81
4551.38/1139.83	c Replacing       99 vars Replaced    51586 lits Time:     1.64 s 
4556.59/1141.11	c bin-w-bin subsume rem         1248 bins  time:  1.12 s
4562.56/1142.68	c subs with bin:       97  lits-rem:       747  v-fix:    0  time:  6.28 s
4565.75/1143.46	c Subs w/ non-existent bins:     31 l-rem:   2112 v-fix:     0 done:   1932 time:  3.10 s
4567.35/1143.82	c Removed useless bin:   36780  fixed:     0  props:  20.00M  time:  1.43 s
4686.39/1173.60	c lits-rem:        77  cl-subs:     1921  v-elim:     14  v-fix:    0  time: 118.82 s
4688.00/1174.07	c asymm  cl-useful: 10/330/64393 lits-rem:117 time: 1.85
4688.41/1174.13	c  N dy  1699    537281    108462     64393   2683162     81331   3189648  15754662     23.80   no data  --
4688.41/1174.19	c Finding binary XORs  T:     0.26 s  found:      23

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

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

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


[startup+0 s]
/proc/loadavg: 6.45 7.69 7.74 2/174 32349
/proc/meminfo: memFree=16546684/32951124 swapFree=67111528/67111528
[pid=32349] ppid=32347 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/32349/stat : 32349 (strangenight1-m) R 32347 32349 32317 0 -1 4202496 412 0 0 0 0 0 0 0 22 0 4 0 515598043 52465664 352 33554432000 4194304 4650419 140734896168224 18446744073709551615 47511972108204 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/32349/statm: 12809 352 303 112 0 7774 0
[pid=32349/tid=32350] ppid=32347 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/32349/task/32350/stat : 32350 (strangenight1-m) R 32347 32349 32317 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 4 0 515598043 52465664 352 33554432000 4194304 4650419 140734896168224 18446744073709551615 230809222129 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32349/tid=32351] ppid=32347 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/32349/task/32351/stat : 32351 (strangenight1-m) R 32347 32349 32317 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 4 0 515598043 52465664 352 33554432000 4194304 4650419 140734896168224 18446744073709551615 47511972108208 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32349/tid=32352] ppid=32347 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/32349/task/32352/stat : 32352 (strangenight1-m) R 32347 32349 32317 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 4 0 515598043 52465664 352 33554432000 4194304 4650419 140734896168224 18446744073709551615 47511972108204 0 0 4096 2 0 0 0 -1 5 0 0 0

[startup+0.0903729 s]
/proc/loadavg: 6.45 7.69 7.74 2/174 32349
/proc/meminfo: memFree=16546684/32951124 swapFree=67111528/67111528
[pid=32349] ppid=32347 vsize=304008 CPUtime=0.3 cores=1,3,5,7
/proc/32349/stat : 32349 (strangenight1-m) R 32347 32349 32317 0 -1 4202496 12667 0 0 0 24 6 0 0 18 0 4 0 515598043 311304192 10630 33554432000 4194304 4650419 140734896168224 18446744073709551615 230809270766 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/32349/statm: 76002 10636 345 112 0 70967 0
[pid=32349/tid=32350] ppid=32347 vsize=304008 CPUtime=0.07 cores=1,3,5,7
/proc/32349/task/32350/stat : 32350 (strangenight1-m) S 32347 32349 32317 0 -1 4202560 3168 0 0 0 6 1 0 0 18 0 4 0 515598043 311304192 10636 33554432000 4194304 4650419 140734896168224 18446744073709551615 230809270766 0 0 4096 2 18446604471125959936 0 0 -1 7 0 0 0
[pid=32349/tid=32351] ppid=32347 vsize=304008 CPUtime=0.06 cores=1,3,5,7
/proc/32349/task/32351/stat : 32351 (strangenight1-m) R 32347 32349 32317 0 -1 4202560 3246 0 0 0 5 1 0 0 17 0 4 0 515598043 311304192 10639 33554432000 4194304 4650419 140734896168224 18446744073709551615 230808826913 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32349/tid=32352] ppid=32347 vsize=304008 CPUtime=0.07 cores=1,3,5,7
/proc/32349/task/32352/stat : 32352 (strangenight1-m) R 32347 32349 32317 0 -1 4202560 2794 0 0 0 6 1 0 0 17 0 4 0 515598043 311304192 10677 33554432000 4194304 4650419 140734896168224 18446744073709551615 230808862823 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 304008

[startup+0.103543 s]
/proc/loadavg: 6.45 7.69 7.74 2/174 32349
/proc/meminfo: memFree=16546684/32951124 swapFree=67111528/67111528
[pid=32349] ppid=32347 vsize=307340 CPUtime=0.34 cores=1,3,5,7
/proc/32349/stat : 32349 (strangenight1-m) R 32347 32349 32317 0 -1 4202496 13623 0 0 0 27 7 0 0 17 0 4 0 515598043 314716160 11573 33554432000 4194304 4650419 140734896168224 18446744073709551615 230809270815 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/32349/statm: 76835 11587 345 112 0 71800 0
[pid=32349/tid=32350] ppid=32347 vsize=307340 CPUtime=0.08 cores=1,3,5,7
/proc/32349/task/32350/stat : 32350 (strangenight1-m) S 32347 32349 32317 0 -1 4202560 3363 0 0 0 6 2 0 0 17 0 4 0 515598043 314716160 11621 33554432000 4194304 4650419 140734896168224 18446744073709551615 230809270766 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32349/tid=32351] ppid=32347 vsize=307340 CPUtime=0.08 cores=1,3,5,7
/proc/32349/task/32351/stat : 32351 (strangenight1-m) D 32347 32349 32317 0 -1 4202560 3515 0 0 0 6 2 0 0 17 0 4 0 515598043 314716160 11668 33554432000 4194304 4650419 140734896168224 18446744073709551615 230809209015 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32349/tid=32352] ppid=32347 vsize=307820 CPUtime=0.08 cores=1,3,5,7
/proc/32349/task/32352/stat : 32352 (strangenight1-m) R 32347 32349 32317 0 -1 4202560 3157 0 0 0 7 1 0 0 18 0 4 0 515598043 315207680 11668 33554432000 4194304 4650419 140734896168224 18446744073709551615 230809223594 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.34
Current children cumulated vsize (KiB) 307340

[startup+0.303343 s]
/proc/loadavg: 6.45 7.69 7.74 2/174 32349
/proc/meminfo: memFree=16546684/32951124 swapFree=67111528/67111528
[pid=32349] ppid=32347 vsize=401344 CPUtime=0.91 cores=1,3,5,7
/proc/32349/stat : 32349 (strangenight1-m) S 32347 32349 32317 0 -1 4202496 30897 0 0 0 61 30 0 0 17 0 4 0 515598043 410976256 26648 33554432000 4194304 4650419 140734896168224 18446744073709551615 230809270766 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/32349/statm: 100336 26740 345 112 0 95301 0
[pid=32349/tid=32350] ppid=32347 vsize=401344 CPUtime=0.22 cores=1,3,5,7
/proc/32349/task/32350/stat : 32350 (strangenight1-m) D 32347 32349 32317 0 -1 4202560 7745 0 0 0 15 7 0 0 17 0 4 0 515598043 410976256 26748 33554432000 4194304 4650419 140734896168224 18446744073709551615 230809209015 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32349/tid=32351] ppid=32347 vsize=401344 CPUtime=0.21 cores=1,3,5,7
/proc/32349/task/32351/stat : 32351 (strangenight1-m) R 32347 32349 32317 0 -1 4202560 7964 0 0 0 14 7 0 0 17 0 4 0 515598043 410976256 26757 33554432000 4194304 4650419 140734896168224 18446744073709551615 230809270766 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32349/tid=32352] ppid=32347 vsize=401344 CPUtime=0.22 cores=1,3,5,7
/proc/32349/task/32352/stat : 32352 (strangenight1-m) R 32347 32349 32317 0 -1 4202560 7328 0 0 0 15 7 0 0 17 0 4 0 515598043 410976256 26789 33554432000 4194304 4650419 140734896168224 18446744073709551615 230809209015 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.91
Current children cumulated vsize (KiB) 401344

[startup+0.702238 s]
/proc/loadavg: 6.45 7.69 7.74 2/174 32349
/proc/meminfo: memFree=16546684/32951124 swapFree=67111528/67111528
[pid=32349] ppid=32347 vsize=463508 CPUtime=2.07 cores=1,3,5,7
/proc/32349/stat : 32349 (strangenight1-m) D 32347 32349 32317 0 -1 4202496 69905 0 0 0 128 79 0 0 17 0 4 0 515598043 474632192 61238 33554432000 4194304 4650419 140734896168224 18446744073709551615 230808826913 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/32349/statm: 115877 61238 345 112 0 110842 0
[pid=32349/tid=32350] ppid=32347 vsize=463508 CPUtime=0.51 cores=1,3,5,7
/proc/32349/task/32350/stat : 32350 (strangenight1-m) R 32347 32349 32317 0 -1 4202560 17878 0 0 0 31 20 0 0 17 0 4 0 515598043 474632192 61238 33554432000 4194304 4650419 140734896168224 18446744073709551615 230809209015 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32349/tid=32351] ppid=32347 vsize=463508 CPUtime=0.5 cores=1,3,5,7
/proc/32349/task/32351/stat : 32351 (strangenight1-m) S 32347 32349 32317 0 -1 4202560 18077 0 0 0 31 19 0 0 17 0 4 0 515598043 474632192 61238 33554432000 4194304 4650419 140734896168224 18446744073709551615 230809270766 0 0 4096 2 18446604471125959936 0 0 -1 3 0 0 0
[pid=32349/tid=32352] ppid=32347 vsize=463508 CPUtime=0.52 cores=1,3,5,7
/proc/32349/task/32352/stat : 32352 (strangenight1-m) S 32347 32349 32317 0 -1 4202560 16161 0 0 0 34 18 0 0 17 0 4 0 515598043 474632192 61238 33554432000 4194304 4650419 140734896168224 18446744073709551615 230809270766 0 0 4096 2 18446604471125959936 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.07
Current children cumulated vsize (KiB) 463508

[startup+1.50108 s]
/proc/loadavg: 6.45 7.69 7.74 6/178 32353
/proc/meminfo: memFree=16154740/32951124 swapFree=67111528/67111528
[pid=32349] ppid=32347 vsize=682832 CPUtime=4.76 cores=1,3,5,7
/proc/32349/stat : 32349 (strangenight1-m) R 32347 32349 32317 0 -1 4202496 123927 0 0 0 329 147 0 0 18 0 4 0 515598043 699219968 106662 33554432000 4194304 4650419 140734896168224 18446744073709551615 4370329 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/32349/statm: 170708 106663 368 112 0 165673 0
[pid=32349/tid=32350] ppid=32347 vsize=682832 CPUtime=1.19 cores=1,3,5,7
/proc/32349/task/32350/stat : 32350 (strangenight1-m) R 32347 32349 32317 0 -1 4202560 31569 0 0 0 80 39 0 0 17 0 4 0 515598043 699219968 106663 33554432000 4194304 4650419 140734896168224 18446744073709551615 4369089 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32349/tid=32351] ppid=32347 vsize=682832 CPUtime=1.18 cores=1,3,5,7
/proc/32349/task/32351/stat : 32351 (strangenight1-m) R 32347 32349 32317 0 -1 4202560 31701 0 0 0 80 38 0 0 17 0 4 0 515598043 699219968 106663 33554432000 4194304 4650419 140734896168224 18446744073709551615 4369397 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32349/tid=32352] ppid=32347 vsize=682832 CPUtime=1.16 cores=1,3,5,7
/proc/32349/task/32352/stat : 32352 (strangenight1-m) R 32347 32349 32317 0 -1 4202560 29526 0 0 0 83 33 0 0 18 0 4 0 515598043 699219968 106663 33554432000 4194304 4650419 140734896168224 18446744073709551615 4363768 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4.76
Current children cumulated vsize (KiB) 682832

[startup+3.10078 s]
/proc/loadavg: 6.45 7.69 7.74 6/178 32353
/proc/meminfo: memFree=16018700/32951124 swapFree=67111528/67111528
[pid=32349] ppid=32347 vsize=697348 CPUtime=11.16 cores=1,3,5,7
/proc/32349/stat : 32349 (strangenight1-m) R 32347 32349 32317 0 -1 4202496 131463 0 0 0 966 150 0 0 20 0 4 0 515598043 714084352 110840 33554432000 4194304 4650419 140734896168224 18446744073709551615 4369376 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/32349/statm: 174337 110840 373 112 0 169302 0
[pid=32349/tid=32350] ppid=32347 vsize=697348 CPUtime=2.78 cores=1,3,5,7
/proc/32349/task/32350/stat : 32350 (strangenight1-m) R 32347 32349 32317 0 -1 4202560 33818 0 0 0 239 39 0 0 20 0 4 0 515598043 714084352 110840 33554432000 4194304 4650419 140734896168224 18446744073709551615 4369381 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32349/tid=32351] ppid=32347 vsize=697348 CPUtime=2.78 cores=1,3,5,7
/proc/32349/task/32351/stat : 32351 (strangenight1-m) R 32347 32349 32317 0 -1 4202560 33902 0 0 0 240 38 0 0 20 0 4 0 515598043 714084352 110840 33554432000 4194304 4650419 140734896168224 18446744073709551615 4369048 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32349/tid=32352] ppid=32347 vsize=697348 CPUtime=2.77 cores=1,3,5,7
/proc/32349/task/32352/stat : 32352 (strangenight1-m) R 32347 32349 32317 0 -1 4202560 30356 0 0 0 243 34 0 0 20 0 4 0 515598043 714084352 110840 33554432000 4194304 4650419 140734896168224 18446744073709551615 4363680 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 11.16
Current children cumulated vsize (KiB) 697348

[startup+6.3012 s]
/proc/loadavg: 6.41 7.66 7.73 9/184 32362
/proc/meminfo: memFree=15363568/32951124 swapFree=67111528/67111528
[pid=32349] ppid=32347 vsize=730884 CPUtime=23.93 cores=1,3,5,7
/proc/32349/stat : 32349 (strangenight1-m) R 32347 32349 32317 0 -1 4202496 133402 0 0 0 2243 150 0 0 25 0 4 0 515598043 748425216 112779 33554432000 4194304 4650419 140734896168224 18446744073709551615 4370340 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/32349/statm: 182721 112779 373 112 0 177686 0
[pid=32349/tid=32350] ppid=32347 vsize=730884 CPUtime=5.96 cores=1,3,5,7
/proc/32349/task/32350/stat : 32350 (strangenight1-m) R 32347 32349 32317 0 -1 4202560 33822 0 0 0 557 39 0 0 25 0 4 0 515598043 748425216 112779 33554432000 4194304 4650419 140734896168224 18446744073709551615 4369360 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32349/tid=32351] ppid=32347 vsize=730884 CPUtime=5.98 cores=1,3,5,7
/proc/32349/task/32351/stat : 32351 (strangenight1-m) R 32347 32349 32317 0 -1 4202560 33920 0 0 0 560 38 0 0 25 0 4 0 515598043 748425216 112779 33554432000 4194304 4650419 140734896168224 18446744073709551615 4369376 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32349/tid=32352] ppid=32347 vsize=730884 CPUtime=5.97 cores=1,3,5,7
/proc/32349/task/32352/stat : 32352 (strangenight1-m) R 32347 32349 32317 0 -1 4202560 32256 0 0 0 562 35 0 0 25 0 4 0 515598043 748425216 112779 33554432000 4194304 4650419 140734896168224 18446744073709551615 4334321 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 23.93
Current children cumulated vsize (KiB) 730884

[startup+12.701 s]
/proc/loadavg: 6.62 7.68 7.73 9/184 32362
/proc/meminfo: memFree=14385496/32951124 swapFree=67111528/67111528
[pid=32349] ppid=32347 vsize=875656 CPUtime=49.49 cores=1,3,5,7
/proc/32349/stat : 32349 (strangenight1-m) R 32347 32349 32317 0 -1 4202496 163977 0 0 0 4788 161 0 0 25 0 4 0 515598043 896671744 143352 33554432000 4194304 4650419 140734896168224 18446744073709551615 4550255 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/32349/statm: 218914 143352 385 112 0 213879 0
[pid=32349/tid=32350] ppid=32347 vsize=875656 CPUtime=12.33 cores=1,3,5,7
/proc/32349/task/32350/stat : 32350 (strangenight1-m) R 32347 32349 32317 0 -1 4202560 42873 0 0 0 1191 42 0 0 25 0 4 0 515598043 896671744 143352 33554432000 4194304 4650419 140734896168224 18446744073709551615 4550132 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32349/tid=32351] ppid=32347 vsize=875656 CPUtime=12.37 cores=1,3,5,7
/proc/32349/task/32351/stat : 32351 (strangenight1-m) R 32347 32349 32317 0 -1 4202560 43570 0 0 0 1196 41 0 0 25 0 4 0 515598043 896671744 143352 33554432000 4194304 4650419 140734896168224 18446744073709551615 4550235 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32349/tid=32352] ppid=32347 vsize=875656 CPUtime=12.37 cores=1,3,5,7
/proc/32349/task/32352/stat : 32352 (strangenight1-m) R 32347 32349 32317 0 -1 4202560 36591 0 0 0 1200 37 0 0 25 0 4 0 515598043 896671744 143352 33554432000 4194304 4650419 140734896168224 18446744073709551615 4315137 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 49.49
Current children cumulated vsize (KiB) 875656

[startup+25.5007 s]
/proc/loadavg: 7.01 7.71 7.74 9/184 32363
/proc/meminfo: memFree=14192128/32951124 swapFree=67111528/67111528
[pid=32349] ppid=32347 vsize=1038840 CPUtime=100.62 cores=1,3,5,7
/proc/32349/stat : 32349 (strangenight1-m) R 32347 32349 32317 0 -1 4202496 185069 0 0 0 9895 167 0 0 25 0 4 0 515598043 1063772160 163748 33554432000 4194304 4650419 140734896168224 18446744073709551615 4315244 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/32349/statm: 259710 163748 391 112 0 254675 0
[pid=32349/tid=32350] ppid=32347 vsize=1038840 CPUtime=25.06 cores=1,3,5,7
/proc/32349/task/32350/stat : 32350 (strangenight1-m) R 32347 32349 32317 0 -1 4202560 48433 0 0 0 2462 44 0 0 25 0 4 0 515598043 1063772160 163748 33554432000 4194304 4650419 140734896168224 18446744073709551615 4315094 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32349/tid=32351] ppid=32347 vsize=1038840 CPUtime=25.17 cores=1,3,5,7
/proc/32349/task/32351/stat : 32351 (strangenight1-m) R 32347 32349 32317 0 -1 4202560 47942 0 0 0 2475 42 0 0 25 0 4 0 515598043 1063772160 163748 33554432000 4194304 4650419 140734896168224 18446744073709551615 4330598 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32349/tid=32352] ppid=32347 vsize=1038840 CPUtime=25.17 cores=1,3,5,7
/proc/32349/task/32352/stat : 32352 (strangenight1-m) R 32347 32349 32317 0 -1 4202560 43434 0 0 0 2478 39 0 0 25 0 4 0 515598043 1063772160 163748 33554432000 4194304 4650419 140734896168224 18446744073709551615 4229527 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 100.62
Current children cumulated vsize (KiB) 1038840

[startup+51.101 s]
/proc/loadavg: 7.34 7.74 7.75 9/184 32363
/proc/meminfo: memFree=14056048/32951124 swapFree=67111528/67111528
[pid=32349] ppid=32347 vsize=947940 CPUtime=202.87 cores=1,3,5,7
/proc/32349/stat : 32349 (strangenight1-m) R 32347 32349 32317 0 -1 4202496 234270 0 0 0 20105 182 0 0 25 0 4 0 515598043 970690560 158668 33554432000 4194304 4650419 140734896168224 18446744073709551615 4363319 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/32349/statm: 236985 158668 394 112 0 231950 0
[pid=32349/tid=32350] ppid=32347 vsize=947940 CPUtime=50.51 cores=1,3,5,7
/proc/32349/task/32350/stat : 32350 (strangenight1-m) R 32347 32349 32317 0 -1 4202560 60807 0 0 0 5003 48 0 0 25 0 4 0 515598043 970690560 158668 33554432000 4194304 4650419 140734896168224 18446744073709551615 4303975 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32349/tid=32351] ppid=32347 vsize=947940 CPUtime=50.77 cores=1,3,5,7
/proc/32349/task/32351/stat : 32351 (strangenight1-m) R 32347 32349 32317 0 -1 4202560 60578 0 0 0 5031 46 0 0 25 0 4 0 515598043 970690560 158669 33554432000 4194304 4650419 140734896168224 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32349/tid=32352] ppid=32347 vsize=947940 CPUtime=50.76 cores=1,3,5,7
/proc/32349/task/32352/stat : 32352 (strangenight1-m) R 32347 32349 32317 0 -1 4202560 56318 0 0 0 5033 43 0 0 25 0 4 0 515598043 970690560 158669 33554432000 4194304 4650419 140734896168224 18446744073709551615 4315210 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 202.87
Current children cumulated vsize (KiB) 947940

[startup+102.301 s]
/proc/loadavg: 7.77 7.79 7.76 9/184 32365
/proc/meminfo: memFree=13602776/32951124 swapFree=67111528/67111528
[pid=32349] ppid=32347 vsize=1306804 CPUtime=407.38 cores=1,3,5,7
/proc/32349/stat : 32349 (strangenight1-m) R 32347 32349 32317 0 -1 4202496 371696 0 0 0 40522 216 0 0 25 0 4 0 515598043 1338167296 247261 33554432000 4194304 4650419 140734896168224 18446744073709551615 4365548 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/32349/statm: 326701 247261 395 112 0 321666 0
[pid=32349/tid=32350] ppid=32347 vsize=1306804 CPUtime=101.42 cores=1,3,5,7
/proc/32349/task/32350/stat : 32350 (strangenight1-m) R 32347 32349 32317 0 -1 4202560 85193 0 0 0 10089 53 0 0 25 0 4 0 515598043 1338167296 247261 33554432000 4194304 4650419 140734896168224 18446744073709551615 4223947 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32349/tid=32351] ppid=32347 vsize=1306804 CPUtime=101.96 cores=1,3,5,7
/proc/32349/task/32351/stat : 32351 (strangenight1-m) R 32347 32349 32317 0 -1 4202560 83411 0 0 0 10143 53 0 0 25 0 4 0 515598043 1338167296 247261 33554432000 4194304 4650419 140734896168224 18446744073709551615 4230632 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32349/tid=32352] ppid=32347 vsize=1306804 CPUtime=101.96 cores=1,3,5,7
/proc/32349/task/32352/stat : 32352 (strangenight1-m) R 32347 32349 32317 0 -1 4202560 81316 0 0 0 10148 48 0 0 25 0 4 0 515598043 1338167296 247261 33554432000 4194304 4650419 140734896168224 18446744073709551615 4231019 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 407.38
Current children cumulated vsize (KiB) 1306804

[startup+162.301 s]

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


[startup+702.301 s]
/proc/loadavg: 8.03 8.03 7.90 9/184 32411
/proc/meminfo: memFree=12551796/32951124 swapFree=67111528/67111528
[pid=32349] ppid=32347 vsize=3384324 CPUtime=2803.9 cores=1,3,5,7
/proc/32349/stat : 32349 (strangenight1-m) R 32347 32349 32317 0 -1 4202496 1643959 0 0 0 279824 566 0 0 25 0 4 0 515598043 3465547776 742420 33554432000 4194304 4650419 140734896168224 18446744073709551615 4331981 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/32349/statm: 846081 742420 399 112 0 841046 0
[pid=32349/tid=32350] ppid=32347 vsize=3384324 CPUtime=699.48 cores=1,3,5,7
/proc/32349/task/32350/stat : 32350 (strangenight1-m) R 32347 32349 32317 0 -1 4202560 352385 0 0 0 69819 129 0 0 25 0 4 0 515598043 3465547776 742420 33554432000 4194304 4650419 140734896168224 18446744073709551615 4333632 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32349/tid=32351] ppid=32347 vsize=3384324 CPUtime=701.23 cores=1,3,5,7
/proc/32349/task/32351/stat : 32351 (strangenight1-m) R 32347 32349 32317 0 -1 4202560 321886 0 0 0 69996 127 0 0 25 0 4 0 515598043 3465547776 742420 33554432000 4194304 4650419 140734896168224 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32349/tid=32352] ppid=32347 vsize=3384324 CPUtime=701.91 cores=1,3,5,7
/proc/32349/task/32352/stat : 32352 (strangenight1-m) R 32347 32349 32317 0 -1 4202560 606933 0 0 0 70016 175 0 0 25 0 4 0 515598043 3465547776 742420 33554432000 4194304 4650419 140734896168224 18446744073709551615 4366047 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2803.9
Current children cumulated vsize (KiB) 3384324

[startup+762.301 s]
/proc/loadavg: 7.89 7.99 7.90 9/184 32442
/proc/meminfo: memFree=11261844/32951124 swapFree=67111528/67111528
[pid=32349] ppid=32347 vsize=3515404 CPUtime=3043.58 cores=1,3,5,7
/proc/32349/stat : 32349 (strangenight1-m) R 32347 32349 32317 0 -1 4202496 1726381 0 0 0 303768 590 0 0 25 0 4 0 515598043 3599773696 753161 33554432000 4194304 4650419 140734896168224 18446744073709551615 4365477 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/32349/statm: 878851 753161 399 112 0 873816 0
[pid=32349/tid=32350] ppid=32347 vsize=3515404 CPUtime=759.49 cores=1,3,5,7
/proc/32349/task/32350/stat : 32350 (strangenight1-m) R 32347 32349 32317 0 -1 4202560 373674 0 0 0 75812 137 0 0 25 0 4 0 515598043 3599773696 753161 33554432000 4194304 4650419 140734896168224 18446744073709551615 4314985 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32349/tid=32351] ppid=32347 vsize=3515404 CPUtime=760.91 cores=1,3,5,7
/proc/32349/task/32351/stat : 32351 (strangenight1-m) R 32347 32349 32317 0 -1 4202560 341925 0 0 0 75959 132 0 0 25 0 4 0 515598043 3599773696 753161 33554432000 4194304 4650419 140734896168224 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32349/tid=32352] ppid=32347 vsize=3515404 CPUtime=761.91 cores=1,3,5,7
/proc/32349/task/32352/stat : 32352 (strangenight1-m) R 32347 32349 32317 0 -1 4202560 632665 0 0 0 76009 182 0 0 25 0 4 0 515598043 3599773696 753161 33554432000 4194304 4650419 140734896168224 18446744073709551615 4365477 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3043.58
Current children cumulated vsize (KiB) 3515404

[startup+822.301 s]
/proc/loadavg: 8.11 8.04 7.91 9/184 32444
/proc/meminfo: memFree=10913504/32951124 swapFree=67111528/67111528
[pid=32349] ppid=32347 vsize=3712012 CPUtime=3283.24 cores=1,3,5,7
/proc/32349/stat : 32349 (strangenight1-m) R 32347 32349 32317 0 -1 4202496 1865731 0 0 0 327704 620 0 0 25 0 4 0 515598043 3801100288 805166 33554432000 4194304 4650419 140734896168224 18446744073709551615 4328130 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/32349/statm: 928003 805166 399 112 0 922968 0
[pid=32349/tid=32350] ppid=32347 vsize=3712012 CPUtime=819.48 cores=1,3,5,7
/proc/32349/task/32350/stat : 32350 (strangenight1-m) R 32347 32349 32317 0 -1 4202560 457597 0 0 0 81797 151 0 0 25 0 4 0 515598043 3801100288 805166 33554432000 4194304 4650419 140734896168224 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32349/tid=32351] ppid=32347 vsize=3712012 CPUtime=820.58 cores=1,3,5,7
/proc/32349/task/32351/stat : 32351 (strangenight1-m) R 32347 32349 32317 0 -1 4202560 354654 0 0 0 81922 136 0 0 25 0 4 0 515598043 3801100288 805166 33554432000 4194304 4650419 140734896168224 18446744073709551615 4363709 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32349/tid=32352] ppid=32347 vsize=3712012 CPUtime=821.91 cores=1,3,5,7
/proc/32349/task/32352/stat : 32352 (strangenight1-m) R 32347 32349 32317 0 -1 4202560 659764 0 0 0 82002 189 0 0 25 0 4 0 515598043 3801100288 805167 33554432000 4194304 4650419 140734896168224 18446744073709551615 4236872 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3283.24
Current children cumulated vsize (KiB) 3712012

[startup+882.301 s]
/proc/loadavg: 8.07 8.04 7.92 9/184 32446
/proc/meminfo: memFree=6969420/32951124 swapFree=67111528/67111528
[pid=32349] ppid=32347 vsize=4119800 CPUtime=3522.92 cores=1,3,5,7
/proc/32349/stat : 32349 (strangenight1-m) R 32347 32349 32317 0 -1 4202496 2102493 0 0 0 351622 670 0 0 25 0 4 0 515598043 4218675200 894072 33554432000 4194304 4650419 140734896168224 18446744073709551615 4368288 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/32349/statm: 1029950 894072 400 112 0 1024915 0
[pid=32349/tid=32350] ppid=32347 vsize=4119800 CPUtime=879.48 cores=1,3,5,7
/proc/32349/task/32350/stat : 32350 (strangenight1-m) R 32347 32349 32317 0 -1 4202560 538559 0 0 0 87786 162 0 0 25 0 4 0 515598043 4218675200 894072 33554432000 4194304 4650419 140734896168224 18446744073709551615 4476756 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32349/tid=32351] ppid=32347 vsize=4119800 CPUtime=880.26 cores=1,3,5,7
/proc/32349/task/32351/stat : 32351 (strangenight1-m) R 32347 32349 32317 0 -1 4202560 375024 0 0 0 87881 145 0 0 25 0 4 0 515598043 4218675200 894072 33554432000 4194304 4650419 140734896168224 18446744073709551615 4368084 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32349/tid=32352] ppid=32347 vsize=4119800 CPUtime=881.91 cores=1,3,5,7
/proc/32349/task/32352/stat : 32352 (strangenight1-m) R 32347 32349 32317 0 -1 4202560 776094 0 0 0 87979 212 0 0 25 0 4 0 515598043 4218675200 894072 33554432000 4194304 4650419 140734896168224 18446744073709551615 4476204 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3522.92
Current children cumulated vsize (KiB) 4119800

[startup+942.301 s]
/proc/loadavg: 7.99 8.02 7.92 9/184 32447
/proc/meminfo: memFree=2811716/32951124 swapFree=67111528/67111528
[pid=32349] ppid=32347 vsize=4335300 CPUtime=3762.58 cores=1,3,5,7
/proc/32349/stat : 32349 (strangenight1-m) R 32347 32349 32317 0 -1 4202496 2500382 0 0 0 375521 737 0 0 25 0 4 0 515598043 4439347200 930019 33554432000 4194304 4650419 140734896168224 18446744073709551615 4331067 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/32349/statm: 1083825 930019 400 112 0 1078790 0
[pid=32349/tid=32350] ppid=32347 vsize=4335300 CPUtime=939.48 cores=1,3,5,7
/proc/32349/task/32350/stat : 32350 (strangenight1-m) R 32347 32349 32317 0 -1 4202560 544312 0 0 0 93784 164 0 0 25 0 4 0 515598043 4439347200 930019 33554432000 4194304 4650419 140734896168224 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32349/tid=32351] ppid=32347 vsize=4335300 CPUtime=939.92 cores=1,3,5,7
/proc/32349/task/32351/stat : 32351 (strangenight1-m) R 32347 32349 32317 0 -1 4202560 395919 0 0 0 93840 152 0 0 25 0 4 0 515598043 4439347200 930019 33554432000 4194304 4650419 140734896168224 18446744073709551615 4316077 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32349/tid=32352] ppid=32347 vsize=4335300 CPUtime=941.9 cores=1,3,5,7
/proc/32349/task/32352/stat : 32352 (strangenight1-m) R 32347 32349 32317 0 -1 4202560 1127917 0 0 0 93929 261 0 0 25 0 4 0 515598043 4439347200 930019 33554432000 4194304 4650419 140734896168224 18446744073709551615 4258561 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3762.58
Current children cumulated vsize (KiB) 4335300

[startup+1002.3 s]
/proc/loadavg: 7.95 8.01 7.92 9/184 32449
/proc/meminfo: memFree=632456/32951124 swapFree=67111528/67111528
[pid=32349] ppid=32347 vsize=4244368 CPUtime=4002.24 cores=1,3,5,7
/proc/32349/stat : 32349 (strangenight1-m) R 32347 32349 32317 0 -1 4202496 2589415 0 0 0 399461 763 0 0 25 0 4 0 515598043 4346232832 912492 33554432000 4194304 4650419 140734896168224 18446744073709551615 4315165 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/32349/statm: 1061092 912492 400 112 0 1056057 0
[pid=32349/tid=32350] ppid=32347 vsize=4244368 CPUtime=999.48 cores=1,3,5,7
/proc/32349/task/32350/stat : 32350 (strangenight1-m) R 32347 32349 32317 0 -1 4202560 563625 0 0 0 99778 170 0 0 25 0 4 0 515598043 4346232832 912492 33554432000 4194304 4650419 140734896168224 18446744073709551615 4364883 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32349/tid=32351] ppid=32347 vsize=4244368 CPUtime=999.6 cores=1,3,5,7
/proc/32349/task/32351/stat : 32351 (strangenight1-m) R 32347 32349 32317 0 -1 4202560 415875 0 0 0 99801 159 0 0 25 0 4 0 515598043 4346232832 912492 33554432000 4194304 4650419 140734896168224 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32349/tid=32352] ppid=32347 vsize=4244368 CPUtime=1001.91 cores=1,3,5,7
/proc/32349/task/32352/stat : 32352 (strangenight1-m) R 32347 32349 32317 0 -1 4202560 1157118 0 0 0 99922 269 0 0 25 0 4 0 515598043 4346232832 912492 33554432000 4194304 4650419 140734896168224 18446744073709551615 4336062 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4002.24
Current children cumulated vsize (KiB) 4244368

[startup+1062.3 s]
/proc/loadavg: 8.06 8.03 7.93 9/184 32481
/proc/meminfo: memFree=13824328/32951124 swapFree=67111528/67111528
[pid=32349] ppid=32347 vsize=4264464 CPUtime=4241.8 cores=1,3,5,7
/proc/32349/stat : 32349 (strangenight1-m) R 32347 32349 32317 0 -1 4202496 2665988 0 0 0 423393 787 0 0 25 0 4 0 515598043 4366811136 914599 33554432000 4194304 4650419 140734896168224 18446744073709551615 4314893 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/32349/statm: 1066116 914599 400 112 0 1061081 0
[pid=32349/tid=32350] ppid=32347 vsize=4264464 CPUtime=1059.37 cores=1,3,5,7
/proc/32349/task/32350/stat : 32350 (strangenight1-m) R 32347 32349 32317 0 -1 4202560 579637 0 0 0 105762 175 0 0 25 0 4 0 515598043 4366811136 914599 33554432000 4194304 4650419 140734896168224 18446744073709551615 4364883 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32349/tid=32351] ppid=32347 vsize=4264464 CPUtime=1059.26 cores=1,3,5,7
/proc/32349/task/32351/stat : 32351 (strangenight1-m) R 32347 32349 32317 0 -1 4202560 436834 0 0 0 105759 167 0 0 25 0 4 0 515598043 4366811136 914599 33554432000 4194304 4650419 140734896168224 18446744073709551615 4315137 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32349/tid=32352] ppid=32347 vsize=4264464 CPUtime=1061.91 cores=1,3,5,7
/proc/32349/task/32352/stat : 32352 (strangenight1-m) R 32347 32349 32317 0 -1 4202560 1177214 0 0 0 105917 274 0 0 25 0 4 0 515598043 4366811136 914599 33554432000 4194304 4650419 140734896168224 18446744073709551615 4315467 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4241.8
Current children cumulated vsize (KiB) 4264464

[startup+1122.3 s]
/proc/loadavg: 7.76 7.94 7.90 9/184 32543
/proc/meminfo: memFree=12501812/32951124 swapFree=67111528/67111528
[pid=32349] ppid=32347 vsize=4350828 CPUtime=4481.49 cores=1,3,5,7
/proc/32349/stat : 32349 (strangenight1-m) R 32347 32349 32317 0 -1 4202496 2747783 0 0 0 447337 812 0 0 25 0 4 0 515598043 4455247872 932379 33554432000 4194304 4650419 140734896168224 18446744073709551615 4315228 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/32349/statm: 1087707 932379 400 112 0 1082672 0
[pid=32349/tid=32350] ppid=32347 vsize=4350828 CPUtime=1119.37 cores=1,3,5,7
/proc/32349/task/32350/stat : 32350 (strangenight1-m) R 32347 32349 32317 0 -1 4202560 601334 0 0 0 111755 182 0 0 25 0 4 0 515598043 4455247872 932379 33554432000 4194304 4650419 140734896168224 18446744073709551615 4331043 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32349/tid=32351] ppid=32347 vsize=4350828 CPUtime=1118.93 cores=1,3,5,7
/proc/32349/task/32351/stat : 32351 (strangenight1-m) R 32347 32349 32317 0 -1 4202560 458498 0 0 0 111719 174 0 0 25 0 4 0 515598043 4455247872 932379 33554432000 4194304 4650419 140734896168224 18446744073709551615 4333611 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32349/tid=32352] ppid=32347 vsize=4350828 CPUtime=1121.91 cores=1,3,5,7
/proc/32349/task/32352/stat : 32352 (strangenight1-m) R 32347 32349 32317 0 -1 4202560 1192096 0 0 0 111913 278 0 0 25 0 4 0 515598043 4455247872 932379 33554432000 4194304 4650419 140734896168224 18446744073709551615 4315054 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4481.49
Current children cumulated vsize (KiB) 4350828

[startup+1182.3 s]
/proc/loadavg: 8.02 7.98 7.91 9/184 32545
/proc/meminfo: memFree=12354664/32951124 swapFree=67111528/67111528
[pid=32349] ppid=32347 vsize=4393748 CPUtime=4721.14 cores=1,3,5,7
/proc/32349/stat : 32349 (strangenight1-m) R 32347 32349 32317 0 -1 4202496 2869233 0 0 0 471276 838 0 0 25 0 4 0 515598043 4499197952 939267 33554432000 4194304 4650419 140734896168224 18446744073709551615 4363383 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/32349/statm: 1098437 939267 400 112 0 1093402 0
[pid=32349/tid=32350] ppid=32347 vsize=4393748 CPUtime=1179.36 cores=1,3,5,7
/proc/32349/task/32350/stat : 32350 (strangenight1-m) R 32347 32349 32317 0 -1 4202560 621661 0 0 0 117747 189 0 0 25 0 4 0 515598043 4499197952 939267 33554432000 4194304 4650419 140734896168224 18446744073709551615 4363750 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32349/tid=32351] ppid=32347 vsize=4393748 CPUtime=1178.61 cores=1,3,5,7
/proc/32349/task/32351/stat : 32351 (strangenight1-m) R 32347 32349 32317 0 -1 4202560 476050 0 0 0 117680 181 0 0 25 0 4 0 515598043 4499197952 939268 33554432000 4194304 4650419 140734896168224 18446744073709551615 4366835 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32349/tid=32352] ppid=32347 vsize=4393748 CPUtime=1181.91 cores=1,3,5,7
/proc/32349/task/32352/stat : 32352 (strangenight1-m) R 32347 32349 32317 0 -1 4202560 1208780 0 0 0 117909 282 0 0 25 0 4 0 515598043 4499197952 939268 33554432000 4194304 4650419 140734896168224 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4721.14
Current children cumulated vsize (KiB) 4393748



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202.1 s]
/proc/loadavg: 8.01 7.98 7.91 9/184 32545
/proc/meminfo: memFree=12419268/32951124 swapFree=67111528/67111528
[pid=32349] ppid=32347 vsize=4394900 CPUtime=4800.25 cores=1,3,5,7
/proc/32349/stat : 32349 (strangenight1-m) R 32347 32349 32317 0 -1 4202496 2897246 0 0 0 479176 849 0 0 25 0 4 0 515598043 4500377600 921541 33554432000 4194304 4650419 140734896168224 18446744073709551615 4314985 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/32349/statm: 1098725 921541 400 112 0 1093690 0
[pid=32349/tid=32350] ppid=32347 vsize=4394900 CPUtime=1199.17 cores=1,3,5,7
/proc/32349/task/32350/stat : 32350 (strangenight1-m) R 32347 32349 32317 0 -1 4202560 630737 0 0 0 119724 193 0 0 25 0 4 0 515598043 4500377600 921541 33554432000 4194304 4650419 140734896168224 18446744073709551615 4363680 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32349/tid=32351] ppid=32347 vsize=4394900 CPUtime=1198.3 cores=1,3,5,7
/proc/32349/task/32351/stat : 32351 (strangenight1-m) R 32347 32349 32317 0 -1 4202560 484720 0 0 0 119645 185 0 0 25 0 4 0 515598043 4500377600 921541 33554432000 4194304 4650419 140734896168224 18446744073709551615 4315996 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32349/tid=32352] ppid=32347 vsize=4394900 CPUtime=1201.71 cores=1,3,5,7
/proc/32349/task/32352/stat : 32352 (strangenight1-m) R 32347 32349 32317 0 -1 4202560 1213184 0 0 0 119888 283 0 0 25 0 4 0 515598043 4500377600 921541 33554432000 4194304 4650419 140734896168224 18446744073709551615 4315476 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4800.25
Current children cumulated vsize (KiB) 4394900

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

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

[startup+1202.21 s]
/proc/loadavg: 8.01 7.98 7.91 9/184 32545
/proc/meminfo: memFree=12419268/32951124 swapFree=67111528/67111528
[pid=32349] ppid=32347 vsize=0 CPUtime=4800.37 cores=1,3,5,7
/proc/32349/stat : 32349 (strangenight1-m) Z 32347 32349 32317 0 -1 4203548 2897252 0 0 0 479178 859 0 0 25 0 2 0 515598043 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/32349/statm: 0 0 0 0 0 0 0
[pid=32349/tid=32351] ppid=32347 vsize=0 CPUtime=1198.41 cores=1,3,5,7
/proc/32349/task/32351/stat : 32351 (strangenight1-m) R 32347 32349 32317 0 -1 4203588 484722 0 0 0 119646 195 0 0 25 0 2 0 515598043 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4800.37
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1202.28
CPU time (s): 4800.45
CPU user time (s): 4791.79
CPU system time (s): 8.66168
CPU usage (%): 399.279
Max. virtual memory (cumulated for all children) (KiB): 4460780

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4791.79
system time used= 8.66168
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2897252
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= 180361
involuntary context switches= 28997

runsolver used 1.9907 second user time and 4.5733 second system time

The end

Launcher Data 

Begin job on node104 at 2011-04-29 03:19:36
IDJOB=3285702
IDBENCH=82394
IDSOLVER=1588
FILE ID=node104/3285702-1304039974
RUNJOBID= node104-1304039974-32336
PBS_JOBID= 13170380
Free space on /tmp= 71448 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt
BENCH NAME= SAT11/application/rintanen/SATPlanning/sokoban-sequential-p145-microban-sequential.080-SAT.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3285702-1304039974/watcher-3285702-1304039974 -o /tmp/evaluation-result-3285702-1304039974/solver-3285702-1304039974 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3285702-1304039974.cnf

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

MD5SUM BENCH= 1ca09a2b911e29894c6603aee8d3e672
RANDOM SEED=488278321

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      16546964 kB
Buffers:       2209344 kB
Cached:       13534516 kB
SwapCached:          0 kB
Active:        3822648 kB
Inactive:     11989328 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      16546964 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:          112996 kB
Writeback:           0 kB
AnonPages:       67552 kB
Mapped:          14492 kB
Slab:           526532 kB
PageTables:       4676 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   190544 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= 71484 MiB
End job on node104 at 2011-04-29 03:39:40