Trace number 3394248

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-2-mt (fixed)UNSAT 2108.91 264.687

General information on the benchmark

Nameapplication/jarvisalo/AAAI2010-SATPlanning/
aaai10-planning-ipc5-TPP-21-step11.cnf
MD5SUM00d93f117a3253605ad3ac6a153ec61f
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark218.303
Satisfiable
(Un)Satisfiability was proved
Number of variables99736
Number of clauses783991
Sum of the clauses size1708562
Maximum clause length91
Minimum clause length1
Number of clauses of size 1139
Number of clauses of size 2756759
Number of clauses of size 37636
Number of clauses of size 411357
Number of clauses of size 5745
Number of clauses of size over 57355

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.01	c Using 8 threads
0.00/0.05	c This is CryptoMiniSat 3.0.0
0.00/0.05	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.05	c Reading file 'HOME/instance-3394248-1306093758.cnf'
0.31/0.05	c -- header says num vars:          99736
0.31/0.05	c -- header says num clauses:      783991
5.47/1.02	c -- clauses added:            0 learnts,       783991 normals,            0 xors
5.47/1.02	c -- vars added      99736
5.47/1.02	c Parsing time:  0.29 s
5.47/1.02	c  N st     0         0     99736     27093    756759         0   1708423         0   no data   no data
7.68/1.33	c asymm  cl-useful: 126/987/26954 lits-rem:2592 time: 0.30
59.56/7.84	c Flit:  2926 Blit:  34515 bXBeca:    0 bXProp: 1278 Bins:      0 BRemL:      0 BRemN:      0 P: 185.1M T:  6.51
59.56/7.87	c Cleaning up after failed var search:     0.02 s 
59.56/7.89	c Replacing     1278 vars Replaced    25442 lits Time:     0.02 s 
60.37/7.91	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
60.37/7.92	c bin-w-bin subsume rem         1009 bins  time:  0.01 s
60.37/7.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
61.96/8.16	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  51016 time:  0.21 s
63.56/8.32	c Removed useless bin:     472  fixed:     0  props:  20.00M  time:  0.16 s
63.56/8.39	c lits-rem:        41  cl-subs:      139  v-elim:    297  v-fix:    0  time:  0.08 s
64.36/8.41	c Finding binary XORs  T:     0.02 s  found:       0
64.36/8.42	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
64.36/8.42	c calculated reachability. Time: 0.00
64.36/8.43	c Calc default polars -  time:   0.01 s pos:    8197 undec:   64222 neg:   27317
64.36/8.43	c =========================================================================================
64.36/8.43	c types(t): F = full restart, N = normal restart
64.36/8.43	c types(t): S = simplification begin/end, E = solution found
64.36/8.43	c restart types(rt): st = static, dy = dynamic
64.36/8.43	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
64.36/8.43	c  B st     0         0     50719     16644    196974         0    472720         0   no data   no data
73.14/9.51	c  N dy    20      4024     50718     16644    197046      3875    472720    289593     13.86     14.64
82.70/10.73	c  N dy    38      8193     50714     16644    197501      5514    472720    332866     12.70     13.56
94.03/12.17	c  N dy    54     12388     50713     16644    197558      5477    472720    262084     12.42     13.19
105.83/13.62	c  N dy    87     16472     50705     16644    198005      9452    472720    645724     13.32     15.35
119.56/15.35	c  N dy   112     21361     50676     16644    198493      8785    472720    459765     13.29     14.07
129.78/16.69	c  F st   134     25000     50669     16644    198951     12363    472720    823002     13.65     11.27
132.18/16.99	c  N st   136     25625     50669     16591    198249     12811    471121    864963     13.65   no data
147.34/18.83	c  N dy   140     30001     50662     16591    198265     10542    471121    566837     13.65   no data
147.34/18.83	c  S st   140     30001     50662     16591    198265     10542    471121    566837     13.65   no data
148.93/19.06	c  S st   140     30502     50662     16591    198291     11012    471121    593737     13.65   no data
148.93/19.08	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
223.96/28.45	c Flit:   592 Blit:     37 bXBeca:    0 bXProp:  274 Bins: 424116 BRemL:  35762 BRemN:     67 P: 158.0M T:  9.29
223.96/28.47	c Cleaning up after failed var search:     0.02 s 
224.90/28.52	c Replacing      274 vars Replaced    50419 lits Time:     0.05 s 
224.90/28.56	c blocked clauses removed:        0 vars:  14093 tried:       51311 T: 0.02 s
224.90/28.60	c bin-w-bin subsume rem         3966 bins  time:  0.04 s
225.71/28.67	c subs with bin:      478  lits-rem:       254  v-fix:    0  time:  0.06 s
227.94/28.91	c Subs w/ non-existent bins:    158 l-rem:    257 v-fix:     0 done:  35531 time:  0.24 s
227.94/28.97	c Removed useless bin:     102  fixed:     0  props:   5.20M  time:  0.06 s
228.73/29.07	c lits-rem:        62  cl-subs:      241  v-elim:   1585  v-fix:    0  time:  0.10 s
231.14/29.40	c subs with bin:      479  lits-rem:     11315  v-fix:    0  time:  0.30 s
232.73/29.57	c lits-rem:      2085  cl-subs:      949  v-elim:      0  v-fix:    0  time:  0.18 s
235.91/29.93	c asymm  cl-useful: 0/3093/15574 lits-rem:0 time: 0.36
236.71/30.03	c calculated reachability. Time: 0.08
236.71/30.03	c  N dy   140     30502     33946     15574    518274      8427    417832   1056735     13.65   no data
239.11/30.31	c Finding binary XORs  T:     0.28 s  found:       1
257.46/32.61	c  N dy   155     35342     33936     15574    519197     13073    417832   1528217     13.38     14.33
269.56/34.12	c Finding binary XORs  T:     0.26 s  found:       8
275.00/34.82	c  N dy   177     39390     33917     15566    592437      9944    417073   1241271     13.43     15.40
290.94/36.82	c  N dy   184     43414     33917     15566    592461     13916    417073   1624420     13.24     14.03
301.33/38.10	c  S st   189     45754     33916     15566    597750     16218    417073   1841706     13.07   no data
302.92/38.42	c  S st   189     46258     33916     15566    597794     16677    417073   1865742     13.07   no data
303.86/38.44	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
370.74/46.89	c Flit:     9 Blit:      0 bXBeca:    0 bXProp:    6 Bins:  12829 BRemL:  66652 BRemN:      0 P: 164.7M T:  8.45
371.53/46.95	c Replacing       15 vars Replaced     3641 lits Time:     0.05 s 
371.53/46.96	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
372.34/47.03	c bin-w-bin subsume rem        33532 bins  time:  0.06 s
372.34/47.09	c subs with bin:       90  lits-rem:        49  v-fix:    0  time:  0.06 s
374.88/47.33	c Subs w/ non-existent bins:     24 l-rem:     34 v-fix:     0 done:  33890 time:  0.24 s
374.88/47.39	c Removed useless bin:      36  fixed:     0  props:   5.20M  time:  0.06 s
375.52/47.47	c lits-rem:         0  cl-subs:        0  v-elim:      2  v-fix:    0  time:  0.09 s
383.66/48.45	c subs with bin:      200  lits-rem:      8205  v-fix:    0  time:  0.93 s
389.09/49.11	c lits-rem:      1549  cl-subs:      401  v-elim:      0  v-fix:    0  time:  0.65 s
389.09/49.14	c vivif2 --  cl tried    15454 cl shrink     1343 lits rem       1344 time: 0.02
389.89/49.25	c vivif2 --  cl tried    15941 cl shrink    10582 lits rem     209579 time: 0.12
393.08/49.69	c asymm  cl-useful: 219/5521/15064 lits-rem:219 time: 0.43
393.88/49.78	c calculated reachability. Time: 0.08
393.88/49.78	c  N dy   189     46258     33888     15064    510603     15402    414891   1447693     13.07   no data
403.46/50.97	c Finding binary XORs  T:     0.26 s  found:       0
415.44/52.42	c Finding binary XORs  T:     0.27 s  found:      55
417.97/52.74	c  N dy   198     50949     33772     15017    836732     11397    411873   1717439     12.72     13.60
438.57/55.31	c  N dy   202     56050     33771     15017    836759     16431    411873   2273145     12.36     13.02
455.32/57.47	c  N dy   220     60130     33765     15017    847342     11281    411873   1728229     12.37     13.07
472.88/59.69	c  N dy   251     64358     33760     15017    847519     15478    411873   2108634     12.58     13.42
492.05/62.07	c  N dy   272     68528     33757     15017    847651     19606    411873   2480304     12.57     13.61
496.04/62.61	c  S st   276     69388     33757     15017    847652     20460    411873   2560798     12.57      9.33
499.22/62.93	c  S st   276     69890     33757     15017    847669     20942    411873   2581250     12.57   no data
499.22/62.96	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
575.06/72.46	c Flit:    65 Blit:     10 bXBeca:    0 bXProp:   18 Bins:  38939 BRemL:  31359 BRemN:      0 P: 179.6M T:  9.49
576.00/72.55	c Replacing       73 vars Replaced    35991 lits Time:     0.08 s 
576.00/72.57	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
576.80/72.66	c bin-w-bin subsume rem        28581 bins  time:  0.09 s
577.44/72.76	c subs with bin:       96  lits-rem:        68  v-fix:    0  time:  0.10 s
579.84/73.03	c Subs w/ non-existent bins:     74 l-rem:     83 v-fix:     0 done:  33607 time:  0.27 s
579.84/73.09	c Removed useless bin:      72  fixed:     0  props:   3.75M  time:  0.05 s
580.63/73.19	c lits-rem:         0  cl-subs:        1  v-elim:      3  v-fix:    0  time:  0.10 s
592.63/74.68	c subs with bin:       74  lits-rem:      5888  v-fix:    0  time:  1.44 s
601.40/75.81	c lits-rem:      3511  cl-subs:      469  v-elim:      0  v-fix:    0  time:  1.12 s
602.34/75.83	c vivif2 --  cl tried    14818 cl shrink      248 lits rem        248 time: 0.02
603.15/75.98	c vivif2 --  cl tried    20241 cl shrink    10434 lits rem     254123 time: 0.15
606.98/76.43	c asymm  cl-useful: 42/4755/14652 lits-rem:126 time: 0.44
607.77/76.53	c calculated reachability. Time: 0.08
607.77/76.53	c  N dy   276     69890     33604     14610    811306     20207    408513   2218471     12.57   no data
610.18/76.81	c Finding binary XORs  T:     0.28 s  found:       0
630.11/79.31	c  N dy   287     74366     33599     14610    811337     14180    408513   1794064     12.40     13.13
655.02/82.49	c  N dy   308     79700     33575     14610    813098     19453    408513   2235154     12.36     13.08
678.01/85.38	c  N dy   329     84876     33557     14610    816318     12942    408513   1604855     12.33     13.76
691.58/87.00	c  F st   339     87500     33550     14610    816506     15529    408513   1780097     12.32   no data
706.75/88.92	c  N st   344     90797     33550     14591    793836     18524    407087   2027574     12.32   no data
735.48/92.52	c  N dy   368     96596     33542     14591    793940     24274    407087   2518516     12.36     16.51
767.41/96.54	c  N dy   391    103441     33533     14591    794047     18404    407087   2014308     12.28     12.94
773.79/97.36	c  S st   404    104835     33532     14591    794055     19784    407087   2142955     12.35   no data
776.19/97.67	c  S st   404    105335     33532     14591    794123     20271    407087   2167927     12.35   no data
777.00/97.70	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
851.20/107.03	c Flit:    62 Blit:      1 bXBeca:    0 bXProp:   29 Bins:  76318 BRemL:  35985 BRemN:      0 P: 172.0M T:  9.33
852.00/107.11	c Replacing       29 vars Replaced    12349 lits Time:     0.07 s 
852.00/107.13	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
852.80/107.20	c bin-w-bin subsume rem         2021 bins  time:  0.07 s
853.60/107.30	c subs with bin:        7  lits-rem:         1  v-fix:    0  time:  0.10 s
855.20/107.58	c Subs w/ non-existent bins:     39 l-rem:     66 v-fix:     0 done:  33434 time:  0.28 s
856.00/107.63	c Removed useless bin:      32  fixed:     0  props:   3.65M  time:  0.05 s
856.94/107.73	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.10 s
867.95/109.17	c subs with bin:      129  lits-rem:      2805  v-fix:    0  time:  1.40 s
873.57/109.81	c lits-rem:      1486  cl-subs:      390  v-elim:      0  v-fix:    0  time:  0.63 s
873.57/109.83	c vivif2 --  cl tried    14531 cl shrink       41 lits rem         41 time: 0.02
874.50/109.95	c vivif2 --  cl tried    19221 cl shrink     6233 lits rem     173717 time: 0.12
878.34/110.43	c asymm  cl-useful: 2/1810/14515 lits-rem:2 time: 0.47
879.14/110.53	c calculated reachability. Time: 0.08
879.14/110.53	c  N dy   404    105335     33434     14515    820829     19203    404499   2010770     12.35   no data
881.54/110.82	c Finding binary XORs  T:     0.29 s  found:       0
923.04/116.07	c  N dy   435    113605     33381     14515    835488     13919    404499   1591543     12.24     13.05
945.54/118.83	c Finding binary XORs  T:     0.29 s  found:      15
959.76/120.66	c  N dy   464    121468     33368     14492    825754     21469    402779   2227056     12.19     12.99
1001.26/125.90	c  N dy   501    129514     33359     14492    825817     14919    402779   1607119     12.17     12.87
1037.98/130.45	c  N dy   543    137879     33353     14492    825969     23210    402779   2325382     12.15     12.90
1082.68/136.07	c  N dy   577    146706     33352     14492    826042     16299    402779   1627098     12.11     12.97
1128.18/141.80	c  N dy   620    156151     33337     14492    826157     25657    402779   2423543     12.15     12.93
1137.90/142.96	c  S st   628    158003     33337     14492    826162     27495    402779   2566866     12.14   no data
1140.94/143.33	c  S st   628    158503     33337     14492    826182     27974    402779   2585129     12.14   no data
1140.94/143.36	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1219.14/153.20	c Flit:    33 Blit:      0 bXBeca:    0 bXProp:   35 Bins:  12126 BRemL:  51638 BRemN:      0 P: 183.7M T:  9.83
1219.94/153.29	c Replacing       50 vars Replaced    24081 lits Time:     0.10 s 
1220.74/153.31	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1220.74/153.38	c bin-w-bin subsume rem         3630 bins  time:  0.06 s
1221.54/153.48	c subs with bin:        6  lits-rem:         0  v-fix:    0  time:  0.10 s
1223.94/153.75	c Subs w/ non-existent bins:      8 l-rem:     11 v-fix:     0 done:  33253 time:  0.27 s
1224.74/153.80	c Removed useless bin:      30  fixed:     0  props:   3.68M  time:  0.05 s
1224.74/153.90	c lits-rem:         0  cl-subs:        0  v-elim:      2  v-fix:    0  time:  0.10 s
1237.50/155.40	c subs with bin:       78  lits-rem:      6042  v-fix:    0  time:  1.44 s
1247.09/156.60	c lits-rem:      2290  cl-subs:      567  v-elim:      0  v-fix:    0  time:  1.20 s
1247.09/156.62	c vivif2 --  cl tried    14430 cl shrink       16 lits rem         16 time: 0.02
1248.68/156.80	c vivif2 --  cl tried    26472 cl shrink    10843 lits rem     253508 time: 0.18
1252.01/157.24	c asymm  cl-useful: 0/2203/14421 lits-rem:0 time: 0.44
1252.82/157.34	c calculated reachability. Time: 0.08
1252.82/157.34	c  N dy   628    158503     33251     14421    768817     26417    400767   2149991     12.14   no data
1255.07/157.63	c Finding binary XORs  T:     0.29 s  found:       0
1312.54/164.81	c  N dy   653    169367     33212     14421    777653     20872    400767   1821958     12.04     12.72
1341.26/168.41	c Finding binary XORs  T:     0.29 s  found:      27
1369.20/171.93	c  N dy   684    180264     33169     14387    779466     30727    398701   2685855     11.96     19.16
1429.05/179.47	c  N dy   734    191793     33144     14387    779585     25051    398701   2096420     11.95     16.63
1504.89/189.00	c  N dy   780    204495     33133     14387    779658     19200    398701   1570784     11.94     12.87
1511.27/189.77	c Finding binary XORs  T:     0.29 s  found:      18
1575.92/197.91	c  N dy   810    217737     33100     14356    799346     32000    397224   2591626     11.84     12.54
1629.53/204.58	c Finding binary XORs  T:     0.29 s  found:      23
1662.12/208.62	c  N dy   866    232427     33070     14321    812058     26401    395959   2190843     11.83     12.57
1694.03/212.64	c  S st   878    237757     33052     14321    812191     31661    395959   2527725     11.80     11.47
1697.23/213.04	c  S st   878    238260     33052     14321    812206     32149    395959   2541249     11.80   no data
1697.23/213.08	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1777.84/223.10	c Flit:    23 Blit:      4 bXBeca:    0 bXProp:   24 Bins:  18007 BRemL:  78624 BRemN:     34 P: 187.6M T: 10.02
1777.84/223.21	c Replacing       92 vars Replaced    43485 lits Time:     0.11 s 
1778.79/223.23	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1778.79/223.29	c bin-w-bin subsume rem         6337 bins  time:  0.06 s
1779.59/223.39	c subs with bin:       29  lits-rem:         2  v-fix:    0  time:  0.10 s
1781.83/223.65	c Subs w/ non-existent bins:      4 l-rem:      6 v-fix:     0 done:  32932 time:  0.26 s
1782.63/223.70	c Removed useless bin:      39  fixed:     0  props:   3.61M  time:  0.05 s
1783.43/223.81	c lits-rem:         0  cl-subs:        2  v-elim:     13  v-fix:    0  time:  0.10 s
1794.61/225.20	c subs with bin:      937  lits-rem:     14967  v-fix:    0  time:  1.35 s
1802.59/226.21	c lits-rem:      2263  cl-subs:     1250  v-elim:      0  v-fix:    0  time:  1.00 s
1802.59/226.24	c vivif2 --  cl tried    14261 cl shrink       28 lits rem         29 time: 0.02
1804.19/226.40	c vivif2 --  cl tried    26514 cl shrink    10393 lits rem     183814 time: 0.16
1807.37/226.86	c asymm  cl-useful: 5/3548/14240 lits-rem:9 time: 0.46
1808.16/226.96	c calculated reachability. Time: 0.08
1808.16/226.96	c  N dy   878    238260     32919     14238    736246     26445    394129   1875111     11.80   no data
1810.56/227.25	c Finding binary XORs  T:     0.29 s  found:       1
1887.97/236.98	c Finding binary XORs  T:     0.29 s  found:      39
1899.95/238.42	c  N dy   907    253548     32644     14139    722277     22452    386337   1764373     11.67     17.62
2028.45/254.54	c  N dy   952    274877     32622     14139    725635     23253    386337   1665750     11.53     12.23
2108.27/264.56	c Following stats are for *FIRST FINISHED THREAD ONLY*
2108.27/264.56	c num threads              : 8          
2108.27/264.56	c restarts                 : 950        
2108.27/264.56	c dynamic restarts         : 926        
2108.27/264.56	c static restarts          : 24         
2108.27/264.56	c full restarts            : 3          
2108.27/264.56	c total simplify time      : 4.53       
2108.27/264.56	c learnts DL2              : 0          
2108.27/264.56	c learnts size 2           : 1853979    
2108.27/264.56	c learnts size 1           : 64233       (64.40     % of vars)
2108.27/264.56	c filedLit time            : 18.69       (7.09      % time)
2108.27/264.56	c v-elim SatELite          : 1875        (1.88      % vars)
2108.27/264.56	c SatELite time            : 1.26        (0.48      % time)
2108.27/264.56	c v-elim xor               : 0           (0.00      % vars)
2108.27/264.56	c xor elim time            : 0.06        (0.02      % time)
2108.27/264.56	c num binary xor trees     : 1218       
2108.27/264.56	c binxor trees' crown      : 1888        (1.55      leafs/tree)
2108.27/264.56	c bin xor find time        : 3.89       
2108.27/264.56	c OTF clause improved      : 4377        (0.01      clauses/conflict)
2108.27/264.56	c OTF impr. size diff      : 7415        (1.69       lits/clause)
2108.27/264.56	c OTF cl watch-shrink      : 328546      (0.85      clauses/conflict)
2108.27/264.56	c OTF cl watch-sh-lit      : 4122899     (12.55      lits/clause)
2108.27/264.56	c tried to recurMin cls    : 174299      (45.11      % of conflicts)
2108.27/264.56	c updated cache            : 18962       (0.11       lits/tried recurMin)
2108.27/264.56	c unit cls recevied        : 5016        (7.81      % of units)
2108.27/264.56	c unit cls sent            : 2965        (4.62      % of units)
2108.27/264.56	c bin cls recevied         : 800679     
2108.27/264.56	c bin cls sent             : 280078     
2108.27/264.56	c clauses over max glue    : 0           (0.00      % of all clauses)
2108.27/264.56	c conflicts                : 386416      (1464.71   / sec)
2108.27/264.56	c decisions                : 857578      (5.31      % random)
2108.27/264.56	c bogo-props               : 10528210024 (39907111.32 / sec)
2108.27/264.56	c conflict literals        : 30657700    (40.78     % deleted)
2108.27/264.56	c Memory used              : 2728.88     MB
2108.27/264.56	c single-thread CPU time   : 263.82      s
2108.27/264.56	c all-threads sum CPU time : 2104.03     s
2108.27/264.56	s UNSATISFIABLE

Verifier Data 

No possible verification on an UNSAT instance

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3394248-1306093758/watcher-3394248-1306093758 -o /tmp/evaluation-result-3394248-1306093758/solver-3394248-1306093758 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3394248-1306093758.cnf 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 40000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 40030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 6.99 7.55 5.72 2/551 32074
/proc/meminfo: memFree=25549248/32951124 swapFree=39849776/67111528
[pid=32074] ppid=32072 vsize=92144 CPUtime=0.1 cores=0-7
/proc/32074/stat : 32074 (strangenight2-m) R 32072 32074 31798 0 -1 4202496 420 0 0 0 10 0 0 0 23 0 8 0 799606485 94355456 360 33554432000 4194304 4580107 140736406070256 18446744073709551615 47845429913113 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/32074/statm: 23036 360 302 95 0 18018 0
[pid=32074/tid=32075] ppid=32072 vsize=92144 CPUtime=0.01 cores=0-7
/proc/32074/task/32075/stat : 32075 (strangenight2-m) R 32072 32074 31798 0 -1 4202560 4 0 0 0 1 0 0 0 23 0 8 0 799606485 94355456 360 33554432000 4194304 4580107 140736406070256 18446744073709551615 47845429913113 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32074/tid=32076] ppid=32072 vsize=92144 CPUtime=0 cores=0-7
/proc/32074/task/32076/stat : 32076 (strangenight2-m) R 32072 32074 31798 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 799606485 94355456 360 33554432000 4194304 4580107 140736406070256 18446744073709551615 47845429913516 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32074/tid=32077] ppid=32072 vsize=92144 CPUtime=0.01 cores=0-7
/proc/32074/task/32077/stat : 32077 (strangenight2-m) R 32072 32074 31798 0 -1 4202560 1 0 0 0 1 0 0 0 23 0 8 0 799606485 94355456 360 33554432000 4194304 4580107 140736406070256 18446744073709551615 47845429913113 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32074/tid=32078] ppid=32072 vsize=92144 CPUtime=0.01 cores=0-7
/proc/32074/task/32078/stat : 32078 (strangenight2-m) R 32072 32074 31798 0 -1 4202560 1 0 0 0 1 0 0 0 23 0 8 0 799606485 94355456 360 33554432000 4194304 4580107 140736406070256 18446744073709551615 47845429913113 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32074/tid=32079] ppid=32072 vsize=92144 CPUtime=0.01 cores=0-7
/proc/32074/task/32079/stat : 32079 (strangenight2-m) R 32072 32074 31798 0 -1 4202560 1 0 0 0 1 0 0 0 24 0 8 0 799606485 94355456 360 33554432000 4194304 4580107 140736406070256 18446744073709551615 47845429913113 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32074/tid=32080] ppid=32072 vsize=92144 CPUtime=0 cores=0-7
/proc/32074/task/32080/stat : 32080 (strangenight2-m) R 32072 32074 31798 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 8 0 799606485 94355456 360 33554432000 4194304 4580107 140736406070256 18446744073709551615 47845429913117 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32074/tid=32081] ppid=32072 vsize=92144 CPUtime=0.01 cores=0-7
/proc/32074/task/32081/stat : 32081 (strangenight2-m) R 32072 32074 31798 0 -1 4202560 1 0 0 0 1 0 0 0 24 0 8 0 799606485 94355456 360 33554432000 4194304 4580107 140736406070256 18446744073709551615 47845429913113 0 0 4096 2 0 0 0 -1 4 0 0 0

[startup+0.051589 s]
/proc/loadavg: 6.99 7.55 5.72 2/551 32074
/proc/meminfo: memFree=25549248/32951124 swapFree=39849776/67111528
[pid=32074] ppid=32072 vsize=289736 CPUtime=0.31 cores=0-7
/proc/32074/stat : 32074 (strangenight2-m) R 32072 32074 31798 0 -1 4202496 1367 0 0 0 31 0 0 0 18 0 8 0 799606485 296689664 1291 33554432000 4194304 4580107 140736406070256 18446744073709551615 224284925755 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/32074/statm: 72434 1339 324 95 0 67416 0
[pid=32074/tid=32075] ppid=32072 vsize=289736 CPUtime=0.04 cores=0-7
/proc/32074/task/32075/stat : 32075 (strangenight2-m) R 32072 32074 31798 0 -1 4202560 133 0 0 0 4 0 0 0 24 0 8 0 799606485 296689664 1369 33554432000 4194304 4580107 140736406070256 18446744073709551615 224284925755 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32074/tid=32076] ppid=32072 vsize=289736 CPUtime=0 cores=0-7
/proc/32074/task/32076/stat : 32076 (strangenight2-m) R 32072 32074 31798 0 -1 4202560 102 0 0 0 0 0 0 0 24 0 8 0 799606485 296689664 1407 33554432000 4194304 4580107 140736406070256 18446744073709551615 224284925755 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32074/tid=32077] ppid=32072 vsize=289736 CPUtime=0.04 cores=0-7
/proc/32074/task/32077/stat : 32077 (strangenight2-m) R 32072 32074 31798 0 -1 4202560 147 0 0 0 4 0 0 0 18 0 8 0 799606485 296689664 1448 33554432000 4194304 4580107 140736406070256 18446744073709551615 224284925755 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32074/tid=32078] ppid=32072 vsize=289736 CPUtime=0.04 cores=0-7
/proc/32074/task/32078/stat : 32078 (strangenight2-m) R 32072 32074 31798 0 -1 4202560 147 0 0 0 4 0 0 0 18 0 8 0 799606485 296689664 1488 33554432000 4194304 4580107 140736406070256 18446744073709551615 224284925755 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32074/tid=32079] ppid=32072 vsize=289736 CPUtime=0.04 cores=0-7
/proc/32074/task/32079/stat : 32079 (strangenight2-m) R 32072 32074 31798 0 -1 4202560 163 0 0 0 4 0 0 0 18 0 8 0 799606485 296689664 1524 33554432000 4194304 4580107 140736406070256 18446744073709551615 224284925755 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32074/tid=32080] ppid=32072 vsize=289736 CPUtime=0.03 cores=0-7
/proc/32074/task/32080/stat : 32080 (strangenight2-m) R 32072 32074 31798 0 -1 4202560 161 0 0 0 3 0 0 0 25 0 8 0 799606485 296689664 1562 33554432000 4194304 4580107 140736406070256 18446744073709551615 224284925755 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32074/tid=32081] ppid=32072 vsize=289736 CPUtime=0.04 cores=0-7
/proc/32074/task/32081/stat : 32081 (strangenight2-m) R 32072 32074 31798 0 -1 4202560 170 0 0 0 4 0 0 0 25 0 8 0 799606485 296689664 1604 33554432000 4194304 4580107 140736406070256 18446744073709551615 224284925755 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 289736

[startup+0.101133 s]
/proc/loadavg: 6.99 7.55 5.72 2/551 32074
/proc/meminfo: memFree=25549248/32951124 swapFree=39849776/67111528
[pid=32074] ppid=32072 vsize=464904 CPUtime=0.61 cores=0-7
/proc/32074/stat : 32074 (strangenight2-m) D 32072 32074 31798 0 -1 4202496 48653 0 0 0 49 12 0 0 17 0 8 0 799606485 476061696 40765 33554432000 4194304 4580107 140736406070256 18446744073709551615 224284623317 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/32074/statm: 116226 40579 335 95 0 111208 0
[pid=32074/tid=32075] ppid=32072 vsize=464904 CPUtime=0.07 cores=0-7
/proc/32074/task/32075/stat : 32075 (strangenight2-m) D 32072 32074 31798 0 -1 4202560 4229 0 0 0 6 1 0 0 17 0 8 0 799606485 476061696 40579 33554432000 4194304 4580107 140736406070256 18446744073709551615 4311330 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32074/tid=32076] ppid=32072 vsize=464904 CPUtime=0.03 cores=0-7
/proc/32074/task/32076/stat : 32076 (strangenight2-m) D 32072 32074 31798 0 -1 4202560 6676 0 0 0 2 1 0 0 18 0 8 0 799606485 476061696 40579 33554432000 4194304 4580107 140736406070256 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32074/tid=32077] ppid=32072 vsize=464904 CPUtime=0.07 cores=0-7
/proc/32074/task/32077/stat : 32077 (strangenight2-m) D 32072 32074 31798 0 -1 4202560 4503 0 0 0 7 0 0 0 17 0 8 0 799606485 476061696 40067 33554432000 4194304 4580107 140736406070256 18446744073709551615 4309730 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32074/tid=32078] ppid=32072 vsize=464904 CPUtime=0.07 cores=0-7
/proc/32074/task/32078/stat : 32078 (strangenight2-m) D 32072 32074 31798 0 -1 4202560 6246 0 0 0 6 1 0 0 17 0 8 0 799606485 476061696 40067 33554432000 4194304 4580107 140736406070256 18446744073709551615 224284623317 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32074/tid=32079] ppid=32072 vsize=464904 CPUtime=0.07 cores=0-7
/proc/32074/task/32079/stat : 32079 (strangenight2-m) S 32072 32074 31798 0 -1 4202560 5321 0 0 0 6 1 0 0 17 0 8 0 799606485 476061696 40067 33554432000 4194304 4580107 140736406070256 18446744073709551615 224285030894 0 0 4096 2 18446604449110573312 0 0 -1 1 0 0 0
[pid=32074/tid=32080] ppid=32072 vsize=464904 CPUtime=0.07 cores=0-7
/proc/32074/task/32080/stat : 32080 (strangenight2-m) R 32072 32074 31798 0 -1 4202560 7565 0 0 0 5 2 0 0 17 0 8 0 799606485 476061696 40067 33554432000 4194304 4580107 140736406070256 18446744073709551615 224284969095 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32074/tid=32081] ppid=32072 vsize=460804 CPUtime=0.08 cores=0-7
/proc/32074/task/32081/stat : 32081 (strangenight2-m) D 32072 32074 31798 0 -1 4202560 7485 0 0 0 7 1 0 0 18 0 8 0 799606485 471863296 39748 33554432000 4194304 4580107 140736406070256 18446744073709551615 4311330 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.61
Current children cumulated vsize (KiB) 464904

[startup+0.301584 s]
/proc/loadavg: 6.99 7.55 5.72 2/551 32074
/proc/meminfo: memFree=25549248/32951124 swapFree=39849776/67111528
[pid=32074] ppid=32072 vsize=696752 CPUtime=1.86 cores=0-7
/proc/32074/stat : 32074 (strangenight2-m) S 32072 32074 31798 0 -1 4202496 72015 0 0 0 127 59 0 0 17 0 8 0 799606485 713474048 56879 33554432000 4194304 4580107 140736406070256 18446744073709551615 224285030894 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/32074/statm: 174188 56879 338 95 0 169170 0
[pid=32074/tid=32075] ppid=32072 vsize=696752 CPUtime=0.21 cores=0-7
/proc/32074/task/32075/stat : 32075 (strangenight2-m) R 32072 32074 31798 0 -1 4202560 8184 0 0 0 14 7 0 0 17 0 8 0 799606485 713474048 56879 33554432000 4194304 4580107 140736406070256 18446744073709551615 224284587041 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32074/tid=32076] ppid=32072 vsize=696752 CPUtime=0.19 cores=0-7
/proc/32074/task/32076/stat : 32076 (strangenight2-m) S 32072 32074 31798 0 -1 4202560 9278 0 0 0 12 7 0 0 17 0 8 0 799606485 713474048 56879 33554432000 4194304 4580107 140736406070256 18446744073709551615 224285030894 0 0 4096 2 18446604449110573312 0 0 -1 7 0 0 0
[pid=32074/tid=32077] ppid=32072 vsize=696752 CPUtime=0.23 cores=0-7
/proc/32074/task/32077/stat : 32077 (strangenight2-m) S 32072 32074 31798 0 -1 4202560 8608 0 0 0 16 7 0 0 17 0 8 0 799606485 713474048 56879 33554432000 4194304 4580107 140736406070256 18446744073709551615 224285030894 0 0 4096 2 18446604449110573312 0 0 -1 6 0 0 0
[pid=32074/tid=32078] ppid=32072 vsize=696752 CPUtime=0.23 cores=0-7
/proc/32074/task/32078/stat : 32078 (strangenight2-m) S 32072 32074 31798 0 -1 4202560 9884 0 0 0 15 8 0 0 17 0 8 0 799606485 713474048 56879 33554432000 4194304 4580107 140736406070256 18446744073709551615 224285030894 0 0 4096 2 18446604449110573312 0 0 -1 5 0 0 0
[pid=32074/tid=32079] ppid=32072 vsize=696752 CPUtime=0.23 cores=0-7
/proc/32074/task/32079/stat : 32079 (strangenight2-m) S 32072 32074 31798 0 -1 4202560 8849 0 0 0 16 7 0 0 17 0 8 0 799606485 713474048 56879 33554432000 4194304 4580107 140736406070256 18446744073709551615 224285030894 0 0 4096 2 18446604449110573312 0 0 -1 1 0 0 0
[pid=32074/tid=32080] ppid=32072 vsize=696752 CPUtime=0.22 cores=0-7
/proc/32074/task/32080/stat : 32080 (strangenight2-m) D 32072 32074 31798 0 -1 4202560 8948 0 0 0 17 5 0 0 17 0 8 0 799606485 713474048 56879 33554432000 4194304 4580107 140736406070256 18446744073709551615 224284969143 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32074/tid=32081] ppid=32072 vsize=696752 CPUtime=0.24 cores=0-7
/proc/32074/task/32081/stat : 32081 (strangenight2-m) S 32072 32074 31798 0 -1 4202560 8547 0 0 0 18 6 0 0 17 0 8 0 799606485 713474048 56879 33554432000 4194304 4580107 140736406070256 18446744073709551615 224285030894 0 0 4096 2 18446604449110573312 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.86
Current children cumulated vsize (KiB) 696752

[startup+0.701487 s]
/proc/loadavg: 6.99 7.55 5.72 2/551 32074
/proc/meminfo: memFree=25549248/32951124 swapFree=39849776/67111528
[pid=32074] ppid=32072 vsize=764664 CPUtime=4.02 cores=0-7
/proc/32074/stat : 32074 (strangenight2-m) R 32072 32074 31798 0 -1 4202496 89640 0 0 0 241 161 0 0 17 0 8 0 799606485 783015936 74383 33554432000 4194304 4580107 140736406070256 18446744073709551615 224285030894 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/32074/statm: 191166 74383 338 95 0 186148 0
[pid=32074/tid=32075] ppid=32072 vsize=764664 CPUtime=0.48 cores=0-7
/proc/32074/task/32075/stat : 32075 (strangenight2-m) S 32072 32074 31798 0 -1 4202560 10032 0 0 0 27 21 0 0 16 0 8 0 799606485 783015936 74384 33554432000 4194304 4580107 140736406070256 18446744073709551615 224285030894 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32074/tid=32076] ppid=32072 vsize=764664 CPUtime=0.47 cores=0-7
/proc/32074/task/32076/stat : 32076 (strangenight2-m) R 32072 32074 31798 0 -1 4202560 11102 0 0 0 27 20 0 0 17 0 8 0 799606485 783015936 74384 33554432000 4194304 4580107 140736406070256 18446744073709551615 224285030894 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32074/tid=32077] ppid=32072 vsize=764664 CPUtime=0.49 cores=0-7
/proc/32074/task/32077/stat : 32077 (strangenight2-m) R 32072 32074 31798 0 -1 4202560 10490 0 0 0 29 20 0 0 16 0 8 0 799606485 783015936 74386 33554432000 4194304 4580107 140736406070256 18446744073709551615 224285030943 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32074/tid=32078] ppid=32072 vsize=764664 CPUtime=0.51 cores=0-7
/proc/32074/task/32078/stat : 32078 (strangenight2-m) R 32072 32074 31798 0 -1 4202560 11969 0 0 0 31 20 0 0 17 0 8 0 799606485 783015936 74386 33554432000 4194304 4580107 140736406070256 18446744073709551615 4512389 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32074/tid=32079] ppid=32072 vsize=764664 CPUtime=0.5 cores=0-7
/proc/32074/task/32079/stat : 32079 (strangenight2-m) R 32072 32074 31798 0 -1 4202560 10768 0 0 0 30 20 0 0 16 0 8 0 799606485 783015936 74387 33554432000 4194304 4580107 140736406070256 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32074/tid=32080] ppid=32072 vsize=764664 CPUtime=0.48 cores=0-7
/proc/32074/task/32080/stat : 32080 (strangenight2-m) R 32072 32074 31798 0 -1 4202560 10846 0 0 0 32 16 0 0 16 0 8 0 799606485 783015936 74388 33554432000 4194304 4580107 140736406070256 18446744073709551615 224285030943 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32074/tid=32081] ppid=32072 vsize=764664 CPUtime=0.52 cores=0-7
/proc/32074/task/32081/stat : 32081 (strangenight2-m) S 32072 32074 31798 0 -1 4202560 12719 0 0 0 35 17 0 0 17 0 8 0 799606485 783015936 74389 33554432000 4194304 4580107 140736406070256 18446744073709551615 224285030894 0 0 4096 2 18446604449110573312 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4.02
Current children cumulated vsize (KiB) 764664

[startup+1.50035 s]
/proc/loadavg: 6.99 7.55 5.72 9/559 32082
/proc/meminfo: memFree=25186516/32951124 swapFree=39849776/67111528
[pid=32074] ppid=32072 vsize=851332 CPUtime=9.28 cores=0-7
/proc/32074/stat : 32074 (strangenight2-m) R 32072 32074 31798 0 -1 4202496 113102 0 0 0 689 239 0 0 16 0 8 0 799606485 871763968 97528 33554432000 4194304 4580107 140736406070256 18446744073709551615 4294277 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/32074/statm: 212833 97528 360 95 0 207815 0
[pid=32074/tid=32075] ppid=32072 vsize=851332 CPUtime=1.13 cores=0-7
/proc/32074/task/32075/stat : 32075 (strangenight2-m) R 32072 32074 31798 0 -1 4202560 13073 0 0 0 81 32 0 0 16 0 8 0 799606485 871763968 97528 33554432000 4194304 4580107 140736406070256 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32074/tid=32076] ppid=32072 vsize=851332 CPUtime=1.12 cores=0-7
/proc/32074/task/32076/stat : 32076 (strangenight2-m) R 32072 32074 31798 0 -1 4202560 14231 0 0 0 82 30 0 0 16 0 8 0 799606485 871763968 97528 33554432000 4194304 4580107 140736406070256 18446744073709551615 4234976 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32074/tid=32077] ppid=32072 vsize=851332 CPUtime=1.12 cores=0-7
/proc/32074/task/32077/stat : 32077 (strangenight2-m) R 32072 32074 31798 0 -1 4202560 13720 0 0 0 81 31 0 0 16 0 8 0 799606485 871763968 97528 33554432000 4194304 4580107 140736406070256 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32074/tid=32078] ppid=32072 vsize=851332 CPUtime=1.16 cores=0-7
/proc/32074/task/32078/stat : 32078 (strangenight2-m) R 32072 32074 31798 0 -1 4202560 15054 0 0 0 86 30 0 0 16 0 8 0 799606485 871763968 97528 33554432000 4194304 4580107 140736406070256 18446744073709551615 4234818 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32074/tid=32079] ppid=32072 vsize=851332 CPUtime=1.13 cores=0-7
/proc/32074/task/32079/stat : 32079 (strangenight2-m) R 32072 32074 31798 0 -1 4202560 13185 0 0 0 83 30 0 0 16 0 8 0 799606485 871763968 97528 33554432000 4194304 4580107 140736406070256 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32074/tid=32080] ppid=32072 vsize=851332 CPUtime=1.14 cores=0-7
/proc/32074/task/32080/stat : 32080 (strangenight2-m) R 32072 32074 31798 0 -1 4202560 14514 0 0 0 88 26 0 0 17 0 8 0 799606485 871763968 97528 33554432000 4194304 4580107 140736406070256 18446744073709551615 4293280 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32074/tid=32081] ppid=32072 vsize=851332 CPUtime=1.26 cores=0-7
/proc/32074/task/32081/stat : 32081 (strangenight2-m) R 32072 32074 31798 0 -1 4202560 14548 0 0 0 104 22 0 0 17 0 8 0 799606485 871763968 97528 33554432000 4194304 4580107 140736406070256 18446744073709551615 4320689 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 9.28
Current children cumulated vsize (KiB) 851332

[startup+3.10109 s]
/proc/loadavg: 6.99 7.55 5.72 11/559 32082
/proc/meminfo: memFree=25155020/32951124 swapFree=39849776/67111528
[pid=32074] ppid=32072 vsize=852000 CPUtime=22.06 cores=0-7
/proc/32074/stat : 32074 (strangenight2-m) R 32072 32074 31798 0 -1 4202496 114760 0 0 0 1967 239 0 0 18 0 8 0 799606485 872448000 98793 33554432000 4194304 4580107 140736406070256 18446744073709551615 4293308 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/32074/statm: 213000 98793 360 95 0 207982 0
[pid=32074/tid=32075] ppid=32072 vsize=852000 CPUtime=2.73 cores=0-7
/proc/32074/task/32075/stat : 32075 (strangenight2-m) R 32072 32074 31798 0 -1 4202560 13131 0 0 0 241 32 0 0 18 0 8 0 799606485 872448000 98793 33554432000 4194304 4580107 140736406070256 18446744073709551615 4293911 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32074/tid=32076] ppid=32072 vsize=852000 CPUtime=2.7 cores=0-7
/proc/32074/task/32076/stat : 32076 (strangenight2-m) R 32072 32074 31798 0 -1 4202560 14297 0 0 0 240 30 0 0 18 0 8 0 799606485 872448000 98793 33554432000 4194304 4580107 140736406070256 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32074/tid=32077] ppid=32072 vsize=852000 CPUtime=2.72 cores=0-7
/proc/32074/task/32077/stat : 32077 (strangenight2-m) R 32072 32074 31798 0 -1 4202560 13771 0 0 0 241 31 0 0 18 0 8 0 799606485 872448000 98793 33554432000 4194304 4580107 140736406070256 18446744073709551615 4293255 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32074/tid=32078] ppid=32072 vsize=852000 CPUtime=2.76 cores=0-7
/proc/32074/task/32078/stat : 32078 (strangenight2-m) R 32072 32074 31798 0 -1 4202560 15107 0 0 0 246 30 0 0 18 0 8 0 799606485 872448000 98793 33554432000 4194304 4580107 140736406070256 18446744073709551615 4289076 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32074/tid=32079] ppid=32072 vsize=852000 CPUtime=2.73 cores=0-7
/proc/32074/task/32079/stat : 32079 (strangenight2-m) R 32072 32074 31798 0 -1 4202560 13282 0 0 0 243 30 0 0 18 0 8 0 799606485 872448000 98793 33554432000 4194304 4580107 140736406070256 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32074/tid=32080] ppid=32072 vsize=852000 CPUtime=2.74 cores=0-7
/proc/32074/task/32080/stat : 32080 (strangenight2-m) R 32072 32074 31798 0 -1 4202560 14605 0 0 0 248 26 0 0 19 0 8 0 799606485 872448000 98793 33554432000 4194304 4580107 140736406070256 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32074/tid=32081] ppid=32072 vsize=852000 CPUtime=2.86 cores=0-7
/proc/32074/task/32081/stat : 32081 (strangenight2-m) R 32072 32074 31798 0 -1 4202560 15742 0 0 0 264 22 0 0 19 0 8 0 799606485 872448000 98793 33554432000 4194304 4580107 140736406070256 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 22.06
Current children cumulated vsize (KiB) 852000

[startup+6.30055 s]
/proc/loadavg: 7.31 7.60 5.75 9/559 32082
/proc/meminfo: memFree=25147100/32951124 swapFree=39849776/67111528
[pid=32074] ppid=32072 vsize=853820 CPUtime=47.6 cores=0-7
/proc/32074/stat : 32074 (strangenight2-m) R 32072 32074 31798 0 -1 4202496 117631 0 0 0 4520 240 0 0 25 0 8 0 799606485 874311680 100678 33554432000 4194304 4580107 140736406070256 18446744073709551615 4234907 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/32074/statm: 213455 100678 361 95 0 208437 0
[pid=32074/tid=32075] ppid=32072 vsize=853820 CPUtime=5.93 cores=0-7
/proc/32074/task/32075/stat : 32075 (strangenight2-m) R 32072 32074 31798 0 -1 4202560 13137 0 0 0 561 32 0 0 25 0 8 0 799606485 874311680 100678 33554432000 4194304 4580107 140736406070256 18446744073709551615 4293204 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32074/tid=32076] ppid=32072 vsize=853820 CPUtime=5.84 cores=0-7
/proc/32074/task/32076/stat : 32076 (strangenight2-m) R 32072 32074 31798 0 -1 4202560 14308 0 0 0 554 30 0 0 25 0 8 0 799606485 874311680 100678 33554432000 4194304 4580107 140736406070256 18446744073709551615 4294160 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32074/tid=32077] ppid=32072 vsize=853820 CPUtime=5.92 cores=0-7
/proc/32074/task/32077/stat : 32077 (strangenight2-m) R 32072 32074 31798 0 -1 4202560 13779 0 0 0 561 31 0 0 25 0 8 0 799606485 874311680 100678 33554432000 4194304 4580107 140736406070256 18446744073709551615 4293131 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32074/tid=32078] ppid=32072 vsize=853820 CPUtime=5.96 cores=0-7
/proc/32074/task/32078/stat : 32078 (strangenight2-m) R 32072 32074 31798 0 -1 4202560 15124 0 0 0 566 30 0 0 25 0 8 0 799606485 874311680 100679 33554432000 4194304 4580107 140736406070256 18446744073709551615 4294200 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32074/tid=32079] ppid=32072 vsize=853820 CPUtime=5.93 cores=0-7
/proc/32074/task/32079/stat : 32079 (strangenight2-m) R 32072 32074 31798 0 -1 4202560 13289 0 0 0 563 30 0 0 25 0 8 0 799606485 874311680 100679 33554432000 4194304 4580107 140736406070256 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32074/tid=32080] ppid=32072 vsize=853820 CPUtime=5.94 cores=0-7
/proc/32074/task/32080/stat : 32080 (strangenight2-m) R 32072 32074 31798 0 -1 4202560 14619 0 0 0 568 26 0 0 25 0 8 0 799606485 874311680 100679 33554432000 4194304 4580107 140736406070256 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32074/tid=32081] ppid=32072 vsize=853820 CPUtime=6.06 cores=0-7
/proc/32074/task/32081/stat : 32081 (strangenight2-m) R 32072 32074 31798 0 -1 4202560 18535 0 0 0 583 23 0 0 25 0 8 0 799606485 874311680 100679 33554432000 4194304 4580107 140736406070256 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 4 0 0 0

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

/proc/loadavg: 7.98 7.81 6.25 9/559 32090
/proc/meminfo: memFree=23270336/32951124 swapFree=39849776/67111528
[pid=32074] ppid=32072 vsize=2728848 CPUtime=1937.61 cores=0-7
/proc/32074/stat : 32074 (strangenight2-m) R 32072 32074 31798 0 -1 4202496 730267 0 0 0 193295 466 0 0 25 0 8 0 799606485 2794340352 568862 33554432000 4194304 4580107 140736406070256 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/32074/statm: 682212 568862 380 95 0 677194 0
[pid=32074/tid=32075] ppid=32072 vsize=2728848 CPUtime=242.66 cores=0-7
/proc/32074/task/32075/stat : 32075 (strangenight2-m) R 32072 32074 31798 0 -1 4202560 83985 0 0 0 24209 57 0 0 25 0 8 0 799606485 2794340352 568862 33554432000 4194304 4580107 140736406070256 18446744073709551615 4294316 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32074/tid=32076] ppid=32072 vsize=2728848 CPUtime=238.28 cores=0-7
/proc/32074/task/32076/stat : 32076 (strangenight2-m) R 32072 32074 31798 0 -1 4202560 92606 0 0 0 23769 59 0 0 25 0 8 0 799606485 2794340352 568862 33554432000 4194304 4580107 140736406070256 18446744073709551615 4497240 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32074/tid=32077] ppid=32072 vsize=2728848 CPUtime=242.74 cores=0-7
/proc/32074/task/32077/stat : 32077 (strangenight2-m) R 32072 32074 31798 0 -1 4202560 88114 0 0 0 24215 59 0 0 25 0 8 0 799606485 2794340352 568862 33554432000 4194304 4580107 140736406070256 18446744073709551615 4293288 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32074/tid=32078] ppid=32072 vsize=2728848 CPUtime=242.77 cores=0-7
/proc/32074/task/32078/stat : 32078 (strangenight2-m) R 32072 32074 31798 0 -1 4202560 91452 0 0 0 24217 60 0 0 25 0 8 0 799606485 2794340352 568862 33554432000 4194304 4580107 140736406070256 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32074/tid=32079] ppid=32072 vsize=2728848 CPUtime=242.72 cores=0-7
/proc/32074/task/32079/stat : 32079 (strangenight2-m) R 32072 32074 31798 0 -1 4202560 94512 0 0 0 24208 64 0 0 25 0 8 0 799606485 2794340352 568862 33554432000 4194304 4580107 140736406070256 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32074/tid=32080] ppid=32072 vsize=2728848 CPUtime=242.75 cores=0-7
/proc/32074/task/32080/stat : 32080 (strangenight2-m) R 32072 32074 31798 0 -1 4202560 99110 0 0 0 24217 58 0 0 25 0 8 0 799606485 2794340352 568862 33554432000 4194304 4580107 140736406070256 18446744073709551615 4293301 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32074/tid=32081] ppid=32072 vsize=2728848 CPUtime=242.87 cores=0-7
/proc/32074/task/32081/stat : 32081 (strangenight2-m) R 32072 32074 31798 0 -1 4202560 93980 0 0 0 24237 50 0 0 25 0 8 0 799606485 2794340352 568862 33554432000 4194304 4580107 140736406070256 18446744073709551615 4293204 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1937.61
Current children cumulated vsize (KiB) 2728848

[startup+255.901 s]
/proc/loadavg: 7.99 7.82 6.27 9/559 32090
/proc/meminfo: memFree=23250216/32951124 swapFree=39849776/67111528
[pid=32074] ppid=32072 vsize=2794400 CPUtime=2039.62 cores=0-7
/proc/32074/stat : 32074 (strangenight2-m) R 32072 32074 31798 0 -1 4202496 740244 0 0 0 203491 471 0 0 25 0 8 0 799606485 2861465600 574273 33554432000 4194304 4580107 140736406070256 18446744073709551615 4293292 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/32074/statm: 698600 574273 380 95 0 693582 0
[pid=32074/tid=32075] ppid=32072 vsize=2794400 CPUtime=255.43 cores=0-7
/proc/32074/task/32075/stat : 32075 (strangenight2-m) R 32072 32074 31798 0 -1 4202560 85736 0 0 0 25486 57 0 0 25 0 8 0 799606485 2861465600 574273 33554432000 4194304 4580107 140736406070256 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32074/tid=32076] ppid=32072 vsize=2794400 CPUtime=250.84 cores=0-7
/proc/32074/task/32076/stat : 32076 (strangenight2-m) R 32072 32074 31798 0 -1 4202560 93777 0 0 0 25024 60 0 0 25 0 8 0 799606485 2861465600 574273 33554432000 4194304 4580107 140736406070256 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32074/tid=32077] ppid=32072 vsize=2794400 CPUtime=255.51 cores=0-7
/proc/32074/task/32077/stat : 32077 (strangenight2-m) R 32072 32074 31798 0 -1 4202560 88782 0 0 0 25492 59 0 0 25 0 8 0 799606485 2861465600 574273 33554432000 4194304 4580107 140736406070256 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32074/tid=32078] ppid=32072 vsize=2794400 CPUtime=255.54 cores=0-7
/proc/32074/task/32078/stat : 32078 (strangenight2-m) R 32072 32074 31798 0 -1 4202560 93142 0 0 0 25494 60 0 0 25 0 8 0 799606485 2861465600 574273 33554432000 4194304 4580107 140736406070256 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32074/tid=32079] ppid=32072 vsize=2794400 CPUtime=255.5 cores=0-7
/proc/32074/task/32079/stat : 32079 (strangenight2-m) R 32072 32074 31798 0 -1 4202560 96103 0 0 0 25486 64 0 0 25 0 8 0 799606485 2861465600 574273 33554432000 4194304 4580107 140736406070256 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32074/tid=32080] ppid=32072 vsize=2794400 CPUtime=255.53 cores=0-7
/proc/32074/task/32080/stat : 32080 (strangenight2-m) R 32072 32074 31798 0 -1 4202560 100854 0 0 0 25495 58 0 0 25 0 8 0 799606485 2861465600 574273 33554432000 4194304 4580107 140736406070256 18446744073709551615 4293158 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32074/tid=32081] ppid=32072 vsize=2794400 CPUtime=255.65 cores=0-7
/proc/32074/task/32081/stat : 32081 (strangenight2-m) R 32072 32074 31798 0 -1 4202560 94153 0 0 0 25515 50 0 0 25 0 8 0 799606485 2861465600 574273 33554432000 4194304 4580107 140736406070256 18446744073709551615 4318435 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2039.62
Current children cumulated vsize (KiB) 2794400

[startup+259.101 s]
/proc/loadavg: 7.99 7.82 6.28 9/559 32090
/proc/meminfo: memFree=23251208/32951124 swapFree=39849776/67111528
[pid=32074] ppid=32072 vsize=2794364 CPUtime=2065.17 cores=0-7
/proc/32074/stat : 32074 (strangenight2-m) R 32072 32074 31798 0 -1 4202496 742387 0 0 0 206044 473 0 0 25 0 8 0 799606485 2861428736 574047 33554432000 4194304 4580107 140736406070256 18446744073709551615 4305975 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/32074/statm: 698591 574047 380 95 0 693573 0
[pid=32074/tid=32075] ppid=32072 vsize=2794364 CPUtime=258.63 cores=0-7
/proc/32074/task/32075/stat : 32075 (strangenight2-m) R 32072 32074 31798 0 -1 4202560 86027 0 0 0 25806 57 0 0 25 0 8 0 799606485 2861428736 574047 33554432000 4194304 4580107 140736406070256 18446744073709551615 4325152 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32074/tid=32076] ppid=32072 vsize=2794364 CPUtime=253.98 cores=0-7
/proc/32074/task/32076/stat : 32076 (strangenight2-m) R 32072 32074 31798 0 -1 4202560 94561 0 0 0 25338 60 0 0 25 0 8 0 799606485 2861428736 574047 33554432000 4194304 4580107 140736406070256 18446744073709551615 4293266 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32074/tid=32077] ppid=32072 vsize=2794364 CPUtime=258.71 cores=0-7
/proc/32074/task/32077/stat : 32077 (strangenight2-m) R 32072 32074 31798 0 -1 4202560 88782 0 0 0 25812 59 0 0 25 0 8 0 799606485 2861428736 574047 33554432000 4194304 4580107 140736406070256 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32074/tid=32078] ppid=32072 vsize=2794364 CPUtime=258.75 cores=0-7
/proc/32074/task/32078/stat : 32078 (strangenight2-m) R 32072 32074 31798 0 -1 4202560 93384 0 0 0 25814 61 0 0 25 0 8 0 799606485 2861428736 574047 33554432000 4194304 4580107 140736406070256 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32074/tid=32079] ppid=32072 vsize=2794364 CPUtime=258.7 cores=0-7
/proc/32074/task/32079/stat : 32079 (strangenight2-m) R 32072 32074 31798 0 -1 4202560 96398 0 0 0 25805 65 0 0 25 0 8 0 799606485 2861428736 574047 33554432000 4194304 4580107 140736406070256 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32074/tid=32080] ppid=32072 vsize=2794364 CPUtime=258.73 cores=0-7
/proc/32074/task/32080/stat : 32080 (strangenight2-m) R 32072 32074 31798 0 -1 4202560 101068 0 0 0 25815 58 0 0 25 0 8 0 799606485 2861428736 574047 33554432000 4194304 4580107 140736406070256 18446744073709551615 4321605 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32074/tid=32081] ppid=32072 vsize=2794364 CPUtime=258.85 cores=0-7
/proc/32074/task/32081/stat : 32081 (strangenight2-m) R 32072 32074 31798 0 -1 4202560 94153 0 0 0 25835 50 0 0 25 0 8 0 799606485 2861428736 574047 33554432000 4194304 4580107 140736406070256 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2065.17
Current children cumulated vsize (KiB) 2794364

[startup+262.301 s]
/proc/loadavg: 7.99 7.82 6.28 9/559 32090
/proc/meminfo: memFree=23244384/32951124 swapFree=39849776/67111528
[pid=32074] ppid=32072 vsize=2794364 CPUtime=2090.7 cores=0-7
/proc/32074/stat : 32074 (strangenight2-m) R 32072 32074 31798 0 -1 4202496 744021 0 0 0 208597 473 0 0 25 0 8 0 799606485 2861428736 575681 33554432000 4194304 4580107 140736406070256 18446744073709551615 4316670 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/32074/statm: 698591 575681 380 95 0 693573 0
[pid=32074/tid=32075] ppid=32072 vsize=2794364 CPUtime=261.84 cores=0-7
/proc/32074/task/32075/stat : 32075 (strangenight2-m) R 32072 32074 31798 0 -1 4202560 86332 0 0 0 26126 58 0 0 25 0 8 0 799606485 2861428736 575681 33554432000 4194304 4580107 140736406070256 18446744073709551615 4293292 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32074/tid=32076] ppid=32072 vsize=2794364 CPUtime=257.12 cores=0-7
/proc/32074/task/32076/stat : 32076 (strangenight2-m) R 32072 32074 31798 0 -1 4202560 94833 0 0 0 25652 60 0 0 25 0 8 0 799606485 2861428736 575682 33554432000 4194304 4580107 140736406070256 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32074/tid=32077] ppid=32072 vsize=2794364 CPUtime=261.91 cores=0-7
/proc/32074/task/32077/stat : 32077 (strangenight2-m) R 32072 32074 31798 0 -1 4202560 88782 0 0 0 26132 59 0 0 25 0 8 0 799606485 2861428736 575682 33554432000 4194304 4580107 140736406070256 18446744073709551615 4293292 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32074/tid=32078] ppid=32072 vsize=2794364 CPUtime=261.95 cores=0-7
/proc/32074/task/32078/stat : 32078 (strangenight2-m) R 32072 32074 31798 0 -1 4202560 93603 0 0 0 26134 61 0 0 25 0 8 0 799606485 2861428736 575682 33554432000 4194304 4580107 140736406070256 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32074/tid=32079] ppid=32072 vsize=2794364 CPUtime=261.9 cores=0-7
/proc/32074/task/32079/stat : 32079 (strangenight2-m) R 32072 32074 31798 0 -1 4202560 96673 0 0 0 26125 65 0 0 25 0 8 0 799606485 2861428736 575682 33554432000 4194304 4580107 140736406070256 18446744073709551615 4293308 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32074/tid=32080] ppid=32072 vsize=2794364 CPUtime=261.93 cores=0-7
/proc/32074/task/32080/stat : 32080 (strangenight2-m) R 32072 32074 31798 0 -1 4202560 101329 0 0 0 26135 58 0 0 25 0 8 0 799606485 2861428736 575682 33554432000 4194304 4580107 140736406070256 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32074/tid=32081] ppid=32072 vsize=2794364 CPUtime=262.05 cores=0-7
/proc/32074/task/32081/stat : 32081 (strangenight2-m) R 32072 32074 31798 0 -1 4202560 94154 0 0 0 26155 50 0 0 25 0 8 0 799606485 2861428736 575682 33554432000 4194304 4580107 140736406070256 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2090.7
Current children cumulated vsize (KiB) 2794364

[startup+263.9 s]
/proc/loadavg: 8.07 7.84 6.30 9/559 32090
/proc/meminfo: memFree=23240292/32951124 swapFree=39849776/67111528
[pid=32074] ppid=32072 vsize=2794364 CPUtime=2103.62 cores=0-7
/proc/32074/stat : 32074 (strangenight2-m) R 32072 32074 31798 0 -1 4202496 744766 0 0 0 209888 474 0 0 25 0 8 0 799606485 2861428736 576426 33554432000 4194304 4580107 140736406070256 18446744073709551615 4294316 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/32074/statm: 698591 576426 380 95 0 693573 0
[pid=32074/tid=32075] ppid=32072 vsize=2794364 CPUtime=263.46 cores=0-7
/proc/32074/task/32075/stat : 32075 (strangenight2-m) R 32072 32074 31798 0 -1 4202560 86464 0 0 0 26288 58 0 0 25 0 8 0 799606485 2861428736 576427 33554432000 4194304 4580107 140736406070256 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32074/tid=32076] ppid=32072 vsize=2794364 CPUtime=258.69 cores=0-7
/proc/32074/task/32076/stat : 32076 (strangenight2-m) R 32072 32074 31798 0 -1 4202560 94993 0 0 0 25809 60 0 0 25 0 8 0 799606485 2861428736 576427 33554432000 4194304 4580107 140736406070256 18446744073709551615 4316835 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32074/tid=32077] ppid=32072 vsize=2794364 CPUtime=263.53 cores=0-7
/proc/32074/task/32077/stat : 32077 (strangenight2-m) R 32072 32074 31798 0 -1 4202560 88782 0 0 0 26294 59 0 0 25 0 8 0 799606485 2861428736 576427 33554432000 4194304 4580107 140736406070256 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32074/tid=32078] ppid=32072 vsize=2794364 CPUtime=263.57 cores=0-7
/proc/32074/task/32078/stat : 32078 (strangenight2-m) R 32072 32074 31798 0 -1 4202560 93687 0 0 0 26296 61 0 0 25 0 8 0 799606485 2861428736 576427 33554432000 4194304 4580107 140736406070256 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32074/tid=32079] ppid=32072 vsize=2794364 CPUtime=263.52 cores=0-7
/proc/32074/task/32079/stat : 32079 (strangenight2-m) R 32072 32074 31798 0 -1 4202560 96808 0 0 0 26287 65 0 0 25 0 8 0 799606485 2861428736 576427 33554432000 4194304 4580107 140736406070256 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32074/tid=32080] ppid=32072 vsize=2794364 CPUtime=263.54 cores=0-7
/proc/32074/task/32080/stat : 32080 (strangenight2-m) R 32072 32074 31798 0 -1 4202560 101434 0 0 0 26296 58 0 0 25 0 8 0 799606485 2861428736 576427 33554432000 4194304 4580107 140736406070256 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32074/tid=32081] ppid=32072 vsize=2794364 CPUtime=263.67 cores=0-7
/proc/32074/task/32081/stat : 32081 (strangenight2-m) R 32072 32074 31798 0 -1 4202560 94154 0 0 0 26317 50 0 0 25 0 8 0 799606485 2861428736 576427 33554432000 4194304 4580107 140736406070256 18446744073709551615 4294458 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2103.62
Current children cumulated vsize (KiB) 2794364

[startup+264.3 s]
/proc/loadavg: 8.07 7.84 6.30 9/559 32090
/proc/meminfo: memFree=23240292/32951124 swapFree=39849776/67111528
[pid=32074] ppid=32072 vsize=2794364 CPUtime=2106.66 cores=0-7
/proc/32074/stat : 32074 (strangenight2-m) R 32072 32074 31798 0 -1 4202496 745428 0 0 0 210192 474 0 0 25 0 8 0 799606485 2861428736 572663 33554432000 4194304 4580107 140736406070256 18446744073709551615 4292938 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/32074/statm: 698591 572663 380 95 0 693573 0
[pid=32074/tid=32075] ppid=32072 vsize=2794364 CPUtime=263.84 cores=0-7
/proc/32074/task/32075/stat : 32075 (strangenight2-m) R 32072 32074 31798 0 -1 4202560 86496 0 0 0 26326 58 0 0 25 0 8 0 799606485 2861428736 572663 33554432000 4194304 4580107 140736406070256 18446744073709551615 4389700 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32074/tid=32076] ppid=32072 vsize=2794364 CPUtime=259.07 cores=0-7
/proc/32074/task/32076/stat : 32076 (strangenight2-m) R 32072 32074 31798 0 -1 4202560 95036 0 0 0 25847 60 0 0 25 0 8 0 799606485 2861428736 572663 33554432000 4194304 4580107 140736406070256 18446744073709551615 4293301 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32074/tid=32077] ppid=32072 vsize=2794364 CPUtime=263.91 cores=0-7
/proc/32074/task/32077/stat : 32077 (strangenight2-m) R 32072 32074 31798 0 -1 4202560 88782 0 0 0 26332 59 0 0 25 0 8 0 799606485 2861428736 572663 33554432000 4194304 4580107 140736406070256 18446744073709551615 4294213 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32074/tid=32078] ppid=32072 vsize=2794364 CPUtime=263.95 cores=0-7
/proc/32074/task/32078/stat : 32078 (strangenight2-m) R 32072 32074 31798 0 -1 4202560 93706 0 0 0 26334 61 0 0 25 0 8 0 799606485 2861428736 572663 33554432000 4194304 4580107 140736406070256 18446744073709551615 4294589 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32074/tid=32079] ppid=32072 vsize=2794364 CPUtime=263.9 cores=0-7
/proc/32074/task/32079/stat : 32079 (strangenight2-m) R 32072 32074 31798 0 -1 4202560 96830 0 0 0 26325 65 0 0 25 0 8 0 799606485 2861428736 572663 33554432000 4194304 4580107 140736406070256 18446744073709551615 4294656 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32074/tid=32080] ppid=32072 vsize=2794364 CPUtime=263.93 cores=0-7
/proc/32074/task/32080/stat : 32080 (strangenight2-m) R 32072 32074 31798 0 -1 4202560 101948 0 0 0 26334 59 0 0 25 0 8 0 799606485 2861428736 572663 33554432000 4194304 4580107 140736406070256 18446744073709551615 4294245 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32074/tid=32081] ppid=32072 vsize=2794364 CPUtime=264.05 cores=0-7
/proc/32074/task/32081/stat : 32081 (strangenight2-m) R 32072 32074 31798 0 -1 4202560 94154 0 0 0 26355 50 0 0 25 0 8 0 799606485 2861428736 572663 33554432000 4194304 4580107 140736406070256 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2106.66
Current children cumulated vsize (KiB) 2794364

[startup+264.5 s]
/proc/loadavg: 8.07 7.84 6.30 9/559 32090
/proc/meminfo: memFree=23240292/32951124 swapFree=39849776/67111528
[pid=32074] ppid=32072 vsize=2794364 CPUtime=2108.27 cores=0-7
/proc/32074/stat : 32074 (strangenight2-m) R 32072 32074 31798 0 -1 4202496 745500 0 0 0 210352 475 0 0 25 0 8 0 799606485 2861428736 572735 33554432000 4194304 4580107 140736406070256 18446744073709551615 4294217 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/32074/statm: 698591 572735 380 95 0 693573 0
[pid=32074/tid=32075] ppid=32072 vsize=2794364 CPUtime=264.04 cores=0-7
/proc/32074/task/32075/stat : 32075 (strangenight2-m) R 32072 32074 31798 0 -1 4202560 86507 0 0 0 26346 58 0 0 25 0 8 0 799606485 2861428736 572735 33554432000 4194304 4580107 140736406070256 18446744073709551615 4294436 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32074/tid=32076] ppid=32072 vsize=2794364 CPUtime=259.27 cores=0-7
/proc/32074/task/32076/stat : 32076 (strangenight2-m) R 32072 32074 31798 0 -1 4202560 95045 0 0 0 25867 60 0 0 25 0 8 0 799606485 2861428736 572735 33554432000 4194304 4580107 140736406070256 18446744073709551615 4293938 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32074/tid=32077] ppid=32072 vsize=2794364 CPUtime=264.11 cores=0-7
/proc/32074/task/32077/stat : 32077 (strangenight2-m) R 32072 32074 31798 0 -1 4202560 88782 0 0 0 26352 59 0 0 25 0 8 0 799606485 2861428736 572735 33554432000 4194304 4580107 140736406070256 18446744073709551615 4305975 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32074/tid=32078] ppid=32072 vsize=2794364 CPUtime=264.15 cores=0-7
/proc/32074/task/32078/stat : 32078 (strangenight2-m) R 32072 32074 31798 0 -1 4202560 93715 0 0 0 26354 61 0 0 25 0 8 0 799606485 2861428736 572735 33554432000 4194304 4580107 140736406070256 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32074/tid=32079] ppid=32072 vsize=2794364 CPUtime=264.09 cores=0-7
/proc/32074/task/32079/stat : 32079 (strangenight2-m) R 32072 32074 31798 0 -1 4202560 96848 0 0 0 26344 65 0 0 25 0 8 0 799606485 2861428736 572735 33554432000 4194304 4580107 140736406070256 18446744073709551615 4293907 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32074/tid=32080] ppid=32072 vsize=2794364 CPUtime=264.13 cores=0-7
/proc/32074/task/32080/stat : 32080 (strangenight2-m) R 32072 32074 31798 0 -1 4202560 101962 0 0 0 26354 59 0 0 25 0 8 0 799606485 2861428736 572735 33554432000 4194304 4580107 140736406070256 18446744073709551615 4294458 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32074/tid=32081] ppid=32072 vsize=2794364 CPUtime=264.25 cores=0-7
/proc/32074/task/32081/stat : 32081 (strangenight2-m) R 32072 32074 31798 0 -1 4202560 94154 0 0 0 26375 50 0 0 25 0 8 0 799606485 2861428736 572735 33554432000 4194304 4580107 140736406070256 18446744073709551615 4294659 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2108.27
Current children cumulated vsize (KiB) 2794364

[startup+264.6 s]
/proc/loadavg: 8.07 7.84 6.30 9/559 32090
/proc/meminfo: memFree=23240292/32951124 swapFree=39849776/67111528
[pid=32074] ppid=32072 vsize=0 CPUtime=2108.81 cores=0-7
/proc/32074/stat : 32074 (strangenight2-m) Z 32072 32074 31798 0 -1 4203548 745536 0 0 0 210403 478 0 0 25 0 2 0 799606485 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/32074/statm: 0 0 0 0 0 0 0
[pid=32074/tid=32079] ppid=32072 vsize=0 CPUtime=264.2 cores=0-7
/proc/32074/task/32079/stat : 32079 (strangenight2-m) R 32072 32074 31798 0 -1 4203588 96854 0 0 0 26351 69 0 0 25 0 2 0 799606485 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) 2108.81
Current children cumulated vsize (KiB) 0

Child status: 20
Real time (s): 264.687
CPU time (s): 2108.91
CPU user time (s): 2104.03
CPU system time (s): 4.87326
CPU usage (%): 796.754
Max. virtual memory (cumulated for all children) (KiB): 2824992

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2104.03
system time used= 4.87326
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 745536
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= 339192
involuntary context switches= 9062

runsolver used 1.35979 second user time and 3.52946 second system time

The end

Launcher Data 

Begin job on node118 at 2011-05-22 21:49:18
IDJOB=3394248
IDBENCH=82431
IDSOLVER=1878
FILE ID=node118/3394248-1306093758
RUNJOBID= node118-1306092896-31812
PBS_JOBID= 13387946
Free space on /tmp= 72932 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/application/jarvisalo/AAAI2010-SATPlanning/aaai10-planning-ipc5-TPP-21-step11.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3394248-1306093758/watcher-3394248-1306093758 -o /tmp/evaluation-result-3394248-1306093758/solver-3394248-1306093758 -C 40000 -W 5100 -M 31000  ./strangenight2-mt --threads=8 HOME/instance-3394248-1306093758.cnf

TIME LIMIT= 40000 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8

MD5SUM BENCH= 00d93f117a3253605ad3ac6a153ec61f
RANDOM SEED=1807714577

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.842
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	: 5374.59
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      25549280 kB
Buffers:          3216 kB
Cached:         154132 kB
SwapCached:      50464 kB
Active:         463404 kB
Inactive:      6676140 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      25549280 kB
SwapTotal:    67111528 kB
SwapFree:     39849776 kB
Dirty:           17856 kB
Writeback:           0 kB
AnonPages:     6944760 kB
Mapped:          24644 kB
Slab:            75376 kB
PageTables:     115676 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 183775240 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= 72928 MiB
End job on node118 at 2011-05-22 21:53:43