Trace number 3292050

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.27 1202.19

General information on the benchmark

NameSAT04/industrial/velev/vliw_unsat_2.0/
9dlx_vliw_at_b_iq9.used-as.sat04-719.cnf
MD5SUM9a43349587a435e7109b46b3aceb156e
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark1263.53
Satisfiable
(Un)Satisfiability was proved
Number of variables482093
Number of clauses9676386
Sum of the clauses size28195028
Maximum clause length226
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 29152157
Number of clauses of size 3120945
Number of clauses of size 410067
Number of clauses of size 528986
Number of clauses of size over 5364230

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-3292050-1304180050.cnf'
0.00/0.00	c -- header says num vars:         482093
0.00/0.00	c -- header says num clauses:     9676386
13.42/3.73	c -- clauses added:            0 learnts,      9676386 normals,            0 xors
13.42/3.73	c -- vars added     482093
13.42/3.73	c Parsing time: 10.57 s
13.81/3.86	c  N st     0         0    482093    524228   9152157         0  28195027         0   no data   no data  --
15.82/4.32	c asymm  cl-useful: 17/19/524218 lits-rem:760 time: 2.17
46.15/11.99	c Flit:   142 Blit: 134307 bXBeca:    0 bXProp: 2690 Bins:      0 BRemL:      0 BRemN:      0 P: 200.5M T: 29.72
48.95/12.61	c Cleaning up after failed var search:     2.45 s 
51.74/13.33	c Replacing     2690 vars Replaced   279907 lits Time:     2.83 s 
57.69/14.85	c bin-w-bin subsume rem            8 bins  time:  2.40 s
72.07/18.49	c subs with bin:     2800  lits-rem:     33712  v-fix:    0  time: 14.54 s
98.84/25.11	c Subs w/ non-existent bins:     22 l-rem:     47 v-fix:     0 done:  23640 time: 26.41 s
100.03/25.47	c Removed useless bin:     754  fixed:     0  props:  20.05M  time:  1.43 s
151.16/38.29	c lits-rem:       253  cl-subs:    32605  v-elim:   5146  v-fix:    0  time: 51.13 s
151.98/38.47	c Finding binary XORs  T:     0.73 s  found:    1859
153.95/38.93	c Replacing     1859 vars Replaced   153191 lits Time:     1.84 s 
158.34/40.03	c Finding non-binary XORs:     3.23 s (found:       0, avg size: nan)
158.34/40.03	c Calc default polars -  time:   0.57 s pos:   66888 undec:  152644 neg:  262561
158.34/40.03	c =========================================================================================
158.34/40.03	c types(t): F = full restart, N = normal restart
158.34/40.03	c types(t): S = simplification begin/end, E = solution found
158.34/40.03	c restart types(rt): st = static, dy = dynamic
158.34/40.03	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
158.34/40.03	c  B st     0         0    329964    337262   6226858         0  19065353         0   no data   no data  --
227.07/57.21	c  N dy    13      4457    329964    337262   6227354      3917  19065351    206031     18.48     19.75  --
267.80/67.48	c  N dy    45      8523    327619    337262   6233986      7796  19065351    408264     21.10     27.80  --
297.38/74.82	c  N dy    69     12562    327618    337262   6234892     11728  19065351    626975     22.38     23.75  --
330.51/83.10	c  N dy    95     16565    327618    337262   6235015     15562  19065345    877328     22.67     24.24  --
366.07/92.09	c  N dy   113     20570    327597    337262   6237686      9960  19065325    330488     22.21     33.03  --
403.61/101.46	c  N dy   135     24615    321506    326301   6100076     13587  18636848    564785     22.65     43.08  --
408.01/102.50	c  F st   139     25000    321506    326301   6100092     13945  18636848    584099     22.72   no data  --
465.93/117.08	c  N dy   145     30001    321505    326301   6100276     18656  18636838    824933     22.72   no data  --
465.93/117.08	c  S st   145     30001    321505    326301   6100276     18656  18636838    824933     22.72   no data  --
474.72/119.29	c  S st   145     30501    321490    326301   6100517     18908  18636838    827755     22.72   no data  --
475.92/119.54	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   1.04
661.69/166.06	c Flit:    44 Blit:   2888 bXBeca:    0 bXProp: 4282 Bins:  21850 BRemL:     10 BRemN:   4879 P: 200.4M T: 185.50
662.46/166.22	c Cleaning up after failed var search:     0.62 s 
664.46/166.78	c Replacing     4282 vars Replaced   564824 lits Time:     2.14 s 
669.65/168.03	c bin-w-bin subsume rem        10496 bins  time:  2.78 s
676.84/169.83	c subs with bin:     3121  lits-rem:     38446  v-fix:    0  time:  7.18 s
688.45/172.70	c Subs w/ non-existent bins:     28 l-rem:   1694 v-fix:     7 done:  42421 time: 11.47 s
689.63/173.09	c Removed useless bin:    3751  fixed:     0  props:  20.03M  time:  1.52 s
705.21/176.96	c lits-rem:      1822  cl-subs:     1602  v-elim:   9755  v-fix:    0  time: 15.47 s
707.20/177.43	c asymm  cl-useful: 53/559/297077 lits-rem:1084 time: 1.72
707.60/177.56	c  N dy   145     30501    299250    297077   5937484     17888  17952602    829346     22.72   no data  --
708.40/177.73	c Finding binary XORs  T:     0.63 s  found:    5762
710.02/178.13	c Replacing     5762 vars Replaced   221744 lits Time:     1.63 s 
743.56/186.59	c  N dy   166     34585    293452    297070   5929401     21628  17928677   1043222     22.60     33.95  --
762.75/191.32	c  N dy   172     38688    291313    297070   5932921     25512  17928677   1243842     21.49     22.84  --
795.88/199.62	c  N dy   198     42774    291313    297070   5933028     15137  17928677    457421     21.63     22.81  --
823.85/206.62	c  S st   217     45751    291313    297070   5933258     17972  17928677    601516     21.90   no data  --
831.83/208.64	c  S st   217     46251    291307    297070   5933483     18237  17928677    604807     21.90   no data  --
832.63/208.88	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.96
896.54/224.88	c Flit:    10 Blit:    438 bXBeca:    0 bXProp:  405 Bins:   9474 BRemL:      6 BRemN:     29 P: 200.4M T: 63.83
896.54/224.89	c Cleaning up after failed var search:     0.00 s 
899.35/225.51	c Replacing      405 vars Replaced   201804 lits Time:     2.35 s 
904.10/226.79	c bin-w-bin subsume rem         6228 bins  time:  2.84 s
910.90/228.42	c subs with bin:       20  lits-rem:     48457  v-fix:    0  time:  6.52 s
924.08/231.72	c Subs w/ non-existent bins:     15 l-rem:   1221 v-fix:     3 done:  41755 time: 13.16 s
925.30/232.09	c Removed useless bin:    1389  fixed:     0  props:  20.00M  time:  1.48 s
939.26/235.55	c lits-rem:      4352  cl-subs:      995  v-elim:   5534  v-fix:    0  time: 13.80 s
941.26/236.04	c asymm  cl-useful: 73/449/290458 lits-rem:328 time: 1.82
941.66/236.18	c  N dy   217     46251    284916    290458   5871857     17596  17657196    594075     21.90   no data  --
974.81/244.45	c  N dy   242     50343    284187    290458   5889187     21512  17657179    850860     22.17     23.90  --
996.38/249.81	c  N dy   248     56083    284187    290458   5889223     26975  17657179   1364196     21.41     22.73  --
1033.93/259.26	c  N dy   280     60131    284187    290458   5890437     30796  17657179   1570853     21.82     23.23  --
1070.30/268.36	c  N dy   310     64231    284187    290458   5891437     34710  17657172   1786740     22.19     23.37  --
1113.03/279.07	c  N dy   346     68379    283940    290458   5892185     21200  17657162    707591     22.74     36.88  --
1120.62/281.00	c  S st   352     69378    283514    290458   5892221     22157  17657159    768320     22.74     22.29  --
1127.83/282.79	c  S st   352     69878    283513    290458   5892419     22456  17657159    772337     22.74   no data  --
1129.00/283.03	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.98
1196.89/300.07	c Flit:    50 Blit:   2932 bXBeca:    0 bXProp:  438 Bins:  24687 BRemL:     72 BRemN:     28 P: 200.2M T: 67.75
1197.70/300.25	c Cleaning up after failed var search:     0.65 s 
1199.68/300.70	c Replacing      439 vars Replaced   333666 lits Time:     1.74 s 
1204.48/301.98	c bin-w-bin subsume rem         6516 bins  time:  2.88 s
1211.67/303.78	c subs with bin:     7198  lits-rem:     71561  v-fix:    0  time:  7.15 s
1218.06/305.38	c Subs w/ non-existent bins:    243 l-rem:   5507 v-fix:     2 done:  61683 time:  6.38 s
1220.07/305.88	c Removed useless bin:    2213  fixed:     0  props:  20.00M  time:  1.98 s
1238.83/310.55	c lits-rem:     12407  cl-subs:    13091  v-elim:  23931  v-fix:    0  time: 18.61 s
1240.83/311.00	c asymm  cl-useful: 74/465/293298 lits-rem:335 time: 1.68
1241.23/311.14	c  N dy   352     69878    256154    293298   5722882     14796  17394887    509745     22.74   no data  --
1241.64/311.29	c Finding binary XORs  T:     0.59 s  found:     283
1273.18/319.11	c  N dy   377     74458    256129    293298   5728343     19238  17394883    766030     22.84     24.22  --
1308.33/327.98	c  N dy   415     79304    256129    293298   5728436     23935  17394883   1058365     23.15     30.44  --
1347.87/337.80	c  N dy   452     84415    255852    293298   5734176     28879  17394880   1312724     23.24     29.30  --
1373.47/344.29	c  F st   480     87500    255802    293298   5739477     31873  17394880   1506339     23.53   no data  --
1375.44/344.74	c Replacing      283 vars Replaced    34440 lits Time:     1.24 s 
1401.81/351.34	c  N st   485     90798    255524    293029   5735163     35121  17382438   1721761     23.53   no data  --
1439.78/360.88	c  N dy   506     96675    255524    293029   5735600     21244  17382438    610585     23.50     24.79  --
1489.69/373.31	c  N dy   554    102925    255434    293029   5736301     27282  17382428    944053     23.81     25.28  --
1502.07/376.48	c  S st   567    104817    255434    293029   5736392     29138  17382408   1064123     23.87   no data  --
1509.68/378.38	c  S st   567    105317    255431    293029   5736559     29468  17382408   1067797     23.87   no data  --
1510.86/378.62	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.95
1563.99/391.99	c Flit:    34 Blit:    216 bXBeca:    0 bXProp:  292 Bins:   4779 BRemL:    105 BRemN:     75 P: 200.0M T: 53.38
1564.39/392.00	c Cleaning up after failed var search:     0.00 s 
1566.39/392.54	c Replacing      293 vars Replaced    87323 lits Time:     2.09 s 
1571.60/393.86	c bin-w-bin subsume rem         6837 bins  time:  2.78 s
1578.37/395.51	c subs with bin:      565  lits-rem:     57384  v-fix:    0  time:  6.58 s
1583.57/396.84	c Subs w/ non-existent bins:    143 l-rem:   3541 v-fix:     0 done:  58413 time:  5.34 s
1585.16/397.25	c Removed useless bin:    2193  fixed:     0  props:  20.03M  time:  1.63 s
1614.33/404.54	c lits-rem:     12980  cl-subs:    12926  v-elim:  35580  v-fix:    0  time: 29.07 s
1616.32/405.01	c asymm  cl-useful: 44/662/373945 lits-rem:862 time: 1.85
1616.72/405.14	c  N dy   567    105317    219304    373944   5532468     21366  17662817    740217     23.87   no data  --
1617.12/405.29	c Finding binary XORs  T:     0.59 s  found:     298
1663.06/416.76	c  N dy   611    112048    219252    373944   5538367     27836  17662785   1119300     23.97     25.60  --
1720.18/431.05	c  N dy   655    119217    219252    373944   5539203     34701  17662780   1520726     24.08     25.57  --
1758.13/440.54	c  N dy   693    127085    219252    373944   5539619     21233  17662742    529344     23.95     25.22  --
1812.46/454.14	c  N dy   744    135228    219251    373944   5540052     29049  17662719    984544     24.07     27.42  --
1871.58/468.93	c  N dy   806    143876    219251    373944   5540716     37372  17662713   1477464     24.30     31.05  --
1918.74/480.79	c  N dy   858    153121    219251    373944   5541194     23690  17662711    536786     24.25     25.68  --
1947.48/487.96	c  S st   882    157976    219250    373944   5541673     28328  17662709    805608     24.20     14.65  --
1955.86/490.09	c  S st   882    158477    219248    373944   5541827     28670  17662709    808764     24.20   no data  --
1957.06/490.32	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.92
2003.00/501.82	c Flit:    24 Blit:    810 bXBeca:    0 bXProp:  125 Bins:   9337 BRemL:     54 BRemN:    269 P: 200.0M T: 45.91
2003.00/501.83	c Cleaning up after failed var search:     0.00 s 
2005.40/502.42	c Replacing      424 vars Replaced   147519 lits Time:     2.31 s 
2010.19/503.69	c bin-w-bin subsume rem         6883 bins  time:  2.71 s
2016.58/505.21	c subs with bin:     2301  lits-rem:     78847  v-fix:    0  time:  6.07 s
2022.18/506.65	c Subs w/ non-existent bins:     93 l-rem:   1789 v-fix:     0 done:  68120 time:  5.74 s
2023.79/507.02	c Removed useless bin:    2706  fixed:     0  props:  20.00M  time:  1.50 s
2054.13/514.63	c lits-rem:      8792  cl-subs:    12495  v-elim:  18591  v-fix:    0  time: 30.35 s
2056.12/515.12	c asymm  cl-useful: 133/676/426568 lits-rem:799 time: 1.94
2056.52/515.25	c  N dy   882    158477    199397    426567   5108711     25116  16863633    697961     24.20   no data  --
2094.50/524.72	c  N dy   898    168744    199397    426567   5109547     34870  16863600   1273645     23.80     25.07  --
2165.58/542.56	c Finding binary XORs  T:     0.55 s  found:      46
2166.38/542.72	c  N dy   982    179519    199302    426479   5110547     45354  16859943   2036877     24.30     39.45  --
2232.29/559.22	c  N dy  1044    192368    199302    426479   5111104     34166  16859917   1126734     24.22     25.89  --
2283.44/572.09	c  N dy  1081    204775    199296    426479   5111525     46046  16859779   1744552     23.99     25.31  --
2378.09/595.76	c  N dy  1182    217933    199294    426479   5112342     34006  16859766    994489     24.25     26.67  --
2455.59/615.15	c  N dy  1263    232086    198834    426479   5113705     47553  16859748   1875949     24.35     25.74  --
2489.56/623.69	c  S st  1298    237715    198834    426479   5113930     27120  16859742    543240     24.42     23.59  --
2497.93/625.70	c  S st  1298    238215    198834    426479   5114133     27415  16859742    545802     24.42   no data  --
2498.75/625.91	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.83
2873.82/719.83	c Flit:    79 Blit:     29 bXBeca:    0 bXProp:   87 Bins:  38729 BRemL:     71 BRemN:    161 P: 200.2M T: 374.87
2873.82/719.84	c Cleaning up after failed var search:     0.00 s 
2877.01/720.61	c Replacing      134 vars Replaced   312417 lits Time:     3.01 s 
2881.80/721.81	c bin-w-bin subsume rem         6375 bins  time:  2.52 s
2887.01/723.19	c subs with bin:    13848  lits-rem:     33148  v-fix:    0  time:  5.52 s
2901.79/726.85	c Subs w/ non-existent bins:   2841 l-rem:   4571 v-fix:     0 done:  24248 time: 14.61 s
2903.79/727.35	c Removed useless bin:    1664  fixed:     0  props:  20.07M  time:  1.96 s
2942.15/736.99	c lits-rem:      6906  cl-subs:     5888  v-elim:  22202  v-fix:    0  time: 38.47 s
2944.52/737.51	c asymm  cl-useful: 99/556/388857 lits-rem:401 time: 2.07
2944.92/737.62	c  N dy  1298    238215    176387    388857   3748377     25497  12659757    476926     24.42   no data  --
2945.33/737.74	c Finding binary XORs  T:     0.49 s  found:      49
3022.02/756.93	c  N dy  1352    259228    176118    388857   3752355     45766  12659753   1606607     24.11     25.44  --
3115.91/780.44	c  N dy  1477    275864    176116    388857   3753073     35165  12659750    956105     24.40     26.79  --
3207.77/803.49	c  N dy  1613    293478    176116    388857   3753671     52310  12659716   2016588     24.73     26.56  --
3280.08/821.53	c  F st  1712    306250    176116    388857   3754050     36816  12659715    940664     24.94   no data  --
3281.28/821.86	c Replacing       49 vars Replaced     2151 lits Time:     0.86 s 
3307.27/828.33	c  N dy  1726    312259    176067    388630   3751002     42667  12649741   1344624     24.98     49.09  --
3417.50/855.96	c  N dy  1866    332187    176064    388630   3751564     33099  12649697    678008     25.21     33.41  --
3530.96/884.37	c  N dy  2013    352251    173345    381797   3666653     50702  12356573   1864572     25.49     36.61  --
3554.52/890.27	c  S st  2045    357324    173345    381797   3666822     55610  12356573   2164860     25.50     21.00  --
3560.91/891.85	c  S st  2045    357824    173344    381797   3666959     55972  12356573   2168431     25.50   no data  --
3561.73/892.03	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.69
3761.43/942.02	c Flit:   229 Blit:   4114 bXBeca:    0 bXProp:  131 Bins:  25584 BRemL:     71 BRemN:    162 P: 200.1M T: 199.63
3761.83/942.18	c Cleaning up after failed var search:     0.61 s 
3764.63/942.87	c Replacing      133 vars Replaced   327334 lits Time:     2.66 s 
3769.03/943.97	c bin-w-bin subsume rem        11127 bins  time:  2.19 s
3775.02/945.44	c subs with bin:    18233  lits-rem:    138269  v-fix:    0  time:  5.89 s
3799.78/951.67	c Subs w/ non-existent bins:   3396 l-rem:   5316 v-fix:     0 done:   9527 time: 24.88 s
3801.78/952.12	c Removed useless bin:    3444  fixed:     0  props:  20.04M  time:  1.66 s
3841.33/962.01	c lits-rem:     20946  cl-subs:    19809  v-elim:  20804  v-fix:    0  time: 39.49 s
3842.95/962.47	c asymm  cl-useful: 207/620/336237 lits-rem:903 time: 1.86
3843.35/962.57	c  N dy  2045    357824    148061    336237   3198910     49107  10770620   1875967     25.50   no data  --
3843.73/962.67	c Finding binary XORs  T:     0.44 s  found:      41
3892.06/974.72	c  N dy  2064    377843    147984    336237   3202333     39518  10770608    870586     25.13     34.09  --
3985.94/998.26	c  N dy  2152    399564    147982    336237   3202917     30342  10770595    410925     24.97     26.50  --
4081.00/1022.09	c  N dy  2308    419603    147982    336237   3203647     49883  10770564   1665928     25.27     34.01  --
4180.08/1046.82	c  N dy  2443    439628    147982    336237   3204364     37871  10770524    789556     25.40     27.64  --
4271.55/1069.72	c  N dy  2584    459758    147982    336237   3204974     57330  10770487   1980850     25.58     27.84  --
4371.01/1094.67	c  N dy  2732    480001    147982    336237   3205597     44566  10770454   1177772     25.81     27.36  --
4441.33/1112.21	c  N dy  2828    500036    147981    336237   3206005     63931  10770437   2282638     25.76     40.51  --
4530.80/1134.60	c  N dy  2965    520060    147981    336237   3206464     49559  10770396   1468086     25.96     29.48  --
4615.10/1155.79	c  S st  3095    536738    147979    336237   3207080     65852  10770393   2506892     26.13     14.57  --
4621.11/1157.24	c  S st  3095    537238    147979    336237   3207181     66251  10770393   2510476     26.13   no data  --
4621.88/1157.41	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.65

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

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

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


[startup+0 s]
/proc/loadavg: 6.87 7.78 7.96 5/180 27909
/proc/meminfo: memFree=29521784/32951124 swapFree=67111416/67111528
[pid=27909] ppid=27907 vsize=216248 CPUtime=0 cores=1,3,5,7
/proc/27909/stat : 27909 (strangenight1-m) S 27907 27909 27352 0 -1 4202496 1611 0 0 0 0 0 0 0 22 0 4 0 529608027 221437952 1523 33554432000 4194304 4650419 140737012495392 18446744073709551615 212436122094 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/27909/statm: 54062 1527 343 112 0 49027 0
[pid=27909/tid=27910] ppid=27907 vsize=216248 CPUtime=0 cores=1,3,5,7
/proc/27909/task/27910/stat : 27910 (strangenight1-m) R 27907 27909 27352 0 -1 4202560 287 0 0 0 0 0 0 0 23 0 4 0 529608027 221437952 1533 33554432000 4194304 4650419 140737012495392 18446744073709551615 212436122143 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27909/tid=27911] ppid=27907 vsize=216248 CPUtime=0 cores=1,3,5,7
/proc/27909/task/27911/stat : 27911 (strangenight1-m) R 27907 27909 27352 0 -1 4202560 291 0 0 0 0 0 0 0 23 0 4 0 529608027 221437952 1540 33554432000 4194304 4650419 140737012495392 18446744073709551615 212435685714 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27909/tid=27912] ppid=27907 vsize=216248 CPUtime=0 cores=1,3,5,7
/proc/27909/task/27912/stat : 27912 (strangenight1-m) R 27907 27909 27352 0 -1 4202560 314 0 0 0 0 0 0 0 23 0 4 0 529608027 221437952 1544 33554432000 4194304 4650419 140737012495392 18446744073709551615 212436122143 0 0 4096 2 0 0 0 -1 5 0 0 0

[startup+0.0758591 s]
/proc/loadavg: 6.87 7.78 7.96 5/180 27909
/proc/meminfo: memFree=29521784/32951124 swapFree=67111416/67111528
[pid=27909] ppid=27907 vsize=297388 CPUtime=0.23 cores=1,3,5,7
/proc/27909/stat : 27909 (strangenight1-m) R 27907 27909 27352 0 -1 4202496 9624 0 0 0 16 7 0 0 17 0 4 0 529608027 304525312 8692 33554432000 4194304 4650419 140737012495392 18446744073709551615 212436122094 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/27909/statm: 74347 8754 344 112 0 69312 0
[pid=27909/tid=27910] ppid=27907 vsize=297388 CPUtime=0.06 cores=1,3,5,7
/proc/27909/task/27910/stat : 27910 (strangenight1-m) R 27907 27909 27352 0 -1 4202560 2304 0 0 0 4 2 0 0 18 0 4 0 529608027 304525312 8788 33554432000 4194304 4650419 140737012495392 18446744073709551615 212436122143 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27909/tid=27911] ppid=27907 vsize=297388 CPUtime=0.04 cores=1,3,5,7
/proc/27909/task/27911/stat : 27911 (strangenight1-m) S 27907 27909 27352 0 -1 4202560 2136 0 0 0 3 1 0 0 17 0 4 0 529608027 304525312 8824 33554432000 4194304 4650419 140737012495392 18446744073709551615 212436122094 0 0 4096 2 18446604462707283200 0 0 -1 7 0 0 0
[pid=27909/tid=27912] ppid=27907 vsize=297388 CPUtime=0.06 cores=1,3,5,7
/proc/27909/task/27912/stat : 27912 (strangenight1-m) S 27907 27909 27352 0 -1 4202560 2382 0 0 0 4 2 0 0 17 0 4 0 529608027 304525312 8838 33554432000 4194304 4650419 140737012495392 18446744073709551615 212436122094 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 297388

[startup+0.106637 s]
/proc/loadavg: 6.87 7.78 7.96 5/180 27909
/proc/meminfo: memFree=29521784/32951124 swapFree=67111416/67111528
[pid=27909] ppid=27907 vsize=305372 CPUtime=0.34 cores=1,3,5,7
/proc/27909/stat : 27909 (strangenight1-m) R 27907 27909 27352 0 -1 4202496 13682 0 0 0 24 10 0 0 17 0 4 0 529608027 312700928 11696 33554432000 4194304 4650419 140737012495392 18446744073709551615 212436122094 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/27909/statm: 76343 11732 344 112 0 71308 0
[pid=27909/tid=27910] ppid=27907 vsize=305372 CPUtime=0.08 cores=1,3,5,7
/proc/27909/task/27910/stat : 27910 (strangenight1-m) R 27907 27909 27352 0 -1 4202560 3283 0 0 0 6 2 0 0 18 0 4 0 529608027 312700928 11759 33554432000 4194304 4650419 140737012495392 18446744073709551615 4373800 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27909/tid=27911] ppid=27907 vsize=305372 CPUtime=0.06 cores=1,3,5,7
/proc/27909/task/27911/stat : 27911 (strangenight1-m) S 27907 27909 27352 0 -1 4202560 3013 0 0 0 5 1 0 0 17 0 4 0 529608027 312700928 11781 33554432000 4194304 4650419 140737012495392 18446744073709551615 212436122094 0 0 4096 2 18446604462707283200 0 0 -1 7 0 0 0
[pid=27909/tid=27912] ppid=27907 vsize=305372 CPUtime=0.08 cores=1,3,5,7
/proc/27909/task/27912/stat : 27912 (strangenight1-m) R 27907 27909 27352 0 -1 4202560 3471 0 0 0 6 2 0 0 17 0 4 0 529608027 312700928 11805 33554432000 4194304 4650419 140737012495392 18446744073709551615 4373800 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.34
Current children cumulated vsize (KiB) 305372

[startup+0.300568 s]
/proc/loadavg: 6.87 7.78 7.96 5/180 27909
/proc/meminfo: memFree=29521784/32951124 swapFree=67111416/67111528
[pid=27909] ppid=27907 vsize=404524 CPUtime=0.99 cores=1,3,5,7
/proc/27909/stat : 27909 (strangenight1-m) R 27907 27909 27352 0 -1 4202496 33938 0 0 0 73 26 0 0 17 0 4 0 529608027 414232576 29768 33554432000 4194304 4650419 140737012495392 18446744073709551615 212435678241 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/27909/statm: 101131 29870 344 112 0 96096 0
[pid=27909/tid=27910] ppid=27907 vsize=404524 CPUtime=0.25 cores=1,3,5,7
/proc/27909/task/27910/stat : 27910 (strangenight1-m) S 27907 27909 27352 0 -1 4202560 8228 0 0 0 19 6 0 0 18 0 4 0 529608027 414232576 29902 33554432000 4194304 4650419 140737012495392 18446744073709551615 212436122094 0 0 4096 2 18446604462707283200 0 0 -1 7 0 0 0
[pid=27909/tid=27911] ppid=27907 vsize=404524 CPUtime=0.24 cores=1,3,5,7
/proc/27909/task/27911/stat : 27911 (strangenight1-m) R 27907 27909 27352 0 -1 4202560 7965 0 0 0 18 6 0 0 17 0 4 0 529608027 414232576 29958 33554432000 4194304 4650419 140737012495392 18446744073709551615 212436060343 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27909/tid=27912] ppid=27907 vsize=404524 CPUtime=0.24 cores=1,3,5,7
/proc/27909/task/27912/stat : 27912 (strangenight1-m) R 27907 27909 27352 0 -1 4202560 8769 0 0 0 17 7 0 0 17 0 4 0 529608027 414232576 30021 33554432000 4194304 4650419 140737012495392 18446744073709551615 4372369 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.99
Current children cumulated vsize (KiB) 404524

[startup+0.700476 s]
/proc/loadavg: 6.87 7.78 7.96 5/180 27909
/proc/meminfo: memFree=29521784/32951124 swapFree=67111416/67111528
[pid=27909] ppid=27907 vsize=457728 CPUtime=2.41 cores=1,3,5,7
/proc/27909/stat : 27909 (strangenight1-m) R 27907 27909 27352 0 -1 4202496 76382 0 0 0 183 58 0 0 17 0 4 0 529608027 468713472 67844 33554432000 4194304 4650419 140737012495392 18446744073709551615 212436122143 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/27909/statm: 114432 67845 344 112 0 109397 0
[pid=27909/tid=27910] ppid=27907 vsize=457728 CPUtime=0.6 cores=1,3,5,7
/proc/27909/task/27910/stat : 27910 (strangenight1-m) R 27907 27909 27352 0 -1 4202560 19265 0 0 0 46 14 0 0 18 0 4 0 529608027 468713472 67847 33554432000 4194304 4650419 140737012495392 18446744073709551615 4545871 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27909/tid=27911] ppid=27907 vsize=457728 CPUtime=0.57 cores=1,3,5,7
/proc/27909/task/27911/stat : 27911 (strangenight1-m) R 27907 27909 27352 0 -1 4202560 18054 0 0 0 45 12 0 0 17 0 4 0 529608027 468713472 67852 33554432000 4194304 4650419 140737012495392 18446744073709551615 4520322 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27909/tid=27912] ppid=27907 vsize=457728 CPUtime=0.6 cores=1,3,5,7
/proc/27909/task/27912/stat : 27912 (strangenight1-m) R 27907 27909 27352 0 -1 4202560 19460 0 0 0 45 15 0 0 18 0 4 0 529608027 468713472 67852 33554432000 4194304 4650419 140737012495392 18446744073709551615 4514716 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.41
Current children cumulated vsize (KiB) 457728

[startup+1.50033 s]
/proc/loadavg: 6.87 7.78 7.96 7/184 27913
/proc/meminfo: memFree=29136360/32951124 swapFree=67111416/67111528
[pid=27909] ppid=27907 vsize=841120 CPUtime=5.34 cores=1,3,5,7
/proc/27909/stat : 27909 (strangenight1-m) R 27907 27909 27352 0 -1 4202496 158470 0 0 0 410 124 0 0 18 0 4 0 529608027 861306880 141326 33554432000 4194304 4650419 140737012495392 18446744073709551615 212436122094 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/27909/statm: 210280 141327 344 112 0 205245 0
[pid=27909/tid=27910] ppid=27907 vsize=841120 CPUtime=1.34 cores=1,3,5,7
/proc/27909/task/27910/stat : 27910 (strangenight1-m) R 27907 27909 27352 0 -1 4202560 40657 0 0 0 103 31 0 0 18 0 4 0 529608027 861306880 141328 33554432000 4194304 4650419 140737012495392 18446744073709551615 212435678241 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27909/tid=27911] ppid=27907 vsize=841120 CPUtime=1.3 cores=1,3,5,7
/proc/27909/task/27911/stat : 27911 (strangenight1-m) R 27907 27909 27352 0 -1 4202560 36893 0 0 0 101 29 0 0 18 0 4 0 529608027 861306880 141334 33554432000 4194304 4650419 140737012495392 18446744073709551615 212436122094 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27909/tid=27912] ppid=27907 vsize=841120 CPUtime=1.32 cores=1,3,5,7
/proc/27909/task/27912/stat : 27912 (strangenight1-m) R 27907 27909 27352 0 -1 4202560 40170 0 0 0 100 32 0 0 18 0 4 0 529608027 861306880 141339 33554432000 4194304 4650419 140737012495392 18446744073709551615 212436122143 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 5.34
Current children cumulated vsize (KiB) 841120

[startup+3.10102 s]
/proc/loadavg: 6.87 7.78 7.96 6/184 27913
/proc/meminfo: memFree=28720464/32951124 swapFree=67111416/67111528
[pid=27909] ppid=27907 vsize=1483076 CPUtime=11.25 cores=1,3,5,7
/proc/27909/stat : 27909 (strangenight1-m) R 27907 27909 27352 0 -1 4202496 334016 0 0 0 871 254 0 0 18 0 4 0 529608027 1518669824 299621 33554432000 4194304 4650419 140737012495392 18446744073709551615 212436122143 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/27909/statm: 370769 299627 344 112 0 365734 0
[pid=27909/tid=27910] ppid=27907 vsize=1483076 CPUtime=2.82 cores=1,3,5,7
/proc/27909/task/27910/stat : 27910 (strangenight1-m) R 27907 27909 27352 0 -1 4202560 83867 0 0 0 217 65 0 0 18 0 4 0 529608027 1518669824 299628 33554432000 4194304 4650419 140737012495392 18446744073709551615 212435684354 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27909/tid=27911] ppid=27907 vsize=1483076 CPUtime=2.79 cores=1,3,5,7
/proc/27909/task/27911/stat : 27911 (strangenight1-m) R 27907 27909 27352 0 -1 4202560 79251 0 0 0 218 61 0 0 18 0 4 0 529608027 1518669824 299628 33554432000 4194304 4650419 140737012495392 18446744073709551615 212436122143 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27909/tid=27912] ppid=27907 vsize=1483076 CPUtime=2.81 cores=1,3,5,7
/proc/27909/task/27912/stat : 27912 (strangenight1-m) R 27907 27909 27352 0 -1 4202560 83469 0 0 0 216 65 0 0 18 0 4 0 529608027 1518669824 299632 33554432000 4194304 4650419 140737012495392 18446744073709551615 212435713803 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 11.25
Current children cumulated vsize (KiB) 1483076

[startup+6.30042 s]
/proc/loadavg: 6.96 7.79 7.96 9/184 27913
/proc/meminfo: memFree=27797444/32951124 swapFree=67111416/67111528
[pid=27909] ppid=27907 vsize=1973644 CPUtime=23.78 cores=1,3,5,7
/proc/27909/stat : 27909 (strangenight1-m) R 27907 27909 27352 0 -1 4202496 455163 0 0 0 2070 308 0 0 22 0 4 0 529608027 2021011456 386059 33554432000 4194304 4650419 140737012495392 18446744073709551615 4369471 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/27909/statm: 493411 386059 373 112 0 488376 0
[pid=27909/tid=27910] ppid=27907 vsize=1973644 CPUtime=5.93 cores=1,3,5,7
/proc/27909/task/27910/stat : 27910 (strangenight1-m) R 27907 27909 27352 0 -1 4202560 117096 0 0 0 513 80 0 0 20 0 4 0 529608027 2021011456 386059 33554432000 4194304 4650419 140737012495392 18446744073709551615 4243596 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27909/tid=27911] ppid=27907 vsize=1973644 CPUtime=5.92 cores=1,3,5,7
/proc/27909/task/27911/stat : 27911 (strangenight1-m) R 27907 27909 27352 0 -1 4202560 112601 0 0 0 517 75 0 0 20 0 4 0 529608027 2021011456 386059 33554432000 4194304 4650419 140737012495392 18446744073709551615 4370340 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27909/tid=27912] ppid=27907 vsize=1973644 CPUtime=5.94 cores=1,3,5,7
/proc/27909/task/27912/stat : 27912 (strangenight1-m) R 27907 27909 27352 0 -1 4202560 103236 0 0 0 519 75 0 0 22 0 4 0 529608027 2021011456 386059 33554432000 4194304 4650419 140737012495392 18446744073709551615 4310665 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 23.78
Current children cumulated vsize (KiB) 1973644

[startup+12.7012 s]
/proc/loadavg: 7.04 7.79 7.96 9/184 27913
/proc/meminfo: memFree=27663212/32951124 swapFree=67111416/67111528
[pid=27909] ppid=27907 vsize=1999316 CPUtime=49.35 cores=1,3,5,7
/proc/27909/stat : 27909 (strangenight1-m) R 27907 27909 27352 0 -1 4202496 464306 0 0 0 4623 312 0 0 25 0 4 0 529608027 2047299584 395202 33554432000 4194304 4650419 140737012495392 18446744073709551615 4506552 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/27909/statm: 499829 395202 376 112 0 494794 0
[pid=27909/tid=27910] ppid=27907 vsize=1999316 CPUtime=12.3 cores=1,3,5,7
/proc/27909/task/27910/stat : 27910 (strangenight1-m) R 27907 27909 27352 0 -1 4202560 117947 0 0 0 1149 81 0 0 25 0 4 0 529608027 2047299584 395202 33554432000 4194304 4650419 140737012495392 18446744073709551615 4224704 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27909/tid=27911] ppid=27907 vsize=1999316 CPUtime=12.31 cores=1,3,5,7
/proc/27909/task/27911/stat : 27911 (strangenight1-m) R 27907 27909 27352 0 -1 4202560 113427 0 0 0 1156 75 0 0 25 0 4 0 529608027 2047299584 395202 33554432000 4194304 4650419 140737012495392 18446744073709551615 4223515 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27909/tid=27912] ppid=27907 vsize=1999316 CPUtime=12.34 cores=1,3,5,7
/proc/27909/task/27912/stat : 27912 (strangenight1-m) R 27907 27909 27352 0 -1 4202560 109818 0 0 0 1157 77 0 0 25 0 4 0 529608027 2047299584 395202 33554432000 4194304 4650419 140737012495392 18446744073709551615 4304286 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 49.35
Current children cumulated vsize (KiB) 1999316

[startup+25.5008 s]
/proc/loadavg: 7.32 7.82 7.97 9/184 27913
/proc/meminfo: memFree=27073336/32951124 swapFree=67111416/67111528
[pid=27909] ppid=27907 vsize=2416128 CPUtime=100.43 cores=1,3,5,7
/proc/27909/stat : 27909 (strangenight1-m) R 27907 27909 27352 0 -1 4202496 580723 0 0 0 9704 339 0 0 25 0 4 0 529608027 2474115072 511313 33554432000 4194304 4650419 140737012495392 18446744073709551615 4432392 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/27909/statm: 604032 511313 480 112 0 598997 0
[pid=27909/tid=27910] ppid=27907 vsize=2416128 CPUtime=25.01 cores=1,3,5,7
/proc/27909/task/27910/stat : 27910 (strangenight1-m) R 27907 27909 27352 0 -1 4202560 156371 0 0 0 2409 92 0 0 25 0 4 0 529608027 2474115072 511313 33554432000 4194304 4650419 140737012495392 18446744073709551615 4241210 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27909/tid=27911] ppid=27907 vsize=2416128 CPUtime=25.11 cores=1,3,5,7
/proc/27909/task/27911/stat : 27911 (strangenight1-m) R 27907 27909 27352 0 -1 4202560 152215 0 0 0 2425 86 0 0 25 0 4 0 529608027 2474115072 511313 33554432000 4194304 4650419 140737012495392 18446744073709551615 4521742 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27909/tid=27912] ppid=27907 vsize=2416128 CPUtime=25.13 cores=1,3,5,7
/proc/27909/task/27912/stat : 27912 (strangenight1-m) R 27907 27909 27352 0 -1 4202560 110524 0 0 0 2436 77 0 0 25 0 4 0 529608027 2474115072 511313 33554432000 4194304 4650419 140737012495392 18446744073709551615 4242442 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 100.43
Current children cumulated vsize (KiB) 2416128

[startup+51.1009 s]
/proc/loadavg: 7.63 7.85 7.97 9/184 27914
/proc/meminfo: memFree=26978192/32951124 swapFree=67111416/67111528
[pid=27909] ppid=27907 vsize=2514540 CPUtime=202.68 cores=1,3,5,7
/proc/27909/stat : 27909 (strangenight1-m) R 27907 27909 27352 0 -1 4202496 646360 0 0 0 19918 350 0 0 25 0 4 0 529608027 2574888960 530341 33554432000 4194304 4650419 140737012495392 18446744073709551615 4304187 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/27909/statm: 628635 530341 393 112 0 623600 0
[pid=27909/tid=27910] ppid=27907 vsize=2514540 CPUtime=50.48 cores=1,3,5,7
/proc/27909/task/27910/stat : 27910 (strangenight1-m) R 27907 27909 27352 0 -1 4202560 165112 0 0 0 4954 94 0 0 25 0 4 0 529608027 2574888960 530341 33554432000 4194304 4650419 140737012495392 18446744073709551615 4364788 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27909/tid=27911] ppid=27907 vsize=2514540 CPUtime=50.7 cores=1,3,5,7
/proc/27909/task/27911/stat : 27911 (strangenight1-m) R 27907 27909 27352 0 -1 4202560 162926 0 0 0 4982 88 0 0 25 0 4 0 529608027 2574888960 530341 33554432000 4194304 4650419 140737012495392 18446744073709551615 4364503 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27909/tid=27912] ppid=27907 vsize=2514540 CPUtime=50.73 cores=1,3,5,7
/proc/27909/task/27912/stat : 27912 (strangenight1-m) R 27907 27909 27352 0 -1 4202560 111783 0 0 0 4995 78 0 0 25 0 4 0 529608027 2574888960 530341 33554432000 4194304 4650419 140737012495392 18446744073709551615 4365369 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 202.68
Current children cumulated vsize (KiB) 2514540

[startup+102.307 s]
/proc/loadavg: 7.84 7.87 7.97 9/184 27915
/proc/meminfo: memFree=26298840/32951124 swapFree=67111416/67111528
[pid=27909] ppid=27907 vsize=2486336 CPUtime=407.23 cores=1,3,5,7
/proc/27909/stat : 27909 (strangenight1-m) R 27907 27909 27352 0 -1 4202496 692841 0 0 0 40364 359 0 0 25 0 4 0 529608027 2546008064 523317 33554432000 4194304 4650419 140737012495392 18446744073709551615 4304119 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/27909/statm: 621584 523317 394 112 0 616549 0
[pid=27909/tid=27910] ppid=27907 vsize=2486336 CPUtime=101.4 cores=1,3,5,7
/proc/27909/task/27910/stat : 27910 (strangenight1-m) R 27907 27909 27352 0 -1 4202560 177346 0 0 0 10044 96 0 0 25 0 4 0 529608027 2546008064 523317 33554432000 4194304 4650419 140737012495392 18446744073709551615 4258561 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27909/tid=27911] ppid=27907 vsize=2486336 CPUtime=101.9 cores=1,3,5,7
/proc/27909/task/27911/stat : 27911 (strangenight1-m) R 27907 27909 27352 0 -1 4202560 173918 0 0 0 10100 90 0 0 25 0 4 0 529608027 2546008064 523317 33554432000 4194304 4650419 140737012495392 18446744073709551615 4303973 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27909/tid=27912] ppid=27907 vsize=2486336 CPUtime=101.94 cores=1,3,5,7
/proc/27909/task/27912/stat : 27912 (strangenight1-m) R 27907 27909 27352 0 -1 4202560 125246 0 0 0 10113 81 0 0 25 0 4 0 529608027 2546008064 523317 33554432000 4194304 4650419 140737012495392 18446744073709551615 4368084 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 407.23
Current children cumulated vsize (KiB) 2486336

[startup+162.301 s]

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


[startup+702.301 s]
/proc/loadavg: 7.89 7.97 7.98 9/184 27991
/proc/meminfo: memFree=25548292/32951124 swapFree=67111416/67111528
[pid=27909] ppid=27907 vsize=4548172 CPUtime=2803.92 cores=1,3,5,7
/proc/27909/stat : 27909 (strangenight1-m) R 27907 27909 27352 0 -1 4202496 2286035 0 0 0 279766 626 0 0 25 0 4 0 529608027 4657328128 998092 33554432000 4194304 4650419 140737012495392 18446744073709551615 4231163 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/27909/statm: 1137043 998092 396 112 0 1132008 0
[pid=27909/tid=27910] ppid=27907 vsize=4548172 CPUtime=701.11 cores=1,3,5,7
/proc/27909/task/27910/stat : 27910 (strangenight1-m) R 27907 27909 27352 0 -1 4202560 581316 0 0 0 69949 162 0 0 25 0 4 0 529608027 4657328128 998092 33554432000 4194304 4650419 140737012495392 18446744073709551615 212436041623 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27909/tid=27911] ppid=27907 vsize=4548172 CPUtime=698.87 cores=1,3,5,7
/proc/27909/task/27911/stat : 27911 (strangenight1-m) R 27907 27909 27352 0 -1 4202560 596316 0 0 0 69729 158 0 0 25 0 4 0 529608027 4657328128 998092 33554432000 4194304 4650419 140737012495392 18446744073709551615 4365044 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27909/tid=27912] ppid=27907 vsize=4548172 CPUtime=701.94 cores=1,3,5,7
/proc/27909/task/27912/stat : 27912 (strangenight1-m) R 27907 27909 27352 0 -1 4202560 707226 0 0 0 70018 176 0 0 25 0 4 0 529608027 4657328128 998092 33554432000 4194304 4650419 140737012495392 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2803.92
Current children cumulated vsize (KiB) 4548172

[startup+762.307 s]
/proc/loadavg: 7.96 7.97 7.98 9/184 27993
/proc/meminfo: memFree=25341176/32951124 swapFree=67111416/67111528
[pid=27909] ppid=27907 vsize=4570672 CPUtime=3043.62 cores=1,3,5,7
/proc/27909/stat : 27909 (strangenight1-m) R 27907 27909 27352 0 -1 4202496 2333348 0 0 0 303723 639 0 0 25 0 4 0 529608027 4680368128 1004070 33554432000 4194304 4650419 140737012495392 18446744073709551615 4363420 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/27909/statm: 1142668 1004070 396 112 0 1137633 0
[pid=27909/tid=27910] ppid=27907 vsize=4570672 CPUtime=761.12 cores=1,3,5,7
/proc/27909/task/27910/stat : 27910 (strangenight1-m) R 27907 27909 27352 0 -1 4202560 591785 0 0 0 75947 165 0 0 25 0 4 0 529608027 4680368128 1004070 33554432000 4194304 4650419 140737012495392 18446744073709551615 4368084 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27909/tid=27911] ppid=27907 vsize=4570672 CPUtime=758.54 cores=1,3,5,7
/proc/27909/task/27911/stat : 27911 (strangenight1-m) R 27907 27909 27352 0 -1 4202560 607785 0 0 0 75693 161 0 0 25 0 4 0 529608027 4680368128 1004070 33554432000 4194304 4650419 140737012495392 18446744073709551615 4363690 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27909/tid=27912] ppid=27907 vsize=4570672 CPUtime=761.95 cores=1,3,5,7
/proc/27909/task/27912/stat : 27912 (strangenight1-m) R 27907 27909 27352 0 -1 4202560 716657 0 0 0 76018 177 0 0 25 0 4 0 529608027 4680368128 1004070 33554432000 4194304 4650419 140737012495392 18446744073709551615 4363883 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3043.62
Current children cumulated vsize (KiB) 4570672

[startup+822.301 s]
/proc/loadavg: 7.98 7.97 7.98 9/184 27995
/proc/meminfo: memFree=25222088/32951124 swapFree=67111416/67111528
[pid=27909] ppid=27907 vsize=4563176 CPUtime=3283.28 cores=1,3,5,7
/proc/27909/stat : 27909 (strangenight1-m) R 27907 27909 27352 0 -1 4202496 2362596 0 0 0 327680 648 0 0 25 0 4 0 529608027 4672692224 1007251 33554432000 4194304 4650419 140737012495392 18446744073709551615 212435672997 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/27909/statm: 1140794 1007251 396 112 0 1135759 0
[pid=27909/tid=27910] ppid=27907 vsize=4563176 CPUtime=821.12 cores=1,3,5,7
/proc/27909/task/27910/stat : 27910 (strangenight1-m) R 27907 27909 27352 0 -1 4202560 594359 0 0 0 81945 167 0 0 25 0 4 0 529608027 4672692224 1007251 33554432000 4194304 4650419 140737012495392 18446744073709551615 4304010 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27909/tid=27911] ppid=27907 vsize=4563176 CPUtime=818.22 cores=1,3,5,7
/proc/27909/task/27911/stat : 27911 (strangenight1-m) R 27907 27909 27352 0 -1 4202560 618878 0 0 0 81658 164 0 0 25 0 4 0 529608027 4672692224 1007251 33554432000 4194304 4650419 140737012495392 18446744073709551615 4368121 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27909/tid=27912] ppid=27907 vsize=4563176 CPUtime=821.95 cores=1,3,5,7
/proc/27909/task/27912/stat : 27912 (strangenight1-m) R 27907 27909 27352 0 -1 4202560 720258 0 0 0 82016 179 0 0 25 0 4 0 529608027 4672692224 1007251 33554432000 4194304 4650419 140737012495392 18446744073709551615 4365330 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3283.28
Current children cumulated vsize (KiB) 4563176

[startup+882.301 s]
/proc/loadavg: 7.99 7.97 7.98 9/184 27996
/proc/meminfo: memFree=25046696/32951124 swapFree=67111416/67111528
[pid=27909] ppid=27907 vsize=4640348 CPUtime=3522.95 cores=1,3,5,7
/proc/27909/stat : 27909 (strangenight1-m) R 27907 27909 27352 0 -1 4202496 2431212 0 0 0 351633 662 0 0 25 0 4 0 529608027 4751716352 1023088 33554432000 4194304 4650419 140737012495392 18446744073709551615 4310912 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/27909/statm: 1160087 1023088 396 112 0 1155052 0
[pid=27909/tid=27910] ppid=27907 vsize=4640348 CPUtime=881.13 cores=1,3,5,7
/proc/27909/task/27910/stat : 27910 (strangenight1-m) R 27907 27909 27352 0 -1 4202560 629032 0 0 0 87941 172 0 0 25 0 4 0 529608027 4751716352 1023088 33554432000 4194304 4650419 140737012495392 18446744073709551615 4476293 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27909/tid=27911] ppid=27907 vsize=4640348 CPUtime=877.89 cores=1,3,5,7
/proc/27909/task/27911/stat : 27911 (strangenight1-m) R 27907 27909 27352 0 -1 4202560 628914 0 0 0 87621 168 0 0 25 0 4 0 529608027 4751716352 1023088 33554432000 4194304 4650419 140737012495392 18446744073709551615 4369360 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27909/tid=27912] ppid=27907 vsize=4640348 CPUtime=881.94 cores=1,3,5,7
/proc/27909/task/27912/stat : 27912 (strangenight1-m) R 27907 27909 27352 0 -1 4202560 731966 0 0 0 88013 181 0 0 25 0 4 0 529608027 4751716352 1023088 33554432000 4194304 4650419 140737012495392 18446744073709551615 4365477 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3522.95
Current children cumulated vsize (KiB) 4640348

[startup+942.3 s]
/proc/loadavg: 7.99 7.97 7.98 9/184 27998
/proc/meminfo: memFree=24972268/32951124 swapFree=67111416/67111528
[pid=27909] ppid=27907 vsize=4778976 CPUtime=3762.63 cores=1,3,5,7
/proc/27909/stat : 27909 (strangenight1-m) R 27907 27909 27352 0 -1 4202496 2478552 0 0 0 375588 675 0 0 25 0 4 0 529608027 4893671424 1043271 33554432000 4194304 4650419 140737012495392 18446744073709551615 4506547 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/27909/statm: 1194744 1043271 396 112 0 1189709 0
[pid=27909/tid=27910] ppid=27907 vsize=4778976 CPUtime=941.13 cores=1,3,5,7
/proc/27909/task/27910/stat : 27910 (strangenight1-m) R 27907 27909 27352 0 -1 4202560 639224 0 0 0 93937 176 0 0 25 0 4 0 529608027 4893671424 1043271 33554432000 4194304 4650419 140737012495392 18446744073709551615 4368084 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27909/tid=27911] ppid=27907 vsize=4778976 CPUtime=937.56 cores=1,3,5,7
/proc/27909/task/27911/stat : 27911 (strangenight1-m) R 27907 27909 27352 0 -1 4202560 652040 0 0 0 93583 173 0 0 25 0 4 0 529608027 4893671424 1043271 33554432000 4194304 4650419 140737012495392 18446744073709551615 4303973 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27909/tid=27912] ppid=27907 vsize=4778976 CPUtime=941.95 cores=1,3,5,7
/proc/27909/task/27912/stat : 27912 (strangenight1-m) R 27907 27909 27352 0 -1 4202560 734401 0 0 0 94013 182 0 0 25 0 4 0 529608027 4893671424 1043271 33554432000 4194304 4650419 140737012495392 18446744073709551615 4310544 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3762.63
Current children cumulated vsize (KiB) 4778976

[startup+1002.3 s]
/proc/loadavg: 7.99 7.97 7.98 10/184 27999
/proc/meminfo: memFree=24911508/32951124 swapFree=67111416/67111528
[pid=27909] ppid=27907 vsize=4805956 CPUtime=4002.31 cores=1,3,5,7
/proc/27909/stat : 27909 (strangenight1-m) R 27907 27909 27352 0 -1 4202496 2521358 0 0 0 399544 687 0 0 25 0 4 0 529608027 4921298944 1054723 33554432000 4194304 4650419 140737012495392 18446744073709551615 4326730 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/27909/statm: 1201489 1054723 396 112 0 1196454 0
[pid=27909/tid=27910] ppid=27907 vsize=4805956 CPUtime=1001.13 cores=1,3,5,7
/proc/27909/task/27910/stat : 27910 (strangenight1-m) R 27907 27909 27352 0 -1 4202560 651133 0 0 0 99934 179 0 0 25 0 4 0 529608027 4921298944 1054723 33554432000 4194304 4650419 140737012495392 18446744073709551615 4364883 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27909/tid=27911] ppid=27907 vsize=4805956 CPUtime=997.23 cores=1,3,5,7
/proc/27909/task/27911/stat : 27911 (strangenight1-m) R 27907 27909 27352 0 -1 4202560 654247 0 0 0 99548 175 0 0 25 0 4 0 529608027 4921298944 1054723 33554432000 4194304 4650419 140737012495392 18446744073709551615 4328474 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27909/tid=27912] ppid=27907 vsize=4805956 CPUtime=1001.95 cores=1,3,5,7
/proc/27909/task/27912/stat : 27912 (strangenight1-m) R 27907 27909 27352 0 -1 4202560 736480 0 0 0 100011 184 0 0 25 0 4 0 529608027 4921298944 1054723 33554432000 4194304 4650419 140737012495392 18446744073709551615 4364883 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4002.31
Current children cumulated vsize (KiB) 4805956

[startup+1062.3 s]
/proc/loadavg: 8.07 7.99 7.99 9/184 28001
/proc/meminfo: memFree=24853444/32951124 swapFree=67111416/67111528
[pid=27909] ppid=27907 vsize=4742360 CPUtime=4241.99 cores=1,3,5,7
/proc/27909/stat : 27909 (strangenight1-m) R 27907 27909 27352 0 -1 4202496 2554065 0 0 0 423502 697 0 0 25 0 4 0 529608027 4856176640 1054287 33554432000 4194304 4650419 140737012495392 18446744073709551615 4367329 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/27909/statm: 1185590 1054287 396 112 0 1180555 0
[pid=27909/tid=27910] ppid=27907 vsize=4742360 CPUtime=1061.13 cores=1,3,5,7
/proc/27909/task/27910/stat : 27910 (strangenight1-m) R 27907 27909 27352 0 -1 4202560 653802 0 0 0 105933 180 0 0 25 0 4 0 529608027 4856176640 1054287 33554432000 4194304 4650419 140737012495392 18446744073709551615 4311310 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27909/tid=27911] ppid=27907 vsize=4742360 CPUtime=1056.91 cores=1,3,5,7
/proc/27909/task/27911/stat : 27911 (strangenight1-m) R 27907 27909 27352 0 -1 4202560 665319 0 0 0 105514 177 0 0 25 0 4 0 529608027 4856176640 1054287 33554432000 4194304 4650419 140737012495392 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27909/tid=27912] ppid=27907 vsize=4742360 CPUtime=1061.95 cores=1,3,5,7
/proc/27909/task/27912/stat : 27912 (strangenight1-m) R 27907 27909 27352 0 -1 4202560 745796 0 0 0 106009 186 0 0 25 0 4 0 529608027 4856176640 1054287 33554432000 4194304 4650419 140737012495392 18446744073709551615 4229472 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4241.99
Current children cumulated vsize (KiB) 4742360

[startup+1122.3 s]
/proc/loadavg: 8.09 8.00 7.99 9/184 28003
/proc/meminfo: memFree=24809032/32951124 swapFree=67111416/67111528
[pid=27909] ppid=27907 vsize=4806908 CPUtime=4481.67 cores=1,3,5,7
/proc/27909/stat : 27909 (strangenight1-m) R 27907 27909 27352 0 -1 4202496 2581742 0 0 0 447460 707 0 0 25 0 4 0 529608027 4922273792 1058004 33554432000 4194304 4650419 140737012495392 18446744073709551615 4311310 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/27909/statm: 1201727 1058004 396 112 0 1196692 0
[pid=27909/tid=27910] ppid=27907 vsize=4806908 CPUtime=1121.13 cores=1,3,5,7
/proc/27909/task/27910/stat : 27910 (strangenight1-m) R 27907 27909 27352 0 -1 4202560 664608 0 0 0 111930 183 0 0 25 0 4 0 529608027 4922273792 1058004 33554432000 4194304 4650419 140737012495392 18446744073709551615 4368288 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27909/tid=27911] ppid=27907 vsize=4806908 CPUtime=1116.58 cores=1,3,5,7
/proc/27909/task/27911/stat : 27911 (strangenight1-m) R 27907 27909 27352 0 -1 4202560 667978 0 0 0 111479 179 0 0 25 0 4 0 529608027 4922273792 1058004 33554432000 4194304 4650419 140737012495392 18446744073709551615 4368084 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27909/tid=27912] ppid=27907 vsize=4806908 CPUtime=1121.96 cores=1,3,5,7
/proc/27909/task/27912/stat : 27912 (strangenight1-m) R 27907 27909 27352 0 -1 4202560 748836 0 0 0 112008 188 0 0 25 0 4 0 529608027 4922273792 1058004 33554432000 4194304 4650419 140737012495392 18446744073709551615 4363208 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4481.67
Current children cumulated vsize (KiB) 4806908

[startup+1182.3 s]
/proc/loadavg: 8.03 8.00 7.99 9/184 28004
/proc/meminfo: memFree=24584984/32951124 swapFree=67111416/67111528
[pid=27909] ppid=27907 vsize=4883924 CPUtime=4721.36 cores=1,3,5,7
/proc/27909/stat : 27909 (strangenight1-m) R 27907 27909 27352 0 -1 4202496 2627916 0 0 0 471418 718 0 0 25 0 4 0 529608027 5001138176 1073880 33554432000 4194304 4650419 140737012495392 18446744073709551615 4230570 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/27909/statm: 1220981 1073880 396 112 0 1215946 0
[pid=27909/tid=27910] ppid=27907 vsize=4883924 CPUtime=1181.13 cores=1,3,5,7
/proc/27909/task/27910/stat : 27910 (strangenight1-m) R 27907 27909 27352 0 -1 4202560 667464 0 0 0 117928 185 0 0 25 0 4 0 529608027 5001138176 1073880 33554432000 4194304 4650419 140737012495392 18446744073709551615 4364993 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27909/tid=27911] ppid=27907 vsize=4883924 CPUtime=1176.26 cores=1,3,5,7
/proc/27909/task/27911/stat : 27911 (strangenight1-m) R 27907 27909 27352 0 -1 4202560 679487 0 0 0 117444 182 0 0 25 0 4 0 529608027 5001138176 1073880 33554432000 4194304 4650419 140737012495392 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27909/tid=27912] ppid=27907 vsize=4883924 CPUtime=1181.96 cores=1,3,5,7
/proc/27909/task/27912/stat : 27912 (strangenight1-m) R 27907 27909 27352 0 -1 4202560 760072 0 0 0 118006 190 0 0 25 0 4 0 529608027 5001138176 1073880 33554432000 4194304 4650419 140737012495392 18446744073709551615 4363762 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4721.36
Current children cumulated vsize (KiB) 4883924



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202 s]
/proc/loadavg: 8.02 8.00 7.99 9/184 28005
/proc/meminfo: memFree=24575476/32951124 swapFree=67111416/67111528
[pid=27909] ppid=27907 vsize=4818184 CPUtime=4800.07 cores=1,3,5,7
/proc/27909/stat : 27909 (strangenight1-m) R 27907 27909 27352 0 -1 4202496 2639222 0 0 0 479286 721 0 0 25 0 4 0 529608027 4933820416 1071402 33554432000 4194304 4650419 140737012495392 18446744073709551615 4370730 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/27909/statm: 1204546 1071402 396 112 0 1199511 0
[pid=27909/tid=27910] ppid=27907 vsize=4818184 CPUtime=1200.84 cores=1,3,5,7
/proc/27909/task/27910/stat : 27910 (strangenight1-m) R 27907 27909 27352 0 -1 4202560 676923 0 0 0 119897 187 0 0 25 0 4 0 529608027 4933820416 1071402 33554432000 4194304 4650419 140737012495392 18446744073709551615 4328289 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27909/tid=27911] ppid=27907 vsize=4818184 CPUtime=1195.85 cores=1,3,5,7
/proc/27909/task/27911/stat : 27911 (strangenight1-m) R 27907 27909 27352 0 -1 4202560 680409 0 0 0 119403 182 0 0 25 0 4 0 529608027 4933820416 1071403 33554432000 4194304 4650419 140737012495392 18446744073709551615 4364883 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27909/tid=27912] ppid=27907 vsize=4818184 CPUtime=1201.66 cores=1,3,5,7
/proc/27909/task/27912/stat : 27912 (strangenight1-m) R 27907 27909 27352 0 -1 4202560 760793 0 0 0 119976 190 0 0 25 0 4 0 529608027 4933820416 1071403 33554432000 4194304 4650419 140737012495392 18446744073709551615 4364871 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4800.07
Current children cumulated vsize (KiB) 4818184

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

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

[startup+1202.11 s]
/proc/loadavg: 8.02 8.00 7.99 9/184 28005
/proc/meminfo: memFree=24575476/32951124 swapFree=67111416/67111528
[pid=27909] ppid=27907 vsize=0 CPUtime=4800.19 cores=1,3,5,7
/proc/27909/stat : 27909 (strangenight1-m) Z 27907 27909 27352 0 -1 4203548 2639225 0 0 0 479288 731 0 0 25 0 2 0 529608027 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/27909/statm: 0 0 0 0 0 0 0
[pid=27909/tid=27911] ppid=27907 vsize=0 CPUtime=1195.95 cores=1,3,5,7
/proc/27909/task/27911/stat : 27911 (strangenight1-m) R 27907 27909 27352 0 -1 4203588 680410 0 0 0 119403 192 0 0 25 0 2 0 529608027 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.19
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1202.19
CPU time (s): 4800.27
CPU user time (s): 4792.88
CPU system time (s): 7.38688
CPU usage (%): 399.295
Max. virtual memory (cumulated for all children) (KiB): 4978880

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4792.88
system time used= 7.38688
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2639225
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= 215218
involuntary context switches= 34037

runsolver used 1.86772 second user time and 4.71128 second system time

The end

Launcher Data 

Begin job on node102 at 2011-04-30 18:14:17
IDJOB=3292050
IDBENCH=85008
IDSOLVER=1588
FILE ID=node102/3292050-1304180050
RUNJOBID= node102-1304180050-27886
PBS_JOBID= 13172418
Free space on /tmp= 72180 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt
BENCH NAME= SAT04/industrial/velev/vliw_unsat_2.0/9dlx_vliw_at_b_iq9.used-as.sat04-719.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3292050-1304180050/watcher-3292050-1304180050 -o /tmp/evaluation-result-3292050-1304180050/solver-3292050-1304180050 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3292050-1304180050.cnf

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

MD5SUM BENCH= 9a43349587a435e7109b46b3aceb156e
RANDOM SEED=254313522

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

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.828
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.828
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.828
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.828
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:     32951124 kB
MemFree:      29522064 kB
Buffers:        634516 kB
Cached:        1670920 kB
SwapCached:          0 kB
Active:        1126100 kB
Inactive:      1875316 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      29522064 kB
SwapTotal:    67111528 kB
SwapFree:     67111416 kB
Dirty:          302360 kB
Writeback:           0 kB
AnonPages:      695752 kB
Mapped:          15556 kB
Slab:           363744 kB
PageTables:       6144 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   971844 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= 72236 MiB
End job on node102 at 2011-04-30 18:34:21