Trace number 3285286

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-2-mtUNSAT 1644.97 413.729

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 3.0.0
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3285286-1304029893.cnf'
0.00/0.00	c -- header says num vars:          87884
0.00/0.00	c -- header says num clauses:     1413816
1.32/0.53	c -- clauses added:            0 learnts,      1413816 normals,            0 xors
1.32/0.53	c -- vars added      87884
1.32/0.53	c Parsing time:  0.19 s
1.32/0.53	c  N st     0         0     87884     37242   1002916         0   2379025         0   no data   no data
2.82/0.94	c asymm  cl-useful: 340/925/31008 lits-rem:13381 time: 0.39
34.39/8.83	c Flit:   272 Blit:   9075 bXBeca:    0 bXProp:  503 Bins:      0 BRemL:      0 BRemN:      0 P: 200.0M T:  7.87
34.39/8.85	c Cleaning up after failed var search:     0.02 s 
34.39/8.88	c Replacing      503 vars Replaced    29211 lits Time:     0.03 s 
34.77/8.92	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
34.77/8.98	c bin-w-bin subsume rem          734 bins  time:  0.05 s
35.56/9.11	c subs with bin:       33  lits-rem:       151  v-fix:    0  time:  0.13 s
44.76/11.46	c Subs w/ non-existent bins:     29 l-rem:    686 v-fix:   384 done:  33612 time:  2.35 s
45.56/11.62	c Removed useless bin:    9772  fixed:     0  props:  20.01M  time:  0.16 s
45.96/11.78	c lits-rem:         0  cl-subs:       80  v-elim:     13  v-fix:    0  time:  0.16 s
46.36/11.80	c Finding binary XORs  T:     0.02 s  found:     218
46.36/11.83	c Replacing      218 vars Replaced    17256 lits Time:     0.03 s 
46.36/11.86	c Finding non-binary XORs:     0.02 s (found:       0, avg size: nan)
46.36/11.86	c calculated reachability. Time: 0.00
46.36/11.87	c Calc default polars -  time:   0.01 s pos:    1621 undec:   44954 neg:   41309
46.36/11.87	c =========================================================================================
46.36/11.87	c types(t): F = full restart, N = normal restart
46.36/11.87	c types(t): S = simplification begin/end, E = solution found
46.36/11.87	c restart types(rt): st = static, dy = dynamic
46.36/11.87	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
46.36/11.87	c  B st     0         0     42936     25852    552092         0   1334424         0   no data   no data
65.93/16.75	c  N dy    11      4233     42926     25852    552175      4110   1334424   2463740     25.85     27.44
81.91/20.78	c  N dy    25      8309     42920     25852    552392      5069   1334424   1170992     22.90     55.71
100.31/25.35	c  N dy    50     12335     42914     25852    552468      8983   1334424   2979171     23.72     25.12
118.26/29.87	c  N dy    75     16472     42855     25852    553099      8003   1334423   1516081     25.40     26.91
139.46/35.18	c  N dy    95     20592     42787     25852    553531     12014   1334423   3766505     25.39     30.60
168.19/42.36	c  N dy   115     24641     42773     25852    553581      9473   1334423   2301038     24.96     26.65
170.21/42.87	c  F st   116     25002     42766     25852    553850      9829   1334423   2550404     24.77     16.49
204.15/51.35	c  N dy   122     30003     42668     25710    548974     14698   1322865   6855515     24.77   no data
204.15/51.35	c  S st   122     30003     42668     25710    548974     14698   1322865   6855515     24.77   no data
206.54/51.92	c  S st   122     30503     42667     25710    548986     15180   1322865   7001997     24.77   no data
206.54/51.96	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
273.65/68.77	c Flit:   527 Blit:   1665 bXBeca:    0 bXProp:  157 Bins: 725178 BRemL:  18044 BRemN:   1147 P: 200.0M T: 16.70
274.05/68.83	c Cleaning up after failed var search:     0.06 s 
275.25/69.14	c Replacing      158 vars Replaced    59133 lits Time:     0.31 s 
275.25/69.18	c blocked clauses removed:        0 vars:      0 tried:       40077 T: 0.02 s
276.07/69.31	c bin-w-bin subsume rem         7239 bins  time:  0.13 s
276.85/69.52	c subs with bin:       15  lits-rem:        14  v-fix:    0  time:  0.20 s
288.43/72.41	c Subs w/ non-existent bins:     14 l-rem:    500 v-fix:    66 done:  35534 time:  2.90 s
289.25/72.62	c Removed useless bin:   15542  fixed:     0  props:  20.00M  time:  0.21 s
290.03/72.86	c lits-rem:         0  cl-subs:        0  v-elim:      2  v-fix:    0  time:  0.24 s
298.41/74.94	c subs with bin:       13  lits-rem:       910  v-fix:    0  time:  1.54 s
306.82/77.03	c lits-rem:      2641  cl-subs:      726  v-elim:      0  v-fix:    0  time:  2.07 s
308.80/77.52	c asymm  cl-useful: 167/730/24606 lits-rem:2260 time: 0.49
309.60/77.73	c calculated reachability. Time: 0.18
309.60/77.73	c  N dy   122     30503     40009     24606   1090018     13875   1192339   7381235     24.77   no data
311.99/78.32	c Finding binary XORs  T:     0.59 s  found:      65
359.54/90.26	c  N dy   129     36469     39989     24606   1090824     12178   1192339   4563001     22.63     24.99
369.91/92.90	c Finding binary XORs  T:     0.60 s  found:      62
391.88/98.31	c  N dy   143     41670     39716     24452   1175811     17135   1181719   7101203     21.85     23.30
412.01/104.02	c Finding binary XORs  T:     0.61 s  found:     116
414.40/104.60	c  N dy   146     45754     39116     24115   1306416     12357   1158371   3192783     21.03     19.01
414.40/104.60	c  S st   146     45754     39116     24115   1306416     12357   1158371   3192783     21.03     19.01
416.80/105.21	c  S st   146     46255     39116     24115   1306451     12822   1158371   3277175     21.03   no data
416.80/105.25	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
463.94/117.03	c Flit:   209 Blit:    124 bXBeca:    0 bXProp:   35 Bins: 589506 BRemL:   7011 BRemN:   3241 P: 200.0M T: 11.71
463.94/117.03	c Cleaning up after failed var search:     0.00 s 
464.73/117.20	c Replacing      278 vars Replaced   136385 lits Time:     0.17 s 
464.73/117.23	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
465.93/117.57	c bin-w-bin subsume rem        63615 bins  time:  0.34 s
467.13/117.87	c subs with bin:        6  lits-rem:        14  v-fix:    0  time:  0.30 s
478.72/120.78	c Subs w/ non-existent bins:      2 l-rem:    270 v-fix:    34 done:  36471 time:  2.91 s
479.54/120.98	c Removed useless bin:   11799  fixed:     0  props:  20.01M  time:  0.20 s
480.72/121.21	c lits-rem:         0  cl-subs:       11  v-elim:      2  v-fix:    0  time:  0.23 s
487.11/122.84	c subs with bin:       37  lits-rem:       918  v-fix:    0  time:  1.53 s
489.11/123.36	c lits-rem:       655  cl-subs:      310  v-elim:      0  v-fix:    0  time:  0.50 s
489.51/123.40	c vivif2 --  cl tried    23928 cl shrink       81 lits rem        513 time: 0.04
489.91/123.58	c vivif2 --  cl tried    12385 cl shrink     6502 lits rem     296438 time: 0.17
491.91/124.07	c asymm  cl-useful: 67/693/23926 lits-rem:728 time: 0.50
493.12/124.36	c calculated reachability. Time: 0.26
493.12/124.36	c  N dy   146     46255     38517     23926   1761098     11611   1111308   3872408     21.03   no data
496.70/125.25	c Finding binary XORs  T:     0.88 s  found:      33
525.07/132.37	c  N dy   150     51444     38514     23926   1761230     16635   1111308   6213855     19.87     24.71
548.24/138.16	c  N dy   155     55660     38501     23926   1762813     11897   1111308   4210688     19.24     21.61
585.01/147.36	c Finding binary XORs  T:     0.90 s  found:       4
613.76/154.57	c  N dy   158     65544     38497     23909   1842489     11616   1110670   3171862     17.80     18.81
636.53/160.22	c  S st   168     69388     38492     23909   1842928     15357   1110670   5067074     17.60     14.27
638.53/160.77	c  S st   168     69890     38490     23909   1842956     15828   1110670   5141308     17.60   no data
638.93/160.82	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
681.70/171.53	c Flit:   188 Blit:     72 bXBeca:    0 bXProp:   10 Bins: 461871 BRemL:   9435 BRemN:    416 P: 200.1M T: 10.61
681.70/171.53	c Cleaning up after failed var search:     0.00 s 
682.48/171.72	c Replacing       48 vars Replaced    28297 lits Time:     0.18 s 
682.48/171.75	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
685.28/172.48	c bin-w-bin subsume rem        90011 bins  time:  0.72 s
686.87/172.86	c subs with bin:        4  lits-rem:         5  v-fix:    0  time:  0.38 s
698.86/175.86	c Subs w/ non-existent bins:      0 l-rem:    121 v-fix:     0 done:  37060 time:  3.00 s
699.68/176.08	c Removed useless bin:   11205  fixed:     0  props:  20.01M  time:  0.22 s
700.46/176.29	c lits-rem:         0  cl-subs:        0  v-elim:      1  v-fix:    0  time:  0.21 s
707.25/177.94	c subs with bin:        1  lits-rem:        21  v-fix:    0  time:  1.53 s
711.24/178.90	c lits-rem:       933  cl-subs:      212  v-elim:      0  v-fix:    0  time:  0.95 s
711.24/178.96	c vivif2 --  cl tried    23779 cl shrink       38 lits rem        388 time: 0.06
712.47/179.22	c vivif2 --  cl tried    15570 cl shrink     4013 lits rem     570162 time: 0.26
714.45/179.73	c asymm  cl-useful: 11/508/23767 lits-rem:35 time: 0.50
716.44/180.20	c calculated reachability. Time: 0.42
716.44/180.20	c  N dy   168     69890     38178     23767   2169916     15165   1078958   5194708     17.60   no data
722.03/181.60	c Finding binary XORs  T:     1.40 s  found:       3
755.99/190.18	c  N dy   172     75350     38176     23767   2170068     20456   1078958   7656810     16.97     17.87
763.99/192.19	c Finding binary XORs  T:     1.41 s  found:      16
818.72/205.87	c  N dy   174     84633     38071     23719   2247875     19201   1075175   5896749     16.00     17.09
838.29/210.84	c  F st   181     87501     38067     23719   2255473     21969   1075175   7377817     15.86     11.76
839.09/211.03	c Replacing       19 vars Replaced    13409 lits Time:     0.15 s 
862.65/216.90	c  N st   186     90799     38048     23718   2255097     25152   1074905   9052134     15.86   no data
869.04/218.52	c Finding binary XORs  T:     1.42 s  found:       7
919.79/231.23	c  N dy   191     99569     37982     23693   2351674     22198   1072971   6250797     15.34     16.26
963.33/242.15	c  S st   197    104835     37982     23693   2351760     27357   1072971   8447446     15.06      6.24
966.13/242.86	c  S st   197    105335     37977     23693   2352032     27826   1072971   8516273     15.06   no data
966.53/242.91	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
1017.27/255.68	c Flit:    76 Blit:     82 bXBeca:    0 bXProp:    1 Bins: 317148 BRemL:  19864 BRemN:      4 P: 200.1M T: 12.68
1017.27/255.69	c Cleaning up after failed var search:     0.00 s 
1018.07/255.89	c Replacing        9 vars Replaced     4023 lits Time:     0.20 s 
1018.47/255.93	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1019.68/256.28	c bin-w-bin subsume rem        18308 bins  time:  0.36 s
1021.66/256.77	c subs with bin:        5  lits-rem:         2  v-fix:    0  time:  0.48 s
1034.05/259.88	c Subs w/ non-existent bins:      2 l-rem:     72 v-fix:     0 done:  37371 time:  3.10 s
1035.24/260.15	c Removed useless bin:   25260  fixed:     0  props:  20.00M  time:  0.27 s
1036.45/260.40	c lits-rem:         0  cl-subs:        6  v-elim:     32  v-fix:    0  time:  0.25 s
1044.02/262.33	c subs with bin:       23  lits-rem:       257  v-fix:    0  time:  1.67 s
1057.22/265.62	c lits-rem:      2983  cl-subs:      681  v-elim:      0  v-fix:    0  time:  3.29 s
1057.62/265.70	c vivif2 --  cl tried    23639 cl shrink        9 lits rem         72 time: 0.08
1059.64/266.27	c vivif2 --  cl tried    26729 cl shrink     7967 lits rem    1013800 time: 0.56
1062.01/266.82	c asymm  cl-useful: 7/449/23637 lits-rem:14 time: 0.55
1064.40/267.43	c calculated reachability. Time: 0.56
1064.40/267.43	c  N dy   197    105335     37775     23637   2574675     26314   1017453   7730656     15.06   no data
1071.61/269.27	c Finding binary XORs  T:     1.84 s  found:       8
1142.31/286.93	c  N dy   202    114386     37769     23637   2574861     23210   1017453   7047170     14.57     15.39
1150.81/289.56	c Finding binary XORs  T:     1.82 s  found:      61
1196.76/301.10	c Finding binary XORs  T:     1.85 s  found:      11
1217.14/306.15	c  N dy   214    123611     37515     23473   2974130     31895   1007628  10588802     14.19     15.02
1263.48/317.75	c  N dy   227    131949     37503     23473   2974691     26921   1007628   7632832     13.89     14.74
1314.22/330.49	c  N dy   236    140599     37487     23473   2975279     35315   1007628   9998691     13.60     14.33
1374.17/345.47	c  N dy   242    150413     37482     23473   2975661     30917   1007628   7511160     13.30     14.17
1421.70/357.37	c  S st   247    158004     37475     23473   2976010     38375   1007628   9390925     13.09      7.60
1424.89/358.11	c  S st   247    158505     37475     23473   2976028     38858   1007628   9497411     13.09   no data
1424.89/358.18	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
1475.63/370.80	c Flit:    99 Blit:     50 bXBeca:    0 bXProp:    4 Bins: 251386 BRemL:   8140 BRemN:    218 P: 200.0M T: 12.58
1475.63/370.80	c Cleaning up after failed var search:     0.00 s 
1476.83/371.11	c Replacing       84 vars Replaced    63558 lits Time:     0.31 s 
1476.83/371.15	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1478.43/371.58	c bin-w-bin subsume rem        17964 bins  time:  0.42 s
1480.83/372.19	c subs with bin:       23  lits-rem:       136  v-fix:    0  time:  0.61 s
1494.01/375.46	c Subs w/ non-existent bins:      0 l-rem:     65 v-fix:     0 done:  37240 time:  3.27 s
1495.21/375.73	c Removed useless bin:   15237  fixed:     0  props:  20.00M  time:  0.27 s
1496.41/376.00	c lits-rem:         1  cl-subs:        4  v-elim:     52  v-fix:    0  time:  0.27 s
1503.60/377.84	c subs with bin:        2  lits-rem:         9  v-fix:    0  time:  1.60 s
1522.78/382.68	c lits-rem:      5611  cl-subs:     1989  v-elim:      0  v-fix:    0  time:  4.83 s
1523.19/382.77	c vivif2 --  cl tried    23470 cl shrink       14 lits rem        138 time: 0.09
1525.97/383.47	c vivif2 --  cl tried    36265 cl shrink    10978 lits rem    1179955 time: 0.69
1528.36/384.05	c asymm  cl-useful: 7/449/23470 lits-rem:17 time: 0.58
1531.17/384.74	c calculated reachability. Time: 0.63
1531.17/384.75	c  N dy   247    158505     37188     23470   3129386     35944    971164   8360221     13.09   no data
1539.56/386.87	c Finding binary XORs  T:     2.12 s  found:      13
1613.47/405.36	c  N dy   255    169690     36947     23470   3131270     32342    971164   7597170     12.80     13.61
1644.71/413.51	c Finding binary XORs  T:     2.08 s  found:      74
1644.71/413.52	c Following stats are for *FIRST FINISHED THREAD ONLY*
1644.71/413.52	c num threads              : 4          
1644.71/413.52	c restarts                 : 353        
1644.71/413.52	c dynamic restarts         : 335        
1644.71/413.52	c static restarts          : 18         
1644.71/413.52	c full restarts            : 2          
1644.71/413.52	c total simplify time      : 8.35       
1644.71/413.52	c learnts DL2              : 0          
1644.71/413.52	c learnts size 2           : 4195280    
1644.71/413.52	c learnts size 1           : 51801       (58.94     % of vars)
1644.71/413.52	c filedLit time            : 23.91       (5.84      % time)
1644.71/413.52	c v-elim SatELite          : 23          (0.03      % vars)
1644.71/413.52	c SatELite time            : 12.43       (3.03      % time)
1644.71/413.52	c v-elim xor               : 0           (0.00      % vars)
1644.71/413.52	c xor elim time            : 0.09        (0.02      % time)
1644.71/413.52	c num binary xor trees     : 1515       
1644.71/413.52	c binxor trees' crown      : 1597        (1.05      leafs/tree)
1644.71/413.52	c bin xor find time        : 7.55       
1644.71/413.52	c OTF clause improved      : 1168        (0.01      clauses/conflict)
1644.71/413.52	c OTF impr. size diff      : 4459        (3.82       lits/clause)
1644.71/413.52	c OTF cl watch-shrink      : 183761      (0.83      clauses/conflict)
1644.71/413.52	c OTF cl watch-sh-lit      : 10873694    (59.17      lits/clause)
1644.71/413.52	c tried to recurMin cls    : 156016      (70.70      % of conflicts)
1644.71/413.52	c updated cache            : 60324       (0.39       lits/tried recurMin)
1644.71/413.52	c unit cls recevied        : 4354        (8.41      % of units)
1644.71/413.52	c unit cls sent            : 36491       (70.44     % of units)
1644.71/413.52	c bin cls recevied         : 2689766    
1644.71/413.52	c bin cls sent             : 610682     
1644.71/413.52	c clauses over max glue    : 0           (0.00      % of all clauses)
1644.71/413.52	c conflicts                : 220669      (538.78    / sec)
1644.71/413.52	c decisions                : 966012      (0.90      % random)
1644.71/413.52	c bogo-props               : 7233683706  (17661450.01 / sec)
1644.71/413.52	c conflict literals        : 100716332   (33.43     % deleted)
1644.71/413.52	c Memory used              : 5557.80     MB
1644.71/413.52	c single-thread CPU time   : 409.57      s
1644.71/413.52	c all-threads sum CPU time : 1641.37     s
1644.71/413.52	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-3285286-1304029893/watcher-3285286-1304029893 -o /tmp/evaluation-result-3285286-1304029893/solver-3285286-1304029893 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3285286-1304029893.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: 8.18 7.94 5.85 5/180 27874
/proc/meminfo: memFree=22893260/32951124 swapFree=67111348/67111528
[pid=27874] ppid=27872 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/27874/stat : 27874 (strangenight2-m) R 27872 27874 27770 0 -1 4202496 409 0 0 0 0 0 0 0 21 0 4 0 593219839 52441088 348 33554432000 4194304 4627427 140737206722544 18446744073709551615 47529536481196 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/27874/statm: 12803 348 299 106 0 7774 0
[pid=27874/tid=27875] ppid=27872 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/27874/task/27875/stat : 27875 (strangenight2-m) R 27872 27874 27770 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 4 0 593219839 52441088 348 33554432000 4194304 4627427 140737206722544 18446744073709551615 47529536481202 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=27874/tid=27876] ppid=27872 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/27874/task/27876/stat : 27876 (strangenight2-m) R 27872 27874 27770 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 593219839 52441088 348 33554432000 4194304 4627427 140737206722544 18446744073709551615 252458122225 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27874/tid=27877] ppid=27872 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/27874/task/27877/stat : 27877 (strangenight2-m) R 27872 27874 27770 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 593219839 52441088 348 33554432000 4194304 4627427 140737206722544 18446744073709551615 47529536481202 0 0 4096 2 0 0 0 -1 2 0 0 0

[startup+0.0784109 s]
/proc/loadavg: 8.18 7.94 5.85 5/180 27874
/proc/meminfo: memFree=22893260/32951124 swapFree=67111348/67111528
[pid=27874] ppid=27872 vsize=369384 CPUtime=0.28 cores=0,2,4,6
/proc/27874/stat : 27874 (strangenight2-m) R 27872 27874 27770 0 -1 4202496 11526 0 0 0 25 3 0 0 23 0 4 0 593219839 378249216 9482 33554432000 4194304 4627427 140737206722544 18446744073709551615 4531626 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/27874/statm: 92346 9495 341 106 0 87317 0
[pid=27874/tid=27875] ppid=27872 vsize=369384 CPUtime=0.06 cores=0,2,4,6
/proc/27874/task/27875/stat : 27875 (strangenight2-m) R 27872 27874 27770 0 -1 4202560 2753 0 0 0 6 0 0 0 18 0 4 0 593219839 378249216 9508 33554432000 4194304 4627427 140737206722544 18446744073709551615 4360952 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=27874/tid=27876] ppid=27872 vsize=369384 CPUtime=0.07 cores=0,2,4,6
/proc/27874/task/27876/stat : 27876 (strangenight2-m) S 27872 27874 27770 0 -1 4202560 2788 0 0 0 6 1 0 0 18 0 4 0 593219839 378249216 9527 33554432000 4194304 4627427 140737206722544 18446744073709551615 252458170862 0 0 4096 2 18446604453829407104 0 0 -1 6 0 0 0
[pid=27874/tid=27877] ppid=27872 vsize=369384 CPUtime=0.06 cores=0,2,4,6
/proc/27874/task/27877/stat : 27877 (strangenight2-m) R 27872 27874 27770 0 -1 4202560 2779 0 0 0 6 0 0 0 18 0 4 0 593219839 378249216 9562 33554432000 4194304 4627427 140737206722544 18446744073709551615 252458170911 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 369384

[startup+0.107172 s]
/proc/loadavg: 8.18 7.94 5.85 5/180 27874
/proc/meminfo: memFree=22893260/32951124 swapFree=67111348/67111528
[pid=27874] ppid=27872 vsize=376796 CPUtime=0.38 cores=0,2,4,6
/proc/27874/stat : 27874 (strangenight2-m) R 27872 27874 27770 0 -1 4202496 14536 0 0 0 33 5 0 0 23 0 4 0 593219839 385839104 12470 33554432000 4194304 4627427 140737206722544 18446744073709551615 4360952 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/27874/statm: 94199 12481 341 106 0 89170 0
[pid=27874/tid=27875] ppid=27872 vsize=376796 CPUtime=0.08 cores=0,2,4,6
/proc/27874/task/27875/stat : 27875 (strangenight2-m) R 27872 27874 27770 0 -1 4202560 3405 0 0 0 8 0 0 0 18 0 4 0 593219839 385839104 12492 33554432000 4194304 4627427 140737206722544 18446744073709551615 252458170911 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=27874/tid=27876] ppid=27872 vsize=376796 CPUtime=0.09 cores=0,2,4,6
/proc/27874/task/27876/stat : 27876 (strangenight2-m) S 27872 27874 27770 0 -1 4202560 3435 0 0 0 8 1 0 0 18 0 4 0 593219839 385839104 12503 33554432000 4194304 4627427 140737206722544 18446744073709551615 252458170862 0 0 4096 2 18446604453829407104 0 0 -1 6 0 0 0
[pid=27874/tid=27877] ppid=27872 vsize=376796 CPUtime=0.09 cores=0,2,4,6
/proc/27874/task/27877/stat : 27877 (strangenight2-m) R 27872 27874 27770 0 -1 4202560 3559 0 0 0 8 1 0 0 18 0 4 0 593219839 385839104 12556 33554432000 4194304 4627427 140737206722544 18446744073709551615 252457733122 0 0 4096 2 18446604453829407104 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 376796

[startup+0.302344 s]
/proc/loadavg: 8.18 7.94 5.85 5/180 27874
/proc/meminfo: memFree=22893260/32951124 swapFree=67111348/67111528
[pid=27874] ppid=27872 vsize=399976 CPUtime=0.89 cores=0,2,4,6
/proc/27874/stat : 27874 (strangenight2-m) R 27872 27874 27770 0 -1 4202496 33277 0 0 0 68 21 0 0 17 0 4 0 593219839 409575424 29000 33554432000 4194304 4627427 140737206722544 18446744073709551615 252458170911 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/27874/statm: 99994 29000 341 106 0 94965 0
[pid=27874/tid=27875] ppid=27872 vsize=399976 CPUtime=0.25 cores=0,2,4,6
/proc/27874/task/27875/stat : 27875 (strangenight2-m) R 27872 27874 27770 0 -1 4202560 7674 0 0 0 21 4 0 0 18 0 4 0 593219839 409575424 29000 33554432000 4194304 4627427 140737206722544 18446744073709551615 252458170911 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=27874/tid=27876] ppid=27872 vsize=399976 CPUtime=0.2 cores=0,2,4,6
/proc/27874/task/27876/stat : 27876 (strangenight2-m) R 27872 27874 27770 0 -1 4202560 7810 0 0 0 15 5 0 0 17 0 4 0 593219839 409575424 29001 33554432000 4194304 4627427 140737206722544 18446744073709551615 252458170862 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27874/tid=27877] ppid=27872 vsize=399976 CPUtime=0.21 cores=0,2,4,6
/proc/27874/task/27877/stat : 27877 (strangenight2-m) R 27872 27874 27770 0 -1 4202560 8576 0 0 0 15 6 0 0 17 0 4 0 593219839 409575424 29001 33554432000 4194304 4627427 140737206722544 18446744073709551615 252458170911 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.89
Current children cumulated vsize (KiB) 399976

[startup+0.701082 s]
/proc/loadavg: 8.18 7.94 5.85 5/180 27874
/proc/meminfo: memFree=22893260/32951124 swapFree=67111348/67111528
[pid=27874] ppid=27872 vsize=442744 CPUtime=2.02 cores=0,2,4,6
/proc/27874/stat : 27874 (strangenight2-m) R 27872 27874 27770 0 -1 4202496 59017 0 0 0 157 45 0 0 18 0 4 0 593219839 453369856 50428 33554432000 4194304 4627427 140737206722544 18446744073709551615 4308987 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/27874/statm: 110686 50428 365 106 0 105657 0
[pid=27874/tid=27875] ppid=27872 vsize=442744 CPUtime=0.63 cores=0,2,4,6
/proc/27874/task/27875/stat : 27875 (strangenight2-m) R 27872 27874 27770 0 -1 4202560 14313 0 0 0 54 9 0 0 18 0 4 0 593219839 453369856 50428 33554432000 4194304 4627427 140737206722544 18446744073709551615 4308435 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=27874/tid=27876] ppid=27872 vsize=442744 CPUtime=0.44 cores=0,2,4,6
/proc/27874/task/27876/stat : 27876 (strangenight2-m) R 27872 27874 27770 0 -1 4202560 13910 0 0 0 33 11 0 0 17 0 4 0 593219839 453369856 50428 33554432000 4194304 4627427 140737206722544 18446744073709551615 252458109111 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27874/tid=27877] ppid=27872 vsize=442744 CPUtime=0.48 cores=0,2,4,6
/proc/27874/task/27877/stat : 27877 (strangenight2-m) R 27872 27874 27770 0 -1 4202560 15370 0 0 0 36 12 0 0 18 0 4 0 593219839 453369856 50428 33554432000 4194304 4627427 140737206722544 18446744073709551615 4308996 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.02
Current children cumulated vsize (KiB) 442744

[startup+1.50093 s]
/proc/loadavg: 8.18 7.94 5.85 5/179 27879
/proc/meminfo: memFree=23028676/32951124 swapFree=67111348/67111528
[pid=27874] ppid=27872 vsize=443032 CPUtime=5.22 cores=0,2,4,6
/proc/27874/stat : 27874 (strangenight2-m) R 27872 27874 27770 0 -1 4202496 61069 0 0 0 476 46 0 0 19 0 4 0 593219839 453664768 52480 33554432000 4194304 4627427 140737206722544 18446744073709551615 4308139 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/27874/statm: 110758 52480 367 106 0 105729 0
[pid=27874/tid=27875] ppid=27872 vsize=443032 CPUtime=1.43 cores=0,2,4,6
/proc/27874/task/27875/stat : 27875 (strangenight2-m) R 27872 27874 27770 0 -1 4202560 14788 0 0 0 134 9 0 0 19 0 4 0 593219839 453664768 52480 33554432000 4194304 4627427 140737206722544 18446744073709551615 4309587 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=27874/tid=27876] ppid=27872 vsize=443032 CPUtime=1.24 cores=0,2,4,6
/proc/27874/task/27876/stat : 27876 (strangenight2-m) R 27872 27874 27770 0 -1 4202560 14384 0 0 0 112 12 0 0 19 0 4 0 593219839 453664768 52480 33554432000 4194304 4627427 140737206722544 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27874/tid=27877] ppid=27872 vsize=443032 CPUtime=1.27 cores=0,2,4,6
/proc/27874/task/27877/stat : 27877 (strangenight2-m) R 27872 27874 27770 0 -1 4202560 16004 0 0 0 115 12 0 0 19 0 4 0 593219839 453664768 52480 33554432000 4194304 4627427 140737206722544 18446744073709551615 4321603 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 5.22
Current children cumulated vsize (KiB) 443032

[startup+3.10058 s]
/proc/loadavg: 7.85 7.88 5.83 5/179 27880
/proc/meminfo: memFree=23024088/32951124 swapFree=67111348/67111528
[pid=27874] ppid=27872 vsize=443696 CPUtime=11.62 cores=0,2,4,6
/proc/27874/stat : 27874 (strangenight2-m) R 27872 27874 27770 0 -1 4202496 62933 0 0 0 1114 48 0 0 22 0 4 0 593219839 454344704 54024 33554432000 4194304 4627427 140737206722544 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/27874/statm: 110924 54024 367 106 0 105895 0
[pid=27874/tid=27875] ppid=27872 vsize=443696 CPUtime=3.03 cores=0,2,4,6
/proc/27874/task/27875/stat : 27875 (strangenight2-m) R 27872 27874 27770 0 -1 4202560 14862 0 0 0 294 9 0 0 22 0 4 0 593219839 454344704 54024 33554432000 4194304 4627427 140737206722544 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=27874/tid=27876] ppid=27872 vsize=443696 CPUtime=2.83 cores=0,2,4,6
/proc/27874/task/27876/stat : 27876 (strangenight2-m) R 27872 27874 27770 0 -1 4202560 14458 0 0 0 271 12 0 0 22 0 4 0 593219839 454344704 54024 33554432000 4194304 4627427 140737206722544 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27874/tid=27877] ppid=27872 vsize=443696 CPUtime=2.87 cores=0,2,4,6
/proc/27874/task/27877/stat : 27877 (strangenight2-m) R 27872 27874 27770 0 -1 4202560 17647 0 0 0 274 13 0 0 22 0 4 0 593219839 454344704 54024 33554432000 4194304 4627427 140737206722544 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 11.62
Current children cumulated vsize (KiB) 443696

[startup+6.30098 s]
/proc/loadavg: 7.85 7.88 5.83 9/184 27910
/proc/meminfo: memFree=22852484/32951124 swapFree=67111348/67111528
[pid=27874] ppid=27872 vsize=477340 CPUtime=24.39 cores=0,2,4,6
/proc/27874/stat : 27874 (strangenight2-m) R 27872 27874 27770 0 -1 4202496 65175 0 0 0 2390 49 0 0 25 0 4 0 593219839 488796160 56107 33554432000 4194304 4627427 140737206722544 18446744073709551615 4308411 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/27874/statm: 119335 56107 368 106 0 114306 0
[pid=27874/tid=27875] ppid=27872 vsize=477340 CPUtime=6.23 cores=0,2,4,6
/proc/27874/task/27875/stat : 27875 (strangenight2-m) R 27872 27874 27770 0 -1 4202560 14867 0 0 0 614 9 0 0 25 0 4 0 593219839 488796160 56107 33554432000 4194304 4627427 140737206722544 18446744073709551615 4297720 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=27874/tid=27876] ppid=27872 vsize=477340 CPUtime=6.02 cores=0,2,4,6
/proc/27874/task/27876/stat : 27876 (strangenight2-m) R 27872 27874 27770 0 -1 4202560 14458 0 0 0 590 12 0 0 25 0 4 0 593219839 488796160 56107 33554432000 4194304 4627427 140737206722544 18446744073709551615 4299536 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27874/tid=27877] ppid=27872 vsize=477340 CPUtime=6.07 cores=0,2,4,6
/proc/27874/task/27877/stat : 27877 (strangenight2-m) R 27872 27874 27770 0 -1 4202560 19881 0 0 0 593 14 0 0 25 0 4 0 593219839 488796160 56107 33554432000 4194304 4627427 140737206722544 18446744073709551615 4321835 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 24.39
Current children cumulated vsize (KiB) 477340

[startup+12.7008 s]
/proc/loadavg: 7.87 7.88 5.86 9/184 27910
/proc/meminfo: memFree=22756896/32951124 swapFree=67111348/67111528
[pid=27874] ppid=27872 vsize=458640 CPUtime=49.95 cores=0,2,4,6
/proc/27874/stat : 27874 (strangenight2-m) R 27872 27874 27770 0 -1 4202496 83324 0 0 0 4941 54 0 0 25 0 4 0 593219839 469647360 69689 33554432000 4194304 4627427 140737206722544 18446744073709551615 4305848 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/27874/statm: 114660 69689 387 106 0 109631 0
[pid=27874/tid=27875] ppid=27872 vsize=458640 CPUtime=12.63 cores=0,2,4,6
/proc/27874/task/27875/stat : 27875 (strangenight2-m) R 27872 27874 27770 0 -1 4202560 18561 0 0 0 1253 10 0 0 25 0 4 0 593219839 469647360 69689 33554432000 4194304 4627427 140737206722544 18446744073709551615 4302428 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=27874/tid=27876] ppid=27872 vsize=458640 CPUtime=12.37 cores=0,2,4,6
/proc/27874/task/27876/stat : 27876 (strangenight2-m) R 27872 27874 27770 0 -1 4202560 18036 0 0 0 1225 12 0 0 25 0 4 0 593219839 469647360 69689 33554432000 4194304 4627427 140737206722544 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27874/tid=27877] ppid=27872 vsize=458640 CPUtime=12.47 cores=0,2,4,6
/proc/27874/task/27877/stat : 27877 (strangenight2-m) R 27872 27874 27770 0 -1 4202560 26145 0 0 0 1231 16 0 0 25 0 4 0 593219839 469647360 69689 33554432000 4194304 4627427 140737206722544 18446744073709551615 4310465 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 49.95
Current children cumulated vsize (KiB) 458640

[startup+25.5004 s]
/proc/loadavg: 7.96 7.90 5.89 9/184 27910
/proc/meminfo: memFree=22686828/32951124 swapFree=67111348/67111528
[pid=27874] ppid=27872 vsize=520988 CPUtime=101.09 cores=0,2,4,6
/proc/27874/stat : 27874 (strangenight2-m) R 27872 27874 27770 0 -1 4202496 109044 0 0 0 10050 59 0 0 25 0 4 0 593219839 533491712 77968 33554432000 4194304 4627427 140737206722544 18446744073709551615 4322609 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/27874/statm: 130247 77968 387 106 0 125218 0
[pid=27874/tid=27875] ppid=27872 vsize=520988 CPUtime=25.42 cores=0,2,4,6
/proc/27874/task/27875/stat : 27875 (strangenight2-m) R 27872 27874 27770 0 -1 4202560 24730 0 0 0 2532 10 0 0 25 0 4 0 593219839 533491712 77968 33554432000 4194304 4627427 140737206722544 18446744073709551615 4321661 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=27874/tid=27876] ppid=27872 vsize=520988 CPUtime=25.11 cores=0,2,4,6
/proc/27874/task/27876/stat : 27876 (strangenight2-m) R 27872 27874 27770 0 -1 4202560 25416 0 0 0 2497 14 0 0 25 0 4 0 593219839 533491712 77968 33554432000 4194304 4627427 140737206722544 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27874/tid=27877] ppid=27872 vsize=520988 CPUtime=25.28 cores=0,2,4,6
/proc/27874/task/27877/stat : 27877 (strangenight2-m) R 27872 27874 27770 0 -1 4202560 32265 0 0 0 2510 18 0 0 25 0 4 0 593219839 533491712 77968 33554432000 4194304 4627427 140737206722544 18446744073709551615 4324648 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 101.09
Current children cumulated vsize (KiB) 520988

[startup+51.1006 s]
/proc/loadavg: 7.98 7.91 5.94 9/184 27911
/proc/meminfo: memFree=20467396/32951124 swapFree=67111348/67111528
[pid=27874] ppid=27872 vsize=683064 CPUtime=203.35 cores=0,2,4,6
/proc/27874/stat : 27874 (strangenight2-m) R 27872 27874 27770 0 -1 4202496 154962 0 0 0 20265 70 0 0 25 0 4 0 593219839 699457536 92287 33554432000 4194304 4627427 140737206722544 18446744073709551615 4332689 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/27874/statm: 170766 92287 388 106 0 165737 0
[pid=27874/tid=27875] ppid=27872 vsize=683064 CPUtime=51.03 cores=0,2,4,6
/proc/27874/task/27875/stat : 27875 (strangenight2-m) R 27872 27874 27770 0 -1 4202560 36544 0 0 0 5089 14 0 0 25 0 4 0 593219839 699457536 92287 33554432000 4194304 4627427 140737206722544 18446744073709551615 4321761 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=27874/tid=27876] ppid=27872 vsize=683064 CPUtime=50.59 cores=0,2,4,6
/proc/27874/task/27876/stat : 27876 (strangenight2-m) R 27872 27874 27770 0 -1 4202560 37568 0 0 0 5042 17 0 0 25 0 4 0 593219839 699457536 92287 33554432000 4194304 4627427 140737206722544 18446744073709551615 4321717 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27874/tid=27877] ppid=27872 vsize=683064 CPUtime=50.87 cores=0,2,4,6
/proc/27874/task/27877/stat : 27877 (strangenight2-m) R 27872 27874 27770 0 -1 4202560 41288 0 0 0 5067 20 0 0 25 0 4 0 593219839 699457536 92287 33554432000 4194304 4627427 140737206722544 18446744073709551615 4321835 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 203.35
Current children cumulated vsize (KiB) 683064

[startup+102.306 s]
/proc/loadavg: 8.08 7.95 6.07 8/184 27912
/proc/meminfo: memFree=11112628/32951124 swapFree=67111348/67111528
[pid=27874] ppid=27872 vsize=2664628 CPUtime=406.15 cores=0,2,4,6
/proc/27874/stat : 27874 (strangenight2-m) R 27872 27874 27770 0 -1 4202496 615078 0 0 0 40457 158 0 0 25 0 4 0 593219839 2728579072 514422 33554432000 4194304 4627427 140737206722544 18446744073709551615 4321694 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/27874/statm: 666157 514422 391 106 0 661128 0
[pid=27874/tid=27875] ppid=27872 vsize=2664628 CPUtime=101.73 cores=0,2,4,6
/proc/27874/task/27875/stat : 27875 (strangenight2-m) S 27872 27874 27770 0 -1 4202560 143298 0 0 0 10141 32 0 0 25 0 4 0 593219839 2728579072 514422 33554432000 4194304 4627427 140737206722544 18446744073709551615 47529536479774 0 0 4096 2 18446604453829407104 0 0 -1 0 0 0 0
[pid=27874/tid=27876] ppid=27872 vsize=2664628 CPUtime=101.51 cores=0,2,4,6
/proc/27874/task/27876/stat : 27876 (strangenight2-m) R 27872 27874 27770 0 -1 4202560 159171 0 0 0 10109 42 0 0 25 0 4 0 593219839 2728579072 514422 33554432000 4194304 4627427 140737206722544 18446744073709551615 4321747 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=27874/tid=27877] ppid=27872 vsize=2664628 CPUtime=100.86 cores=0,2,4,6
/proc/27874/task/27877/stat : 27877 (strangenight2-m) R 27872 27874 27770 0 -1 4202560 149500 0 0 0 10044 42 0 0 19 0 4 0 593219839 2728579072 514422 33554432000 4194304 4627427 140737206722544 18446744073709551615 4538320 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 406.15
Current children cumulated vsize (KiB) 2664628

[startup+162.301 s]
/proc/loadavg: 8.11 7.99 6.20 9/184 27914
/proc/meminfo: memFree=8008848/32951124 swapFree=67111348/67111528
[pid=27874] ppid=27872 vsize=3333632 CPUtime=644.93 cores=0,2,4,6
/proc/27874/stat : 27874 (strangenight2-m) R 27872 27874 27770 0 -1 4202496 778837 0 0 0 64300 193 0 0 25 0 4 0 593219839 3413639168 644588 33554432000 4194304 4627427 140737206722544 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/27874/statm: 833408 644588 391 106 0 828379 0
[pid=27874/tid=27875] ppid=27872 vsize=3333632 CPUtime=161.31 cores=0,2,4,6
/proc/27874/task/27875/stat : 27875 (strangenight2-m) R 27872 27874 27770 0 -1 4202560 202542 0 0 0 16087 44 0 0 25 0 4 0 593219839 3413639168 644588 33554432000 4194304 4627427 140737206722544 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=27874/tid=27876] ppid=27872 vsize=3333632 CPUtime=161.22 cores=0,2,4,6
/proc/27874/task/27876/stat : 27876 (strangenight2-m) R 27872 27874 27770 0 -1 4202560 178928 0 0 0 16075 47 0 0 25 0 4 0 593219839 3413639168 644588 33554432000 4194304 4627427 140737206722544 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27874/tid=27877] ppid=27872 vsize=3333632 CPUtime=160.84 cores=0,2,4,6
/proc/27874/task/27877/stat : 27877 (strangenight2-m) R 27872 27874 27770 0 -1 4202560 173459 0 0 0 16036 48 0 0 25 0 4 0 593219839 3413639168 644588 33554432000 4194304 4627427 140737206722544 18446744073709551615 4309584 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 644.93
Current children cumulated vsize (KiB) 3333632

[startup+222.301 s]
/proc/loadavg: 8.04 7.99 6.31 9/184 27915
/proc/meminfo: memFree=6632020/32951124 swapFree=67111348/67111528
[pid=27874] ppid=27872 vsize=4231260 CPUtime=884.23 cores=0,2,4,6
/proc/27874/stat : 27874 (strangenight2-m) R 27872 27874 27770 0 -1 4202496 992128 0 0 0 88187 236 0 0 25 0 4 0 593219839 4332810240 821372 33554432000 4194304 4627427 140737206722544 18446744073709551615 4308139 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/27874/statm: 1057815 821372 391 106 0 1052786 0
[pid=27874/tid=27875] ppid=27872 vsize=4231260 CPUtime=221.31 cores=0,2,4,6
/proc/27874/task/27875/stat : 27875 (strangenight2-m) R 27872 27874 27770 0 -1 4202560 225003 0 0 0 22081 50 0 0 25 0 4 0 593219839 4332810240 821372 33554432000 4194304 4627427 140737206722544 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=27874/tid=27876] ppid=27872 vsize=4231260 CPUtime=220.94 cores=0,2,4,6
/proc/27874/task/27876/stat : 27876 (strangenight2-m) R 27872 27874 27770 0 -1 4202560 254752 0 0 0 22033 61 0 0 25 0 4 0 593219839 4332810240 821372 33554432000 4194304 4627427 140737206722544 18446744073709551615 4321747 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27874/tid=27877] ppid=27872 vsize=4231260 CPUtime=220.43 cores=0,2,4,6
/proc/27874/task/27877/stat : 27877 (strangenight2-m) R 27872 27874 27770 0 -1 4202560 205139 0 0 0 21986 57 0 0 25 0 4 0 593219839 4332810240 821372 33554432000 4194304 4627427 140737206722544 18446744073709551615 4229257 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 884.23
Current children cumulated vsize (KiB) 4231260

[startup+282.301 s]
/proc/loadavg: 8.05 8.00 6.41 9/184 27917
/proc/meminfo: memFree=5283616/32951124 swapFree=67111348/67111528
[pid=27874] ppid=27872 vsize=5124196 CPUtime=1123.94 cores=0,2,4,6
/proc/27874/stat : 27874 (strangenight2-m) R 27872 27874 27770 0 -1 4202496 1228468 0 0 0 112110 284 0 0 25 0 4 0 593219839 5247176704 1025829 33554432000 4194304 4627427 140737206722544 18446744073709551615 4308987 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/27874/statm: 1281049 1025829 391 106 0 1276020 0
[pid=27874/tid=27875] ppid=27872 vsize=5124196 CPUtime=281.31 cores=0,2,4,6
/proc/27874/task/27875/stat : 27875 (strangenight2-m) R 27872 27874 27770 0 -1 4202560 291489 0 0 0 28068 63 0 0 25 0 4 0 593219839 5247176704 1025829 33554432000 4194304 4627427 140737206722544 18446744073709551615 4501624 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=27874/tid=27876] ppid=27872 vsize=5124196 CPUtime=280.66 cores=0,2,4,6
/proc/27874/task/27876/stat : 27876 (strangenight2-m) R 27872 27874 27770 0 -1 4202560 272493 0 0 0 27999 67 0 0 25 0 4 0 593219839 5247176704 1025829 33554432000 4194304 4627427 140737206722544 18446744073709551615 4308411 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27874/tid=27877] ppid=27872 vsize=5124196 CPUtime=280.43 cores=0,2,4,6
/proc/27874/task/27877/stat : 27877 (strangenight2-m) R 27872 27874 27770 0 -1 4202560 282514 0 0 0 27970 73 0 0 25 0 4 0 593219839 5247176704 1025829 33554432000 4194304 4627427 140737206722544 18446744073709551615 4308764 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1123.94
Current children cumulated vsize (KiB) 5124196

[startup+342.3 s]
/proc/loadavg: 8.16 8.04 6.53 9/184 27919
/proc/meminfo: memFree=5160960/32951124 swapFree=67111348/67111528
[pid=27874] ppid=27872 vsize=5144588 CPUtime=1361.76 cores=0,2,4,6
/proc/27874/stat : 27874 (strangenight2-m) R 27872 27874 27770 0 -1 4202496 1283434 0 0 0 135871 305 0 0 25 0 4 0 593219839 5268058112 1045342 33554432000 4194304 4627427 140737206722544 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/27874/statm: 1286147 1045342 391 106 0 1281118 0
[pid=27874/tid=27875] ppid=27872 vsize=5144588 CPUtime=340.67 cores=0,2,4,6
/proc/27874/task/27875/stat : 27875 (strangenight2-m) R 27872 27874 27770 0 -1 4202560 306644 0 0 0 33998 69 0 0 25 0 4 0 593219839 5268058112 1045342 33554432000 4194304 4627427 140737206722544 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=27874/tid=27876] ppid=27872 vsize=5144588 CPUtime=340.37 cores=0,2,4,6
/proc/27874/task/27876/stat : 27876 (strangenight2-m) R 27872 27874 27770 0 -1 4202560 286372 0 0 0 33965 72 0 0 25 0 4 0 593219839 5268058112 1045342 33554432000 4194304 4627427 140737206722544 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27874/tid=27877] ppid=27872 vsize=5144588 CPUtime=339.18 cores=0,2,4,6
/proc/27874/task/27877/stat : 27877 (strangenight2-m) R 27872 27874 27770 0 -1 4202560 296200 0 0 0 33840 78 0 0 25 0 4 0 593219839 5268058112 1045342 33554432000 4194304 4627427 140737206722544 18446744073709551615 4332648 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1361.76
Current children cumulated vsize (KiB) 5144588

[startup+402.3 s]
/proc/loadavg: 8.18 8.06 6.62 9/184 27920
/proc/meminfo: memFree=4608508/32951124 swapFree=67111348/67111528
[pid=27874] ppid=27872 vsize=5743876 CPUtime=1601.47 cores=0,2,4,6
/proc/27874/stat : 27874 (strangenight2-m) R 27872 27874 27770 0 -1 4202496 1413823 0 0 0 159811 336 0 0 25 0 4 0 593219839 5881729024 1145502 33554432000 4194304 4627427 140737206722544 18446744073709551615 4308139 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/27874/statm: 1435969 1145502 391 106 0 1430940 0
[pid=27874/tid=27875] ppid=27872 vsize=5743876 CPUtime=400.68 cores=0,2,4,6
/proc/27874/task/27875/stat : 27875 (strangenight2-m) R 27872 27874 27770 0 -1 4202560 317960 0 0 0 39994 74 0 0 25 0 4 0 593219839 5881729024 1145502 33554432000 4194304 4627427 140737206722544 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=27874/tid=27876] ppid=27872 vsize=5743876 CPUtime=400.1 cores=0,2,4,6
/proc/27874/task/27876/stat : 27876 (strangenight2-m) R 27872 27874 27770 0 -1 4202560 358863 0 0 0 39921 89 0 0 25 0 4 0 593219839 5881729024 1145502 33554432000 4194304 4627427 140737206722544 18446744073709551615 4428408 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27874/tid=27877] ppid=27872 vsize=5743876 CPUtime=399.17 cores=0,2,4,6
/proc/27874/task/27877/stat : 27877 (strangenight2-m) R 27872 27874 27770 0 -1 4202560 308488 0 0 0 39835 82 0 0 25 0 4 0 593219839 5881729024 1145502 33554432000 4194304 4627427 140737206722544 18446744073709551615 4322525 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1601.47
Current children cumulated vsize (KiB) 5743876

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

[startup+403.101 s]
/proc/loadavg: 8.16 8.06 6.63 9/184 27920
/proc/meminfo: memFree=4639260/32951124 swapFree=67111348/67111528
[pid=27874] ppid=27872 vsize=5743876 CPUtime=1604.68 cores=0,2,4,6
/proc/27874/stat : 27874 (strangenight2-m) R 27872 27874 27770 0 -1 4202496 1414221 0 0 0 160131 337 0 0 25 0 4 0 593219839 5881729024 1145900 33554432000 4194304 4627427 140737206722544 18446744073709551615 4333109 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/27874/statm: 1435969 1145900 391 106 0 1430940 0
[pid=27874/tid=27875] ppid=27872 vsize=5743876 CPUtime=401.48 cores=0,2,4,6
/proc/27874/task/27875/stat : 27875 (strangenight2-m) R 27872 27874 27770 0 -1 4202560 318125 0 0 0 40074 74 0 0 25 0 4 0 593219839 5881729024 1145900 33554432000 4194304 4627427 140737206722544 18446744073709551615 4322040 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=27874/tid=27876] ppid=27872 vsize=5743876 CPUtime=400.9 cores=0,2,4,6
/proc/27874/task/27876/stat : 27876 (strangenight2-m) R 27872 27874 27770 0 -1 4202560 358863 0 0 0 40001 89 0 0 25 0 4 0 593219839 5881729024 1145900 33554432000 4194304 4627427 140737206722544 18446744073709551615 4427416 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27874/tid=27877] ppid=27872 vsize=5743876 CPUtime=399.97 cores=0,2,4,6
/proc/27874/task/27877/stat : 27877 (strangenight2-m) R 27872 27874 27770 0 -1 4202560 308593 0 0 0 39915 82 0 0 25 0 4 0 593219839 5881729024 1145900 33554432000 4194304 4627427 140737206722544 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1604.68
Current children cumulated vsize (KiB) 5743876

[startup+409.501 s]
/proc/loadavg: 8.15 8.06 6.63 9/184 27920
/proc/meminfo: memFree=4622272/32951124 swapFree=67111348/67111528
[pid=27874] ppid=27872 vsize=5745924 CPUtime=1630.24 cores=0,2,4,6
/proc/27874/stat : 27874 (strangenight2-m) R 27872 27874 27770 0 -1 4202496 1420569 0 0 0 162686 338 0 0 25 0 4 0 593219839 5883826176 1151901 33554432000 4194304 4627427 140737206722544 18446744073709551615 4308987 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/27874/statm: 1436481 1151901 391 106 0 1431452 0
[pid=27874/tid=27875] ppid=27872 vsize=5745924 CPUtime=407.88 cores=0,2,4,6
/proc/27874/task/27875/stat : 27875 (strangenight2-m) R 27872 27874 27770 0 -1 4202560 318850 0 0 0 40714 74 0 0 25 0 4 0 593219839 5883826176 1151901 33554432000 4194304 4627427 140737206722544 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=27874/tid=27876] ppid=27872 vsize=5745924 CPUtime=407.26 cores=0,2,4,6
/proc/27874/task/27876/stat : 27876 (strangenight2-m) R 27872 27874 27770 0 -1 4202560 363068 0 0 0 40637 89 0 0 25 0 4 0 593219839 5883826176 1151901 33554432000 4194304 4627427 140737206722544 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27874/tid=27877] ppid=27872 vsize=5745924 CPUtime=406.38 cores=0,2,4,6
/proc/27874/task/27877/stat : 27877 (strangenight2-m) R 27872 27874 27770 0 -1 4202560 309371 0 0 0 40555 83 0 0 25 0 4 0 593219839 5883826176 1151901 33554432000 4194304 4627427 140737206722544 18446744073709551615 4308411 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1630.24
Current children cumulated vsize (KiB) 5745924

[startup+411.101 s]
/proc/loadavg: 8.15 8.06 6.63 9/184 27920
/proc/meminfo: memFree=4613088/32951124 swapFree=67111348/67111528
[pid=27874] ppid=27872 vsize=5691184 CPUtime=1636.64 cores=0,2,4,6
/proc/27874/stat : 27874 (strangenight2-m) R 27872 27874 27770 0 -1 4202496 1422303 0 0 0 163325 339 0 0 25 0 4 0 593219839 5827772416 1150251 33554432000 4194304 4627427 140737206722544 18446744073709551615 4321720 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/27874/statm: 1422796 1150251 391 106 0 1417767 0
[pid=27874/tid=27875] ppid=27872 vsize=5691184 CPUtime=409.47 cores=0,2,4,6
/proc/27874/task/27875/stat : 27875 (strangenight2-m) R 27872 27874 27770 0 -1 4202560 320179 0 0 0 40873 74 0 0 25 0 4 0 593219839 5827772416 1150251 33554432000 4194304 4627427 140737206722544 18446744073709551615 4321453 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=27874/tid=27876] ppid=27872 vsize=5691184 CPUtime=408.85 cores=0,2,4,6
/proc/27874/task/27876/stat : 27876 (strangenight2-m) R 27872 27874 27770 0 -1 4202560 363199 0 0 0 40796 89 0 0 25 0 4 0 593219839 5827772416 1150251 33554432000 4194304 4627427 140737206722544 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27874/tid=27877] ppid=27872 vsize=5691184 CPUtime=407.98 cores=0,2,4,6
/proc/27874/task/27877/stat : 27877 (strangenight2-m) R 27872 27874 27770 0 -1 4202560 309455 0 0 0 40715 83 0 0 25 0 4 0 593219839 5827772416 1150251 33554432000 4194304 4627427 140737206722544 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1636.64
Current children cumulated vsize (KiB) 5691184

[startup+412.7 s]
/proc/loadavg: 8.22 8.08 6.65 8/184 27920
/proc/meminfo: memFree=4605648/32951124 swapFree=67111348/67111528
[pid=27874] ppid=27872 vsize=5691184 CPUtime=1642.29 cores=0,2,4,6
/proc/27874/stat : 27874 (strangenight2-m) R 27872 27874 27770 0 -1 4202496 1422864 0 0 0 163890 339 0 0 25 0 4 0 593219839 5827772416 1150812 33554432000 4194304 4627427 140737206722544 18446744073709551615 4515596 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/27874/statm: 1422796 1150812 391 106 0 1417767 0
[pid=27874/tid=27875] ppid=27872 vsize=5691184 CPUtime=410.34 cores=0,2,4,6
/proc/27874/task/27875/stat : 27875 (strangenight2-m) S 27872 27874 27770 0 -1 4202560 320268 0 0 0 40959 75 0 0 25 0 4 0 593219839 5827772416 1150812 33554432000 4194304 4627427 140737206722544 18446744073709551615 47529536480820 0 0 4096 2 18446604453829407104 0 0 -1 0 0 0 0
[pid=27874/tid=27876] ppid=27872 vsize=5691184 CPUtime=410.45 cores=0,2,4,6
/proc/27874/task/27876/stat : 27876 (strangenight2-m) R 27872 27874 27770 0 -1 4202560 363268 0 0 0 40956 89 0 0 25 0 4 0 593219839 5827772416 1150812 33554432000 4194304 4627427 140737206722544 18446744073709551615 4515678 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=27874/tid=27877] ppid=27872 vsize=5691184 CPUtime=409.58 cores=0,2,4,6
/proc/27874/task/27877/stat : 27877 (strangenight2-m) R 27872 27874 27770 0 -1 4202560 309512 0 0 0 40875 83 0 0 25 0 4 0 593219839 5827772416 1150812 33554432000 4194304 4627427 140737206722544 18446744073709551615 47529536456224 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1642.29
Current children cumulated vsize (KiB) 5691184

[startup+413.5 s]
/proc/loadavg: 8.22 8.08 6.65 8/184 27920
/proc/meminfo: memFree=4608372/32951124 swapFree=67111348/67111528
[pid=27874] ppid=27872 vsize=5691184 CPUtime=1644.71 cores=0,2,4,6
/proc/27874/stat : 27874 (strangenight2-m) R 27872 27874 27770 0 -1 4202496 1422864 0 0 0 164132 339 0 0 25 0 4 0 593219839 5827772416 1150812 33554432000 4194304 4627427 140737206722544 18446744073709551615 4515632 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/27874/statm: 1422796 1150812 391 106 0 1417767 0
[pid=27874/tid=27875] ppid=27872 vsize=5691184 CPUtime=410.34 cores=0,2,4,6
/proc/27874/task/27875/stat : 27875 (strangenight2-m) S 27872 27874 27770 0 -1 4202560 320268 0 0 0 40959 75 0 0 25 0 4 0 593219839 5827772416 1150812 33554432000 4194304 4627427 140737206722544 18446744073709551615 47529536480820 0 0 4096 2 18446604453829407104 0 0 -1 0 0 0 0
[pid=27874/tid=27876] ppid=27872 vsize=5691184 CPUtime=411.25 cores=0,2,4,6
/proc/27874/task/27876/stat : 27876 (strangenight2-m) R 27872 27874 27770 0 -1 4202560 363268 0 0 0 41036 89 0 0 25 0 4 0 593219839 5827772416 1150812 33554432000 4194304 4627427 140737206722544 18446744073709551615 4515632 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=27874/tid=27877] ppid=27872 vsize=5691184 CPUtime=410.38 cores=0,2,4,6
/proc/27874/task/27877/stat : 27877 (strangenight2-m) R 27872 27874 27770 0 -1 4202560 309512 0 0 0 40955 83 0 0 25 0 4 0 593219839 5827772416 1150812 33554432000 4194304 4627427 140737206722544 18446744073709551615 47529536456235 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1644.71
Current children cumulated vsize (KiB) 5691184

[startup+413.7 s]
/proc/loadavg: 8.22 8.08 6.65 8/184 27920
/proc/meminfo: memFree=4608372/32951124 swapFree=67111348/67111528
[pid=27874] ppid=27872 vsize=0 CPUtime=1644.94 cores=0,2,4,6
/proc/27874/stat : 27874 (strangenight2-m) Z 27872 27874 27770 0 -1 4203548 1422867 0 0 0 164137 357 0 0 25 0 2 0 593219839 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/27874/statm: 0 0 0 0 0 0 0
[pid=27874/tid=27876] ppid=27872 vsize=0 CPUtime=411.45 cores=0,2,4,6
/proc/27874/task/27876/stat : 27876 (strangenight2-m) R 27872 27874 27770 0 -1 4203588 363268 0 0 0 41038 107 0 0 25 0 2 0 593219839 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1644.94
Current children cumulated vsize (KiB) 0

Child status: 20
Real time (s): 413.729
CPU time (s): 1644.97
CPU user time (s): 1641.37
CPU system time (s): 3.59745
CPU usage (%): 397.596
Max. virtual memory (cumulated for all children) (KiB): 5745924

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1641.37
system time used= 3.59745
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1422867
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= 64617
involuntary context switches= 7433

runsolver used 0.553915 second user time and 1.45578 second system time

The end

Launcher Data 

Begin job on node111 at 2011-04-29 00:31:34
IDJOB=3285286
IDBENCH=82378
IDSOLVER=1586
FILE ID=node111/3285286-1304029893
RUNJOBID= node111-1304028687-27788
PBS_JOBID= 13170341
Free space on /tmp= 70868 MiB

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

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

MD5SUM BENCH= 36e8e2178d03f08fa4223da0e3d9beb5
RANDOM SEED=417393073

node111.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.849
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.69
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.849
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	: 5428.12
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.849
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.75
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.849
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.86
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.849
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.75
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.849
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.849
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.67
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.849
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:      22893548 kB
Buffers:       1276884 kB
Cached:        7891296 kB
SwapCached:        132 kB
Active:        4033924 kB
Inactive:      5542716 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      22893548 kB
SwapTotal:    67111528 kB
SwapFree:     67111348 kB
Dirty:           29396 kB
Writeback:           0 kB
AnonPages:      408312 kB
Mapped:          15556 kB
Slab:           417012 kB
PageTables:       5504 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   602824 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= 70852 MiB
End job on node111 at 2011-04-29 00:38:27