Trace number 3369490

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 (fixed)? (TO) 4800.57 1203.33

General information on the benchmark

NameSAT-Race-2010-CNF/hardware-verification/
velev/1dlx_c_iq60_a.cnf
MD5SUM1e60a63f1ba68b9b3c423ca413b4fa2b
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark802.03
Satisfiable
(Un)Satisfiability was proved
Number of variables651875
Number of clauses9927770
Sum of the clauses size28821360
Maximum clause length195
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 28783867
Number of clauses of size 3839934
Number of clauses of size 410777
Number of clauses of size 570916
Number of clauses of size over 5222275

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-3369490-1305433580.cnf'
0.00/0.01	c -- header says num vars:         651875
0.00/0.01	c -- header says num clauses:     9927770
14.96/4.32	c -- clauses added:            0 learnts,      9927770 normals,            0 xors
14.96/4.32	c -- vars added     651875
14.96/4.32	c Parsing time: 12.36 s
14.96/4.32	c  N st     0         0    651875   1143902   8783867         0  28821359         0   no data   no data  --
17.38/4.99	c asymm  cl-useful: 48/48/1143841 lits-rem:1658 time: 2.46
62.82/16.31	c Flit:   269 Blit:  69871 bXBeca:    0 bXProp:  197 Bins:      0 BRemL:      0 BRemN:      0 P: 200.1M T: 44.04
65.24/16.99	c Cleaning up after failed var search:     2.70 s 
67.22/17.47	c Replacing      198 vars Replaced   262002 lits Time:     1.86 s 
73.91/19.19	c bin-w-bin subsume rem           59 bins  time:  2.72 s
80.68/20.84	c subs with bin:    83372  lits-rem:     82376  v-fix:    0  time:  6.58 s
107.42/27.59	c Subs w/ non-existent bins:    121 l-rem:     81 v-fix:     0 done:  55115 time: 26.94 s
110.20/28.25	c Removed useless bin:     230  fixed:     0  props:  20.01M  time:  2.46 s
133.35/34.09	c lits-rem:         0  cl-subs:    48000  v-elim:   7803  v-fix:    0  time: 23.26 s
134.55/34.34	c Finding binary XORs  T:     1.02 s  found:    2968
136.14/34.70	c Replacing     2968 vars Replaced   173237 lits Time:     1.43 s 
140.93/35.91	c Finding non-binary XORs:     3.48 s (found:       0, avg size: nan)
140.93/35.91	c Calc default polars -  time:   0.68 s pos:   40618 undec:   81385 neg:  529872
140.93/35.91	c =========================================================================================
140.93/35.91	c types(t): F = full restart, N = normal restart
140.93/35.91	c types(t): S = simplification begin/end, E = solution found
140.93/35.91	c restart types(rt): st = static, dy = dynamic
140.93/35.91	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
140.93/35.91	c  B st     0         0    570580    692270   6181069         0  19941593         0   no data   no data  --
285.84/72.23	c  N dy    22      4008    570580    692270   6182115      2883  19941538    145588     12.37     33.05  --
444.72/112.01	c  N dy    42      8017    570576    692270   6203964      6221  19941537    408300     14.38     16.02  --
669.87/168.42	c  N dy    64     12825    570563    692270   6205450      9507  19941535    578771     14.04     16.16  --
889.03/223.31	c  N dy    72     17919    570563    692270   6219562     14150  19941535   1011819     13.03     14.34  --
1016.77/255.35	c  N dy   105     21958    570271    692270   6221508      9765  19941531    454696     14.30     15.08  --
1118.56/280.83	c  F st   130     25001    570270    692270   6224560     12366  19941529    633936     15.70   no data  --
1158.08/290.79	c  N st   133     26189    570270    690328   6215252     13009  19896163    682729     15.70   no data  --
1249.90/313.75	c  S st   136     30000    570270    690328   6215777     16270  19896159    926333     15.70   no data  --
1269.85/318.75	c  S st   136     30500    570265    690328   6216031     16508  19896159    929546     15.70   no data  --
1271.05/319.06	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   1.25
1786.03/448.05	c Flit:   188 Blit:     98 bXBeca:    0 bXProp:  670 Bins:  18038 BRemL:      0 BRemN:     47 P: 200.2M T: 514.78
1786.03/448.08	c Cleaning up after failed var search:     0.00 s 
1789.62/448.97	c Replacing      673 vars Replaced   106452 lits Time:     3.38 s 
1796.00/450.57	c bin-w-bin subsume rem         3700 bins  time:  3.19 s
1802.40/452.14	c subs with bin:     7943  lits-rem:     13578  v-fix:    0  time:  6.26 s
1828.35/458.69	c Subs w/ non-existent bins:     44 l-rem:    174 v-fix:     0 done:  42390 time: 26.13 s
1831.14/459.33	c Removed useless bin:     604  fixed:     0  props:  20.02M  time:  2.56 s
1852.32/464.64	c lits-rem:         7  cl-subs:     1420  v-elim:   9475  v-fix:    0  time: 21.16 s
1855.49/465.48	c asymm  cl-useful: 92/109/669511 lits-rem:2446 time: 3.36
1856.29/465.68	c  N dy   136     30500    559754    669511   6210517     14643  19916585    823492     15.70   no data  --
1857.48/465.97	c Finding binary XORs  T:     1.17 s  found:     623
2013.16/504.99	c  N dy   164     34619    559714    669511   6214532     18261  19916581   1000921     16.24     17.20  --
2103.37/527.53	c  N dy   202     38694    559608    669511   6219185     22096  19916577   1285778     17.87     41.98  --
2266.65/568.47	c  N dy   223     45069    559608    669511   6219605     15196  19916575    472446     17.52     18.50  --
2291.42/574.66	c  S st   225     45750    558847    669511   6245939     15691  19916573    546536     17.45     14.45  --
2318.94/581.54	c  S st   225     46250    558825    669511   6246227     15897  19916571    549105     17.45   no data  --
2320.14/581.87	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   1.35
2795.98/701.03	c Flit:    57 Blit:    684 bXBeca:    0 bXProp: 1760 Bins:  17504 BRemL:      9 BRemN:     46 P: 200.0M T: 475.55
2795.98/701.07	c Cleaning up after failed var search:     0.00 s 
2799.17/701.88	c Replacing     2392 vars Replaced   220659 lits Time:     3.05 s 
2805.18/703.33	c bin-w-bin subsume rem         8760 bins  time:  3.05 s
2812.34/705.16	c subs with bin:    49762  lits-rem:     70290  v-fix:    0  time:  7.32 s
2841.08/712.31	c Subs w/ non-existent bins:     52 l-rem:    494 v-fix:     0 done:  42121 time: 28.53 s
2845.87/713.56	c Removed useless bin:     811  fixed:     0  props:  20.01M  time:  2.77 s
2879.41/721.92	c lits-rem:      3474  cl-subs:     8281  v-elim:  49866  v-fix:    0  time: 33.32 s
2883.00/722.80	c asymm  cl-useful: 39/168/579630 lits-rem:1360 time: 3.52
2883.80/723.02	c  N dy   225     46250    505782    579630   6158842      9491  20066466    289123     17.45   no data  --
2884.99/723.31	c Finding binary XORs  T:     1.18 s  found:    6542
2886.59/723.76	c Replacing     6542 vars Replaced   135282 lits Time:     1.77 s 
2982.80/747.86	c  N dy   248     50386    499240    575425   6145513     13364  20035912    467758     17.57     18.89  --
3061.03/767.48	c  N dy   277     54402    498334    575425   6147318     17194  20035910    669591     18.03     32.70  --
3134.51/785.90	c  N dy   302     58489    498327    575425   6148083     21054  20035908    875633     18.25     19.33  --
3205.17/803.58	c  N dy   333     62645    498327    575425   6148204     25032  20035902   1123088     18.88     19.87  --
3284.98/823.53	c  N dy   349     68971    498217    575425   6162954     31040  20035895   1534582     18.60     19.84  --
3293.00/825.57	c  S st   352     69375    498217    575425   6162966     31429  20035893   1549980     18.60     18.61  --
3321.71/832.72	c  S st   352     69875    498215    575425   6163406     31693  20035891   1553291     18.60   no data  --
3322.91/833.05	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   1.33
3407.17/854.16	c Flit:   500 Blit:     96 bXBeca:    0 bXProp:  201 Bins:   2325 BRemL:   3595 BRemN:    641 P: 200.0M T: 84.23
3407.17/854.19	c Cleaning up after failed var search:     0.00 s 
3409.94/854.89	c Replacing      206 vars Replaced    84376 lits Time:     2.64 s 
3415.95/856.34	c bin-w-bin subsume rem        19810 bins  time:  2.99 s
3422.30/857.92	c subs with bin:     1441  lits-rem:     12733  v-fix:    0  time:  6.32 s
3455.83/866.30	c Subs w/ non-existent bins:    136 l-rem:    470 v-fix:     0 done:  31759 time: 33.47 s
3457.83/866.85	c Removed useless bin:      75  fixed:     0  props:  20.01M  time:  2.08 s
3495.74/876.35	c lits-rem:     12924  cl-subs:     6522  v-elim:  61334  v-fix:    0  time: 37.01 s
3498.14/876.97	c asymm  cl-useful: 63/396/507041 lits-rem:569 time: 2.45
3498.96/877.14	c  N dy   352     69875    436041    507041   6023183     24088  19597094   1038966     18.60   no data  --
3499.73/877.36	c Finding binary XORs  T:     0.88 s  found:    2494
3566.80/894.16	c  N dy   382     75369    436041    507041   6023319     29318  19597087   1371988     18.67     20.00  --
3639.89/912.43	c  N dy   428     80300    435996    507041   6026947     19058  19597087    672977     19.35     20.98  --
3717.30/931.81	c  N dy   471     85438    435996    507041   6027262     23996  19597085    969971     19.85     22.35  --
3748.43/939.63	c  F st   488     87504    435996    507041   6027319     25988  19597080   1102341     20.06   no data  --
3750.42/940.19	c Replacing     2494 vars Replaced    75408 lits Time:     1.49 s 
3832.26/960.70	c  N dy   494     92698    433503    504915   6020904     31013  19578591   1494455     20.06   no data  --
3920.50/982.73	c  N dy   541     98772    432721    504915   6021166     36867  19578590   1857157     20.64     24.04  --
4019.48/1007.51	c  S st   594    104814    432721    504915   6021671     23951  19578589    814233     21.39     21.34  --
4049.02/1014.92	c  S st   594    105314    432719    504915   6021907     24210  19578586    817498     21.39   no data  --
4050.22/1015.25	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   1.30

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: 961)

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-3369490-1305433580/watcher-3369490-1305433580 -o /tmp/evaluation-result-3369490-1305433580/solver-3369490-1305433580 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3369490-1305433580.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: 4.16 6.75 6.59 5/253 21836
/proc/meminfo: memFree=20568652/32951124 swapFree=67056788/67111528
[pid=21836] ppid=21834 vsize=51236 CPUtime=0.01 cores=0,2,4,6
/proc/21836/stat : 21836 (strangenight1-m) R 21834 21836 14333 0 -1 4202496 412 0 0 0 1 0 0 0 18 0 4 0 654956346 52465664 352 33554432000 4194304 4650419 140735962621632 18446744073709551615 47845027891112 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/21836/statm: 12809 352 303 112 0 7774 0
[pid=21836/tid=21837] ppid=21834 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/21836/task/21837/stat : 21837 (strangenight1-m) R 21834 21836 14333 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 4 0 654956346 52465664 352 33554432000 4194304 4650419 140735962621632 18446744073709551615 271550594033 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21836/tid=21838] ppid=21834 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/21836/task/21838/stat : 21838 (strangenight1-m) R 21834 21836 14333 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 4 0 654956346 52465664 352 33554432000 4194304 4650419 140735962621632 18446744073709551615 47845027891122 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21836/tid=21839] ppid=21834 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/21836/task/21839/stat : 21839 (strangenight1-m) R 21834 21836 14333 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 4 0 654956346 52465664 352 33554432000 4194304 4650419 140735962621632 18446744073709551615 47845027891120 0 0 4096 2 0 0 0 -1 2 0 0 0

[startup+0.0906599 s]
/proc/loadavg: 4.16 6.75 6.59 5/253 21836
/proc/meminfo: memFree=20568652/32951124 swapFree=67056788/67111528
[pid=21836] ppid=21834 vsize=366316 CPUtime=0.29 cores=0,2,4,6
/proc/21836/stat : 21836 (strangenight1-m) R 21834 21836 14333 0 -1 4202496 12801 0 0 0 24 5 0 0 18 0 4 0 654956346 375107584 10734 33554432000 4194304 4650419 140735962621632 18446744073709551615 271550642719 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/21836/statm: 91612 10810 344 112 0 86577 0
[pid=21836/tid=21837] ppid=21834 vsize=366448 CPUtime=0.06 cores=0,2,4,6
/proc/21836/task/21837/stat : 21837 (strangenight1-m) S 21834 21836 14333 0 -1 4202560 3538 0 0 0 5 1 0 0 18 0 4 0 654956346 375242752 11130 33554432000 4194304 4650419 140735962621632 18446744073709551615 271550642670 0 0 4096 2 18446604448148627648 0 0 -1 6 0 0 0
[pid=21836/tid=21838] ppid=21834 vsize=366448 CPUtime=0.07 cores=0,2,4,6
/proc/21836/task/21838/stat : 21838 (strangenight1-m) R 21834 21836 14333 0 -1 4202560 3003 0 0 0 6 1 0 0 18 0 4 0 654956346 375242752 11175 33554432000 4194304 4650419 140735962621632 18446744073709551615 271550642719 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21836/tid=21839] ppid=21834 vsize=366448 CPUtime=0.07 cores=0,2,4,6
/proc/21836/task/21839/stat : 21839 (strangenight1-m) S 21834 21836 14333 0 -1 4202560 3200 0 0 0 6 1 0 0 18 0 4 0 654956346 375242752 11182 33554432000 4194304 4650419 140735962621632 18446744073709551615 271550642670 0 0 4096 2 18446604448148627648 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 366316

[startup+0.105734 s]
/proc/loadavg: 4.16 6.75 6.59 5/253 21836
/proc/meminfo: memFree=20568652/32951124 swapFree=67056788/67111528
[pid=21836] ppid=21834 vsize=369384 CPUtime=0.33 cores=0,2,4,6
/proc/21836/stat : 21836 (strangenight1-m) R 21834 21836 14333 0 -1 4202496 14528 0 0 0 27 6 0 0 18 0 4 0 654956346 378249216 12453 33554432000 4194304 4650419 140735962621632 18446744073709551615 4373800 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/21836/statm: 92346 12469 344 112 0 87311 0
[pid=21836/tid=21837] ppid=21834 vsize=369384 CPUtime=0.07 cores=0,2,4,6
/proc/21836/task/21837/stat : 21837 (strangenight1-m) S 21834 21836 14333 0 -1 4202560 3765 0 0 0 6 1 0 0 18 0 4 0 654956346 378249216 12479 33554432000 4194304 4650419 140735962621632 18446744073709551615 271550642670 0 0 4096 2 18446604448148627648 0 0 -1 6 0 0 0
[pid=21836/tid=21838] ppid=21834 vsize=369384 CPUtime=0.08 cores=0,2,4,6
/proc/21836/task/21838/stat : 21838 (strangenight1-m) R 21834 21836 14333 0 -1 4202560 3442 0 0 0 7 1 0 0 18 0 4 0 654956346 378249216 12495 33554432000 4194304 4650419 140735962621632 18446744073709551615 271550234735 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21836/tid=21839] ppid=21834 vsize=369384 CPUtime=0.07 cores=0,2,4,6
/proc/21836/task/21839/stat : 21839 (strangenight1-m) S 21834 21836 14333 0 -1 4202560 3593 0 0 0 6 1 0 0 18 0 4 0 654956346 378249216 12506 33554432000 4194304 4650419 140735962621632 18446744073709551615 271550642670 0 0 4096 2 18446604448148627648 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.33
Current children cumulated vsize (KiB) 369384

[startup+0.300619 s]
/proc/loadavg: 4.16 6.75 6.59 5/253 21836
/proc/meminfo: memFree=20568652/32951124 swapFree=67056788/67111528
[pid=21836] ppid=21834 vsize=401920 CPUtime=1.03 cores=0,2,4,6
/proc/21836/stat : 21836 (strangenight1-m) R 21834 21836 14333 0 -1 4202496 38241 0 0 0 82 21 0 0 17 0 4 0 654956346 411566080 33966 33554432000 4194304 4650419 140735962621632 18446744073709551615 271550235001 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/21836/statm: 100480 33987 344 112 0 95445 0
[pid=21836/tid=21837] ppid=21834 vsize=401920 CPUtime=0.24 cores=0,2,4,6
/proc/21836/task/21837/stat : 21837 (strangenight1-m) S 21834 21836 14333 0 -1 4202560 9625 0 0 0 19 5 0 0 18 0 4 0 654956346 411566080 33997 33554432000 4194304 4650419 140735962621632 18446744073709551615 271550642670 0 0 4096 2 18446604448148627648 0 0 -1 6 0 0 0
[pid=21836/tid=21838] ppid=21834 vsize=401920 CPUtime=0.25 cores=0,2,4,6
/proc/21836/task/21838/stat : 21838 (strangenight1-m) S 21834 21836 14333 0 -1 4202560 9706 0 0 0 22 3 0 0 18 0 4 0 654956346 411566080 34010 33554432000 4194304 4650419 140735962621632 18446744073709551615 271550642670 0 0 4096 2 18446604448148627648 0 0 -1 0 0 0 0
[pid=21836/tid=21839] ppid=21834 vsize=401920 CPUtime=0.25 cores=0,2,4,6
/proc/21836/task/21839/stat : 21839 (strangenight1-m) R 21834 21836 14333 0 -1 4202560 9498 0 0 0 19 6 0 0 17 0 4 0 654956346 411566080 34064 33554432000 4194304 4650419 140735962621632 18446744073709551615 271550642670 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.03
Current children cumulated vsize (KiB) 401920

[startup+0.701804 s]
/proc/loadavg: 4.16 6.75 6.59 5/253 21836
/proc/meminfo: memFree=20568652/32951124 swapFree=67056788/67111528
[pid=21836] ppid=21834 vsize=600872 CPUtime=2.37 cores=0,2,4,6
/proc/21836/stat : 21836 (strangenight1-m) R 21834 21836 14333 0 -1 4202496 84200 0 0 0 188 49 0 0 17 0 4 0 654956346 615292928 75420 33554432000 4194304 4650419 140735962621632 18446744073709551615 271550642719 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/21836/statm: 150218 75512 344 112 0 145183 0
[pid=21836/tid=21837] ppid=21834 vsize=600872 CPUtime=0.59 cores=0,2,4,6
/proc/21836/task/21837/stat : 21837 (strangenight1-m) D 21834 21836 14333 0 -1 4202560 21271 0 0 0 47 12 0 0 17 0 4 0 654956346 615292928 75579 33554432000 4194304 4650419 140735962621632 18446744073709551615 4319147 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21836/tid=21838] ppid=21834 vsize=600872 CPUtime=0.59 cores=0,2,4,6
/proc/21836/task/21838/stat : 21838 (strangenight1-m) S 21834 21836 14333 0 -1 4202560 21394 0 0 0 50 9 0 0 17 0 4 0 654956346 615292928 75641 33554432000 4194304 4650419 140735962621632 18446744073709551615 271550642670 0 0 4096 2 18446604448148627648 0 0 -1 2 0 0 0
[pid=21836/tid=21839] ppid=21834 vsize=600872 CPUtime=0.57 cores=0,2,4,6
/proc/21836/task/21839/stat : 21839 (strangenight1-m) R 21834 21836 14333 0 -1 4202560 21000 0 0 0 43 14 0 0 17 0 4 0 654956346 615292928 75645 33554432000 4194304 4650419 140735962621632 18446744073709551615 271550642719 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.37
Current children cumulated vsize (KiB) 600872

[startup+1.5004 s]
/proc/loadavg: 4.16 6.75 6.59 6/257 21840
/proc/meminfo: memFree=19275404/32951124 swapFree=67056788/67111528
[pid=21836] ppid=21834 vsize=952576 CPUtime=5.07 cores=0,2,4,6
/proc/21836/stat : 21836 (strangenight1-m) R 21834 21836 14333 0 -1 4202496 174885 0 0 0 410 97 0 0 17 0 4 0 654956346 975437824 157035 33554432000 4194304 4650419 140735962621632 18446744073709551615 271550206474 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/21836/statm: 238144 157046 344 112 0 233109 0
[pid=21836/tid=21837] ppid=21834 vsize=952708 CPUtime=1.27 cores=0,2,4,6
/proc/21836/task/21837/stat : 21837 (strangenight1-m) R 21834 21836 14333 0 -1 4202560 45611 0 0 0 103 24 0 0 17 0 4 0 654956346 975572992 158085 33554432000 4194304 4650419 140735962621632 18446744073709551615 4361571 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21836/tid=21838] ppid=21834 vsize=952708 CPUtime=1.25 cores=0,2,4,6
/proc/21836/task/21838/stat : 21838 (strangenight1-m) R 21834 21836 14333 0 -1 4202560 43205 0 0 0 104 21 0 0 17 0 4 0 654956346 975572992 158097 33554432000 4194304 4650419 140735962621632 18446744073709551615 271550642719 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21836/tid=21839] ppid=21834 vsize=952708 CPUtime=1.25 cores=0,2,4,6
/proc/21836/task/21839/stat : 21839 (strangenight1-m) R 21834 21836 14333 0 -1 4202560 42903 0 0 0 98 27 0 0 17 0 4 0 654956346 975572992 158113 33554432000 4194304 4650419 140735962621632 18446744073709551615 271550642670 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 5.07
Current children cumulated vsize (KiB) 952576

[startup+3.10111 s]
/proc/loadavg: 4.16 6.75 6.59 8/257 21840
/proc/meminfo: memFree=18358372/32951124 swapFree=67056788/67111528
[pid=21836] ppid=21834 vsize=1805052 CPUtime=10.6 cores=0,2,4,6
/proc/21836/stat : 21836 (strangenight1-m) R 21834 21836 14333 0 -1 4202496 362000 0 0 0 870 190 0 0 17 0 4 0 654956346 1848373248 325760 33554432000 4194304 4650419 140735962621632 18446744073709551615 4373800 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/21836/statm: 451263 325760 344 112 0 446228 0
[pid=21836/tid=21837] ppid=21834 vsize=1805052 CPUtime=2.64 cores=0,2,4,6
/proc/21836/task/21837/stat : 21837 (strangenight1-m) R 21834 21836 14333 0 -1 4202560 90954 0 0 0 216 48 0 0 17 0 4 0 654956346 1848373248 325760 33554432000 4194304 4650419 140735962621632 18446744073709551615 271550642719 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21836/tid=21838] ppid=21834 vsize=1805052 CPUtime=2.62 cores=0,2,4,6
/proc/21836/task/21838/stat : 21838 (strangenight1-m) R 21834 21836 14333 0 -1 4202560 90091 0 0 0 217 45 0 0 17 0 4 0 654956346 1848373248 325765 33554432000 4194304 4650419 140735962621632 18446744073709551615 271550234379 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21836/tid=21839] ppid=21834 vsize=1805052 CPUtime=2.62 cores=0,2,4,6
/proc/21836/task/21839/stat : 21839 (strangenight1-m) R 21834 21836 14333 0 -1 4202560 89373 0 0 0 213 49 0 0 17 0 4 0 654956346 1848373248 325766 33554432000 4194304 4650419 140735962621632 18446744073709551615 4372316 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 10.6
Current children cumulated vsize (KiB) 1805052

[startup+6.30053 s]
/proc/loadavg: 4.87 6.86 6.62 9/257 21840
/proc/meminfo: memFree=17186840/32951124 swapFree=67056788/67111528
[pid=21836] ppid=21834 vsize=2515840 CPUtime=22.91 cores=0,2,4,6
/proc/21836/stat : 21836 (strangenight1-m) R 21834 21836 14333 0 -1 4202496 583535 0 0 0 2011 280 0 0 18 0 4 0 654956346 2576220160 469570 33554432000 4194304 4650419 140735962621632 18446744073709551615 4244988 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/21836/statm: 628960 469570 373 112 0 623925 0
[pid=21836/tid=21837] ppid=21834 vsize=2515840 CPUtime=5.72 cores=0,2,4,6
/proc/21836/task/21837/stat : 21837 (strangenight1-m) R 21834 21836 14333 0 -1 4202560 153944 0 0 0 501 71 0 0 18 0 4 0 654956346 2576220160 469570 33554432000 4194304 4650419 140735962621632 18446744073709551615 4245055 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21836/tid=21838] ppid=21834 vsize=2515840 CPUtime=5.71 cores=0,2,4,6
/proc/21836/task/21838/stat : 21838 (strangenight1-m) R 21834 21836 14333 0 -1 4202560 150120 0 0 0 501 70 0 0 18 0 4 0 654956346 2576220160 469570 33554432000 4194304 4650419 140735962621632 18446744073709551615 4302842 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21836/tid=21839] ppid=21834 vsize=2515840 CPUtime=5.68 cores=0,2,4,6
/proc/21836/task/21839/stat : 21839 (strangenight1-m) R 21834 21836 14333 0 -1 4202560 126470 0 0 0 500 68 0 0 21 0 4 0 654956346 2576220160 469570 33554432000 4194304 4650419 140735962621632 18446744073709551615 4364503 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 22.91
Current children cumulated vsize (KiB) 2515840

[startup+12.7004 s]
/proc/loadavg: 5.12 6.87 6.63 9/257 21840
/proc/meminfo: memFree=17167140/32951124 swapFree=67056788/67111528
[pid=21836] ppid=21834 vsize=2515840 CPUtime=48.44 cores=0,2,4,6
/proc/21836/stat : 21836 (strangenight1-m) R 21834 21836 14333 0 -1 4202496 585424 0 0 0 4563 281 0 0 25 0 4 0 654956346 2576220160 471459 33554432000 4194304 4650419 140735962621632 18446744073709551615 4369295 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/21836/statm: 628960 471459 373 112 0 623925 0
[pid=21836/tid=21837] ppid=21834 vsize=2515840 CPUtime=12.12 cores=0,2,4,6
/proc/21836/task/21837/stat : 21837 (strangenight1-m) R 21834 21836 14333 0 -1 4202560 154477 0 0 0 1141 71 0 0 25 0 4 0 654956346 2576220160 471459 33554432000 4194304 4650419 140735962621632 18446744073709551615 4370045 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21836/tid=21838] ppid=21834 vsize=2515840 CPUtime=12.11 cores=0,2,4,6
/proc/21836/task/21838/stat : 21838 (strangenight1-m) R 21834 21836 14333 0 -1 4202560 150692 0 0 0 1140 71 0 0 25 0 4 0 654956346 2576220160 471459 33554432000 4194304 4650419 140735962621632 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21836/tid=21839] ppid=21834 vsize=2515840 CPUtime=12.02 cores=0,2,4,6
/proc/21836/task/21839/stat : 21839 (strangenight1-m) R 21834 21836 14333 0 -1 4202560 126847 0 0 0 1134 68 0 0 25 0 4 0 654956346 2576220160 471459 33554432000 4194304 4650419 140735962621632 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 48.44
Current children cumulated vsize (KiB) 2515840

[startup+25.501 s]
/proc/loadavg: 5.64 6.93 6.65 9/257 21840
/proc/meminfo: memFree=15923172/32951124 swapFree=67056788/67111528
[pid=21836] ppid=21834 vsize=3160428 CPUtime=99.44 cores=0,2,4,6
/proc/21836/stat : 21836 (strangenight1-m) R 21834 21836 14333 0 -1 4202496 749534 0 0 0 9625 319 0 0 25 0 4 0 654956346 3236278272 635079 33554432000 4194304 4650419 140735962621632 18446744073709551615 4446450 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/21836/statm: 790107 635079 389 112 0 785072 0
[pid=21836/tid=21837] ppid=21834 vsize=3160428 CPUtime=24.89 cores=0,2,4,6
/proc/21836/task/21837/stat : 21837 (strangenight1-m) R 21834 21836 14333 0 -1 4202560 209443 0 0 0 2404 85 0 0 25 0 4 0 654956346 3236278272 635079 33554432000 4194304 4650419 140735962621632 18446744073709551615 4241220 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21836/tid=21838] ppid=21834 vsize=3160428 CPUtime=24.87 cores=0,2,4,6
/proc/21836/task/21838/stat : 21838 (strangenight1-m) R 21834 21836 14333 0 -1 4202560 207801 0 0 0 2403 84 0 0 25 0 4 0 654956346 3236278272 635079 33554432000 4194304 4650419 140735962621632 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21836/tid=21839] ppid=21834 vsize=3160428 CPUtime=24.73 cores=0,2,4,6
/proc/21836/task/21839/stat : 21839 (strangenight1-m) R 21834 21836 14333 0 -1 4202560 127062 0 0 0 2405 68 0 0 25 0 4 0 654956346 3236278272 635079 33554432000 4194304 4650419 140735962621632 18446744073709551615 4364883 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 99.44
Current children cumulated vsize (KiB) 3160428

[startup+51.1094 s]
/proc/loadavg: 6.57 7.03 6.69 9/257 21841
/proc/meminfo: memFree=15696916/32951124 swapFree=67056788/67111528
[pid=21836] ppid=21834 vsize=3238108 CPUtime=201.65 cores=0,2,4,6
/proc/21836/stat : 21836 (strangenight1-m) R 21834 21836 14333 0 -1 4202496 798122 0 0 0 19837 328 0 0 25 0 4 0 654956346 3315822592 660320 33554432000 4194304 4650419 140735962621632 18446744073709551615 4363768 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/21836/statm: 809527 660320 392 112 0 804492 0
[pid=21836/tid=21837] ppid=21834 vsize=3238108 CPUtime=50.48 cores=0,2,4,6
/proc/21836/task/21837/stat : 21837 (strangenight1-m) R 21834 21836 14333 0 -1 4202560 220785 0 0 0 4961 87 0 0 25 0 4 0 654956346 3315822592 660320 33554432000 4194304 4650419 140735962621632 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21836/tid=21838] ppid=21834 vsize=3238108 CPUtime=50.48 cores=0,2,4,6
/proc/21836/task/21838/stat : 21838 (strangenight1-m) R 21834 21836 14333 0 -1 4202560 229069 0 0 0 4960 88 0 0 25 0 4 0 654956346 3315822592 660320 33554432000 4194304 4650419 140735962621632 18446744073709551615 4364495 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21836/tid=21839] ppid=21834 vsize=3238108 CPUtime=50.12 cores=0,2,4,6
/proc/21836/task/21839/stat : 21839 (strangenight1-m) R 21834 21836 14333 0 -1 4202560 127131 0 0 0 4944 68 0 0 25 0 4 0 654956346 3315822592 660320 33554432000 4194304 4650419 140735962621632 18446744073709551615 4364495 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 201.65
Current children cumulated vsize (KiB) 3238108

[startup+102.301 s]
/proc/loadavg: 7.69 7.25 6.78 9/257 21842
/proc/meminfo: memFree=15654400/32951124 swapFree=67056788/67111528
[pid=21836] ppid=21834 vsize=3268668 CPUtime=406 cores=0,2,4,6
/proc/21836/stat : 21836 (strangenight1-m) R 21834 21836 14333 0 -1 4202496 806324 0 0 0 40271 329 0 0 25 0 4 0 654956346 3347116032 668522 33554432000 4194304 4650419 140735962621632 18446744073709551615 4304119 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/21836/statm: 817167 668522 392 112 0 812132 0
[pid=21836/tid=21837] ppid=21834 vsize=3268668 CPUtime=101.67 cores=0,2,4,6
/proc/21836/task/21837/stat : 21837 (strangenight1-m) R 21834 21836 14333 0 -1 4202560 220956 0 0 0 10080 87 0 0 25 0 4 0 654956346 3347116032 668522 33554432000 4194304 4650419 140735962621632 18446744073709551615 4363762 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21836/tid=21838] ppid=21834 vsize=3268668 CPUtime=101.67 cores=0,2,4,6
/proc/21836/task/21838/stat : 21838 (strangenight1-m) R 21834 21836 14333 0 -1 4202560 229133 0 0 0 10079 88 0 0 25 0 4 0 654956346 3347116032 668522 33554432000 4194304 4650419 140735962621632 18446744073709551615 4368084 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21836/tid=21839] ppid=21834 vsize=3268668 CPUtime=100.9 cores=0,2,4,6
/proc/21836/task/21839/stat : 21839 (strangenight1-m) R 21834 21836 14333 0 -1 4202560 134861 0 0 0 10021 69 0 0 25 0 4 0 654956346 3347116032 668522 33554432000 4194304 4650419 140735962621632 18446744073709551615 4364495 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 406
Current children cumulated vsize (KiB) 3268668

[startup+162.301 s]

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


[startup+702.31 s]
/proc/loadavg: 8.24 8.05 7.43 9/257 21858
/proc/meminfo: memFree=13559368/32951124 swapFree=67056788/67111528
[pid=21836] ppid=21834 vsize=4251852 CPUtime=2801.2 cores=0,2,4,6
/proc/21836/stat : 21836 (strangenight1-m) R 21834 21836 14333 0 -1 4202496 2020481 0 0 0 279595 525 0 0 25 0 4 0 654956346 4353896448 887938 33554432000 4194304 4650419 140735962621632 18446744073709551615 4426564 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/21836/statm: 1062963 887938 395 112 0 1057928 0
[pid=21836/tid=21837] ppid=21834 vsize=4251852 CPUtime=700.11 cores=0,2,4,6
/proc/21836/task/21837/stat : 21837 (strangenight1-m) R 21834 21836 14333 0 -1 4202560 509464 0 0 0 69878 133 0 0 25 0 4 0 654956346 4353896448 887938 33554432000 4194304 4650419 140735962621632 18446744073709551615 4230695 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21836/tid=21838] ppid=21834 vsize=4251852 CPUtime=701.69 cores=0,2,4,6
/proc/21836/task/21838/stat : 21838 (strangenight1-m) R 21834 21836 14333 0 -1 4202560 442656 0 0 0 70046 123 0 0 25 0 4 0 654956346 4353896448 887938 33554432000 4194304 4650419 140735962621632 18446744073709551615 4368084 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21836/tid=21839] ppid=21834 vsize=4251852 CPUtime=697.6 cores=0,2,4,6
/proc/21836/task/21839/stat : 21839 (strangenight1-m) R 21834 21836 14333 0 -1 4202560 307983 0 0 0 69659 101 0 0 25 0 4 0 654956346 4353896448 887938 33554432000 4194304 4650419 140735962621632 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2801.2
Current children cumulated vsize (KiB) 4251852

[startup+762.301 s]
/proc/loadavg: 8.24 8.08 7.48 9/257 21860
/proc/meminfo: memFree=13434816/32951124 swapFree=67056788/67111528
[pid=21836] ppid=21834 vsize=4317388 CPUtime=3040.68 cores=0,2,4,6
/proc/21836/stat : 21836 (strangenight1-m) R 21834 21836 14333 0 -1 4202496 2137648 0 0 0 303525 543 0 0 25 0 4 0 654956346 4421005312 901099 33554432000 4194304 4650419 140735962621632 18446744073709551615 4363683 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/21836/statm: 1079347 901099 395 112 0 1074312 0
[pid=21836/tid=21837] ppid=21834 vsize=4317388 CPUtime=759.62 cores=0,2,4,6
/proc/21836/task/21837/stat : 21837 (strangenight1-m) R 21834 21836 14333 0 -1 4202560 511084 0 0 0 75828 134 0 0 25 0 4 0 654956346 4421005312 901099 33554432000 4194304 4650419 140735962621632 18446744073709551615 4243840 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21836/tid=21838] ppid=21834 vsize=4317388 CPUtime=761.69 cores=0,2,4,6
/proc/21836/task/21838/stat : 21838 (strangenight1-m) R 21834 21836 14333 0 -1 4202560 443270 0 0 0 76045 124 0 0 25 0 4 0 654956346 4421005312 901099 33554432000 4194304 4650419 140735962621632 18446744073709551615 4364883 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21836/tid=21839] ppid=21834 vsize=4317388 CPUtime=757.6 cores=0,2,4,6
/proc/21836/task/21839/stat : 21839 (strangenight1-m) R 21834 21836 14333 0 -1 4202560 406782 0 0 0 75646 114 0 0 25 0 4 0 654956346 4421005312 901099 33554432000 4194304 4650419 140735962621632 18446744073709551615 4258543 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3040.68
Current children cumulated vsize (KiB) 4317388

[startup+822.301 s]
/proc/loadavg: 8.15 8.08 7.51 9/257 21862
/proc/meminfo: memFree=13098624/32951124 swapFree=67056788/67111528
[pid=21836] ppid=21834 vsize=4327748 CPUtime=3280.19 cores=0,2,4,6
/proc/21836/stat : 21836 (strangenight1-m) R 21834 21836 14333 0 -1 4202496 2829827 0 0 0 327380 639 0 0 25 0 4 0 654956346 4431613952 907625 33554432000 4194304 4650419 140735962621632 18446744073709551615 4368288 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/21836/statm: 1081937 907625 395 112 0 1076902 0
[pid=21836/tid=21837] ppid=21834 vsize=4327748 CPUtime=819.13 cores=0,2,4,6
/proc/21836/task/21837/stat : 21837 (strangenight1-m) R 21834 21836 14333 0 -1 4202560 515281 0 0 0 81778 135 0 0 25 0 4 0 654956346 4431613952 907625 33554432000 4194304 4650419 140735962621632 18446744073709551615 4365237 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21836/tid=21838] ppid=21834 vsize=4327748 CPUtime=821.69 cores=0,2,4,6
/proc/21836/task/21838/stat : 21838 (strangenight1-m) R 21834 21836 14333 0 -1 4202560 896321 0 0 0 81985 184 0 0 25 0 4 0 654956346 4431613952 907625 33554432000 4194304 4650419 140735962621632 18446744073709551615 4370340 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21836/tid=21839] ppid=21834 vsize=4327748 CPUtime=817.6 cores=0,2,4,6
/proc/21836/task/21839/stat : 21839 (strangenight1-m) R 21834 21836 14333 0 -1 4202560 640891 0 0 0 81612 148 0 0 25 0 4 0 654956346 4431613952 907625 33554432000 4194304 4650419 140735962621632 18446744073709551615 4364883 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3280.19
Current children cumulated vsize (KiB) 4327748

[startup+882.301 s]
/proc/loadavg: 8.16 8.09 7.55 9/257 21863
/proc/meminfo: memFree=12905504/32951124 swapFree=67056788/67111528
[pid=21836] ppid=21834 vsize=4393284 CPUtime=3519.7 cores=0,2,4,6
/proc/21836/stat : 21836 (strangenight1-m) R 21834 21836 14333 0 -1 4202496 3563306 0 0 0 351234 736 0 0 25 0 4 0 654956346 4498722816 927941 33554432000 4194304 4650419 140735962621632 18446744073709551615 4364883 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/21836/statm: 1098321 927941 395 112 0 1093286 0
[pid=21836/tid=21837] ppid=21834 vsize=4393284 CPUtime=878.64 cores=0,2,4,6
/proc/21836/task/21837/stat : 21837 (strangenight1-m) R 21834 21836 14333 0 -1 4202560 1174454 0 0 0 87646 218 0 0 25 0 4 0 654956346 4498722816 927941 33554432000 4194304 4650419 140735962621632 18446744073709551615 4349707 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21836/tid=21838] ppid=21834 vsize=4393284 CPUtime=881.7 cores=0,2,4,6
/proc/21836/task/21838/stat : 21838 (strangenight1-m) R 21834 21836 14333 0 -1 4202560 909280 0 0 0 87983 187 0 0 25 0 4 0 654956346 4498722816 927941 33554432000 4194304 4650419 140735962621632 18446744073709551615 4364352 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21836/tid=21839] ppid=21834 vsize=4393284 CPUtime=877.6 cores=0,2,4,6
/proc/21836/task/21839/stat : 21839 (strangenight1-m) R 21834 21836 14333 0 -1 4202560 643100 0 0 0 87611 149 0 0 25 0 4 0 654956346 4498722816 927941 33554432000 4194304 4650419 140735962621632 18446744073709551615 4303973 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3519.7
Current children cumulated vsize (KiB) 4393284

[startup+942.301 s]
/proc/loadavg: 8.17 8.11 7.59 9/257 21865
/proc/meminfo: memFree=12843432/32951124 swapFree=67056788/67111528
[pid=21836] ppid=21834 vsize=4375448 CPUtime=3759.21 cores=0,2,4,6
/proc/21836/stat : 21836 (strangenight1-m) R 21834 21836 14333 0 -1 4202496 3835948 0 0 0 375145 776 0 0 25 0 4 0 654956346 4480458752 923416 33554432000 4194304 4650419 140735962621632 18446744073709551615 4258543 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/21836/statm: 1093862 923416 395 112 0 1088827 0
[pid=21836/tid=21837] ppid=21834 vsize=4375448 CPUtime=938.15 cores=0,2,4,6
/proc/21836/task/21837/stat : 21837 (strangenight1-m) R 21834 21836 14333 0 -1 4202560 1175604 0 0 0 93596 219 0 0 25 0 4 0 654956346 4480458752 923416 33554432000 4194304 4650419 140735962621632 18446744073709551615 4303973 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21836/tid=21838] ppid=21834 vsize=4375448 CPUtime=941.69 cores=0,2,4,6
/proc/21836/task/21838/stat : 21838 (strangenight1-m) R 21834 21836 14333 0 -1 4202560 923324 0 0 0 93980 189 0 0 25 0 4 0 654956346 4480458752 923416 33554432000 4194304 4650419 140735962621632 18446744073709551615 4368084 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21836/tid=21839] ppid=21834 vsize=4375448 CPUtime=937.61 cores=0,2,4,6
/proc/21836/task/21839/stat : 21839 (strangenight1-m) R 21834 21836 14333 0 -1 4202560 645058 0 0 0 93611 150 0 0 25 0 4 0 654956346 4480458752 923416 33554432000 4194304 4650419 140735962621632 18446744073709551615 4363541 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3759.21
Current children cumulated vsize (KiB) 4375448

[startup+1002.3 s]
/proc/loadavg: 8.10 8.10 7.61 9/257 21866
/proc/meminfo: memFree=12451676/32951124 swapFree=67056788/67111528
[pid=21836] ppid=21834 vsize=4892896 CPUtime=3998.72 cores=0,2,4,6
/proc/21836/stat : 21836 (strangenight1-m) R 21834 21836 14333 0 -1 4202496 4540885 0 0 0 398976 896 0 0 25 0 4 0 654956346 5010325504 1027381 33554432000 4194304 4650419 140735962621632 18446744073709551615 4368084 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/21836/statm: 1223224 1027381 395 112 0 1218189 0
[pid=21836/tid=21837] ppid=21834 vsize=4892896 CPUtime=997.66 cores=0,2,4,6
/proc/21836/task/21837/stat : 21837 (strangenight1-m) R 21834 21836 14333 0 -1 4202560 1189383 0 0 0 99545 221 0 0 25 0 4 0 654956346 5010325504 1027381 33554432000 4194304 4650419 140735962621632 18446744073709551615 4364883 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21836/tid=21838] ppid=21834 vsize=4892896 CPUtime=1001.7 cores=0,2,4,6
/proc/21836/task/21838/stat : 21838 (strangenight1-m) R 21834 21836 14333 0 -1 4202560 924482 0 0 0 99980 190 0 0 25 0 4 0 654956346 5010325504 1027381 33554432000 4194304 4650419 140735962621632 18446744073709551615 4304183 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21836/tid=21839] ppid=21834 vsize=4892896 CPUtime=997.6 cores=0,2,4,6
/proc/21836/task/21839/stat : 21839 (strangenight1-m) R 21834 21836 14333 0 -1 4202560 763025 0 0 0 99588 172 0 0 25 0 4 0 654956346 5010325504 1027381 33554432000 4194304 4650419 140735962621632 18446744073709551615 4364340 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3998.72
Current children cumulated vsize (KiB) 4892896

[startup+1062.3 s]
/proc/loadavg: 8.18 8.12 7.65 9/257 21868
/proc/meminfo: memFree=12196556/32951124 swapFree=67056788/67111528
[pid=21836] ppid=21834 vsize=5063252 CPUtime=4238.24 cores=0,2,4,6
/proc/21836/stat : 21836 (strangenight1-m) R 21834 21836 14333 0 -1 4202496 4592178 0 0 0 422916 908 0 0 25 0 4 0 654956346 5184770048 1075082 33554432000 4194304 4650419 140735962621632 18446744073709551615 4230798 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/21836/statm: 1265813 1075082 395 112 0 1260778 0
[pid=21836/tid=21837] ppid=21834 vsize=5063252 CPUtime=1057.17 cores=0,2,4,6
/proc/21836/task/21837/stat : 21837 (strangenight1-m) R 21834 21836 14333 0 -1 4202560 1206339 0 0 0 105492 225 0 0 25 0 4 0 654956346 5184770048 1075082 33554432000 4194304 4650419 140735962621632 18446744073709551615 4363738 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21836/tid=21838] ppid=21834 vsize=5063252 CPUtime=1061.7 cores=0,2,4,6
/proc/21836/task/21838/stat : 21838 (strangenight1-m) R 21834 21836 14333 0 -1 4202560 925589 0 0 0 105979 191 0 0 25 0 4 0 654956346 5184770048 1075082 33554432000 4194304 4650419 140735962621632 18446744073709551615 4326730 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21836/tid=21839] ppid=21834 vsize=5063252 CPUtime=1057.61 cores=0,2,4,6
/proc/21836/task/21839/stat : 21839 (strangenight1-m) R 21834 21836 14333 0 -1 4202560 766669 0 0 0 105586 175 0 0 25 0 4 0 654956346 5184770048 1075082 33554432000 4194304 4650419 140735962621632 18446744073709551615 4363750 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4238.24
Current children cumulated vsize (KiB) 5063252

[startup+1122.3 s]
/proc/loadavg: 8.06 8.10 7.67 9/257 21869
/proc/meminfo: memFree=12006916/32951124 swapFree=67056788/67111528
[pid=21836] ppid=21834 vsize=5151700 CPUtime=4477.76 cores=0,2,4,6
/proc/21836/stat : 21836 (strangenight1-m) R 21834 21836 14333 0 -1 4202496 4626237 0 0 0 446860 916 0 0 25 0 4 0 654956346 5275340800 1090270 33554432000 4194304 4650419 140735962621632 18446744073709551615 4230580 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/21836/statm: 1287925 1090270 395 112 0 1282890 0
[pid=21836/tid=21837] ppid=21834 vsize=5151700 CPUtime=1116.69 cores=0,2,4,6
/proc/21836/task/21837/stat : 21837 (strangenight1-m) R 21834 21836 14333 0 -1 4202560 1207463 0 0 0 111443 226 0 0 25 0 4 0 654956346 5275340800 1090270 33554432000 4194304 4650419 140735962621632 18446744073709551615 4310834 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21836/tid=21838] ppid=21834 vsize=5151700 CPUtime=1121.69 cores=0,2,4,6
/proc/21836/task/21838/stat : 21838 (strangenight1-m) R 21834 21836 14333 0 -1 4202560 926645 0 0 0 111978 191 0 0 25 0 4 0 654956346 5275340800 1090270 33554432000 4194304 4650419 140735962621632 18446744073709551615 4363750 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21836/tid=21839] ppid=21834 vsize=5151700 CPUtime=1117.61 cores=0,2,4,6
/proc/21836/task/21839/stat : 21839 (strangenight1-m) R 21834 21836 14333 0 -1 4202560 778635 0 0 0 111584 177 0 0 25 0 4 0 654956346 5275340800 1090270 33554432000 4194304 4650419 140735962621632 18446744073709551615 4363750 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4477.76
Current children cumulated vsize (KiB) 5151700

[startup+1182.3 s]
/proc/loadavg: 8.10 8.11 7.70 9/257 21871
/proc/meminfo: memFree=11887728/32951124 swapFree=67056788/67111528
[pid=21836] ppid=21834 vsize=5217244 CPUtime=4717.27 cores=0,2,4,6
/proc/21836/stat : 21836 (strangenight1-m) R 21834 21836 14333 0 -1 4202496 4629754 0 0 0 470807 920 0 0 25 0 4 0 654956346 5342457856 1093787 33554432000 4194304 4650419 140735962621632 18446744073709551615 4230798 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/21836/statm: 1304311 1093787 395 112 0 1299276 0
[pid=21836/tid=21837] ppid=21834 vsize=5217244 CPUtime=1176.19 cores=0,2,4,6
/proc/21836/task/21837/stat : 21837 (strangenight1-m) R 21834 21836 14333 0 -1 4202560 1209198 0 0 0 117392 227 0 0 25 0 4 0 654956346 5342457856 1093787 33554432000 4194304 4650419 140735962621632 18446744073709551615 4363261 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21836/tid=21838] ppid=21834 vsize=5217244 CPUtime=1181.7 cores=0,2,4,6
/proc/21836/task/21838/stat : 21838 (strangenight1-m) R 21834 21836 14333 0 -1 4202560 927546 0 0 0 117977 193 0 0 25 0 4 0 654956346 5342457856 1093787 33554432000 4194304 4650419 140735962621632 18446744073709551615 4310834 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21836/tid=21839] ppid=21834 vsize=5217244 CPUtime=1177.61 cores=0,2,4,6
/proc/21836/task/21839/stat : 21839 (strangenight1-m) R 21834 21836 14333 0 -1 4202560 779516 0 0 0 117583 178 0 0 25 0 4 0 654956346 5342457856 1093787 33554432000 4194304 4650419 140735962621632 18446744073709551615 4368084 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4717.27
Current children cumulated vsize (KiB) 5217244



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.1 s]
/proc/loadavg: 8.30 8.15 7.72 5/252 21873
/proc/meminfo: memFree=16278728/32951124 swapFree=67056788/67111528
[pid=21836] ppid=21834 vsize=5233556 CPUtime=4800.33 cores=0,2,4,6
/proc/21836/stat : 21836 (strangenight1-m) R 21834 21836 14333 0 -1 4202496 4643708 0 0 0 479110 923 0 0 25 0 4 0 654956346 5359161344 1107741 33554432000 4194304 4650419 140735962621632 18446744073709551615 4230548 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/21836/statm: 1308389 1107741 395 112 0 1303354 0
[pid=21836/tid=21837] ppid=21834 vsize=5233556 CPUtime=1196.82 cores=0,2,4,6
/proc/21836/task/21837/stat : 21837 (strangenight1-m) R 21834 21836 14333 0 -1 4202560 1209699 0 0 0 119454 228 0 0 25 0 4 0 654956346 5359161344 1107741 33554432000 4194304 4650419 140735962621632 18446744073709551615 4303973 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21836/tid=21838] ppid=21834 vsize=5233556 CPUtime=1202.51 cores=0,2,4,6
/proc/21836/task/21838/stat : 21838 (strangenight1-m) R 21834 21836 14333 0 -1 4202560 927862 0 0 0 120058 193 0 0 25 0 4 0 654956346 5359161344 1107741 33554432000 4194304 4650419 140735962621632 18446744073709551615 4364883 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21836/tid=21839] ppid=21834 vsize=5233556 CPUtime=1198.42 cores=0,2,4,6
/proc/21836/task/21839/stat : 21839 (strangenight1-m) R 21834 21836 14333 0 -1 4202560 780615 0 0 0 119663 179 0 0 25 0 4 0 654956346 5359161344 1107741 33554432000 4194304 4650419 140735962621632 18446744073709551615 4364883 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.33
Current children cumulated vsize (KiB) 5233556

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

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

[startup+1203.3 s]
/proc/loadavg: 8.30 8.15 7.72 5/252 21873
/proc/meminfo: memFree=16278728/32951124 swapFree=67056788/67111528
[pid=21836] ppid=21834 vsize=0 CPUtime=4800.53 cores=0,2,4,6
/proc/21836/stat : 21836 (strangenight1-m) Z 21834 21836 14333 0 -1 4203548 4643708 0 0 0 479112 941 0 0 25 0 2 0 654956346 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/21836/statm: 0 0 0 0 0 0 0
[pid=21836/tid=21837] ppid=21834 vsize=0 CPUtime=1197.01 cores=0,2,4,6
/proc/21836/task/21837/stat : 21837 (strangenight1-m) R 21834 21836 14333 0 -1 4203588 1209699 0 0 0 119455 246 0 0 25 0 2 0 654956346 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.53
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.33
CPU time (s): 4800.57
CPU user time (s): 4791.13
CPU system time (s): 9.44756
CPU usage (%): 398.941
Max. virtual memory (cumulated for all children) (KiB): 5233556

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4791.13
system time used= 9.44756
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4643708
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= 240338
involuntary context switches= 40924

runsolver used 2.69059 second user time and 7.14491 second system time

The end

Launcher Data 

Begin job on node133 at 2011-05-15 06:26:25
IDJOB=3369490
IDBENCH=88158
IDSOLVER=1846
FILE ID=node133/3369490-1305433580
RUNJOBID= node133-1305433580-21814
PBS_JOBID= 13324568
Free space on /tmp= 73260 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt (fixed)
BENCH NAME= SAT-Race-2010-CNF/hardware-verification/velev/1dlx_c_iq60_a.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3369490-1305433580/watcher-3369490-1305433580 -o /tmp/evaluation-result-3369490-1305433580/solver-3369490-1305433580 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3369490-1305433580.cnf

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

MD5SUM BENCH= 1e60a63f1ba68b9b3c423ca413b4fa2b
RANDOM SEED=1803353459

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.834
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.834
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:     32951124 kB
MemFree:      20569676 kB
Buffers:        285496 kB
Cached:        4238568 kB
SwapCached:       8724 kB
Active:        9134816 kB
Inactive:      2953580 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      20569676 kB
SwapTotal:    67111528 kB
SwapFree:     67056788 kB
Dirty:          431092 kB
Writeback:           0 kB
AnonPages:     7561424 kB
Mapped:          20896 kB
Slab:           208164 kB
PageTables:      23712 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 19403156 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73448 MiB
End job on node133 at 2011-05-15 06:46:30