Trace number 3285288

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-mtUNSAT 1710.81 428.486

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.00	c Using 4 threads
0.00/0.00	c This is CryptoMiniSat 2.9.0
0.00/0.00	c compiled with gcc version 4.4.5
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3285288-1304038415.cnf'
0.00/0.00	c -- header says num vars:          87884
0.00/0.00	c -- header says num clauses:     1413816
1.56/0.52	c -- clauses added:            0 learnts,      1413816 normals,            0 xors
1.56/0.52	c -- vars added      87884
1.56/0.52	c Parsing time:  1.20 s
1.56/0.52	c  N st     0         0     87884     37242   1002916         0   2379025         0   no data   no data  --
2.72/0.82	c asymm  cl-useful: 340/925/31008 lits-rem:13381 time: 1.17
28.28/7.23	c Flit:   272 Blit:   9075 bXBeca:    0 bXProp:  503 Bins:      0 BRemL:      0 BRemN:      0 P: 200.0M T: 25.49
28.28/7.25	c Cleaning up after failed var search:     0.09 s 
28.28/7.29	c Replacing      503 vars Replaced    29211 lits Time:     0.12 s 
28.68/7.38	c bin-w-bin subsume rem          734 bins  time:  0.22 s
29.48/7.51	c subs with bin:       33  lits-rem:       151  v-fix:    0  time:  0.51 s
41.07/10.40	c Subs w/ non-existent bins:     29 l-rem:    686 v-fix:   384 done:  33612 time: 11.54 s
41.47/10.56	c Removed useless bin:    9772  fixed:     0  props:  20.01M  time:  0.64 s
42.27/10.77	c lits-rem:         0  cl-subs:       80  v-elim:     13  v-fix:    0  time:  0.80 s
42.27/10.79	c Finding binary XORs  T:     0.08 s  found:     218
42.67/10.82	c Replacing      218 vars Replaced    17256 lits Time:     0.12 s 
42.67/10.86	c Finding non-binary XORs:     0.07 s (found:       0, avg size: nan)
42.67/10.86	c Calc default polars -  time:   0.05 s pos:    1621 undec:   44954 neg:   41309
42.67/10.86	c =========================================================================================
42.67/10.86	c types(t): F = full restart, N = normal restart
42.67/10.86	c types(t): S = simplification begin/end, E = solution found
42.67/10.86	c restart types(rt): st = static, dy = dynamic
42.67/10.86	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
42.67/10.86	c  B st     0         0     42936     25852    552092         0   1334420         0   no data   no data  --
67.03/16.90	c  N dy    14      4342     42930     25852    552175      4234   1334420   3397761     39.13     45.96  --
90.21/22.72	c  N dy    30      9320     42866     25852    552859      6056   1334420   2629253     30.54     33.22  --
107.79/27.14	c  N dy    45     13758     42829     25852    553122      5348   1334420    713294     29.16     30.90  --
124.96/31.47	c  N dy    62     17883     42819     25852    553188      9375   1334420   2895522     28.32     30.50  --
144.56/36.37	c  N dy    82     21969     42770     25852    553539      6868   1334420    568843     28.42     32.35  --
156.12/39.27	c  F st    92     25002     42700     25852    553859      9824   1334420   2000740     27.40     16.53  --
163.32/41.02	c  N st    95     26197     42700     25707    548999     10973   1323027   2675337     27.40   no data  --
196.08/49.29	c  S st    98     30000     42695     25707    549031     14716   1323027   7249632     27.40   no data  --
198.87/49.90	c  S st    98     30501     42692     25707    549041     15201   1323027   7430746     27.40   no data  --
198.87/49.93	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.15
321.51/80.65	c Flit:   514 Blit:   1559 bXBeca:    0 bXProp:  124 Bins: 312152 BRemL:   1788 BRemN:   2679 P: 200.0M T: 122.29
321.90/80.70	c Cleaning up after failed var search:     0.21 s 
322.71/80.99	c Replacing      125 vars Replaced    30579 lits Time:     1.14 s 
325.89/81.72	c bin-w-bin subsume rem          874 bins  time:  0.31 s
331.48/83.18	c subs with bin:        0  lits-rem:         6  v-fix:    0  time:  5.79 s
332.28/83.37	c Subs w/ non-existent bins:      4 l-rem:    599 v-fix:     0 done:    699 time:  0.78 s
333.09/83.59	c Removed useless bin:   27318  fixed:     0  props:  20.01M  time:  0.84 s
343.07/86.09	c lits-rem:       123  cl-subs:      782  v-elim:      4  v-fix:    0  time:  9.91 s
344.67/86.44	c asymm  cl-useful: 166/604/24686 lits-rem:2342 time: 1.41
345.86/86.72	c calculated reachability. Time: 1.00
345.86/86.72	c  N dy    98     30501     40199     24686    767474     14091   1172358   7397555     27.40   no data  --
348.66/87.41	c Finding binary XORs  T:     2.75 s  found:      80
377.03/94.57	c  N dy   104     34926     40198     24686    768233     10787   1172358   2492928     25.16     26.62  --
403.40/101.19	c  N dy   110     39314     40170     24686    770689     15012   1172358   4612275     23.36     24.62  --
426.16/106.89	c  N dy   117     43568     40160     24686    770818     10408   1172358   2014902     22.31     23.53  --
443.74/111.23	c Finding binary XORs  T:     2.85 s  found:     157
446.95/112.06	c  S st   124     45751     39229     24147    779596     12148   1137985   3290392     21.98   no data  --
448.94/112.57	c  S st   124     46251     39229     24147    779608     12632   1137985   3365156     21.98   no data  --
449.34/112.60	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.13
449.34/112.62	c Cache  BProp: 1391 Set: 1 BXProp: 0 T: 0.09
522.48/130.98	c Flit:   235 Blit:    178 bXBeca:    0 bXProp:   28 Bins: 224479 BRemL:     41 BRemN:    569 P: 200.0M T: 73.22
522.86/131.01	c Cleaning up after failed var search:     0.12 s 
523.26/131.16	c Replacing      266 vars Replaced    58960 lits Time:     0.62 s 
524.45/131.43	c bin-w-bin subsume rem         3081 bins  time:  0.43 s
530.04/132.86	c subs with bin:        0  lits-rem:        55  v-fix:    0  time:  5.72 s
531.26/133.11	c Subs w/ non-existent bins:      7 l-rem:    374 v-fix:     0 done:   1870 time:  0.98 s
532.04/133.31	c Removed useless bin:    5165  fixed:     0  props:  20.01M  time:  0.80 s
539.65/135.22	c lits-rem:      1022  cl-subs:      269  v-elim:      4  v-fix:    0  time:  7.65 s
539.65/135.28	c vivif2 --  cl tried    23937 cl shrink      106 lits rem        713 time: 0.20
540.83/135.53	c vivif2 --  cl tried    12290 cl shrink     5941 lits rem     466761 time: 1.01
542.03/135.89	c asymm  cl-useful: 68/539/23932 lits-rem:769 time: 1.46
543.62/136.25	c calculated reachability. Time: 1.35
543.62/136.25	c  N dy   124     46251     38525     23932    977671     11572   1105568   3233601     21.98   no data  --
548.03/137.30	c Finding binary XORs  T:     4.09 s  found:      33
585.57/146.76	c  N dy   125     51807     38524     23931    978709     16988   1105368   7599329     20.38     26.33  --
612.34/153.44	c  N dy   131     56996     38486     23931    978830     13639   1105368   3685291     19.49     20.79  --
635.12/159.19	c  N dy   139     61086     38472     23931    979413     17631   1105368   5880472     18.97     20.12  --
661.89/165.84	c Finding binary XORs  T:     4.16 s  found:      21
679.47/170.26	c  N dy   158     69117     38383     23869   1005596     15727   1100055   2278621     18.22     20.51  --
681.06/170.64	c  S st   161     69376     38383     23869   1005599     15982   1100055   2400227     18.22   no data  --
683.46/171.21	c  S st   161     69878     38383     23869   1005613     16470   1100055   2459871     18.22   no data  --
683.46/171.25	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.14
683.46/171.28	c Cache  BProp: 736 Set: 10 BXProp: 0 T: 0.13
753.38/188.72	c Flit:   165 Blit:    202 bXBeca:    0 bXProp:   17 Bins: 231445 BRemL:    161 BRemN:    622 P: 200.0M T: 69.54
753.38/188.75	c Cleaning up after failed var search:     0.10 s 
753.77/188.84	c Replacing       71 vars Replaced    29976 lits Time:     0.35 s 
754.57/189.07	c bin-w-bin subsume rem         2816 bins  time:  0.56 s
760.57/190.57	c subs with bin:       89  lits-rem:       892  v-fix:    0  time:  5.98 s
762.96/191.13	c Subs w/ non-existent bins:     19 l-rem:    665 v-fix:     0 done:   3564 time:  2.24 s
763.78/191.37	c Removed useless bin:   30205  fixed:     0  props:  20.01M  time:  0.94 s
770.16/192.90	c lits-rem:       909  cl-subs:      296  v-elim:     23  v-fix:    0  time:  6.13 s
770.16/192.97	c vivif2 --  cl tried    23723 cl shrink       19 lits rem        126 time: 0.26
770.95/193.19	c vivif2 --  cl tried    15155 cl shrink     3600 lits rem     166482 time: 0.87
772.57/193.57	c asymm  cl-useful: 21/675/23722 lits-rem:138 time: 1.51
774.55/194.04	c calculated reachability. Time: 1.81
774.55/194.05	c  N dy   161     69878     37910     23721   1190907     14865   1025124   2627364     18.22   no data  --
780.14/195.43	c Finding binary XORs  T:     5.53 s  found:      24
812.13/203.46	c  N dy   168     76437     37793     23721   1228557     21214   1025124   4852481     17.50     18.49  --
846.87/212.19	c  N dy   173     82647     37793     23721   1228641     17816   1025124   3359052     16.90     18.26  --
852.85/213.62	c Finding binary XORs  T:     5.55 s  found:      22
881.63/220.88	c  F st   177     87500     37781     23652   1221180     22533   1020694   5113507     16.47      8.88  --
882.44/221.08	c Replacing       46 vars Replaced    29070 lits Time:     0.71 s 
886.84/222.13	c  N st   179     88125     37735     23649   1221076     23136   1020486   5307822     16.47   no data  --
927.16/232.28	c  N dy   187     94825     37683     23649   1221420     18140   1020486   2901894     16.35     17.88  --
966.34/242.07	c  N dy   198    101196     37680     23649   1221778     24377   1020486   5872423     16.02     17.39  --
989.89/247.92	c  S st   202    104819     37679     23649   1221922     27912   1020486   7276136     15.80      8.47  --
991.88/248.49	c  S st   202    105325     37679     23649   1221951     28389   1020486   7363773     15.80   no data  --
992.30/248.54	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.17
992.30/248.58	c Cache  BProp: 789 Set: 1 BXProp: 0 T: 0.16
1068.19/267.53	c Flit:   131 Blit:     55 bXBeca:    0 bXProp:    5 Bins: 186531 BRemL:    339 BRemN:    527 P: 200.0M T: 75.53
1068.19/267.54	c Cleaning up after failed var search:     0.00 s 
1068.98/267.76	c Replacing        6 vars Replaced     2954 lits Time:     0.90 s 
1071.41/268.31	c bin-w-bin subsume rem         7639 bins  time:  0.67 s
1077.78/269.93	c subs with bin:       92  lits-rem:       345  v-fix:    0  time:  6.48 s
1078.57/270.16	c Subs w/ non-existent bins:      4 l-rem:    357 v-fix:     0 done:    534 time:  0.95 s
1079.37/270.39	c Removed useless bin:    5679  fixed:     0  props:  20.00M  time:  0.89 s
1149.29/287.84	c lits-rem:       257  cl-subs:      675  v-elim:      5  v-fix:    0  time: 69.67 s
1149.69/287.92	c vivif2 --  cl tried    23526 cl shrink       19 lits rem        179 time: 0.30
1152.08/288.58	c vivif2 --  cl tried    27518 cl shrink     8320 lits rem    1399866 time: 2.62
1153.68/288.98	c asymm  cl-useful: 16/474/23525 lits-rem:67 time: 1.61
1156.07/289.54	c calculated reachability. Time: 2.13
1156.07/289.55	c  N dy   202    105325     37473     23525   1379622     27292   1000335   6137785     15.80   no data  --
1162.47/291.20	c Finding binary XORs  T:     6.59 s  found:      16
1204.42/301.64	c Finding binary XORs  T:     6.54 s  found:      46
1214.41/304.12	c  N dy   213    112101     37308     23405   1413753     21505    994178   3654201     15.48     17.66  --
1239.18/310.32	c Finding binary XORs  T:     6.58 s  found:       8
1260.37/315.67	c  N dy   217    119450     37257     23383   1475988     28675    992684   6399998     15.11     16.02  --
1326.29/332.10	c  N dy   229    130355     37248     23383   1476579     26000    992684   5095981     14.59     15.64  --
1379.81/345.51	c  N dy   245    139398     37163     23383   1477098     34874    992684   8130284     14.29     15.09  --
1436.95/359.81	c  N dy   257    148690     37153     23383   1477360     29832    992684   4950780     14.02     15.14  --
1492.48/373.79	c  S st   276    157987     37135     23383   1477565     38998    992684   7803116     13.83      8.05  --
1495.67/374.57	c  S st   276    158487     37112     23383   1477722     39488    992684   7967516     13.83   no data  --
1496.07/374.62	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.19
1496.07/374.67	c Cache  BProp: 707 Set: 4 BXProp: 0 T: 0.19
1559.21/390.42	c Flit:   101 Blit:     19 bXBeca:    0 bXProp:    7 Bins: 131454 BRemL:     64 BRemN:    464 P: 200.0M T: 62.84
1559.21/390.42	c Cleaning up after failed var search:     0.00 s 
1560.39/390.76	c Replacing       78 vars Replaced    39186 lits Time:     1.33 s 
1562.79/391.30	c bin-w-bin subsume rem          991 bins  time:  0.74 s
1568.78/392.86	c subs with bin:        0  lits-rem:       252  v-fix:    0  time:  6.21 s
1569.98/393.15	c Subs w/ non-existent bins:      6 l-rem:    716 v-fix:     0 done:    970 time:  1.14 s
1570.78/393.38	c Removed useless bin:    5652  fixed:     0  props:  20.01M  time:  0.92 s
1672.26/418.75	c lits-rem:       463  cl-subs:     1073  v-elim:      1  v-fix:    0  time: 101.30 s
1672.66/418.84	c vivif2 --  cl tried    23244 cl shrink        7 lits rem         78 time: 0.34
1675.85/419.67	c vivif2 --  cl tried    37740 cl shrink    11971 lits rem    1660004 time: 3.29
1677.86/420.12	c asymm  cl-useful: 22/475/23244 lits-rem:110 time: 1.81
1680.24/420.76	c calculated reachability. Time: 2.44
1680.24/420.76	c  N dy   276    158487     36908     23239   1582872     37295    971594   6274703     13.83   no data  --
1687.83/422.67	c Finding binary XORs  T:     7.62 s  found:      15
1710.60/428.30	c Following stats are for *FIRST FINISHED THREAD ONLY*
1710.60/428.30	c num threads              : 4          
1710.60/428.30	c restarts                 : 361        
1710.60/428.30	c dynamic restarts         : 349        
1710.60/428.30	c static restarts          : 12         
1710.60/428.30	c full restarts            : 2          
1710.60/428.30	c total simplify time      : 26.87      
1710.60/428.30	c learnts DL2              : 0          
1710.60/428.30	c learnts size 2           : 2314203    
1710.60/428.30	c learnts size 1           : 60899       (69.29     % of vars)
1710.60/428.30	c filedLit time            : 87.19       (5.11      % time)
1710.60/428.30	c v-elim SatELite          : 19          (0.02      % vars)
1710.60/428.30	c SatELite time            : 74.66       (4.37      % time)
1710.60/428.30	c v-elim xor               : 0           (0.00      % vars)
1710.60/428.30	c xor elim time            : 0.31        (0.02      % time)
1710.60/428.30	c num binary xor trees     : 1642       
1710.60/428.30	c binxor trees' crown      : 1754        (1.07      leafs/tree)
1710.60/428.30	c bin xor find time        : 24.27      
1710.60/428.30	c OTF clause improved      : 1236        (0.01      clauses/conflict)
1710.60/428.30	c OTF impr. size diff      : 3888        (3.15       lits/clause)
1710.60/428.30	c OTF cl watch-shrink      : 193165      (0.83      clauses/conflict)
1710.60/428.30	c OTF cl watch-sh-lit      : 13325007    (68.98      lits/clause)
1710.60/428.30	c tried to recurMin cls    : 172105      (74.22      % of conflicts)
1710.60/428.30	c updated cache            : 61295       (0.36       lits/tried recurMin)
1710.60/428.30	c unit cls received        : 4353        (7.15      % of units)
1710.60/428.30	c unit cls sent            : 37171       (61.04     % of units)
1710.60/428.30	c bin cls received         : 1213695    
1710.60/428.30	c bin cls sent             : 95176      
1710.60/428.30	c clauses over max glue    : 0           (0.00      % of all clauses)
1710.60/428.30	c conflicts                : 231875      (135.82    / sec)
1710.60/428.30	c decisions                : 989619      (0.83      % random)
1710.60/428.30	c bogo-props               : 7582447133  (4441315.69 / sec)
1710.60/428.30	c conflict literals        : 105737993   (37.06     % deleted)
1710.60/428.30	c Memory used              : 5417.28     MB
1710.60/428.30	c single-thread CPU time   : 1707.25     s
1710.60/428.30	c all-threads sum CPU time : 1707.25     s
1710.60/428.30	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: 935)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3285288-1304038415/watcher-3285288-1304038415 -o /tmp/evaluation-result-3285288-1304038415/solver-3285288-1304038415 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3285288-1304038415.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: 4.51 6.84 7.25 3/174 17924
/proc/meminfo: memFree=11704312/32951124 swapFree=67102140/67111528
[pid=17924] ppid=17922 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/17924/stat : 17924 (strangenight1-m) R 17922 17924 16723 0 -1 4202496 413 0 0 0 0 0 0 0 20 0 4 0 594072233 52465664 352 33554432000 4194304 4650419 140736104458624 18446744073709551615 47816430409650 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/17924/statm: 12809 352 303 112 0 7774 0
[pid=17924/tid=17925] ppid=17922 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/17924/task/17925/stat : 17925 (strangenight1-m) R 17922 17924 16723 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 4 0 594072233 52465664 352 33554432000 4194304 4650419 140736104458624 18446744073709551615 47816430409650 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17924/tid=17926] ppid=17922 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/17924/task/17926/stat : 17926 (strangenight1-m) R 17922 17924 16723 0 -1 4202560 0 0 0 0 0 0 0 0 21 0 4 0 594072233 52465664 352 33554432000 4194304 4650419 140736104458624 18446744073709551615 47816430409650 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17924/tid=17927] ppid=17922 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/17924/task/17927/stat : 17927 (strangenight1-m) R 17922 17924 16723 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 4 0 594072233 52465664 352 33554432000 4194304 4650419 140736104458624 18446744073709551615 216735235057 0 0 4096 2 0 0 0 -1 4 0 0 0

[startup+0.0839791 s]
/proc/loadavg: 4.51 6.84 7.25 3/174 17924
/proc/meminfo: memFree=11704312/32951124 swapFree=67102140/67111528
[pid=17924] ppid=17922 vsize=301168 CPUtime=0.26 cores=0,2,4,6
/proc/17924/stat : 17924 (strangenight1-m) S 17922 17924 16723 0 -1 4202496 11452 0 0 0 23 3 0 0 18 0 4 0 594072233 308396032 9426 33554432000 4194304 4650419 140736104458624 18446744073709551615 216735283694 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/17924/statm: 75292 9440 345 112 0 70257 0
[pid=17924/tid=17925] ppid=17922 vsize=301168 CPUtime=0.06 cores=0,2,4,6
/proc/17924/task/17925/stat : 17925 (strangenight1-m) R 17922 17924 16723 0 -1 4202560 2889 0 0 0 6 0 0 0 18 0 4 0 594072233 308396032 9451 33554432000 4194304 4650419 140736104458624 18446744073709551615 216734875856 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17924/tid=17926] ppid=17922 vsize=301168 CPUtime=0.07 cores=0,2,4,6
/proc/17924/task/17926/stat : 17926 (strangenight1-m) S 17922 17924 16723 0 -1 4202560 2788 0 0 0 6 1 0 0 18 0 4 0 594072233 308396032 9459 33554432000 4194304 4650419 140736104458624 18446744073709551615 216735283694 0 0 4096 2 18446604453979275520 0 0 -1 0 0 0 0
[pid=17924/tid=17927] ppid=17922 vsize=301168 CPUtime=0.04 cores=0,2,4,6
/proc/17924/task/17927/stat : 17927 (strangenight1-m) S 17922 17924 16723 0 -1 4202560 2523 0 0 0 4 0 0 0 18 0 4 0 594072233 308396032 9459 33554432000 4194304 4650419 140736104458624 18446744073709551615 216735283694 0 0 4096 2 18446604453979275520 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 301168

[startup+0.101017 s]
/proc/loadavg: 4.51 6.84 7.25 3/174 17924
/proc/meminfo: memFree=11704312/32951124 swapFree=67102140/67111528
[pid=17924] ppid=17922 vsize=304080 CPUtime=0.3 cores=0,2,4,6
/proc/17924/stat : 17924 (strangenight1-m) R 17922 17924 16723 0 -1 4202496 13304 0 0 0 27 3 0 0 18 0 4 0 594072233 311377920 11261 33554432000 4194304 4650419 140736104458624 18446744073709551615 4373800 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/17924/statm: 76020 11261 345 112 0 70985 0
[pid=17924/tid=17925] ppid=17922 vsize=304080 CPUtime=0.07 cores=0,2,4,6
/proc/17924/task/17925/stat : 17925 (strangenight1-m) S 17922 17924 16723 0 -1 4202560 3332 0 0 0 7 0 0 0 18 0 4 0 594072233 311377920 11261 33554432000 4194304 4650419 140736104458624 18446744073709551615 216735283694 0 0 4096 2 18446604453979275520 0 0 -1 2 0 0 0
[pid=17924/tid=17926] ppid=17922 vsize=304080 CPUtime=0.08 cores=0,2,4,6
/proc/17924/task/17926/stat : 17926 (strangenight1-m) R 17922 17924 16723 0 -1 4202560 3327 0 0 0 7 1 0 0 18 0 4 0 594072233 311377920 11261 33554432000 4194304 4650419 140736104458624 18446744073709551615 4373787 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17924/tid=17927] ppid=17922 vsize=304080 CPUtime=0.05 cores=0,2,4,6
/proc/17924/task/17927/stat : 17927 (strangenight1-m) D 17922 17924 16723 0 -1 4202560 2865 0 0 0 5 0 0 0 18 0 4 0 594072233 311377920 11261 33554432000 4194304 4650419 140736104458624 18446744073709551615 216735221943 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 304080

[startup+0.301963 s]
/proc/loadavg: 4.51 6.84 7.25 3/174 17924
/proc/meminfo: memFree=11704312/32951124 swapFree=67102140/67111528
[pid=17924] ppid=17922 vsize=399156 CPUtime=0.86 cores=0,2,4,6
/proc/17924/stat : 17924 (strangenight1-m) R 17922 17924 16723 0 -1 4202496 32009 0 0 0 65 21 0 0 17 0 4 0 594072233 408735744 27751 33554432000 4194304 4650419 140736104458624 18446744073709551615 216735221943 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/17924/statm: 99789 27785 345 112 0 94754 0
[pid=17924/tid=17925] ppid=17922 vsize=399156 CPUtime=0.21 cores=0,2,4,6
/proc/17924/task/17925/stat : 17925 (strangenight1-m) R 17922 17924 16723 0 -1 4202560 8239 0 0 0 15 6 0 0 17 0 4 0 594072233 408735744 27795 33554432000 4194304 4650419 140736104458624 18446744073709551615 216734839841 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17924/tid=17926] ppid=17922 vsize=399156 CPUtime=0.24 cores=0,2,4,6
/proc/17924/task/17926/stat : 17926 (strangenight1-m) R 17922 17924 16723 0 -1 4202560 8107 0 0 0 20 4 0 0 17 0 4 0 594072233 408735744 27805 33554432000 4194304 4650419 140736104458624 18446744073709551615 216735283743 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17924/tid=17927] ppid=17922 vsize=399156 CPUtime=0.18 cores=0,2,4,6
/proc/17924/task/17927/stat : 17927 (strangenight1-m) S 17922 17924 16723 0 -1 4202560 7297 0 0 0 14 4 0 0 17 0 4 0 594072233 408735744 27826 33554432000 4194304 4650419 140736104458624 18446744073709551615 216735283694 0 0 4096 2 18446604453979275520 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.86
Current children cumulated vsize (KiB) 399156

[startup+0.700843 s]
/proc/loadavg: 4.51 6.84 7.25 3/174 17924
/proc/meminfo: memFree=11704312/32951124 swapFree=67102140/67111528
[pid=17924] ppid=17922 vsize=439736 CPUtime=2.33 cores=0,2,4,6
/proc/17924/stat : 17924 (strangenight1-m) R 17922 17924 16723 0 -1 4202496 57688 0 0 0 191 42 0 0 18 0 4 0 594072233 450289664 49162 33554432000 4194304 4650419 140736104458624 18446744073709551615 4370779 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/17924/statm: 109934 49162 368 112 0 104899 0
[pid=17924/tid=17925] ppid=17922 vsize=439736 CPUtime=0.57 cores=0,2,4,6
/proc/17924/task/17925/stat : 17925 (strangenight1-m) R 17922 17924 16723 0 -1 4202560 14766 0 0 0 45 12 0 0 18 0 4 0 594072233 450289664 49162 33554432000 4194304 4650419 140736104458624 18446744073709551615 4369075 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17924/tid=17926] ppid=17922 vsize=439736 CPUtime=0.61 cores=0,2,4,6
/proc/17924/task/17926/stat : 17926 (strangenight1-m) R 17922 17924 16723 0 -1 4202560 14564 0 0 0 53 8 0 0 18 0 4 0 594072233 450289664 49162 33554432000 4194304 4650419 140736104458624 18446744073709551615 4370242 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17924/tid=17927] ppid=17922 vsize=439736 CPUtime=0.55 cores=0,2,4,6
/proc/17924/task/17927/stat : 17927 (strangenight1-m) R 17922 17924 16723 0 -1 4202560 13432 0 0 0 45 10 0 0 18 0 4 0 594072233 450289664 49162 33554432000 4194304 4650419 140736104458624 18446744073709551615 4315210 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.33
Current children cumulated vsize (KiB) 439736

[startup+1.5007 s]
/proc/loadavg: 4.79 6.86 7.25 10/184 17937
/proc/meminfo: memFree=11238116/32951124 swapFree=67102140/67111528
[pid=17924] ppid=17922 vsize=448332 CPUtime=5.52 cores=0,2,4,6
/proc/17924/stat : 17924 (strangenight1-m) R 17922 17924 16723 0 -1 4202496 61372 0 0 0 509 43 0 0 19 0 4 0 594072233 459091968 51400 33554432000 4194304 4650419 140736104458624 18446744073709551615 4370264 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/17924/statm: 112083 51400 373 112 0 107048 0
[pid=17924/tid=17925] ppid=17922 vsize=448332 CPUtime=1.37 cores=0,2,4,6
/proc/17924/task/17925/stat : 17925 (strangenight1-m) R 17922 17924 16723 0 -1 4202560 15745 0 0 0 125 12 0 0 19 0 4 0 594072233 459091968 51400 33554432000 4194304 4650419 140736104458624 18446744073709551615 4370329 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17924/tid=17926] ppid=17922 vsize=448332 CPUtime=1.4 cores=0,2,4,6
/proc/17924/task/17926/stat : 17926 (strangenight1-m) R 17922 17924 16723 0 -1 4202560 15534 0 0 0 132 8 0 0 19 0 4 0 594072233 459091968 51400 33554432000 4194304 4650419 140736104458624 18446744073709551615 4371088 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17924/tid=17927] ppid=17922 vsize=448332 CPUtime=1.35 cores=0,2,4,6
/proc/17924/task/17927/stat : 17927 (strangenight1-m) R 17922 17924 16723 0 -1 4202560 14110 0 0 0 125 10 0 0 19 0 4 0 594072233 459091968 51400 33554432000 4194304 4650419 140736104458624 18446744073709551615 4364883 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.52
Current children cumulated vsize (KiB) 448332

[startup+3.10042 s]
/proc/loadavg: 4.79 6.86 7.25 9/184 17937
/proc/meminfo: memFree=11224344/32951124 swapFree=67102140/67111528
[pid=17924] ppid=17922 vsize=449224 CPUtime=11.92 cores=0,2,4,6
/proc/17924/stat : 17924 (strangenight1-m) R 17922 17924 16723 0 -1 4202496 62747 0 0 0 1148 44 0 0 22 0 4 0 594072233 460005376 52775 33554432000 4194304 4650419 140736104458624 18446744073709551615 4369376 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/17924/statm: 112306 52775 373 112 0 107271 0
[pid=17924/tid=17925] ppid=17922 vsize=449224 CPUtime=2.97 cores=0,2,4,6
/proc/17924/task/17925/stat : 17925 (strangenight1-m) R 17922 17924 16723 0 -1 4202560 15821 0 0 0 285 12 0 0 22 0 4 0 594072233 460005376 52775 33554432000 4194304 4650419 140736104458624 18446744073709551615 4370329 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17924/tid=17926] ppid=17922 vsize=449224 CPUtime=3 cores=0,2,4,6
/proc/17924/task/17926/stat : 17926 (strangenight1-m) R 17922 17924 16723 0 -1 4202560 15611 0 0 0 292 8 0 0 22 0 4 0 594072233 460005376 52775 33554432000 4194304 4650419 140736104458624 18446744073709551615 4369160 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17924/tid=17927] ppid=17922 vsize=449224 CPUtime=2.94 cores=0,2,4,6
/proc/17924/task/17927/stat : 17927 (strangenight1-m) R 17922 17924 16723 0 -1 4202560 15255 0 0 0 283 11 0 0 22 0 4 0 594072233 460005376 52775 33554432000 4194304 4650419 140736104458624 18446744073709551615 4307242 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 11.92
Current children cumulated vsize (KiB) 449224

[startup+6.30087 s]
/proc/loadavg: 5.13 6.89 7.26 9/184 17937
/proc/meminfo: memFree=11207960/32951124 swapFree=67102140/67111528
[pid=17924] ppid=17922 vsize=483152 CPUtime=24.69 cores=0,2,4,6
/proc/17924/stat : 17924 (strangenight1-m) R 17922 17924 16723 0 -1 4202496 65048 0 0 0 2422 47 0 0 25 0 4 0 594072233 494747648 55076 33554432000 4194304 4650419 140736104458624 18446744073709551615 4369373 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/17924/statm: 120788 55076 373 112 0 115753 0
[pid=17924/tid=17925] ppid=17922 vsize=483152 CPUtime=6.17 cores=0,2,4,6
/proc/17924/task/17925/stat : 17925 (strangenight1-m) R 17922 17924 16723 0 -1 4202560 15825 0 0 0 605 12 0 0 25 0 4 0 594072233 494747648 55076 33554432000 4194304 4650419 140736104458624 18446744073709551615 4370541 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17924/tid=17926] ppid=17922 vsize=483152 CPUtime=6.2 cores=0,2,4,6
/proc/17924/task/17926/stat : 17926 (strangenight1-m) R 17922 17924 16723 0 -1 4202560 15614 0 0 0 612 8 0 0 25 0 4 0 594072233 494747648 55076 33554432000 4194304 4650419 140736104458624 18446744073709551615 4369075 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17924/tid=17927] ppid=17922 vsize=483152 CPUtime=6.13 cores=0,2,4,6
/proc/17924/task/17927/stat : 17927 (strangenight1-m) R 17922 17924 16723 0 -1 4202560 17545 0 0 0 601 12 0 0 25 0 4 0 594072233 494747648 55076 33554432000 4194304 4650419 140736104458624 18446744073709551615 4365300 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 24.69
Current children cumulated vsize (KiB) 483152

[startup+12.7007 s]
/proc/loadavg: 5.36 6.91 7.27 9/184 17937
/proc/meminfo: memFree=11068008/32951124 swapFree=67102140/67111528
[pid=17924] ppid=17922 vsize=458800 CPUtime=50.25 cores=0,2,4,6
/proc/17924/stat : 17924 (strangenight1-m) R 17922 17924 16723 0 -1 4202496 85628 0 0 0 4974 51 0 0 25 0 4 0 594072233 469811200 71470 33554432000 4194304 4650419 140736104458624 18446744073709551615 4315210 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/17924/statm: 114700 71470 393 112 0 109665 0
[pid=17924/tid=17925] ppid=17922 vsize=458800 CPUtime=12.57 cores=0,2,4,6
/proc/17924/task/17925/stat : 17925 (strangenight1-m) R 17922 17924 16723 0 -1 4202560 21241 0 0 0 1244 13 0 0 25 0 4 0 594072233 469811200 71470 33554432000 4194304 4650419 140736104458624 18446744073709551615 4315168 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17924/tid=17926] ppid=17922 vsize=458800 CPUtime=12.61 cores=0,2,4,6
/proc/17924/task/17926/stat : 17926 (strangenight1-m) R 17922 17924 16723 0 -1 4202560 20405 0 0 0 1252 9 0 0 25 0 4 0 594072233 469811200 71470 33554432000 4194304 4650419 140736104458624 18446744073709551615 4368084 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17924/tid=17927] ppid=17922 vsize=458800 CPUtime=12.49 cores=0,2,4,6
/proc/17924/task/17927/stat : 17927 (strangenight1-m) R 17922 17924 16723 0 -1 4202560 23321 0 0 0 1236 13 0 0 25 0 4 0 594072233 469811200 71470 33554432000 4194304 4650419 140736104458624 18446744073709551615 4329380 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.25
Current children cumulated vsize (KiB) 458800

[startup+25.5005 s]
/proc/loadavg: 5.76 6.95 7.27 9/184 17937
/proc/meminfo: memFree=11005900/32951124 swapFree=67102140/67111528
[pid=17924] ppid=17922 vsize=623260 CPUtime=101.39 cores=0,2,4,6
/proc/17924/stat : 17924 (strangenight1-m) R 17922 17924 16723 0 -1 4202496 114709 0 0 0 10080 59 0 0 25 0 4 0 594072233 638218240 77695 33554432000 4194304 4650419 140736104458624 18446744073709551615 4314985 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/17924/statm: 155815 77695 393 112 0 150780 0
[pid=17924/tid=17925] ppid=17922 vsize=623260 CPUtime=25.37 cores=0,2,4,6
/proc/17924/task/17925/stat : 17925 (strangenight1-m) R 17922 17924 16723 0 -1 4202560 28991 0 0 0 2521 16 0 0 25 0 4 0 594072233 638218240 77695 33554432000 4194304 4650419 140736104458624 18446744073709551615 4315116 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17924/tid=17926] ppid=17922 vsize=623260 CPUtime=25.4 cores=0,2,4,6
/proc/17924/task/17926/stat : 17926 (strangenight1-m) R 17922 17924 16723 0 -1 4202560 28109 0 0 0 2529 11 0 0 25 0 4 0 594072233 638218240 77695 33554432000 4194304 4650419 140736104458624 18446744073709551615 4315094 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17924/tid=17927] ppid=17922 vsize=623260 CPUtime=25.23 cores=0,2,4,6
/proc/17924/task/17927/stat : 17927 (strangenight1-m) R 17922 17924 16723 0 -1 4202560 29469 0 0 0 2508 15 0 0 25 0 4 0 594072233 638218240 77695 33554432000 4194304 4650419 140736104458624 18446744073709551615 4333937 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.39
Current children cumulated vsize (KiB) 623260

[startup+51.1011 s]
/proc/loadavg: 6.75 7.08 7.31 9/184 17938
/proc/meminfo: memFree=10911900/32951124 swapFree=67102140/67111528
[pid=17924] ppid=17922 vsize=554640 CPUtime=203.66 cores=0,2,4,6
/proc/17924/stat : 17924 (strangenight1-m) R 17922 17924 16723 0 -1 4202496 164781 0 0 0 20296 70 0 0 25 0 4 0 594072233 567951360 92280 33554432000 4194304 4650419 140736104458624 18446744073709551615 4236872 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/17924/statm: 138660 92280 395 112 0 133625 0
[pid=17924/tid=17925] ppid=17922 vsize=554640 CPUtime=50.96 cores=0,2,4,6
/proc/17924/task/17925/stat : 17925 (strangenight1-m) R 17922 17924 16723 0 -1 4202560 41715 0 0 0 5078 18 0 0 25 0 4 0 594072233 567951360 92280 33554432000 4194304 4650419 140736104458624 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17924/tid=17926] ppid=17922 vsize=554640 CPUtime=51 cores=0,2,4,6
/proc/17924/task/17926/stat : 17926 (strangenight1-m) R 17922 17924 16723 0 -1 4202560 38741 0 0 0 5086 14 0 0 25 0 4 0 594072233 567951360 92280 33554432000 4194304 4650419 140736104458624 18446744073709551615 4334034 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17924/tid=17927] ppid=17922 vsize=554640 CPUtime=50.72 cores=0,2,4,6
/proc/17924/task/17927/stat : 17927 (strangenight1-m) R 17922 17924 16723 0 -1 4202560 41926 0 0 0 5053 19 0 0 25 0 4 0 594072233 567951360 92280 33554432000 4194304 4650419 140736104458624 18446744073709551615 4363693 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 203.66
Current children cumulated vsize (KiB) 554640

[startup+102.306 s]
/proc/loadavg: 7.56 7.25 7.35 9/184 17939
/proc/meminfo: memFree=7407724/32951124 swapFree=67102140/67111528
[pid=17924] ppid=17922 vsize=2719948 CPUtime=408.2 cores=0,2,4,6
/proc/17924/stat : 17924 (strangenight1-m) R 17922 17924 16723 0 -1 4202496 621185 0 0 0 40671 149 0 0 25 0 4 0 594072233 2785226752 519721 33554432000 4194304 4650419 140736104458624 18446744073709551615 4315210 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/17924/statm: 679987 519721 395 112 0 674952 0
[pid=17924/tid=17925] ppid=17922 vsize=2719948 CPUtime=102.16 cores=0,2,4,6
/proc/17924/task/17925/stat : 17925 (strangenight1-m) R 17922 17924 16723 0 -1 4202560 148477 0 0 0 10177 39 0 0 25 0 4 0 594072233 2785226752 519721 33554432000 4194304 4650419 140736104458624 18446744073709551615 4331879 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17924/tid=17926] ppid=17922 vsize=2719948 CPUtime=102.09 cores=0,2,4,6
/proc/17924/task/17926/stat : 17926 (strangenight1-m) R 17922 17924 16723 0 -1 4202560 160267 0 0 0 10176 33 0 0 25 0 4 0 594072233 2785226752 519721 33554432000 4194304 4650419 140736104458624 18446744073709551615 4315168 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17924/tid=17927] ppid=17922 vsize=2719948 CPUtime=101.79 cores=0,2,4,6
/proc/17924/task/17927/stat : 17927 (strangenight1-m) R 17922 17924 16723 0 -1 4202560 136686 0 0 0 10146 33 0 0 25 0 4 0 594072233 2785226752 519721 33554432000 4194304 4650419 140736104458624 18446744073709551615 4315103 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 408.2
Current children cumulated vsize (KiB) 2719948

[startup+162.301 s]

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

/proc/17924/task/17925/stat : 17925 (strangenight1-m) R 17922 17924 16723 0 -1 4202560 245698 0 0 0 22157 58 0 0 25 0 4 0 594072233 4190892032 804818 33554432000 4194304 4650419 140736104458624 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17924/tid=17926] ppid=17922 vsize=4092668 CPUtime=221.53 cores=0,2,4,6
/proc/17924/task/17926/stat : 17926 (strangenight1-m) R 17922 17924 16723 0 -1 4202560 245464 0 0 0 22102 51 0 0 25 0 4 0 594072233 4190892032 804818 33554432000 4194304 4650419 140736104458624 18446744073709551615 4364471 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17924/tid=17927] ppid=17922 vsize=4092668 CPUtime=221.79 cores=0,2,4,6
/proc/17924/task/17927/stat : 17927 (strangenight1-m) R 17922 17924 16723 0 -1 4202560 197693 0 0 0 22130 49 0 0 25 0 4 0 594072233 4190892032 804818 33554432000 4194304 4650419 140736104458624 18446744073709551615 4370744 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 887.62
Current children cumulated vsize (KiB) 4092668

[startup+282.301 s]
/proc/loadavg: 8.13 7.67 7.49 9/184 17944
/proc/meminfo: memFree=3623688/32951124 swapFree=67102140/67111528
[pid=17924] ppid=17922 vsize=4844840 CPUtime=1127.32 cores=0,2,4,6
/proc/17924/stat : 17924 (strangenight1-m) R 17922 17924 16723 0 -1 4202496 1220893 0 0 0 112460 272 0 0 25 0 4 0 594072233 4961116160 972146 33554432000 4194304 4650419 140736104458624 18446744073709551615 4476121 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/17924/statm: 1211210 972146 399 112 0 1206175 0
[pid=17924/tid=17925] ppid=17922 vsize=4844840 CPUtime=282.15 cores=0,2,4,6
/proc/17924/task/17925/stat : 17925 (strangenight1-m) R 17922 17924 16723 0 -1 4202560 325177 0 0 0 28145 70 0 0 25 0 4 0 594072233 4961116160 972146 33554432000 4194304 4650419 140736104458624 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17924/tid=17926] ppid=17922 vsize=4844840 CPUtime=281.25 cores=0,2,4,6
/proc/17924/task/17926/stat : 17926 (strangenight1-m) R 17922 17924 16723 0 -1 4202560 259553 0 0 0 28069 56 0 0 25 0 4 0 594072233 4961116160 972146 33554432000 4194304 4650419 140736104458624 18446744073709551615 4315544 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17924/tid=17927] ppid=17922 vsize=4844840 CPUtime=281.79 cores=0,2,4,6
/proc/17924/task/17927/stat : 17927 (strangenight1-m) R 17922 17924 16723 0 -1 4202560 272798 0 0 0 28117 62 0 0 25 0 4 0 594072233 4961116160 972146 33554432000 4194304 4650419 140736104458624 18446744073709551615 4365477 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1127.32
Current children cumulated vsize (KiB) 4844840

[startup+342.3 s]
/proc/loadavg: 8.12 7.75 7.53 9/184 17946
/proc/meminfo: memFree=3491744/32951124 swapFree=67102140/67111528
[pid=17924] ppid=17922 vsize=4893824 CPUtime=1367.02 cores=0,2,4,6
/proc/17924/stat : 17924 (strangenight1-m) R 17922 17924 16723 0 -1 4202496 1293147 0 0 0 136409 293 0 0 25 0 4 0 594072233 5011275776 986462 33554432000 4194304 4650419 140736104458624 18446744073709551615 4333632 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/17924/statm: 1223456 986462 399 112 0 1218421 0
[pid=17924/tid=17925] ppid=17922 vsize=4893824 CPUtime=342.15 cores=0,2,4,6
/proc/17924/task/17925/stat : 17925 (strangenight1-m) R 17922 17924 16723 0 -1 4202560 344049 0 0 0 34140 75 0 0 25 0 4 0 594072233 5011275776 986462 33554432000 4194304 4650419 140736104458624 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17924/tid=17926] ppid=17922 vsize=4893824 CPUtime=340.96 cores=0,2,4,6
/proc/17924/task/17926/stat : 17926 (strangenight1-m) R 17922 17924 16723 0 -1 4202560 271607 0 0 0 34036 60 0 0 25 0 4 0 594072233 5011275776 986462 33554432000 4194304 4650419 140736104458624 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17924/tid=17927] ppid=17922 vsize=4893824 CPUtime=341.78 cores=0,2,4,6
/proc/17924/task/17927/stat : 17927 (strangenight1-m) R 17922 17924 16723 0 -1 4202560 290560 0 0 0 34110 68 0 0 25 0 4 0 594072233 5011275776 986462 33554432000 4194304 4650419 140736104458624 18446744073709551615 4368084 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1367.02
Current children cumulated vsize (KiB) 4893824

[startup+402.301 s]
/proc/loadavg: 8.16 7.83 7.57 9/184 17947
/proc/meminfo: memFree=2206844/32951124 swapFree=67102140/67111528
[pid=17924] ppid=17922 vsize=5645216 CPUtime=1606.74 cores=0,2,4,6
/proc/17924/stat : 17924 (strangenight1-m) R 17922 17924 16723 0 -1 4202496 1461137 0 0 0 160346 328 0 0 25 0 4 0 594072233 5780701184 1120215 33554432000 4194304 4650419 140736104458624 18446744073709551615 4476502 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/17924/statm: 1411304 1120215 399 112 0 1406269 0
[pid=17924/tid=17925] ppid=17922 vsize=5645216 CPUtime=402.15 cores=0,2,4,6
/proc/17924/task/17925/stat : 17925 (strangenight1-m) R 17922 17924 16723 0 -1 4202560 353456 0 0 0 40137 78 0 0 25 0 4 0 594072233 5780701184 1120215 33554432000 4194304 4650419 140736104458624 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17924/tid=17926] ppid=17922 vsize=5645216 CPUtime=400.67 cores=0,2,4,6
/proc/17924/task/17926/stat : 17926 (strangenight1-m) R 17922 17924 16723 0 -1 4202560 370292 0 0 0 39990 77 0 0 25 0 4 0 594072233 5780701184 1120215 33554432000 4194304 4650419 140736104458624 18446744073709551615 4421716 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17924/tid=17927] ppid=17922 vsize=5645216 CPUtime=401.79 cores=0,2,4,6
/proc/17924/task/17927/stat : 17927 (strangenight1-m) R 17922 17924 16723 0 -1 4202560 303077 0 0 0 40106 73 0 0 25 0 4 0 594072233 5780701184 1120215 33554432000 4194304 4650419 140736104458624 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1606.74
Current children cumulated vsize (KiB) 5645216

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

[startup+409.501 s]
/proc/loadavg: 8.14 7.83 7.57 9/184 17948
/proc/meminfo: memFree=2087432/32951124 swapFree=67102140/67111528
[pid=17924] ppid=17922 vsize=5582196 CPUtime=1635.5 cores=0,2,4,6
/proc/17924/stat : 17924 (strangenight1-m) R 17922 17924 16723 0 -1 4202496 1478494 0 0 0 163218 332 0 0 25 0 4 0 594072233 5716168704 1121285 33554432000 4194304 4650419 140736104458624 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/17924/statm: 1395549 1121285 399 112 0 1390514 0
[pid=17924/tid=17925] ppid=17922 vsize=5582196 CPUtime=409.35 cores=0,2,4,6
/proc/17924/task/17925/stat : 17925 (strangenight1-m) R 17922 17924 16723 0 -1 4202560 354715 0 0 0 40856 79 0 0 25 0 4 0 594072233 5716168704 1121285 33554432000 4194304 4650419 140736104458624 18446744073709551615 4363750 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17924/tid=17926] ppid=17922 vsize=5582196 CPUtime=407.83 cores=0,2,4,6
/proc/17924/task/17926/stat : 17926 (strangenight1-m) R 17922 17924 16723 0 -1 4202560 374824 0 0 0 40705 78 0 0 25 0 4 0 594072233 5716168704 1121285 33554432000 4194304 4650419 140736104458624 18446744073709551615 4363693 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17924/tid=17927] ppid=17922 vsize=5582196 CPUtime=408.99 cores=0,2,4,6
/proc/17924/task/17927/stat : 17927 (strangenight1-m) R 17922 17924 16723 0 -1 4202560 305949 0 0 0 40824 75 0 0 25 0 4 0 594072233 5716168704 1121285 33554432000 4194304 4650419 140736104458624 18446744073709551615 4368084 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1635.5
Current children cumulated vsize (KiB) 5582196

[startup+415.9 s]
/proc/loadavg: 8.12 7.83 7.57 9/184 17948
/proc/meminfo: memFree=2077512/32951124 swapFree=67102140/67111528
[pid=17924] ppid=17922 vsize=5482488 CPUtime=1661.06 cores=0,2,4,6
/proc/17924/stat : 17924 (strangenight1-m) R 17922 17924 16723 0 -1 4202496 1483520 0 0 0 165772 334 0 0 25 0 4 0 594072233 5614067712 1113748 33554432000 4194304 4650419 140736104458624 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/17924/statm: 1370622 1113748 399 112 0 1365587 0
[pid=17924/tid=17925] ppid=17922 vsize=5482488 CPUtime=415.75 cores=0,2,4,6
/proc/17924/task/17925/stat : 17925 (strangenight1-m) R 17922 17924 16723 0 -1 4202560 356613 0 0 0 41495 80 0 0 25 0 4 0 594072233 5614067712 1113748 33554432000 4194304 4650419 140736104458624 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17924/tid=17926] ppid=17922 vsize=5482488 CPUtime=414.2 cores=0,2,4,6
/proc/17924/task/17926/stat : 17926 (strangenight1-m) R 17922 17924 16723 0 -1 4202560 376230 0 0 0 41341 79 0 0 25 0 4 0 594072233 5614067712 1113748 33554432000 4194304 4650419 140736104458624 18446744073709551615 4363750 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17924/tid=17927] ppid=17922 vsize=5482488 CPUtime=415.39 cores=0,2,4,6
/proc/17924/task/17927/stat : 17927 (strangenight1-m) R 17922 17924 16723 0 -1 4202560 307075 0 0 0 41464 75 0 0 25 0 4 0 594072233 5614067712 1113748 33554432000 4194304 4650419 140736104458624 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1661.06
Current children cumulated vsize (KiB) 5482488

[startup+422.3 s]
/proc/loadavg: 8.11 7.84 7.57 9/184 17948
/proc/meminfo: memFree=2039072/32951124 swapFree=67102140/67111528
[pid=17924] ppid=17922 vsize=5547292 CPUtime=1686.65 cores=0,2,4,6
/proc/17924/stat : 17924 (strangenight1-m) R 17922 17924 16723 0 -1 4202496 1489793 0 0 0 168328 337 0 0 25 0 4 0 594072233 5680427008 1120021 33554432000 4194304 4650419 140736104458624 18446744073709551615 4528974 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/17924/statm: 1386823 1120021 399 112 0 1381788 0
[pid=17924/tid=17925] ppid=17922 vsize=5547292 CPUtime=422.15 cores=0,2,4,6
/proc/17924/task/17925/stat : 17925 (strangenight1-m) R 17922 17924 16723 0 -1 4202560 357489 0 0 0 42135 80 0 0 25 0 4 0 594072233 5680427008 1120021 33554432000 4194304 4650419 140736104458624 18446744073709551615 4315210 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17924/tid=17926] ppid=17922 vsize=5547292 CPUtime=420.57 cores=0,2,4,6
/proc/17924/task/17926/stat : 17926 (strangenight1-m) R 17922 17924 16723 0 -1 4202560 377113 0 0 0 41978 79 0 0 25 0 4 0 594072233 5680427008 1120021 33554432000 4194304 4650419 140736104458624 18446744073709551615 4364883 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17924/tid=17927] ppid=17922 vsize=5547292 CPUtime=421.8 cores=0,2,4,6
/proc/17924/task/17927/stat : 17927 (strangenight1-m) R 17922 17924 16723 0 -1 4202560 308218 0 0 0 42104 76 0 0 25 0 4 0 594072233 5680427008 1120021 33554432000 4194304 4650419 140736104458624 18446744073709551615 4314858 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1686.65
Current children cumulated vsize (KiB) 5547292

[startup+425.501 s]
/proc/loadavg: 8.11 7.84 7.57 9/184 17948
/proc/meminfo: memFree=2021588/32951124 swapFree=67102140/67111528
[pid=17924] ppid=17922 vsize=5547292 CPUtime=1699.42 cores=0,2,4,6
/proc/17924/stat : 17924 (strangenight1-m) R 17922 17924 16723 0 -1 4202496 1491752 0 0 0 169605 337 0 0 25 0 4 0 594072233 5680427008 1121980 33554432000 4194304 4650419 140736104458624 18446744073709551615 4333710 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/17924/statm: 1386823 1121980 399 112 0 1381788 0
[pid=17924/tid=17925] ppid=17922 vsize=5547292 CPUtime=425.35 cores=0,2,4,6
/proc/17924/task/17925/stat : 17925 (strangenight1-m) R 17922 17924 16723 0 -1 4202560 358045 0 0 0 42455 80 0 0 25 0 4 0 594072233 5680427008 1121980 33554432000 4194304 4650419 140736104458624 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17924/tid=17926] ppid=17922 vsize=5547292 CPUtime=423.75 cores=0,2,4,6
/proc/17924/task/17926/stat : 17926 (strangenight1-m) R 17922 17924 16723 0 -1 4202560 377585 0 0 0 42296 79 0 0 25 0 4 0 594072233 5680427008 1121980 33554432000 4194304 4650419 140736104458624 18446744073709551615 4363548 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17924/tid=17927] ppid=17922 vsize=5547292 CPUtime=424.99 cores=0,2,4,6
/proc/17924/task/17927/stat : 17927 (strangenight1-m) R 17922 17924 16723 0 -1 4202560 308614 0 0 0 42423 76 0 0 25 0 4 0 594072233 5680427008 1121980 33554432000 4194304 4650419 140736104458624 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1699.42
Current children cumulated vsize (KiB) 5547292

[startup+427.1 s]
/proc/loadavg: 8.10 7.84 7.58 9/184 17948
/proc/meminfo: memFree=2075400/32951124 swapFree=67102140/67111528
[pid=17924] ppid=17922 vsize=5547292 CPUtime=1705.81 cores=0,2,4,6
/proc/17924/stat : 17924 (strangenight1-m) R 17922 17924 16723 0 -1 4202496 1492713 0 0 0 170244 337 0 0 25 0 4 0 594072233 5680427008 1122941 33554432000 4194304 4650419 140736104458624 18446744073709551615 4363420 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/17924/statm: 1386823 1122941 399 112 0 1381788 0
[pid=17924/tid=17925] ppid=17922 vsize=5547292 CPUtime=426.96 cores=0,2,4,6
/proc/17924/task/17925/stat : 17925 (strangenight1-m) R 17922 17924 16723 0 -1 4202560 358405 0 0 0 42615 81 0 0 25 0 4 0 594072233 5680427008 1122941 33554432000 4194304 4650419 140736104458624 18446744073709551615 4315114 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17924/tid=17926] ppid=17922 vsize=5547292 CPUtime=425.34 cores=0,2,4,6
/proc/17924/task/17926/stat : 17926 (strangenight1-m) R 17922 17924 16723 0 -1 4202560 377827 0 0 0 42455 79 0 0 25 0 4 0 594072233 5680427008 1122941 33554432000 4194304 4650419 140736104458624 18446744073709551615 4331981 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17924/tid=17927] ppid=17922 vsize=5547292 CPUtime=426.59 cores=0,2,4,6
/proc/17924/task/17927/stat : 17927 (strangenight1-m) R 17922 17924 16723 0 -1 4202560 308769 0 0 0 42583 76 0 0 25 0 4 0 594072233 5680427008 1122941 33554432000 4194304 4650419 140736104458624 18446744073709551615 4368084 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1705.81
Current children cumulated vsize (KiB) 5547292

[startup+427.906 s]
/proc/loadavg: 8.10 7.84 7.58 9/184 17948
/proc/meminfo: memFree=2068208/32951124 swapFree=67102140/67111528
[pid=17924] ppid=17922 vsize=5547292 CPUtime=1709.02 cores=0,2,4,6
/proc/17924/stat : 17924 (strangenight1-m) R 17922 17924 16723 0 -1 4202496 1493397 0 0 0 170565 337 0 0 25 0 4 0 594072233 5680427008 1123625 33554432000 4194304 4650419 140736104458624 18446744073709551615 4315114 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/17924/statm: 1386823 1123625 399 112 0 1381788 0
[pid=17924/tid=17925] ppid=17922 vsize=5547292 CPUtime=427.76 cores=0,2,4,6
/proc/17924/task/17925/stat : 17925 (strangenight1-m) R 17922 17924 16723 0 -1 4202560 358571 0 0 0 42695 81 0 0 25 0 4 0 594072233 5680427008 1123625 33554432000 4194304 4650419 140736104458624 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17924/tid=17926] ppid=17922 vsize=5547292 CPUtime=426.14 cores=0,2,4,6
/proc/17924/task/17926/stat : 17926 (strangenight1-m) R 17922 17924 16723 0 -1 4202560 377956 0 0 0 42535 79 0 0 25 0 4 0 594072233 5680427008 1123625 33554432000 4194304 4650419 140736104458624 18446744073709551615 4365477 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17924/tid=17927] ppid=17922 vsize=5547292 CPUtime=427.4 cores=0,2,4,6
/proc/17924/task/17927/stat : 17927 (strangenight1-m) R 17922 17924 16723 0 -1 4202560 308966 0 0 0 42664 76 0 0 25 0 4 0 594072233 5680427008 1123625 33554432000 4194304 4650419 140736104458624 18446744073709551615 4528891 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1709.02
Current children cumulated vsize (KiB) 5547292

[startup+428.3 s]
/proc/loadavg: 8.10 7.84 7.58 9/184 17948
/proc/meminfo: memFree=2068208/32951124 swapFree=67102140/67111528
[pid=17924] ppid=17922 vsize=5547292 CPUtime=1710.6 cores=0,2,4,6
/proc/17924/stat : 17924 (strangenight1-m) R 17922 17924 16723 0 -1 4202496 1493506 0 0 0 170723 337 0 0 25 0 4 0 594072233 5680427008 1123734 33554432000 4194304 4650419 140736104458624 18446744073709551615 4315110 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/17924/statm: 1386823 1123734 399 112 0 1381788 0
[pid=17924/tid=17925] ppid=17922 vsize=5547292 CPUtime=428.15 cores=0,2,4,6
/proc/17924/task/17925/stat : 17925 (strangenight1-m) R 17922 17924 16723 0 -1 4202560 358599 0 0 0 42734 81 0 0 25 0 4 0 594072233 5680427008 1123734 33554432000 4194304 4650419 140736104458624 18446744073709551615 47816430409241 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17924/tid=17926] ppid=17922 vsize=5547292 CPUtime=426.53 cores=0,2,4,6
/proc/17924/task/17926/stat : 17926 (strangenight1-m) R 17922 17924 16723 0 -1 4202560 377992 0 0 0 42574 79 0 0 25 0 4 0 594072233 5680427008 1123734 33554432000 4194304 4650419 140736104458624 18446744073709551615 47816430409235 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17924/tid=17927] ppid=17922 vsize=5547292 CPUtime=427.79 cores=0,2,4,6
/proc/17924/task/17927/stat : 17927 (strangenight1-m) R 17922 17924 16723 0 -1 4202560 308972 0 0 0 42703 76 0 0 25 0 4 0 594072233 5680427008 1123734 33554432000 4194304 4650419 140736104458624 18446744073709551615 47816430384683 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1710.6
Current children cumulated vsize (KiB) 5547292

[startup+428.4 s]
/proc/loadavg: 8.10 7.84 7.58 9/184 17948
/proc/meminfo: memFree=2068208/32951124 swapFree=67102140/67111528
[pid=17924] ppid=17922 vsize=0 CPUtime=1710.72 cores=0,2,4,6
/proc/17924/stat : 17924 (strangenight1-m) Z 17922 17924 16723 0 -1 4203548 1493512 0 0 0 170725 347 0 0 25 0 2 0 594072233 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/17924/statm: 0 0 0 0 0 0 0
[pid=17924/tid=17926] ppid=17922 vsize=0 CPUtime=426.64 cores=0,2,4,6
/proc/17924/task/17926/stat : 17926 (strangenight1-m) R 17922 17924 16723 0 -1 4203588 377992 0 0 0 42575 89 0 0 25 0 2 0 594072233 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1710.72
Current children cumulated vsize (KiB) 0

Child status: 20
Real time (s): 428.486
CPU time (s): 1710.81
CPU user time (s): 1707.25
CPU system time (s): 3.55946
CPU usage (%): 399.269
Max. virtual memory (cumulated for all children) (KiB): 5710752

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1707.25
system time used= 3.55946
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1493512
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= 71732
involuntary context switches= 12206

runsolver used 0.642902 second user time and 1.38879 second system time

The end

Launcher Data 

Begin job on node119 at 2011-04-29 02:53:36
IDJOB=3285288
IDBENCH=82378
IDSOLVER=1588
FILE ID=node119/3285288-1304038415
RUNJOBID= node119-1304038415-17910
PBS_JOBID= 13170333
Free space on /tmp= 71768 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt
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-3285288-1304038415/watcher-3285288-1304038415 -o /tmp/evaluation-result-3285288-1304038415/solver-3285288-1304038415 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3285288-1304038415.cnf

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

MD5SUM BENCH= 36e8e2178d03f08fa4223da0e3d9beb5
RANDOM SEED=1097052946

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      11704476 kB
Buffers:       2243324 kB
Cached:       18353740 kB
SwapCached:       5504 kB
Active:        9547616 kB
Inactive:     11114568 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      11704476 kB
SwapTotal:    67111528 kB
SwapFree:     67102140 kB
Dirty:           56004 kB
Writeback:           0 kB
AnonPages:       62044 kB
Mapped:          14348 kB
Slab:           521172 kB
PageTables:       4384 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   189484 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= 71752 MiB
End job on node119 at 2011-04-29 03:00:44