Trace number 3369691

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.26 1202.97

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.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-3369691-1305393772.cnf'
0.00/0.01	c -- header says num vars:         175084
0.00/0.01	c -- header says num clauses:     2826936
2.85/0.76	c -- clauses added:            0 learnts,      2826936 normals,            0 xors
2.85/0.76	c -- vars added     175084
2.85/0.76	c Parsing time:  2.60 s
2.85/0.76	c  N st     0         0    175084     86202   2367076         0   5605905         0   no data   no data  --
4.33/1.11	c asymm  cl-useful: 815/1252/72288 lits-rem:35949 time: 1.34
29.84/7.53	c Flit:   261 Blit:   8669 bXBeca:    0 bXProp:  503 Bins:      0 BRemL:      0 BRemN:      0 P: 200.0M T: 25.42
29.84/7.58	c Cleaning up after failed var search:     0.18 s 
30.24/7.66	c Replacing      503 vars Replaced    29207 lits Time:     0.30 s 
31.45/7.94	c bin-w-bin subsume rem          734 bins  time:  0.58 s
32.62/8.29	c subs with bin:       33  lits-rem:       151  v-fix:    0  time:  1.40 s
47.79/12.05	c Subs w/ non-existent bins:      0 l-rem:    292 v-fix:     0 done:  27687 time: 14.98 s
48.59/12.25	c Removed useless bin:    8124  fixed:     0  props:  20.00M  time:  0.77 s
50.97/12.83	c lits-rem:         0  cl-subs:       80  v-elim:     13  v-fix:    0  time:  2.32 s
50.97/12.88	c Finding binary XORs  T:     0.20 s  found:     180
51.37/12.96	c Replacing      180 vars Replaced    14370 lits Time:     0.30 s 
51.77/13.07	c Finding non-binary XORs:     0.20 s (found:       0, avg size: nan)
51.77/13.07	c Calc default polars -  time:   0.12 s pos:    3521 undec:   59475 neg:  112088
51.77/13.07	c =========================================================================================
51.77/13.07	c types(t): F = full restart, N = normal restart
51.77/13.07	c types(t): S = simplification begin/end, E = solution found
51.77/13.07	c restart types(rt): st = static, dy = dynamic
51.77/13.07	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
51.77/13.07	c  B st     0         0    115615     67472   1541440         0   3711939         0   no data   no data  --
79.30/19.95	c  N dy    15      4041    115553     67472   1541486      3957   3711939   2795387     28.57     30.20  --
104.45/26.20	c  N dy    34      8073    115482     67472   1541631      7882   3711939   5154829     28.05     33.05  --
127.60/32.09	c  N dy    54     12079    115392     67472   1541696     11788   3711939   7507147     32.31     50.58  --
154.77/38.89	c  N dy    75     16284    115093     67472   1542270     15935   3711939  10111749     31.71     39.35  --
187.85/47.12	c  N dy    93     20901    115024     67472   1542652     10680   3711939   1907355     30.66     32.77  --
215.00/53.97	c  F st   109     25000    114998     67472   1542994     14691   3711938   4937210     29.88     15.46  --
216.23/54.27	c  N st   109     25000    114998     67080   1529989     14621   3681005   4922596     29.88     15.46  --
260.48/65.35	c  N dy   115     30001    114866     67080   1530046     19537   3681005   9467973     29.88   no data  --
260.48/65.35	c  S st   115     30001    114866     67080   1530046     19537   3681005   9467973     29.88   no data  --
264.09/66.22	c  S st   115     30501    114863     67080   1530058     20022   3681005   9593930     29.88   no data  --
264.09/66.30	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.29
341.50/85.62	c Flit:   163 Blit:   1187 bXBeca:    0 bXProp:   53 Bins: 138576 BRemL:     12 BRemN:   2007 P: 200.0M T: 77.06
341.50/85.69	c Cleaning up after failed var search:     0.26 s 
342.30/85.85	c Replacing       53 vars Replaced    11212 lits Time:     0.65 s 
346.70/86.99	c bin-w-bin subsume rem          535 bins  time:  0.48 s
352.67/88.46	c subs with bin:       31  lits-rem:      1543  v-fix:    0  time:  5.83 s
354.68/88.95	c Subs w/ non-existent bins:      4 l-rem:    652 v-fix:    13 done:   1983 time:  1.98 s
355.47/89.17	c Removed useless bin:    6609  fixed:     0  props:  20.04M  time:  0.86 s
384.60/96.43	c lits-rem:        75  cl-subs:      770  v-elim:      0  v-fix:    0  time: 28.89 s
386.20/96.80	c asymm  cl-useful: 45/942/66356 lits-rem:109 time: 1.46
386.20/96.83	c  N dy   115     30501    113340     66356   1630738     18951   3608845   9442705     29.88   no data  --
386.60/96.90	c Finding binary XORs  T:     0.21 s  found:     173
410.14/102.86	c  N dy   130     34608    113298     66356   1631352     22974   3608845  11393977     29.13     31.20  --
434.88/109.08	c  N dy   147     38643    113269     66356   1631963     26925   3608845  13578254     30.18     35.87  --
471.59/118.26	c  N dy   166     42988    113263     66356   1632022     16220   3608845   2118268     30.48     32.25  --
488.75/122.56	c  S st   176     45752    113260     66356   1632051     18943   3608845   3581196     30.23     23.82  --
492.36/123.50	c  S st   176     46253    113250     66356   1632071     19420   3608845   3731986     30.23   no data  --
492.78/123.57	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.28
556.61/139.59	c Flit:   353 Blit:    763 bXBeca:    0 bXProp:   47 Bins:  87959 BRemL:     16 BRemN:    252 P: 200.1M T: 63.84
557.00/139.64	c Cleaning up after failed var search:     0.19 s 
557.40/139.78	c Replacing      221 vars Replaced    15762 lits Time:     0.52 s 
558.99/140.18	c bin-w-bin subsume rem          843 bins  time:  0.52 s
565.38/141.73	c subs with bin:        1  lits-rem:         1  v-fix:    0  time:  6.18 s
569.37/142.73	c Subs w/ non-existent bins:     20 l-rem:   1107 v-fix:    25 done:   4433 time:  3.99 s
570.17/142.98	c Removed useless bin:   10517  fixed:     0  props:  20.01M  time:  0.98 s
576.95/144.67	c lits-rem:       716  cl-subs:      348  v-elim:      3  v-fix:    0  time:  6.76 s
578.56/145.05	c asymm  cl-useful: 9/554/65829 lits-rem:25 time: 1.50
578.56/145.09	c  N dy   176     46253    111821     65829   1675416     18850   3537848   3733481     30.23   no data  --
578.96/145.15	c Finding binary XORs  T:     0.21 s  found:      91
602.53/151.04	c  N dy   189     50342    111349     65829   1697041     22870   3537847   5968389     29.95     74.42  --
624.83/156.67	c  N dy   205     55124    111349     65829   1697090     27571   3537847   7909353     29.44     31.42  --
655.56/164.37	c  N dy   223     60104    111345     65829   1697421     32459   3537847  10881795     29.19     31.03  --
688.28/172.57	c  N dy   237     64243    111326     65829   1697658     18358   3537847   1362253     28.72     37.09  --
707.88/177.46	c Finding binary XORs  T:     0.21 s  found:     119
711.44/178.37	c  N dy   260     68473    111326     65536   1676339     22410   3519326   3600680     29.33     31.18  --
719.02/180.21	c  S st   269     69382    111325     65536   1676510     23306   3519326   4258605     29.63   no data  --
722.61/181.17	c  S st   269     69883    111324     65536   1676527     23789   3519326   4369546     29.63   no data  --
723.01/181.24	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.28
802.83/201.25	c Flit:   142 Blit:    222 bXBeca:    0 bXProp:   25 Bins: 180095 BRemL:    891 BRemN:   3416 P: 200.0M T: 79.77
802.83/201.25	c Cleaning up after failed var search:     0.00 s 
803.63/201.46	c Replacing      236 vars Replaced    38910 lits Time:     0.78 s 
805.62/201.91	c bin-w-bin subsume rem          803 bins  time:  0.61 s
811.60/203.44	c subs with bin:       30  lits-rem:      1110  v-fix:    0  time:  6.10 s
814.39/204.12	c Subs w/ non-existent bins:      9 l-rem:    693 v-fix:     0 done:   2714 time:  2.74 s
815.19/204.36	c Removed useless bin:    8806  fixed:     0  props:  20.02M  time:  0.93 s
822.77/206.27	c lits-rem:       245  cl-subs:      480  v-elim:      0  v-fix:    0  time:  7.61 s
824.37/206.65	c asymm  cl-useful: 156/437/65340 lits-rem:2367 time: 1.52
824.37/206.69	c  N dy   269     69883    110726     65340   1828252     23163   3474856   4530948     29.63   no data  --
831.55/208.49	c Finding binary XORs  T:     0.23 s  found:      39
850.32/213.15	c  N dy   285     74358    110722     65336   1828065     27541   3474684   7144022     30.18     32.33  --
875.85/219.55	c  N dy   299     79494    110636     65336   1836538     32609   3474684   9335532     29.75     41.41  --
926.15/232.18	c  N dy   323     84570    110629     65336   1838920     37607   3474684  13751994     30.28    275.76  --
945.70/237.03	c  F st   335     87501    110628     65336   1838932     40507   3474684  15532820     30.49   no data  --
947.29/237.42	c Replacing       39 vars Replaced    14572 lits Time:     1.23 s 
965.25/241.95	c Finding binary XORs  T:     0.23 s  found:      46
972.83/243.80	c  N st   340     90802    110500     65230   2000458     23405   3467242   4255564     30.49   no data  --
1010.78/253.39	c  N dy   362     96603    110493     65230   2000784     29131   3467242   8545759     30.37     32.17  --
1051.05/263.40	c  N dy   389    102799    110487     65230   2000927     35245   3467242  12556659     30.37     56.48  --
1066.22/267.24	c  S st   393    104824    110486     65230   2000938     37253   3467242  14563971     30.21     29.28  --
1069.41/268.06	c  S st   393    105325    110486     65230   2000948     37741   3467242  14658782     30.21   no data  --
1069.81/268.15	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.36
1118.10/280.21	c Flit:   118 Blit:    142 bXBeca:    0 bXProp:    7 Bins:  87343 BRemL:   2119 BRemN:   1895 P: 200.0M T: 48.09
1118.10/280.22	c Cleaning up after failed var search:     0.00 s 
1119.70/280.60	c Replacing       54 vars Replaced    24547 lits Time:     1.52 s 
1124.50/281.81	c bin-w-bin subsume rem         2068 bins  time:  0.74 s
1130.47/283.35	c subs with bin:        2  lits-rem:         1  v-fix:    0  time:  6.13 s
1132.86/283.91	c Subs w/ non-existent bins:     12 l-rem:    626 v-fix:     0 done:   1931 time:  2.24 s
1133.70/284.15	c Removed useless bin:    7432  fixed:     0  props:  20.00M  time:  0.94 s
1218.27/305.35	c lits-rem:        40  cl-subs:      871  v-elim:      0  v-fix:    0  time: 84.23 s
1219.87/305.76	c asymm  cl-useful: 354/401/65128 lits-rem:5261 time: 1.66
1220.26/305.81	c  N dy   393    105325    110165     65128   2067983     36806   3433356  14529252     30.21   no data  --
1220.26/305.87	c Finding binary XORs  T:     0.24 s  found:      19
1262.57/316.47	c  N dy   416    112372    110101     65128   2109849     43775   3433356  18385268     29.74     31.36  --
1292.10/323.80	c Finding binary XORs  T:     0.23 s  found:      19
1302.88/326.57	c  N dy   433    119950    110100     65089   2103072     29303   3430511   5333083     29.28     30.88  --
1362.33/341.44	c  N dy   456    129521    110098     65089   2103313     38763   3430511  10842008     28.64     30.57  --
1418.21/355.50	c  N dy   485    138098    110096     65089   2103595     24251   3430511   2199763     28.56     30.69  --
1451.73/363.87	c Finding binary XORs  T:     0.24 s  found:      29
1472.08/368.96	c  N dy   516    147102    109954     65021   2128492     33076   3424947   7422444     28.54     41.11  --
1529.14/383.25	c  N dy   547    156574    109949     65021   2128819     42419   3424947  12923992     28.37     30.36  --
1539.92/385.97	c  S st   555    157988    109949     65021   2128839     43809   3424947  13775723     28.35     27.75  --
1543.92/386.91	c  S st   555    158488    109949     65021   2128848     44300   3424947  13943102     28.35   no data  --
1544.32/387.00	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.37
1631.72/408.97	c Flit:    96 Blit:     94 bXBeca:    0 bXProp:   13 Bins: 204049 BRemL:   1409 BRemN:   4455 P: 200.0M T: 87.62
1631.72/408.97	c Cleaning up after failed var search:     0.00 s 
1633.32/409.39	c Replacing       81 vars Replaced    34115 lits Time:     1.66 s 
1638.13/410.56	c bin-w-bin subsume rem          971 bins  time:  0.87 s
1644.49/412.11	c subs with bin:        0  lits-rem:         5  v-fix:    0  time:  6.19 s
1646.49/412.60	c Subs w/ non-existent bins:      8 l-rem:    892 v-fix:     0 done:   1274 time:  1.94 s
1647.32/412.86	c Removed useless bin:    7240  fixed:     0  props:  20.01M  time:  1.01 s
1739.08/435.81	c lits-rem:        30  cl-subs:     1146  v-elim:      2  v-fix:    0  time: 91.54 s
1740.27/436.19	c asymm  cl-useful: 1/836/64916 lits-rem:8 time: 1.53
1740.66/436.24	c  N dy   555    158488    109682     64916   2310652     43052   3393963  13991837     28.35   no data  --
1741.06/436.30	c Finding binary XORs  T:     0.23 s  found:      15
1805.35/452.45	c Finding binary XORs  T:     0.24 s  found:      17
1812.10/454.11	c  N dy   580    168844    109609     64873   2388682     31001   3390410   6169606     27.84     29.81  --
1874.35/469.74	c  N dy   617    179646    109603     64873   2388930     41689   3390410  11830970     27.64     31.15  --
1886.73/472.88	c Finding binary XORs  T:     0.25 s  found:      14
1957.37/490.53	c  N dy   639    191286    109528     64831   2456935     53178   3387357  20445580     27.24     29.50  --
2036.79/510.41	c  N dy   688    204519    109515     64831   2457400     42627   3387357   9956325     27.13     28.62  --
2115.41/530.14	c  N dy   734    217587    109501     64831   2457600     55559   3387357  16831091     27.24     30.58  --
2209.97/553.86	c  N dy   776    231608    109494     64831   2457968     45070   3387357  11205520     27.13     28.59  --
2256.67/565.52	c  S st   799    237734    109493     64831   2458116     51148   3387357  16066110     27.14     25.70  --
2260.67/566.52	c  S st   799    238236    109492     64831   2458123     51642   3387357  16193904     27.14   no data  --
2261.07/566.62	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.40
2310.55/579.04	c Flit:    68 Blit:     71 bXBeca:    0 bXProp:   11 Bins: 105490 BRemL:      4 BRemN:    457 P: 200.1M T: 49.52
2310.55/579.04	c Cleaning up after failed var search:     0.00 s 
2312.15/579.40	c Replacing       57 vars Replaced    26760 lits Time:     1.42 s 
2316.54/580.56	c bin-w-bin subsume rem         2029 bins  time:  1.01 s
2322.94/582.15	c subs with bin:       17  lits-rem:        63  v-fix:    0  time:  6.30 s
2324.52/582.60	c Subs w/ non-existent bins:      5 l-rem:    648 v-fix:     0 done:    863 time:  1.80 s
2325.72/582.89	c Removed useless bin:   20760  fixed:     0  props:  20.01M  time:  1.16 s
2426.67/608.18	c lits-rem:        20  cl-subs:     1133  v-elim:      2  v-fix:    0  time: 100.85 s
2428.29/608.60	c asymm  cl-useful: 10/486/64738 lits-rem:46 time: 1.66
2428.70/608.66	c  N dy   799    238236    109287     64738   2532046     50397   3338222  16110059     27.14   no data  --
2429.06/608.72	c Finding binary XORs  T:     0.26 s  found:      21
2524.45/632.70	c  N dy   841    253956    109280     64738   2532985     40356   3338222   5214911     26.85     28.72  --
2655.74/665.52	c  N dy   889    270391    109279     64738   2533352     56605   3338222  18914200     26.59     29.01  --
2777.85/696.19	c  N dy   939    289061    109275     64738   2533854     48735   3338222   8180315     26.30     27.93  --
2876.47/720.85	c  F st   969    306250    109272     64738   2534269     65771   3338222  16738847     25.88     14.53  --
2877.62/721.15	c Replacing       21 vars Replaced    12562 lits Time:     0.88 s 
2899.97/726.77	c  N st   973    308282    109250     64732   2532524     67772   3337290  19304642     25.88   no data  --
3021.69/757.21	c  N dy  1030    328114    109237     64732   2532894     60210   3337290  11853147     25.67     27.09  --
3151.80/789.82	c  N dy  1085    348769    109235     64732   2533247     52743   3337290   6555863     25.38     26.79  --
3189.71/799.34	c Finding binary XORs  T:     0.26 s  found:      16
3221.25/807.21	c  S st  1121    357355    109176     64692   2653597     61208   3334490  12999730     25.39   no data  --
3225.24/808.29	c  S st  1121    357857    109176     64692   2653605     61702   3334490  13097185     25.39   no data  --
3225.64/808.39	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.41
3267.54/818.86	c Flit:    60 Blit:     54 bXBeca:    0 bXProp:    2 Bins:  40115 BRemL:      2 BRemN:    247 P: 200.0M T: 41.73
3267.54/818.86	c Cleaning up after failed var search:     0.00 s 
3268.74/819.11	c Replacing       19 vars Replaced    10294 lits Time:     0.96 s 
3272.33/820.07	c bin-w-bin subsume rem         1371 bins  time:  1.07 s
3278.72/821.69	c subs with bin:        3  lits-rem:         4  v-fix:    0  time:  6.45 s
3281.91/822.46	c Subs w/ non-existent bins:     49 l-rem:   1613 v-fix:     0 done:   2306 time:  3.07 s
3283.10/822.75	c Removed useless bin:   16519  fixed:     0  props:  20.01M  time:  1.14 s
3355.74/840.99	c lits-rem:        75  cl-subs:     1400  v-elim:      4  v-fix:    0  time: 72.17 s
3357.74/841.42	c asymm  cl-useful: 1/354/64646 lits-rem:3 time: 1.71
3357.74/841.48	c  N dy  1121    357857    109039     64646   2671767     60192   3297074  12873432     25.39   no data  --
3420.41/857.19	c Finding binary XORs  T:     0.26 s  found:      38
3497.01/876.35	c  N dy  1190    378215    108945     64594   2685752     50672   3293314   4419783     25.19     27.52  --
3611.55/905.07	c  N dy  1252    398276    108940     64594   2686076     70521   3293314  13254904     24.98     29.10  --
3764.00/943.27	c  N dy  1321    418757    108931     64594   2686372     61057   3293314   8662855     24.85     26.26  --
3894.53/975.92	c  N dy  1375    439342    108930     64594   2686598     81486   3293314  18993875     24.70     26.14  --
3957.96/991.89	c Finding binary XORs  T:     0.25 s  found:      33
4025.41/1008.71	c  N dy  1470    459779    108835     64527   2780193     71015   3289154  11431967     24.80     27.00  --
4157.50/1041.86	c  N dy  1528    480302    108832     64527   2780699     91299   3289154  22278334     24.63     27.78  --
4279.23/1072.36	c  N dy  1579    500389    108825     64527   2781123     79756   3289154  12477713     24.40     27.17  --
4428.09/1109.61	c  N dy  1646    521016    108820     64527   2781441     67611   3289154   4796534     24.30     25.59  --
4530.66/1135.38	c  S st  1690    536786    108818     64527   2781870     83268   3289154  13696603     24.23     20.46  --
4534.64/1136.31	c  S st  1690    537286    108818     64527   2781872     83766   3289154  13817035     24.23   no data  --
4535.05/1136.42	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.41
4592.12/1150.78	c Flit:    40 Blit:     19 bXBeca:    0 bXProp:    3 Bins: 120695 BRemL:     56 BRemN:    547 P: 200.0M T: 57.27
4594.11/1151.23	c Replacing       74 vars Replaced    48730 lits Time:     1.76 s 
4598.50/1152.33	c bin-w-bin subsume rem          901 bins  time:  1.20 s
4604.89/1153.93	c subs with bin:        5  lits-rem:        50  v-fix:    0  time:  6.38 s
4606.48/1154.32	c Subs w/ non-existent bins:      1 l-rem:    601 v-fix:     0 done:    281 time:  1.54 s
4607.28/1154.59	c Removed useless bin:   10922  fixed:     0  props:  20.01M  time:  1.10 s
4743.37/1188.60	c lits-rem:       272  cl-subs:     1981  v-elim:      0  v-fix:    0  time: 134.77 s
4744.97/1189.03	c asymm  cl-useful: 0/341/64485 lits-rem:0 time: 1.72
4744.97/1189.10	c  N dy  1690    537286    108686     64485   2885133     81748   3262283  13851655     24.23   no data  --
4745.37/1189.16	c Finding binary XORs  T:     0.27 s  found:       4

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-3369691-1305393772/watcher-3369691-1305393772 -o /tmp/evaluation-result-3369691-1305393772/solver-3369691-1305393772 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3369691-1305393772.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: 8.16 8.03 7.70 5/294 4130
/proc/meminfo: memFree=16559760/32951124 swapFree=52307768/67111528
[pid=4130] ppid=4128 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/4130/stat : 4130 (strangenight1-m) R 4128 4130 3572 0 -1 4202496 412 0 0 0 0 0 0 0 22 0 4 0 650980130 52465664 352 33554432000 4194304 4650419 140736438003568 18446744073709551615 47851850991538 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4130/statm: 12809 352 303 112 0 7774 0
[pid=4130/tid=4131] ppid=4128 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/4130/task/4131/stat : 4131 (strangenight1-m) R 4128 4130 3572 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 650980130 52465664 352 33554432000 4194304 4650419 140736438003568 18446744073709551615 218371013617 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4130/tid=4132] ppid=4128 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/4130/task/4132/stat : 4132 (strangenight1-m) R 4128 4130 3572 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 650980130 52465664 352 33554432000 4194304 4650419 140736438003568 18446744073709551615 47851850991538 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4130/tid=4133] ppid=4128 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/4130/task/4133/stat : 4133 (strangenight1-m) R 4128 4130 3572 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 4 0 650980130 52465664 352 33554432000 4194304 4650419 140736438003568 18446744073709551615 47851850991536 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.103911 s]
/proc/loadavg: 8.16 8.03 7.70 5/294 4130
/proc/meminfo: memFree=16559760/32951124 swapFree=52307768/67111528
[pid=4130] ppid=4128 vsize=323776 CPUtime=0.38 cores=0,2,4,6
/proc/4130/stat : 4130 (strangenight1-m) R 4128 4130 3572 0 -1 4202496 16677 0 0 0 35 3 0 0 18 0 4 0 650980130 331546624 13775 33554432000 4194304 4650419 140736438003568 18446744073709551615 218371000455 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4130/statm: 80944 13775 345 112 0 75909 0
[pid=4130/tid=4131] ppid=4128 vsize=321724 CPUtime=0.09 cores=0,2,4,6
/proc/4130/task/4131/stat : 4131 (strangenight1-m) D 4128 4130 3572 0 -1 4202560 4082 0 0 0 8 1 0 0 18 0 4 0 650980130 329445376 13408 33554432000 4194304 4650419 140736438003568 18446744073709551615 4354216 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4130/tid=4132] ppid=4128 vsize=321724 CPUtime=0.09 cores=0,2,4,6
/proc/4130/task/4132/stat : 4132 (strangenight1-m) R 4128 4130 3572 0 -1 4202560 4037 0 0 0 9 0 0 0 18 0 4 0 650980130 329445376 13266 33554432000 4194304 4650419 140736438003568 18446744073709551615 218371000455 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4130/tid=4133] ppid=4128 vsize=321724 CPUtime=0.09 cores=0,2,4,6
/proc/4130/task/4133/stat : 4133 (strangenight1-m) D 4128 4130 3572 0 -1 4202560 4089 0 0 0 8 1 0 0 18 0 4 0 650980130 329445376 13266 33554432000 4194304 4650419 140736438003568 18446744073709551615 218371000455 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 323776

[startup+0.204109 s]
/proc/loadavg: 8.16 8.03 7.70 5/294 4130
/proc/meminfo: memFree=16559760/32951124 swapFree=52307768/67111528
[pid=4130] ppid=4128 vsize=333916 CPUtime=0.81 cores=0,2,4,6
/proc/4130/stat : 4130 (strangenight1-m) R 4128 4130 3572 0 -1 4202496 31950 0 0 0 73 8 0 0 18 0 4 0 650980130 341929984 27462 33554432000 4194304 4650419 140736438003568 18446744073709551615 4545938 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4130/statm: 83545 27797 345 112 0 78510 0
[pid=4130/tid=4131] ppid=4128 vsize=334576 CPUtime=0.19 cores=0,2,4,6
/proc/4130/task/4131/stat : 4131 (strangenight1-m) D 4128 4130 3572 0 -1 4202560 8230 0 0 0 18 1 0 0 18 0 4 0 650980130 342605824 28382 33554432000 4194304 4650419 140736438003568 18446744073709551615 218370618053 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4130/tid=4132] ppid=4128 vsize=335392 CPUtime=0.2 cores=0,2,4,6
/proc/4130/task/4132/stat : 4132 (strangenight1-m) R 4128 4130 3572 0 -1 4202560 8075 0 0 0 18 2 0 0 18 0 4 0 650980130 343441408 28662 33554432000 4194304 4650419 140736438003568 18446744073709551615 218370618401 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4130/tid=4133] ppid=4128 vsize=335392 CPUtime=0.2 cores=0,2,4,6
/proc/4130/task/4133/stat : 4133 (strangenight1-m) D 4128 4130 3572 0 -1 4202560 8130 0 0 0 18 2 0 0 18 0 4 0 650980130 343441408 28663 33554432000 4194304 4650419 140736438003568 18446744073709551615 218370618401 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.81
Current children cumulated vsize (KiB) 333916

[startup+0.367358 s]
/proc/loadavg: 8.16 8.03 7.70 5/294 4130
/proc/meminfo: memFree=16559760/32951124 swapFree=52307768/67111528
[pid=4130] ppid=4128 vsize=381600 CPUtime=1.53 cores=0,2,4,6
/proc/4130/stat : 4130 (strangenight1-m) R 4128 4130 3572 0 -1 4202496 63026 0 0 0 136 17 0 0 18 0 4 0 650980130 390758400 54118 33554432000 4194304 4650419 140736438003568 18446744073709551615 218370618401 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4130/statm: 96365 54364 345 112 0 91330 0
[pid=4130/tid=4131] ppid=4128 vsize=386980 CPUtime=0.37 cores=0,2,4,6
/proc/4130/task/4131/stat : 4131 (strangenight1-m) D 4128 4130 3572 0 -1 4202560 16325 0 0 0 35 2 0 0 18 0 4 0 650980130 396267520 54447 33554432000 4194304 4650419 140736438003568 18446744073709551615 218370653963 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4130/tid=4132] ppid=4128 vsize=386980 CPUtime=0.37 cores=0,2,4,6
/proc/4130/task/4132/stat : 4132 (strangenight1-m) R 4128 4130 3572 0 -1 4202560 15521 0 0 0 33 4 0 0 18 0 4 0 650980130 396267520 54627 33554432000 4194304 4650419 140736438003568 18446744073709551615 4545952 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4130/tid=4133] ppid=4128 vsize=386980 CPUtime=0.37 cores=0,2,4,6
/proc/4130/task/4133/stat : 4133 (strangenight1-m) D 4128 4130 3572 0 -1 4202560 15574 0 0 0 33 4 0 0 18 0 4 0 650980130 396267520 54672 33554432000 4194304 4650419 140736438003568 18446744073709551615 218370618401 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.53
Current children cumulated vsize (KiB) 381600

[startup+0.736439 s]
/proc/loadavg: 8.16 8.03 7.70 5/294 4130
/proc/meminfo: memFree=16559760/32951124 swapFree=52307768/67111528
[pid=4130] ppid=4128 vsize=681820 CPUtime=2.85 cores=0,2,4,6
/proc/4130/stat : 4130 (strangenight1-m) D 4128 4130 3572 0 -1 4202496 117840 0 0 0 252 33 0 0 18 0 4 0 650980130 698183680 100165 33554432000 4194304 4650419 140736438003568 18446744073709551615 218371000503 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4130/statm: 170455 100165 351 112 0 165420 0
[pid=4130/tid=4131] ppid=4128 vsize=681820 CPUtime=0.7 cores=0,2,4,6
/proc/4130/task/4131/stat : 4131 (strangenight1-m) R 4128 4130 3572 0 -1 4202560 30273 0 0 0 65 5 0 0 18 0 4 0 650980130 698183680 100165 33554432000 4194304 4650419 140736438003568 18446744073709551615 218370618053 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4130/tid=4132] ppid=4128 vsize=681820 CPUtime=0.71 cores=0,2,4,6
/proc/4130/task/4132/stat : 4132 (strangenight1-m) D 4128 4130 3572 0 -1 4202560 29027 0 0 0 62 9 0 0 18 0 4 0 650980130 698183680 100165 33554432000 4194304 4650419 140736438003568 18446744073709551615 218371000503 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4130/tid=4133] ppid=4128 vsize=681820 CPUtime=0.71 cores=0,2,4,6
/proc/4130/task/4133/stat : 4133 (strangenight1-m) D 4128 4130 3572 0 -1 4202560 29078 0 0 0 62 9 0 0 18 0 4 0 650980130 698183680 100165 33554432000 4194304 4650419 140736438003568 18446744073709551615 218371000503 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.85
Current children cumulated vsize (KiB) 681820

[startup+1.50066 s]
/proc/loadavg: 8.15 8.03 7.70 10/298 4134
/proc/meminfo: memFree=16126844/32951124 swapFree=52307768/67111528
[pid=4130] ppid=4128 vsize=702516 CPUtime=5.9 cores=0,2,4,6
/proc/4130/stat : 4130 (strangenight1-m) R 4128 4130 3572 0 -1 4202496 130547 0 0 0 553 37 0 0 19 0 4 0 650980130 719376384 109286 33554432000 4194304 4650419 140736438003568 18446744073709551615 4244776 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4130/statm: 175629 109286 373 112 0 170594 0
[pid=4130/tid=4131] ppid=4128 vsize=702516 CPUtime=1.46 cores=0,2,4,6
/proc/4130/task/4131/stat : 4131 (strangenight1-m) R 4128 4130 3572 0 -1 4202560 32749 0 0 0 140 6 0 0 18 0 4 0 650980130 719376384 109286 33554432000 4194304 4650419 140736438003568 18446744073709551615 4370329 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4130/tid=4132] ppid=4128 vsize=702516 CPUtime=1.47 cores=0,2,4,6
/proc/4130/task/4132/stat : 4132 (strangenight1-m) R 4128 4130 3572 0 -1 4202560 32845 0 0 0 137 10 0 0 18 0 4 0 650980130 719376384 109286 33554432000 4194304 4650419 140736438003568 18446744073709551615 4370944 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4130/tid=4133] ppid=4128 vsize=702516 CPUtime=1.47 cores=0,2,4,6
/proc/4130/task/4133/stat : 4133 (strangenight1-m) R 4128 4130 3572 0 -1 4202560 31657 0 0 0 137 10 0 0 19 0 4 0 650980130 719376384 109286 33554432000 4194304 4650419 140736438003568 18446744073709551615 4333785 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.9
Current children cumulated vsize (KiB) 702516

[startup+3.10037 s]
/proc/loadavg: 8.15 8.03 7.70 9/298 4134
/proc/meminfo: memFree=16112200/32951124 swapFree=52307768/67111528
[pid=4130] ppid=4128 vsize=703056 CPUtime=12.27 cores=0,2,4,6
/proc/4130/stat : 4130 (strangenight1-m) R 4128 4130 3572 0 -1 4202496 132073 0 0 0 1190 37 0 0 22 0 4 0 650980130 719929344 110812 33554432000 4194304 4650419 140736438003568 18446744073709551615 4245020 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4130/statm: 175764 110812 373 112 0 170729 0
[pid=4130/tid=4131] ppid=4128 vsize=703056 CPUtime=3.05 cores=0,2,4,6
/proc/4130/task/4131/stat : 4131 (strangenight1-m) R 4128 4130 3572 0 -1 4202560 32888 0 0 0 299 6 0 0 22 0 4 0 650980130 719929344 110812 33554432000 4194304 4650419 140736438003568 18446744073709551615 4370334 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4130/tid=4132] ppid=4128 vsize=703056 CPUtime=3.06 cores=0,2,4,6
/proc/4130/task/4132/stat : 4132 (strangenight1-m) R 4128 4130 3572 0 -1 4202560 32983 0 0 0 296 10 0 0 22 0 4 0 650980130 719929344 110812 33554432000 4194304 4650419 140736438003568 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4130/tid=4133] ppid=4128 vsize=703056 CPUtime=3.07 cores=0,2,4,6
/proc/4130/task/4133/stat : 4133 (strangenight1-m) R 4128 4130 3572 0 -1 4202560 32767 0 0 0 297 10 0 0 22 0 4 0 650980130 719929344 110812 33554432000 4194304 4650419 140736438003568 18446744073709551615 4311370 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.27
Current children cumulated vsize (KiB) 703056

[startup+6.30081 s]
/proc/loadavg: 8.14 8.03 7.70 9/298 4134
/proc/meminfo: memFree=16055160/32951124 swapFree=52307768/67111528
[pid=4130] ppid=4128 vsize=735876 CPUtime=25.04 cores=0,2,4,6
/proc/4130/stat : 4130 (strangenight1-m) R 4128 4130 3572 0 -1 4202496 134331 0 0 0 2464 40 0 0 25 0 4 0 650980130 753537024 113070 33554432000 4194304 4650419 140736438003568 18446744073709551615 4370305 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4130/statm: 183969 113070 373 112 0 178934 0
[pid=4130/tid=4131] ppid=4128 vsize=735876 CPUtime=6.22 cores=0,2,4,6
/proc/4130/task/4131/stat : 4131 (strangenight1-m) R 4128 4130 3572 0 -1 4202560 32888 0 0 0 616 6 0 0 25 0 4 0 650980130 753537024 113070 33554432000 4194304 4650419 140736438003568 18446744073709551615 4371001 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4130/tid=4132] ppid=4128 vsize=735876 CPUtime=6.25 cores=0,2,4,6
/proc/4130/task/4132/stat : 4132 (strangenight1-m) R 4128 4130 3572 0 -1 4202560 32983 0 0 0 613 12 0 0 25 0 4 0 650980130 753537024 113070 33554432000 4194304 4650419 140736438003568 18446744073709551615 4370340 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4130/tid=4133] ppid=4128 vsize=735876 CPUtime=6.27 cores=0,2,4,6
/proc/4130/task/4133/stat : 4133 (strangenight1-m) R 4128 4130 3572 0 -1 4202560 35025 0 0 0 616 11 0 0 25 0 4 0 650980130 753537024 113070 33554432000 4194304 4650419 140736438003568 18446744073709551615 4315137 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.04
Current children cumulated vsize (KiB) 735876

[startup+12.7007 s]
/proc/loadavg: 8.21 8.05 7.71 9/298 4134
/proc/meminfo: memFree=15897340/32951124 swapFree=52307768/67111528
[pid=4130] ppid=4128 vsize=779420 CPUtime=50.57 cores=0,2,4,6
/proc/4130/stat : 4130 (strangenight1-m) R 4128 4130 3572 0 -1 4202496 167205 0 0 0 5009 48 0 0 25 0 4 0 650980130 798126080 145837 33554432000 4194304 4650419 140736438003568 18446744073709551615 4428754 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4130/statm: 194855 145837 388 112 0 189820 0
[pid=4130/tid=4131] ppid=4128 vsize=779420 CPUtime=12.56 cores=0,2,4,6
/proc/4130/task/4131/stat : 4131 (strangenight1-m) R 4128 4130 3572 0 -1 4202560 41679 0 0 0 1249 7 0 0 25 0 4 0 650980130 798126080 145837 33554432000 4194304 4650419 140736438003568 18446744073709551615 4420852 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4130/tid=4132] ppid=4128 vsize=779420 CPUtime=12.65 cores=0,2,4,6
/proc/4130/task/4132/stat : 4132 (strangenight1-m) R 4128 4130 3572 0 -1 4202560 41779 0 0 0 1250 15 0 0 25 0 4 0 650980130 798126080 145837 33554432000 4194304 4650419 140736438003568 18446744073709551615 218370653625 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4130/tid=4133] ppid=4128 vsize=779420 CPUtime=12.67 cores=0,2,4,6
/proc/4130/task/4133/stat : 4133 (strangenight1-m) R 4128 4130 3572 0 -1 4202560 41505 0 0 0 1254 13 0 0 25 0 4 0 650980130 798126080 145837 33554432000 4194304 4650419 140736438003568 18446744073709551615 4315133 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.57
Current children cumulated vsize (KiB) 779420

[startup+25.5004 s]
/proc/loadavg: 8.16 8.04 7.71 9/298 4135
/proc/meminfo: memFree=15787612/32951124 swapFree=52307768/67111528
[pid=4130] ppid=4128 vsize=934112 CPUtime=101.67 cores=0,2,4,6
/proc/4130/stat : 4130 (strangenight1-m) R 4128 4130 3572 0 -1 4202496 189655 0 0 0 10112 55 0 0 25 0 4 0 650980130 956530688 168287 33554432000 4194304 4650419 140736438003568 18446744073709551615 4520364 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4130/statm: 233528 168287 391 112 0 228493 0
[pid=4130/tid=4131] ppid=4128 vsize=934112 CPUtime=25.24 cores=0,2,4,6
/proc/4130/task/4131/stat : 4131 (strangenight1-m) R 4128 4130 3572 0 -1 4202560 46570 0 0 0 2515 9 0 0 25 0 4 0 650980130 956530688 168287 33554432000 4194304 4650419 140736438003568 18446744073709551615 4363644 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4130/tid=4132] ppid=4128 vsize=934112 CPUtime=25.46 cores=0,2,4,6
/proc/4130/task/4132/stat : 4132 (strangenight1-m) R 4128 4130 3572 0 -1 4202560 46562 0 0 0 2530 16 0 0 25 0 4 0 650980130 956530688 168287 33554432000 4194304 4650419 140736438003568 18446744073709551615 4315114 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4130/tid=4133] ppid=4128 vsize=934112 CPUtime=25.48 cores=0,2,4,6
/proc/4130/task/4133/stat : 4133 (strangenight1-m) R 4128 4130 3572 0 -1 4202560 49558 0 0 0 2533 15 0 0 25 0 4 0 650980130 956530688 168287 33554432000 4194304 4650419 140736438003568 18446744073709551615 4315965 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.67
Current children cumulated vsize (KiB) 934112

[startup+51.1008 s]
/proc/loadavg: 8.10 8.04 7.72 9/298 4135
/proc/meminfo: memFree=14963620/32951124 swapFree=52307768/67111528
[pid=4130] ppid=4128 vsize=970008 CPUtime=203.82 cores=0,2,4,6
/proc/4130/stat : 4130 (strangenight1-m) R 4128 4130 3572 0 -1 4202496 243102 0 0 0 20314 68 0 0 25 0 4 0 650980130 993288192 164596 33554432000 4194304 4650419 140736438003568 18446744073709551615 4303973 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4130/statm: 242502 164600 394 112 0 237467 0
[pid=4130/tid=4131] ppid=4128 vsize=970008 CPUtime=50.61 cores=0,2,4,6
/proc/4130/task/4131/stat : 4131 (strangenight1-m) R 4128 4130 3572 0 -1 4202560 59033 0 0 0 5049 12 0 0 25 0 4 0 650980130 993288192 164600 33554432000 4194304 4650419 140736438003568 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4130/tid=4132] ppid=4128 vsize=970008 CPUtime=51.05 cores=0,2,4,6
/proc/4130/task/4132/stat : 4132 (strangenight1-m) R 4128 4130 3572 0 -1 4202560 59063 0 0 0 5086 19 0 0 25 0 4 0 650980130 993288192 164600 33554432000 4194304 4650419 140736438003568 18446744073709551615 4314985 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4130/tid=4133] ppid=4128 vsize=970008 CPUtime=51.07 cores=0,2,4,6
/proc/4130/task/4133/stat : 4133 (strangenight1-m) R 4128 4130 3572 0 -1 4202560 65955 0 0 0 5088 19 0 0 25 0 4 0 650980130 993288192 164600 33554432000 4194304 4650419 140736438003568 18446744073709551615 4365477 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 203.82
Current children cumulated vsize (KiB) 970008

[startup+102.301 s]
/proc/loadavg: 8.03 8.03 7.73 9/298 4137
/proc/meminfo: memFree=10689116/32951124 swapFree=52307768/67111528
[pid=4130] ppid=4128 vsize=1234984 CPUtime=408.15 cores=0,2,4,6
/proc/4130/stat : 4130 (strangenight1-m) R 4128 4130 3572 0 -1 4202496 435149 0 0 0 40713 102 0 0 25 0 4 0 650980130 1264623616 245123 33554432000 4194304 4650419 140736438003568 18446744073709551615 4366059 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4130/statm: 308746 245123 395 112 0 303711 0
[pid=4130/tid=4131] ppid=4128 vsize=1234984 CPUtime=101.35 cores=0,2,4,6
/proc/4130/task/4131/stat : 4131 (strangenight1-m) R 4128 4130 3572 0 -1 4202560 73374 0 0 0 10120 15 0 0 25 0 4 0 650980130 1264623616 245123 33554432000 4194304 4650419 140736438003568 18446744073709551615 4267295 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4130/tid=4132] ppid=4128 vsize=1234984 CPUtime=102.24 cores=0,2,4,6
/proc/4130/task/4132/stat : 4132 (strangenight1-m) R 4128 4130 3572 0 -1 4202560 78581 0 0 0 10201 23 0 0 25 0 4 0 650980130 1264623616 245123 33554432000 4194304 4650419 140736438003568 18446744073709551615 4370340 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4130/tid=4133] ppid=4128 vsize=1234984 CPUtime=102.27 cores=0,2,4,6
/proc/4130/task/4133/stat : 4133 (strangenight1-m) R 4128 4130 3572 0 -1 4202560 103633 0 0 0 10200 27 0 0 25 0 4 0 650980130 1264623616 245123 33554432000 4194304 4650419 140736438003568 18446744073709551615 4230684 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 408.15
Current children cumulated vsize (KiB) 1234984

[startup+162.301 s]

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


[startup+702.301 s]
/proc/loadavg: 5.09 7.11 7.55 5/289 4171
/proc/meminfo: memFree=13925444/32951124 swapFree=52307768/67111528
[pid=4130] ppid=4128 vsize=3349592 CPUtime=2802.59 cores=0,2,4,6
/proc/4130/stat : 4130 (strangenight1-m) R 4128 4130 3572 0 -1 4202496 1938650 0 0 0 279826 433 0 0 25 0 4 0 650980130 3429982208 712078 33554432000 4194304 4650419 140736438003568 18446744073709551615 4315965 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4130/statm: 837398 712078 395 112 0 832363 0
[pid=4130/tid=4131] ppid=4128 vsize=3349592 CPUtime=696.57 cores=0,2,4,6
/proc/4130/task/4131/stat : 4131 (strangenight1-m) R 4128 4130 3572 0 -1 4202560 315078 0 0 0 69581 76 0 0 25 0 4 0 650980130 3429982208 712078 33554432000 4194304 4650419 140736438003568 18446744073709551615 4365477 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4130/tid=4132] ppid=4128 vsize=3349592 CPUtime=702.24 cores=0,2,4,6
/proc/4130/task/4132/stat : 4132 (strangenight1-m) R 4128 4130 3572 0 -1 4202560 322429 0 0 0 70132 92 0 0 25 0 4 0 650980130 3429982208 712078 33554432000 4194304 4650419 140736438003568 18446744073709551615 4315137 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4130/tid=4133] ppid=4128 vsize=3349592 CPUtime=701.58 cores=0,2,4,6
/proc/4130/task/4133/stat : 4133 (strangenight1-m) R 4128 4130 3572 0 -1 4202560 679629 0 0 0 70010 148 0 0 25 0 4 0 650980130 3429982208 712078 33554432000 4194304 4650419 140736438003568 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2802.59
Current children cumulated vsize (KiB) 3349592

[startup+762.301 s]
/proc/loadavg: 4.46 6.56 7.33 5/289 4172
/proc/meminfo: memFree=13888968/32951124 swapFree=52307768/67111528
[pid=4130] ppid=4128 vsize=3302784 CPUtime=3042.06 cores=0,2,4,6
/proc/4130/stat : 4130 (strangenight1-m) R 4128 4130 3572 0 -1 4202496 2019866 0 0 0 303749 457 0 0 25 0 4 0 650980130 3382050816 721643 33554432000 4194304 4650419 140736438003568 18446744073709551615 4315222 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4130/statm: 825696 721643 395 112 0 820661 0
[pid=4130/tid=4131] ppid=4128 vsize=3302784 CPUtime=756.57 cores=0,2,4,6
/proc/4130/task/4131/stat : 4131 (strangenight1-m) R 4128 4130 3572 0 -1 4202560 332688 0 0 0 75576 81 0 0 25 0 4 0 650980130 3382050816 721643 33554432000 4194304 4650419 140736438003568 18446744073709551615 4370329 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4130/tid=4132] ppid=4128 vsize=3302784 CPUtime=762.24 cores=0,2,4,6
/proc/4130/task/4132/stat : 4132 (strangenight1-m) R 4128 4130 3572 0 -1 4202560 344373 0 0 0 76127 97 0 0 25 0 4 0 650980130 3382050816 721643 33554432000 4194304 4650419 140736438003568 18446744073709551615 4315249 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4130/tid=4133] ppid=4128 vsize=3302784 CPUtime=761.04 cores=0,2,4,6
/proc/4130/task/4133/stat : 4133 (strangenight1-m) R 4128 4130 3572 0 -1 4202560 700673 0 0 0 75950 154 0 0 25 0 4 0 650980130 3382050816 721643 33554432000 4194304 4650419 140736438003568 18446744073709551615 4315094 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3042.06
Current children cumulated vsize (KiB) 3302784

[startup+822.301 s]
/proc/loadavg: 4.22 6.11 7.12 5/289 4174
/proc/meminfo: memFree=13730364/32951124 swapFree=52307768/67111528
[pid=4130] ppid=4128 vsize=3512828 CPUtime=3281.51 cores=0,2,4,6
/proc/4130/stat : 4130 (strangenight1-m) R 4128 4130 3572 0 -1 4202496 2073074 0 0 0 327676 475 0 0 25 0 4 0 650980130 3597135872 760900 33554432000 4194304 4650419 140736438003568 18446744073709551615 4550167 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4130/statm: 878207 760900 395 112 0 873172 0
[pid=4130/tid=4131] ppid=4128 vsize=3512828 CPUtime=816.57 cores=0,2,4,6
/proc/4130/task/4131/stat : 4131 (strangenight1-m) R 4128 4130 3572 0 -1 4202560 338351 0 0 0 81575 82 0 0 25 0 4 0 650980130 3597135872 760900 33554432000 4194304 4650419 140736438003568 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4130/tid=4132] ppid=4128 vsize=3512828 CPUtime=822.25 cores=0,2,4,6
/proc/4130/task/4132/stat : 4132 (strangenight1-m) R 4128 4130 3572 0 -1 4202560 360453 0 0 0 82120 105 0 0 25 0 4 0 650980130 3597135872 760900 33554432000 4194304 4650419 140736438003568 18446744073709551615 4315137 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4130/tid=4133] ppid=4128 vsize=3512828 CPUtime=820.49 cores=0,2,4,6
/proc/4130/task/4133/stat : 4133 (strangenight1-m) R 4128 4130 3572 0 -1 4202560 711224 0 0 0 81892 157 0 0 25 0 4 0 650980130 3597135872 760900 33554432000 4194304 4650419 140736438003568 18446744073709551615 4367523 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3281.51
Current children cumulated vsize (KiB) 3512828

[startup+882.301 s]
/proc/loadavg: 4.13 5.74 6.93 5/289 4176
/proc/meminfo: memFree=13786892/32951124 swapFree=52307768/67111528
[pid=4130] ppid=4128 vsize=3434820 CPUtime=3520.97 cores=0,2,4,6
/proc/4130/stat : 4130 (strangenight1-m) R 4128 4130 3572 0 -1 4202496 2512573 0 0 0 351549 548 0 0 25 0 4 0 650980130 3517255680 746817 33554432000 4194304 4650419 140736438003568 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4130/statm: 858705 746817 395 112 0 853670 0
[pid=4130/tid=4131] ppid=4128 vsize=3434820 CPUtime=876.57 cores=0,2,4,6
/proc/4130/task/4131/stat : 4131 (strangenight1-m) R 4128 4130 3572 0 -1 4202560 359233 0 0 0 87568 89 0 0 25 0 4 0 650980130 3517255680 746817 33554432000 4194304 4650419 140736438003568 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4130/tid=4132] ppid=4128 vsize=3434820 CPUtime=882.24 cores=0,2,4,6
/proc/4130/task/4132/stat : 4132 (strangenight1-m) R 4128 4130 3572 0 -1 4202560 380812 0 0 0 88113 111 0 0 25 0 4 0 650980130 3517255680 746817 33554432000 4194304 4650419 140736438003568 18446744073709551615 4333646 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4130/tid=4133] ppid=4128 vsize=3434820 CPUtime=879.95 cores=0,2,4,6
/proc/4130/task/4133/stat : 4133 (strangenight1-m) R 4128 4130 3572 0 -1 4202560 726835 0 0 0 87834 161 0 0 25 0 4 0 650980130 3517255680 746817 33554432000 4194304 4650419 140736438003568 18446744073709551615 4315464 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3520.97
Current children cumulated vsize (KiB) 3434820

[startup+942.301 s]
/proc/loadavg: 4.05 5.42 6.74 5/289 4177
/proc/meminfo: memFree=13365656/32951124 swapFree=52307768/67111528
[pid=4130] ppid=4128 vsize=3933172 CPUtime=3760.4 cores=0,2,4,6
/proc/4130/stat : 4130 (strangenight1-m) R 4128 4130 3572 0 -1 4202496 2725587 0 0 0 375385 655 0 0 25 0 4 0 650980130 4027568128 852218 33554432000 4194304 4650419 140736438003568 18446744073709551615 4328259 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4130/statm: 983293 852218 395 112 0 978258 0
[pid=4130/tid=4131] ppid=4128 vsize=3933172 CPUtime=936.58 cores=0,2,4,6
/proc/4130/task/4131/stat : 4131 (strangenight1-m) R 4128 4130 3572 0 -1 4202560 378724 0 0 0 93562 96 0 0 25 0 4 0 650980130 4027568128 852218 33554432000 4194304 4650419 140736438003568 18446744073709551615 4363709 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4130/tid=4132] ppid=4128 vsize=3933172 CPUtime=942.25 cores=0,2,4,6
/proc/4130/task/4132/stat : 4132 (strangenight1-m) R 4128 4130 3572 0 -1 4202560 399902 0 0 0 94108 117 0 0 25 0 4 0 650980130 4027568128 852218 33554432000 4194304 4650419 140736438003568 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4130/tid=4133] ppid=4128 vsize=3933172 CPUtime=939.4 cores=0,2,4,6
/proc/4130/task/4133/stat : 4133 (strangenight1-m) R 4128 4130 3572 0 -1 4202560 885311 0 0 0 93689 251 0 0 25 0 4 0 650980130 4027568128 852218 33554432000 4194304 4650419 140736438003568 18446744073709551615 4476201 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3760.4
Current children cumulated vsize (KiB) 3933172

[startup+1002.3 s]
/proc/loadavg: 4.06 5.17 6.57 5/289 4179
/proc/meminfo: memFree=13240660/32951124 swapFree=52307768/67111528
[pid=4130] ppid=4128 vsize=4019296 CPUtime=3999.88 cores=0,2,4,6
/proc/4130/stat : 4130 (strangenight1-m) R 4128 4130 3572 0 -1 4202496 3236658 0 0 0 399260 728 0 0 25 0 4 0 650980130 4115759104 882972 33554432000 4194304 4650419 140736438003568 18446744073709551615 4363750 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4130/statm: 1004824 882972 395 112 0 999789 0
[pid=4130/tid=4131] ppid=4128 vsize=4019296 CPUtime=996.59 cores=0,2,4,6
/proc/4130/task/4131/stat : 4131 (strangenight1-m) R 4128 4130 3572 0 -1 4202560 393870 0 0 0 99557 102 0 0 25 0 4 0 650980130 4115759104 882976 33554432000 4194304 4650419 140736438003568 18446744073709551615 4331981 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4130/tid=4132] ppid=4128 vsize=4019296 CPUtime=1002.26 cores=0,2,4,6
/proc/4130/task/4132/stat : 4132 (strangenight1-m) R 4128 4130 3572 0 -1 4202560 421577 0 0 0 100103 123 0 0 25 0 4 0 650980130 4115759104 882976 33554432000 4194304 4650419 140736438003568 18446744073709551615 4315952 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4130/tid=4133] ppid=4128 vsize=4019296 CPUtime=998.86 cores=0,2,4,6
/proc/4130/task/4133/stat : 4133 (strangenight1-m) R 4128 4130 3572 0 -1 4202560 1342788 0 0 0 99578 308 0 0 25 0 4 0 650980130 4115759104 882976 33554432000 4194304 4650419 140736438003568 18446744073709551615 4315206 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3999.88
Current children cumulated vsize (KiB) 4019296

[startup+1062.3 s]
/proc/loadavg: 4.06 4.97 6.41 5/289 4180
/proc/meminfo: memFree=13304128/32951124 swapFree=52307768/67111528
[pid=4130] ppid=4128 vsize=4040360 CPUtime=4239.32 cores=0,2,4,6
/proc/4130/stat : 4130 (strangenight1-m) R 4128 4130 3572 0 -1 4202496 3324200 0 0 0 423179 753 0 0 25 0 4 0 650980130 4137328640 868203 33554432000 4194304 4650419 140736438003568 18446744073709551615 4315206 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4130/statm: 1010090 868203 395 112 0 1005055 0
[pid=4130/tid=4131] ppid=4128 vsize=4040360 CPUtime=1056.57 cores=0,2,4,6
/proc/4130/task/4131/stat : 4131 (strangenight1-m) R 4128 4130 3572 0 -1 4202560 408513 0 0 0 105550 107 0 0 25 0 4 0 650980130 4137328640 868203 33554432000 4194304 4650419 140736438003568 18446744073709551615 4368084 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4130/tid=4132] ppid=4128 vsize=4040360 CPUtime=1062.25 cores=0,2,4,6
/proc/4130/task/4132/stat : 4132 (strangenight1-m) R 4128 4130 3572 0 -1 4202560 442759 0 0 0 106095 130 0 0 25 0 4 0 650980130 4137328640 868203 33554432000 4194304 4650419 140736438003568 18446744073709551615 4368084 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4130/tid=4133] ppid=4128 vsize=4040360 CPUtime=1058.31 cores=0,2,4,6
/proc/4130/task/4133/stat : 4133 (strangenight1-m) R 4128 4130 3572 0 -1 4202560 1378303 0 0 0 105517 314 0 0 25 0 4 0 650980130 4137328640 868203 33554432000 4194304 4650419 140736438003568 18446744073709551615 4315114 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4239.32
Current children cumulated vsize (KiB) 4040360

[startup+1122.31 s]
/proc/loadavg: 4.06 4.81 6.27 5/289 4182
/proc/meminfo: memFree=13359908/32951124 swapFree=52307768/67111528
[pid=4130] ppid=4128 vsize=3933788 CPUtime=4478.81 cores=0,2,4,6
/proc/4130/stat : 4130 (strangenight1-m) R 4128 4130 3572 0 -1 4202496 3406898 0 0 0 447104 777 0 0 25 0 4 0 650980130 4028198912 853463 33554432000 4194304 4650419 140736438003568 18446744073709551615 4315094 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4130/statm: 983447 853463 395 112 0 978412 0
[pid=4130/tid=4131] ppid=4128 vsize=3933788 CPUtime=1116.58 cores=0,2,4,6
/proc/4130/task/4131/stat : 4131 (strangenight1-m) R 4128 4130 3572 0 -1 4202560 428163 0 0 0 111546 112 0 0 25 0 4 0 650980130 4028198912 853463 33554432000 4194304 4650419 140736438003568 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4130/tid=4132] ppid=4128 vsize=3933788 CPUtime=1122.26 cores=0,2,4,6
/proc/4130/task/4132/stat : 4132 (strangenight1-m) R 4128 4130 3572 0 -1 4202560 464459 0 0 0 112090 136 0 0 25 0 4 0 650980130 4028198912 853463 33554432000 4194304 4650419 140736438003568 18446744073709551615 4368084 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4130/tid=4133] ppid=4128 vsize=3933788 CPUtime=1117.77 cores=0,2,4,6
/proc/4130/task/4133/stat : 4133 (strangenight1-m) R 4128 4130 3572 0 -1 4202560 1402052 0 0 0 111456 321 0 0 25 0 4 0 650980130 4028198912 853463 33554432000 4194304 4650419 140736438003568 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4478.81
Current children cumulated vsize (KiB) 3933788

[startup+1182.3 s]
/proc/loadavg: 4.05 4.67 6.13 5/289 4184
/proc/meminfo: memFree=13249264/32951124 swapFree=52307768/67111528
[pid=4130] ppid=4128 vsize=4086920 CPUtime=4718.23 cores=0,2,4,6
/proc/4130/stat : 4130 (strangenight1-m) R 4128 4130 3572 0 -1 4202496 3676776 0 0 0 470990 833 0 0 25 0 4 0 650980130 4185006080 881412 33554432000 4194304 4650419 140736438003568 18446744073709551615 4476185 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4130/statm: 1021730 881412 395 112 0 1016695 0
[pid=4130/tid=4131] ppid=4128 vsize=4086920 CPUtime=1176.58 cores=0,2,4,6
/proc/4130/task/4131/stat : 4131 (strangenight1-m) R 4128 4130 3572 0 -1 4202560 447917 0 0 0 117538 120 0 0 25 0 4 0 650980130 4185006080 881412 33554432000 4194304 4650419 140736438003568 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4130/tid=4132] ppid=4128 vsize=4086920 CPUtime=1182.25 cores=0,2,4,6
/proc/4130/task/4132/stat : 4132 (strangenight1-m) R 4128 4130 3572 0 -1 4202560 486737 0 0 0 118083 142 0 0 25 0 4 0 650980130 4185006080 881412 33554432000 4194304 4650419 140736438003568 18446744073709551615 4315153 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4130/tid=4133] ppid=4128 vsize=4086920 CPUtime=1177.22 cores=0,2,4,6
/proc/4130/task/4133/stat : 4133 (strangenight1-m) R 4128 4130 3572 0 -1 4202560 1420087 0 0 0 117394 328 0 0 25 0 4 0 650980130 4185006080 881413 33554432000 4194304 4650419 140736438003568 18446744073709551615 4315110 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4718.23
Current children cumulated vsize (KiB) 4086920



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202.8 s]
/proc/loadavg: 4.04 4.63 6.08 5/289 4184
/proc/meminfo: memFree=13162828/32951124 swapFree=52307768/67111528
[pid=4130] ppid=4128 vsize=4218000 CPUtime=4800.06 cores=0,2,4,6
/proc/4130/stat : 4130 (strangenight1-m) R 4128 4130 3572 0 -1 4202496 4095898 0 0 0 479112 894 0 0 25 0 4 0 650980130 4319232000 902329 33554432000 4194304 4650419 140736438003568 18446744073709551615 4520364 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4130/statm: 1054500 902329 395 112 0 1049465 0
[pid=4130/tid=4131] ppid=4128 vsize=4218000 CPUtime=1197.09 cores=0,2,4,6
/proc/4130/task/4131/stat : 4131 (strangenight1-m) R 4128 4130 3572 0 -1 4202560 453316 0 0 0 119587 122 0 0 25 0 4 0 650980130 4319232000 902330 33554432000 4194304 4650419 140736438003568 18446744073709551615 4315137 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4130/tid=4132] ppid=4128 vsize=4218000 CPUtime=1202.76 cores=0,2,4,6
/proc/4130/task/4132/stat : 4132 (strangenight1-m) R 4128 4130 3572 0 -1 4202560 492900 0 0 0 120132 144 0 0 25 0 4 0 650980130 4319232000 902330 33554432000 4194304 4650419 140736438003568 18446744073709551615 4333767 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4130/tid=4133] ppid=4128 vsize=4218000 CPUtime=1197.54 cores=0,2,4,6
/proc/4130/task/4133/stat : 4133 (strangenight1-m) R 4128 4130 3572 0 -1 4202560 1425340 0 0 0 119423 331 0 0 25 0 4 0 650980130 4319232000 902330 33554432000 4194304 4650419 140736438003568 18446744073709551615 4315137 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.06
Current children cumulated vsize (KiB) 4218000

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

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

[startup+1202.92 s]
/proc/loadavg: 4.04 4.63 6.08 5/289 4184
/proc/meminfo: memFree=13162828/32951124 swapFree=52307768/67111528
[pid=4130] ppid=4128 vsize=0 CPUtime=4800.19 cores=0,2,4,6
/proc/4130/stat : 4130 (strangenight1-m) Z 4128 4130 3572 0 -1 4203548 4095904 0 0 0 479115 904 0 0 25 0 2 0 650980130 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4130/statm: 0 0 0 0 0 0 0
[pid=4130/tid=4133] ppid=4128 vsize=0 CPUtime=1197.64 cores=0,2,4,6
/proc/4130/task/4133/stat : 4133 (strangenight1-m) R 4128 4130 3572 0 -1 4203588 1425340 0 0 0 119423 341 0 0 25 0 2 0 650980130 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.19
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1202.97
CPU time (s): 4800.26
CPU user time (s): 4791.16
CPU system time (s): 9.09962
CPU usage (%): 399.033
Max. virtual memory (cumulated for all children) (KiB): 4218000

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4791.16
system time used= 9.09962
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4095904
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= 15910
involuntary context switches= 19970

runsolver used 3.3065 second user time and 7.65284 second system time

The end

Launcher Data 

Begin job on node101 at 2011-05-14 19:22:54
IDJOB=3369691
IDBENCH=82394
IDSOLVER=1846
FILE ID=node101/3369691-1305393772
RUNJOBID= node101-1305392567-4010
PBS_JOBID= 13324427
Free space on /tmp= 73672 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt (fixed)
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-3369691-1305393772/watcher-3369691-1305393772 -o /tmp/evaluation-result-3369691-1305393772/solver-3369691-1305393772 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3369691-1305393772.cnf

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

MD5SUM BENCH= 1ca09a2b911e29894c6603aee8d3e672
RANDOM SEED=880358847

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      16560040 kB
Buffers:        317552 kB
Cached:        5943464 kB
SwapCached:      14848 kB
Active:       11088172 kB
Inactive:      5025628 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      16560040 kB
SwapTotal:    67111528 kB
SwapFree:     52307768 kB
Dirty:           74628 kB
Writeback:           0 kB
AnonPages:     9849820 kB
Mapped:          15252 kB
Slab:           151512 kB
PageTables:      62604 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 42304384 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= 73684 MiB
End job on node101 at 2011-05-14 19:42:59