Trace number 3369689

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 (fixed)? (TO) 4800.69 1204.38

General information on the benchmark

Nameapplication/rintanen/SATPlanning/
openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.045-NOTKNOWN.cnf
MD5SUM4ab53801f3b1a3f7169c9fb38cba4184
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables171676
Number of clauses870241
Sum of the clauses size2069671
Maximum clause length63
Minimum clause length1
Number of clauses of size 1211
Number of clauses of size 2859140
Number of clauses of size 32700
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 58190

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.01	c Using 4 threads
0.00/0.01	c This is CryptoMiniSat 2.9.0
0.00/0.01	c compiled with gcc version 4.4.5
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3369689-1305393761.cnf'
0.00/0.01	c -- header says num vars:         171676
0.00/0.01	c -- header says num clauses:      870241
1.10/0.34	c -- clauses added:            0 learnts,       870241 normals,            0 xors
1.10/0.34	c -- vars added     171676
1.10/0.34	c Parsing time:  0.98 s
1.10/0.34	c  N st     0         0    171676      9505    647992         0   1534503         0   no data   no data  --
1.90/0.59	c asymm  cl-useful: 10/219/9383 lits-rem:300 time: 0.97
23.36/5.99	c Flit:   987 Blit:    887 bXBeca:    0 bXProp:  597 Bins:      0 BRemL:      0 BRemN:      0 P: 200.0M T: 21.47
23.76/6.01	c Cleaning up after failed var search:     0.05 s 
23.76/6.04	c Replacing      598 vars Replaced    25730 lits Time:     0.12 s 
24.16/6.13	c bin-w-bin subsume rem         3857 bins  time:  0.19 s
24.96/6.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.69 s
33.33/8.42	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  50301 time:  8.41 s
33.73/8.55	c Removed useless bin:    3376  fixed:     0  props:  20.00M  time:  0.54 s
34.53/8.74	c lits-rem:      1176  cl-subs:      413  v-elim:  46491  v-fix:    0  time:  0.75 s
34.53/8.77	c Finding binary XORs  T:     0.09 s  found:     865
34.53/8.79	c Replacing      865 vars Replaced    60167 lits Time:     0.10 s 
34.95/8.83	c Finding non-binary XORs:     0.03 s (found:       0, avg size: nan)
34.95/8.83	c Calc default polars -  time:   0.05 s pos:    5154 undec:  112211 neg:   54311
34.95/8.83	c =========================================================================================
34.95/8.83	c types(t): F = full restart, N = normal restart
34.95/8.83	c types(t): S = simplification begin/end, E = solution found
34.95/8.83	c restart types(rt): st = static, dy = dynamic
34.95/8.83	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
34.95/8.83	c  B st     0         0     92117     12119    524011         0   1427041         0   no data   no data  --
99.54/25.08	c  N dy    17      7967     92105     12119    524044      5359   1427041   1437335     27.47     29.25  --
162.61/40.88	c  N dy    25     14949     92007     12119    524363      8032   1427041   3400948     24.52     25.82  --
206.07/51.75	c  N dy    40     19298     91980     12119    524679      6763   1427041   1736586     23.29     24.57  --
232.66/58.44	c  N dy    52     23326     91967     12119    524818     10695   1427041   4374118     22.55     38.09  --
254.80/64.04	c  F st    58     25000     91966     12119    524831     12332   1427041   5610769     23.03   no data  --
286.63/72.01	c  N st    63     28298     91958     12017    523418      8720   1423079   1976791     23.03   no data  --
294.97/74.15	c  S st    64     30002     91958     12017    523433     10388   1423079   2821860     23.03   no data  --
300.15/75.42	c  S st    64     30506     91958     12017    523568     10880   1423079   3104737     23.03   no data  --
300.15/75.45	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.13
347.78/87.43	c Flit:    13 Blit:    157 bXBeca:    0 bXProp:    0 Bins:   4068 BRemL:      0 BRemN:    698 P: 200.0M T: 46.35
347.78/87.44	c Cleaning up after failed var search:     0.00 s 
348.98/87.74	c bin-w-bin subsume rem         4378 bins  time:  0.12 s
354.98/89.22	c subs with bin:      170  lits-rem:     15810  v-fix:    0  time:  5.72 s
356.52/89.65	c Subs w/ non-existent bins:     71 l-rem:    990 v-fix:     0 done:   6922 time:  1.69 s
357.31/89.83	c Removed useless bin:    2476  fixed:     0  props:  20.02M  time:  0.68 s
368.01/92.53	c lits-rem:      1138  cl-subs:     2115  v-elim:  12578  v-fix:    0  time: 10.34 s
368.74/92.79	c asymm  cl-useful: 240/282/11547 lits-rem:6601 time: 1.05
369.14/92.81	c  N dy    64     30506     79208     11547    515200      9928   1361966   2639236     23.03   no data  --
369.14/92.83	c Finding binary XORs  T:     0.09 s  found:      12
384.64/96.81	c  N dy    78     34516     79207     11547    515239     13828   1361966   4879069     22.79     38.32  --
402.55/101.24	c  N dy    96     38580     79205     11547    515372     10201   1361966   2145302     22.59     25.18  --
418.39/105.25	c  N dy   113     42609     79190     11547    515421     14106   1361966   3731058     22.66     24.04  --
429.43/108.05	c  S st   133     45761     79184     11547    515444     17216   1361966   5022990     23.20      7.42  --
431.41/108.53	c  S st   133     46264     79184     11547    515447      9028   1361966    998515     23.20   no data  --
431.41/108.56	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.12
476.65/119.99	c Flit:     3 Blit:    131 bXBeca:    0 bXProp:    4 Bins:   3439 BRemL:      0 BRemN:    447 P: 200.1M T: 44.13
476.65/120.00	c Cleaning up after failed var search:     0.00 s 
477.07/120.06	c Replacing       16 vars Replaced     1328 lits Time:     0.21 s 
477.41/120.17	c bin-w-bin subsume rem          101 bins  time:  0.15 s
482.98/121.57	c subs with bin:      480  lits-rem:     42755  v-fix:    0  time:  5.43 s
490.54/123.47	c Subs w/ non-existent bins:     19 l-rem:    617 v-fix:     0 done:   9461 time:  7.37 s
491.34/123.64	c Removed useless bin:    2581  fixed:     0  props:  20.01M  time:  0.66 s
495.32/124.68	c lits-rem:       430  cl-subs:      650  v-elim:     75  v-fix:    0  time:  4.05 s
496.52/124.94	c asymm  cl-useful: 44/239/11022 lits-rem:71 time: 1.02
496.52/124.96	c  N dy   133     46264     78959     11022    514027      8365   1292613    885363     23.20   no data  --
515.99/129.86	c  N dy   140     50665     78927     11022    514269     12676   1292613   3344017     22.84     24.38  --
540.55/136.02	c  N dy   157     56521     78871     11022    514412     18403   1292613   6191017     22.38     23.71  --
552.79/139.17	c  N dy   172     60531     78870     11022    514430     12641   1292613   2295816     22.34     23.70  --
573.77/144.47	c  N dy   189     64845     78867     11022    514464     16862   1292613   5083182     22.35     23.58  --
599.30/150.88	c  N dy   204     69155     78867     11022    514485     21087   1292613   7402870     22.25     23.43  --
600.45/151.12	c  S st   206     69397     78867     11022    514487     21322   1292613   7514070     22.25   no data  --
602.84/151.71	c  S st   206     69899     78866     11022    514495     11066   1292613   1094153     22.25   no data  --
602.84/151.74	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.12
653.10/164.33	c Flit:    53 Blit:    142 bXBeca:    0 bXProp:    9 Bins:   6044 BRemL:      0 BRemN:    202 P: 200.0M T: 50.19
653.10/164.33	c Cleaning up after failed var search:     0.00 s 
653.10/164.38	c Replacing       10 vars Replaced     1450 lits Time:     0.19 s 
653.50/164.48	c bin-w-bin subsume rem           87 bins  time:  0.14 s
659.08/165.82	c subs with bin:        0  lits-rem:        44  v-fix:    0  time:  5.36 s
666.25/167.66	c Subs w/ non-existent bins:     27 l-rem:    655 v-fix:     0 done:  12262 time:  7.32 s
667.05/167.81	c Removed useless bin:    2710  fixed:     0  props:  20.01M  time:  0.59 s
669.84/168.53	c lits-rem:       220  cl-subs:      218  v-elim:    123  v-fix:    0  time:  2.88 s
670.65/168.74	c asymm  cl-useful: 8/256/10938 lits-rem:114 time: 0.82
670.65/168.75	c  N dy   206     69899     78531     10937    514429     10741   1277596   1089534     22.25   no data  --
678.62/170.77	c  N dy   215     74555     78499     10937    516443     15329   1277596   2585192     22.06     23.28  --
685.80/172.53	c  N dy   223     79388     78395     10937    516481     20033   1277596   4088857     21.62     23.83  --
691.02/173.88	c Finding binary XORs  T:     0.10 s  found:      12
704.60/177.26	c  N dy   249     86152     78395     10931    515179     14996   1274401   2033365     21.44     23.18  --
707.75/178.03	c  F st   254     87502     78395     10931    515198     16325   1274401   2620921     21.40   no data  --
707.75/178.06	c Replacing       12 vars Replaced      519 lits Time:     0.13 s 
745.64/187.59	c  N dy   260     92697     78383     10930    515191     21451   1274372   8055889     21.40   no data  --
767.98/193.14	c  N dy   287     99227     78205     10930    515283     15158   1274372   2389227     21.49     23.66  --
803.89/202.15	c  S st   308    104848     78204     10930    515422     20684   1274372   5666426     21.40     14.97  --
805.88/202.63	c  S st   308    105351     78201     10930    515590     21183   1274372   5961115     21.40   no data  --
805.88/202.67	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.15
859.32/216.03	c Flit:     5 Blit:     33 bXBeca:    0 bXProp:    0 Bins:   5163 BRemL:      0 BRemN:    177 P: 200.1M T: 53.19
860.92/216.46	c bin-w-bin subsume rem          110 bins  time:  0.15 s
866.53/217.89	c subs with bin:       66  lits-rem:      3480  v-fix:    0  time:  5.70 s
869.30/218.58	c Subs w/ non-existent bins:     10 l-rem:    926 v-fix:     0 done:   4799 time:  2.73 s
870.10/218.72	c Removed useless bin:    2180  fixed:     0  props:  20.01M  time:  0.58 s
880.11/221.25	c lits-rem:        72  cl-subs:      479  v-elim:     56  v-fix:    0  time: 10.04 s
880.85/221.47	c asymm  cl-useful: 2/254/10842 lits-rem:54 time: 0.91
880.85/221.49	c  N dy   308    105351     78077     10842    515720     20499   1257851   5883033     21.40   no data  --
907.99/228.29	c  N dy   318    115352     78076     10842    515741     16699   1257851   1400973     20.72     21.94  --
928.38/233.36	c  N dy   343    124486     77754     10842    523963     25679   1257851   4308206     20.32     21.68  --
934.71/234.93	c Finding binary XORs  T:     0.10 s  found:      34
958.67/240.92	c  N dy   370    133761     77754     10791    520622     20038   1250011   4313301     20.15     21.35  --
971.84/244.23	c  N dy   384    143873     77556     10791    521001     29993   1250011   7911525     19.97     21.08  --
999.73/251.20	c  N dy   405    155828     77554     10791    521054     26058   1250011   4104092     19.46     20.58  --
1003.32/252.19	c  S st   408    158026     77554     10791    521102     28225   1250011   4896578     19.37     13.57  --
1004.52/252.44	c  S st   408    158526     77553     10791    521102     28721   1250011   5106477     19.37   no data  --
1004.52/252.47	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.14
1038.82/261.03	c Flit:    20 Blit:     44 bXBeca:    0 bXProp:    1 Bins:   3289 BRemL:      0 BRemN:    191 P: 200.1M T: 34.12
1039.22/261.13	c Replacing       36 vars Replaced     4332 lits Time:     0.39 s 
1040.42/261.43	c bin-w-bin subsume rem          323 bins  time:  0.15 s
1046.01/262.84	c subs with bin:        2  lits-rem:       185  v-fix:    0  time:  5.61 s
1047.99/263.35	c Subs w/ non-existent bins:     18 l-rem:    918 v-fix:     0 done:   3788 time:  2.02 s
1048.39/263.49	c Removed useless bin:    3090  fixed:     0  props:  20.01M  time:  0.59 s
1112.67/279.56	c lits-rem:        87  cl-subs:     1231  v-elim:    329  v-fix:    0  time: 63.99 s
1113.42/279.78	c asymm  cl-useful: 70/322/10789 lits-rem:690 time: 0.92
1113.82/279.80	c  N dy   408    158526     77124     10775    518162     27461   1235150   4970878     19.37   no data  --
1140.15/286.46	c  N dy   455    169107     77115     10775    518440     21242   1235150   2317989     19.32     21.09  --
1168.48/293.52	c  N dy   511    179932     77113     10775    518477     31920   1235150   6860381     19.49     28.13  --
1218.73/306.17	c  N dy   547    191423     77112     10775    518503     25579   1235150   4984591     19.35     20.75  --
1272.98/319.78	c  N dy   616    207593     77111     10775    518526     22803   1235150   1894385     19.41     20.45  --
1308.08/328.52	c Finding binary XORs  T:     0.10 s  found:       6
1315.66/330.44	c  N dy   660    220877     76910     10763    517457     35878   1230305   7865658     19.31     63.79  --
1337.61/335.97	c  N dy   685    235266     76909     10763    517475     30365   1230305   3633373     18.99     20.20  --
1347.58/338.40	c  S st   702    237789     76909     10763    517482     32843   1230305   4669301     19.07   no data  --
1348.78/338.78	c  S st   702    238291     76909     10763    517485     33342   1230305   4874506     19.07   no data  --
1349.20/338.82	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.13
1405.42/352.98	c Flit:    14 Blit:     54 bXBeca:    0 bXProp:    0 Bins:   6672 BRemL:      0 BRemN:    159 P: 200.1M T: 56.44
1405.82/353.06	c Replacing        6 vars Replaced      843 lits Time:     0.29 s 
1407.00/353.32	c bin-w-bin subsume rem          149 bins  time:  0.15 s
1412.19/354.66	c subs with bin:        1  lits-rem:         0  v-fix:    0  time:  5.33 s
1413.79/355.02	c Subs w/ non-existent bins:      3 l-rem:   2034 v-fix:     0 done:   1535 time:  1.43 s
1414.19/355.17	c Removed useless bin:    2644  fixed:     0  props:  20.01M  time:  0.59 s
1453.68/365.01	c lits-rem:       227  cl-subs:      912  v-elim:    144  v-fix:    0  time: 39.26 s
1454.51/365.28	c asymm  cl-useful: 0/237/10687 lits-rem:0 time: 1.04
1454.51/365.29	c  N dy   702    238291     76691     10687    520578     32450   1222326   4762990     19.07   no data  --
1487.18/373.49	c  N dy   736    254310     76576     10687    520978     27603   1222326   2950411     18.86     19.97  --
1511.55/379.60	c  N dy   773    270964     76575     10687    521014     22358   1222326   1277160     18.65     21.28  --
1531.46/384.51	c Finding binary XORs  T:     0.10 s  found:      14
1547.05/388.49	c  N dy   815    288326     76571     10659    519686     39455   1219210   7057628     18.62     24.82  --
1580.11/396.78	c  F st   885    306251     76562     10659    519752     34493   1219210   4904372     18.62   no data  --
1580.51/396.86	c Replacing       14 vars Replaced     2212 lits Time:     0.20 s 
1584.10/397.74	c  N st   887    306880     76547     10656    519626     35100   1218928   5742298     18.62   no data  --
1641.94/412.20	c  N dy   964    326556     76542     10656    519674     30922   1218928   4116721     18.75     86.22  --
1672.66/419.94	c  N dy   991    346592     76540     10656    519714     26067   1218928   1751751     18.56     21.31  --
1700.21/426.83	c  S st  1018    357436     76539     10656    519735     36817   1218928   5738981     18.44     11.22  --
1701.37/427.18	c  S st  1018    357945     76539     10656    519735     37325   1218928   6018302     18.44   no data  --
1701.78/427.22	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.15
1748.46/438.95	c Flit:    17 Blit:     48 bXBeca:    0 bXProp:    0 Bins:   4899 BRemL:      0 BRemN:    146 P: 200.0M T: 46.73
1750.03/439.34	c bin-w-bin subsume rem          237 bins  time:  0.15 s
1755.62/440.72	c subs with bin:        4  lits-rem:        14  v-fix:    0  time:  5.49 s
1756.42/440.95	c Subs w/ non-existent bins:     14 l-rem:   2377 v-fix:     0 done:    728 time:  0.91 s
1756.82/441.10	c Removed useless bin:    1807  fixed:     0  props:  20.00M  time:  0.60 s
1792.34/449.98	c lits-rem:       300  cl-subs:      933  v-elim:     73  v-fix:    0  time: 35.40 s
1793.51/450.23	c asymm  cl-useful: 22/244/10628 lits-rem:257 time: 0.97
1793.51/450.24	c  N dy  1018    357945     76401     10626    521739     36365   1212297   5914253     18.44   no data  --
1829.81/459.34	c  N dy  1031    387626     76401     10626    521748     39880   1212297   2785139     17.90     19.00  --
1830.21/459.40	c Finding binary XORs  T:     0.10 s  found:      10
1875.29/470.73	c  N dy  1096    409711     76235     10615    524514     35087   1208590   3630781     17.75     19.26  --
1968.27/494.04	c  N dy  1141    430269     76234     10615    524587     27769   1208590   1273090     17.64     18.93  --
2002.14/502.56	c  N dy  1158    469268     76108     10615    524750     37674   1208590   2243051     17.05     18.03  --
2124.60/533.27	c  N dy  1218    501060     76103     10615    524827     39487   1208590   7234424     16.90     17.89  --
2166.47/543.75	c  N dy  1269    526055     76097     10615    524899     33550   1208590   1929954     16.73     17.94  --
2184.82/548.38	c  S st  1305    536917     76096     10615    524920     44306   1208590   5117885     16.70     12.26  --
2186.02/548.69	c  S st  1305    537422     76095     10615    524920     44809   1208590   5341344     16.70   no data  --
2186.42/548.73	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.16
2237.07/561.44	c Flit:    16 Blit:     14 bXBeca:    0 bXProp:    0 Bins:   5720 BRemL:      0 BRemN:    112 P: 200.1M T: 50.63
2237.48/561.53	c Replacing       10 vars Replaced     1593 lits Time:     0.33 s 
2238.68/561.82	c bin-w-bin subsume rem          140 bins  time:  0.15 s
2244.29/563.23	c subs with bin:      526  lits-rem:      5637  v-fix:    0  time:  5.62 s
2247.06/563.94	c Subs w/ non-existent bins:     10 l-rem:   1198 v-fix:     0 done:   8801 time:  2.85 s
2247.86/564.10	c Removed useless bin:    2772  fixed:     0  props:  20.01M  time:  0.61 s
2298.10/576.71	c lits-rem:       227  cl-subs:     1730  v-elim:    248  v-fix:    0  time: 50.26 s
2298.89/576.96	c asymm  cl-useful: 0/261/10566 lits-rem:0 time: 0.96
2298.89/576.97	c  N dy  1305    537422     75807     10566    524705     42638   1195278   5060627     16.70   no data  --
2299.29/577.00	c Finding binary XORs  T:     0.10 s  found:       3
2351.55/590.10	c  N dy  1424    559463     75803     10566    524872     32779   1195278   1637607     16.83     17.92  --
2394.64/600.95	c  N dy  1482    582183     75800     10566    525047     55283   1195278   9644395     16.79     18.09  --
2430.94/610.02	c  N dy  1516    606036     75800     10566    525060     46276   1195278   4303813     16.62     17.54  --
2471.63/620.26	c  N dy  1576    626233     75800     10566    525118     66277   1195278  11446175     16.63     17.59  --
2506.73/629.07	c  N dy  1652    646265     75798     10566    525185     52367   1195278   7485241     16.63     32.57  --
2554.59/641.05	c  N dy  1703    666751     75643     10566    525402     38032   1195278   2650096     16.58     17.76  --
2591.33/650.24	c  N dy  1745    687711     75641     10566    525430     58864   1195278  10866286     16.50     17.56  --
2642.74/663.14	c  N dy  1830    708256     75634     10566    525495     43547   1195278   4443757     16.53     17.90  --
2689.40/674.84	c  N dy  1925    728278     75595     10566    527303     63408   1195278  12246528     16.60     20.92  --
2736.11/686.57	c  N dy  2014    748524     75529     10566    527362     46813   1195278   5791860     16.62     17.80  --
2777.95/697.02	c  N dy  2065    771516     75526     10566    527385     69648   1195278  14132186     16.60     17.85  --
2817.03/706.80	c  N dy  2157    792949     75517     10566    527530     53158   1195278   6655424     16.65     17.89  --
2847.35/714.41	c  S st  2213    806133     75516     10566    527584     66244   1195278  11897754     16.67      8.87  --
2848.55/714.71	c  S st  2213    806635     75516     10566    527584     66743   1195278  12063522     16.67   no data  --
2848.55/714.76	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.20
2892.44/725.78	c Flit:     3 Blit:      1 bXBeca:    0 bXProp:    0 Bins:   4436 BRemL:      0 BRemN:    133 P: 200.1M T: 43.94
2893.24/725.93	c Replacing        3 vars Replaced     3036 lits Time:     0.56 s 
2896.02/726.65	c bin-w-bin subsume rem          111 bins  time:  0.15 s
2901.61/728.09	c subs with bin:        2  lits-rem:       452  v-fix:    0  time:  5.75 s
2902.43/728.25	c Subs w/ non-existent bins:      1 l-rem:    517 v-fix:     0 done:    506 time:  0.65 s
2903.19/728.41	c Removed useless bin:    2904  fixed:     0  props:  20.01M  time:  0.62 s
3136.55/786.95	c lits-rem:         4  cl-subs:     1323  v-elim:    144  v-fix:    0  time: 233.17 s
3137.75/787.28	c asymm  cl-useful: 0/209/10563 lits-rem:0 time: 1.32
3137.75/787.29	c  N dy  2213    806635     75366     10563    526242     65377   1182399  11889891     16.67   no data  --
3138.15/787.32	c Finding binary XORs  T:     0.11 s  found:       5
3205.60/804.24	c  N dy  2285    826683     75207     10563    529099     46606   1182399   4896670     16.69     20.35  --
3247.44/814.71	c  N dy  2354    846825     75206     10563    529127     66573   1182399  12617037     16.69     17.80  --
3288.12/825.00	c  N dy  2413    866984     75203     10563    529195     46922   1182399   3541025     16.66     17.60  --
3326.02/834.45	c  N dy  2481    887932     75202     10563    529208     67712   1182399  10394274     16.64     22.60  --
3378.25/847.53	c  N dy  2556    908040     75179     10563    529275     46994   1182399   4399521     16.68     17.71  --
3414.95/856.70	c  N dy  2621    929689     75176     10563    529301     68501   1182399  11688813     16.64     17.89  --
3451.30/865.88	c  N dy  2676    951549     75176     10563    529342     48523   1182399   3529129     16.61     17.69  --
3515.48/881.92	c  N dy  2733    971639     75161     10563    529406     68502   1182399  12816164     16.57     19.81  --
3552.96/891.31	c  N dy  2768    991738     75159     10563    529458     45723   1182399   3681819     16.52     22.43  --
3590.86/900.91	c  N dy  2846   1012772     75157     10563    529476     66629   1182399  11082221     16.51     17.43  --
3630.77/910.84	c  N dy  2897   1034338     75153     10563    529514     44350   1182399   2004770     16.45     17.42  --
3666.28/919.72	c  N dy  2958   1054441     75147     10563    529574     64291   1182399   7738874     16.45     17.34  --
3697.74/927.62	c  F st  2996   1071878     75144     10563    529599     81635   1182399  13752019     16.43     11.19  --
3698.14/927.76	c Replacing        5 vars Replaced     1477 lits Time:     0.32 s 
3706.51/929.88	c  N st  3001   1075174     75140     10536    527235     84776   1176762  15440927     16.43   no data  --
3752.40/941.38	c Finding binary XORs  T:     0.11 s  found:      18
3763.96/944.23	c  N dy  3071   1095480     74970     10526    527967     60247   1173148   8659797     16.44     17.52  --
3811.43/956.12	c  N dy  3146   1117780     74968     10526    527978     82406   1173148  16588544     16.44     17.35  --
3848.93/965.51	c  N dy  3200   1139511     74967     10526    527984     58364   1173148   4425816     16.39     18.01  --
3881.62/973.79	c  N dy  3239   1164857     74965     10526    527989     83463   1173148  10104752     16.31     17.22  --
3926.30/984.90	c  N dy  3328   1184896     74875     10526    528442     56761   1173148   5579483     16.33     19.61  --
3968.62/995.59	c  N dy  3372   1205695     74875     10526    528448     77435   1173148  12302169     16.30     17.34  --
3981.78/998.81	c  S st  3403   1209953     74875     10526    528458     81664   1173148  14360383     16.32   no data  --
3982.55/999.04	c  S st  3403   1210456     74875     10526    528458     82166   1173148  14528705     16.32   no data  --
3982.55/999.09	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.23
4031.21/1011.28	c Flit:    59 Blit:     53 bXBeca:    0 bXProp:    2 Bins:   5958 BRemL:      3 BRemN:     91 P: 200.1M T: 48.57
4031.21/1011.28	c Cleaning up after failed var search:     0.00 s 
4032.41/1011.57	c Replacing       20 vars Replaced    14543 lits Time:     1.11 s 
4035.60/1012.34	c bin-w-bin subsume rem          285 bins  time:  0.16 s
4041.59/1013.80	c subs with bin:        2  lits-rem:        60  v-fix:    0  time:  5.81 s
4042.79/1014.18	c Subs w/ non-existent bins:      2 l-rem:   2862 v-fix:     0 done:   1438 time:  1.52 s
4043.63/1014.34	c Removed useless bin:    3279  fixed:     0  props:  20.00M  time:  0.64 s
4435.29/1112.55	c lits-rem:       159  cl-subs:     2850  v-elim:    302  v-fix:    0  time: 391.22 s
4436.49/1112.89	c asymm  cl-useful: 1/196/10491 lits-rem:33 time: 1.38
4436.89/1112.91	c  N dy  3403   1210456     74444     10490    528046     79347   1159719  13838266     16.32   no data  --
4436.89/1112.94	c Finding binary XORs  T:     0.11 s  found:       5
4480.36/1123.88	c  N dy  3455   1231824     74431     10490    528222     52933   1159719   4128461     16.26     17.12  --
4507.89/1130.76	c  N dy  3474   1252743     74429     10490    528232     73728   1159719   8902009     16.18     17.18  --
4535.80/1137.73	c  N dy  3499   1274313     74429     10490    528260     95202   1159719  13599912     16.16     17.02  --
4558.95/1143.59	c  N dy  3502   1295453     74428     10490    528262     67606   1159719   6080028     16.10     16.96  --
4608.40/1155.94	c  N dy  3597   1316503     74424     10490    528316     88499   1159719  15396675     16.16     17.02  --
4662.29/1169.41	c  N dy  3656   1337401     74422     10490    528370     59605   1159719   5154509     16.13     17.05  --
4704.14/1179.98	c  N dy  3758   1357493     74421     10490    528407     79557   1159719  12590371     16.18     26.03  --
4756.79/1193.18	c  N dy  3829   1383879     74418     10490    528423     55121   1159719   2916255     16.16     17.08  --

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3369689-1305393761/watcher-3369689-1305393761 -o /tmp/evaluation-result-3369689-1305393761/solver-3369689-1305393761 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3369689-1305393761.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: 3.82 5.81 7.12 8/355 17221
/proc/meminfo: memFree=24598684/32950928 swapFree=67056568/67111528
[pid=17221] ppid=17219 vsize=51236 CPUtime=0.01 cores=0,2,4,6
/proc/17221/stat : 17221 (strangenight1-m) R 17219 17221 16708 0 -1 4202496 413 0 0 0 1 0 0 0 21 0 4 0 650973279 52465664 353 33554432000 4194304 4650419 140734526419376 18446744073709551615 47512084850600 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17221/statm: 12809 353 303 112 0 7774 0
[pid=17221/tid=17222] ppid=17219 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/17221/task/17222/stat : 17222 (strangenight1-m) R 17219 17221 16708 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 4 0 650973279 52465664 353 33554432000 4194304 4650419 140734526419376 18446744073709551615 47512084850610 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17221/tid=17223] ppid=17219 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/17221/task/17223/stat : 17223 (strangenight1-m) R 17219 17221 16708 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 4 0 650973279 52465664 353 33554432000 4194304 4650419 140734526419376 18446744073709551615 47512084850610 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17221/tid=17224] ppid=17219 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/17221/task/17224/stat : 17224 (strangenight1-m) R 17219 17221 16708 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 650973280 52465664 353 33554432000 4194304 4650419 140734526419376 18446744073709551615 239476751345 0 0 4096 2 0 0 0 -1 2 0 0 0

[startup+0.0864499 s]
/proc/loadavg: 3.82 5.81 7.12 8/355 17221
/proc/meminfo: memFree=24598684/32950928 swapFree=67056568/67111528
[pid=17221] ppid=17219 vsize=393104 CPUtime=0.3 cores=0,2,4,6
/proc/17221/stat : 17221 (strangenight1-m) R 17219 17221 16708 0 -1 4202496 21527 0 0 0 25 5 0 0 18 0 4 0 650973279 402538496 17195 33554432000 4194304 4650419 140734526419376 18446744073709551615 4372382 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17221/statm: 98276 17948 345 112 0 93241 0
[pid=17221/tid=17222] ppid=17219 vsize=393104 CPUtime=0.08 cores=0,2,4,6
/proc/17221/task/17222/stat : 17222 (strangenight1-m) R 17219 17221 16708 0 -1 4202560 5387 0 0 0 7 1 0 0 18 0 4 0 650973279 402538496 17963 33554432000 4194304 4650419 140734526419376 18446744073709551615 239476363697 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17221/tid=17223] ppid=17219 vsize=393104 CPUtime=0.08 cores=0,2,4,6
/proc/17221/task/17223/stat : 17223 (strangenight1-m) R 17219 17221 16708 0 -1 4202560 5503 0 0 0 7 1 0 0 18 0 4 0 650973279 402538496 18005 33554432000 4194304 4650419 140734526419376 18446744073709551615 239476800031 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17221/tid=17224] ppid=17219 vsize=393104 CPUtime=0.07 cores=0,2,4,6
/proc/17221/task/17224/stat : 17224 (strangenight1-m) S 17219 17221 16708 0 -1 4202560 5682 0 0 0 6 1 0 0 18 0 4 0 650973280 402538496 18770 33554432000 4194304 4650419 140734526419376 18446744073709551615 239476799982 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 393104

[startup+0.116546 s]
/proc/loadavg: 3.82 5.81 7.12 8/355 17221
/proc/meminfo: memFree=24598684/32950928 swapFree=67056568/67111528
[pid=17221] ppid=17219 vsize=422136 CPUtime=0.41 cores=0,2,4,6
/proc/17221/stat : 17221 (strangenight1-m) D 17219 17221 16708 0 -1 4202496 28949 0 0 0 35 6 0 0 18 0 4 0 650973279 432267264 24292 33554432000 4194304 4650419 140734526419376 18446744073709551615 4361571 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17221/statm: 105534 24292 345 112 0 100499 0
[pid=17221/tid=17222] ppid=17219 vsize=422136 CPUtime=0.1 cores=0,2,4,6
/proc/17221/task/17222/stat : 17222 (strangenight1-m) D 17219 17221 16708 0 -1 4202560 7183 0 0 0 9 1 0 0 18 0 4 0 650973279 432267264 24292 33554432000 4194304 4650419 140734526419376 18446744073709551615 4361571 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17221/tid=17223] ppid=17219 vsize=422136 CPUtime=0.1 cores=0,2,4,6
/proc/17221/task/17223/stat : 17223 (strangenight1-m) R 17219 17221 16708 0 -1 4202560 7761 0 0 0 9 1 0 0 17 0 4 0 650973279 432267264 23780 33554432000 4194304 4650419 140734526419376 18446744073709551615 239476738183 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17221/tid=17224] ppid=17219 vsize=422136 CPUtime=0.08 cores=0,2,4,6
/proc/17221/task/17224/stat : 17224 (strangenight1-m) D 17219 17221 16708 0 -1 4202560 6729 0 0 0 7 1 0 0 18 0 4 0 650973280 432267264 23780 33554432000 4194304 4650419 140734526419376 18446744073709551615 239476738231 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 422136

[startup+0.314629 s]
/proc/loadavg: 3.82 5.81 7.12 8/355 17221
/proc/meminfo: memFree=24598684/32950928 swapFree=67056568/67111528
[pid=17221] ppid=17219 vsize=506820 CPUtime=1.1 cores=0,2,4,6
/proc/17221/stat : 17221 (strangenight1-m) D 17219 17221 16708 0 -1 4202496 73702 0 0 0 90 20 0 0 17 0 4 0 650973279 518983680 56497 33554432000 4194304 4650419 140734526419376 18446744073709551615 239476392333 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17221/statm: 126705 56497 345 112 0 121670 0
[pid=17221/tid=17222] ppid=17219 vsize=514112 CPUtime=0.27 cores=0,2,4,6
/proc/17221/task/17222/stat : 17222 (strangenight1-m) R 17219 17221 16708 0 -1 4202560 18188 0 0 0 23 4 0 0 17 0 4 0 650973279 526450688 56497 33554432000 4194304 4650419 140734526419376 18446744073709551615 239476752810 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17221/tid=17223] ppid=17219 vsize=509248 CPUtime=0.27 cores=0,2,4,6
/proc/17221/task/17223/stat : 17223 (strangenight1-m) R 17219 17221 16708 0 -1 4202560 18142 0 0 0 23 4 0 0 17 0 4 0 650973279 521469952 57046 33554432000 4194304 4650419 140734526419376 18446744073709551615 239476800031 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17221/tid=17224] ppid=17219 vsize=509248 CPUtime=0.25 cores=0,2,4,6
/proc/17221/task/17224/stat : 17224 (strangenight1-m) S 17219 17221 16708 0 -1 4202560 18762 0 0 0 20 5 0 0 18 0 4 0 650973280 521469952 57079 33554432000 4194304 4650419 140734526419376 18446744073709551615 239476799982 0 0 4096 2 18446604451551149120 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.1
Current children cumulated vsize (KiB) 506820

[startup+0.700402 s]
/proc/loadavg: 3.82 5.81 7.12 8/355 17221
/proc/meminfo: memFree=24598684/32950928 swapFree=67056568/67111528
[pid=17221] ppid=17219 vsize=512952 CPUtime=2.63 cores=0,2,4,6
/proc/17221/stat : 17221 (strangenight1-m) R 17219 17221 16708 0 -1 4202496 83053 0 0 0 240 23 0 0 18 0 4 0 650973279 525262848 64681 33554432000 4194304 4650419 140734526419376 18446744073709551615 4302838 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17221/statm: 128238 64681 373 112 0 123203 0
[pid=17221/tid=17222] ppid=17219 vsize=512952 CPUtime=0.65 cores=0,2,4,6
/proc/17221/task/17222/stat : 17222 (strangenight1-m) R 17219 17221 16708 0 -1 4202560 20517 0 0 0 60 5 0 0 18 0 4 0 650973279 525262848 64681 33554432000 4194304 4650419 140734526419376 18446744073709551615 4370329 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17221/tid=17223] ppid=17219 vsize=512952 CPUtime=0.65 cores=0,2,4,6
/proc/17221/task/17223/stat : 17223 (strangenight1-m) R 17219 17221 16708 0 -1 4202560 20400 0 0 0 60 5 0 0 18 0 4 0 650973279 525262848 64681 33554432000 4194304 4650419 140734526419376 18446744073709551615 4244959 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17221/tid=17224] ppid=17219 vsize=512952 CPUtime=0.64 cores=0,2,4,6
/proc/17221/task/17224/stat : 17224 (strangenight1-m) R 17219 17221 16708 0 -1 4202560 20764 0 0 0 58 6 0 0 18 0 4 0 650973280 525262848 64681 33554432000 4194304 4650419 140734526419376 18446744073709551615 4348258 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.63
Current children cumulated vsize (KiB) 512952

[startup+1.50025 s]
/proc/loadavg: 3.82 5.81 7.12 10/359 17225
/proc/meminfo: memFree=24331680/32950928 swapFree=67056568/67111528
[pid=17221] ppid=17219 vsize=512952 CPUtime=5.82 cores=0,2,4,6
/proc/17221/stat : 17221 (strangenight1-m) R 17219 17221 16708 0 -1 4202496 83713 0 0 0 559 23 0 0 19 0 4 0 650973279 525262848 65341 33554432000 4194304 4650419 140734526419376 18446744073709551615 4371092 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17221/statm: 128238 65341 373 112 0 123203 0
[pid=17221/tid=17222] ppid=17219 vsize=512952 CPUtime=1.45 cores=0,2,4,6
/proc/17221/task/17222/stat : 17222 (strangenight1-m) R 17219 17221 16708 0 -1 4202560 20556 0 0 0 140 5 0 0 19 0 4 0 650973279 525262848 65341 33554432000 4194304 4650419 140734526419376 18446744073709551615 4369378 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17221/tid=17223] ppid=17219 vsize=512952 CPUtime=1.45 cores=0,2,4,6
/proc/17221/task/17223/stat : 17223 (strangenight1-m) R 17219 17221 16708 0 -1 4202560 20440 0 0 0 140 5 0 0 19 0 4 0 650973279 525262848 65341 33554432000 4194304 4650419 140734526419376 18446744073709551615 4245532 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17221/tid=17224] ppid=17219 vsize=512952 CPUtime=1.42 cores=0,2,4,6
/proc/17221/task/17224/stat : 17224 (strangenight1-m) R 17219 17221 16708 0 -1 4202560 21345 0 0 0 136 6 0 0 19 0 4 0 650973280 525262848 65341 33554432000 4194304 4650419 140734526419376 18446744073709551615 4315114 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.82
Current children cumulated vsize (KiB) 512952

[startup+3.10094 s]
/proc/loadavg: 3.82 5.81 7.12 9/359 17225
/proc/meminfo: memFree=24323160/32950928 swapFree=67056568/67111528
[pid=17221] ppid=17219 vsize=512952 CPUtime=12.21 cores=0,2,4,6
/proc/17221/stat : 17221 (strangenight1-m) R 17219 17221 16708 0 -1 4202496 84973 0 0 0 1197 24 0 0 23 0 4 0 650973279 525262848 66601 33554432000 4194304 4650419 140734526419376 18446744073709551615 4370318 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17221/statm: 128238 66601 373 112 0 123203 0
[pid=17221/tid=17222] ppid=17219 vsize=512952 CPUtime=3.05 cores=0,2,4,6
/proc/17221/task/17222/stat : 17222 (strangenight1-m) R 17219 17221 16708 0 -1 4202560 20564 0 0 0 300 5 0 0 23 0 4 0 650973279 525262848 66601 33554432000 4194304 4650419 140734526419376 18446744073709551615 4371092 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17221/tid=17223] ppid=17219 vsize=512952 CPUtime=3.06 cores=0,2,4,6
/proc/17221/task/17223/stat : 17223 (strangenight1-m) R 17219 17221 16708 0 -1 4202560 20446 0 0 0 301 5 0 0 23 0 4 0 650973279 525262848 66601 33554432000 4194304 4650419 140734526419376 18446744073709551615 4243552 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17221/tid=17224] ppid=17219 vsize=512952 CPUtime=3.02 cores=0,2,4,6
/proc/17221/task/17224/stat : 17224 (strangenight1-m) R 17219 17221 16708 0 -1 4202560 22590 0 0 0 295 7 0 0 23 0 4 0 650973280 525262848 66601 33554432000 4194304 4650419 140734526419376 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.21
Current children cumulated vsize (KiB) 512952

[startup+6.30033 s]
/proc/loadavg: 4.15 5.84 7.13 9/359 17225
/proc/meminfo: memFree=24280520/32950928 swapFree=67056568/67111528
[pid=17221] ppid=17219 vsize=515356 CPUtime=24.96 cores=0,2,4,6
/proc/17221/stat : 17221 (strangenight1-m) R 17219 17221 16708 0 -1 4202496 91337 0 0 0 2470 26 0 0 25 0 4 0 650973279 527724544 72965 33554432000 4194304 4650419 140734526419376 18446744073709551615 4436452 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17221/statm: 128839 72965 383 112 0 123804 0
[pid=17221/tid=17222] ppid=17219 vsize=515356 CPUtime=6.25 cores=0,2,4,6
/proc/17221/task/17222/stat : 17222 (strangenight1-m) R 17219 17221 16708 0 -1 4202560 22096 0 0 0 620 5 0 0 25 0 4 0 650973279 527724544 72965 33554432000 4194304 4650419 140734526419376 18446744073709551615 4434894 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17221/tid=17223] ppid=17219 vsize=515356 CPUtime=6.25 cores=0,2,4,6
/proc/17221/task/17223/stat : 17223 (strangenight1-m) R 17219 17221 16708 0 -1 4202560 22078 0 0 0 620 5 0 0 25 0 4 0 650973279 527724544 72965 33554432000 4194304 4650419 140734526419376 18446744073709551615 239476362242 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17221/tid=17224] ppid=17219 vsize=515356 CPUtime=6.18 cores=0,2,4,6
/proc/17221/task/17224/stat : 17224 (strangenight1-m) R 17219 17221 16708 0 -1 4202560 24981 0 0 0 610 8 0 0 25 0 4 0 650973280 527724544 72965 33554432000 4194304 4650419 140734526419376 18446744073709551615 4315996 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 24.96
Current children cumulated vsize (KiB) 515356

[startup+12.7011 s]
/proc/loadavg: 4.46 5.88 7.13 9/359 17225
/proc/meminfo: memFree=24162528/32950928 swapFree=67056568/67111528
[pid=17221] ppid=17219 vsize=529848 CPUtime=50.48 cores=0,2,4,6
/proc/17221/stat : 17221 (strangenight1-m) R 17219 17221 16708 0 -1 4202496 114657 0 0 0 5016 32 0 0 25 0 4 0 650973279 542564352 91397 33554432000 4194304 4650419 140734526419376 18446744073709551615 4315153 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17221/statm: 132462 91397 393 112 0 127427 0
[pid=17221/tid=17222] ppid=17219 vsize=529848 CPUtime=12.65 cores=0,2,4,6
/proc/17221/task/17222/stat : 17222 (strangenight1-m) R 17219 17221 16708 0 -1 4202560 29485 0 0 0 1258 7 0 0 25 0 4 0 650973279 542564352 91397 33554432000 4194304 4650419 140734526419376 18446744073709551615 4334283 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17221/tid=17223] ppid=17219 vsize=529848 CPUtime=12.66 cores=0,2,4,6
/proc/17221/task/17223/stat : 17223 (strangenight1-m) R 17219 17221 16708 0 -1 4202560 27820 0 0 0 1259 7 0 0 25 0 4 0 650973279 542564352 91397 33554432000 4194304 4650419 140734526419376 18446744073709551615 4304358 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17221/tid=17224] ppid=17219 vsize=529848 CPUtime=12.51 cores=0,2,4,6
/proc/17221/task/17224/stat : 17224 (strangenight1-m) R 17219 17221 16708 0 -1 4202560 27922 0 0 0 1242 9 0 0 25 0 4 0 650973280 542564352 91397 33554432000 4194304 4650419 140734526419376 18446744073709551615 4315996 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.48
Current children cumulated vsize (KiB) 529848

[startup+25.5007 s]
/proc/loadavg: 5.24 5.98 7.14 9/359 17226
/proc/meminfo: memFree=24026280/32950928 swapFree=67056568/67111528
[pid=17221] ppid=17219 vsize=651540 CPUtime=101.53 cores=0,2,4,6
/proc/17221/stat : 17221 (strangenight1-m) R 17219 17221 16708 0 -1 4202496 137016 0 0 0 10117 36 0 0 25 0 4 0 650973279 667176960 99159 33554432000 4194304 4650419 140734526419376 18446744073709551615 4315288 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17221/statm: 162885 99159 393 112 0 157850 0
[pid=17221/tid=17222] ppid=17219 vsize=651540 CPUtime=25.45 cores=0,2,4,6
/proc/17221/task/17222/stat : 17222 (strangenight1-m) R 17219 17221 16708 0 -1 4202560 33308 0 0 0 2537 8 0 0 25 0 4 0 650973279 667176960 99159 33554432000 4194304 4650419 140734526419376 18446744073709551615 4315996 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17221/tid=17223] ppid=17219 vsize=651540 CPUtime=25.46 cores=0,2,4,6
/proc/17221/task/17223/stat : 17223 (strangenight1-m) R 17219 17221 16708 0 -1 4202560 33383 0 0 0 2538 8 0 0 25 0 4 0 650973279 667176960 99159 33554432000 4194304 4650419 140734526419376 18446744073709551615 4315996 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17221/tid=17224] ppid=17219 vsize=651540 CPUtime=25.16 cores=0,2,4,6
/proc/17221/task/17224/stat : 17224 (strangenight1-m) R 17219 17221 16708 0 -1 4202560 36526 0 0 0 2506 10 0 0 25 0 4 0 650973280 667176960 99159 33554432000 4194304 4650419 140734526419376 18446744073709551615 4315103 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.53
Current children cumulated vsize (KiB) 651540

[startup+51.1008 s]
/proc/loadavg: 6.18 6.14 7.17 9/359 17226
/proc/meminfo: memFree=21516664/32950928 swapFree=67056568/67111528
[pid=17221] ppid=17219 vsize=814120 CPUtime=203.65 cores=0,2,4,6
/proc/17221/stat : 17221 (strangenight1-m) R 17219 17221 16708 0 -1 4202496 176364 0 0 0 20320 45 0 0 25 0 4 0 650973279 833658880 111369 33554432000 4194304 4650419 140734526419376 18446744073709551615 4315288 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17221/statm: 203530 111369 393 112 0 198495 0
[pid=17221/tid=17222] ppid=17219 vsize=814120 CPUtime=51.05 cores=0,2,4,6
/proc/17221/task/17222/stat : 17222 (strangenight1-m) R 17219 17221 16708 0 -1 4202560 40653 0 0 0 5095 10 0 0 25 0 4 0 650973279 833658880 111369 33554432000 4194304 4650419 140734526419376 18446744073709551615 4315996 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17221/tid=17223] ppid=17219 vsize=814120 CPUtime=51.05 cores=0,2,4,6
/proc/17221/task/17223/stat : 17223 (strangenight1-m) R 17219 17221 16708 0 -1 4202560 42966 0 0 0 5096 9 0 0 25 0 4 0 650973279 833658880 111369 33554432000 4194304 4650419 140734526419376 18446744073709551615 4333698 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17221/tid=17224] ppid=17219 vsize=814120 CPUtime=50.48 cores=0,2,4,6
/proc/17221/task/17224/stat : 17224 (strangenight1-m) R 17219 17221 16708 0 -1 4202560 49831 0 0 0 5035 13 0 0 25 0 4 0 650973280 833658880 111369 33554432000 4194304 4650419 140734526419376 18446744073709551615 4315464 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 203.65
Current children cumulated vsize (KiB) 814120

[startup+102.301 s]
/proc/loadavg: 7.20 6.44 7.21 9/359 17228
/proc/meminfo: memFree=14505012/32950928 swapFree=67056568/67111528
[pid=17221] ppid=17219 vsize=3788076 CPUtime=406.9 cores=0,2,4,6
/proc/17221/stat : 17221 (strangenight1-m) S 17219 17221 16708 0 -1 4202496 4261637 0 0 0 40152 538 0 0 25 0 4 0 650973279 3878989824 839471 33554432000 4194304 4650419 140734526419376 18446744073709551615 239476799982 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17221/statm: 947019 839481 396 112 0 941984 0
[pid=17221/tid=17222] ppid=17219 vsize=3853612 CPUtime=101.77 cores=0,2,4,6
/proc/17221/task/17222/stat : 17222 (strangenight1-m) R 17219 17221 16708 0 -1 4202560 53263 0 0 0 10162 15 0 0 25 0 4 0 650973279 3946098688 840658 33554432000 4194304 4650419 140734526419376 18446744073709551615 4235575 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17221/tid=17223] ppid=17219 vsize=3853612 CPUtime=101.87 cores=0,2,4,6
/proc/17221/task/17223/stat : 17223 (strangenight1-m) R 17219 17221 16708 0 -1 4202560 52690 0 0 0 10175 12 0 0 25 0 4 0 650973279 3946098688 840660 33554432000 4194304 4650419 140734526419376 18446744073709551615 4315153 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17221/tid=17224] ppid=17219 vsize=3853612 CPUtime=101.59 cores=0,2,4,6
/proc/17221/task/17224/stat : 17224 (strangenight1-m) R 17219 17221 16708 0 -1 4202560 4099985 0 0 0 9664 495 0 0 25 0 4 0 650973280 3946098688 840662 33554432000 4194304 4650419 140734526419376 18446744073709551615 4316340 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 406.9
Current children cumulated vsize (KiB) 3788076

[startup+162.301 s]

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


[startup+702.3 s]
/proc/loadavg: 8.09 7.89 7.63 9/359 17244
/proc/meminfo: memFree=7538332/32950928 swapFree=67056568/67111528
[pid=17221] ppid=17219 vsize=9045592 CPUtime=2799.09 cores=0,2,4,6
/proc/17221/stat : 17221 (strangenight1-m) R 17219 17221 16708 0 -1 4202496 9158372 0 0 0 278653 1256 0 0 25 0 4 0 650973279 9262686208 2043079 33554432000 4194304 4650419 140734526419376 18446744073709551615 4364762 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17221/statm: 2261398 2043080 396 112 0 2256363 0
[pid=17221/tid=17222] ppid=17219 vsize=9045592 CPUtime=694.66 cores=0,2,4,6
/proc/17221/task/17222/stat : 17222 (strangenight1-m) R 17219 17221 16708 0 -1 4202560 437795 0 0 0 69372 94 0 0 25 0 4 0 650973279 9262686208 2043080 33554432000 4194304 4650419 140734526419376 18446744073709551615 4315054 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17221/tid=17223] ppid=17219 vsize=9045592 CPUtime=701.68 cores=0,2,4,6
/proc/17221/task/17223/stat : 17223 (strangenight1-m) R 17219 17221 16708 0 -1 4202560 432935 0 0 0 70071 97 0 0 25 0 4 0 650973279 9262686208 2043080 33554432000 4194304 4650419 140734526419376 18446744073709551615 4328238 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17221/tid=17224] ppid=17219 vsize=9045592 CPUtime=701.57 cores=0,2,4,6
/proc/17221/task/17224/stat : 17224 (strangenight1-m) R 17219 17221 16708 0 -1 4202560 7892023 0 0 0 69180 977 0 0 25 0 4 0 650973280 9262686208 2043080 33554432000 4194304 4650419 140734526419376 18446744073709551615 4315103 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2799.09
Current children cumulated vsize (KiB) 9045592

[startup+762.301 s]
/proc/loadavg: 8.07 7.92 7.66 9/359 17245
/proc/meminfo: memFree=7334424/32950928 swapFree=67056568/67111528
[pid=17221] ppid=17219 vsize=9181540 CPUtime=3038.45 cores=0,2,4,6
/proc/17221/stat : 17221 (strangenight1-m) R 17219 17221 16708 0 -1 4202496 9299295 0 0 0 302555 1290 0 0 25 0 4 0 650973279 9401896960 2075042 33554432000 4194304 4650419 140734526419376 18446744073709551615 4476502 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17221/statm: 2295385 2075042 396 112 0 2290350 0
[pid=17221/tid=17222] ppid=17219 vsize=9181540 CPUtime=753.99 cores=0,2,4,6
/proc/17221/task/17222/stat : 17222 (strangenight1-m) R 17219 17221 16708 0 -1 4202560 480755 0 0 0 75295 104 0 0 25 0 4 0 650973279 9401896960 2075047 33554432000 4194304 4650419 140734526419376 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17221/tid=17223] ppid=17219 vsize=9181540 CPUtime=761.69 cores=0,2,4,6
/proc/17221/task/17223/stat : 17223 (strangenight1-m) R 17219 17221 16708 0 -1 4202560 471868 0 0 0 76062 107 0 0 25 0 4 0 650973279 9401896960 2075047 33554432000 4194304 4650419 140734526419376 18446744073709551615 4315244 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17221/tid=17224] ppid=17219 vsize=9181540 CPUtime=761.58 cores=0,2,4,6
/proc/17221/task/17224/stat : 17224 (strangenight1-m) R 17219 17221 16708 0 -1 4202560 7927766 0 0 0 75172 986 0 0 25 0 4 0 650973280 9401896960 2075047 33554432000 4194304 4650419 140734526419376 18446744073709551615 4315996 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3038.45
Current children cumulated vsize (KiB) 9181540

[startup+822.3 s]
/proc/loadavg: 8.11 7.96 7.68 9/359 17247
/proc/meminfo: memFree=7179248/32950928 swapFree=67056568/67111528
[pid=17221] ppid=17219 vsize=9272896 CPUtime=3277.75 cores=0,2,4,6
/proc/17221/stat : 17221 (strangenight1-m) R 17219 17221 16708 0 -1 4202496 9463049 0 0 0 326446 1329 0 0 25 0 4 0 650973279 9495445504 2100138 33554432000 4194304 4650419 140734526419376 18446744073709551615 4331981 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17221/statm: 2318224 2100138 396 112 0 2313189 0
[pid=17221/tid=17222] ppid=17219 vsize=9272896 CPUtime=813.32 cores=0,2,4,6
/proc/17221/task/17222/stat : 17222 (strangenight1-m) R 17219 17221 16708 0 -1 4202560 528148 0 0 0 81216 116 0 0 25 0 4 0 650973279 9495445504 2100138 33554432000 4194304 4650419 140734526419376 18446744073709551615 4328259 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17221/tid=17223] ppid=17219 vsize=9272896 CPUtime=821.68 cores=0,2,4,6
/proc/17221/task/17223/stat : 17223 (strangenight1-m) R 17219 17221 16708 0 -1 4202560 523922 0 0 0 82050 118 0 0 25 0 4 0 650973279 9495445504 2100138 33554432000 4194304 4650419 140734526419376 18446744073709551615 4333710 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17221/tid=17224] ppid=17219 vsize=9272896 CPUtime=821.56 cores=0,2,4,6
/proc/17221/task/17224/stat : 17224 (strangenight1-m) R 17219 17221 16708 0 -1 4202560 7966703 0 0 0 81158 998 0 0 25 0 4 0 650973280 9495445504 2100138 33554432000 4194304 4650419 140734526419376 18446744073709551615 4315137 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3277.75
Current children cumulated vsize (KiB) 9272896

[startup+882.313 s]
/proc/loadavg: 8.07 7.98 7.71 9/359 17248
/proc/meminfo: memFree=7109396/32950928 swapFree=67056568/67111528
[pid=17221] ppid=17219 vsize=9346716 CPUtime=3517.11 cores=0,2,4,6
/proc/17221/stat : 17221 (strangenight1-m) R 17219 17221 16708 0 -1 4202496 9633590 0 0 0 350346 1365 0 0 25 0 4 0 650973279 9571037184 2115405 33554432000 4194304 4650419 140734526419376 18446744073709551615 4315153 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17221/statm: 2336679 2115405 396 112 0 2331644 0
[pid=17221/tid=17222] ppid=17219 vsize=9346716 CPUtime=872.66 cores=0,2,4,6
/proc/17221/task/17222/stat : 17222 (strangenight1-m) R 17219 17221 16708 0 -1 4202560 572941 0 0 0 87139 127 0 0 25 0 4 0 650973279 9571037184 2115405 33554432000 4194304 4650419 140734526419376 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17221/tid=17223] ppid=17219 vsize=9346716 CPUtime=881.69 cores=0,2,4,6
/proc/17221/task/17223/stat : 17223 (strangenight1-m) R 17219 17221 16708 0 -1 4202560 567469 0 0 0 88043 126 0 0 25 0 4 0 650973279 9571037184 2115405 33554432000 4194304 4650419 140734526419376 18446744073709551615 4333753 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17221/tid=17224] ppid=17219 vsize=9346716 CPUtime=881.57 cores=0,2,4,6
/proc/17221/task/17224/stat : 17224 (strangenight1-m) R 17219 17221 16708 0 -1 4202560 8001190 0 0 0 87152 1005 0 0 25 0 4 0 650973280 9571037184 2115405 33554432000 4194304 4650419 140734526419376 18446744073709551615 4315168 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3517.11
Current children cumulated vsize (KiB) 9346716

[startup+942.3 s]
/proc/loadavg: 8.10 8.01 7.73 9/359 17250
/proc/meminfo: memFree=6939968/32950928 swapFree=67056568/67111528
[pid=17221] ppid=17219 vsize=9657656 CPUtime=3756.39 cores=0,2,4,6
/proc/17221/stat : 17221 (strangenight1-m) R 17219 17221 16708 0 -1 4202496 9817307 0 0 0 374233 1406 0 0 25 0 4 0 650973279 9889439744 2149297 33554432000 4194304 4650419 140734526419376 18446744073709551615 4315081 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17221/statm: 2414414 2149297 396 112 0 2409379 0
[pid=17221/tid=17222] ppid=17219 vsize=9657656 CPUtime=931.98 cores=0,2,4,6
/proc/17221/task/17222/stat : 17222 (strangenight1-m) R 17219 17221 16708 0 -1 4202560 603733 0 0 0 93065 133 0 0 25 0 4 0 650973279 9889439744 2149297 33554432000 4194304 4650419 140734526419376 18446744073709551615 4315081 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17221/tid=17223] ppid=17219 vsize=9657656 CPUtime=941.67 cores=0,2,4,6
/proc/17221/task/17223/stat : 17223 (strangenight1-m) R 17219 17221 16708 0 -1 4202560 609346 0 0 0 94031 136 0 0 25 0 4 0 650973279 9889439744 2149297 33554432000 4194304 4650419 140734526419376 18446744073709551615 4315286 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17221/tid=17224] ppid=17219 vsize=9657656 CPUtime=941.56 cores=0,2,4,6
/proc/17221/task/17224/stat : 17224 (strangenight1-m) R 17219 17221 16708 0 -1 4202560 8063479 0 0 0 93138 1018 0 0 25 0 4 0 650973280 9889439744 2149297 33554432000 4194304 4650419 140734526419376 18446744073709551615 4369378 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3756.39
Current children cumulated vsize (KiB) 9657656

[startup+1002.3 s]
/proc/loadavg: 8.17 8.05 7.76 9/359 17252
/proc/meminfo: memFree=6596220/32950928 swapFree=67056568/67111528
[pid=17221] ppid=17219 vsize=9882796 CPUtime=3995.72 cores=0,2,4,6
/proc/17221/stat : 17221 (strangenight1-m) R 17219 17221 16708 0 -1 4202496 9993691 0 0 0 398127 1445 0 0 25 0 4 0 650973279 10119983104 2228167 33554432000 4194304 4650419 140734526419376 18446744073709551615 4230671 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17221/statm: 2470699 2228167 396 112 0 2465664 0
[pid=17221/tid=17222] ppid=17219 vsize=9882796 CPUtime=991.31 cores=0,2,4,6
/proc/17221/task/17222/stat : 17222 (strangenight1-m) R 17219 17221 16708 0 -1 4202560 646388 0 0 0 98988 143 0 0 25 0 4 0 650973279 10119983104 2228167 33554432000 4194304 4650419 140734526419376 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17221/tid=17223] ppid=17219 vsize=9882796 CPUtime=1001.67 cores=0,2,4,6
/proc/17221/task/17223/stat : 17223 (strangenight1-m) R 17219 17221 16708 0 -1 4202560 649703 0 0 0 100023 144 0 0 25 0 4 0 650973279 10119983104 2228167 33554432000 4194304 4650419 140734526419376 18446744073709551615 4334075 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17221/tid=17224] ppid=17219 vsize=9882796 CPUtime=1001.56 cores=0,2,4,6
/proc/17221/task/17224/stat : 17224 (strangenight1-m) R 17219 17221 16708 0 -1 4202560 8114646 0 0 0 99128 1028 0 0 25 0 4 0 650973280 10119983104 2228167 33554432000 4194304 4650419 140734526419376 18446744073709551615 4333632 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3995.72
Current children cumulated vsize (KiB) 9882796

[startup+1062.3 s]
/proc/loadavg: 8.06 8.04 7.77 9/359 17253
/proc/meminfo: memFree=6267708/32950928 swapFree=67056568/67111528
[pid=17221] ppid=17219 vsize=10148424 CPUtime=4235.04 cores=0,2,4,6
/proc/17221/stat : 17221 (strangenight1-m) R 17219 17221 16708 0 -1 4202496 10141026 0 0 0 422023 1481 0 0 25 0 4 0 650973279 10391986176 2291326 33554432000 4194304 4650419 140734526419376 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17221/statm: 2537106 2291326 396 112 0 2532071 0
[pid=17221/tid=17222] ppid=17219 vsize=10148424 CPUtime=1050.65 cores=0,2,4,6
/proc/17221/task/17222/stat : 17222 (strangenight1-m) R 17219 17221 16708 0 -1 4202560 685506 0 0 0 104909 156 0 0 25 0 4 0 650973279 10391986176 2291326 33554432000 4194304 4650419 140734526419376 18446744073709551615 4315277 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17221/tid=17223] ppid=17219 vsize=10148424 CPUtime=1061.67 cores=0,2,4,6
/proc/17221/task/17223/stat : 17223 (strangenight1-m) R 17219 17221 16708 0 -1 4202560 699128 0 0 0 106012 155 0 0 25 0 4 0 650973279 10391986176 2291326 33554432000 4194304 4650419 140734526419376 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17221/tid=17224] ppid=17219 vsize=10148424 CPUtime=1061.56 cores=0,2,4,6
/proc/17221/task/17224/stat : 17224 (strangenight1-m) R 17219 17221 16708 0 -1 4202560 8137763 0 0 0 105121 1035 0 0 25 0 4 0 650973280 10391986176 2291326 33554432000 4194304 4650419 140734526419376 18446744073709551615 4315244 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4235.04
Current children cumulated vsize (KiB) 10148424

[startup+1122.3 s]
/proc/loadavg: 8.02 8.03 7.78 9/359 17255
/proc/meminfo: memFree=6253644/32950928 swapFree=67056568/67111528
[pid=17221] ppid=17219 vsize=10084208 CPUtime=4474.37 cores=0,2,4,6
/proc/17221/stat : 17221 (strangenight1-m) R 17219 17221 16708 0 -1 4202496 10197875 0 0 0 445931 1506 0 0 25 0 4 0 650973279 10326228992 2288874 33554432000 4194304 4650419 140734526419376 18446744073709551615 4315288 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17221/statm: 2521052 2288874 396 112 0 2516017 0
[pid=17221/tid=17222] ppid=17219 vsize=10084208 CPUtime=1109.97 cores=0,2,4,6
/proc/17221/task/17222/stat : 17222 (strangenight1-m) R 17219 17221 16708 0 -1 4202560 725166 0 0 0 110825 172 0 0 25 0 4 0 650973279 10326228992 2288874 33554432000 4194304 4650419 140734526419376 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17221/tid=17223] ppid=17219 vsize=10084208 CPUtime=1121.67 cores=0,2,4,6
/proc/17221/task/17223/stat : 17223 (strangenight1-m) R 17219 17221 16708 0 -1 4202560 699128 0 0 0 112012 155 0 0 25 0 4 0 650973279 10326228992 2288874 33554432000 4194304 4650419 140734526419376 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17221/tid=17224] ppid=17219 vsize=10084208 CPUtime=1121.55 cores=0,2,4,6
/proc/17221/task/17224/stat : 17224 (strangenight1-m) R 17219 17221 16708 0 -1 4202560 8150437 0 0 0 111114 1041 0 0 25 0 4 0 650973280 10326228992 2288874 33554432000 4194304 4650419 140734526419376 18446744073709551615 4315268 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4474.37
Current children cumulated vsize (KiB) 10084208

[startup+1182.3 s]
/proc/loadavg: 8.08 8.04 7.80 9/359 17256
/proc/meminfo: memFree=6088176/32950928 swapFree=67056568/67111528
[pid=17221] ppid=17219 vsize=10170860 CPUtime=4713.71 cores=0,2,4,6
/proc/17221/stat : 17221 (strangenight1-m) R 17219 17221 16708 0 -1 4202496 10314985 0 0 0 469832 1539 0 0 25 0 4 0 650973279 10414960640 2307784 33554432000 4194304 4650419 140734526419376 18446744073709551615 4366906 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17221/statm: 2542715 2307784 396 112 0 2537680 0
[pid=17221/tid=17222] ppid=17219 vsize=10170860 CPUtime=1169.31 cores=0,2,4,6
/proc/17221/task/17222/stat : 17222 (strangenight1-m) R 17219 17221 16708 0 -1 4202560 767980 0 0 0 116747 184 0 0 25 0 4 0 650973279 10414960640 2307784 33554432000 4194304 4650419 140734526419376 18446744073709551615 4364738 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17221/tid=17223] ppid=17219 vsize=10170860 CPUtime=1181.68 cores=0,2,4,6
/proc/17221/task/17223/stat : 17223 (strangenight1-m) R 17219 17221 16708 0 -1 4202560 699128 0 0 0 118013 155 0 0 25 0 4 0 650973279 10414960640 2307784 33554432000 4194304 4650419 140734526419376 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17221/tid=17224] ppid=17219 vsize=10170860 CPUtime=1181.54 cores=0,2,4,6
/proc/17221/task/17224/stat : 17224 (strangenight1-m) R 17219 17221 16708 0 -1 4202560 8181567 0 0 0 117104 1050 0 0 25 0 4 0 650973280 10414960640 2307784 33554432000 4194304 4650419 140734526419376 18446744073709551615 4315094 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4713.71
Current children cumulated vsize (KiB) 10170860



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1204 s]
/proc/loadavg: 8.05 8.03 7.81 5/354 17258
/proc/meminfo: memFree=15460124/32950928 swapFree=67056568/67111528
[pid=17221] ppid=17219 vsize=10301948 CPUtime=4800.28 cores=0,2,4,6
/proc/17221/stat : 17221 (strangenight1-m) R 17219 17221 16708 0 -1 4202496 10341452 0 0 0 478479 1549 0 0 25 0 4 0 650973279 10549194752 2313582 33554432000 4194304 4650419 140734526419376 18446744073709551615 4315277 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17221/statm: 2575487 2313582 396 112 0 2570452 0
[pid=17221/tid=17222] ppid=17219 vsize=10301948 CPUtime=1190.76 cores=0,2,4,6
/proc/17221/task/17222/stat : 17222 (strangenight1-m) R 17219 17221 16708 0 -1 4202560 770639 0 0 0 118891 185 0 0 25 0 4 0 650973279 10549194752 2313590 33554432000 4194304 4650419 140734526419376 18446744073709551615 4476522 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17221/tid=17223] ppid=17219 vsize=10301948 CPUtime=1203.39 cores=0,2,4,6
/proc/17221/task/17223/stat : 17223 (strangenight1-m) R 17219 17221 16708 0 -1 4202560 701307 0 0 0 120184 155 0 0 25 0 4 0 650973279 10549194752 2313590 33554432000 4194304 4650419 140734526419376 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17221/tid=17224] ppid=17219 vsize=10301948 CPUtime=1203.26 cores=0,2,4,6
/proc/17221/task/17224/stat : 17224 (strangenight1-m) R 17219 17221 16708 0 -1 4202560 8192629 0 0 0 119271 1055 0 0 25 0 4 0 650973280 10549194752 2313590 33554432000 4194304 4650419 140734526419376 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.28
Current children cumulated vsize (KiB) 10301948

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

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

[startup+1204.3 s]
/proc/loadavg: 8.05 8.03 7.81 5/354 17258
/proc/meminfo: memFree=15460124/32950928 swapFree=67056568/67111528
[pid=17221] ppid=17219 vsize=0 CPUtime=4800.61 cores=0,2,4,6
/proc/17221/stat : 17221 (strangenight1-m) Z 17219 17221 16708 0 -1 4203548 10341465 0 0 0 478483 1578 0 0 25 0 2 0 650973279 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17221/statm: 0 0 0 0 0 0 0
[pid=17221/tid=17222] ppid=17219 vsize=0 CPUtime=1191.05 cores=0,2,4,6
/proc/17221/task/17222/stat : 17222 (strangenight1-m) R 17219 17221 16708 0 -1 4203588 770639 0 0 0 118892 213 0 0 25 0 2 0 650973279 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4800.61
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1204.38
CPU time (s): 4800.69
CPU user time (s): 4784.83
CPU system time (s): 15.8636
CPU usage (%): 398.602
Max. virtual memory (cumulated for all children) (KiB): 10301948

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4784.83
system time used= 15.8636
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10341465
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= 32577
involuntary context switches= 22133

runsolver used 3.77443 second user time and 9.40557 second system time

The end

Launcher Data 

Begin job on node148 at 2011-05-14 19:22:42
IDJOB=3369689
IDBENCH=82389
IDSOLVER=1846
FILE ID=node148/3369689-1305393761
RUNJOBID= node148-1305393761-17198
PBS_JOBID= 13324440
Free space on /tmp= 72812 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt (fixed)
BENCH NAME= SAT11/application/rintanen/SATPlanning/openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.045-NOTKNOWN.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3369689-1305393761/watcher-3369689-1305393761 -o /tmp/evaluation-result-3369689-1305393761/solver-3369689-1305393761 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3369689-1305393761.cnf

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

MD5SUM BENCH= 4ab53801f3b1a3f7169c9fb38cba4184
RANDOM SEED=1114190111

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      24598964 kB
Buffers:        312748 kB
Cached:        4614792 kB
SwapCached:       8488 kB
Active:        4705224 kB
Inactive:      3292816 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      24598964 kB
SwapTotal:    67111528 kB
SwapFree:     67056568 kB
Dirty:           36296 kB
Writeback:          24 kB
AnonPages:     3068592 kB
Mapped:          27668 kB
Slab:           260316 kB
PageTables:      29292 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 84881256 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= 72812 MiB
End job on node148 at 2011-05-14 19:42:48