Trace number 3284873

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-Night2-st? (TO) 1300.17 1300.12

General information on the benchmark

Nameapplication/rintanen/SATPlanning/
sokoban-sequential-p145-microban-sequential.060-NOTKNOWN.cnf
MD5SUMe44b288003a3eaf34673a2c0fb8c6f3e
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1226.02
Satisfiable
(Un)Satisfiability was proved
Number of variables131484
Number of clauses2120376
Sum of the clauses size4841016
Maximum clause length78
Minimum clause length1
Number of clauses of size 1696
Number of clauses of size 22046240
Number of clauses of size 35760
Number of clauses of size 426640
Number of clauses of size 511520
Number of clauses of size over 529520

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.00	c This is CryptoMiniSat 3.0.0
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3284873-1303762750.cnf'
0.00/0.00	c -- header says num vars:         131484
0.00/0.00	c -- header says num clauses:     2120376
0.39/0.47	c -- clauses added:            0 learnts,      2120376 normals,            0 xors
0.39/0.47	c -- vars added     131484
0.39/0.47	c Parsing time:  0.44 s
0.39/0.47	c  N st     0         0    131484     61722   1684996         0   3992465         0   no data   no data
0.79/0.87	c asymm  cl-useful: 550/1122/51648 lits-rem:24294 time: 0.38
7.79/7.82	c Flit:   262 Blit:   9075 bXBeca:    0 bXProp:  503 Bins:      0 BRemL:      0 BRemN:      0 P: 200.0M T:  6.85
7.79/7.85	c Cleaning up after failed var search:     0.03 s 
7.89/7.90	c Replacing      503 vars Replaced    29208 lits Time:     0.04 s 
7.89/7.96	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
7.99/8.06	c bin-w-bin subsume rem          734 bins  time:  0.10 s
8.29/8.30	c subs with bin:       33  lits-rem:       151  v-fix:    0  time:  0.24 s
10.89/10.95	c Subs w/ non-existent bins:      0 l-rem:    303 v-fix:     0 done:  29502 time:  2.65 s
11.09/11.12	c Removed useless bin:    4124  fixed:     0  props:  20.00M  time:  0.16 s
11.29/11.38	c lits-rem:         0  cl-subs:       80  v-elim:     13  v-fix:    0  time:  0.26 s
11.89/11.92	c Finding binary XORs  T:     0.54 s  found:     195
11.89/11.97	c Replacing      195 vars Replaced     9322 lits Time:     0.04 s 
12.09/12.17	c Finding non-binary XORs:     0.03 s (found:       0, avg size: nan)
12.09/12.17	c calculated reachability. Time: 0.16
12.09/12.19	c Calc default polars -  time:   0.02 s pos:    2561 undec:   52218 neg:   76705
12.09/12.19	c =========================================================================================
12.09/12.19	c types(t): F = full restart, N = normal restart
12.09/12.19	c types(t): S = simplification begin/end, E = solution found
12.09/12.19	c restart types(rt): st = static, dy = dynamic
12.09/12.19	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
12.09/12.19	c  B st     0         0     79273     46662   1051369         0   2532385         0   no data   no data
21.19/21.25	c  N dy    17      4088     79271     46662   1051455      3989   2532385   4071281     20.10     23.68
29.79/29.83	c  N dy    38      8352     79270     46662   1051573      8117   2532385   7521213     18.90     21.02
39.99/40.00	c  N dy    57     12643     79267     46662   1051710     12248   2532385  12150387     17.73     19.93
49.99/50.08	c  N dy    78     16974     79265     46662   1051820     16458   2532385  16982168     18.31     19.81
60.19/60.23	c  N dy   100     21001     79265     46662   1051924     10668   2532385   2953307     18.96     21.39
71.50/71.52	c  F st   121     25000     79265     46662   1051989     14594   2532385   9109721     18.89   no data
72.09/72.19	c  N st   122     25253     79265     46661   1051876     14845   2532100   9329008     18.89   no data
87.90/87.97	c  N dy   127     30000     79262     46661   1051984     19465   2532100  17204111     18.89   no data
87.90/87.97	c  S st   127     30000     79262     46661   1051984     19465   2532100  17204111     18.89   no data
88.70/88.80	c  S st   127     30501     79260     46661   1052026     19915   2532100  17295101     18.89   no data
88.79/88.87	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
103.80/103.81	c Flit:   415 Blit:   1934 bXBeca:    0 bXProp:  134 Bins: 517205 BRemL:      0 BRemN:    612 P: 200.0M T: 14.86
103.90/103.92	c Cleaning up after failed var search:     0.10 s 
104.50/104.51	c Replacing      134 vars Replaced    71134 lits Time:     0.58 s 
104.50/104.59	c blocked clauses removed:        0 vars:      0 tried:       76575 T: 0.04 s
104.70/104.72	c bin-w-bin subsume rem         5485 bins  time:  0.13 s
105.00/105.01	c subs with bin:       17  lits-rem:        13  v-fix:    0  time:  0.29 s
108.09/108.11	c Subs w/ non-existent bins:     17 l-rem:    411 v-fix:    16 done:  31357 time:  3.10 s
108.29/108.32	c Removed useless bin:   13743  fixed:     0  props:  20.00M  time:  0.21 s
108.69/108.73	c lits-rem:         0  cl-subs:        3  v-elim:      2  v-fix:    0  time:  0.41 s
111.39/111.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.51 s
114.19/114.26	c lits-rem:      4017  cl-subs:      490  v-elim:      0  v-fix:    0  time:  2.74 s
114.69/114.71	c asymm  cl-useful: 11/723/45531 lits-rem:38 time: 0.45
114.99/115.09	c calculated reachability. Time: 0.35
114.99/115.09	c  N dy   127     30501     76557     45531   1421304     19352   2406590  17102864     18.89   no data
116.09/116.19	c Finding binary XORs  T:     1.10 s  found:      62
126.59/126.69	c  N dy   143     34576     76556     45531   1421412     23311   2406590  22219734     18.48     19.51
138.79/138.84	c  N dy   162     38785     76556     45531   1421523     27402   2406590  27672529     18.30     21.88
151.39/151.45	c  N dy   179     44379     76553     45531   1421715     17769   2406590   4908345     17.71     18.77
154.50/154.57	c  S st   186     45751     76553     45531   1421739     19117   2406590   6243069     17.65      8.61
155.30/155.30	c  S st   186     46255     76553     45531   1421793     19565   2406590   6309345     17.65   no data
155.30/155.35	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
164.70/164.76	c Flit:   134 Blit:    211 bXBeca:    0 bXProp:   11 Bins: 379881 BRemL:   2078 BRemN:    370 P: 200.0M T:  9.29
164.70/164.76	c Cleaning up after failed var search:     0.00 s 
165.00/165.05	c Replacing       74 vars Replaced    20456 lits Time:     0.29 s 
165.10/165.10	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
165.20/165.27	c bin-w-bin subsume rem         2761 bins  time:  0.17 s
165.60/165.64	c subs with bin:        0  lits-rem:         5  v-fix:    0  time:  0.37 s
168.60/168.64	c Subs w/ non-existent bins:      3 l-rem:    369 v-fix:     3 done:  31581 time:  2.99 s
168.80/168.84	c Removed useless bin:   21220  fixed:     0  props:  20.01M  time:  0.20 s
169.10/169.18	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.34 s
171.00/171.04	c subs with bin:        3  lits-rem:        16  v-fix:    0  time:  1.56 s
172.00/172.08	c lits-rem:      1011  cl-subs:      254  v-elim:      0  v-fix:    0  time:  1.01 s
172.10/172.17	c vivif2 --  cl tried    45402 cl shrink      219 lits rem       2126 time: 0.09
172.50/172.54	c vivif2 --  cl tried    19274 cl shrink     5237 lits rem     934370 time: 0.37
172.89/172.97	c asymm  cl-useful: 273/418/45383 lits-rem:4028 time: 0.43
173.49/173.51	c calculated reachability. Time: 0.51
173.49/173.51	c  N dy   186     46255     76144     45383   1751050     18989   2345025   5960563     17.65   no data
175.09/175.12	c Finding binary XORs  T:     1.61 s  found:      20
186.90/186.98	c  N dy   210     50259     76137     45383   1751141     22888   2345025  10966635     17.84     24.67
199.99/200.08	c  N dy   228     54410     76135     45383   1751231     26942   2345025  15998219     17.63     19.16
211.40/211.42	c  N dy   241     58491     76132     45383   1751389     30849   2345025  19105339     17.30     28.04
222.30/222.34	c  N dy   259     62551     76131     45383   1751474     34811   2345025  23633634     17.16     18.56
232.90/232.98	c  N dy   268     66799     76129     45383   1751529     21056   2345025   5605656     16.88     17.91
238.50/238.55	c  S st   282     69382     76128     45383   1751614     23547   2345025   7772019     16.83     14.84
239.30/239.39	c  S st   282     69884     76127     45383   1751661     23999   2345025   7888505     16.83   no data
239.40/239.46	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
250.10/250.14	c Flit:   139 Blit:     86 bXBeca:    0 bXProp:   10 Bins: 346179 BRemL:   4457 BRemN:    301 P: 200.0M T: 10.60
250.10/250.15	c Cleaning up after failed var search:     0.00 s 
250.40/250.41	c Replacing       31 vars Replaced     9982 lits Time:     0.26 s 
250.40/250.47	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
250.60/250.68	c bin-w-bin subsume rem         1971 bins  time:  0.21 s
251.10/251.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.45 s
254.60/254.66	c Subs w/ non-existent bins:      0 l-rem:     69 v-fix:     0 done:  30918 time:  3.53 s
254.80/254.89	c Removed useless bin:   14833  fixed:     0  props:  20.00M  time:  0.23 s
255.21/255.25	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.36 s
257.10/257.12	c subs with bin:       18  lits-rem:       290  v-fix:    0  time:  1.54 s
258.41/258.49	c lits-rem:       984  cl-subs:      295  v-elim:      0  v-fix:    0  time:  1.34 s
258.60/258.60	c vivif2 --  cl tried    45275 cl shrink       27 lits rem        284 time: 0.11
259.10/259.16	c vivif2 --  cl tried    23657 cl shrink     4329 lits rem     981234 time: 0.55
259.60/259.60	c asymm  cl-useful: 2/893/45275 lits-rem:2 time: 0.45
260.30/260.32	c calculated reachability. Time: 0.68
260.30/260.33	c  N dy   282     69884     75868     45275   2056748     23478   2306082   7449818     16.83   no data
262.40/262.43	c Finding binary XORs  T:     2.10 s  found:      16
281.20/281.24	c  N dy   295     75446     75868     45275   2056838     28943   2306082  14177108     16.64     17.60
293.70/293.80	c  N dy   316     80337     75867     45275   2056964     33697   2306082  18649717     16.53     17.52
308.30/308.30	c  N dy   336     85831     75865     45275   2057066     39080   2306082  24740211     16.34     17.90
311.21/311.29	c  F st   341     87500     75865     45275   2057144     20706   2306082   2995941     16.23     16.03
311.40/311.40	c Replacing       16 vars Replaced     3006 lits Time:     0.08 s 
329.60/329.66	c  N dy   347     92692     75849     45275   2057062     25750   2305946   9038567     16.23   no data
346.81/346.87	c  N dy   363     99115     75847     45275   2057194     32022   2305946  15937570     16.00     17.22
360.41/360.41	c  S st   383    104829     75843     45275   2057330     37578   2305946  21627405     15.82   no data
361.21/361.26	c  S st   383    105329     75842     45275   2057366     38038   2305946  21792901     15.82   no data
361.31/361.35	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.09
371.40/371.43	c Flit:   121 Blit:     74 bXBeca:    0 bXProp:    7 Bins: 242254 BRemL:   6202 BRemN:    293 P: 200.0M T: 10.01
371.40/371.43	c Cleaning up after failed var search:     0.00 s 
371.81/371.82	c Replacing        8 vars Replaced     3526 lits Time:     0.39 s 
371.81/371.88	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
372.10/372.11	c bin-w-bin subsume rem         1384 bins  time:  0.24 s
372.60/372.60	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.48 s
376.11/376.19	c Subs w/ non-existent bins:      0 l-rem:     80 v-fix:     0 done:  32080 time:  3.59 s
376.40/376.46	c Removed useless bin:   37944  fixed:     0  props:  20.00M  time:  0.27 s
376.80/376.88	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.43 s
379.71/379.72	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.75 s
384.51/384.59	c lits-rem:      4615  cl-subs:      575  v-elim:      0  v-fix:    0  time:  4.84 s
384.71/384.71	c vivif2 --  cl tried    45134 cl shrink       11 lits rem        113 time: 0.12
386.31/386.38	c vivif2 --  cl tried    37417 cl shrink    10546 lits rem    4163213 time: 1.66
386.81/386.86	c asymm  cl-useful: 3/351/45134 lits-rem:6 time: 0.48
387.61/387.68	c calculated reachability. Time: 0.77
387.61/387.68	c  N dy   383    105329     75617     45134   2223451     37115   2220665  17789402     15.82   no data
390.11/390.13	c Finding binary XORs  T:     2.44 s  found:      47
412.52/412.57	c  N dy   418    112258     75610     45134   2223623     22424   2220665   3954430     15.94     16.90
428.11/428.12	c  N dy   442    119495     75605     45134   2223841     29417   2220665   8826908     15.75     16.80
450.51/450.53	c  N dy   478    128457     75598     45134   2224037     38160   2220665  18179193     15.63     16.95
473.92/473.96	c  N dy   516    137112     75581     45134   2224273     26671   2220665   4285309     15.58     17.13
495.61/495.67	c  N dy   550    146014     75577     45134   2224499     35319   2220665  10954809     15.45     18.06
516.92/516.93	c  N dy   574    155411     75566     45134   2224712     44455   2220665  18441473     15.26     18.16
525.21/525.24	c  S st   583    157996     75566     45134   2224740     47004   2220665  20452211     15.24   no data
526.01/526.08	c  S st   583    158496     75565     45134   2224769     47471   2220665  20509295     15.24   no data
526.11/526.17	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.09
536.92/536.96	c Flit:    93 Blit:     29 bXBeca:    0 bXProp:    8 Bins: 225541 BRemL:   5709 BRemN:    259 P: 200.0M T: 10.74
536.92/536.96	c Cleaning up after failed var search:     0.00 s 
537.51/537.56	c Replacing       56 vars Replaced    21804 lits Time:     0.60 s 
537.61/537.63	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
537.82/537.89	c bin-w-bin subsume rem         2992 bins  time:  0.26 s
538.41/538.45	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.56 s
541.71/541.75	c Subs w/ non-existent bins:      1 l-rem:    122 v-fix:     3 done:  32574 time:  3.30 s
542.01/542.01	c Removed useless bin:   20198  fixed:     0  props:  20.01M  time:  0.25 s
542.41/542.48	c lits-rem:         0  cl-subs:        2  v-elim:      1  v-fix:    0  time:  0.47 s
545.21/545.27	c subs with bin:        0  lits-rem:         5  v-fix:    0  time:  1.75 s
550.62/550.63	c lits-rem:      3777  cl-subs:      615  v-elim:      0  v-fix:    0  time:  5.33 s
550.72/550.76	c vivif2 --  cl tried    45030 cl shrink       14 lits rem        154 time: 0.13
552.41/552.44	c vivif2 --  cl tried    46716 cl shrink    13687 lits rem    3818147 time: 1.66
552.91/552.94	c asymm  cl-useful: 1/310/45030 lits-rem:1 time: 0.50
553.81/553.87	c calculated reachability. Time: 0.88
553.81/553.87	c  N dy   583    158496     75373     45030   2402383     46401   2172625  16812732     15.24   no data
556.62/556.66	c Finding binary XORs  T:     2.79 s  found:      27
577.61/577.69	c  N dy   616    168692     75370     45030   2402623     35606   2172625   7203002     15.07     18.58
603.02/603.05	c  N dy   654    179507     75364     45030   2402884     46133   2172625  16024637     14.93     30.18
631.72/631.70	c  N dy   698    191277     75347     45030   2403193     36165   2172625   4651438     14.83     15.87
659.72/659.73	c  N dy   745    205721     75338     45030   2403546     50208   2172625  15273478     14.71     17.09
699.82/699.82	c  N dy   783    221472     75336     45030   2403908     43004   2172625   6579088     14.51     15.50
730.83/730.89	c  N dy   838    235931     75329     45030   2404177     57152   2172625  16585331     14.47     15.32
733.52/733.52	c  S st   843    237745     75328     45030   2404219     58918   2172625  17311932     14.45      6.04
734.32/734.31	c  S st   843    238248     75322     45030   2404242     59396   2172625  17366409     14.45   no data
734.42/734.40	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
743.72/743.73	c Flit:    13 Blit:      6 bXBeca:    0 bXProp:    0 Bins: 240140 BRemL:   4593 BRemN:    226 P: 200.0M T:  9.28
744.12/744.13	c Replacing       27 vars Replaced    10592 lits Time:     0.39 s 
744.12/744.19	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
744.42/744.48	c bin-w-bin subsume rem         1700 bins  time:  0.29 s
745.02/745.10	c subs with bin:        1  lits-rem:         0  v-fix:    0  time:  0.62 s
748.03/748.09	c Subs w/ non-existent bins:      0 l-rem:    117 v-fix:     2 done:  32760 time:  2.99 s
748.32/748.30	c Removed useless bin:    5596  fixed:     0  props:  20.01M  time:  0.22 s
748.72/748.74	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.44 s
751.02/751.09	c subs with bin:        1  lits-rem:        48  v-fix:    0  time:  1.60 s
756.23/756.20	c lits-rem:      2304  cl-subs:      709  v-elim:      0  v-fix:    0  time:  5.08 s
756.33/756.34	c vivif2 --  cl tried    44987 cl shrink       11 lits rem        123 time: 0.14
757.93/757.96	c vivif2 --  cl tried    58392 cl shrink    11011 lits rem    3648969 time: 1.61
758.32/758.38	c asymm  cl-useful: 11/654/44987 lits-rem:11 time: 0.41
759.43/759.43	c calculated reachability. Time: 1.00
759.43/759.43	c  N dy   843    238248     75275     44987   2624288     58082   2157494  13905409     14.45   no data
762.63/762.63	c Finding binary XORs  T:     3.19 s  found:      18
825.83/825.83	c  N dy   900    253678     75270     44987   2624586     49460   2157494   9128693     14.33     15.18
905.03/905.06	c  N dy   950    270147     75268     44987   2624861     65620   2157494  22079151     14.19     14.97
983.93/983.91	c  N dy  1027    287880     75264     44987   2625134     57923   2157494  13406697     14.15     15.17
1039.24/1039.24	c  F st  1091    306250     75257     44987   2625417     75952   2157494  27108168     14.09   no data
1039.94/1039.91	c Replacing       18 vars Replaced    11183 lits Time:     0.57 s 
1040.74/1040.71	c  N st  1092    306505     75238     44982   2623396     75941   2156814  27399008     14.09   no data
1144.44/1144.48	c  N dy  1164    326126     75230     44982   2623652     69420   2156814  20225348     14.08     16.42
1221.34/1221.31	c  N dy  1254    346241     75226     44982   2623926     61977   2156814   9888929     14.05     15.30

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-3284873-1303762750/watcher-3284873-1303762750 -o /tmp/evaluation-result-3284873-1303762750/solver-3284873-1303762750 -C 2400 -W 1300 -M 7680 ./strangenight2-st HOME/instance-3284873-1303762750.cnf 

running on 2 cores: 4,6

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


[startup+0 s]
/proc/loadavg: 4.02 3.36 2.97 4/189 30973
/proc/meminfo: memFree=13733384/32950928 swapFree=67111528/67111528
[pid=30973] ppid=30971 vsize=30760 CPUtime=0 cores=4,6
/proc/30973/stat : 30973 (strangenight2-s) R 30971 30973 29940 0 -1 4202496 965 0 0 0 0 0 0 0 22 0 1 0 487871811 31498240 871 33554432000 4194304 4627331 140737163880640 18446744073709551615 254500354406 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/30973/statm: 7690 871 323 106 0 2661 0

[startup+0.088475 s]
/proc/loadavg: 4.02 3.36 2.97 4/189 30973
/proc/meminfo: memFree=13733384/32950928 swapFree=67111528/67111528
[pid=30973] ppid=30971 vsize=45320 CPUtime=0.07 cores=4,6
/proc/30973/stat : 30973 (strangenight2-s) R 30971 30973 29940 0 -1 4202496 4761 0 0 0 7 0 0 0 22 0 1 0 487871811 46407680 3668 33554432000 4194304 4627331 140737163880640 18446744073709551615 4350752 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/30973/statm: 11330 3668 324 106 0 6301 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 45320

[startup+0.100463 s]
/proc/loadavg: 4.02 3.36 2.97 4/189 30973
/proc/meminfo: memFree=13733384/32950928 swapFree=67111528/67111528
[pid=30973] ppid=30971 vsize=45980 CPUtime=0.09 cores=4,6
/proc/30973/stat : 30973 (strangenight2-s) R 30971 30973 29940 0 -1 4202496 5074 0 0 0 9 0 0 0 22 0 1 0 487871811 47083520 3977 33554432000 4194304 4627331 140737163880640 18446744073709551615 254500352709 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/30973/statm: 11495 3978 324 106 0 6466 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 45980

[startup+0.300423 s]
/proc/loadavg: 4.02 3.36 2.97 4/189 30973
/proc/meminfo: memFree=13733384/32950928 swapFree=67111528/67111528
[pid=30973] ppid=30971 vsize=78976 CPUtime=0.29 cores=4,6
/proc/30973/stat : 30973 (strangenight2-s) R 30971 30973 29940 0 -1 4202496 14598 0 0 0 27 2 0 0 23 0 1 0 487871811 80871424 12371 33554432000 4194304 4627331 140737163880640 18446744073709551615 254500352709 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/30973/statm: 19744 12371 324 106 0 14715 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 78976

[startup+0.700356 s]
/proc/loadavg: 4.02 3.36 2.97 4/189 30973
/proc/meminfo: memFree=13733384/32950928 swapFree=67111528/67111528
[pid=30973] ppid=30971 vsize=116468 CPUtime=0.69 cores=4,6
/proc/30973/stat : 30973 (strangenight2-s) R 30971 30973 29940 0 -1 4202496 24369 0 0 0 66 3 0 0 25 0 1 0 487871811 119263232 20013 33554432000 4194304 4627331 140737163880640 18446744073709551615 4308964 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/30973/statm: 29117 20013 342 106 0 24088 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 116468

[startup+1.50119 s]
/proc/loadavg: 4.02 3.36 2.97 5/190 30974
/proc/meminfo: memFree=13643832/32950928 swapFree=67111528/67111528
[pid=30973] ppid=30971 vsize=158844 CPUtime=1.49 cores=4,6
/proc/30973/stat : 30973 (strangenight2-s) R 30971 30973 29940 0 -1 4202496 32578 0 0 0 145 4 0 0 25 0 1 0 487871811 162656256 28222 33554432000 4194304 4627331 140737163880640 18446744073709551615 4308622 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/30973/statm: 39711 28222 346 106 0 34682 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 158844

[startup+3.10088 s]
/proc/loadavg: 4.02 3.36 2.97 5/190 30974
/proc/meminfo: memFree=13595600/32950928 swapFree=67111528/67111528
[pid=30973] ppid=30971 vsize=246220 CPUtime=3.09 cores=4,6
/proc/30973/stat : 30973 (strangenight2-s) R 30971 30973 29940 0 -1 4202496 48229 0 0 0 302 7 0 0 25 0 1 0 487871811 252129280 43873 33554432000 4194304 4627331 140737163880640 18446744073709551615 4308085 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/30973/statm: 61555 43873 346 106 0 56526 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 246220

[startup+6.30024 s]
/proc/loadavg: 4.02 3.37 2.98 5/190 30974
/proc/meminfo: memFree=13437060/32950928 swapFree=67111528/67111528
[pid=30973] ppid=30971 vsize=435888 CPUtime=6.29 cores=4,6
/proc/30973/stat : 30973 (strangenight2-s) R 30971 30973 29940 0 -1 4202496 83349 0 0 0 617 12 0 0 25 0 1 0 487871811 446349312 78993 33554432000 4194304 4627331 140737163880640 18446744073709551615 4309210 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/30973/statm: 108972 78993 346 106 0 103943 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 435888

[startup+12.701 s]
/proc/loadavg: 4.02 3.38 2.98 5/190 30974
/proc/meminfo: memFree=13192396/32950928 swapFree=67111528/67111528
[pid=30973] ppid=30971 vsize=566748 CPUtime=12.69 cores=4,6
/proc/30973/stat : 30973 (strangenight2-s) R 30971 30973 29940 0 -1 4202496 111801 0 0 0 1254 15 0 0 25 0 1 0 487871811 580349952 107445 33554432000 4194304 4627331 140737163880640 18446744073709551615 4321678 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/30973/statm: 141687 107445 374 106 0 136658 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 566748

[startup+25.5004 s]
/proc/loadavg: 4.01 3.41 3.00 5/190 30974
/proc/meminfo: memFree=13073032/32950928 swapFree=67111528/67111528
[pid=30973] ppid=30971 vsize=610372 CPUtime=25.49 cores=4,6
/proc/30973/stat : 30973 (strangenight2-s) R 30971 30973 29940 0 -1 4202496 119654 0 0 0 2531 18 0 0 25 0 1 0 487871811 625020928 115298 33554432000 4194304 4627331 140737163880640 18446744073709551615 4322497 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/30973/statm: 152593 115298 374 106 0 147564 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 610372

[startup+51.1003 s]
/proc/loadavg: 4.01 3.46 3.02 5/190 30975
/proc/meminfo: memFree=12971880/32950928 swapFree=67111528/67111528
[pid=30973] ppid=30971 vsize=768640 CPUtime=51.09 cores=4,6
/proc/30973/stat : 30973 (strangenight2-s) R 30971 30973 29940 0 -1 4202496 137425 0 0 0 5087 22 0 0 25 0 1 0 487871811 787087360 133069 33554432000 4194304 4627331 140737163880640 18446744073709551615 4327378 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/30973/statm: 192160 133072 374 106 0 187131 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 768640

[startup+102.307 s]
/proc/loadavg: 4.00 3.54 3.07 5/190 30976
/proc/meminfo: memFree=12328088/32950928 swapFree=67111528/67111528
[pid=30973] ppid=30971 vsize=1077560 CPUtime=102.3 cores=4,6
/proc/30973/stat : 30973 (strangenight2-s) R 30971 30973 29940 0 -1 4202496 233321 0 0 0 10195 35 0 0 25 0 1 0 487871811 1103421440 207831 33554432000 4194304 4627331 140737163880640 18446744073709551615 4309283 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/30973/statm: 269390 207831 379 106 0 264361 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 1077560

[startup+162.301 s]
/proc/loadavg: 4.00 3.62 3.13 5/190 30978
/proc/meminfo: memFree=10735840/32950928 swapFree=67111528/67111528
[pid=30973] ppid=30971 vsize=1732312 CPUtime=162.3 cores=4,6
/proc/30973/stat : 30973 (strangenight2-s) R 30971 30973 29940 0 -1 4202496 397877 0 0 0 16174 56 0 0 25 0 1 0 487871811 1773887488 341505 33554432000 4194304 4627331 140737163880640 18446744073709551615 4309113 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/30973/statm: 433078 341505 379 106 0 428049 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 1732312

[startup+222.3 s]
/proc/loadavg: 4.03 3.70 3.18 5/190 30979
/proc/meminfo: memFree=10424352/32950928 swapFree=67111528/67111528
[pid=30973] ppid=30971 vsize=1876320 CPUtime=222.3 cores=4,6
/proc/30973/stat : 30973 (strangenight2-s) R 30971 30973 29940 0 -1 4202496 447433 0 0 0 22166 64 0 0 25 0 1 0 487871811 1921351680 391061 33554432000 4194304 4627331 140737163880640 18446744073709551615 4321709 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/30973/statm: 469080 391061 379 106 0 464051 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 1876320

[startup+282.3 s]
/proc/loadavg: 4.07 3.77 3.24 5/190 30981
/proc/meminfo: memFree=10006488/32950928 swapFree=67111528/67111528
[pid=30973] ppid=30971 vsize=2200988 CPUtime=282.3 cores=4,6
/proc/30973/stat : 30973 (strangenight2-s) R 30971 30973 29940 0 -1 4202496 537043 0 0 0 28154 76 0 0 25 0 1 0 487871811 2253811712 452555 33554432000 4194304 4627331 140737163880640 18446744073709551615 4322465 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/30973/statm: 550247 452555 379 106 0 545218 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 2200988

[startup+342.3 s]
/proc/loadavg: 4.02 3.81 3.28 5/190 30983
/proc/meminfo: memFree=8905820/32950928 swapFree=67111528/67111528
[pid=30973] ppid=30971 vsize=2207212 CPUtime=342.3 cores=4,6
/proc/30973/stat : 30973 (strangenight2-s) R 30971 30973 29940 0 -1 4202496 559243 0 0 0 34149 81 0 0 25 0 1 0 487871811 2260185088 450622 33554432000 4194304 4627331 140737163880640 18446744073709551615 4321754 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/30973/statm: 551803 450622 379 106 0 546774 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 2207212

[startup+402.3 s]
/proc/loadavg: 4.07 3.86 3.33 5/190 30984
/proc/meminfo: memFree=8357144/32950928 swapFree=67111528/67111528
[pid=30973] ppid=30971 vsize=2855652 CPUtime=402.31 cores=4,6
/proc/30973/stat : 30973 (strangenight2-s) R 30971 30973 29940 0 -1 4202496 675549 0 0 0 40135 96 0 0 25 0 1 0 487871811 2924187648 566928 33554432000 4194304 4627331 140737163880640 18446744073709551615 4321685 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/30973/statm: 713913 566928 379 106 0 708884 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 2855652

[startup+462.3 s]
/proc/loadavg: 4.06 3.89 3.37 5/190 30986
/proc/meminfo: memFree=8476452/32950928 swapFree=67111528/67111528
[pid=30973] ppid=30971 vsize=2880880 CPUtime=462.31 cores=4,6
/proc/30973/stat : 30973 (strangenight2-s) R 30971 30973 29940 0 -1 4202496 697849 0 0 0 46128 103 0 0 25 0 1 0 487871811 2950021120 552161 33554432000 4194304 4627331 140737163880640 18446744073709551615 4321704 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/30973/statm: 720220 552161 379 106 0 715191 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 2880880

[startup+522.3 s]
/proc/loadavg: 4.02 3.91 3.41 5/190 30987
/proc/meminfo: memFree=7889712/32950928 swapFree=67111528/67111528
[pid=30973] ppid=30971 vsize=2662544 CPUtime=522.31 cores=4,6
/proc/30973/stat : 30973 (strangenight2-s) R 30971 30973 29940 0 -1 4202496 718675 0 0 0 52122 109 0 0 25 0 1 0 487871811 2726445056 553838 33554432000 4194304 4627331 140737163880640 18446744073709551615 4330014 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/30973/statm: 665636 553838 379 106 0 660607 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 2662544

[startup+582.301 s]
/proc/loadavg: 5.00 4.16 3.52 4/188 31007
/proc/meminfo: memFree=10582184/32950928 swapFree=67111528/67111528
[pid=30973] ppid=30971 vsize=2940644 CPUtime=582.32 cores=4,6
/proc/30973/stat : 30973 (strangenight2-s) R 30971 30973 29940 0 -1 4202496 796595 0 0 0 58112 120 0 0 25 0 1 0 487871811 3011219456 599496 33554432000 4194304 4627331 140737163880640 18446744073709551615 4321662 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/30973/statm: 735161 599496 379 106 0 730132 0
Current children cumulated CPU time (s) 582.32
Current children cumulated vsize (KiB) 2940644

[startup+642.301 s]
/proc/loadavg: 5.09 4.39 3.64 5/190 31020
/proc/meminfo: memFree=13096492/32950928 swapFree=67111528/67111528
[pid=30973] ppid=30971 vsize=2959044 CPUtime=642.33 cores=4,6
/proc/30973/stat : 30973 (strangenight2-s) R 30971 30973 29940 0 -1 4202496 820364 0 0 0 64109 124 0 0 25 0 1 0 487871811 3030061056 603669 33554432000 4194304 4627331 140737163880640 18446744073709551615 4324722 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/30973/statm: 739761 603669 379 106 0 734732 0
Current children cumulated CPU time (s) 642.33
Current children cumulated vsize (KiB) 2959044

[startup+702.301 s]
/proc/loadavg: 4.47 4.34 3.67 5/190 31021
/proc/meminfo: memFree=12934256/32950928 swapFree=67111528/67111528
[pid=30973] ppid=30971 vsize=2978716 CPUtime=702.32 cores=4,6
/proc/30973/stat : 30973 (strangenight2-s) R 30971 30973 29940 0 -1 4202496 839433 0 0 0 70104 128 0 0 25 0 1 0 487871811 3050205184 606377 33554432000 4194304 4627331 140737163880640 18446744073709551615 4321646 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/30973/statm: 744679 606377 379 106 0 739650 0
Current children cumulated CPU time (s) 702.32
Current children cumulated vsize (KiB) 2978716

[startup+762.307 s]
/proc/loadavg: 4.17 4.27 3.68 5/190 31023
/proc/meminfo: memFree=12582276/32950928 swapFree=67111528/67111528
[pid=30973] ppid=30971 vsize=3549152 CPUtime=762.33 cores=4,6
/proc/30973/stat : 30973 (strangenight2-s) R 30971 30973 29940 0 -1 4202496 919548 0 0 0 76095 138 0 0 25 0 1 0 487871811 3634331648 686492 33554432000 4194304 4627331 140737163880640 18446744073709551615 4515514 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/30973/statm: 887288 686492 379 106 0 882259 0
Current children cumulated CPU time (s) 762.33
Current children cumulated vsize (KiB) 3549152

[startup+822.301 s]
/proc/loadavg: 4.09 4.23 3.71 5/190 31024
/proc/meminfo: memFree=12089404/32950928 swapFree=67111528/67111528
[pid=30973] ppid=30971 vsize=3304484 CPUtime=822.33 cores=4,6
/proc/30973/stat : 30973 (strangenight2-s) R 30971 30973 29940 0 -1 4202496 933241 0 0 0 82091 142 0 0 25 0 1 0 487871811 3383791616 673226 33554432000 4194304 4627331 140737163880640 18446744073709551615 4321844 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/30973/statm: 826121 673226 379 106 0 821092 0
Current children cumulated CPU time (s) 822.33
Current children cumulated vsize (KiB) 3304484

[startup+882.301 s]
/proc/loadavg: 4.03 4.19 3.72 5/190 31026
/proc/meminfo: memFree=8862056/32950928 swapFree=67111528/67111528
[pid=30973] ppid=30971 vsize=3304484 CPUtime=882.32 cores=4,6
/proc/30973/stat : 30973 (strangenight2-s) R 30971 30973 29940 0 -1 4202496 941729 0 0 0 88088 144 0 0 25 0 1 0 487871811 3383791616 681714 33554432000 4194304 4627331 140737163880640 18446744073709551615 4329983 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/30973/statm: 826121 681714 379 106 0 821092 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 3304484

[startup+942.301 s]
/proc/loadavg: 4.10 4.18 3.75 5/190 31028
/proc/meminfo: memFree=6089236/32950928 swapFree=67111528/67111528
[pid=30973] ppid=30971 vsize=3566632 CPUtime=942.33 cores=4,6
/proc/30973/stat : 30973 (strangenight2-s) R 30971 30973 29940 0 -1 4202496 952104 0 0 0 94085 148 0 0 25 0 1 0 487871811 3652231168 692089 33554432000 4194304 4627331 140737163880640 18446744073709551615 4332768 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/30973/statm: 891658 692089 379 106 0 886629 0
Current children cumulated CPU time (s) 942.33
Current children cumulated vsize (KiB) 3566632

[startup+1002.3 s]
/proc/loadavg: 3.47 3.99 3.71 4/184 31047
/proc/meminfo: memFree=13326840/32950928 swapFree=67111528/67111528
[pid=30973] ppid=30971 vsize=3325348 CPUtime=1002.33 cores=4,6
/proc/30973/stat : 30973 (strangenight2-s) R 30971 30973 29940 0 -1 4202496 970178 0 0 0 100082 151 0 0 25 0 1 0 487871811 3405156352 687866 33554432000 4194304 4627331 140737163880640 18446744073709551615 4321778 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/30973/statm: 831337 687866 379 106 0 826308 0
Current children cumulated CPU time (s) 1002.33
Current children cumulated vsize (KiB) 3325348

[startup+1062.3 s]
/proc/loadavg: 3.17 3.81 3.66 4/184 31049
/proc/meminfo: memFree=13336740/32950928 swapFree=67111528/67111528
[pid=30973] ppid=30971 vsize=3270704 CPUtime=1062.34 cores=4,6
/proc/30973/stat : 30973 (strangenight2-s) R 30971 30973 29940 0 -1 4202496 985004 0 0 0 106079 155 0 0 25 0 1 0 487871811 3349200896 680098 33554432000 4194304 4627331 140737163880640 18446744073709551615 4321707 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/30973/statm: 817676 680098 379 106 0 812647 0
Current children cumulated CPU time (s) 1062.34
Current children cumulated vsize (KiB) 3270704

[startup+1122.3 s]
/proc/loadavg: 2.49 3.50 3.56 3/178 31068
/proc/meminfo: memFree=14786144/32950928 swapFree=67111528/67111528
[pid=30973] ppid=30971 vsize=3346368 CPUtime=1122.34 cores=4,6
/proc/30973/stat : 30973 (strangenight2-s) R 30971 30973 29940 0 -1 4202496 994069 0 0 0 112078 156 0 0 25 0 1 0 487871811 3426680832 689163 33554432000 4194304 4627331 140737163880640 18446744073709551615 4321729 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/30973/statm: 836592 689163 379 106 0 831563 0
Current children cumulated CPU time (s) 1122.34
Current children cumulated vsize (KiB) 3346368

[startup+1182.3 s]
/proc/loadavg: 2.03 3.20 3.45 2/172 31088
/proc/meminfo: memFree=17855572/32950928 swapFree=67111528/67111528
[pid=30973] ppid=30971 vsize=3346368 CPUtime=1182.34 cores=4,6
/proc/30973/stat : 30973 (strangenight2-s) R 30971 30973 29940 0 -1 4202496 1004836 0 0 0 118076 158 0 0 25 0 1 0 487871811 3426680832 699930 33554432000 4194304 4627331 140737163880640 18446744073709551615 4309113 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/30973/statm: 836592 699930 379 106 0 831563 0
Current children cumulated CPU time (s) 1182.34
Current children cumulated vsize (KiB) 3346368

[startup+1242.3 s]
/proc/loadavg: 1.38 2.79 3.30 2/172 31090
/proc/meminfo: memFree=17920008/32950928 swapFree=67111528/67111528
[pid=30973] ppid=30971 vsize=3349216 CPUtime=1242.34 cores=4,6
/proc/30973/stat : 30973 (strangenight2-s) R 30971 30973 29940 0 -1 4202496 1011538 0 0 0 124074 160 0 0 25 0 1 0 487871811 3429597184 683610 33554432000 4194304 4627331 140737163880640 18446744073709551615 4322032 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/30973/statm: 837304 683610 379 106 0 832275 0
Current children cumulated CPU time (s) 1242.34
Current children cumulated vsize (KiB) 3349216



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 1.18 2.48 3.16 2/172 31091
/proc/meminfo: memFree=17890100/32950928 swapFree=67111528/67111528
[pid=30973] ppid=30971 vsize=3349216 CPUtime=1300.05 cores=4,6
/proc/30973/stat : 30973 (strangenight2-s) R 30971 30973 29940 0 -1 4202496 1019002 0 0 0 129844 161 0 0 25 0 1 0 487871811 3429597184 691074 33554432000 4194304 4627331 140737163880640 18446744073709551615 4507164 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/30973/statm: 837304 691074 379 106 0 832275 0
Current children cumulated CPU time (s) 1300.05
Current children cumulated vsize (KiB) 3349216

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

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

[startup+1300.11 s]
/proc/loadavg: 1.18 2.48 3.16 2/173 31092
/proc/meminfo: memFree=20411860/32950928 swapFree=67111528/67111528
[pid=30973] ppid=30971 vsize=0 CPUtime=1300.16 cores=4,6
/proc/30973/stat : 30973 (strangenight2-s) R 30971 30973 29940 0 -1 4203524 1019002 0 0 0 129844 172 0 0 25 0 1 0 487871811 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/30973/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1300.16
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1300.12
CPU time (s): 1300.17
CPU user time (s): 1298.44
CPU system time (s): 1.72974
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 3608516

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1298.44
system time used= 1.72974
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1019002
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= 12
involuntary context switches= 1469

runsolver used 2.20366 second user time and 4.69629 second system time

The end

Launcher Data 

Begin job on node149 at 2011-04-25 22:19:11
IDJOB=3284873
IDBENCH=82366
IDSOLVER=1587
FILE ID=node149/3284873-1303762750
RUNJOBID= node149-1303762357-30543
PBS_JOBID= 13157116
Free space on /tmp= 71760 MiB

SOLVER NAME= CryptoMiniSat Strange-Night2-st
BENCH NAME= SAT11/application/rintanen/SATPlanning/sokoban-sequential-p145-microban-sequential.060-NOTKNOWN.cnf
COMMAND LINE= ./strangenight2-st BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3284873-1303762750/watcher-3284873-1303762750 -o /tmp/evaluation-result-3284873-1303762750/solver-3284873-1303762750 -C 2400 -W 1300 -M 7680  ./strangenight2-st HOME/instance-3284873-1303762750.cnf

TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2

MD5SUM BENCH= e44b288003a3eaf34673a2c0fb8c6f3e
RANDOM SEED=1104864683

node149.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      13733540 kB
Buffers:       2162028 kB
Cached:        9898928 kB
SwapCached:          0 kB
Active:        8225364 kB
Inactive:     10443860 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      13733540 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:          340328 kB
Writeback:           0 kB
AnonPages:     6607732 kB
Mapped:          16176 kB
Slab:           469108 kB
PageTables:      20968 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:  8258628 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= 72144 MiB
End job on node149 at 2011-04-25 22:40:53