Trace number 3282480

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-2-mtUNSAT 2091.95 524.75

General information on the benchmark

NameAPPLICATIONS/
bitverif/maxxor/maxxor064.cnf
MD5SUM902b28046d424b16042ca612ddad48e0
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark788.78
Satisfiable
(Un)Satisfiability was proved
Number of variables51064
Number of clauses152039
Sum of the clauses size354755
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 2101358
Number of clauses of size 350679
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

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-3282480-1304028700.cnf'
0.00/0.00	c -- header says num vars:          51064
0.00/0.00	c -- header says num clauses:      152039
3.45/0.98	c -- clauses added:            0 learnts,       152039 normals,            0 xors
3.45/0.98	c -- vars added      51064
3.45/0.98	c Parsing time:  0.04 s
3.45/0.98	c  N st     0         0     51064     50679    101358         0    354753         0   no data   no data
5.04/1.33	c asymm  cl-useful: 0/6338/50662 lits-rem:0 time: 1.21
57.75/14.55	c Flit:     6 Blit:    123 bXBeca:    0 bXProp:  125 Bins:      0 BRemL:      0 BRemN:      0 P: 200.0M T: 13.06
57.75/14.55	c Cleaning up after failed var search:     0.00 s 
57.75/14.57	c Replacing      125 vars Replaced     2382 lits Time:     0.02 s 
57.75/14.58	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
57.75/14.59	c bin-w-bin subsume rem            0 bins  time:  0.01 s
58.15/14.61	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
60.55/15.29	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  50792 time:  0.68 s
61.37/15.45	c Removed useless bin:      58  fixed:     0  props:  20.00M  time:  0.16 s
62.52/15.74	c lits-rem:         0  cl-subs:      396  v-elim:  16930  v-fix:    0  time:  0.25 s
63.72/16.09	c Finding binary XORs  T:     0.35 s  found:       0
64.12/16.11	c Finding non-binary XORs:     0.01 s (found:    2023, avg size: 3.0)
64.12/16.11	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
64.52/16.20	c calculated reachability. Time: 0.08
64.52/16.20	c Calc default polars -  time:   0.00 s pos:     638 undec:   20518 neg:   29908
64.52/16.20	c =========================================================================================
64.52/16.20	c types(t): F = full restart, N = normal restart
64.52/16.20	c types(t): S = simplification begin/end, E = solution found
64.52/16.20	c restart types(rt): st = static, dy = dynamic
64.52/16.20	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
64.52/16.20	c  B st     0         0     33862     45402     62791         0    293139         0   no data   no data
70.91/17.85	c  N dy     9      4998     33861     45402     62867      4871    293139    301362     15.25     16.10
75.71/19.06	c  N dy    17      9115     33860     45402     65011      4699    293139    103398     13.21     13.98
80.90/20.30	c Finding binary XORs  T:     0.21 s  found:     336
82.50/20.70	c  N dy    27     13893     33859     45396     65670      9251    293115    261962     11.95     12.87
87.30/21.94	c  N dy    47     17963     33859     45396     65780      6636    293115     68963     12.77     18.81
93.28/23.41	c  N dy    62     21971     33856     45396     66283     10455    293115    263178     13.18     14.17
96.90/24.34	c  F st    78     25000     33856     45396     66573     13370    293115    389746     13.54     11.02
96.90/24.36	c Replacing      336 vars Replaced     7939 lits Time:     0.02 s 
98.87/24.80	c  N st    81     26188     33519     44588     65963     14293    290668    453995     13.54   no data
102.87/25.87	c Decided on static restart strategy
102.87/25.87	c  S st    84     30001     33519     44588     65997      9894    290668    168355     13.54   no data
104.06/26.14	c  S st    84     30503     33519     44588     66048     10344    290668    186156     13.54   no data
104.06/26.15	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
152.00/38.10	c Flit:     0 Blit:      1 bXBeca:    0 bXProp:  269 Bins:  15418 BRemL:     20 BRemN:      0 P: 181.8M T: 11.93
152.00/38.12	c Replacing      269 vars Replaced     9517 lits Time:     0.02 s 
152.00/38.14	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
152.00/38.15	c bin-w-bin subsume rem          358 bins  time:  0.01 s
152.00/38.17	c subs with bin:      892  lits-rem:       230  v-fix:    0  time:  0.02 s
153.20/38.44	c Subs w/ non-existent bins:    316 l-rem:   1203 v-fix:     0 done:  33249 time:  0.28 s
153.62/38.51	c Removed useless bin:      74  fixed:     0  props:   5.40M  time:  0.06 s
154.40/38.73	c lits-rem:        80  cl-subs:      419  v-elim:  14176  v-fix:    0  time:  0.22 s
154.40/38.75	c subs with bin:      369  lits-rem:        74  v-fix:    0  time:  0.01 s
154.40/38.78	c lits-rem:        10  cl-subs:       40  v-elim:      0  v-fix:    0  time:  0.02 s
158.01/39.67	c asymm  cl-useful: 884/8868/50251 lits-rem:884 time: 0.89
158.42/39.71	c calculated reachability. Time: 0.04
158.42/39.71	c  N st    84     30503     19073     50251     32649      4918    263577     37288     13.54   no data
158.79/39.85	c Finding binary XORs  T:     0.14 s  found:       0
165.59/41.51	c  N st    86     37614     19072     50251     33216     11691    263577    428155     13.54   no data
173.17/43.41	c  N st    87     44013     19072     50251     33302     14658    263577    577099     13.54   no data
173.58/43.51	c Finding binary XORs  T:     0.08 s  found:     352
173.58/43.53	c Replacing      352 vars Replaced    15297 lits Time:     0.02 s 
175.17/43.95	c  S st    88     45754     18718     49474     39074     15624    260816    637107     13.54   no data
176.37/44.20	c  S st    88     46258     18718     49474     39166     16032    260816    643315     13.54   no data
176.37/44.21	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
199.93/50.11	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   27 Bins:   5387 BRemL:      4 BRemN:      0 P: 73.4M T:  5.90
199.93/50.12	c Replacing       27 vars Replaced     1042 lits Time:     0.01 s 
199.93/50.14	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
199.93/50.14	c bin-w-bin subsume rem         1308 bins  time:  0.01 s
199.93/50.16	c subs with bin:      995  lits-rem:       345  v-fix:    0  time:  0.02 s
200.33/50.22	c Subs w/ non-existent bins:    314 l-rem:    526 v-fix:     0 done:  18691 time:  0.05 s
200.33/50.23	c Removed useless bin:      75  fixed:     0  props:   0.94M  time:  0.02 s
200.73/50.30	c lits-rem:         0  cl-subs:        0  v-elim:    206  v-fix:    0  time:  0.06 s
200.73/50.37	c subs with bin:      339  lits-rem:      2534  v-fix:    0  time:  0.06 s
201.53/50.55	c lits-rem:       790  cl-subs:      819  v-elim:      0  v-fix:    0  time:  0.17 s
201.95/50.62	c vivif2 --  cl tried    48476 cl shrink      175 lits rem        175 time: 0.07
202.36/50.72	c vivif2 --  cl tried    12014 cl shrink     3598 lits rem      27124 time: 0.10
203.93/51.19	c asymm  cl-useful: 0/1823/48475 lits-rem:0 time: 0.47
204.33/51.23	c calculated reachability. Time: 0.03
204.33/51.23	c  N st    88     46258     18485     48475     42506     12003    261996    331099     13.54   no data
204.73/51.31	c Finding binary XORs  T:     0.08 s  found:       6
219.11/54.98	c  N st    89     60656     18482     48475     43781     19996    261994   1126426     13.54   no data
230.30/57.77	c  N st    90     69387     18481     48475     43809     19481    261994    915407     13.54   no data
230.30/57.77	c  S st    90     69387     18481     48475     43809     19481    261994    915407     13.54   no data
230.70/57.86	c Finding binary XORs  T:     0.08 s  found:     311
230.70/57.88	c Replacing      317 vars Replaced    10265 lits Time:     0.02 s 
231.50/58.07	c  S st    90     69890     18164     47960     43282     19503    259890    933719     13.54   no data
231.50/58.08	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
257.46/64.56	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bins:   6486 BRemL:   2136 BRemN:      0 P: 79.5M T:  6.48
257.46/64.58	c Replacing        1 vars Replaced       54 lits Time:     0.01 s 
257.46/64.59	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
257.86/64.60	c bin-w-bin subsume rem          433 bins  time:  0.01 s
257.86/64.62	c subs with bin:      362  lits-rem:         5  v-fix:    0  time:  0.02 s
257.86/64.68	c Subs w/ non-existent bins:      1 l-rem:      0 v-fix:     0 done:  18163 time:  0.06 s
257.86/64.70	c Removed useless bin:       0  fixed:     0  props:   0.88M  time:  0.02 s
258.26/64.76	c lits-rem:         0  cl-subs:        2  v-elim:     24  v-fix:    0  time:  0.06 s
259.48/65.00	c subs with bin:      179  lits-rem:      2844  v-fix:    0  time:  0.21 s
263.47/66.03	c lits-rem:      2269  cl-subs:     1228  v-elim:      0  v-fix:    0  time:  1.02 s
263.88/66.10	c vivif2 --  cl tried    47589 cl shrink       58 lits rem         58 time: 0.07
264.25/66.26	c vivif2 --  cl tried    17962 cl shrink     6168 lits rem      63301 time: 0.15
266.25/66.78	c asymm  cl-useful: 1/1286/47585 lits-rem:3 time: 0.52
266.65/66.81	c calculated reachability. Time: 0.03
266.65/66.81	c  N st    90     69890     18139     47584     47040     17962    259070    786265     13.54   no data
267.05/66.90	c Finding binary XORs  T:     0.09 s  found:       0
287.82/72.14	c Finding binary XORs  T:     0.09 s  found:     338
287.82/72.17	c Replacing      338 vars Replaced    12776 lits Time:     0.03 s 
291.42/73.06	c  F st    91     87500     17797     46967     52683     23144    256669   1045119     13.54   no data
291.42/73.10	c  N st    91     87500     17797     46967     52683     23144    256669   1045119     13.54   no data
297.81/74.60	c  N dy    98     93511     17797     46967     55577     28996    256669   1356286     13.45     14.25
304.20/76.29	c  N dy   118    100053     17795     46967     55681     18483    256669    370940     13.23     13.93
305.40/76.57	c Finding binary XORs  T:     0.09 s  found:      84
309.79/77.65	c  S st   134    104835     17795     46955     55692     23182    256631    729902     13.12      9.36
310.58/77.86	c  S st   134    105339     17795     46955     55728     23645    256631    743900     13.12   no data
310.58/77.87	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
338.17/84.78	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    6 Bins:   5299 BRemL:   3903 BRemN:      0 P: 79.2M T:  6.91
338.57/84.80	c Replacing       90 vars Replaced     2757 lits Time:     0.02 s 
338.57/84.82	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
338.57/84.83	c bin-w-bin subsume rem         1049 bins  time:  0.01 s
338.57/84.85	c subs with bin:      642  lits-rem:        10  v-fix:    0  time:  0.02 s
338.95/84.92	c Subs w/ non-existent bins:      1 l-rem:      0 v-fix:     0 done:  17705 time:  0.07 s
338.95/84.93	c Removed useless bin:       1  fixed:     0  props:   0.77M  time:  0.02 s
338.95/84.99	c lits-rem:         0  cl-subs:        1  v-elim:     12  v-fix:    0  time:  0.06 s
340.15/85.20	c subs with bin:      322  lits-rem:      1580  v-fix:    0  time:  0.18 s
341.35/85.50	c lits-rem:      2465  cl-subs:     1164  v-elim:      0  v-fix:    0  time:  0.28 s
341.35/85.58	c vivif2 --  cl tried    46130 cl shrink       44 lits rem         44 time: 0.08
341.75/85.67	c vivif2 --  cl tried    21755 cl shrink     3521 lits rem      59318 time: 0.09
343.74/86.20	c asymm  cl-useful: 0/1447/46130 lits-rem:0 time: 0.52
344.14/86.23	c calculated reachability. Time: 0.03
344.14/86.23	c  N dy   134    105339     17693     46130     54206     21749    254716    586504     13.12   no data
349.33/87.51	c Finding binary XORs  T:     0.09 s  found:       2
354.53/88.89	c  N dy   145    113456     17689     46130     57996     29729    254715   1137816     12.54     13.63
362.92/90.93	c Finding binary XORs  T:     0.09 s  found:     141
364.12/91.27	c  N dy   156    121176     17687     46083     58137     21033    254537    543684     12.14     13.24
372.50/93.36	c  N dy   173    129295     17686     46083     58232     29030    254537    991958     11.84     12.91
385.28/96.52	c  N dy   207    139808     17685     46083     58472     22603    254537    561490     11.77     12.58
398.46/99.88	c  N dy   264    149541     17684     46083     58940     32138    254536   1207966     11.91     12.72
408.06/102.22	c  S st   306    158010     17683     46083     59272     23074    254536    433565     11.98   no data
408.47/102.38	c  S st   306    158513     17683     46083     59477     23569    254536    461420     11.98   no data
408.47/102.39	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
439.23/110.10	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:  448 Bins:   1578 BRemL:   2627 BRemN:      0 P: 86.1M T:  7.71
439.63/110.13	c Replacing      591 vars Replaced    23315 lits Time:     0.03 s 
439.63/110.15	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
439.63/110.16	c bin-w-bin subsume rem          918 bins  time:  0.01 s
439.63/110.18	c subs with bin:      486  lits-rem:        20  v-fix:    0  time:  0.02 s
440.01/110.26	c Subs w/ non-existent bins:      4 l-rem:      0 v-fix:     0 done:  17092 time:  0.08 s
440.01/110.28	c Removed useless bin:       3  fixed:     0  props:   0.74M  time:  0.02 s
440.41/110.34	c lits-rem:         0  cl-subs:       12  v-elim:     20  v-fix:    0  time:  0.06 s
440.81/110.46	c subs with bin:      418  lits-rem:      1478  v-fix:    0  time:  0.11 s
441.21/110.56	c lits-rem:       648  cl-subs:      503  v-elim:      0  v-fix:    0  time:  0.09 s
441.61/110.65	c vivif2 --  cl tried    44512 cl shrink        0 lits rem          0 time: 0.08
442.01/110.72	c vivif2 --  cl tried    21015 cl shrink     3070 lits rem      31402 time: 0.07
444.03/111.27	c asymm  cl-useful: 2/1302/44512 lits-rem:6 time: 0.56
444.41/111.31	c calculated reachability. Time: 0.03
444.41/111.31	c  N dy   306    158513     17072     44510     53365     21010    249443    360970     11.98   no data
444.80/111.41	c Finding binary XORs  T:     0.10 s  found:       3
459.58/115.13	c  N dy   326    170556     17063     44510     54113     32853    249443   1444333     11.70     12.49
472.37/118.33	c  N dy   345    181554     17061     44510     54345     26225    249443    866413     11.48     12.19
487.97/122.24	c  N dy   398    193851     17061     44510     54498     19519    249443    266975     11.42     12.29
488.34/122.35	c Finding binary XORs  T:     0.10 s  found:     350
488.34/122.37	c Replacing      353 vars Replaced    10943 lits Time:     0.02 s 
502.32/125.83	c  N dy   435    206323     16705     43856     55386     31084    246820   1119276     11.28     12.03
514.70/128.94	c Finding binary XORs  T:     0.10 s  found:     171
514.70/128.96	c Replacing      171 vars Replaced     7484 lits Time:     0.02 s 
517.91/129.72	c  N dy   491    220894     16533     43525     55243     25825    245595    546152     11.22     11.87
535.08/134.07	c  N dy   571    235013     16531     43525     55489     39638    245594   1327699     11.26     13.59
539.08/135.02	c  S st   585    237769     16531     43525     55492     22158    245594    314689     11.27     10.14
539.88/135.23	c  S st   585    238270     16531     43525     55514     22633    245594    330193     11.27   no data
539.88/135.24	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
567.83/142.29	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   49 Bins:    622 BRemL:   1333 BRemN:      0 P: 79.9M T:  7.05
568.23/142.32	c Replacing       49 vars Replaced     2669 lits Time:     0.02 s 
568.23/142.33	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
568.23/142.34	c bin-w-bin subsume rem          883 bins  time:  0.01 s
568.23/142.36	c subs with bin:      305  lits-rem:        18  v-fix:    0  time:  0.02 s
568.63/142.43	c Subs w/ non-existent bins:      8 l-rem:      9 v-fix:     0 done:  16482 time:  0.07 s
568.63/142.45	c Removed useless bin:       2  fixed:     0  props:   0.70M  time:  0.02 s
569.04/142.51	c lits-rem:         0  cl-subs:       20  v-elim:     17  v-fix:    0  time:  0.06 s
569.04/142.58	c subs with bin:      302  lits-rem:      1498  v-fix:    0  time:  0.05 s
569.44/142.65	c lits-rem:       560  cl-subs:      581  v-elim:      0  v-fix:    0  time:  0.06 s
569.84/142.73	c vivif2 --  cl tried    43106 cl shrink        5 lits rem          5 time: 0.08
569.84/142.78	c vivif2 --  cl tried    21486 cl shrink     1700 lits rem      11141 time: 0.05
572.23/143.34	c asymm  cl-useful: 3/1659/43106 lits-rem:9 time: 0.55
572.23/143.38	c calculated reachability. Time: 0.03
572.23/143.38	c  N dy   585    238270     16465     43103     53794     21476    244569    298062     11.27   no data
576.63/144.47	c Finding binary XORs  T:     0.10 s  found:     113
593.42/148.70	c  N dy   675    253543     16460     43093     61457     36114    244531   1279100     11.34     24.88
613.78/153.71	c  N dy   760    269963     16455     43093     61703     31878    244529    663648     11.36     12.08
624.56/156.40	c Finding binary XORs  T:     0.10 s  found:     208
624.56/156.44	c Replacing      321 vars Replaced    17977 lits Time:     0.03 s 
634.95/159.09	c  N dy   879    287452     16131     42531     61245     28101    242241    384814     11.49     12.14
656.92/164.54	c  N dy   988    305865     16130     42531     61691     46291    242241   1329529     11.58     12.85
657.32/164.66	c  F st   992    306250     16130     42531     61691     46675    242241   1348005     11.59   no data
677.69/169.71	c Finding binary XORs  T:     0.10 s  found:     240
677.69/169.73	c Replacing      240 vars Replaced    10683 lits Time:     0.02 s 
679.29/170.13	c  N dy  1087    325464     15890     42101     61514     43052    240659   1005785     11.66     12.31
704.85/176.50	c  N dy  1209    345547     15889     42101     62001     39585    240659    744874     11.82     12.44
718.44/179.97	c  S st  1269    357405     15889     42101     62096     51275    240659   1330986     11.86      9.26
719.24/180.18	c  S st  1269    357909     15889     42101     62101     51770    240659   1357727     11.86   no data
719.24/180.19	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
751.99/188.38	c Flit:     1 Blit:      0 bXBeca:    0 bXProp:  179 Bins:   1637 BRemL:   1381 BRemN:      1 P: 96.0M T:  8.19
752.39/188.43	c Replacing      179 vars Replaced    13894 lits Time:     0.04 s 
752.39/188.44	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
752.39/188.45	c bin-w-bin subsume rem         1319 bins  time:  0.01 s
752.39/188.47	c subs with bin:      237  lits-rem:        32  v-fix:    0  time:  0.02 s
752.79/188.55	c Subs w/ non-existent bins:     11 l-rem:     16 v-fix:     0 done:  15709 time:  0.07 s
752.79/188.56	c Removed useless bin:       2  fixed:     0  props:   0.64M  time:  0.02 s
753.19/188.63	c lits-rem:         0  cl-subs:       18  v-elim:     20  v-fix:    0  time:  0.07 s
756.38/189.41	c subs with bin:      354  lits-rem:      4474  v-fix:    0  time:  0.73 s
758.38/189.90	c lits-rem:      2603  cl-subs:     1754  v-elim:      0  v-fix:    0  time:  0.48 s
758.38/189.99	c vivif2 --  cl tried    41453 cl shrink       11 lits rem         11 time: 0.09
759.58/190.21	c vivif2 --  cl tried    45362 cl shrink    10155 lits rem      99546 time: 0.22
761.58/190.74	c asymm  cl-useful: 10/1182/41451 lits-rem:30 time: 0.53
761.58/190.78	c calculated reachability. Time: 0.03
761.58/190.78	c  N dy  1269    357909     15689     41441     60510     45322    238584    939678     11.86   no data
761.98/190.89	c Finding binary XORs  T:     0.11 s  found:       5
778.35/194.99	c Finding binary XORs  T:     0.10 s  found:     120
791.16/198.12	c  N dy  1314    378157     15686     41433     63649     43385    238564   1353417     11.70     12.48
821.10/205.68	c  N dy  1402    398197     15683     41433     63832     38049    238564    609290     11.67     12.73
828.68/207.55	c Finding binary XORs  T:     0.11 s  found:      54
828.68/207.58	c Replacing      179 vars Replaced    15800 lits Time:     0.03 s 
850.26/212.97	c  N dy  1505    418235     15502     41095     64761     57398    237254   1920666     11.66     12.35
878.63/220.01	c  N dy  1603    438246     15499     41095     64992     50902    237254   1388370     11.65     12.28
907.38/227.21	c  N dy  1732    458504     15499     41095     65205     43779    237254    670171     11.70     12.66
910.97/228.10	c Finding binary XORs  T:     0.11 s  found:      46
934.55/234.01	c  N dy  1829    478559     15496     41066     65356     63404    237158   2011940     11.69     12.91
961.71/240.82	c  N dy  1959    498607     15494     41066     65502     55410    237158   1314590     11.74     18.51
986.08/246.91	c Finding binary XORs  T:     0.11 s  found:      19
990.47/248.07	c  N dy  2072    518636     15490     41046     65922     73697    236929   2618785     11.78     26.45
1014.44/254.07	c  S st  2178    536863     15483     41046     66186     63035    236929   1774772     11.81   no data
1015.63/254.31	c  S st  2178    537366     15483     41046     66192     63527    236929   1804584     11.81   no data
1015.63/254.33	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1053.59/263.86	c Flit:     0 Blit:      1 bXBeca:    0 bXProp:   15 Bins:   6761 BRemL:    366 BRemN:      0 P: 123.5M T:  9.53
1053.99/263.92	c Replacing       80 vars Replaced    12195 lits Time:     0.06 s 
1053.99/263.94	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1053.99/263.95	c bin-w-bin subsume rem         2052 bins  time:  0.01 s
1053.99/263.97	c subs with bin:      182  lits-rem:       405  v-fix:    0  time:  0.02 s
1054.40/264.05	c Subs w/ non-existent bins:     22 l-rem:     44 v-fix:     0 done:  15406 time:  0.07 s
1054.40/264.06	c Removed useless bin:       3  fixed:     0  props:   0.60M  time:  0.01 s
1054.80/264.13	c lits-rem:        63  cl-subs:      132  v-elim:     81  v-fix:    0  time:  0.07 s
1059.20/265.23	c subs with bin:      918  lits-rem:      9863  v-fix:    0  time:  1.04 s
1062.38/266.01	c lits-rem:      4771  cl-subs:     2045  v-elim:      0  v-fix:    0  time:  0.77 s
1062.78/266.11	c vivif2 --  cl tried    40416 cl shrink      675 lits rem        931 time: 0.09
1063.97/266.40	c vivif2 --  cl tried    54106 cl shrink    12185 lits rem     137434 time: 0.29
1065.97/266.91	c asymm  cl-useful: 6/1306/40343 lits-rem:18 time: 0.51
1065.97/266.95	c calculated reachability. Time: 0.04
1065.97/266.95	c  N dy  2178    537366     15325     40337     67759     53878    233106   1191391     11.81   no data
1066.37/267.08	c Finding binary XORs  T:     0.12 s  found:      28
1099.13/275.28	c  N dy  2304    557380     15299     40337     69131     45260    233104    636819     11.89     12.59
1103.92/276.42	c Finding binary XORs  T:     0.12 s  found:      40
1129.51/282.85	c  N dy  2438    577445     15292     40241     69247     63428    232486   2312313     12.01     34.55
1160.64/290.68	c  N dy  2594    597542     15287     40241     69737     52758    232486   1132523     12.21     14.97
1177.03/294.70	c Finding binary XORs  T:     0.12 s  found:      29
1191.40/298.35	c  N dy  2744    617640     15281     40195     69711     71102    232235   2628914     12.36     15.07
1208.60/302.68	c Finding binary XORs  T:     0.12 s  found:     110
1208.97/302.71	c Replacing      207 vars Replaced    19352 lits Time:     0.03 s 
1221.38/305.90	c  N dy  2902    637734     15064     39996     80080     58853    231257   1512668     12.55     13.78
1234.56/309.18	c Finding binary XORs  T:     0.12 s  found:      11
1252.14/313.51	c  N dy  3072    657810     15056     39958     82320     77120    231011   3241869     12.80     16.92
1282.08/321.05	c  N dy  3222    677880     15049     39958     82663     65262    231003   2072415     12.97     28.82
1311.64/328.45	c Finding binary XORs  T:     0.12 s  found:      23
1314.44/329.18	c  N dy  3383    697946     15041     39896     82781     83166    230690   3773442     13.20     26.64
1325.23/331.82	c Finding binary XORs  T:     0.12 s  found:      69
1346.00/337.02	c  N dy  3538    718014     15036     39894     88966     70849    230669   2369616     13.39     23.42
1380.74/345.76	c  N dy  3701    738182     15014     39894     89326     56336    230669    771795     13.64     14.63
1387.14/347.34	c Finding binary XORs  T:     0.12 s  found:      30
1412.71/353.73	c  N dy  3844    758236     15006     39795     87653     74653    230181   2790881     13.77     16.22
1450.27/363.15	c  N dy  4006    778284     14987     39795     88026     58668    230181    875403     14.03     19.00
1465.04/366.85	c Finding binary XORs  T:     0.11 s  found:      27
1465.44/366.91	c Replacing      160 vars Replaced    27000 lits Time:     0.06 s 
1482.61/371.22	c  N dy  4173    798308     14824     39516     87574     75403    228624   2808719     14.22     23.87
1496.99/374.80	c  S st  4241    806049     14821     39516     87940     83051    228624   3651644     14.31   no data
1497.79/375.07	c  S st  4241    806554     14821     39516     87945     83547    228624   3705749     14.31   no data
1497.79/375.09	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1548.53/387.74	c Flit:     4 Blit:     12 bXBeca:    0 bXProp:  158 Bins:   4229 BRemL:    153 BRemN:      0 P: 200.0M T: 12.64
1548.93/387.88	c Replacing      158 vars Replaced    40692 lits Time:     0.14 s 
1548.93/387.89	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1549.33/387.91	c bin-w-bin subsume rem         5577 bins  time:  0.02 s
1549.33/387.94	c subs with bin:      974  lits-rem:      1341  v-fix:    0  time:  0.03 s
1549.73/388.03	c Subs w/ non-existent bins:     87 l-rem:    933 v-fix:     0 done:  14644 time:  0.09 s
1549.73/388.04	c Removed useless bin:       3  fixed:     0  props:   0.57M  time:  0.01 s
1550.12/388.13	c lits-rem:       220  cl-subs:      396  v-elim:    401  v-fix:    0  time:  0.09 s
1552.52/388.73	c subs with bin:     3122  lits-rem:      9270  v-fix:    0  time:  0.55 s
1554.12/389.18	c lits-rem:      2999  cl-subs:     1991  v-elim:      0  v-fix:    0  time:  0.44 s
1554.92/389.31	c vivif2 --  cl tried    38003 cl shrink     1984 lits rem       4250 time: 0.12
1556.11/389.61	c vivif2 --  cl tried    53279 cl shrink    13792 lits rem     109514 time: 0.31
1558.11/390.16	c asymm  cl-useful: 1/986/37656 lits-rem:3 time: 0.55
1558.51/390.22	c calculated reachability. Time: 0.05
1558.51/390.22	c  N dy  4241    806554     14243     37655     84347     51531    215250    945936     14.31   no data
1559.31/390.44	c Finding binary XORs  T:     0.21 s  found:     384
1559.31/390.46	c Replacing      384 vars Replaced    19143 lits Time:     0.02 s 
1587.27/397.42	c Finding binary XORs  T:     0.18 s  found:      68
1591.26/398.45	c  N dy  4323    826611     13826     37536     89937     47073    214623    874728     14.28     17.78
1621.24/405.91	c  N dy  4420    846692     13815     37536     91419     66917    214620   2530153     14.27     16.23
1628.42/407.75	c Finding binary XORs  T:     0.18 s  found:      28
1654.79/414.38	c  N dy  4531    866792     13807     37517     91672     49005    214416    838165     14.29     18.20
1683.94/421.60	c  N dy  4640    886932     13797     37517     91837     68898    214415   2434874     14.30     15.06
1718.32/430.24	c  N dy  4759    907190     13774     37517     92022     50515    214415    706335     14.33     15.42
1722.71/431.38	c Finding binary XORs  T:     0.18 s  found:      30
1747.46/437.52	c  N dy  4874    927199     13755     37384     91916     67989    213637   2580116     14.36     29.67
1781.41/446.05	c  N dy  4973    947273     13718     37384     92392     87871    213637   4794524     14.38     15.14
1793.01/448.97	c Finding binary XORs  T:     0.18 s  found:      46
1793.39/449.01	c Replacing      172 vars Replaced    25814 lits Time:     0.04 s 
1812.97/453.94	c  N dy  5102    967372     13524     37001     91671     66344    211590   2300902     14.43     21.58
1846.52/462.33	c  N dy  5229    987399     13422     37001     92246     86136    211590   4308729     14.48     26.20
1863.32/466.58	c Finding binary XORs  T:     0.18 s  found:     113
1880.90/470.91	c  N dy  5362   1007444     13380     36525     91776     62332    209278   1815245     14.54     15.71
1915.65/479.68	c  N dy  5465   1027601     13371     36525     92614     82223    209273   3861598     14.56     15.54
1927.22/482.57	c Finding binary XORs  T:     0.18 s  found:      37
1928.02/482.71	c Replacing      150 vars Replaced    42862 lits Time:     0.14 s 
1951.98/488.75	c  N dy  5575   1047779     13145     36128     91938     59869    207280   1329581     14.57     15.35
1973.95/494.20	c Finding binary XORs  T:     0.18 s  found:     147
1974.35/494.30	c Replacing      147 vars Replaced    48208 lits Time:     0.10 s 
1982.74/496.47	c  N dy  5674   1067902     12886     35234     90389     73268    203000   2964816     14.58     15.52
1989.13/498.06	c  F st  5699   1071875     12881     35234     90654     77198    202989   3368231     14.58      9.44
2015.10/504.56	c  N dy  5767   1088513     12779     35208     91633     52907    202794    839371     14.60     15.68
2015.90/504.75	c Finding binary XORs  T:     0.18 s  found:     104
2041.06/511.07	c  N dy  5836   1108610     12715     34821     90120     69943    200792   2167195     14.57     15.41
2059.83/515.71	c Finding binary XORs  T:     0.18 s  found:     178
2060.23/515.82	c Replacing      282 vars Replaced    64611 lits Time:     0.10 s 
2072.22/518.81	c  N dy  5946   1128706     12269     33060     84925     76582    192508   2793057     14.57     15.36
2087.42/522.67	c  E dy  5983   1142029     12211     33060     85683     54294    192508    939561     14.54      5.78
2091.74/524.65	c Following stats are for *FIRST FINISHED THREAD ONLY*
2091.74/524.65	c num threads              : 4          
2091.74/524.65	c restarts                 : 5983       
2091.74/524.65	c dynamic restarts         : 5946       
2091.74/524.65	c static restarts          : 37         
2091.74/524.65	c full restarts            : 4          
2091.74/524.65	c total simplify time      : 6.46       
2091.74/524.65	c learnts DL2              : 0          
2091.74/524.65	c learnts size 2           : 336856     
2091.74/524.65	c learnts size 1           : 3021        (5.92      % of vars)
2091.74/524.65	c filedLit time            : 89.40       (17.06     % time)
2091.74/524.65	c v-elim SatELite          : 31887       (62.45     % vars)
2091.74/524.65	c SatELite time            : 5.18        (0.99      % time)
2091.74/524.65	c v-elim xor               : 0           (0.00      % vars)
2091.74/524.65	c xor elim time            : 0.13        (0.03      % time)
2091.74/524.65	c num binary xor trees     : 1122       
2091.74/524.65	c binxor trees' crown      : 5678        (5.06      leafs/tree)
2091.74/524.65	c bin xor find time        : 5.42       
2091.74/524.65	c OTF clause improved      : 12274       (0.01      clauses/conflict)
2091.74/524.65	c OTF impr. size diff      : 21960       (1.79       lits/clause)
2091.74/524.65	c OTF cl watch-shrink      : 801086      (0.70      clauses/conflict)
2091.74/524.65	c OTF cl watch-sh-lit      : 8059928     (10.06      lits/clause)
2091.74/524.65	c tried to recurMin cls    : 581721      (50.94      % of conflicts)
2091.74/524.65	c updated cache            : 18130       (0.03       lits/tried recurMin)
2091.74/524.65	c unit cls recevied        : 332         (10.99     % of units)
2091.74/524.65	c unit cls sent            : 473         (15.66     % of units)
2091.74/524.65	c bin cls recevied         : 89953      
2091.74/524.65	c bin cls sent             : 63112      
2091.74/524.65	c clauses over max glue    : 0           (0.00      % of all clauses)
2091.74/524.65	c conflicts                : 1142029     (2179.40   / sec)
2091.74/524.65	c decisions                : 4399564     (0.39      % random)
2091.74/524.65	c bogo-props               : 16347697082 (31197279.70 / sec)
2091.74/524.65	c conflict literals        : 90788144    (39.19     % deleted)
2091.74/524.65	c Memory used              : 2762.44     MB
2091.74/524.65	c single-thread CPU time   : 524.01      s
2091.74/524.65	c all-threads sum CPU time : 2089.19     s
2091.74/524.65	s UNSATISFIABLE

Verifier Data 

No possible verification on an UNSAT instance

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3282480-1304028700/watcher-3282480-1304028700 -o /tmp/evaluation-result-3282480-1304028700/solver-3282480-1304028700 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3282480-1304028700.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: 0.00 0.00 0.00 3/174 16965
/proc/meminfo: memFree=12810900/32950928 swapFree=67111524/67111528
[pid=16965] ppid=16963 vsize=51212 CPUtime=0.01 cores=1,3,5,7
/proc/16965/stat : 16965 (strangenight2-m) R 16963 16965 16932 0 -1 4202496 413 0 0 0 1 0 0 0 21 0 4 0 593100725 52441088 353 33554432000 4194304 4627427 140733617725392 18446744073709551615 47526872925712 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/16965/statm: 12803 353 303 106 0 7774 0
[pid=16965/tid=16966] ppid=16963 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/16965/task/16966/stat : 16966 (strangenight2-m) R 16963 16965 16932 0 -1 4202560 5 0 0 0 0 0 0 0 22 0 4 0 593100726 52441088 353 33554432000 4194304 4627427 140733617725392 18446744073709551615 47526872925715 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16965/tid=16967] ppid=16963 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/16965/task/16967/stat : 16967 (strangenight2-m) R 16963 16965 16932 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 4 0 593100726 52441088 353 33554432000 4194304 4627427 140733617725392 18446744073709551615 47526872926130 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16965/tid=16968] ppid=16963 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/16965/task/16968/stat : 16968 (strangenight2-m) R 16963 16965 16932 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 4 0 593100726 52441088 353 33554432000 4194304 4627427 140733617725392 18446744073709551615 47526872925721 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.0945601 s]
/proc/loadavg: 0.00 0.00 0.00 3/174 16965
/proc/meminfo: memFree=12810900/32950928 swapFree=67111524/67111528
[pid=16965] ppid=16963 vsize=324424 CPUtime=0.26 cores=1,3,5,7
/proc/16965/stat : 16965 (strangenight2-m) R 16963 16965 16932 0 -1 4202496 19886 0 0 0 15 11 0 0 17 0 4 0 593100725 332210176 15701 33554432000 4194304 4627427 140733617725392 18446744073709551615 256415496735 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/16965/statm: 81106 15716 339 106 0 76077 0
[pid=16965/tid=16966] ppid=16963 vsize=324424 CPUtime=0.05 cores=1,3,5,7
/proc/16965/task/16966/stat : 16966 (strangenight2-m) R 16963 16965 16932 0 -1 4202560 4665 0 0 0 3 2 0 0 17 0 4 0 593100726 332210176 15797 33554432000 4194304 4627427 140733617725392 18446744073709551615 256415434935 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16965/tid=16967] ppid=16963 vsize=324424 CPUtime=0.05 cores=1,3,5,7
/proc/16965/task/16967/stat : 16967 (strangenight2-m) S 16963 16965 16932 0 -1 4202560 5201 0 0 0 3 2 0 0 17 0 4 0 593100726 332210176 15851 33554432000 4194304 4627427 140733617725392 18446744073709551615 256415496686 0 0 4096 2 18446604471127570240 0 0 -1 7 0 0 0
[pid=16965/tid=16968] ppid=16963 vsize=324424 CPUtime=0.06 cores=1,3,5,7
/proc/16965/task/16968/stat : 16968 (strangenight2-m) R 16963 16965 16932 0 -1 4202560 4877 0 0 0 4 2 0 0 17 0 4 0 593100726 332210176 15880 33554432000 4194304 4627427 140733617725392 18446744073709551615 256415496686 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 324424

[startup+0.103509 s]
/proc/loadavg: 0.00 0.00 0.00 3/174 16965
/proc/meminfo: memFree=12810900/32950928 swapFree=67111524/67111528
[pid=16965] ppid=16963 vsize=327544 CPUtime=0.27 cores=1,3,5,7
/proc/16965/stat : 16965 (strangenight2-m) R 16963 16965 16932 0 -1 4202496 21585 0 0 0 16 11 0 0 17 0 4 0 593100725 335405056 17391 33554432000 4194304 4627427 140733617725392 18446744073709551615 256415496735 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/16965/statm: 81886 17391 339 106 0 76857 0
[pid=16965/tid=16966] ppid=16963 vsize=327544 CPUtime=0.06 cores=1,3,5,7
/proc/16965/task/16966/stat : 16966 (strangenight2-m) R 16963 16965 16932 0 -1 4202560 4828 0 0 0 4 2 0 0 17 0 4 0 593100726 335405056 17391 33554432000 4194304 4627427 140733617725392 18446744073709551615 256415496686 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16965/tid=16967] ppid=16963 vsize=327544 CPUtime=0.06 cores=1,3,5,7
/proc/16965/task/16967/stat : 16967 (strangenight2-m) S 16963 16965 16932 0 -1 4202560 5735 0 0 0 4 2 0 0 17 0 4 0 593100726 335405056 17391 33554432000 4194304 4627427 140733617725392 18446744073709551615 256415496686 0 0 4096 2 18446604471127570240 0 0 -1 7 0 0 0
[pid=16965/tid=16968] ppid=16963 vsize=327544 CPUtime=0.06 cores=1,3,5,7
/proc/16965/task/16968/stat : 16968 (strangenight2-m) S 16963 16965 16932 0 -1 4202560 5555 0 0 0 4 2 0 0 17 0 4 0 593100726 335405056 17391 33554432000 4194304 4627427 140733617725392 18446744073709551615 256415496686 0 0 4096 2 18446604471127570240 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 327544

[startup+0.335467 s]
/proc/loadavg: 0.00 0.00 0.00 3/174 16965
/proc/meminfo: memFree=12810900/32950928 swapFree=67111524/67111528
[pid=16965] ppid=16963 vsize=400804 CPUtime=1.19 cores=1,3,5,7
/proc/16965/stat : 16965 (strangenight2-m) R 16963 16965 16932 0 -1 4202496 25419 0 0 0 105 14 0 0 18 0 4 0 593100725 410423296 21137 33554432000 4194304 4627427 140733617725392 18446744073709551615 4308987 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/16965/statm: 100201 21137 364 106 0 95172 0
[pid=16965/tid=16966] ppid=16963 vsize=400804 CPUtime=0.29 cores=1,3,5,7
/proc/16965/task/16966/stat : 16966 (strangenight2-m) R 16963 16965 16932 0 -1 4202560 5712 0 0 0 26 3 0 0 18 0 4 0 593100726 410423296 21137 33554432000 4194304 4627427 140733617725392 18446744073709551615 4308323 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16965/tid=16967] ppid=16963 vsize=400804 CPUtime=0.29 cores=1,3,5,7
/proc/16965/task/16967/stat : 16967 (strangenight2-m) R 16963 16965 16932 0 -1 4202560 6466 0 0 0 26 3 0 0 18 0 4 0 593100726 410423296 21137 33554432000 4194304 4627427 140733617725392 18446744073709551615 4308712 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16965/tid=16968] ppid=16963 vsize=400804 CPUtime=0.29 cores=1,3,5,7
/proc/16965/task/16968/stat : 16968 (strangenight2-m) R 16963 16965 16932 0 -1 4202560 6612 0 0 0 26 3 0 0 18 0 4 0 593100726 410423296 21137 33554432000 4194304 4627427 140733617725392 18446744073709551615 4324960 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.19
Current children cumulated vsize (KiB) 400804

[startup+0.700399 s]
/proc/loadavg: 0.00 0.00 0.00 3/174 16965
/proc/meminfo: memFree=12810900/32950928 swapFree=67111524/67111528
[pid=16965] ppid=16963 vsize=401004 CPUtime=2.65 cores=1,3,5,7
/proc/16965/stat : 16965 (strangenight2-m) R 16963 16965 16932 0 -1 4202496 25595 0 0 0 251 14 0 0 18 0 4 0 593100725 410628096 21245 33554432000 4194304 4627427 140733617725392 18446744073709551615 4299705 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/16965/statm: 100251 21245 364 106 0 95222 0
[pid=16965/tid=16966] ppid=16963 vsize=401004 CPUtime=0.66 cores=1,3,5,7
/proc/16965/task/16966/stat : 16966 (strangenight2-m) R 16963 16965 16932 0 -1 4202560 5712 0 0 0 63 3 0 0 18 0 4 0 593100726 410628096 21245 33554432000 4194304 4627427 140733617725392 18446744073709551615 4308715 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16965/tid=16967] ppid=16963 vsize=401004 CPUtime=0.66 cores=1,3,5,7
/proc/16965/task/16967/stat : 16967 (strangenight2-m) R 16963 16965 16932 0 -1 4202560 6466 0 0 0 63 3 0 0 18 0 4 0 593100726 410628096 21245 33554432000 4194304 4627427 140733617725392 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16965/tid=16968] ppid=16963 vsize=401004 CPUtime=0.65 cores=1,3,5,7
/proc/16965/task/16968/stat : 16968 (strangenight2-m) R 16963 16965 16932 0 -1 4202560 6788 0 0 0 62 3 0 0 18 0 4 0 593100726 410628096 21245 33554432000 4194304 4627427 140733617725392 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.65
Current children cumulated vsize (KiB) 401004

[startup+1.50024 s]
/proc/loadavg: 0.00 0.00 0.00 10/184 16978
/proc/meminfo: memFree=12415528/32950928 swapFree=67111524/67111528
[pid=16965] ppid=16963 vsize=404228 CPUtime=5.84 cores=1,3,5,7
/proc/16965/stat : 16965 (strangenight2-m) R 16963 16965 16932 0 -1 4202496 30447 0 0 0 569 15 0 0 20 0 4 0 593100725 413929472 26079 33554432000 4194304 4627427 140733617725392 18446744073709551615 4308987 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/16965/statm: 101057 26079 367 106 0 96028 0
[pid=16965/tid=16966] ppid=16963 vsize=404228 CPUtime=1.45 cores=1,3,5,7
/proc/16965/task/16966/stat : 16966 (strangenight2-m) R 16963 16965 16932 0 -1 4202560 7239 0 0 0 142 3 0 0 20 0 4 0 593100726 413929472 26079 33554432000 4194304 4627427 140733617725392 18446744073709551615 4237488 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16965/tid=16967] ppid=16963 vsize=404228 CPUtime=1.45 cores=1,3,5,7
/proc/16965/task/16967/stat : 16967 (strangenight2-m) R 16963 16965 16932 0 -1 4202560 7925 0 0 0 142 3 0 0 20 0 4 0 593100726 413929472 26079 33554432000 4194304 4627427 140733617725392 18446744073709551615 4308963 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16965/tid=16968] ppid=16963 vsize=404228 CPUtime=1.45 cores=1,3,5,7
/proc/16965/task/16968/stat : 16968 (strangenight2-m) R 16963 16965 16932 0 -1 4202560 6929 0 0 0 142 3 0 0 20 0 4 0 593100726 413929472 26079 33554432000 4194304 4627427 140733617725392 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.84
Current children cumulated vsize (KiB) 404228

[startup+3.10094 s]
/proc/loadavg: 0.64 0.13 0.04 9/184 16978
/proc/meminfo: memFree=12283592/32950928 swapFree=67111524/67111528
[pid=16965] ppid=16963 vsize=528308 CPUtime=12.23 cores=1,3,5,7
/proc/16965/stat : 16965 (strangenight2-m) D 16963 16965 16932 0 -1 4202496 83807 0 0 0 1197 26 0 0 19 0 4 0 593100725 540987392 78856 33554432000 4194304 4627427 140733617725392 18446744073709551615 256415434935 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/16965/statm: 132077 78862 369 106 0 127048 0
[pid=16965/tid=16966] ppid=16963 vsize=528308 CPUtime=3.05 cores=1,3,5,7
/proc/16965/task/16966/stat : 16966 (strangenight2-m) R 16963 16965 16932 0 -1 4202560 24699 0 0 0 299 6 0 0 18 0 4 0 593100726 540987392 78862 33554432000 4194304 4627427 140733617725392 18446744073709551615 4238603 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16965/tid=16967] ppid=16963 vsize=528308 CPUtime=3.04 cores=1,3,5,7
/proc/16965/task/16967/stat : 16967 (strangenight2-m) R 16963 16965 16932 0 -1 4202560 25240 0 0 0 297 7 0 0 18 0 4 0 593100726 540987392 78862 33554432000 4194304 4627427 140733617725392 18446744073709551615 4309379 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16965/tid=16968] ppid=16963 vsize=528308 CPUtime=3.06 cores=1,3,5,7
/proc/16965/task/16968/stat : 16968 (strangenight2-m) R 16963 16965 16932 0 -1 4202560 8092 0 0 0 302 4 0 0 18 0 4 0 593100726 540987392 78862 33554432000 4194304 4627427 140733617725392 18446744073709551615 4308256 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.23
Current children cumulated vsize (KiB) 528308

[startup+6.30033 s]
/proc/loadavg: 0.64 0.13 0.04 9/184 16978
/proc/meminfo: memFree=11889160/32950928 swapFree=67111524/67111528
[pid=16965] ppid=16963 vsize=1013764 CPUtime=25 cores=1,3,5,7
/proc/16965/stat : 16965 (strangenight2-m) R 16963 16965 16932 0 -1 4202496 173841 0 0 0 2457 43 0 0 20 0 4 0 593100725 1038094336 168890 33554432000 4194304 4627427 140733617725392 18446744073709551615 4308717 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/16965/statm: 253441 168890 369 106 0 248412 0
[pid=16965/tid=16966] ppid=16963 vsize=1013764 CPUtime=6.25 cores=1,3,5,7
/proc/16965/task/16966/stat : 16966 (strangenight2-m) R 16963 16965 16932 0 -1 4202560 54833 0 0 0 613 12 0 0 25 0 4 0 593100726 1038094336 168890 33554432000 4194304 4627427 140733617725392 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16965/tid=16967] ppid=16963 vsize=1013764 CPUtime=6.22 cores=1,3,5,7
/proc/16965/task/16967/stat : 16967 (strangenight2-m) R 16963 16965 16932 0 -1 4202560 54493 0 0 0 609 13 0 0 25 0 4 0 593100726 1038094336 168890 33554432000 4194304 4627427 140733617725392 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16965/tid=16968] ppid=16963 vsize=1013764 CPUtime=6.26 cores=1,3,5,7
/proc/16965/task/16968/stat : 16968 (strangenight2-m) R 16963 16965 16932 0 -1 4202560 8494 0 0 0 622 4 0 0 25 0 4 0 593100726 1038094336 168890 33554432000 4194304 4627427 140733617725392 18446744073709551615 4308162 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25
Current children cumulated vsize (KiB) 1013764

[startup+12.7011 s]
/proc/loadavg: 1.77 0.39 0.13 9/184 16978
/proc/meminfo: memFree=11479852/32950928 swapFree=67111524/67111528
[pid=16965] ppid=16963 vsize=1420268 CPUtime=50.57 cores=1,3,5,7
/proc/16965/stat : 16965 (strangenight2-m) R 16963 16965 16932 0 -1 4202496 254444 0 0 0 5000 57 0 0 25 0 4 0 593100725 1454354432 247850 33554432000 4194304 4627427 140733617725392 18446744073709551615 4308139 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/16965/statm: 355067 247850 370 106 0 350038 0
[pid=16965/tid=16966] ppid=16963 vsize=1420268 CPUtime=12.65 cores=1,3,5,7
/proc/16965/task/16966/stat : 16966 (strangenight2-m) R 16963 16965 16932 0 -1 4202560 81120 0 0 0 1248 17 0 0 25 0 4 0 593100726 1454354432 247850 33554432000 4194304 4627427 140733617725392 18446744073709551615 4308615 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16965/tid=16967] ppid=16963 vsize=1420268 CPUtime=12.59 cores=1,3,5,7
/proc/16965/task/16967/stat : 16967 (strangenight2-m) R 16963 16965 16932 0 -1 4202560 80490 0 0 0 1243 16 0 0 25 0 4 0 593100726 1454354432 247850 33554432000 4194304 4627427 140733617725392 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16965/tid=16968] ppid=16963 vsize=1420268 CPUtime=12.65 cores=1,3,5,7
/proc/16965/task/16968/stat : 16968 (strangenight2-m) R 16963 16965 16932 0 -1 4202560 10834 0 0 0 1261 4 0 0 25 0 4 0 593100726 1454354432 247850 33554432000 4194304 4627427 140733617725392 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.57
Current children cumulated vsize (KiB) 1420268

[startup+25.5006 s]
/proc/loadavg: 2.81 0.66 0.22 9/184 16979
/proc/meminfo: memFree=11152624/32950928 swapFree=67111524/67111528
[pid=16965] ppid=16963 vsize=1684808 CPUtime=101.66 cores=1,3,5,7
/proc/16965/stat : 16965 (strangenight2-m) R 16963 16965 16932 0 -1 4202496 333874 0 0 0 10088 78 0 0 25 0 4 0 593100725 1725243392 303391 33554432000 4194304 4627427 140733617725392 18446744073709551615 4501627 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/16965/statm: 421202 303391 391 106 0 416173 0
[pid=16965/tid=16966] ppid=16963 vsize=1684808 CPUtime=25.44 cores=1,3,5,7
/proc/16965/task/16966/stat : 16966 (strangenight2-m) R 16963 16965 16932 0 -1 4202560 98415 0 0 0 2522 22 0 0 25 0 4 0 593100726 1725243392 303391 33554432000 4194304 4627427 140733617725392 18446744073709551615 4327752 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16965/tid=16967] ppid=16963 vsize=1684808 CPUtime=25.31 cores=1,3,5,7
/proc/16965/task/16967/stat : 16967 (strangenight2-m) R 16963 16965 16932 0 -1 4202560 92332 0 0 0 2512 19 0 0 25 0 4 0 593100726 1725243392 303391 33554432000 4194304 4627427 140733617725392 18446744073709551615 4309726 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16965/tid=16968] ppid=16963 vsize=1684808 CPUtime=25.45 cores=1,3,5,7
/proc/16965/task/16968/stat : 16968 (strangenight2-m) R 16963 16965 16932 0 -1 4202560 42403 0 0 0 2533 12 0 0 25 0 4 0 593100726 1725243392 303391 33554432000 4194304 4627427 140733617725392 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.66
Current children cumulated vsize (KiB) 1684808

[startup+51.1007 s]
/proc/loadavg: 4.65 1.26 0.43 9/184 16980
/proc/meminfo: memFree=10585632/32950928 swapFree=67111524/67111528
[pid=16965] ppid=16963 vsize=2080448 CPUtime=203.93 cores=1,3,5,7
/proc/16965/stat : 16965 (strangenight2-m) R 16963 16965 16932 0 -1 4202496 431971 0 0 0 20291 102 0 0 25 0 4 0 593100725 2130378752 378857 33554432000 4194304 4627427 140733617725392 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/16965/statm: 520112 378857 391 106 0 515083 0
[pid=16965/tid=16966] ppid=16963 vsize=2080448 CPUtime=51.05 cores=1,3,5,7
/proc/16965/task/16966/stat : 16966 (strangenight2-m) R 16963 16965 16932 0 -1 4202560 113314 0 0 0 5078 27 0 0 25 0 4 0 593100726 2130378752 378857 33554432000 4194304 4627427 140733617725392 18446744073709551615 4308256 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16965/tid=16967] ppid=16963 vsize=2080448 CPUtime=50.77 cores=1,3,5,7
/proc/16965/task/16967/stat : 16967 (strangenight2-m) R 16963 16965 16932 0 -1 4202560 116205 0 0 0 5052 25 0 0 25 0 4 0 593100726 2130378752 378857 33554432000 4194304 4627427 140733617725392 18446744073709551615 4308715 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16965/tid=16968] ppid=16963 vsize=2080448 CPUtime=51.05 cores=1,3,5,7
/proc/16965/task/16968/stat : 16968 (strangenight2-m) R 16963 16965 16932 0 -1 4202560 87626 0 0 0 5083 22 0 0 25 0 4 0 593100726 2130378752 378857 33554432000 4194304 4627427 140733617725392 18446744073709551615 4321761 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 203.93
Current children cumulated vsize (KiB) 2080448

[startup+102.301 s]
/proc/loadavg: 6.79 2.42 0.87 9/184 16981
/proc/meminfo: memFree=9784820/32950928 swapFree=67111524/67111528
[pid=16965] ppid=16963 vsize=2194692 CPUtime=408.47 cores=1,3,5,7
/proc/16965/stat : 16965 (strangenight2-m) R 16963 16965 16932 0 -1 4202496 515630 0 0 0 40722 125 0 0 25 0 4 0 593100725 2247364608 427046 33554432000 4194304 4627427 140733617725392 18446744073709551615 4507260 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/16965/statm: 548673 427046 391 106 0 543644 0
[pid=16965/tid=16966] ppid=16963 vsize=2194692 CPUtime=102.26 cores=1,3,5,7
/proc/16965/task/16966/stat : 16966 (strangenight2-m) R 16963 16965 16932 0 -1 4202560 125160 0 0 0 10196 30 0 0 25 0 4 0 593100726 2247364608 427046 33554432000 4194304 4627427 140733617725392 18446744073709551615 4308135 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16965/tid=16967] ppid=16963 vsize=2194692 CPUtime=101.7 cores=1,3,5,7
/proc/16965/task/16967/stat : 16967 (strangenight2-m) R 16963 16965 16932 0 -1 4202560 141039 0 0 0 10137 33 0 0 25 0 4 0 593100726 2247364608 427046 33554432000 4194304 4627427 140733617725392 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16965/tid=16968] ppid=16963 vsize=2194692 CPUtime=102.26 cores=1,3,5,7
/proc/16965/task/16968/stat : 16968 (strangenight2-m) R 16963 16965 16932 0 -1 4202560 114627 0 0 0 10199 27 0 0 25 0 4 0 593100726 2247364608 427046 33554432000 4194304 4627427 140733617725392 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 408.47
Current children cumulated vsize (KiB) 2194692

[startup+162.3 s]

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

/proc/16965/task/16966/stat : 16966 (strangenight2-m) R 16963 16965 16932 0 -1 4202560 141880 0 0 0 16191 34 0 0 25 0 4 0 593100726 2353618944 448939 33554432000 4194304 4627427 140733617725392 18446744073709551615 4327616 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16965/tid=16967] ppid=16963 vsize=2298456 CPUtime=161.36 cores=1,3,5,7
/proc/16965/task/16967/stat : 16967 (strangenight2-m) R 16963 16965 16932 0 -1 4202560 171649 0 0 0 16092 44 0 0 25 0 4 0 593100726 2353618944 448939 33554432000 4194304 4627427 140733617725392 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16965/tid=16968] ppid=16963 vsize=2298456 CPUtime=162.25 cores=1,3,5,7
/proc/16965/task/16968/stat : 16968 (strangenight2-m) R 16963 16965 16932 0 -1 4202560 125488 0 0 0 16195 30 0 0 25 0 4 0 593100726 2353618944 448939 33554432000 4194304 4627427 140733617725392 18446744073709551615 4321603 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 648.13
Current children cumulated vsize (KiB) 2298456

[startup+222.307 s]
/proc/loadavg: 7.98 4.32 1.75 9/184 16984
/proc/meminfo: memFree=9259268/32950928 swapFree=67111524/67111528
[pid=16965] ppid=16963 vsize=2299500 CPUtime=887.83 cores=1,3,5,7
/proc/16965/stat : 16965 (strangenight2-m) R 16963 16965 16932 0 -1 4202496 622879 0 0 0 88619 164 0 0 25 0 4 0 593100725 2354688000 461272 33554432000 4194304 4627427 140733617725392 18446744073709551615 4308282 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/16965/statm: 574875 461272 391 106 0 569846 0
[pid=16965/tid=16966] ppid=16963 vsize=2299500 CPUtime=222.26 cores=1,3,5,7
/proc/16965/task/16966/stat : 16966 (strangenight2-m) R 16963 16965 16932 0 -1 4202560 156525 0 0 0 22186 40 0 0 25 0 4 0 593100726 2354688000 461272 33554432000 4194304 4627427 140733617725392 18446744073709551615 4308752 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16965/tid=16967] ppid=16963 vsize=2299500 CPUtime=221.04 cores=1,3,5,7
/proc/16965/task/16967/stat : 16967 (strangenight2-m) R 16963 16965 16932 0 -1 4202560 181358 0 0 0 22056 48 0 0 25 0 4 0 593100726 2354688000 461272 33554432000 4194304 4627427 140733617725392 18446744073709551615 4308165 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16965/tid=16968] ppid=16963 vsize=2299500 CPUtime=222.25 cores=1,3,5,7
/proc/16965/task/16968/stat : 16968 (strangenight2-m) R 16963 16965 16932 0 -1 4202560 136551 0 0 0 22191 34 0 0 25 0 4 0 593100726 2354688000 461272 33554432000 4194304 4627427 140733617725392 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 887.83
Current children cumulated vsize (KiB) 2299500

[startup+282.3 s]
/proc/loadavg: 8.04 4.95 2.11 9/184 16986
/proc/meminfo: memFree=9186840/32950928 swapFree=67111524/67111528
[pid=16965] ppid=16963 vsize=2418740 CPUtime=1127.49 cores=1,3,5,7
/proc/16965/stat : 16965 (strangenight2-m) R 16963 16965 16932 0 -1 4202496 662342 0 0 0 112568 181 0 0 25 0 4 0 593100725 2476789760 472204 33554432000 4194304 4627427 140733617725392 18446744073709551615 4309726 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/16965/statm: 604685 472204 391 106 0 599656 0
[pid=16965/tid=16966] ppid=16963 vsize=2418740 CPUtime=282.25 cores=1,3,5,7
/proc/16965/task/16966/stat : 16966 (strangenight2-m) R 16963 16965 16932 0 -1 4202560 164869 0 0 0 28182 43 0 0 25 0 4 0 593100726 2476789760 472204 33554432000 4194304 4627427 140733617725392 18446744073709551615 4308624 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16965/tid=16967] ppid=16963 vsize=2418740 CPUtime=280.72 cores=1,3,5,7
/proc/16965/task/16967/stat : 16967 (strangenight2-m) R 16963 16965 16932 0 -1 4202560 191707 0 0 0 28017 55 0 0 25 0 4 0 593100726 2476789760 472204 33554432000 4194304 4627427 140733617725392 18446744073709551615 4321862 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16965/tid=16968] ppid=16963 vsize=2418740 CPUtime=282.26 cores=1,3,5,7
/proc/16965/task/16968/stat : 16968 (strangenight2-m) R 16963 16965 16932 0 -1 4202560 149869 0 0 0 28186 40 0 0 25 0 4 0 593100726 2476789760 472204 33554432000 4194304 4627427 140733617725392 18446744073709551615 4334615 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1127.49
Current children cumulated vsize (KiB) 2418740

[startup+342.301 s]
/proc/loadavg: 8.05 5.56 2.51 9/184 16987
/proc/meminfo: memFree=9017324/32950928 swapFree=67111524/67111528
[pid=16965] ppid=16963 vsize=2575760 CPUtime=1367.17 cores=1,3,5,7
/proc/16965/stat : 16965 (strangenight2-m) R 16963 16965 16932 0 -1 4202496 712696 0 0 0 136517 200 0 0 25 0 4 0 593100725 2637578240 496569 33554432000 4194304 4627427 140733617725392 18446744073709551615 4299605 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/16965/statm: 643940 496569 391 106 0 638911 0
[pid=16965/tid=16966] ppid=16963 vsize=2575760 CPUtime=342.26 cores=1,3,5,7
/proc/16965/task/16966/stat : 16966 (strangenight2-m) R 16963 16965 16932 0 -1 4202560 179382 0 0 0 34177 49 0 0 25 0 4 0 593100726 2637578240 496569 33554432000 4194304 4627427 140733617725392 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16965/tid=16967] ppid=16963 vsize=2575760 CPUtime=340.38 cores=1,3,5,7
/proc/16965/task/16967/stat : 16967 (strangenight2-m) R 16963 16965 16932 0 -1 4202560 206029 0 0 0 33978 60 0 0 25 0 4 0 593100726 2637578240 496569 33554432000 4194304 4627427 140733617725392 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16965/tid=16968] ppid=16963 vsize=2575760 CPUtime=342.25 cores=1,3,5,7
/proc/16965/task/16968/stat : 16968 (strangenight2-m) R 16963 16965 16932 0 -1 4202560 164239 0 0 0 34181 44 0 0 25 0 4 0 593100726 2637578240 496569 33554432000 4194304 4627427 140733617725392 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1367.17
Current children cumulated vsize (KiB) 2575760

[startup+402.3 s]
/proc/loadavg: 8.02 5.97 2.83 9/184 16989
/proc/meminfo: memFree=8702096/32950928 swapFree=67111524/67111528
[pid=16965] ppid=16963 vsize=2732900 CPUtime=1606.85 cores=1,3,5,7
/proc/16965/stat : 16965 (strangenight2-m) R 16963 16965 16932 0 -1 4202496 778567 0 0 0 160460 225 0 0 25 0 4 0 593100725 2798489600 529169 33554432000 4194304 4627427 140733617725392 18446744073709551615 4324663 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/16965/statm: 683225 529169 391 106 0 678196 0
[pid=16965/tid=16966] ppid=16963 vsize=2732900 CPUtime=402.26 cores=1,3,5,7
/proc/16965/task/16966/stat : 16966 (strangenight2-m) R 16963 16965 16932 0 -1 4202560 194209 0 0 0 40171 55 0 0 25 0 4 0 593100726 2798489600 529169 33554432000 4194304 4627427 140733617725392 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16965/tid=16967] ppid=16963 vsize=2732900 CPUtime=400.06 cores=1,3,5,7
/proc/16965/task/16967/stat : 16967 (strangenight2-m) R 16963 16965 16932 0 -1 4202560 224220 0 0 0 39939 67 0 0 25 0 4 0 593100726 2798489600 529169 33554432000 4194304 4627427 140733617725392 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16965/tid=16968] ppid=16963 vsize=2732900 CPUtime=402.26 cores=1,3,5,7
/proc/16965/task/16968/stat : 16968 (strangenight2-m) R 16963 16965 16932 0 -1 4202560 180180 0 0 0 40175 51 0 0 25 0 4 0 593100726 2798489600 529169 33554432000 4194304 4627427 140733617725392 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1606.85
Current children cumulated vsize (KiB) 2732900

[startup+462.301 s]
/proc/loadavg: 8.00 6.36 3.17 9/184 16990
/proc/meminfo: memFree=8601888/32950928 swapFree=67111524/67111528
[pid=16965] ppid=16963 vsize=2805252 CPUtime=1846.52 cores=1,3,5,7
/proc/16965/stat : 16965 (strangenight2-m) R 16963 16965 16932 0 -1 4202496 826149 0 0 0 184405 247 0 0 25 0 4 0 593100725 2872578048 544400 33554432000 4194304 4627427 140733617725392 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/16965/statm: 701313 544400 391 106 0 696284 0
[pid=16965/tid=16966] ppid=16963 vsize=2805252 CPUtime=462.26 cores=1,3,5,7
/proc/16965/task/16966/stat : 16966 (strangenight2-m) R 16963 16965 16932 0 -1 4202560 210667 0 0 0 46164 62 0 0 25 0 4 0 593100726 2872578048 544400 33554432000 4194304 4627427 140733617725392 18446744073709551615 4305945 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16965/tid=16967] ppid=16963 vsize=2805252 CPUtime=459.73 cores=1,3,5,7
/proc/16965/task/16967/stat : 16967 (strangenight2-m) R 16963 16965 16932 0 -1 4202560 232566 0 0 0 45904 69 0 0 25 0 4 0 593100726 2872578048 544400 33554432000 4194304 4627427 140733617725392 18446744073709551615 4332291 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16965/tid=16968] ppid=16963 vsize=2805252 CPUtime=462.25 cores=1,3,5,7
/proc/16965/task/16968/stat : 16968 (strangenight2-m) R 16963 16965 16932 0 -1 4202560 193556 0 0 0 46167 58 0 0 25 0 4 0 593100726 2872578048 544400 33554432000 4194304 4627427 140733617725392 18446744073709551615 4308428 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1846.52
Current children cumulated vsize (KiB) 2805252

[startup+522.3 s]
/proc/loadavg: 8.00 6.63 3.45 9/184 16992
/proc/meminfo: memFree=8571616/32950928 swapFree=67111524/67111528
[pid=16965] ppid=16963 vsize=2820984 CPUtime=2086.2 cores=1,3,5,7
/proc/16965/stat : 16965 (strangenight2-m) R 16963 16965 16932 0 -1 4202496 865968 0 0 0 208355 265 0 0 25 0 4 0 593100725 2888687616 540137 33554432000 4194304 4627427 140733617725392 18446744073709551615 4309572 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/16965/statm: 705246 540137 391 106 0 700217 0
[pid=16965/tid=16966] ppid=16963 vsize=2820984 CPUtime=522.26 cores=1,3,5,7
/proc/16965/task/16966/stat : 16966 (strangenight2-m) R 16963 16965 16932 0 -1 4202560 218028 0 0 0 52160 66 0 0 25 0 4 0 593100726 2888687616 540137 33554432000 4194304 4627427 140733617725392 18446744073709551615 4309195 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16965/tid=16967] ppid=16963 vsize=2820984 CPUtime=519.41 cores=1,3,5,7
/proc/16965/task/16967/stat : 16967 (strangenight2-m) R 16963 16965 16932 0 -1 4202560 244374 0 0 0 51866 75 0 0 25 0 4 0 593100726 2888687616 540137 33554432000 4194304 4627427 140733617725392 18446744073709551615 4325058 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16965/tid=16968] ppid=16963 vsize=2820984 CPUtime=522.25 cores=1,3,5,7
/proc/16965/task/16968/stat : 16968 (strangenight2-m) R 16963 16965 16932 0 -1 4202560 204965 0 0 0 52162 63 0 0 25 0 4 0 593100726 2888687616 540137 33554432000 4194304 4627427 140733617725392 18446744073709551615 4308277 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2086.2
Current children cumulated vsize (KiB) 2820984

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

[startup+523.201 s]
/proc/loadavg: 8.00 6.66 3.47 9/184 16992
/proc/meminfo: memFree=8574592/32950928 swapFree=67111524/67111528
[pid=16965] ppid=16963 vsize=2823632 CPUtime=2088.94 cores=1,3,5,7
/proc/16965/stat : 16965 (strangenight2-m) R 16963 16965 16932 0 -1 4202496 866715 0 0 0 208628 266 0 0 25 0 4 0 593100725 2891399168 540884 33554432000 4194304 4627427 140733617725392 18446744073709551615 47526872901316 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/16965/statm: 705908 540884 391 106 0 700879 0
[pid=16965/tid=16966] ppid=16963 vsize=2823632 CPUtime=522.73 cores=1,3,5,7
/proc/16965/task/16966/stat : 16966 (strangenight2-m) S 16963 16965 16932 0 -1 4202560 218088 0 0 0 52207 66 0 0 25 0 4 0 593100726 2891399168 540884 33554432000 4194304 4627427 140733617725392 18446744073709551615 47526872925748 0 0 4096 2 18446604471127570240 0 0 -1 1 0 0 0
[pid=16965/tid=16967] ppid=16963 vsize=2823632 CPUtime=519.88 cores=1,3,5,7
/proc/16965/task/16967/stat : 16967 (strangenight2-m) S 16963 16965 16932 0 -1 4202560 244436 0 0 0 51912 76 0 0 25 0 4 0 593100726 2891399168 540884 33554432000 4194304 4627427 140733617725392 18446744073709551615 47526872925748 0 0 4096 2 18446604471127570240 0 0 -1 7 0 0 0
[pid=16965/tid=16968] ppid=16963 vsize=2823632 CPUtime=523.16 cores=1,3,5,7
/proc/16965/task/16968/stat : 16968 (strangenight2-m) R 16963 16965 16932 0 -1 4202560 205590 0 0 0 52252 64 0 0 25 0 4 0 593100726 2891399168 540884 33554432000 4194304 4627427 140733617725392 18446744073709551615 4534832 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2088.94
Current children cumulated vsize (KiB) 2823632

[startup+524.001 s]
/proc/loadavg: 8.00 6.66 3.47 7/184 16992
/proc/meminfo: memFree=8570124/32950928 swapFree=67111524/67111528
[pid=16965] ppid=16963 vsize=2828732 CPUtime=2090.54 cores=1,3,5,7
/proc/16965/stat : 16965 (strangenight2-m) R 16963 16965 16932 0 -1 4202496 867919 0 0 0 208788 266 0 0 25 0 4 0 593100725 2896621568 542088 33554432000 4194304 4627427 140733617725392 18446744073709551615 47526872901163 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/16965/statm: 707183 542088 391 106 0 702154 0
[pid=16965/tid=16966] ppid=16963 vsize=2828732 CPUtime=522.73 cores=1,3,5,7
/proc/16965/task/16966/stat : 16966 (strangenight2-m) S 16963 16965 16932 0 -1 4202560 218088 0 0 0 52207 66 0 0 25 0 4 0 593100726 2896621568 542088 33554432000 4194304 4627427 140733617725392 18446744073709551615 47526872925748 0 0 4096 2 18446604471127570240 0 0 -1 1 0 0 0
[pid=16965/tid=16967] ppid=16963 vsize=2828732 CPUtime=519.88 cores=1,3,5,7
/proc/16965/task/16967/stat : 16967 (strangenight2-m) S 16963 16965 16932 0 -1 4202560 244436 0 0 0 51912 76 0 0 25 0 4 0 593100726 2896621568 542088 33554432000 4194304 4627427 140733617725392 18446744073709551615 47526872925748 0 0 4096 2 18446604471127570240 0 0 -1 7 0 0 0
[pid=16965/tid=16968] ppid=16963 vsize=2828732 CPUtime=523.96 cores=1,3,5,7
/proc/16965/task/16968/stat : 16968 (strangenight2-m) R 16963 16965 16932 0 -1 4202560 206794 0 0 0 52332 64 0 0 25 0 4 0 593100726 2896621568 542088 33554432000 4194304 4627427 140733617725392 18446744073709551615 4520550 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2090.54
Current children cumulated vsize (KiB) 2828732

[startup+524.401 s]
/proc/loadavg: 8.00 6.66 3.47 7/184 16992
/proc/meminfo: memFree=8570124/32950928 swapFree=67111524/67111528
[pid=16965] ppid=16963 vsize=2828732 CPUtime=2091.34 cores=1,3,5,7
/proc/16965/stat : 16965 (strangenight2-m) R 16963 16965 16932 0 -1 4202496 868166 0 0 0 208868 266 0 0 25 0 4 0 593100725 2896621568 542335 33554432000 4194304 4627427 140733617725392 18446744073709551615 47526872901316 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/16965/statm: 707183 542335 391 106 0 702154 0
[pid=16965/tid=16966] ppid=16963 vsize=2828732 CPUtime=522.73 cores=1,3,5,7
/proc/16965/task/16966/stat : 16966 (strangenight2-m) S 16963 16965 16932 0 -1 4202560 218088 0 0 0 52207 66 0 0 25 0 4 0 593100726 2896621568 542335 33554432000 4194304 4627427 140733617725392 18446744073709551615 47526872925748 0 0 4096 2 18446604471127570240 0 0 -1 1 0 0 0
[pid=16965/tid=16967] ppid=16963 vsize=2828732 CPUtime=519.88 cores=1,3,5,7
/proc/16965/task/16967/stat : 16967 (strangenight2-m) S 16963 16965 16932 0 -1 4202560 244436 0 0 0 51912 76 0 0 25 0 4 0 593100726 2896621568 542335 33554432000 4194304 4627427 140733617725392 18446744073709551615 47526872925748 0 0 4096 2 18446604471127570240 0 0 -1 7 0 0 0
[pid=16965/tid=16968] ppid=16963 vsize=2828732 CPUtime=524.36 cores=1,3,5,7
/proc/16965/task/16968/stat : 16968 (strangenight2-m) R 16963 16965 16932 0 -1 4202560 207041 0 0 0 52372 64 0 0 25 0 4 0 593100726 2896621568 542335 33554432000 4194304 4627427 140733617725392 18446744073709551615 4308411 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2091.34
Current children cumulated vsize (KiB) 2828732

[startup+524.601 s]
/proc/loadavg: 8.00 6.66 3.47 7/184 16992
/proc/meminfo: memFree=8570124/32950928 swapFree=67111524/67111528
[pid=16965] ppid=16963 vsize=2828732 CPUtime=2091.74 cores=1,3,5,7
/proc/16965/stat : 16965 (strangenight2-m) R 16963 16965 16932 0 -1 4202496 868166 0 0 0 208908 266 0 0 25 0 4 0 593100725 2896621568 542335 33554432000 4194304 4627427 140733617725392 18446744073709551615 47526872901163 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/16965/statm: 707183 542335 391 106 0 702154 0
[pid=16965/tid=16966] ppid=16963 vsize=2828732 CPUtime=522.73 cores=1,3,5,7
/proc/16965/task/16966/stat : 16966 (strangenight2-m) S 16963 16965 16932 0 -1 4202560 218088 0 0 0 52207 66 0 0 25 0 4 0 593100726 2896621568 542335 33554432000 4194304 4627427 140733617725392 18446744073709551615 47526872925748 0 0 4096 2 18446604471127570240 0 0 -1 1 0 0 0
[pid=16965/tid=16967] ppid=16963 vsize=2828732 CPUtime=519.88 cores=1,3,5,7
/proc/16965/task/16967/stat : 16967 (strangenight2-m) S 16963 16965 16932 0 -1 4202560 244436 0 0 0 51912 76 0 0 25 0 4 0 593100726 2896621568 542335 33554432000 4194304 4627427 140733617725392 18446744073709551615 47526872925748 0 0 4096 2 18446604471127570240 0 0 -1 7 0 0 0
[pid=16965/tid=16968] ppid=16963 vsize=2828732 CPUtime=524.56 cores=1,3,5,7
/proc/16965/task/16968/stat : 16968 (strangenight2-m) R 16963 16965 16932 0 -1 4202560 207041 0 0 0 52392 64 0 0 25 0 4 0 593100726 2896621568 542335 33554432000 4194304 4627427 140733617725392 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2091.74
Current children cumulated vsize (KiB) 2828732

[startup+524.701 s]
/proc/loadavg: 8.00 6.66 3.47 6/182 16992
/proc/meminfo: memFree=9595000/32950928 swapFree=67111524/67111528
[pid=16965] ppid=16963 vsize=0 CPUtime=2091.9 cores=1,3,5,7
/proc/16965/stat : 16965 (strangenight2-m) Z 16963 16965 16932 0 -1 4202524 868169 0 0 0 208919 271 0 0 25 0 2 0 593100725 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/16965/statm: 0 0 0 0 0 0 0
[pid=16965/tid=16967] ppid=16963 vsize=0 CPUtime=519.93 cores=1,3,5,7
/proc/16965/task/16967/stat : 16967 (strangenight2-m) R 16963 16965 16932 0 -1 4203588 244436 0 0 0 51912 81 0 0 18 0 2 0 593100726 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2091.9
Current children cumulated vsize (KiB) 0

Child status: 20
Real time (s): 524.75
CPU time (s): 2091.95
CPU user time (s): 2089.19
CPU system time (s): 2.75558
CPU usage (%): 398.656
Max. virtual memory (cumulated for all children) (KiB): 2962960

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2089.19
system time used= 2.75558
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 868169
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= 13577
involuntary context switches= 13499

runsolver used 0.742887 second user time and 2.13867 second system time

The end

Launcher Data 

Begin job on node115 at 2011-04-29 00:11:41
IDJOB=3282480
IDBENCH=70817
IDSOLVER=1586
FILE ID=node115/3282480-1304028700
RUNJOBID= node115-1304028687-16952
PBS_JOBID= 13170337
Free space on /tmp= 72728 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
BENCH NAME= SAT09/APPLICATIONS/bitverif/maxxor/maxxor064.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3282480-1304028700/watcher-3282480-1304028700 -o /tmp/evaluation-result-3282480-1304028700/solver-3282480-1304028700 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3282480-1304028700.cnf

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

MD5SUM BENCH= 902b28046d424b16042ca612ddad48e0
RANDOM SEED=766403027

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      12811428 kB
Buffers:       2313796 kB
Cached:       17203900 kB
SwapCached:          4 kB
Active:        7527048 kB
Inactive:     12058472 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      12811428 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:           10920 kB
Writeback:           0 kB
AnonPages:       66904 kB
Mapped:          14404 kB
Slab:           492040 kB
PageTables:       4488 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   189888 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= 72708 MiB
End job on node115 at 2011-04-29 00:20:25