Trace number 3284782

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-1-mt? (TO) 4800.22 1201.76

General information on the benchmark

Nameapplication/rintanen/SATPlanning/
sokoban-sequential-p145-microban-sequential.070-NOTKNOWN.cnf
MD5SUMf52ec4dacdcf65c3aedb61fb46ade01b
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1119.56
Satisfiable
(Un)Satisfiability was proved
Number of variables153284
Number of clauses2473656
Sum of the clauses size5647736
Maximum clause length78
Minimum clause length1
Number of clauses of size 1696
Number of clauses of size 22387280
Number of clauses of size 36720
Number of clauses of size 431080
Number of clauses of size 513440
Number of clauses of size over 534440

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.00	c Using 4 threads
0.00/0.00	c This is CryptoMiniSat 2.9.0
0.00/0.00	c compiled with gcc version 4.4.5
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3284782-1304037108.cnf'
0.00/0.00	c -- header says num vars:         153284
0.00/0.00	c -- header says num clauses:     2473656
3.10/0.96	c -- clauses added:            0 learnts,      2473656 normals,            0 xors
3.10/0.96	c -- vars added     153284
3.10/0.96	c Parsing time:  2.52 s
3.10/0.96	c  N st     0         0    153284     73962   2026036         0   4799185         0   no data   no data  --
4.65/1.32	c asymm  cl-useful: 683/1183/61968 lits-rem:28657 time: 1.33
31.42/8.01	c Flit:   262 Blit:   9074 bXBeca:    0 bXProp:  503 Bins:      0 BRemL:      0 BRemN:      0 P: 200.0M T: 26.56
31.42/8.05	c Cleaning up after failed var search:     0.17 s 
31.82/8.13	c Replacing      503 vars Replaced    29207 lits Time:     0.27 s 
32.59/8.37	c bin-w-bin subsume rem          734 bins  time:  0.48 s
33.79/8.66	c subs with bin:       33  lits-rem:       151  v-fix:    0  time:  1.19 s
48.17/12.29	c Subs w/ non-existent bins:      0 l-rem:    345 v-fix:     0 done:  28605 time: 14.45 s
48.97/12.48	c Removed useless bin:    3998  fixed:     0  props:  20.02M  time:  0.74 s
50.96/12.92	c lits-rem:         0  cl-subs:       80  v-elim:     13  v-fix:    0  time:  1.77 s
50.96/12.97	c Finding binary XORs  T:     0.18 s  found:     192
51.36/13.03	c Replacing      192 vars Replaced    15185 lits Time:     0.25 s 
51.78/13.12	c Finding non-binary XORs:     0.16 s (found:       0, avg size: nan)
51.78/13.12	c Calc default polars -  time:   0.10 s pos:    3041 undec:   56053 neg:   94190
51.78/13.12	c =========================================================================================
51.78/13.12	c types(t): F = full restart, N = normal restart
51.78/13.12	c types(t): S = simplification begin/end, E = solution found
51.78/13.12	c restart types(rt): st = static, dy = dynamic
51.78/13.12	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
51.78/13.12	c  B st     0         0     97237     56981   1295586         0   3120648         0   no data   no data  --
76.53/19.35	c  N dy    17      4051     97219     56981   1295665      3939   3120648   2643917     29.67     33.97  --
99.71/25.18	c  N dy    37      8069     97188     56981   1295848      7857   3120648   5082502     32.20     58.48  --
123.68/31.12	c  N dy    54     12568     96840     56981   1296375     12273   3120648   7441093     28.59     30.74  --
146.45/36.86	c  N dy    69     16584     96824     56981   1296411     16234   3120648   9578433     27.82    104.34  --
172.02/43.27	c  N dy    93     20727     96707     56981   1296756     10513   3120648   1653144     28.52     32.29  --
197.99/49.78	c  N dy   115     24732     96689     56981   1296813     14436   3120647   4389155     29.19     32.14  --
199.59/50.12	c  F st   117     25000     96645     56981   1297187     14696   3120647   4544979     29.50   no data  --
239.14/60.07	c  N dy   123     30000     96630     56664   1287050     19546   3096170   9150455     29.50   no data  --
239.14/60.07	c  S st   123     30000     96630     56664   1287050     19546   3096170   9150455     29.50   no data  --
243.13/61.03	c  S st   123     30501     96627     56664   1287066     20027   3096170   9328710     29.50   no data  --
243.13/61.10	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.28
333.44/83.67	c Flit:   418 Blit:   1450 bXBeca:    0 bXProp:  142 Bins: 151218 BRemL:      2 BRemN:    973 P: 200.0M T: 90.12
333.82/83.74	c Cleaning up after failed var search:     0.26 s 
334.62/83.98	c Replacing      143 vars Replaced    31559 lits Time:     0.94 s 
339.01/85.00	c bin-w-bin subsume rem          781 bins  time:  0.44 s
344.60/86.46	c subs with bin:        3  lits-rem:        40  v-fix:    0  time:  5.81 s
345.79/86.74	c Subs w/ non-existent bins:      0 l-rem:    485 v-fix:    12 done:    918 time:  1.13 s
346.61/86.98	c Removed useless bin:    8928  fixed:    13  props:  20.00M  time:  0.94 s
358.58/89.92	c lits-rem:       267  cl-subs:      749  v-elim:      0  v-fix:    0  time: 11.75 s
359.80/90.28	c asymm  cl-useful: 36/910/55716 lits-rem:81 time: 1.43
360.17/90.31	c  N dy   123     30501     94394     55716   1385935     18852   2997468   9131444     29.50   no data  --
360.17/90.38	c Finding binary XORs  T:     0.18 s  found:     103
392.53/98.48	c  N dy   148     34562     94377     55716   1386757     22844   2997468  11702631     30.78     68.03  --
424.09/106.34	c  N dy   167     38871     94356     55716   1387256     27079   2997468  14527196     30.35     33.48  --
451.68/113.25	c  N dy   176     43284     94354     55716   1387316     16456   2997468   2304753     29.19     33.97  --
466.83/117.02	c  S st   185     45751     94350     55716   1387340     18885   2997468   3745442     28.84     24.64  --
470.03/117.86	c  S st   185     46252     94350     55716   1387354     19372   2997468   3874062     28.84   no data  --
470.44/117.92	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.25
556.32/139.40	c Flit:   208 Blit:    451 bXBeca:    0 bXProp:   31 Bins: 208476 BRemL:    801 BRemN:   4554 P: 200.1M T: 85.70
556.32/139.40	c Cleaning up after failed var search:     0.00 s 
556.72/139.59	c Replacing      134 vars Replaced    11634 lits Time:     0.73 s 
558.72/140.00	c bin-w-bin subsume rem          581 bins  time:  0.53 s
564.32/141.48	c subs with bin:        0  lits-rem:         1  v-fix:    0  time:  5.93 s
567.11/142.15	c Subs w/ non-existent bins:      8 l-rem:    686 v-fix:     1 done:   3315 time:  2.65 s
567.92/142.38	c Removed useless bin:   11053  fixed:     0  props:  20.01M  time:  0.93 s
574.72/144.05	c lits-rem:       305  cl-subs:      377  v-elim:      2  v-fix:    0  time:  6.65 s
576.31/144.46	c asymm  cl-useful: 23/415/55432 lits-rem:256 time: 1.63
576.31/144.49	c  N dy   185     46252     93557     55432   1560585     18882   2938929   4167787     28.84   no data  --
576.71/144.55	c Finding binary XORs  T:     0.20 s  found:      53
602.27/150.93	c  N dy   198     50274     93554     55432   1589956     22843   2938929   7021098     28.44     87.32  --
628.24/157.48	c  N dy   210     54988     92941     55432   1590009     27473   2938929   9645922     28.29     29.90  --
650.21/162.98	c  N dy   227     59179     92923     55432   1590158     31601   2938929  11846966     28.15     29.81  --
667.01/167.18	c Finding binary XORs  T:     0.19 s  found:     130
676.98/169.68	c  N dy   243     63421     92921     55077   1554596     35534   2913972  14090163     27.92     29.56  --
708.54/177.52	c  N dy   268     68554     92917     55077   1554632     22506   2913972   4108803     27.95     30.87  --
712.54/178.55	c  S st   274     69379     92914     55077   1554850     23315   2913972   4431930     27.92   no data  --
715.75/179.36	c  S st   274     69881     92914     55077   1554855     23811   2913972   4574424     27.92   no data  --
716.13/179.43	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.27
787.24/197.21	c Flit:   161 Blit:    190 bXBeca:    0 bXProp:   12 Bins: 174932 BRemL:   3675 BRemN:   5319 P: 200.0M T: 70.99
787.24/197.21	c Cleaning up after failed var search:     0.00 s 
788.04/197.42	c Replacing      195 vars Replaced    49068 lits Time:     0.80 s 
789.64/197.86	c bin-w-bin subsume rem          918 bins  time:  0.61 s
795.64/199.38	c subs with bin:        8  lits-rem:       126  v-fix:    0  time:  6.05 s
799.63/200.30	c Subs w/ non-existent bins:     22 l-rem:   1641 v-fix:     3 done:   4232 time:  3.69 s
800.82/200.61	c Removed useless bin:   40063  fixed:     0  props:  20.00M  time:  1.23 s
808.03/202.44	c lits-rem:       409  cl-subs:      521  v-elim:     14  v-fix:    0  time:  7.28 s
809.61/202.85	c asymm  cl-useful: 396/409/54930 lits-rem:6060 time: 1.65
809.61/202.89	c  N dy   274     69881     92370     54930   1671728     23193   2804094   4791926     27.92   no data  --
810.01/202.95	c Finding binary XORs  T:     0.19 s  found:      16
840.78/210.69	c  N dy   294     74389     92370     54930   1671756     27659   2804094   7855739     28.13     29.84  --
865.17/216.71	c  N dy   312     79200     92101     54930   1701666     32393   2804094  10256565     28.13     29.96  --
891.13/223.25	c Finding binary XORs  T:     0.20 s  found:      55
898.30/225.04	c  N dy   334     84830     92101     54798   1684655     37882   2794425  13188042     27.96     29.73  --
931.08/233.29	c  F st   349     87501     92101     54798   1684674     40523   2794425  16247910     27.93   no data  --
932.67/233.62	c Replacing       71 vars Replaced    38362 lits Time:     1.31 s 
953.84/238.93	c  N st   354     90797     92029     54797   1684759     23488   2794154   3581597     27.93   no data  --
1007.38/252.38	c  N dy   367     96858     92023     54797   1685102     29469   2794154   8965523     27.67     29.38  --
1050.93/263.21	c  N dy   386    103661     92021     54797   1685324     36165   2794154  13070957     27.44     29.76  --
1056.12/264.54	c  S st   388    104826     92021     54797   1685331     37314   2794154  13506233     27.34     26.71  --
1059.32/265.39	c  S st   388    105328     92020     54797   1685336     37811   2794154  13628316     27.34   no data  --
1059.72/265.48	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.33
1125.64/281.97	c Flit:    34 Blit:    102 bXBeca:    0 bXProp:    3 Bins: 157392 BRemL:   2106 BRemN:   4402 P: 200.0M T: 65.85
1125.64/281.97	c Cleaning up after failed var search:     0.00 s 
1126.84/282.22	c Replacing        4 vars Replaced     1557 lits Time:     0.96 s 
1131.24/283.32	c bin-w-bin subsume rem         4148 bins  time:  0.70 s
1137.65/284.95	c subs with bin:        0  lits-rem:        15  v-fix:    0  time:  6.49 s
1139.23/285.31	c Subs w/ non-existent bins:      8 l-rem:    646 v-fix:     0 done:    828 time:  1.44 s
1140.03/285.53	c Removed useless bin:    5724  fixed:     0  props:  20.01M  time:  0.88 s
1233.52/308.93	c lits-rem:         7  cl-subs:      872  v-elim:      6  v-fix:    0  time: 93.43 s
1234.71/309.29	c asymm  cl-useful: 5/867/54755 lits-rem:46 time: 1.43
1235.11/309.33	c  N dy   388    105328     91874     54755   1819573     36862   2768620  13651288     27.34   no data  --
1235.11/309.38	c Finding binary XORs  T:     0.19 s  found:      12
1276.26/319.61	c  N dy   405    112139     91727     54755   1888976     43602   2768620  17396411     26.89     29.12  --
1285.45/321.93	c Finding binary XORs  T:     0.21 s  found:      24
1329.80/333.03	c  N dy   423    119599     91724     54683   1874906     28981   2763808   7441759     26.45     28.39  --
1376.93/344.81	c  N dy   449    127743     91724     54683   1875087     37021   2763808  11568470     26.19     39.64  --
1427.30/357.46	c  N dy   471    136003     91715     54683   1875231     45198   2763808  16536622     25.80     27.61  --
1438.47/360.24	c Finding binary XORs  T:     0.21 s  found:      47
1471.65/368.55	c  N dy   494    144925     91610     54595   1919163     30617   2758694   5225953     25.40     29.61  --
1527.96/382.70	c  N dy   512    154415     91610     54595   1919284     39975   2758694  10849870     25.20     27.74  --
1551.52/388.55	c  S st   524    157996     91560     54595   1924149     43526   2758694  13047700     25.14   no data  --
1555.14/389.43	c  S st   524    158500     91560     54595   1924154     44025   2758694  13189128     25.14   no data  --
1555.52/389.51	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.34
1620.25/405.75	c Flit:    67 Blit:     54 bXBeca:    0 bXProp:   13 Bins: 157685 BRemL:     15 BRemN:    599 P: 200.0M T: 64.81
1620.25/405.75	c Cleaning up after failed var search:     0.00 s 
1621.84/406.17	c Replacing       96 vars Replaced    59316 lits Time:     1.66 s 
1625.84/407.18	c bin-w-bin subsume rem         1226 bins  time:  0.82 s
1632.23/408.70	c subs with bin:        0  lits-rem:         6  v-fix:    0  time:  6.10 s
1633.85/409.20	c Subs w/ non-existent bins:     14 l-rem:   1249 v-fix:     1 done:   1516 time:  1.96 s
1635.03/409.46	c Removed useless bin:   10250  fixed:     0  props:  20.00M  time:  1.07 s
1738.90/435.47	c lits-rem:         5  cl-subs:     1209  v-elim:      0  v-fix:    0  time: 103.79 s
1740.49/435.88	c asymm  cl-useful: 1/390/54491 lits-rem:16 time: 1.62
1740.89/435.92	c  N dy   524    158500     91346     54491   2056386     42743   2730153  13202226     25.14   no data  --
1741.29/436.00	c Finding binary XORs  T:     0.21 s  found:      18
1804.81/451.94	c  N dy   557    169296     91340     54491   2057328     30595   2730153   4204552     24.91     26.26  --
1869.93/468.22	c  N dy   602    180175     91338     54491   2058542     41350   2730153   9708958     24.97     27.05  --
1896.31/474.81	c Finding binary XORs  T:     0.22 s  found:      13
1949.04/488.02	c  N dy   653    191757     91283     54464   2116534     52817   2728044  16890596     25.13     28.60  --
2025.76/507.27	c  N dy   692    204633     91283     54464   2116893     41981   2728044   9606844     24.88     28.39  --
2102.85/526.53	c  N dy   743    217844     91278     54464   2117375     55045   2728044  16427703     24.81     27.45  --
2180.76/546.05	c  N dy   793    231906     91277     54464   2117656     44764   2728044   8220683     24.77     27.24  --
2212.73/554.06	c  S st   816    237750     91269     54464   2117903     50526   2728044  10841271     24.73     12.32  --
2216.31/554.93	c  S st   816    238250     91269     54464   2117914     51015   2728044  10977966     24.73   no data  --
2216.71/555.01	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.33
2258.28/565.49	c Flit:    67 Blit:     29 bXBeca:    0 bXProp:    3 Bins:  53450 BRemL:      7 BRemN:    310 P: 200.0M T: 41.83
2259.47/565.79	c Replacing       34 vars Replaced    22386 lits Time:     1.19 s 
2263.09/566.63	c bin-w-bin subsume rem         1777 bins  time:  0.86 s
2269.05/568.17	c subs with bin:        3  lits-rem:         2  v-fix:    0  time:  6.14 s
2271.05/568.60	c Subs w/ non-existent bins:     19 l-rem:    955 v-fix:     0 done:   1050 time:  1.75 s
2271.87/568.85	c Removed useless bin:    5948  fixed:     0  props:  20.01M  time:  0.94 s
2316.60/580.09	c lits-rem:       188  cl-subs:     1190  v-elim:      0  v-fix:    0  time: 44.89 s
2318.60/580.52	c asymm  cl-useful: 2/365/54418 lits-rem:14 time: 1.72
2318.60/580.57	c  N dy   816    238250     91136     54418   2161029     49751   2711972  10901597     24.73   no data  --
2319.00/580.63	c Finding binary XORs  T:     0.22 s  found:       3
2414.48/604.58	c  N dy   868    253854     91136     54418   2161654     39438   2711972   5859777     24.70     26.01  --
2526.36/632.52	c  N dy   925    270796     91131     54418   2162233     56204   2711972  16718341     24.47     26.90  --
2652.20/664.01	c  N dy   981    288106     91130     54418   2162762     47154   2711972   9011720     24.29     25.81  --
2783.24/696.83	c  F st  1041    306255     91122     54418   2163028     65153   2711972  20711278     24.17     17.71  --
2784.04/697.06	c Replacing        3 vars Replaced     1812 lits Time:     0.58 s 
2787.64/697.91	c  N st  1042    306505     91111     54411   2162232     65377   2711503  20897776     24.17   no data  --
2907.90/728.01	c Finding binary XORs  T:     0.23 s  found:      48
2940.25/736.14	c  N dy  1095    326177     90977     54324   2163717     57571   2705471  12592278     24.00     26.57  --
3071.33/768.96	c  N dy  1178    346341     90975     54324   2164087     49556   2705471   5391676     24.01     25.45  --
3144.82/787.34	c  S st  1216    357376     90975     54324   2164180     60495   2705471  12159680     23.93     16.04  --
3148.82/788.31	c  S st  1216    357876     90975     54324   2164187     60987   2705471  12261791     23.93   no data  --
3148.82/788.39	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.35
3198.79/800.83	c Flit:    47 Blit:      2 bXBeca:    0 bXProp:    3 Bins:  44632 BRemL:     56 BRemN:    457 P: 200.0M T: 49.65
3199.97/801.14	c Replacing       51 vars Replaced    25980 lits Time:     1.21 s 
3203.58/802.08	c bin-w-bin subsume rem         1272 bins  time:  0.87 s
3209.95/803.66	c subs with bin:       33  lits-rem:        62  v-fix:    0  time:  6.30 s
3211.96/804.16	c Subs w/ non-existent bins:     14 l-rem:    948 v-fix:     0 done:   1368 time:  1.99 s
3213.14/804.43	c Removed useless bin:    6576  fixed:     0  props:  20.02M  time:  1.06 s
3298.25/825.76	c lits-rem:        75  cl-subs:     1372  v-elim:      5  v-fix:    0  time: 85.12 s
3300.27/826.21	c asymm  cl-useful: 0/429/54287 lits-rem:0 time: 1.80
3300.27/826.26	c  N dy  1216    357876     90864     54287   2192429     59522   2688686  12131518     23.93   no data  --
3300.65/826.32	c Finding binary XORs  T:     0.23 s  found:      11
3455.26/865.09	c  N dy  1283    379799     90856     54287   2193103     51348   2688686   4256090     23.73     25.07  --
3469.24/868.55	c Finding binary XORs  T:     0.22 s  found:      21
3597.08/900.55	c  N dy  1339    399810     90795     54248   2247290     71143   2686138  16144737     23.57     33.44  --
3733.32/934.60	c  N dy  1414    419932     90782     54248   2247629     60885   2686138   7547535     23.46     24.98  --
3766.88/943.05	c Finding binary XORs  T:     0.24 s  found:      29
3860.77/966.53	c  N dy  1487    439983     90713     54191   2316711     80656   2682475  18178419     23.42     43.86  --
3983.03/997.14	c  N dy  1552    460023     90713     54191   2316948     69598   2682475   9768241     23.33     25.20  --
4116.47/1030.55	c  N dy  1633    480310     90703     54191   2317392     89709   2682475  19879806     23.30     25.94  --
4262.30/1067.03	c  N dy  1702    503810     90689     54191   2317702     81012   2682475  15250648     23.16     24.42  --
4399.72/1101.47	c  N dy  1772    525191     90685     54191   2318102     69163   2682475   6614045     23.08     24.44  --
4477.22/1120.89	c  S st  1813    536814     90684     54191   2318374     80684   2682475  13111361     23.03   no data  --
4481.61/1121.96	c  S st  1813    537314     90684     54191   2318381     81177   2682475  13240029     23.03   no data  --
4482.03/1122.05	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.36
4533.56/1134.93	c Flit:    27 Blit:     13 bXBeca:    0 bXProp:    5 Bins:  94758 BRemL:     39 BRemN:    482 P: 200.0M T: 51.46
4534.77/1135.30	c Replacing       66 vars Replaced    47161 lits Time:     1.41 s 
4538.75/1136.28	c bin-w-bin subsume rem         1918 bins  time:  1.01 s
4545.14/1137.86	c subs with bin:       11  lits-rem:       191  v-fix:    0  time:  6.31 s
4546.73/1138.26	c Subs w/ non-existent bins:     10 l-rem:    832 v-fix:     0 done:    611 time:  1.58 s
4547.95/1138.54	c Removed useless bin:   11291  fixed:     0  props:  20.00M  time:  1.13 s
4664.99/1167.86	c lits-rem:        16  cl-subs:     2096  v-elim:      1  v-fix:    0  time: 116.82 s
4666.60/1168.28	c asymm  cl-useful: 117/614/54138 lits-rem:1820 time: 1.66
4667.00/1168.33	c  N dy  1813    537314     90578     54138   2392679     78987   2653664  13109784     23.03   no data  --
4667.38/1168.48	c Finding binary XORs  T:     0.23 s  found:      22

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3284782-1304037108/watcher-3284782-1304037108 -o /tmp/evaluation-result-3284782-1304037108/solver-3284782-1304037108 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3284782-1304037108.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: 6.17 5.45 6.52 5/180 17771
/proc/meminfo: memFree=10870328/32951124 swapFree=67102140/67111528
[pid=17771] ppid=17769 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/17771/stat : 17771 (strangenight1-m) R 17769 17771 16723 0 -1 4202496 414 0 0 0 0 0 0 0 23 0 4 0 593941643 52465664 353 33554432000 4194304 4650419 140736015759120 18446744073709551615 46978828318642 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17771/statm: 12809 353 303 112 0 7774 0
[pid=17771/tid=17772] ppid=17769 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/17771/task/17772/stat : 17772 (strangenight1-m) R 17769 17771 16723 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 4 0 593941643 52465664 353 33554432000 4194304 4650419 140736015759120 18446744073709551615 216735235057 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17771/tid=17773] ppid=17769 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/17771/task/17773/stat : 17773 (strangenight1-m) R 17769 17771 16723 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 4 0 593941643 52465664 353 33554432000 4194304 4650419 140736015759120 18446744073709551615 216730210536 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17771/tid=17774] ppid=17769 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/17771/task/17774/stat : 17774 (strangenight1-m) R 17769 17771 16723 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 4 0 593941643 52465664 353 33554432000 4194304 4650419 140736015759120 18446744073709551615 216730210536 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.087718 s]
/proc/loadavg: 6.17 5.45 6.52 5/180 17771
/proc/meminfo: memFree=10870328/32951124 swapFree=67102140/67111528
[pid=17771] ppid=17769 vsize=367644 CPUtime=0.3 cores=0,2,4,6
/proc/17771/stat : 17771 (strangenight1-m) R 17769 17771 16723 0 -1 4202496 11577 0 0 0 25 5 0 0 18 0 4 0 593941643 376467456 9523 33554432000 4194304 4650419 140736015759120 18446744073709551615 4545872 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17771/statm: 91911 9539 345 112 0 86876 0
[pid=17771/tid=17772] ppid=17769 vsize=367644 CPUtime=0.06 cores=0,2,4,6
/proc/17771/task/17772/stat : 17772 (strangenight1-m) S 17769 17771 16723 0 -1 4202560 2715 0 0 0 6 0 0 0 18 0 4 0 593941643 376467456 9549 33554432000 4194304 4650419 140736015759120 18446744073709551615 216735283694 0 0 4096 2 18446604440347626240 0 0 -1 6 0 0 0
[pid=17771/tid=17773] ppid=17769 vsize=367644 CPUtime=0.07 cores=0,2,4,6
/proc/17771/task/17773/stat : 17773 (strangenight1-m) R 17769 17771 16723 0 -1 4202560 2743 0 0 0 6 1 0 0 18 0 4 0 593941643 376467456 9568 33554432000 4194304 4650419 140736015759120 18446744073709551615 4545909 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17771/tid=17774] ppid=17769 vsize=367644 CPUtime=0.07 cores=0,2,4,6
/proc/17771/task/17774/stat : 17774 (strangenight1-m) R 17769 17771 16723 0 -1 4202560 2794 0 0 0 6 1 0 0 18 0 4 0 593941643 376467456 9586 33554432000 4194304 4650419 140736015759120 18446744073709551615 216734875848 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 367644

[startup+0.101002 s]
/proc/loadavg: 6.17 5.45 6.52 5/180 17771
/proc/meminfo: memFree=10870328/32951124 swapFree=67102140/67111528
[pid=17771] ppid=17769 vsize=371324 CPUtime=0.35 cores=0,2,4,6
/proc/17771/stat : 17771 (strangenight1-m) R 17769 17771 16723 0 -1 4202496 13438 0 0 0 29 6 0 0 18 0 4 0 593941643 380235776 11366 33554432000 4194304 4650419 140736015759120 18446744073709551615 4373800 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17771/statm: 92831 11371 345 112 0 87796 0
[pid=17771/tid=17772] ppid=17769 vsize=371324 CPUtime=0.08 cores=0,2,4,6
/proc/17771/task/17772/stat : 17772 (strangenight1-m) S 17769 17771 16723 0 -1 4202560 3051 0 0 0 7 1 0 0 17 0 4 0 593941643 380235776 11384 33554432000 4194304 4650419 140736015759120 18446744073709551615 216735283694 0 0 4096 2 18446604440347626240 0 0 -1 6 0 0 0
[pid=17771/tid=17773] ppid=17769 vsize=371324 CPUtime=0.08 cores=0,2,4,6
/proc/17771/task/17773/stat : 17773 (strangenight1-m) S 17769 17771 16723 0 -1 4202560 3202 0 0 0 7 1 0 0 18 0 4 0 593941643 380235776 11398 33554432000 4194304 4650419 140736015759120 18446744073709551615 216735283694 0 0 4096 2 18446604440347626240 0 0 -1 4 0 0 0
[pid=17771/tid=17774] ppid=17769 vsize=371324 CPUtime=0.08 cores=0,2,4,6
/proc/17771/task/17774/stat : 17774 (strangenight1-m) R 17769 17771 16723 0 -1 4202560 3222 0 0 0 7 1 0 0 18 0 4 0 593941643 380235776 11414 33554432000 4194304 4650419 140736015759120 18446744073709551615 216734875767 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.35
Current children cumulated vsize (KiB) 371324

[startup+0.301715 s]
/proc/loadavg: 6.17 5.45 6.52 5/180 17771
/proc/meminfo: memFree=10870328/32951124 swapFree=67102140/67111528
[pid=17771] ppid=17769 vsize=397872 CPUtime=1.05 cores=0,2,4,6
/proc/17771/stat : 17771 (strangenight1-m) R 17769 17771 16723 0 -1 4202496 32682 0 0 0 80 25 0 0 17 0 4 0 593941643 407420928 28388 33554432000 4194304 4650419 140736015759120 18446744073709551615 4373800 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17771/statm: 99468 28408 345 112 0 94433 0
[pid=17771/tid=17772] ppid=17769 vsize=397872 CPUtime=0.25 cores=0,2,4,6
/proc/17771/task/17772/stat : 17772 (strangenight1-m) S 17769 17771 16723 0 -1 4202560 7546 0 0 0 20 5 0 0 17 0 4 0 593941643 407420928 28417 33554432000 4194304 4650419 140736015759120 18446744073709551615 216735283694 0 0 4096 2 18446604440347626240 0 0 -1 6 0 0 0
[pid=17771/tid=17773] ppid=17769 vsize=397872 CPUtime=0.26 cores=0,2,4,6
/proc/17771/task/17773/stat : 17773 (strangenight1-m) R 17769 17771 16723 0 -1 4202560 8225 0 0 0 19 7 0 0 17 0 4 0 593941643 407420928 28431 33554432000 4194304 4650419 140736015759120 18446744073709551615 4373800 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17771/tid=17774] ppid=17769 vsize=397872 CPUtime=0.25 cores=0,2,4,6
/proc/17771/task/17774/stat : 17774 (strangenight1-m) R 17769 17771 16723 0 -1 4202560 8215 0 0 0 21 4 0 0 17 0 4 0 593941643 407420928 28447 33554432000 4194304 4650419 140736015759120 18446744073709551615 216735283743 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.05
Current children cumulated vsize (KiB) 397872

[startup+0.702607 s]
/proc/loadavg: 6.17 5.45 6.52 5/180 17771
/proc/meminfo: memFree=10870328/32951124 swapFree=67102140/67111528
[pid=17771] ppid=17769 vsize=460104 CPUtime=2.42 cores=0,2,4,6
/proc/17771/stat : 17771 (strangenight1-m) R 17769 17771 16723 0 -1 4202496 73203 0 0 0 181 61 0 0 17 0 4 0 593941643 471146496 64474 33554432000 4194304 4650419 140736015759120 18446744073709551615 216734839841 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17771/statm: 115026 64568 345 112 0 109991 0
[pid=17771/tid=17772] ppid=17769 vsize=460104 CPUtime=0.59 cores=0,2,4,6
/proc/17771/task/17772/stat : 17772 (strangenight1-m) S 17769 17771 16723 0 -1 4202560 16999 0 0 0 45 14 0 0 17 0 4 0 593941643 471146496 64583 33554432000 4194304 4650419 140736015759120 18446744073709551615 216735283694 0 0 4096 2 18446604440347626240 0 0 -1 6 0 0 0
[pid=17771/tid=17773] ppid=17769 vsize=460104 CPUtime=0.61 cores=0,2,4,6
/proc/17771/task/17773/stat : 17773 (strangenight1-m) R 17769 17771 16723 0 -1 4202560 18308 0 0 0 45 16 0 0 17 0 4 0 593941643 471146496 64600 33554432000 4194304 4650419 140736015759120 18446744073709551615 216735283743 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17771/tid=17774] ppid=17769 vsize=460104 CPUtime=0.59 cores=0,2,4,6
/proc/17771/task/17774/stat : 17774 (strangenight1-m) R 17769 17771 16723 0 -1 4202560 18510 0 0 0 47 12 0 0 17 0 4 0 593941643 471146496 64612 33554432000 4194304 4650419 140736015759120 18446744073709551615 216734847409 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.42
Current children cumulated vsize (KiB) 460104

[startup+1.50047 s]
/proc/loadavg: 6.17 5.45 6.52 9/184 17775
/proc/meminfo: memFree=10497164/32951124 swapFree=67102140/67111528
[pid=17771] ppid=17769 vsize=665784 CPUtime=5.46 cores=0,2,4,6
/proc/17771/stat : 17771 (strangenight1-m) R 17769 17771 16723 0 -1 4202496 116033 0 0 0 460 86 0 0 18 0 4 0 593941643 681762816 95992 33554432000 4194304 4650419 140736015759120 18446744073709551615 4369904 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17771/statm: 166446 95992 373 112 0 161411 0
[pid=17771/tid=17772] ppid=17769 vsize=665784 CPUtime=1.35 cores=0,2,4,6
/proc/17771/task/17772/stat : 17772 (strangenight1-m) R 17769 17771 16723 0 -1 4202560 27870 0 0 0 115 20 0 0 18 0 4 0 593941643 681762816 95992 33554432000 4194304 4650419 140736015759120 18446744073709551615 4369376 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17771/tid=17773] ppid=17769 vsize=665784 CPUtime=1.37 cores=0,2,4,6
/proc/17771/task/17773/stat : 17773 (strangenight1-m) R 17769 17771 16723 0 -1 4202560 29255 0 0 0 115 22 0 0 18 0 4 0 593941643 681762816 95992 33554432000 4194304 4650419 140736015759120 18446744073709551615 4244788 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17771/tid=17774] ppid=17769 vsize=665784 CPUtime=1.34 cores=0,2,4,6
/proc/17771/task/17774/stat : 17774 (strangenight1-m) R 17769 17771 16723 0 -1 4202560 28638 0 0 0 117 17 0 0 18 0 4 0 593941643 681762816 95992 33554432000 4194304 4650419 140736015759120 18446744073709551615 4363346 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.46
Current children cumulated vsize (KiB) 665784

[startup+3.10119 s]
/proc/loadavg: 6.32 5.49 6.52 9/184 17775
/proc/meminfo: memFree=10463928/32951124 swapFree=67102140/67111528
[pid=17771] ppid=17769 vsize=665784 CPUtime=11.85 cores=0,2,4,6
/proc/17771/stat : 17771 (strangenight1-m) R 17769 17771 16723 0 -1 4202496 117166 0 0 0 1099 86 0 0 21 0 4 0 593941643 681762816 97125 33554432000 4194304 4650419 140736015759120 18446744073709551615 4370273 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17771/statm: 166446 97125 373 112 0 161411 0
[pid=17771/tid=17772] ppid=17769 vsize=665784 CPUtime=2.95 cores=0,2,4,6
/proc/17771/task/17772/stat : 17772 (strangenight1-m) R 17769 17771 16723 0 -1 4202560 28002 0 0 0 275 20 0 0 21 0 4 0 593941643 681762816 97125 33554432000 4194304 4650419 140736015759120 18446744073709551615 4370618 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17771/tid=17773] ppid=17769 vsize=665784 CPUtime=2.97 cores=0,2,4,6
/proc/17771/task/17773/stat : 17773 (strangenight1-m) R 17769 17771 16723 0 -1 4202560 29282 0 0 0 275 22 0 0 21 0 4 0 593941643 681762816 97125 33554432000 4194304 4650419 140736015759120 18446744073709551615 4369471 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17771/tid=17774] ppid=17769 vsize=665784 CPUtime=2.94 cores=0,2,4,6
/proc/17771/task/17774/stat : 17774 (strangenight1-m) R 17769 17771 16723 0 -1 4202560 29424 0 0 0 277 17 0 0 21 0 4 0 593941643 681762816 97125 33554432000 4194304 4650419 140736015759120 18446744073709551615 4315996 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 11.85
Current children cumulated vsize (KiB) 665784

[startup+6.30063 s]
/proc/loadavg: 6.32 5.49 6.52 9/184 17775
/proc/meminfo: memFree=10412380/32951124 swapFree=67102140/67111528
[pid=17771] ppid=17769 vsize=699012 CPUtime=24.63 cores=0,2,4,6
/proc/17771/stat : 17771 (strangenight1-m) R 17769 17771 16723 0 -1 4202496 119058 0 0 0 2376 87 0 0 25 0 4 0 593941643 715788288 99017 33554432000 4194304 4650419 140736015759120 18446744073709551615 4371001 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17771/statm: 174753 99017 373 112 0 169718 0
[pid=17771/tid=17772] ppid=17769 vsize=699012 CPUtime=6.13 cores=0,2,4,6
/proc/17771/task/17772/stat : 17772 (strangenight1-m) R 17769 17771 16723 0 -1 4202560 28005 0 0 0 593 20 0 0 25 0 4 0 593941643 715788288 99017 33554432000 4194304 4650419 140736015759120 18446744073709551615 4243552 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17771/tid=17773] ppid=17769 vsize=699012 CPUtime=6.16 cores=0,2,4,6
/proc/17771/task/17773/stat : 17773 (strangenight1-m) R 17769 17771 16723 0 -1 4202560 29282 0 0 0 594 22 0 0 25 0 4 0 593941643 715788288 99017 33554432000 4194304 4650419 140736015759120 18446744073709551615 4370337 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17771/tid=17774] ppid=17769 vsize=699012 CPUtime=6.15 cores=0,2,4,6
/proc/17771/task/17774/stat : 17774 (strangenight1-m) R 17769 17771 16723 0 -1 4202560 31312 0 0 0 597 18 0 0 25 0 4 0 593941643 715788288 99017 33554432000 4194304 4650419 140736015759120 18446744073709551615 4315137 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 24.63
Current children cumulated vsize (KiB) 699012

[startup+12.7005 s]
/proc/loadavg: 6.58 5.57 6.54 9/184 17775
/proc/meminfo: memFree=10136884/32951124 swapFree=67102140/67111528
[pid=17771] ppid=17769 vsize=851288 CPUtime=50.16 cores=0,2,4,6
/proc/17771/stat : 17771 (strangenight1-m) R 17769 17771 16723 0 -1 4202496 147520 0 0 0 4920 96 0 0 25 0 4 0 593941643 871718912 127436 33554432000 4194304 4650419 140736015759120 18446744073709551615 216734847409 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17771/statm: 212822 127436 388 112 0 207787 0
[pid=17771/tid=17772] ppid=17769 vsize=851288 CPUtime=12.5 cores=0,2,4,6
/proc/17771/task/17772/stat : 17772 (strangenight1-m) R 17769 17771 16723 0 -1 4202560 35823 0 0 0 1226 24 0 0 25 0 4 0 593941643 871718912 127436 33554432000 4194304 4650419 140736015759120 18446744073709551615 4441636 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17771/tid=17773] ppid=17769 vsize=851288 CPUtime=12.56 cores=0,2,4,6
/proc/17771/task/17773/stat : 17773 (strangenight1-m) R 17769 17771 16723 0 -1 4202560 36739 0 0 0 1230 26 0 0 25 0 4 0 593941643 871718912 127436 33554432000 4194304 4650419 140736015759120 18446744073709551615 216734837553 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17771/tid=17774] ppid=17769 vsize=851288 CPUtime=12.54 cores=0,2,4,6
/proc/17771/task/17774/stat : 17774 (strangenight1-m) R 17769 17771 16723 0 -1 4202560 37374 0 0 0 1235 19 0 0 25 0 4 0 593941643 871718912 127436 33554432000 4194304 4650419 140736015759120 18446744073709551615 216735283743 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.16
Current children cumulated vsize (KiB) 851288

[startup+25.5003 s]
/proc/loadavg: 6.79 5.65 6.56 9/184 17776
/proc/meminfo: memFree=9877632/32951124 swapFree=67102140/67111528
[pid=17771] ppid=17769 vsize=999248 CPUtime=101.3 cores=0,2,4,6
/proc/17771/stat : 17771 (strangenight1-m) R 17769 17771 16723 0 -1 4202496 169265 0 0 0 10029 101 0 0 25 0 4 0 593941643 1023229952 148914 33554432000 4194304 4650419 140736015759120 18446744073709551615 4365477 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17771/statm: 249812 148914 391 112 0 244777 0
[pid=17771/tid=17772] ppid=17769 vsize=999248 CPUtime=25.23 cores=0,2,4,6
/proc/17771/task/17772/stat : 17772 (strangenight1-m) R 17769 17771 16723 0 -1 4202560 41375 0 0 0 2498 25 0 0 25 0 4 0 593941643 1023229952 148914 33554432000 4194304 4650419 140736015759120 18446744073709551615 4365535 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17771/tid=17773] ppid=17769 vsize=999248 CPUtime=25.35 cores=0,2,4,6
/proc/17771/task/17773/stat : 17773 (strangenight1-m) R 17769 17771 16723 0 -1 4202560 42225 0 0 0 2509 26 0 0 25 0 4 0 593941643 1023229952 148914 33554432000 4194304 4650419 140736015759120 18446744073709551615 4315094 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17771/tid=17774] ppid=17769 vsize=999248 CPUtime=25.35 cores=0,2,4,6
/proc/17771/task/17774/stat : 17774 (strangenight1-m) R 17769 17771 16723 0 -1 4202560 42368 0 0 0 2514 21 0 0 25 0 4 0 593941643 1023229952 148914 33554432000 4194304 4650419 140736015759120 18446744073709551615 4315977 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.3
Current children cumulated vsize (KiB) 999248

[startup+51.1008 s]
/proc/loadavg: 7.21 5.84 6.59 9/184 17806
/proc/meminfo: memFree=9547816/32951124 swapFree=67102140/67111528
[pid=17771] ppid=17769 vsize=1114952 CPUtime=203.58 cores=0,2,4,6
/proc/17771/stat : 17771 (strangenight1-m) R 17769 17771 16723 0 -1 4202496 219603 0 0 0 20240 118 0 0 25 0 4 0 593941643 1141710848 144584 33554432000 4194304 4650419 140736015759120 18446744073709551615 4520364 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17771/statm: 278738 144584 394 112 0 273703 0
[pid=17771/tid=17772] ppid=17769 vsize=1114952 CPUtime=50.71 cores=0,2,4,6
/proc/17771/task/17772/stat : 17772 (strangenight1-m) R 17769 17771 16723 0 -1 4202560 54117 0 0 0 5043 28 0 0 25 0 4 0 593941643 1141710848 144584 33554432000 4194304 4650419 140736015759120 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17771/tid=17773] ppid=17769 vsize=1114952 CPUtime=50.95 cores=0,2,4,6
/proc/17771/task/17773/stat : 17773 (strangenight1-m) R 17769 17771 16723 0 -1 4202560 55131 0 0 0 5061 34 0 0 25 0 4 0 593941643 1141710848 144584 33554432000 4194304 4650419 140736015759120 18446744073709551615 216734836464 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17771/tid=17774] ppid=17769 vsize=1114952 CPUtime=50.94 cores=0,2,4,6
/proc/17771/task/17774/stat : 17774 (strangenight1-m) R 17769 17771 16723 0 -1 4202560 54619 0 0 0 5070 24 0 0 25 0 4 0 593941643 1141710848 144584 33554432000 4194304 4650419 140736015759120 18446744073709551615 4331184 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 203.58
Current children cumulated vsize (KiB) 1114952

[startup+102.306 s]
/proc/loadavg: 7.67 6.20 6.67 9/184 17838
/proc/meminfo: memFree=10174420/32951124 swapFree=67102140/67111528
[pid=17771] ppid=17769 vsize=1431456 CPUtime=408.12 cores=0,2,4,6
/proc/17771/stat : 17771 (strangenight1-m) R 17769 17771 16723 0 -1 4202496 409711 0 0 0 40608 204 0 0 25 0 4 0 593941643 1465810944 290251 33554432000 4194304 4650419 140736015759120 18446744073709551615 4363335 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17771/statm: 357864 290251 395 112 0 352829 0
[pid=17771/tid=17772] ppid=17769 vsize=1431456 CPUtime=101.67 cores=0,2,4,6
/proc/17771/task/17772/stat : 17772 (strangenight1-m) R 17769 17771 16723 0 -1 4202560 132145 0 0 0 10078 89 0 0 18 0 4 0 593941643 1465810944 290251 33554432000 4194304 4650419 140736015759120 18446744073709551615 4476204 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17771/tid=17773] ppid=17769 vsize=1431456 CPUtime=102.15 cores=0,2,4,6
/proc/17771/task/17773/stat : 17773 (strangenight1-m) R 17769 17771 16723 0 -1 4202560 78159 0 0 0 10175 40 0 0 18 0 4 0 593941643 1465810944 290251 33554432000 4194304 4650419 140736015759120 18446744073709551615 4436168 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17771/tid=17774] ppid=17769 vsize=1431456 CPUtime=102.14 cores=0,2,4,6
/proc/17771/task/17774/stat : 17774 (strangenight1-m) R 17769 17771 16723 0 -1 4202560 78216 0 0 0 10183 31 0 0 18 0 4 0 593941643 1465810944 290251 33554432000 4194304 4650419 140736015759120 18446744073709551615 4368288 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 408.12
Current children cumulated vsize (KiB) 1431456

[startup+162.3 s]

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


[startup+702.3 s]
/proc/loadavg: 8.10 7.87 7.35 9/184 17857
/proc/meminfo: memFree=6447508/32951124 swapFree=67102140/67111528
[pid=17771] ppid=17769 vsize=3196176 CPUtime=2805.21 cores=0,2,4,6
/proc/17771/stat : 17771 (strangenight1-m) R 17769 17771 16723 0 -1 4202496 1635161 0 0 0 280033 488 0 0 25 0 4 0 593941643 3272884224 665057 33554432000 4194304 4650419 140736015759120 18446744073709551615 4315137 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17771/statm: 799044 665057 397 112 0 794009 0
[pid=17771/tid=17772] ppid=17769 vsize=3196176 CPUtime=698.8 cores=0,2,4,6
/proc/17771/task/17772/stat : 17772 (strangenight1-m) R 17769 17771 16723 0 -1 4202560 389220 0 0 0 69727 153 0 0 25 0 4 0 593941643 3272884224 665057 33554432000 4194304 4650419 140736015759120 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17771/tid=17773] ppid=17769 vsize=3196176 CPUtime=702.14 cores=0,2,4,6
/proc/17771/task/17773/stat : 17773 (strangenight1-m) R 17769 17771 16723 0 -1 4202560 307760 0 0 0 70110 104 0 0 25 0 4 0 593941643 3272884224 665057 33554432000 4194304 4650419 140736015759120 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17771/tid=17774] ppid=17769 vsize=3196176 CPUtime=702.13 cores=0,2,4,6
/proc/17771/task/17774/stat : 17774 (strangenight1-m) R 17769 17771 16723 0 -1 4202560 591106 0 0 0 70081 132 0 0 25 0 4 0 593941643 3272884224 665057 33554432000 4194304 4650419 140736015759120 18446744073709551615 4315077 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2805.21
Current children cumulated vsize (KiB) 3196176

[startup+762.301 s]
/proc/loadavg: 8.15 7.92 7.39 9/184 17858
/proc/meminfo: memFree=6214240/32951124 swapFree=67102140/67111528
[pid=17771] ppid=17769 vsize=3344148 CPUtime=3044.96 cores=0,2,4,6
/proc/17771/stat : 17771 (strangenight1-m) R 17769 17771 16723 0 -1 4202496 1702212 0 0 0 303988 508 0 0 25 0 4 0 593941643 3424407552 706415 33554432000 4194304 4650419 140736015759120 18446744073709551615 4333632 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17771/statm: 836037 706415 397 112 0 831002 0
[pid=17771/tid=17772] ppid=17769 vsize=3344148 CPUtime=758.53 cores=0,2,4,6
/proc/17771/task/17772/stat : 17772 (strangenight1-m) R 17769 17771 16723 0 -1 4202560 409926 0 0 0 75694 159 0 0 25 0 4 0 593941643 3424407552 706415 33554432000 4194304 4650419 140736015759120 18446744073709551615 4476204 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17771/tid=17773] ppid=17769 vsize=3344148 CPUtime=762.14 cores=0,2,4,6
/proc/17771/task/17773/stat : 17773 (strangenight1-m) R 17769 17771 16723 0 -1 4202560 320118 0 0 0 76106 108 0 0 25 0 4 0 593941643 3424407552 706415 33554432000 4194304 4650419 140736015759120 18446744073709551615 4365422 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17771/tid=17774] ppid=17769 vsize=3344148 CPUtime=762.15 cores=0,2,4,6
/proc/17771/task/17774/stat : 17774 (strangenight1-m) R 17769 17771 16723 0 -1 4202560 603607 0 0 0 76078 137 0 0 25 0 4 0 593941643 3424407552 706415 33554432000 4194304 4650419 140736015759120 18446744073709551615 4315234 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3044.96
Current children cumulated vsize (KiB) 3344148

[startup+822.3 s]
/proc/loadavg: 8.05 7.93 7.43 9/184 17860
/proc/meminfo: memFree=6369080/32951124 swapFree=67102140/67111528
[pid=17771] ppid=17769 vsize=3344132 CPUtime=3284.67 cores=0,2,4,6
/proc/17771/stat : 17771 (strangenight1-m) R 17769 17771 16723 0 -1 4202496 1783872 0 0 0 327937 530 0 0 25 0 4 0 593941643 3424391168 690453 33554432000 4194304 4650419 140736015759120 18446744073709551615 4476756 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17771/statm: 836033 690453 397 112 0 830998 0
[pid=17771/tid=17772] ppid=17769 vsize=3344132 CPUtime=818.25 cores=0,2,4,6
/proc/17771/task/17772/stat : 17772 (strangenight1-m) R 17769 17771 16723 0 -1 4202560 409926 0 0 0 81666 159 0 0 25 0 4 0 593941643 3424391168 690453 33554432000 4194304 4650419 140736015759120 18446744073709551615 4476204 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17771/tid=17773] ppid=17769 vsize=3344132 CPUtime=822.13 cores=0,2,4,6
/proc/17771/task/17773/stat : 17773 (strangenight1-m) R 17769 17771 16723 0 -1 4202560 340002 0 0 0 82098 115 0 0 25 0 4 0 593941643 3424391168 690453 33554432000 4194304 4650419 140736015759120 18446744073709551615 4333632 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17771/tid=17774] ppid=17769 vsize=3344132 CPUtime=822.13 cores=0,2,4,6
/proc/17771/task/17774/stat : 17774 (strangenight1-m) R 17769 17771 16723 0 -1 4202560 617870 0 0 0 82072 141 0 0 25 0 4 0 593941643 3424391168 690453 33554432000 4194304 4650419 140736015759120 18446744073709551615 4315965 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3284.67
Current children cumulated vsize (KiB) 3344132

[startup+882.307 s]
/proc/loadavg: 8.08 7.96 7.47 9/184 17861
/proc/meminfo: memFree=5767404/32951124 swapFree=67102140/67111528
[pid=17771] ppid=17769 vsize=3580016 CPUtime=3524.4 cores=0,2,4,6
/proc/17771/stat : 17771 (strangenight1-m) R 17769 17771 16723 0 -1 4202496 1954634 0 0 0 351872 568 0 0 25 0 4 0 593941643 3665936384 760575 33554432000 4194304 4650419 140736015759120 18446744073709551615 4315488 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17771/statm: 895004 760575 397 112 0 889969 0
[pid=17771/tid=17772] ppid=17769 vsize=3580016 CPUtime=877.96 cores=0,2,4,6
/proc/17771/task/17772/stat : 17772 (strangenight1-m) R 17769 17771 16723 0 -1 4202560 453986 0 0 0 87627 169 0 0 25 0 4 0 593941643 3665936384 760575 33554432000 4194304 4650419 140736015759120 18446744073709551615 4315094 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17771/tid=17773] ppid=17769 vsize=3580016 CPUtime=882.14 cores=0,2,4,6
/proc/17771/task/17773/stat : 17773 (strangenight1-m) R 17769 17771 16723 0 -1 4202560 359959 0 0 0 88093 121 0 0 25 0 4 0 593941643 3665936384 760575 33554432000 4194304 4650419 140736015759120 18446744073709551615 4364883 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17771/tid=17774] ppid=17769 vsize=3580016 CPUtime=882.14 cores=0,2,4,6
/proc/17771/task/17774/stat : 17774 (strangenight1-m) R 17769 17771 16723 0 -1 4202560 682171 0 0 0 88060 154 0 0 25 0 4 0 593941643 3665936384 760575 33554432000 4194304 4650419 140736015759120 18446744073709551615 4432979 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3524.4
Current children cumulated vsize (KiB) 3580016

[startup+942.3 s]
/proc/loadavg: 8.09 7.98 7.50 9/184 17863
/proc/meminfo: memFree=5506872/32951124 swapFree=67102140/67111528
[pid=17771] ppid=17769 vsize=3748876 CPUtime=3764.08 cores=0,2,4,6
/proc/17771/stat : 17771 (strangenight1-m) R 17769 17771 16723 0 -1 4202496 2107202 0 0 0 375810 598 0 0 25 0 4 0 593941643 3838849024 801137 33554432000 4194304 4650419 140736015759120 18446744073709551615 4334261 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17771/statm: 937219 801137 397 112 0 932184 0
[pid=17771/tid=17772] ppid=17769 vsize=3748876 CPUtime=937.67 cores=0,2,4,6
/proc/17771/task/17772/stat : 17772 (strangenight1-m) R 17769 17771 16723 0 -1 4202560 475400 0 0 0 93591 176 0 0 25 0 4 0 593941643 3838849024 801137 33554432000 4194304 4650419 140736015759120 18446744073709551615 4315222 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17771/tid=17773] ppid=17769 vsize=3748876 CPUtime=942.13 cores=0,2,4,6
/proc/17771/task/17773/stat : 17773 (strangenight1-m) R 17769 17771 16723 0 -1 4202560 377810 0 0 0 94086 127 0 0 25 0 4 0 593941643 3838849024 801137 33554432000 4194304 4650419 140736015759120 18446744073709551615 4303936 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17771/tid=17774] ppid=17769 vsize=3748876 CPUtime=942.14 cores=0,2,4,6
/proc/17771/task/17774/stat : 17774 (strangenight1-m) R 17769 17771 16723 0 -1 4202560 772817 0 0 0 94048 166 0 0 25 0 4 0 593941643 3838849024 801137 33554432000 4194304 4650419 140736015759120 18446744073709551615 4333632 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3764.08
Current children cumulated vsize (KiB) 3748876

[startup+1002.3 s]
/proc/loadavg: 8.03 7.98 7.53 9/184 17865
/proc/meminfo: memFree=5517884/32951124 swapFree=67102140/67111528
[pid=17771] ppid=17769 vsize=3703340 CPUtime=4003.81 cores=0,2,4,6
/proc/17771/stat : 17771 (strangenight1-m) R 17769 17771 16723 0 -1 4202496 2176371 0 0 0 399761 620 0 0 25 0 4 0 593941643 3792220160 792646 33554432000 4194304 4650419 140736015759120 18446744073709551615 4363420 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17771/statm: 925835 792646 397 112 0 920800 0
[pid=17771/tid=17772] ppid=17769 vsize=3703340 CPUtime=997.39 cores=0,2,4,6
/proc/17771/task/17772/stat : 17772 (strangenight1-m) R 17769 17771 16723 0 -1 4202560 492664 0 0 0 99558 181 0 0 25 0 4 0 593941643 3792220160 792646 33554432000 4194304 4650419 140736015759120 18446744073709551615 4368288 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17771/tid=17773] ppid=17769 vsize=3703340 CPUtime=1002.13 cores=0,2,4,6
/proc/17771/task/17773/stat : 17773 (strangenight1-m) R 17769 17771 16723 0 -1 4202560 398696 0 0 0 100078 135 0 0 25 0 4 0 593941643 3792220160 792646 33554432000 4194304 4650419 140736015759120 18446744073709551615 4315088 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17771/tid=17774] ppid=17769 vsize=3703340 CPUtime=1002.14 cores=0,2,4,6
/proc/17771/task/17774/stat : 17774 (strangenight1-m) R 17769 17771 16723 0 -1 4202560 787064 0 0 0 100044 170 0 0 25 0 4 0 593941643 3792220160 792646 33554432000 4194304 4650419 140736015759120 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4003.81
Current children cumulated vsize (KiB) 3703340

[startup+1062.3 s]
/proc/loadavg: 8.14 8.01 7.57 9/184 17866
/proc/meminfo: memFree=5446072/32951124 swapFree=67102140/67111528
[pid=17771] ppid=17769 vsize=3703340 CPUtime=4243.51 cores=0,2,4,6
/proc/17771/stat : 17771 (strangenight1-m) R 17769 17771 16723 0 -1 4202496 2239807 0 0 0 423713 638 0 0 25 0 4 0 593941643 3792220160 809345 33554432000 4194304 4650419 140736015759120 18446744073709551615 4366869 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17771/statm: 925835 809345 397 112 0 920800 0
[pid=17771/tid=17772] ppid=17769 vsize=3703340 CPUtime=1057.37 cores=0,2,4,6
/proc/17771/task/17772/stat : 17772 (strangenight1-m) R 17769 17771 16723 0 -1 4202560 507559 0 0 0 105551 186 0 0 25 0 4 0 593941643 3792220160 809345 33554432000 4194304 4650419 140736015759120 18446744073709551615 4229472 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17771/tid=17773] ppid=17769 vsize=3703340 CPUtime=1062.13 cores=0,2,4,6
/proc/17771/task/17773/stat : 17773 (strangenight1-m) R 17769 17771 16723 0 -1 4202560 414481 0 0 0 106074 139 0 0 25 0 4 0 593941643 3792220160 809345 33554432000 4194304 4650419 140736015759120 18446744073709551615 4315153 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17771/tid=17774] ppid=17769 vsize=3703340 CPUtime=1061.87 cores=0,2,4,6
/proc/17771/task/17774/stat : 17774 (strangenight1-m) R 17769 17771 16723 0 -1 4202560 798415 0 0 0 106014 173 0 0 25 0 4 0 593941643 3792220160 809345 33554432000 4194304 4650419 140736015759120 18446744073709551615 4315066 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4243.51
Current children cumulated vsize (KiB) 3703340

[startup+1122.3 s]
/proc/loadavg: 8.11 8.02 7.60 9/184 17868
/proc/meminfo: memFree=5414036/32951124 swapFree=67102140/67111528
[pid=17771] ppid=17769 vsize=3768876 CPUtime=4483.21 cores=0,2,4,6
/proc/17771/stat : 17771 (strangenight1-m) R 17769 17771 16723 0 -1 4202496 2307785 0 0 0 447662 659 0 0 25 0 4 0 593941643 3859329024 807079 33554432000 4194304 4650419 140736015759120 18446744073709551615 4369188 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17771/statm: 942219 807079 397 112 0 937184 0
[pid=17771/tid=17772] ppid=17769 vsize=3768876 CPUtime=1117.38 cores=0,2,4,6
/proc/17771/task/17772/stat : 17772 (strangenight1-m) R 17769 17771 16723 0 -1 4202560 522217 0 0 0 111546 192 0 0 25 0 4 0 593941643 3859329024 807079 33554432000 4194304 4650419 140736015759120 18446744073709551615 4315137 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17771/tid=17773] ppid=17769 vsize=3768876 CPUtime=1122.13 cores=0,2,4,6
/proc/17771/task/17773/stat : 17773 (strangenight1-m) R 17769 17771 16723 0 -1 4202560 435802 0 0 0 112067 146 0 0 25 0 4 0 593941643 3859329024 807079 33554432000 4194304 4650419 140736015759120 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17771/tid=17774] ppid=17769 vsize=3768876 CPUtime=1121.57 cores=0,2,4,6
/proc/17771/task/17774/stat : 17774 (strangenight1-m) R 17769 17771 16723 0 -1 4202560 809175 0 0 0 111981 176 0 0 25 0 4 0 593941643 3859329024 807079 33554432000 4194304 4650419 140736015759120 18446744073709551615 4315952 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4483.21
Current children cumulated vsize (KiB) 3768876

[startup+1182.3 s]
/proc/loadavg: 8.10 8.03 7.63 9/184 17869
/proc/meminfo: memFree=5377812/32951124 swapFree=67102140/67111528
[pid=17771] ppid=17769 vsize=3789564 CPUtime=4722.92 cores=0,2,4,6
/proc/17771/stat : 17771 (strangenight1-m) R 17769 17771 16723 0 -1 4202496 2548234 0 0 0 471595 697 0 0 25 0 4 0 593941643 3880513536 822227 33554432000 4194304 4650419 140736015759120 18446744073709551615 4365289 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17771/statm: 947391 822227 397 112 0 942356 0
[pid=17771/tid=17772] ppid=17769 vsize=3789564 CPUtime=1177.38 cores=0,2,4,6
/proc/17771/task/17772/stat : 17772 (strangenight1-m) R 17769 17771 16723 0 -1 4202560 538025 0 0 0 117541 197 0 0 25 0 4 0 593941643 3880513536 822227 33554432000 4194304 4650419 140736015759120 18446744073709551615 4363323 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17771/tid=17773] ppid=17769 vsize=3789564 CPUtime=1182.13 cores=0,2,4,6
/proc/17771/task/17773/stat : 17773 (strangenight1-m) R 17769 17771 16723 0 -1 4202560 455603 0 0 0 118061 152 0 0 25 0 4 0 593941643 3880513536 822227 33554432000 4194304 4650419 140736015759120 18446744073709551615 4363750 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17771/tid=17774] ppid=17769 vsize=3789564 CPUtime=1181.27 cores=0,2,4,6
/proc/17771/task/17774/stat : 17774 (strangenight1-m) R 17769 17771 16723 0 -1 4202560 820052 0 0 0 117948 179 0 0 25 0 4 0 593941643 3880513536 822227 33554432000 4194304 4650419 140736015759120 18446744073709551615 4315464 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4722.92
Current children cumulated vsize (KiB) 3789564



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.6 s]
/proc/loadavg: 8.07 8.03 7.64 9/184 17870
/proc/meminfo: memFree=5222688/32951124 swapFree=67102140/67111528
[pid=17771] ppid=17769 vsize=3855108 CPUtime=4800.03 cores=0,2,4,6
/proc/17771/stat : 17771 (strangenight1-m) R 17769 17771 16723 0 -1 4202496 2569115 0 0 0 479300 703 0 0 25 0 4 0 593941643 3947630592 843108 33554432000 4194304 4650419 140736015759120 18446744073709551615 4315094 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17771/statm: 963777 843108 397 112 0 958742 0
[pid=17771/tid=17772] ppid=17769 vsize=3855108 CPUtime=1196.68 cores=0,2,4,6
/proc/17771/task/17772/stat : 17772 (strangenight1-m) R 17769 17771 16723 0 -1 4202560 543705 0 0 0 119470 198 0 0 25 0 4 0 593941643 3947630592 843113 33554432000 4194304 4650419 140736015759120 18446744073709551615 4364883 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17771/tid=17773] ppid=17769 vsize=3855108 CPUtime=1201.43 cores=0,2,4,6
/proc/17771/task/17773/stat : 17773 (strangenight1-m) R 17769 17771 16723 0 -1 4202560 461210 0 0 0 119990 153 0 0 25 0 4 0 593941643 3947630592 843113 33554432000 4194304 4650419 140736015759120 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17771/tid=17774] ppid=17769 vsize=3855108 CPUtime=1200.47 cores=0,2,4,6
/proc/17771/task/17774/stat : 17774 (strangenight1-m) R 17769 17771 16723 0 -1 4202560 823163 0 0 0 119867 180 0 0 25 0 4 0 593941643 3947630592 843113 33554432000 4194304 4650419 140736015759120 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.03
Current children cumulated vsize (KiB) 3855108

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

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

[startup+1201.71 s]
/proc/loadavg: 8.07 8.03 7.64 9/184 17870
/proc/meminfo: memFree=5222688/32951124 swapFree=67102140/67111528
[pid=17771] ppid=17769 vsize=0 CPUtime=4800.16 cores=0,2,4,6
/proc/17771/stat : 17771 (strangenight1-m) Z 17769 17771 16723 0 -1 4203548 2569122 0 0 0 479303 713 0 0 25 0 2 0 593941643 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17771/statm: 0 0 0 0 0 0 0
[pid=17771/tid=17774] ppid=17769 vsize=0 CPUtime=1200.58 cores=0,2,4,6
/proc/17771/task/17774/stat : 17774 (strangenight1-m) R 17769 17771 16723 0 -1 4203588 823164 0 0 0 119868 190 0 0 25 0 2 0 593941643 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.16
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.76
CPU time (s): 4800.22
CPU user time (s): 4793.03
CPU system time (s): 7.18491
CPU usage (%): 399.432
Max. virtual memory (cumulated for all children) (KiB): 3899964

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4793.03
system time used= 7.18491
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2569122
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= 135020
involuntary context switches= 31305

runsolver used 1.69774 second user time and 4.03939 second system time

The end

Launcher Data 

Begin job on node119 at 2011-04-29 02:31:50
IDJOB=3284782
IDBENCH=82363
IDSOLVER=1588
FILE ID=node119/3284782-1304037108
RUNJOBID= node119-1304037070-17687
PBS_JOBID= 13170333
Free space on /tmp= 71760 MiB

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

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

MD5SUM BENCH= f52ec4dacdcf65c3aedb61fb46ade01b
RANDOM SEED=1784468909

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

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.815
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.815
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.67
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.815
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.815
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.74
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.815
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:      10870360 kB
Buffers:       2242928 kB
Cached:       18359468 kB
SwapCached:       5504 kB
Active:       10371300 kB
Inactive:     11120276 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      10870360 kB
SwapTotal:    67111528 kB
SwapFree:     67102140 kB
Dirty:           53792 kB
Writeback:           8 kB
AnonPages:      886056 kB
Mapped:          15456 kB
Slab:           522336 kB
PageTables:       6444 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  1151900 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= 71724 MiB
End job on node119 at 2011-04-29 02:51:53