Trace number 3285656

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-1-mt? (MO) 2781.54 697.176

General information on the benchmark

Nameapplication/rintanen/SATPlanning/
openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.035-NOTKNOWN.cnf
MD5SUM28233bedeee44da6e79e63b9febc4d1e
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark2999.44
Satisfiable
(Un)Satisfiability was proved
Number of variables133566
Number of clauses667976
Sum of the clauses size1591941
Maximum clause length63
Minimum clause length1
Number of clauses of size 1211
Number of clauses of size 2659295
Number of clauses of size 32100
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 56370

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.01	c Using 4 threads
0.00/0.01	c This is CryptoMiniSat 2.9.0
0.00/0.01	c compiled with gcc version 4.4.5
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3285656-1304039137.cnf'
0.00/0.01	c -- header says num vars:         133566
0.00/0.01	c -- header says num clauses:      667976
0.74/0.47	c -- clauses added:            0 learnts,       667976 normals,            0 xors
0.74/0.47	c -- vars added     133566
0.74/0.47	c Parsing time:  0.73 s
0.74/0.47	c  N st     0         0    133566      7085    448915         0   1058309         0   no data   no data  --
0.74/0.47	c asymm  cl-useful: 15/290/6963 lits-rem:450 time: 0.85
22.28/5.66	c Flit:   986 Blit:    867 bXBeca:    0 bXProp:  598 Bins:      0 BRemL:      0 BRemN:      0 P: 200.0M T: 20.69
22.28/5.67	c Cleaning up after failed var search:     0.04 s 
22.28/5.69	c Replacing      599 vars Replaced    24873 lits Time:     0.08 s 
22.68/5.75	c bin-w-bin subsume rem         3716 bins  time:  0.12 s
23.08/5.86	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.43 s
32.67/8.24	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  39228 time:  9.48 s
33.08/8.37	c Removed useless bin:    4531  fixed:     0  props:  20.01M  time:  0.53 s
33.49/8.47	c lits-rem:       222  cl-subs:      417  v-elim:  33794  v-fix:    0  time:  0.40 s
33.49/8.49	c Finding binary XORs  T:     0.06 s  found:     568
33.86/8.51	c Replacing      568 vars Replaced    32994 lits Time:     0.07 s 
33.86/8.53	c Finding non-binary XORs:     0.02 s (found:       0, avg size: nan)
33.86/8.53	c Calc default polars -  time:   0.03 s pos:    3975 undec:   94432 neg:   35159
33.86/8.53	c =========================================================================================
33.86/8.53	c types(t): F = full restart, N = normal restart
33.86/8.53	c types(t): S = simplification begin/end, E = solution found
33.86/8.53	c restart types(rt): st = static, dy = dynamic
33.86/8.53	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
33.86/8.53	c  B st     0         0     67021      8618    332060         0    910790         0   no data   no data  --
70.22/17.68	c  N dy    15      4076     67021      8618    332090      3959    910790   2115609     20.48     22.15  --
108.18/27.11	c  N dy    32      8177     66960      8618    332303      5545    910790   2709290     26.76     28.39  --
169.65/42.52	c  N dy    42     12665     66933      8618    332323      5780    910790   3059656     24.96     26.34  --
209.76/52.66	c  N dy    59     16907     66829      8618    332617      9931    910790   5891225     24.00     27.96  --
238.46/59.84	c  N dy    71     21329     66829      8618    332816      8669    910790   2631870     22.74     24.19  --
263.10/66.05	c  F st    90     25003     66819      8618    332914     12239    910790   4703194     23.02   no data  --
266.68/66.92	c  N st    92     25629     66805      8514    330994     12789    905482   5106871     23.02   no data  --
298.58/74.91	c  N dy    96     30002     66786      8514    331012     10500    905482   4328170     23.02   no data  --
298.58/74.91	c  S st    96     30002     66786      8514    331012     10500    905482   4328170     23.02   no data  --
301.00/75.54	c  S st    96     30506     66786      8514    331014     10997    905482   4600338     23.02   no data  --
301.00/75.57	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.10
343.11/86.13	c Flit:   177 Blit:    317 bXBeca:    0 bXProp:   22 Bins:   5350 BRemL:      0 BRemN:    322 P: 200.0M T: 40.66
343.11/86.13	c Cleaning up after failed var search:     0.00 s 
343.52/86.24	c Replacing       23 vars Replaced     3075 lits Time:     0.39 s 
345.09/86.64	c bin-w-bin subsume rem         2619 bins  time:  0.07 s
350.66/88.04	c subs with bin:       26  lits-rem:      2879  v-fix:    0  time:  5.39 s
351.46/88.24	c Subs w/ non-existent bins:     16 l-rem:    657 v-fix:     0 done:   1115 time:  0.78 s
352.26/88.40	c Removed useless bin:    4444  fixed:     0  props:  20.00M  time:  0.63 s
385.86/96.91	c lits-rem:      2456  cl-subs:     2106  v-elim:  15216  v-fix:    0  time: 32.57 s
386.65/97.19	c asymm  cl-useful: 343/399/8361 lits-rem:8999 time: 1.06
387.85/97.48	c calculated reachability. Time: 1.07
387.85/97.48	c  N dy    96     30506     51051      8361    321015      9668    851496   3475331     23.02   no data  --
390.99/98.25	c Finding binary XORs  T:     2.92 s  found:       6
432.58/108.79	c  N dy   107     35065     51041      8361    321285     14103    851496   6700117     22.17     23.46  --
458.12/115.16	c  N dy   114     39719     51013      8361    321350     11030    851496   3779044     21.24     22.98  --
464.48/116.76	c  N dy   115     44238     51010      8361    321391     15464    851496   5050436     20.11     21.25  --
473.67/119.05	c  S st   119     45760     50984      8361    321601     16955    851496   5882790     19.94     16.80  --
475.28/119.50	c  S st   119     46261     50775      8361    321607     17449    851496   6080228     19.94   no data  --
475.69/119.52	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.11
475.69/119.53	c Cache  BProp: 257 Set: 0 BXProp: 2 T: 0.03
516.41/129.71	c Flit:    22 Blit:    112 bXBeca:    0 bXProp:    0 Bins:   4994 BRemL:      0 BRemN:    264 P: 200.0M T: 40.53
516.41/129.71	c Cleaning up after failed var search:     0.00 s 
516.41/129.78	c Replacing        8 vars Replaced      583 lits Time:     0.27 s 
518.00/130.12	c bin-w-bin subsume rem           99 bins  time:  0.10 s
524.02/131.61	c subs with bin:       15  lits-rem:      2029  v-fix:    0  time:  5.92 s
524.40/131.78	c Subs w/ non-existent bins:     30 l-rem:    561 v-fix:     0 done:    978 time:  0.68 s
525.20/131.92	c Removed useless bin:    2781  fixed:     0  props:  20.00M  time:  0.56 s
533.99/134.12	c lits-rem:       113  cl-subs:      404  v-elim:    174  v-fix:    0  time:  8.79 s
533.99/134.16	c vivif2 --  cl tried     8230 cl shrink     1164 lits rem      26129 time: 0.17
535.98/134.61	c vivif2 --  cl tried    16978 cl shrink     7392 lits rem    2788068 time: 1.78
536.80/134.84	c asymm  cl-useful: 127/331/8173 lits-rem:138 time: 0.90
538.77/135.31	c calculated reachability. Time: 1.87
538.77/135.31	c  N dy   119     46261     50462      8173    319709     16756    802915   3124653     19.94   no data  --
559.17/140.48	c  N dy   130     50564     50424      8173    320242     12411    802915   3660531     19.57     20.61  --
570.74/143.35	c  N dy   142     54687     50422      8173    320271     16451    802915   5444902     19.57     20.98  --
589.11/147.95	c  N dy   154     58808     50415      8173    320490     10878    802915   1416371     19.35     20.38  --
601.49/151.02	c  N dy   165     63028     50332      8173    320540     15013    802915   3324222     19.54     21.03  --
610.28/153.21	c  N dy   166     69392     50331      8173    320626     21295    802915   6595232     18.67     12.64  --
610.28/153.21	c  S st   166     69392     50331      8173    320626     21295    802915   6595232     18.67     12.64  --
611.49/153.55	c  S st   166     69904     50306      8173    320641     11096    802915    837812     18.67   no data  --
611.49/153.57	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
611.49/153.58	c Cache  BProp: 305 Set: 2 BXProp: 0 T: 0.06
660.23/165.76	c Flit:    27 Blit:     96 bXBeca:    0 bXProp:    3 Bins:   4560 BRemL:      0 BRemN:      0 P: 200.0M T: 48.37
660.23/165.76	c Cleaning up after failed var search:     0.00 s 
660.61/165.80	c Replacing        4 vars Replaced      498 lits Time:     0.14 s 
660.61/165.88	c bin-w-bin subsume rem          130 bins  time:  0.09 s
666.59/167.33	c subs with bin:      221  lits-rem:      2591  v-fix:    0  time:  5.80 s
670.20/168.25	c Subs w/ non-existent bins:    138 l-rem:    477 v-fix:     0 done:  15473 time:  3.64 s
670.59/168.40	c Removed useless bin:    4229  fixed:     0  props:  20.01M  time:  0.60 s
674.98/169.44	c lits-rem:      1236  cl-subs:      289  v-elim:    151  v-fix:    0  time:  4.15 s
674.98/169.48	c vivif2 --  cl tried     8089 cl shrink      183 lits rem       2465 time: 0.19
675.78/169.65	c vivif2 --  cl tried    10526 cl shrink      690 lits rem      31147 time: 0.68
676.58/169.88	c asymm  cl-useful: 37/349/8084 lits-rem:1081 time: 0.91
679.37/170.51	c calculated reachability. Time: 2.49
679.37/170.51	c  N dy   166     69904     50026      8054    317638     10480    777040    751221     18.67   no data  --
686.19/172.29	c Finding binary XORs  T:     7.09 s  found:      15
697.75/175.19	c  F st   167     87500     50026      8054    317677     16292    777040   1157168     16.50     11.87  --
698.15/175.22	c Replacing       15 vars Replaced     3222 lits Time:     0.12 s 
698.15/175.28	c  N st   167     87500     50011      8054    317647     16292    777004   1157144     16.50     11.87  --
719.32/180.59	c  N dy   175     93269     49914      8054    319409     21962    777004   4731095     16.48     17.46  --
736.09/184.72	c  N dy   195     99438     49906      8054    319566     15324    777004   1917674     16.24     17.19  --
744.49/186.87	c  S st   205    104858     49902      8054    319704     20590    777004   3962750     16.01     14.40  --
745.68/187.16	c  S st   205    105364     49902      8054    319711     21087    777004   4137481     16.01   no data  --
745.68/187.18	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.10
746.08/187.20	c Cache  BProp: 152 Set: 2 BXProp: 0 T: 0.08
797.61/200.14	c Flit:    33 Blit:     25 bXBeca:    0 bXProp:    0 Bins:   5238 BRemL:      0 BRemN:    275 P: 200.0M T: 51.49
798.41/200.39	c bin-w-bin subsume rem          103 bins  time:  0.10 s
804.40/201.87	c subs with bin:       12  lits-rem:        50  v-fix:    0  time:  5.94 s
805.60/202.12	c Subs w/ non-existent bins:      6 l-rem:    709 v-fix:     0 done:   1615 time:  0.98 s
806.00/202.27	c Removed useless bin:    2790  fixed:     0  props:  20.00M  time:  0.62 s
812.80/203.99	c lits-rem:       146  cl-subs:      368  v-elim:      0  v-fix:    0  time:  6.86 s
813.20/204.05	c vivif2 --  cl tried     8017 cl shrink       59 lits rem        563 time: 0.20
815.18/204.58	c vivif2 --  cl tried    20698 cl shrink     3838 lits rem    1324984 time: 2.13
816.38/204.84	c asymm  cl-useful: 5/308/8013 lits-rem:137 time: 1.05
819.18/205.59	c calculated reachability. Time: 2.93
819.18/205.59	c  N dy   205    105364     49841      8009    320125     20671    765091   2747654     16.01   no data  --
848.34/212.89	c Finding binary XORs  T:     8.48 s  found:      33
851.14/213.51	c  N dy   216    112666     49661      7994    324939     14182    760980    790628     15.74     16.65  --
890.28/223.30	c  N dy   226    150150     49611      7994    325427     20873    760980   1613924     14.03     14.80  --
905.45/227.14	c  S st   263    158048     49608      7994    325479     28653    760980   4392557     14.07      9.48  --
906.66/227.40	c  S st   263    158552     49608      7994    325481     29152    760980   4609315     14.07   no data  --
906.66/227.42	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.11
906.66/227.44	c Cache  BProp: 130 Set: 3 BXProp: 0 T: 0.08
939.81/235.80	c Flit:    41 Blit:     38 bXBeca:    0 bXProp:    0 Bins:   2413 BRemL:      0 BRemN:    171 P: 200.0M T: 33.21
940.61/235.91	c Replacing       33 vars Replaced    10300 lits Time:     0.44 s 
941.43/236.16	c bin-w-bin subsume rem          232 bins  time:  0.10 s
947.40/237.65	c subs with bin:        0  lits-rem:        52  v-fix:    0  time:  5.96 s
948.19/237.81	c Subs w/ non-existent bins:      8 l-rem:    554 v-fix:     0 done:    653 time:  0.61 s
948.59/237.97	c Removed useless bin:    3105  fixed:     0  props:  20.01M  time:  0.65 s
966.17/242.35	c lits-rem:       724  cl-subs:      678  v-elim:    216  v-fix:    0  time: 17.42 s
966.57/242.41	c vivif2 --  cl tried     7960 cl shrink      115 lits rem        498 time: 0.22
969.36/243.12	c vivif2 --  cl tried    28421 cl shrink     5560 lits rem    1396231 time: 2.84
970.17/243.39	c asymm  cl-useful: 24/562/7938 lits-rem:531 time: 1.05
973.76/244.25	c calculated reachability. Time: 3.41
973.76/244.25	c  N dy   263    158552     49276      7927    322936     28394    749058   3111575     14.07   no data  --
993.75/249.22	c  N dy   303    168673     49150      7927    323630     21657    749058   2026319     14.03     17.00  --
1034.08/259.32	c Finding binary XORs  T:    10.01 s  found:       8
1034.08/259.35	c  N dy   333    192309     48940      7891    320426     27189    740709   3504026     13.60     14.46  --
1065.63/267.22	c  N dy   387    209395     48867      7891    320984     25356    740709   2397921     13.57     14.73  --
1085.60/272.27	c  N dy   412    225264     48859      7891    321063     21323    740709    672330     13.27     14.35  --
1106.77/277.52	c  S st   461    237828     48843      7891    321208     33669    740709   4954858     13.25      6.23  --
1107.57/277.78	c  S st   461    238333     48838      7891    321261     34158    740709   5103667     13.25   no data  --
1107.99/277.80	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.11
1107.99/277.83	c Cache  BProp: 122 Set: 8 BXProp: 1 T: 0.09
1162.70/291.51	c Flit:    94 Blit:    110 bXBeca:    0 bXProp:    1 Bins:   8326 BRemL:      0 BRemN:    130 P: 200.1M T: 54.49
1162.70/291.51	c Cleaning up after failed var search:     0.00 s 
1162.70/291.59	c Replacing       10 vars Replaced     2452 lits Time:     0.31 s 
1163.89/291.84	c bin-w-bin subsume rem          219 bins  time:  0.10 s
1169.51/293.24	c subs with bin:       10  lits-rem:        91  v-fix:    0  time:  5.59 s
1170.28/293.41	c Subs w/ non-existent bins:     40 l-rem:    721 v-fix:     0 done:    876 time:  0.69 s
1170.68/293.58	c Removed useless bin:    4149  fixed:     0  props:  20.00M  time:  0.67 s
1214.63/304.55	c lits-rem:       733  cl-subs:      747  v-elim:    284  v-fix:    0  time: 43.76 s
1215.03/304.62	c vivif2 --  cl tried     7903 cl shrink       26 lits rem        350 time: 0.29
1218.62/305.53	c vivif2 --  cl tried    33395 cl shrink     6664 lits rem    2250746 time: 3.64
1219.82/305.81	c asymm  cl-useful: 19/574/7892 lits-rem:488 time: 1.12
1223.81/306.85	c calculated reachability. Time: 4.10
1223.81/306.85	c  N dy   461    238333     48331      7876    321836     33351    722316   2750181     13.25   no data  --
1235.81/309.83	c Finding binary XORs  T:    11.87 s  found:       8
1260.56/316.00	c  N dy   531    253932     48131      7876    325953     28154    722316   2327819     13.32     14.18  --
1286.12/322.40	c  N dy   578    270801     48091      7876    326134     23449    722316   1107503     13.17     14.23  --
1312.89/329.19	c  N dy   627    288143     47954      7876    326376     40537    722316   5930354     13.09     13.95  --
1338.85/335.63	c Finding binary XORs  T:    11.98 s  found:      12
1348.43/338.00	c  F st   685    306250     47944      7850    322732     36559    713392   3758251     13.00      8.12  --
1348.43/338.07	c Replacing       20 vars Replaced     4391 lits Time:     0.19 s 
1350.43/338.58	c  N st   687    306875     47926      7850    322755     37170    713320   4367558     13.00   no data  --
1381.59/346.31	c  N dy   727    326945     47792      7850    323412     34138    713320   3053405     12.93     13.71  --
1401.96/351.48	c  N dy   764    347205     47738      7850    323522     30361    713320   1194560     12.84     13.97  --
1416.73/355.17	c  S st   790    357499     47731      7850    323560     40511    713320   4324802     12.81      9.34  --
1417.53/355.37	c  S st   790    357999     47729      7850    323617     41003    713320   4491708     12.81   no data  --
1417.94/355.40	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.11
1417.94/355.42	c Cache  BProp: 178 Set: 3 BXProp: 0 T: 0.10
1455.09/364.74	c Flit:    61 Blit:     24 bXBeca:    0 bXProp:    0 Bins:   3778 BRemL:      1 BRemN:    159 P: 200.0M T: 37.04
1455.87/364.99	c bin-w-bin subsume rem          217 bins  time:  0.10 s
1462.27/366.50	c subs with bin:        7  lits-rem:        14  v-fix:    0  time:  6.06 s
1462.67/366.65	c Subs w/ non-existent bins:      7 l-rem:    655 v-fix:     0 done:    664 time:  0.57 s
1463.46/366.81	c Removed useless bin:    3179  fixed:     4  props:  20.01M  time:  0.64 s
1476.24/370.02	c lits-rem:      1972  cl-subs:      635  v-elim:    201  v-fix:    0  time: 12.83 s
1476.64/370.10	c vivif2 --  cl tried     7823 cl shrink      111 lits rem        497 time: 0.31
1480.64/371.15	c vivif2 --  cl tried    40397 cl shrink     6467 lits rem    1994769 time: 4.19
1481.86/371.43	c asymm  cl-useful: 49/495/7815 lits-rem:364 time: 1.13
1486.25/372.55	c calculated reachability. Time: 4.43
1486.25/372.55	c  N dy   790    357999     47414      7805    320903     40344    697742   2421967     12.81   no data  --
1499.03/375.77	c Finding binary XORs  T:    12.81 s  found:       6
1534.58/384.66	c  N dy   859    382031     47076      7805    327737     39860    697742   3461311     12.75     13.61  --
1562.51/391.63	c Finding binary XORs  T:    12.87 s  found:       6
1574.12/394.57	c  N dy   906    402663     46915      7780    323248     34360    687399   1335473     12.63     13.30  --
1615.64/404.92	c  N dy   982    435624     46884      7780    323449     40215    687399   2755454     12.52     13.29  --
1645.59/412.41	c  N dy  1056    455673     46698      7780    323753     59999    687399  10065402     12.52     69.88  --
1675.18/419.85	c  N dy  1107    482796     46541      7780    323849     59305    687399   8398719     12.38     13.09  --
1707.90/428.04	c  N dy  1170    506632     46526      7780    324060     54128    687399   4916589     12.33     13.53  --
1729.88/433.59	c  N dy  1212    527259     46511      7780    324177     44790    687399   1963526     12.25     12.92  --
1742.65/436.73	c  S st  1217    536998     46505      7780    324263     54456    687399   4432107     12.19     10.27  --
1743.46/436.94	c  S st  1217    537501     46500      7780    324268     54951    687399   4566231     12.19   no data  --
1743.46/436.97	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.11
1743.46/437.00	c Cache  BProp: 278 Set: 12 BXProp: 1 T: 0.09
1783.80/447.05	c Flit:    96 Blit:     44 bXBeca:    0 bXProp:    2 Bins:   5378 BRemL:      0 BRemN:    183 P: 200.0M T: 40.06
1783.80/447.08	c Cleaning up after failed var search:     0.12 s 
1784.20/447.13	c Replacing       15 vars Replaced     2485 lits Time:     0.18 s 
1785.01/447.37	c bin-w-bin subsume rem          239 bins  time:  0.10 s
1790.98/448.89	c subs with bin:       28  lits-rem:        89  v-fix:    0  time:  6.09 s
1792.18/449.19	c Subs w/ non-existent bins:     57 l-rem:   2028 v-fix:     3 done:   3425 time:  1.19 s
1792.98/449.36	c Removed useless bin:    3534  fixed:     4  props:  20.00M  time:  0.66 s
1818.14/455.65	c lits-rem:       572  cl-subs:     3165  v-elim:    599  v-fix:    0  time: 25.09 s
1818.54/455.72	c vivif2 --  cl tried     7670 cl shrink       89 lits rem        408 time: 0.28
1822.53/456.72	c vivif2 --  cl tried    51544 cl shrink     7974 lits rem    1500979 time: 4.00
1823.33/456.99	c asymm  cl-useful: 8/324/7657 lits-rem:32 time: 1.07
1828.13/458.11	c calculated reachability. Time: 4.42
1828.13/458.11	c  N dy  1217    537501     45657      7656    318315     51478    664041   2438392     12.19   no data  --
1841.30/461.48	c Finding binary XORs  T:    13.35 s  found:       4
1872.07/469.11	c  N dy  1304    557566     45534      7637    317786     71282    662534  10035329     12.28     26.26  --
1901.22/476.46	c  N dy  1384    578272     45502      7637    317991     60083    662534   7364371     12.27     12.97  --
1926.38/482.77	c  N dy  1435    598936     45485      7637    318082     48788    662534   2929552     12.21     12.88  --
1947.95/488.18	c  N dy  1470    620707     45478      7637    318153     70317    662534   8741543     12.13     13.02  --
1974.31/494.72	c  N dy  1510    644045     45473      7637    318228     60878    662534   5115715     12.05     13.09  --
2002.27/501.74	c  N dy  1568    667617     45466      7637    318284     50705    662534   2501844     12.02     12.77  --
2025.45/507.58	c  N dy  1625    687665     45462      7637    318342     70504    662534   7291314     11.97     15.44  --
2051.41/514.03	c  N dy  1694    707813     45337      7637    319492     55922    662534   2941131     11.96     12.72  --
2083.38/522.02	c  N dy  1736    740316     45197      7602    313868     52241    652533   1445179     11.85     12.51  --
2105.35/527.59	c  N dy  1774    762261     45190      7602    313949     73981    652533   6989573     11.81     12.48  --
2118.54/530.85	c Finding binary XORs  T:    12.82 s  found:       9
2143.27/537.04	c  N dy  1824    782615     45063      7595    313660     57391    650327   2439310     11.77     12.60  --
2166.44/542.89	c  N dy  1894    802744     45045      7595    313778     77294    650327   7191582     11.77     12.46  --
2170.43/543.88	c  S st  1906    806252     45045      7595    313784     80761    650327   7990968     11.78      9.85  --
2171.65/544.12	c  S st  1906    806756     45042      7595    313821     81265    650327   8157885     11.78   no data  --
2171.65/544.15	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.15
2171.65/544.17	c Cache  BProp: 98 Set: 1 BXProp: 0 T: 0.08
2205.58/552.67	c Flit:    83 Blit:     31 bXBeca:    0 bXProp:    0 Bins:   3510 BRemL:      2 BRemN:    115 P: 200.0M T: 33.83
2205.58/552.67	c Cleaning up after failed var search:     0.00 s 
2206.40/552.81	c Replacing       14 vars Replaced     6632 lits Time:     0.53 s 
2207.98/553.24	c bin-w-bin subsume rem          158 bins  time:  0.11 s
2214.37/554.86	c subs with bin:      191  lits-rem:       703  v-fix:    0  time:  6.46 s
2214.77/554.94	c Subs w/ non-existent bins:      0 l-rem:   2315 v-fix:     0 done:    125 time:  0.30 s
2215.59/555.12	c Removed useless bin:    2830  fixed:     0  props:  20.00M  time:  0.70 s
2384.92/597.59	c lits-rem:      1351  cl-subs:     1244  v-elim:    414  v-fix:    0  time: 169.26 s
2385.32/597.66	c vivif2 --  cl tried     7562 cl shrink      122 lits rem        167 time: 0.26
2392.51/599.40	c vivif2 --  cl tried    79709 cl shrink    16783 lits rem    3505229 time: 6.95
2393.71/599.72	c asymm  cl-useful: 13/621/7540 lits-rem:13 time: 1.28
2398.10/600.85	c calculated reachability. Time: 4.45
2398.10/600.85	c  N dy  1906    806756     44396      7540    310731     79628    637169   4473134     11.78   no data  --
2422.08/606.81	c Finding binary XORs  T:    13.55 s  found:       2
2441.62/611.72	c  N dy  1943    828140     44154      7539    311307     63177    636977   4050738     11.74     12.65  --
2469.17/618.61	c  N dy  2003    850326     44147      7539    311471     85077    636977   9943926     11.72     12.40  --
2497.91/625.89	c  N dy  2070    870358     44142      7539    311566     66714    636977   4754748     11.71     12.81  --
2528.67/633.51	c  N dy  2145    892517     44133      7539    311637     88669    636977  11283832     11.70     12.52  --
2558.60/641.04	c  N dy  2242    912818     44124      7539    311712     69819    636977   5168344     11.71     12.44  --
2585.75/647.86	c  N dy  2312    933437     44114      7539    311815     90162    636977  10802193     11.70     13.10  --
2610.53/654.06	c  N dy  2353    954249     44108      7539    311873     70870    636977   3514138     11.67     12.77  --
2637.29/660.78	c  N dy  2411    975175     44102      7539    311942     91561    636977   8897725     11.66     12.29  --
2663.26/667.24	c  N dy  2476    995447     44098      7539    311999     70550    636977   3239130     11.65     12.27  --
2687.98/673.49	c  N dy  2517   1016593     44089      7539    312050     91475    636977   8536938     11.61     12.66  --
2714.34/680.06	c  N dy  2566   1038640     44087      7539    312079     71141    636977   2273700     11.58     12.55  --
2750.28/689.03	c  F st  2612   1071875     44081      7539    312113    103985    636977   9919215     11.51      5.81  --
2750.68/689.12	c Replacing        2 vars Replaced      601 lits Time:     0.20 s 
2750.68/689.18	c Found part      137 vars:      44025 clauses:    248390 lits size:    630086
2750.68/689.18	c Found part      138 vars:          8 clauses:         7 lits size:        14
2750.68/689.18	c Found part      139 vars:          3 clauses:         2 lits size:         4
2750.68/689.18	c Found part      140 vars:         13 clauses:        12 lits size:        24
2750.68/689.18	c Found part      141 vars:         13 clauses:        12 lits size:        24
2750.68/689.18	c Found part      142 vars:         12 clauses:        11 lits size:        22
2750.68/689.18	c Found part      143 vars:          2 clauses:         1 lits size:         2
2750.68/689.18	c Found part      144 vars:          4 clauses:         3 lits size:         6
2750.68/689.18	c Found parts:          8 time: 0.59 s
2750.68/689.18	c Solving part 143
2751.11/689.26	c  N st     0         0         2         0         1         0         2         0   no data   no data  --
2751.11/689.26	c asymm  cl-useful: 0/0/0 lits-rem:0 time: 0.00
2751.11/689.27	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
2751.11/689.27	c Finding binary XORs  T:     0.03 s  found:       0
2751.11/689.27	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
2751.11/689.27	c calculated reachability. Time: 0.00
2751.11/689.28	c Calc default polars -  time:   0.01 s pos:       1 undec:  133564 neg:       1
2751.11/689.28	c =========================================================================================
2751.11/689.28	c types(t): F = full restart, N = normal restart
2751.11/689.28	c types(t): S = simplification begin/end, E = solution found
2751.11/689.28	c restart types(rt): st = static, dy = dynamic
2751.11/689.28	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
2751.11/689.28	c  B st     0         0         2         0         1         0         2         0   no data   no data  --
2751.11/689.28	c  E st     1         0         0         0         1         0         2         0   no data   no data  --
2751.11/689.28	c Verified 0 clauses.
2751.11/689.28	c Verified 0 clauses.
2751.11/689.28	c Solved part
2751.11/689.28	c =========================================================================================
2751.11/689.28	c Solving part 139
2751.50/689.36	c  N st     0         0         3         0         2         0         4         0   no data   no data  --
2751.50/689.36	c asymm  cl-useful: 0/0/0 lits-rem:0 time: 0.00
2751.50/689.36	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.01
2751.50/689.37	c Finding binary XORs  T:     0.03 s  found:       0
2751.50/689.37	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
2751.50/689.37	c calculated reachability. Time: 0.00
2751.50/689.38	c Calc default polars -  time:   0.01 s pos:       1 undec:  133564 neg:       1
2751.50/689.38	c =========================================================================================
2751.50/689.38	c types(t): F = full restart, N = normal restart
2751.50/689.38	c types(t): S = simplification begin/end, E = solution found
2751.50/689.38	c restart types(rt): st = static, dy = dynamic
2751.50/689.38	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
2751.50/689.38	c  B st     0         0         3         0         2         0         4         0   no data   no data  --
2751.50/689.38	c  E st     1         0         0         0         2         0         4         0   no data   no data  --
2751.50/689.38	c Verified 0 clauses.
2751.50/689.38	c Verified 0 clauses.
2751.50/689.38	c Solved part
2751.50/689.38	c =========================================================================================
2751.50/689.38	c Solving part 144
2751.88/689.46	c  N st     0         0         4         0         3         0         6         0   no data   no data  --
2751.88/689.46	c asymm  cl-useful: 0/0/0 lits-rem:0 time: 0.00
2751.88/689.46	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.01
2751.88/689.47	c Finding binary XORs  T:     0.03 s  found:       0
2751.88/689.47	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
2751.88/689.47	c calculated reachability. Time: 0.00
2751.88/689.47	c Calc default polars -  time:   0.01 s pos:       1 undec:  133564 neg:       1
2751.88/689.47	c =========================================================================================
2751.88/689.47	c types(t): F = full restart, N = normal restart
2751.88/689.47	c types(t): S = simplification begin/end, E = solution found
2751.88/689.47	c restart types(rt): st = static, dy = dynamic
2751.88/689.47	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
2751.88/689.47	c  B st     0         0         4         0         3         0         6         0   no data   no data  --
2751.88/689.47	c  E st     1         0         0         0         3         0         6         0   no data   no data  --
2751.88/689.48	c Verified 0 clauses.
2751.88/689.48	c Verified 0 clauses.
2751.88/689.48	c Solved part
2751.88/689.48	c =========================================================================================
2751.88/689.48	c Solving part 138
2752.28/689.56	c  N st     0         0         8         0         7         0        14         0   no data   no data  --
2752.28/689.56	c asymm  cl-useful: 0/0/0 lits-rem:0 time: 0.00
2752.28/689.57	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.01
2752.28/689.57	c Finding binary XORs  T:     0.03 s  found:       0
2752.28/689.58	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
2752.28/689.58	c calculated reachability. Time: 0.00
2752.28/689.58	c Calc default polars -  time:   0.01 s pos:       1 undec:  133564 neg:       1
2752.28/689.58	c =========================================================================================
2752.28/689.58	c types(t): F = full restart, N = normal restart
2752.28/689.58	c types(t): S = simplification begin/end, E = solution found
2752.28/689.58	c restart types(rt): st = static, dy = dynamic
2752.28/689.58	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
2752.28/689.58	c  B st     0         0         8         0         7         0        14         0   no data   no data  --
2752.28/689.58	c  E st     1         0         0         0         7         0        14         0   no data   no data  --
2752.28/689.58	c Verified 0 clauses.
2752.28/689.58	c Verified 0 clauses.
2752.28/689.58	c Solved part
2752.28/689.58	c =========================================================================================
2752.28/689.59	c Solving part 142
2752.67/689.67	c  N st     0         0        12         0        11         0        22         0   no data   no data  --
2752.67/689.67	c asymm  cl-useful: 0/0/0 lits-rem:0 time: 0.00
2752.67/689.67	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.01
2752.67/689.68	c Finding binary XORs  T:     0.03 s  found:       0
2752.67/689.68	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
2752.67/689.68	c calculated reachability. Time: 0.00
2752.67/689.68	c Calc default polars -  time:   0.01 s pos:       1 undec:  133564 neg:       1
2752.67/689.68	c =========================================================================================
2752.67/689.68	c types(t): F = full restart, N = normal restart
2752.67/689.68	c types(t): S = simplification begin/end, E = solution found
2752.67/689.68	c restart types(rt): st = static, dy = dynamic
2752.67/689.68	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
2752.67/689.68	c  B st     0         0        12         0        11         0        22         0   no data   no data  --
2752.67/689.68	c  E st     1         0         0         0        11         0        22         0   no data   no data  --
2752.67/689.69	c Verified 0 clauses.
2752.67/689.69	c Verified 0 clauses.
2752.67/689.69	c Solved part
2752.67/689.69	c =========================================================================================
2752.67/689.69	c Solving part 140
2753.08/689.77	c  N st     0         0        13         0        12         0        24         0   no data   no data  --
2753.08/689.77	c asymm  cl-useful: 0/0/0 lits-rem:0 time: 0.00
2753.08/689.78	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.01
2753.08/689.79	c Finding binary XORs  T:     0.03 s  found:       0
2753.08/689.79	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
2753.08/689.79	c calculated reachability. Time: 0.00
2753.08/689.79	c Calc default polars -  time:   0.00 s pos:       1 undec:  133564 neg:       1
2753.08/689.79	c =========================================================================================
2753.08/689.79	c types(t): F = full restart, N = normal restart
2753.08/689.79	c types(t): S = simplification begin/end, E = solution found
2753.08/689.79	c restart types(rt): st = static, dy = dynamic
2753.08/689.79	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
2753.08/689.79	c  B st     0         0        13         0        12         0        24         0   no data   no data  --
2753.08/689.79	c  E st     1         0         0         0        12         0        24         0   no data   no data  --
2753.08/689.79	c Verified 0 clauses.
2753.08/689.79	c Verified 0 clauses.
2753.08/689.79	c Solved part
2753.08/689.79	c =========================================================================================
2753.08/689.80	c Solving part 141
2753.48/689.88	c  N st     0         0        13         0        12         0        24         0   no data   no data  --
2753.48/689.88	c asymm  cl-useful: 0/0/0 lits-rem:0 time: 0.00
2753.48/689.88	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
2753.48/689.89	c Finding binary XORs  T:     0.03 s  found:       0
2753.48/689.89	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
2753.48/689.89	c calculated reachability. Time: 0.00
2753.48/689.89	c Calc default polars -  time:   0.01 s pos:       1 undec:  133564 neg:       1
2753.48/689.89	c =========================================================================================
2753.48/689.89	c types(t): F = full restart, N = normal restart
2753.48/689.89	c types(t): S = simplification begin/end, E = solution found
2753.48/689.89	c restart types(rt): st = static, dy = dynamic
2753.48/689.89	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
2753.48/689.89	c  B st     0         0        13         0        12         0        24         0   no data   no data  --
2753.48/689.89	c  E st     1         0         0         0        12         0        24         0   no data   no data  --
2753.87/689.90	c Verified 0 clauses.
2753.87/689.90	c Verified 0 clauses.
2753.87/689.90	c Solved part
2753.87/689.90	c =========================================================================================
2753.87/689.90	c Coming back to original instance
2753.87/689.90	c =========================================================================================
2753.87/689.93	c  N st  2612   1071875     44025      7513    306929    103528    630086   9897337     11.51      5.81  --
2780.23/696.59	c  N dy  2662   1091936     44023      7513    306978     79567    630086   3991870     11.52     12.28  --

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3285656-1304039137/watcher-3285656-1304039137 -o /tmp/evaluation-result-3285656-1304039137/solver-3285656-1304039137 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3285656-1304039137.cnf 

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

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


[startup+0 s]
/proc/loadavg: 7.73 6.06 5.07 5/180 29428
/proc/meminfo: memFree=13896412/32951124 swapFree=67111528/67111528
[pid=29428] ppid=29426 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/29428/stat : 29428 (strangenight1-m) R 29426 29428 28368 0 -1 4202496 412 0 0 0 0 0 0 0 24 0 4 0 248105005 52465664 352 33554432000 4194304 4650419 140736301423424 18446744073709551615 47655918262194 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29428/statm: 12809 352 303 112 0 7774 0
[pid=29428/tid=29429] ppid=29426 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/29428/task/29429/stat : 29429 (strangenight1-m) R 29426 29428 28368 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 248105005 52465664 352 33554432000 4194304 4650419 140736301423424 18446744073709551615 47655918262194 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29428/tid=29430] ppid=29426 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/29428/task/29430/stat : 29430 (strangenight1-m) R 29426 29428 28368 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 248105005 52465664 352 33554432000 4194304 4650419 140736301423424 18446744073709551615 268660718577 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29428/tid=29431] ppid=29426 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/29428/task/29431/stat : 29431 (strangenight1-m) R 29426 29428 28368 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 248105005 52465664 352 33554432000 4194304 4650419 140736301423424 18446744073709551615 268660718577 0 0 4096 2 0 0 0 -1 5 0 0 0

[startup+0.037141 s]
/proc/loadavg: 7.73 6.06 5.07 5/180 29428
/proc/meminfo: memFree=13896412/32951124 swapFree=67111528/67111528
[pid=29428] ppid=29426 vsize=301020 CPUtime=0.12 cores=1,3,5,7
/proc/29428/stat : 29428 (strangenight1-m) D 29426 29428 28368 0 -1 4202496 9797 0 0 0 10 2 0 0 18 0 4 0 248105005 308244480 7719 33554432000 4194304 4650419 140736301423424 18446744073709551615 268660705463 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29428/statm: 75655 8999 345 112 0 70620 0
[pid=29428/tid=29429] ppid=29426 vsize=368156 CPUtime=0.03 cores=1,3,5,7
/proc/29428/task/29429/stat : 29429 (strangenight1-m) R 29426 29428 28368 0 -1 4202560 2668 0 0 0 3 0 0 0 18 0 4 0 248105005 376991744 9146 33554432000 4194304 4650419 140736301423424 18446744073709551615 268660767263 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29428/tid=29430] ppid=29426 vsize=369668 CPUtime=0.03 cores=1,3,5,7
/proc/29428/task/29430/stat : 29430 (strangenight1-m) R 29426 29428 28368 0 -1 4202560 2876 0 0 0 3 0 0 0 18 0 4 0 248105005 378540032 10057 33554432000 4194304 4650419 140736301423424 18446744073709551615 268660359264 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29428/tid=29431] ppid=29426 vsize=369668 CPUtime=0.03 cores=1,3,5,7
/proc/29428/task/29431/stat : 29431 (strangenight1-m) S 29426 29428 28368 0 -1 4202560 3181 0 0 0 3 0 0 0 18 0 4 0 248105005 378540032 10094 33554432000 4194304 4650419 140736301423424 18446744073709551615 268660767214 0 0 4096 2 18446604471110374656 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 301020

[startup+0.115684 s]
/proc/loadavg: 7.73 6.06 5.07 5/180 29428
/proc/meminfo: memFree=13896412/32951124 swapFree=67111528/67111528
[pid=29428] ppid=29426 vsize=419152 CPUtime=0.41 cores=1,3,5,7
/proc/29428/stat : 29428 (strangenight1-m) D 29426 29428 28368 0 -1 4202496 32236 0 0 0 34 7 0 0 18 0 4 0 248105005 429211648 24797 33554432000 4194304 4650419 140736301423424 18446744073709551615 4354216 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29428/statm: 104275 25105 345 112 0 99240 0
[pid=29428/tid=29429] ppid=29426 vsize=417100 CPUtime=0.1 cores=1,3,5,7
/proc/29428/task/29429/stat : 29429 (strangenight1-m) D 29426 29428 28368 0 -1 4202560 7783 0 0 0 9 1 0 0 18 0 4 0 248105005 427110400 25129 33554432000 4194304 4650419 140736301423424 18446744073709551615 268660705463 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29428/tid=29430] ppid=29426 vsize=417100 CPUtime=0.09 cores=1,3,5,7
/proc/29428/task/29430/stat : 29430 (strangenight1-m) R 29426 29428 28368 0 -1 4202560 8643 0 0 0 8 1 0 0 18 0 4 0 248105005 427110400 25129 33554432000 4194304 4650419 140736301423424 18446744073709551615 268660720042 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29428/tid=29431] ppid=29426 vsize=417100 CPUtime=0.11 cores=1,3,5,7
/proc/29428/task/29431/stat : 29431 (strangenight1-m) D 29426 29428 28368 0 -1 4202560 8679 0 0 0 9 2 0 0 18 0 4 0 248105005 427110400 25129 33554432000 4194304 4650419 140736301423424 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 419152

[startup+1.04205 s]
/proc/loadavg: 7.73 6.06 5.07 5/180 29428
/proc/meminfo: memFree=13896412/32951124 swapFree=67111528/67111528
[pid=29428] ppid=29426 vsize=482332 CPUtime=4.07 cores=1,3,5,7
/proc/29428/stat : 29428 (strangenight1-m) R 29426 29428 28368 0 -1 4202496 67244 0 0 0 389 18 0 0 18 0 4 0 248105005 493907968 49728 33554432000 4194304 4650419 140736301423424 18446744073709551615 4244948 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29428/statm: 120583 49728 373 112 0 115548 0
[pid=29428/tid=29429] ppid=29426 vsize=482332 CPUtime=1.01 cores=1,3,5,7
/proc/29428/task/29429/stat : 29429 (strangenight1-m) R 29426 29428 28368 0 -1 4202560 15768 0 0 0 97 4 0 0 19 0 4 0 248105005 493907968 49728 33554432000 4194304 4650419 140736301423424 18446744073709551615 4369376 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29428/tid=29430] ppid=29426 vsize=482332 CPUtime=1.01 cores=1,3,5,7
/proc/29428/task/29430/stat : 29430 (strangenight1-m) R 29426 29428 28368 0 -1 4202560 17117 0 0 0 97 4 0 0 18 0 4 0 248105005 493907968 49728 33554432000 4194304 4650419 140736301423424 18446744073709551615 4244991 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29428/tid=29431] ppid=29426 vsize=482332 CPUtime=1.01 cores=1,3,5,7
/proc/29428/task/29431/stat : 29431 (strangenight1-m) R 29426 29428 28368 0 -1 4202560 17098 0 0 0 97 4 0 0 19 0 4 0 248105005 493907968 49728 33554432000 4194304 4650419 140736301423424 18446744073709551615 4315992 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.07
Current children cumulated vsize (KiB) 482332

[startup+1.10104 s]
/proc/loadavg: 7.73 6.06 5.07 5/180 29428
/proc/meminfo: memFree=13896412/32951124 swapFree=67111528/67111528
[pid=29428] ppid=29426 vsize=482332 CPUtime=4.31 cores=1,3,5,7
/proc/29428/stat : 29428 (strangenight1-m) R 29426 29428 28368 0 -1 4202496 67266 0 0 0 413 18 0 0 19 0 4 0 248105005 493907968 49750 33554432000 4194304 4650419 140736301423424 18446744073709551615 4370286 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29428/statm: 120583 49750 373 112 0 115548 0
[pid=29428/tid=29429] ppid=29426 vsize=482332 CPUtime=1.07 cores=1,3,5,7
/proc/29428/task/29429/stat : 29429 (strangenight1-m) R 29426 29428 28368 0 -1 4202560 15768 0 0 0 103 4 0 0 19 0 4 0 248105005 493907968 49750 33554432000 4194304 4650419 140736301423424 18446744073709551615 4369954 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29428/tid=29430] ppid=29426 vsize=482332 CPUtime=1.06 cores=1,3,5,7
/proc/29428/task/29430/stat : 29430 (strangenight1-m) R 29426 29428 28368 0 -1 4202560 17117 0 0 0 102 4 0 0 19 0 4 0 248105005 493907968 49750 33554432000 4194304 4650419 140736301423424 18446744073709551615 4244959 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29428/tid=29431] ppid=29426 vsize=482332 CPUtime=1.07 cores=1,3,5,7
/proc/29428/task/29431/stat : 29431 (strangenight1-m) R 29426 29428 28368 0 -1 4202560 17120 0 0 0 103 4 0 0 19 0 4 0 248105005 493907968 49750 33554432000 4194304 4650419 140736301423424 18446744073709551615 4315996 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.31
Current children cumulated vsize (KiB) 482332

[startup+1.50098 s]
/proc/loadavg: 7.73 6.06 5.07 5/180 29428
/proc/meminfo: memFree=13896412/32951124 swapFree=67111528/67111528
[pid=29428] ppid=29426 vsize=482332 CPUtime=5.91 cores=1,3,5,7
/proc/29428/stat : 29428 (strangenight1-m) R 29426 29428 28368 0 -1 4202496 67404 0 0 0 573 18 0 0 19 0 4 0 248105005 493907968 49888 33554432000 4194304 4650419 140736301423424 18446744073709551615 4370224 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29428/statm: 120583 49888 373 112 0 115548 0
[pid=29428/tid=29429] ppid=29426 vsize=482332 CPUtime=1.47 cores=1,3,5,7
/proc/29428/task/29429/stat : 29429 (strangenight1-m) R 29426 29428 28368 0 -1 4202560 15768 0 0 0 143 4 0 0 19 0 4 0 248105005 493907968 49888 33554432000 4194304 4650419 140736301423424 18446744073709551615 4245055 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29428/tid=29430] ppid=29426 vsize=482332 CPUtime=1.46 cores=1,3,5,7
/proc/29428/task/29430/stat : 29430 (strangenight1-m) R 29426 29428 28368 0 -1 4202560 17136 0 0 0 142 4 0 0 19 0 4 0 248105005 493907968 49888 33554432000 4194304 4650419 140736301423424 18446744073709551615 4370329 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29428/tid=29431] ppid=29426 vsize=482332 CPUtime=1.47 cores=1,3,5,7
/proc/29428/task/29431/stat : 29431 (strangenight1-m) R 29426 29428 28368 0 -1 4202560 17239 0 0 0 143 4 0 0 19 0 4 0 248105005 493907968 49888 33554432000 4194304 4650419 140736301423424 18446744073709551615 4315122 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.91
Current children cumulated vsize (KiB) 482332

[startup+3.10069 s]
/proc/loadavg: 7.75 6.09 5.09 9/184 29432
/proc/meminfo: memFree=13626624/32951124 swapFree=67111528/67111528
[pid=29428] ppid=29426 vsize=482608 CPUtime=12.3 cores=1,3,5,7
/proc/29428/stat : 29428 (strangenight1-m) R 29426 29428 28368 0 -1 4202496 68583 0 0 0 1211 19 0 0 24 0 4 0 248105005 494190592 51067 33554432000 4194304 4650419 140736301423424 18446744073709551615 4244948 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29428/statm: 120652 51067 373 112 0 115617 0
[pid=29428/tid=29429] ppid=29426 vsize=482608 CPUtime=3.07 cores=1,3,5,7
/proc/29428/task/29429/stat : 29429 (strangenight1-m) R 29426 29428 28368 0 -1 4202560 15771 0 0 0 303 4 0 0 24 0 4 0 248105005 494190592 51067 33554432000 4194304 4650419 140736301423424 18446744073709551615 4371001 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29428/tid=29430] ppid=29426 vsize=482608 CPUtime=3.06 cores=1,3,5,7
/proc/29428/task/29430/stat : 29430 (strangenight1-m) R 29426 29428 28368 0 -1 4202560 17152 0 0 0 302 4 0 0 24 0 4 0 248105005 494190592 51067 33554432000 4194304 4650419 140736301423424 18446744073709551615 4243873 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29428/tid=29431] ppid=29426 vsize=482608 CPUtime=3.06 cores=1,3,5,7
/proc/29428/task/29431/stat : 29431 (strangenight1-m) R 29426 29428 28368 0 -1 4202560 18398 0 0 0 301 5 0 0 24 0 4 0 248105005 494190592 51067 33554432000 4194304 4650419 140736301423424 18446744073709551615 4315137 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.3
Current children cumulated vsize (KiB) 482608

[startup+6.30113 s]
/proc/loadavg: 7.75 6.09 5.09 9/184 29432
/proc/meminfo: memFree=13563232/32951124 swapFree=67111528/67111528
[pid=29428] ppid=29426 vsize=497692 CPUtime=25.07 cores=1,3,5,7
/proc/29428/stat : 29428 (strangenight1-m) R 29426 29428 28368 0 -1 4202496 80293 0 0 0 2486 21 0 0 18 0 4 0 248105005 509636608 62777 33554432000 4194304 4650419 140736301423424 18446744073709551615 4446450 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29428/statm: 124423 62777 385 112 0 119388 0
[pid=29428/tid=29429] ppid=29426 vsize=497692 CPUtime=6.27 cores=1,3,5,7
/proc/29428/task/29429/stat : 29429 (strangenight1-m) R 29426 29428 28368 0 -1 4202560 18942 0 0 0 622 5 0 0 25 0 4 0 248105005 509636608 62777 33554432000 4194304 4650419 140736301423424 18446744073709551615 4446352 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29428/tid=29430] ppid=29426 vsize=497692 CPUtime=6.26 cores=1,3,5,7
/proc/29428/task/29430/stat : 29430 (strangenight1-m) R 29426 29428 28368 0 -1 4202560 19785 0 0 0 622 4 0 0 18 0 4 0 248105005 509636608 62777 33554432000 4194304 4650419 140736301423424 18446744073709551615 4550362 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29428/tid=29431] ppid=29426 vsize=497692 CPUtime=6.25 cores=1,3,5,7
/proc/29428/task/29431/stat : 29431 (strangenight1-m) R 29426 29428 28368 0 -1 4202560 20461 0 0 0 619 6 0 0 18 0 4 0 248105005 509636608 62777 33554432000 4194304 4650419 140736301423424 18446744073709551615 4365321 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.07
Current children cumulated vsize (KiB) 497692

[startup+12.701 s]
/proc/loadavg: 7.79 6.15 5.12 9/184 29432
/proc/meminfo: memFree=13514952/32951124 swapFree=67111528/67111528
[pid=29428] ppid=29426 vsize=500672 CPUtime=50.66 cores=1,3,5,7
/proc/29428/stat : 29428 (strangenight1-m) R 29426 29428 28368 0 -1 4202496 89753 0 0 0 5042 24 0 0 25 0 4 0 248105005 512688128 69060 33554432000 4194304 4650419 140736301423424 18446744073709551615 4315965 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29428/statm: 125168 69060 393 112 0 120133 0
[pid=29428/tid=29429] ppid=29426 vsize=500672 CPUtime=12.67 cores=1,3,5,7
/proc/29428/task/29429/stat : 29429 (strangenight1-m) R 29426 29428 28368 0 -1 4202560 20773 0 0 0 1262 5 0 0 25 0 4 0 248105005 512688128 69060 33554432000 4194304 4650419 140736301423424 18446744073709551615 4315114 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29428/tid=29430] ppid=29426 vsize=500672 CPUtime=12.67 cores=1,3,5,7
/proc/29428/task/29430/stat : 29430 (strangenight1-m) R 29426 29428 28368 0 -1 4202560 23169 0 0 0 1262 5 0 0 25 0 4 0 248105005 512688128 69060 33554432000 4194304 4650419 140736301423424 18446744073709551615 4315222 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29428/tid=29431] ppid=29426 vsize=500672 CPUtime=12.62 cores=1,3,5,7
/proc/29428/task/29431/stat : 29431 (strangenight1-m) R 29426 29428 28368 0 -1 4202560 22985 0 0 0 1255 7 0 0 25 0 4 0 248105005 512688128 69060 33554432000 4194304 4650419 140736301423424 18446744073709551615 4315114 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.66
Current children cumulated vsize (KiB) 500672

[startup+25.5008 s]
/proc/loadavg: 7.82 6.21 5.15 9/184 29432
/proc/meminfo: memFree=13340652/32951124 swapFree=67111528/67111528
[pid=29428] ppid=29426 vsize=546368 CPUtime=101.77 cores=1,3,5,7
/proc/29428/stat : 29428 (strangenight1-m) R 29426 29428 28368 0 -1 4202496 110088 0 0 0 10149 28 0 0 25 0 4 0 248105005 559480832 78518 33554432000 4194304 4650419 140736301423424 18446744073709551615 4315114 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29428/statm: 136592 78518 393 112 0 131557 0
[pid=29428/tid=29429] ppid=29426 vsize=546368 CPUtime=25.46 cores=1,3,5,7
/proc/29428/task/29429/stat : 29429 (strangenight1-m) R 29426 29428 28368 0 -1 4202560 25609 0 0 0 2540 6 0 0 25 0 4 0 248105005 559480832 78518 33554432000 4194304 4650419 140736301423424 18446744073709551615 4315992 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29428/tid=29430] ppid=29426 vsize=546368 CPUtime=25.46 cores=1,3,5,7
/proc/29428/task/29430/stat : 29430 (strangenight1-m) R 29426 29428 28368 0 -1 4202560 26179 0 0 0 2541 5 0 0 25 0 4 0 248105005 559480832 78518 33554432000 4194304 4650419 140736301423424 18446744073709551615 4315277 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29428/tid=29431] ppid=29426 vsize=546368 CPUtime=25.34 cores=1,3,5,7
/proc/29428/task/29431/stat : 29431 (strangenight1-m) R 29426 29428 28368 0 -1 4202560 29752 0 0 0 2526 8 0 0 25 0 4 0 248105005 559480832 78518 33554432000 4194304 4650419 140736301423424 18446744073709551615 4314998 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.77
Current children cumulated vsize (KiB) 546368

[startup+51.1003 s]
/proc/loadavg: 7.88 6.35 5.22 9/184 29433
/proc/meminfo: memFree=12554920/32951124 swapFree=67111528/67111528
[pid=29428] ppid=29426 vsize=1612264 CPUtime=203.78 cores=1,3,5,7
/proc/29428/stat : 29428 (strangenight1-m) R 29426 29428 28368 0 -1 4202496 1354399 0 0 0 20195 183 0 0 25 0 4 0 248105005 1650958336 286122 33554432000 4194304 4650419 140736301423424 18446744073709551615 4315094 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29428/statm: 403066 286147 395 112 0 398031 0
[pid=29428/tid=29429] ppid=29426 vsize=1612264 CPUtime=50.95 cores=1,3,5,7
/proc/29428/task/29429/stat : 29429 (strangenight1-m) R 29426 29428 28368 0 -1 4202560 34220 0 0 0 5086 9 0 0 25 0 4 0 248105005 1650958336 286159 33554432000 4194304 4650419 140736301423424 18446744073709551615 4315293 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29428/tid=29430] ppid=29426 vsize=1612264 CPUtime=50.94 cores=1,3,5,7
/proc/29428/task/29430/stat : 29430 (strangenight1-m) R 29426 29428 28368 0 -1 4202560 37776 0 0 0 5086 8 0 0 25 0 4 0 248105005 1650958336 286173 33554432000 4194304 4650419 140736301423424 18446744073709551615 4315228 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29428/tid=29431] ppid=29426 vsize=1612264 CPUtime=50.86 cores=1,3,5,7
/proc/29428/task/29431/stat : 29431 (strangenight1-m) R 29426 29428 28368 0 -1 4202560 1245077 0 0 0 4930 156 0 0 25 0 4 0 248105005 1650958336 286187 33554432000 4194304 4650419 140736301423424 18446744073709551615 4361457 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 203.78
Current children cumulated vsize (KiB) 1612264

[startup+102.3 s]
/proc/loadavg: 8.05 6.63 5.38 9/184 29434
/proc/meminfo: memFree=8399732/32951124 swapFree=67111528/67111528
[pid=29428] ppid=29426 vsize=5946824 CPUtime=407.24 cores=1,3,5,7
/proc/29428/stat : 29428 (strangenight1-m) R 29426 29428 28368 0 -1 4202496 6817175 0 0 0 39871 853 0 0 25 0 4 0 248105005 6089547776 1288972 33554432000 4194304 4650419 140736301423424 18446744073709551615 4315228 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29428/statm: 1486706 1288978 396 112 0 1481671 0
[pid=29428/tid=29429] ppid=29426 vsize=5946824 CPUtime=101.57 cores=1,3,5,7
/proc/29428/task/29429/stat : 29429 (strangenight1-m) R 29426 29428 28368 0 -1 4202560 96882 0 0 0 10138 19 0 0 19 0 4 0 248105005 6089547776 1288981 33554432000 4194304 4650419 140736301423424 18446744073709551615 4370480 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29428/tid=29430] ppid=29426 vsize=5946824 CPUtime=101.78 cores=1,3,5,7
/proc/29428/task/29430/stat : 29430 (strangenight1-m) R 29426 29428 28368 0 -1 4202560 141440 0 0 0 10151 27 0 0 19 0 4 0 248105005 6089547776 1288984 33554432000 4194304 4650419 140736301423424 18446744073709551615 4436163 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29428/tid=29431] ppid=29426 vsize=5946824 CPUtime=102.02 cores=1,3,5,7
/proc/29428/task/29431/stat : 29431 (strangenight1-m) R 29426 29428 28368 0 -1 4202560 6431674 0 0 0 9426 776 0 0 19 0 4 0 248105005 6089547776 1288988 33554432000 4194304 4650419 140736301423424 18446744073709551615 4317116 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 407.24
Current children cumulated vsize (KiB) 5946824

[startup+162.301 s]

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

[pid=29428/tid=29431] ppid=29426 vsize=8672596 CPUtime=162.03 cores=1,3,5,7
/proc/29428/task/29431/stat : 29431 (strangenight1-m) R 29426 29428 28368 0 -1 4202560 7313243 0 0 0 15319 884 0 0 25 0 4 0 248105005 8880738304 1852914 33554432000 4194304 4650419 140736301423424 18446744073709551615 4245167 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 646.65
Current children cumulated vsize (KiB) 8672596

[startup+222.3 s]
/proc/loadavg: 8.12 7.13 5.71 9/184 29438
/proc/meminfo: memFree=4987380/32951124 swapFree=67111528/67111528
[pid=29428] ppid=29426 vsize=9974952 CPUtime=886.29 cores=1,3,5,7
/proc/29428/stat : 29428 (strangenight1-m) R 29426 29428 28368 0 -1 4202496 8359052 0 0 0 87565 1064 0 0 25 0 4 0 248105005 10214350848 2069881 33554432000 4194304 4650419 140736301423424 18446744073709551615 4366828 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29428/statm: 2493738 2069881 396 112 0 2488703 0
[pid=29428/tid=29429] ppid=29426 vsize=9974952 CPUtime=220.82 cores=1,3,5,7
/proc/29428/task/29429/stat : 29429 (strangenight1-m) R 29426 29428 28368 0 -1 4202560 338748 0 0 0 22031 51 0 0 25 0 4 0 248105005 10214350848 2069881 33554432000 4194304 4650419 140736301423424 18446744073709551615 4365330 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29428/tid=29430] ppid=29426 vsize=9974952 CPUtime=221.62 cores=1,3,5,7
/proc/29428/task/29430/stat : 29430 (strangenight1-m) R 29426 29428 28368 0 -1 4202560 281400 0 0 0 22109 53 0 0 25 0 4 0 248105005 10214350848 2069881 33554432000 4194304 4650419 140736301423424 18446744073709551615 4315996 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29428/tid=29431] ppid=29426 vsize=9974952 CPUtime=222.01 cores=1,3,5,7
/proc/29428/task/29431/stat : 29431 (strangenight1-m) R 29426 29428 28368 0 -1 4202560 7352044 0 0 0 21309 892 0 0 25 0 4 0 248105005 10214350848 2069881 33554432000 4194304 4650419 140736301423424 18446744073709551615 4315249 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 886.29
Current children cumulated vsize (KiB) 9974952

[startup+282.307 s]
/proc/loadavg: 8.12 7.32 5.86 9/184 29439
/proc/meminfo: memFree=3644580/32951124 swapFree=67111528/67111528
[pid=29428] ppid=29426 vsize=11684200 CPUtime=1125.97 cores=1,3,5,7
/proc/29428/stat : 29428 (strangenight1-m) R 29426 29428 28368 0 -1 4202496 8766693 0 0 0 111463 1134 0 0 25 0 4 0 248105005 11964620800 2404893 33554432000 4194304 4650419 140736301423424 18446744073709551615 4230576 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29428/statm: 2921050 2404893 400 112 0 2916015 0
[pid=29428/tid=29429] ppid=29426 vsize=11684200 CPUtime=280.49 cores=1,3,5,7
/proc/29428/task/29429/stat : 29429 (strangenight1-m) R 29426 29428 28368 0 -1 4202560 446137 0 0 0 27979 70 0 0 25 0 4 0 248105005 11964620800 2404893 33554432000 4194304 4650419 140736301423424 18446744073709551615 4334889 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29428/tid=29430] ppid=29426 vsize=11684200 CPUtime=281.62 cores=1,3,5,7
/proc/29428/task/29430/stat : 29430 (strangenight1-m) R 29426 29428 28368 0 -1 4202560 368696 0 0 0 28093 69 0 0 25 0 4 0 248105005 11964620800 2404893 33554432000 4194304 4650419 140736301423424 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29428/tid=29431] ppid=29426 vsize=11684200 CPUtime=282.02 cores=1,3,5,7
/proc/29428/task/29431/stat : 29431 (strangenight1-m) R 29426 29428 28368 0 -1 4202560 7480785 0 0 0 27289 913 0 0 25 0 4 0 248105005 11964620800 2404893 33554432000 4194304 4650419 140736301423424 18446744073709551615 4528900 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1125.97
Current children cumulated vsize (KiB) 11684200

[startup+342.301 s]
/proc/loadavg: 8.12 7.47 6.00 9/184 29441
/proc/meminfo: memFree=2506012/32951124 swapFree=67111528/67111528
[pid=29428] ppid=29426 vsize=12613048 CPUtime=1365.62 cores=1,3,5,7
/proc/29428/stat : 29428 (strangenight1-m) R 29426 29428 28368 0 -1 4202496 9040782 0 0 0 135376 1186 0 0 25 0 4 0 248105005 12915761152 2570006 33554432000 4194304 4650419 140736301423424 18446744073709551615 4363750 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29428/statm: 3153262 2570006 400 112 0 3148227 0
[pid=29428/tid=29429] ppid=29426 vsize=12613048 CPUtime=340.16 cores=1,3,5,7
/proc/29428/task/29429/stat : 29429 (strangenight1-m) R 29426 29428 28368 0 -1 4202560 489702 0 0 0 33936 80 0 0 25 0 4 0 248105005 12915761152 2570006 33554432000 4194304 4650419 140736301423424 18446744073709551615 4368078 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29428/tid=29430] ppid=29426 vsize=12613048 CPUtime=341.62 cores=1,3,5,7
/proc/29428/task/29430/stat : 29430 (strangenight1-m) R 29426 29428 28368 0 -1 4202560 457339 0 0 0 34077 85 0 0 25 0 4 0 248105005 12915761152 2570006 33554432000 4194304 4650419 140736301423424 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29428/tid=29431] ppid=29426 vsize=12613048 CPUtime=342 cores=1,3,5,7
/proc/29428/task/29431/stat : 29431 (strangenight1-m) R 29426 29428 28368 0 -1 4202560 7525589 0 0 0 33277 923 0 0 25 0 4 0 248105005 12915761152 2570006 33554432000 4194304 4650419 140736301423424 18446744073709551615 4366933 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1365.62
Current children cumulated vsize (KiB) 12613048

[startup+402.301 s]
/proc/loadavg: 8.04 7.56 6.12 9/184 29442
/proc/meminfo: memFree=1694924/32951124 swapFree=67111528/67111528
[pid=29428] ppid=29426 vsize=13559740 CPUtime=1605.25 cores=1,3,5,7
/proc/29428/stat : 29428 (strangenight1-m) R 29426 29428 28368 0 -1 4202496 9358700 0 0 0 159278 1247 0 0 25 0 4 0 248105005 13885173760 2752181 33554432000 4194304 4650419 140736301423424 18446744073709551615 4366920 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/29428/statm: 3389935 2752181 400 112 0 3384900 0
[pid=29428/tid=29429] ppid=29426 vsize=13559740 CPUtime=400.14 cores=1,3,5,7
/proc/29428/task/29429/stat : 29429 (strangenight1-m) R 29426 29428 28368 0 -1 4202560 568846 0 0 0 39920 94 0 0 25 0 4 0 248105005 13885173760 2752181 33554432000 4194304 4650419 140736301423424 18446744073709551615 4315977 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29428/tid=29430] ppid=29426 vsize=13559740 CPUtime=401.31 cores=1,3,5,7
/proc/29428/task/29430/stat : 29430 (strangenight1-m) R 29426 29428 28368 0 -1 4202560 498691 0 0 0 40035 96 0 0 25 0 4 0 248105005 13885173760 2752181 33554432000 4194304 4650419 140736301423424 18446744073709551615 4364944 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29428/tid=29431] ppid=29426 vsize=13559740 CPUtime=402 cores=1,3,5,7
/proc/29428/task/29431/stat : 29431 (strangenight1-m) R 29426 29428 28368 0 -1 4202560 7653255 0 0 0 39253 947 0 0 25 0 4 0 248105005 13885173760 2752181 33554432000 4194304 4650419 140736301423424 18446744073709551615 4364757 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1605.25
Current children cumulated vsize (KiB) 13559740

[startup+462.301 s]
/proc/loadavg: 8.09 7.66 6.24 9/184 29444
/proc/meminfo: memFree=1311256/32951124 swapFree=67111528/67111528
[pid=29428] ppid=29426 vsize=13918488 CPUtime=1844.9 cores=1,3,5,7
/proc/29428/stat : 29428 (strangenight1-m) R 29426 29428 28368 0 -1 4202496 9574854 0 0 0 183193 1297 0 0 25 0 4 0 248105005 14252531712 2822454 33554432000 4194304 4650419 140736301423424 18446744073709551615 4315996 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/29428/statm: 3479622 2822454 400 112 0 3474587 0
[pid=29428/tid=29429] ppid=29426 vsize=13918488 CPUtime=460.13 cores=1,3,5,7
/proc/29428/task/29429/stat : 29429 (strangenight1-m) R 29426 29428 28368 0 -1 4202560 624182 0 0 0 45906 107 0 0 25 0 4 0 248105005 14252531712 2822454 33554432000 4194304 4650419 140736301423424 18446744073709551615 4363687 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29428/tid=29430] ppid=29426 vsize=13918488 CPUtime=460.97 cores=1,3,5,7
/proc/29428/task/29430/stat : 29430 (strangenight1-m) R 29426 29428 28368 0 -1 4202560 545149 0 0 0 45989 108 0 0 25 0 4 0 248105005 14252531712 2822454 33554432000 4194304 4650419 140736301423424 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29428/tid=29431] ppid=29426 vsize=13918488 CPUtime=461.99 cores=1,3,5,7
/proc/29428/task/29431/stat : 29431 (strangenight1-m) R 29426 29428 28368 0 -1 4202560 7707719 0 0 0 45239 960 0 0 25 0 4 0 248105005 14252531712 2822454 33554432000 4194304 4650419 140736301423424 18446744073709551615 4365020 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1844.9
Current children cumulated vsize (KiB) 13918488

[startup+522.301 s]
/proc/loadavg: 8.03 7.71 6.35 9/184 29446
/proc/meminfo: memFree=677924/32951124 swapFree=67111528/67111528
[pid=29428] ppid=29426 vsize=14830852 CPUtime=2084.55 cores=1,3,5,7
/proc/29428/stat : 29428 (strangenight1-m) R 29426 29428 28368 0 -1 4202496 9861904 0 0 0 207094 1361 0 0 25 0 4 0 248105005 15186792448 2987553 33554432000 4194304 4650419 140736301423424 18446744073709551615 4363644 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/29428/statm: 3707713 2987553 400 112 0 3702678 0
[pid=29428/tid=29429] ppid=29426 vsize=14830852 CPUtime=520.12 cores=1,3,5,7
/proc/29428/task/29429/stat : 29429 (strangenight1-m) R 29426 29428 28368 0 -1 4202560 683432 0 0 0 51894 118 0 0 25 0 4 0 248105005 15186792448 2987553 33554432000 4194304 4650419 140736301423424 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29428/tid=29430] ppid=29426 vsize=14830852 CPUtime=520.64 cores=1,3,5,7
/proc/29428/task/29430/stat : 29430 (strangenight1-m) R 29426 29428 28368 0 -1 4202560 623578 0 0 0 51938 126 0 0 25 0 4 0 248105005 15186792448 2987553 33554432000 4194304 4650419 140736301423424 18446744073709551615 4368084 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29428/tid=29431] ppid=29426 vsize=14830852 CPUtime=521.99 cores=1,3,5,7
/proc/29428/task/29431/stat : 29431 (strangenight1-m) R 29426 29428 28368 0 -1 4202560 7793363 0 0 0 51221 978 0 0 25 0 4 0 248105005 15186792448 2987553 33554432000 4194304 4650419 140736301423424 18446744073709551615 4302537 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2084.55
Current children cumulated vsize (KiB) 14830852

[startup+582.301 s]
/proc/loadavg: 8.06 7.78 6.46 9/184 29447
/proc/meminfo: memFree=150928/32951124 swapFree=67111528/67111528
[pid=29428] ppid=29426 vsize=15148508 CPUtime=2324.21 cores=1,3,5,7
/proc/29428/stat : 29428 (strangenight1-m) R 29426 29428 28368 0 -1 4202496 10091990 0 0 0 230997 1424 0 0 25 0 4 0 248105005 15512072192 3073397 33554432000 4194304 4650419 140736301423424 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/29428/statm: 3787127 3073397 400 112 0 3782092 0
[pid=29428/tid=29429] ppid=29426 vsize=15148508 CPUtime=580.12 cores=1,3,5,7
/proc/29428/task/29429/stat : 29429 (strangenight1-m) R 29426 29428 28368 0 -1 4202560 734990 0 0 0 57877 135 0 0 25 0 4 0 248105005 15512072192 3073397 33554432000 4194304 4650419 140736301423424 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29428/tid=29430] ppid=29426 vsize=15148508 CPUtime=580.32 cores=1,3,5,7
/proc/29428/task/29430/stat : 29430 (strangenight1-m) R 29426 29428 28368 0 -1 4202560 701901 0 0 0 57886 146 0 0 25 0 4 0 248105005 15512072192 3073397 33554432000 4194304 4650419 140736301423424 18446744073709551615 4328437 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29428/tid=29431] ppid=29426 vsize=15148508 CPUtime=581.98 cores=1,3,5,7
/proc/29428/task/29431/stat : 29431 (strangenight1-m) R 29426 29428 28368 0 -1 4202560 7845572 0 0 0 57205 993 0 0 25 0 4 0 248105005 15512072192 3073397 33554432000 4194304 4650419 140736301423424 18446744073709551615 4368084 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2324.21
Current children cumulated vsize (KiB) 15148508

[startup+642.3 s]
/proc/loadavg: 8.16 7.85 6.56 9/184 29449
/proc/meminfo: memFree=158752/32951124 swapFree=67111528/67111528
[pid=29428] ppid=29426 vsize=15369348 CPUtime=2563.79 cores=1,3,5,7
/proc/29428/stat : 29428 (strangenight1-m) R 29426 29428 28368 0 -1 4202496 10370327 0 0 0 254887 1492 0 0 25 0 4 0 248105005 15738212352 3139199 33554432000 4194304 4650419 140736301423424 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/29428/statm: 3842337 3139199 400 112 0 3837302 0
[pid=29428/tid=29429] ppid=29426 vsize=15369348 CPUtime=640.11 cores=1,3,5,7
/proc/29428/task/29429/stat : 29429 (strangenight1-m) R 29426 29428 28368 0 -1 4202560 892960 0 0 0 63846 165 0 0 25 0 4 0 248105005 15738212352 3139199 33554432000 4194304 4650419 140736301423424 18446744073709551615 4366906 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29428/tid=29430] ppid=29426 vsize=15369348 CPUtime=639.92 cores=1,3,5,7
/proc/29428/task/29430/stat : 29430 (strangenight1-m) R 29426 29428 28368 0 -1 4202560 732619 0 0 0 63837 155 0 0 25 0 4 0 248105005 15738212352 3139199 33554432000 4194304 4650419 140736301423424 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29428/tid=29431] ppid=29426 vsize=15369348 CPUtime=641.98 cores=1,3,5,7
/proc/29428/task/29431/stat : 29431 (strangenight1-m) R 29426 29428 28368 0 -1 4202560 7895825 0 0 0 63190 1008 0 0 25 0 4 0 248105005 15738212352 3139199 33554432000 4194304 4650419 140736301423424 18446744073709551615 4363680 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2563.79
Current children cumulated vsize (KiB) 15369348



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+696.701 s]
/proc/loadavg: 8.13 7.89 6.64 9/184 29450
/proc/meminfo: memFree=147004/32951124 swapFree=67111528/67111528
[pid=29428] ppid=29426 vsize=15873844 CPUtime=2781.05 cores=1,3,5,7
/proc/29428/stat : 29428 (strangenight1-m) R 29426 29428 28368 0 -1 4202496 10722239 0 0 0 276531 1574 0 0 25 0 4 0 248105005 16254816256 3232681 33554432000 4194304 4650419 140736301423424 18446744073709551615 4334396 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/29428/statm: 3968461 3232681 407 112 0 3963426 0
[pid=29428/tid=29429] ppid=29426 vsize=15873844 CPUtime=694.51 cores=1,3,5,7
/proc/29428/task/29429/stat : 29429 (strangenight1-m) R 29426 29428 28368 0 -1 4202560 947450 0 0 0 69270 181 0 0 25 0 4 0 248105005 16254816256 3232681 33554432000 4194304 4650419 140736301423424 18446744073709551615 4436464 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29428/tid=29430] ppid=29426 vsize=15873844 CPUtime=693.98 cores=1,3,5,7
/proc/29428/task/29430/stat : 29430 (strangenight1-m) R 29426 29428 28368 0 -1 4202560 821162 0 0 0 69224 174 0 0 25 0 4 0 248105005 16254816256 3232681 33554432000 4194304 4650419 140736301423424 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29428/tid=29431] ppid=29426 vsize=15873844 CPUtime=696.38 cores=1,3,5,7
/proc/29428/task/29431/stat : 29431 (strangenight1-m) R 29426 29428 28368 0 -1 4202560 8015594 0 0 0 68604 1034 0 0 25 0 4 0 248105005 16254816256 3232682 33554432000 4194304 4650419 140736301423424 18446744073709551615 4369111 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2781.05
Current children cumulated vsize (KiB) 15873844

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

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

[startup+696.901 s]
/proc/loadavg: 8.13 7.89 6.64 6/183 29451
/proc/meminfo: memFree=5329716/32951124 swapFree=67111528/67111528
[pid=29428] ppid=29426 vsize=0 CPUtime=2781.27 cores=1,3,5,7
/proc/29428/stat : 29428 (strangenight1-m) Z 29426 29428 28368 0 -1 4203548 10722250 0 0 0 276533 1594 0 0 25 0 2 0 248105005 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/29428/statm: 0 0 0 0 0 0 0
[pid=29428/tid=29430] ppid=29426 vsize=0 CPUtime=694.19 cores=1,3,5,7
/proc/29428/task/29430/stat : 29430 (strangenight1-m) R 29426 29428 28368 0 -1 4203588 821162 0 0 0 69225 194 0 0 25 0 2 0 248105005 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2781.27
Current children cumulated vsize (KiB) 0

[startup+697.101 s]
/proc/loadavg: 8.13 7.89 6.64 6/183 29451
/proc/meminfo: memFree=5329716/32951124 swapFree=67111528/67111528
[pid=29428] ppid=29426 vsize=0 CPUtime=2781.46 cores=1,3,5,7
/proc/29428/stat : 29428 (strangenight1-m) Z 29426 29428 28368 0 -1 4203548 10722250 0 0 0 276533 1613 0 0 25 0 2 0 248105005 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/29428/statm: 0 0 0 0 0 0 0
[pid=29428/tid=29430] ppid=29426 vsize=0 CPUtime=694.38 cores=1,3,5,7
/proc/29428/task/29430/stat : 29430 (strangenight1-m) R 29426 29428 28368 0 -1 4203588 821162 0 0 0 69225 213 0 0 25 0 2 0 248105005 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2781.46
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 697.176
CPU time (s): 2781.54
CPU user time (s): 2765.33
CPU system time (s): 16.2085
CPU usage (%): 398.972
Max. virtual memory (cumulated for all children) (KiB): 15873844

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2765.33
system time used= 16.2085
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10722250
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= 36244
involuntary context switches= 20626

runsolver used 1.14982 second user time and 2.67059 second system time

The end

Launcher Data 

Begin job on node107 at 2011-04-29 03:05:37
IDJOB=3285656
IDBENCH=82392
IDSOLVER=1588
FILE ID=node107/3285656-1304039137
RUNJOBID= node107-1304038924-29369
PBS_JOBID= 13170345
Free space on /tmp= 71768 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt
BENCH NAME= SAT11/application/rintanen/SATPlanning/openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.035-NOTKNOWN.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3285656-1304039137/watcher-3285656-1304039137 -o /tmp/evaluation-result-3285656-1304039137/solver-3285656-1304039137 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3285656-1304039137.cnf

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

MD5SUM BENCH= 28233bedeee44da6e79e63b9febc4d1e
RANDOM SEED=738550907

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.829
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:      13897320 kB
Buffers:       2025376 kB
Cached:        9992740 kB
SwapCached:          0 kB
Active:       11352836 kB
Inactive:      7208520 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      13897320 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           17812 kB
Writeback:           0 kB
AnonPages:     6542288 kB
Mapped:          15508 kB
Slab:           416572 kB
PageTables:      17416 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  6997060 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= 71764 MiB
End job on node107 at 2011-04-29 03:17:16