Trace number 3283126

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-1-mtSignal 812.019 205.193

General information on the benchmark

NameAPPLICATIONS/bioinfo/
q_query_3_L70_coli.sat.cnf
MD5SUM7fc9b20f0efe1e9457bd61eba8178674
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark26.103
Satisfiable
(Un)Satisfiability was proved
Number of variables218792
Number of clauses1020908
Sum of the clauses size2941934
Maximum clause length11
Minimum clause length1
Number of clauses of size 123977
Number of clauses of size 2286047
Number of clauses of size 3535908
Number of clauses of size 4137995
Number of clauses of size 536772
Number of clauses of size over 5209

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.00	c Using 4 threads
0.00/0.00	c This is CryptoMiniSat 2.9.0
0.00/0.00	c compiled with gcc version 4.4.5
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3283126-1304033437.cnf'
0.00/0.00	c -- header says num vars:         218792
0.00/0.00	c -- header says num clauses:     1020908
1.46/0.49	c -- clauses added:            0 learnts,      1020908 normals,            0 xors
1.46/0.49	c -- vars added     218792
1.46/0.49	c Parsing time:  1.56 s
1.46/0.49	c  N st     0         0    218792    615522    262391         0   2580672         0   no data   no data  --
3.02/0.81	c asymm  cl-useful: 137/502/580679 lits-rem:137 time: 1.10
27.78/7.07	c Flit:  3879 Blit:   1339 bXBeca:    0 bXProp: 46977 Bins:      0 BRemL:      0 BRemN:      0 P: 190.0M T: 24.70
28.18/7.17	c Cleaning up after failed var search:     0.39 s 
28.97/7.30	c Replacing    46977 vars Replaced   809867 lits Time:     0.49 s 
29.36/7.47	c bin-w-bin subsume rem          316 bins  time:  0.14 s
29.75/7.53	c subs with bin:       93  lits-rem:        67  v-fix:    0  time:  0.23 s
30.16/7.67	c Subs w/ non-existent bins:     18 l-rem:     76 v-fix:     0 done:  80434 time:  0.54 s
30.55/7.76	c Removed useless bin:   10702  fixed:     0  props:  15.14M  time:  0.37 s
32.92/8.32	c lits-rem:         6  cl-subs:     2355  v-elim:  30140  v-fix:    0  time:  2.18 s
32.92/8.35	c Finding binary XORs  T:     0.10 s  found:       0
33.71/8.53	c Finding non-binary XORs:     0.55 s (found:       0, avg size: nan)
33.71/8.53	c Calc default polars -  time:   0.07 s pos:   21307 undec:  159091 neg:   38394
33.71/8.53	c =========================================================================================
33.71/8.53	c types(t): F = full restart, N = normal restart
33.71/8.53	c types(t): S = simplification begin/end, E = solution found
33.71/8.53	c restart types(rt): st = static, dy = dynamic
33.71/8.53	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
33.71/8.53	c  B st     0         0     60281    240229     94049         0    956535         0   no data   no data  --
35.71/9.01	c  N dy    16      4021     60277    240229     94254      3756    956534     40640      5.57      5.89  --
37.71/9.54	c  N dy    41      8031     60263    240229     96994      7592    956534     95970      5.84      6.60  --
40.10/10.18	c  N dy    70     12180     60195    240229     97072     11611    956532    156544      6.08      6.43  --
43.30/10.97	c  N dy   102     16189     60190    240229     97327     15525    956532    222008      6.32      6.93  --
46.46/11.78	c  N dy   127     20257     60186    240229     97590      9875    956532     83931      6.38      7.53  --
50.05/12.68	c  N dy   160     24329     60186    240229     97810     13861    956532    163913      6.59      7.87  --
51.24/12.91	c  F st   165     25001     60186    240229     97817     14521    956532    175219      6.60      6.32  --
52.06/13.10	c Found part     4441 vars:      60177 clauses:    332206 lits size:    947280
52.06/13.10	c Found part     4442 vars:          2 clauses:         1 lits size:         2
52.06/13.10	c Found part     4443 vars:          2 clauses:         1 lits size:         2
52.06/13.10	c Found parts:          3 time: 0.77 s
52.06/13.10	c Solving part 4442
52.06/13.20	c  N st     0         0         2         0         1         0         2         0   no data   no data  --
52.06/13.20	c asymm  cl-useful: 0/0/0 lits-rem:0 time: 0.00
52.45/13.20	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
52.45/13.21	c Finding binary XORs  T:     0.05 s  found:       0
52.45/13.22	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
52.45/13.22	c Calc default polars -  time:   0.01 s pos:       1 undec:  218790 neg:       1
52.45/13.22	c =========================================================================================
52.45/13.22	c types(t): F = full restart, N = normal restart
52.45/13.22	c types(t): S = simplification begin/end, E = solution found
52.45/13.22	c restart types(rt): st = static, dy = dynamic
52.45/13.22	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
52.45/13.22	c  B st     0         0         2         0         1         0         2         0   no data   no data  --
52.45/13.22	c  E st     1         0         0         0         1         0         2         0   no data   no data  --
52.45/13.22	c Verified 0 clauses.
52.45/13.22	c Verified 0 clauses.
52.45/13.22	c Solved part
52.45/13.22	c =========================================================================================
52.45/13.23	c Solving part 4443
52.82/13.32	c  N st     0         0         2         0         1         0         2         0   no data   no data  --
52.82/13.32	c asymm  cl-useful: 0/0/0 lits-rem:0 time: 0.00
52.82/13.32	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
52.82/13.33	c Finding binary XORs  T:     0.05 s  found:       0
52.82/13.34	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
52.82/13.34	c Calc default polars -  time:   0.01 s pos:       1 undec:  218790 neg:       1
52.82/13.34	c =========================================================================================
52.82/13.34	c types(t): F = full restart, N = normal restart
52.82/13.34	c types(t): S = simplification begin/end, E = solution found
52.82/13.34	c restart types(rt): st = static, dy = dynamic
52.82/13.34	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
52.82/13.34	c  B st     0         0         2         0         1         0         2         0   no data   no data  --
52.82/13.34	c  E st     1         0         0         0         1         0         2         0   no data   no data  --
52.82/13.34	c Verified 0 clauses.
52.82/13.34	c Verified 0 clauses.
52.82/13.34	c Solved part
52.82/13.34	c =========================================================================================
52.82/13.35	c Coming back to original instance
52.82/13.35	c =========================================================================================
56.02/14.18	c  N dy   171     30001     60173    238202     97795     19374    947280    266031      6.60   no data  --
56.02/14.18	c  S st   171     30001     60173    238202     97795     19374    947280    266031      6.60   no data  --
56.83/14.38	c Finding binary XORs  T:     0.11 s  found:     117
57.21/14.46	c  S st   171     30502     59976    237426     97702     19604    943971    270298      6.60   no data  --
57.21/14.49	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.11
173.46/43.52	c Flit:   308 Blit:   3848 bXBeca:    0 bXProp: 22508 Bins: 106483 BRemL:  19429 BRemN:    449 P: 200.0M T: 115.81
173.46/43.55	c Cleaning up after failed var search:     0.10 s 
173.85/43.68	c Replacing    22625 vars Replaced   695973 lits Time:     0.48 s 
174.26/43.79	c bin-w-bin subsume rem        61080 bins  time:  0.16 s
175.07/43.93	c subs with bin:    11849  lits-rem:     21681  v-fix:    0  time:  0.53 s
175.47/44.08	c Subs w/ non-existent bins:   1487 l-rem:   3898 v-fix:     0 done:  14141 time:  0.61 s
175.85/44.18	c Removed useless bin:    1142  fixed:     0  props:  20.02M  time:  0.33 s
181.03/45.49	c lits-rem:     11562  cl-subs:    34903  v-elim:  10987  v-fix:    0  time:  5.20 s
182.63/45.82	c asymm  cl-useful: 243/9199/169632 lits-rem:365 time: 1.31
182.63/45.86	c calculated reachability. Time: 0.10
182.63/45.86	c  N dy   171     30502     21341    169604     67076     10926    603668    186040      6.60   no data  --
183.43/46.05	c Finding binary XORs  T:     0.76 s  found:      28
186.62/46.83	c  N dy   188     34569     21341    169604     67100     14939    603666    262440      6.54      6.93  --
190.63/47.86	c  N dy   207     38645     21337    169604     67596     18965    603663    345091      6.51      7.82  --
195.02/48.98	c Finding binary XORs  T:     0.47 s  found:       5
195.42/49.04	c  N dy   229     42849     21337    169576    120847     23112    603572    536256      6.52      7.77  --
198.61/49.85	c  S st   245     45754     21337    169576    120878     25967    603569    599015      6.54   no data  --
199.42/50.05	c  S st   245     46256     21336    169576    120926     26410    603567    605211      6.54   no data  --
199.42/50.07	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
199.42/50.08	c Cache  BProp: 4 Set: 4 BXProp: 0 T: 0.03
306.46/76.81	c Flit:    43 Blit:      8 bXBeca:    0 bXProp:  180 Bins:  25110 BRemL:  67879 BRemN:   1794 P: 46.0M T: 106.61
306.46/76.86	c Replacing      213 vars Replaced    20868 lits Time:     0.19 s 
306.88/76.93	c bin-w-bin subsume rem        19968 bins  time:  0.09 s
307.28/77.07	c subs with bin:     4788  lits-rem:     11011  v-fix:    0  time:  0.53 s
307.65/77.15	c Subs w/ non-existent bins:   2783 l-rem:   8056 v-fix:     0 done:  17838 time:  0.34 s
307.65/77.19	c Removed useless bin:    3168  fixed:     0  props:   6.30M  time:  0.14 s
314.85/78.91	c lits-rem:      3717  cl-subs:     8228  v-elim:    600  v-fix:    0  time:  6.84 s
314.85/78.97	c vivif2 --  cl tried   161663 cl shrink     1475 lits rem       1528 time: 0.27
315.25/79.03	c vivif2 --  cl tried    19674 cl shrink     5187 lits rem      11872 time: 0.21
316.44/79.38	c asymm  cl-useful: 73/4162/160524 lits-rem:82 time: 1.42
316.84/79.41	c calculated reachability. Time: 0.06
316.84/79.41	c  N dy   245     46256     20409    160522     51865     19656    571799    292000      6.54   no data  --
317.24/79.54	c Finding binary XORs  T:     0.52 s  found:       8
320.46/80.37	c Finding binary XORs  T:     0.48 s  found:    1458
320.46/80.39	c Replacing     1466 vars Replaced    35440 lits Time:     0.10 s 
321.64/80.61	c  N dy   259     50401     13448    104986     80846     11944    359848    263447      6.47      6.84  --
324.03/81.25	c  N dy   281     54477     13138    100483     79622     15087    343659    315326      6.48      7.08  --
326.83/81.94	c  N dy   303     58482     13137    100483     86741     11082    343651    257682      6.49      6.92  --
329.62/82.65	c  N dy   329     62498     13135    100483     86837     15051    343644    326235      6.50      6.92  --
330.02/82.78	c Finding binary XORs  T:     0.48 s  found:     370
330.42/82.80	c Replacing      370 vars Replaced     4620 lits Time:     0.07 s 
333.64/83.64	c  N dy   348     66971     12764    100421     85590     19376    341097    402076      6.50      6.86  --
335.61/84.14	c  S st   358     69384     12764    100421     85671     21691    341096    443282      6.49      5.53  --
336.01/84.27	c  S st   358     69886     12764    100421     85695     22156    341089    449539      6.49   no data  --
336.01/84.28	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
336.01/84.29	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.03
624.02/156.31	c Flit:    48 Blit:     27 bXBeca:    0 bXProp:  156 Bins:  22817 BRemL:  44438 BRemN:     51 P: 46.9M T: 287.59
624.02/156.34	c Replacing      156 vars Replaced     3515 lits Time:     0.12 s 
624.42/156.40	c bin-w-bin subsume rem         4928 bins  time:  0.07 s
624.82/156.50	c subs with bin:     2553  lits-rem:      9246  v-fix:    0  time:  0.42 s
624.82/156.55	c Subs w/ non-existent bins:   1033 l-rem:   6923 v-fix:     0 done:   3192 time:  0.18 s
624.82/156.57	c Removed useless bin:    1052  fixed:     0  props:   1.85M  time:  0.06 s
628.42/157.44	c lits-rem:      3147  cl-subs:     5311  v-elim:    417  v-fix:    0  time:  3.47 s
628.42/157.47	c vivif2 --  cl tried    95270 cl shrink      593 lits rem        593 time: 0.14
628.82/157.51	c vivif2 --  cl tried    17790 cl shrink     5371 lits rem      21802 time: 0.15
630.42/157.95	c asymm  cl-useful: 1/6278/94870 lits-rem:3 time: 1.76
630.42/157.97	c calculated reachability. Time: 0.06
630.42/157.97	c  N dy   358     69886     12100     94869     57249     17782    320655    285422      6.49   no data  --
631.22/158.10	c Finding binary XORs  T:     0.51 s  found:       1
634.01/158.84	c  N dy   371     74481     12082     94869     63968     22333    320655    377919      6.46      6.81  --
637.20/159.68	c  N dy   387     79421     12003     94869     63984     27244    320654    465447      6.45      6.84  --
640.40/160.49	c Finding binary XORs  T:     0.50 s  found:      66
641.60/160.71	c  N dy   408     84558     12003     89561     71708     16182    303288    268742      6.44      6.94  --
643.60/161.29	c  F st   426     87500     12002     89561     71717     19101    303288    321607      6.44   no data  --
644.00/161.32	c Replacing       67 vars Replaced    18236 lits Time:     0.11 s 
646.00/161.87	c  N st   431     90799     11935     89407     71397     22121    302410    387019      6.44   no data  --
650.80/163.07	c  N dy   451     96703     11935     89407     71463     27993    302410    507895      6.45      6.86  --
655.99/164.30	c  N dy   482    102925     11934     89407     71479     34181    302410    626403      6.46      7.82  --
657.59/164.77	c  S st   491    104830     11934     89407     71484     18135    302410    263160      6.46   no data  --
657.99/164.90	c  S st   491    105333     11934     89407     71489     18626    302408    270916      6.46   no data  --
658.41/164.92	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
658.41/164.93	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.04
761.84/190.86	c Flit:    41 Blit:      6 bXBeca:    0 bXProp:   22 Bins:   1811 BRemL:  34253 BRemN:     25 P: 34.0M T: 103.53
761.84/190.88	c Replacing       22 vars Replaced      577 lits Time:     0.10 s 
762.24/190.92	c bin-w-bin subsume rem         2296 bins  time:  0.05 s
762.24/190.96	c subs with bin:      810  lits-rem:      1979  v-fix:    0  time:  0.14 s
762.64/191.00	c Subs w/ non-existent bins:    301 l-rem:   2055 v-fix:     0 done:  11863 time:  0.18 s
762.64/191.01	c Removed useless bin:     165  fixed:     0  props:   0.60M  time:  0.04 s
764.26/191.48	c lits-rem:      2921  cl-subs:     9883  v-elim:   2116  v-fix:    0  time:  1.86 s
764.63/191.51	c vivif2 --  cl tried    80452 cl shrink      242 lits rem        246 time: 0.14
764.63/191.53	c vivif2 --  cl tried    12911 cl shrink     1150 lits rem       3370 time: 0.06
768.25/192.42	c asymm  cl-useful: 2112/16018/80213 lits-rem:6336 time: 3.56
768.25/192.44	c calculated reachability. Time: 0.06
768.25/192.44	c  N dy   491    105333      9747     78101     38312     12902    278477    137441      6.46   no data  --
768.65/192.57	c Finding binary XORs  T:     0.52 s  found:      16
772.22/193.46	c Finding binary XORs  T:     0.51 s  found:      19
773.42/193.72	c  N dy   508    112504      9717     77987     51805     19984    277733    295279      6.43      6.77  --
778.22/194.90	c  N dy   529    119991      9715     77987     52030     27443    277733    432646      6.40      6.76  --
784.21/196.45	c  N dy   564    128220      9715     77987     52046     35630    277733    582715      6.39      6.73  --
791.40/198.24	c  N dy   608    136450      9715     77987     52117     22970    277732    285998      6.40      7.37  --
795.80/199.39	c Finding binary XORs  T:     0.50 s  found:    1013
796.20/199.42	c Replacing     1048 vars Replaced    59670 lits Time:     0.10 s 
799.41/200.20	c  N dy   635    146920      8474     75844     40331     33078    267118    452760      6.36      6.70  --
806.98/202.15	c  N dy   679    156391      8338     73220     32650     39544    256455    544153      6.36      6.84  --
808.57/202.53	c Finding binary XORs  T:     0.49 s  found:     589
808.57/202.56	c Replacing      589 vars Replaced    61293 lits Time:     0.14 s 
808.97/202.64	c  S st   684    157999      7749     73163     29360     40298    252450    547582      6.36   no data  --
809.37/202.74	strangenight1-mt: PartHandler.cpp:468: void PartHandler::addSavedState(): Assertion `solver.assigns[var] == l_Undef' failed.

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-3283126-1304033437/watcher-3283126-1304033437 -o /tmp/evaluation-result-3283126-1304033437/solver-3283126-1304033437 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3283126-1304033437.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: 7.44 7.39 7.59 5/181 25910
/proc/meminfo: memFree=17669668/32950928 swapFree=67111364/67111528
[pid=25910] ppid=25908 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/25910/stat : 25910 (strangenight1-m) R 25908 25910 25390 0 -1 4202496 413 0 0 0 0 0 0 0 20 0 4 0 593574410 52465664 352 33554432000 4194304 4650419 140733396326768 18446744073709551615 47850453485490 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/25910/statm: 12809 352 303 112 0 7774 0
[pid=25910/tid=25911] ppid=25908 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/25910/task/25911/stat : 25911 (strangenight1-m) R 25908 25910 25390 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 4 0 593574411 52465664 352 33554432000 4194304 4650419 140733396326768 18446744073709551615 47850453485484 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25910/tid=25912] ppid=25908 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/25910/task/25912/stat : 25912 (strangenight1-m) R 25908 25910 25390 0 -1 4202560 0 0 0 0 0 0 0 0 21 0 4 0 593574411 52465664 352 33554432000 4194304 4650419 140733396326768 18446744073709551615 47850453485490 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25910/tid=25913] ppid=25908 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/25910/task/25913/stat : 25913 (strangenight1-m) R 25908 25910 25390 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 4 0 593574411 52465664 352 33554432000 4194304 4650419 140733396326768 18446744073709551615 251367603185 0 0 4096 2 0 0 0 -1 4 0 0 0

[startup+0.025925 s]
/proc/loadavg: 7.44 7.39 7.59 5/181 25910
/proc/meminfo: memFree=17669668/32950928 swapFree=67111364/67111528
[pid=25910] ppid=25908 vsize=301716 CPUtime=0.07 cores=0,2,4,6
/proc/25910/stat : 25910 (strangenight1-m) R 25908 25910 25390 0 -1 4202496 10886 0 0 0 6 1 0 0 18 0 4 0 593574410 308957184 8785 33554432000 4194304 4650419 140733396326768 18446744073709551615 4317116 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/25910/statm: 75429 8824 345 112 0 70394 0
[pid=25910/tid=25911] ppid=25908 vsize=301716 CPUtime=0.01 cores=0,2,4,6
/proc/25910/task/25911/stat : 25911 (strangenight1-m) R 25908 25910 25390 0 -1 4202560 2673 0 0 0 1 0 0 0 22 0 4 0 593574411 308957184 8842 33554432000 4194304 4650419 140733396326768 18446744073709551615 4316340 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25910/tid=25912] ppid=25908 vsize=301716 CPUtime=0.02 cores=0,2,4,6
/proc/25910/task/25912/stat : 25912 (strangenight1-m) R 25908 25910 25390 0 -1 4202560 2745 0 0 0 2 0 0 0 18 0 4 0 593574411 308957184 8863 33554432000 4194304 4650419 140733396326768 18446744073709551615 4319147 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25910/tid=25913] ppid=25908 vsize=301716 CPUtime=0.01 cores=0,2,4,6
/proc/25910/task/25913/stat : 25913 (strangenight1-m) R 25908 25910 25390 0 -1 4202560 2732 0 0 0 1 0 0 0 18 0 4 0 593574411 308957184 8874 33554432000 4194304 4650419 140733396326768 18446744073709551615 251367244153 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 301716

[startup+0.101926 s]
/proc/loadavg: 7.44 7.39 7.59 5/181 25910
/proc/meminfo: memFree=17669668/32950928 swapFree=67111364/67111528
[pid=25910] ppid=25908 vsize=372080 CPUtime=0.36 cores=0,2,4,6
/proc/25910/stat : 25910 (strangenight1-m) R 25908 25910 25390 0 -1 4202496 42220 0 0 0 29 7 0 0 18 0 4 0 593574410 381009920 33574 33554432000 4194304 4650419 140733396326768 18446744073709551615 251367651871 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/25910/statm: 93020 33970 345 112 0 87985 0
[pid=25910/tid=25911] ppid=25908 vsize=372080 CPUtime=0.09 cores=0,2,4,6
/proc/25910/task/25911/stat : 25911 (strangenight1-m) S 25908 25910 25390 0 -1 4202560 10761 0 0 0 7 2 0 0 18 0 4 0 593574411 381009920 34262 33554432000 4194304 4650419 140733396326768 18446744073709551615 251367651822 0 0 4096 2 18446604453894611072 0 0 -1 6 0 0 0
[pid=25910/tid=25912] ppid=25908 vsize=372080 CPUtime=0.09 cores=0,2,4,6
/proc/25910/task/25912/stat : 25912 (strangenight1-m) R 25908 25910 25390 0 -1 4202560 10221 0 0 0 8 1 0 0 18 0 4 0 593574411 381009920 34263 33554432000 4194304 4650419 140733396326768 18446744073709551615 4520352 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25910/tid=25913] ppid=25908 vsize=372080 CPUtime=0.09 cores=0,2,4,6
/proc/25910/task/25913/stat : 25913 (strangenight1-m) R 25908 25910 25390 0 -1 4202560 10787 0 0 0 8 1 0 0 18 0 4 0 593574411 381009920 34263 33554432000 4194304 4650419 140733396326768 18446744073709551615 251367651871 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.36
Current children cumulated vsize (KiB) 372080

[startup+0.30119 s]
/proc/loadavg: 7.44 7.39 7.59 5/181 25910
/proc/meminfo: memFree=17669668/32950928 swapFree=67111364/67111528
[pid=25910] ppid=25908 vsize=507788 CPUtime=1.1 cores=0,2,4,6
/proc/25910/stat : 25910 (strangenight1-m) R 25908 25910 25390 0 -1 4202496 89657 0 0 0 94 16 0 0 18 0 4 0 593574410 519974912 72627 33554432000 4194304 4650419 140733396326768 18446744073709551615 4306853 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/25910/statm: 126995 72770 345 112 0 121960 0
[pid=25910/tid=25911] ppid=25908 vsize=507980 CPUtime=0.27 cores=0,2,4,6
/proc/25910/task/25911/stat : 25911 (strangenight1-m) S 25908 25910 25390 0 -1 4202560 22690 0 0 0 23 4 0 0 18 0 4 0 593574411 520171520 72789 33554432000 4194304 4650419 140733396326768 18446744073709551615 251367651822 0 0 4096 2 18446604453894611072 0 0 -1 6 0 0 0
[pid=25910/tid=25912] ppid=25908 vsize=508168 CPUtime=0.27 cores=0,2,4,6
/proc/25910/task/25912/stat : 25912 (strangenight1-m) R 25908 25910 25390 0 -1 4202560 21918 0 0 0 24 3 0 0 18 0 4 0 593574411 520364032 73056 33554432000 4194304 4650419 140733396326768 18446744073709551615 4317020 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25910/tid=25913] ppid=25908 vsize=508168 CPUtime=0.27 cores=0,2,4,6
/proc/25910/task/25913/stat : 25913 (strangenight1-m) D 25908 25910 25390 0 -1 4202560 22332 0 0 0 24 3 0 0 18 0 4 0 593574411 520364032 73065 33554432000 4194304 4650419 140733396326768 18446744073709551615 251367243879 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.1
Current children cumulated vsize (KiB) 507788

[startup+0.700804 s]
/proc/loadavg: 7.44 7.39 7.59 5/181 25910
/proc/meminfo: memFree=17669668/32950928 swapFree=67111364/67111528
[pid=25910] ppid=25908 vsize=661092 CPUtime=2.62 cores=0,2,4,6
/proc/25910/stat : 25910 (strangenight1-m) R 25908 25910 25390 0 -1 4202496 122524 0 0 0 237 25 0 0 18 0 4 0 593574410 676958208 105031 33554432000 4194304 4650419 140733396326768 18446744073709551615 4370522 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/25910/statm: 165273 105031 368 112 0 160238 0
[pid=25910/tid=25911] ppid=25908 vsize=661092 CPUtime=0.64 cores=0,2,4,6
/proc/25910/task/25911/stat : 25911 (strangenight1-m) R 25908 25910 25390 0 -1 4202560 30496 0 0 0 58 6 0 0 18 0 4 0 593574411 676958208 105031 33554432000 4194304 4650419 140733396326768 18446744073709551615 4370340 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25910/tid=25912] ppid=25908 vsize=661092 CPUtime=0.66 cores=0,2,4,6
/proc/25910/task/25912/stat : 25912 (strangenight1-m) R 25908 25910 25390 0 -1 4202560 30061 0 0 0 61 5 0 0 18 0 4 0 593574411 676958208 105031 33554432000 4194304 4650419 140733396326768 18446744073709551615 4370482 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25910/tid=25913] ppid=25908 vsize=661092 CPUtime=0.65 cores=0,2,4,6
/proc/25910/task/25913/stat : 25913 (strangenight1-m) R 25908 25910 25390 0 -1 4202560 31196 0 0 0 59 6 0 0 18 0 4 0 593574411 676958208 105031 33554432000 4194304 4650419 140733396326768 18446744073709551615 4313323 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.62
Current children cumulated vsize (KiB) 661092

[startup+1.50065 s]
/proc/loadavg: 7.44 7.39 7.59 10/185 25914
/proc/meminfo: memFree=17201784/32950928 swapFree=67111364/67111528
[pid=25910] ppid=25908 vsize=746156 CPUtime=5.82 cores=0,2,4,6
/proc/25910/stat : 25910 (strangenight1-m) R 25908 25910 25390 0 -1 4202496 145753 0 0 0 552 30 0 0 18 0 4 0 593574410 764063744 116815 33554432000 4194304 4650419 140733396326768 18446744073709551615 4370388 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/25910/statm: 186539 116815 372 112 0 181504 0
[pid=25910/tid=25911] ppid=25908 vsize=746156 CPUtime=1.43 cores=0,2,4,6
/proc/25910/task/25911/stat : 25911 (strangenight1-m) R 25908 25910 25390 0 -1 4202560 38117 0 0 0 135 8 0 0 19 0 4 0 593574411 764063744 116815 33554432000 4194304 4650419 140733396326768 18446744073709551615 4369471 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25910/tid=25912] ppid=25908 vsize=746156 CPUtime=1.46 cores=0,2,4,6
/proc/25910/task/25912/stat : 25912 (strangenight1-m) R 25908 25910 25390 0 -1 4202560 37889 0 0 0 140 6 0 0 19 0 4 0 593574411 764063744 116815 33554432000 4194304 4650419 140733396326768 18446744073709551615 4243855 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25910/tid=25913] ppid=25908 vsize=746156 CPUtime=1.45 cores=0,2,4,6
/proc/25910/task/25913/stat : 25913 (strangenight1-m) R 25908 25910 25390 0 -1 4202560 31331 0 0 0 139 6 0 0 19 0 4 0 593574411 764063744 116815 33554432000 4194304 4650419 140733396326768 18446744073709551615 4313304 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.82
Current children cumulated vsize (KiB) 746156

[startup+3.10035 s]
/proc/loadavg: 7.44 7.39 7.59 9/185 25914
/proc/meminfo: memFree=17200420/32950928 swapFree=67111364/67111528
[pid=25910] ppid=25908 vsize=747120 CPUtime=12.21 cores=0,2,4,6
/proc/25910/stat : 25910 (strangenight1-m) R 25908 25910 25390 0 -1 4202496 146599 0 0 0 1191 30 0 0 21 0 4 0 593574410 765050880 117660 33554432000 4194304 4650419 140733396326768 18446744073709551615 4245091 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/25910/statm: 186780 117660 373 112 0 181745 0
[pid=25910/tid=25911] ppid=25908 vsize=747120 CPUtime=3.03 cores=0,2,4,6
/proc/25910/task/25911/stat : 25911 (strangenight1-m) R 25908 25910 25390 0 -1 4202560 38225 0 0 0 295 8 0 0 22 0 4 0 593574411 765050880 117660 33554432000 4194304 4650419 140733396326768 18446744073709551615 4243899 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25910/tid=25912] ppid=25908 vsize=747120 CPUtime=3.06 cores=0,2,4,6
/proc/25910/task/25912/stat : 25912 (strangenight1-m) R 25908 25910 25390 0 -1 4202560 38036 0 0 0 300 6 0 0 22 0 4 0 593574411 765050880 117660 33554432000 4194304 4650419 140733396326768 18446744073709551615 4369378 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25910/tid=25913] ppid=25908 vsize=747120 CPUtime=3.04 cores=0,2,4,6
/proc/25910/task/25913/stat : 25913 (strangenight1-m) R 25908 25910 25390 0 -1 4202560 31880 0 0 0 298 6 0 0 23 0 4 0 593574411 765050880 117660 33554432000 4194304 4650419 140733396326768 18446744073709551615 4331047 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.21
Current children cumulated vsize (KiB) 747120

[startup+6.30076 s]
/proc/loadavg: 7.48 7.40 7.59 9/184 25914
/proc/meminfo: memFree=17181084/32950928 swapFree=67111364/67111528
[pid=25910] ppid=25908 vsize=824100 CPUtime=24.98 cores=0,2,4,6
/proc/25910/stat : 25910 (strangenight1-m) R 25908 25910 25390 0 -1 4202496 150606 0 0 0 2467 31 0 0 25 0 4 0 593574410 843878400 121667 33554432000 4194304 4650419 140733396326768 18446744073709551615 4245532 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/25910/statm: 206025 121667 374 112 0 200990 0
[pid=25910/tid=25911] ppid=25908 vsize=824100 CPUtime=6.22 cores=0,2,4,6
/proc/25910/task/25911/stat : 25911 (strangenight1-m) R 25908 25910 25390 0 -1 4202560 38401 0 0 0 614 8 0 0 25 0 4 0 593574411 843878400 121667 33554432000 4194304 4650419 140733396326768 18446744073709551615 4369214 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25910/tid=25912] ppid=25908 vsize=824100 CPUtime=6.24 cores=0,2,4,6
/proc/25910/task/25912/stat : 25912 (strangenight1-m) R 25908 25910 25390 0 -1 4202560 38175 0 0 0 618 6 0 0 25 0 4 0 593574411 843878400 121667 33554432000 4194304 4650419 140733396326768 18446744073709551615 4369877 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25910/tid=25913] ppid=25908 vsize=824100 CPUtime=6.25 cores=0,2,4,6
/proc/25910/task/25913/stat : 25913 (strangenight1-m) R 25908 25910 25390 0 -1 4202560 35402 0 0 0 618 7 0 0 25 0 4 0 593574411 843878400 121667 33554432000 4194304 4650419 140733396326768 18446744073709551615 4303973 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 24.98
Current children cumulated vsize (KiB) 824100

[startup+12.7006 s]
/proc/loadavg: 7.53 7.41 7.59 9/184 25914
/proc/meminfo: memFree=17055592/32950928 swapFree=67111364/67111528
[pid=25910] ppid=25908 vsize=851032 CPUtime=50.44 cores=0,2,4,6
/proc/25910/stat : 25910 (strangenight1-m) R 25908 25910 25390 0 -1 4202496 646524 0 0 0 4951 93 0 0 25 0 4 0 593574410 871456768 157543 33554432000 4194304 4650419 140733396326768 18446744073709551615 4364883 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/25910/statm: 212758 157569 395 112 0 207723 0
[pid=25910/tid=25911] ppid=25908 vsize=851032 CPUtime=12.59 cores=0,2,4,6
/proc/25910/task/25911/stat : 25911 (strangenight1-m) R 25908 25910 25390 0 -1 4202560 75152 0 0 0 1241 18 0 0 25 0 4 0 593574411 871456768 157578 33554432000 4194304 4650419 140733396326768 18446744073709551615 251367244215 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=25910/tid=25912] ppid=25908 vsize=851032 CPUtime=12.61 cores=0,2,4,6
/proc/25910/task/25912/stat : 25912 (strangenight1-m) R 25908 25910 25390 0 -1 4202560 55803 0 0 0 1249 12 0 0 25 0 4 0 593574411 871456768 157590 33554432000 4194304 4650419 140733396326768 18446744073709551615 4255869 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25910/tid=25913] ppid=25908 vsize=851032 CPUtime=12.61 cores=0,2,4,6
/proc/25910/task/25913/stat : 25913 (strangenight1-m) R 25908 25910 25390 0 -1 4202560 457732 0 0 0 1213 48 0 0 25 0 4 0 593574411 871456768 157601 33554432000 4194304 4650419 140733396326768 18446744073709551615 4368084 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.44
Current children cumulated vsize (KiB) 851032

[startup+25.5002 s]
/proc/loadavg: 7.63 7.44 7.60 9/184 25915
/proc/meminfo: memFree=16854724/32950928 swapFree=67111364/67111528
[pid=25910] ppid=25908 vsize=1113680 CPUtime=101.56 cores=0,2,4,6
/proc/25910/stat : 25910 (strangenight1-m) R 25908 25910 25390 0 -1 4202496 716650 0 0 0 10051 105 0 0 25 0 4 0 593574410 1140408320 203942 33554432000 4194304 4650419 140733396326768 18446744073709551615 4230691 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/25910/statm: 278420 203942 396 112 0 273385 0
[pid=25910/tid=25911] ppid=25908 vsize=1113680 CPUtime=25.38 cores=0,2,4,6
/proc/25910/task/25911/stat : 25911 (strangenight1-m) R 25908 25910 25390 0 -1 4202560 95234 0 0 0 2518 20 0 0 25 0 4 0 593574411 1140408320 203942 33554432000 4194304 4650419 140733396326768 18446744073709551615 4230691 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=25910/tid=25912] ppid=25908 vsize=1113680 CPUtime=25.4 cores=0,2,4,6
/proc/25910/task/25912/stat : 25912 (strangenight1-m) R 25908 25910 25390 0 -1 4202560 83224 0 0 0 2523 17 0 0 25 0 4 0 593574411 1140408320 203942 33554432000 4194304 4650419 140733396326768 18446744073709551615 4345757 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25910/tid=25913] ppid=25908 vsize=1113680 CPUtime=25.33 cores=0,2,4,6
/proc/25910/task/25913/stat : 25913 (strangenight1-m) R 25908 25910 25390 0 -1 4202560 458379 0 0 0 2485 48 0 0 25 0 4 0 593574411 1140408320 203942 33554432000 4194304 4650419 140733396326768 18446744073709551615 4230691 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.56
Current children cumulated vsize (KiB) 1113680

[startup+51.1005 s]
/proc/loadavg: 7.82 7.50 7.61 9/184 25915
/proc/meminfo: memFree=16183748/32950928 swapFree=67111364/67111528
[pid=25910] ppid=25908 vsize=1820500 CPUtime=203.8 cores=0,2,4,6
/proc/25910/stat : 25910 (strangenight1-m) R 25908 25910 25390 0 -1 4202496 886014 0 0 0 20238 142 0 0 25 0 4 0 593574410 1864192000 369301 33554432000 4194304 4650419 140733396326768 18446744073709551615 4230706 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/25910/statm: 455125 369301 396 112 0 450090 0
[pid=25910/tid=25911] ppid=25908 vsize=1820500 CPUtime=50.97 cores=0,2,4,6
/proc/25910/task/25911/stat : 25911 (strangenight1-m) R 25908 25910 25390 0 -1 4202560 138372 0 0 0 5067 30 0 0 25 0 4 0 593574411 1864192000 369301 33554432000 4194304 4650419 140733396326768 18446744073709551615 4430758 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=25910/tid=25912] ppid=25908 vsize=1820500 CPUtime=51 cores=0,2,4,6
/proc/25910/task/25912/stat : 25912 (strangenight1-m) R 25908 25910 25390 0 -1 4202560 122697 0 0 0 5072 28 0 0 25 0 4 0 593574411 1864192000 369301 33554432000 4194304 4650419 140733396326768 18446744073709551615 4369160 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25910/tid=25913] ppid=25908 vsize=1820500 CPUtime=50.79 cores=0,2,4,6
/proc/25910/task/25913/stat : 25913 (strangenight1-m) R 25908 25910 25390 0 -1 4202560 522909 0 0 0 5019 60 0 0 25 0 4 0 593574411 1864192000 369301 33554432000 4194304 4650419 140733396326768 18446744073709551615 4314266 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 203.8
Current children cumulated vsize (KiB) 1820500

[startup+102.306 s]
/proc/loadavg: 7.96 7.59 7.64 9/184 25917
/proc/meminfo: memFree=15921032/32950928 swapFree=67111364/67111528
[pid=25910] ppid=25908 vsize=2087152 CPUtime=408.34 cores=0,2,4,6
/proc/25910/stat : 25910 (strangenight1-m) R 25908 25910 25390 0 -1 4202496 990403 0 0 0 40675 159 0 0 25 0 4 0 593574410 2137243648 428337 33554432000 4194304 4650419 140733396326768 18446744073709551615 4230795 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/25910/statm: 521788 428337 396 112 0 516753 0
[pid=25910/tid=25911] ppid=25908 vsize=2087152 CPUtime=102.18 cores=0,2,4,6
/proc/25910/task/25911/stat : 25911 (strangenight1-m) R 25908 25910 25390 0 -1 4202560 146228 0 0 0 10186 32 0 0 25 0 4 0 593574411 2137243648 428337 33554432000 4194304 4650419 140733396326768 18446744073709551615 4345623 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=25910/tid=25912] ppid=25908 vsize=2087152 CPUtime=102.19 cores=0,2,4,6
/proc/25910/task/25912/stat : 25912 (strangenight1-m) R 25908 25910 25390 0 -1 4202560 155671 0 0 0 10186 33 0 0 20 0 4 0 593574411 2137243648 428337 33554432000 4194304 4650419 140733396326768 18446744073709551615 4231007 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25910/tid=25913] ppid=25908 vsize=2087152 CPUtime=101.73 cores=0,2,4,6
/proc/25910/task/25913/stat : 25913 (strangenight1-m) R 25908 25910 25390 0 -1 4202560 581262 0 0 0 10105 68 0 0 25 0 4 0 593574411 2137243648 428337 33554432000 4194304 4650419 140733396326768 18446744073709551615 4516622 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 408.34
Current children cumulated vsize (KiB) 2087152

[startup+162.301 s]
/proc/loadavg: 7.98 7.66 7.65 9/184 25918
/proc/meminfo: memFree=15862332/32950928 swapFree=67111364/67111528
[pid=25910] ppid=25908 vsize=2152688 CPUtime=648 cores=0,2,4,6
/proc/25910/stat : 25910 (strangenight1-m) R 25908 25910 25390 0 -1 4202496 1014130 0 0 0 64635 165 0 0 25 0 4 0 593574410 2204352512 436067 33554432000 4194304 4650419 140733396326768 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/25910/statm: 538172 436067 396 112 0 533137 0
[pid=25910/tid=25911] ppid=25908 vsize=2152688 CPUtime=162.17 cores=0,2,4,6
/proc/25910/task/25911/stat : 25911 (strangenight1-m) R 25908 25910 25390 0 -1 4202560 146239 0 0 0 16185 32 0 0 25 0 4 0 593574411 2204352512 436067 33554432000 4194304 4650419 140733396326768 18446744073709551615 4370329 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=25910/tid=25912] ppid=25908 vsize=2152688 CPUtime=162.17 cores=0,2,4,6
/proc/25910/task/25912/stat : 25912 (strangenight1-m) R 25908 25910 25390 0 -1 4202560 173408 0 0 0 16181 36 0 0 18 0 4 0 593574411 2204352512 436067 33554432000 4194304 4650419 140733396326768 18446744073709551615 4230702 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25910/tid=25913] ppid=25908 vsize=2152688 CPUtime=161.42 cores=0,2,4,6
/proc/25910/task/25913/stat : 25913 (strangenight1-m) R 25908 25910 25390 0 -1 4202560 586244 0 0 0 16072 70 0 0 25 0 4 0 593574411 2204352512 436067 33554432000 4194304 4650419 140733396326768 18446744073709551615 4255670 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 648
Current children cumulated vsize (KiB) 2152688

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

[startup+179.101 s]
/proc/loadavg: 7.99 7.68 7.66 9/184 25919
/proc/meminfo: memFree=15805164/32950928 swapFree=67111364/67111528
[pid=25910] ppid=25908 vsize=2152688 CPUtime=715.11 cores=0,2,4,6
/proc/25910/stat : 25910 (strangenight1-m) R 25908 25910 25390 0 -1 4202496 1036401 0 0 0 71342 169 0 0 25 0 4 0 593574410 2204352512 446288 33554432000 4194304 4650419 140733396326768 18446744073709551615 4230691 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/25910/statm: 538172 446288 396 112 0 533137 0
[pid=25910/tid=25911] ppid=25908 vsize=2152688 CPUtime=178.97 cores=0,2,4,6
/proc/25910/task/25911/stat : 25911 (strangenight1-m) R 25908 25910 25390 0 -1 4202560 162831 0 0 0 17862 35 0 0 25 0 4 0 593574411 2204352512 446288 33554432000 4194304 4650419 140733396326768 18446744073709551615 4255714 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=25910/tid=25912] ppid=25908 vsize=2152688 CPUtime=178.97 cores=0,2,4,6
/proc/25910/task/25912/stat : 25912 (strangenight1-m) R 25908 25910 25390 0 -1 4202560 178354 0 0 0 17859 38 0 0 25 0 4 0 593574411 2204352512 446288 33554432000 4194304 4650419 140733396326768 18446744073709551615 4236891 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25910/tid=25913] ppid=25908 vsize=2152688 CPUtime=178.12 cores=0,2,4,6
/proc/25910/task/25913/stat : 25913 (strangenight1-m) R 25908 25910 25390 0 -1 4202560 586244 0 0 0 17742 70 0 0 25 0 4 0 593574411 2204352512 446288 33554432000 4194304 4650419 140733396326768 18446744073709551615 4345897 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 715.11
Current children cumulated vsize (KiB) 2152688

[startup+191.9 s]
/proc/loadavg: 7.99 7.69 7.66 9/184 25919
/proc/meminfo: memFree=15791024/32950928 swapFree=67111364/67111528
[pid=25910] ppid=25908 vsize=2152688 CPUtime=766.23 cores=0,2,4,6
/proc/25910/stat : 25910 (strangenight1-m) R 25908 25910 25390 0 -1 4202496 1040514 0 0 0 76453 170 0 0 25 0 4 0 593574410 2204352512 447608 33554432000 4194304 4650419 140733396326768 18446744073709551615 4369188 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/25910/statm: 538172 447608 396 112 0 533137 0
[pid=25910/tid=25911] ppid=25908 vsize=2152688 CPUtime=191.77 cores=0,2,4,6
/proc/25910/task/25911/stat : 25911 (strangenight1-m) R 25908 25910 25390 0 -1 4202560 162831 0 0 0 19142 35 0 0 25 0 4 0 593574411 2204352512 447608 33554432000 4194304 4650419 140733396326768 18446744073709551615 4255712 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=25910/tid=25912] ppid=25908 vsize=2152688 CPUtime=191.77 cores=0,2,4,6
/proc/25910/task/25912/stat : 25912 (strangenight1-m) R 25908 25910 25390 0 -1 4202560 180116 0 0 0 19139 38 0 0 25 0 4 0 593574411 2204352512 447608 33554432000 4194304 4650419 140733396326768 18446744073709551615 4230580 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25910/tid=25913] ppid=25908 vsize=2152688 CPUtime=190.86 cores=0,2,4,6
/proc/25910/task/25913/stat : 25913 (strangenight1-m) R 25908 25910 25390 0 -1 4202560 588508 0 0 0 19015 71 0 0 25 0 4 0 593574411 2204352512 447608 33554432000 4194304 4650419 140733396326768 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 766.23
Current children cumulated vsize (KiB) 2152688

[startup+198.3 s]
/proc/loadavg: 7.99 7.70 7.67 9/184 25919
/proc/meminfo: memFree=15778248/32950928 swapFree=67111364/67111528
[pid=25910] ppid=25908 vsize=2152688 CPUtime=791.8 cores=0,2,4,6
/proc/25910/stat : 25910 (strangenight1-m) R 25908 25910 25390 0 -1 4202496 1045438 0 0 0 79009 171 0 0 25 0 4 0 593574410 2204352512 451730 33554432000 4194304 4650419 140733396326768 18446744073709551615 4367329 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/25910/statm: 538172 451730 396 112 0 533137 0
[pid=25910/tid=25911] ppid=25908 vsize=2152688 CPUtime=198.17 cores=0,2,4,6
/proc/25910/task/25911/stat : 25911 (strangenight1-m) R 25908 25910 25390 0 -1 4202560 162908 0 0 0 19782 35 0 0 25 0 4 0 593574411 2204352512 451730 33554432000 4194304 4650419 140733396326768 18446744073709551615 4441740 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=25910/tid=25912] ppid=25908 vsize=2152688 CPUtime=198.17 cores=0,2,4,6
/proc/25910/task/25912/stat : 25912 (strangenight1-m) R 25908 25910 25390 0 -1 4202560 181773 0 0 0 19779 38 0 0 25 0 4 0 593574411 2204352512 451730 33554432000 4194304 4650419 140733396326768 18446744073709551615 4345578 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25910/tid=25913] ppid=25908 vsize=2152688 CPUtime=197.22 cores=0,2,4,6
/proc/25910/task/25913/stat : 25913 (strangenight1-m) R 25908 25910 25390 0 -1 4202560 591091 0 0 0 19651 71 0 0 25 0 4 0 593574411 2204352512 451730 33554432000 4194304 4650419 140733396326768 18446744073709551615 4364336 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 791.8
Current children cumulated vsize (KiB) 2152688

[startup+201.501 s]
/proc/loadavg: 7.99 7.70 7.67 9/184 25919
/proc/meminfo: memFree=15756796/32950928 swapFree=67111364/67111528
[pid=25910] ppid=25908 vsize=2152688 CPUtime=804.58 cores=0,2,4,6
/proc/25910/stat : 25910 (strangenight1-m) R 25908 25910 25390 0 -1 4202496 1046059 0 0 0 80287 171 0 0 25 0 4 0 593574410 2204352512 452351 33554432000 4194304 4650419 140733396326768 18446744073709551615 4364336 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/25910/statm: 538172 452351 396 112 0 533137 0
[pid=25910/tid=25911] ppid=25908 vsize=2152688 CPUtime=201.37 cores=0,2,4,6
/proc/25910/task/25911/stat : 25911 (strangenight1-m) R 25908 25910 25390 0 -1 4202560 163296 0 0 0 20102 35 0 0 25 0 4 0 593574411 2204352512 452351 33554432000 4194304 4650419 140733396326768 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=25910/tid=25912] ppid=25908 vsize=2152688 CPUtime=201.37 cores=0,2,4,6
/proc/25910/task/25912/stat : 25912 (strangenight1-m) R 25908 25910 25390 0 -1 4202560 181774 0 0 0 20099 38 0 0 25 0 4 0 593574411 2204352512 452351 33554432000 4194304 4650419 140733396326768 18446744073709551615 4236470 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25910/tid=25913] ppid=25908 vsize=2152688 CPUtime=200.4 cores=0,2,4,6
/proc/25910/task/25913/stat : 25913 (strangenight1-m) R 25908 25910 25390 0 -1 4202560 591323 0 0 0 19969 71 0 0 25 0 4 0 593574411 2204352512 452351 33554432000 4194304 4650419 140733396326768 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 804.58
Current children cumulated vsize (KiB) 2152688

[startup+203.1 s]
/proc/loadavg: 7.99 7.70 7.67 9/184 25919
/proc/meminfo: memFree=15755556/32950928 swapFree=67111364/67111528
[pid=25910] ppid=25908 vsize=2152688 CPUtime=809.92 cores=0,2,4,6
/proc/25910/stat : 25910 (strangenight1-m) D 25908 25910 25390 0 -1 4203524 1047111 0 0 0 80786 206 0 0 25 0 4 0 593574410 2204352512 453244 33554432000 4194304 4650419 140733396326768 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/25910/statm: 538172 453244 402 112 0 533137 0
[pid=25910/tid=25911] ppid=25908 vsize=2152688 CPUtime=202.62 cores=0,2,4,6
/proc/25910/task/25911/stat : 25911 (strangenight1-m) D 25908 25910 25390 0 -1 4203588 164261 0 0 0 20227 35 0 0 25 0 4 0 593574411 2204352512 453244 33554432000 4194304 4650419 140733396326768 18446744073709551615 4366904 0 0 4096 2 18446744071562337734 0 0 -1 0 0 0 0
[pid=25910/tid=25912] ppid=25908 vsize=2152688 CPUtime=202.62 cores=0,2,4,6
/proc/25910/task/25912/stat : 25912 (strangenight1-m) D 25908 25910 25390 0 -1 4203588 181774 0 0 0 20224 38 0 0 25 0 4 0 593574411 2204352512 453244 33554432000 4194304 4650419 140733396326768 18446744073709551615 4345832 0 0 4096 2 18446744071562337734 0 0 -1 2 0 0 0
[pid=25910/tid=25913] ppid=25908 vsize=2152688 CPUtime=201.99 cores=0,2,4,6
/proc/25910/task/25913/stat : 25913 (strangenight1-m) R 25908 25910 25390 0 -1 4204096 591410 0 0 0 20093 106 0 0 25 0 4 0 593574411 2204352512 453244 33554432000 4194304 4650419 140733396326768 18446744073709551615 251366933093 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 809.92
Current children cumulated vsize (KiB) 2152688

[startup+203.9 s]
/proc/loadavg: 7.99 7.71 7.67 6/184 25919
/proc/meminfo: memFree=15237980/32950928 swapFree=67111364/67111528
[pid=25910] ppid=25908 vsize=2152688 CPUtime=810.72 cores=0,2,4,6
/proc/25910/stat : 25910 (strangenight1-m) D 25908 25910 25390 0 -1 4203524 1047111 0 0 0 80786 286 0 0 25 0 4 0 593574410 2204352512 453244 33554432000 4194304 4650419 140733396326768 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/25910/statm: 538172 453244 402 112 0 533137 0
[pid=25910/tid=25911] ppid=25908 vsize=2152688 CPUtime=202.62 cores=0,2,4,6
/proc/25910/task/25911/stat : 25911 (strangenight1-m) D 25908 25910 25390 0 -1 4203588 164261 0 0 0 20227 35 0 0 25 0 4 0 593574411 2204352512 453244 33554432000 4194304 4650419 140733396326768 18446744073709551615 4366904 0 0 4096 2 18446744071562337734 0 0 -1 0 0 0 0
[pid=25910/tid=25912] ppid=25908 vsize=2152688 CPUtime=202.62 cores=0,2,4,6
/proc/25910/task/25912/stat : 25912 (strangenight1-m) D 25908 25910 25390 0 -1 4203588 181774 0 0 0 20224 38 0 0 25 0 4 0 593574411 2204352512 453244 33554432000 4194304 4650419 140733396326768 18446744073709551615 4345832 0 0 4096 2 18446744071562337734 0 0 -1 2 0 0 0
[pid=25910/tid=25913] ppid=25908 vsize=2152688 CPUtime=202.79 cores=0,2,4,6
/proc/25910/task/25913/stat : 25913 (strangenight1-m) R 25908 25910 25390 0 -1 4204096 591410 0 0 0 20093 186 0 0 25 0 4 0 593574411 2204352512 453244 33554432000 4194304 4650419 140733396326768 18446744073709551615 251366933093 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 810.72
Current children cumulated vsize (KiB) 2152688

[startup+204.701 s]
/proc/loadavg: 7.99 7.71 7.67 6/184 25919
/proc/meminfo: memFree=14366508/32950928 swapFree=67111364/67111528
[pid=25910] ppid=25908 vsize=2152688 CPUtime=811.52 cores=0,2,4,6
/proc/25910/stat : 25910 (strangenight1-m) D 25908 25910 25390 0 -1 4203524 1047111 0 0 0 80786 366 0 0 25 0 4 0 593574410 2204352512 453244 33554432000 4194304 4650419 140733396326768 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/25910/statm: 538172 453244 402 112 0 533137 0
[pid=25910/tid=25911] ppid=25908 vsize=2152688 CPUtime=202.62 cores=0,2,4,6
/proc/25910/task/25911/stat : 25911 (strangenight1-m) D 25908 25910 25390 0 -1 4203588 164261 0 0 0 20227 35 0 0 25 0 4 0 593574411 2204352512 453244 33554432000 4194304 4650419 140733396326768 18446744073709551615 4366904 0 0 4096 2 18446744071562337734 0 0 -1 0 0 0 0
[pid=25910/tid=25912] ppid=25908 vsize=2152688 CPUtime=202.62 cores=0,2,4,6
/proc/25910/task/25912/stat : 25912 (strangenight1-m) D 25908 25910 25390 0 -1 4203588 181774 0 0 0 20224 38 0 0 25 0 4 0 593574411 2204352512 453244 33554432000 4194304 4650419 140733396326768 18446744073709551615 4345832 0 0 4096 2 18446744071562337734 0 0 -1 2 0 0 0
[pid=25910/tid=25913] ppid=25908 vsize=2152688 CPUtime=203.59 cores=0,2,4,6
/proc/25910/task/25913/stat : 25913 (strangenight1-m) R 25908 25910 25390 0 -1 4204096 591410 0 0 0 20093 266 0 0 25 0 4 0 593574411 2204352512 453244 33554432000 4194304 4650419 140733396326768 18446744073709551615 251366933093 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 811.52
Current children cumulated vsize (KiB) 2152688

[startup+205.101 s]
/proc/loadavg: 7.99 7.71 7.67 6/184 25919
/proc/meminfo: memFree=14366508/32950928 swapFree=67111364/67111528
[pid=25910] ppid=25908 vsize=2152688 CPUtime=811.92 cores=0,2,4,6
/proc/25910/stat : 25910 (strangenight1-m) D 25908 25910 25390 0 -1 4203524 1047111 0 0 0 80786 406 0 0 25 0 4 0 593574410 2204352512 453244 33554432000 4194304 4650419 140733396326768 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/25910/statm: 538172 453244 402 112 0 533137 0
[pid=25910/tid=25911] ppid=25908 vsize=2152688 CPUtime=202.62 cores=0,2,4,6
/proc/25910/task/25911/stat : 25911 (strangenight1-m) D 25908 25910 25390 0 -1 4203588 164261 0 0 0 20227 35 0 0 25 0 4 0 593574411 2204352512 453244 33554432000 4194304 4650419 140733396326768 18446744073709551615 4366904 0 0 4096 2 18446744071562337734 0 0 -1 0 0 0 0
[pid=25910/tid=25912] ppid=25908 vsize=2152688 CPUtime=202.62 cores=0,2,4,6
/proc/25910/task/25912/stat : 25912 (strangenight1-m) D 25908 25910 25390 0 -1 4203588 181774 0 0 0 20224 38 0 0 25 0 4 0 593574411 2204352512 453244 33554432000 4194304 4650419 140733396326768 18446744073709551615 4345832 0 0 4096 2 18446744071562337734 0 0 -1 2 0 0 0
[pid=25910/tid=25913] ppid=25908 vsize=2152688 CPUtime=203.99 cores=0,2,4,6
/proc/25910/task/25913/stat : 25913 (strangenight1-m) R 25908 25910 25390 0 -1 4204096 591410 0 0 0 20093 306 0 0 25 0 4 0 593574411 2204352512 453244 33554432000 4194304 4650419 140733396326768 18446744073709551615 251366933093 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 811.92
Current children cumulated vsize (KiB) 2152688

Child ended because it received signal 6 (SIGABRT)
Child dumped core
Real time (s): 205.193
CPU time (s): 812.019
CPU user time (s): 807.861
CPU system time (s): 4.15737
CPU usage (%): 395.735
Max. virtual memory (cumulated for all children) (KiB): 2218224

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 807.861
system time used= 4.15737
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1047111
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= 34314
involuntary context switches= 4383

runsolver used 0.360945 second user time and 0.725889 second system time

The end

Launcher Data 

Begin job on node113 at 2011-04-29 01:30:37
IDJOB=3283126
IDBENCH=70963
IDSOLVER=1588
FILE ID=node113/3283126-1304033437
RUNJOBID= node113-1304032524-25800
PBS_JOBID= 13170339
Free space on /tmp= 71120 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt
BENCH NAME= SAT09/APPLICATIONS/bioinfo/q_query_3_L70_coli.sat.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3283126-1304033437/watcher-3283126-1304033437 -o /tmp/evaluation-result-3283126-1304033437/solver-3283126-1304033437 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3283126-1304033437.cnf

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

MD5SUM BENCH= 7fc9b20f0efe1e9457bd61eba8178674
RANDOM SEED=2139545840

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

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

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.846
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.75
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.846
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.83
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.846
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:      17669824 kB
Buffers:       1730544 kB
Cached:       10785880 kB
SwapCached:        164 kB
Active:        8347244 kB
Inactive:      6334100 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      17669824 kB
SwapTotal:    67111528 kB
SwapFree:     67111364 kB
Dirty:           31588 kB
Writeback:           0 kB
AnonPages:     2163624 kB
Mapped:          15552 kB
Slab:           529788 kB
PageTables:       9024 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:  2494336 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= 69344 MiB
End job on node113 at 2011-04-29 01:34:03