Trace number 3280364

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-2-mt? (TO) 4800.19 1201.8

General information on the benchmark

Nameindustrial/anbulagan/
hard-unsat/partial-5-11-u.cnf
MD5SUM8e22d84b1ae625d44fbf300a32374a2d
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables164158
Number of clauses730719
Sum of the clauses size1660140
Maximum clause length10
Minimum clause length1
Number of clauses of size 112474
Number of clauses of size 2600009
Number of clauses of size 387256
Number of clauses of size 43440
Number of clauses of size 513760
Number of clauses of size over 513780

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-3280364-1304028688.cnf'
0.00/0.01	c -- header says num vars:         164158
0.00/0.01	c -- header says num clauses:      730719
1.21/0.43	c -- clauses added:            0 learnts,       730719 normals,            0 xors
1.21/0.43	c -- vars added     164158
1.21/0.43	c Parsing time:  0.20 s
1.21/0.43	c  N st     0         0    164158    118150    599287         0   1645964         0   no data   no data
3.18/0.90	c asymm  cl-useful: 0/1189/94810 lits-rem:0 time: 0.45
53.51/13.57	c Flit:  1284 Blit:   8997 bXBeca:    0 bXProp: 15316 Bins:      0 BRemL:      0 BRemN:      0 P: 200.0M T: 12.66
53.91/13.60	c Cleaning up after failed var search:     0.03 s 
53.91/13.64	c Replacing    15316 vars Replaced   270530 lits Time:     0.04 s 
53.91/13.67	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
53.91/13.69	c bin-w-bin subsume rem         7845 bins  time:  0.02 s
54.30/13.73	c subs with bin:      154  lits-rem:      6011  v-fix:    0  time:  0.04 s
77.08/19.40	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  26699 time:  5.67 s
77.88/19.69	c Removed useless bin:    3709  fixed:     0  props:  20.01M  time:  0.29 s
79.08/19.99	c lits-rem:       671  cl-subs:     6606  v-elim:  20703  v-fix:    0  time:  0.29 s
79.47/20.02	c Finding binary XORs  T:     0.03 s  found:   12895
79.47/20.05	c Replacing    12895 vars Replaced   171918 lits Time:     0.03 s 
79.47/20.07	c Finding non-binary XORs:     0.02 s (found:       0, avg size: nan)
79.47/20.07	c calculated reachability. Time: 0.00
79.47/20.08	c Calc default polars -  time:   0.01 s pos:    6390 undec:  136668 neg:   21100
79.47/20.08	c =========================================================================================
79.47/20.08	c types(t): F = full restart, N = normal restart
79.47/20.08	c types(t): S = simplification begin/end, E = solution found
79.47/20.08	c restart types(rt): st = static, dy = dynamic
79.47/20.08	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
79.47/20.08	c  B st     0         0     28513     64285    105990         0    446299         0   no data   no data
88.66/22.34	c  N dy    13      4212     28511     64285    106019      4100    446299   1142751     34.09     36.08
96.65/24.34	c  N dy    32      8563     28461     64285    106799      8345    446298   1953892     34.49     37.33
105.43/26.59	c  N dy    52     12600     28454     64285    117796     12274    446298   2773660     34.28     41.41
106.24/26.77	c Finding binary XORs  T:     0.02 s  found:      43
120.61/30.38	c  N dy    73     19108     28387     64063    116796     18581    442812   4655501     32.24     34.50
131.43/33.07	c  N dy    93     23441     28353     64063    117512     13098    442812   1963638     32.83     36.95
134.60/33.83	c  F st   100     25003     28347     64063    117543     14602    442812   2215647     32.51     19.82
134.60/33.89	c Replacing       43 vars Replaced     1516 lits Time:     0.03 s 
143.78/36.11	c  N st   105     28300     28223     63953    116907     17785    441085   2968138     32.51   no data
147.79/37.12	c  S st   106     30001     27856     62829    114532     18752    432445   3240417     32.51   no data
149.37/37.59	c  S st   106     30502     27854     62829    114572     19206    432445   3280540     32.51   no data
149.77/37.61	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
214.09/53.73	c Flit:  1001 Blit:    255 bXBeca:    0 bXProp:  825 Bins: 172740 BRemL:   3667 BRemN:     16 P: 200.0M T: 16.02
214.09/53.77	c Cleaning up after failed var search:     0.03 s 
214.91/53.92	c Replacing      825 vars Replaced    67783 lits Time:     0.15 s 
214.91/53.94	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
214.91/53.98	c bin-w-bin subsume rem        13154 bins  time:  0.03 s
215.29/54.02	c subs with bin:     1571  lits-rem:      7608  v-fix:    0  time:  0.04 s
218.91/54.92	c Subs w/ non-existent bins:   1646 l-rem:    546 v-fix:     0 done:  25241 time:  0.90 s
219.69/55.15	c Removed useless bin:    5246  fixed:     0  props:  20.01M  time:  0.22 s
220.48/55.30	c lits-rem:        12  cl-subs:     1333  v-elim:   2729  v-fix:    0  time:  0.15 s
220.48/55.35	c subs with bin:       83  lits-rem:       429  v-fix:    0  time:  0.04 s
220.48/55.39	c lits-rem:        55  cl-subs:      235  v-elim:      0  v-fix:    0  time:  0.03 s
222.49/55.85	c asymm  cl-useful: 347/3445/60081 lits-rem:436 time: 0.46
222.88/55.95	c calculated reachability. Time: 0.09
222.88/55.95	c  N dy   106     30502     22512     60081    210273      2654    363998    332643     32.51   no data
224.47/56.36	c Finding binary XORs  T:     0.41 s  found:     106
232.87/58.43	c  N dy   108     34783     22125     58703    191267      6738    354231   1074999     30.15     31.75
247.26/62.05	c  N dy   109     43835     22119     58703    191320      9060    354231    967865     26.05     27.63
250.45/62.89	c  S st   115     45759     22115     58703    197117     10922    354231   1265384     25.90     24.87
252.45/63.37	c Finding binary XORs  T:     0.27 s  found:     119
252.84/63.40	c Replacing      225 vars Replaced     7649 lits Time:     0.04 s 
253.24/63.56	c  S st   115     46263     21889     58624    195775     11341    353554   1287558     25.90   no data
253.24/63.58	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
292.00/73.23	c Flit:   163 Blit:     74 bXBeca:    0 bXProp:  182 Bins:  37536 BRemL:   6077 BRemN:     37 P: 137.9M T:  9.65
292.00/73.25	c Cleaning up after failed var search:     0.02 s 
292.00/73.28	c Replacing      183 vars Replaced    24694 lits Time:     0.03 s 
292.40/73.30	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
292.40/73.33	c bin-w-bin subsume rem         9176 bins  time:  0.03 s
292.40/73.37	c subs with bin:      544  lits-rem:      2682  v-fix:    0  time:  0.03 s
294.80/73.94	c Subs w/ non-existent bins:    120 l-rem:     21 v-fix:     0 done:  20773 time:  0.57 s
295.60/74.16	c Removed useless bin:    3528  fixed:     0  props:  20.00M  time:  0.22 s
296.00/74.27	c lits-rem:         0  cl-subs:     1563  v-elim:   1395  v-fix:    0  time:  0.10 s
296.40/74.32	c subs with bin:       38  lits-rem:        51  v-fix:    0  time:  0.04 s
296.40/74.36	c lits-rem:        19  cl-subs:      201  v-elim:      0  v-fix:    0  time:  0.03 s
297.20/74.51	c vivif2 --  cl tried    55718 cl shrink     1282 lits rem       1406 time: 0.16
297.20/74.53	c vivif2 --  cl tried     3493 cl shrink      878 lits rem       4919 time: 0.02
298.79/74.97	c asymm  cl-useful: 31/2395/55173 lits-rem:44 time: 0.43
299.19/75.03	c calculated reachability. Time: 0.06
299.19/75.03	c  N dy   115     46263     19378     55173    165072      3286    318219    294536     25.90   no data
300.39/75.30	c Finding binary XORs  T:     0.27 s  found:       0
305.98/76.72	c  N dy   118     50514     19375     55173    165092      7451    318219    760124     24.59     25.92
332.75/83.41	c  N dy   122     69394     19373     55173    275215     15879    318219   1406952     21.41     13.53
332.75/83.41	c  S st   122     69394     19373     55173    275215     15879    318219   1406952     21.41     13.53
333.57/83.65	c Finding binary XORs  T:     0.21 s  found:       7
334.75/83.95	c  S st   122     69895     19319     54815    280413     15613    316946   1437534     21.41   no data
334.75/83.97	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
367.91/92.27	c Flit:    62 Blit:     10 bXBeca:    0 bXProp:    3 Bins:  15418 BRemL:  11025 BRemN:      5 P: 122.7M T:  8.29
368.32/92.31	c Replacing       10 vars Replaced     3458 lits Time:     0.04 s 
368.32/92.33	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
368.32/92.37	c bin-w-bin subsume rem        32796 bins  time:  0.04 s
368.73/92.41	c subs with bin:      272  lits-rem:       140  v-fix:    0  time:  0.04 s
370.30/92.84	c Subs w/ non-existent bins:     82 l-rem:     45 v-fix:     0 done:  19228 time:  0.42 s
371.10/93.04	c Removed useless bin:     686  fixed:     0  props:  20.01M  time:  0.20 s
371.50/93.12	c lits-rem:         5  cl-subs:      381  v-elim:    467  v-fix:    0  time:  0.08 s
372.30/93.37	c subs with bin:       17  lits-rem:       554  v-fix:    0  time:  0.23 s
372.72/93.50	c lits-rem:       378  cl-subs:      611  v-elim:      0  v-fix:    0  time:  0.12 s
373.51/93.64	c vivif2 --  cl tried    54899 cl shrink      352 lits rem        383 time: 0.14
373.90/93.75	c vivif2 --  cl tried     9394 cl shrink     2643 lits rem      10999 time: 0.10
375.90/94.23	c asymm  cl-useful: 226/3147/54773 lits-rem:236 time: 0.49
375.90/94.29	c calculated reachability. Time: 0.05
375.90/94.29	c  N dy   122     69895     18761     54771    239478      9385    313580    726263     21.41   no data
377.11/94.53	c Finding binary XORs  T:     0.23 s  found:       0
393.88/98.76	c  N dy   123     81889     18760     54771    239487     21143    313580   2196934     20.21     21.38
395.09/99.02	c Finding binary XORs  T:     0.21 s  found:       0
403.07/101.04	c  F st   127     87502     18739     54652    316377     13474    313144   1055812     19.58      6.89
403.07/101.09	c  N st   127     87502     18739     54652    316377     13474    313144   1055812     19.58      6.89
412.68/103.41	c  N dy   135     93628     18738     54652    316878     19505    313144   1834922     19.51     21.59
428.64/107.49	c  N dy   142    103804     18737     54652    316935     29508    313144   2986626     18.63     19.62
430.63/107.99	c  S st   148    104847     18737     54652    316947     30529    313144   3164317     18.63   no data
431.84/108.28	c  S st   148    105347     18737     54652    316984     30992    313144   3196510     18.63   no data
432.24/108.31	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
465.80/116.73	c Flit:    23 Blit:      0 bXBeca:    0 bXProp:    0 Bins:   1738 BRemL:   8144 BRemN:      8 P: 127.4M T:  8.42
465.80/116.75	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
465.80/116.79	c bin-w-bin subsume rem        11094 bins  time:  0.04 s
466.20/116.83	c subs with bin:       68  lits-rem:         4  v-fix:    0  time:  0.04 s
467.80/117.21	c Subs w/ non-existent bins:     25 l-rem:     17 v-fix:     0 done:  18714 time:  0.37 s
468.20/117.39	c Removed useless bin:     280  fixed:     0  props:  18.86M  time:  0.19 s
468.59/117.49	c lits-rem:         0  cl-subs:      302  v-elim:     90  v-fix:    0  time:  0.10 s
476.58/119.43	c subs with bin:        0  lits-rem:       103  v-fix:    0  time:  1.82 s
480.58/120.43	c lits-rem:       924  cl-subs:      877  v-elim:      0  v-fix:    0  time:  0.99 s
480.98/120.57	c vivif2 --  cl tried    54354 cl shrink      211 lits rem        221 time: 0.14
482.18/120.88	c vivif2 --  cl tried    23906 cl shrink     7481 lits rem     198310 time: 0.30
484.18/121.36	c asymm  cl-useful: 136/2285/54326 lits-rem:136 time: 0.49
484.57/121.43	c calculated reachability. Time: 0.05
484.57/121.43	c  N dy   148    105347     18624     54326    295745     23904    310745   2385688     18.63   no data
495.78/124.25	c Finding binary XORs  T:     0.21 s  found:      11
496.96/124.53	c  N dy   149    113936     18581     54161    352717     17112    309802   1653023     17.88     20.18
518.93/130.07	c  N dy   151    126843     18581     54161    352733     29883    309802   2882907     17.29     18.36
533.31/133.60	c  N dy   166    135216     18578     54161    356915     38161    309802   3931028     17.14     18.05
552.09/138.34	c  N dy   170    146169     18578     54161    356932     29098    309802   2561748     16.81     17.89
552.91/138.58	c Finding binary XORs  T:     0.21 s  found:       0
574.87/144.09	c  N dy   181    158028     18576     54140    356801     40821    309732   3459587     16.57     10.73
574.87/144.09	c  S st   181    158028     18576     54140    356801     40821    309732   3459587     16.57     10.73
576.45/144.49	c  S st   181    158530     18576     54140    356827     41296    309732   3492283     16.57   no data
576.85/144.52	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
612.42/153.49	c Flit:    14 Blit:      1 bXBeca:    0 bXProp:    0 Bins:   4489 BRemL:   9663 BRemN:      5 P: 133.1M T:  8.97
612.81/153.56	c Replacing       11 vars Replaced     4876 lits Time:     0.06 s 
612.81/153.58	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
613.21/153.62	c bin-w-bin subsume rem         3467 bins  time:  0.04 s
613.21/153.67	c subs with bin:      133  lits-rem:        37  v-fix:    0  time:  0.05 s
614.83/154.03	c Subs w/ non-existent bins:     18 l-rem:     17 v-fix:     0 done:  18548 time:  0.37 s
615.21/154.19	c Removed useless bin:     202  fixed:     0  props:  15.69M  time:  0.16 s
615.61/154.28	c lits-rem:         1  cl-subs:      311  v-elim:     57  v-fix:    0  time:  0.09 s
623.21/156.10	c subs with bin:       20  lits-rem:      1655  v-fix:    0  time:  1.72 s
628.38/157.46	c lits-rem:       438  cl-subs:     1156  v-elim:      0  v-fix:    0  time:  1.35 s
629.19/157.61	c vivif2 --  cl tried    53644 cl shrink      279 lits rem        288 time: 0.14
631.18/158.12	c vivif2 --  cl tried    35827 cl shrink    10113 lits rem     130027 time: 0.51
633.18/158.63	c asymm  cl-useful: 122/2043/53608 lits-rem:128 time: 0.52
633.58/158.70	c calculated reachability. Time: 0.05
633.58/158.70	c  N dy   181    158530     18491     53606    345249     35819    306925   2754188     16.57   no data
655.55/164.24	c  N dy   184    170261     18489     53606    345382     26786    306925   2196770     16.19     17.28
656.35/164.48	c Finding binary XORs  T:     0.22 s  found:       0
689.12/172.65	c  N dy   188    188644     18376     53596    348477     44927    306889   3662397     15.64     16.55
713.08/178.65	c  N dy   203    201680     18376     53596    349153     34175    306889   3033335     15.38     16.31
713.88/178.89	c Finding binary XORs  T:     0.22 s  found:      60
743.04/186.10	c  N dy   214    217443     18364     53380    348696     49701    303646   4419732     15.05     15.86
768.99/192.68	c  N dy   238    233301     18363     53380    348874     39742    303646   3224338     14.90     15.70
777.41/194.76	c  S st   252    237795     18363     53380    348908     44190    303646   3707319     14.88   no data
778.98/195.14	c  S st   252    238298     18363     53380    348947     44653    303646   3742776     14.88   no data
778.98/195.17	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
817.33/204.74	c Flit:     5 Blit:      2 bXBeca:    0 bXProp:    1 Bins:  18918 BRemL:   9886 BRemN:     14 P: 139.7M T:  9.58
817.73/204.81	c Replacing       61 vars Replaced     4255 lits Time:     0.06 s 
817.73/204.83	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
817.73/204.87	c bin-w-bin subsume rem         2297 bins  time:  0.04 s
818.13/204.92	c subs with bin:       62  lits-rem:        95  v-fix:    0  time:  0.05 s
819.33/205.28	c Subs w/ non-existent bins:     10 l-rem:      7 v-fix:     0 done:  18295 time:  0.36 s
820.13/205.43	c Removed useless bin:     115  fixed:     0  props:  15.03M  time:  0.15 s
820.53/205.53	c lits-rem:         0  cl-subs:      911  v-elim:     63  v-fix:    0  time:  0.10 s
827.72/207.39	c subs with bin:      405  lits-rem:      2528  v-fix:    0  time:  1.75 s
834.91/209.18	c lits-rem:       321  cl-subs:     1370  v-elim:      0  v-fix:    0  time:  1.78 s
835.71/209.32	c vivif2 --  cl tried    52224 cl shrink      137 lits rem        144 time: 0.15
837.70/209.87	c vivif2 --  cl tried    40464 cl shrink    11924 lits rem     366007 time: 0.55
840.10/210.40	c asymm  cl-useful: 135/1877/52196 lits-rem:153 time: 0.53
840.10/210.46	c calculated reachability. Time: 0.05
840.10/210.47	c  N dy   252    238298     18232     52190    351473     40459    298649   2990431     14.88   no data
840.90/210.69	c Finding binary XORs  T:     0.22 s  found:       0
866.07/216.96	c  N dy   263    254027     18231     52190    352267     30160    298649   2187666     14.66     15.44
885.25/221.74	c Finding binary XORs  T:     0.22 s  found:       1
894.04/223.93	c  N dy   270    271248     18228     52156    360012     47009    298540   3549708     14.44     15.42
922.79/231.12	c  N dy   282    288571     18228     52156    360464     36418    298540   2740752     14.26     15.04
951.55/238.32	c  F st   292    306250     18227     52156    360498     53774    298540   4005033     14.02      9.89
951.55/238.38	c Replacing        1 vars Replaced       55 lits Time:     0.03 s 
953.95/238.93	c  N st   295    307439     18226     52146    360494     54953    298510   4125727     14.02   no data
989.10/247.71	c  N dy   323    327851     18226     52146    360523     45971    298510   3328541     13.87     14.73
1024.65/256.69	c  N dy   370    348092     18226     52146    360577     35652    298510   2637225     13.79     14.77
1040.64/260.65	c  S st   377    357447     18226     52146    360580     44837    298510   3315035     13.68     13.45
1042.22/261.04	c  S st   377    357947     18226     52146    360597     45321    298510   3352640     13.68   no data
1042.22/261.06	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1081.37/270.84	c Flit:     5 Blit:      0 bXBeca:    0 bXProp:    1 Bins:   3120 BRemL:   3390 BRemN:      7 P: 141.0M T:  9.78
1081.77/270.90	c Replacing        1 vars Replaced     2388 lits Time:     0.06 s 
1081.77/270.92	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1081.77/270.97	c bin-w-bin subsume rem         3187 bins  time:  0.04 s
1082.17/271.01	c subs with bin:       34  lits-rem:         9  v-fix:    0  time:  0.05 s
1083.37/271.38	c Subs w/ non-existent bins:      9 l-rem:      8 v-fix:     0 done:  18220 time:  0.37 s
1084.17/271.52	c Removed useless bin:      60  fixed:     0  props:  13.68M  time:  0.14 s
1084.58/271.62	c lits-rem:         0  cl-subs:      144  v-elim:     16  v-fix:    0  time:  0.10 s
1091.76/273.46	c subs with bin:        6  lits-rem:       559  v-fix:    0  time:  1.75 s
1097.35/274.90	c lits-rem:      1283  cl-subs:     2063  v-elim:      0  v-fix:    0  time:  1.44 s
1098.17/275.04	c vivif2 --  cl tried    51955 cl shrink       33 lits rem         34 time: 0.14
1100.14/275.53	c vivif2 --  cl tried    40275 cl shrink     8707 lits rem     274623 time: 0.48
1102.16/276.07	c asymm  cl-useful: 143/2153/51951 lits-rem:152 time: 0.53
1102.56/276.13	c calculated reachability. Time: 0.05
1102.56/276.13	c  N dy   377    357947     18204     51947    356676     40275    297515   2623603     13.68   no data
1103.34/276.36	c Finding binary XORs  T:     0.23 s  found:       0
1139.30/285.33	c  N dy   396    378576     18199     51947    357971     30662    297515   1845975     13.51     14.22
1178.44/295.12	c  N dy   415    400195     18197     51947    358457     51882    297515   3223879     13.34     14.09
1217.99/305.02	c  N dy   466    421671     18194     51947    358514     41371    297515   2582246     13.28     14.08
1258.74/315.29	c  N dy   482    445005     18192     51947    358564     64270    297515   4002874     13.12     13.90
1299.90/325.59	c  N dy   511    467982     18191     51947    358596     53679    297515   3044396     13.00     13.84
1336.63/334.79	c  N dy   526    490966     18190     51947    358618     42114    297515   2427162     12.87     13.67
1378.58/345.30	c  N dy   585    514277     18190     51947    358685     65106    297515   4562247     12.84     13.52
1420.52/355.73	c  N dy   685    536222     18190     51947    358738     51513    297515   3855097     12.90     13.66
1421.72/356.07	c  S st   686    536921     18190     51947    358750     52211    297515   3945733     12.89     12.27
1423.34/356.43	c  S st   686    537424     18188     51947    358769     52691    297515   3982452     12.89   no data
1423.34/356.46	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1462.88/366.39	c Flit:    17 Blit:      5 bXBeca:    0 bXProp:    2 Bins:   5382 BRemL:   9184 BRemN:      3 P: 147.7M T:  9.93
1463.26/366.46	c Replacing        2 vars Replaced       90 lits Time:     0.06 s 
1463.26/366.48	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1463.66/366.52	c bin-w-bin subsume rem          631 bins  time:  0.04 s
1463.66/366.57	c subs with bin:       62  lits-rem:         7  v-fix:    0  time:  0.05 s
1465.26/366.93	c Subs w/ non-existent bins:     13 l-rem:     10 v-fix:     0 done:  18163 time:  0.37 s
1465.66/367.07	c Removed useless bin:     168  fixed:     0  props:  12.52M  time:  0.13 s
1466.06/367.17	c lits-rem:         0  cl-subs:      137  v-elim:     47  v-fix:    0  time:  0.11 s
1474.05/369.15	c subs with bin:     1092  lits-rem:       742  v-fix:    0  time:  1.85 s
1486.03/372.20	c lits-rem:      1480  cl-subs:     1781  v-elim:      0  v-fix:    0  time:  3.04 s
1486.83/372.34	c vivif2 --  cl tried    51186 cl shrink      155 lits rem        155 time: 0.14
1489.63/373.02	c vivif2 --  cl tried    49258 cl shrink    13594 lits rem     648927 time: 0.68
1491.63/373.59	c asymm  cl-useful: 10/1283/51132 lits-rem:30 time: 0.57
1492.03/373.65	c calculated reachability. Time: 0.05
1492.03/373.65	c  N dy   686    537424     18116     51122    345663     49250    294910   3238927     12.89   no data
1492.83/373.89	c Finding binary XORs  T:     0.23 s  found:       4
1532.78/383.85	c  N dy   733    557503     18113     51122    347021     69030    294910   5061433     12.86     14.60
1572.33/393.79	c  N dy   807    577535     18111     51122    347054     52707    294910   3504781     12.86     13.59
1614.26/404.22	c  N dy   891    597609     18110     51122    347122     72537    294910   5783237     12.90     25.85
1658.61/415.39	c  N dy  1019    619198     18110     51122    347191     56621    294910   4644243     13.01     13.71
1707.34/427.54	c  N dy  1141    640094     18110     51122    347248     38871    294910   2239393     13.13     13.82
1722.13/431.24	c Finding binary XORs  T:     0.23 s  found:      14
1748.88/437.99	c Finding binary XORs  T:     0.23 s  found:       3
1749.28/438.05	c  N dy  1216    660109     18091     50988    377766     54370    294319   4679772     13.14     23.41
1794.41/449.35	c  N dy  1288    680190     18091     50988    377831     74202    294319   7281061     13.15     13.97
1835.16/459.50	c  N dy  1377    700201     18088     50988    377923     56662    294319   4791178     13.21     26.25
1881.09/471.05	c  N dy  1480    720281     18087     50988    377999     76537    294319   7473962     13.31     14.10
1925.03/482.08	c  N dy  1614    740356     18086     50988    378074     56973    294319   4894832     13.45     23.73
1973.37/494.10	c  N dy  1736    760635     18085     50988    378135     77052    294319   7708902     13.56     14.66
2015.72/504.71	c  N dy  1852    781292     18085     50988    378198     56527    294319   4514426     13.70     14.54
2063.25/516.62	c  N dy  1907    802525     18085     50988    378250     77517    294319   6899731     13.68     14.46
2072.04/518.88	c  S st  1924    806136     18085     50988    378268     81080    294319   7438184     13.69   no data
2074.03/519.36	c  S st  1924    806636     18085     50988    378286     81560    294319   7475199     13.69   no data
2074.03/519.39	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
2120.38/530.91	c Flit:     5 Blit:      0 bXBeca:    0 bXProp:    1 Bins:   3316 BRemL:   4680 BRemN:      0 P: 175.1M T: 11.52
2120.78/531.01	c Replacing       22 vars Replaced     4362 lits Time:     0.09 s 
2120.78/531.03	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2120.78/531.07	c bin-w-bin subsume rem         6419 bins  time:  0.04 s
2121.18/531.12	c subs with bin:      219  lits-rem:       159  v-fix:    0  time:  0.05 s
2122.37/531.49	c Subs w/ non-existent bins:     13 l-rem:      9 v-fix:     0 done:  18057 time:  0.36 s
2123.17/531.60	c Removed useless bin:     144  fixed:     0  props:   9.99M  time:  0.11 s
2123.57/531.73	c lits-rem:         0  cl-subs:      126  v-elim:     51  v-fix:    0  time:  0.13 s
2132.36/533.91	c subs with bin:       43  lits-rem:       125  v-fix:    0  time:  1.95 s
2145.14/537.15	c lits-rem:      5202  cl-subs:     2456  v-elim:      0  v-fix:    0  time:  3.24 s
2145.94/537.30	c vivif2 --  cl tried    50666 cl shrink      128 lits rem        162 time: 0.15
2149.93/538.34	c vivif2 --  cl tried    70119 cl shrink    28237 lits rem    1101430 time: 1.03
2152.34/538.93	c asymm  cl-useful: 18/1021/50596 lits-rem:54 time: 0.59
2152.75/539.00	c calculated reachability. Time: 0.05
2152.75/539.00	c  N dy  1924    806636     18006     50578    366180     70085    292567   4831520     13.69   no data
2153.52/539.24	c Finding binary XORs  T:     0.24 s  found:       2
2197.47/550.27	c  N dy  1967    828949     18004     50578    369329     54290    292567   3918122     13.63     14.39
2213.87/554.38	c Finding binary XORs  T:     0.23 s  found:       5
2239.82/560.83	c  N dy  2002    849614     18001     50520    369212     74554    292405   5714340     13.58     14.67
2281.76/571.38	c  N dy  2038    871544     18000     50520    369251     55121    292405   3499269     13.51     14.23
2320.50/581.08	c  N dy  2085    891640     17999     50520    369292     74893    292405   5101742     13.46     14.25
2360.86/591.10	c  N dy  2118    911677     17999     50520    369330     51576    292405   3093735     13.41     14.67
2396.81/600.15	c  N dy  2157    931684     17998     50520    369344     71317    292405   4871649     13.38     14.50
2435.57/609.89	c  N dy  2182    952422     17998     50520    369376     46973    292405   2358905     13.32     14.22
2476.32/620.06	c  N dy  2215    974033     17997     50520    369412     68207    292405   4159550     13.28     14.17
2517.08/630.20	c  N dy  2264    994275     17997     50520    369455     88077    292405   5746889     13.25     14.00
2554.62/639.63	c  N dy  2315   1014964     17997     50520    369478     62449    292405   3413755     13.22     14.05
2598.56/650.65	c  N dy  2377   1036608     17996     50520    369516     83845    292405   5689535     13.21     13.94
2648.10/663.00	c  N dy  2469   1060146     17995     50520    369549     60062    292405   4051066     13.21     14.12
2670.07/668.54	c  F st  2490   1071878     17995     50520    369567     71708    292405   5555752     13.20   no data
2670.47/668.62	c Replacing        7 vars Replaced      508 lits Time:     0.04 s 
2689.64/673.49	c  N dy  2513   1080681     17988     50478    369144     75832    292248   6681762     13.20     13.90
2733.59/684.46	c  N dy  2552   1102402     17988     50478    369190     51232    292248   2701111     13.17     13.87
2768.33/693.13	c Finding binary XORs  T:     0.24 s  found:      11
2778.72/695.74	c  N dy  2607   1123887     17974     50431    379855     72508    291989   4752000     13.15     13.87
2827.06/707.83	c  N dy  2691   1145279     17972     50431    381138     93635    291989   7077358     13.16     13.97
2869.03/718.39	c  N dy  2774   1165729     17972     50431    381937     65711    291989   4667006     13.18     14.03
2915.35/729.93	c  N dy  2832   1186179     17972     50431    381977     86006    291989   6839044     13.17     14.30
2958.88/740.84	c  N dy  2909   1206359     17971     50431    382020     56022    291989   3137441     13.20     13.94
2966.07/742.69	c  S st  2928   1209955     17971     50431    382036     59580    291989   3513559     13.21   no data
2967.67/743.06	c  S st  2928   1210456     17971     50431    382045     60071    291989   3564731     13.21   no data
2967.67/743.09	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3011.61/754.08	c Flit:     8 Blit:      1 bXBeca:    0 bXProp:   18 Bins:  69693 BRemL:  45165 BRemN:     12 P: 165.6M T: 10.99
3012.02/754.16	c Replacing       29 vars Replaced    10607 lits Time:     0.07 s 
3012.02/754.18	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3012.42/754.23	c bin-w-bin subsume rem         2236 bins  time:  0.05 s
3012.42/754.29	c subs with bin:      121  lits-rem:        65  v-fix:    0  time:  0.06 s
3014.03/754.67	c Subs w/ non-existent bins:     19 l-rem:      7 v-fix:     0 done:  17933 time:  0.38 s
3014.41/754.77	c Removed useless bin:     136  fixed:     0  props:   8.82M  time:  0.10 s
3014.81/754.88	c lits-rem:         4  cl-subs:      260  v-elim:     43  v-fix:    0  time:  0.11 s
3022.42/756.71	c subs with bin:      322  lits-rem:      2400  v-fix:    0  time:  1.74 s
3027.22/757.95	c lits-rem:      1002  cl-subs:      912  v-elim:      0  v-fix:    0  time:  1.22 s
3027.99/758.10	c vivif2 --  cl tried    50024 cl shrink       60 lits rem         67 time: 0.15
3029.59/758.59	c vivif2 --  cl tried    53216 cl shrink     7680 lits rem     194699 time: 0.50
3031.99/759.18	c asymm  cl-useful: 5/1100/49982 lits-rem:15 time: 0.58
3032.39/759.25	c calculated reachability. Time: 0.06
3032.39/759.25	c  N dy  2928   1210456     17890     49977    401797     53206    289129   2743536     13.21   no data
3033.19/759.49	c Finding binary XORs  T:     0.24 s  found:       0
3053.17/764.46	c Finding binary XORs  T:     0.24 s  found:       0
3071.93/769.19	c  N dy  2970   1230720     17890     49977    435688     73200    289129   4821372     13.17     13.89
3116.27/780.25	c  N dy  3018   1251532     17890     49977    435710     93718    289129   6614552     13.15     13.86
3156.22/790.23	c  N dy  3071   1272047     17889     49977    435724     65701    289129   3865857     13.13     13.86
3194.98/799.91	c  N dy  3117   1292135     17885     49977    436944     85524    289129   5667698     13.11     14.78
3236.92/810.45	c  N dy  3180   1312442     17885     49977    436957     54806    289129   2807245     13.10     13.85
3275.27/820.08	c  N dy  3233   1332689     17885     49977    436971     74811    289129   4647014     13.09     13.91
3317.24/830.52	c  N dy  3297   1352950     17885     49977    437002     94886    289129   6936794     13.08     13.79
3360.35/841.38	c  N dy  3350   1375289     17885     49977    437022     64385    289129   3686964     13.05     13.99
3403.89/852.28	c  N dy  3418   1396525     17885     49977    437046     85436    289129   5738793     13.05     13.76
3451.44/864.14	c  N dy  3510   1416953     17885     49977    437068    105658    289129   8024118     13.06     13.76
3488.98/873.52	c  N dy  3552   1436971     17884     49977    437089     71421    289129   4374411     13.04     14.08
3530.12/883.80	c  N dy  3595   1457148     17883     49977    437106     91345    289129   6163692     13.02     13.90
3580.48/896.49	c  N dy  3642   1478607     17883     49977    437124     57318    289129   2706071     13.00     13.82
3619.21/906.19	c  N dy  3698   1498736     17882     49977    437150     77152    289129   4363896     12.99     13.76
3661.16/916.60	c  N dy  3764   1519054     17882     49977    437159     97204    289129   6175293     12.98     13.77
3717.10/930.60	c  N dy  3801   1544054     17882     49977    437175     65596    289129   3186694     12.94     13.75
3757.82/940.85	c  N dy  3870   1564550     17881     49977    437203     85838    289129   5000009     12.93     13.98
3802.16/951.90	c  N dy  3960   1585174     17881     49977    437214    106254    289129   7478146     12.94     13.99
3837.32/960.75	c Finding binary XORs  T:     0.24 s  found:       1
3842.92/962.14	c  N dy  3993   1606384     17880     49893    451020     66244    288883   3894019     12.92     13.75
3881.27/971.79	c  N dy  4064   1626483     17880     49893    451047     86157    288883   6164784     12.92     26.22
3927.62/983.39	c  N dy  4165   1646527     17880     49893    451066    105953    288883   8683591     12.93     28.28
3949.59/988.89	c Finding binary XORs  T:     0.24 s  found:       0
3971.56/994.35	c  N dy  4250   1666717     17876     49873    455339     69558    288816   4140587     12.94     13.74
4012.70/1004.61	c  N dy  4341   1686918     17876     49873    455352     89604    288816   6757380     12.95     14.62
4057.03/1015.76	c  N dy  4421   1706991     17876     49873    455384    109494    288816   9044753     12.96     20.60
4065.82/1017.92	c  S st  4436   1710456     17876     49873    455385    112915    288816   9462721     12.96     11.38
4067.82/1018.46	c  S st  4436   1710959     17876     49873    455409    113394    288815   9504577     12.96   no data
4068.23/1018.50	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
4116.58/1030.69	c Flit:     1 Blit:      0 bXBeca:    0 bXProp:    0 Bins:   6755 BRemL:  62182 BRemN:      3 P: 200.0M T: 12.19
4116.98/1030.79	c Replacing        1 vars Replaced       83 lits Time:     0.09 s 
4117.36/1030.81	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4117.36/1030.86	c bin-w-bin subsume rem         9447 bins  time:  0.05 s
4117.76/1030.91	c subs with bin:      103  lits-rem:        37  v-fix:    0  time:  0.05 s
4118.96/1031.29	c Subs w/ non-existent bins:      2 l-rem:      3 v-fix:     0 done:  17874 time:  0.38 s
4119.36/1031.38	c Removed useless bin:      57  fixed:     0  props:   7.07M  time:  0.08 s
4120.16/1031.52	c lits-rem:         0  cl-subs:       21  v-elim:     22  v-fix:    0  time:  0.15 s
4128.95/1033.79	c subs with bin:      306  lits-rem:        54  v-fix:    0  time:  2.00 s
4152.91/1039.73	c lits-rem:      2327  cl-subs:     2577  v-elim:      0  v-fix:    0  time:  5.93 s
4153.31/1039.88	c vivif2 --  cl tried    49779 cl shrink       45 lits rem         50 time: 0.15
4160.10/1041.56	c vivif2 --  cl tried   100936 cl shrink    37659 lits rem    1586368 time: 1.67
4162.50/1042.11	c asymm  cl-useful: 8/681/49752 lits-rem:24 time: 0.55
4162.50/1042.18	c calculated reachability. Time: 0.06
4162.50/1042.18	c  N dy  4436   1710959     17852     49744    388759    100912    288269   5499543     12.96   no data
4163.70/1042.43	c Finding binary XORs  T:     0.25 s  found:       1
4206.84/1053.20	c  N dy  4504   1731489     17851     49744    390578     67678    288269   3910610     12.95     13.69
4250.38/1064.16	c  N dy  4569   1752703     17851     49744    390601     88711    288269   6110430     12.95     13.76
4295.12/1075.32	c  N dy  4605   1772792     17851     49744    390609    108466    288269   7583725     12.92     21.49
4336.29/1085.66	c  N dy  4649   1793021     17851     49744    390625     71042    288269   3793050     12.91     13.85
4339.86/1086.58	c Finding binary XORs  T:     0.25 s  found:       0
4379.41/1096.47	c  N dy  4741   1813043     17846     49702    392294     90778    288131   5692001     12.92     13.61
4423.36/1107.48	c  N dy  4804   1833056     17845     49702    392315    110508    288131   7331924     12.91     14.51
4467.30/1118.46	c  N dy  4890   1853536     17844     49702    392327     70948    288130   3659192     12.92     13.80
4505.24/1127.92	c  N dy  4928   1873573     17842     49702    392340     90719    288130   5356568     12.90     21.35
4549.19/1138.99	c  N dy  5003   1893657     17842     49702    392359    110517    288130   7132086     12.90     13.80
4604.32/1152.72	c  N dy  5076   1917186     17839     49702    392380     72341    288130   3554982     12.90     13.70
4646.65/1163.36	c  N dy  5153   1937323     17837     49702    392415     92193    288130   5486789     12.90     13.64
4692.99/1174.96	c  N dy  5234   1957442     17836     49702    392439    112041    288130   7495372     12.90     13.64
4742.93/1187.42	c  N dy  5274   1978282     17836     49702    392453     69793    288130   3596422     12.89     13.86
4782.87/1197.40	c  N dy  5324   1998735     17836     49702    392472     90021    288130   5479115     12.88     13.62

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-3280364-1304028688/watcher-3280364-1304028688 -o /tmp/evaluation-result-3280364-1304028688/solver-3280364-1304028688 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3280364-1304028688.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: 0.00 0.00 0.03 2/172 31152
/proc/meminfo: memFree=11818976/32951124 swapFree=67111528/67111528
[pid=31152] ppid=31150 vsize=51212 CPUtime=0.01 cores=0,2,4,6
/proc/31152/stat : 31152 (strangenight2-m) R 31150 31152 31124 0 -1 4202496 408 0 0 0 1 0 0 0 21 0 4 0 514469315 52441088 347 33554432000 4194304 4627427 140733345147248 18446744073709551615 47934070237106 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31152/statm: 12803 347 299 106 0 7774 0
[pid=31152/tid=31153] ppid=31150 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/31152/task/31153/stat : 31153 (strangenight2-m) R 31150 31152 31124 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 4 0 514469315 52441088 347 33554432000 4194304 4627427 140733345147248 18446744073709551615 47934070237106 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31152/tid=31154] ppid=31150 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/31152/task/31154/stat : 31154 (strangenight2-m) R 31150 31152 31124 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 514469315 52441088 347 33554432000 4194304 4627427 140733345147248 18446744073709551615 230809222129 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=31152/tid=31155] ppid=31150 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/31152/task/31155/stat : 31155 (strangenight2-m) R 31150 31152 31124 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 514469315 52441088 347 33554432000 4194304 4627427 140733345147248 18446744073709551615 47934070237100 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.0142491 s]
/proc/loadavg: 0.00 0.00 0.03 2/172 31152
/proc/meminfo: memFree=11818976/32951124 swapFree=67111528/67111528
[pid=31152] ppid=31150 vsize=288324 CPUtime=0.02 cores=0,2,4,6
/proc/31152/stat : 31152 (strangenight2-m) R 31150 31152 31124 0 -1 4202496 4290 0 0 0 2 0 0 0 18 0 4 0 514469315 295243776 3814 33554432000 4194304 4627427 140733345147248 18446744073709551615 230808862928 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31152/statm: 72081 3859 339 106 0 67052 0
[pid=31152/tid=31153] ppid=31150 vsize=288836 CPUtime=0 cores=0,2,4,6
/proc/31152/task/31153/stat : 31153 (strangenight2-m) D 31150 31152 31124 0 -1 4202560 1131 0 0 0 0 0 0 0 18 0 4 0 514469315 295768064 4133 33554432000 4194304 4627427 140733345147248 18446744073709551615 4358019 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31152/tid=31154] ppid=31150 vsize=289352 CPUtime=0 cores=0,2,4,6
/proc/31152/task/31154/stat : 31154 (strangenight2-m) S 31150 31152 31124 0 -1 4202560 866 0 0 0 0 0 0 0 18 0 4 0 514469315 296296448 4277 33554432000 4194304 4627427 140733345147248 18446744073709551615 230809270766 0 0 4096 2 18446604453674349824 0 0 -1 6 0 0 0
[pid=31152/tid=31155] ppid=31150 vsize=289352 CPUtime=0 cores=0,2,4,6
/proc/31152/task/31155/stat : 31155 (strangenight2-m) R 31150 31152 31124 0 -1 4202560 1271 0 0 0 0 0 0 0 18 0 4 0 514469315 296296448 4304 33554432000 4194304 4627427 140733345147248 18446744073709551615 4316539 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 288324

[startup+0.102188 s]
/proc/loadavg: 0.00 0.00 0.03 2/172 31152
/proc/meminfo: memFree=11818976/32951124 swapFree=67111528/67111528
[pid=31152] ppid=31150 vsize=367004 CPUtime=0.3 cores=0,2,4,6
/proc/31152/stat : 31152 (strangenight2-m) R 31150 31152 31124 0 -1 4202496 45324 0 0 0 22 8 0 0 17 0 4 0 514469315 375812096 36824 33554432000 4194304 4627427 140733345147248 18446744073709551615 230809223594 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31152/statm: 91751 36824 339 106 0 86722 0
[pid=31152/tid=31153] ppid=31150 vsize=367004 CPUtime=0.07 cores=0,2,4,6
/proc/31152/task/31153/stat : 31153 (strangenight2-m) D 31150 31152 31124 0 -1 4202560 11188 0 0 0 6 1 0 0 18 0 4 0 514469315 375812096 36824 33554432000 4194304 4627427 140733345147248 18446744073709551615 4316560 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31152/tid=31154] ppid=31150 vsize=367004 CPUtime=0.06 cores=0,2,4,6
/proc/31152/task/31154/stat : 31154 (strangenight2-m) D 31150 31152 31124 0 -1 4202560 10996 0 0 0 4 2 0 0 17 0 4 0 514469315 375812096 36824 33554432000 4194304 4627427 140733345147248 18446744073709551615 4313569 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31152/tid=31155] ppid=31150 vsize=367004 CPUtime=0.08 cores=0,2,4,6
/proc/31152/task/31155/stat : 31155 (strangenight2-m) R 31150 31152 31124 0 -1 4202560 11718 0 0 0 7 1 0 0 18 0 4 0 514469315 375812096 36824 33554432000 4194304 4627427 140733345147248 18446744073709551615 230808833006 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 367004

[startup+0.301113 s]
/proc/loadavg: 0.00 0.00 0.03 2/172 31152
/proc/meminfo: memFree=11818976/32951124 swapFree=67111528/67111528
[pid=31152] ppid=31150 vsize=484076 CPUtime=0.94 cores=0,2,4,6
/proc/31152/stat : 31152 (strangenight2-m) R 31150 31152 31124 0 -1 4202496 73851 0 0 0 68 26 0 0 18 0 4 0 514469315 495693824 56952 33554432000 4194304 4627427 140733345147248 18446744073709551615 230808821767 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31152/statm: 121019 56954 339 106 0 115990 0
[pid=31152/tid=31153] ppid=31150 vsize=484076 CPUtime=0.21 cores=0,2,4,6
/proc/31152/task/31153/stat : 31153 (strangenight2-m) R 31150 31152 31124 0 -1 4202560 18311 0 0 0 15 6 0 0 18 0 4 0 514469315 495693824 56955 33554432000 4194304 4627427 140733345147248 18446744073709551615 230809270766 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31152/tid=31154] ppid=31150 vsize=484076 CPUtime=0.21 cores=0,2,4,6
/proc/31152/task/31154/stat : 31154 (strangenight2-m) R 31150 31152 31124 0 -1 4202560 18460 0 0 0 15 6 0 0 18 0 4 0 514469315 495693824 56956 33554432000 4194304 4627427 140733345147248 18446744073709551615 230809270766 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31152/tid=31155] ppid=31150 vsize=484076 CPUtime=0.26 cores=0,2,4,6
/proc/31152/task/31155/stat : 31155 (strangenight2-m) R 31150 31152 31124 0 -1 4202560 18016 0 0 0 21 5 0 0 18 0 4 0 514469315 495693824 56957 33554432000 4194304 4627427 140733345147248 18446744073709551615 230809270815 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.94
Current children cumulated vsize (KiB) 484076

[startup+0.701044 s]
/proc/loadavg: 0.00 0.00 0.03 2/172 31152
/proc/meminfo: memFree=11818976/32951124 swapFree=67111528/67111528
[pid=31152] ppid=31150 vsize=510032 CPUtime=2.38 cores=0,2,4,6
/proc/31152/stat : 31152 (strangenight2-m) R 31150 31152 31124 0 -1 4202496 86993 0 0 0 200 38 0 0 18 0 4 0 514469315 522272768 69741 33554432000 4194304 4627427 140733345147248 18446744073709551615 4308135 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31152/statm: 127508 69741 366 106 0 122479 0
[pid=31152/tid=31153] ppid=31150 vsize=510032 CPUtime=0.58 cores=0,2,4,6
/proc/31152/task/31153/stat : 31153 (strangenight2-m) R 31150 31152 31124 0 -1 4202560 21252 0 0 0 48 10 0 0 18 0 4 0 514469315 522272768 69741 33554432000 4194304 4627427 140733345147248 18446744073709551615 4308383 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31152/tid=31154] ppid=31150 vsize=510032 CPUtime=0.56 cores=0,2,4,6
/proc/31152/task/31154/stat : 31154 (strangenight2-m) R 31150 31152 31124 0 -1 4202560 21415 0 0 0 47 9 0 0 18 0 4 0 514469315 522272768 69741 33554432000 4194304 4627427 140733345147248 18446744073709551615 4297720 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31152/tid=31155] ppid=31150 vsize=510032 CPUtime=0.65 cores=0,2,4,6
/proc/31152/task/31155/stat : 31155 (strangenight2-m) R 31150 31152 31124 0 -1 4202560 21953 0 0 0 57 8 0 0 18 0 4 0 514469315 522272768 69741 33554432000 4194304 4627427 140733345147248 18446744073709551615 4309004 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.38
Current children cumulated vsize (KiB) 510032

[startup+1.50083 s]
/proc/loadavg: 0.00 0.00 0.03 5/176 31156
/proc/meminfo: memFree=11528412/32951124 swapFree=67111528/67111528
[pid=31152] ppid=31150 vsize=511188 CPUtime=5.57 cores=0,2,4,6
/proc/31152/stat : 31152 (strangenight2-m) R 31150 31152 31124 0 -1 4202496 90631 0 0 0 518 39 0 0 19 0 4 0 514469315 523456512 73251 33554432000 4194304 4627427 140733345147248 18446744073709551615 4308399 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31152/statm: 127797 73251 368 106 0 122768 0
[pid=31152/tid=31153] ppid=31150 vsize=511188 CPUtime=1.38 cores=0,2,4,6
/proc/31152/task/31153/stat : 31153 (strangenight2-m) R 31150 31152 31124 0 -1 4202560 22197 0 0 0 128 10 0 0 19 0 4 0 514469315 523456512 73251 33554432000 4194304 4627427 140733345147248 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31152/tid=31154] ppid=31150 vsize=511188 CPUtime=1.35 cores=0,2,4,6
/proc/31152/task/31154/stat : 31154 (strangenight2-m) R 31150 31152 31124 0 -1 4202560 22211 0 0 0 126 9 0 0 19 0 4 0 514469315 523456512 73251 33554432000 4194304 4627427 140733345147248 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31152/tid=31155] ppid=31150 vsize=511188 CPUtime=1.44 cores=0,2,4,6
/proc/31152/task/31155/stat : 31155 (strangenight2-m) R 31150 31152 31124 0 -1 4202560 22900 0 0 0 136 8 0 0 19 0 4 0 514469315 523456512 73251 33554432000 4194304 4627427 140733345147248 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.57
Current children cumulated vsize (KiB) 511188

[startup+3.10054 s]
/proc/loadavg: 0.00 0.00 0.03 10/184 31169
/proc/meminfo: memFree=11485188/32951124 swapFree=67111528/67111528
[pid=31152] ppid=31150 vsize=511332 CPUtime=11.97 cores=0,2,4,6
/proc/31152/stat : 31152 (strangenight2-m) R 31150 31152 31124 0 -1 4202496 91443 0 0 0 1157 40 0 0 23 0 4 0 514469315 523603968 74062 33554432000 4194304 4627427 140733345147248 18446744073709551615 4308139 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31152/statm: 127833 74062 368 106 0 122804 0
[pid=31152/tid=31153] ppid=31150 vsize=511332 CPUtime=2.98 cores=0,2,4,6
/proc/31152/task/31153/stat : 31153 (strangenight2-m) R 31150 31152 31124 0 -1 4202560 22228 0 0 0 288 10 0 0 23 0 4 0 514469315 523603968 74062 33554432000 4194304 4627427 140733345147248 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31152/tid=31154] ppid=31150 vsize=511332 CPUtime=2.95 cores=0,2,4,6
/proc/31152/task/31154/stat : 31154 (strangenight2-m) R 31150 31152 31124 0 -1 4202560 22223 0 0 0 286 9 0 0 23 0 4 0 514469315 523603968 74062 33554432000 4194304 4627427 140733345147248 18446744073709551615 4308156 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31152/tid=31155] ppid=31150 vsize=511332 CPUtime=3.04 cores=0,2,4,6
/proc/31152/task/31155/stat : 31155 (strangenight2-m) R 31150 31152 31124 0 -1 4202560 23641 0 0 0 296 8 0 0 22 0 4 0 514469315 523603968 74062 33554432000 4194304 4627427 140733345147248 18446744073709551615 4299706 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 11.97
Current children cumulated vsize (KiB) 511332

[startup+6.30096 s]
/proc/loadavg: 0.72 0.15 0.07 9/184 31169
/proc/meminfo: memFree=11457536/32951124 swapFree=67111528/67111528
[pid=31152] ppid=31150 vsize=610108 CPUtime=24.75 cores=0,2,4,6
/proc/31152/stat : 31152 (strangenight2-m) R 31150 31152 31124 0 -1 4202496 95782 0 0 0 2434 41 0 0 25 0 4 0 514469315 624750592 78401 33554432000 4194304 4627427 140733345147248 18446744073709551615 4308139 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31152/statm: 152527 78401 369 106 0 147498 0
[pid=31152/tid=31153] ppid=31150 vsize=610108 CPUtime=6.18 cores=0,2,4,6
/proc/31152/task/31153/stat : 31153 (strangenight2-m) R 31150 31152 31124 0 -1 4202560 22429 0 0 0 607 11 0 0 25 0 4 0 514469315 624750592 78401 33554432000 4194304 4627427 140733345147248 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31152/tid=31154] ppid=31150 vsize=610108 CPUtime=6.13 cores=0,2,4,6
/proc/31152/task/31154/stat : 31154 (strangenight2-m) R 31150 31152 31124 0 -1 4202560 22554 0 0 0 604 9 0 0 25 0 4 0 514469315 624750592 78401 33554432000 4194304 4627427 140733345147248 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31152/tid=31155] ppid=31150 vsize=610108 CPUtime=6.24 cores=0,2,4,6
/proc/31152/task/31155/stat : 31155 (strangenight2-m) R 31150 31152 31124 0 -1 4202560 27109 0 0 0 615 9 0 0 25 0 4 0 514469315 624750592 78401 33554432000 4194304 4627427 140733345147248 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 24.75
Current children cumulated vsize (KiB) 610108

[startup+12.7008 s]
/proc/loadavg: 1.30 0.28 0.12 9/184 31169
/proc/meminfo: memFree=11400376/32951124 swapFree=67111528/67111528
[pid=31152] ppid=31150 vsize=611044 CPUtime=50.31 cores=0,2,4,6
/proc/31152/stat : 31152 (strangenight2-m) R 31150 31152 31124 0 -1 4202496 99091 0 0 0 4989 42 0 0 25 0 4 0 514469315 625709056 81710 33554432000 4194304 4627427 140733345147248 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31152/statm: 152761 81710 369 106 0 147732 0
[pid=31152/tid=31153] ppid=31150 vsize=611044 CPUtime=12.58 cores=0,2,4,6
/proc/31152/task/31153/stat : 31153 (strangenight2-m) R 31150 31152 31124 0 -1 4202560 22605 0 0 0 1247 11 0 0 25 0 4 0 514469315 625709056 81710 33554432000 4194304 4627427 140733345147248 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31152/tid=31154] ppid=31150 vsize=611044 CPUtime=12.5 cores=0,2,4,6
/proc/31152/task/31154/stat : 31154 (strangenight2-m) R 31150 31152 31124 0 -1 4202560 22707 0 0 0 1241 9 0 0 25 0 4 0 514469315 625709056 81710 33554432000 4194304 4627427 140733345147248 18446744073709551615 4299630 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31152/tid=31155] ppid=31150 vsize=611044 CPUtime=12.64 cores=0,2,4,6
/proc/31152/task/31155/stat : 31155 (strangenight2-m) R 31150 31152 31124 0 -1 4202560 29931 0 0 0 1254 10 0 0 25 0 4 0 514469315 625709056 81710 33554432000 4194304 4627427 140733345147248 18446744073709551615 4321761 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.31
Current children cumulated vsize (KiB) 611044

[startup+25.5004 s]
/proc/loadavg: 2.79 0.66 0.24 9/184 31170
/proc/meminfo: memFree=11276384/32951124 swapFree=67111528/67111528
[pid=31152] ppid=31150 vsize=775060 CPUtime=101.44 cores=0,2,4,6
/proc/31152/stat : 31152 (strangenight2-m) R 31150 31152 31124 0 -1 4202496 157817 0 0 0 10093 51 0 0 25 0 4 0 514469315 793661440 107440 33554432000 4194304 4627427 140733345147248 18446744073709551615 4322497 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31152/statm: 193765 107440 388 106 0 188736 0
[pid=31152/tid=31153] ppid=31150 vsize=775060 CPUtime=25.37 cores=0,2,4,6
/proc/31152/task/31153/stat : 31153 (strangenight2-m) R 31150 31152 31124 0 -1 4202560 31634 0 0 0 2525 12 0 0 25 0 4 0 514469315 793661440 107440 33554432000 4194304 4627427 140733345147248 18446744073709551615 4324759 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31152/tid=31154] ppid=31150 vsize=775060 CPUtime=25.23 cores=0,2,4,6
/proc/31152/task/31154/stat : 31154 (strangenight2-m) R 31150 31152 31124 0 -1 4202560 32232 0 0 0 2512 11 0 0 25 0 4 0 514469315 793661440 107440 33554432000 4194304 4627427 140733345147248 18446744073709551615 4308248 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31152/tid=31155] ppid=31150 vsize=775060 CPUtime=25.44 cores=0,2,4,6
/proc/31152/task/31155/stat : 31155 (strangenight2-m) R 31150 31152 31124 0 -1 4202560 58818 0 0 0 2530 14 0 0 25 0 4 0 514469315 793661440 107440 33554432000 4194304 4627427 140733345147248 18446744073709551615 4309253 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.44
Current children cumulated vsize (KiB) 775060

[startup+51.1008 s]
/proc/loadavg: 4.63 1.26 0.45 9/184 31170
/proc/meminfo: memFree=10814292/32951124 swapFree=67111528/67111528
[pid=31152] ppid=31150 vsize=1237460 CPUtime=203.71 cores=0,2,4,6
/proc/31152/stat : 31152 (strangenight2-m) R 31150 31152 31124 0 -1 4202496 313215 0 0 0 20287 84 0 0 25 0 4 0 514469315 1267159040 222367 33554432000 4194304 4627427 140733345147248 18446744073709551615 4308139 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31152/statm: 309365 222367 391 106 0 304336 0
[pid=31152/tid=31153] ppid=31150 vsize=1237460 CPUtime=50.97 cores=0,2,4,6
/proc/31152/task/31153/stat : 31153 (strangenight2-m) R 31150 31152 31124 0 -1 4202560 76438 0 0 0 5076 21 0 0 25 0 4 0 514469315 1267159040 222367 33554432000 4194304 4627427 140733345147248 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31152/tid=31154] ppid=31150 vsize=1237460 CPUtime=50.71 cores=0,2,4,6
/proc/31152/task/31154/stat : 31154 (strangenight2-m) R 31150 31152 31124 0 -1 4202560 47738 0 0 0 5057 14 0 0 25 0 4 0 514469315 1267159040 222367 33554432000 4194304 4627427 140733345147248 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31152/tid=31155] ppid=31150 vsize=1237460 CPUtime=51.04 cores=0,2,4,6
/proc/31152/task/31155/stat : 31155 (strangenight2-m) R 31150 31152 31124 0 -1 4202560 103242 0 0 0 5080 24 0 0 25 0 4 0 514469315 1267159040 222367 33554432000 4194304 4627427 140733345147248 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 203.71
Current children cumulated vsize (KiB) 1237460

[startup+102.306 s]
/proc/loadavg: 6.62 2.33 0.86 9/184 31172
/proc/meminfo: memFree=10262340/32951124 swapFree=67111528/67111528
[pid=31152] ppid=31150 vsize=1782448 CPUtime=408.28 cores=0,2,4,6
/proc/31152/stat : 31152 (strangenight2-m) R 31150 31152 31124 0 -1 4202496 477058 0 0 0 40707 121 0 0 25 0 4 0 514469315 1825226752 340231 33554432000 4194304 4627427 140733345147248 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31152/statm: 445612 340231 391 106 0 440583 0
[pid=31152/tid=31153] ppid=31150 vsize=1782448 CPUtime=102.17 cores=0,2,4,6
/proc/31152/task/31153/stat : 31153 (strangenight2-m) R 31150 31152 31124 0 -1 4202560 105343 0 0 0 10189 28 0 0 25 0 4 0 514469315 1825226752 340231 33554432000 4194304 4627427 140733345147248 18446744073709551615 4321862 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31152/tid=31154] ppid=31150 vsize=1782448 CPUtime=101.67 cores=0,2,4,6
/proc/31152/task/31154/stat : 31154 (strangenight2-m) R 31150 31152 31124 0 -1 4202560 97877 0 0 0 10141 26 0 0 25 0 4 0 514469315 1825226752 340231 33554432000 4194304 4627427 140733345147248 18446744073709551615 4534712 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31152/tid=31155] ppid=31150 vsize=1782448 CPUtime=102.24 cores=0,2,4,6
/proc/31152/task/31155/stat : 31155 (strangenight2-m) R 31150 31152 31124 0 -1 4202560 169825 0 0 0 10186 38 0 0 25 0 4 0 514469315 1825226752 340231 33554432000 4194304 4627427 140733345147248 18446744073709551615 4308928 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 408.28
Current children cumulated vsize (KiB) 1782448

[startup+162.3 s]

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

[pid=31152] ppid=31150 vsize=2624920 CPUtime=2805.09 cores=0,2,4,6
/proc/31152/stat : 31152 (strangenight2-m) R 31150 31152 31124 0 -1 4202496 1045379 0 0 0 280197 312 0 0 25 0 4 0 514469315 2687918080 492112 33554432000 4194304 4627427 140733345147248 18446744073709551615 4507218 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31152/statm: 656230 492112 391 106 0 651201 0
[pid=31152/tid=31153] ppid=31150 vsize=2624920 CPUtime=702.11 cores=0,2,4,6
/proc/31152/task/31153/stat : 31153 (strangenight2-m) R 31150 31152 31124 0 -1 4202560 240899 0 0 0 70137 74 0 0 25 0 4 0 514469315 2687918080 492112 33554432000 4194304 4627427 140733345147248 18446744073709551615 4309279 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31152/tid=31154] ppid=31150 vsize=2624920 CPUtime=698.52 cores=0,2,4,6
/proc/31152/task/31154/stat : 31154 (strangenight2-m) R 31150 31152 31124 0 -1 4202560 211771 0 0 0 69786 66 0 0 25 0 4 0 514469315 2687918080 492112 33554432000 4194304 4627427 140733345147248 18446744073709551615 4309324 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31152/tid=31155] ppid=31150 vsize=2624920 CPUtime=702.25 cores=0,2,4,6
/proc/31152/task/31155/stat : 31155 (strangenight2-m) R 31150 31152 31124 0 -1 4202560 330624 0 0 0 70130 95 0 0 25 0 4 0 514469315 2687918080 492112 33554432000 4194304 4627427 140733345147248 18446744073709551615 4332090 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2805.09
Current children cumulated vsize (KiB) 2624920

[startup+762.307 s]
/proc/loadavg: 8.08 7.45 4.52 9/184 31189
/proc/meminfo: memFree=9477484/32951124 swapFree=67111528/67111528
[pid=31152] ppid=31150 vsize=2479448 CPUtime=3044.79 cores=0,2,4,6
/proc/31152/stat : 31152 (strangenight2-m) R 31150 31152 31124 0 -1 4202496 1097252 0 0 0 304146 333 0 0 25 0 4 0 514469315 2538954752 482162 33554432000 4194304 4627427 140733345147248 18446744073709551615 4324759 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31152/statm: 619862 482162 391 106 0 614833 0
[pid=31152/tid=31153] ppid=31150 vsize=2479448 CPUtime=762.11 cores=0,2,4,6
/proc/31152/task/31153/stat : 31153 (strangenight2-m) R 31150 31152 31124 0 -1 4202560 254329 0 0 0 76132 79 0 0 25 0 4 0 514469315 2538954752 482162 33554432000 4194304 4627427 140733345147248 18446744073709551615 4515596 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31152/tid=31154] ppid=31150 vsize=2479448 CPUtime=758.21 cores=0,2,4,6
/proc/31152/task/31154/stat : 31154 (strangenight2-m) R 31150 31152 31124 0 -1 4202560 227258 0 0 0 75749 72 0 0 25 0 4 0 514469315 2538954752 482162 33554432000 4194304 4627427 140733345147248 18446744073709551615 4332830 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31152/tid=31155] ppid=31150 vsize=2479448 CPUtime=762.26 cores=0,2,4,6
/proc/31152/task/31155/stat : 31155 (strangenight2-m) R 31150 31152 31124 0 -1 4202560 342366 0 0 0 76126 100 0 0 25 0 4 0 514469315 2538954752 482162 33554432000 4194304 4627427 140733345147248 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3044.79
Current children cumulated vsize (KiB) 2479448

[startup+822.301 s]
/proc/loadavg: 8.08 7.56 4.74 9/184 31191
/proc/meminfo: memFree=9454908/32951124 swapFree=67111528/67111528
[pid=31152] ppid=31150 vsize=2481580 CPUtime=3284.45 cores=0,2,4,6
/proc/31152/stat : 31152 (strangenight2-m) R 31150 31152 31124 0 -1 4202496 1142509 0 0 0 328096 349 0 0 25 0 4 0 514469315 2541137920 485366 33554432000 4194304 4627427 140733345147248 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31152/statm: 620395 485366 391 106 0 615366 0
[pid=31152/tid=31153] ppid=31150 vsize=2481580 CPUtime=822.1 cores=0,2,4,6
/proc/31152/task/31153/stat : 31153 (strangenight2-m) R 31150 31152 31124 0 -1 4202560 264837 0 0 0 82127 83 0 0 25 0 4 0 514469315 2541137920 485366 33554432000 4194304 4627427 140733345147248 18446744073709551615 4309253 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31152/tid=31154] ppid=31150 vsize=2481580 CPUtime=817.9 cores=0,2,4,6
/proc/31152/task/31154/stat : 31154 (strangenight2-m) R 31150 31152 31124 0 -1 4202560 236619 0 0 0 81715 75 0 0 25 0 4 0 514469315 2541137920 485366 33554432000 4194304 4627427 140733345147248 18446744073709551615 4308419 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31152/tid=31155] ppid=31150 vsize=2481580 CPUtime=822.26 cores=0,2,4,6
/proc/31152/task/31155/stat : 31155 (strangenight2-m) R 31150 31152 31124 0 -1 4202560 357195 0 0 0 82120 106 0 0 25 0 4 0 514469315 2541137920 485366 33554432000 4194304 4627427 140733345147248 18446744073709551615 4321739 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3284.45
Current children cumulated vsize (KiB) 2481580

[startup+882.301 s]
/proc/loadavg: 8.19 7.69 4.96 9/184 31193
/proc/meminfo: memFree=9459728/32951124 swapFree=67111528/67111528
[pid=31152] ppid=31150 vsize=2418736 CPUtime=3524.13 cores=0,2,4,6
/proc/31152/stat : 31152 (strangenight2-m) R 31150 31152 31124 0 -1 4202496 1188092 0 0 0 352049 364 0 0 25 0 4 0 514469315 2476785664 484765 33554432000 4194304 4627427 140733345147248 18446744073709551615 4309360 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31152/statm: 604684 484765 391 106 0 599655 0
[pid=31152/tid=31153] ppid=31150 vsize=2418736 CPUtime=882.09 cores=0,2,4,6
/proc/31152/task/31153/stat : 31153 (strangenight2-m) R 31150 31152 31124 0 -1 4202560 275822 0 0 0 88122 87 0 0 25 0 4 0 514469315 2476785664 484765 33554432000 4194304 4627427 140733345147248 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31152/tid=31154] ppid=31150 vsize=2418736 CPUtime=877.57 cores=0,2,4,6
/proc/31152/task/31154/stat : 31154 (strangenight2-m) R 31150 31152 31124 0 -1 4202560 249604 0 0 0 87679 78 0 0 25 0 4 0 514469315 2476785664 484765 33554432000 4194304 4627427 140733345147248 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31152/tid=31155] ppid=31150 vsize=2418736 CPUtime=882.26 cores=0,2,4,6
/proc/31152/task/31155/stat : 31155 (strangenight2-m) R 31150 31152 31124 0 -1 4202560 366914 0 0 0 88116 110 0 0 25 0 4 0 514469315 2476785664 484765 33554432000 4194304 4627427 140733345147248 18446744073709551615 4328310 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3524.13
Current children cumulated vsize (KiB) 2418736

[startup+942.301 s]
/proc/loadavg: 8.14 7.76 5.15 9/184 31194
/proc/meminfo: memFree=9384072/32951124 swapFree=67111528/67111528
[pid=31152] ppid=31150 vsize=2486072 CPUtime=3763.82 cores=0,2,4,6
/proc/31152/stat : 31152 (strangenight2-m) R 31150 31152 31124 0 -1 4202496 1241967 0 0 0 376000 382 0 0 25 0 4 0 514469315 2545737728 492090 33554432000 4194304 4627427 140733345147248 18446744073709551615 4309142 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31152/statm: 621518 492090 391 106 0 616489 0
[pid=31152/tid=31153] ppid=31150 vsize=2486072 CPUtime=942.09 cores=0,2,4,6
/proc/31152/task/31153/stat : 31153 (strangenight2-m) R 31150 31152 31124 0 -1 4202560 292683 0 0 0 94116 93 0 0 25 0 4 0 514469315 2545737728 492090 33554432000 4194304 4627427 140733345147248 18446744073709551615 4308912 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31152/tid=31154] ppid=31150 vsize=2486072 CPUtime=937.26 cores=0,2,4,6
/proc/31152/task/31154/stat : 31154 (strangenight2-m) R 31150 31152 31124 0 -1 4202560 264150 0 0 0 93644 82 0 0 25 0 4 0 514469315 2545737728 492090 33554432000 4194304 4627427 140733345147248 18446744073709551615 4330946 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31152/tid=31155] ppid=31150 vsize=2486072 CPUtime=942.26 cores=0,2,4,6
/proc/31152/task/31155/stat : 31155 (strangenight2-m) R 31150 31152 31124 0 -1 4202560 380139 0 0 0 94112 114 0 0 25 0 4 0 514469315 2545737728 492090 33554432000 4194304 4627427 140733345147248 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3763.82
Current children cumulated vsize (KiB) 2486072

[startup+1002.3 s]
/proc/loadavg: 8.18 7.83 5.34 9/184 31196
/proc/meminfo: memFree=9320076/32951124 swapFree=67111528/67111528
[pid=31152] ppid=31150 vsize=2566868 CPUtime=4003.5 cores=0,2,4,6
/proc/31152/stat : 31152 (strangenight2-m) R 31150 31152 31124 0 -1 4202496 1293956 0 0 0 399951 399 0 0 25 0 4 0 514469315 2628472832 516172 33554432000 4194304 4627427 140733345147248 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31152/statm: 641717 516172 391 106 0 636688 0
[pid=31152/tid=31153] ppid=31150 vsize=2566868 CPUtime=1002.09 cores=0,2,4,6
/proc/31152/task/31153/stat : 31153 (strangenight2-m) R 31150 31152 31124 0 -1 4202560 305274 0 0 0 100112 97 0 0 25 0 4 0 514469315 2628472832 516172 33554432000 4194304 4627427 140733345147248 18446744073709551615 4330946 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31152/tid=31154] ppid=31150 vsize=2566868 CPUtime=996.95 cores=0,2,4,6
/proc/31152/task/31154/stat : 31154 (strangenight2-m) R 31150 31152 31124 0 -1 4202560 278073 0 0 0 99608 87 0 0 25 0 4 0 514469315 2628472832 516172 33554432000 4194304 4627427 140733345147248 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31152/tid=31155] ppid=31150 vsize=2566868 CPUtime=1002.26 cores=0,2,4,6
/proc/31152/task/31155/stat : 31155 (strangenight2-m) R 31150 31152 31124 0 -1 4202560 387376 0 0 0 100109 117 0 0 25 0 4 0 514469315 2628472832 516172 33554432000 4194304 4627427 140733345147248 18446744073709551615 4310565 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4003.5
Current children cumulated vsize (KiB) 2566868

[startup+1062.3 s]
/proc/loadavg: 8.20 7.90 5.52 9/184 31197
/proc/meminfo: memFree=9325384/32951124 swapFree=67111528/67111528
[pid=31152] ppid=31150 vsize=2604132 CPUtime=4243.19 cores=0,2,4,6
/proc/31152/stat : 31152 (strangenight2-m) R 31150 31152 31124 0 -1 4202496 1330844 0 0 0 423904 415 0 0 25 0 4 0 514469315 2666631168 511910 33554432000 4194304 4627427 140733345147248 18446744073709551615 4309242 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31152/statm: 651033 511910 393 106 0 646004 0
[pid=31152/tid=31153] ppid=31150 vsize=2604132 CPUtime=1062.08 cores=0,2,4,6
/proc/31152/task/31153/stat : 31153 (strangenight2-m) R 31150 31152 31124 0 -1 4202560 316836 0 0 0 106106 102 0 0 25 0 4 0 514469315 2666631168 511910 33554432000 4194304 4627427 140733345147248 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31152/tid=31154] ppid=31150 vsize=2604132 CPUtime=1056.63 cores=0,2,4,6
/proc/31152/task/31154/stat : 31154 (strangenight2-m) R 31150 31152 31124 0 -1 4202560 288978 0 0 0 105571 92 0 0 25 0 4 0 514469315 2666631168 511910 33554432000 4194304 4627427 140733345147248 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31152/tid=31155] ppid=31150 vsize=2604132 CPUtime=1062.27 cores=0,2,4,6
/proc/31152/task/31155/stat : 31155 (strangenight2-m) R 31150 31152 31124 0 -1 4202560 393785 0 0 0 106106 121 0 0 25 0 4 0 514469315 2666631168 511910 33554432000 4194304 4627427 140733345147248 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4243.19
Current children cumulated vsize (KiB) 2604132

[startup+1122.3 s]
/proc/loadavg: 8.16 7.95 5.68 9/184 31199
/proc/meminfo: memFree=9238568/32951124 swapFree=67111528/67111528
[pid=31152] ppid=31150 vsize=2655332 CPUtime=4482.88 cores=0,2,4,6
/proc/31152/stat : 31152 (strangenight2-m) R 31150 31152 31124 0 -1 4202496 1380407 0 0 0 447856 432 0 0 25 0 4 0 514469315 2719059968 538047 33554432000 4194304 4627427 140733345147248 18446744073709551615 4308135 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31152/statm: 663833 538047 393 106 0 658804 0
[pid=31152/tid=31153] ppid=31150 vsize=2655332 CPUtime=1122.07 cores=0,2,4,6
/proc/31152/task/31153/stat : 31153 (strangenight2-m) R 31150 31152 31124 0 -1 4202560 331054 0 0 0 112101 106 0 0 25 0 4 0 514469315 2719059968 538047 33554432000 4194304 4627427 140733345147248 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31152/tid=31154] ppid=31150 vsize=2655332 CPUtime=1116.32 cores=0,2,4,6
/proc/31152/task/31154/stat : 31154 (strangenight2-m) R 31150 31152 31124 0 -1 4202560 303320 0 0 0 111536 96 0 0 25 0 4 0 514469315 2719059968 538047 33554432000 4194304 4627427 140733345147248 18446744073709551615 4310565 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31152/tid=31155] ppid=31150 vsize=2655332 CPUtime=1122.27 cores=0,2,4,6
/proc/31152/task/31155/stat : 31155 (strangenight2-m) R 31150 31152 31124 0 -1 4202560 400220 0 0 0 112103 124 0 0 25 0 4 0 514469315 2719059968 538047 33554432000 4194304 4627427 140733345147248 18446744073709551615 4308256 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4482.88
Current children cumulated vsize (KiB) 2655332

[startup+1182.3 s]
/proc/loadavg: 8.18 8.00 5.84 9/184 31201
/proc/meminfo: memFree=9313456/32951124 swapFree=67111528/67111528
[pid=31152] ppid=31150 vsize=2662496 CPUtime=4722.56 cores=0,2,4,6
/proc/31152/stat : 31152 (strangenight2-m) R 31150 31152 31124 0 -1 4202496 1414594 0 0 0 471809 447 0 0 25 0 4 0 514469315 2726395904 514651 33554432000 4194304 4627427 140733345147248 18446744073709551615 4309360 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31152/statm: 665624 514651 393 106 0 660595 0
[pid=31152/tid=31153] ppid=31150 vsize=2662496 CPUtime=1182.08 cores=0,2,4,6
/proc/31152/task/31153/stat : 31153 (strangenight2-m) R 31150 31152 31124 0 -1 4202560 338813 0 0 0 118098 110 0 0 25 0 4 0 514469315 2726395904 514651 33554432000 4194304 4627427 140733345147248 18446744073709551615 4309082 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31152/tid=31154] ppid=31150 vsize=2662496 CPUtime=1176 cores=0,2,4,6
/proc/31152/task/31154/stat : 31154 (strangenight2-m) R 31150 31152 31124 0 -1 4202560 312989 0 0 0 117500 100 0 0 25 0 4 0 514469315 2726395904 514651 33554432000 4194304 4627427 140733345147248 18446744073709551615 4321739 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31152/tid=31155] ppid=31150 vsize=2662496 CPUtime=1182.27 cores=0,2,4,6
/proc/31152/task/31155/stat : 31155 (strangenight2-m) R 31150 31152 31124 0 -1 4202560 409720 0 0 0 118099 128 0 0 25 0 4 0 514469315 2726395904 514651 33554432000 4194304 4627427 140733345147248 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4722.56
Current children cumulated vsize (KiB) 2662496



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.20 8.01 5.89 9/184 31201
/proc/meminfo: memFree=9307004/32951124 swapFree=67111528/67111528
[pid=31152] ppid=31150 vsize=2685904 CPUtime=4800.07 cores=0,2,4,6
/proc/31152/stat : 31152 (strangenight2-m) R 31150 31152 31124 0 -1 4202496 1430362 0 0 0 479554 453 0 0 25 0 4 0 514469315 2750365696 519078 33554432000 4194304 4627427 140733345147248 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31152/statm: 671476 519078 393 106 0 666447 0
[pid=31152/tid=31153] ppid=31150 vsize=2685904 CPUtime=1201.47 cores=0,2,4,6
/proc/31152/task/31153/stat : 31153 (strangenight2-m) R 31150 31152 31124 0 -1 4202560 339985 0 0 0 120037 110 0 0 25 0 4 0 514469315 2750365696 519078 33554432000 4194304 4627427 140733345147248 18446744073709551615 4324663 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31152/tid=31154] ppid=31150 vsize=2685904 CPUtime=1195.3 cores=0,2,4,6
/proc/31152/task/31154/stat : 31154 (strangenight2-m) R 31150 31152 31124 0 -1 4202560 316460 0 0 0 119428 102 0 0 25 0 4 0 514469315 2750365696 519078 33554432000 4194304 4627427 140733345147248 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31152/tid=31155] ppid=31150 vsize=2685904 CPUtime=1201.67 cores=0,2,4,6
/proc/31152/task/31155/stat : 31155 (strangenight2-m) R 31150 31152 31124 0 -1 4202560 414735 0 0 0 120038 129 0 0 25 0 4 0 514469315 2750365696 519078 33554432000 4194304 4627427 140733345147248 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.07
Current children cumulated vsize (KiB) 2685904

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

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

[startup+1201.7 s]
/proc/loadavg: 8.20 8.01 5.89 9/184 31201
/proc/meminfo: memFree=9307004/32951124 swapFree=67111528/67111528
[pid=31152] ppid=31150 vsize=2685904 CPUtime=4800.07 cores=0,2,4,6
/proc/31152/stat : 31152 (strangenight2-m) R 31150 31152 31124 0 -1 4202496 1430362 0 0 0 479554 453 0 0 25 0 4 0 514469315 2750365696 519078 33554432000 4194304 4627427 140733345147248 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31152/statm: 671476 519078 393 106 0 666447 0
[pid=31152/tid=31153] ppid=31150 vsize=2685904 CPUtime=1201.47 cores=0,2,4,6
/proc/31152/task/31153/stat : 31153 (strangenight2-m) R 31150 31152 31124 0 -1 4202560 339985 0 0 0 120037 110 0 0 25 0 4 0 514469315 2750365696 519078 33554432000 4194304 4627427 140733345147248 18446744073709551615 4324663 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31152/tid=31154] ppid=31150 vsize=2685904 CPUtime=1195.3 cores=0,2,4,6
/proc/31152/task/31154/stat : 31154 (strangenight2-m) R 31150 31152 31124 0 -1 4202560 316460 0 0 0 119428 102 0 0 25 0 4 0 514469315 2750365696 519078 33554432000 4194304 4627427 140733345147248 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31152/tid=31155] ppid=31150 vsize=2685904 CPUtime=1201.67 cores=0,2,4,6
/proc/31152/task/31155/stat : 31155 (strangenight2-m) R 31150 31152 31124 0 -1 4202560 414735 0 0 0 120038 129 0 0 25 0 4 0 514469315 2750365696 519078 33554432000 4194304 4627427 140733345147248 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.07
Current children cumulated vsize (KiB) 2685904

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.8
CPU time (s): 4800.19
CPU user time (s): 4795.57
CPU system time (s): 4.6213
CPU usage (%): 399.415
Max. virtual memory (cumulated for all children) (KiB): 2767272

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4795.57
system time used= 4.6213
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1430363
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= 26498
involuntary context switches= 35478

runsolver used 1.85072 second user time and 4.47432 second system time

The end

Launcher Data 

Begin job on node104 at 2011-04-29 00:11:29
IDJOB=3280364
IDBENCH=20386
IDSOLVER=1586
FILE ID=node104/3280364-1304028688
RUNJOBID= node104-1304028687-31142
PBS_JOBID= 13170348
Free space on /tmp= 71536 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
BENCH NAME= SAT07/industrial/anbulagan/hard-unsat/partial-5-11-u.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3280364-1304028688/watcher-3280364-1304028688 -o /tmp/evaluation-result-3280364-1304028688/solver-3280364-1304028688 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3280364-1304028688.cnf

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

MD5SUM BENCH= 8e22d84b1ae625d44fbf300a32374a2d
RANDOM SEED=1500208038

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      11819256 kB
Buffers:       2308004 kB
Cached:       18169952 kB
SwapCached:          0 kB
Active:       11376096 kB
Inactive:      9166320 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      11819256 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           18500 kB
Writeback:           0 kB
AnonPages:       63384 kB
Mapped:          14420 kB
Slab:           525580 kB
PageTables:       4464 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   187108 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= 71524 MiB
End job on node104 at 2011-04-29 00:31:32