Trace number 3280688

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-1-mt? (TO) 4800.46 1214.88

General information on the benchmark

Nameindustrial/palacios/medium/
cube-11-h14-sat.cnf
MD5SUM7cc30e40be8c690e76c3fb158623be61
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark229.736
Satisfiable
(Un)Satisfiability was proved
Number of variables508177
Number of clauses1529045
Sum of the clauses size3568287
Maximum clause length19
Minimum clause length1
Number of clauses of size 11331
Number of clauses of size 21019705
Number of clauses of size 3505422
Number of clauses of size 42413
Number of clauses of size 519
Number of clauses of size over 5155

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-3280688-1304030110.cnf'
0.00/0.00	c -- header says num vars:         509512
0.00/0.00	c -- header says num clauses:     1529045
2.93/0.92	c -- clauses added:            0 learnts,      1529045 normals,            0 xors
2.93/0.92	c -- vars added     509512
2.93/0.92	c Parsing time:  2.11 s
4.53/1.38	c  N st     0         0    509512    506678   1018374         0   3560301         0   no data   no data  --
6.13/1.75	c asymm  cl-useful: 0/22/506678 lits-rem:0 time: 3.25
56.08/14.29	c Flit:     0 Blit:     54 bXBeca:    0 bXProp: 4886 Bins:      0 BRemL:      0 BRemN:      0 P: 200.0M T: 49.76
58.06/14.72	c Replacing     4886 vars Replaced   285361 lits Time:     1.66 s 
59.22/15.04	c bin-w-bin subsume rem            1 bins  time:  0.41 s
60.02/15.29	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.98 s
95.17/24.09	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  39532 time: 35.12 s
96.75/24.40	c Removed useless bin:       0  fixed:     0  props:  20.01M  time:  1.22 s
117.90/29.78	c lits-rem:         0  cl-subs:     5310  v-elim: 167747  v-fix:    0  time: 21.15 s
118.68/29.90	c Finding binary XORs  T:     0.49 s  found:   20728
119.48/30.14	c Replacing    20728 vars Replaced   166590 lits Time:     0.94 s 
128.27/32.33	c Finding non-binary XORs:     8.23 s (found:       0, avg size: nan)
128.27/32.33	c Calc default polars -  time:   0.28 s pos:  110179 undec:  196090 neg:  203243
128.27/32.33	c =========================================================================================
128.27/32.33	c types(t): F = full restart, N = normal restart
128.27/32.33	c types(t): S = simplification begin/end, E = solution found
128.27/32.33	c restart types(rt): st = static, dy = dynamic
128.27/32.33	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
128.27/32.33	c  B st     0         0    314766    576317    568794         0   3114788         0   no data   no data  --
223.36/56.17	c  N dy    14      4669    314766    576317    568900      4508   3114788    904497      8.31      9.24  --
302.05/75.82	c  N dy    25      8671    314762    576317    569297      8422   3114788   1258031      7.33      7.75  --
367.14/92.15	c  N dy    36     12724    314761    576317    569329     12307   3114786   1614418      7.22     10.90  --
458.22/114.98	c  N dy    59     16786    314761    576317    569542     16265   3114783   2211997      7.39      7.78  --
547.70/137.38	c  N dy    78     20885    314758    576317    569848     10595   3114780    434956      7.34      9.42  --
636.77/159.60	c  N dy    93     24958    314758    576317    569878     14623   3114780    815708      7.61      8.07  --
637.97/159.91	c  F st    94     25001    314758    576317    569878     14666   3114780    840998      7.62   no data  --
1075.59/269.79	c  N dy   100     30001    314532    576157    570424     19568   3114239   1346142      7.62   no data  --
1075.59/269.79	c  S st   100     30001    314532    576157    570424     19568   3114239   1346142      7.62   no data  --
1086.78/272.54	c  S st   100     30502    314532    576157    570491     19999   3114239   1443471      7.62   no data  --
1087.18/272.66	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.45
1145.90/287.32	c Flit:    20 Blit:      0 bXBeca:    0 bXProp:   15 Bins:   1519 BRemL:      1 BRemN:      0 P: 200.2M T: 58.54
1146.70/287.58	c Replacing       16 vars Replaced    11683 lits Time:     0.88 s 
1149.12/288.18	c bin-w-bin subsume rem          235 bins  time:  0.37 s
1157.91/290.33	c subs with bin:     8135  lits-rem:      5700  v-fix:    0  time:  8.61 s
1182.25/296.46	c Subs w/ non-existent bins:     21 l-rem:   1559 v-fix:     0 done:  35436 time: 24.48 s
1183.85/296.84	c Removed useless bin:       0  fixed:     0  props:  20.00M  time:  1.50 s
1237.40/310.23	c lits-rem:        96  cl-subs:    27293  v-elim: 189648  v-fix:    0  time: 53.34 s
1240.18/310.99	c asymm  cl-useful: 14/116/697309 lits-rem:32 time: 3.02
1240.58/311.04	c  N dy   100     30502    124848    697309    109565      5023   2809710     62922      7.62   no data  --
1240.98/311.11	c Finding binary XORs  T:     0.26 s  found:      25
1296.09/324.94	c  N dy   110     34937    124833    697309    109744      9363   2809710    255557      7.57      7.99  --
1354.80/339.62	c  N dy   131     39412    124833    697309    109787     13734   2809707    536432      7.73      8.25  --
1405.14/352.25	c  N dy   144     43466    124831    697309    109824     17724   2809707    740284      7.70      8.89  --
1439.89/360.99	c  S st   157     45754    124762    697309    110131     19979   2809705    916351      7.86   no data  --
1445.88/362.44	c  S st   157     46256    124762    697309    110196     20410   2809702    920113      7.86   no data  --
1446.28/362.54	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.43
2732.91/684.67	c Flit:    16 Blit:      1 bXBeca:    0 bXProp:   26 Bins:1865523 BRemL:     30 BRemN:      0 P: 200.0M T: 1283.91
2734.91/685.13	c Replacing       51 vars Replaced   346469 lits Time:     1.76 s 
2737.70/685.86	c bin-w-bin subsume rem          388 bins  time:  1.46 s
2747.29/688.28	c subs with bin:      321  lits-rem:      2357  v-fix:    0  time:  9.65 s
2750.88/689.12	c Subs w/ non-existent bins:    181 l-rem:   4108 v-fix:     0 done:  13820 time:  3.37 s
2752.07/689.41	c Removed useless bin:       0  fixed:     0  props:  20.00M  time:  1.15 s
2772.43/694.59	c lits-rem:       348  cl-subs:     5830  v-elim:   4566  v-fix:    0  time: 20.65 s
2774.85/695.14	c asymm  cl-useful: 68/367/688635 lits-rem:101 time: 2.18
2775.25/695.22	c  N dy   157     46256    119916    688635   1945567     16791   2778821   4056190      7.86   no data  --
2775.63/695.31	c Finding binary XORs  T:     0.34 s  found:      28
2829.55/708.87	c  N dy   177     50348    119916    688635   1945624     20787   2778818   4370773      8.11     22.82  --
2918.64/733.95	c Finding binary XORs  T:     0.36 s  found:      56
2942.73/740.43	c  N dy   191     54797    119735    686100   1986764     25044   2770067   4657772      8.11      8.68  --
2984.97/756.10	c Finding binary XORs  T:     0.41 s  found:      18
2986.56/756.55	c  N dy   213     58871    119597    683795   2823517     28813   2761735   6548984      8.15     13.40  --
3046.47/771.55	c  N dy   226     62890    119596    683795   2823526     18158   2761734   5781034      8.12     17.56  --
3105.20/786.27	c  N dy   252     67071    119596    683795   2823579     22255   2761732   6066684      8.24      8.76  --
3138.75/794.68	c  S st   268     69384    119596    683795   2823589     24542   2761731   6258164      8.33   no data  --
3145.96/796.46	c  S st   268     69886    119595    683795   2823635     24990   2761730   6291483      8.33   no data  --
3146.74/796.60	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.56
3587.08/911.07	c Flit:     1 Blit:      0 bXBeca:    0 bXProp:    0 Bins: 785344 BRemL:   2942 BRemN:      0 P: 200.1M T: 440.37
3588.68/911.48	c Replacing      102 vars Replaced    35168 lits Time:     1.56 s 
3594.69/912.93	c bin-w-bin subsume rem       117678 bins  time:  4.20 s
3602.66/914.99	c subs with bin:     2227  lits-rem:      9905  v-fix:    0  time:  8.22 s
3607.06/916.04	c Subs w/ non-existent bins:    353 l-rem:   3487 v-fix:     0 done:  15250 time:  4.22 s
3608.28/916.37	c Removed useless bin:      19  fixed:     0  props:  20.00M  time:  1.27 s
3629.85/921.79	c lits-rem:       108  cl-subs:     4626  v-elim:   1416  v-fix:    0  time: 21.65 s
3632.22/922.36	c asymm  cl-useful: 95/796/675795 lits-rem:152 time: 2.26
3632.62/922.48	c  N dy   268     69886    118073    675795   3428529     22909   2724220   7219350      8.33   no data  --
3633.02/922.59	c Finding binary XORs  T:     0.44 s  found:       2
3702.93/940.06	c Finding binary XORs  T:     0.44 s  found:      22
3728.09/946.34	c  N dy   293     74607    118043    675056   3508364     27403   2722046   7633794      8.45      9.13  --
3799.20/964.18	c  N dy   316     79450    118043    675056   3508846     32185   2722046   7882791      8.50     11.03  --
3877.09/983.65	c  N dy   350     84687    118040    675056   3508950     19319   2722044   7068868      8.66      9.53  --
3913.85/992.88	c  F st   366     87501    118039    675056   3508964     22086   2722044   7182618      8.69   no data  --
3915.04/993.15	c Replacing       24 vars Replaced     1587 lits Time:     0.72 s 
3960.97/1004.63	c  N st   371     90798    118015    674976   3508903     25332   2721614   7391342      8.69   no data  --
4059.65/1029.35	c  N dy   385     97897    118013    674976   3508951     32377   2721611   7769985      8.63      9.15  --
4149.92/1051.94	c  N dy   424    104624    118002    674976   3509056     38933   2721610   8215284      8.76      9.28  --
4153.15/1052.75	c  S st   427    104830    118002    674976   3509058     39137   2721610   8238083      8.77   no data  --
4159.51/1054.35	c  S st   427    105331    118002    674976   3509089     39596   2721607   8267026      8.77   no data  --
4160.31/1054.50	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.59

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-3280688-1304030110/watcher-3280688-1304030110 -o /tmp/evaluation-result-3280688-1304030110/solver-3280688-1304030110 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3280688-1304030110.cnf 

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

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


[startup+0 s]
/proc/loadavg: 7.76 7.91 6.27 5/180 26175
/proc/meminfo: memFree=20580412/32950928 swapFree=67111524/67111528
[pid=26175] ppid=26173 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/26175/stat : 26175 (strangenight1-m) R 26173 26175 25974 0 -1 4202496 412 0 0 0 0 0 0 0 22 0 4 0 593241788 52465664 352 33554432000 4194304 4650419 140735710628240 18446744073709551615 47715416143794 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26175/statm: 12809 352 303 112 0 7774 0
[pid=26175/tid=26176] ppid=26173 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/26175/task/26176/stat : 26176 (strangenight1-m) R 26173 26175 25974 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 593241788 52465664 352 33554432000 4194304 4650419 140735710628240 18446744073709551615 231895546865 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26175/tid=26177] ppid=26173 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/26175/task/26177/stat : 26177 (strangenight1-m) R 26173 26175 25974 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 593241788 52465664 352 33554432000 4194304 4650419 140735710628240 18446744073709551615 231907288118 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26175/tid=26178] ppid=26173 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/26175/task/26178/stat : 26178 (strangenight1-m) R 26173 26175 25974 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 4 0 593241788 52465664 352 33554432000 4194304 4650419 140735710628240 18446744073709551615 47715416143794 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.0190281 s]
/proc/loadavg: 7.76 7.91 6.27 5/180 26175
/proc/meminfo: memFree=20580412/32950928 swapFree=67111524/67111528
[pid=26175] ppid=26173 vsize=292244 CPUtime=0.04 cores=1,3,5,7
/proc/26175/stat : 26175 (strangenight1-m) R 26173 26175 25974 0 -1 4202496 6045 0 0 0 4 0 0 0 18 0 4 0 593241788 299257856 5035 33554432000 4194304 4650419 140735710628240 18446744073709551615 4545883 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26175/statm: 73061 5043 345 112 0 68026 0
[pid=26175/tid=26176] ppid=26173 vsize=292244 CPUtime=0 cores=1,3,5,7
/proc/26175/task/26176/stat : 26176 (strangenight1-m) R 26173 26175 25974 0 -1 4202560 1403 0 0 0 0 0 0 0 24 0 4 0 593241788 299257856 5044 33554432000 4194304 4650419 140735710628240 18446744073709551615 4307411 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26175/tid=26177] ppid=26173 vsize=292244 CPUtime=0.01 cores=1,3,5,7
/proc/26175/task/26177/stat : 26177 (strangenight1-m) R 26173 26175 25974 0 -1 4202560 1476 0 0 0 1 0 0 0 24 0 4 0 593241788 299257856 5048 33554432000 4194304 4650419 140735710628240 18446744073709551615 231895151649 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26175/tid=26178] ppid=26173 vsize=292244 CPUtime=0 cores=1,3,5,7
/proc/26175/task/26178/stat : 26178 (strangenight1-m) R 26173 26175 25974 0 -1 4202560 1298 0 0 0 0 0 0 0 18 0 4 0 593241788 299257856 5055 33554432000 4194304 4650419 140735710628240 18446744073709551615 4319766 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 292244

[startup+0.104239 s]
/proc/loadavg: 7.76 7.91 6.27 5/180 26175
/proc/meminfo: memFree=20580412/32950928 swapFree=67111524/67111528
[pid=26175] ppid=26173 vsize=361580 CPUtime=0.32 cores=1,3,5,7
/proc/26175/stat : 26175 (strangenight1-m) D 26173 26175 25974 0 -1 4202496 34169 0 0 0 24 8 0 0 17 0 4 0 593241788 370257920 27738 33554432000 4194304 4650419 140735710628240 18446744073709551615 4361571 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26175/statm: 90395 27228 345 112 0 85360 0
[pid=26175/tid=26176] ppid=26173 vsize=361580 CPUtime=0.07 cores=1,3,5,7
/proc/26175/task/26176/stat : 26176 (strangenight1-m) D 26173 26175 25974 0 -1 4202560 8640 0 0 0 6 1 0 0 17 0 4 0 593241788 370257920 27228 33554432000 4194304 4650419 140735710628240 18446744073709551615 4520021 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26175/tid=26177] ppid=26173 vsize=361580 CPUtime=0.07 cores=1,3,5,7
/proc/26175/task/26177/stat : 26177 (strangenight1-m) D 26173 26175 25974 0 -1 4202560 8731 0 0 0 5 2 0 0 17 0 4 0 593241788 370257920 27228 33554432000 4194304 4650419 140735710628240 18446744073709551615 4520109 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26175/tid=26178] ppid=26173 vsize=361580 CPUtime=0.07 cores=1,3,5,7
/proc/26175/task/26178/stat : 26178 (strangenight1-m) R 26173 26175 25974 0 -1 4202560 8031 0 0 0 6 1 0 0 17 0 4 0 593241788 370257920 27228 33554432000 4194304 4650419 140735710628240 18446744073709551615 231895533703 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 361580

[startup+0.30626 s]
/proc/loadavg: 7.76 7.91 6.27 5/180 26175
/proc/meminfo: memFree=20580412/32950928 swapFree=67111524/67111528
[pid=26175] ppid=26173 vsize=528932 CPUtime=1.01 cores=1,3,5,7
/proc/26175/stat : 26175 (strangenight1-m) S 26173 26175 25974 0 -1 4202496 81559 0 0 0 70 31 0 0 17 0 4 0 593241788 541626368 64390 33554432000 4194304 4650419 140735710628240 18446744073709551615 231895595502 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26175/statm: 132233 64526 345 112 0 127198 0
[pid=26175/tid=26176] ppid=26173 vsize=528932 CPUtime=0.25 cores=1,3,5,7
/proc/26175/task/26176/stat : 26176 (strangenight1-m) S 26173 26175 25974 0 -1 4202560 20327 0 0 0 18 7 0 0 17 0 4 0 593241788 541626368 64650 33554432000 4194304 4650419 140735710628240 18446744073709551615 231895595502 0 0 4096 2 18446604460025236480 0 0 -1 7 0 0 0
[pid=26175/tid=26177] ppid=26173 vsize=528932 CPUtime=0.25 cores=1,3,5,7
/proc/26175/task/26177/stat : 26177 (strangenight1-m) R 26173 26175 25974 0 -1 4202560 19842 0 0 0 17 8 0 0 17 0 4 0 593241788 541626368 64788 33554432000 4194304 4650419 140735710628240 18446744073709551615 231895595502 0 0 4096 2 18446604460025236480 0 0 -1 1 0 0 0
[pid=26175/tid=26178] ppid=26173 vsize=528932 CPUtime=0.25 cores=1,3,5,7
/proc/26175/task/26178/stat : 26178 (strangenight1-m) S 26173 26175 25974 0 -1 4202560 19549 0 0 0 17 8 0 0 17 0 4 0 593241788 541626368 65031 33554432000 4194304 4650419 140735710628240 18446744073709551615 231895595502 0 0 4096 2 18446604460025236480 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.01
Current children cumulated vsize (KiB) 528932

[startup+0.705912 s]
/proc/loadavg: 7.76 7.91 6.27 5/180 26175
/proc/meminfo: memFree=20580412/32950928 swapFree=67111524/67111528
[pid=26175] ppid=26173 vsize=1050052 CPUtime=2.32 cores=1,3,5,7
/proc/26175/stat : 26175 (strangenight1-m) R 26173 26175 25974 0 -1 4202496 176001 0 0 0 160 72 0 0 17 0 4 0 593241788 1075253248 141625 33554432000 4194304 4650419 140735710628240 18446744073709551615 4317116 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26175/statm: 262513 141629 345 112 0 257478 0
[pid=26175/tid=26176] ppid=26173 vsize=1050052 CPUtime=0.57 cores=1,3,5,7
/proc/26175/task/26176/stat : 26176 (strangenight1-m) R 26173 26175 25974 0 -1 4202560 44076 0 0 0 39 18 0 0 17 0 4 0 593241788 1075253248 141633 33554432000 4194304 4650419 140735710628240 18446744073709551615 231895595502 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26175/tid=26177] ppid=26173 vsize=1050052 CPUtime=0.58 cores=1,3,5,7
/proc/26175/task/26177/stat : 26177 (strangenight1-m) R 26173 26175 25974 0 -1 4202560 44185 0 0 0 40 18 0 0 17 0 4 0 593241788 1075253248 141643 33554432000 4194304 4650419 140735710628240 18446744073709551615 4520021 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26175/tid=26178] ppid=26173 vsize=1050052 CPUtime=0.56 cores=1,3,5,7
/proc/26175/task/26178/stat : 26178 (strangenight1-m) R 26173 26175 25974 0 -1 4202560 41580 0 0 0 39 17 0 0 17 0 4 0 593241788 1075253248 141659 33554432000 4194304 4650419 140735710628240 18446744073709551615 231895187567 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.32
Current children cumulated vsize (KiB) 1050052

[startup+1.50076 s]
/proc/loadavg: 7.76 7.91 6.27 10/184 26179
/proc/meminfo: memFree=19814184/32950928 swapFree=67111524/67111528
[pid=26175] ppid=26173 vsize=1096516 CPUtime=5.33 cores=1,3,5,7
/proc/26175/stat : 26175 (strangenight1-m) R 26173 26175 25974 0 -1 4202496 228085 0 0 0 439 94 0 0 18 0 4 0 593241788 1122832384 192876 33554432000 4194304 4650419 140735710628240 18446744073709551615 4370329 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26175/statm: 274129 192876 368 112 0 269094 0
[pid=26175/tid=26176] ppid=26173 vsize=1096516 CPUtime=1.32 cores=1,3,5,7
/proc/26175/task/26176/stat : 26176 (strangenight1-m) R 26173 26175 25974 0 -1 4202560 56142 0 0 0 109 23 0 0 18 0 4 0 593241788 1122832384 192876 33554432000 4194304 4650419 140735710628240 18446744073709551615 4370329 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26175/tid=26177] ppid=26173 vsize=1096516 CPUtime=1.34 cores=1,3,5,7
/proc/26175/task/26177/stat : 26177 (strangenight1-m) R 26173 26175 25974 0 -1 4202560 56093 0 0 0 111 23 0 0 18 0 4 0 593241788 1122832384 192876 33554432000 4194304 4650419 140735710628240 18446744073709551615 4370236 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26175/tid=26178] ppid=26173 vsize=1096516 CPUtime=1.32 cores=1,3,5,7
/proc/26175/task/26178/stat : 26178 (strangenight1-m) R 26173 26175 25974 0 -1 4202560 54988 0 0 0 108 24 0 0 18 0 4 0 593241788 1122832384 192876 33554432000 4194304 4650419 140735710628240 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.33
Current children cumulated vsize (KiB) 1096516

[startup+3.10045 s]
/proc/loadavg: 7.76 7.91 6.27 10/184 26179
/proc/meminfo: memFree=19759568/32950928 swapFree=67111524/67111528
[pid=26175] ppid=26173 vsize=1171932 CPUtime=11.72 cores=1,3,5,7
/proc/26175/stat : 26175 (strangenight1-m) R 26173 26175 25974 0 -1 4202496 248787 0 0 0 1075 97 0 0 20 0 4 0 593241788 1200058368 204653 33554432000 4194304 4650419 140735710628240 18446744073709551615 4369163 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26175/statm: 292983 204653 373 112 0 287948 0
[pid=26175/tid=26176] ppid=26173 vsize=1171932 CPUtime=2.91 cores=1,3,5,7
/proc/26175/task/26176/stat : 26176 (strangenight1-m) R 26173 26175 25974 0 -1 4202560 63104 0 0 0 267 24 0 0 20 0 4 0 593241788 1200058368 204653 33554432000 4194304 4650419 140735710628240 18446744073709551615 4369376 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26175/tid=26177] ppid=26173 vsize=1171932 CPUtime=2.94 cores=1,3,5,7
/proc/26175/task/26177/stat : 26177 (strangenight1-m) R 26173 26175 25974 0 -1 4202560 62572 0 0 0 270 24 0 0 20 0 4 0 593241788 1200058368 204653 33554432000 4194304 4650419 140735710628240 18446744073709551615 4369322 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26175/tid=26178] ppid=26173 vsize=1171932 CPUtime=2.92 cores=1,3,5,7
/proc/26175/task/26178/stat : 26178 (strangenight1-m) R 26173 26175 25974 0 -1 4202560 54998 0 0 0 268 24 0 0 20 0 4 0 593241788 1200058368 204653 33554432000 4194304 4650419 140735710628240 18446744073709551615 4364883 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 11.72
Current children cumulated vsize (KiB) 1171932

[startup+6.30084 s]
/proc/loadavg: 7.78 7.91 6.28 9/184 26179
/proc/meminfo: memFree=19758576/32950928 swapFree=67111524/67111528
[pid=26175] ppid=26173 vsize=1171932 CPUtime=24.51 cores=1,3,5,7
/proc/26175/stat : 26175 (strangenight1-m) R 26173 26175 25974 0 -1 4202496 248848 0 0 0 2353 98 0 0 25 0 4 0 593241788 1200058368 204714 33554432000 4194304 4650419 140735710628240 18446744073709551615 4369376 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26175/statm: 292983 204714 373 112 0 287948 0
[pid=26175/tid=26176] ppid=26173 vsize=1171932 CPUtime=6.09 cores=1,3,5,7
/proc/26175/task/26176/stat : 26176 (strangenight1-m) R 26173 26175 25974 0 -1 4202560 63108 0 0 0 585 24 0 0 25 0 4 0 593241788 1200058368 204714 33554432000 4194304 4650419 140735710628240 18446744073709551615 4369075 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26175/tid=26177] ppid=26173 vsize=1171932 CPUtime=6.14 cores=1,3,5,7
/proc/26175/task/26177/stat : 26177 (strangenight1-m) R 26173 26175 25974 0 -1 4202560 62572 0 0 0 590 24 0 0 25 0 4 0 593241788 1200058368 204714 33554432000 4194304 4650419 140735710628240 18446744073709551615 4369376 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26175/tid=26178] ppid=26173 vsize=1171932 CPUtime=6.12 cores=1,3,5,7
/proc/26175/task/26178/stat : 26178 (strangenight1-m) R 26173 26175 25974 0 -1 4202560 55054 0 0 0 588 24 0 0 25 0 4 0 593241788 1200058368 204714 33554432000 4194304 4650419 140735710628240 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 24.51
Current children cumulated vsize (KiB) 1171932

[startup+12.7006 s]
/proc/loadavg: 7.80 7.91 6.29 9/184 26179
/proc/meminfo: memFree=19754748/32950928 swapFree=67111524/67111528
[pid=26175] ppid=26173 vsize=1171932 CPUtime=50.07 cores=1,3,5,7
/proc/26175/stat : 26175 (strangenight1-m) R 26173 26175 25974 0 -1 4202496 249163 0 0 0 4909 98 0 0 25 0 4 0 593241788 1200058368 205029 33554432000 4194304 4650419 140735710628240 18446744073709551615 4370249 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26175/statm: 292983 205029 373 112 0 287948 0
[pid=26175/tid=26176] ppid=26173 vsize=1171932 CPUtime=12.46 cores=1,3,5,7
/proc/26175/task/26176/stat : 26176 (strangenight1-m) R 26173 26175 25974 0 -1 4202560 63108 0 0 0 1222 24 0 0 25 0 4 0 593241788 1200058368 205029 33554432000 4194304 4650419 140735710628240 18446744073709551615 4370340 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26175/tid=26177] ppid=26173 vsize=1171932 CPUtime=12.54 cores=1,3,5,7
/proc/26175/task/26177/stat : 26177 (strangenight1-m) R 26173 26175 25974 0 -1 4202560 62572 0 0 0 1230 24 0 0 25 0 4 0 593241788 1200058368 205029 33554432000 4194304 4650419 140735710628240 18446744073709551615 4369376 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26175/tid=26178] ppid=26173 vsize=1171932 CPUtime=12.52 cores=1,3,5,7
/proc/26175/task/26178/stat : 26178 (strangenight1-m) R 26173 26175 25974 0 -1 4202560 55369 0 0 0 1228 24 0 0 25 0 4 0 593241788 1200058368 205029 33554432000 4194304 4650419 140735710628240 18446744073709551615 4364340 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.07
Current children cumulated vsize (KiB) 1171932

[startup+25.5012 s]
/proc/loadavg: 7.91 7.93 6.32 9/184 26179
/proc/meminfo: memFree=19444716/32950928 swapFree=67111524/67111528
[pid=26175] ppid=26173 vsize=1429972 CPUtime=101.14 cores=1,3,5,7
/proc/26175/stat : 26175 (strangenight1-m) R 26173 26175 25974 0 -1 4202496 333776 0 0 0 9996 118 0 0 25 0 4 0 593241788 1464291328 283295 33554432000 4194304 4650419 140735710628240 18446744073709551615 4432376 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26175/statm: 357493 283295 388 112 0 352458 0
[pid=26175/tid=26176] ppid=26173 vsize=1429972 CPUtime=25.17 cores=1,3,5,7
/proc/26175/task/26176/stat : 26176 (strangenight1-m) R 26173 26175 25974 0 -1 4202560 106052 0 0 0 2481 36 0 0 25 0 4 0 593241788 1464291328 283295 33554432000 4194304 4650419 140735710628240 18446744073709551615 4450224 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26175/tid=26177] ppid=26173 vsize=1429972 CPUtime=25.32 cores=1,3,5,7
/proc/26175/task/26177/stat : 26177 (strangenight1-m) R 26173 26175 25974 0 -1 4202560 83433 0 0 0 2505 27 0 0 19 0 4 0 593241788 1464291328 283297 33554432000 4194304 4650419 140735710628240 18446744073709551615 4520021 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26175/tid=26178] ppid=26173 vsize=1429972 CPUtime=25.3 cores=1,3,5,7
/proc/26175/task/26178/stat : 26178 (strangenight1-m) R 26173 26175 25974 0 -1 4202560 55549 0 0 0 2506 24 0 0 25 0 4 0 593241788 1464291328 283297 33554432000 4194304 4650419 140735710628240 18446744073709551615 4364495 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.14
Current children cumulated vsize (KiB) 1429972

[startup+51.1003 s]
/proc/loadavg: 8.01 7.95 6.37 9/184 26180
/proc/meminfo: memFree=19047248/32950928 swapFree=67111524/67111528
[pid=26175] ppid=26173 vsize=1915628 CPUtime=203.36 cores=1,3,5,7
/proc/26175/stat : 26175 (strangenight1-m) R 26173 26175 25974 0 -1 4202496 432014 0 0 0 20191 145 0 0 25 0 4 0 593241788 1961603072 371824 33554432000 4194304 4650419 140735710628240 18446744073709551615 4363500 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26175/statm: 478907 371824 391 112 0 473872 0
[pid=26175/tid=26176] ppid=26173 vsize=1915628 CPUtime=50.61 cores=1,3,5,7
/proc/26175/task/26176/stat : 26176 (strangenight1-m) R 26173 26175 25974 0 -1 4202560 131417 0 0 0 5016 45 0 0 25 0 4 0 593241788 1961603072 371824 33554432000 4194304 4650419 140735710628240 18446744073709551615 4364495 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26175/tid=26177] ppid=26173 vsize=1915628 CPUtime=50.91 cores=1,3,5,7
/proc/26175/task/26177/stat : 26177 (strangenight1-m) R 26173 26175 25974 0 -1 4202560 116060 0 0 0 5056 35 0 0 25 0 4 0 593241788 1961603072 371824 33554432000 4194304 4650419 140735710628240 18446744073709551615 4303973 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26175/tid=26178] ppid=26173 vsize=1915628 CPUtime=50.9 cores=1,3,5,7
/proc/26175/task/26178/stat : 26178 (strangenight1-m) R 26173 26175 25974 0 -1 4202560 62557 0 0 0 5065 25 0 0 25 0 4 0 593241788 1961603072 371824 33554432000 4194304 4650419 140735710628240 18446744073709551615 4364883 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 203.36
Current children cumulated vsize (KiB) 1915628

[startup+102.307 s]
/proc/loadavg: 8.13 7.99 6.46 9/184 26181
/proc/meminfo: memFree=19049856/32950928 swapFree=67111524/67111528
[pid=26175] ppid=26173 vsize=1915628 CPUtime=407.9 cores=1,3,5,7
/proc/26175/stat : 26175 (strangenight1-m) R 26173 26175 25974 0 -1 4202496 436411 0 0 0 40643 147 0 0 25 0 4 0 593241788 1961603072 376221 33554432000 4194304 4650419 140735710628240 18446744073709551615 4364883 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/26175/statm: 478907 376221 391 112 0 473872 0
[pid=26175/tid=26176] ppid=26173 vsize=1915628 CPUtime=101.77 cores=1,3,5,7
/proc/26175/task/26176/stat : 26176 (strangenight1-m) R 26173 26175 25974 0 -1 4202560 132316 0 0 0 10131 46 0 0 25 0 4 0 593241788 1961603072 376221 33554432000 4194304 4650419 140735710628240 18446744073709551615 4364648 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26175/tid=26177] ppid=26173 vsize=1915628 CPUtime=102.11 cores=1,3,5,7
/proc/26175/task/26177/stat : 26177 (strangenight1-m) R 26173 26175 25974 0 -1 4202560 116695 0 0 0 10176 35 0 0 25 0 4 0 593241788 1961603072 376221 33554432000 4194304 4650419 140735710628240 18446744073709551615 4367329 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26175/tid=26178] ppid=26173 vsize=1915628 CPUtime=102.11 cores=1,3,5,7
/proc/26175/task/26178/stat : 26178 (strangenight1-m) R 26173 26175 25974 0 -1 4202560 64415 0 0 0 10184 27 0 0 25 0 4 0 593241788 1961603072 376221 33554432000 4194304 4650419 140735710628240 18446744073709551615 4331074 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 407.9
Current children cumulated vsize (KiB) 1915628

[startup+162.301 s]

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


[startup+702.301 s]
/proc/loadavg: 8.13 8.13 7.25 9/184 26261
/proc/meminfo: memFree=17921560/32950928 swapFree=67111524/67111528
[pid=26175] ppid=26173 vsize=3549600 CPUtime=2803.59 cores=1,3,5,7
/proc/26175/stat : 26175 (strangenight1-m) R 26173 26175 25974 0 -1 4202496 10542040 0 0 0 278527 1832 0 0 25 0 4 0 593241788 3634790400 732949 33554432000 4194304 4650419 140735710628240 18446744073709551615 4368288 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/26175/statm: 887400 732949 395 112 0 882365 0
[pid=26175/tid=26176] ppid=26173 vsize=3549600 CPUtime=701.76 cores=1,3,5,7
/proc/26175/task/26176/stat : 26176 (strangenight1-m) R 26173 26175 25974 0 -1 4202560 1642867 0 0 0 69847 329 0 0 25 0 4 0 593241788 3634790400 732949 33554432000 4194304 4650419 140735710628240 18446744073709551615 4303382 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26175/tid=26177] ppid=26173 vsize=3549600 CPUtime=702.09 cores=1,3,5,7
/proc/26175/task/26177/stat : 26177 (strangenight1-m) R 26173 26175 25974 0 -1 4202560 4257718 0 0 0 69391 818 0 0 25 0 4 0 593241788 3634790400 732949 33554432000 4194304 4650419 140735710628240 18446744073709551615 4230593 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26175/tid=26178] ppid=26173 vsize=3549600 CPUtime=701.12 cores=1,3,5,7
/proc/26175/task/26178/stat : 26178 (strangenight1-m) R 26173 26175 25974 0 -1 4202560 3065048 0 0 0 69732 380 0 0 25 0 4 0 593241788 3634790400 732949 33554432000 4194304 4650419 140735710628240 18446744073709551615 4303973 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2803.59
Current children cumulated vsize (KiB) 3549600

[startup+762.306 s]
/proc/loadavg: 7.66 8.01 7.27 9/184 26263
/proc/meminfo: memFree=17795684/32950928 swapFree=67111524/67111528
[pid=26175] ppid=26173 vsize=3492280 CPUtime=3009.75 cores=1,3,5,7
/proc/26175/stat : 26175 (strangenight1-m) R 26173 26175 25974 0 -1 4202496 10571912 0 0 0 299137 1838 0 0 25 0 4 0 593241788 3576094720 746522 33554432000 4194304 4650419 140735710628240 18446744073709551615 4363335 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/26175/statm: 873070 746522 395 112 0 868035 0
[pid=26175/tid=26176] ppid=26173 vsize=3492280 CPUtime=750.53 cores=1,3,5,7
/proc/26175/task/26176/stat : 26176 (strangenight1-m) R 26173 26175 25974 0 -1 4202560 1649479 0 0 0 74722 331 0 0 25 0 4 0 593241788 3576094720 746522 33554432000 4194304 4650419 140735710628240 18446744073709551615 4365477 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26175/tid=26177] ppid=26173 vsize=3492280 CPUtime=762.09 cores=1,3,5,7
/proc/26175/task/26177/stat : 26177 (strangenight1-m) R 26173 26175 25974 0 -1 4202560 4262892 0 0 0 75390 819 0 0 25 0 4 0 593241788 3576094720 746522 33554432000 4194304 4650419 140735710628240 18446744073709551615 4230691 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26175/tid=26178] ppid=26173 vsize=3492280 CPUtime=744.73 cores=1,3,5,7
/proc/26175/task/26178/stat : 26178 (strangenight1-m) R 26173 26175 25974 0 -1 4202560 3070282 0 0 0 74092 381 0 0 25 0 4 0 593241788 3576094720 746522 33554432000 4194304 4650419 140735710628240 18446744073709551615 4315137 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3009.75
Current children cumulated vsize (KiB) 3492280

[startup+822.301 s]
/proc/loadavg: 7.91 8.02 7.31 8/184 26265
/proc/meminfo: memFree=17177244/32950928 swapFree=67111524/67111528
[pid=26175] ppid=26173 vsize=4236848 CPUtime=3246.73 cores=1,3,5,7
/proc/26175/stat : 26175 (strangenight1-m) R 26173 26175 25974 0 -1 4202496 10753593 0 0 0 322800 1873 0 0 25 0 4 0 593241788 4338532352 901307 33554432000 4194304 4650419 140735710628240 18446744073709551615 4230573 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26175/statm: 1059212 901307 395 112 0 1054177 0
[pid=26175/tid=26176] ppid=26173 vsize=4236848 CPUtime=807.84 cores=1,3,5,7
/proc/26175/task/26176/stat : 26176 (strangenight1-m) S 26173 26175 25974 0 -1 4202560 1659053 0 0 0 80451 333 0 0 25 0 4 0 593241788 4338532352 901307 33554432000 4194304 4650419 140735710628240 18446744073709551615 47715416142366 0 0 4096 2 18446604460025236480 0 0 -1 5 0 0 0
[pid=26175/tid=26177] ppid=26173 vsize=4236848 CPUtime=822.08 cores=1,3,5,7
/proc/26175/task/26177/stat : 26177 (strangenight1-m) R 26173 26175 25974 0 -1 4202560 4300902 0 0 0 81383 825 0 0 25 0 4 0 593241788 4338532352 901307 33554432000 4194304 4650419 140735710628240 18446744073709551615 4554015 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26175/tid=26178] ppid=26173 vsize=4236848 CPUtime=804.66 cores=1,3,5,7
/proc/26175/task/26178/stat : 26178 (strangenight1-m) R 26173 26175 25974 0 -1 4202560 3199332 0 0 0 80059 407 0 0 25 0 4 0 593241788 4338532352 901307 33554432000 4194304 4650419 140735710628240 18446744073709551615 4367329 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3246.73
Current children cumulated vsize (KiB) 4236848

[startup+882.3 s]
/proc/loadavg: 7.82 7.96 7.33 9/184 26266
/proc/meminfo: memFree=17138900/32950928 swapFree=67111524/67111528
[pid=26175] ppid=26173 vsize=4236524 CPUtime=3472.43 cores=1,3,5,7
/proc/26175/stat : 26175 (strangenight1-m) R 26173 26175 25974 0 -1 4202496 10766294 0 0 0 345365 1878 0 0 25 0 4 0 593241788 4338200576 903636 33554432000 4194304 4650419 140735710628240 18446744073709551615 4231031 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/26175/statm: 1059131 903636 395 112 0 1054096 0
[pid=26175/tid=26176] ppid=26173 vsize=4236524 CPUtime=856.12 cores=1,3,5,7
/proc/26175/task/26176/stat : 26176 (strangenight1-m) R 26173 26175 25974 0 -1 4202560 1661034 0 0 0 85279 333 0 0 25 0 4 0 593241788 4338200576 903636 33554432000 4194304 4650419 140735710628240 18446744073709551615 4367401 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26175/tid=26177] ppid=26173 vsize=4236524 CPUtime=882.09 cores=1,3,5,7
/proc/26175/task/26177/stat : 26177 (strangenight1-m) R 26173 26175 25974 0 -1 4202560 4308272 0 0 0 87381 828 0 0 25 0 4 0 593241788 4338200576 903636 33554432000 4194304 4650419 140735710628240 18446744073709551615 4363469 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26175/tid=26178] ppid=26173 vsize=4236524 CPUtime=862.33 cores=1,3,5,7
/proc/26175/task/26178/stat : 26178 (strangenight1-m) R 26173 26175 25974 0 -1 4202560 3201346 0 0 0 85825 408 0 0 25 0 4 0 593241788 4338200576 903636 33554432000 4194304 4650419 140735710628240 18446744073709551615 4314855 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3472.43
Current children cumulated vsize (KiB) 4236524

[startup+942.301 s]
/proc/loadavg: 7.93 7.96 7.37 9/184 26268
/proc/meminfo: memFree=17091260/32950928 swapFree=67111524/67111528
[pid=26175] ppid=26173 vsize=4221128 CPUtime=3712.12 cores=1,3,5,7
/proc/26175/stat : 26175 (strangenight1-m) R 26173 26175 25974 0 -1 4202496 10800420 0 0 0 369326 1886 0 0 25 0 4 0 593241788 4322435072 912175 33554432000 4194304 4650419 140735710628240 18446744073709551615 4363420 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/26175/statm: 1055282 912175 395 112 0 1050247 0
[pid=26175/tid=26176] ppid=26173 vsize=4221128 CPUtime=916.13 cores=1,3,5,7
/proc/26175/task/26176/stat : 26176 (strangenight1-m) R 26173 26175 25974 0 -1 4202560 1670282 0 0 0 91278 335 0 0 25 0 4 0 593241788 4322435072 912175 33554432000 4194304 4650419 140735710628240 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26175/tid=26177] ppid=26173 vsize=4221128 CPUtime=942.09 cores=1,3,5,7
/proc/26175/task/26177/stat : 26177 (strangenight1-m) R 26173 26175 25974 0 -1 4202560 4309455 0 0 0 93380 829 0 0 25 0 4 0 593241788 4322435072 912175 33554432000 4194304 4650419 140735710628240 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26175/tid=26178] ppid=26173 vsize=4221128 CPUtime=922.17 cores=1,3,5,7
/proc/26175/task/26178/stat : 26178 (strangenight1-m) R 26173 26175 25974 0 -1 4202560 3202530 0 0 0 91808 409 0 0 25 0 4 0 593241788 4322435072 912175 33554432000 4194304 4650419 140735710628240 18446744073709551615 4363484 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3712.12
Current children cumulated vsize (KiB) 4221128

[startup+1002.3 s]
/proc/loadavg: 8.09 8.00 7.42 9/184 26269
/proc/meminfo: memFree=17071640/32950928 swapFree=67111524/67111528
[pid=26175] ppid=26173 vsize=4187704 CPUtime=3951.78 cores=1,3,5,7
/proc/26175/stat : 26175 (strangenight1-m) R 26173 26175 25974 0 -1 4202496 10831202 0 0 0 393287 1891 0 0 25 0 4 0 593241788 4288208896 915722 33554432000 4194304 4650419 140735710628240 18446744073709551615 4364495 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/26175/statm: 1046926 915722 395 112 0 1041891 0
[pid=26175/tid=26176] ppid=26173 vsize=4187704 CPUtime=976.13 cores=1,3,5,7
/proc/26175/task/26176/stat : 26176 (strangenight1-m) R 26173 26175 25974 0 -1 4202560 1672401 0 0 0 97277 336 0 0 25 0 4 0 593241788 4288208896 915722 33554432000 4194304 4650419 140735710628240 18446744073709551615 4231034 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26175/tid=26177] ppid=26173 vsize=4187704 CPUtime=1002.08 cores=1,3,5,7
/proc/26175/task/26177/stat : 26177 (strangenight1-m) R 26173 26175 25974 0 -1 4202560 4311442 0 0 0 99379 829 0 0 25 0 4 0 593241788 4288208896 915722 33554432000 4194304 4650419 140735710628240 18446744073709551615 4333611 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26175/tid=26178] ppid=26173 vsize=4187704 CPUtime=981.84 cores=1,3,5,7
/proc/26175/task/26178/stat : 26178 (strangenight1-m) R 26173 26175 25974 0 -1 4202560 3209232 0 0 0 97773 411 0 0 25 0 4 0 593241788 4288208896 915722 33554432000 4194304 4650419 140735710628240 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3951.78
Current children cumulated vsize (KiB) 4187704

[startup+1062.3 s]
/proc/loadavg: 8.10 8.01 7.46 9/184 26271
/proc/meminfo: memFree=16977380/32950928 swapFree=67111524/67111528
[pid=26175] ppid=26173 vsize=4196360 CPUtime=4191.46 cores=1,3,5,7
/proc/26175/stat : 26175 (strangenight1-m) R 26173 26175 25974 0 -1 4202496 10864397 0 0 0 417248 1898 0 0 25 0 4 0 593241788 4297072640 937427 33554432000 4194304 4650419 140735710628240 18446744073709551615 4230555 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/26175/statm: 1049090 937427 395 112 0 1044055 0
[pid=26175/tid=26176] ppid=26173 vsize=4196360 CPUtime=1036.14 cores=1,3,5,7
/proc/26175/task/26176/stat : 26176 (strangenight1-m) R 26173 26175 25974 0 -1 4202560 1690767 0 0 0 103276 338 0 0 25 0 4 0 593241788 4297072640 937427 33554432000 4194304 4650419 140735710628240 18446744073709551615 4465112 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26175/tid=26177] ppid=26173 vsize=4196360 CPUtime=1062.08 cores=1,3,5,7
/proc/26175/task/26177/stat : 26177 (strangenight1-m) R 26173 26175 25974 0 -1 4202560 4320222 0 0 0 105377 831 0 0 25 0 4 0 593241788 4297072640 937427 33554432000 4194304 4650419 140735710628240 18446744073709551615 4365477 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26175/tid=26178] ppid=26173 vsize=4196360 CPUtime=1041.52 cores=1,3,5,7
/proc/26175/task/26178/stat : 26178 (strangenight1-m) R 26173 26175 25974 0 -1 4202560 3210696 0 0 0 103739 413 0 0 25 0 4 0 593241788 4297072640 937427 33554432000 4194304 4650419 140735710628240 18446744073709551615 4328873 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4191.46
Current children cumulated vsize (KiB) 4196360

[startup+1122.3 s]
/proc/loadavg: 8.17 8.04 7.50 9/184 26273
/proc/meminfo: memFree=16973876/32950928 swapFree=67111524/67111528
[pid=26175] ppid=26173 vsize=4261904 CPUtime=4431.14 cores=1,3,5,7
/proc/26175/stat : 26175 (strangenight1-m) R 26173 26175 25974 0 -1 4202496 10876257 0 0 0 441212 1902 0 0 25 0 4 0 593241788 4364189696 942749 33554432000 4194304 4650419 140735710628240 18446744073709551615 4230573 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/26175/statm: 1065476 942749 395 112 0 1060441 0
[pid=26175/tid=26176] ppid=26173 vsize=4261904 CPUtime=1096.13 cores=1,3,5,7
/proc/26175/task/26176/stat : 26176 (strangenight1-m) R 26173 26175 25974 0 -1 4202560 1691878 0 0 0 109275 338 0 0 25 0 4 0 593241788 4364189696 942749 33554432000 4194304 4650419 140735710628240 18446744073709551615 4368084 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26175/tid=26177] ppid=26173 vsize=4261904 CPUtime=1122.09 cores=1,3,5,7
/proc/26175/task/26177/stat : 26177 (strangenight1-m) R 26173 26175 25974 0 -1 4202560 4322320 0 0 0 111377 832 0 0 25 0 4 0 593241788 4364189696 942749 33554432000 4194304 4650419 140735710628240 18446744073709551615 4315114 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26175/tid=26178] ppid=26173 vsize=4261904 CPUtime=1101.19 cores=1,3,5,7
/proc/26175/task/26178/stat : 26178 (strangenight1-m) R 26173 26175 25974 0 -1 4202560 3212587 0 0 0 109705 414 0 0 25 0 4 0 593241788 4364189696 942749 33554432000 4194304 4650419 140735710628240 18446744073709551615 4334075 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4431.14
Current children cumulated vsize (KiB) 4261904

[startup+1182.3 s]
/proc/loadavg: 8.12 8.04 7.53 9/184 26274
/proc/meminfo: memFree=16929956/32950928 swapFree=67111524/67111528
[pid=26175] ppid=26173 vsize=4326764 CPUtime=4670.83 cores=1,3,5,7
/proc/26175/stat : 26175 (strangenight1-m) R 26173 26175 25974 0 -1 4202496 10891971 0 0 0 465176 1907 0 0 25 0 4 0 593241788 4430606336 944076 33554432000 4194304 4650419 140735710628240 18446744073709551615 4230546 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/26175/statm: 1081691 944076 395 112 0 1076656 0
[pid=26175/tid=26176] ppid=26173 vsize=4326764 CPUtime=1156.14 cores=1,3,5,7
/proc/26175/task/26176/stat : 26176 (strangenight1-m) R 26173 26175 25974 0 -1 4202560 1692751 0 0 0 115275 339 0 0 25 0 4 0 593241788 4430606336 944076 33554432000 4194304 4650419 140735710628240 18446744073709551615 4368084 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26175/tid=26177] ppid=26173 vsize=4326764 CPUtime=1182.09 cores=1,3,5,7
/proc/26175/task/26177/stat : 26177 (strangenight1-m) R 26173 26175 25974 0 -1 4202560 4323708 0 0 0 117376 833 0 0 25 0 4 0 593241788 4430606336 944076 33554432000 4194304 4650419 140735710628240 18446744073709551615 4367329 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26175/tid=26178] ppid=26173 vsize=4326764 CPUtime=1160.87 cores=1,3,5,7
/proc/26175/task/26178/stat : 26178 (strangenight1-m) R 26173 26175 25974 0 -1 4202560 3219234 0 0 0 115671 416 0 0 25 0 4 0 593241788 4430606336 944076 33554432000 4194304 4650419 140735710628240 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4670.83
Current children cumulated vsize (KiB) 4326764



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1214.7 s]
/proc/loadavg: 8.07 8.04 7.55 9/184 26275
/proc/meminfo: memFree=16889504/32950928 swapFree=67111524/67111528
[pid=26175] ppid=26173 vsize=4423524 CPUtime=4800.26 cores=1,3,5,7
/proc/26175/stat : 26175 (strangenight1-m) R 26173 26175 25974 0 -1 4202496 10905133 0 0 0 478117 1909 0 0 25 0 4 0 593241788 4529688576 952876 33554432000 4194304 4650419 140735710628240 18446744073709551615 4230706 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/26175/statm: 1105881 952876 395 112 0 1100846 0
[pid=26175/tid=26176] ppid=26173 vsize=4423524 CPUtime=1188.54 cores=1,3,5,7
/proc/26175/task/26176/stat : 26176 (strangenight1-m) R 26173 26175 25974 0 -1 4202560 1698025 0 0 0 118515 339 0 0 25 0 4 0 593241788 4529688576 952876 33554432000 4194304 4650419 140735710628240 18446744073709551615 4363335 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26175/tid=26177] ppid=26173 vsize=4423524 CPUtime=1214.49 cores=1,3,5,7
/proc/26175/task/26177/stat : 26177 (strangenight1-m) R 26173 26175 25974 0 -1 4202560 4326234 0 0 0 120616 833 0 0 25 0 4 0 593241788 4529688576 952876 33554432000 4194304 4650419 140735710628240 18446744073709551615 4370264 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26175/tid=26178] ppid=26173 vsize=4423524 CPUtime=1193.08 cores=1,3,5,7
/proc/26175/task/26178/stat : 26178 (strangenight1-m) R 26173 26175 25974 0 -1 4202560 3219967 0 0 0 118892 416 0 0 25 0 4 0 593241788 4529688576 952876 33554432000 4194304 4650419 140735710628240 18446744073709551615 4363335 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.26
Current children cumulated vsize (KiB) 4423524

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

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

[startup+1214.81 s]
/proc/loadavg: 8.07 8.04 7.55 9/184 26275
/proc/meminfo: memFree=16889504/32950928 swapFree=67111524/67111528
[pid=26175] ppid=26173 vsize=0 CPUtime=4800.38 cores=1,3,5,7
/proc/26175/stat : 26175 (strangenight1-m) Z 26173 26175 25974 0 -1 4203548 10905133 0 0 0 478119 1919 0 0 25 0 2 0 593241788 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/26175/statm: 0 0 0 0 0 0 0
[pid=26175/tid=26178] ppid=26173 vsize=0 CPUtime=1193.19 cores=1,3,5,7
/proc/26175/task/26178/stat : 26178 (strangenight1-m) R 26173 26175 25974 0 -1 4203588 3219967 0 0 0 118893 426 0 0 25 0 2 0 593241788 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) 4800.38
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1214.88
CPU time (s): 4800.46
CPU user time (s): 4781.2
CPU system time (s): 19.2631
CPU usage (%): 395.139
Max. virtual memory (cumulated for all children) (KiB): 4489068

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4781.2
system time used= 19.2631
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10905133
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= 36024
involuntary context switches= 24865

runsolver used 1.87571 second user time and 4.76328 second system time

The end

Launcher Data 

Begin job on node114 at 2011-04-29 00:35:11
IDJOB=3280688
IDBENCH=20423
IDSOLVER=1588
FILE ID=node114/3280688-1304030110
RUNJOBID= node114-1304028688-25994
PBS_JOBID= 13170338
Free space on /tmp= 71772 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt
BENCH NAME= SAT07/industrial/palacios/medium/cube-11-h14-sat.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3280688-1304030110/watcher-3280688-1304030110 -o /tmp/evaluation-result-3280688-1304030110/solver-3280688-1304030110 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3280688-1304030110.cnf

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

MD5SUM BENCH= 7cc30e40be8c690e76c3fb158623be61
RANDOM SEED=1150392879

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      20580692 kB
Buffers:       2230340 kB
Cached:        8995192 kB
SwapCached:          4 kB
Active:        2318252 kB
Inactive:      9477604 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      20580692 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:           33748 kB
Writeback:           0 kB
AnonPages:      569748 kB
Mapped:          15588 kB
Slab:           509372 kB
PageTables:       5896 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   845120 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 71764 MiB
End job on node114 at 2011-04-29 00:55:28