Trace number 3369613

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-1-mt (fixed)UNSAT 1751.62 439.495

General information on the benchmark

Nameapplication/rintanen/SATPlanning/
sokoban-sequential-p145-microban-sequential.040-NOTKNOWN.cnf
MD5SUM36e8e2178d03f08fa4223da0e3d9beb5
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark539.975
Satisfiable
(Un)Satisfiability was proved
Number of variables87884
Number of clauses1413816
Sum of the clauses size3227576
Maximum clause length78
Minimum clause length1
Number of clauses of size 1696
Number of clauses of size 21364160
Number of clauses of size 33840
Number of clauses of size 417760
Number of clauses of size 57680
Number of clauses of size over 519680

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.01	c Using 4 threads
0.00/0.01	c This is CryptoMiniSat 2.9.0
0.00/0.01	c compiled with gcc version 4.4.5
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3369613-1305393593.cnf'
0.00/0.01	c -- header says num vars:          87884
0.00/0.01	c -- header says num clauses:     1413816
1.24/0.53	c -- clauses added:            0 learnts,      1413816 normals,            0 xors
1.24/0.53	c -- vars added      87884
1.24/0.53	c Parsing time:  0.82 s
1.24/0.53	c  N st     0         0     87884     37242   1002916         0   2379025         0   no data   no data  --
2.35/0.83	c asymm  cl-useful: 340/925/31008 lits-rem:13381 time: 1.14
27.45/7.12	c Flit:   272 Blit:   9075 bXBeca:    0 bXProp:  503 Bins:      0 BRemL:      0 BRemN:      0 P: 200.0M T: 24.94
27.45/7.14	c Cleaning up after failed var search:     0.09 s 
27.45/7.17	c Replacing      503 vars Replaced    29211 lits Time:     0.12 s 
27.85/7.27	c bin-w-bin subsume rem          734 bins  time:  0.22 s
28.65/7.40	c subs with bin:       33  lits-rem:       151  v-fix:    0  time:  0.50 s
40.21/10.36	c Subs w/ non-existent bins:     29 l-rem:    686 v-fix:   384 done:  33612 time: 11.80 s
41.01/10.53	c Removed useless bin:    9772  fixed:     0  props:  20.01M  time:  0.64 s
41.81/10.72	c lits-rem:         0  cl-subs:       80  v-elim:     13  v-fix:    0  time:  0.78 s
41.81/10.74	c Finding binary XORs  T:     0.08 s  found:     218
41.81/10.77	c Replacing      218 vars Replaced    17256 lits Time:     0.11 s 
42.21/10.81	c Finding non-binary XORs:     0.06 s (found:       0, avg size: nan)
42.21/10.81	c Calc default polars -  time:   0.05 s pos:    1621 undec:   44954 neg:   41309
42.21/10.81	c =========================================================================================
42.21/10.81	c types(t): F = full restart, N = normal restart
42.21/10.81	c types(t): S = simplification begin/end, E = solution found
42.21/10.81	c restart types(rt): st = static, dy = dynamic
42.21/10.81	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
42.21/10.81	c  B st     0         0     42936     25852    552092         0   1334420         0   no data   no data  --
66.13/16.88	c  N dy    14      4342     42930     25852    552175      4234   1334420   3397761     39.13     45.96  --
89.67/22.72	c  N dy    30      9320     42866     25852    552859      6056   1334420   2629253     30.54     33.22  --
107.22/27.14	c  N dy    45     13758     42829     25852    553122      5348   1334420    713294     29.16     30.90  --
124.37/31.47	c  N dy    62     17883     42819     25852    553188      9375   1334420   2895522     28.32     30.50  --
143.96/36.38	c  N dy    82     21969     42770     25852    553539      6868   1334420    568843     28.42     32.35  --
155.48/39.28	c  F st    92     25002     42700     25852    553859      9824   1334420   2000740     27.40     16.53  --
162.66/41.03	c  N st    95     26197     42700     25707    548999     10973   1323027   2675337     27.40   no data  --
195.38/49.29	c  S st    98     30000     42695     25707    549031     14716   1323027   7249632     27.40   no data  --
197.76/49.87	c  S st    98     30501     42692     25707    549041     15201   1323027   7430746     27.40   no data  --
198.16/49.90	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.14
322.19/81.07	c Flit:   514 Blit:   1559 bXBeca:    0 bXProp:  124 Bins: 312152 BRemL:   1788 BRemN:   2679 P: 200.0M T: 123.86
322.60/81.12	c Cleaning up after failed var search:     0.21 s 
323.83/81.42	c Replacing      125 vars Replaced    30579 lits Time:     1.17 s 
326.58/82.11	c bin-w-bin subsume rem          874 bins  time:  0.31 s
332.19/83.56	c subs with bin:        0  lits-rem:         6  v-fix:    0  time:  5.76 s
332.96/83.74	c Subs w/ non-existent bins:      4 l-rem:    599 v-fix:     0 done:    699 time:  0.72 s
333.76/83.95	c Removed useless bin:   27318  fixed:     0  props:  20.01M  time:  0.83 s
343.73/86.43	c lits-rem:       123  cl-subs:      782  v-elim:      4  v-fix:    0  time:  9.83 s
344.93/86.79	c asymm  cl-useful: 166/604/24686 lits-rem:2342 time: 1.42
346.12/87.06	c calculated reachability. Time: 0.96
346.12/87.06	c  N dy    98     30501     40199     24686    767474     14091   1172358   7397555     27.40   no data  --
348.92/87.76	c Finding binary XORs  T:     2.78 s  found:      80
376.83/94.71	c  N dy   108     34744     40181     24686    768254     10605   1172358   2822715     25.84     27.22  --
407.19/102.39	c Finding binary XORs  T:     2.87 s  found:     113
413.92/104.08	c  N dy   113     39316     39680     24340    773398     14276   1152024   4764695     23.75     25.01  --
452.22/113.65	c  N dy   118     45034     39549     24340    797232     11526   1152024   1818729     22.27     25.73  --
455.46/114.44	c  S st   120     45751     39549     24340    797251     12222   1152024   2099909     22.12     10.22  --
457.80/115.03	c  S st   120     46251     39529     24340    797265     12703   1152024   2194814     22.12   no data  --
457.80/115.07	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.12
457.80/115.09	c Cache  BProp: 1420 Set: 2 BXProp: 0 T: 0.09
532.39/133.71	c Flit:   355 Blit:    250 bXBeca:    0 bXProp:   43 Bins: 220603 BRemL:     54 BRemN:    555 P: 200.1M T: 74.19
532.39/133.74	c Cleaning up after failed var search:     0.10 s 
532.79/133.84	c Replacing      236 vars Replaced    54346 lits Time:     0.37 s 
533.60/134.04	c bin-w-bin subsume rem         3753 bins  time:  0.43 s
539.57/135.59	c subs with bin:       92  lits-rem:      1244  v-fix:    0  time:  6.15 s
541.57/136.03	c Subs w/ non-existent bins:     24 l-rem:   1040 v-fix:     1 done:   2886 time:  1.76 s
542.37/136.24	c Removed useless bin:   12203  fixed:     0  props:  20.00M  time:  0.84 s
549.55/138.06	c lits-rem:       752  cl-subs:      278  v-elim:      6  v-fix:    0  time:  7.24 s
549.95/138.11	c vivif2 --  cl tried    23939 cl shrink       96 lits rem        688 time: 0.19
550.35/138.29	c vivif2 --  cl tried    12199 cl shrink     5422 lits rem     271189 time: 0.72
551.98/138.65	c asymm  cl-useful: 72/550/23937 lits-rem:802 time: 1.45
553.53/139.01	c calculated reachability. Time: 1.35
553.53/139.01	c  N dy   120     46251     38625     23937    969770     11588   1092150   2218696     22.12   no data  --
557.52/140.06	c Finding binary XORs  T:     4.14 s  found:      69
589.04/147.96	c  N dy   130     52298     38614     23937    969918     17448   1092150   5211332     20.73     21.83  --
612.17/153.78	c  N dy   140     56667     38590     23937    971326     13035   1092150   2696477     20.18     21.99  --
633.30/159.05	c  N dy   144     60768     38583     23937    971740     17003   1092150   4435963     19.47     22.07  --
658.43/165.30	c  N dy   148     65483     38580     23937    972054     21602   1092150   6613951     18.83     20.76  --
681.18/171.00	c  S st   162     69376     38566     23937    972121     16030   1092150   3311245     18.67      7.52  --
683.61/171.64	c  S st   162     69877     38565     23937    972141     16509   1092150   3400750     18.67   no data  --
683.61/171.68	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.14
683.96/171.71	c Cache  BProp: 907 Set: 2 BXProp: 0 T: 0.12
754.17/189.38	c Flit:   189 Blit:    208 bXBeca:    0 bXProp:   18 Bins: 219138 BRemL:     65 BRemN:    590 P: 200.0M T: 70.34
754.56/189.42	c Cleaning up after failed var search:     0.12 s 
754.96/189.54	c Replacing       88 vars Replaced    24708 lits Time:     0.50 s 
756.17/189.81	c bin-w-bin subsume rem          681 bins  time:  0.52 s
762.18/191.34	c subs with bin:        0  lits-rem:       300  v-fix:    0  time:  6.09 s
762.94/191.56	c Subs w/ non-existent bins:      1 l-rem:    284 v-fix:     0 done:    606 time:  0.86 s
763.75/191.78	c Removed useless bin:   17226  fixed:     0  props:  20.01M  time:  0.87 s
772.51/193.90	c lits-rem:       979  cl-subs:      286  v-elim:     51  v-fix:    0  time:  8.45 s
772.51/193.96	c vivif2 --  cl tried    23828 cl shrink       21 lits rem        191 time: 0.25
773.71/194.23	c vivif2 --  cl tried    16081 cl shrink     3046 lits rem     492863 time: 1.07
775.34/194.61	c asymm  cl-useful: 36/707/23826 lits-rem:288 time: 1.53
777.30/195.10	c calculated reachability. Time: 1.83
777.30/195.10	c  N dy   162     69877     38039     23819   1157726     15888   1041183   3238325     18.67   no data  --
782.89/196.51	c Finding binary XORs  T:     5.61 s  found:      28
847.50/212.74	c Finding binary XORs  T:     5.59 s  found:      44
859.87/215.89	c  N dy   167     80525     37815     23690   1205254     15595   1032409   2697921     17.33     18.84  --
893.82/224.40	c  N dy   170     86574     37766     23690   1205572     21483   1032409   5263853     16.84     17.92  --
898.96/225.63	c  F st   171     87501     37766     23690   1205578     22401   1032409   5607133     16.75      7.46  --
899.77/225.86	c Replacing       72 vars Replaced    36847 lits Time:     0.78 s 
938.46/235.58	c  N dy   177     92698     37688     23671   1204540     27454   1030708   8399451     16.75   no data  --
974.76/244.63	c  N dy   195     98858     37681     23671   1204805     22082   1030708   4549058     16.51     18.74  --
1012.29/254.02	c  S st   203    104815     37678     23671   1204895     27931   1030708   7318450     16.17      7.29  --
1017.84/255.49	c Finding binary XORs  T:     5.60 s  found:      65
1020.64/256.14	c  S st   203    105315     37479     23515   1242694     28323   1022137   7451314     16.17   no data  --
1020.64/256.19	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.17
1021.07/256.24	c Cache  BProp: 919 Set: 1 BXProp: 0 T: 0.18
1105.97/277.56	c Flit:   130 Blit:     70 bXBeca:    0 bXProp:    5 Bins: 198698 BRemL:    183 BRemN:    576 P: 200.1M T: 84.77
1105.97/277.56	c Cleaning up after failed var search:     0.00 s 
1107.17/277.87	c Replacing       70 vars Replaced    35207 lits Time:     1.23 s 
1109.56/278.42	c bin-w-bin subsume rem         5206 bins  time:  0.68 s
1115.54/279.95	c subs with bin:        1  lits-rem:        34  v-fix:    0  time:  6.11 s
1116.74/280.22	c Subs w/ non-existent bins:      2 l-rem:    565 v-fix:     0 done:   1002 time:  1.04 s
1117.57/280.45	c Removed useless bin:    4816  fixed:     0  props:  20.01M  time:  0.91 s
1184.14/297.20	c lits-rem:        79  cl-subs:      637  v-elim:      5  v-fix:    0  time: 66.74 s
1184.54/297.27	c vivif2 --  cl tried    23438 cl shrink       27 lits rem        114 time: 0.29
1187.34/297.92	c vivif2 --  cl tried    27650 cl shrink    10324 lits rem    1302484 time: 2.61
1188.93/298.35	c asymm  cl-useful: 17/440/23437 lits-rem:46 time: 1.70
1191.33/298.93	c calculated reachability. Time: 2.20
1191.33/298.93	c  N dy   203    105315     37192     23436   1421265     27167   1004554   6292193     16.17   no data  --
1198.10/300.66	c Finding binary XORs  T:     6.87 s  found:       6
1245.97/312.67	c  N dy   209    112333     37186     23436   1421397     21591   1004554   3828625     15.74     17.14  --
1253.58/314.51	c Finding binary XORs  T:     6.86 s  found:      28
1297.47/325.59	c  N dy   216    119929     36845     23306   1460122     28862    996554   6600300     15.30     16.23  --
1365.63/342.60	c  N dy   226    130065     36840     23306   1460471     25504    996554   4582662     14.84     16.29  --
1417.49/355.65	c  N dy   240    138694     36828     23306   1460862     33912    996554   7823274     14.59     15.60  --
1485.71/372.73	c  N dy   259    149819     36817     23306   1461253     30576    996554   5155764     14.28     15.04  --
1535.16/385.13	c  S st   264    157972     36801     23306   1461513     38542    996554   7434050     13.99      9.38  --
1537.96/385.84	c  S st   264    158473     36800     23306   1461526     39030    996554   7528183     13.99   no data  --
1537.96/385.89	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.19
1538.36/385.93	c Cache  BProp: 943 Set: 4 BXProp: 0 T: 0.18
1602.19/401.99	c Flit:    71 Blit:     28 bXBeca:    0 bXProp:    3 Bins: 130327 BRemL:     85 BRemN:    509 P: 200.0M T: 63.95
1603.39/402.27	c Replacing       37 vars Replaced    13809 lits Time:     1.11 s 
1605.36/402.78	c bin-w-bin subsume rem          544 bins  time:  0.73 s
1612.16/404.41	c subs with bin:       42  lits-rem:       565  v-fix:    0  time:  6.54 s
1612.96/404.65	c Subs w/ non-existent bins:      2 l-rem:    507 v-fix:     0 done:    530 time:  0.94 s
1614.14/404.90	c Removed useless bin:   11671  fixed:     0  props:  20.00M  time:  0.98 s
1694.72/425.16	c lits-rem:        87  cl-subs:      721  v-elim:     17  v-fix:    0  time: 80.74 s
1695.12/425.24	c vivif2 --  cl tried    23240 cl shrink       14 lits rem        136 time: 0.33
1698.31/426.04	c vivif2 --  cl tried    35795 cl shrink    10348 lits rem    1631100 time: 3.18
1700.30/426.51	c asymm  cl-useful: 26/481/23238 lits-rem:97 time: 1.87
1702.69/427.17	c calculated reachability. Time: 2.51
1702.69/427.17	c  N dy   264    158473     36637     23234   1566113     35389    966387   5804933     13.99   no data  --
1710.67/429.18	c Finding binary XORs  T:     7.86 s  found:       8
1737.40/435.87	c Finding binary XORs  T:     7.91 s  found:      25
1751.36/439.31	c Following stats are for *FIRST FINISHED THREAD ONLY*
1751.36/439.31	c num threads              : 4          
1751.36/439.31	c restarts                 : 361        
1751.36/439.31	c dynamic restarts         : 343        
1751.36/439.31	c static restarts          : 18         
1751.36/439.31	c full restarts            : 2          
1751.36/439.31	c total simplify time      : 41.79      
1751.36/439.31	c learnts DL2              : 0          
1751.36/439.31	c learnts size 2           : 2522123    
1751.36/439.31	c learnts size 1           : 68250       (77.66     % of vars)
1751.36/439.31	c filedLit time            : 257.36      (14.72     % time)
1751.36/439.31	c v-elim SatELite          : 49          (0.06      % vars)
1751.36/439.31	c SatELite time            : 151.15      (8.65      % time)
1751.36/439.31	c v-elim xor               : 0           (0.00      % vars)
1751.36/439.31	c xor elim time            : 0.43        (0.02      % time)
1751.36/439.31	c num binary xor trees     : 1330       
1751.36/439.31	c binxor trees' crown      : 1424        (1.07      leafs/tree)
1751.36/439.31	c bin xor find time        : 40.18      
1751.36/439.31	c OTF clause improved      : 1113        (0.01      clauses/conflict)
1751.36/439.31	c OTF impr. size diff      : 4240        (3.81       lits/clause)
1751.36/439.31	c OTF cl watch-shrink      : 179639      (0.82      clauses/conflict)
1751.36/439.31	c OTF cl watch-sh-lit      : 8684705     (48.35      lits/clause)
1751.36/439.31	c tried to recurMin cls    : 130111      (59.10      % of conflicts)
1751.36/439.31	c updated cache            : 38248       (0.29       lits/tried recurMin)
1751.36/439.31	c unit cls received        : 2178        (3.19      % of units)
1751.36/439.31	c unit cls sent            : 9566        (14.02     % of units)
1751.36/439.31	c bin cls received         : 988558     
1751.36/439.31	c bin cls sent             : 237611     
1751.36/439.31	c clauses over max glue    : 0           (0.00      % of all clauses)
1751.36/439.31	c conflicts                : 220155      (125.96    / sec)
1751.36/439.31	c decisions                : 1010604     (0.45      % random)
1751.36/439.31	c bogo-props               : 7061284256  (4040003.12 / sec)
1751.36/439.31	c conflict literals        : 89915916    (31.64     % deleted)
1751.36/439.31	c Memory used              : 5456.98     MB
1751.36/439.31	c single-thread CPU time   : 1747.84     s
1751.36/439.31	c all-threads sum CPU time : 1747.84     s
1751.36/439.31	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-3369613-1305393593/watcher-3369613-1305393593 -o /tmp/evaluation-result-3369613-1305393593/solver-3369613-1305393593 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3369613-1305393593.cnf 

running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 6.90 7.88 7.93 2/344 14869
/proc/meminfo: memFree=25821388/32951124 swapFree=40554400/67111528
[pid=14869] ppid=14867 vsize=51236 CPUtime=0.01 cores=0,2,4,6
/proc/14869/stat : 14869 (strangenight1-m) R 14867 14869 14540 0 -1 4202496 413 0 0 0 1 0 0 0 20 0 4 0 650959859 52465664 353 33554432000 4194304 4650419 140737360214224 18446744073709551615 47250740979634 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/14869/statm: 12809 353 303 112 0 7774 0
[pid=14869/tid=14870] ppid=14867 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/14869/task/14870/stat : 14870 (strangenight1-m) R 14867 14869 14540 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 4 0 650959859 52465664 353 33554432000 4194304 4650419 140737360214224 18446744073709551615 47250740979638 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14869/tid=14871] ppid=14867 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/14869/task/14871/stat : 14871 (strangenight1-m) R 14867 14869 14540 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 4 0 650959859 52465664 353 33554432000 4194304 4650419 140737360214224 18446744073709551615 47250740979628 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14869/tid=14872] ppid=14867 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/14869/task/14872/stat : 14872 (strangenight1-m) R 14867 14869 14540 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 4 0 650959859 52465664 353 33554432000 4194304 4650419 140737360214224 18446744073709551615 230809222129 0 0 4096 2 0 0 0 -1 4 0 0 0

[startup+0.060778 s]
/proc/loadavg: 6.90 7.88 7.93 2/344 14869
/proc/meminfo: memFree=25821388/32951124 swapFree=40554400/67111528
[pid=14869] ppid=14867 vsize=298160 CPUtime=0.2 cores=0,2,4,6
/proc/14869/stat : 14869 (strangenight1-m) S 14867 14869 14540 0 -1 4202496 9293 0 0 0 18 2 0 0 18 0 4 0 650959859 305315840 7191 33554432000 4194304 4650419 140737360214224 18446744073709551615 230809270766 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/14869/statm: 74540 7216 345 112 0 69505 0
[pid=14869/tid=14870] ppid=14867 vsize=298160 CPUtime=0.04 cores=0,2,4,6
/proc/14869/task/14870/stat : 14870 (strangenight1-m) R 14867 14869 14540 0 -1 4202560 2012 0 0 0 4 0 0 0 18 0 4 0 650959859 305315840 7224 33554432000 4194304 4650419 140737360214224 18446744073709551615 230809270815 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14869/tid=14871] ppid=14867 vsize=298160 CPUtime=0.04 cores=0,2,4,6
/proc/14869/task/14871/stat : 14871 (strangenight1-m) S 14867 14869 14540 0 -1 4202560 2306 0 0 0 4 0 0 0 18 0 4 0 650959859 305315840 7224 33554432000 4194304 4650419 140737360214224 18446744073709551615 230809270766 0 0 4096 2 18446604442805248256 0 0 -1 2 0 0 0
[pid=14869/tid=14872] ppid=14867 vsize=298160 CPUtime=0.03 cores=0,2,4,6
/proc/14869/task/14872/stat : 14872 (strangenight1-m) S 14867 14869 14540 0 -1 4202560 2325 0 0 0 3 0 0 0 18 0 4 0 650959859 305315840 7224 33554432000 4194304 4650419 140737360214224 18446744073709551615 230809270766 0 0 4096 2 18446604442805248256 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 298160

[startup+0.100653 s]
/proc/loadavg: 6.90 7.88 7.93 2/344 14869
/proc/meminfo: memFree=25821388/32951124 swapFree=40554400/67111528
[pid=14869] ppid=14867 vsize=368384 CPUtime=0.31 cores=0,2,4,6
/proc/14869/stat : 14869 (strangenight1-m) R 14867 14869 14540 0 -1 4202496 13066 0 0 0 27 4 0 0 17 0 4 0 650959859 377225216 10941 33554432000 4194304 4650419 140737360214224 18446744073709551615 230809209015 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/14869/statm: 92096 10951 345 112 0 87061 0
[pid=14869/tid=14870] ppid=14867 vsize=368384 CPUtime=0.08 cores=0,2,4,6
/proc/14869/task/14870/stat : 14870 (strangenight1-m) S 14867 14869 14540 0 -1 4202560 2947 0 0 0 7 1 0 0 17 0 4 0 650959859 377225216 10953 33554432000 4194304 4650419 140737360214224 18446744073709551615 230809270766 0 0 4096 2 18446604442805248256 0 0 -1 0 0 0 0
[pid=14869/tid=14871] ppid=14867 vsize=368384 CPUtime=0.07 cores=0,2,4,6
/proc/14869/task/14871/stat : 14871 (strangenight1-m) R 14867 14869 14540 0 -1 4202560 3330 0 0 0 6 1 0 0 18 0 4 0 650959859 377225216 10964 33554432000 4194304 4650419 140737360214224 18446744073709551615 230809270815 0 0 4096 2 18446604442805248256 0 0 -1 2 0 0 0
[pid=14869/tid=14872] ppid=14867 vsize=368384 CPUtime=0.06 cores=0,2,4,6
/proc/14869/task/14872/stat : 14872 (strangenight1-m) S 14867 14869 14540 0 -1 4202560 3239 0 0 0 5 1 0 0 18 0 4 0 650959859 377225216 10990 33554432000 4194304 4650419 140737360214224 18446744073709551615 230809270766 0 0 4096 2 18446604442805248256 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 368384

[startup+0.302491 s]
/proc/loadavg: 6.90 7.88 7.93 2/344 14869
/proc/meminfo: memFree=25821388/32951124 swapFree=40554400/67111528
[pid=14869] ppid=14867 vsize=396780 CPUtime=0.76 cores=0,2,4,6
/proc/14869/stat : 14869 (strangenight1-m) S 14867 14869 14540 0 -1 4202496 32257 0 0 0 51 25 0 0 17 0 4 0 650959859 406302720 27906 33554432000 4194304 4650419 140737360214224 18446744073709551615 230809270766 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/14869/statm: 99195 27945 345 112 0 94160 0
[pid=14869/tid=14870] ppid=14867 vsize=396780 CPUtime=0.23 cores=0,2,4,6
/proc/14869/task/14870/stat : 14870 (strangenight1-m) R 14867 14869 14540 0 -1 4202560 7203 0 0 0 17 6 0 0 18 0 4 0 650959859 406302720 27945 33554432000 4194304 4650419 140737360214224 18446744073709551615 230808821729 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14869/tid=14871] ppid=14867 vsize=396780 CPUtime=0.16 cores=0,2,4,6
/proc/14869/task/14871/stat : 14871 (strangenight1-m) R 14867 14869 14540 0 -1 4202560 8302 0 0 0 11 5 0 0 17 0 4 0 650959859 406302720 27948 33554432000 4194304 4650419 140737360214224 18446744073709551615 230809270815 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14869/tid=14872] ppid=14867 vsize=396780 CPUtime=0.16 cores=0,2,4,6
/proc/14869/task/14872/stat : 14872 (strangenight1-m) R 14867 14869 14540 0 -1 4202560 8391 0 0 0 10 6 0 0 17 0 4 0 650959859 406302720 27949 33554432000 4194304 4650419 140737360214224 18446744073709551615 230809270766 0 0 4096 2 18446604442805248256 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.76
Current children cumulated vsize (KiB) 396780

[startup+0.700398 s]
/proc/loadavg: 6.90 7.88 7.93 2/344 14869
/proc/meminfo: memFree=25821388/32951124 swapFree=40554400/67111528
[pid=14869] ppid=14867 vsize=438236 CPUtime=1.94 cores=0,2,4,6
/proc/14869/stat : 14869 (strangenight1-m) R 14867 14869 14540 0 -1 4202496 57810 0 0 0 147 47 0 0 17 0 4 0 650959859 448753664 49121 33554432000 4194304 4650419 140737360214224 18446744073709551615 4370340 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/14869/statm: 109559 49121 368 112 0 104524 0
[pid=14869/tid=14870] ppid=14867 vsize=438236 CPUtime=0.52 cores=0,2,4,6
/proc/14869/task/14870/stat : 14870 (strangenight1-m) R 14867 14869 14540 0 -1 4202560 13567 0 0 0 40 12 0 0 18 0 4 0 650959859 448753664 49121 33554432000 4194304 4650419 140737360214224 18446744073709551615 4370340 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14869/tid=14871] ppid=14867 vsize=438236 CPUtime=0.42 cores=0,2,4,6
/proc/14869/task/14871/stat : 14871 (strangenight1-m) R 14867 14869 14540 0 -1 4202560 14635 0 0 0 32 10 0 0 17 0 4 0 650959859 448753664 49121 33554432000 4194304 4650419 140737360214224 18446744073709551615 4370224 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14869/tid=14872] ppid=14867 vsize=438236 CPUtime=0.5 cores=0,2,4,6
/proc/14869/task/14872/stat : 14872 (strangenight1-m) R 14867 14869 14540 0 -1 4202560 15286 0 0 0 40 10 0 0 18 0 4 0 650959859 448753664 49121 33554432000 4194304 4650419 140737360214224 18446744073709551615 4364883 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.94
Current children cumulated vsize (KiB) 438236

[startup+1.50025 s]
/proc/loadavg: 6.90 7.88 7.93 6/348 14873
/proc/meminfo: memFree=25574440/32951124 swapFree=40554400/67111528
[pid=14869] ppid=14867 vsize=446996 CPUtime=5.13 cores=0,2,4,6
/proc/14869/stat : 14869 (strangenight1-m) R 14867 14869 14540 0 -1 4202496 61435 0 0 0 463 50 0 0 19 0 4 0 650959859 457723904 51300 33554432000 4194304 4650419 140737360214224 18446744073709551615 4370340 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/14869/statm: 111749 51300 373 112 0 106714 0
[pid=14869/tid=14870] ppid=14867 vsize=446996 CPUtime=1.31 cores=0,2,4,6
/proc/14869/task/14870/stat : 14870 (strangenight1-m) R 14867 14869 14540 0 -1 4202560 14544 0 0 0 118 13 0 0 19 0 4 0 650959859 457723904 51300 33554432000 4194304 4650419 140737360214224 18446744073709551615 4370329 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14869/tid=14871] ppid=14867 vsize=446996 CPUtime=1.21 cores=0,2,4,6
/proc/14869/task/14871/stat : 14871 (strangenight1-m) R 14867 14869 14540 0 -1 4202560 15630 0 0 0 111 10 0 0 19 0 4 0 650959859 457723904 51300 33554432000 4194304 4650419 140737360214224 18446744073709551615 4371011 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14869/tid=14872] ppid=14867 vsize=446996 CPUtime=1.31 cores=0,2,4,6
/proc/14869/task/14872/stat : 14872 (strangenight1-m) R 14867 14869 14540 0 -1 4202560 15962 0 0 0 120 11 0 0 19 0 4 0 650959859 457723904 51300 33554432000 4194304 4650419 140737360214224 18446744073709551615 4363750 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.13
Current children cumulated vsize (KiB) 446996

[startup+3.10096 s]
/proc/loadavg: 6.90 7.88 7.93 6/348 14873
/proc/meminfo: memFree=25525428/32951124 swapFree=40554400/67111528
[pid=14869] ppid=14867 vsize=447668 CPUtime=11.51 cores=0,2,4,6
/proc/14869/stat : 14869 (strangenight1-m) R 14867 14869 14540 0 -1 4202496 62809 0 0 0 1100 51 0 0 22 0 4 0 650959859 458412032 52674 33554432000 4194304 4650419 140737360214224 18446744073709551615 4370252 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/14869/statm: 111917 52674 373 112 0 106882 0
[pid=14869/tid=14870] ppid=14867 vsize=447668 CPUtime=2.89 cores=0,2,4,6
/proc/14869/task/14870/stat : 14870 (strangenight1-m) R 14867 14869 14540 0 -1 4202560 14620 0 0 0 275 14 0 0 22 0 4 0 650959859 458412032 52674 33554432000 4194304 4650419 140737360214224 18446744073709551615 4370252 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14869/tid=14871] ppid=14867 vsize=447668 CPUtime=2.82 cores=0,2,4,6
/proc/14869/task/14871/stat : 14871 (strangenight1-m) R 14867 14869 14540 0 -1 4202560 15707 0 0 0 271 11 0 0 22 0 4 0 650959859 458412032 52674 33554432000 4194304 4650419 140737360214224 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14869/tid=14872] ppid=14867 vsize=447668 CPUtime=2.91 cores=0,2,4,6
/proc/14869/task/14872/stat : 14872 (strangenight1-m) R 14867 14869 14540 0 -1 4202560 17107 0 0 0 280 11 0 0 22 0 4 0 650959859 458412032 52674 33554432000 4194304 4650419 140737360214224 18446744073709551615 4315024 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 11.51
Current children cumulated vsize (KiB) 447668

[startup+6.30034 s]
/proc/loadavg: 6.99 7.88 7.93 11/354 14882
/proc/meminfo: memFree=23825052/32951124 swapFree=40554400/67111528
[pid=14869] ppid=14867 vsize=481464 CPUtime=24.26 cores=0,2,4,6
/proc/14869/stat : 14869 (strangenight1-m) R 14867 14869 14540 0 -1 4202496 65177 0 0 0 2374 52 0 0 25 0 4 0 650959859 493019136 55042 33554432000 4194304 4650419 140737360214224 18446744073709551615 4371317 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/14869/statm: 120366 55042 373 112 0 115331 0
[pid=14869/tid=14870] ppid=14867 vsize=481464 CPUtime=6.06 cores=0,2,4,6
/proc/14869/task/14870/stat : 14870 (strangenight1-m) R 14867 14869 14540 0 -1 4202560 14623 0 0 0 592 14 0 0 25 0 4 0 650959859 493019136 55042 33554432000 4194304 4650419 140737360214224 18446744073709551615 4371001 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14869/tid=14871] ppid=14867 vsize=481464 CPUtime=6.01 cores=0,2,4,6
/proc/14869/task/14871/stat : 14871 (strangenight1-m) R 14867 14869 14540 0 -1 4202560 15712 0 0 0 590 11 0 0 25 0 4 0 650959859 493019136 55042 33554432000 4194304 4650419 140737360214224 18446744073709551615 4370267 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14869/tid=14872] ppid=14867 vsize=481464 CPUtime=6.11 cores=0,2,4,6
/proc/14869/task/14872/stat : 14872 (strangenight1-m) R 14867 14869 14540 0 -1 4202560 19461 0 0 0 599 12 0 0 25 0 4 0 650959859 493019136 55042 33554432000 4194304 4650419 140737360214224 18446744073709551615 4364841 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 24.26
Current children cumulated vsize (KiB) 481464

[startup+12.7012 s]
/proc/loadavg: 7.07 7.88 7.93 9/354 14882
/proc/meminfo: memFree=23437932/32951124 swapFree=40554400/67111528
[pid=14869] ppid=14867 vsize=519248 CPUtime=49.79 cores=0,2,4,6
/proc/14869/stat : 14869 (strangenight1-m) R 14867 14869 14540 0 -1 4202496 86122 0 0 0 4921 58 0 0 25 0 4 0 650959859 531709952 71533 33554432000 4194304 4650419 140737360214224 18446744073709551615 4315249 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/14869/statm: 129812 71533 393 112 0 124777 0
[pid=14869/tid=14870] ppid=14867 vsize=519248 CPUtime=12.39 cores=0,2,4,6
/proc/14869/task/14870/stat : 14870 (strangenight1-m) R 14867 14869 14540 0 -1 4202560 19952 0 0 0 1223 16 0 0 25 0 4 0 650959859 531709952 71533 33554432000 4194304 4650419 140737360214224 18446744073709551615 4315168 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14869/tid=14871] ppid=14867 vsize=519248 CPUtime=12.4 cores=0,2,4,6
/proc/14869/task/14871/stat : 14871 (strangenight1-m) R 14867 14869 14540 0 -1 4202560 20554 0 0 0 1228 12 0 0 25 0 4 0 650959859 531709952 71533 33554432000 4194304 4650419 140737360214224 18446744073709551615 4520254 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14869/tid=14872] ppid=14867 vsize=519248 CPUtime=12.51 cores=0,2,4,6
/proc/14869/task/14872/stat : 14872 (strangenight1-m) R 14867 14869 14540 0 -1 4202560 25266 0 0 0 1237 14 0 0 25 0 4 0 650959859 531709952 71533 33554432000 4194304 4650419 140737360214224 18446744073709551615 4365477 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 49.79
Current children cumulated vsize (KiB) 519248

[startup+25.5008 s]
/proc/loadavg: 7.34 7.91 7.93 9/354 14882
/proc/meminfo: memFree=23113600/32951124 swapFree=40554400/67111528
[pid=14869] ppid=14867 vsize=630568 CPUtime=100.83 cores=0,2,4,6
/proc/14869/stat : 14869 (strangenight1-m) R 14867 14869 14540 0 -1 4202496 116427 0 0 0 10020 63 0 0 25 0 4 0 650959859 645701632 78518 33554432000 4194304 4650419 140737360214224 18446744073709551615 4315066 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/14869/statm: 157642 78518 393 112 0 152607 0
[pid=14869/tid=14870] ppid=14867 vsize=630568 CPUtime=25.05 cores=0,2,4,6
/proc/14869/task/14870/stat : 14870 (strangenight1-m) R 14867 14869 14540 0 -1 4202560 27994 0 0 0 2487 18 0 0 25 0 4 0 650959859 645701632 78518 33554432000 4194304 4650419 140737360214224 18446744073709551615 4315094 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14869/tid=14871] ppid=14867 vsize=630568 CPUtime=25.2 cores=0,2,4,6
/proc/14869/task/14871/stat : 14871 (strangenight1-m) R 14867 14869 14540 0 -1 4202560 28614 0 0 0 2506 14 0 0 25 0 4 0 650959859 645701632 78518 33554432000 4194304 4650419 140737360214224 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14869/tid=14872] ppid=14867 vsize=630568 CPUtime=25.31 cores=0,2,4,6
/proc/14869/task/14872/stat : 14872 (strangenight1-m) R 14867 14869 14540 0 -1 4202560 31723 0 0 0 2516 15 0 0 25 0 4 0 650959859 645701632 78518 33554432000 4194304 4650419 140737360214224 18446744073709551615 4315116 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 100.83
Current children cumulated vsize (KiB) 630568

[startup+51.1011 s]
/proc/loadavg: 7.71 7.94 7.94 9/354 14883
/proc/meminfo: memFree=22722812/32951124 swapFree=40554400/67111528
[pid=14869] ppid=14867 vsize=627016 CPUtime=202.96 cores=0,2,4,6
/proc/14869/stat : 14869 (strangenight1-m) R 14867 14869 14540 0 -1 4202496 169488 0 0 0 20220 76 0 0 25 0 4 0 650959859 642064384 92732 33554432000 4194304 4650419 140737360214224 18446744073709551615 4230695 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/14869/statm: 156754 92732 395 112 0 151719 0
[pid=14869/tid=14870] ppid=14867 vsize=627016 CPUtime=50.37 cores=0,2,4,6
/proc/14869/task/14870/stat : 14870 (strangenight1-m) R 14867 14869 14540 0 -1 4202560 44132 0 0 0 5015 22 0 0 25 0 4 0 650959859 642064384 92732 33554432000 4194304 4650419 140737360214224 18446744073709551615 4364346 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14869/tid=14871] ppid=14867 vsize=627016 CPUtime=50.79 cores=0,2,4,6
/proc/14869/task/14871/stat : 14871 (strangenight1-m) R 14867 14869 14540 0 -1 4202560 41031 0 0 0 5063 16 0 0 25 0 4 0 650959859 642064384 92732 33554432000 4194304 4650419 140737360214224 18446744073709551615 4315256 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14869/tid=14872] ppid=14867 vsize=627016 CPUtime=50.9 cores=0,2,4,6
/proc/14869/task/14872/stat : 14872 (strangenight1-m) R 14867 14869 14540 0 -1 4202560 42124 0 0 0 5073 17 0 0 25 0 4 0 650959859 642064384 92732 33554432000 4194304 4650419 140737360214224 18446744073709551615 4315174 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 202.96
Current children cumulated vsize (KiB) 627016

[startup+102.313 s]
/proc/loadavg: 7.99 7.98 7.96 9/354 14884
/proc/meminfo: memFree=20973680/32951124 swapFree=40554400/67111528
[pid=14869] ppid=14867 vsize=2756176 CPUtime=407.19 cores=0,2,4,6
/proc/14869/stat : 14869 (strangenight1-m) R 14867 14869 14540 0 -1 4202496 630318 0 0 0 40562 157 0 0 25 0 4 0 650959859 2822324224 524264 33554432000 4194304 4650419 140737360214224 18446744073709551615 4528893 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/14869/statm: 689044 524264 395 112 0 684009 0
[pid=14869/tid=14870] ppid=14867 vsize=2756176 CPUtime=101.41 cores=0,2,4,6
/proc/14869/task/14870/stat : 14870 (strangenight1-m) R 14867 14869 14540 0 -1 4202560 157269 0 0 0 10100 41 0 0 25 0 4 0 650959859 2822324224 524264 33554432000 4194304 4650419 140737360214224 18446744073709551615 4368084 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14869/tid=14871] ppid=14867 vsize=2756176 CPUtime=101.98 cores=0,2,4,6
/proc/14869/task/14871/stat : 14871 (strangenight1-m) R 14867 14869 14540 0 -1 4202560 136453 0 0 0 10165 33 0 0 25 0 4 0 650959859 2822324224 524264 33554432000 4194304 4650419 140737360214224 18446744073709551615 4315256 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14869/tid=14872] ppid=14867 vsize=2756176 CPUtime=102.1 cores=0,2,4,6
/proc/14869/task/14872/stat : 14872 (strangenight1-m) R 14867 14869 14540 0 -1 4202560 164607 0 0 0 10170 40 0 0 25 0 4 0 650959859 2822324224 524264 33554432000 4194304 4650419 140737360214224 18446744073709551615 4334297 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 407.19
Current children cumulated vsize (KiB) 2756176

[startup+162.301 s]

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

/proc/14869/statm: 1232993 987085 395 112 0 1227958 0
[pid=14869/tid=14870] ppid=14867 vsize=4931972 CPUtime=281.4 cores=0,2,4,6
/proc/14869/task/14870/stat : 14870 (strangenight1-m) R 14867 14869 14540 0 -1 4202560 328892 0 0 0 28062 78 0 0 25 0 4 0 650959859 5050339328 987085 33554432000 4194304 4650419 140737360214224 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14869/tid=14871] ppid=14867 vsize=4931972 CPUtime=281.9 cores=0,2,4,6
/proc/14869/task/14871/stat : 14871 (strangenight1-m) R 14867 14869 14540 0 -1 4202560 233283 0 0 0 28127 63 0 0 25 0 4 0 650959859 5050339328 987085 33554432000 4194304 4650419 140737360214224 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14869/tid=14872] ppid=14867 vsize=4931972 CPUtime=282.09 cores=0,2,4,6
/proc/14869/task/14872/stat : 14872 (strangenight1-m) R 14867 14869 14540 0 -1 4202560 288173 0 0 0 28139 70 0 0 25 0 4 0 650959859 5050339328 987085 33554432000 4194304 4650419 140737360214224 18446744073709551615 4368084 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1125.11
Current children cumulated vsize (KiB) 4931972

[startup+342.301 s]
/proc/loadavg: 8.05 8.02 7.98 9/354 14922
/proc/meminfo: memFree=18527652/32951124 swapFree=40554400/67111528
[pid=14869] ppid=14867 vsize=5019816 CPUtime=1364.44 cores=0,2,4,6
/proc/14869/stat : 14869 (strangenight1-m) R 14867 14869 14540 0 -1 4202496 1278086 0 0 0 136129 315 0 0 25 0 4 0 650959859 5140291584 1007982 33554432000 4194304 4650419 140737360214224 18446744073709551615 4365054 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/14869/statm: 1254954 1007982 395 112 0 1249919 0
[pid=14869/tid=14870] ppid=14867 vsize=5019816 CPUtime=341.4 cores=0,2,4,6
/proc/14869/task/14870/stat : 14870 (strangenight1-m) R 14867 14869 14540 0 -1 4202560 346584 0 0 0 34055 85 0 0 25 0 4 0 650959859 5140291584 1007982 33554432000 4194304 4650419 140737360214224 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14869/tid=14871] ppid=14867 vsize=5019816 CPUtime=341.89 cores=0,2,4,6
/proc/14869/task/14871/stat : 14871 (strangenight1-m) R 14867 14869 14540 0 -1 4202560 248201 0 0 0 34121 68 0 0 25 0 4 0 650959859 5140291584 1007982 33554432000 4194304 4650419 140737360214224 18446744073709551615 4333611 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14869/tid=14872] ppid=14867 vsize=5019816 CPUtime=342.09 cores=0,2,4,6
/proc/14869/task/14872/stat : 14872 (strangenight1-m) R 14867 14869 14540 0 -1 4202560 305158 0 0 0 34133 76 0 0 25 0 4 0 650959859 5140291584 1007982 33554432000 4194304 4650419 140737360214224 18446744073709551615 4364883 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1364.44
Current children cumulated vsize (KiB) 5019816

[startup+402.301 s]
/proc/loadavg: 8.02 8.02 7.98 9/354 14923
/proc/meminfo: memFree=16077040/32951124 swapFree=40554400/67111528
[pid=14869] ppid=14867 vsize=5556752 CPUtime=1603.79 cores=0,2,4,6
/proc/14869/stat : 14869 (strangenight1-m) R 14867 14869 14540 0 -1 4202496 1429625 0 0 0 160032 347 0 0 25 0 4 0 650959859 5690114048 1125295 33554432000 4194304 4650419 140737360214224 18446744073709551615 4426752 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/14869/statm: 1389188 1125295 433 112 0 1384153 0
[pid=14869/tid=14870] ppid=14867 vsize=5556752 CPUtime=401.4 cores=0,2,4,6
/proc/14869/task/14870/stat : 14870 (strangenight1-m) R 14867 14869 14540 0 -1 4202560 356418 0 0 0 40051 89 0 0 25 0 4 0 650959859 5690114048 1125295 33554432000 4194304 4650419 140737360214224 18446744073709551615 4364883 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14869/tid=14871] ppid=14867 vsize=5556752 CPUtime=401.88 cores=0,2,4,6
/proc/14869/task/14871/stat : 14871 (strangenight1-m) R 14867 14869 14540 0 -1 4202560 337332 0 0 0 40106 82 0 0 25 0 4 0 650959859 5690114048 1125295 33554432000 4194304 4650419 140737360214224 18446744073709551615 4368084 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14869/tid=14872] ppid=14867 vsize=5556752 CPUtime=402.08 cores=0,2,4,6
/proc/14869/task/14872/stat : 14872 (strangenight1-m) R 14867 14869 14540 0 -1 4202560 318108 0 0 0 40127 81 0 0 25 0 4 0 650959859 5690114048 1125295 33554432000 4194304 4650419 140737360214224 18446744073709551615 4315992 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1603.79
Current children cumulated vsize (KiB) 5556752

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

[startup+409.5 s]
/proc/loadavg: 7.93 8.00 7.97 9/354 14923
/proc/meminfo: memFree=15299184/32951124 swapFree=40554400/67111528
[pid=14869] ppid=14867 vsize=5449832 CPUtime=1632.5 cores=0,2,4,6
/proc/14869/stat : 14869 (strangenight1-m) R 14867 14869 14540 0 -1 4202496 1440881 0 0 0 162900 350 0 0 25 0 4 0 650959859 5580627968 1118611 33554432000 4194304 4650419 140737360214224 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/14869/statm: 1362458 1118611 407 112 0 1357423 0
[pid=14869/tid=14870] ppid=14867 vsize=5449832 CPUtime=408.61 cores=0,2,4,6
/proc/14869/task/14870/stat : 14870 (strangenight1-m) R 14867 14869 14540 0 -1 4202560 357700 0 0 0 40771 90 0 0 25 0 4 0 650959859 5580627968 1118611 33554432000 4194304 4650419 140737360214224 18446744073709551615 4315222 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14869/tid=14871] ppid=14867 vsize=5449832 CPUtime=409.07 cores=0,2,4,6
/proc/14869/task/14871/stat : 14871 (strangenight1-m) R 14867 14869 14540 0 -1 4202560 339553 0 0 0 40825 82 0 0 25 0 4 0 650959859 5580627968 1118611 33554432000 4194304 4650419 140737360214224 18446744073709551615 4310792 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14869/tid=14872] ppid=14867 vsize=5449832 CPUtime=409.28 cores=0,2,4,6
/proc/14869/task/14872/stat : 14872 (strangenight1-m) R 14867 14869 14540 0 -1 4202560 321251 0 0 0 40846 82 0 0 25 0 4 0 650959859 5580627968 1118611 33554432000 4194304 4650419 140737360214224 18446744073709551615 4229522 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1632.5
Current children cumulated vsize (KiB) 5449832

[startup+422.301 s]
/proc/loadavg: 8.02 8.02 7.98 9/354 14924
/proc/meminfo: memFree=13244116/32951124 swapFree=40554400/67111528
[pid=14869] ppid=14867 vsize=5520500 CPUtime=1683.59 cores=0,2,4,6
/proc/14869/stat : 14869 (strangenight1-m) R 14867 14869 14540 0 -1 4202496 1455087 0 0 0 168004 355 0 0 25 0 4 0 650959859 5652992000 1122879 33554432000 4194304 4650419 140737360214224 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/14869/statm: 1380125 1122879 407 112 0 1375090 0
[pid=14869/tid=14870] ppid=14867 vsize=5520500 CPUtime=421.42 cores=0,2,4,6
/proc/14869/task/14870/stat : 14870 (strangenight1-m) R 14867 14869 14540 0 -1 4202560 360757 0 0 0 42051 91 0 0 25 0 4 0 650959859 5652992000 1122881 33554432000 4194304 4650419 140737360214224 18446744073709551615 4315081 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14869/tid=14871] ppid=14867 vsize=5520500 CPUtime=421.88 cores=0,2,4,6
/proc/14869/task/14871/stat : 14871 (strangenight1-m) R 14867 14869 14540 0 -1 4202560 341782 0 0 0 42105 83 0 0 25 0 4 0 650959859 5652992000 1122881 33554432000 4194304 4650419 140737360214224 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14869/tid=14872] ppid=14867 vsize=5520500 CPUtime=422.09 cores=0,2,4,6
/proc/14869/task/14872/stat : 14872 (strangenight1-m) R 14867 14869 14540 0 -1 4202560 323519 0 0 0 42125 84 0 0 25 0 4 0 650959859 5652992000 1122881 33554432000 4194304 4650419 140737360214224 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1683.59
Current children cumulated vsize (KiB) 5520500

[startup+428.701 s]
/proc/loadavg: 8.02 8.02 7.98 9/354 14924
/proc/meminfo: memFree=12646680/32951124 swapFree=40554400/67111528
[pid=14869] ppid=14867 vsize=5520500 CPUtime=1709.09 cores=0,2,4,6
/proc/14869/stat : 14869 (strangenight1-m) R 14867 14869 14540 0 -1 4202496 1464183 0 0 0 170552 357 0 0 25 0 4 0 650959859 5652992000 1128680 33554432000 4194304 4650419 140737360214224 18446744073709551615 4528900 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/14869/statm: 1380125 1128680 407 112 0 1375090 0
[pid=14869/tid=14870] ppid=14867 vsize=5520500 CPUtime=427.8 cores=0,2,4,6
/proc/14869/task/14870/stat : 14870 (strangenight1-m) R 14867 14869 14540 0 -1 4202560 361815 0 0 0 42689 91 0 0 25 0 4 0 650959859 5652992000 1128680 33554432000 4194304 4650419 140737360214224 18446744073709551615 4333858 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14869/tid=14871] ppid=14867 vsize=5520500 CPUtime=428.27 cores=0,2,4,6
/proc/14869/task/14871/stat : 14871 (strangenight1-m) R 14867 14869 14540 0 -1 4202560 342540 0 0 0 42744 83 0 0 25 0 4 0 650959859 5652992000 1128680 33554432000 4194304 4650419 140737360214224 18446744073709551615 4315137 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14869/tid=14872] ppid=14867 vsize=5520500 CPUtime=428.48 cores=0,2,4,6
/proc/14869/task/14872/stat : 14872 (strangenight1-m) R 14867 14869 14540 0 -1 4202560 324626 0 0 0 42763 85 0 0 25 0 4 0 650959859 5652992000 1128680 33554432000 4194304 4650419 140737360214224 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1709.09
Current children cumulated vsize (KiB) 5520500

[startup+435.101 s]
/proc/loadavg: 8.02 8.02 7.98 9/354 14924
/proc/meminfo: memFree=12271572/32951124 swapFree=40554400/67111528
[pid=14869] ppid=14867 vsize=5574168 CPUtime=1734.61 cores=0,2,4,6
/proc/14869/stat : 14869 (strangenight1-m) R 14867 14869 14540 0 -1 4202496 1468331 0 0 0 173103 358 0 0 25 0 4 0 650959859 5707948032 1132828 33554432000 4194304 4650419 140737360214224 18446744073709551615 4528938 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/14869/statm: 1393542 1132828 407 112 0 1388507 0
[pid=14869/tid=14870] ppid=14867 vsize=5574168 CPUtime=434.21 cores=0,2,4,6
/proc/14869/task/14870/stat : 14870 (strangenight1-m) R 14867 14869 14540 0 -1 4202560 362833 0 0 0 43329 92 0 0 25 0 4 0 650959859 5707948032 1132828 33554432000 4194304 4650419 140737360214224 18446744073709551615 4363670 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14869/tid=14871] ppid=14867 vsize=5574168 CPUtime=434.67 cores=0,2,4,6
/proc/14869/task/14871/stat : 14871 (strangenight1-m) R 14867 14869 14540 0 -1 4202560 343583 0 0 0 43383 84 0 0 25 0 4 0 650959859 5707948032 1132828 33554432000 4194304 4650419 140737360214224 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14869/tid=14872] ppid=14867 vsize=5574168 CPUtime=434.88 cores=0,2,4,6
/proc/14869/task/14872/stat : 14872 (strangenight1-m) R 14867 14869 14540 0 -1 4202560 325583 0 0 0 43403 85 0 0 25 0 4 0 650959859 5707948032 1132828 33554432000 4194304 4650419 140737360214224 18446744073709551615 4367284 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1734.61
Current children cumulated vsize (KiB) 5574168

[startup+436.713 s]
/proc/loadavg: 8.02 8.02 7.98 9/354 14924
/proc/meminfo: memFree=11966036/32951124 swapFree=40554400/67111528
[pid=14869] ppid=14867 vsize=5639704 CPUtime=1741.04 cores=0,2,4,6
/proc/14869/stat : 14869 (strangenight1-m) R 14867 14869 14540 0 -1 4202496 1469023 0 0 0 173746 358 0 0 25 0 4 0 650959859 5775056896 1133520 33554432000 4194304 4650419 140737360214224 18446744073709551615 4515964 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/14869/statm: 1409926 1133520 407 112 0 1404891 0
[pid=14869/tid=14870] ppid=14867 vsize=5639704 CPUtime=435.82 cores=0,2,4,6
/proc/14869/task/14870/stat : 14870 (strangenight1-m) R 14867 14869 14540 0 -1 4202560 363017 0 0 0 43490 92 0 0 25 0 4 0 650959859 5775056896 1133520 33554432000 4194304 4650419 140737360214224 18446744073709551615 4328853 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14869/tid=14871] ppid=14867 vsize=5639704 CPUtime=436.28 cores=0,2,4,6
/proc/14869/task/14871/stat : 14871 (strangenight1-m) R 14867 14869 14540 0 -1 4202560 343710 0 0 0 43544 84 0 0 25 0 4 0 650959859 5775056896 1133520 33554432000 4194304 4650419 140737360214224 18446744073709551615 4365477 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14869/tid=14872] ppid=14867 vsize=5639704 CPUtime=436.49 cores=0,2,4,6
/proc/14869/task/14872/stat : 14872 (strangenight1-m) R 14867 14869 14540 0 -1 4202560 325774 0 0 0 43564 85 0 0 25 0 4 0 650959859 5775056896 1133520 33554432000 4194304 4650419 140737360214224 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1741.04
Current children cumulated vsize (KiB) 5639704

[startup+438.301 s]
/proc/loadavg: 8.02 8.02 7.98 9/354 14924
/proc/meminfo: memFree=11856792/32951124 swapFree=40554400/67111528
[pid=14869] ppid=14867 vsize=5587944 CPUtime=1747.37 cores=0,2,4,6
/proc/14869/stat : 14869 (strangenight1-m) R 14867 14869 14540 0 -1 4202496 1471033 0 0 0 174378 359 0 0 25 0 4 0 650959859 5722054656 1129064 33554432000 4194304 4650419 140737360214224 18446744073709551615 4364856 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/14869/statm: 1396986 1129064 407 112 0 1391951 0
[pid=14869/tid=14870] ppid=14867 vsize=5587944 CPUtime=437.4 cores=0,2,4,6
/proc/14869/task/14870/stat : 14870 (strangenight1-m) R 14867 14869 14540 0 -1 4202560 363290 0 0 0 43648 92 0 0 25 0 4 0 650959859 5722054656 1129064 33554432000 4194304 4650419 140737360214224 18446744073709551615 4363670 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14869/tid=14871] ppid=14867 vsize=5587944 CPUtime=437.87 cores=0,2,4,6
/proc/14869/task/14871/stat : 14871 (strangenight1-m) R 14867 14869 14540 0 -1 4202560 343864 0 0 0 43703 84 0 0 25 0 4 0 650959859 5722054656 1129064 33554432000 4194304 4650419 140737360214224 18446744073709551615 4315103 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14869/tid=14872] ppid=14867 vsize=5587944 CPUtime=438.08 cores=0,2,4,6
/proc/14869/task/14872/stat : 14872 (strangenight1-m) R 14867 14869 14540 0 -1 4202560 325979 0 0 0 43723 85 0 0 25 0 4 0 650959859 5722054656 1129064 33554432000 4194304 4650419 140737360214224 18446744073709551615 4366906 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1747.37
Current children cumulated vsize (KiB) 5587944

[startup+439.101 s]
/proc/loadavg: 7.94 8.00 7.97 9/354 14924
/proc/meminfo: memFree=11970748/32951124 swapFree=40554400/67111528
[pid=14869] ppid=14867 vsize=5587944 CPUtime=1750.56 cores=0,2,4,6
/proc/14869/stat : 14869 (strangenight1-m) R 14867 14869 14540 0 -1 4202496 1471380 0 0 0 174697 359 0 0 25 0 4 0 650959859 5722054656 1129411 33554432000 4194304 4650419 140737360214224 18446744073709551615 4367236 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/14869/statm: 1396986 1129411 407 112 0 1391951 0
[pid=14869/tid=14870] ppid=14867 vsize=5587944 CPUtime=438.2 cores=0,2,4,6
/proc/14869/task/14870/stat : 14870 (strangenight1-m) R 14867 14869 14540 0 -1 4202560 363350 0 0 0 43728 92 0 0 25 0 4 0 650959859 5722054656 1129411 33554432000 4194304 4650419 140737360214224 18446744073709551615 4314985 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14869/tid=14871] ppid=14867 vsize=5587944 CPUtime=438.67 cores=0,2,4,6
/proc/14869/task/14871/stat : 14871 (strangenight1-m) R 14867 14869 14540 0 -1 4202560 343924 0 0 0 43783 84 0 0 25 0 4 0 650959859 5722054656 1129411 33554432000 4194304 4650419 140737360214224 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14869/tid=14872] ppid=14867 vsize=5587944 CPUtime=438.88 cores=0,2,4,6
/proc/14869/task/14872/stat : 14872 (strangenight1-m) R 14867 14869 14540 0 -1 4202560 326052 0 0 0 43803 85 0 0 25 0 4 0 650959859 5722054656 1129411 33554432000 4194304 4650419 140737360214224 18446744073709551615 4334396 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1750.56
Current children cumulated vsize (KiB) 5587944

[startup+439.301 s]
/proc/loadavg: 7.94 8.00 7.97 9/354 14924
/proc/meminfo: memFree=11970748/32951124 swapFree=40554400/67111528
[pid=14869] ppid=14867 vsize=5587944 CPUtime=1751.36 cores=0,2,4,6
/proc/14869/stat : 14869 (strangenight1-m) R 14867 14869 14540 0 -1 4202496 1471482 0 0 0 174777 359 0 0 25 0 4 0 650959859 5722054656 1129513 33554432000 4194304 4650419 140737360214224 18446744073709551615 4363420 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/14869/statm: 1396986 1129513 407 112 0 1391951 0
[pid=14869/tid=14870] ppid=14867 vsize=5587944 CPUtime=438.4 cores=0,2,4,6
/proc/14869/task/14870/stat : 14870 (strangenight1-m) R 14867 14869 14540 0 -1 4202560 363388 0 0 0 43748 92 0 0 25 0 4 0 650959859 5722054656 1129513 33554432000 4194304 4650419 140737360214224 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14869/tid=14871] ppid=14867 vsize=5587944 CPUtime=438.87 cores=0,2,4,6
/proc/14869/task/14871/stat : 14871 (strangenight1-m) R 14867 14869 14540 0 -1 4202560 343939 0 0 0 43803 84 0 0 25 0 4 0 650959859 5722054656 1129513 33554432000 4194304 4650419 140737360214224 18446744073709551615 4367329 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14869/tid=14872] ppid=14867 vsize=5587944 CPUtime=439.08 cores=0,2,4,6
/proc/14869/task/14872/stat : 14872 (strangenight1-m) R 14867 14869 14540 0 -1 4202560 326067 0 0 0 43823 85 0 0 25 0 4 0 650959859 5722054656 1129513 33554432000 4194304 4650419 140737360214224 18446744073709551615 4364889 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1751.36
Current children cumulated vsize (KiB) 5587944

[startup+439.401 s]
/proc/loadavg: 7.94 8.00 7.97 9/354 14924
/proc/meminfo: memFree=11970748/32951124 swapFree=40554400/67111528
[pid=14869] ppid=14867 vsize=0 CPUtime=1751.52 cores=0,2,4,6
/proc/14869/stat : 14869 (strangenight1-m) R 14867 14869 14540 0 -1 4203524 1471493 0 0 0 174784 368 0 0 25 0 1 0 650959859 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/14869/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1751.52
Current children cumulated vsize (KiB) 0

Child status: 20
Real time (s): 439.495
CPU time (s): 1751.62
CPU user time (s): 1747.84
CPU system time (s): 3.77543
CPU usage (%): 398.552
Max. virtual memory (cumulated for all children) (KiB): 5639704

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1747.84
system time used= 3.77543
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1471493
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= 63364
involuntary context switches= 10026

runsolver used 1.35879 second user time and 3.45047 second system time

The end

Launcher Data 

Begin job on node104 at 2011-05-14 19:19:54
IDJOB=3369613
IDBENCH=82378
IDSOLVER=1846
FILE ID=node104/3369613-1305393593
RUNJOBID= node104-1305393593-14854
PBS_JOBID= 13324447
Free space on /tmp= 73344 MiB

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

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

MD5SUM BENCH= 36e8e2178d03f08fa4223da0e3d9beb5
RANDOM SEED=661203665

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      25821668 kB
Buffers:        286896 kB
Cached:        2362948 kB
SwapCached:     122128 kB
Active:         922008 kB
Inactive:      5940224 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      25821668 kB
SwapTotal:    67111528 kB
SwapFree:     40554400 kB
Dirty:           58992 kB
Writeback:           0 kB
AnonPages:     4102932 kB
Mapped:          10484 kB
Slab:           119016 kB
PageTables:      84276 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 74810360 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= 73200 MiB
End job on node104 at 2011-05-14 19:27:14